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.05 c Default LC presolving (default).
0.00/0.05 c ** Before presolving: virtualMemUsedAtLc = 39591936, getVmSize() = 39591936, SCIPgetMemUsed() = 13899891, SCIPgetMemTotal() = 17711115, SCIPgetMemExternEstim() = 7291346
0.00/0.05 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
3.87/3.94 c ** Estimated virtualMemUsedAtSolver = 46493827, getVmSize() = 86528000, SCIPgetMemUsed() = 42351475, SCIPgetMemTotal() = 62449395, SCIPgetMemExternEstim() = 7291346
3.87/3.94 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
3.87/3.94 c Original Problem :
3.87/3.94 c Problem name : instance-4464467-1722385794
3.87/3.94 c Variables : 3740 (3740 binary, 0 integer, 0 implicit integer, 0 continuous)
3.87/3.94 c Constraints : 3878
3.87/3.94 c Objective sense : minimize
3.87/3.94 c Presolved Problem :
3.87/3.94 c Variables : 2939 (2939 binary, 0 integer, 0 implicit integer, 0 continuous)
3.87/3.94 c Constraints : 3051
3.87/3.94 c Constraints : Number
3.87/3.94 c setppc : 625
3.87/3.94 c logicor : 2426
3.87/3.94 c ** Instance transfer method used: 0
3.87/3.95 c ** ParaScipInstance copy does not increase the number of variables. **
3.87/3.97 c LC is working with racing ramp-up and with rebuilding tree after racing.
3.87/3.97 c Nodes Active
3.87/3.97 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
27.34/27.52 c 28 2 1 1 - 0.0000 -
34.02/34.20 c 34 14 11 1 - 0.0000 -
39.61/39.82 c 40 20 17 1 - 0.0000 -
46.97/47.22 c 47 24 21 1 - 0.0000 -
52.46/52.79 c 53 28 25 1 - 0.0000 -
58.24/58.57 c 59 30 27 1 - 0.0000 -
67.31/67.69 c 68 35 30 1 - 0.0000 -
72.71/73.02 c 73 42 33 1 - 0.0000 -
78.48/78.87 c 79 45 36 1 - 0.0000 -
84.68/85.06 c 85 63 44 1 - 0.0000 -
90.04/90.43 c 90 131 46 1 - 0.0000 -
95.33/95.71 c 96 178 51 1 - 0.0000 -
100.51/100.97 c 101 260 55 1 - 0.0000 -
105.88/106.35 c 106 326 55 1 - 0.0000 -
111.36/111.81 c 112 366 51 1 - 0.0000 -
116.65/117.18 c 117 429 54 1 - 0.0000 -
121.92/122.41 c 122 483 52 1 - 0.0000 -
127.30/127.88 c 128 585 56 1 - 0.0000 -
132.88/133.47 c 133 660 57 1 - 0.0000 -
138.47/139.04 c 139 732 53 1 - 0.0000 -
143.73/144.36 c 144 784 51 1 - 0.0000 -
149.32/149.92 c 150 853 54 1 - 0.0000 -
154.80/155.42 c 155 907 50 1 - 0.0000 -
159.97/160.62 c 161 995 54 1 - 0.0000 -
165.55/166.25 c 166 1062 45 1 - 0.0000 -
171.44/172.12 c 172 1101 50 1 - 0.0000 -
176.71/177.44 c 177 1164 55 1 - 0.0000 -
182.19/182.97 c 183 1228 0 1 - 0.0000 -
196.45/197.23 c 197 1229 1 1 - 0.0000 -
202.43/203.24 c 203 1254 16 1 - 0.0000 -
208.11/209.01 c 209 1271 17 1 - 0.0000 -
213.59/214.43 c 214 1332 19 1 - 0.0000 -
218.88/219.71 c 220 1379 24 1 - 0.0000 -
224.27/225.12 c 225 1477 26 1 - 0.0000 -
233.53/234.44 c 234 1542 29 1 - 0.0000 -
238.71/239.62 c 240 1638 30 1 - 0.0000 -
243.89/244.81 c 245 1764 32 1 - 0.0000 -
248.98/250.01 c 250 1859 31 1 - 0.0000 -
254.45/255.46 c 255 1937 29 1 - 0.0000 -
259.53/260.59 c 261 2030 33 1 - 0.0000 -
264.92/265.98 c 266 2130 28 1 - 0.0000 -
270.20/271.22 c 271 2211 29 1 - 0.0000 -
275.28/276.35 c 276 2313 28 1 - 0.0000 -
280.57/281.63 c 282 2410 29 1 - 0.0000 -
285.65/286.78 c 287 2494 31 1 - 0.0000 -
290.73/291.88 c 292 2589 32 1 - 0.0000 -
296.02/297.12 c 297 2671 28 1 - 0.0000 -
301.09/302.29 c 302 2760 29 1 - 0.0000 -
306.28/307.44 c 307 2839 30 1 - 0.0000 -
311.56/312.79 c 313 2917 30 1 - 0.0000 -
316.75/317.98 c 318 2988 28 1 - 0.0000 -
321.94/323.12 c 323 3066 30 1 - 0.0000 -
327.11/328.34 c 328 3148 32 1 - 0.0000 -
332.19/333.49 c 333 3228 32 1 - 0.0000 -
337.58/338.88 c 339 3314 32 1 - 0.0000 -
342.87/344.12 c 344 3405 30 1 - 0.0000 -
347.95/349.28 c 349 3496 31 1 - 0.0000 -
353.13/354.40 c 354 3578 28 1 - 0.0000 -
358.32/359.63 c 360 3648 32 1 - 0.0000 -
363.60/364.94 c 365 3754 30 1 - 0.0000 -
368.79/370.12 c 370 3836 30 1 - 0.0000 -
374.06/375.42 c 375 3921 32 1 - 0.0000 -
379.25/380.67 c 381 4027 33 1 - 0.0000 -
384.44/385.82 c 386 4106 30 1 - 0.0000 -
389.73/391.14 c 391 4172 28 1 - 0.0000 -
395.00/396.40 c 396 4242 28 1 - 0.0000 -
400.28/401.72 c 402 4320 28 1 - 0.0000 -
405.47/407.01 c 407 4397 27 1 - 0.0000 -
411.04/412.52 c 413 4476 30 1 - 0.0000 -
416.32/417.80 c 418 4576 33 1 - 0.0000 -
421.62/423.16 c 423 4659 30 1 - 0.0000 -
427.00/428.50 c 428 4734 31 1 - 0.0000 -
432.18/433.78 c 434 4815 30 1 - 0.0000 -
437.58/439.15 c 439 4880 29 1 - 0.0000 -
442.85/444.49 c 444 4955 30 1 - 0.0000 -
448.12/449.72 c 450 5034 29 1 - 0.0000 -
453.31/454.99 c 455 5116 29 1 - 0.0000 -
458.59/460.27 c 460 5182 30 1 - 0.0000 -
463.97/465.60 c 466 5270 30 1 - 0.0000 -
469.05/470.75 c 471 5353 27 1 - 0.0000 -
474.23/476.00 c 476 5411 27 1 - 0.0000 -
479.51/481.23 c 481 5466 32 1 - 0.0000 -
484.79/486.54 c 487 5549 31 1 - 0.0000 -
490.17/491.97 c 492 5603 29 1 - 0.0000 -
495.54/497.31 c 497 5653 31 1 - 0.0000 -
500.83/502.64 c 503 5708 30 1 - 0.0000 -
506.10/507.93 c 508 5767 29 1 - 0.0000 -
511.38/513.22 c 513 5828 26 1 - 0.0000 -
516.78/518.69 c 519 5886 30 1 - 0.0000 -
522.27/524.14 c 524 5953 27 1 - 0.0000 -
527.74/529.68 c 530 5997 29 1 - 0.0000 -
533.02/534.96 c 535 6054 28 1 - 0.0000 -
538.50/540.46 c 540 6112 26 1 - 0.0000 -
543.99/545.94 c 546 6159 29 1 - 0.0000 -
549.47/551.46 c 551 6208 28 1 - 0.0000 -
554.95/556.90 c 557 6264 28 1 - 0.0000 -
560.23/562.26 c 562 6324 28 1 - 0.0000 -
565.31/567.38 c 567 6380 26 1 - 0.0000 -
570.89/572.95 c 573 6437 25 1 - 0.0000 -
576.17/578.20 c 578 6488 30 1 - 0.0000 -
581.56/583.60 c 584 6544 30 1 - 0.0000 -
586.74/588.88 c 589 6616 30 1 - 0.0000 -
592.12/594.21 c 594 6696 30 1 - 0.0000 -
597.30/599.43 c 599 6769 30 1 - 0.0000 -
602.69/604.89 c 605 6846 31 1 - 0.0000 -
608.06/610.25 c 610 6922 31 1 - 0.0000 -
613.34/615.58 c 616 6985 30 1 - 0.0000 -
618.72/620.93 c 621 7051 28 1 - 0.0000 -
624.00/626.23 c 626 7113 28 1 - 0.0000 -
629.28/631.53 c 632 7176 27 1 - 0.0000 -
634.56/636.83 c 637 7240 27 1 - 0.0000 -
639.86/642.12 c 642 7302 29 1 - 0.0000 -
645.33/647.61 c 648 7361 28 1 - 0.0000 -
650.61/652.98 c 653 7419 26 1 - 0.0000 -
656.00/658.33 c 658 7463 26 1 - 0.0000 -
661.28/663.63 c 664 7512 27 1 - 0.0000 -
666.47/668.88 c 669 7571 26 1 - 0.0000 -
671.94/674.33 c 674 7626 27 1 - 0.0000 -
677.32/679.77 c 680 7688 27 1 - 0.0000 -
682.62/685.07 c 685 7749 26 1 - 0.0000 -
687.99/690.45 c 690 7802 26 1 - 0.0000 -
693.47/695.99 c 696 7855 27 1 - 0.0000 -
698.86/701.33 c 701 7908 26 1 - 0.0000 -
704.24/706.77 c 707 7955 25 1 - 0.0000 -
709.82/712.39 c 712 8013 23 1 - 0.0000 -
715.20/717.79 c 718 8061 29 1 - 0.0000 -
720.79/723.32 c 723 8135 28 1 - 0.0000 -
725.97/728.52 c 729 8195 28 1 - 0.0000 -
731.25/733.86 c 734 8255 28 1 - 0.0000 -
736.55/739.14 c 739 8308 29 1 - 0.0000 -
741.92/744.54 c 745 8353 30 1 - 0.0000 -
747.20/749.83 c 750 8413 28 1 - 0.0000 -
752.50/755.14 c 755 8475 27 1 - 0.0000 -
757.78/760.45 c 760 8537 26 1 - 0.0000 -
763.06/765.79 c 766 8588 27 1 - 0.0000 -
768.25/770.99 c 771 8640 27 1 - 0.0000 -
773.73/776.49 c 776 8688 27 1 - 0.0000 -
779.01/781.70 c 782 8739 28 1 - 0.0000 -
784.49/787.21 c 787 8797 28 1 - 0.0000 -
789.88/792.64 c 793 8857 26 1 - 0.0000 -
795.16/797.99 c 798 8920 27 1 - 0.0000 -
800.74/803.59 c 804 8978 27 1 - 0.0000 -
806.23/809.01 c 809 9029 27 1 - 0.0000 -
811.61/814.40 c 814 9085 23 1 - 0.0000 -
816.99/819.88 c 820 9130 30 1 - 0.0000 -
822.37/825.30 c 825 9193 31 1 - 0.0000 -
827.85/830.73 c 831 9261 32 1 - 0.0000 -
833.04/835.99 c 836 9335 34 1 - 0.0000 -
838.62/841.57 c 842 9390 33 1 - 0.0000 -
843.80/846.77 c 847 9443 37 1 - 0.0000 -
849.10/852.04 c 852 9538 40 1 - 0.0000 -
854.27/857.26 c 857 9617 35 1 - 0.0000 -
859.45/862.43 c 862 9698 32 1 - 0.0000 -
864.94/867.95 c 868 9754 34 1 - 0.0000 -
870.43/873.46 c 873 9836 34 1 - 0.0000 -
875.91/878.93 c 879 9890 33 1 - 0.0000 -
881.49/884.51 c 885 9934 31 1 - 0.0000 -
886.68/889.71 c 890 9983 32 1 - 0.0000 -
891.76/894.85 c 895 10033 32 1 - 0.0000 -
896.96/900.09 c 900 10086 31 1 - 0.0000 -
902.43/905.56 c 906 10130 31 1 - 0.0000 -
907.81/910.93 c 911 10186 31 1 - 0.0000 -
913.00/916.17 c 916 10260 33 1 - 0.0000 -
918.17/921.35 c 921 10332 31 1 - 0.0000 -
923.66/926.83 c 927 10390 35 1 - 0.0000 -
929.04/932.25 c 932 10454 33 1 - 0.0000 -
934.42/937.61 c 938 10506 29 1 - 0.0000 -
939.82/943.02 c 943 10554 31 1 - 0.0000 -
945.29/948.58 c 949 10601 32 1 - 0.0000 -
950.89/954.11 c 954 10644 31 1 - 0.0000 -
956.56/959.80 c 960 10689 30 1 - 0.0000 -
962.04/965.34 c 965 10735 30 1 - 0.0000 -
967.42/970.78 c 971 10801 30 1 - 0.0000 -
972.61/975.99 c 976 10854 31 1 - 0.0000 -
977.99/981.31 c 981 10903 32 1 - 0.0000 -
983.37/986.70 c 987 10959 32 1 - 0.0000 -
988.67/992.06 c 992 11009 32 1 - 0.0000 -
994.14/997.56 c 998 11058 29 1 - 0.0000 -
999.63/1003.06 c 1003 11116 35 1 - 0.0000 -
1004.80/1008.28 c 1008 11198 31 1 - 0.0000 -
1010.60/1014.04 c 1014 11267 32 1 - 0.0000 -
1015.87/1019.37 c 1019 11333 30 1 - 0.0000 -
1021.15/1024.68 c 1025 11396 31 1 - 0.0000 -
1026.55/1030.01 c 1030 11457 28 1 - 0.0000 -
1031.72/1035.24 c 1035 11511 29 1 - 0.0000 -
1037.10/1040.60 c 1041 11566 34 1 - 0.0000 -
1042.38/1045.94 c 1046 11668 32 1 - 0.0000 -
1047.67/1051.23 c 1051 11740 30 1 - 0.0000 -
1052.85/1056.44 c 1056 11799 31 1 - 0.0000 -
1058.24/1061.87 c 1062 11858 30 1 - 0.0000 -
1063.62/1067.28 c 1067 11936 29 1 - 0.0000 -
1068.80/1072.45 c 1072 12020 31 1 - 0.0000 -
1074.28/1077.94 c 1078 12098 29 1 - 0.0000 -
1079.57/1083.25 c 1083 12141 32 1 - 0.0000 -
1084.85/1088.53 c 1089 12191 34 1 - 0.0000 -
1090.13/1093.85 c 1094 12241 32 1 - 0.0000 -
1095.51/1099.24 c 1099 12299 34 1 - 0.0000 -
1100.79/1104.55 c 1105 12356 33 1 - 0.0000 -
1106.07/1109.80 c 1110 12442 33 1 - 0.0000 -
1111.37/1115.18 c 1115 12493 30 1 - 0.0000 -
1116.84/1120.60 c 1121 12537 33 1 - 0.0000 -
1122.02/1125.86 c 1126 12594 32 1 - 0.0000 -
1127.22/1131.08 c 1131 12644 32 1 - 0.0000 -
1132.39/1136.29 c 1136 12690 30 1 - 0.0000 -
1137.87/1141.76 c 1142 12762 30 1 - 0.0000 -
1143.55/1147.44 c 1147 12811 31 1 - 0.0000 -
1149.04/1152.96 c 1153 12855 29 1 - 0.0000 -
1154.32/1158.28 c 1158 12906 38 1 - 0.0000 -
1159.70/1163.68 c 1164 12974 38 1 - 0.0000 -
1164.99/1168.93 c 1169 13035 40 1 - 0.0000 -
1170.28/1174.22 c 1174 13112 41 1 - 0.0000 -
1175.56/1179.50 c 1180 13173 40 1 - 0.0000 -
1180.94/1184.92 c 1185 13230 39 1 - 0.0000 -
1186.22/1190.27 c 1190 13303 40 1 - 0.0000 -
1191.51/1195.54 c 1196 13368 41 1 - 0.0000 -
1196.79/1200.81 c 1201 13433 40 1 - 0.0000 -
1202.17/1206.25 c 1206 13489 38 1 - 0.0000 -
1207.36/1211.43 c 1211 13554 37 1 - 0.0000 -
1212.74/1216.81 c 1217 13622 35 1 - 0.0000 -
1217.93/1222.03 c 1222 13702 37 1 - 0.0000 -
1223.10/1227.23 c 1227 13774 39 1 - 0.0000 -
1228.28/1232.47 c 1232 13835 40 1 - 0.0000 -
1233.47/1237.68 c 1238 13893 36 1 - 0.0000 -
1238.86/1243.03 c 1243 13964 35 1 - 0.0000 -
1244.03/1248.22 c 1248 14020 37 1 - 0.0000 -
1249.32/1253.51 c 1254 14093 38 1 - 0.0000 -
1254.50/1258.74 c 1259 14168 37 1 - 0.0000 -
1259.79/1264.02 c 1264 14238 39 1 - 0.0000 -
1265.17/1269.41 c 1269 14299 38 1 - 0.0000 -
1270.46/1274.76 c 1275 14376 39 1 - 0.0000 -
1275.94/1280.21 c 1280 14463 44 1 - 0.0000 -
1281.12/1285.45 c 1285 14553 43 1 - 0.0000 -
1286.41/1290.74 c 1291 14628 42 1 - 0.0000 -
1291.70/1296.03 c 1296 14698 40 1 - 0.0000 -
1297.07/1301.48 c 1301 14765 39 1 - 0.0000 -
1302.25/1306.69 c 1307 14837 39 1 - 0.0000 -
1308.14/1312.56 c 1313 14884 38 1 - 0.0000 -
1313.42/1317.81 c 1318 14940 40 1 - 0.0000 -
1318.71/1323.17 c 1323 15006 40 1 - 0.0000 -
1324.09/1328.59 c 1329 15064 38 1 - 0.0000 -
1329.57/1334.06 c 1334 15115 37 1 - 0.0000 -
1335.24/1339.80 c 1340 15165 37 1 - 0.0000 -
1340.53/1345.06 c 1345 15229 39 1 - 0.0000 -
1345.91/1350.49 c 1350 15293 39 1 - 0.0000 -
1351.29/1355.89 c 1356 15364 40 1 - 0.0000 -
1356.87/1361.49 c 1361 15428 38 1 - 0.0000 -
1362.36/1366.96 c 1367 15476 40 1 - 0.0000 -
1367.64/1372.22 c 1372 15526 40 1 - 0.0000 -
1372.82/1377.42 c 1377 15594 40 1 - 0.0000 -
1378.31/1382.99 c 1383 15657 40 1 - 0.0000 -
1383.99/1388.66 c 1389 15700 37 1 - 0.0000 -
1389.39/1394.06 c 1394 15755 38 1 - 0.0000 -
1394.96/1399.62 c 1400 15809 38 1 - 0.0000 -
1400.25/1404.95 c 1405 15873 38 1 - 0.0000 -
1405.63/1410.38 c 1410 15944 37 1 - 0.0000 -
1411.01/1415.78 c 1416 15993 38 1 - 0.0000 -
1416.40/1421.17 c 1421 16031 38 1 - 0.0000 -
1421.78/1426.51 c 1427 16077 38 1 - 0.0000 -
1427.16/1431.96 c 1432 16119 38 1 - 0.0000 -
1432.54/1437.35 c 1437 16158 37 1 - 0.0000 -
1437.93/1442.74 c 1443 16209 36 1 - 0.0000 -
1443.11/1447.93 c 1448 16243 38 1 - 0.0000 -
1448.60/1453.49 c 1453 16299 36 1 - 0.0000 -
1454.08/1458.91 c 1459 16354 35 1 - 0.0000 -
1459.86/1464.74 c 1465 16408 35 1 - 0.0000 -
1465.33/1470.20 c 1470 16477 36 1 - 0.0000 -
1470.61/1475.56 c 1476 16545 35 1 - 0.0000 -
1475.89/1480.82 c 1481 16618 34 1 - 0.0000 -
1481.19/1486.18 c 1486 16687 37 1 - 0.0000 -
1486.56/1491.59 c 1492 16750 36 1 - 0.0000 -
1492.25/1497.21 c 1497 16811 35 1 - 0.0000 -
1497.63/1502.63 c 1503 16865 37 1 - 0.0000 -
1502.92/1507.99 c 1508 16925 35 1 - 0.0000 -
1508.40/1513.44 c 1513 16980 34 1 - 0.0000 -
1513.99/1519.10 c 1519 17022 38 1 - 0.0000 -
1519.36/1524.42 c 1524 17076 34 1 - 0.0000 -
1524.85/1529.93 c 1530 17127 35 1 - 0.0000 -
1530.32/1535.43 c 1535 17182 34 1 - 0.0000 -
1535.61/1540.71 c 1541 17238 36 1 - 0.0000 -
1541.39/1546.55 c 1547 17283 34 1 - 0.0000 -
1546.77/1552.01 c 1552 17340 37 1 - 0.0000 -
1552.25/1557.49 c 1557 17397 34 1 - 0.0000 -
1557.53/1562.71 c 1563 17454 37 1 - 0.0000 -
1563.01/1568.20 c 1568 17503 34 1 - 0.0000 -
1568.40/1573.65 c 1574 17551 34 1 - 0.0000 -
1573.68/1578.98 c 1579 17608 33 1 - 0.0000 -
1579.16/1584.43 c 1584 17642 31 1 - 0.0000 -
1584.34/1589.65 c 1590 17704 33 1 - 0.0000 -
1589.52/1594.82 c 1595 17766 33 1 - 0.0000 -
1594.60/1599.97 c 1600 17828 31 1 - 0.0000 -
1599.98/1605.35 c 1605 17884 31 1 - 0.0000 -
1605.36/1610.75 c 1611 17929 30 1 - 0.0000 -
1610.66/1616.01 c 1616 17962 37 1 - 0.0000 -
1616.03/1621.48 c 1621 18016 35 1 - 0.0000 -
1621.49/1626.99 c 1627 18057 36 1 - 0.0000 -
1626.88/1632.30 c 1632 18104 37 1 - 0.0000 -
1632.26/1637.70 c 1638 18159 38 1 - 0.0000 -
1637.44/1643.01 c 1643 18217 38 1 - 0.0000 -
1642.92/1648.48 c 1648 18282 37 1 - 0.0000 -
1648.30/1653.89 c 1654 18332 37 1 - 0.0000 -
1653.68/1659.23 c 1659 18421 36 1 - 0.0000 -
1659.06/1664.64 c 1665 18488 35 1 - 0.0000 -
1664.65/1670.29 c 1670 18552 35 1 - 0.0000 -
1670.33/1675.99 c 1676 18614 35 1 - 0.0000 -
1675.61/1681.22 c 1681 18667 38 1 - 0.0000 -
1680.99/1686.64 c 1687 18723 38 1 - 0.0000 -
1686.58/1692.26 c 1692 18778 37 1 - 0.0000 -
1692.06/1697.78 c 1698 18838 37 1 - 0.0000 -
1697.45/1703.14 c 1703 18892 37 1 - 0.0000 -
1702.72/1708.45 c 1708 18954 39 1 - 0.0000 -
1708.12/1713.83 c 1714 19010 39 1 - 0.0000 -
1713.50/1719.29 c 1719 19063 38 1 - 0.0000 -
1718.78/1724.57 c 1725 19107 38 1 - 0.0000 -
1724.27/1730.01 c 1730 19157 38 1 - 0.0000 -
1729.64/1735.43 c 1735 19209 38 1 - 0.0000 -
1735.52/1741.36 c 1741 19256 39 1 - 0.0000 -
1741.01/1746.89 c 1747 19304 37 1 - 0.0000 -
1746.49/1752.30 c 1752 19348 37 1 - 0.0000 -
1751.87/1757.77 c 1758 19395 36 1 - 0.0000 -
1757.46/1763.36 c 1763 19442 37 1 - 0.0000 -
1762.74/1768.69 c 1769 19518 35 1 - 0.0000 -
1768.53/1774.49 c 1774 19583 36 1 - 0.0000 -
1774.31/1780.24 c 1780 19651 36 1 - 0.0000 -
1779.89/1785.81 c 1786 19721 38 1 - 0.0000 -
1785.57/1791.53 c 1792 19773 38 1 - 0.0000 -
1791.17/1797.19 c 1797 19814 37 1 - 0.0000 -
1796.54/1802.59 c 1803 19866 39 1 - 0.0000 -
1801.82/1807.84 c 1808 19913 36 1 - 0.0000 -
1807.12/1813.13 c 1813 19972 35 1 - 0.0000 -
1812.68/1818.73 c 1819 20018 39 1 - 0.0000 -
1817.98/1824.09 c 1824 20077 36 1 - 0.0000 -
1823.35/1829.40 c 1829 20125 36 1 - 0.0000 -
1828.94/1835.08 c 1835 20175 36 1 - 0.0000 -
1834.41/1840.55 c 1841 20222 39 1 - 0.0000 -
1839.80/1845.93 c 1846 20272 43 1 - 0.0000 -
1845.08/1851.23 c 1851 20334 39 1 - 0.0000 -
1850.46/1856.67 c 1857 20390 41 1 - 0.0000 -
1855.96/1862.19 c 1862 20448 37 1 - 0.0000 -
1861.23/1867.47 c 1867 20498 41 1 - 0.0000 -
1866.83/1873.01 c 1873 20551 42 1 - 0.0000 -
1872.70/1878.92 c 1879 20615 40 1 - 0.0000 -
1878.47/1884.74 c 1885 20680 39 1 - 0.0000 -
1884.05/1890.33 c 1890 20732 39 1 - 0.0000 -
1889.34/1895.68 c 1896 20796 39 1 - 0.0000 -
1894.62/1900.99 c 1901 20870 39 1 - 0.0000 -
1900.60/1907.01 c 1907 20927 40 1 - 0.0000 -
1906.27/1912.60 c 1913 20992 39 1 - 0.0000 -
1911.67/1918.01 c 1918 21025 40 1 - 0.0000 -
1916.94/1923.33 c 1923 21093 42 1 - 0.0000 -
1922.12/1928.53 c 1929 21159 40 1 - 0.0000 -
1927.72/1934.12 c 1934 21224 41 1 - 0.0000 -
1933.19/1939.66 c 1940 21283 40 1 - 0.0000 -
1938.76/1945.26 c 1945 21345 40 1 - 0.0000 -
1944.45/1950.97 c 1951 21407 40 1 - 0.0000 -
1950.13/1956.60 c 1957 21471 36 1 - 0.0000 -
1955.81/1962.35 c 1962 21527 38 1 - 0.0000 -
1961.69/1968.29 c 1968 21573 36 1 - 0.0000 -
1967.49/1974.10 c 1974 21627 36 1 - 0.0000 -
1972.96/1979.55 c 1980 21681 36 1 - 0.0000 -
1978.34/1984.91 c 1985 21735 38 1 - 0.0000 -
1983.63/1990.25 c 1990 21799 36 1 - 0.0000 -
1989.52/1996.18 c 1996 21889 36 1 - 0.0000 -
1994.89/2001.50 c 2002 21942 37 1 - 0.0000 -
2000.77/2007.46 c 2007 21984 35 1 - 0.0000 -
2006.55/2013.28 c 2013 22026 35 1 - 0.0000 -
2011.94/2018.67 c 2019 22081 36 1 - 0.0000 -
2017.62/2024.33 c 2024 22116 35 1 - 0.0000 -
2023.21/2029.91 c 2030 22152 35 1 - 0.0000 -
2028.69/2035.44 c 2035 22199 38 1 - 0.0000 -
2034.07/2040.84 c 2041 22259 36 1 - 0.0000 -
2039.65/2046.49 c 2046 22309 34 1 - 0.0000 -
2045.04/2051.83 c 2052 22367 36 1 - 0.0000 -
2050.82/2057.68 c 2058 22421 36 1 - 0.0000 -
2056.10/2062.97 c 2063 22503 35 1 - 0.0000 -
2061.78/2068.63 c 2069 22559 35 1 - 0.0000 -
2067.07/2074.00 c 2074 22602 36 1 - 0.0000 -
2072.85/2079.70 c 2080 22656 36 1 - 0.0000 -
2078.53/2085.49 c 2085 22718 34 1 - 0.0000 -
2084.41/2091.36 c 2091 22790 33 1 - 0.0000 -
2089.70/2096.68 c 2097 22839 33 1 - 0.0000 -
2095.09/2102.09 c 2102 22900 34 1 - 0.0000 -
2100.36/2107.37 c 2107 22954 33 1 - 0.0000 -
2105.55/2112.54 c 2113 23005 33 1 - 0.0000 -
2111.04/2118.08 c 2118 23050 34 1 - 0.0000 -
2116.31/2123.38 c 2123 23112 34 1 - 0.0000 -
2121.79/2128.89 c 2129 23176 36 1 - 0.0000 -
2127.18/2134.24 c 2134 23230 34 1 - 0.0000 -
2132.37/2139.41 c 2139 23296 33 1 - 0.0000 -
2137.96/2145.10 c 2145 23343 30 1 - 0.0000 -
2143.53/2150.60 c 2151 23375 32 1 - 0.0000 -
2149.21/2156.34 c 2156 23409 30 1 - 0.0000 -
2154.60/2161.75 c 2162 23441 30 1 - 0.0000 -
2160.18/2167.32 c 2167 23476 38 1 - 0.0000 -
2165.66/2172.81 c 2173 23537 37 1 - 0.0000 -
2170.85/2178.05 c 2178 23605 37 1 - 0.0000 -
2176.12/2183.38 c 2183 23679 37 1 - 0.0000 -
2181.60/2188.82 c 2189 23761 35 1 - 0.0000 -
2186.90/2194.15 c 2194 23824 38 1 - 0.0000 -
2192.57/2199.85 c 2200 23888 36 1 - 0.0000 -
2197.75/2205.03 c 2205 23971 39 1 - 0.0000 -
2202.93/2210.23 c 2210 24046 38 1 - 0.0000 -
2208.41/2215.71 c 2216 24119 37 1 - 0.0000 -
2213.89/2221.21 c 2221 24185 35 1 - 0.0000 -
2219.28/2226.61 c 2227 24270 38 1 - 0.0000 -
2224.46/2231.89 c 2232 24356 38 1 - 0.0000 -
2229.66/2237.05 c 2237 24425 35 1 - 0.0000 -
2234.93/2242.37 c 2242 24493 37 1 - 0.0000 -
2240.31/2247.73 c 2248 24575 35 1 - 0.0000 -
2245.49/2252.94 c 2253 24633 35 1 - 0.0000 -
2250.69/2258.12 c 2258 24717 37 1 - 0.0000 -
2256.06/2263.55 c 2264 24802 38 1 - 0.0000 -
2261.44/2268.97 c 2269 24879 37 1 - 0.0000 -
2267.32/2274.85 c 2275 24947 39 1 - 0.0000 -
2272.61/2280.14 c 2280 25017 39 1 - 0.0000 -
2277.79/2285.31 c 2285 25087 35 1 - 0.0000 -
2282.98/2290.54 c 2291 25153 37 1 - 0.0000 -
2288.36/2295.99 c 2296 25224 36 1 - 0.0000 -
2293.74/2301.37 c 2301 25298 38 1 - 0.0000 -
2299.12/2306.77 c 2307 25373 39 1 - 0.0000 -
2304.51/2312.13 c 2312 25452 40 1 - 0.0000 -
2309.68/2317.37 c 2317 25535 40 1 - 0.0000 -
2314.97/2322.70 c 2323 25617 43 1 - 0.0000 -
2320.35/2328.04 c 2328 25685 39 1 - 0.0000 -
2325.62/2333.34 c 2333 25744 36 1 - 0.0000 -
2330.81/2338.59 c 2339 25813 35 1 - 0.0000 -
2336.19/2343.91 c 2344 25863 33 1 - 0.0000 -
2341.47/2349.20 c 2349 25924 34 1 - 0.0000 -
2346.65/2354.49 c 2354 25977 35 1 - 0.0000 -
2352.25/2360.08 c 2360 26036 36 1 - 0.0000 -
2357.62/2365.40 c 2365 26096 36 1 - 0.0000 -
2363.21/2371.08 c 2371 26152 36 1 - 0.0000 -
2368.78/2376.65 c 2377 26198 38 1 - 0.0000 -
2374.47/2382.31 c 2382 26255 35 1 - 0.0000 -
2379.96/2387.87 c 2388 26304 40 1 - 0.0000 -
2385.25/2393.18 c 2393 26369 39 1 - 0.0000 -
2390.52/2398.46 c 2398 26411 39 1 - 0.0000 -
2395.90/2403.83 c 2404 26466 38 1 - 0.0000 -
2401.10/2409.08 c 2409 26536 38 1 - 0.0000 -
2406.76/2414.74 c 2415 26607 37 1 - 0.0000 -
2412.35/2420.30 c 2420 26669 40 1 - 0.0000 -
2417.83/2425.87 c 2426 26741 40 1 - 0.0000 -
2423.41/2431.47 c 2431 26802 41 1 - 0.0000 -
2428.60/2436.68 c 2437 26863 40 1 - 0.0000 -
2433.89/2441.99 c 2442 26924 39 1 - 0.0000 -
2439.17/2447.21 c 2447 26976 39 1 - 0.0000 -
2444.46/2452.51 c 2453 27029 40 1 - 0.0000 -
2449.95/2458.09 c 2458 27096 41 1 - 0.0000 -
2455.32/2463.43 c 2463 27150 37 1 - 0.0000 -
2460.80/2468.96 c 2469 27201 36 1 - 0.0000 -
2466.39/2474.59 c 2475 27255 37 1 - 0.0000 -
2471.67/2479.88 c 2480 27315 35 1 - 0.0000 -
2477.05/2485.29 c 2485 27394 34 1 - 0.0000 -
2482.84/2491.09 c 2491 27445 35 1 - 0.0000 -
2488.42/2496.67 c 2497 27499 35 1 - 0.0000 -
2493.70/2501.97 c 2502 27556 37 1 - 0.0000 -
2498.89/2507.19 c 2507 27611 37 1 - 0.0000 -
2504.36/2512.67 c 2513 27667 35 1 - 0.0000 -
2509.94/2518.22 c 2518 27722 38 1 - 0.0000 -
2515.32/2523.61 c 2524 27774 38 1 - 0.0000 -
2520.49/2528.85 c 2529 27826 35 1 - 0.0000 -
2525.68/2534.10 c 2534 27874 37 1 - 0.0000 -
2530.85/2539.27 c 2539 27934 38 1 - 0.0000 -
2536.33/2544.74 c 2545 27986 36 1 - 0.0000 -
2541.51/2549.94 c 2550 28039 37 1 - 0.0000 -
2546.71/2555.17 c 2555 28115 36 1 - 0.0000 -
2552.18/2560.67 c 2561 28170 35 1 - 0.0000 -
2557.67/2566.18 c 2566 28215 36 1 - 0.0000 -
2562.94/2571.45 c 2571 28269 36 1 - 0.0000 -
2568.12/2576.69 c 2577 28317 36 1 - 0.0000 -
2573.61/2582.16 c 2582 28371 32 1 - 0.0000 -
2579.59/2588.15 c 2588 28423 38 1 - 0.0000 -
2585.05/2593.63 c 2594 28484 39 1 - 0.0000 -
2590.24/2598.89 c 2599 28542 39 1 - 0.0000 -
2595.71/2604.38 c 2604 28603 38 1 - 0.0000 -
2601.09/2609.71 c 2610 28682 37 1 - 0.0000 -
2606.27/2614.99 c 2615 28761 38 1 - 0.0000 -
2611.95/2620.64 c 2621 28809 36 1 - 0.0000 -
2617.03/2625.79 c 2626 28881 40 1 - 0.0000 -
2622.32/2631.06 c 2631 28941 41 1 - 0.0000 -
2627.69/2636.43 c 2636 29004 40 1 - 0.0000 -
2632.87/2641.68 c 2642 29068 39 1 - 0.0000 -
2638.26/2647.05 c 2647 29138 37 1 - 0.0000 -
2643.53/2652.38 c 2652 29201 40 1 - 0.0000 -
2648.81/2657.61 c 2658 29286 39 1 - 0.0000 -
2654.10/2662.99 c 2663 29362 39 1 - 0.0000 -
2659.29/2668.15 c 2668 29420 39 1 - 0.0000 -
2664.56/2673.45 c 2673 29482 39 1 - 0.0000 -
2669.94/2678.81 c 2679 29539 38 1 - 0.0000 -
2675.12/2684.04 c 2684 29602 37 1 - 0.0000 -
2680.59/2689.52 c 2690 29675 38 1 - 0.0000 -
2685.97/2694.92 c 2695 29751 38 1 - 0.0000 -
2691.26/2700.29 c 2700 29805 38 1 - 0.0000 -
2696.64/2705.62 c 2706 29869 39 1 - 0.0000 -
2702.13/2711.12 c 2711 29936 42 1 - 0.0000 -
2708.01/2717.06 c 2717 30000 40 1 - 0.0000 -
2713.28/2722.39 c 2722 30056 38 1 - 0.0000 -
2718.57/2727.69 c 2728 30121 37 1 - 0.0000 -
2723.85/2732.93 c 2733 30172 38 1 - 0.0000 -
2729.24/2738.31 c 2738 30234 40 1 - 0.0000 -
2734.52/2743.63 c 2744 30282 40 1 - 0.0000 -
2739.92/2749.10 c 2749 30348 38 1 - 0.0000 -
2745.19/2754.39 c 2754 30411 37 1 - 0.0000 -
2750.67/2759.89 c 2760 30465 37 1 - 0.0000 -
2756.35/2765.50 c 2766 30519 38 1 - 0.0000 -
2762.02/2771.24 c 2771 30565 38 1 - 0.0000 -
2767.40/2776.63 c 2777 30607 38 1 - 0.0000 -
2772.90/2782.13 c 2782 30648 41 1 - 0.0000 -
2778.47/2787.74 c 2788 30705 40 1 - 0.0000 -
2783.95/2793.22 c 2793 30763 40 1 - 0.0000 -
2789.53/2798.83 c 2799 30816 39 1 - 0.0000 -
2795.21/2804.51 c 2805 30869 44 1 - 0.0000 -
2800.40/2809.72 c 2810 30920 47 1 - 0.0000 -
2805.79/2815.18 c 2815 30982 45 1 - 0.0000 -
2811.06/2820.43 c 2820 31048 44 1 - 0.0000 -
2816.45/2825.81 c 2826 31124 44 1 - 0.0000 -
2821.83/2831.28 c 2831 31183 43 1 - 0.0000 -
2827.11/2836.55 c 2837 31244 44 1 - 0.0000 -
2832.40/2841.81 c 2842 31304 42 1 - 0.0000 -
2837.88/2847.37 c 2847 31361 41 1 - 0.0000 -
2843.16/2852.61 c 2853 31427 43 1 - 0.0000 -
2848.44/2857.98 c 2858 31491 45 1 - 0.0000 -
2853.73/2863.25 c 2863 31548 46 1 - 0.0000 -
2859.01/2868.58 c 2869 31619 45 1 - 0.0000 -
2864.50/2874.11 c 2874 31669 43 1 - 0.0000 -
2870.07/2879.64 c 2880 31730 44 1 - 0.0000 -
2875.35/2884.99 c 2885 31782 42 1 - 0.0000 -
2880.64/2890.28 c 2890 31830 42 1 - 0.0000 -
2886.11/2895.77 c 2896 31895 42 1 - 0.0000 -
2891.99/2901.62 c 2902 31959 44 1 - 0.0000 -
2897.18/2906.86 c 2907 32018 43 1 - 0.0000 -
2902.37/2912.05 c 2912 32081 43 1 - 0.0000 -
2907.74/2917.47 c 2917 32137 42 1 - 0.0000 -
2913.35/2923.09 c 2923 32192 42 1 - 0.0000 -
2918.62/2928.36 c 2928 32246 40 1 - 0.0000 -
2924.31/2934.01 c 2934 32294 40 1 - 0.0000 -
2929.78/2939.53 c 2940 32343 41 1 - 0.0000 -
2935.56/2945.30 c 2945 32395 43 1 - 0.0000 -
2940.75/2950.57 c 2951 32446 42 1 - 0.0000 -
2946.03/2955.89 c 2956 32500 43 1 - 0.0000 -
2951.51/2961.32 c 2961 32554 41 1 - 0.0000 -
2957.21/2967.07 c 2967 32602 39 1 - 0.0000 -
2962.48/2972.39 c 2972 32654 41 1 - 0.0000 -
2967.96/2977.84 c 2978 32710 42 1 - 0.0000 -
2973.16/2983.10 c 2983 32777 42 1 - 0.0000 -
2979.14/2989.02 c 2989 32838 41 1 - 0.0000 -
2984.51/2994.47 c 2994 32895 42 1 - 0.0000 -
2990.20/3000.18 c 3000 32941 40 1 - 0.0000 -
2995.67/3005.66 c 3006 32983 40 1 - 0.0000 -
3001.07/3011.04 c 3011 33031 40 1 - 0.0000 -
3007.23/3017.29 c 3017 33080 41 1 - 0.0000 -
3012.72/3022.70 c 3023 33152 42 1 - 0.0000 -
3018.41/3028.42 c 3028 33203 41 1 - 0.0000 -
3023.59/3033.69 c 3034 33257 41 1 - 0.0000 -
3029.27/3039.32 c 3039 33303 43 1 - 0.0000 -
3035.35/3045.41 c 3045 33352 42 1 - 0.0000 -
3040.95/3051.03 c 3051 33398 43 1 - 0.0000 -
3046.32/3056.46 c 3056 33455 42 1 - 0.0000 -
3051.50/3061.67 c 3062 33498 41 1 - 0.0000 -
3057.19/3067.30 c 3067 33552 39 1 - 0.0000 -
3062.47/3072.65 c 3073 33603 42 1 - 0.0000 -
3067.65/3077.83 c 3078 33661 54 1 - 0.0000 -
3072.85/3083.11 c 3083 33727 48 1 - 0.0000 -
3078.12/3088.36 c 3088 33795 47 1 - 0.0000 -
3083.40/3093.69 c 3094 33862 46 1 - 0.0000 -
3088.98/3099.22 c 3099 33929 45 1 - 0.0000 -
3094.27/3104.50 c 3104 33980 48 1 - 0.0000 -
3099.55/3109.84 c 3110 34043 49 1 - 0.0000 -
3104.85/3115.14 c 3115 34094 46 1 - 0.0000 -
3110.22/3120.54 c 3121 34149 46 1 - 0.0000 -
3116.00/3126.31 c 3126 34212 47 1 - 0.0000 -
3121.38/3131.73 c 3132 34272 47 1 - 0.0000 -
3126.77/3137.17 c 3137 34318 45 1 - 0.0000 -
3132.15/3142.55 c 3143 34358 45 1 - 0.0000 -
3137.64/3148.09 c 3148 34409 46 1 - 0.0000 -
3142.81/3153.29 c 3153 34459 45 1 - 0.0000 -
3148.09/3158.55 c 3159 34509 45 1 - 0.0000 -
3153.59/3164.03 c 3164 34558 46 1 - 0.0000 -
3158.96/3169.47 c 3169 34597 47 1 - 0.0000 -
3164.35/3174.81 c 3175 34655 45 1 - 0.0000 -
3169.64/3180.17 c 3180 34708 44 1 - 0.0000 -
3175.21/3185.76 c 3186 34756 44 1 - 0.0000 -
3181.30/3191.81 c 3192 34787 43 1 - 0.0000 -
3186.78/3197.35 c 3197 34841 45 1 - 0.0000 -
3192.47/3203.07 c 3203 34894 45 1 - 0.0000 -
3197.94/3208.58 c 3209 34944 45 1 - 0.0000 -
3203.22/3213.81 c 3214 34995 44 1 - 0.0000 -
3209.00/3219.67 c 3220 35050 43 1 - 0.0000 -
3214.88/3225.55 c 3226 35107 42 1 - 0.0000 -
3220.67/3231.39 c 3231 35160 43 1 - 0.0000 -
3226.55/3237.27 c 3237 35209 42 1 - 0.0000 -
3232.34/3243.04 c 3243 35252 43 1 - 0.0000 -
3238.01/3248.70 c 3249 35306 41 1 - 0.0000 -
3243.69/3254.46 c 3254 35340 43 1 - 0.0000 -
3249.29/3260.10 c 3260 35388 45 1 - 0.0000 -
3255.06/3265.83 c 3266 35424 45 1 - 0.0000 -
3260.45/3271.28 c 3271 35471 46 1 - 0.0000 -
3265.83/3276.63 c 3277 35517 46 1 - 0.0000 -
3271.51/3282.32 c 3282 35561 44 1 - 0.0000 -
3276.89/3287.78 c 3288 35609 44 1 - 0.0000 -
3282.38/3293.28 c 3293 35665 44 1 - 0.0000 -
3287.76/3298.64 c 3299 35734 45 1 - 0.0000 -
3293.25/3304.11 c 3304 35798 45 1 - 0.0000 -
3298.32/3309.29 c 3309 35857 42 1 - 0.0000 -
3303.81/3314.71 c 3315 35931 44 1 - 0.0000 -
3309.29/3320.22 c 3320 35994 43 1 - 0.0000 -
3314.67/3325.69 c 3326 36052 43 1 - 0.0000 -
3320.17/3331.19 c 3331 36108 43 1 - 0.0000 -
3325.64/3336.67 c 3337 36159 42 1 - 0.0000 -
3331.42/3342.45 c 3342 36204 43 1 - 0.0000 -
3336.90/3347.99 c 3348 36266 45 1 - 0.0000 -
3342.48/3353.55 c 3354 36323 44 1 - 0.0000 -
3348.36/3359.47 c 3359 36374 45 1 - 0.0000 -
3353.74/3364.88 c 3365 36441 44 1 - 0.0000 -
3359.32/3370.43 c 3370 36493 46 1 - 0.0000 -
3364.60/3375.74 c 3376 36544 43 1 - 0.0000 -
3370.00/3381.14 c 3381 36590 43 1 - 0.0000 -
3375.37/3386.54 c 3387 36645 44 1 - 0.0000 -
3380.75/3391.97 c 3392 36712 45 1 - 0.0000 -
3386.74/3397.94 c 3398 36755 44 1 - 0.0000 -
3392.12/3403.34 c 3403 36811 44 1 - 0.0000 -
3397.91/3409.16 c 3409 36859 42 1 - 0.0000 -
3403.38/3414.66 c 3415 36892 43 1 - 0.0000 -
3408.88/3420.19 c 3420 36957 42 1 - 0.0000 -
3414.16/3425.45 c 3425 36981 42 1 - 0.0000 -
3419.75/3431.01 c 3431 37024 43 1 - 0.0000 -
3425.22/3436.50 c 3436 37065 42 1 - 0.0000 -
3430.82/3442.15 c 3442 37125 42 1 - 0.0000 -
3436.29/3447.60 c 3448 37186 43 1 - 0.0000 -
3442.17/3453.52 c 3454 37237 42 1 - 0.0000 -
3447.45/3458.84 c 3459 37288 43 1 - 0.0000 -
3452.65/3464.01 c 3464 37342 41 1 - 0.0000 -
3458.22/3469.61 c 3470 37401 42 1 - 0.0000 -
3463.50/3474.98 c 3475 37465 40 1 - 0.0000 -
3469.37/3480.80 c 3481 37497 42 1 - 0.0000 -
3475.25/3486.75 c 3487 37541 42 1 - 0.0000 -
3480.83/3492.32 c 3492 37588 41 1 - 0.0000 -
3486.71/3498.27 c 3498 37635 40 1 - 0.0000 -
3492.60/3504.18 c 3504 37675 40 1 - 0.0000 -
3498.07/3509.61 c 3510 37746 41 1 - 0.0000 -
3503.35/3514.99 c 3515 37797 41 1 - 0.0000 -
3508.62/3520.28 c 3520 37856 40 1 - 0.0000 -
3513.81/3525.46 c 3525 37921 41 1 - 0.0000 -
3519.28/3530.97 c 3531 37969 39 1 - 0.0000 -
3524.48/3536.17 c 3536 38046 40 1 - 0.0000 -
3529.94/3541.69 c 3542 38096 40 1 - 0.0000 -
3535.33/3547.03 c 3547 38166 40 1 - 0.0000 -
3541.20/3552.95 c 3553 38228 44 1 - 0.0000 -
3546.58/3558.37 c 3558 38307 43 1 - 0.0000 -
3551.96/3563.76 c 3564 38368 40 1 - 0.0000 -
3557.44/3569.22 c 3569 38434 42 1 - 0.0000 -
3562.82/3574.66 c 3575 38493 41 1 - 0.0000 -
3568.40/3580.23 c 3580 38560 40 1 - 0.0000 -
3573.89/3585.71 c 3586 38624 42 1 - 0.0000 -
3579.76/3591.65 c 3592 38680 40 1 - 0.0000 -
3585.04/3596.95 c 3597 38751 43 1 - 0.0000 -
3586.15/3598.03 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.15/3598.03 c Total Time : 3598.0300
3586.15/3598.03 c solving : 3598.0300
3586.15/3598.03 c presolving : 3.8870 (included in solving)
3586.15/3598.03 c B&B Tree :
3586.15/3598.03 c nodes (total) : 1
3586.15/3598.03 c Solution :
3586.15/3598.03 c Solutions found : 0
3586.15/3598.03 c Primal Bound : -
3586.15/3598.03 c Dual Bound : +0.00000000000000e+00
3586.15/3598.03 c Gap : -
3586.15/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: 64096 MiB (63507 MiB free)
memory of node 1: 64473 MiB (48878 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464467-1722385794/watcher-4464467-1722385794 -o /tmp/evaluation-result-4464467-1722385794/solver-4464467-1722385794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28007 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464467-1722385794.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=32505, runsolver pid=32502
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 4.16 4.27 4.20 5/248 32506
/proc/meminfo: memFree=115061256/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=45476 memory=34592 CPUtime=0.1 cores=0,2
/proc/32505/stat : 32505 (fscip) R 32502 32505 27997 0 -1 4194304 6616 0 0 0 9 1 0 0 20 0 1 0 4949787 46567424 8648 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 11369 8648 2662 3035 0 7765 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45476 KiB
Current children cumulated memory: 34592 KiB
[startup+0.212841 s]*
/proc/loadavg: 4.16 4.27 4.20 5/248 32506
/proc/meminfo: memFree=115057896/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=45476 memory=34592 CPUtime=0.21 cores=0,2
/proc/32505/stat : 32505 (fscip) R 32502 32505 27997 0 -1 4194304 6620 0 0 0 20 1 0 0 20 0 1 0 4949787 46567424 8648 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 11369 8648 2662 3035 0 7765 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 45476 KiB
Current children cumulated memory: 34592 KiB
[startup+0.31139 s]*
/proc/loadavg: 4.16 4.27 4.20 5/248 32506
/proc/meminfo: memFree=115055768/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=45476 memory=34592 CPUtime=0.31 cores=0,2
/proc/32505/stat : 32505 (fscip) R 32502 32505 27997 0 -1 4194304 6620 0 0 0 30 1 0 0 20 0 1 0 4949787 46567424 8648 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 11369 8648 2662 3035 0 7765 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45476 KiB
Current children cumulated memory: 34592 KiB
[startup+0.700287 s]
/proc/loadavg: 4.16 4.27 4.20 5/248 32506
/proc/meminfo: memFree=115045072/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=46832 memory=36092 CPUtime=0.68 cores=0,2
/proc/32505/stat : 32505 (fscip) R 32502 32505 27997 0 -1 4194304 7178 0 0 0 67 1 0 0 20 0 1 0 4949787 47955968 9023 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 11708 9023 2710 3035 0 8104 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46832 KiB
Current children cumulated memory: 36092 KiB
[startup+1.50037 s]
/proc/loadavg: 4.16 4.27 4.20 5/248 32506
/proc/meminfo: memFree=115033404/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=58040 memory=46124 CPUtime=1.48 cores=0,2
/proc/32505/stat : 32505 (fscip) R 32502 32505 27997 0 -1 4194304 9669 0 0 0 146 2 0 0 20 0 1 0 4949787 59432960 11531 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 14510 11531 2758 3035 0 10906 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58040 KiB
Current children cumulated memory: 46124 KiB
[startup+3.11337 s]
/proc/loadavg: 4.15 4.27 4.19 5/248 32506
/proc/meminfo: memFree=115030276/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=59580 memory=47444 CPUtime=3.09 cores=0,2
/proc/32505/stat : 32505 (fscip) R 32502 32505 27997 0 -1 4194304 10023 0 0 0 307 2 0 0 20 0 1 0 4949787 61009920 11861 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 14895 11861 2758 3035 0 11291 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 59580 KiB
Current children cumulated memory: 47444 KiB
[startup+6.30035 s]
/proc/loadavg: 4.15 4.27 4.19 5/252 32512
/proc/meminfo: memFree=114899060/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=180616 memory=108624 CPUtime=6.23 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 29866 0 0 0 617 6 0 0 20 0 3 0 4949787 184950784 27156 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 45154 27156 2950 3035 0 33837 0
[pid=32505/tid=32509] ppid=32502 vsize=180616 memory=1559 CPUtime=2.3 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 14233 0 0 0 227 3 0 0 20 0 3 0 4950181 184950784 27156 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=180616 memory=11536 CPUtime=0 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4950184 184950784 27156 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 180616 KiB
Current children cumulated memory: 108624 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.27 4.19 5/252 32608
/proc/meminfo: memFree=115099596/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=180616 memory=110504 CPUtime=12.59 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 33790 0 0 0 1253 6 0 0 20 0 3 0 4949787 184950784 27626 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 45154 27626 2966 3035 0 34208 0
[pid=32505/tid=32509] ppid=32502 vsize=180616 memory=110300 CPUtime=8.65 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 18144 0 0 0 862 3 0 0 20 0 3 0 4950181 184950784 27626 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=180616 memory=110300 CPUtime=0 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4950184 184950784 27626 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 180616 KiB
Current children cumulated memory: 110504 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.25 4.19 5/252 32611
/proc/meminfo: memFree=115014088/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=248572 memory=154648 CPUtime=25.35 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 74439 0 0 0 2525 10 0 0 20 0 3 0 4949787 254537728 38662 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 62143 38662 2982 3035 0 45261 0
[pid=32505/tid=32509] ppid=32502 vsize=248572 memory=153044 CPUtime=21.41 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 58785 0 0 0 2134 7 0 0 20 0 3 0 4950181 254537728 38662 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=248572 memory=11536 CPUtime=0 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4950184 254537728 38662 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 248572 KiB
Current children cumulated memory: 154648 KiB
[startup+51.1129 s]
/proc/loadavg: 4.07 4.23 4.18 5/256 32674
/proc/meminfo: memFree=114995528/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=248572 memory=155092 CPUtime=50.88 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 114053 0 0 0 5075 13 0 0 20 0 3 0 4949787 254537728 38773 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 62143 38773 3030 3035 0 46114 0
[pid=32505/tid=32509] ppid=32502 vsize=248572 memory=155092 CPUtime=46.94 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 98292 0 0 0 4684 10 0 0 20 0 3 0 4950181 254537728 38773 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=248572 memory=140464221407889 CPUtime=0 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 4950184 254537728 38773 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 248572 KiB
Current children cumulated memory: 155092 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.24 4.19 5/254 32730
/proc/meminfo: memFree=115053104/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=248572 memory=158528 CPUtime=101.9 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 154837 0 0 0 10174 16 0 0 20 0 3 0 4949787 254537728 39632 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 62143 39632 3030 3035 0 46916 0
[pid=32505/tid=32509] ppid=32502 vsize=248572 memory=11536 CPUtime=97.95 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 138954 0 0 0 9783 12 0 0 20 0 3 0 4950181 254537728 39632 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=248572 memory=1888 CPUtime=0 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4950184 254537728 39632 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 248572 KiB
Current children cumulated memory: 158528 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.21 4.18 5/254 32741
/proc/meminfo: memFree=114960628/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=248572 memory=168720 CPUtime=161.66 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 191339 0 0 0 16146 20 0 0 20 0 3 0 4949787 254537728 42180 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 62143 42180 3030 3035 0 49837 0
[pid=32505/tid=32509] ppid=32502 vsize=248572 memory=16320 CPUtime=157.72 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 175365 0 0 0 15755 17 0 0 20 0 3 0 4950181 254537728 42180 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=248572 memory=160972 CPUtime=0 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 4950184 254537728 42180 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 248572 KiB
Current children cumulated memory: 168720 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/254 32752
/proc/meminfo: memFree=114881356/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=247176 memory=180716 CPUtime=221.47 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 224071 0 0 0 22124 23 0 0 20 0 3 0 4949787 253108224 45179 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 61794 45179 3030 3035 0 52746 0
[pid=32505/tid=32509] ppid=32502 vsize=247176 memory=177572 CPUtime=217.52 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 208021 0 0 0 21733 19 0 0 20 0 3 0 4950181 253108224 45179 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=247176 memory=180716 CPUtime=0 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 4950184 253108224 45179 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 247176 KiB
Current children cumulated memory: 180716 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.18 4.17 5/254 32762
/proc/meminfo: memFree=114816976/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=247176 memory=180776 CPUtime=281.27 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 236030 0 0 0 28103 24 0 0 20 0 3 0 4949787 253108224 45194 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 61794 45194 3030 3035 0 52746 0
[pid=32505/tid=32509] ppid=32502 vsize=247176 memory=180776 CPUtime=277.31 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 219930 0 0 0 27711 20 0 0 20 0 3 0 4950181 253108224 45194 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
################
# More data... #
################
/proc/32505/statm: 78178 56855 3030 3035 0 59567 0
[pid=32505/tid=32509] ppid=32502 vsize=312712 memory=227420 CPUtime=3386.88 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 307452 0 0 0 338648 40 0 0 20 0 3 0 4950181 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=312712 memory=11536 CPUtime=0.04 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 168 0 0 0 1 3 0 0 20 0 3 0 4950184 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 3391.12 s
Current children cumulated vsize: 312712 KiB
Current children cumulated memory: 227420 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.11 5/252 34382
/proc/meminfo: memFree=126501928/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=312712 memory=227420 CPUtime=3450.94 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 325250 0 0 0 345036 58 0 0 20 0 3 0 4949787 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 78178 56855 3030 3035 0 59567 0
[pid=32505/tid=32509] ppid=32502 vsize=312712 memory=227420 CPUtime=3446.7 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 307892 0 0 0 344629 41 0 0 20 0 3 0 4950181 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=312712 memory=11536 CPUtime=0.05 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 174 0 0 0 1 4 0 0 20 0 3 0 4950184 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 3450.94 s
Current children cumulated vsize: 312712 KiB
Current children cumulated memory: 227420 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.10 5/255 34566
/proc/meminfo: memFree=126482884/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=312712 memory=227420 CPUtime=3510.72 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 325686 0 0 0 351014 58 0 0 20 0 3 0 4949787 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 78178 56855 3030 3035 0 59567 0
[pid=32505/tid=32509] ppid=32502 vsize=312712 memory=11536 CPUtime=3506.47 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 308303 0 0 0 350606 41 0 0 20 0 3 0 4950181 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=312712 memory=227420 CPUtime=0.05 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 176 0 0 0 1 4 0 0 20 0 3 0 4950184 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 3510.72 s
Current children cumulated vsize: 312712 KiB
Current children cumulated memory: 227420 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/255 34577
/proc/meminfo: memFree=126465380/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=312712 memory=227420 CPUtime=3570.49 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 326137 0 0 0 356991 58 0 0 20 0 3 0 4949787 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 78178 56855 3030 3035 0 59567 0
[pid=32505/tid=32509] ppid=32502 vsize=312712 memory=227420 CPUtime=3566.24 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 308730 0 0 0 356583 41 0 0 20 0 3 0 4950181 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=312712 memory=227420 CPUtime=0.05 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 178 0 0 0 1 4 0 0 20 0 3 0 4950184 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 3570.49 s
Current children cumulated vsize: 312712 KiB
Current children cumulated memory: 227420 KiB
[startup+3598.07 s]
# the end of solver process 32505 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.61 s, system=0.599704 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.18 4.13 4.10 5/255 34579
/proc/meminfo: memFree=126464820/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=312712 memory=227420 CPUtime=3572.2 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 326141 0 0 0 357161 59 0 0 20 0 3 0 4949787 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 78178 56855 3030 3035 0 59567 0
[pid=32505/tid=32509] ppid=32502 vsize=312712 memory=4696 CPUtime=3567.94 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 308734 0 0 0 356753 41 0 0 20 0 3 0 4950181 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=312712 memory=7924 CPUtime=0.05 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 178 0 0 0 1 4 0 0 20 0 3 0 4950184 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 3572.2 s
Current children cumulated vsize: 312712 KiB
Current children cumulated memory: 227420 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.12 4.10 5/255 34579
/proc/meminfo: memFree=126461516/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=312712 memory=227420 CPUtime=3578.57 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 326150 0 0 0 357798 59 0 0 20 0 3 0 4949787 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 78178 56855 3030 3035 0 59567 0
[pid=32505/tid=32509] ppid=32502 vsize=312712 memory=-7307771561947260032 CPUtime=3574.31 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 308742 0 0 0 357390 41 0 0 20 0 3 0 4950181 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=312712 memory=6083630183735649896 CPUtime=0.05 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 178 0 0 0 1 4 0 0 20 0 3 0 4950184 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 3578.57 s
Current children cumulated vsize: 312712 KiB
Current children cumulated memory: 227420 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.12 4.10 5/255 34580
/proc/meminfo: memFree=126460380/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=312712 memory=227420 CPUtime=3581.75 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 326159 0 0 0 358116 59 0 0 20 0 3 0 4949787 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 78178 56855 3030 3035 0 59567 0
[pid=32505/tid=32509] ppid=32502 vsize=312712 memory=227420 CPUtime=3577.5 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 308751 0 0 0 357709 41 0 0 20 0 3 0 4950181 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=312712 memory=227420 CPUtime=0.05 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 178 0 0 0 1 4 0 0 20 0 3 0 4950184 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 3581.75 s
Current children cumulated vsize: 312712 KiB
Current children cumulated memory: 227420 KiB
[startup+3595.2 s]
/proc/loadavg: 4.15 4.12 4.10 5/255 34581
/proc/meminfo: memFree=126459428/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=312712 memory=227420 CPUtime=3583.35 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 326159 0 0 0 358276 59 0 0 20 0 3 0 4949787 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 78178 56855 3030 3035 0 59567 0
[pid=32505/tid=32509] ppid=32502 vsize=312712 memory=227420 CPUtime=3579.09 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 308751 0 0 0 357868 41 0 0 20 0 3 0 4950181 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=312712 memory=11536 CPUtime=0.05 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 178 0 0 0 1 4 0 0 20 0 3 0 4950184 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 3583.35 s
Current children cumulated vsize: 312712 KiB
Current children cumulated memory: 227420 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.12 4.10 5/255 34581
/proc/meminfo: memFree=126459396/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=312712 memory=227420 CPUtime=3584.94 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 326161 0 0 0 358435 59 0 0 20 0 3 0 4949787 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 78178 56855 3030 3035 0 59567 0
[pid=32505/tid=32509] ppid=32502 vsize=312712 memory=12856 CPUtime=3580.68 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 308752 0 0 0 358027 41 0 0 20 0 3 0 4950181 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=312712 memory=16320 CPUtime=0.05 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 178 0 0 0 1 4 0 0 20 0 3 0 4950184 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 3584.94 s
Current children cumulated vsize: 312712 KiB
Current children cumulated memory: 227420 KiB
[startup+3597.6 s]
/proc/loadavg: 4.15 4.12 4.10 5/255 34581
/proc/meminfo: memFree=126459412/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=312712 memory=227420 CPUtime=3585.74 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 326161 0 0 0 358515 59 0 0 20 0 3 0 4949787 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 78178 56855 3030 3035 0 59567 0
[pid=32505/tid=32509] ppid=32502 vsize=312712 memory=11536 CPUtime=3581.48 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 308752 0 0 0 358107 41 0 0 20 0 3 0 4950181 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=312712 memory=5496 CPUtime=0.05 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 178 0 0 0 1 4 0 0 20 0 3 0 4950184 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 3585.74 s
Current children cumulated vsize: 312712 KiB
Current children cumulated memory: 227420 KiB
[startup+3598 s]*
/proc/loadavg: 4.14 4.12 4.10 4/251 34581
/proc/meminfo: memFree=126713004/131655788 swapFree=131071728/131071996
[pid=32505] ppid=32502 vsize=312712 memory=227420 CPUtime=3586.15 cores=0,2
/proc/32505/stat : 32505 (fscip) S 32502 32505 27997 0 -1 1077936128 326162 0 0 0 358556 59 0 0 20 0 3 0 4949787 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
/proc/32505/statm: 78178 56855 3030 3035 0 59567 0
[pid=32505/tid=32509] ppid=32502 vsize=312712 memory=35684 CPUtime=3581.89 cores=0,2
/proc/32505/task/32509/stat : 32509 (fscip) R 32502 32505 27997 0 -1 4194368 308752 0 0 0 358148 41 0 0 20 0 3 0 4950181 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
[pid=32505/tid=32510] ppid=32502 vsize=312712 memory=18368 CPUtime=0.05 cores=0,2
/proc/32505/task/32510/stat : 32510 (fscip) S 32502 32505 27997 0 -1 1077936192 178 0 0 0 1 4 0 0 20 0 3 0 4950184 320217088 56855 134679101440 4194304 16623229 140724913535968 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 56811520 140724913542166 140724913542282 140724913542282 140724913549296 0
Current children cumulated CPU time: 3586.15 s
Current children cumulated vsize: 312712 KiB
Current children cumulated memory: 227420 KiB
Child status: 0
Real time (s): 3598.07
CPU time (s): 3586.21
CPU user time (s): 3585.61
CPU system time (s): 0.599704
CPU usage (%): 99.6705
Max. virtual memory (cumulated for all children) (KiB): 312712
Max. memory (cumulated for all children) (KiB): 227420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.61
system time used= 0.599704
maximum resident set size= 227420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327236
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= 10287
involuntary context switches= 25109
# summary of solver processes directly reported to runsolver:
# pid: 32505
# total CPU time (s): 3586.21
# total CPU user time (s): 3585.61
# total CPU system time (s): 0.599704
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7375 second user time and 32.3973 second system time
The end
Begin job on nodeC011 at 2024-07-31 02:29:54
IDJOB=4464467
IDBENCH=158383
IDSOLVER=3092
FILE ID=nodeC011/4464467-1722385794
RUNJOBID= nodeC011-1722378594-28007
SLURM_JOB_ID= 8249841
Free space on /tmp= 723600 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K68.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-4464467-1722385794/watcher-4464467-1722385794 -o /tmp/evaluation-result-4464467-1722385794/solver-4464467-1722385794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28007 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464467-1722385794.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 903b294a72b72fbd6778e100307d5973
RANDOM SEED=99795441
nodeC011.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 : 0xb00001f
cpu MHz : 3392.061
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28
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 : 0xb00001f
cpu MHz : 3491.640
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.29
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 : 0xb00001f
cpu MHz : 1198.953
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28
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 : 0xb00001f
cpu MHz : 1197.254
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.29
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 : 0xb00001f
cpu MHz : 3447.084
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28
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 : 0xb00001f
cpu MHz : 3546.003
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.29
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 : 0xb00001f
cpu MHz : 1197.159
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.28
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 : 0xb00001f
cpu MHz : 1197.154
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 115085660 kB
MemAvailable: 116248208 kB
Buffers: 98872 kB
Cached: 1906264 kB
SwapCached: 12 kB
Active: 365908 kB
Inactive: 15741768 kB
Active(anon): 1940 kB
Inactive(anon): 14130428 kB
Active(file): 363968 kB
Inactive(file): 1611340 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 56072 kB
Writeback: 0 kB
AnonPages: 14097404 kB
Mapped: 126604 kB
Shmem: 29468 kB
KReclaimable: 54876 kB
Slab: 131488 kB
SReclaimable: 54876 kB
SUnreclaim: 76612 kB
KernelStack: 3912 kB
PageTables: 37032 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 9660764 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6912 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6289408 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: 156488 kB
DirectMap2M: 9185280 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC011 at 2024-07-31 03:29:53