0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 44351488, getVmSize() = 44351488, SCIPgetMemUsed() = 18736129, SCIPgetMemTotal() = 22058905, SCIPgetMemExternEstim() = 11425808
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.09/0.16 c ** Estimated virtualMemUsedAtSolver = 35688448, getVmSize() = 62713856, SCIPgetMemUsed() = 21514010, SCIPgetMemTotal() = 38664194, SCIPgetMemExternEstim() = 11425808
0.09/0.16 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.09/0.16 c Original Problem :
0.09/0.16 c Problem name : instance-4464649-1722386291
0.09/0.16 c Variables : 3968 (3968 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.16 c Constraints : 7904
0.09/0.16 c Objective sense : minimize
0.09/0.16 c Presolved Problem :
0.09/0.16 c Variables : 3042 (3042 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.16 c Constraints : 6223
0.09/0.16 c Constraints : Number
0.09/0.16 c and : 45
0.09/0.16 c xor : 1
0.09/0.16 c linear : 1174
0.09/0.16 c logicor : 5003
0.09/0.16 c ** Instance transfer method used: 0
0.09/0.17 c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.19 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.19 c Nodes Active
0.09/0.19 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
34.41/34.67 c 35 2 1 1 - 0.0000 -
40.80/41.01 c 41 10 9 1 - 0.0000 -
48.78/49.05 c 49 14 13 1 - 0.0000 -
205.11/205.77 c 206 16 15 1 - 0.0000 -
211.09/211.74 c 212 18 17 1 - 0.0000 -
216.17/216.82 c 217 20 19 1 - 0.0000 -
223.15/223.80 c 224 23 22 1 - 0.0000 -
228.34/229.07 c 229 30 29 1 - 0.0000 -
234.32/235.02 c 235 42 41 1 - 0.0000 -
241.60/242.32 c 242 50 49 1 - 0.0000 -
248.58/249.31 c 249 59 58 1 - 0.0000 -
256.55/257.32 c 257 72 71 1 - 0.0000 -
263.83/264.61 c 265 93 92 1 - 0.0000 -
270.91/271.76 c 272 99 98 1 - 0.0000 -
281.09/281.95 c 282 105 104 1 - 0.0000 -
286.37/287.29 c 287 112 111 1 - 0.0000 -
291.66/292.51 c 293 118 117 1 - 0.0000 -
297.25/298.10 c 298 151 150 1 - 0.0000 -
304.62/305.50 c 306 168 167 1 - 0.0000 -
309.90/310.89 c 311 209 208 1 - 0.0000 -
316.68/317.62 c 318 215 214 1 - 0.0000 -
322.07/323.07 c 323 222 221 1 - 0.0000 -
328.85/329.81 c 330 240 239 1 - 0.0000 -
336.52/337.53 c 338 245 244 1 - 0.0000 -
343.01/344.03 c 344 262 261 1 - 0.0000 -
348.29/349.32 c 349 295 294 1 - 0.0000 -
353.47/354.57 c 355 315 314 1 - 0.0000 -
359.07/360.11 c 360 322 321 1 - 0.0000 -
364.65/365.73 c 366 342 341 1 - 0.0000 -
369.73/370.81 c 371 362 361 1 - 0.0000 -
376.11/377.25 c 377 372 371 1 - 0.0000 -
385.19/386.32 c 386 378 377 1 - 0.0000 -
390.38/391.59 c 392 408 407 1 - 0.0000 -
395.57/396.76 c 397 428 427 1 - 0.0000 -
400.65/401.85 c 402 461 460 1 - 0.0000 -
406.04/407.23 c 407 557 556 1 - 0.0000 -
411.72/412.90 c 413 605 604 1 - 0.0000 -
416.91/418.11 c 418 630 629 1 - 0.0000 -
423.39/424.60 c 425 662 661 1 - 0.0000 -
428.98/430.25 c 430 705 704 1 - 0.0000 -
434.07/435.32 c 435 712 711 1 - 0.0000 -
440.15/441.43 c 441 755 754 1 - 0.0000 -
446.65/447.93 c 448 778 777 1 - 0.0000 -
452.43/453.77 c 454 819 818 1 - 0.0000 -
458.82/460.14 c 460 845 844 1 - 0.0000 -
463.90/465.26 c 465 882 881 1 - 0.0000 -
471.08/472.42 c 472 912 911 1 - 0.0000 -
478.77/480.17 c 480 932 931 1 - 0.0000 -
483.76/485.19 c 485 944 943 1 - 0.0000 -
492.23/493.66 c 494 1002 1001 1 - 0.0000 -
498.12/499.50 c 500 1038 1037 1 - 0.0000 -
537.53/539.07 c 539 1051 1 1 - 0.0000 -
546.31/547.81 c 548 1064 14 1 - 0.0000 -
553.09/554.61 c 555 1066 16 1 - 0.0000 -
562.17/563.72 c 564 1071 21 1 - 0.0000 -
572.35/573.99 c 574 1077 27 1 - 0.0000 -
577.44/579.07 c 579 1086 36 1 - 0.0000 -
583.82/585.46 c 585 1097 47 1 - 0.0000 -
590.31/591.94 c 592 1104 54 1 - 0.0000 -
597.49/599.15 c 599 1121 71 1 - 0.0000 -
603.67/605.30 c 605 1141 91 1 - 0.0000 -
608.86/610.55 c 611 1155 105 1 - 0.0000 -
616.15/617.82 c 618 1161 111 1 - 0.0000 -
621.23/622.97 c 623 1171 121 1 - 0.0000 -
627.12/628.82 c 629 1192 142 1 - 0.0000 -
632.41/634.15 c 634 1201 151 1 - 0.0000 -
641.39/643.15 c 643 1211 161 1 - 0.0000 -
648.46/650.27 c 650 1224 174 1 - 0.0000 -
656.43/658.21 c 658 1246 196 1 - 0.0000 -
662.61/664.43 c 664 1255 205 1 - 0.0000 -
668.70/670.53 c 671 1278 226 1 - 0.0000 -
673.88/675.75 c 676 1295 243 1 - 0.0000 -
679.36/681.20 c 681 1315 263 1 - 0.0000 -
685.05/686.94 c 687 1351 299 1 - 0.0000 -
693.52/695.47 c 695 1373 321 1 - 0.0000 -
699.21/701.14 c 701 1385 333 1 - 0.0000 -
704.99/706.90 c 707 1406 354 1 - 0.0000 -
710.67/712.65 c 713 1411 359 1 - 0.0000 -
716.35/718.36 c 718 1431 379 1 - 0.0000 -
722.14/724.13 c 724 1456 404 1 - 0.0000 -
728.33/730.36 c 730 1465 413 1 - 0.0000 -
737.01/739.08 c 739 1493 441 1 - 0.0000 -
742.99/745.08 c 745 1517 465 1 - 0.0000 -
748.37/750.42 c 750 1539 487 1 - 0.0000 -
753.75/755.89 c 756 1559 507 1 - 0.0000 -
758.94/761.06 c 761 1595 543 1 - 0.0000 -
764.22/766.35 c 766 1607 555 1 - 0.0000 -
769.20/771.38 c 771 1624 572 1 - 0.0000 -
776.18/778.31 c 778 1639 587 1 - 0.0000 -
785.45/787.63 c 788 1655 603 1 - 0.0000 -
791.74/793.90 c 794 1698 646 1 - 0.0000 -
797.42/799.63 c 800 1738 686 1 - 0.0000 -
804.30/806.53 c 807 1757 705 1 - 0.0000 -
810.38/812.65 c 813 1795 743 1 - 0.0000 -
817.16/819.40 c 819 1838 786 1 - 0.0000 -
822.54/824.89 c 825 1870 818 1 - 0.0000 -
828.03/830.39 c 830 1907 855 1 - 0.0000 -
836.00/838.36 c 838 1927 875 1 - 0.0000 -
842.98/845.39 c 845 1945 893 1 - 0.0000 -
852.15/854.53 c 855 1988 936 1 - 0.0000 -
858.04/860.46 c 860 2248 1168 1 - 0.0000 -
864.42/866.81 c 867 2650 1323 1 - 0.0000 -
870.20/872.65 c 873 2757 1354 1 - 0.0000 -
876.19/878.61 c 879 2888 1438 1 - 0.0000 -
882.27/884.70 c 885 3083 1501 1 - 0.0000 -
887.85/890.31 c 890 3782 1571 1 - 0.0000 -
892.83/895.37 c 895 4501 1565 1 - 0.0000 -
898.02/900.52 c 901 5125 1618 1 - 0.0000 -
903.00/905.58 c 906 5829 1628 1 - 0.0000 -
908.08/910.63 c 911 6590 1623 1 - 0.0000 -
913.06/915.69 c 916 7163 1639 1 - 0.0000 -
918.15/920.77 c 921 7748 1633 1 - 0.0000 -
923.23/925.86 c 926 8401 1617 1 - 0.0000 -
928.32/930.96 c 931 8953 1618 1 - 0.0000 -
933.40/936.03 c 936 9548 1623 1 - 0.0000 -
938.49/941.11 c 941 10262 1621 1 - 0.0000 -
943.57/946.21 c 946 10968 1631 1 - 0.0000 -
948.55/951.27 c 951 11628 1618 1 - 0.0000 -
953.75/956.42 c 956 12322 1633 1 - 0.0000 -
958.74/961.49 c 961 12996 1643 1 - 0.0000 -
963.82/966.56 c 967 13736 1645 1 - 0.0000 -
968.90/971.68 c 972 14394 1637 1 - 0.0000 -
974.00/976.73 c 977 15055 1637 1 - 0.0000 -
979.08/981.82 c 982 15734 1631 1 - 0.0000 -
984.07/986.88 c 987 16351 1628 1 - 0.0000 -
989.15/991.95 c 992 16920 1684 1 - 0.0000 -
994.24/997.00 c 997 17549 1725 1 - 0.0000 -
999.23/1002.08 c 1002 18167 1748 1 - 0.0000 -
1004.31/1007.14 c 1007 18839 1777 1 - 0.0000 -
1009.39/1012.21 c 1012 19536 1794 1 - 0.0000 -
1014.48/1017.30 c 1017 20188 1802 1 - 0.0000 -
1019.47/1022.36 c 1022 20788 1823 1 - 0.0000 -
1024.56/1027.41 c 1027 21461 1817 1 - 0.0000 -
1029.54/1032.46 c 1032 22105 1825 1 - 0.0000 -
1034.63/1037.51 c 1038 22792 1820 1 - 0.0000 -
1039.61/1042.57 c 1043 23536 1822 1 - 0.0000 -
1044.70/1047.67 c 1048 24227 1799 1 - 0.0000 -
1049.79/1052.75 c 1053 24963 1791 1 - 0.0000 -
1054.88/1057.81 c 1058 25652 1797 1 - 0.0000 -
1059.86/1062.87 c 1063 26335 1788 1 - 0.0000 -
1064.95/1067.92 c 1068 26981 1777 1 - 0.0000 -
1069.93/1072.97 c 1073 27654 1754 1 - 0.0000 -
1075.02/1078.06 c 1078 28272 1713 1 - 0.0000 -
1080.12/1083.11 c 1083 28917 1708 1 - 0.0000 -
1085.10/1088.17 c 1088 29560 1703 1 - 0.0000 -
1090.19/1093.25 c 1093 30191 1699 1 - 0.0000 -
1095.27/1098.32 c 1098 30876 1718 1 - 0.0000 -
1100.25/1103.38 c 1103 31578 1727 1 - 0.0000 -
1105.33/1108.43 c 1108 32266 1719 1 - 0.0000 -
1110.31/1113.49 c 1113 32912 1727 1 - 0.0000 -
1115.40/1118.57 c 1119 33619 1708 1 - 0.0000 -
1120.48/1123.68 c 1124 34219 1706 1 - 0.0000 -
1125.57/1128.74 c 1129 34997 1701 1 - 0.0000 -
1130.65/1133.81 c 1134 35780 1710 1 - 0.0000 -
1135.64/1138.87 c 1139 36582 1717 1 - 0.0000 -
1140.71/1143.93 c 1144 37306 1722 1 - 0.0000 -
1145.81/1149.02 c 1149 37978 1722 1 - 0.0000 -
1150.79/1154.10 c 1154 38721 1717 1 - 0.0000 -
1155.87/1159.19 c 1159 39360 1708 1 - 0.0000 -
1161.05/1164.30 c 1164 40019 1698 1 - 0.0000 -
1166.03/1169.36 c 1169 40681 1714 1 - 0.0000 -
1171.12/1174.42 c 1174 41341 1682 1 - 0.0000 -
1176.10/1179.48 c 1179 42049 1653 1 - 0.0000 -
1181.19/1184.54 c 1185 42845 1637 1 - 0.0000 -
1186.27/1189.60 c 1190 43511 1645 1 - 0.0000 -
1191.26/1194.69 c 1195 44445 1635 1 - 0.0000 -
1196.35/1199.73 c 1200 45202 1642 1 - 0.0000 -
1201.43/1204.80 c 1205 46052 1625 1 - 0.0000 -
1206.42/1209.88 c 1210 46731 1626 1 - 0.0000 -
1211.51/1214.94 c 1215 47474 1640 1 - 0.0000 -
1216.49/1219.99 c 1220 48230 1635 1 - 0.0000 -
1221.58/1225.06 c 1225 48940 1628 1 - 0.0000 -
1226.67/1230.14 c 1230 49550 1661 1 - 0.0000 -
1231.76/1235.29 c 1235 50192 1677 1 - 0.0000 -
1236.84/1240.36 c 1240 50851 1679 1 - 0.0000 -
1241.92/1245.45 c 1245 51525 1727 1 - 0.0000 -
1247.01/1250.50 c 1250 52074 1747 1 - 0.0000 -
1252.00/1255.55 c 1256 52758 1769 1 - 0.0000 -
1257.09/1260.62 c 1261 53356 1768 1 - 0.0000 -
1262.17/1265.71 c 1266 53994 1779 1 - 0.0000 -
1267.26/1270.89 c 1271 54685 1770 1 - 0.0000 -
1272.35/1276.00 c 1276 55303 1753 1 - 0.0000 -
1277.44/1281.05 c 1281 55955 1770 1 - 0.0000 -
1282.53/1286.12 c 1286 56666 1742 1 - 0.0000 -
1287.61/1291.20 c 1291 57298 1743 1 - 0.0000 -
1292.60/1296.29 c 1296 57939 1738 1 - 0.0000 -
1297.68/1301.37 c 1301 58610 1716 1 - 0.0000 -
1302.77/1306.44 c 1306 59217 1695 1 - 0.0000 -
1307.86/1311.57 c 1312 59869 1680 1 - 0.0000 -
1312.94/1316.64 c 1317 60534 1636 1 - 0.0000 -
1318.04/1321.72 c 1322 61224 1666 1 - 0.0000 -
1323.02/1326.78 c 1327 61842 1667 1 - 0.0000 -
1328.11/1331.84 c 1332 62549 1685 1 - 0.0000 -
1333.20/1336.91 c 1337 63125 1674 1 - 0.0000 -
1338.18/1341.98 c 1342 63750 1687 1 - 0.0000 -
1343.27/1347.08 c 1347 64446 1700 1 - 0.0000 -
1348.45/1352.20 c 1352 65096 1772 1 - 0.0000 -
1353.54/1357.30 c 1357 65675 1774 1 - 0.0000 -
1358.53/1362.39 c 1362 66290 1803 1 - 0.0000 -
1363.61/1367.48 c 1367 66881 1888 1 - 0.0000 -
1368.70/1372.58 c 1373 67438 1939 1 - 0.0000 -
1373.80/1377.69 c 1378 67981 1969 1 - 0.0000 -
1378.98/1382.83 c 1383 68585 1983 1 - 0.0000 -
1384.07/1387.95 c 1388 69188 1988 1 - 0.0000 -
1389.15/1393.01 c 1393 69773 2030 1 - 0.0000 -
1394.15/1398.09 c 1398 70345 2072 1 - 0.0000 -
1399.23/1403.17 c 1403 70920 2099 1 - 0.0000 -
1404.31/1408.23 c 1408 71500 2088 1 - 0.0000 -
1409.30/1413.29 c 1413 72055 2085 1 - 0.0000 -
1414.48/1418.43 c 1418 72677 2087 1 - 0.0000 -
1419.57/1423.54 c 1424 73255 2100 1 - 0.0000 -
1424.66/1428.64 c 1429 73858 2099 1 - 0.0000 -
1429.74/1433.71 c 1434 74503 2098 1 - 0.0000 -
1434.74/1438.77 c 1439 75156 2105 1 - 0.0000 -
1439.82/1443.83 c 1444 75721 2100 1 - 0.0000 -
1444.91/1448.92 c 1449 76330 2101 1 - 0.0000 -
1450.00/1454.01 c 1454 76905 2114 1 - 0.0000 -
1454.99/1459.06 c 1459 77525 2109 1 - 0.0000 -
1460.08/1464.17 c 1464 78144 2119 1 - 0.0000 -
1465.16/1469.25 c 1469 78740 2240 1 - 0.0000 -
1470.25/1474.34 c 1474 79325 2278 1 - 0.0000 -
1475.33/1479.43 c 1479 79902 2339 1 - 0.0000 -
1480.42/1484.50 c 1484 80494 2364 1 - 0.0000 -
1485.40/1489.58 c 1490 81026 2399 1 - 0.0000 -
1490.49/1494.66 c 1495 81544 2418 1 - 0.0000 -
1495.59/1499.74 c 1500 82105 2470 1 - 0.0000 -
1500.67/1504.86 c 1505 82638 2484 1 - 0.0000 -
1505.75/1509.93 c 1510 83232 2492 1 - 0.0000 -
1510.75/1514.98 c 1515 83847 2473 1 - 0.0000 -
1515.84/1520.04 c 1520 84394 2478 1 - 0.0000 -
1520.92/1525.10 c 1525 85034 2522 1 - 0.0000 -
1525.91/1530.15 c 1530 85726 2580 1 - 0.0000 -
1531.00/1535.21 c 1535 86402 2611 1 - 0.0000 -
1535.98/1540.26 c 1540 87108 2622 1 - 0.0000 -
1541.07/1545.31 c 1545 87819 2609 1 - 0.0000 -
1546.05/1550.37 c 1550 88574 2612 1 - 0.0000 -
1551.14/1555.44 c 1555 89284 2589 1 - 0.0000 -
1556.23/1560.50 c 1560 89979 2582 1 - 0.0000 -
1561.22/1565.56 c 1566 90597 2580 1 - 0.0000 -
1566.30/1570.62 c 1571 91208 2554 1 - 0.0000 -
1571.39/1575.71 c 1576 91834 2570 1 - 0.0000 -
1576.38/1580.76 c 1581 92498 2592 1 - 0.0000 -
1581.46/1585.82 c 1586 93204 2650 1 - 0.0000 -
1586.45/1590.89 c 1591 94135 2653 1 - 0.0000 -
1591.54/1595.95 c 1596 94980 2651 1 - 0.0000 -
1596.63/1601.01 c 1601 95770 2658 1 - 0.0000 -
1601.63/1606.07 c 1606 96590 2655 1 - 0.0000 -
1606.71/1611.13 c 1611 97344 2673 1 - 0.0000 -
1611.70/1616.19 c 1616 98067 2639 1 - 0.0000 -
1616.78/1621.25 c 1621 98890 2660 1 - 0.0000 -
1621.87/1626.30 c 1626 99582 2661 1 - 0.0000 -
1626.85/1631.35 c 1631 100347 2648 1 - 0.0000 -
1631.94/1636.43 c 1636 101194 2641 1 - 0.0000 -
1636.92/1641.48 c 1641 102036 2650 1 - 0.0000 -
1642.02/1646.56 c 1647 102795 2646 1 - 0.0000 -
1647.50/1652.01 c 1652 103348 2649 1 - 0.0000 -
1652.49/1657.08 c 1657 104145 2654 1 - 0.0000 -
1657.58/1662.14 c 1662 104901 2655 1 - 0.0000 -
1662.66/1667.20 c 1667 105745 2659 1 - 0.0000 -
1667.65/1672.27 c 1672 106505 2657 1 - 0.0000 -
1672.73/1677.32 c 1677 107244 2656 1 - 0.0000 -
1677.73/1682.37 c 1682 107915 2667 1 - 0.0000 -
1682.81/1687.44 c 1687 108582 2657 1 - 0.0000 -
1687.90/1692.50 c 1692 109301 2653 1 - 0.0000 -
1692.89/1697.56 c 1698 110030 2649 1 - 0.0000 -
1697.98/1702.63 c 1703 110731 2654 1 - 0.0000 -
1703.06/1707.70 c 1708 111428 2639 1 - 0.0000 -
1708.05/1712.76 c 1713 112025 2638 1 - 0.0000 -
1713.13/1717.83 c 1718 112702 2668 1 - 0.0000 -
1718.22/1722.91 c 1723 113360 2660 1 - 0.0000 -
1723.21/1727.96 c 1728 114090 2656 1 - 0.0000 -
1728.30/1733.02 c 1733 114713 2639 1 - 0.0000 -
1733.29/1738.10 c 1738 115419 2647 1 - 0.0000 -
1738.37/1743.17 c 1743 116163 2662 1 - 0.0000 -
1743.46/1748.23 c 1748 116939 2664 1 - 0.0000 -
1748.45/1753.29 c 1753 117648 2678 1 - 0.0000 -
1753.53/1758.36 c 1758 118423 2686 1 - 0.0000 -
1758.62/1763.41 c 1763 119191 2697 1 - 0.0000 -
1763.60/1768.46 c 1768 119825 2691 1 - 0.0000 -
1768.70/1773.52 c 1774 120574 2710 1 - 0.0000 -
1773.68/1778.58 c 1779 121314 2721 1 - 0.0000 -
1778.77/1783.62 c 1784 122035 2698 1 - 0.0000 -
1783.76/1788.69 c 1789 122748 2709 1 - 0.0000 -
1788.84/1793.77 c 1794 123530 2712 1 - 0.0000 -
1793.93/1798.82 c 1799 124208 2695 1 - 0.0000 -
1798.91/1803.88 c 1804 124917 2730 1 - 0.0000 -
1804.01/1808.94 c 1809 125594 2732 1 - 0.0000 -
1809.10/1814.00 c 1814 126274 2741 1 - 0.0000 -
1814.08/1819.07 c 1819 126995 2733 1 - 0.0000 -
1819.17/1824.14 c 1824 127736 2731 1 - 0.0000 -
1824.25/1829.20 c 1829 128411 2723 1 - 0.0000 -
1829.24/1834.29 c 1834 129127 2717 1 - 0.0000 -
1834.32/1839.36 c 1839 129834 2714 1 - 0.0000 -
1839.41/1844.43 c 1844 130518 2707 1 - 0.0000 -
1844.40/1849.48 c 1849 131196 2701 1 - 0.0000 -
1849.48/1854.53 c 1855 131909 2700 1 - 0.0000 -
1856.45/1861.52 c 1862 132653 2693 1 - 0.0000 -
1861.44/1866.58 c 1867 133397 2704 1 - 0.0000 -
1866.52/1871.67 c 1872 134073 2707 1 - 0.0000 -
1871.60/1876.72 c 1877 134753 2693 1 - 0.0000 -
1876.69/1881.81 c 1882 135528 2741 1 - 0.0000 -
1881.68/1886.86 c 1887 136187 2738 1 - 0.0000 -
1886.76/1891.95 c 1892 136898 2766 1 - 0.0000 -
1891.85/1897.00 c 1897 137639 2790 1 - 0.0000 -
1896.83/1902.05 c 1902 138377 2812 1 - 0.0000 -
1901.91/1907.13 c 1907 139014 2824 1 - 0.0000 -
1906.90/1912.19 c 1912 139709 2803 1 - 0.0000 -
1911.98/1917.25 c 1917 140403 2786 1 - 0.0000 -
1917.06/1922.31 c 1922 141038 2783 1 - 0.0000 -
1922.14/1927.40 c 1927 141693 2770 1 - 0.0000 -
1927.13/1932.48 c 1932 142431 2766 1 - 0.0000 -
1932.21/1937.55 c 1938 143078 2760 1 - 0.0000 -
1937.30/1942.61 c 1943 143726 2762 1 - 0.0000 -
1942.28/1947.68 c 1948 144400 2768 1 - 0.0000 -
1947.36/1952.73 c 1953 145066 2776 1 - 0.0000 -
1952.34/1957.78 c 1958 145773 2767 1 - 0.0000 -
1957.43/1962.88 c 1963 146483 2776 1 - 0.0000 -
1962.52/1967.94 c 1968 147170 2791 1 - 0.0000 -
1967.50/1972.99 c 1973 147850 2805 1 - 0.0000 -
1972.58/1978.04 c 1978 148469 2799 1 - 0.0000 -
1977.57/1983.09 c 1983 149108 2780 1 - 0.0000 -
1982.65/1988.17 c 1988 149754 2778 1 - 0.0000 -
1987.74/1993.22 c 1993 150501 2766 1 - 0.0000 -
1992.72/1998.28 c 1998 151130 2761 1 - 0.0000 -
1997.82/2003.33 c 2003 151815 2752 1 - 0.0000 -
2002.90/2008.40 c 2008 152484 2756 1 - 0.0000 -
2007.89/2013.45 c 2013 153127 2759 1 - 0.0000 -
2012.97/2018.51 c 2019 153764 2757 1 - 0.0000 -
2017.96/2023.58 c 2024 154432 2763 1 - 0.0000 -
2023.05/2028.65 c 2029 155126 2763 1 - 0.0000 -
2028.14/2033.72 c 2034 155851 2757 1 - 0.0000 -
2033.12/2038.78 c 2039 156559 2764 1 - 0.0000 -
2038.21/2043.86 c 2044 157273 2758 1 - 0.0000 -
2043.30/2048.93 c 2049 158007 2798 1 - 0.0000 -
2048.39/2054.02 c 2054 158695 2820 1 - 0.0000 -
2053.38/2059.07 c 2059 159375 2827 1 - 0.0000 -
2058.47/2064.13 c 2064 160061 2813 1 - 0.0000 -
2063.55/2069.20 c 2069 160697 2776 1 - 0.0000 -
2068.53/2074.25 c 2074 161436 2753 1 - 0.0000 -
2073.62/2079.31 c 2079 162153 2736 1 - 0.0000 -
2078.61/2084.38 c 2084 162822 2727 1 - 0.0000 -
2083.70/2089.43 c 2089 163501 2707 1 - 0.0000 -
2088.68/2094.48 c 2094 164137 2697 1 - 0.0000 -
2093.77/2099.54 c 2100 164822 2701 1 - 0.0000 -
2098.85/2104.60 c 2105 165550 2681 1 - 0.0000 -
2104.44/2110.26 c 2110 165976 2678 1 - 0.0000 -
2109.53/2115.33 c 2115 166658 2661 1 - 0.0000 -
2114.52/2120.38 c 2120 167372 2659 1 - 0.0000 -
2119.61/2125.47 c 2125 168049 2648 1 - 0.0000 -
2124.69/2130.53 c 2131 168786 2651 1 - 0.0000 -
2129.78/2135.60 c 2136 169567 2656 1 - 0.0000 -
2134.76/2140.67 c 2141 170352 2682 1 - 0.0000 -
2139.86/2145.73 c 2146 171036 2688 1 - 0.0000 -
2144.94/2150.80 c 2151 171793 2684 1 - 0.0000 -
2149.93/2155.85 c 2156 172566 2690 1 - 0.0000 -
2155.01/2160.93 c 2161 173182 2698 1 - 0.0000 -
2160.01/2165.98 c 2166 173805 2682 1 - 0.0000 -
2165.10/2171.04 c 2171 174523 2686 1 - 0.0000 -
2170.08/2176.10 c 2176 175189 2702 1 - 0.0000 -
2175.17/2181.16 c 2181 175898 2701 1 - 0.0000 -
2180.25/2186.25 c 2186 176570 2702 1 - 0.0000 -
2185.34/2191.30 c 2191 177318 2713 1 - 0.0000 -
2190.33/2196.37 c 2196 177970 2733 1 - 0.0000 -
2195.42/2201.44 c 2201 178608 2721 1 - 0.0000 -
2200.40/2206.49 c 2206 179273 2713 1 - 0.0000 -
2205.49/2211.59 c 2212 179893 2726 1 - 0.0000 -
2210.58/2216.65 c 2217 180549 2714 1 - 0.0000 -
2215.66/2221.71 c 2222 181226 2728 1 - 0.0000 -
2220.65/2226.76 c 2227 181865 2738 1 - 0.0000 -
2225.73/2231.82 c 2232 182516 2771 1 - 0.0000 -
2230.72/2236.89 c 2237 183133 2777 1 - 0.0000 -
2235.82/2241.96 c 2242 183755 2788 1 - 0.0000 -
2240.90/2247.07 c 2247 184415 2725 1 - 0.0000 -
2245.99/2252.12 c 2252 185094 2737 1 - 0.0000 -
2250.97/2257.18 c 2257 185826 2736 1 - 0.0000 -
2256.05/2262.26 c 2262 186535 2731 1 - 0.0000 -
2261.15/2267.33 c 2267 187172 2748 1 - 0.0000 -
2266.24/2272.41 c 2272 187827 2732 1 - 0.0000 -
2271.32/2277.50 c 2278 188450 2748 1 - 0.0000 -
2276.31/2282.57 c 2283 189138 2743 1 - 0.0000 -
2281.39/2287.62 c 2288 189736 2743 1 - 0.0000 -
2286.48/2292.72 c 2293 190446 2735 1 - 0.0000 -
2291.47/2297.78 c 2298 191122 2749 1 - 0.0000 -
2296.56/2302.83 c 2303 191742 2747 1 - 0.0000 -
2301.55/2307.88 c 2308 192374 2739 1 - 0.0000 -
2306.63/2312.95 c 2313 193034 2736 1 - 0.0000 -
2311.72/2318.01 c 2318 193722 2761 1 - 0.0000 -
2316.71/2323.09 c 2323 194319 2755 1 - 0.0000 -
2321.80/2328.14 c 2328 194922 2761 1 - 0.0000 -
2326.79/2333.19 c 2333 195546 2769 1 - 0.0000 -
2331.87/2338.27 c 2338 196153 2758 1 - 0.0000 -
2336.96/2343.34 c 2343 196866 2742 1 - 0.0000 -
2342.04/2348.41 c 2348 197456 2746 1 - 0.0000 -
2347.03/2353.46 c 2353 198129 2755 1 - 0.0000 -
2352.11/2358.53 c 2359 198857 2733 1 - 0.0000 -
2357.11/2363.58 c 2364 199450 2713 1 - 0.0000 -
2362.20/2368.63 c 2369 200125 2716 1 - 0.0000 -
2367.18/2373.69 c 2374 200742 2695 1 - 0.0000 -
2372.27/2378.75 c 2379 201393 2677 1 - 0.0000 -
2377.35/2383.80 c 2384 202052 2690 1 - 0.0000 -
2382.35/2388.88 c 2389 202701 2676 1 - 0.0000 -
2387.83/2394.39 c 2394 203109 2688 1 - 0.0000 -
2392.92/2399.46 c 2399 203764 2691 1 - 0.0000 -
2398.01/2404.51 c 2405 204442 2681 1 - 0.0000 -
2403.09/2409.60 c 2410 205129 2678 1 - 0.0000 -
2408.08/2414.66 c 2415 205829 2653 1 - 0.0000 -
2413.16/2419.72 c 2420 206494 2659 1 - 0.0000 -
2418.15/2424.79 c 2425 207155 2657 1 - 0.0000 -
2423.24/2429.84 c 2430 207847 2664 1 - 0.0000 -
2428.32/2434.90 c 2435 208447 2668 1 - 0.0000 -
2433.31/2439.99 c 2440 209079 2645 1 - 0.0000 -
2438.40/2445.05 c 2445 209791 2668 1 - 0.0000 -
2443.49/2450.11 c 2450 210445 2677 1 - 0.0000 -
2448.57/2455.21 c 2455 211061 2685 1 - 0.0000 -
2453.56/2460.28 c 2460 211702 2681 1 - 0.0000 -
2458.65/2465.35 c 2465 212362 2703 1 - 0.0000 -
2463.74/2470.45 c 2470 213015 2674 1 - 0.0000 -
2468.82/2475.52 c 2476 213685 2664 1 - 0.0000 -
2473.91/2480.60 c 2481 214280 2652 1 - 0.0000 -
2478.89/2485.67 c 2486 214964 2653 1 - 0.0000 -
2483.99/2490.75 c 2491 215701 2670 1 - 0.0000 -
2489.07/2495.81 c 2496 216451 2674 1 - 0.0000 -
2494.06/2500.87 c 2501 217178 2645 1 - 0.0000 -
2499.14/2505.92 c 2506 217909 2661 1 - 0.0000 -
2504.13/2510.99 c 2511 218603 2657 1 - 0.0000 -
2509.22/2516.04 c 2516 219349 2653 1 - 0.0000 -
2514.21/2521.10 c 2521 220054 2657 1 - 0.0000 -
2519.29/2526.17 c 2526 220734 2654 1 - 0.0000 -
2524.37/2531.23 c 2531 221467 2653 1 - 0.0000 -
2529.37/2536.28 c 2536 222217 2656 1 - 0.0000 -
2534.45/2541.36 c 2541 222948 2665 1 - 0.0000 -
2539.54/2546.41 c 2546 223647 2697 1 - 0.0000 -
2544.53/2551.47 c 2551 224391 2654 1 - 0.0000 -
2549.61/2556.53 c 2557 225128 2657 1 - 0.0000 -
2554.60/2561.59 c 2562 225923 2652 1 - 0.0000 -
2559.69/2566.65 c 2567 226756 2668 1 - 0.0000 -
2564.78/2571.71 c 2572 227455 2665 1 - 0.0000 -
2569.76/2576.77 c 2577 228178 2661 1 - 0.0000 -
2574.85/2581.85 c 2582 228905 2681 1 - 0.0000 -
2579.93/2586.92 c 2587 229640 2677 1 - 0.0000 -
2584.92/2591.98 c 2592 230368 2677 1 - 0.0000 -
2590.02/2597.04 c 2597 231033 2663 1 - 0.0000 -
2595.11/2602.11 c 2602 231769 2659 1 - 0.0000 -
2600.09/2607.16 c 2607 232460 2669 1 - 0.0000 -
2605.17/2612.21 c 2612 233098 2665 1 - 0.0000 -
2610.16/2617.27 c 2617 233778 2661 1 - 0.0000 -
2615.25/2622.35 c 2622 234478 2665 1 - 0.0000 -
2620.34/2627.42 c 2627 235132 2676 1 - 0.0000 -
2625.32/2632.48 c 2632 235812 2697 1 - 0.0000 -
2630.41/2637.54 c 2638 236488 2699 1 - 0.0000 -
2635.39/2642.59 c 2643 237202 2711 1 - 0.0000 -
2640.48/2647.64 c 2648 237892 2706 1 - 0.0000 -
2645.48/2652.69 c 2653 238471 2715 1 - 0.0000 -
2650.56/2657.75 c 2658 239085 2696 1 - 0.0000 -
2655.64/2662.81 c 2663 239749 2699 1 - 0.0000 -
2660.63/2667.89 c 2668 240472 2715 1 - 0.0000 -
2665.72/2672.97 c 2673 241140 2726 1 - 0.0000 -
2670.82/2678.07 c 2678 241770 2712 1 - 0.0000 -
2675.90/2683.13 c 2683 242489 2697 1 - 0.0000 -
2680.98/2688.22 c 2688 243122 2701 1 - 0.0000 -
2686.07/2693.32 c 2693 243838 2694 1 - 0.0000 -
2691.06/2698.37 c 2698 244441 2691 1 - 0.0000 -
2696.14/2703.44 c 2703 245098 2711 1 - 0.0000 -
2701.13/2708.49 c 2708 245656 2692 1 - 0.0000 -
2706.22/2713.55 c 2714 246371 2694 1 - 0.0000 -
2711.31/2718.60 c 2719 246986 2690 1 - 0.0000 -
2716.39/2723.75 c 2724 247542 2698 1 - 0.0000 -
2721.48/2728.83 c 2729 248182 2710 1 - 0.0000 -
2726.56/2733.90 c 2734 248844 2736 1 - 0.0000 -
2731.55/2738.97 c 2739 249567 2729 1 - 0.0000 -
2736.65/2744.02 c 2744 250255 2758 1 - 0.0000 -
2741.64/2749.07 c 2749 250953 2790 1 - 0.0000 -
2746.72/2754.12 c 2754 251610 2755 1 - 0.0000 -
2751.71/2759.19 c 2759 252320 2786 1 - 0.0000 -
2756.79/2764.25 c 2764 253069 2807 1 - 0.0000 -
2761.88/2769.31 c 2769 253771 2810 1 - 0.0000 -
2766.96/2774.40 c 2774 254444 2877 1 - 0.0000 -
2771.96/2779.46 c 2779 255130 2871 1 - 0.0000 -
2777.04/2784.53 c 2785 255849 2823 1 - 0.0000 -
2782.13/2789.63 c 2790 256524 2845 1 - 0.0000 -
2787.11/2794.69 c 2795 257264 2851 1 - 0.0000 -
2792.20/2799.75 c 2800 257941 2825 1 - 0.0000 -
2797.29/2804.80 c 2805 258634 2834 1 - 0.0000 -
2802.28/2809.86 c 2810 259273 2821 1 - 0.0000 -
2807.37/2814.94 c 2815 259940 2807 1 - 0.0000 -
2812.46/2820.00 c 2820 260588 2809 1 - 0.0000 -
2817.45/2825.05 c 2825 261248 2811 1 - 0.0000 -
2822.53/2830.10 c 2830 261928 2827 1 - 0.0000 -
2827.52/2835.16 c 2835 262594 2867 1 - 0.0000 -
2832.60/2840.21 c 2840 263214 2840 1 - 0.0000 -
2837.59/2845.28 c 2845 263842 2824 1 - 0.0000 -
2842.68/2850.35 c 2850 264514 2845 1 - 0.0000 -
2847.76/2855.41 c 2855 265140 2831 1 - 0.0000 -
2852.75/2860.47 c 2860 265829 2833 1 - 0.0000 -
2857.84/2865.57 c 2866 266517 2826 1 - 0.0000 -
2862.93/2870.62 c 2871 267260 2806 1 - 0.0000 -
2867.91/2875.67 c 2876 267918 2829 1 - 0.0000 -
2872.99/2880.72 c 2881 268662 2821 1 - 0.0000 -
2877.98/2885.78 c 2886 269302 2820 1 - 0.0000 -
2883.06/2890.83 c 2891 270026 2826 1 - 0.0000 -
2888.14/2895.90 c 2896 270704 2800 1 - 0.0000 -
2893.12/2900.97 c 2901 271483 2812 1 - 0.0000 -
2898.22/2906.02 c 2906 272155 2791 1 - 0.0000 -
2903.20/2911.07 c 2911 272861 2782 1 - 0.0000 -
2908.29/2916.12 c 2916 273633 2754 1 - 0.0000 -
2913.27/2921.17 c 2921 274332 2756 1 - 0.0000 -
2918.35/2926.24 c 2926 274972 2746 1 - 0.0000 -
2923.43/2931.30 c 2931 275704 2742 1 - 0.0000 -
2928.41/2936.35 c 2936 276555 2748 1 - 0.0000 -
2933.50/2941.40 c 2941 277321 2776 1 - 0.0000 -
2938.48/2946.45 c 2946 278090 2785 1 - 0.0000 -
2943.57/2951.50 c 2952 278842 2812 1 - 0.0000 -
2948.55/2956.57 c 2957 279538 2794 1 - 0.0000 -
2953.63/2961.61 c 2962 280289 2737 1 - 0.0000 -
2958.62/2966.67 c 2967 280994 2717 1 - 0.0000 -
2963.70/2971.77 c 2972 281642 2699 1 - 0.0000 -
2968.79/2976.82 c 2977 282322 2678 1 - 0.0000 -
2973.77/2981.87 c 2982 283076 2673 1 - 0.0000 -
2978.85/2986.92 c 2987 283743 2666 1 - 0.0000 -
2983.94/2992.00 c 2992 284434 2689 1 - 0.0000 -
2988.93/2997.07 c 2997 285152 2665 1 - 0.0000 -
2994.01/3002.12 c 3002 285803 2663 1 - 0.0000 -
2999.00/3007.19 c 3007 286608 2670 1 - 0.0000 -
3004.09/3012.27 c 3012 287294 2662 1 - 0.0000 -
3009.17/3017.32 c 3017 287968 2679 1 - 0.0000 -
3014.16/3022.37 c 3022 288588 2669 1 - 0.0000 -
3019.24/3027.45 c 3027 289230 2661 1 - 0.0000 -
3024.33/3032.51 c 3033 289979 2689 1 - 0.0000 -
3029.32/3037.56 c 3038 290691 2699 1 - 0.0000 -
3034.41/3042.63 c 3043 291360 2701 1 - 0.0000 -
3039.49/3047.70 c 3048 292036 2697 1 - 0.0000 -
3044.49/3052.76 c 3053 292685 2705 1 - 0.0000 -
3049.88/3058.17 c 3058 293135 2718 1 - 0.0000 -
3054.96/3063.22 c 3063 293787 2715 1 - 0.0000 -
3060.04/3068.30 c 3068 294537 2736 1 - 0.0000 -
3065.03/3073.37 c 3073 295178 2758 1 - 0.0000 -
3070.12/3078.42 c 3078 295879 2739 1 - 0.0000 -
3075.10/3083.47 c 3083 296684 2752 1 - 0.0000 -
3080.20/3088.53 c 3089 297520 2753 1 - 0.0000 -
3085.28/3093.64 c 3094 298292 2764 1 - 0.0000 -
3090.37/3098.72 c 3099 299044 2747 1 - 0.0000 -
3095.35/3103.77 c 3104 299734 2780 1 - 0.0000 -
3100.45/3108.85 c 3109 300420 2789 1 - 0.0000 -
3105.53/3113.90 c 3114 301113 2794 1 - 0.0000 -
3110.52/3118.96 c 3119 301802 2831 1 - 0.0000 -
3115.61/3124.02 c 3124 302439 2832 1 - 0.0000 -
3120.70/3129.11 c 3129 303071 2798 1 - 0.0000 -
3125.69/3134.17 c 3134 303693 2744 1 - 0.0000 -
3130.77/3139.22 c 3139 304500 2756 1 - 0.0000 -
3135.76/3144.27 c 3144 305328 2776 1 - 0.0000 -
3140.84/3149.32 c 3149 306101 2760 1 - 0.0000 -
3145.94/3154.41 c 3154 306959 2758 1 - 0.0000 -
3150.92/3159.48 c 3159 307769 2764 1 - 0.0000 -
3156.01/3164.56 c 3165 308574 2745 1 - 0.0000 -
3161.10/3169.62 c 3170 309446 2734 1 - 0.0000 -
3166.09/3174.68 c 3175 310185 2722 1 - 0.0000 -
3171.17/3179.74 c 3180 311005 2725 1 - 0.0000 -
3176.27/3184.81 c 3185 311703 2729 1 - 0.0000 -
3181.35/3189.90 c 3190 312439 2724 1 - 0.0000 -
3186.34/3194.95 c 3195 313157 2772 1 - 0.0000 -
3191.43/3200.04 c 3200 313884 2804 1 - 0.0000 -
3196.42/3205.09 c 3205 314632 2818 1 - 0.0000 -
3201.50/3210.16 c 3210 315377 2809 1 - 0.0000 -
3206.58/3215.21 c 3215 316090 2785 1 - 0.0000 -
3211.58/3220.27 c 3220 316788 2754 1 - 0.0000 -
3216.67/3225.33 c 3225 317531 2772 1 - 0.0000 -
3221.66/3230.38 c 3230 318198 2761 1 - 0.0000 -
3226.74/3235.43 c 3235 318913 2772 1 - 0.0000 -
3231.83/3240.50 c 3240 319549 2750 1 - 0.0000 -
3236.82/3245.58 c 3246 320277 2768 1 - 0.0000 -
3241.90/3250.66 c 3251 321064 2782 1 - 0.0000 -
3246.99/3255.71 c 3256 321754 2768 1 - 0.0000 -
3251.98/3260.76 c 3261 322492 2755 1 - 0.0000 -
3257.06/3265.82 c 3266 323220 2744 1 - 0.0000 -
3262.06/3270.87 c 3271 323980 2731 1 - 0.0000 -
3267.14/3275.93 c 3276 324774 2727 1 - 0.0000 -
3272.24/3281.00 c 3281 325543 2723 1 - 0.0000 -
3277.22/3286.06 c 3286 326326 2727 1 - 0.0000 -
3282.31/3291.15 c 3291 327039 2722 1 - 0.0000 -
3287.39/3296.23 c 3296 327670 2720 1 - 0.0000 -
3292.38/3301.29 c 3301 328447 2712 1 - 0.0000 -
3297.47/3306.33 c 3306 329203 2718 1 - 0.0000 -
3302.46/3311.38 c 3311 329935 2743 1 - 0.0000 -
3307.55/3316.44 c 3316 330660 2751 1 - 0.0000 -
3312.53/3321.49 c 3321 331358 2787 1 - 0.0000 -
3317.61/3326.56 c 3327 332034 2793 1 - 0.0000 -
3322.70/3331.61 c 3332 332739 2807 1 - 0.0000 -
3327.69/3336.67 c 3337 333314 2803 1 - 0.0000 -
3332.77/3341.72 c 3342 333911 2785 1 - 0.0000 -
3337.76/3346.79 c 3347 334588 2787 1 - 0.0000 -
3342.84/3351.84 c 3352 335237 2782 1 - 0.0000 -
3347.82/3356.89 c 3357 335951 2789 1 - 0.0000 -
3352.90/3361.95 c 3362 336707 2779 1 - 0.0000 -
3357.99/3367.06 c 3367 337420 2791 1 - 0.0000 -
3363.07/3372.11 c 3372 338091 2753 1 - 0.0000 -
3368.06/3377.16 c 3377 338757 2748 1 - 0.0000 -
3373.14/3382.22 c 3382 339458 2774 1 - 0.0000 -
3378.13/3387.27 c 3387 340147 2737 1 - 0.0000 -
3383.21/3392.34 c 3392 340888 2728 1 - 0.0000 -
3388.19/3397.39 c 3397 341630 2734 1 - 0.0000 -
3394.17/3403.36 c 3403 342150 2722 1 - 0.0000 -
3399.25/3408.42 c 3408 342961 2714 1 - 0.0000 -
3404.24/3413.49 c 3413 343732 2712 1 - 0.0000 -
3409.32/3418.56 c 3419 344503 2757 1 - 0.0000 -
3414.41/3423.63 c 3424 345202 2784 1 - 0.0000 -
3419.49/3428.71 c 3429 345882 2792 1 - 0.0000 -
3424.48/3433.77 c 3434 346558 2777 1 - 0.0000 -
3429.56/3438.87 c 3439 347257 2776 1 - 0.0000 -
3434.64/3443.94 c 3444 347947 2784 1 - 0.0000 -
3439.73/3449.02 c 3449 348636 2757 1 - 0.0000 -
3444.72/3454.07 c 3454 349325 2746 1 - 0.0000 -
3449.80/3459.13 c 3459 350011 2725 1 - 0.0000 -
3454.88/3464.20 c 3464 350774 2725 1 - 0.0000 -
3459.86/3469.25 c 3469 351464 2710 1 - 0.0000 -
3464.94/3474.31 c 3474 352170 2744 1 - 0.0000 -
3469.92/3479.36 c 3479 352793 2740 1 - 0.0000 -
3475.02/3484.42 c 3484 353462 2755 1 - 0.0000 -
3480.10/3489.51 c 3490 354185 2755 1 - 0.0000 -
3485.08/3494.57 c 3495 354961 2755 1 - 0.0000 -
3490.16/3499.62 c 3500 355662 2769 1 - 0.0000 -
3495.14/3504.68 c 3505 356376 2769 1 - 0.0000 -
3500.23/3509.75 c 3510 357042 2754 1 - 0.0000 -
3505.31/3514.81 c 3515 357812 2750 1 - 0.0000 -
3510.29/3519.86 c 3520 358497 2761 1 - 0.0000 -
3515.38/3524.93 c 3525 359231 2782 1 - 0.0000 -
3520.37/3529.98 c 3530 359965 2812 1 - 0.0000 -
3525.46/3535.03 c 3535 360679 2810 1 - 0.0000 -
3530.44/3540.08 c 3540 361424 2828 1 - 0.0000 -
3535.52/3545.16 c 3545 362133 2808 1 - 0.0000 -
3540.60/3550.22 c 3550 362754 2798 1 - 0.0000 -
3545.58/3555.27 c 3555 363477 2825 1 - 0.0000 -
3550.66/3560.35 c 3560 364239 2823 1 - 0.0000 -
3555.75/3565.41 c 3565 364944 2807 1 - 0.0000 -
3560.74/3570.47 c 3570 365724 2808 1 - 0.0000 -
3565.82/3575.52 c 3576 366548 2795 1 - 0.0000 -
3570.90/3580.64 c 3581 367235 2803 1 - 0.0000 -
3575.99/3585.70 c 3586 367957 2803 1 - 0.0000 -
3580.97/3590.78 c 3591 368727 2798 1 - 0.0000 -
3586.05/3595.85 c 3596 369438 2790 1 - 0.0000 -
3588.25/3598.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.25/3598.04 c Total Time : 3598.0400
3588.25/3598.04 c solving : 3598.0400
3588.25/3598.04 c presolving : 0.1326 (included in solving)
3588.25/3598.04 c B&B Tree :
3588.25/3598.04 c nodes (total) : 1
3588.25/3598.04 c Solution :
3588.25/3598.04 c Solutions found : 0
3588.25/3598.04 c Primal Bound : -
3588.25/3598.04 c Dual Bound : +0.00000000000000e+00
3588.25/3598.04 c Gap : -
3588.25/3598.06 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (51422 MiB free)
memory of node 1: 64510 MiB (62989 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464649-1722386291/watcher-4464649-1722386291 -o /tmp/evaluation-result-4464649-1722386291/solver-4464649-1722386291 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722378594-28847 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464649-1722386291.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=33973, runsolver pid=33970
[startup+0.100535 s]*
/proc/loadavg: 4.04 4.11 4.11 5/258 33974
/proc/meminfo: memFree=117125700/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=52480 memory=41560 CPUtime=0.09 cores=1,3
/proc/33973/stat : 33973 (fscip) R 33970 33973 28833 0 -1 4194304 9061 0 0 0 8 1 0 0 20 0 1 0 5227576 53739520 10390 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 13120 10390 2726 3035 0 9516 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52480 KiB
Current children cumulated memory: 41560 KiB
[startup+0.205533 s]*
/proc/loadavg: 4.04 4.11 4.11 5/260 33976
/proc/meminfo: memFree=117096892/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=147484 memory=70380 CPUtime=0.19 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 17566 0 0 0 17 2 0 0 20 0 3 0 5227576 151023616 17595 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 36871 17595 2790 3035 0 21736 0
[pid=33973/tid=33975] ppid=33970 vsize=147484 memory=8505393642823811203 CPUtime=0.01 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 4720 0 0 0 1 0 0 0 20 0 3 0 5227592 151023616 17595 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=147484 memory=19032 CPUtime=0 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5227595 151023616 17595 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 147484 KiB
Current children cumulated memory: 70380 KiB
[startup+0.305533 s]*
/proc/loadavg: 4.04 4.11 4.11 5/260 33976
/proc/meminfo: memFree=117088156/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=148512 memory=78776 CPUtime=0.29 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 19691 0 0 0 26 3 0 0 20 0 3 0 5227576 152076288 19694 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 37128 19694 2790 3035 0 23823 0
[pid=33973/tid=33975] ppid=33970 vsize=148512 memory=-5155635682410589061 CPUtime=0.11 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 6845 0 0 0 10 1 0 0 20 0 3 0 5227592 152076288 19694 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=148512 memory=0 CPUtime=0 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5227595 152076288 19694 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 148512 KiB
Current children cumulated memory: 78776 KiB
[startup+0.700537 s]
/proc/loadavg: 4.04 4.11 4.11 5/260 33976
/proc/meminfo: memFree=117067924/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=216104 memory=125488 CPUtime=0.67 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 32334 0 0 0 63 4 0 0 20 0 3 0 5227576 221290496 31372 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 54026 31372 2966 3035 0 36557 0
[pid=33973/tid=33975] ppid=33970 vsize=216104 memory=0 CPUtime=0.49 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 19488 0 0 0 47 2 0 0 20 0 3 0 5227592 221290496 31372 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=216104 memory=0 CPUtime=0 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5227595 221290496 31372 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 216104 KiB
Current children cumulated memory: 125488 KiB
[startup+1.50053 s]
/proc/loadavg: 4.04 4.11 4.11 5/260 33976
/proc/meminfo: memFree=117041808/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=216104 memory=125624 CPUtime=1.45 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 34137 0 0 0 141 4 0 0 20 0 3 0 5227576 221290496 31406 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 54026 31406 2966 3035 0 36557 0
[pid=33973/tid=33975] ppid=33970 vsize=216104 memory=0 CPUtime=1.28 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 21291 0 0 0 126 2 0 0 20 0 3 0 5227592 221290496 31406 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=216104 memory=0 CPUtime=0 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5227595 221290496 31406 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 216104 KiB
Current children cumulated memory: 125624 KiB
[startup+3.10553 s]
/proc/loadavg: 4.04 4.11 4.11 5/260 33978
/proc/meminfo: memFree=117041896/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=216104 memory=125632 CPUtime=3.04 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 40093 0 0 0 300 4 0 0 20 0 3 0 5227576 221290496 31408 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 54026 31408 2966 3035 0 36557 0
[pid=33973/tid=33975] ppid=33970 vsize=216104 memory=0 CPUtime=2.87 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 27246 0 0 0 285 2 0 0 20 0 3 0 5227592 221290496 31408 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=216104 memory=2209 CPUtime=0 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 5227595 221290496 31408 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 216104 KiB
Current children cumulated memory: 125632 KiB
[startup+6.30053 s]
/proc/loadavg: 4.12 4.12 4.12 5/260 33978
/proc/meminfo: memFree=117041572/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=216104 memory=125980 CPUtime=6.22 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 48226 0 0 0 617 5 0 0 20 0 3 0 5227576 221290496 31495 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 54026 31495 2966 3035 0 36557 0
[pid=33973/tid=33975] ppid=33970 vsize=216104 memory=0 CPUtime=6.04 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 35378 0 0 0 601 3 0 0 20 0 3 0 5227592 221290496 31495 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=216104 memory=0 CPUtime=0 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5227595 221290496 31495 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 216104 KiB
Current children cumulated memory: 125980 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.14 4.12 5/260 33978
/proc/meminfo: memFree=117041276/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=216104 memory=126524 CPUtime=12.57 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 67284 0 0 0 1251 6 0 0 20 0 3 0 5227576 221290496 31631 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 54026 31631 2966 3035 0 36557 0
[pid=33973/tid=33975] ppid=33970 vsize=216104 memory=126048 CPUtime=12.39 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 54429 0 0 0 1235 4 0 0 20 0 3 0 5227592 221290496 31631 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=216104 memory=11584 CPUtime=0 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 5227595 221290496 31631 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 216104 KiB
Current children cumulated memory: 126524 KiB
[startup+25.5002 s]
/proc/loadavg: 4.22 4.15 4.13 5/260 33981
/proc/meminfo: memFree=117038584/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=218072 memory=139580 CPUtime=25.33 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 92185 0 0 0 2526 7 0 0 20 0 3 0 5227576 223305728 34895 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 54518 34895 2966 3035 0 40357 0
[pid=33973/tid=33975] ppid=33970 vsize=218072 memory=128744 CPUtime=25.16 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 79323 0 0 0 2511 5 0 0 20 0 3 0 5227592 223305728 34895 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=218072 memory=11584 CPUtime=0 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 5227595 223305728 34895 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 218072 KiB
Current children cumulated memory: 139580 KiB
[startup+51.1048 s]
/proc/loadavg: 4.22 4.15 4.13 5/261 33985
/proc/meminfo: memFree=117015036/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=218072 memory=151812 CPUtime=50.88 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 119095 0 0 0 5079 9 0 0 20 0 3 0 5227576 223305728 37953 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 54518 37953 2966 3035 0 43915 0
[pid=33973/tid=33975] ppid=33970 vsize=218072 memory=151812 CPUtime=50.7 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 106166 0 0 0 5063 7 0 0 20 0 3 0 5227592 223305728 37953 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=218072 memory=151812 CPUtime=0 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 5227595 223305728 37953 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 218072 KiB
Current children cumulated memory: 151812 KiB
[startup+102.3 s]
/proc/loadavg: 4.17 4.14 4.12 5/261 33993
/proc/meminfo: memFree=117014000/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=218072 memory=151812 CPUtime=101.96 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 134733 0 0 0 10186 10 0 0 20 0 3 0 5227576 223305728 37953 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 54518 37953 2966 3035 0 43915 0
[pid=33973/tid=33975] ppid=33970 vsize=218072 memory=151812 CPUtime=101.79 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 121782 0 0 0 10171 8 0 0 20 0 3 0 5227592 223305728 37953 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=218072 memory=151812 CPUtime=0 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 5227595 223305728 37953 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 218072 KiB
Current children cumulated memory: 151812 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/264 34056
/proc/meminfo: memFree=124040772/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=218072 memory=151812 CPUtime=161.83 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 142734 0 0 0 16173 10 0 0 20 0 3 0 5227576 223305728 37953 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 54518 37953 2966 3035 0 43915 0
[pid=33973/tid=33975] ppid=33970 vsize=218072 memory=12856 CPUtime=161.65 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 129773 0 0 0 16157 8 0 0 20 0 3 0 5227592 223305728 37953 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=218072 memory=11584 CPUtime=0 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 5227595 223305728 37953 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 218072 KiB
Current children cumulated memory: 151812 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/265 34067
################
# More data... #
################
/proc/33973/statm: 87286 76230 3318 3035 0 77692 0
[pid=33973/tid=33975] ppid=33970 vsize=349144 memory=302020 CPUtime=3392.8 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 425655 0 0 0 339148 132 0 0 20 0 3 0 5227592 357523456 76230 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=349144 memory=302020 CPUtime=0.02 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 136 0 0 0 1 1 0 0 20 0 3 0 5227595 357523456 76230 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 3393.18 s
Current children cumulated vsize: 349144 KiB
Current children cumulated memory: 304920 KiB
[startup+3462.3 s]
/proc/loadavg: 3.07 3.41 3.77 4/253 36506
/proc/meminfo: memFree=126033776/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=349144 memory=305104 CPUtime=3452.98 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 440141 0 0 0 345156 142 0 0 20 0 3 0 5227576 357523456 76276 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 87286 76276 3318 3035 0 77692 0
[pid=33973/tid=33975] ppid=33970 vsize=349144 memory=11584 CPUtime=3452.6 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 426295 0 0 0 345126 134 0 0 20 0 3 0 5227592 357523456 76276 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=349144 memory=305104 CPUtime=0.02 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 137 0 0 0 1 1 0 0 20 0 3 0 5227595 357523456 76276 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 3452.98 s
Current children cumulated vsize: 349144 KiB
Current children cumulated memory: 305104 KiB
[startup+3522.3 s]
/proc/loadavg: 3.07 3.35 3.72 4/253 36516
/proc/meminfo: memFree=126032128/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=349144 memory=305104 CPUtime=3512.79 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 440953 0 0 0 351136 143 0 0 20 0 3 0 5227576 357523456 76276 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 87286 76276 3318 3035 0 77692 0
[pid=33973/tid=33975] ppid=33970 vsize=349144 memory=305104 CPUtime=3512.4 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 427092 0 0 0 351105 135 0 0 20 0 3 0 5227592 357523456 76276 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=349144 memory=11584 CPUtime=0.02 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 138 0 0 0 1 1 0 0 20 0 3 0 5227595 357523456 76276 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 349144 KiB
Current children cumulated memory: 305104 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.31 3.69 4/254 36529
/proc/meminfo: memFree=126030400/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=349144 memory=305124 CPUtime=3572.6 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 441633 0 0 0 357115 145 0 0 20 0 3 0 5227576 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 87286 76281 3318 3035 0 77692 0
[pid=33973/tid=33975] ppid=33970 vsize=349144 memory=305124 CPUtime=3572.2 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 427757 0 0 0 357084 136 0 0 20 0 3 0 5227592 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=349144 memory=305124 CPUtime=0.02 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 139 0 0 0 1 1 0 0 20 0 3 0 5227595 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 349144 KiB
Current children cumulated memory: 305124 KiB
[startup+3598.06 s]
# the end of solver process 33973 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.86 s, system=1.45928 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.14 3.31 3.69 4/254 36531
/proc/meminfo: memFree=126029992/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=349144 memory=305124 CPUtime=3574.3 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 441634 0 0 0 357285 145 0 0 20 0 3 0 5227576 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 87286 76281 3318 3035 0 77692 0
[pid=33973/tid=33975] ppid=33970 vsize=349144 memory=-7163093423917982592 CPUtime=3573.9 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 427758 0 0 0 357254 136 0 0 20 0 3 0 5227592 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=349144 memory=4210754172922523298 CPUtime=0.02 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 139 0 0 0 1 1 0 0 20 0 3 0 5227595 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 3574.3 s
Current children cumulated vsize: 349144 KiB
Current children cumulated memory: 305124 KiB
[startup+3590.4 s]
/proc/loadavg: 3.13 3.31 3.68 4/254 36531
/proc/meminfo: memFree=126031628/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=349144 memory=305124 CPUtime=3580.67 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 441642 0 0 0 357922 145 0 0 20 0 3 0 5227576 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 87286 76281 3318 3035 0 77692 0
[pid=33973/tid=33975] ppid=33970 vsize=349144 memory=305124 CPUtime=3580.27 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 427766 0 0 0 357891 136 0 0 20 0 3 0 5227592 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=349144 memory=305124 CPUtime=0.03 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 139 0 0 0 1 2 0 0 20 0 3 0 5227595 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 3580.67 s
Current children cumulated vsize: 349144 KiB
Current children cumulated memory: 305124 KiB
[startup+3593.6 s]
/proc/loadavg: 3.12 3.30 3.68 4/254 36533
/proc/meminfo: memFree=126031628/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=349144 memory=305124 CPUtime=3583.86 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 441650 0 0 0 358241 145 0 0 20 0 3 0 5227576 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 87286 76281 3318 3035 0 77692 0
[pid=33973/tid=33975] ppid=33970 vsize=349144 memory=12856 CPUtime=3583.46 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 427774 0 0 0 358210 136 0 0 20 0 3 0 5227592 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=349144 memory=-7019259710818838137 CPUtime=0.03 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 139 0 0 0 1 2 0 0 20 0 3 0 5227595 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 3583.86 s
Current children cumulated vsize: 349144 KiB
Current children cumulated memory: 305124 KiB
[startup+3595.2 s]
/proc/loadavg: 3.12 3.30 3.68 4/254 36533
/proc/meminfo: memFree=126031628/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=349144 memory=305124 CPUtime=3585.45 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 441650 0 0 0 358400 145 0 0 20 0 3 0 5227576 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 87286 76281 3318 3035 0 77692 0
[pid=33973/tid=33975] ppid=33970 vsize=349144 memory=12856 CPUtime=3585.07 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 427774 0 0 0 358370 137 0 0 20 0 3 0 5227592 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=349144 memory=11584 CPUtime=0.03 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 139 0 0 0 1 2 0 0 20 0 3 0 5227595 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 3585.45 s
Current children cumulated vsize: 349144 KiB
Current children cumulated memory: 305124 KiB
[startup+3596.8 s]
/proc/loadavg: 3.11 3.30 3.68 4/254 36533
/proc/meminfo: memFree=126031620/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=349144 memory=305124 CPUtime=3587.05 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 441650 0 0 0 358560 145 0 0 20 0 3 0 5227576 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 87286 76281 3318 3035 0 77692 0
[pid=33973/tid=33975] ppid=33970 vsize=349144 memory=11800 CPUtime=3586.66 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 427774 0 0 0 358529 137 0 0 20 0 3 0 5227592 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=349144 memory=305124 CPUtime=0.03 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 139 0 0 0 1 2 0 0 20 0 3 0 5227595 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 3587.05 s
Current children cumulated vsize: 349144 KiB
Current children cumulated memory: 305124 KiB
[startup+3597.6 s]
/proc/loadavg: 3.11 3.30 3.68 4/254 36533
/proc/meminfo: memFree=126031628/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=349144 memory=305124 CPUtime=3587.84 cores=1,3
/proc/33973/stat : 33973 (fscip) S 33970 33973 28833 0 -1 1077936128 441650 0 0 0 358639 145 0 0 20 0 3 0 5227576 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 87286 76281 3318 3035 0 77692 0
[pid=33973/tid=33975] ppid=33970 vsize=349144 memory=16168 CPUtime=3587.46 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 427774 0 0 0 358609 137 0 0 20 0 3 0 5227592 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=349144 memory=12856 CPUtime=0.03 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 139 0 0 0 1 2 0 0 20 0 3 0 5227595 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 3587.84 s
Current children cumulated vsize: 349144 KiB
Current children cumulated memory: 305124 KiB
[startup+3598 s]*
/proc/loadavg: 3.11 3.30 3.68 4/254 36533
/proc/meminfo: memFree=126031600/131524600 swapFree=131071996/131071996
[pid=33973] ppid=33970 vsize=349144 memory=305124 CPUtime=3588.25 cores=1,3
/proc/33973/stat : 33973 (fscip) R 33970 33973 28833 0 -1 1077936128 441658 0 0 0 358680 145 0 0 20 0 3 0 5227576 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
/proc/33973/statm: 87286 76281 3318 3035 0 77692 0
[pid=33973/tid=33975] ppid=33970 vsize=349144 memory=-7163093423917982592 CPUtime=3587.86 cores=1,3
/proc/33973/task/33975/stat : 33975 (fscip) R 33970 33973 28833 0 -1 4194368 427782 0 0 0 358649 137 0 0 20 0 3 0 5227592 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
[pid=33973/tid=33976] ppid=33970 vsize=349144 memory=4210754172922523298 CPUtime=0.03 cores=1,3
/proc/33973/task/33976/stat : 33976 (fscip) S 33970 33973 28833 0 -1 1077936192 139 0 0 0 1 2 0 0 20 0 3 0 5227595 357523456 76281 134679101440 4194304 16623229 140725712120912 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 34340864 140725712126998 140725712127114 140725712127114 140725712134128 0
Current children cumulated CPU time: 3588.25 s
Current children cumulated vsize: 349144 KiB
Current children cumulated memory: 305124 KiB
Child status: 0
Real time (s): 3598.06
CPU time (s): 3588.32
CPU user time (s): 3586.86
CPU system time (s): 1.45928
CPU usage (%): 99.7291
Max. virtual memory (cumulated for all children) (KiB): 349144
Max. memory (cumulated for all children) (KiB): 305124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.86
system time used= 1.45928
maximum resident set size= 305124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 442106
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= 9618
involuntary context switches= 1511
# summary of solver processes directly reported to runsolver:
# pid: 33973
# total CPU time (s): 3588.32
# total CPU user time (s): 3586.86
# total CPU system time (s): 1.45928
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.26868 second user time and 17.3775 second system time
The end
Begin job on nodeC022 at 2024-07-31 02:38:11
IDJOB=4464649
IDBENCH=162276
IDSOLVER=3092
FILE ID=nodeC022/4464649-1722386291
RUNJOBID= nodeC022-1722378594-28847
SLURM_JOB_ID= 8249845
Free space on /tmp= 889956 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round21-4.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-4464649-1722386291/watcher-4464649-1722386291 -o /tmp/evaluation-result-4464649-1722386291/solver-4464649-1722386291 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722378594-28847 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464649-1722386291.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f504409cca969bd8c5b41a512643c0a3
RANDOM SEED=1699823819
nodeC022.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 : 3668.778
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.46
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 : 3675.523
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.42
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.528
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.46
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 : 3665.809
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.42
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 : 3668.801
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.46
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 : 3675.105
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.42
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.476
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.46
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.532
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.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 117157136 kB
MemAvailable: 120109224 kB
Buffers: 107352 kB
Cached: 3648928 kB
SwapCached: 0 kB
Active: 310984 kB
Inactive: 13494556 kB
Active(anon): 1492 kB
Inactive(anon): 10069088 kB
Active(file): 309492 kB
Inactive(file): 3425468 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28564 kB
Writeback: 52 kB
AnonPages: 10049244 kB
Mapped: 123880 kB
Shmem: 21336 kB
KReclaimable: 113548 kB
Slab: 201940 kB
SReclaimable: 113548 kB
SUnreclaim: 88392 kB
KernelStack: 4076 kB
PageTables: 28912 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7449124 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3782656 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: 295636 kB
DirectMap2M: 19400704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC022 at 2024-07-31 03:38:09