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.69/0.76 c Default LC presolving (default).
0.69/0.77 c ** Before presolving: virtualMemUsedAtLc = 603541348, getVmSize() = 368381952, SCIPgetMemUsed() = 310133138, SCIPgetMemTotal() = 322281546, SCIPgetMemExternEstim() = 281259802
0.69/0.77 c ** set memory limit for presolving in LC to 8.79591e+12 for SCIP **
19.43/19.55 c ** Estimated virtualMemUsedAtSolver = 504659824, getVmSize() = 588193792, SCIPgetMemUsed() = 395747351, SCIPgetMemTotal() = 475729935, SCIPgetMemExternEstim() = 281259802
19.43/19.55 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
19.43/19.55 c Original Problem :
19.43/19.55 c Problem name : instance-4464408-1722378602
19.43/19.55 c Variables : 6800 (6800 binary, 0 integer, 0 implicit integer, 0 continuous)
19.43/19.55 c Constraints : 285685
19.43/19.55 c Objective sense : minimize
19.43/19.55 c Presolved Problem :
19.43/19.55 c Variables : 6800 (6800 binary, 0 integer, 0 implicit integer, 0 continuous)
19.43/19.55 c Constraints : 285848
19.43/19.55 c Constraints : Number
19.43/19.55 c setppc : 285600
19.43/19.55 c linear : 163
19.43/19.55 c logicor : 85
19.43/19.55 c ** Instance transfer method used: 0
19.83/19.96 c ** ParaScipInstance copy does not increase the number of variables. **
20.13/20.28 c LC is working with racing ramp-up and with rebuilding tree after racing.
20.13/20.28 c Nodes Active
20.13/20.28 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
128.08/128.58 c 129 2 1 1 - 0.0000 -
136.17/136.63 c 137 16 15 1 - 0.0000 -
144.84/145.32 c 145 18 17 1 - 0.0000 -
150.93/151.42 c 151 21 20 1 - 0.0000 -
161.30/161.84 c 162 25 24 1 - 0.0000 -
166.90/167.48 c 167 27 26 1 - 0.0000 -
173.58/174.15 c 174 33 32 1 - 0.0000 -
179.76/180.33 c 180 39 38 1 - 0.0000 -
187.14/187.78 c 188 47 46 1 - 0.0000 -
194.42/195.07 c 195 55 54 1 - 0.0000 -
203.30/203.92 c 204 62 61 1 - 0.0000 -
209.48/210.10 c 210 68 67 1 - 0.0000 -
215.65/216.33 c 216 76 75 1 - 0.0000 -
221.45/222.19 c 222 93 92 1 - 0.0000 -
226.72/227.49 c 228 102 101 1 - 0.0000 -
233.10/233.83 c 234 118 117 1 - 0.0000 -
238.30/239.01 c 239 139 138 1 - 0.0000 -
244.58/245.30 c 245 155 154 1 - 0.0000 -
250.26/251.10 c 251 162 161 1 - 0.0000 -
255.54/256.30 c 256 166 165 1 - 0.0000 -
261.13/261.93 c 262 179 178 1 - 0.0000 -
267.01/267.89 c 268 188 187 1 - 0.0000 -
277.98/278.87 c 279 193 192 1 - 0.0000 -
286.16/287.03 c 287 198 197 1 - 0.0000 -
296.23/297.11 c 297 204 203 1 - 0.0000 -
311.08/312.09 c 312 209 208 1 - 0.0000 -
316.57/317.59 c 318 213 212 1 - 0.0000 -
327.73/328.74 c 329 222 221 1 - 0.0000 -
334.12/335.12 c 335 227 226 1 - 0.0000 -
344.49/345.54 c 346 235 234 1 - 0.0000 -
357.25/358.31 c 358 240 239 1 - 0.0000 -
363.94/365.10 c 365 246 245 1 - 0.0000 -
370.92/372.00 c 372 251 250 1 - 0.0000 -
377.79/378.98 c 379 261 260 1 - 0.0000 -
383.38/384.57 c 385 315 312 1 - 0.0000 -
388.46/389.62 c 390 362 345 1 - 0.0000 -
393.45/394.67 c 395 412 375 1 - 0.0000 -
398.83/400.03 c 400 476 403 1 - 0.0000 -
404.22/405.46 c 405 546 427 1 - 0.0000 -
412.89/414.15 c 414 601 442 1 - 0.0000 -
418.57/419.87 c 420 657 446 1 - 0.0000 -
423.95/425.24 c 425 741 452 1 - 0.0000 -
429.33/430.67 c 431 800 451 1 - 0.0000 -
434.52/435.85 c 436 879 452 1 - 0.0000 -
439.70/441.04 c 441 955 452 1 - 0.0000 -
444.79/446.19 c 446 1023 453 1 - 0.0000 -
450.07/451.49 c 451 1103 452 1 - 0.0000 -
455.35/456.78 c 457 1182 453 1 - 0.0000 -
460.53/461.96 c 462 1266 458 1 - 0.0000 -
465.63/467.07 c 467 1315 467 1 - 0.0000 -
470.90/472.30 c 472 1383 471 1 - 0.0000 -
476.59/478.00 c 478 1458 474 1 - 0.0000 -
481.67/483.19 c 483 1535 473 1 - 0.0000 -
487.34/488.83 c 489 1616 482 1 - 0.0000 -
492.42/493.93 c 494 1684 484 1 - 0.0000 -
497.41/498.98 c 499 1749 485 1 - 0.0000 -
503.60/505.17 c 505 1820 507 1 - 0.0000 -
509.07/510.62 c 511 1882 537 1 - 0.0000 -
514.95/516.52 c 517 1948 553 1 - 0.0000 -
520.23/521.82 c 522 2009 558 1 - 0.0000 -
525.32/526.94 c 527 2077 560 1 - 0.0000 -
531.20/532.80 c 533 2152 573 1 - 0.0000 -
536.50/538.14 c 538 2211 582 1 - 0.0000 -
542.08/543.75 c 544 2291 588 1 - 0.0000 -
547.56/549.29 c 549 2365 604 1 - 0.0000 -
553.04/554.70 c 555 2440 609 1 - 0.0000 -
558.43/560.12 c 560 2526 613 1 - 0.0000 -
564.10/565.82 c 566 2599 622 1 - 0.0000 -
569.39/571.17 c 571 2671 630 1 - 0.0000 -
574.77/576.57 c 577 2753 630 1 - 0.0000 -
580.15/581.94 c 582 2843 636 1 - 0.0000 -
585.34/587.10 c 587 2920 639 1 - 0.0000 -
590.42/592.28 c 592 3003 640 1 - 0.0000 -
595.60/597.47 c 597 3079 642 1 - 0.0000 -
600.88/602.79 c 603 3147 646 1 - 0.0000 -
606.17/608.08 c 608 3218 655 1 - 0.0000 -
611.55/613.49 c 614 3279 662 1 - 0.0000 -
616.93/618.81 c 619 3368 663 1 - 0.0000 -
622.11/624.05 c 624 3445 666 1 - 0.0000 -
627.20/629.18 c 629 3533 670 1 - 0.0000 -
632.38/634.37 c 634 3626 671 1 - 0.0000 -
637.56/639.55 c 640 3715 670 1 - 0.0000 -
642.74/644.76 c 645 3799 676 1 - 0.0000 -
647.92/649.95 c 650 3885 686 1 - 0.0000 -
653.31/655.35 c 655 3970 687 1 - 0.0000 -
658.99/661.08 c 661 4057 702 1 - 0.0000 -
664.57/666.60 c 667 4146 730 1 - 0.0000 -
669.65/671.77 c 672 4242 746 1 - 0.0000 -
674.84/676.93 c 677 4341 763 1 - 0.0000 -
680.52/682.65 c 683 4434 772 1 - 0.0000 -
685.70/687.88 c 688 4533 769 1 - 0.0000 -
690.88/693.03 c 693 4623 773 1 - 0.0000 -
695.97/698.19 c 698 4713 764 1 - 0.0000 -
701.15/703.36 c 703 4805 755 1 - 0.0000 -
706.33/708.54 c 709 4889 752 1 - 0.0000 -
711.41/713.69 c 714 4976 754 1 - 0.0000 -
716.69/718.91 c 719 5065 755 1 - 0.0000 -
721.78/724.06 c 724 5158 760 1 - 0.0000 -
726.87/729.18 c 729 5245 758 1 - 0.0000 -
732.44/734.71 c 735 5307 792 1 - 0.0000 -
737.93/740.22 c 740 5377 822 1 - 0.0000 -
743.50/745.80 c 746 5456 851 1 - 0.0000 -
748.70/751.08 c 751 5516 871 1 - 0.0000 -
754.17/756.51 c 757 5588 895 1 - 0.0000 -
759.55/761.99 c 762 5657 900 1 - 0.0000 -
765.34/767.73 c 768 5736 909 1 - 0.0000 -
770.73/773.13 c 773 5819 922 1 - 0.0000 -
776.01/778.43 c 778 5885 930 1 - 0.0000 -
781.20/783.67 c 784 5959 948 1 - 0.0000 -
786.48/788.91 c 789 6032 953 1 - 0.0000 -
791.57/794.06 c 794 6116 957 1 - 0.0000 -
796.95/799.42 c 799 6185 974 1 - 0.0000 -
802.23/804.73 c 805 6259 984 1 - 0.0000 -
807.71/810.27 c 810 6339 990 1 - 0.0000 -
813.61/816.15 c 816 6419 994 1 - 0.0000 -
819.79/822.30 c 822 6504 995 1 - 0.0000 -
825.17/827.79 c 828 6585 997 1 - 0.0000 -
830.56/833.11 c 833 6664 995 1 - 0.0000 -
835.84/838.47 c 838 6728 997 1 - 0.0000 -
841.22/843.87 c 844 6801 1002 1 - 0.0000 -
846.51/849.18 c 849 6869 1004 1 - 0.0000 -
852.18/854.81 c 855 6937 1014 1 - 0.0000 -
857.77/860.40 c 860 7015 1018 1 - 0.0000 -
862.86/865.53 c 866 7088 1021 1 - 0.0000 -
867.94/870.69 c 871 7177 1026 1 - 0.0000 -
873.22/875.99 c 876 7265 1032 1 - 0.0000 -
878.50/881.24 c 881 7346 1031 1 - 0.0000 -
883.59/886.39 c 886 7433 1032 1 - 0.0000 -
888.87/891.64 c 892 7518 1035 1 - 0.0000 -
893.95/896.77 c 897 7603 1040 1 - 0.0000 -
899.13/901.98 c 902 7687 1044 1 - 0.0000 -
904.42/907.21 c 907 7778 1055 1 - 0.0000 -
909.59/912.44 c 912 7862 1059 1 - 0.0000 -
914.87/917.77 c 918 7943 1070 1 - 0.0000 -
920.05/922.95 c 923 8022 1075 1 - 0.0000 -
925.33/928.22 c 928 8095 1084 1 - 0.0000 -
930.51/933.45 c 933 8179 1092 1 - 0.0000 -
935.70/938.65 c 939 8264 1101 1 - 0.0000 -
940.98/943.94 c 944 8350 1104 1 - 0.0000 -
946.26/949.27 c 949 8426 1111 1 - 0.0000 -
951.44/954.40 c 954 8514 1113 1 - 0.0000 -
956.62/959.61 c 960 8601 1116 1 - 0.0000 -
961.69/964.72 c 965 8684 1123 1 - 0.0000 -
966.98/970.10 c 970 8766 1127 1 - 0.0000 -
972.15/975.27 c 975 8853 1130 1 - 0.0000 -
977.34/980.49 c 980 8942 1137 1 - 0.0000 -
982.52/985.67 c 986 9031 1138 1 - 0.0000 -
987.70/990.85 c 991 9124 1137 1 - 0.0000 -
992.89/996.05 c 996 9213 1138 1 - 0.0000 -
998.06/1001.23 c 1001 9307 1148 1 - 0.0000 -
1003.25/1006.41 c 1006 9385 1142 1 - 0.0000 -
1008.32/1011.53 c 1012 9472 1136 1 - 0.0000 -
1013.51/1016.75 c 1017 9554 1144 1 - 0.0000 -
1018.69/1021.94 c 1022 9643 1144 1 - 0.0000 -
1023.97/1027.29 c 1027 9720 1157 1 - 0.0000 -
1029.45/1032.79 c 1033 9789 1192 1 - 0.0000 -
1034.63/1037.98 c 1038 9855 1226 1 - 0.0000 -
1040.21/1043.56 c 1044 9929 1254 1 - 0.0000 -
1045.69/1049.00 c 1049 9990 1281 1 - 0.0000 -
1051.57/1054.93 c 1055 10057 1308 1 - 0.0000 -
1056.65/1060.04 c 1060 10126 1319 1 - 0.0000 -
1062.63/1066.01 c 1066 10202 1331 1 - 0.0000 -
1067.72/1071.17 c 1071 10296 1339 1 - 0.0000 -
1073.19/1076.62 c 1077 10387 1354 1 - 0.0000 -
1078.57/1082.06 c 1082 10469 1366 1 - 0.0000 -
1083.75/1087.27 c 1087 10567 1376 1 - 0.0000 -
1088.83/1092.38 c 1092 10662 1383 1 - 0.0000 -
1093.90/1097.48 c 1097 10758 1393 1 - 0.0000 -
1099.08/1102.60 c 1103 10856 1405 1 - 0.0000 -
1104.17/1107.77 c 1108 10953 1420 1 - 0.0000 -
1109.44/1113.00 c 1113 11051 1432 1 - 0.0000 -
1114.63/1118.20 c 1118 11146 1443 1 - 0.0000 -
1119.81/1123.42 c 1123 11242 1451 1 - 0.0000 -
1124.88/1128.56 c 1129 11336 1461 1 - 0.0000 -
1130.06/1133.71 c 1134 11435 1466 1 - 0.0000 -
1135.14/1138.86 c 1139 11535 1468 1 - 0.0000 -
1140.22/1143.96 c 1144 11634 1469 1 - 0.0000 -
1145.32/1149.10 c 1149 11732 1471 1 - 0.0000 -
1150.49/1154.25 c 1154 11830 1473 1 - 0.0000 -
1155.57/1159.35 c 1159 11928 1477 1 - 0.0000 -
1160.66/1164.45 c 1164 12025 1481 1 - 0.0000 -
1165.94/1169.71 c 1170 12115 1492 1 - 0.0000 -
1171.42/1175.26 c 1175 12202 1503 1 - 0.0000 -
1176.80/1180.66 c 1181 12292 1519 1 - 0.0000 -
1181.99/1185.80 c 1186 12389 1538 1 - 0.0000 -
1187.18/1191.03 c 1191 12492 1543 1 - 0.0000 -
1192.26/1196.17 c 1196 12590 1555 1 - 0.0000 -
1197.84/1201.71 c 1202 12681 1570 1 - 0.0000 -
1203.13/1207.07 c 1207 12758 1595 1 - 0.0000 -
1208.30/1212.23 c 1212 12844 1621 1 - 0.0000 -
1213.39/1217.39 c 1217 12934 1635 1 - 0.0000 -
1218.67/1222.60 c 1223 13034 1643 1 - 0.0000 -
1223.75/1227.72 c 1228 13131 1660 1 - 0.0000 -
1228.84/1232.84 c 1233 13228 1673 1 - 0.0000 -
1234.03/1238.00 c 1238 13322 1681 1 - 0.0000 -
1239.11/1243.15 c 1243 13417 1692 1 - 0.0000 -
1244.29/1248.37 c 1248 13513 1704 1 - 0.0000 -
1249.47/1253.55 c 1254 13607 1714 1 - 0.0000 -
1254.65/1258.72 c 1259 13705 1720 1 - 0.0000 -
1259.74/1263.85 c 1264 13806 1731 1 - 0.0000 -
1264.93/1269.04 c 1269 13905 1734 1 - 0.0000 -
1270.11/1274.22 c 1274 13999 1744 1 - 0.0000 -
1275.29/1279.40 c 1279 14091 1756 1 - 0.0000 -
1280.37/1284.55 c 1285 14185 1782 1 - 0.0000 -
1285.44/1289.69 c 1290 14280 1801 1 - 0.0000 -
1290.63/1294.86 c 1295 14379 1822 1 - 0.0000 -
1295.81/1300.06 c 1300 14479 1844 1 - 0.0000 -
1300.99/1305.27 c 1305 14579 1856 1 - 0.0000 -
1306.16/1310.45 c 1310 14676 1867 1 - 0.0000 -
1311.35/1315.63 c 1316 14771 1874 1 - 0.0000 -
1316.42/1320.78 c 1321 14870 1889 1 - 0.0000 -
1321.60/1325.95 c 1326 14968 1886 1 - 0.0000 -
1326.69/1331.09 c 1331 15065 1874 1 - 0.0000 -
1331.86/1336.25 c 1336 15157 1857 1 - 0.0000 -
1337.44/1341.86 c 1342 15243 1878 1 - 0.0000 -
1342.92/1347.39 c 1347 15329 1889 1 - 0.0000 -
1348.00/1352.48 c 1352 15423 1876 1 - 0.0000 -
1353.18/1357.66 c 1358 15519 1882 1 - 0.0000 -
1358.66/1363.16 c 1363 15604 1886 1 - 0.0000 -
1363.94/1368.46 c 1368 15683 1879 1 - 0.0000 -
1369.11/1373.62 c 1374 15781 1860 1 - 0.0000 -
1374.99/1379.50 c 1380 15859 1852 1 - 0.0000 -
1380.06/1384.62 c 1385 15944 1859 1 - 0.0000 -
1385.24/1389.87 c 1390 16025 1864 1 - 0.0000 -
1390.42/1395.03 c 1395 16122 1862 1 - 0.0000 -
1395.50/1400.17 c 1400 16210 1871 1 - 0.0000 -
1400.66/1405.31 c 1405 16306 1871 1 - 0.0000 -
1405.74/1410.48 c 1410 16398 1868 1 - 0.0000 -
1410.82/1415.56 c 1416 16491 1867 1 - 0.0000 -
1416.00/1420.77 c 1421 16579 1865 1 - 0.0000 -
1421.17/1425.96 c 1426 16664 1864 1 - 0.0000 -
1426.25/1431.04 c 1431 16730 1870 1 - 0.0000 -
1431.33/1436.18 c 1436 16820 1876 1 - 0.0000 -
1436.50/1441.36 c 1441 16897 1880 1 - 0.0000 -
1442.08/1446.92 c 1447 16971 1884 1 - 0.0000 -
1447.55/1452.47 c 1452 17043 1887 1 - 0.0000 -
1452.83/1457.74 c 1458 17120 1890 1 - 0.0000 -
1458.30/1463.25 c 1463 17193 1895 1 - 0.0000 -
1463.68/1468.63 c 1469 17271 1897 1 - 0.0000 -
1468.75/1473.75 c 1474 17356 1912 1 - 0.0000 -
1473.93/1478.90 c 1479 17446 1920 1 - 0.0000 -
1479.01/1484.07 c 1484 17522 1926 1 - 0.0000 -
1484.88/1489.93 c 1490 17594 1930 1 - 0.0000 -
1489.96/1495.06 c 1495 17677 1927 1 - 0.0000 -
1495.13/1500.25 c 1500 17771 1931 1 - 0.0000 -
1500.21/1505.35 c 1505 17868 1942 1 - 0.0000 -
1505.39/1510.54 c 1511 17966 1958 1 - 0.0000 -
1510.46/1515.68 c 1516 18065 1962 1 - 0.0000 -
1515.64/1520.89 c 1521 18164 1961 1 - 0.0000 -
1520.92/1526.11 c 1526 18234 1955 1 - 0.0000 -
1526.49/1531.70 c 1532 18316 1972 1 - 0.0000 -
1531.87/1537.11 c 1537 18396 1987 1 - 0.0000 -
1537.05/1542.31 c 1542 18468 2017 1 - 0.0000 -
1542.42/1547.78 c 1548 18541 2044 1 - 0.0000 -
1547.90/1553.25 c 1553 18627 2068 1 - 0.0000 -
1552.97/1558.34 c 1558 18704 2075 1 - 0.0000 -
1558.24/1563.65 c 1564 18774 2081 1 - 0.0000 -
1563.73/1569.10 c 1569 18852 2103 1 - 0.0000 -
1568.80/1574.23 c 1574 18935 2111 1 - 0.0000 -
1574.27/1579.70 c 1580 19015 2119 1 - 0.0000 -
1579.46/1584.90 c 1585 19103 2121 1 - 0.0000 -
1584.63/1590.11 c 1590 19192 2132 1 - 0.0000 -
1589.70/1595.23 c 1595 19285 2124 1 - 0.0000 -
1595.28/1600.80 c 1601 19368 2127 1 - 0.0000 -
1600.36/1605.93 c 1606 19451 2136 1 - 0.0000 -
1605.93/1611.59 c 1612 19530 2142 1 - 0.0000 -
1611.11/1616.76 c 1617 19618 2142 1 - 0.0000 -
1616.28/1621.95 c 1622 19714 2146 1 - 0.0000 -
1621.47/1627.18 c 1627 19802 2144 1 - 0.0000 -
1626.64/1632.33 c 1632 19877 2145 1 - 0.0000 -
1631.81/1637.54 c 1638 19968 2146 1 - 0.0000 -
1637.19/1642.90 c 1643 20044 2161 1 - 0.0000 -
1642.27/1648.09 c 1648 20115 2162 1 - 0.0000 -
1647.94/1653.80 c 1654 20205 2164 1 - 0.0000 -
1653.23/1659.00 c 1659 20296 2171 1 - 0.0000 -
1658.30/1664.15 c 1664 20387 2182 1 - 0.0000 -
1663.77/1669.61 c 1670 20477 2188 1 - 0.0000 -
1668.95/1674.83 c 1675 20569 2189 1 - 0.0000 -
1674.02/1679.96 c 1680 20659 2190 1 - 0.0000 -
1679.21/1685.13 c 1685 20755 2184 1 - 0.0000 -
1684.28/1690.28 c 1690 20846 2183 1 - 0.0000 -
1689.55/1695.59 c 1696 20932 2191 1 - 0.0000 -
1694.73/1700.78 c 1701 21026 2194 1 - 0.0000 -
1699.90/1705.99 c 1706 21124 2193 1 - 0.0000 -
1705.18/1711.25 c 1711 21207 2192 1 - 0.0000 -
1710.35/1716.46 c 1716 21303 2184 1 - 0.0000 -
1715.53/1721.63 c 1722 21394 2182 1 - 0.0000 -
1720.91/1727.00 c 1727 21466 2181 1 - 0.0000 -
1726.28/1732.49 c 1732 21545 2184 1 - 0.0000 -
1731.86/1738.08 c 1738 21625 2196 1 - 0.0000 -
1738.03/1744.21 c 1744 21719 2196 1 - 0.0000 -
1743.20/1749.46 c 1749 21811 2191 1 - 0.0000 -
1748.38/1754.61 c 1755 21905 2191 1 - 0.0000 -
1753.55/1759.83 c 1760 22002 2206 1 - 0.0000 -
1758.74/1765.02 c 1765 22101 2215 1 - 0.0000 -
1763.90/1770.26 c 1770 22198 2212 1 - 0.0000 -
1769.08/1775.46 c 1775 22298 2212 1 - 0.0000 -
1774.16/1780.56 c 1781 22391 2208 1 - 0.0000 -
1779.34/1785.74 c 1786 22488 2212 1 - 0.0000 -
1784.72/1791.12 c 1791 22570 2206 1 - 0.0000 -
1789.89/1796.36 c 1796 22646 2205 1 - 0.0000 -
1795.37/1801.89 c 1802 22722 2213 1 - 0.0000 -
1800.66/1807.14 c 1807 22814 2217 1 - 0.0000 -
1805.83/1812.39 c 1812 22907 2215 1 - 0.0000 -
1811.02/1817.55 c 1818 22991 2224 1 - 0.0000 -
1816.31/1822.87 c 1823 23076 2223 1 - 0.0000 -
1821.49/1828.02 c 1828 23155 2228 1 - 0.0000 -
1826.57/1833.15 c 1833 23240 2231 1 - 0.0000 -
1831.85/1838.49 c 1838 23332 2235 1 - 0.0000 -
1837.04/1843.61 c 1844 23421 2234 1 - 0.0000 -
1842.12/1848.76 c 1849 23515 2242 1 - 0.0000 -
1847.30/1853.96 c 1854 23607 2240 1 - 0.0000 -
1852.49/1859.15 c 1859 23702 2241 1 - 0.0000 -
1857.66/1864.39 c 1864 23794 2240 1 - 0.0000 -
1862.85/1869.52 c 1870 23888 2238 1 - 0.0000 -
1868.53/1875.22 c 1875 23976 2260 1 - 0.0000 -
1873.72/1880.43 c 1880 24068 2257 1 - 0.0000 -
1878.99/1885.72 c 1886 24160 2259 1 - 0.0000 -
1884.28/1891.05 c 1891 24239 2269 1 - 0.0000 -
1889.45/1896.22 c 1896 24328 2280 1 - 0.0000 -
1894.64/1901.40 c 1901 24412 2282 1 - 0.0000 -
1899.72/1906.56 c 1907 24505 2281 1 - 0.0000 -
1904.80/1911.67 c 1912 24595 2283 1 - 0.0000 -
1910.08/1916.92 c 1917 24688 2284 1 - 0.0000 -
1915.36/1922.20 c 1922 24781 2289 1 - 0.0000 -
1920.44/1927.38 c 1927 24863 2285 1 - 0.0000 -
1925.72/1932.61 c 1933 24946 2298 1 - 0.0000 -
1930.81/1937.75 c 1938 25037 2298 1 - 0.0000 -
1935.98/1942.94 c 1943 25131 2296 1 - 0.0000 -
1941.56/1948.59 c 1949 25199 2321 1 - 0.0000 -
1946.74/1953.78 c 1954 25279 2329 1 - 0.0000 -
1952.13/1959.11 c 1959 25358 2332 1 - 0.0000 -
1957.21/1964.29 c 1964 25426 2336 1 - 0.0000 -
1963.18/1970.26 c 1970 25504 2342 1 - 0.0000 -
1968.66/1975.70 c 1976 25591 2341 1 - 0.0000 -
1973.84/1980.91 c 1981 25683 2347 1 - 0.0000 -
1979.02/1986.12 c 1986 25781 2353 1 - 0.0000 -
1984.10/1991.28 c 1991 25868 2354 1 - 0.0000 -
1989.38/1996.51 c 1997 25952 2360 1 - 0.0000 -
1994.57/2001.72 c 2002 26028 2362 1 - 0.0000 -
1999.75/2006.96 c 2007 26095 2360 1 - 0.0000 -
2004.94/2012.12 c 2012 26173 2374 1 - 0.0000 -
2010.01/2017.25 c 2017 26257 2380 1 - 0.0000 -
2015.09/2022.37 c 2022 26354 2391 1 - 0.0000 -
2020.28/2027.58 c 2028 26454 2399 1 - 0.0000 -
2025.45/2032.72 c 2033 26553 2392 1 - 0.0000 -
2030.84/2038.16 c 2038 26649 2401 1 - 0.0000 -
2036.12/2043.41 c 2043 26748 2402 1 - 0.0000 -
2041.30/2048.68 c 2049 26833 2409 1 - 0.0000 -
2046.78/2054.13 c 2054 26905 2427 1 - 0.0000 -
2052.25/2059.69 c 2060 26990 2436 1 - 0.0000 -
2057.84/2065.21 c 2065 27079 2435 1 - 0.0000 -
2062.92/2070.36 c 2070 27172 2434 1 - 0.0000 -
2068.20/2075.62 c 2076 27266 2431 1 - 0.0000 -
2073.18/2080.68 c 2081 27355 2414 1 - 0.0000 -
2078.46/2085.94 c 2086 27446 2411 1 - 0.0000 -
2084.04/2091.58 c 2092 27522 2421 1 - 0.0000 -
2089.42/2096.93 c 2097 27594 2437 1 - 0.0000 -
2094.50/2102.08 c 2102 27675 2447 1 - 0.0000 -
2099.68/2107.22 c 2107 27745 2451 1 - 0.0000 -
2104.76/2112.37 c 2112 27839 2446 1 - 0.0000 -
2110.34/2117.90 c 2118 27926 2454 1 - 0.0000 -
2115.43/2123.03 c 2123 28001 2459 1 - 0.0000 -
2120.51/2128.17 c 2128 28074 2470 1 - 0.0000 -
2125.69/2133.34 c 2133 28155 2471 1 - 0.0000 -
2131.37/2139.06 c 2139 28228 2478 1 - 0.0000 -
2136.85/2144.52 c 2145 28309 2486 1 - 0.0000 -
2142.33/2150.07 c 2150 28395 2479 1 - 0.0000 -
2147.50/2155.28 c 2155 28479 2483 1 - 0.0000 -
2152.88/2160.64 c 2161 28551 2492 1 - 0.0000 -
2158.07/2165.83 c 2166 28635 2494 1 - 0.0000 -
2163.36/2171.17 c 2171 28717 2496 1 - 0.0000 -
2169.04/2176.87 c 2177 28786 2500 1 - 0.0000 -
2174.22/2182.05 c 2182 28859 2503 1 - 0.0000 -
2179.41/2187.20 c 2187 28950 2510 1 - 0.0000 -
2184.49/2192.33 c 2192 29047 2525 1 - 0.0000 -
2189.67/2197.55 c 2198 29139 2533 1 - 0.0000 -
2194.86/2202.75 c 2203 29231 2545 1 - 0.0000 -
2200.03/2207.90 c 2208 29322 2545 1 - 0.0000 -
2205.43/2213.36 c 2213 29404 2552 1 - 0.0000 -
2210.61/2218.51 c 2219 29502 2565 1 - 0.0000 -
2215.69/2223.67 c 2224 29589 2573 1 - 0.0000 -
2220.78/2228.78 c 2229 29681 2574 1 - 0.0000 -
2226.06/2234.02 c 2234 29778 2571 1 - 0.0000 -
2231.24/2239.27 c 2239 29866 2575 1 - 0.0000 -
2236.62/2244.67 c 2245 29950 2579 1 - 0.0000 -
2241.71/2249.79 c 2250 30046 2584 1 - 0.0000 -
2247.19/2255.26 c 2255 30127 2587 1 - 0.0000 -
2252.37/2260.44 c 2260 30224 2583 1 - 0.0000 -
2257.84/2265.95 c 2266 30311 2577 1 - 0.0000 -
2263.22/2271.32 c 2271 30402 2579 1 - 0.0000 -
2268.50/2276.61 c 2277 30486 2582 1 - 0.0000 -
2273.68/2281.81 c 2282 30585 2587 1 - 0.0000 -
2279.06/2287.26 c 2287 30672 2580 1 - 0.0000 -
2284.34/2292.51 c 2293 30748 2580 1 - 0.0000 -
2289.52/2297.72 c 2298 30834 2586 1 - 0.0000 -
2294.60/2302.84 c 2303 30921 2578 1 - 0.0000 -
2299.68/2307.96 c 2308 31000 2570 1 - 0.0000 -
2304.97/2313.22 c 2313 31075 2573 1 - 0.0000 -
2310.15/2318.40 c 2318 31168 2570 1 - 0.0000 -
2315.33/2323.65 c 2324 31245 2572 1 - 0.0000 -
2321.21/2329.58 c 2330 31320 2581 1 - 0.0000 -
2326.39/2334.73 c 2335 31399 2580 1 - 0.0000 -
2332.07/2340.45 c 2340 31486 2585 1 - 0.0000 -
2337.25/2345.62 c 2346 31570 2589 1 - 0.0000 -
2342.33/2350.77 c 2351 31661 2594 1 - 0.0000 -
2347.62/2356.01 c 2356 31757 2612 1 - 0.0000 -
2352.71/2361.15 c 2361 31846 2610 1 - 0.0000 -
2357.88/2366.37 c 2366 31931 2613 1 - 0.0000 -
2363.07/2371.59 c 2372 32024 2614 1 - 0.0000 -
2369.15/2377.62 c 2378 32099 2621 1 - 0.0000 -
2374.33/2382.85 c 2383 32181 2623 1 - 0.0000 -
2379.51/2388.07 c 2388 32248 2628 1 - 0.0000 -
2384.89/2393.43 c 2393 32327 2631 1 - 0.0000 -
2390.37/2398.94 c 2399 32403 2655 1 - 0.0000 -
2395.76/2404.35 c 2404 32474 2666 1 - 0.0000 -
2401.05/2409.67 c 2410 32543 2669 1 - 0.0000 -
2406.62/2415.27 c 2415 32616 2690 1 - 0.0000 -
2412.11/2420.70 c 2421 32684 2694 1 - 0.0000 -
2417.19/2425.89 c 2426 32773 2695 1 - 0.0000 -
2422.37/2431.00 c 2431 32867 2705 1 - 0.0000 -
2427.46/2436.17 c 2436 32964 2709 1 - 0.0000 -
2432.64/2441.30 c 2441 33060 2700 1 - 0.0000 -
2437.72/2446.49 c 2446 33144 2706 1 - 0.0000 -
2443.00/2451.70 c 2452 33218 2718 1 - 0.0000 -
2448.08/2456.88 c 2457 33298 2720 1 - 0.0000 -
2453.46/2462.24 c 2462 33381 2739 1 - 0.0000 -
2459.15/2467.98 c 2468 33464 2744 1 - 0.0000 -
2464.53/2473.33 c 2473 33542 2756 1 - 0.0000 -
2469.61/2478.48 c 2478 33620 2766 1 - 0.0000 -
2474.99/2483.83 c 2484 33708 2770 1 - 0.0000 -
2480.18/2489.10 c 2489 33798 2786 1 - 0.0000 -
2485.36/2494.23 c 2494 33892 2792 1 - 0.0000 -
2490.54/2499.43 c 2499 33979 2793 1 - 0.0000 -
2495.72/2504.64 c 2505 34062 2800 1 - 0.0000 -
2501.01/2509.92 c 2510 34140 2803 1 - 0.0000 -
2506.39/2515.36 c 2515 34227 2808 1 - 0.0000 -
2511.97/2520.95 c 2521 34321 2813 1 - 0.0000 -
2517.45/2526.41 c 2526 34404 2820 1 - 0.0000 -
2522.63/2531.63 c 2532 34466 2826 1 - 0.0000 -
2527.71/2536.79 c 2537 34552 2816 1 - 0.0000 -
2533.11/2542.18 c 2542 34609 2825 1 - 0.0000 -
2538.68/2547.73 c 2548 34697 2833 1 - 0.0000 -
2543.97/2553.03 c 2553 34774 2831 1 - 0.0000 -
2549.45/2558.59 c 2559 34858 2835 1 - 0.0000 -
2554.53/2563.66 c 2564 34924 2849 1 - 0.0000 -
2559.81/2568.91 c 2569 34990 2861 1 - 0.0000 -
2565.00/2574.16 c 2574 35062 2869 1 - 0.0000 -
2570.98/2580.16 c 2580 35137 2876 1 - 0.0000 -
2576.65/2585.81 c 2586 35216 2877 1 - 0.0000 -
2581.64/2590.82 c 2591 35286 2883 1 - 0.0000 -
2587.42/2596.66 c 2597 35360 2889 1 - 0.0000 -
2593.20/2602.45 c 2602 35441 2894 1 - 0.0000 -
2598.58/2607.81 c 2608 35512 2897 1 - 0.0000 -
2604.27/2613.53 c 2614 35592 2901 1 - 0.0000 -
2609.45/2618.70 c 2619 35662 2905 1 - 0.0000 -
2614.94/2624.23 c 2624 35739 2912 1 - 0.0000 -
2620.62/2629.97 c 2630 35806 2915 1 - 0.0000 -
2626.00/2635.37 c 2635 35878 2917 1 - 0.0000 -
2631.48/2640.86 c 2641 35955 2922 1 - 0.0000 -
2636.67/2646.05 c 2646 36025 2928 1 - 0.0000 -
2642.35/2651.76 c 2652 36105 2934 1 - 0.0000 -
2647.73/2657.11 c 2657 36170 2939 1 - 0.0000 -
2653.51/2662.96 c 2663 36245 2940 1 - 0.0000 -
2659.09/2668.59 c 2669 36325 2940 1 - 0.0000 -
2664.76/2674.24 c 2674 36391 2948 1 - 0.0000 -
2670.04/2679.59 c 2680 36464 2949 1 - 0.0000 -
2676.13/2685.62 c 2686 36536 2953 1 - 0.0000 -
2681.41/2690.95 c 2691 36605 2958 1 - 0.0000 -
2686.49/2696.09 c 2696 36680 2959 1 - 0.0000 -
2692.27/2701.85 c 2702 36754 2967 1 - 0.0000 -
2697.65/2707.24 c 2707 36826 2979 1 - 0.0000 -
2702.73/2712.37 c 2712 36907 2986 1 - 0.0000 -
2708.21/2717.89 c 2718 36974 2993 1 - 0.0000 -
2713.80/2723.40 c 2723 37058 2999 1 - 0.0000 -
2719.28/2728.98 c 2729 37137 3002 1 - 0.0000 -
2725.06/2734.78 c 2735 37215 3004 1 - 0.0000 -
2730.64/2740.33 c 2740 37286 3009 1 - 0.0000 -
2736.13/2745.87 c 2746 37356 3011 1 - 0.0000 -
2741.70/2751.40 c 2751 37428 3013 1 - 0.0000 -
2746.99/2756.72 c 2757 37498 3015 1 - 0.0000 -
2752.57/2762.33 c 2762 37576 3019 1 - 0.0000 -
2758.15/2767.92 c 2768 37658 3021 1 - 0.0000 -
2763.34/2773.12 c 2773 37722 3023 1 - 0.0000 -
2768.91/2778.73 c 2779 37804 3021 1 - 0.0000 -
2774.21/2784.04 c 2784 37876 3023 1 - 0.0000 -
2779.29/2789.18 c 2789 37940 3025 1 - 0.0000 -
2784.87/2794.76 c 2795 38018 3029 1 - 0.0000 -
2790.16/2800.10 c 2800 38094 3029 1 - 0.0000 -
2795.93/2805.89 c 2806 38165 3030 1 - 0.0000 -
2801.12/2811.10 c 2811 38233 3036 1 - 0.0000 -
2806.89/2816.88 c 2817 38307 3036 1 - 0.0000 -
2811.98/2821.91 c 2822 38376 3035 1 - 0.0000 -
2817.07/2827.01 c 2827 38442 3037 1 - 0.0000 -
2823.16/2833.19 c 2833 38529 3040 1 - 0.0000 -
2828.53/2838.56 c 2839 38611 3042 1 - 0.0000 -
2834.03/2844.04 c 2844 38685 3042 1 - 0.0000 -
2839.70/2849.77 c 2850 38761 3042 1 - 0.0000 -
2845.28/2855.33 c 2855 38847 3042 1 - 0.0000 -
2850.57/2860.64 c 2861 38914 3045 1 - 0.0000 -
2856.34/2866.43 c 2866 38990 3047 1 - 0.0000 -
2861.63/2871.73 c 2872 39059 3048 1 - 0.0000 -
2867.01/2877.12 c 2877 39139 3048 1 - 0.0000 -
2872.40/2882.57 c 2883 39217 3052 1 - 0.0000 -
2877.88/2888.02 c 2888 39296 3055 1 - 0.0000 -
2883.26/2893.49 c 2894 39383 3062 1 - 0.0000 -
2888.74/2898.96 c 2899 39459 3068 1 - 0.0000 -
2894.32/2904.50 c 2904 39537 3072 1 - 0.0000 -
2899.82/2910.07 c 2910 39612 3073 1 - 0.0000 -
2905.29/2915.54 c 2916 39693 3072 1 - 0.0000 -
2910.57/2920.87 c 2921 39760 3075 1 - 0.0000 -
2915.86/2926.13 c 2926 39824 3081 1 - 0.0000 -
2921.54/2931.83 c 2932 39896 3083 1 - 0.0000 -
2926.83/2937.16 c 2937 39970 3087 1 - 0.0000 -
2932.30/2942.61 c 2943 40047 3092 1 - 0.0000 -
2937.49/2947.80 c 2948 40129 3096 1 - 0.0000 -
2942.68/2953.05 c 2953 40207 3098 1 - 0.0000 -
2947.76/2958.17 c 2958 40277 3098 1 - 0.0000 -
2953.34/2963.77 c 2964 40348 3099 1 - 0.0000 -
2959.01/2969.43 c 2969 40429 3102 1 - 0.0000 -
2964.20/2974.62 c 2975 40505 3106 1 - 0.0000 -
2969.78/2980.20 c 2980 40577 3106 1 - 0.0000 -
2974.97/2985.47 c 2985 40652 3107 1 - 0.0000 -
2980.55/2991.01 c 2991 40733 3110 1 - 0.0000 -
2985.72/2996.20 c 2996 40806 3115 1 - 0.0000 -
2990.91/3001.45 c 3001 40885 3120 1 - 0.0000 -
2996.79/3007.37 c 3007 40974 3119 1 - 0.0000 -
3001.87/3012.47 c 3012 41060 3119 1 - 0.0000 -
3007.16/3017.79 c 3018 41136 3125 1 - 0.0000 -
3012.55/3023.13 c 3023 41220 3125 1 - 0.0000 -
3017.72/3028.36 c 3028 41295 3132 1 - 0.0000 -
3023.20/3033.83 c 3034 41369 3136 1 - 0.0000 -
3028.29/3038.96 c 3039 41452 3139 1 - 0.0000 -
3034.07/3044.75 c 3045 41533 3144 1 - 0.0000 -
3039.36/3050.08 c 3050 41603 3150 1 - 0.0000 -
3044.64/3055.31 c 3055 41668 3157 1 - 0.0000 -
3050.02/3060.73 c 3061 41744 3161 1 - 0.0000 -
3055.10/3065.89 c 3066 41823 3160 1 - 0.0000 -
3060.98/3071.72 c 3072 41905 3164 1 - 0.0000 -
3066.17/3076.94 c 3077 41977 3166 1 - 0.0000 -
3071.55/3082.39 c 3082 42052 3169 1 - 0.0000 -
3076.73/3087.56 c 3088 42119 3170 1 - 0.0000 -
3082.71/3093.52 c 3094 42199 3172 1 - 0.0000 -
3088.20/3099.06 c 3099 42275 3172 1 - 0.0000 -
3093.58/3104.41 c 3104 42349 3172 1 - 0.0000 -
3098.66/3109.58 c 3110 42443 3176 1 - 0.0000 -
3103.85/3114.74 c 3115 42536 3177 1 - 0.0000 -
3109.03/3119.90 c 3120 42626 3177 1 - 0.0000 -
3114.41/3125.32 c 3125 42716 3177 1 - 0.0000 -
3119.59/3130.50 c 3131 42783 3178 1 - 0.0000 -
3124.87/3135.89 c 3136 42867 3178 1 - 0.0000 -
3130.36/3141.32 c 3141 42937 3178 1 - 0.0000 -
3135.44/3146.43 c 3146 43015 3180 1 - 0.0000 -
3140.62/3151.60 c 3152 43103 3184 1 - 0.0000 -
3145.80/3156.85 c 3157 43183 3188 1 - 0.0000 -
3151.00/3162.04 c 3162 43251 3192 1 - 0.0000 -
3156.17/3167.24 c 3167 43324 3201 1 - 0.0000 -
3161.25/3172.38 c 3172 43411 3200 1 - 0.0000 -
3166.44/3177.53 c 3178 43491 3202 1 - 0.0000 -
3171.62/3182.77 c 3183 43567 3208 1 - 0.0000 -
3176.81/3187.90 c 3188 43639 3214 1 - 0.0000 -
3182.09/3193.22 c 3193 43726 3221 1 - 0.0000 -
3187.37/3198.51 c 3199 43802 3223 1 - 0.0000 -
3192.56/3203.72 c 3204 43882 3227 1 - 0.0000 -
3197.74/3208.93 c 3209 43953 3230 1 - 0.0000 -
3203.02/3214.29 c 3214 44045 3236 1 - 0.0000 -
3208.21/3219.46 c 3219 44137 3240 1 - 0.0000 -
3213.98/3225.21 c 3225 44222 3241 1 - 0.0000 -
3219.27/3230.52 c 3231 44310 3239 1 - 0.0000 -
3224.45/3235.70 c 3236 44377 3244 1 - 0.0000 -
3229.53/3240.88 c 3241 44446 3247 1 - 0.0000 -
3234.72/3246.06 c 3246 44518 3253 1 - 0.0000 -
3240.19/3251.52 c 3252 44585 3260 1 - 0.0000 -
3245.38/3256.77 c 3257 44667 3266 1 - 0.0000 -
3250.57/3261.93 c 3262 44761 3270 1 - 0.0000 -
3255.85/3267.20 c 3267 44837 3274 1 - 0.0000 -
3260.93/3272.34 c 3272 44913 3276 1 - 0.0000 -
3266.12/3277.53 c 3278 45005 3278 1 - 0.0000 -
3271.29/3282.71 c 3283 45089 3280 1 - 0.0000 -
3276.38/3287.83 c 3288 45164 3283 1 - 0.0000 -
3281.76/3293.22 c 3293 45250 3287 1 - 0.0000 -
3286.94/3298.47 c 3298 45331 3294 1 - 0.0000 -
3292.24/3303.74 c 3304 45413 3300 1 - 0.0000 -
3297.42/3308.98 c 3309 45494 3307 1 - 0.0000 -
3302.61/3314.12 c 3314 45558 3311 1 - 0.0000 -
3307.68/3319.27 c 3319 45628 3313 1 - 0.0000 -
3312.96/3324.50 c 3325 45707 3316 1 - 0.0000 -
3318.05/3329.65 c 3330 45782 3319 1 - 0.0000 -
3323.23/3334.87 c 3335 45866 3321 1 - 0.0000 -
3328.42/3340.08 c 3340 45961 3324 1 - 0.0000 -
3333.80/3345.43 c 3345 46035 3326 1 - 0.0000 -
3338.88/3350.57 c 3351 46113 3328 1 - 0.0000 -
3344.07/3355.70 c 3356 46204 3327 1 - 0.0000 -
3349.45/3361.15 c 3361 46287 3330 1 - 0.0000 -
3354.73/3366.41 c 3366 46376 3335 1 - 0.0000 -
3359.91/3371.65 c 3372 46463 3342 1 - 0.0000 -
3365.20/3376.98 c 3377 46545 3350 1 - 0.0000 -
3370.38/3382.15 c 3382 46617 3354 1 - 0.0000 -
3375.66/3387.40 c 3387 46707 3354 1 - 0.0000 -
3380.74/3392.53 c 3393 46796 3355 1 - 0.0000 -
3386.02/3397.89 c 3398 46883 3358 1 - 0.0000 -
3391.11/3402.99 c 3403 46959 3360 1 - 0.0000 -
3396.30/3408.15 c 3408 47039 3362 1 - 0.0000 -
3401.78/3413.62 c 3414 47121 3368 1 - 0.0000 -
3406.96/3418.84 c 3419 47207 3368 1 - 0.0000 -
3412.15/3424.04 c 3424 47287 3368 1 - 0.0000 -
3417.52/3429.43 c 3429 47371 3368 1 - 0.0000 -
3422.60/3434.57 c 3435 47459 3368 1 - 0.0000 -
3427.89/3439.84 c 3440 47542 3369 1 - 0.0000 -
3433.18/3445.17 c 3445 47614 3375 1 - 0.0000 -
3438.25/3450.26 c 3450 47694 3377 1 - 0.0000 -
3443.44/3455.43 c 3455 47774 3377 1 - 0.0000 -
3448.72/3460.70 c 3461 47854 3379 1 - 0.0000 -
3453.80/3465.80 c 3466 47942 3379 1 - 0.0000 -
3459.09/3471.12 c 3471 48037 3380 1 - 0.0000 -
3464.16/3476.27 c 3476 48125 3382 1 - 0.0000 -
3469.35/3481.40 c 3481 48200 3385 1 - 0.0000 -
3474.73/3486.81 c 3487 48284 3385 1 - 0.0000 -
3479.92/3492.01 c 3492 48370 3385 1 - 0.0000 -
3485.00/3497.17 c 3497 48463 3388 1 - 0.0000 -
3490.28/3502.44 c 3502 48550 3393 1 - 0.0000 -
3495.47/3507.61 c 3508 48637 3394 1 - 0.0000 -
3500.75/3512.90 c 3513 48723 3394 1 - 0.0000 -
3505.93/3518.17 c 3518 48795 3398 1 - 0.0000 -
3511.11/3523.32 c 3523 48869 3404 1 - 0.0000 -
3516.59/3528.80 c 3529 48941 3416 1 - 0.0000 -
3521.78/3534.03 c 3534 49022 3417 1 - 0.0000 -
3527.25/3539.56 c 3540 49114 3417 1 - 0.0000 -
3532.75/3545.00 c 3545 49193 3422 1 - 0.0000 -
3537.92/3550.21 c 3550 49285 3422 1 - 0.0000 -
3543.11/3555.41 c 3555 49375 3420 1 - 0.0000 -
3548.19/3560.55 c 3561 49461 3422 1 - 0.0000 -
3553.37/3565.72 c 3566 49554 3423 1 - 0.0000 -
3558.46/3570.86 c 3571 49647 3424 1 - 0.0000 -
3563.54/3575.97 c 3576 49735 3428 1 - 0.0000 -
3568.73/3581.11 c 3581 49827 3428 1 - 0.0000 -
3573.80/3586.28 c 3586 49911 3438 1 - 0.0000 -
3579.08/3591.53 c 3592 49992 3439 1 - 0.0000 -
3584.27/3596.77 c 3597 50077 3438 1 - 0.0000 -
3586.16/3598.67 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.16/3598.67 c Total Time : 3598.6800
3586.16/3598.67 c solving : 3598.6800
3586.16/3598.67 c presolving : 18.7880 (included in solving)
3586.16/3598.67 c B&B Tree :
3586.16/3598.67 c nodes (total) : 1
3586.16/3598.67 c Solution :
3586.16/3598.67 c Solutions found : 0
3586.16/3598.67 c Primal Bound : -
3586.16/3598.67 c Dual Bound : +0.00000000000000e+00
3586.16/3598.67 c Gap : -
3586.47/3598.99 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 (62541 MiB free)
memory of node 1: 64473 MiB (62918 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464408-1722378602/watcher-4464408-1722378602 -o /tmp/evaluation-result-4464408-1722378602/solver-4464408-1722378602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722378597-35202 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464408-1722378602.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=35411, runsolver pid=35408
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 0.42 0.15 0.11 5/258 35412
/proc/meminfo: memFree=128428976/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=65736 memory=53264 CPUtime=0.09 cores=5,7
/proc/35411/stat : 35411 (fscip) R 35408 35411 35189 0 -1 4194304 11240 0 0 0 8 1 0 0 20 0 1 0 4462077 67313664 13316 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 16434 13316 2347 3035 0 12830 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65736 KiB
Current children cumulated memory: 53264 KiB
[startup+0.205883 s]*
/proc/loadavg: 0.42 0.15 0.11 5/258 35412
/proc/meminfo: memFree=128394132/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=99692 memory=87348 CPUtime=0.2 cores=5,7
/proc/35411/stat : 35411 (fscip) R 35408 35411 35189 0 -1 4194304 19705 0 0 0 18 2 0 0 20 0 1 0 4462077 102084608 21837 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 24923 21837 2347 3035 0 21319 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99692 KiB
Current children cumulated memory: 87348 KiB
[startup+0.305794 s]*
/proc/loadavg: 0.42 0.15 0.11 5/258 35412
/proc/meminfo: memFree=128362744/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=131108 memory=118684 CPUtime=0.3 cores=5,7
/proc/35411/stat : 35411 (fscip) R 35408 35411 35189 0 -1 4194304 27556 0 0 0 27 3 0 0 20 0 1 0 4462077 134254592 29671 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 32777 29671 2347 3035 0 29173 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 131108 KiB
Current children cumulated memory: 118684 KiB
[startup+0.700226 s]
/proc/loadavg: 0.42 0.15 0.11 5/258 35412
/proc/meminfo: memFree=128275008/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=321168 memory=309644 CPUtime=0.69 cores=5,7
/proc/35411/stat : 35411 (fscip) R 35408 35411 35189 0 -1 4194304 74575 0 0 0 59 10 0 0 20 0 1 0 4462077 328876032 77411 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 80292 77411 2539 3035 0 76688 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 321168 KiB
Current children cumulated memory: 309644 KiB
[startup+1.50023 s]
/proc/loadavg: 0.42 0.15 0.11 5/258 35412
/proc/meminfo: memFree=128113000/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=553416 memory=535616 CPUtime=1.49 cores=5,7
/proc/35411/stat : 35411 (fscip) R 35408 35411 35189 0 -1 4194304 111620 0 0 0 132 17 0 0 20 0 1 0 4462077 566697984 133904 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 138354 133904 2662 3035 0 134750 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 553416 KiB
Current children cumulated memory: 535616 KiB
[startup+3.10597 s]
/proc/loadavg: 0.42 0.15 0.11 5/258 35412
/proc/meminfo: memFree=127953428/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=541276 memory=522724 CPUtime=3.09 cores=5,7
/proc/35411/stat : 35411 (fscip) R 35408 35411 35189 0 -1 4194304 133355 0 0 0 288 21 0 0 20 0 1 0 4462077 554266624 130681 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 135319 130681 2694 3035 0 131715 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 541276 KiB
Current children cumulated memory: 522724 KiB
[startup+6.30021 s]
/proc/loadavg: 0.71 0.22 0.13 5/259 35470
/proc/meminfo: memFree=127885588/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=656796 memory=590788 CPUtime=6.27 cores=5,7
/proc/35411/stat : 35411 (fscip) R 35408 35411 35189 0 -1 4194304 145220 0 0 0 604 23 0 0 20 0 1 0 4462077 672559104 147697 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 164199 147697 2758 3035 0 160595 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 656796 KiB
Current children cumulated memory: 590788 KiB
[startup+12.7002 s]
/proc/loadavg: 0.97 0.28 0.15 5/259 35470
/proc/meminfo: memFree=127879392/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=656796 memory=594884 CPUtime=12.65 cores=5,7
/proc/35411/stat : 35411 (fscip) R 35408 35411 35189 0 -1 4194304 145242 0 0 0 1241 24 0 0 20 0 1 0 4462077 672559104 148721 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 164199 148721 2758 3035 0 160595 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 656796 KiB
Current children cumulated memory: 594884 KiB
[startup+25.5003 s]
/proc/loadavg: 1.64 0.46 0.22 5/261 35474
/proc/meminfo: memFree=127402640/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=1178992 memory=1084348 CPUtime=25.39 cores=5,7
/proc/35411/stat : 35411 (fscip) S 35408 35411 35189 0 -1 1077936128 360646 0 0 0 2484 55 0 0 20 0 3 0 4462077 1207287808 271087 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 294748 271087 2774 3035 0 277917 0
[pid=35411/tid=35473] ppid=35408 vsize=1178992 memory=1049576 CPUtime=5.47 cores=5,7
/proc/35411/task/35473/stat : 35473 (fscip) R 35408 35411 35189 0 -1 4194368 183385 0 0 0 523 24 0 0 20 0 3 0 4464033 1207287808 271087 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
[pid=35411/tid=35474] ppid=35408 vsize=1178992 memory=11596 CPUtime=0 cores=5,7
/proc/35411/task/35474/stat : 35474 (fscip) S 35408 35411 35189 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4464106 1207287808 271087 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1178992 KiB
Current children cumulated memory: 1084348 KiB
[startup+51.1058 s]
/proc/loadavg: 2.51 0.76 0.32 5/263 35482
/proc/meminfo: memFree=125776480/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=1794644 memory=1704496 CPUtime=50.92 cores=5,7
/proc/35411/stat : 35411 (fscip) S 35408 35411 35189 0 -1 1077936128 654903 0 0 0 5006 86 0 0 20 0 3 0 4462077 1837715456 426124 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 448661 426124 2950 3035 0 440098 0
[pid=35411/tid=35473] ppid=35408 vsize=1794644 memory=12272 CPUtime=31.01 cores=5,7
/proc/35411/task/35473/stat : 35473 (fscip) R 35408 35411 35189 0 -1 4194368 477626 0 0 0 3045 56 0 0 20 0 3 0 4464033 1837715456 426124 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
[pid=35411/tid=35474] ppid=35408 vsize=1794644 memory=1704492 CPUtime=0 cores=5,7
/proc/35411/task/35474/stat : 35474 (fscip) S 35408 35411 35189 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4464106 1837715456 426124 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1794644 KiB
Current children cumulated memory: 1704496 KiB
[startup+102.3 s]
/proc/loadavg: 3.47 1.30 0.53 5/267 35495
/proc/meminfo: memFree=124962956/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=1923816 memory=1704516 CPUtime=101.96 cores=5,7
/proc/35411/stat : 35411 (fscip) S 35408 35411 35189 0 -1 1077936128 845919 0 0 0 10100 96 0 0 20 0 3 0 4462077 1969987584 426129 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 480954 426129 2950 3035 0 472391 0
[pid=35411/tid=35473] ppid=35408 vsize=1923816 memory=1704512 CPUtime=82.05 cores=5,7
/proc/35411/task/35473/stat : 35473 (fscip) R 35408 35411 35189 0 -1 4194368 668634 0 0 0 8140 65 0 0 20 0 3 0 4464033 1969987584 426129 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
[pid=35411/tid=35474] ppid=35408 vsize=1923816 memory=1704508 CPUtime=0 cores=5,7
/proc/35411/task/35474/stat : 35474 (fscip) S 35408 35411 35189 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4464106 1969987584 426129 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1923816 KiB
Current children cumulated memory: 1704516 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 1.82 0.76 5/267 35505
/proc/meminfo: memFree=124133788/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=2275444 memory=1900628 CPUtime=161.8 cores=5,7
/proc/35411/stat : 35411 (fscip) S 35408 35411 35189 0 -1 1077936128 1046451 0 0 0 16069 111 0 0 20 0 3 0 4462077 2330054656 475157 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 568861 475157 2950 3035 0 560130 0
[pid=35411/tid=35473] ppid=35408 vsize=2275444 memory=1900560 CPUtime=141.89 cores=5,7
/proc/35411/task/35473/stat : 35473 (fscip) R 35408 35411 35189 0 -1 4194368 869098 0 0 0 14108 81 0 0 20 0 3 0 4464033 2330054656 475157 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
[pid=35411/tid=35474] ppid=35408 vsize=2275444 memory=1900628 CPUtime=0 cores=5,7
/proc/35411/task/35474/stat : 35474 (fscip) S 35408 35411 35189 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4464106 2330054656 475157 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2275444 KiB
Current children cumulated memory: 1900628 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 2.25 0.97 5/265 35515
/proc/meminfo: memFree=124012212/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=2406004 memory=2014312 CPUtime=221.64 cores=5,7
/proc/35411/stat : 35411 (fscip) S 35408 35411 35189 0 -1 1077936128 1242070 0 0 0 22034 130 0 0 20 0 3 0 4462077 2463748096 503578 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 601501 503578 2998 3035 0 588549 0
[pid=35411/tid=35473] ppid=35408 vsize=2406004 memory=2014312 CPUtime=201.73 cores=5,7
/proc/35411/task/35473/stat : 35473 (fscip) R 35408 35411 35189 0 -1 4194368 1064681 0 0 0 20074 99 0 0 20 0 3 0 4464033 2463748096 503578 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
[pid=35411/tid=35474] ppid=35408 vsize=2406004 memory=2160 CPUtime=0 cores=5,7
/proc/35411/task/35474/stat : 35474 (fscip) S 35408 35411 35189 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4464106 2463748096 503578 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 2406004 KiB
Current children cumulated memory: 2014312 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.59 1.17 5/265 35526
/proc/meminfo: memFree=123966992/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=2457668 memory=2014320 CPUtime=281.47 cores=5,7
/proc/35411/stat : 35411 (fscip) S 35408 35411 35189 0 -1 1077936128 1364007 0 0 0 28011 136 0 0 20 0 3 0 4462077 2516652032 503580 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 614417 503580 2998 3035 0 601465 0
[pid=35411/tid=35473] ppid=35408 vsize=2457668 memory=2014316 CPUtime=261.55 cores=5,7
/proc/35411/task/35473/stat : 35473 (fscip) R 35408 35411 35189 0 -1 4194368 1186589 0 0 0 26050 105 0 0 20 0 3 0 4464033 2516652032 503580 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
[pid=35411/tid=35474] ppid=35408 vsize=2457668 memory=2014316 CPUtime=0 cores=5,7
/proc/35411/task/35474/stat : 35474 (fscip) S 35408 35411 35189 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 4464106 2516652032 503580 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 2457668 KiB
Current children cumulated memory: 2014320 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 2.88 1.36 5/259 35536
################
# More data... #
################
[pid=35411/tid=35474] ppid=35408 vsize=2980044 memory=11596 CPUtime=0.03 cores=5,7
/proc/35411/task/35474/stat : 35474 (fscip) S 35408 35411 35189 0 -1 1077936192 111 0 0 0 1 2 0 0 20 0 3 0 4464106 3051565056 596400 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
Current children cumulated CPU time: 3330.71 s
Current children cumulated vsize: 2980044 KiB
Current children cumulated memory: 2385600 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.04 5/261 37046
/proc/meminfo: memFree=122559916/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=2980044 memory=2385604 CPUtime=3390.52 cores=5,7
/proc/35411/stat : 35411 (fscip) S 35408 35411 35189 0 -1 1077936128 6026948 0 0 0 338596 456 0 0 20 0 3 0 4462077 3051565056 596401 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 745011 596401 2998 3035 0 735499 0
[pid=35411/tid=35473] ppid=35408 vsize=2980044 memory=2385600 CPUtime=3370.39 cores=5,7
/proc/35411/task/35473/stat : 35473 (fscip) R 35408 35411 35189 0 -1 4194368 5847973 0 0 0 336620 419 0 0 20 0 3 0 4464033 3051565056 596401 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
[pid=35411/tid=35474] ppid=35408 vsize=2980044 memory=2385604 CPUtime=0.03 cores=5,7
/proc/35411/task/35474/stat : 35474 (fscip) S 35408 35411 35189 0 -1 1077936192 113 0 0 0 1 2 0 0 20 0 3 0 4464106 3051565056 596401 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
Current children cumulated CPU time: 3390.52 s
Current children cumulated vsize: 2980044 KiB
Current children cumulated memory: 2385604 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.03 5/261 37058
/proc/meminfo: memFree=122425744/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=3111116 memory=2517084 CPUtime=3450.31 cores=5,7
/proc/35411/stat : 35411 (fscip) S 35408 35411 35189 0 -1 1077936128 6128356 0 0 0 344567 464 0 0 20 0 3 0 4462077 3185782784 629271 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 777779 629271 2998 3035 0 754970 0
[pid=35411/tid=35473] ppid=35408 vsize=3111116 memory=2385600 CPUtime=3430.19 cores=5,7
/proc/35411/task/35473/stat : 35473 (fscip) R 35408 35411 35189 0 -1 4194368 5949356 0 0 0 342591 428 0 0 20 0 3 0 4464033 3185782784 629271 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
[pid=35411/tid=35474] ppid=35408 vsize=3111116 memory=13016 CPUtime=0.03 cores=5,7
/proc/35411/task/35474/stat : 35474 (fscip) S 35408 35411 35189 0 -1 1077936192 114 0 0 0 1 2 0 0 20 0 3 0 4464106 3185782784 629271 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
Current children cumulated CPU time: 3450.31 s
Current children cumulated vsize: 3111116 KiB
Current children cumulated memory: 2517084 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.04 5/263 37238
/proc/meminfo: memFree=122411124/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=3111116 memory=2519128 CPUtime=3510.11 cores=5,7
/proc/35411/stat : 35411 (fscip) S 35408 35411 35189 0 -1 1077936128 6195132 0 0 0 350541 470 0 0 20 0 3 0 4462077 3185782784 629782 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 777779 629782 2998 3035 0 754970 0
[pid=35411/tid=35473] ppid=35408 vsize=3111116 memory=2519128 CPUtime=3489.97 cores=5,7
/proc/35411/task/35473/stat : 35473 (fscip) R 35408 35411 35189 0 -1 4194368 6016110 0 0 0 348564 433 0 0 20 0 3 0 4464033 3185782784 629782 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
[pid=35411/tid=35474] ppid=35408 vsize=3111116 memory=2519128 CPUtime=0.03 cores=5,7
/proc/35411/task/35474/stat : 35474 (fscip) S 35408 35411 35189 0 -1 1077936192 115 0 0 0 1 2 0 0 20 0 3 0 4464106 3185782784 629782 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
Current children cumulated CPU time: 3510.11 s
Current children cumulated vsize: 3111116 KiB
Current children cumulated memory: 2519128 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/263 37248
/proc/meminfo: memFree=122396568/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=3111116 memory=2521172 CPUtime=3569.92 cores=5,7
/proc/35411/stat : 35411 (fscip) S 35408 35411 35189 0 -1 1077936128 6257650 0 0 0 356516 476 0 0 20 0 3 0 4462077 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 777779 630293 2998 3035 0 754970 0
[pid=35411/tid=35473] ppid=35408 vsize=3111116 memory=12272 CPUtime=3549.78 cores=5,7
/proc/35411/task/35473/stat : 35473 (fscip) R 35408 35411 35189 0 -1 4194368 6078586 0 0 0 354539 439 0 0 20 0 3 0 4464033 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
[pid=35411/tid=35474] ppid=35408 vsize=3111116 memory=2521172 CPUtime=0.04 cores=5,7
/proc/35411/task/35474/stat : 35474 (fscip) S 35408 35411 35189 0 -1 1077936192 116 0 0 0 2 2 0 0 20 0 3 0 4464106 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
Current children cumulated CPU time: 3569.92 s
Current children cumulated vsize: 3111116 KiB
Current children cumulated memory: 2521172 KiB
[startup+3599.03 s]
# the end of solver process 35411 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.74 s, system=4.86219 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.11 4.04 5/263 37248
/proc/meminfo: memFree=122396292/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=3111116 memory=2521172 CPUtime=3571.62 cores=5,7
/proc/35411/stat : 35411 (fscip) S 35408 35411 35189 0 -1 1077936128 6257779 0 0 0 356686 476 0 0 20 0 3 0 4462077 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 777779 630293 2998 3035 0 754970 0
[pid=35411/tid=35473] ppid=35408 vsize=3111116 memory=-7378984731055054464 CPUtime=3551.48 cores=5,7
/proc/35411/task/35473/stat : 35473 (fscip) R 35408 35411 35189 0 -1 4194368 6078715 0 0 0 354709 439 0 0 20 0 3 0 4464033 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
[pid=35411/tid=35474] ppid=35408 vsize=3111116 memory=4354026035579874971 CPUtime=0.04 cores=5,7
/proc/35411/task/35474/stat : 35474 (fscip) S 35408 35411 35189 0 -1 1077936192 116 0 0 0 2 2 0 0 20 0 3 0 4464106 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 3111116 KiB
Current children cumulated memory: 2521172 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.10 4.04 5/263 37250
/proc/meminfo: memFree=122395660/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=3111116 memory=2521172 CPUtime=3577.99 cores=5,7
/proc/35411/stat : 35411 (fscip) S 35408 35411 35189 0 -1 1077936128 6258905 0 0 0 357323 476 0 0 20 0 3 0 4462077 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 777779 630293 2998 3035 0 754970 0
[pid=35411/tid=35473] ppid=35408 vsize=3111116 memory=2521172 CPUtime=3557.85 cores=5,7
/proc/35411/task/35473/stat : 35473 (fscip) R 35408 35411 35189 0 -1 4194368 6079840 0 0 0 355346 439 0 0 20 0 3 0 4464033 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
[pid=35411/tid=35474] ppid=35408 vsize=3111116 memory=-7378984731055054464 CPUtime=0.04 cores=5,7
/proc/35411/task/35474/stat : 35474 (fscip) S 35408 35411 35189 0 -1 1077936192 116 0 0 0 2 2 0 0 20 0 3 0 4464106 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
Current children cumulated CPU time: 3577.99 s
Current children cumulated vsize: 3111116 KiB
Current children cumulated memory: 2521172 KiB
[startup+3593.6 s]
/proc/loadavg: 4.09 4.10 4.04 5/263 37250
/proc/meminfo: memFree=122395320/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=3111116 memory=2521172 CPUtime=3581.18 cores=5,7
/proc/35411/stat : 35411 (fscip) S 35408 35411 35189 0 -1 1077936128 6258996 0 0 0 357642 476 0 0 20 0 3 0 4462077 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 777779 630293 2998 3035 0 754970 0
[pid=35411/tid=35473] ppid=35408 vsize=3111116 memory=2521172 CPUtime=3561.04 cores=5,7
/proc/35411/task/35473/stat : 35473 (fscip) R 35408 35411 35189 0 -1 4194368 6079931 0 0 0 355665 439 0 0 20 0 3 0 4464033 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
[pid=35411/tid=35474] ppid=35408 vsize=3111116 memory=1668 CPUtime=0.04 cores=5,7
/proc/35411/task/35474/stat : 35474 (fscip) S 35408 35411 35189 0 -1 1077936192 116 0 0 0 2 2 0 0 20 0 3 0 4464106 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
Current children cumulated CPU time: 3581.18 s
Current children cumulated vsize: 3111116 KiB
Current children cumulated memory: 2521172 KiB
[startup+3596.8 s]
/proc/loadavg: 4.01 4.09 4.03 4/258 37392
/proc/meminfo: memFree=126309336/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=3111116 memory=2521172 CPUtime=3584.37 cores=5,7
/proc/35411/stat : 35411 (fscip) S 35408 35411 35189 0 -1 1077936128 6259185 0 0 0 357961 476 0 0 20 0 3 0 4462077 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 777779 630293 2998 3035 0 754970 0
[pid=35411/tid=35473] ppid=35408 vsize=3111116 memory=12272 CPUtime=3564.23 cores=5,7
/proc/35411/task/35473/stat : 35473 (fscip) R 35408 35411 35189 0 -1 4194368 6080120 0 0 0 355984 439 0 0 20 0 3 0 4464033 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
[pid=35411/tid=35474] ppid=35408 vsize=3111116 memory=2521172 CPUtime=0.04 cores=5,7
/proc/35411/task/35474/stat : 35474 (fscip) S 35408 35411 35189 0 -1 1077936192 116 0 0 0 2 2 0 0 20 0 3 0 4464106 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
Current children cumulated CPU time: 3584.37 s
Current children cumulated vsize: 3111116 KiB
Current children cumulated memory: 2521172 KiB
[startup+3598.4 s]
/proc/loadavg: 4.01 4.09 4.03 5/260 37532
/proc/meminfo: memFree=126071640/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=3111116 memory=2521172 CPUtime=3585.97 cores=5,7
/proc/35411/stat : 35411 (fscip) S 35408 35411 35189 0 -1 1077936128 6292709 0 0 0 358119 478 0 0 20 0 3 0 4462077 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 777779 630293 2998 3035 0 754970 0
[pid=35411/tid=35473] ppid=35408 vsize=3111116 memory=2521172 CPUtime=3565.82 cores=5,7
/proc/35411/task/35473/stat : 35473 (fscip) R 35408 35411 35189 0 -1 4194368 6113639 0 0 0 356142 440 0 0 20 0 3 0 4464033 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
[pid=35411/tid=35474] ppid=35408 vsize=3111116 memory=11596 CPUtime=0.04 cores=5,7
/proc/35411/task/35474/stat : 35474 (fscip) S 35408 35411 35189 0 -1 1077936192 116 0 0 0 2 2 0 0 20 0 3 0 4464106 3185782784 630293 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
Current children cumulated CPU time: 3585.97 s
Current children cumulated vsize: 3111116 KiB
Current children cumulated memory: 2521172 KiB
[startup+3598.8 s]
/proc/loadavg: 4.01 4.09 4.03 5/260 37532
/proc/meminfo: memFree=126071640/131524600 swapFree=131071996/131071996
[pid=35411] ppid=35408 vsize=2292592 memory=2164048 CPUtime=3586.37 cores=5,7
/proc/35411/stat : 35411 (fscip) R 35408 35411 35189 0 -1 4194304 6334583 0 0 0 358157 480 0 0 20 0 1 0 4462077 2347614208 541012 134679101440 4194304 16623229 140735055263984 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 51142656 140735055266842 140735055266958 140735055266958 140735055273968 0
/proc/35411/statm: 573148 541012 2998 3035 0 547857 0
Current children cumulated CPU time: 3586.37 s
Current children cumulated vsize: 2292592 KiB
Current children cumulated memory: 2164048 KiB
[startup+3599.01 s]*
/proc/loadavg: 3.93 4.07 4.02 4/252 37565
/proc/meminfo: memFree=127847168/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3599.03
CPU time (s): 3586.6
CPU user time (s): 3581.74
CPU system time (s): 4.86219
CPU usage (%): 99.6546
Max. virtual memory (cumulated for all children) (KiB): 3111116
Max. memory (cumulated for all children) (KiB): 2521172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.74
system time used= 4.86219
maximum resident set size= 2521176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6368731
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= 9947
involuntary context switches= 1308
# summary of solver processes directly reported to runsolver:
# pid: 35411
# total CPU time (s): 3586.6
# total CPU user time (s): 3581.74
# total CPU system time (s): 4.86219
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.91915 second user time and 17.1339 second system time
The end
Begin job on nodeC030 at 2024-07-31 00:30:02
IDJOB=4464408
IDBENCH=147848
IDSOLVER=3092
FILE ID=nodeC030/4464408-1722378602
RUNJOBID= nodeC030-1722378597-35202
SLURM_JOB_ID= 8249853
Free space on /tmp= 889980 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-85-80.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-4464408-1722378602/watcher-4464408-1722378602 -o /tmp/evaluation-result-4464408-1722378602/solver-4464408-1722378602 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722378597-35202 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464408-1722378602.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b66aa0ca883b9987dbaf460c58c6223e
RANDOM SEED=1078368009
nodeC030.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 : 3676.270
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 : 7000.60
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 : 3676.544
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 : 7006.48
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.480
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 : 7000.60
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.771
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 : 7006.48
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 : 3676.248
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 : 7000.60
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 : 3666.062
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 : 7006.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.603
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 : 7000.60
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 : 3677.269
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 : 7006.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128472192 kB
MemAvailable: 128799232 kB
Buffers: 83336 kB
Cached: 1078868 kB
SwapCached: 0 kB
Active: 266380 kB
Inactive: 2304988 kB
Active(anon): 1552 kB
Inactive(anon): 1428948 kB
Active(file): 264828 kB
Inactive(file): 876040 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 133464 kB
Writeback: 104 kB
AnonPages: 1409300 kB
Mapped: 121544 kB
Shmem: 21328 kB
KReclaimable: 51992 kB
Slab: 133620 kB
SReclaimable: 51992 kB
SUnreclaim: 81628 kB
KernelStack: 4144 kB
PageTables: 11960 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1662328 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9152 kB
HardwareCorrupted: 0 kB
AnonHugePages: 299008 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: 221908 kB
DirectMap2M: 6891520 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 889960 MiB
End job on nodeC030 at 2024-07-31 01:30:01