0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.68/0.75 c Default LC presolving (default).
0.68/0.76 c ** Before presolving: virtualMemUsedAtLc = 603541348, getVmSize() = 368496640, SCIPgetMemUsed() = 310133058, SCIPgetMemTotal() = 322281546, SCIPgetMemExternEstim() = 281259802
0.68/0.76 c ** set memory limit for presolving in LC to 8.79591e+12 for SCIP **
17.95/18.06 c ** Estimated virtualMemUsedAtSolver = 504659824, getVmSize() = 588177408, SCIPgetMemUsed() = 395747271, SCIPgetMemTotal() = 475729935, SCIPgetMemExternEstim() = 281259802
17.95/18.06 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
17.95/18.06 c Original Problem :
17.95/18.06 c Problem name : instance-4442780-1721297849
17.95/18.06 c Variables : 6800 (6800 binary, 0 integer, 0 implicit integer, 0 continuous)
17.95/18.06 c Constraints : 285685
17.95/18.06 c Objective sense : minimize
17.95/18.06 c Presolved Problem :
17.95/18.06 c Variables : 6800 (6800 binary, 0 integer, 0 implicit integer, 0 continuous)
17.95/18.06 c Constraints : 285848
17.95/18.06 c Constraints : Number
17.95/18.06 c setppc : 285600
17.95/18.06 c linear : 163
17.95/18.06 c logicor : 85
17.95/18.06 c ** Instance transfer method used: 0
18.34/18.45 c ** ParaScipInstance copy does not increase the number of variables. **
18.64/18.76 c LC is working with racing ramp-up and with rebuilding tree after racing.
18.64/18.76 c Nodes Active
18.64/18.76 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
120.26/120.65 c 121 2 1 1 - 0.0000 -
128.24/128.66 c 129 16 15 1 - 0.0000 -
136.81/137.27 c 137 18 17 1 - 0.0000 -
142.89/143.39 c 143 21 20 1 - 0.0000 -
153.17/153.61 c 154 25 24 1 - 0.0000 -
158.75/159.25 c 159 27 26 1 - 0.0000 -
165.43/165.92 c 166 33 32 1 - 0.0000 -
171.52/172.09 c 172 39 38 1 - 0.0000 -
178.99/179.59 c 180 47 46 1 - 0.0000 -
186.27/186.81 c 187 55 54 1 - 0.0000 -
195.14/195.75 c 196 62 61 1 - 0.0000 -
201.32/201.96 c 202 68 67 1 - 0.0000 -
207.51/208.14 c 208 76 75 1 - 0.0000 -
213.39/214.05 c 214 93 92 1 - 0.0000 -
218.57/219.29 c 219 102 101 1 - 0.0000 -
224.94/225.63 c 226 118 117 1 - 0.0000 -
230.53/231.24 c 231 145 144 1 - 0.0000 -
236.31/237.01 c 237 155 154 1 - 0.0000 -
242.18/242.94 c 243 162 161 1 - 0.0000 -
247.46/248.24 c 248 166 165 1 - 0.0000 -
253.24/254.02 c 254 179 178 1 - 0.0000 -
259.32/260.17 c 260 188 187 1 - 0.0000 -
270.65/271.51 c 272 193 192 1 - 0.0000 -
278.92/279.82 c 280 198 197 1 - 0.0000 -
289.27/290.26 c 290 204 203 1 - 0.0000 -
304.60/305.64 c 306 209 208 1 - 0.0000 -
310.38/311.41 c 311 213 212 1 - 0.0000 -
322.13/323.23 c 323 222 221 1 - 0.0000 -
328.90/330.02 c 330 227 226 1 - 0.0000 -
339.55/340.77 c 341 235 234 1 - 0.0000 -
353.09/354.31 c 354 240 239 1 - 0.0000 -
360.25/361.54 c 362 246 245 1 - 0.0000 -
367.52/368.90 c 369 251 250 1 - 0.0000 -
374.99/376.39 c 376 261 260 1 - 0.0000 -
381.05/382.45 c 382 315 312 1 - 0.0000 -
386.52/387.91 c 388 362 345 1 - 0.0000 -
391.99/393.41 c 393 412 375 1 - 0.0000 -
397.66/399.19 c 399 476 403 1 - 0.0000 -
403.33/404.84 c 405 543 426 1 - 0.0000 -
412.38/413.93 c 414 601 442 1 - 0.0000 -
418.14/419.75 c 420 653 446 1 - 0.0000 -
423.42/425.02 c 425 731 452 1 - 0.0000 -
429.08/430.80 c 431 794 451 1 - 0.0000 -
434.36/436.02 c 436 862 449 1 - 0.0000 -
439.43/441.17 c 441 939 452 1 - 0.0000 -
444.59/446.32 c 446 994 452 1 - 0.0000 -
449.65/451.43 c 451 1071 454 1 - 0.0000 -
455.13/456.93 c 457 1150 455 1 - 0.0000 -
460.30/462.17 c 462 1220 454 1 - 0.0000 -
466.16/468.03 c 468 1295 459 1 - 0.0000 -
471.93/473.80 c 474 1358 468 1 - 0.0000 -
477.21/479.13 c 479 1418 472 1 - 0.0000 -
482.37/484.31 c 484 1485 473 1 - 0.0000 -
487.53/489.58 c 490 1551 483 1 - 0.0000 -
492.81/494.83 c 495 1624 482 1 - 0.0000 -
498.28/500.30 c 500 1691 483 1 - 0.0000 -
503.74/505.83 c 506 1757 487 1 - 0.0000 -
509.41/511.50 c 512 1820 507 1 - 0.0000 -
514.79/516.96 c 517 1881 536 1 - 0.0000 -
520.06/522.22 c 522 1934 547 1 - 0.0000 -
525.72/527.99 c 528 1995 556 1 - 0.0000 -
531.40/533.64 c 534 2067 560 1 - 0.0000 -
536.87/539.17 c 539 2126 569 1 - 0.0000 -
542.74/545.06 c 545 2195 580 1 - 0.0000 -
548.01/550.38 c 550 2260 583 1 - 0.0000 -
553.47/555.81 c 556 2334 597 1 - 0.0000 -
559.05/561.45 c 561 2399 610 1 - 0.0000 -
564.32/566.75 c 567 2475 612 1 - 0.0000 -
569.89/572.38 c 572 2556 617 1 - 0.0000 -
575.35/577.84 c 578 2624 621 1 - 0.0000 -
581.02/583.51 c 584 2693 630 1 - 0.0000 -
586.20/588.73 c 589 2773 632 1 - 0.0000 -
591.27/593.89 c 594 2851 636 1 - 0.0000 -
596.63/599.28 c 599 2928 639 1 - 0.0000 -
602.11/604.72 c 605 3009 640 1 - 0.0000 -
607.38/610.04 c 610 3084 643 1 - 0.0000 -
612.54/615.27 c 615 3147 646 1 - 0.0000 -
617.92/620.66 c 621 3216 653 1 - 0.0000 -
623.49/626.22 c 626 3277 660 1 - 0.0000 -
628.66/631.47 c 631 3356 663 1 - 0.0000 -
634.13/636.91 c 637 3434 665 1 - 0.0000 -
639.31/642.15 c 642 3519 670 1 - 0.0000 -
644.37/647.27 c 647 3604 671 1 - 0.0000 -
649.54/652.46 c 652 3689 672 1 - 0.0000 -
654.71/657.67 c 658 3772 673 1 - 0.0000 -
659.88/662.80 c 663 3851 682 1 - 0.0000 -
665.06/668.07 c 668 3925 688 1 - 0.0000 -
670.62/673.62 c 674 4005 698 1 - 0.0000 -
676.29/679.39 c 679 4090 715 1 - 0.0000 -
681.45/684.55 c 685 4178 737 1 - 0.0000 -
686.63/689.77 c 690 4271 753 1 - 0.0000 -
691.79/694.99 c 695 4366 766 1 - 0.0000 -
697.35/700.58 c 701 4451 773 1 - 0.0000 -
702.62/705.81 c 706 4545 769 1 - 0.0000 -
707.80/711.09 c 711 4631 773 1 - 0.0000 -
712.96/716.25 c 716 4716 765 1 - 0.0000 -
718.13/721.44 c 721 4803 755 1 - 0.0000 -
723.41/726.79 c 727 4886 753 1 - 0.0000 -
728.57/731.99 c 732 4970 752 1 - 0.0000 -
733.76/737.16 c 737 5052 756 1 - 0.0000 -
738.92/742.32 c 742 5139 761 1 - 0.0000 -
744.09/747.52 c 748 5226 760 1 - 0.0000 -
749.87/753.33 c 753 5292 783 1 - 0.0000 -
755.34/758.80 c 759 5356 815 1 - 0.0000 -
760.82/764.30 c 764 5425 840 1 - 0.0000 -
767.09/770.65 c 771 5499 864 1 - 0.0000 -
773.07/776.63 c 777 5567 888 1 - 0.0000 -
778.54/782.17 c 782 5635 900 1 - 0.0000 -
783.72/787.39 c 787 5709 902 1 - 0.0000 -
789.49/793.16 c 793 5781 916 1 - 0.0000 -
795.27/798.92 c 799 5852 927 1 - 0.0000 -
801.24/804.90 c 805 5928 941 1 - 0.0000 -
807.01/810.71 c 811 5995 952 1 - 0.0000 -
812.18/815.95 c 816 6083 954 1 - 0.0000 -
817.36/821.16 c 821 6150 965 1 - 0.0000 -
822.94/826.72 c 827 6219 980 1 - 0.0000 -
828.01/831.86 c 832 6284 987 1 - 0.0000 -
833.20/837.04 c 837 6356 993 1 - 0.0000 -
838.37/842.24 c 842 6415 994 1 - 0.0000 -
843.84/847.77 c 848 6486 995 1 - 0.0000 -
848.92/852.89 c 853 6553 998 1 - 0.0000 -
854.59/858.54 c 859 6629 996 1 - 0.0000 -
860.26/864.28 c 864 6697 998 1 - 0.0000 -
866.15/870.13 c 870 6775 1000 1 - 0.0000 -
871.52/875.54 c 876 6838 1003 1 - 0.0000 -
877.39/881.41 c 881 6913 1010 1 - 0.0000 -
882.57/886.68 c 887 6976 1017 1 - 0.0000 -
888.05/892.12 c 892 7045 1020 1 - 0.0000 -
893.51/897.69 c 898 7123 1022 1 - 0.0000 -
898.79/902.92 c 903 7210 1029 1 - 0.0000 -
903.87/908.04 c 908 7285 1032 1 - 0.0000 -
909.15/913.36 c 913 7363 1032 1 - 0.0000 -
914.32/918.53 c 919 7449 1032 1 - 0.0000 -
919.60/923.89 c 924 7527 1034 1 - 0.0000 -
924.67/928.99 c 929 7610 1041 1 - 0.0000 -
929.95/934.23 c 934 7689 1046 1 - 0.0000 -
935.22/939.53 c 940 7777 1054 1 - 0.0000 -
940.30/944.65 c 945 7856 1059 1 - 0.0000 -
945.48/949.81 c 950 7933 1064 1 - 0.0000 -
950.55/954.99 c 955 8006 1073 1 - 0.0000 -
955.83/960.24 c 960 8074 1079 1 - 0.0000 -
960.90/965.36 c 965 8155 1090 1 - 0.0000 -
966.18/970.60 c 971 8234 1101 1 - 0.0000 -
971.26/975.76 c 976 8318 1100 1 - 0.0000 -
976.53/981.04 c 981 8388 1105 1 - 0.0000 -
981.61/986.17 c 986 8467 1116 1 - 0.0000 -
986.78/991.34 c 991 8546 1115 1 - 0.0000 -
991.95/996.54 c 997 8631 1118 1 - 0.0000 -
997.14/1001.78 c 1002 8711 1124 1 - 0.0000 -
1002.31/1006.93 c 1007 8784 1127 1 - 0.0000 -
1007.50/1012.18 c 1012 8870 1133 1 - 0.0000 -
1012.76/1017.46 c 1017 8955 1136 1 - 0.0000 -
1017.93/1022.66 c 1023 9039 1138 1 - 0.0000 -
1023.12/1027.83 c 1028 9126 1137 1 - 0.0000 -
1028.29/1033.02 c 1033 9210 1139 1 - 0.0000 -
1033.47/1038.23 c 1038 9300 1147 1 - 0.0000 -
1038.54/1043.39 c 1043 9377 1142 1 - 0.0000 -
1043.81/1048.61 c 1049 9458 1137 1 - 0.0000 -
1049.09/1053.98 c 1054 9536 1142 1 - 0.0000 -
1054.37/1059.23 c 1059 9620 1143 1 - 0.0000 -
1059.75/1064.68 c 1065 9699 1146 1 - 0.0000 -
1065.52/1070.47 c 1070 9768 1183 1 - 0.0000 -
1070.69/1075.68 c 1076 9828 1211 1 - 0.0000 -
1076.18/1081.15 c 1081 9893 1242 1 - 0.0000 -
1082.34/1087.33 c 1087 9961 1266 1 - 0.0000 -
1087.62/1092.67 c 1093 10025 1294 1 - 0.0000 -
1093.00/1098.00 c 1098 10085 1310 1 - 0.0000 -
1098.57/1103.66 c 1104 10150 1325 1 - 0.0000 -
1103.84/1108.99 c 1109 10223 1332 1 - 0.0000 -
1109.42/1114.50 c 1115 10313 1340 1 - 0.0000 -
1114.50/1119.67 c 1120 10401 1354 1 - 0.0000 -
1120.47/1125.69 c 1126 10486 1367 1 - 0.0000 -
1125.74/1130.90 c 1131 10581 1376 1 - 0.0000 -
1130.81/1136.09 c 1136 10672 1381 1 - 0.0000 -
1135.99/1141.26 c 1141 10764 1393 1 - 0.0000 -
1141.06/1146.38 c 1146 10857 1406 1 - 0.0000 -
1146.34/1151.61 c 1152 10949 1422 1 - 0.0000 -
1151.41/1156.79 c 1157 11041 1432 1 - 0.0000 -
1156.59/1161.93 c 1162 11129 1442 1 - 0.0000 -
1161.77/1167.15 c 1167 11222 1449 1 - 0.0000 -
1166.93/1172.31 c 1172 11310 1455 1 - 0.0000 -
1172.01/1177.44 c 1177 11403 1464 1 - 0.0000 -
1177.19/1182.68 c 1183 11497 1466 1 - 0.0000 -
1182.36/1187.86 c 1188 11590 1471 1 - 0.0000 -
1187.43/1192.98 c 1193 11683 1468 1 - 0.0000 -
1192.61/1198.16 c 1198 11773 1470 1 - 0.0000 -
1197.78/1203.33 c 1203 11864 1473 1 - 0.0000 -
1202.86/1208.47 c 1208 11956 1478 1 - 0.0000 -
1208.04/1213.67 c 1214 12048 1484 1 - 0.0000 -
1213.30/1218.99 c 1219 12132 1493 1 - 0.0000 -
1218.88/1224.55 c 1225 12210 1507 1 - 0.0000 -
1224.46/1230.19 c 1230 12296 1519 1 - 0.0000 -
1229.73/1235.44 c 1235 12389 1538 1 - 0.0000 -
1234.80/1240.59 c 1241 12484 1543 1 - 0.0000 -
1239.98/1245.77 c 1246 12574 1553 1 - 0.0000 -
1245.16/1250.94 c 1251 12663 1564 1 - 0.0000 -
1250.63/1256.49 c 1256 12731 1590 1 - 0.0000 -
1255.80/1261.66 c 1262 12801 1608 1 - 0.0000 -
1261.08/1266.93 c 1267 12887 1628 1 - 0.0000 -
1266.16/1272.08 c 1272 12977 1640 1 - 0.0000 -
1271.33/1277.29 c 1277 13069 1650 1 - 0.0000 -
1276.50/1282.49 c 1282 13160 1661 1 - 0.0000 -
1281.68/1287.67 c 1288 13252 1675 1 - 0.0000 -
1286.86/1292.82 c 1293 13337 1684 1 - 0.0000 -
1292.03/1298.02 c 1298 13425 1694 1 - 0.0000 -
1297.21/1303.23 c 1303 13513 1704 1 - 0.0000 -
1302.38/1308.41 c 1308 13600 1713 1 - 0.0000 -
1307.56/1313.60 c 1314 13690 1717 1 - 0.0000 -
1312.63/1318.73 c 1319 13783 1728 1 - 0.0000 -
1317.80/1323.95 c 1324 13878 1733 1 - 0.0000 -
1322.89/1329.09 c 1329 13965 1742 1 - 0.0000 -
1328.26/1334.41 c 1334 14054 1753 1 - 0.0000 -
1333.33/1339.53 c 1340 14143 1774 1 - 0.0000 -
1338.40/1344.66 c 1345 14229 1792 1 - 0.0000 -
1343.58/1349.85 c 1350 14322 1809 1 - 0.0000 -
1348.76/1355.07 c 1355 14416 1831 1 - 0.0000 -
1353.93/1360.23 c 1360 14509 1850 1 - 0.0000 -
1359.10/1365.43 c 1365 14603 1856 1 - 0.0000 -
1364.28/1370.65 c 1371 14695 1866 1 - 0.0000 -
1369.45/1375.86 c 1376 14785 1878 1 - 0.0000 -
1374.63/1381.03 c 1381 14879 1888 1 - 0.0000 -
1379.80/1386.24 c 1386 14973 1884 1 - 0.0000 -
1384.88/1391.34 c 1391 15064 1875 1 - 0.0000 -
1390.05/1396.54 c 1397 15152 1858 1 - 0.0000 -
1395.23/1401.73 c 1402 15234 1871 1 - 0.0000 -
1400.81/1407.33 c 1407 15305 1896 1 - 0.0000 -
1405.87/1412.48 c 1412 15394 1877 1 - 0.0000 -
1411.05/1417.61 c 1418 15484 1876 1 - 0.0000 -
1416.63/1423.21 c 1423 15574 1880 1 - 0.0000 -
1422.20/1428.81 c 1429 15644 1881 1 - 0.0000 -
1427.39/1434.06 c 1434 15737 1861 1 - 0.0000 -
1432.55/1439.28 c 1439 15820 1849 1 - 0.0000 -
1438.13/1444.81 c 1445 15890 1855 1 - 0.0000 -
1443.20/1449.94 c 1450 15971 1862 1 - 0.0000 -
1448.38/1455.16 c 1455 16050 1864 1 - 0.0000 -
1453.55/1460.31 c 1460 16139 1864 1 - 0.0000 -
1458.72/1465.52 c 1466 16225 1876 1 - 0.0000 -
1463.90/1470.73 c 1471 16316 1871 1 - 0.0000 -
1468.98/1475.88 c 1476 16402 1868 1 - 0.0000 -
1474.16/1481.02 c 1481 16492 1866 1 - 0.0000 -
1479.33/1486.24 c 1486 16576 1864 1 - 0.0000 -
1484.80/1491.78 c 1492 16661 1865 1 - 0.0000 -
1490.37/1497.34 c 1497 16730 1870 1 - 0.0000 -
1495.65/1502.60 c 1503 16816 1876 1 - 0.0000 -
1500.93/1507.98 c 1508 16892 1879 1 - 0.0000 -
1506.21/1513.24 c 1513 16961 1884 1 - 0.0000 -
1511.67/1518.79 c 1519 17027 1888 1 - 0.0000 -
1517.36/1524.49 c 1524 17105 1891 1 - 0.0000 -
1523.33/1530.44 c 1530 17179 1895 1 - 0.0000 -
1528.60/1535.78 c 1536 17250 1896 1 - 0.0000 -
1533.98/1541.14 c 1541 17328 1908 1 - 0.0000 -
1539.25/1546.48 c 1546 17416 1918 1 - 0.0000 -
1544.63/1551.84 c 1552 17497 1925 1 - 0.0000 -
1550.29/1557.58 c 1558 17568 1930 1 - 0.0000 -
1555.77/1563.00 c 1563 17642 1928 1 - 0.0000 -
1560.85/1568.13 c 1568 17727 1927 1 - 0.0000 -
1565.92/1573.28 c 1573 17817 1939 1 - 0.0000 -
1571.10/1578.48 c 1578 17909 1947 1 - 0.0000 -
1576.27/1583.63 c 1584 18000 1955 1 - 0.0000 -
1581.44/1588.85 c 1589 18093 1961 1 - 0.0000 -
1586.62/1594.02 c 1594 18180 1945 1 - 0.0000 -
1591.80/1599.28 c 1599 18250 1955 1 - 0.0000 -
1597.37/1604.81 c 1605 18324 1974 1 - 0.0000 -
1602.95/1610.42 c 1610 18400 1987 1 - 0.0000 -
1608.42/1615.90 c 1616 18469 2018 1 - 0.0000 -
1613.79/1621.35 c 1621 18541 2044 1 - 0.0000 -
1618.97/1626.50 c 1627 18616 2067 1 - 0.0000 -
1624.04/1631.66 c 1632 18697 2072 1 - 0.0000 -
1629.22/1636.85 c 1637 18757 2080 1 - 0.0000 -
1634.79/1642.43 c 1642 18829 2096 1 - 0.0000 -
1639.97/1647.65 c 1648 18907 2106 1 - 0.0000 -
1645.24/1652.91 c 1653 18981 2117 1 - 0.0000 -
1650.42/1658.12 c 1658 19057 2119 1 - 0.0000 -
1655.58/1663.34 c 1663 19133 2135 1 - 0.0000 -
1660.75/1668.52 c 1669 19224 2122 1 - 0.0000 -
1665.82/1673.68 c 1674 19312 2127 1 - 0.0000 -
1671.29/1679.13 c 1679 19385 2134 1 - 0.0000 -
1676.35/1684.28 c 1684 19463 2136 1 - 0.0000 -
1681.63/1689.55 c 1690 19529 2141 1 - 0.0000 -
1686.80/1694.75 c 1695 19611 2143 1 - 0.0000 -
1691.86/1699.85 c 1700 19701 2145 1 - 0.0000 -
1697.04/1705.07 c 1705 19787 2145 1 - 0.0000 -
1702.40/1710.41 c 1710 19857 2145 1 - 0.0000 -
1707.57/1715.60 c 1716 19939 2145 1 - 0.0000 -
1713.14/1721.23 c 1721 20020 2153 1 - 0.0000 -
1718.91/1727.02 c 1727 20098 2163 1 - 0.0000 -
1723.99/1732.16 c 1732 20166 2161 1 - 0.0000 -
1729.14/1737.37 c 1737 20251 2168 1 - 0.0000 -
1734.32/1742.54 c 1743 20335 2174 1 - 0.0000 -
1739.38/1747.64 c 1748 20421 2182 1 - 0.0000 -
1744.55/1752.85 c 1753 20501 2190 1 - 0.0000 -
1749.72/1758.00 c 1758 20583 2189 1 - 0.0000 -
1754.80/1763.19 c 1763 20672 2189 1 - 0.0000 -
1760.07/1768.41 c 1768 20762 2183 1 - 0.0000 -
1765.14/1773.57 c 1774 20849 2184 1 - 0.0000 -
1770.40/1778.82 c 1779 20930 2189 1 - 0.0000 -
1775.58/1784.01 c 1784 21018 2192 1 - 0.0000 -
1780.65/1789.17 c 1789 21109 2190 1 - 0.0000 -
1786.11/1794.60 c 1795 21188 2191 1 - 0.0000 -
1791.19/1799.73 c 1800 21279 2182 1 - 0.0000 -
1796.46/1805.03 c 1805 21366 2182 1 - 0.0000 -
1801.52/1810.16 c 1810 21443 2176 1 - 0.0000 -
1807.09/1815.75 c 1816 21515 2182 1 - 0.0000 -
1812.76/1821.46 c 1821 21583 2186 1 - 0.0000 -
1817.93/1826.68 c 1827 21664 2193 1 - 0.0000 -
1823.09/1831.86 c 1832 21735 2194 1 - 0.0000 -
1828.27/1837.02 c 1837 21822 2190 1 - 0.0000 -
1833.24/1842.09 c 1842 21909 2191 1 - 0.0000 -
1838.60/1847.45 c 1847 22002 2206 1 - 0.0000 -
1843.76/1852.62 c 1853 22095 2215 1 - 0.0000 -
1848.93/1857.84 c 1858 22185 2211 1 - 0.0000 -
1854.01/1862.95 c 1863 22277 2213 1 - 0.0000 -
1859.08/1868.10 c 1868 22364 2209 1 - 0.0000 -
1864.25/1873.28 c 1873 22456 2212 1 - 0.0000 -
1869.43/1878.42 c 1878 22533 2209 1 - 0.0000 -
1874.60/1883.66 c 1884 22610 2201 1 - 0.0000 -
1879.98/1889.02 c 1889 22684 2209 1 - 0.0000 -
1885.15/1894.26 c 1894 22754 2213 1 - 0.0000 -
1890.33/1899.45 c 1899 22843 2216 1 - 0.0000 -
1895.50/1904.65 c 1905 22928 2216 1 - 0.0000 -
1900.77/1909.92 c 1910 23008 2219 1 - 0.0000 -
1905.86/1915.06 c 1915 23083 2224 1 - 0.0000 -
1910.93/1920.18 c 1920 23156 2227 1 - 0.0000 -
1916.20/1925.45 c 1925 23237 2230 1 - 0.0000 -
1921.28/1930.56 c 1931 23320 2235 1 - 0.0000 -
1926.46/1935.71 c 1936 23404 2233 1 - 0.0000 -
1931.53/1940.89 c 1941 23494 2241 1 - 0.0000 -
1936.70/1946.08 c 1946 23581 2242 1 - 0.0000 -
1941.88/1951.26 c 1951 23668 2241 1 - 0.0000 -
1947.05/1956.40 c 1956 23757 2239 1 - 0.0000 -
1952.23/1961.61 c 1962 23843 2241 1 - 0.0000 -
1957.41/1966.84 c 1967 23925 2243 1 - 0.0000 -
1962.68/1972.13 c 1972 24006 2258 1 - 0.0000 -
1967.75/1977.29 c 1977 24096 2259 1 - 0.0000 -
1973.13/1982.60 c 1983 24179 2259 1 - 0.0000 -
1978.60/1988.12 c 1988 24256 2278 1 - 0.0000 -
1983.77/1993.33 c 1993 24334 2282 1 - 0.0000 -
1988.85/1998.49 c 1998 24419 2283 1 - 0.0000 -
1994.02/2003.69 c 2004 24508 2282 1 - 0.0000 -
1999.19/2008.84 c 2009 24593 2283 1 - 0.0000 -
2004.28/2013.96 c 2014 24680 2282 1 - 0.0000 -
2009.45/2019.17 c 2019 24764 2284 1 - 0.0000 -
2014.52/2024.26 c 2024 24848 2282 1 - 0.0000 -
2019.99/2029.72 c 2030 24923 2299 1 - 0.0000 -
2025.27/2035.00 c 2035 25008 2298 1 - 0.0000 -
2030.44/2040.20 c 2040 25097 2296 1 - 0.0000 -
2035.52/2045.32 c 2045 25168 2310 1 - 0.0000 -
2040.69/2050.51 c 2051 25232 2330 1 - 0.0000 -
2045.77/2055.67 c 2056 25312 2330 1 - 0.0000 -
2051.04/2060.96 c 2061 25378 2332 1 - 0.0000 -
2056.71/2066.66 c 2067 25445 2337 1 - 0.0000 -
2062.78/2072.71 c 2073 25522 2342 1 - 0.0000 -
2068.16/2078.12 c 2078 25608 2342 1 - 0.0000 -
2073.24/2083.29 c 2083 25695 2345 1 - 0.0000 -
2078.41/2088.46 c 2088 25786 2352 1 - 0.0000 -
2083.59/2093.67 c 2094 25868 2354 1 - 0.0000 -
2089.07/2099.11 c 2099 25950 2360 1 - 0.0000 -
2094.33/2104.49 c 2104 26024 2362 1 - 0.0000 -
2100.11/2110.24 c 2110 26092 2361 1 - 0.0000 -
2105.58/2115.71 c 2116 26170 2373 1 - 0.0000 -
2110.66/2120.85 c 2121 26247 2380 1 - 0.0000 -
2115.83/2126.03 c 2126 26339 2392 1 - 0.0000 -
2121.00/2131.20 c 2131 26434 2399 1 - 0.0000 -
2126.18/2136.41 c 2136 26529 2393 1 - 0.0000 -
2131.35/2141.67 c 2142 26623 2396 1 - 0.0000 -
2136.52/2146.86 c 2147 26709 2401 1 - 0.0000 -
2141.91/2152.20 c 2152 26796 2402 1 - 0.0000 -
2147.28/2157.66 c 2158 26868 2418 1 - 0.0000 -
2152.76/2163.19 c 2163 26947 2427 1 - 0.0000 -
2158.33/2168.77 c 2169 27017 2435 1 - 0.0000 -
2163.50/2173.94 c 2174 27104 2436 1 - 0.0000 -
2168.69/2179.10 c 2179 27194 2434 1 - 0.0000 -
2173.75/2184.26 c 2184 27279 2432 1 - 0.0000 -
2178.93/2189.40 c 2189 27364 2415 1 - 0.0000 -
2184.11/2194.62 c 2195 27451 2412 1 - 0.0000 -
2189.58/2200.16 c 2200 27520 2421 1 - 0.0000 -
2195.15/2205.73 c 2206 27590 2435 1 - 0.0000 -
2200.62/2211.22 c 2211 27670 2446 1 - 0.0000 -
2206.30/2216.90 c 2217 27745 2451 1 - 0.0000 -
2211.37/2222.07 c 2222 27834 2445 1 - 0.0000 -
2216.64/2227.35 c 2227 27913 2447 1 - 0.0000 -
2222.22/2232.91 c 2233 27986 2456 1 - 0.0000 -
2227.30/2238.09 c 2238 28058 2468 1 - 0.0000 -
2232.67/2243.47 c 2243 28132 2472 1 - 0.0000 -
2237.94/2248.70 c 2249 28203 2477 1 - 0.0000 -
2243.61/2254.40 c 2254 28272 2483 1 - 0.0000 -
2248.70/2259.58 c 2260 28358 2481 1 - 0.0000 -
2253.87/2264.70 c 2265 28432 2480 1 - 0.0000 -
2259.34/2270.20 c 2270 28500 2488 1 - 0.0000 -
2264.62/2275.56 c 2276 28577 2490 1 - 0.0000 -
2270.09/2281.07 c 2281 28659 2494 1 - 0.0000 -
2275.56/2286.59 c 2287 28720 2497 1 - 0.0000 -
2280.94/2291.93 c 2292 28799 2501 1 - 0.0000 -
2286.81/2297.82 c 2298 28870 2504 1 - 0.0000 -
2291.98/2303.00 c 2303 28961 2511 1 - 0.0000 -
2297.07/2308.18 c 2308 29051 2525 1 - 0.0000 -
2302.23/2313.36 c 2313 29138 2532 1 - 0.0000 -
2307.30/2318.49 c 2318 29220 2544 1 - 0.0000 -
2312.48/2323.69 c 2324 29303 2544 1 - 0.0000 -
2317.65/2328.82 c 2329 29374 2546 1 - 0.0000 -
2322.84/2334.05 c 2334 29462 2557 1 - 0.0000 -
2328.31/2339.52 c 2340 29548 2572 1 - 0.0000 -
2333.58/2344.86 c 2345 29637 2574 1 - 0.0000 -
2338.76/2350.08 c 2350 29727 2570 1 - 0.0000 -
2343.93/2355.24 c 2355 29815 2570 1 - 0.0000 -
2349.20/2360.54 c 2361 29887 2574 1 - 0.0000 -
2354.37/2365.79 c 2366 29969 2578 1 - 0.0000 -
2359.55/2370.94 c 2371 30060 2584 1 - 0.0000 -
2365.12/2376.53 c 2377 30137 2584 1 - 0.0000 -
2370.19/2381.67 c 2382 30229 2582 1 - 0.0000 -
2375.57/2387.03 c 2387 30307 2577 1 - 0.0000 -
2380.74/2392.20 c 2392 30395 2578 1 - 0.0000 -
2385.92/2397.40 c 2397 30465 2581 1 - 0.0000 -
2390.99/2402.56 c 2403 30558 2582 1 - 0.0000 -
2396.16/2407.72 c 2408 30640 2580 1 - 0.0000 -
2401.24/2412.87 c 2413 30715 2579 1 - 0.0000 -
2406.62/2418.21 c 2418 30793 2583 1 - 0.0000 -
2411.79/2423.44 c 2423 30871 2589 1 - 0.0000 -
2416.96/2428.60 c 2429 30958 2570 1 - 0.0000 -
2422.35/2434.01 c 2434 31026 2572 1 - 0.0000 -
2427.62/2439.30 c 2439 31108 2572 1 - 0.0000 -
2433.20/2444.96 c 2445 31196 2571 1 - 0.0000 -
2438.28/2450.10 c 2450 31267 2576 1 - 0.0000 -
2443.84/2455.64 c 2456 31336 2581 1 - 0.0000 -
2448.93/2460.76 c 2461 31414 2581 1 - 0.0000 -
2454.10/2465.95 c 2466 31486 2585 1 - 0.0000 -
2459.38/2471.21 c 2471 31567 2588 1 - 0.0000 -
2464.45/2476.37 c 2476 31655 2594 1 - 0.0000 -
2469.62/2481.53 c 2482 31744 2609 1 - 0.0000 -
2474.80/2486.71 c 2487 31838 2606 1 - 0.0000 -
2480.18/2492.19 c 2492 31912 2614 1 - 0.0000 -
2485.35/2497.35 c 2497 32002 2614 1 - 0.0000 -
2490.63/2502.62 c 2503 32074 2618 1 - 0.0000 -
2496.01/2508.10 c 2508 32150 2622 1 - 0.0000 -
2501.48/2513.54 c 2514 32224 2624 1 - 0.0000 -
2507.16/2519.21 c 2519 32295 2629 1 - 0.0000 -
2512.23/2524.37 c 2524 32368 2646 1 - 0.0000 -
2517.81/2529.97 c 2530 32434 2656 1 - 0.0000 -
2523.49/2535.62 c 2536 32505 2667 1 - 0.0000 -
2528.96/2541.18 c 2541 32566 2676 1 - 0.0000 -
2534.73/2546.99 c 2547 32640 2692 1 - 0.0000 -
2540.21/2552.47 c 2552 32717 2695 1 - 0.0000 -
2545.28/2557.56 c 2558 32800 2698 1 - 0.0000 -
2550.45/2562.71 c 2563 32892 2708 1 - 0.0000 -
2555.64/2567.92 c 2568 32985 2707 1 - 0.0000 -
2560.71/2573.10 c 2573 33077 2704 1 - 0.0000 -
2566.18/2578.52 c 2579 33158 2710 1 - 0.0000 -
2571.46/2583.88 c 2584 33232 2718 1 - 0.0000 -
2576.74/2589.19 c 2589 33312 2724 1 - 0.0000 -
2582.01/2594.42 c 2594 33387 2741 1 - 0.0000 -
2587.49/2599.97 c 2600 33464 2744 1 - 0.0000 -
2593.06/2605.50 c 2606 33541 2757 1 - 0.0000 -
2598.13/2610.67 c 2611 33616 2766 1 - 0.0000 -
2603.52/2616.04 c 2616 33700 2770 1 - 0.0000 -
2608.79/2621.30 c 2621 33784 2780 1 - 0.0000 -
2613.87/2626.46 c 2626 33873 2795 1 - 0.0000 -
2619.14/2631.72 c 2632 33959 2793 1 - 0.0000 -
2624.21/2636.85 c 2637 34036 2800 1 - 0.0000 -
2629.40/2642.01 c 2642 34112 2799 1 - 0.0000 -
2634.77/2647.47 c 2647 34189 2808 1 - 0.0000 -
2639.94/2652.61 c 2653 34276 2810 1 - 0.0000 -
2645.02/2657.76 c 2658 34353 2815 1 - 0.0000 -
2650.50/2663.24 c 2663 34425 2823 1 - 0.0000 -
2655.77/2668.57 c 2669 34494 2820 1 - 0.0000 -
2661.05/2673.85 c 2674 34567 2817 1 - 0.0000 -
2666.73/2679.58 c 2680 34626 2828 1 - 0.0000 -
2671.90/2684.72 c 2685 34711 2832 1 - 0.0000 -
2677.47/2690.31 c 2690 34785 2832 1 - 0.0000 -
2682.55/2695.46 c 2695 34859 2836 1 - 0.0000 -
2688.43/2701.31 c 2701 34934 2851 1 - 0.0000 -
2694.21/2707.15 c 2707 35004 2861 1 - 0.0000 -
2699.38/2712.37 c 2712 35069 2870 1 - 0.0000 -
2705.16/2718.15 c 2718 35135 2876 1 - 0.0000 -
2710.33/2723.33 c 2723 35206 2877 1 - 0.0000 -
2715.31/2728.36 c 2728 35269 2882 1 - 0.0000 -
2720.88/2733.90 c 2734 35340 2887 1 - 0.0000 -
2726.16/2739.25 c 2739 35404 2889 1 - 0.0000 -
2731.44/2744.52 c 2745 35478 2895 1 - 0.0000 -
2736.61/2749.75 c 2750 35538 2899 1 - 0.0000 -
2741.79/2754.98 c 2755 35612 2901 1 - 0.0000 -
2747.07/2760.28 c 2760 35678 2905 1 - 0.0000 -
2752.44/2765.63 c 2766 35745 2912 1 - 0.0000 -
2758.12/2771.31 c 2771 35806 2915 1 - 0.0000 -
2763.69/2776.93 c 2777 35875 2916 1 - 0.0000 -
2769.17/2782.48 c 2782 35946 2921 1 - 0.0000 -
2774.94/2788.25 c 2788 36021 2928 1 - 0.0000 -
2780.22/2793.53 c 2794 36091 2934 1 - 0.0000 -
2785.70/2799.10 c 2799 36156 2937 1 - 0.0000 -
2791.57/2804.99 c 2805 36227 2940 1 - 0.0000 -
2796.65/2810.08 c 2810 36297 2940 1 - 0.0000 -
2801.92/2815.30 c 2815 36356 2945 1 - 0.0000 -
2807.60/2821.03 c 2821 36429 2948 1 - 0.0000 -
2813.27/2826.76 c 2827 36493 2952 1 - 0.0000 -
2818.65/2832.19 c 2832 36557 2954 1 - 0.0000 -
2824.42/2837.98 c 2838 36629 2958 1 - 0.0000 -
2829.60/2843.16 c 2843 36702 2961 1 - 0.0000 -
2835.17/2848.78 c 2849 36775 2970 1 - 0.0000 -
2840.64/2854.30 c 2854 36845 2980 1 - 0.0000 -
2846.03/2859.65 c 2860 36913 2990 1 - 0.0000 -
2851.80/2865.46 c 2865 36991 2994 1 - 0.0000 -
2856.87/2870.59 c 2871 37061 3000 1 - 0.0000 -
2862.55/2876.28 c 2876 37137 3002 1 - 0.0000 -
2867.62/2881.30 c 2881 37202 3001 1 - 0.0000 -
2873.10/2886.86 c 2887 37271 3004 1 - 0.0000 -
2879.07/2892.86 c 2893 37341 3010 1 - 0.0000 -
2884.55/2898.33 c 2898 37410 3011 1 - 0.0000 -
2889.82/2903.65 c 2904 37471 3014 1 - 0.0000 -
2895.20/2909.05 c 2909 37545 3016 1 - 0.0000 -
2900.38/2914.28 c 2914 37608 3021 1 - 0.0000 -
2905.56/2919.47 c 2919 37679 3022 1 - 0.0000 -
2911.03/2924.95 c 2925 37748 3023 1 - 0.0000 -
2916.70/2930.61 c 2931 37824 3021 1 - 0.0000 -
2921.78/2935.73 c 2936 37888 3023 1 - 0.0000 -
2926.96/2940.92 c 2941 37956 3025 1 - 0.0000 -
2932.33/2946.31 c 2946 38025 3028 1 - 0.0000 -
2937.51/2951.56 c 2952 38094 3029 1 - 0.0000 -
2942.68/2956.72 c 2957 38153 3030 1 - 0.0000 -
2947.97/2962.01 c 2962 38228 3031 1 - 0.0000 -
2952.95/2967.07 c 2967 38283 3036 1 - 0.0000 -
2958.31/2972.44 c 2972 38343 3036 1 - 0.0000 -
2963.79/2977.96 c 2978 38417 3038 1 - 0.0000 -
2969.36/2983.52 c 2984 38484 3039 1 - 0.0000 -
2975.13/2989.35 c 2989 38562 3041 1 - 0.0000 -
2980.51/2994.70 c 2995 38631 3042 1 - 0.0000 -
2985.69/2999.96 c 3000 38701 3042 1 - 0.0000 -
2990.86/3005.16 c 3005 38768 3041 1 - 0.0000 -
2996.34/3010.63 c 3011 38847 3042 1 - 0.0000 -
3001.92/3016.23 c 3016 38914 3045 1 - 0.0000 -
3007.19/3021.59 c 3022 38985 3046 1 - 0.0000 -
3013.56/3027.93 c 3028 39059 3048 1 - 0.0000 -
3019.13/3033.58 c 3034 39139 3048 1 - 0.0000 -
3024.91/3039.35 c 3039 39217 3052 1 - 0.0000 -
3030.28/3044.79 c 3045 39295 3054 1 - 0.0000 -
3035.85/3050.36 c 3050 39374 3063 1 - 0.0000 -
3041.03/3055.58 c 3056 39448 3065 1 - 0.0000 -
3046.50/3061.06 c 3061 39521 3070 1 - 0.0000 -
3052.38/3066.90 c 3067 39594 3073 1 - 0.0000 -
3058.15/3072.75 c 3073 39674 3073 1 - 0.0000 -
3063.73/3078.35 c 3078 39741 3074 1 - 0.0000 -
3069.11/3083.72 c 3084 39806 3079 1 - 0.0000 -
3074.28/3088.95 c 3089 39869 3082 1 - 0.0000 -
3079.86/3094.51 c 3095 39936 3087 1 - 0.0000 -
3085.63/3100.35 c 3100 40017 3092 1 - 0.0000 -
3091.00/3105.78 c 3106 40095 3094 1 - 0.0000 -
3096.18/3110.90 c 3111 40172 3097 1 - 0.0000 -
3101.85/3116.67 c 3117 40242 3099 1 - 0.0000 -
3107.24/3122.05 c 3122 40316 3099 1 - 0.0000 -
3112.61/3127.40 c 3127 40386 3099 1 - 0.0000 -
3117.98/3132.89 c 3133 40458 3105 1 - 0.0000 -
3123.35/3138.28 c 3138 40533 3106 1 - 0.0000 -
3129.33/3144.23 c 3144 40606 3107 1 - 0.0000 -
3134.41/3149.38 c 3149 40675 3106 1 - 0.0000 -
3139.59/3154.55 c 3155 40750 3111 1 - 0.0000 -
3144.96/3159.91 c 3160 40823 3114 1 - 0.0000 -
3150.13/3165.14 c 3165 40896 3119 1 - 0.0000 -
3155.69/3170.76 c 3171 40973 3120 1 - 0.0000 -
3160.87/3175.95 c 3176 41056 3119 1 - 0.0000 -
3166.04/3181.19 c 3181 41133 3122 1 - 0.0000 -
3171.21/3186.35 c 3186 41206 3125 1 - 0.0000 -
3176.59/3191.76 c 3192 41275 3130 1 - 0.0000 -
3181.77/3196.95 c 3197 41351 3134 1 - 0.0000 -
3187.04/3202.24 c 3202 41419 3140 1 - 0.0000 -
3192.52/3207.71 c 3208 41499 3142 1 - 0.0000 -
3197.99/3213.28 c 3213 41574 3147 1 - 0.0000 -
3203.48/3218.70 c 3219 41637 3154 1 - 0.0000 -
3208.55/3223.84 c 3224 41701 3160 1 - 0.0000 -
3213.63/3228.98 c 3229 41780 3161 1 - 0.0000 -
3219.10/3234.45 c 3234 41858 3161 1 - 0.0000 -
3224.98/3240.35 c 3240 41936 3165 1 - 0.0000 -
3230.45/3245.90 c 3246 42006 3167 1 - 0.0000 -
3235.83/3251.27 c 3251 42075 3170 1 - 0.0000 -
3241.61/3257.09 c 3257 42151 3172 1 - 0.0000 -
3246.78/3262.26 c 3262 42221 3172 1 - 0.0000 -
3252.26/3267.74 c 3268 42294 3171 1 - 0.0000 -
3257.45/3272.91 c 3273 42362 3171 1 - 0.0000 -
3262.53/3278.06 c 3278 42454 3175 1 - 0.0000 -
3267.70/3283.22 c 3283 42545 3178 1 - 0.0000 -
3272.88/3288.42 c 3288 42634 3177 1 - 0.0000 -
3278.15/3293.70 c 3294 42717 3178 1 - 0.0000 -
3283.24/3298.84 c 3299 42782 3177 1 - 0.0000 -
3288.42/3304.04 c 3304 42860 3177 1 - 0.0000 -
3294.29/3309.94 c 3310 42937 3178 1 - 0.0000 -
3299.48/3315.13 c 3315 43014 3181 1 - 0.0000 -
3304.65/3320.36 c 3320 43101 3184 1 - 0.0000 -
3310.03/3325.74 c 3326 43182 3187 1 - 0.0000 -
3315.31/3331.07 c 3331 43251 3192 1 - 0.0000 -
3320.49/3336.25 c 3336 43322 3199 1 - 0.0000 -
3325.76/3341.51 c 3342 43408 3201 1 - 0.0000 -
3330.94/3346.71 c 3347 43487 3202 1 - 0.0000 -
3336.12/3351.95 c 3352 43562 3207 1 - 0.0000 -
3341.69/3357.57 c 3358 43638 3213 1 - 0.0000 -
3347.19/3363.00 c 3363 43725 3220 1 - 0.0000 -
3352.56/3368.43 c 3368 43801 3222 1 - 0.0000 -
3357.84/3373.77 c 3374 43881 3228 1 - 0.0000 -
3363.01/3378.91 c 3379 43951 3228 1 - 0.0000 -
3368.10/3384.04 c 3384 44039 3234 1 - 0.0000 -
3373.27/3389.21 c 3389 44123 3240 1 - 0.0000 -
3378.74/3394.70 c 3395 44208 3241 1 - 0.0000 -
3384.22/3400.21 c 3400 44292 3241 1 - 0.0000 -
3389.40/3405.40 c 3405 44361 3242 1 - 0.0000 -
3394.58/3410.64 c 3411 44430 3247 1 - 0.0000 -
3400.15/3416.24 c 3416 44500 3251 1 - 0.0000 -
3405.54/3421.60 c 3422 44567 3260 1 - 0.0000 -
3411.11/3427.30 c 3427 44649 3266 1 - 0.0000 -
3416.29/3432.41 c 3432 44739 3270 1 - 0.0000 -
3421.37/3437.55 c 3438 44815 3274 1 - 0.0000 -
3426.55/3442.76 c 3443 44896 3275 1 - 0.0000 -
3431.73/3447.93 c 3448 44975 3278 1 - 0.0000 -
3436.91/3453.13 c 3453 45055 3280 1 - 0.0000 -
3442.08/3458.38 c 3458 45132 3283 1 - 0.0000 -
3447.47/3463.73 c 3464 45214 3287 1 - 0.0000 -
3452.64/3468.91 c 3469 45301 3290 1 - 0.0000 -
3457.92/3474.24 c 3474 45370 3297 1 - 0.0000 -
3463.10/3479.42 c 3479 45455 3302 1 - 0.0000 -
3468.28/3484.60 c 3485 45522 3307 1 - 0.0000 -
3473.35/3489.74 c 3490 45589 3312 1 - 0.0000 -
3478.53/3494.92 c 3495 45656 3313 1 - 0.0000 -
3483.81/3500.21 c 3500 45735 3316 1 - 0.0000 -
3488.99/3505.41 c 3505 45812 3319 1 - 0.0000 -
3494.17/3510.60 c 3511 45894 3323 1 - 0.0000 -
3499.45/3515.91 c 3516 45975 3326 1 - 0.0000 -
3504.54/3521.07 c 3521 46050 3327 1 - 0.0000 -
3509.61/3526.18 c 3526 46130 3327 1 - 0.0000 -
3515.08/3531.63 c 3532 46219 3328 1 - 0.0000 -
3520.46/3537.10 c 3537 46304 3329 1 - 0.0000 -
3526.04/3542.63 c 3543 46395 3334 1 - 0.0000 -
3531.42/3548.03 c 3548 46481 3342 1 - 0.0000 -
3536.79/3553.48 c 3553 46559 3350 1 - 0.0000 -
3542.07/3558.71 c 3559 46632 3355 1 - 0.0000 -
3547.16/3563.85 c 3564 46718 3355 1 - 0.0000 -
3552.24/3568.95 c 3569 46805 3354 1 - 0.0000 -
3557.42/3574.14 c 3574 46888 3359 1 - 0.0000 -
3562.49/3579.26 c 3579 46962 3361 1 - 0.0000 -
3567.57/3584.39 c 3584 47039 3362 1 - 0.0000 -
3572.75/3589.57 c 3590 47120 3367 1 - 0.0000 -
3577.93/3594.71 c 3595 47197 3368 1 - 0.0000 -
3583.11/3599.94 c 3600 47276 3367 1 - 0.0000 -
3583.82/3600.69 c SCIP Status : c solving was interrupted [hard time limit reached]
3583.82/3600.69 c Total Time : 3600.6900
3583.82/3600.69 c solving : 3600.6900
3583.82/3600.69 c presolving : 17.2966 (included in solving)
3583.82/3600.69 c B&B Tree :
3583.82/3600.69 c nodes (total) : 1
3583.82/3600.69 c Solution :
3583.82/3600.69 c Solutions found : 0
3583.82/3600.69 c Primal Bound : -
3583.82/3600.69 c Dual Bound : +0.00000000000000e+00
3583.82/3600.69 c Gap : -
3584.21/3601.05 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 (60889 MiB free)
memory of node 1: 64473 MiB (61853 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442780-1721297849/watcher-4442780-1721297849 -o /tmp/evaluation-result-4442780-1721297849/solver-4442780-1721297849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950166 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4442780-1721297849.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=952743, runsolver pid=952740
[startup+0.100603 s]*
/proc/loadavg: 4.08 4.10 4.09 5/259 952744
/proc/meminfo: memFree=125615508/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=65720 memory=53152 CPUtime=0.09 cores=4,6
/proc/952743/stat : 952743 (fscip) R 952740 952743 950155 0 -1 4194304 11241 0 0 0 8 1 0 0 20 0 1 0 181953860 67297280 13288 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 16430 13288 2318 3032 0 12830 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65720 KiB
Current children cumulated memory: 53152 KiB
[startup+0.205609 s]*
/proc/loadavg: 4.08 4.10 4.09 5/259 952744
/proc/meminfo: memFree=125489268/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=100576 memory=88028 CPUtime=0.19 cores=4,6
/proc/952743/stat : 952743 (fscip) R 952740 952743 950155 0 -1 4194304 19934 0 0 0 17 2 0 0 20 0 1 0 181953860 102989824 22007 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 25144 22007 2318 3032 0 21544 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 100576 KiB
Current children cumulated memory: 88028 KiB
[startup+0.305585 s]*
/proc/loadavg: 4.07 4.10 4.09 5/259 952744
/proc/meminfo: memFree=125427800/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=132248 memory=119628 CPUtime=0.3 cores=4,6
/proc/952743/stat : 952743 (fscip) R 952740 952743 950155 0 -1 4194304 27852 0 0 0 26 4 0 0 20 0 1 0 181953860 135421952 29907 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 33062 29907 2318 3032 0 29462 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 132248 KiB
Current children cumulated memory: 119628 KiB
[startup+0.700244 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 952744
/proc/meminfo: memFree=125337272/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=329172 memory=315368 CPUtime=0.68 cores=4,6
/proc/952743/stat : 952743 (fscip) R 952740 952743 950155 0 -1 4194304 77039 0 0 0 57 11 0 0 20 0 1 0 181953860 337072128 78842 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 82293 78842 2542 3032 0 78693 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 329172 KiB
Current children cumulated memory: 315368 KiB
[startup+1.50025 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 952744
/proc/meminfo: memFree=125252288/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=553400 memory=535708 CPUtime=1.49 cores=4,6
/proc/952743/stat : 952743 (fscip) R 952740 952743 950155 0 -1 4194304 112691 0 0 0 130 19 0 0 20 0 1 0 181953860 566681600 133927 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 138350 133927 2638 3032 0 134750 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 553400 KiB
Current children cumulated memory: 535708 KiB
[startup+3.10597 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 952744
/proc/meminfo: memFree=125053440/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=541260 memory=522636 CPUtime=3.08 cores=4,6
/proc/952743/stat : 952743 (fscip) R 952740 952743 950155 0 -1 4194304 134910 0 0 0 286 22 0 0 20 0 1 0 181953860 554250240 130659 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 135315 130659 2670 3032 0 131715 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 541260 KiB
Current children cumulated memory: 522636 KiB
[startup+6.30021 s]
/proc/loadavg: 4.07 4.10 4.09 5/259 952744
/proc/meminfo: memFree=124899712/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=656780 memory=591168 CPUtime=6.27 cores=4,6
/proc/952743/stat : 952743 (fscip) R 952740 952743 950155 0 -1 4194304 145866 0 0 0 602 25 0 0 20 0 1 0 181953860 672542720 147792 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 164195 147792 2750 3032 0 160595 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 656780 KiB
Current children cumulated memory: 591168 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 952746
/proc/meminfo: memFree=124887040/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=656780 memory=597312 CPUtime=12.66 cores=4,6
/proc/952743/stat : 952743 (fscip) R 952740 952743 950155 0 -1 4194304 145885 0 0 0 1240 26 0 0 20 0 1 0 181953860 672542720 149328 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 164195 149328 2750 3032 0 160595 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 656780 KiB
Current children cumulated memory: 597312 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.11 4.09 5/260 952750
/proc/meminfo: memFree=124346156/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=1244512 memory=1144520 CPUtime=25.42 cores=4,6
/proc/952743/stat : 952743 (fscip) S 952740 952743 950155 0 -1 1077936128 378161 0 0 0 2484 58 0 0 20 0 3 0 181953860 1274380288 286130 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 311128 286130 2766 3032 0 293159 0
[pid=952743/tid=952747] ppid=952740 vsize=1244512 memory=1068076 CPUtime=7 cores=4,6
/proc/952743/task/952747/stat : 952747 (fscip) R 952740 952743 950155 0 -1 4194368 201313 0 0 0 674 26 0 0 20 0 3 0 181955666 1274380288 286130 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
[pid=952743/tid=952750] ppid=952740 vsize=1244512 memory=65 CPUtime=0 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 181955736 1274380288 286130 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1244512 KiB
Current children cumulated memory: 1144520 KiB
[startup+51.1056 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 952756
/proc/meminfo: memFree=122800788/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=1768800 memory=1702424 CPUtime=50.95 cores=4,6
/proc/952743/stat : 952743 (fscip) S 952740 952743 950155 0 -1 1077936128 647242 0 0 0 5008 87 0 0 20 0 3 0 181953860 1811251200 425606 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 442200 425606 2926 3032 0 433606 0
[pid=952743/tid=952747] ppid=952740 vsize=1768800 memory=12088 CPUtime=32.55 cores=4,6
/proc/952743/task/952747/stat : 952747 (fscip) R 952740 952743 950155 0 -1 4194368 470379 0 0 0 3199 56 0 0 20 0 3 0 181955666 1811251200 425606 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
[pid=952743/tid=952750] ppid=952740 vsize=1768800 memory=12512 CPUtime=0 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 181955736 1811251200 425606 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1768800 KiB
Current children cumulated memory: 1702424 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 952766
/proc/meminfo: memFree=122732804/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=1923812 memory=1702448 CPUtime=102 cores=4,6
/proc/952743/stat : 952743 (fscip) S 952740 952743 950155 0 -1 1077936128 870113 0 0 0 10102 98 0 0 20 0 3 0 181953860 1969983488 425612 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 480953 425612 2926 3032 0 472359 0
[pid=952743/tid=952747] ppid=952740 vsize=1923812 memory=44880 CPUtime=83.6 cores=4,6
/proc/952743/task/952747/stat : 952747 (fscip) R 952740 952743 950155 0 -1 4194368 693237 0 0 0 8293 67 0 0 20 0 3 0 181955666 1969983488 425612 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
[pid=952743/tid=952750] ppid=952740 vsize=1923812 memory=-7593480905204326521 CPUtime=0 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 181955736 1969983488 425612 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1923812 KiB
Current children cumulated memory: 1702448 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 952776
/proc/meminfo: memFree=122536248/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=2275432 memory=1897012 CPUtime=161.84 cores=4,6
/proc/952743/stat : 952743 (fscip) S 952740 952743 950155 0 -1 1077936128 1074883 0 0 0 16070 114 0 0 20 0 3 0 181953860 2330042368 474253 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 568858 474253 2974 3032 0 559675 0
[pid=952743/tid=952747] ppid=952740 vsize=2275432 memory=1896808 CPUtime=143.44 cores=4,6
/proc/952743/task/952747/stat : 952747 (fscip) R 952740 952743 950155 0 -1 4194368 897921 0 0 0 14261 83 0 0 20 0 3 0 181955666 2330042368 474253 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
[pid=952743/tid=952750] ppid=952740 vsize=2275432 memory=0 CPUtime=0 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 181955736 2330042368 474253 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2275432 KiB
Current children cumulated memory: 1897012 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/259 952904
/proc/meminfo: memFree=122347580/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=2406504 memory=2012468 CPUtime=221.66 cores=4,6
/proc/952743/stat : 952743 (fscip) S 952740 952743 950155 0 -1 1077936128 1259639 0 0 0 22037 129 0 0 20 0 3 0 181953860 2464260096 503117 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 601626 503117 2974 3032 0 588976 0
[pid=952743/tid=952747] ppid=952740 vsize=2406504 memory=2012468 CPUtime=203.25 cores=4,6
/proc/952743/task/952747/stat : 952747 (fscip) R 952740 952743 950155 0 -1 4194368 1082636 0 0 0 20227 98 0 0 20 0 3 0 181955666 2464260096 503117 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
[pid=952743/tid=952750] ppid=952740 vsize=2406504 memory=2012468 CPUtime=0 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 181955736 2464260096 503117 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 2406504 KiB
Current children cumulated memory: 2012468 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/266 952947
/proc/meminfo: memFree=121327884/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=2484000 memory=2012480 CPUtime=281.41 cores=4,6
/proc/952743/stat : 952743 (fscip) S 952740 952743 950155 0 -1 1077936128 1359778 0 0 0 28006 135 0 0 20 0 3 0 181953860 2543616000 503120 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 621000 503120 2974 3032 0 608350 0
[pid=952743/tid=952747] ppid=952740 vsize=2484000 memory=2012468 CPUtime=263 cores=4,6
/proc/952743/task/952747/stat : 952747 (fscip) R 952740 952743 950155 0 -1 4194368 1182746 0 0 0 26196 104 0 0 20 0 3 0 181955666 2543616000 503120 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
[pid=952743/tid=952750] ppid=952740 vsize=2484000 memory=2012468 CPUtime=0 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 181955736 2543616000 503120 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 2484000 KiB
Current children cumulated memory: 2012480 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/266 952958
################
# More data... #
################
/proc/loadavg: 4.04 4.10 4.09 5/264 954707
/proc/meminfo: memFree=120265272/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=2980544 memory=2397524 CPUtime=3386.32 cores=4,6
/proc/952743/stat : 952743 (fscip) S 952740 952743 950155 0 -1 1077936128 5589267 0 0 0 338163 469 0 0 20 0 3 0 181953860 3052077056 599381 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 745136 599381 2974 3032 0 734416 0
[pid=952743/tid=952747] ppid=952740 vsize=2980544 memory=2396560 CPUtime=3367.66 cores=4,6
/proc/952743/task/952747/stat : 952747 (fscip) R 952740 952743 950155 0 -1 4194368 5410420 0 0 0 336339 427 0 0 20 0 3 0 181955666 3052077056 599381 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
[pid=952743/tid=952750] ppid=952740 vsize=2980544 memory=2397524 CPUtime=0.05 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 189 0 0 0 1 4 0 0 20 0 3 0 181955736 3052077056 599381 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 3386.32 s
Current children cumulated vsize: 2980544 KiB
Current children cumulated memory: 2397524 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 954718
/proc/meminfo: memFree=120262500/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=2980544 memory=2399424 CPUtime=3446.07 cores=4,6
/proc/952743/stat : 952743 (fscip) S 952740 952743 950155 0 -1 1077936128 5604493 0 0 0 344135 472 0 0 20 0 3 0 181953860 3052077056 599856 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 745136 599856 2974 3032 0 734416 0
[pid=952743/tid=952747] ppid=952740 vsize=2980544 memory=2399424 CPUtime=3427.41 cores=4,6
/proc/952743/task/952747/stat : 952747 (fscip) R 952740 952743 950155 0 -1 4194368 5425617 0 0 0 342311 430 0 0 20 0 3 0 181955666 3052077056 599856 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
[pid=952743/tid=952750] ppid=952740 vsize=2980544 memory=2399424 CPUtime=0.05 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 195 0 0 0 1 4 0 0 20 0 3 0 181955736 3052077056 599856 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 3446.07 s
Current children cumulated vsize: 2980544 KiB
Current children cumulated memory: 2399424 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/262 954728
/proc/meminfo: memFree=120261692/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=2980544 memory=2399424 CPUtime=3505.82 cores=4,6
/proc/952743/stat : 952743 (fscip) S 952740 952743 950155 0 -1 1077936128 5616039 0 0 0 350109 473 0 0 20 0 3 0 181953860 3052077056 599856 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 745136 599856 2974 3032 0 734416 0
[pid=952743/tid=952747] ppid=952740 vsize=2980544 memory=12088 CPUtime=3487.16 cores=4,6
/proc/952743/task/952747/stat : 952747 (fscip) R 952740 952743 950155 0 -1 4194368 5437118 0 0 0 348285 431 0 0 20 0 3 0 181955666 3052077056 599856 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
[pid=952743/tid=952750] ppid=952740 vsize=2980544 memory=2399256 CPUtime=0.05 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 197 0 0 0 1 4 0 0 20 0 3 0 181955736 3052077056 599856 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 3505.82 s
Current children cumulated vsize: 2980544 KiB
Current children cumulated memory: 2399424 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 954738
/proc/meminfo: memFree=120259032/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=2980544 memory=2400984 CPUtime=3565.58 cores=4,6
/proc/952743/stat : 952743 (fscip) S 952740 952743 950155 0 -1 1077936128 5624269 0 0 0 356083 475 0 0 20 0 3 0 181953860 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 745136 600246 2974 3032 0 734416 0
[pid=952743/tid=952747] ppid=952740 vsize=2980544 memory=12088 CPUtime=3546.92 cores=4,6
/proc/952743/task/952747/stat : 952747 (fscip) R 952740 952743 950155 0 -1 4194368 5445325 0 0 0 354259 433 0 0 20 0 3 0 181955666 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
[pid=952743/tid=952750] ppid=952740 vsize=2980544 memory=5116 CPUtime=0.05 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 199 0 0 0 1 4 0 0 20 0 3 0 181955736 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 3565.58 s
Current children cumulated vsize: 2980544 KiB
Current children cumulated memory: 2400984 KiB
[startup+3601.07 s]
# the end of solver process 952743 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.46 s, system=4.82002 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.09 5/262 954738
/proc/meminfo: memFree=120259156/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=2980544 memory=2400984 CPUtime=3567.28 cores=4,6
/proc/952743/stat : 952743 (fscip) S 952740 952743 950155 0 -1 1077936128 5624426 0 0 0 356253 475 0 0 20 0 3 0 181953860 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 745136 600246 2974 3032 0 734416 0
[pid=952743/tid=952747] ppid=952740 vsize=2980544 memory=44863 CPUtime=3548.61 cores=4,6
/proc/952743/task/952747/stat : 952747 (fscip) R 952740 952743 950155 0 -1 4194368 5445481 0 0 0 354428 433 0 0 20 0 3 0 181955666 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
[pid=952743/tid=952750] ppid=952740 vsize=2980544 memory=798 CPUtime=0.05 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 199 0 0 0 1 4 0 0 20 0 3 0 181955736 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 3567.28 s
Current children cumulated vsize: 2980544 KiB
Current children cumulated memory: 2400984 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 954742
/proc/meminfo: memFree=120259044/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=2980544 memory=2400984 CPUtime=3573.65 cores=4,6
/proc/952743/stat : 952743 (fscip) S 952740 952743 950155 0 -1 1077936128 5624761 0 0 0 356890 475 0 0 20 0 3 0 181953860 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 745136 600246 2974 3032 0 734416 0
[pid=952743/tid=952747] ppid=952740 vsize=2980544 memory=12088 CPUtime=3554.98 cores=4,6
/proc/952743/task/952747/stat : 952747 (fscip) R 952740 952743 950155 0 -1 4194368 5445816 0 0 0 355065 433 0 0 20 0 3 0 181955666 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
[pid=952743/tid=952750] ppid=952740 vsize=2980544 memory=6720659948247859052 CPUtime=0.05 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 199 0 0 0 1 4 0 0 20 0 3 0 181955736 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 3573.65 s
Current children cumulated vsize: 2980544 KiB
Current children cumulated memory: 2400984 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 954742
/proc/meminfo: memFree=120259036/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=2980544 memory=2400984 CPUtime=3580.02 cores=4,6
/proc/952743/stat : 952743 (fscip) S 952740 952743 950155 0 -1 1077936128 5625162 0 0 0 357527 475 0 0 20 0 3 0 181953860 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 745136 600246 2974 3032 0 734416 0
[pid=952743/tid=952747] ppid=952740 vsize=2980544 memory=2400984 CPUtime=3561.37 cores=4,6
/proc/952743/task/952747/stat : 952747 (fscip) R 952740 952743 950155 0 -1 4194368 5446217 0 0 0 355703 434 0 0 20 0 3 0 181955666 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
[pid=952743/tid=952750] ppid=952740 vsize=2980544 memory=5500 CPUtime=0.05 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 199 0 0 0 1 4 0 0 20 0 3 0 181955736 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 3580.02 s
Current children cumulated vsize: 2980544 KiB
Current children cumulated memory: 2400984 KiB
[startup+3598.4 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 954742
/proc/meminfo: memFree=120259064/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=2980544 memory=2400984 CPUtime=3581.62 cores=4,6
/proc/952743/stat : 952743 (fscip) S 952740 952743 950155 0 -1 1077936128 5625191 0 0 0 357687 475 0 0 20 0 3 0 181953860 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 745136 600246 2974 3032 0 734416 0
[pid=952743/tid=952747] ppid=952740 vsize=2980544 memory=16184 CPUtime=3562.96 cores=4,6
/proc/952743/task/952747/stat : 952747 (fscip) R 952740 952743 950155 0 -1 4194368 5446246 0 0 0 355862 434 0 0 20 0 3 0 181955666 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
[pid=952743/tid=952750] ppid=952740 vsize=2980544 memory=28024 CPUtime=0.05 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 199 0 0 0 1 4 0 0 20 0 3 0 181955736 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 3581.62 s
Current children cumulated vsize: 2980544 KiB
Current children cumulated memory: 2400984 KiB
[startup+3600 s]*
/proc/loadavg: 4.07 4.10 4.09 4/257 954758
/proc/meminfo: memFree=122910688/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=2980544 memory=2400984 CPUtime=3583.22 cores=4,6
/proc/952743/stat : 952743 (fscip) S 952740 952743 950155 0 -1 1077936128 5625240 0 0 0 357847 475 0 0 20 0 3 0 181953860 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 745136 600246 2974 3032 0 734416 0
[pid=952743/tid=952747] ppid=952740 vsize=2980544 memory=-6098642898104384449 CPUtime=3564.56 cores=4,6
/proc/952743/task/952747/stat : 952747 (fscip) R 952740 952743 950155 0 -1 4194368 5446295 0 0 0 356022 434 0 0 20 0 3 0 181955666 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
[pid=952743/tid=952750] ppid=952740 vsize=2980544 memory=1740 CPUtime=0.05 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 199 0 0 0 1 4 0 0 20 0 3 0 181955736 3052077056 600246 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 3583.22 s
Current children cumulated vsize: 2980544 KiB
Current children cumulated memory: 2400984 KiB
[startup+3600.8 s]
/proc/loadavg: 4.07 4.10 4.09 4/257 954758
/proc/meminfo: memFree=122910688/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=2293088 memory=2233536 CPUtime=3584.02 cores=4,6
/proc/952743/stat : 952743 (fscip) R 952740 952743 950155 0 -1 4194304 5649493 0 0 0 357925 477 0 0 20 0 2 0 181953860 2348122112 558384 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 573272 558384 2974 3032 0 562750 0
[pid=952743/tid=952750] ppid=952740 vsize=2293088 memory=16184 CPUtime=0.05 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 199 0 0 0 1 4 0 0 20 0 2 0 181955736 2348122112 558384 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 3584.02 s
Current children cumulated vsize: 2293088 KiB
Current children cumulated memory: 2233536 KiB
[startup+3601 s]*
/proc/loadavg: 4.07 4.10 4.09 5/259 954790
/proc/meminfo: memFree=123122820/131524600 swapFree=131071996/131071996
[pid=952743] ppid=952740 vsize=2219020 memory=2160252 CPUtime=3584.21 cores=4,6
/proc/952743/stat : 952743 (fscip) R 952740 952743 950155 0 -1 4194304 5672492 0 0 0 357942 479 0 0 20 0 2 0 181953860 2272276480 540063 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
/proc/952743/statm: 554755 540063 2974 3032 0 544233 0
[pid=952743/tid=952750] ppid=952740 vsize=2219020 memory=-8743003551704588988 CPUtime=0.05 cores=4,6
/proc/952743/task/952750/stat : 952750 (fscip) S 952740 952743 950155 0 -1 1077936192 199 0 0 0 1 4 0 0 20 0 2 0 181955736 2272276480 540063 134679101440 4194304 16613245 140721853030496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 54853632 140721853035540 140721853035656 140721853035656 140721853042672 0
Current children cumulated CPU time: 3584.21 s
Current children cumulated vsize: 2219020 KiB
Current children cumulated memory: 2160252 KiB
Child status: 0
Real time (s): 3601.07
CPU time (s): 3584.28
CPU user time (s): 3579.46
CPU system time (s): 4.82002
CPU usage (%): 99.5339
Max. virtual memory (cumulated for all children) (KiB): 3046080
Max. memory (cumulated for all children) (KiB): 2443000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.46
system time used= 4.82002
maximum resident set size= 2443060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5683789
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= 10005
involuntary context switches= 1203
# summary of solver processes directly reported to runsolver:
# pid: 952743
# total CPU time (s): 3584.28
# total CPU user time (s): 3579.46
# total CPU system time (s): 4.82002
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30775 second user time and 20.3809 second system time
The end
Begin job on nodeC032 at 2024-07-18 12:17:42
IDJOB=4442780
IDBENCH=147848
IDSOLVER=3064
FILE ID=nodeC032/4442780-1721297849
RUNJOBID= nodeC032-1721294255-950166
SLURM_JOB_ID= 7542614
Free space on /tmp= 889980 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4442780-1721297849/watcher-4442780-1721297849 -o /tmp/evaluation-result-4442780-1721297849/solver-4442780-1721297849 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721294255-950166 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4442780-1721297849.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b66aa0ca883b9987dbaf460c58c6223e
RANDOM SEED=1887114559
nodeC032.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.594
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3683.560
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.978
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.903
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.313
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3683.574
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.503
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.036
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125707080 kB
MemAvailable: 128234144 kB
Buffers: 486156 kB
Cached: 2856504 kB
SwapCached: 0 kB
Active: 935088 kB
Inactive: 4225740 kB
Active(anon): 1556 kB
Inactive(anon): 1854312 kB
Active(file): 933532 kB
Inactive(file): 2371428 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 73844 kB
Writeback: 88 kB
AnonPages: 1818192 kB
Mapped: 139800 kB
Shmem: 37720 kB
KReclaimable: 123852 kB
Slab: 239276 kB
SReclaimable: 123852 kB
SUnreclaim: 115424 kB
KernelStack: 4080 kB
PageTables: 12624 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1606916 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69056 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1034240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 226004 kB
DirectMap2M: 21567488 kB
DirectMap1G: 114294784 kB
Free space on /tmp at the end= 889960 MiB
End job on nodeC032 at 2024-07-18 13:17:43