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.60/0.63 c Default LC presolving (default).
0.60/0.64 c ** Before presolving: virtualMemUsedAtLc = 195143782, getVmSize() = 175648768, SCIPgetMemUsed() = 87587340, SCIPgetMemTotal() = 150627212, SCIPgetMemExternEstim() = 44516570
0.60/0.64 c ** set memory limit for presolving in LC to 8.79603e+12 for SCIP **
2.38/2.43 c ** Estimated virtualMemUsedAtSolver = 267450444, getVmSize() = 381632512, SCIPgetMemUsed() = 219194512, SCIPgetMemTotal() = 356659096, SCIPgetMemExternEstim() = 44516570
2.38/2.43 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
2.38/2.43 c Original Problem :
2.38/2.43 c Problem name : instance-4434679-1721099131
2.38/2.43 c Variables : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
2.38/2.43 c Constraints : 17459
2.38/2.43 c Objective sense : minimize
2.38/2.43 c Presolved Problem :
2.38/2.43 c Variables : 8883 (8883 binary, 0 integer, 0 implicit integer, 0 continuous)
2.38/2.43 c Constraints : 10391
2.38/2.43 c Constraints : Number
2.38/2.43 c knapsack : 323
2.38/2.43 c setppc : 1500
2.38/2.43 c linear : 8568
2.38/2.43 c ** Instance transfer method used: 0
2.38/2.47 c ** ParaScipInstance copy does not increase the number of variables. **
2.49/2.56 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.49/2.56 c Nodes Active
2.49/2.56 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
17.11/17.21 c 17 2 1 1 - 17.0000 -
33.37/33.56 c 34 17 16 1 - 17.0000 -
39.56/39.71 c 40 34 29 1 - 17.0000 -
45.04/45.25 c 45 61 56 1 - 17.0000 -
50.93/51.15 c 51 81 70 1 - 17.0000 -
56.10/56.37 c 56 99 86 1 - 17.0000 -
62.09/62.38 c 62 125 108 1 - 17.0000 -
67.58/67.89 c 68 153 134 1 - 17.0000 -
73.87/74.18 c 74 170 150 1 - 17.0000 -
79.55/79.87 c 80 207 185 1 - 17.0000 -
85.13/85.47 c 85 272 237 1 - 17.0000 -
90.83/91.19 c 91 330 279 1 - 17.0000 -
96.60/96.93 c 97 396 302 1 - 18.0000 -
102.19/102.54 c 103 454 340 1 - 18.0000 -
107.87/108.25 c 108 568 396 1 - 18.0000 -
113.56/113.94 c 114 686 388 1 - 18.0000 -
118.75/119.17 c 119 731 424 1 - 18.0000 -
124.32/124.78 c 125 786 469 1 - 18.0000 -
129.90/130.39 c 130 852 523 1 - 18.0000 -
135.19/135.65 c 136 922 562 1 - 18.0000 -
141.06/141.50 c 142 1002 612 1 - 18.0000 -
150.14/150.60 c 151 1029 1 1 - 18.0000 -
156.02/156.54 c 157 1074 46 1 - 18.0000 -
162.00/162.56 c 163 1101 71 1 - 18.0000 -
167.60/168.18 c 168 1140 110 1 - 18.0000 -
172.77/173.36 c 173 1166 132 1 - 18.0000 -
178.65/179.26 c 179 1194 160 1 - 18.0000 -
184.04/184.63 c 185 1222 188 1 - 18.0000 -
190.02/190.67 c 191 1251 215 1 - 18.0000 -
196.10/196.70 c 197 1289 249 1 - 18.0000 -
201.58/202.22 c 202 1322 280 1 - 18.0000 -
207.57/208.25 c 208 1349 303 1 - 18.0000 -
213.04/213.77 c 214 1382 328 1 - 18.0000 -
219.13/219.81 c 220 1417 355 1 - 18.0000 -
224.81/225.50 c 226 1458 388 1 - 18.0000 -
230.01/230.73 c 231 1513 430 1 - 18.0000 -
235.99/236.75 c 237 1576 460 1 - 18.0000 -
241.39/242.16 c 242 1610 492 1 - 18.0000 -
246.86/247.61 c 248 1654 530 1 - 18.0000 -
254.05/254.84 c 255 1686 550 1 - 18.0000 -
259.73/260.57 c 261 1734 588 1 - 18.0000 -
266.02/266.80 c 267 1816 636 1 - 18.0000 -
271.60/272.45 c 272 1860 676 1 - 18.0000 -
277.09/277.98 c 278 1916 702 1 - 18.0000 -
282.97/283.83 c 284 1967 734 1 - 18.0000 -
288.27/289.17 c 289 1996 763 1 - 18.0000 -
293.75/294.68 c 295 2042 793 1 - 18.0000 -
303.72/304.63 c 305 2043 794 1 - 18.0000 -
309.31/310.21 c 310 2100 815 1 - 19.0000 -
315.29/316.25 c 316 2157 842 1 - 19.0000 -
320.78/321.70 c 322 2201 861 1 - 19.0000 -
326.46/327.41 c 327 2268 895 1 - 23.0000 -
332.05/333.01 c 333 2345 938 1 - 23.0000 -
337.24/338.29 c 338 2436 992 1 - 23.0000 -
342.72/343.74 c 344 2605 1030 1 - 23.0000 -
348.50/349.58 c 350 2702 1050 1 - 23.0000 -
353.89/354.99 c 355 2801 1088 1 - 23.0000 -
359.67/360.73 c 361 2938 1088 1 - 24.0000 -
365.35/366.40 c 366 3056 1085 1 - 24.0000 -
371.74/372.81 c 373 3113 1128 1 - 24.0000 -
377.42/378.50 c 378 3182 1163 1 - 24.0000 -
382.51/383.61 c 384 3249 1161 1 - 25.0000 -
387.80/388.92 c 389 3336 1174 1 - 25.0000 -
393.00/394.13 c 394 3444 1175 1 - 25.0000 -
397.98/399.16 c 399 3480 1191 1 - 25.0000 -
403.66/404.80 c 405 3582 1210 1 - 25.0000 -
409.55/410.79 c 411 3673 1220 1 - 25.0000 -
415.33/416.53 c 417 3715 1233 1 - 25.0000 -
420.51/421.78 c 422 3784 1237 1 - 25.0000 -
427.10/428.35 c 428 3837 1249 1 - 25.0000 -
432.58/433.82 c 434 3918 1283 1 - 25.0000 -
438.17/439.44 c 439 3985 1303 1 - 25.0000 -
443.87/445.16 c 445 4056 1322 1 - 25.0000 -
449.25/450.55 c 451 4140 1314 1 - 25.0000 -
455.33/456.69 c 457 4256 1324 1 - 26.0000 -
461.41/462.70 c 463 4330 1339 1 - 26.0000 -
466.40/467.78 c 468 4391 1343 1 - 26.0000 -
476.69/478.02 c 478 4415 1360 1 - 26.0000 -
482.26/483.62 c 484 4503 1384 1 - 26.0000 -
488.35/489.77 c 490 4584 1427 1 - 26.0000 -
493.75/495.13 c 495 4669 1450 1 - 26.0000 -
499.12/500.58 c 501 4745 1481 1 - 26.0000 -
504.40/505.89 c 506 4812 1505 1 - 26.0000 -
509.79/511.29 c 511 4864 1522 1 - 26.0000 -
515.08/516.55 c 517 4928 1540 1 - 26.0000 -
520.97/522.41 c 522 4989 1568 1 - 27.0000 -
528.44/529.91 c 530 5009 1577 1 - 27.0000 -
533.44/534.94 c 535 5083 1591 1 - 27.0000 -
539.92/541.46 c 541 5174 1595 1 - 27.0000 -
545.90/547.46 c 547 5276 1612 1 - 27.0000 -
551.38/552.93 c 553 5352 1614 1 - 27.0000 -
556.67/558.24 c 558 5448 1617 1 - 27.0000 -
561.96/563.57 c 564 5559 1614 1 - 27.0000 -
567.35/568.93 c 569 5636 1637 1 - 27.0000 -
573.13/574.73 c 575 5711 1664 1 - 27.0000 -
578.32/580.01 c 580 5789 1687 1 - 27.0000 -
584.69/586.33 c 586 5883 1697 1 - 27.0000 -
590.49/592.19 c 592 5973 1718 1 - 27.0000 -
596.26/597.96 c 598 6084 1721 1 - 27.0000 -
602.16/603.81 c 604 6170 1731 1 - 27.0000 -
607.35/609.07 c 609 6261 1748 1 - 27.0000 -
612.53/614.22 c 614 6359 1756 1 - 28.0000 -
618.11/619.83 c 620 6412 1782 1 - 28.0000 -
624.20/625.96 c 626 6462 1815 1 - 28.0000 -
630.08/631.81 c 632 6511 1840 1 - 28.0000 -
635.08/636.85 c 637 6567 1868 1 - 28.0000 -
640.76/642.51 c 643 6629 1896 1 - 28.0000 -
646.05/647.83 c 648 6711 1923 1 - 28.0000 -
653.82/655.63 c 656 6746 1943 1 - 28.0000 -
659.51/661.35 c 661 6817 1984 1 - 28.0000 -
664.80/666.66 c 667 6874 2008 1 - 28.0000 -
670.39/672.22 c 672 6981 2032 1 - 28.0000 -
675.37/677.28 c 677 7023 2066 1 - 28.0000 -
680.86/682.77 c 683 7088 2098 1 - 28.0000 -
686.84/688.70 c 689 7140 2137 1 - 28.0000 -
692.63/694.57 c 695 7209 2185 1 - 28.0000 -
697.72/699.66 c 700 7264 2210 1 - 28.0000 -
703.61/705.59 c 706 7344 2219 1 - 28.0000 -
708.99/711.01 c 711 7419 2266 1 - 28.0000 -
714.28/716.26 c 716 7463 2295 1 - 28.0000 -
720.08/722.05 c 722 7525 2321 1 - 28.0000 -
725.65/727.61 c 728 7578 2366 1 - 28.0000 -
731.54/733.57 c 734 7636 2412 1 - 28.0000 -
737.03/739.06 c 739 7673 2425 1 - 28.0000 -
742.91/744.94 c 745 7710 2440 1 - 28.0000 -
748.39/750.43 c 750 7750 2466 1 - 28.0000 -
754.87/756.99 c 757 7780 2492 1 - 28.0000 -
760.65/762.78 c 763 7807 2516 1 - 28.0000 -
766.35/768.43 c 768 7869 2539 1 - 28.0000 -
772.13/774.28 c 774 7900 2566 1 - 28.0000 -
784.91/787.05 c 787 7943 2588 1 - 28.0000 -
791.48/793.61 c 794 8010 2623 1 - 28.0000 -
797.07/799.27 c 799 8072 2642 1 - 28.0000 -
802.75/804.96 c 805 8152 2666 1 - 28.0000 -
807.85/810.05 c 810 8188 2690 1 - 28.0000 -
813.43/815.68 c 816 8260 2698 1 - 28.0000 -
819.51/821.75 c 822 8314 2713 1 - 28.0000 -
824.81/827.02 c 827 8383 2722 1 - 28.0000 -
830.28/832.50 c 832 8442 2764 1 - 28.0000 -
835.37/837.60 c 838 8499 2794 1 - 28.4000 -
840.36/842.69 c 843 8567 2809 1 - 28.5000 -
845.55/847.81 c 848 8649 2826 1 - 29.0000 -
850.75/853.08 c 853 8740 2844 1 - 29.0000 -
855.92/858.26 c 858 8793 2864 1 - 29.0000 -
861.41/863.79 c 864 8869 2896 1 - 29.0000 -
867.20/869.58 c 870 8942 2914 1 - 29.0000 -
872.98/875.37 c 875 9044 2926 1 - 29.0000 -
878.56/880.98 c 881 9099 2950 1 - 29.0000 -
883.76/886.13 c 886 9169 2973 1 - 29.0000 -
889.24/891.66 c 892 9240 3011 1 - 29.0000 -
895.82/898.23 c 898 9293 3011 1 - 29.0000 -
901.21/903.63 c 904 9364 3030 1 - 29.0000 -
906.39/908.85 c 909 9468 3054 1 - 29.0000 -
912.08/914.55 c 915 9572 3052 1 - 29.0000 -
918.17/920.66 c 921 9648 3087 1 - 29.0000 -
924.15/926.66 c 927 9755 3066 1 - 29.0000 -
929.54/932.09 c 932 9847 3080 1 - 29.0000 -
934.72/937.23 c 937 9896 3110 1 - 30.0000 -
940.21/942.75 c 943 9958 3142 1 - 30.0000 -
945.70/948.26 c 948 10031 3158 1 - 30.0000 -
950.98/953.51 c 954 10134 3151 1 - 30.0000 -
956.07/958.67 c 959 10251 3151 1 - 30.0000 -
961.46/964.09 c 964 10335 3170 1 - 30.0000 -
966.73/969.33 c 969 10457 3183 1 - 30.0000 -
971.83/974.43 c 974 10573 3189 1 - 30.0000 -
977.81/980.47 c 980 10673 3205 1 - 30.0000 -
983.70/986.32 c 986 10761 3229 1 - 30.0000 -
989.49/992.14 c 992 10872 3242 1 - 30.0000 -
994.97/997.63 c 998 10939 3260 1 - 30.0000 -
1000.47/1003.15 c 1003 10994 3279 1 - 30.0000 -
1005.54/1008.23 c 1008 11037 3281 1 - 30.0000 -
1010.83/1013.50 c 1014 11106 3292 1 - 30.0000 -
1015.81/1018.57 c 1019 11151 3294 1 - 30.0000 -
1021.41/1024.15 c 1024 11239 3291 1 - 30.0000 -
1026.98/1029.77 c 1030 11328 3302 1 - 30.0000 -
1032.57/1035.30 c 1035 11429 3309 1 - 30.0000 -
1038.46/1041.24 c 1041 11528 3331 1 - 30.0000 -
1044.44/1047.20 c 1047 11598 3336 1 - 30.0000 -
1049.63/1052.43 c 1052 11688 3348 1 - 30.0000 -
1054.92/1057.75 c 1058 11760 3374 1 - 30.0000 -
1060.22/1063.08 c 1063 11851 3382 1 - 30.0000 -
1065.59/1068.43 c 1068 11979 3375 1 - 30.0000 -
1071.07/1073.94 c 1074 12101 3363 1 - 30.0000 -
1076.36/1079.28 c 1079 12212 3360 1 - 30.0000 -
1081.96/1084.80 c 1085 12305 3380 1 - 30.0000 -
1087.25/1090.15 c 1090 12377 3387 1 - 30.0000 -
1093.02/1095.96 c 1096 12460 3368 1 - 30.0000 -
1098.90/1101.87 c 1102 12535 3371 1 - 30.0000 -
1104.80/1107.78 c 1108 12597 3393 1 - 30.0000 -
1109.98/1112.96 c 1113 12667 3394 1 - 30.0000 -
1115.66/1118.67 c 1119 12712 3416 1 - 30.0000 -
1121.54/1124.58 c 1125 12797 3428 1 - 30.0000 -
1127.33/1130.37 c 1130 12899 3440 1 - 30.0000 -
1133.12/1136.18 c 1136 12950 3452 1 - 30.0000 -
1138.49/1141.50 c 1142 13038 3455 1 - 30.0000 -
1143.77/1146.84 c 1147 13166 3452 1 - 30.0000 -
1148.96/1152.05 c 1152 13272 3467 1 - 30.0000 -
1154.54/1157.63 c 1158 13374 3482 1 - 30.0000 -
1159.62/1162.80 c 1163 13486 3491 1 - 30.0000 -
1165.70/1168.84 c 1169 13628 3483 1 - 30.0000 -
1175.17/1178.30 c 1178 13643 3485 1 - 30.0000 -
1180.35/1183.57 c 1184 13746 3491 1 - 30.0000 -
1185.64/1188.84 c 1189 13817 3515 1 - 30.0000 -
1191.03/1194.28 c 1194 13930 3511 1 - 30.0000 -
1197.01/1200.26 c 1200 14026 3524 1 - 30.0000 -
1202.98/1206.25 c 1206 14157 3525 1 - 30.0000 -
1208.57/1211.90 c 1212 14261 3531 1 - 30.0000 -
1213.76/1217.04 c 1217 14368 3528 1 - 30.5000 -
1219.34/1222.61 c 1223 14448 3544 1 - 31.0000 -
1224.32/1227.64 c 1228 14522 3544 1 - 31.0000 -
1229.83/1233.19 c 1233 14625 3543 1 - 31.0000 -
1235.40/1238.71 c 1239 14719 3556 1 - 31.0000 -
1241.09/1244.45 c 1244 14833 3578 1 - 31.0000 -
1246.07/1249.48 c 1249 14925 3596 1 - 31.0000 -
1252.36/1255.76 c 1256 15016 3620 1 - 31.0000 -
1257.85/1261.23 c 1261 15118 3631 1 - 31.0000 -
1263.93/1267.34 c 1267 15211 3638 1 - 31.0000 -
1269.21/1272.61 c 1273 15263 3675 1 - 31.0000 -
1275.19/1278.67 c 1279 15385 3665 1 - 31.0000 -
1280.38/1283.85 c 1284 15470 3688 1 - 31.0000 -
1285.68/1289.16 c 1289 15588 3675 1 - 31.0000 -
1290.85/1294.39 c 1294 15664 3692 1 - 31.0000 -
1297.04/1300.55 c 1301 15759 3698 1 - 31.0000 -
1302.32/1305.81 c 1306 15849 3709 1 - 31.0000 -
1307.62/1311.11 c 1311 15976 3710 1 - 31.0000 -
1313.09/1316.66 c 1317 16063 3696 1 - 31.0000 -
1318.28/1321.88 c 1322 16175 3705 1 - 31.0000 -
1323.76/1327.30 c 1327 16232 3737 1 - 31.0000 -
1329.25/1332.80 c 1333 16285 3772 1 - 31.0000 -
1335.74/1339.35 c 1339 16333 3806 1 - 31.0000 -
1340.83/1344.47 c 1344 16383 3805 1 - 31.0000 -
1345.91/1349.56 c 1350 16413 3833 1 - 31.0000 -
1351.10/1354.70 c 1355 16435 3853 1 - 31.0000 -
1356.68/1360.35 c 1360 16473 3878 1 - 31.0000 -
1362.66/1366.36 c 1366 16563 3899 1 - 31.0000 -
1368.06/1371.70 c 1372 16663 3904 1 - 31.0000 -
1373.74/1377.44 c 1377 16744 3914 1 - 31.0000 -
1378.93/1382.65 c 1383 16841 3917 1 - 31.0000 -
1384.71/1388.49 c 1388 16898 3930 1 - 31.0000 -
1390.70/1394.47 c 1394 16940 3958 1 - 31.0000 -
1396.29/1400.09 c 1400 16999 3981 1 - 31.0000 -
1401.68/1405.47 c 1405 17057 4004 1 - 31.0000 -
1407.65/1411.43 c 1411 17134 4030 1 - 31.0000 -
1412.73/1416.58 c 1417 17198 4035 1 - 31.0000 -
1418.42/1422.25 c 1422 17254 4046 1 - 31.0000 -
1424.50/1428.36 c 1428 17324 4069 1 - 31.0000 -
1434.18/1438.04 c 1438 17394 4093 1 - 31.0000 -
1439.26/1443.16 c 1443 17469 4111 1 - 31.0000 -
1444.25/1448.18 c 1448 17534 4133 1 - 31.3333 -
1449.53/1453.41 c 1453 17578 4137 1 - 31.3333 -
1455.41/1459.33 c 1459 17679 4127 1 - 32.0000 -
1460.39/1464.33 c 1464 17735 4141 1 - 32.0000 -
1469.86/1473.86 c 1474 17761 4150 1 - 32.0000 -
1475.16/1479.19 c 1479 17831 4163 1 - 32.0000 -
1480.83/1484.83 c 1485 17959 4165 1 - 32.0000 -
1486.01/1490.03 c 1490 18065 4179 1 - 32.0000 -
1491.39/1495.41 c 1495 18147 4185 1 - 32.0000 -
1496.98/1501.03 c 1501 18284 4165 1 - 32.0000 -
1502.26/1506.34 c 1506 18381 4158 1 - 32.0000 -
1507.44/1511.58 c 1512 18444 4169 1 - 32.0000 -
1512.94/1517.06 c 1517 18503 4183 1 - 32.0000 -
1519.03/1523.14 c 1523 18623 4172 1 - 32.0000 -
1524.80/1528.97 c 1529 18666 4199 1 - 32.0000 -
1530.69/1534.88 c 1535 18749 4225 1 - 32.0000 -
1536.67/1540.80 c 1541 18810 4251 1 - 32.0000 -
1541.88/1546.08 c 1546 18866 4274 1 - 32.0000 -
1547.75/1551.95 c 1552 18956 4305 1 - 32.0000 -
1553.33/1557.56 c 1558 18993 4313 1 - 32.0000 -
1559.03/1563.24 c 1563 19063 4335 1 - 32.0000 -
1564.71/1568.92 c 1569 19146 4342 1 - 32.0000 -
1570.29/1574.52 c 1575 19205 4365 1 - 32.0000 -
1575.58/1579.84 c 1580 19283 4386 1 - 32.0000 -
1581.46/1585.72 c 1586 19321 4411 1 - 32.0000 -
1587.25/1591.51 c 1592 19381 4423 1 - 32.0000 -
1592.85/1597.17 c 1597 19450 4430 1 - 32.0000 -
1599.22/1603.50 c 1604 19541 4455 1 - 32.0000 -
1604.40/1608.75 c 1609 19630 4479 1 - 32.0000 -
1609.90/1614.27 c 1614 19703 4496 1 - 32.0000 -
1615.48/1619.81 c 1620 19776 4508 1 - 32.0000 -
1620.78/1625.17 c 1625 19852 4536 1 - 32.0000 -
1626.25/1630.67 c 1631 19927 4560 1 - 32.0000 -
1631.65/1636.04 c 1636 20000 4566 1 - 32.0000 -
1637.43/1641.84 c 1642 20071 4591 1 - 32.0000 -
1642.91/1647.34 c 1647 20140 4605 1 - 32.0000 -
1648.61/1653.01 c 1653 20223 4622 1 - 32.0000 -
1653.60/1658.08 c 1658 20290 4632 1 - 32.0000 -
1658.68/1663.17 c 1663 20402 4655 1 - 32.0000 -
1663.76/1668.25 c 1668 20442 4667 1 - 32.0000 -
1669.56/1674.08 c 1674 20531 4673 1 - 32.0000 -
1674.64/1679.17 c 1679 20634 4686 1 - 32.0000 -
1680.12/1684.70 c 1685 20673 4699 1 - 32.0000 -
1688.20/1692.74 c 1693 20690 4707 1 - 32.0000 -
1693.78/1698.38 c 1698 20741 4725 1 - 32.0000 -
1699.06/1703.66 c 1704 20811 4738 1 - 32.0000 -
1704.85/1709.45 c 1709 20861 4760 1 - 32.0000 -
1710.24/1714.81 c 1715 20964 4774 1 - 32.0000 -
1715.73/1720.31 c 1720 21051 4775 1 - 32.0000 -
1721.32/1725.97 c 1726 21154 4782 1 - 32.0000 -
1726.70/1731.30 c 1731 21212 4788 1 - 32.0000 -
1732.18/1736.87 c 1737 21317 4810 1 - 32.0000 -
1737.77/1742.41 c 1742 21385 4826 1 - 32.0000 -
1743.25/1747.95 c 1748 21454 4838 1 - 32.0000 -
1748.75/1753.42 c 1753 21553 4834 1 - 32.0000 -
1753.93/1758.65 c 1759 21649 4844 1 - 32.0000 -
1759.33/1764.05 c 1764 21741 4835 1 - 32.0000 -
1765.10/1769.85 c 1770 21823 4846 1 - 32.0000 -
1770.69/1775.42 c 1775 21881 4855 1 - 32.0000 -
1775.68/1780.45 c 1780 21949 4844 1 - 32.0000 -
1780.97/1785.80 c 1786 22011 4853 1 - 32.0000 -
1786.36/1791.12 c 1791 22104 4859 1 - 32.0000 -
1791.84/1796.60 c 1797 22199 4864 1 - 32.0000 -
1797.51/1802.37 c 1802 22264 4882 1 - 32.0000 -
1802.80/1807.67 c 1808 22348 4903 1 - 32.0000 -
1808.59/1813.48 c 1813 22408 4920 1 - 32.0000 -
1814.18/1819.06 c 1819 22513 4911 1 - 32.0000 -
1825.04/1829.95 c 1830 22591 4917 1 - 32.0000 -
1830.73/1835.60 c 1836 22667 4937 1 - 32.0000 -
1835.91/1840.83 c 1841 22763 4942 1 - 32.0000 -
1841.30/1846.29 c 1846 22855 4954 1 - 32.0000 -
1846.89/1851.89 c 1852 22941 4962 1 - 32.0000 -
1852.38/1857.34 c 1857 23010 4976 1 - 32.0000 -
1857.56/1862.54 c 1863 23099 4976 1 - 32.0000 -
1863.06/1868.03 c 1868 23174 4998 1 - 32.0000 -
1868.53/1873.52 c 1874 23242 5023 1 - 32.0000 -
1873.82/1878.82 c 1879 23360 5009 1 - 32.0000 -
1879.69/1884.75 c 1885 23463 5011 1 - 32.0000 -
1885.58/1890.62 c 1891 23519 5031 1 - 32.0000 -
1891.56/1896.60 c 1897 23583 5049 1 - 32.0000 -
1897.15/1902.28 c 1902 23647 5061 1 - 32.0000 -
1904.05/1909.18 c 1909 23713 5086 1 - 32.0000 -
1909.42/1914.59 c 1915 23798 5093 1 - 32.0000 -
1915.10/1920.23 c 1920 23867 5102 1 - 32.0000 -
1921.01/1926.13 c 1926 23950 5102 1 - 32.0000 -
1926.78/1931.90 c 1932 24031 5102 1 - 32.0000 -
1931.98/1937.15 c 1937 24121 5110 1 - 32.0000 -
1937.45/1942.65 c 1943 24188 5127 1 - 32.0000 -
1942.64/1947.80 c 1948 24257 5149 1 - 32.0000 -
1948.22/1953.45 c 1953 24273 5147 1 - 32.0000 -
1953.70/1959.01 c 1959 24406 5141 1 - 32.0000 -
1958.97/1964.27 c 1964 24510 5144 1 - 32.0000 -
1964.46/1969.71 c 1970 24642 5127 1 - 32.0000 -
1969.55/1974.87 c 1975 24759 5125 1 - 32.0000 -
1974.75/1980.06 c 1980 24886 5116 1 - 32.0000 -
1979.83/1985.19 c 1985 24966 5121 1 - 32.0000 -
1985.11/1990.42 c 1990 25067 5117 1 - 32.0000 -
1990.40/1995.70 c 1996 25139 5131 1 - 32.0000 -
1995.79/2001.12 c 2001 25256 5134 1 - 32.0000 -
2000.78/2006.14 c 2006 25342 5147 1 - 32.0000 -
2005.95/2011.32 c 2011 25414 5149 1 - 32.0000 -
2011.53/2016.91 c 2017 25559 5141 1 - 32.0000 -
2016.63/2022.01 c 2022 25616 5149 1 - 32.0000 -
2022.01/2027.47 c 2027 25680 5138 1 - 32.0000 -
2027.89/2033.38 c 2033 25767 5149 1 - 32.5000 -
2033.48/2039.01 c 2039 25846 5165 1 - 33.0000 -
2039.06/2044.59 c 2045 25972 5176 1 - 33.0000 -
2044.74/2050.20 c 2050 26058 5198 1 - 33.0000 -
2050.43/2055.96 c 2056 26151 5204 1 - 33.0000 -
2055.81/2061.36 c 2061 26233 5233 1 - 33.0000 -
2061.40/2067.01 c 2067 26315 5239 1 - 33.0000 -
2066.78/2072.32 c 2072 26384 5261 1 - 33.0000 -
2073.87/2079.46 c 2079 26432 5264 1 - 33.0000 -
2079.96/2085.51 c 2086 26478 5286 1 - 33.0000 -
2085.55/2091.11 c 2091 26552 5289 1 - 33.0000 -
2091.13/2096.75 c 2097 26651 5309 1 - 33.0000 -
2097.21/2102.80 c 2103 26750 5322 1 - 33.0000 -
2102.69/2108.35 c 2108 26859 5312 1 - 33.0000 -
2108.08/2113.74 c 2114 26950 5330 1 - 33.0000 -
2113.48/2119.12 c 2119 27045 5338 1 - 33.0000 -
2119.55/2125.28 c 2125 27153 5342 1 - 33.0000 -
2125.74/2131.43 c 2131 27270 5338 1 - 33.0000 -
2131.73/2137.41 c 2137 27397 5346 1 - 33.0000 -
2137.01/2142.72 c 2143 27497 5364 1 - 33.0000 -
2142.60/2148.30 c 2148 27621 5367 1 - 33.2000 -
2147.98/2153.74 c 2154 27717 5352 1 - 34.0000 -
2153.06/2158.82 c 2159 27807 5366 1 - 34.0000 -
2158.86/2164.65 c 2165 27866 5382 1 - 34.0000 -
2164.74/2170.55 c 2171 27944 5403 1 - 34.0000 -
2170.03/2175.86 c 2176 28010 5404 1 - 34.0000 -
2175.52/2181.30 c 2181 28135 5406 1 - 34.0000 -
2181.10/2186.92 c 2187 28237 5420 1 - 34.0000 -
2186.58/2192.45 c 2192 28333 5392 1 - 34.0000 -
2192.18/2198.01 c 2198 28360 5394 1 - 34.0000 -
2197.55/2203.48 c 2203 28463 5378 1 - 34.0000 -
2203.04/2208.99 c 2209 28559 5381 1 - 34.0000 -
2208.63/2214.57 c 2215 28590 5409 1 - 34.0000 -
2214.51/2220.46 c 2220 28678 5434 1 - 34.0000 -
2219.90/2225.89 c 2226 28799 5433 1 - 34.0000 -
2225.29/2231.24 c 2231 28947 5432 1 - 34.0000 -
2230.77/2236.72 c 2237 29042 5439 1 - 34.0000 -
2236.66/2242.60 c 2243 29106 5461 1 - 34.0000 -
2241.74/2247.75 c 2248 29222 5465 1 - 34.0000 -
2246.93/2252.91 c 2253 29319 5487 1 - 34.0000 -
2252.31/2258.31 c 2258 29413 5488 1 - 34.0000 -
2257.61/2263.69 c 2264 29473 5523 1 - 34.0000 -
2263.19/2269.27 c 2269 29553 5551 1 - 34.0000 -
2268.99/2275.08 c 2275 29660 5527 1 - 34.0000 -
2274.26/2280.35 c 2280 29768 5537 1 - 34.0000 -
2279.85/2285.92 c 2286 29862 5547 1 - 34.0000 -
2285.64/2291.75 c 2292 29971 5541 1 - 34.0000 -
2290.93/2297.10 c 2297 30084 5538 1 - 34.0000 -
2296.41/2302.55 c 2303 30187 5554 1 - 34.0000 -
2305.89/2312.09 c 2312 30204 5556 1 - 34.0000 -
2311.66/2317.86 c 2318 30333 5541 1 - 34.0000 -
2316.97/2323.13 c 2323 30451 5526 1 - 34.0000 -
2322.44/2328.66 c 2329 30585 5509 1 - 34.0000 -
2328.32/2334.50 c 2334 30675 5538 1 - 34.0000 -
2333.72/2339.97 c 2340 30797 5537 1 - 34.0000 -
2338.82/2345.06 c 2345 30875 5552 1 - 34.0000 -
2344.19/2350.42 c 2350 31005 5543 1 - 34.0000 -
2349.67/2355.99 c 2356 31132 5546 1 - 34.0000 -
2354.95/2361.28 c 2361 31285 5524 1 - 34.0000 -
2360.15/2366.43 c 2366 31401 5507 1 - 34.0000 -
2365.54/2371.84 c 2372 31503 5520 1 - 34.0000 -
2371.83/2378.16 c 2378 31587 5511 1 - 34.0000 -
2377.20/2383.58 c 2384 31660 5547 1 - 34.0000 -
2382.89/2389.28 c 2389 31785 5543 1 - 34.0000 -
2388.68/2395.08 c 2395 31853 5558 1 - 34.0000 -
2394.17/2400.54 c 2401 31978 5563 1 - 34.0000 -
2399.35/2405.79 c 2406 32102 5582 1 - 34.0000 -
2405.13/2411.57 c 2412 32183 5569 1 - 34.0000 -
2410.32/2416.72 c 2417 32273 5578 1 - 34.0000 -
2415.81/2422.29 c 2422 32394 5577 1 - 34.0000 -
2421.09/2427.52 c 2428 32487 5580 1 - 34.0000 -
2426.78/2433.24 c 2433 32579 5601 1 - 34.0000 -
2432.17/2438.65 c 2439 32711 5594 1 - 34.0000 -
2438.15/2444.65 c 2445 32800 5628 1 - 34.0000 -
2443.65/2450.14 c 2450 32912 5644 1 - 34.0000 -
2449.32/2455.83 c 2456 32996 5652 1 - 34.0000 -
2456.80/2463.37 c 2463 33048 5655 1 - 34.0000 -
2462.09/2468.62 c 2469 33130 5659 1 - 34.0000 -
2467.27/2473.88 c 2474 33222 5661 1 - 34.0000 -
2472.37/2478.95 c 2479 33268 5683 1 - 34.0000 -
2477.85/2484.43 c 2484 33341 5696 1 - 34.0000 -
2483.04/2489.66 c 2490 33442 5700 1 - 34.0000 -
2488.62/2495.23 c 2495 33524 5709 1 - 34.0000 -
2493.81/2500.44 c 2500 33605 5718 1 - 34.0000 -
2499.59/2506.23 c 2506 33678 5717 1 - 34.0000 -
2504.69/2511.39 c 2511 33766 5724 1 - 34.0000 -
2510.67/2517.37 c 2517 33847 5744 1 - 34.0000 -
2516.15/2522.86 c 2523 33934 5761 1 - 34.0000 -
2521.35/2528.09 c 2528 34022 5783 1 - 34.0000 -
2527.02/2533.77 c 2534 34121 5829 1 - 34.0000 -
2532.32/2539.08 c 2539 34220 5852 1 - 34.0000 -
2537.50/2544.27 c 2544 34348 5864 1 - 34.0000 -
2543.30/2550.10 c 2550 34452 5878 1 - 34.0000 -
2548.97/2555.72 c 2556 34557 5892 1 - 34.0000 -
2554.85/2561.69 c 2562 34654 5893 1 - 34.0000 -
2560.15/2566.99 c 2567 34744 5900 1 - 34.0000 -
2565.63/2572.44 c 2572 34833 5909 1 - 34.0000 -
2571.01/2577.82 c 2578 34935 5927 1 - 34.0000 -
2576.32/2583.14 c 2583 35082 5933 1 - 34.0000 -
2581.39/2588.28 c 2588 35223 5921 1 - 34.0000 -
2586.48/2593.32 c 2593 35329 5932 1 - 34.0000 -
2598.74/2605.63 c 2606 35464 5944 1 - 34.0000 -
2604.83/2611.74 c 2612 35603 5965 1 - 34.0000 -
2610.12/2617.02 c 2617 35752 5962 1 - 34.0000 -
2616.00/2623.01 c 2623 35869 5967 1 - 34.0000 -
2621.89/2628.85 c 2629 35993 5974 1 - 34.0000 -
2627.19/2634.13 c 2634 36147 5936 1 - 34.0000 -
2632.56/2639.59 c 2640 36279 5951 1 - 34.0000 -
2637.84/2644.80 c 2645 36389 5962 1 - 34.0000 -
2643.15/2650.12 c 2650 36528 5977 1 - 34.0000 -
2648.21/2655.29 c 2655 36676 5966 1 - 34.0000 -
2653.60/2660.67 c 2661 36812 5964 1 - 34.0000 -
2659.59/2666.63 c 2667 36940 5953 1 - 34.0000 -
2664.77/2671.88 c 2672 37064 5959 1 - 34.0000 -
2670.36/2677.42 c 2677 37187 5964 1 - 34.0000 -
2675.96/2683.07 c 2683 37306 5971 1 - 34.0000 -
2681.23/2688.39 c 2688 37436 5957 1 - 34.0000 -
2686.82/2693.99 c 2694 37550 5970 1 - 34.0000 -
2692.21/2699.36 c 2699 37664 5972 1 - 34.0000 -
2697.78/2704.94 c 2705 37798 5964 1 - 34.0000 -
2703.37/2710.52 c 2711 37883 5983 1 - 34.0000 -
2708.55/2715.79 c 2716 38010 5973 1 - 34.0000 -
2714.14/2721.35 c 2721 38111 5989 1 - 34.0000 -
2719.12/2726.39 c 2726 38231 5997 1 - 34.0000 -
2724.30/2731.56 c 2732 38392 5975 1 - 34.0000 -
2729.59/2736.87 c 2737 38516 5978 1 - 34.0000 -
2735.37/2742.62 c 2743 38622 5987 1 - 34.0000 -
2740.66/2747.92 c 2748 38766 5961 1 - 34.0000 -
2745.85/2753.16 c 2753 38907 5947 1 - 34.0000 -
2750.92/2758.28 c 2758 39033 5944 1 - 34.0000 -
2756.50/2763.90 c 2764 39090 5972 1 - 34.0000 -
2761.80/2769.12 c 2769 39202 5949 1 - 34.0000 -
2766.97/2774.37 c 2774 39330 5939 1 - 34.0000 -
2772.26/2779.66 c 2780 39451 5939 1 - 34.0000 -
2777.65/2785.09 c 2785 39584 5924 1 - 34.0000 -
2783.13/2790.51 c 2791 39677 5932 1 - 34.0000 -
2788.21/2795.63 c 2796 39796 5945 1 - 34.0000 -
2793.69/2801.12 c 2801 39960 5927 1 - 34.0000 -
2799.17/2806.69 c 2807 40077 5949 1 - 34.0000 -
2804.75/2812.28 c 2812 40161 5969 1 - 34.0000 -
2810.54/2818.05 c 2818 40294 5978 1 - 34.0000 -
2816.21/2823.70 c 2824 40433 5976 1 - 34.0000 -
2821.99/2829.58 c 2830 40515 5987 1 - 34.0000 -
2827.08/2834.69 c 2835 40590 5989 1 - 34.0000 -
2832.47/2840.10 c 2840 40694 6000 1 - 34.0000 -
2837.74/2845.36 c 2845 40850 5977 1 - 34.0000 -
2843.63/2851.26 c 2851 40977 5972 1 - 34.0000 -
2849.12/2856.76 c 2857 41099 5956 1 - 34.0000 -
2854.60/2862.28 c 2862 41226 5984 1 - 34.0000 -
2860.27/2867.98 c 2868 41379 5986 1 - 34.0000 -
2868.75/2876.49 c 2876 41406 5991 1 - 34.0000 -
2874.14/2881.85 c 2882 41462 6020 1 - 34.0000 -
2879.52/2887.23 c 2887 41576 6043 1 - 34.0000 -
2885.31/2893.11 c 2893 41717 6043 1 - 34.0000 -
2890.49/2898.29 c 2898 41824 6054 1 - 34.0000 -
2896.57/2904.38 c 2904 41963 6057 1 - 34.0000 -
2902.37/2910.15 c 2910 42064 6079 1 - 34.0000 -
2908.03/2915.80 c 2916 42165 6088 1 - 34.0000 -
2913.62/2921.42 c 2921 42263 6108 1 - 34.0000 -
2918.80/2926.67 c 2927 42370 6118 1 - 34.0000 -
2924.38/2932.28 c 2932 42494 6146 1 - 34.0000 -
2929.77/2937.65 c 2938 42635 6158 1 - 34.0000 -
2934.95/2942.89 c 2943 42684 6183 1 - 34.0000 -
2941.14/2949.07 c 2949 42773 6215 1 - 34.0000 -
2946.92/2954.82 c 2955 42861 6222 1 - 34.0000 -
2952.60/2960.58 c 2961 42954 6242 1 - 34.0000 -
2958.28/2966.29 c 2966 43041 6243 1 - 34.0000 -
2963.67/2971.60 c 2972 43132 6259 1 - 34.0000 -
2968.75/2976.79 c 2977 43228 6274 1 - 34.0000 -
2974.23/2982.25 c 2982 43343 6284 1 - 34.0000 -
2979.92/2987.90 c 2988 43430 6308 1 - 34.0000 -
2985.39/2993.47 c 2993 43519 6319 1 - 34.0000 -
2991.09/2999.15 c 2999 43618 6321 1 - 34.0000 -
2996.26/3004.37 c 3004 43737 6332 1 - 34.0000 -
3002.14/3010.27 c 3010 43853 6346 1 - 34.0000 -
3008.13/3016.24 c 3016 43974 6352 1 - 34.0000 -
3014.51/3022.63 c 3023 44090 6365 1 - 34.0000 -
3020.01/3028.17 c 3028 44179 6388 1 - 34.0000 -
3025.58/3033.79 c 3034 44277 6386 1 - 34.0000 -
3030.76/3038.94 c 3039 44390 6405 1 - 34.0000 -
3036.44/3044.61 c 3045 44458 6426 1 - 34.0000 -
3041.72/3049.98 c 3050 44556 6437 1 - 34.0000 -
3047.61/3055.88 c 3056 44667 6441 1 - 34.0000 -
3052.80/3061.08 c 3061 44793 6455 1 - 34.0000 -
3058.08/3066.30 c 3066 44905 6452 1 - 34.0000 -
3063.26/3071.58 c 3072 45046 6449 1 - 34.0000 -
3069.34/3077.62 c 3078 45167 6433 1 - 34.0000 -
3074.73/3083.03 c 3083 45271 6412 1 - 34.0000 -
3080.41/3088.78 c 3089 45383 6425 1 - 34.0000 -
3085.70/3094.04 c 3094 45478 6441 1 - 34.0000 -
3091.17/3099.52 c 3100 45650 6424 1 - 34.0000 -
3096.96/3105.32 c 3105 45775 6408 1 - 34.0000 -
3102.83/3111.24 c 3111 45922 6414 1 - 35.0000 -
3108.13/3116.57 c 3117 46050 6411 1 - 35.0000 -
3113.41/3121.89 c 3122 46194 6398 1 - 35.0000 -
3118.49/3126.90 c 3127 46339 6370 1 - 35.0000 -
3124.37/3132.89 c 3133 46430 6399 1 - 35.0000 -
3129.75/3138.28 c 3138 46528 6429 1 - 35.0000 -
3134.93/3143.42 c 3143 46583 6460 1 - 35.0000 -
3140.52/3149.09 c 3149 46662 6477 1 - 35.0000 -
3146.20/3154.70 c 3155 46781 6476 1 - 35.0000 -
3151.49/3160.08 c 3160 46837 6468 1 - 35.0000 -
3156.67/3165.24 c 3165 46953 6456 1 - 35.0000 -
3161.85/3170.43 c 3170 47070 6451 1 - 35.0000 -
3169.03/3177.60 c 3178 47193 6462 1 - 35.0000 -
3174.43/3183.02 c 3183 47301 6449 1 - 35.0000 -
3179.60/3188.25 c 3188 47406 6437 1 - 35.0000 -
3184.88/3193.52 c 3194 47512 6419 1 - 35.0000 -
3190.17/3198.81 c 3199 47602 6414 1 - 35.0000 -
3196.05/3204.72 c 3205 47723 6438 1 - 35.0000 -
3201.24/3209.93 c 3210 47841 6422 1 - 35.0000 -
3206.72/3215.42 c 3215 47936 6440 1 - 35.0000 -
3212.21/3220.91 c 3221 48048 6443 1 - 35.0000 -
3217.50/3226.21 c 3226 48141 6449 1 - 35.0000 -
3222.88/3231.67 c 3232 48198 6447 1 - 35.0000 -
3228.56/3237.30 c 3237 48315 6444 1 - 35.0000 -
3234.15/3243.01 c 3243 48416 6434 1 - 35.0000 -
3239.42/3248.29 c 3248 48562 6427 1 - 35.0000 -
3244.72/3253.54 c 3254 48694 6423 1 - 35.0000 -
3250.00/3258.85 c 3259 48814 6432 1 - 35.0000 -
3255.98/3264.83 c 3265 48917 6464 1 - 35.0000 -
3261.18/3270.03 c 3270 49004 6459 1 - 35.0000 -
3267.35/3276.24 c 3276 49076 6467 1 - 35.0000 -
3272.33/3281.26 c 3281 49146 6475 1 - 35.0000 -
3277.72/3286.62 c 3287 49228 6473 1 - 35.0000 -
3283.12/3292.07 c 3292 49338 6470 1 - 35.0000 -
3289.10/3298.06 c 3298 49428 6489 1 - 35.0000 -
3294.37/3303.34 c 3303 49535 6498 1 - 35.0000 -
3299.66/3308.60 c 3309 49662 6475 1 - 35.0000 -
3304.94/3313.98 c 3314 49741 6478 1 - 35.0000 -
3310.23/3319.28 c 3319 49834 6484 1 - 35.0000 -
3316.12/3325.16 c 3325 49916 6502 1 - 35.0000 -
3321.90/3330.96 c 3331 49993 6521 1 - 35.0000 -
3327.58/3336.69 c 3337 50087 6518 1 - 35.0000 -
3333.17/3342.23 c 3342 50223 6507 1 - 35.0000 -
3338.45/3347.53 c 3348 50328 6520 1 - 35.0000 -
3343.74/3352.88 c 3353 50394 6528 1 - 35.0000 -
3349.42/3358.52 c 3359 50463 6538 1 - 35.0000 -
3354.51/3363.67 c 3364 50580 6567 1 - 35.0000 -
3359.69/3368.83 c 3369 50712 6557 1 - 35.0000 -
3364.99/3374.18 c 3374 50838 6527 1 - 35.0000 -
3381.34/3390.57 c 3391 50876 6535 1 - 35.0000 -
3386.83/3396.01 c 3396 50985 6549 1 - 35.0000 -
3391.92/3401.16 c 3401 51094 6555 1 - 35.0000 -
3397.60/3406.80 c 3407 51195 6545 1 - 35.0000 -
3403.28/3412.55 c 3413 51325 6544 1 - 35.0000 -
3409.16/3418.46 c 3418 51439 6539 1 - 35.0000 -
3414.45/3423.78 c 3424 51532 6538 1 - 35.0000 -
3419.94/3429.22 c 3429 51633 6550 1 - 35.0000 -
3425.13/3434.47 c 3434 51759 6551 1 - 35.0000 -
3430.41/3439.74 c 3440 51859 6566 1 - 35.0000 -
3435.60/3444.91 c 3445 52033 6562 1 - 35.0000 -
3440.59/3449.99 c 3450 52177 6558 1 - 35.0000 -
3445.87/3455.22 c 3455 52342 6548 1 - 35.0000 -
3450.95/3460.33 c 3460 52475 6537 1 - 35.0000 -
3456.35/3465.73 c 3466 52621 6524 1 - 35.0000 -
3461.53/3470.93 c 3471 52786 6500 1 - 35.0000 -
3467.21/3476.66 c 3477 52929 6472 1 - 35.0000 -
3472.40/3481.85 c 3482 53105 6435 1 - 35.0000 -
3478.18/3487.64 c 3488 53242 6423 1 - 35.0000 -
3483.97/3493.41 c 3493 53373 6425 1 - 35.0000 -
3494.84/3504.30 c 3504 53493 6399 1 - 35.0000 -
3500.03/3509.54 c 3510 53663 6384 1 - 35.0000 -
3505.22/3514.72 c 3515 53801 6397 1 - 35.0000 -
3510.30/3519.86 c 3520 53931 6391 1 - 35.0000 -
3515.69/3525.22 c 3525 54055 6404 1 - 35.0000 -
3521.07/3530.64 c 3531 54186 6403 1 - 35.0000 -
3526.17/3535.78 c 3536 54326 6403 1 - 35.0000 -
3531.65/3541.21 c 3541 54450 6377 1 - 35.0000 -
3536.74/3546.33 c 3546 54564 6368 1 - 35.0000 -
3542.03/3551.63 c 3552 54720 6358 1 - 35.0000 -
3547.21/3556.82 c 3557 54861 6359 1 - 35.0000 -
3553.09/3562.77 c 3563 54963 6360 1 - 35.0000 -
3558.78/3568.46 c 3568 55118 6345 1 - 35.0000 -
3564.16/3573.85 c 3574 55268 6342 1 - 35.0000 -
3569.86/3579.52 c 3580 55429 6331 1 - 35.0000 -
3575.24/3584.93 c 3585 55593 6322 1 - 35.3333 -
3580.73/3590.47 c 3590 55732 6306 1 - 35.5000 -
3586.02/3595.70 c 3596 55909 6276 1 - 36.0000 -
3590.50/3600.25 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.50/3600.25 c Total Time : 3600.2300
3590.50/3600.25 c solving : 3600.2300
3590.50/3600.25 c presolving : 1.7959 (included in solving)
3590.50/3600.25 c B&B Tree :
3590.50/3600.25 c nodes (total) : 1
3590.50/3600.25 c Solution :
3590.50/3600.25 c Solutions found : 0
3590.50/3600.25 c Primal Bound : -
3590.50/3600.25 c Dual Bound : +3.60000000000000e+01
3590.50/3600.25 c Gap : -
3590.61/3600.40 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: 64059 MiB (60838 MiB free)
memory of node 1: 64510 MiB (61392 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434679-1721099131/watcher-4434679-1721099131 -o /tmp/evaluation-result-4434679-1721099131/solver-4434679-1721099131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830637 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434679-1721099131.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=832776, runsolver pid=832773
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 4.03 4.11 4.15 5/248 832777
/proc/meminfo: memFree=125152912/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=32204 memory=20528 CPUtime=0.1 cores=5,7
/proc/832776/stat : 832776 (fscip) R 832773 832776 830624 0 -1 4194304 3042 0 0 0 10 0 0 0 20 0 1 0 162071873 32976896 5132 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 8051 5132 2318 3032 0 4451 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32204 KiB
Current children cumulated memory: 20528 KiB
[startup+0.212937 s]*
/proc/loadavg: 4.03 4.11 4.15 5/248 832777
/proc/meminfo: memFree=125146032/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=38692 memory=27124 CPUtime=0.21 cores=5,7
/proc/832776/stat : 832776 (fscip) R 832773 832776 830624 0 -1 4194304 4706 0 0 0 20 1 0 0 20 0 1 0 162071873 39620608 6781 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 9673 6781 2318 3032 0 6073 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38692 KiB
Current children cumulated memory: 27124 KiB
[startup+0.31292 s]*
/proc/loadavg: 4.03 4.11 4.15 5/248 832777
/proc/meminfo: memFree=125139172/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=45740 memory=34252 CPUtime=0.32 cores=5,7
/proc/832776/stat : 832776 (fscip) R 832773 832776 830624 0 -1 4194304 6477 0 0 0 30 2 0 0 20 0 1 0 162071873 46837760 8563 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 11435 8563 2318 3032 0 7835 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 45740 KiB
Current children cumulated memory: 34252 KiB
[startup+0.700339 s]
/proc/loadavg: 4.11 4.13 4.16 5/248 832777
/proc/meminfo: memFree=125081576/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=172740 memory=157340 CPUtime=0.69 cores=5,7
/proc/832776/stat : 832776 (fscip) R 832773 832776 830624 0 -1 4194304 40572 0 0 0 57 12 0 0 20 0 1 0 162071873 176885760 39335 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 43185 39335 2590 3032 0 39585 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 172740 KiB
Current children cumulated memory: 157340 KiB
[startup+1.50034 s]
/proc/loadavg: 4.11 4.13 4.16 6/248 832778
/proc/meminfo: memFree=124977888/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=255964 memory=239976 CPUtime=1.48 cores=5,7
/proc/832776/stat : 832776 (fscip) R 832773 832776 830624 0 -1 4194304 50101 0 0 0 132 16 0 0 20 0 1 0 162071873 262107136 59994 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 63991 59994 2670 3032 0 60391 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 255964 KiB
Current children cumulated memory: 239976 KiB
[startup+3.11329 s]
/proc/loadavg: 4.11 4.13 4.16 5/250 832780
/proc/meminfo: memFree=124655408/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=610420 memory=506136 CPUtime=3.08 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 117252 0 0 0 277 31 0 0 20 0 3 0 162071873 625070080 126534 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 152605 126534 2798 3032 0 139423 0
[pid=832776/tid=832779] ppid=832773 vsize=610420 memory=393236 CPUtime=0.61 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 30857 0 0 0 52 9 0 0 20 0 3 0 162072116 625070080 126534 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=610420 memory=0 CPUtime=0 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 162072129 625070080 126534 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 610420 KiB
Current children cumulated memory: 506136 KiB
[startup+6.30038 s]
/proc/loadavg: 4.10 4.12 4.16 5/250 832780
/proc/meminfo: memFree=124561372/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=675956 memory=584172 CPUtime=6.24 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 158334 0 0 0 584 40 0 0 20 0 3 0 162071873 692178944 146043 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 168989 146043 2894 3032 0 163231 0
[pid=832776/tid=832779] ppid=832773 vsize=675956 memory=0 CPUtime=3.77 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 71933 0 0 0 359 18 0 0 20 0 3 0 162072116 692178944 146043 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=675956 memory=209012 CPUtime=0 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 162072129 692178944 146043 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 675956 KiB
Current children cumulated memory: 584172 KiB
[startup+12.7004 s]
/proc/loadavg: 4.09 4.12 4.16 5/250 832830
/proc/meminfo: memFree=124066580/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=741492 memory=652256 CPUtime=12.62 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 200126 0 0 0 1218 44 0 0 20 0 3 0 162071873 759287808 163064 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 185373 163064 2910 3032 0 180399 0
[pid=832776/tid=832779] ppid=832773 vsize=741492 memory=0 CPUtime=10.15 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 113717 0 0 0 993 22 0 0 20 0 3 0 162072116 759287808 163064 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=741492 memory=-6224936119186930537 CPUtime=0 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 162072129 759287808 163064 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 741492 KiB
Current children cumulated memory: 652256 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.12 4.15 5/250 832831
/proc/meminfo: memFree=123819380/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=807028 memory=695592 CPUtime=25.39 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 255263 0 0 0 2491 48 0 0 20 0 3 0 162071873 826396672 173898 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 201757 173898 2958 3032 0 192151 0
[pid=832776/tid=832779] ppid=832773 vsize=807028 memory=0 CPUtime=22.92 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 168805 0 0 0 2266 26 0 0 20 0 3 0 162072116 826396672 173898 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=807028 memory=636328 CPUtime=0 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 162072129 826396672 173898 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 807028 KiB
Current children cumulated memory: 695592 KiB
[startup+51.1127 s]
/proc/loadavg: 4.11 4.12 4.15 5/250 832836
/proc/meminfo: memFree=123759144/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=807028 memory=695640 CPUtime=50.93 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 309223 0 0 0 5042 51 0 0 20 0 3 0 162071873 826396672 173910 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 201757 173910 2958 3032 0 192151 0
[pid=832776/tid=832779] ppid=832773 vsize=807028 memory=695624 CPUtime=48.46 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 222660 0 0 0 4817 29 0 0 20 0 3 0 162072116 826396672 173910 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=807028 memory=695624 CPUtime=0 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 162072129 826396672 173910 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 807028 KiB
Current children cumulated memory: 695640 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.16 5/249 832844
/proc/meminfo: memFree=123630528/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=872564 memory=779224 CPUtime=101.99 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 439856 0 0 0 10138 61 0 0 20 0 3 0 162071873 893505536 194806 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 218141 194806 2958 3032 0 212857 0
[pid=832776/tid=832779] ppid=832773 vsize=872564 memory=6720663259667643758 CPUtime=99.51 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 353199 0 0 0 9913 38 0 0 20 0 3 0 162072116 893505536 194806 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=872564 memory=779216 CPUtime=0 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 162072129 893505536 194806 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 872564 KiB
Current children cumulated memory: 779224 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/249 832854
/proc/meminfo: memFree=123560464/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=872564 memory=782048 CPUtime=161.8 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 537891 0 0 0 16114 66 0 0 20 0 3 0 162071873 893505536 195512 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 218141 195512 2958 3032 0 212857 0
[pid=832776/tid=832779] ppid=832773 vsize=872564 memory=11516 CPUtime=159.32 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 451147 0 0 0 15889 43 0 0 20 0 3 0 162072116 893505536 195512 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=872564 memory=782048 CPUtime=0 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 162072129 893505536 195512 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 872564 KiB
Current children cumulated memory: 782048 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/250 832867
/proc/meminfo: memFree=123509260/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=872564 memory=782048 CPUtime=221.62 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 587680 0 0 0 22093 69 0 0 20 0 3 0 162071873 893505536 195512 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 218141 195512 2958 3032 0 212857 0
[pid=832776/tid=832779] ppid=832773 vsize=872564 memory=782048 CPUtime=219.14 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 500895 0 0 0 21868 46 0 0 20 0 3 0 162072116 893505536 195512 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=872564 memory=782048 CPUtime=0 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 162072129 893505536 195512 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 872564 KiB
Current children cumulated memory: 782048 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/250 832877
/proc/meminfo: memFree=123443356/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=872564 memory=782168 CPUtime=281.47 cores=5,7
################
# More data... #
################
Current children cumulated memory: 1048604 KiB
[startup+3402.3 s]
/proc/loadavg: 4.50 4.33 4.18 5/254 835958
/proc/meminfo: memFree=122525368/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=1134708 memory=1048976 CPUtime=3393.11 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 2560006 0 0 0 339002 309 0 0 20 0 3 0 162071873 1161940992 262244 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 283677 262244 2974 3032 0 278565 0
[pid=832776/tid=832779] ppid=832773 vsize=1134708 memory=1048604 CPUtime=3390.31 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 2471831 0 0 0 338757 274 0 0 20 0 3 0 162072116 1161940992 262244 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=1134708 memory=1048972 CPUtime=0.06 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 184 0 0 0 2 4 0 0 20 0 3 0 162072129 1161940992 262244 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 3393.11 s
Current children cumulated vsize: 1134708 KiB
Current children cumulated memory: 1048976 KiB
[startup+3462.3 s]
/proc/loadavg: 4.24 4.29 4.18 5/254 835968
/proc/meminfo: memFree=122433928/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=1134708 memory=1048984 CPUtime=3452.96 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 2609376 0 0 0 344982 314 0 0 20 0 3 0 162071873 1161940992 262246 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 283677 262246 2974 3032 0 278565 0
[pid=832776/tid=832779] ppid=832773 vsize=1134708 memory=1048604 CPUtime=3450.14 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 2521179 0 0 0 344736 278 0 0 20 0 3 0 162072116 1161940992 262246 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=1134708 memory=1048984 CPUtime=0.06 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 187 0 0 0 2 4 0 0 20 0 3 0 162072129 1161940992 262246 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 1134708 KiB
Current children cumulated memory: 1048984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.26 4.18 5/253 835981
/proc/meminfo: memFree=122427908/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=1134708 memory=1050008 CPUtime=3512.79 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 2683307 0 0 0 350958 321 0 0 20 0 3 0 162071873 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 283677 262502 2974 3032 0 278641 0
[pid=832776/tid=832779] ppid=832773 vsize=1134708 memory=11516 CPUtime=3509.99 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 2595064 0 0 0 350713 286 0 0 20 0 3 0 162072116 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=1134708 memory=1050008 CPUtime=0.06 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 191 0 0 0 2 4 0 0 20 0 3 0 162072129 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 1134708 KiB
Current children cumulated memory: 1050008 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.23 4.17 5/253 835993
/proc/meminfo: memFree=122401792/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=1134708 memory=1050008 CPUtime=3572.65 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 2723355 0 0 0 356940 325 0 0 20 0 3 0 162071873 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 283677 262502 2974 3032 0 278641 0
[pid=832776/tid=832779] ppid=832773 vsize=1134708 memory=11516 CPUtime=3569.83 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 2635090 0 0 0 356694 289 0 0 20 0 3 0 162072116 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=1134708 memory=1050008 CPUtime=0.06 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 193 0 0 0 2 4 0 0 20 0 3 0 162072129 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 3572.65 s
Current children cumulated vsize: 1134708 KiB
Current children cumulated memory: 1050008 KiB
[startup+3600.49 s]
# the end of solver process 832776 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.36 s, system=3.42895 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.23 4.17 5/253 835993
/proc/meminfo: memFree=122401388/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=1134708 memory=1050008 CPUtime=3574.36 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 2723533 0 0 0 357111 325 0 0 20 0 3 0 162071873 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 283677 262502 2974 3032 0 278641 0
[pid=832776/tid=832779] ppid=832773 vsize=1134708 memory=6720669843886259562 CPUtime=3571.54 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 2635268 0 0 0 356865 289 0 0 20 0 3 0 162072116 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=1134708 memory=-7377872172555591543 CPUtime=0.06 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 193 0 0 0 2 4 0 0 20 0 3 0 162072129 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 3574.36 s
Current children cumulated vsize: 1134708 KiB
Current children cumulated memory: 1050008 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.23 4.17 5/253 835994
/proc/meminfo: memFree=122397860/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=1134708 memory=1050008 CPUtime=3580.73 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 2737045 0 0 0 357747 326 0 0 20 0 3 0 162071873 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 283677 262502 2974 3032 0 278641 0
[pid=832776/tid=832779] ppid=832773 vsize=1134708 memory=1050008 CPUtime=3577.91 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 2648780 0 0 0 357501 290 0 0 20 0 3 0 162072116 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=1134708 memory=11516 CPUtime=0.06 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 193 0 0 0 2 4 0 0 20 0 3 0 162072129 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 3580.73 s
Current children cumulated vsize: 1134708 KiB
Current children cumulated memory: 1050008 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.22 4.17 5/253 835994
/proc/meminfo: memFree=122397456/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=1134708 memory=1050008 CPUtime=3587.12 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 2738012 0 0 0 358385 327 0 0 20 0 3 0 162071873 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 283677 262502 2974 3032 0 278641 0
[pid=832776/tid=832779] ppid=832773 vsize=1134708 memory=1050008 CPUtime=3584.3 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 2649747 0 0 0 358139 291 0 0 20 0 3 0 162072116 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=1134708 memory=308632 CPUtime=0.06 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 193 0 0 0 2 4 0 0 20 0 3 0 162072129 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 3587.12 s
Current children cumulated vsize: 1134708 KiB
Current children cumulated memory: 1050008 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.22 4.17 5/252 835996
/proc/meminfo: memFree=122391352/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=1134708 memory=1050008 CPUtime=3588.71 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 2738085 0 0 0 358544 327 0 0 20 0 3 0 162071873 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 283677 262502 2974 3032 0 278641 0
[pid=832776/tid=832779] ppid=832773 vsize=1134708 memory=1050008 CPUtime=3585.89 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 2649820 0 0 0 358298 291 0 0 20 0 3 0 162072116 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=1134708 memory=16224 CPUtime=0.06 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 193 0 0 0 2 4 0 0 20 0 3 0 162072129 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 3588.71 s
Current children cumulated vsize: 1134708 KiB
Current children cumulated memory: 1050008 KiB
[startup+3599.2 s]
/proc/loadavg: 4.11 4.22 4.17 5/250 836042
/proc/meminfo: memFree=123864916/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=1134708 memory=1050008 CPUtime=3589.51 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 2738924 0 0 0 358624 327 0 0 20 0 3 0 162071873 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 283677 262502 2974 3032 0 278641 0
[pid=832776/tid=832779] ppid=832773 vsize=1134708 memory=41416 CPUtime=3586.69 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 2650659 0 0 0 358378 291 0 0 20 0 3 0 162072116 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=1134708 memory=12020 CPUtime=0.06 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 193 0 0 0 2 4 0 0 20 0 3 0 162072129 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 3589.51 s
Current children cumulated vsize: 1134708 KiB
Current children cumulated memory: 1050008 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.22 4.17 5/250 836042
/proc/meminfo: memFree=123613328/131655788 swapFree=131071996/131071996
[pid=832776] ppid=832773 vsize=1134708 memory=1050008 CPUtime=3590.31 cores=5,7
/proc/832776/stat : 832776 (fscip) S 832773 832776 830624 0 -1 1077936128 2747909 0 0 0 358704 327 0 0 20 0 3 0 162071873 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
/proc/832776/statm: 283677 262502 2974 3032 0 278641 0
[pid=832776/tid=832779] ppid=832773 vsize=1134708 memory=-8600303426537366204 CPUtime=3587.49 cores=5,7
/proc/832776/task/832779/stat : 832779 (fscip) R 832773 832776 830624 0 -1 4194368 2660038 0 0 0 358458 291 0 0 20 0 3 0 162072116 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
[pid=832776/tid=832780] ppid=832773 vsize=1134708 memory=3432 CPUtime=0.06 cores=5,7
/proc/832776/task/832780/stat : 832780 (fscip) S 832773 832776 830624 0 -1 1077936192 194 0 0 0 2 4 0 0 20 0 3 0 162072129 1161940992 262502 134679101440 4194304 16613245 140729170699200 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 36634624 140729170703381 140729170703497 140729170703497 140729170710512 0
Current children cumulated CPU time: 3590.31 s
Current children cumulated vsize: 1134708 KiB
Current children cumulated memory: 1050008 KiB
[startup+3600.4 s]*
/proc/loadavg: 4.11 4.22 4.17 5/249 836042
/proc/meminfo: memFree=123718816/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3600.49
CPU time (s): 3590.79
CPU user time (s): 3587.36
CPU system time (s): 3.42895
CPU usage (%): 99.7306
Max. virtual memory (cumulated for all children) (KiB): 1200244
Max. memory (cumulated for all children) (KiB): 1107608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.36
system time used= 3.42895
maximum resident set size= 1107760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2831338
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= 9981
involuntary context switches= 2085
# summary of solver processes directly reported to runsolver:
# pid: 832776
# total CPU time (s): 3590.79
# total CPU user time (s): 3587.36
# total CPU system time (s): 3.42895
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3153 second user time and 36.0744 second system time
The end
Begin job on nodeC006 at 2024-07-16 05:05:43
IDJOB=4434679
IDBENCH=147625
IDSOLVER=3064
FILE ID=nodeC006/4434679-1721099131
RUNJOBID= nodeC006-1721095536-830637
SLURM_JOB_ID= 7505606
Free space on /tmp= 723688 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.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-4434679-1721099131/watcher-4434679-1721099131 -o /tmp/evaluation-result-4434679-1721099131/solver-4434679-1721099131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721095536-830637 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434679-1721099131.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 175cf8fd081870b89b1494469c4bb17a
RANDOM SEED=1303168751
nodeC006.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 : 3665.054
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.94
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 : 3573.341
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.26
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 : 1197.294
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.94
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.387
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.26
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 : 2531.342
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.94
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 : 1429.326
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.26
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.369
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.94
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.247
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.26
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 125165240 kB
MemAvailable: 128880520 kB
Buffers: 396848 kB
Cached: 4115668 kB
SwapCached: 0 kB
Active: 695360 kB
Inactive: 5170056 kB
Active(anon): 1492 kB
Inactive(anon): 1389104 kB
Active(file): 693868 kB
Inactive(file): 3780952 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 90456 kB
Writeback: 32 kB
AnonPages: 1352936 kB
Mapped: 139084 kB
Shmem: 37704 kB
KReclaimable: 160980 kB
Slab: 265360 kB
SReclaimable: 160980 kB
SUnreclaim: 104380 kB
KernelStack: 3952 kB
PageTables: 12096 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1502468 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 52096 kB
HardwareCorrupted: 0 kB
AnonHugePages: 397312 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: 219976 kB
DirectMap2M: 27996160 kB
DirectMap1G: 108003328 kB
Free space on /tmp at the end= 723652 MiB
End job on nodeC006 at 2024-07-16 06:05:44