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.32/0.34 c Default LC presolving (default).
0.32/0.34 c ** Before presolving: virtualMemUsedAtLc = 204381047, getVmSize() = 146120704, SCIPgetMemUsed() = 111306320, SCIPgetMemTotal() = 118438464, SCIPgetMemExternEstim() = 85942583
0.32/0.34 c ** set memory limit for presolving in LC to 8.79603e+12 for SCIP **
178.28/178.91 c ** Estimated virtualMemUsedAtSolver = 260961621, getVmSize() = 636764160, SCIPgetMemUsed() = 205151850, SCIPgetMemTotal() = 275219130, SCIPgetMemExternEstim() = 85942583
178.28/178.91 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
178.28/178.91 c Original Problem :
178.28/178.91 c Problem name : instance-4465058-1722390177
178.28/178.91 c Variables : 32591 (32591 binary, 0 integer, 0 implicit integer, 0 continuous)
178.28/178.91 c Constraints : 60698
178.28/178.91 c Objective sense : minimize
178.28/178.91 c Presolved Problem :
178.28/178.91 c Variables : 2694 (2694 binary, 0 integer, 0 implicit integer, 0 continuous)
178.28/178.91 c Constraints : 29116
178.28/178.91 c Constraints : Number
178.28/178.91 c setppc : 23703
178.28/178.91 c linear : 423
178.28/178.91 c orbitope : 1
178.28/178.91 c logicor : 4700
178.28/178.91 c indicator : 289
178.28/178.91 c ** Instance transfer method used: 0
178.28/178.96 c ** ParaScipInstance copy increased the number of variables. **
178.38/179.08 c LC is working with racing ramp-up and with rebuilding tree after racing.
178.38/179.08 c Nodes Active
178.38/179.08 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
301.95/303.01 c * 303 0 1 1 503434.0000 - -
301.95/303.01 c 303 0 1 1 503434.0000 - -
302.94/304.06 c * 304 0 1 1 498436.0000 - -
326.16/327.39 c * 327 0 1 1 470423.0000 - -
326.16/327.39 c 327 0 1 1 470423.0000 - -
326.66/327.84 c * 328 0 1 1 469423.0000 - -
332.24/333.42 c 333 8 7 1 469423.0000 450171.3255 4.28%
338.52/339.72 c 340 16 15 1 469423.0000 450382.9372 4.23%
344.10/345.35 c 345 24 23 1 469423.0000 450649.5488 4.17%
350.59/351.83 c 352 31 30 1 469423.0000 450649.5488 4.17%
356.47/357.72 c 358 38 37 1 469423.0000 450750.2867 4.14%
362.35/363.64 c 364 45 44 1 469423.0000 450750.2867 4.14%
369.23/370.53 c 371 53 52 1 469423.0000 450750.2867 4.14%
375.02/376.30 c 376 60 59 1 469423.0000 450750.2867 4.14%
380.30/381.63 c 382 68 67 1 469423.0000 450896.5411 4.11%
387.08/388.47 c 388 76 75 1 469423.0000 450975.9265 4.09%
392.46/393.82 c 394 93 92 1 469423.0000 450975.9265 4.09%
392.67/394.06 c * 394 93 92 1 465427.0000 450975.9265 3.20%
397.95/399.36 c 399 108 107 1 465427.0000 451005.4937 3.20%
404.44/405.80 c 406 142 141 1 465427.0000 451008.8980 3.20%
406.23/407.61 c * 408 147 146 1 465423.0000 451008.8980 3.20%
409.91/411.39 c 411 171 170 1 465423.0000 451036.4300 3.19%
415.10/416.58 c 417 192 191 1 465423.0000 451147.2078 3.16%
419.08/420.53 c * 421 204 203 1 465421.0000 451147.2078 3.16%
421.28/422.71 c 423 213 212 1 465421.0000 451147.2078 3.16%
423.77/425.23 c * 425 219 218 1 463420.0000 451147.2078 2.72%
425.47/426.95 c * 427 222 218 1 461421.0000 451246.9911 2.25%
427.76/429.22 c 429 238 218 1 461421.0000 451246.9911 2.25%
429.57/431.04 c * 431 244 220 1 461418.0000 451246.9911 2.25%
433.25/434.72 c 435 260 234 1 461418.0000 451246.9911 2.25%
438.23/439.79 c 440 270 242 1 461418.0000 451254.6588 2.25%
444.71/446.28 c 446 290 256 1 461418.0000 451376.8406 2.22%
450.69/452.23 c 452 308 272 1 461418.0000 451376.8406 2.22%
456.58/458.19 c 458 382 305 1 461418.0000 451480.2078 2.20%
462.05/463.63 c 464 508 311 1 461418.0000 451487.9921 2.20%
467.45/469.08 c 469 595 318 1 461418.0000 451731.0153 2.14%
473.42/475.02 c 475 670 335 1 461418.0000 451955.7552 2.09%
478.41/480.05 c 480 693 346 1 461418.0000 452044.0242 2.07%
483.40/485.06 c 485 732 355 1 461418.0000 452123.3801 2.06%
488.86/490.52 c 491 826 375 1 461418.0000 452131.2661 2.05%
493.95/495.67 c 496 932 381 1 461418.0000 452143.0781 2.05%
499.44/501.17 c 501 1063 386 1 461418.0000 452143.0781 2.05%
503.12/504.87 c * 505 1121 386 1 461417.0000 452143.0781 2.05%
505.21/506.96 c 507 1201 384 1 461417.0000 452143.3360 2.05%
510.79/512.50 c 512 1328 405 1 461417.0000 452162.0662 2.05%
516.18/517.99 c 518 1435 412 1 461417.0000 452171.4312 2.04%
521.46/523.21 c 523 1539 446 1 461417.0000 452217.2349 2.03%
527.04/528.83 c 529 1649 474 1 461417.0000 452276.8342 2.02%
532.42/534.20 c 534 1658 479 1 461417.0000 452288.4030 2.02%
537.50/539.33 c 539 1820 480 1 461417.0000 452292.5064 2.02%
542.98/544.89 c 545 1939 503 1 461417.0000 452319.3131 2.01%
548.76/550.65 c 551 2003 0 1 461417.0000 452456.7199 1.98%
557.34/559.28 c 559 2003 0 1 461417.0000 452756.8361 1.91%
563.32/565.29 c 565 2018 15 1 461417.0000 452989.4235 1.86%
569.00/570.93 c 571 2062 49 1 461417.0000 452989.4235 1.86%
574.78/576.79 c 577 2123 80 1 461417.0000 453098.7606 1.84%
580.47/582.47 c 582 2197 118 1 461417.0000 453098.7623 1.84%
586.55/588.58 c 589 2262 139 1 461417.0000 453409.3848 1.77%
591.84/593.85 c 594 2334 165 1 461417.0000 453521.1223 1.74%
597.71/599.78 c 600 2418 223 1 461417.0000 453649.7190 1.71%
603.00/605.05 c 605 2491 264 1 461417.0000 453905.2367 1.65%
612.07/614.17 c 614 2556 305 1 461417.0000 453969.6122 1.64%
617.34/619.42 c 619 2635 342 1 461417.0000 453969.6122 1.64%
622.63/624.70 c 625 2827 356 1 461417.0000 453969.6122 1.64%
628.71/630.88 c 631 2946 383 1 461417.0000 454087.6136 1.61%
634.19/636.31 c 636 3062 401 1 461417.0000 454203.1796 1.59%
639.77/641.90 c 642 3204 417 1 461417.0000 454297.0590 1.57%
644.97/647.13 c 647 3398 439 1 461417.0000 454302.4002 1.57%
650.95/653.12 c 653 3629 446 1 461417.0000 454345.8796 1.56%
656.41/658.63 c 659 3812 467 1 461417.0000 454410.2534 1.54%
661.81/664.03 c 664 4063 476 1 461417.0000 454421.5907 1.54%
667.68/669.92 c 670 4160 487 1 461417.0000 454547.6007 1.51%
673.56/675.85 c 676 4393 508 1 461417.0000 454590.2765 1.50%
678.65/680.97 c 681 4504 519 1 461417.0000 454615.7500 1.50%
684.22/686.57 c 687 4712 533 1 461417.0000 454630.0303 1.49%
690.20/692.57 c 693 4905 550 1 461417.0000 454720.0322 1.47%
695.38/697.72 c 698 5062 565 1 461417.0000 454754.4240 1.47%
700.96/703.39 c 703 5254 599 1 461417.0000 454783.7402 1.46%
706.24/708.67 c 709 5434 629 1 461417.0000 454797.6840 1.46%
711.63/714.11 c 714 5711 652 1 461417.0000 454807.8395 1.45%
716.90/719.38 c 719 5844 675 1 461417.0000 454909.3867 1.43%
722.60/725.06 c 725 6016 681 1 461417.0000 454920.4469 1.43%
727.86/730.34 c 730 6144 699 1 461417.0000 454935.3553 1.42%
733.44/735.91 c 736 6276 737 1 461417.0000 454965.2673 1.42%
738.93/741.48 c 741 6447 762 1 461417.0000 454993.8159 1.41%
744.70/747.23 c 747 6684 779 1 461417.0000 455053.3656 1.40%
749.98/752.59 c 753 6860 793 1 461417.0000 455064.8298 1.40%
756.16/758.75 c 759 7091 804 1 461417.0000 455074.9313 1.39%
761.74/764.30 c 764 7334 807 1 461417.0000 455104.1171 1.39%
766.82/769.45 c 769 7604 815 1 461417.0000 455114.9465 1.38%
771.90/774.58 c 775 7839 832 1 461417.0000 455116.5735 1.38%
777.18/779.81 c 780 7914 849 1 461417.0000 455169.4881 1.37%
782.86/785.58 c 786 8224 873 1 461417.0000 455254.1136 1.35%
788.14/790.88 c 791 8354 899 1 461417.0000 455285.5623 1.35%
793.83/796.51 c 797 8597 932 1 461417.0000 455297.5480 1.34%
799.11/801.81 c 802 8804 971 1 461417.0000 455302.1313 1.34%
804.40/807.13 c 807 8954 1005 1 461417.0000 455306.3123 1.34%
810.38/813.14 c 813 9250 1021 1 461417.0000 455307.8395 1.34%
815.94/818.78 c 819 9496 1049 1 461417.0000 455315.0726 1.34%
821.52/824.30 c 824 9740 1049 1 461417.0000 455330.5975 1.34%
826.50/829.33 c 829 9944 1057 1 461417.0000 455353.2225 1.33%
832.20/835.10 c 835 10185 1074 1 461417.0000 455363.9446 1.33%
837.28/840.15 c 840 10448 1093 1 461417.0000 455367.1568 1.33%
842.26/845.18 c 845 10654 1119 1 461417.0000 455405.2123 1.32%
847.43/850.36 c 850 10924 1145 1 461417.0000 455408.7979 1.32%
852.61/855.56 c 856 11084 1161 1 461417.0000 455426.9195 1.32%
857.99/860.94 c 861 11344 1181 1 461417.0000 455441.5054 1.31%
863.47/866.49 c 866 11474 1199 1 461417.0000 455460.9672 1.31%
869.06/872.02 c 872 11658 1227 1 461417.0000 455487.9725 1.30%
874.24/877.23 c 877 11904 1243 1 461417.0000 455504.5490 1.30%
880.13/883.18 c 883 12146 1267 1 461417.0000 455516.6735 1.30%
885.29/888.33 c 888 12426 1267 1 461417.0000 455528.5367 1.29%
890.98/894.07 c 894 12763 1262 1 461417.0000 455533.5434 1.29%
896.96/900.04 c 900 13084 1279 1 461417.0000 455546.9476 1.29%
902.33/905.44 c 905 13354 1303 1 461417.0000 455586.4469 1.28%
907.51/910.69 c 911 13654 1317 1 461417.0000 455591.3889 1.28%
912.70/915.87 c 916 13938 1323 1 461417.0000 455592.8615 1.28%
918.18/921.39 c 921 14254 1339 1 461417.0000 455616.5735 1.27%
923.76/926.91 c 927 14501 1368 1 461417.0000 455647.1339 1.27%
925.65/928.89 c * 929 14527 1374 1 459424.0000 455647.1339 0.83%
925.75/928.94 c * 929 14527 1374 1 459421.0000 455647.1339 0.83%
925.75/929.01 c * 929 14547 733 1 459420.0000 455647.1339 0.83%
929.15/932.37 c 932 14763 747 1 459420.0000 455648.9366 0.83%
935.11/938.36 c 938 15118 766 1 459420.0000 455671.6656 0.82%
940.40/943.67 c 944 15454 782 1 459420.0000 455714.2659 0.81%
945.90/949.14 c 949 15814 800 1 459420.0000 455731.0798 0.81%
951.56/954.83 c 955 16214 830 1 459420.0000 455755.5042 0.80%
956.64/959.91 c 960 16612 836 1 459420.0000 455765.3790 0.80%
962.52/965.83 c 966 16982 860 1 459420.0000 455790.0583 0.80%
967.50/970.87 c 971 17354 882 1 459420.0000 455800.2418 0.79%
972.98/976.31 c 976 17475 897 1 459420.0000 455800.5576 0.79%
978.37/981.72 c 982 17854 906 1 459420.0000 455831.4705 0.79%
983.35/986.74 c 987 18137 915 1 459420.0000 455869.7605 0.78%
988.33/991.75 c 992 18502 930 1 459420.0000 455886.6645 0.78%
993.63/997.08 c 997 18916 946 1 459420.0000 455897.8070 0.77%
998.99/1002.40 c 1002 19274 966 1 459420.0000 455909.2618 0.77%
1004.77/1008.27 c 1008 19774 968 1 459420.0000 455919.6020 0.77%
1010.35/1013.85 c 1014 19928 972 1 459420.0000 455924.2066 0.77%
1016.23/1019.79 c 1020 20344 988 1 459420.0000 455966.2600 0.76%
1021.82/1025.38 c 1025 20774 996 1 459420.0000 455980.4686 0.75%
1027.20/1030.74 c 1031 21104 1004 1 459420.0000 455983.8445 0.75%
1032.87/1036.40 c 1036 21374 1006 1 459420.0000 455997.9705 0.75%
1038.85/1042.43 c 1042 21636 1018 1 459420.0000 456030.8631 0.74%
1044.63/1048.20 c 1048 21901 1023 1 459420.0000 456034.0152 0.74%
1049.71/1053.30 c 1053 22164 1032 1 459420.0000 456076.7534 0.73%
1053.99/1057.63 c * 1058 22455 1041 1 459419.0000 456080.0975 0.73%
1055.29/1058.97 c 1059 22533 1040 1 459419.0000 456084.1630 0.73%
1060.39/1064.03 c 1064 22734 1049 1 459419.0000 456094.0879 0.73%
1065.65/1069.37 c 1069 23000 1055 1 459419.0000 456129.8982 0.72%
1071.83/1075.55 c 1076 23304 1065 1 459419.0000 456160.6126 0.71%
1077.81/1081.55 c 1082 23564 1084 1 459419.0000 456212.2139 0.70%
1083.30/1087.06 c 1087 23870 1082 1 459419.0000 456220.9920 0.70%
1089.17/1092.95 c 1093 24204 1090 1 459419.0000 456238.4193 0.70%
1094.65/1098.47 c 1098 24494 1090 1 459419.0000 456254.2798 0.69%
1099.83/1103.66 c 1104 24864 1098 1 459419.0000 456261.3486 0.69%
1105.70/1109.56 c 1110 25229 1113 1 459419.0000 456264.6093 0.69%
1110.79/1114.68 c 1115 25553 1115 1 459419.0000 456280.6131 0.69%
1116.28/1120.17 c 1120 25844 1132 1 459419.0000 456297.7176 0.68%
1121.34/1125.21 c 1125 26134 1148 1 459419.0000 456302.7061 0.68%
1126.92/1130.84 c 1131 26244 1148 1 459419.0000 456303.2159 0.68%
1132.31/1136.27 c 1136 26594 1154 1 459419.0000 456313.8006 0.68%
1138.28/1142.21 c 1142 26919 1177 1 459419.0000 456328.6019 0.68%
1143.67/1147.68 c 1148 27260 1184 1 459419.0000 456331.6372 0.68%
1148.75/1152.72 c 1153 27541 1205 1 459419.0000 456363.9465 0.67%
1153.94/1157.96 c 1158 27904 1202 1 459419.0000 456378.2278 0.67%
1159.03/1163.09 c 1163 28234 1218 1 459419.0000 456390.8177 0.66%
1164.12/1168.16 c 1168 28524 1238 1 459419.0000 456403.8338 0.66%
1169.78/1173.80 c 1174 28847 1249 1 459419.0000 456405.1819 0.66%
1174.76/1178.89 c 1179 29184 1278 1 459419.0000 456406.8049 0.66%
1179.96/1184.06 c 1184 29524 1299 1 459419.0000 456408.7156 0.66%
1185.94/1190.04 c 1190 29934 1309 1 459419.0000 456413.0175 0.66%
1191.10/1195.28 c 1195 30227 1334 1 459419.0000 456417.4964 0.66%
1196.19/1200.36 c 1200 30507 1366 1 459419.0000 456424.4122 0.66%
1201.27/1205.45 c 1205 30874 1373 1 459419.0000 456436.0290 0.65%
1206.87/1211.01 c 1211 31244 1387 1 459419.0000 456451.8525 0.65%
1212.03/1216.25 c 1216 31554 1409 1 459419.0000 456459.8454 0.65%
1217.41/1221.65 c 1222 31904 1411 1 459419.0000 456467.2096 0.65%
1222.40/1226.68 c 1227 32334 1423 1 459419.0000 456474.7560 0.64%
1227.79/1232.05 c 1232 32673 1428 1 459419.0000 456479.3616 0.64%
1233.27/1237.51 c 1238 32994 1436 1 459419.0000 456501.5666 0.64%
1238.86/1243.16 c 1243 33158 1460 1 459419.0000 456505.0938 0.64%
1244.02/1248.30 c 1248 33484 1466 1 459419.0000 456513.1925 0.64%
1250.00/1254.31 c 1254 33879 1486 1 459419.0000 456521.3645 0.63%
1255.28/1259.68 c 1260 34253 1502 1 459419.0000 456554.2622 0.63%
1260.96/1265.33 c 1265 34632 1507 1 459419.0000 456564.1846 0.63%
1266.65/1271.08 c 1271 35054 1511 1 459419.0000 456570.7724 0.62%
1271.73/1276.11 c 1276 35284 1523 1 459419.0000 456583.6322 0.62%
1277.21/1281.66 c 1282 35574 1539 1 459419.0000 456595.6973 0.62%
1282.89/1287.34 c 1287 35983 1564 1 459419.0000 456597.3687 0.62%
1288.16/1292.61 c 1293 36414 1559 1 459419.0000 456602.7440 0.62%
1293.35/1297.85 c 1298 36774 1573 1 459419.0000 456620.7920 0.61%
1298.43/1302.91 c 1303 37109 1562 1 459419.0000 456624.2728 0.61%
1304.09/1308.68 c 1309 37484 1567 1 459419.0000 456630.0999 0.61%
1309.49/1314.03 c 1314 37744 1585 1 459419.0000 456635.2493 0.61%
1314.46/1319.06 c 1319 37964 1589 1 459419.0000 456649.7725 0.61%
1320.13/1324.74 c 1325 38119 1602 1 459419.0000 456654.0323 0.61%
1326.10/1330.72 c 1331 38378 1609 1 459419.0000 456666.2278 0.60%
1331.08/1335.73 c 1336 38597 1626 1 459419.0000 456668.1302 0.60%
1336.86/1341.50 c 1342 38955 1634 1 459419.0000 456681.6406 0.60%
1342.35/1347.08 c 1347 39321 1647 1 459419.0000 456700.1012 0.60%
1347.92/1352.63 c 1353 39743 1649 1 459419.0000 456711.7751 0.59%
1353.20/1357.97 c 1358 39906 1652 1 459419.0000 456722.4914 0.59%
1359.18/1363.95 c 1364 40195 1657 1 459419.0000 456736.2232 0.59%
1364.76/1369.51 c 1370 40484 1682 1 459419.0000 456744.1977 0.59%
1370.25/1375.08 c 1375 40764 1694 1 459419.0000 456751.2810 0.58%
1375.72/1380.57 c 1381 40964 1702 1 459419.0000 456757.7799 0.58%
1380.71/1385.59 c 1386 41274 1712 1 459419.0000 456763.4451 0.58%
1385.99/1390.84 c 1391 41644 1714 1 459419.0000 456782.7402 0.58%
1390.97/1395.87 c 1396 41874 1718 1 459419.0000 456795.5918 0.57%
1396.46/1401.30 c 1401 42142 1730 1 459419.0000 456798.0169 0.57%
1401.75/1406.62 c 1407 42462 1740 1 459419.0000 456799.2808 0.57%
1407.53/1412.42 c 1412 42755 1751 1 459419.0000 456800.3986 0.57%
1412.71/1417.63 c 1418 43032 1762 1 459419.0000 456805.9732 0.57%
1418.50/1423.40 c 1423 43304 1764 1 459419.0000 456813.8006 0.57%
1424.09/1429.02 c 1429 43668 1776 1 459419.0000 456814.8525 0.57%
1429.36/1434.34 c 1434 44024 1782 1 459419.0000 456818.9224 0.57%
1434.64/1439.69 c 1440 44264 1793 1 459419.0000 456829.5998 0.57%
1440.42/1445.45 c 1445 44641 1784 1 459419.0000 456838.3701 0.56%
1445.81/1450.86 c 1451 45014 1799 1 459419.0000 456847.3042 0.56%
1451.89/1456.92 c 1457 45453 1812 1 459419.0000 456851.2779 0.56%
1457.28/1462.32 c 1462 45803 1818 1 459419.0000 456851.8644 0.56%
1462.46/1467.58 c 1468 46264 1825 1 459419.0000 456859.8378 0.56%
1468.14/1473.20 c 1473 46623 1832 1 459419.0000 456885.0917 0.55%
1473.82/1478.92 c 1479 47097 1838 1 459419.0000 456887.7180 0.55%
1479.31/1484.49 c 1484 47536 1851 1 459419.0000 456893.7087 0.55%
1485.29/1490.45 c 1490 47972 1859 1 459419.0000 456897.2465 0.55%
1490.48/1495.62 c 1496 48300 1863 1 459419.0000 456900.5815 0.55%
1496.15/1501.39 c 1501 48664 1867 1 459419.0000 456906.4623 0.55%
1501.85/1507.05 c 1507 48910 1876 1 459419.0000 456911.2618 0.55%
1507.02/1512.22 c 1512 49273 1903 1 459419.0000 456921.4469 0.55%
1512.31/1517.59 c 1518 49694 1911 1 459419.0000 456929.5381 0.54%
1517.59/1522.87 c 1523 49986 1919 1 459419.0000 456935.0713 0.54%
1522.79/1528.06 c 1528 50246 1929 1 459419.0000 456937.2851 0.54%
1527.88/1533.14 c 1533 50614 1947 1 459419.0000 456938.4669 0.54%
1533.44/1538.71 c 1539 51035 1962 1 459419.0000 456947.2568 0.54%
1538.83/1544.19 c 1544 51354 1965 1 459419.0000 456954.6268 0.54%
1544.20/1549.54 c 1550 51694 1959 1 459419.0000 456965.7589 0.54%
1549.88/1555.26 c 1555 51961 1960 1 459419.0000 456972.2007 0.54%
1555.37/1560.77 c 1561 52304 1967 1 459419.0000 456983.1097 0.53%
1561.05/1566.44 c 1566 52594 1999 1 459419.0000 457000.2278 0.53%
1566.24/1571.69 c 1572 52864 2013 1 459419.0000 457011.2743 0.53%
1571.52/1576.92 c 1577 53199 2020 1 459419.0000 457018.8614 0.53%
1576.90/1582.35 c 1582 53584 2027 1 459419.0000 457025.8544 0.52%
1581.89/1587.38 c 1587 53913 2050 1 459419.0000 457036.8039 0.52%
1587.07/1592.54 c 1593 54244 2061 1 459419.0000 457057.5141 0.52%
1592.26/1597.71 c 1598 54644 2079 1 459419.0000 457062.3960 0.52%
1597.65/1603.12 c 1603 54974 2087 1 459419.0000 457063.1650 0.52%
1603.31/1608.85 c 1609 55283 2084 1 459419.0000 457069.5781 0.51%
1608.41/1613.97 c 1614 55514 2079 1 459419.0000 457075.8588 0.51%
1614.38/1619.99 c 1620 55827 2096 1 459419.0000 457081.6679 0.51%
1619.48/1625.07 c 1625 56184 2103 1 459419.0000 457083.8297 0.51%
1624.85/1630.44 c 1630 56434 2113 1 459419.0000 457086.4725 0.51%
1630.63/1636.28 c 1636 56854 2146 1 459419.0000 457094.4426 0.51%
1636.42/1642.06 c 1642 57181 2148 1 459419.0000 457108.0355 0.51%
1641.80/1647.47 c 1647 57474 2153 1 459419.0000 457112.4512 0.50%
1646.88/1652.54 c 1653 57684 2163 1 459419.0000 457117.0040 0.50%
1651.96/1657.60 c 1658 57964 2174 1 459419.0000 457123.5529 0.50%
1657.25/1662.93 c 1663 58334 2178 1 459419.0000 457129.1171 0.50%
1662.44/1668.12 c 1668 58675 2189 1 459419.0000 457129.9191 0.50%
1668.11/1673.86 c 1674 58901 2207 1 459419.0000 457131.1180 0.50%
1673.20/1678.93 c 1679 59212 2207 1 459419.0000 457133.2029 0.50%
1678.68/1684.45 c 1684 59554 2215 1 459419.0000 457144.2815 0.50%
1684.46/1690.29 c 1690 59894 2221 1 459419.0000 457157.8872 0.49%
1690.04/1695.85 c 1696 60188 2227 1 459419.0000 457164.7779 0.49%
1695.42/1701.20 c 1701 60534 2241 1 459419.0000 457167.7921 0.49%
1700.61/1706.42 c 1706 60779 2252 1 459419.0000 457184.5492 0.49%
1706.09/1711.96 c 1712 61104 2263 1 459419.0000 457198.2284 0.49%
1711.87/1717.73 c 1718 61389 2270 1 459419.0000 457207.5324 0.48%
1716.85/1722.74 c 1723 61699 2290 1 459419.0000 457214.2781 0.48%
1722.53/1728.41 c 1728 62041 2298 1 459419.0000 457221.0965 0.48%
1728.31/1734.21 c 1734 62404 2293 1 459419.0000 457234.9737 0.48%
1734.00/1739.98 c 1740 62728 2291 1 459419.0000 457253.2573 0.47%
1739.28/1745.23 c 1745 62874 2305 1 459419.0000 457254.2798 0.47%
1744.96/1750.97 c 1751 63284 2303 1 459419.0000 457254.9240 0.47%
1750.04/1756.06 c 1756 63629 2304 1 459419.0000 457254.9465 0.47%
1755.92/1761.97 c 1762 63995 2312 1 459419.0000 457256.0130 0.47%
1761.01/1767.05 c 1767 64457 2312 1 459419.0000 457260.4942 0.47%
1766.38/1772.43 c 1772 64924 2320 1 459419.0000 457264.6381 0.47%
1771.87/1777.92 c 1778 65221 2327 1 459419.0000 457270.3009 0.47%
1776.84/1783.01 c 1783 65664 2336 1 459419.0000 457283.6505 0.47%
1781.92/1788.08 c 1788 66104 2344 1 459419.0000 457290.1290 0.47%
1787.39/1793.58 c 1794 66564 2358 1 459419.0000 457295.8498 0.46%
1793.17/1799.31 c 1799 66954 2370 1 459419.0000 457297.0150 0.46%
1798.56/1804.72 c 1805 67351 2379 1 459419.0000 457297.0166 0.46%
1804.54/1810.75 c 1811 67822 2404 1 459419.0000 457298.0979 0.46%
1810.42/1816.63 c 1817 68304 2406 1 459419.0000 457298.5163 0.46%
1815.81/1822.02 c 1822 68751 2427 1 459419.0000 457298.5389 0.46%
1820.90/1827.17 c 1827 69089 2431 1 459419.0000 457298.9703 0.46%
1826.57/1832.83 c 1833 69387 2459 1 459419.0000 457299.0169 0.46%
1832.25/1838.51 c 1839 69765 2471 1 459419.0000 457299.6022 0.46%
1837.63/1843.92 c 1844 70230 2496 1 459419.0000 457300.5576 0.46%
1843.11/1849.49 c 1849 70524 2510 1 459419.0000 457304.2408 0.46%
1849.09/1855.46 c 1855 70935 2509 1 459419.0000 457309.2184 0.46%
1854.88/1861.27 c 1861 71316 2520 1 459419.0000 457312.2730 0.46%
1860.45/1866.82 c 1867 71702 2542 1 459419.0000 457313.7999 0.46%
1866.13/1872.58 c 1873 72096 2557 1 459419.0000 457316.4416 0.46%
1871.73/1878.17 c 1878 72512 2569 1 459419.0000 457316.4445 0.46%
1876.80/1883.27 c 1883 72844 2565 1 459419.0000 457325.1500 0.46%
1881.98/1888.47 c 1888 73247 2578 1 459419.0000 457326.8098 0.46%
1887.07/1893.54 c 1894 73614 2589 1 459419.0000 457330.0098 0.46%
1892.25/1898.72 c 1899 74004 2605 1 459419.0000 457331.5518 0.46%
1898.02/1904.51 c 1905 74347 2630 1 459419.0000 457335.4917 0.46%
1905.31/1911.81 c 1912 74589 2651 1 459419.0000 457336.4902 0.46%
1910.60/1917.11 c 1917 74864 2656 1 459419.0000 457339.3464 0.45%
1915.58/1922.19 c 1922 75284 2656 1 459419.0000 457342.2877 0.45%
1920.66/1927.27 c 1927 75584 2658 1 459419.0000 457346.9601 0.45%
1926.63/1933.21 c 1933 75962 2646 1 459419.0000 457352.7542 0.45%
1932.02/1938.64 c 1939 76343 2661 1 459419.0000 457357.1196 0.45%
1937.58/1944.29 c 1944 76798 2664 1 459419.0000 457363.9496 0.45%
1943.07/1949.78 c 1950 77214 2670 1 459419.0000 457375.1040 0.45%
1948.25/1954.90 c 1955 77570 2706 1 459419.0000 457378.3179 0.45%
1953.45/1960.17 c 1960 77974 2712 1 459419.0000 457385.0109 0.44%
1959.21/1965.91 c 1966 78404 2714 1 459419.0000 457390.8916 0.44%
1964.31/1971.06 c 1971 78814 2718 1 459419.0000 457393.7820 0.44%
1969.68/1976.46 c 1976 79154 2714 1 459419.0000 457400.0900 0.44%
1975.66/1982.45 c 1982 79689 2711 1 459419.0000 457404.0119 0.44%
1980.84/1987.61 c 1988 80134 2720 1 459419.0000 457406.2042 0.44%
1986.53/1993.38 c 1993 80615 2729 1 459419.0000 457406.8258 0.44%
1991.62/1998.44 c 1998 81114 2732 1 459419.0000 457407.5704 0.44%
1997.21/2004.05 c 2004 81614 2740 1 459419.0000 457409.3743 0.44%
2003.19/2010.01 c 2010 82012 2742 1 459419.0000 457409.8643 0.44%
2008.95/2015.86 c 2016 82295 2751 1 459419.0000 457410.2534 0.44%
2014.04/2020.94 c 2021 82585 2755 1 459419.0000 457410.2619 0.44%
2019.82/2026.79 c 2027 82935 2771 1 459419.0000 457411.2743 0.44%
2025.12/2032.03 c 2032 83208 2796 1 459419.0000 457412.3940 0.44%
2030.69/2037.69 c 2038 83482 2812 1 459419.0000 457418.5269 0.44%
2035.87/2042.86 c 2043 83805 2823 1 459419.0000 457419.8058 0.44%
2041.07/2048.09 c 2048 84034 2838 1 459419.0000 457422.3579 0.44%
2046.43/2053.48 c 2053 84350 2846 1 459419.0000 457422.4727 0.44%
2051.91/2058.94 c 2059 84664 2846 1 459419.0000 457423.6473 0.44%
2057.01/2064.01 c 2064 84973 2863 1 459419.0000 457425.7499 0.44%
2062.18/2069.26 c 2069 85254 2871 1 459419.0000 457426.6790 0.44%
2067.75/2074.82 c 2075 85634 2877 1 459419.0000 457427.8366 0.44%
2073.24/2080.38 c 2080 85924 2889 1 459419.0000 457428.1521 0.44%
2078.72/2085.83 c 2086 86268 2900 1 459419.0000 457431.7729 0.43%
2083.81/2090.93 c 2091 86593 2911 1 459419.0000 457437.6508 0.43%
2089.10/2096.26 c 2096 86907 2921 1 459419.0000 457445.2275 0.43%
2094.99/2102.15 c 2102 87194 2936 1 459419.0000 457451.8525 0.43%
2100.56/2107.79 c 2108 87713 2937 1 459419.0000 457452.7400 0.43%
2105.85/2113.06 c 2113 88086 2960 1 459419.0000 457453.9917 0.43%
2111.72/2118.98 c 2119 88574 2964 1 459419.0000 457456.9974 0.43%
2117.01/2124.22 c 2124 89068 2978 1 459419.0000 457458.2505 0.43%
2122.39/2129.61 c 2130 89293 3017 1 459419.0000 457458.8947 0.43%
2127.68/2134.92 c 2135 89618 3032 1 459419.0000 457462.8796 0.43%
2132.66/2139.94 c 2140 90014 3048 1 459419.0000 457465.7244 0.43%
2138.15/2145.44 c 2145 90414 3062 1 459419.0000 457470.0857 0.43%
2143.13/2150.47 c 2150 90654 3092 1 459419.0000 457473.0285 0.43%
2148.51/2155.81 c 2156 90954 3122 1 459419.0000 457479.3533 0.42%
2153.51/2160.81 c 2161 91354 3122 1 459419.0000 457481.6680 0.42%
2159.19/2166.50 c 2166 91694 3142 1 459419.0000 457486.0891 0.42%
2164.57/2171.92 c 2172 91994 3154 1 459419.0000 457492.0430 0.42%
2170.45/2177.86 c 2178 92394 3170 1 459419.0000 457502.2772 0.42%
2176.04/2183.44 c 2183 92817 3183 1 459419.0000 457506.5248 0.42%
2181.33/2188.74 c 2189 93244 3188 1 459419.0000 457513.2404 0.42%
2186.31/2193.75 c 2194 93614 3198 1 459419.0000 457517.7528 0.42%
2191.49/2198.96 c 2199 94004 3204 1 459419.0000 457519.5026 0.42%
2196.60/2204.09 c 2204 94376 3206 1 459419.0000 457529.5768 0.41%
2201.87/2209.32 c 2209 94884 3212 1 459419.0000 457530.1163 0.41%
2207.15/2214.64 c 2215 95314 3222 1 459419.0000 457541.2105 0.41%
2212.84/2220.34 c 2220 95644 3236 1 459419.0000 457551.7021 0.41%
2218.41/2225.92 c 2226 96194 3244 1 459419.0000 457557.7992 0.41%
2223.52/2231.11 c 2231 96624 3254 1 459419.0000 457561.1925 0.41%
2229.08/2236.61 c 2237 96994 3260 1 459419.0000 457571.0818 0.40%
2234.17/2241.77 c 2242 97414 3262 1 459419.0000 457573.7490 0.40%
2239.96/2247.58 c 2248 97837 3287 1 459419.0000 457580.3193 0.40%
2245.55/2253.15 c 2253 98294 3306 1 459419.0000 457582.6803 0.40%
2250.83/2258.44 c 2258 98712 3314 1 459419.0000 457584.4652 0.40%
2256.61/2264.22 c 2264 99110 3318 1 459419.0000 457586.4560 0.40%
2262.09/2269.76 c 2270 99394 3316 1 459419.0000 457587.2711 0.40%
2267.27/2275.01 c 2275 99724 3312 1 459419.0000 457595.2666 0.40%
2272.96/2280.63 c 2281 100114 3326 1 459419.0000 457601.7518 0.40%
2273.96/2281.68 c * 2282 100134 3328 1 459418.0000 457601.7683 0.40%
2278.74/2286.48 c 2286 100358 3325 1 459418.0000 457606.3306 0.40%
2284.13/2291.82 c 2292 100704 3331 1 459418.0000 457610.5222 0.39%
2289.32/2297.08 c 2297 101014 3333 1 459418.0000 457612.2222 0.39%
2294.99/2302.72 c 2303 101285 3366 1 459418.0000 457620.9458 0.39%
2300.57/2308.32 c 2308 101595 3368 1 459418.0000 457625.5604 0.39%
2306.15/2313.94 c 2314 101984 3387 1 459418.0000 457627.2113 0.39%
2311.84/2319.60 c 2320 102555 3388 1 459418.0000 457627.7226 0.39%
2317.02/2324.83 c 2325 102864 3387 1 459418.0000 457628.8784 0.39%
2322.21/2330.02 c 2330 103117 3392 1 459418.0000 457628.9726 0.39%
2327.38/2335.21 c 2335 103314 3399 1 459418.0000 457631.6071 0.39%
2332.37/2340.28 c 2340 103553 3406 1 459418.0000 457631.6596 0.39%
2337.95/2345.80 c 2346 103797 3406 1 459418.0000 457634.4293 0.39%
2343.54/2351.41 c 2351 104080 3413 1 459418.0000 457635.1735 0.39%
2349.23/2357.16 c 2357 104364 3421 1 459418.0000 457637.7450 0.39%
2354.60/2362.53 c 2363 104555 3426 1 459418.0000 457642.9697 0.39%
2360.28/2368.22 c 2368 104793 3428 1 459418.0000 457643.6106 0.39%
2365.76/2373.76 c 2374 105044 3437 1 459418.0000 457647.5180 0.39%
2371.26/2379.29 c 2379 105403 3439 1 459418.0000 457651.8010 0.39%
2376.54/2384.50 c 2384 105645 3451 1 459418.0000 457656.2702 0.38%
2381.51/2389.56 c 2390 105989 3447 1 459418.0000 457656.7102 0.38%
2387.40/2395.49 c 2395 106382 3446 1 459418.0000 457659.2268 0.38%
2393.28/2401.32 c 2401 106724 3448 1 459418.0000 457661.2242 0.38%
2398.98/2407.03 c 2407 106918 3466 1 459418.0000 457666.2278 0.38%
2404.25/2412.30 c 2412 107292 3476 1 459418.0000 457669.5611 0.38%
2410.23/2418.30 c 2418 107682 3481 1 459418.0000 457669.8330 0.38%
2415.41/2423.53 c 2424 107974 3499 1 459418.0000 457672.2296 0.38%
2421.02/2429.17 c 2429 108388 3503 1 459418.0000 457672.9842 0.38%
2426.58/2434.77 c 2435 108836 3503 1 459418.0000 457676.5862 0.38%
2432.56/2440.79 c 2441 109230 3513 1 459418.0000 457684.1888 0.38%
2438.25/2446.40 c 2446 109594 3509 1 459418.0000 457690.0522 0.38%
2443.85/2452.04 c 2452 109914 3527 1 459418.0000 457697.6233 0.38%
2449.12/2457.37 c 2457 110254 3531 1 459418.0000 457701.1178 0.38%
2454.30/2462.59 c 2463 110584 3535 1 459418.0000 457706.1790 0.37%
2459.48/2467.75 c 2468 110873 3540 1 459418.0000 457719.8686 0.37%
2464.57/2472.81 c 2473 111224 3545 1 459418.0000 457727.1469 0.37%
2470.16/2478.41 c 2478 111564 3543 1 459418.0000 457730.6521 0.37%
2475.24/2483.54 c 2484 111824 3566 1 459418.0000 457735.7525 0.37%
2480.32/2488.69 c 2489 112254 3575 1 459418.0000 457742.0229 0.37%
2485.50/2493.82 c 2494 112598 3595 1 459418.0000 457743.9201 0.37%
2490.99/2499.33 c 2499 112814 3613 1 459418.0000 457744.6256 0.37%
2496.37/2504.70 c 2505 113027 3634 1 459418.0000 457747.7641 0.36%
2501.55/2509.91 c 2510 113275 3636 1 459418.0000 457749.6978 0.36%
2507.24/2515.63 c 2516 113514 3639 1 459418.0000 457751.1920 0.36%
2512.22/2520.67 c 2521 113717 3651 1 459418.0000 457751.1971 0.36%
2517.71/2526.13 c 2526 113964 3664 1 459418.0000 457756.0130 0.36%
2523.28/2531.72 c 2532 114255 3665 1 459418.0000 457759.5122 0.36%
2528.76/2537.21 c 2537 114490 3672 1 459418.0000 457760.0128 0.36%
2534.56/2543.02 c 2543 114771 3683 1 459418.0000 457761.1092 0.36%
2539.94/2548.41 c 2548 115089 3682 1 459418.0000 457761.4106 0.36%
2545.22/2553.73 c 2554 115394 3681 1 459418.0000 457770.0016 0.36%
2550.80/2559.37 c 2559 115652 3691 1 459418.0000 457773.1279 0.36%
2555.98/2564.53 c 2565 115970 3693 1 459418.0000 457785.6177 0.36%
2561.06/2569.64 c 2570 116254 3707 1 459418.0000 457786.4627 0.36%
2566.34/2575.01 c 2575 116504 3711 1 459418.0000 457790.8090 0.36%
2571.82/2580.42 c 2580 116809 3724 1 459418.0000 457792.3321 0.36%
2577.20/2585.81 c 2586 117145 3728 1 459418.0000 457792.9862 0.35%
2582.98/2591.69 c 2592 117467 3736 1 459418.0000 457793.8756 0.35%
2588.17/2596.80 c 2597 117736 3743 1 459418.0000 457794.7470 0.35%
2593.37/2602.04 c 2602 118033 3766 1 459418.0000 457795.2761 0.35%
2598.45/2607.13 c 2607 118394 3789 1 459418.0000 457797.7779 0.35%
2603.72/2612.40 c 2612 118714 3809 1 459418.0000 457798.2949 0.35%
2608.80/2617.51 c 2618 119004 3817 1 459418.0000 457798.4115 0.35%
2614.09/2622.86 c 2623 119354 3825 1 459418.0000 457799.0169 0.35%
2619.17/2627.92 c 2628 119649 3830 1 459418.0000 457799.6024 0.35%
2624.27/2633.01 c 2633 120054 3831 1 459418.0000 457801.4946 0.35%
2629.54/2638.37 c 2638 120374 3851 1 459418.0000 457801.6898 0.35%
2635.13/2643.90 c 2644 120751 3854 1 459418.0000 457802.4105 0.35%
2640.22/2649.10 c 2649 121024 3861 1 459418.0000 457806.1448 0.35%
2645.79/2654.64 c 2655 121335 3876 1 459418.0000 457806.5890 0.35%
2651.07/2659.90 c 2660 121650 3875 1 459418.0000 457806.9386 0.35%
2656.66/2665.54 c 2666 122013 3890 1 459418.0000 457807.2797 0.35%
2661.64/2670.56 c 2671 122239 3894 1 459418.0000 457807.5622 0.35%
2667.42/2676.33 c 2676 122547 3902 1 459418.0000 457810.3054 0.35%
2672.70/2681.63 c 2682 122815 3926 1 459418.0000 457811.2756 0.35%
2677.89/2686.89 c 2687 123134 3939 1 459418.0000 457811.2756 0.35%
2683.57/2692.56 c 2693 123364 3959 1 459418.0000 457814.2707 0.35%
2688.95/2697.91 c 2698 123584 3961 1 459418.0000 457817.8021 0.35%
2694.43/2703.49 c 2703 123774 3977 1 459418.0000 457819.3508 0.35%
2700.13/2709.11 c 2709 124050 3981 1 459418.0000 457822.1424 0.35%
2705.20/2714.21 c 2714 124272 3985 1 459418.0000 457825.4956 0.35%
2710.88/2719.97 c 2720 124469 3992 1 459418.0000 457829.8758 0.35%
2716.16/2725.29 c 2725 124684 3991 1 459418.0000 457830.5982 0.35%
2721.64/2730.78 c 2731 124964 4003 1 459418.0000 457835.4806 0.35%
2726.83/2735.96 c 2736 125208 4001 1 459418.0000 457835.7728 0.35%
2732.61/2741.71 c 2742 125599 4008 1 459418.0000 457839.0800 0.34%
2737.59/2746.79 c 2747 125878 4009 1 459418.0000 457841.9356 0.34%
2743.38/2752.54 c 2753 126144 4011 1 459418.0000 457842.8466 0.34%
2748.66/2757.89 c 2758 126374 4017 1 459418.0000 457846.8676 0.34%
2754.54/2763.75 c 2764 126743 4020 1 459418.0000 457848.6194 0.34%
2760.12/2769.31 c 2769 127014 4025 1 459418.0000 457851.4420 0.34%
2765.41/2774.63 c 2775 127264 4035 1 459418.0000 457852.1791 0.34%
2770.81/2780.07 c 2780 127516 4033 1 459418.0000 457854.4504 0.34%
2776.28/2785.51 c 2786 127764 4036 1 459418.0000 457857.8477 0.34%
2781.66/2790.99 c 2791 128049 4035 1 459418.0000 457861.4941 0.34%
2787.14/2796.47 c 2796 128334 4034 1 459418.0000 457868.7012 0.34%
2792.33/2801.67 c 2802 128554 4044 1 459418.0000 457874.2679 0.34%
2797.51/2806.89 c 2807 128734 4042 1 459418.0000 457877.5536 0.34%
2802.99/2812.36 c 2812 128993 4059 1 459418.0000 457877.6646 0.34%
2808.07/2817.43 c 2817 129205 4063 1 459418.0000 457879.0769 0.34%
2813.06/2822.48 c 2822 129484 4064 1 459418.0000 457879.7930 0.34%
2818.24/2827.61 c 2828 129734 4060 1 459418.0000 457885.0917 0.33%
2823.93/2833.34 c 2833 130039 4069 1 459418.0000 457887.5036 0.33%
2829.63/2839.03 c 2839 130354 4072 1 459418.0000 457889.0418 0.33%
2835.50/2844.93 c 2845 130699 4075 1 459418.0000 457893.6922 0.33%
2840.78/2850.25 c 2850 130994 4078 1 459418.0000 457897.1632 0.33%
2846.36/2855.87 c 2856 131285 4101 1 459418.0000 457900.3820 0.33%
2851.76/2861.25 c 2861 131574 4112 1 459418.0000 457904.4393 0.33%
2857.65/2867.19 c 2867 131872 4120 1 459418.0000 457906.7518 0.33%
2862.72/2872.21 c 2872 132154 4110 1 459418.0000 457908.5161 0.33%
2868.70/2878.20 c 2878 132529 4125 1 459418.0000 457909.2668 0.33%
2873.69/2883.23 c 2883 132906 4148 1 459418.0000 457909.8649 0.33%
2878.87/2888.41 c 2888 133204 4150 1 459418.0000 457910.2619 0.33%
2884.16/2893.71 c 2894 133474 4162 1 459418.0000 457911.2044 0.33%
2889.35/2898.96 c 2899 133704 4192 1 459418.0000 457912.2722 0.33%
2894.33/2903.99 c 2904 134037 4215 1 459418.0000 457913.7851 0.33%
2900.01/2909.68 c 2910 134394 4212 1 459418.0000 457916.8566 0.33%
2905.71/2915.37 c 2915 134705 4221 1 459418.0000 457920.3459 0.33%
2910.89/2920.60 c 2921 135014 4216 1 459418.0000 457923.3426 0.33%
2916.48/2926.15 c 2926 135401 4229 1 459418.0000 457925.4186 0.33%
2921.66/2931.38 c 2931 135724 4232 1 459418.0000 457932.0879 0.32%
2926.94/2936.70 c 2937 136044 4250 1 459418.0000 457939.9741 0.32%
2932.22/2941.90 c 2942 136334 4262 1 459418.0000 457943.8531 0.32%
2937.33/2947.09 c 2947 136724 4266 1 459418.0000 457949.2389 0.32%
2942.80/2952.50 c 2952 137096 4276 1 459418.0000 457949.7491 0.32%
2948.08/2957.84 c 2958 137379 4283 1 459418.0000 457951.5682 0.32%
2953.48/2963.23 c 2963 137733 4293 1 459418.0000 457953.0469 0.32%
2959.46/2969.24 c 2969 138151 4297 1 459418.0000 457956.8363 0.32%
2964.94/2974.78 c 2975 138504 4298 1 459418.0000 457962.1428 0.32%
2970.53/2980.31 c 2980 138972 4308 1 459418.0000 457964.2296 0.32%
2975.81/2985.60 c 2986 139274 4328 1 459418.0000 457966.8278 0.32%
2980.90/2990.72 c 2991 139534 4346 1 459418.0000 457968.2652 0.32%
2985.99/2995.86 c 2996 139870 4346 1 459418.0000 457972.3288 0.32%
2991.57/3001.45 c 3001 140174 4350 1 459418.0000 457975.6593 0.31%
2997.17/3007.09 c 3007 140674 4350 1 459418.0000 457980.4678 0.31%
3002.95/3012.87 c 3013 141054 4354 1 459418.0000 457987.7045 0.31%
3008.63/3018.51 c 3019 141364 4384 1 459418.0000 457991.0083 0.31%
3013.62/3023.52 c 3024 141664 4392 1 459418.0000 457994.0220 0.31%
3019.50/3029.47 c 3029 142080 4384 1 459418.0000 457998.2054 0.31%
3025.49/3035.48 c 3035 142547 4389 1 459418.0000 457999.2701 0.31%
3030.57/3040.58 c 3041 142974 4398 1 459418.0000 458001.9097 0.31%
3036.36/3046.38 c 3046 143281 4395 1 459418.0000 458002.8874 0.31%
3041.74/3051.79 c 3052 143574 4400 1 459418.0000 458009.3925 0.31%
3046.93/3056.90 c 3057 143783 4425 1 459418.0000 458012.5126 0.31%
3051.92/3061.97 c 3062 144064 4424 1 459418.0000 458015.1406 0.31%
3057.50/3067.58 c 3068 144455 4427 1 459418.0000 458018.6156 0.31%
3062.80/3072.87 c 3073 144764 4426 1 459418.0000 458026.1098 0.30%
3068.38/3078.45 c 3078 145074 4430 1 459418.0000 458027.2586 0.30%
3074.16/3084.23 c 3084 145390 4442 1 459418.0000 458028.6561 0.30%
3079.55/3089.64 c 3090 145615 4448 1 459418.0000 458029.2057 0.30%
3084.94/3095.04 c 3095 145879 4446 1 459418.0000 458029.2195 0.30%
3090.42/3100.57 c 3101 146234 4449 1 459418.0000 458030.4010 0.30%
3096.41/3106.50 c 3106 146542 4451 1 459418.0000 458031.1131 0.30%
3101.59/3111.71 c 3112 146764 4443 1 459418.0000 458031.6131 0.30%
3107.07/3117.29 c 3117 147124 4449 1 459418.0000 458032.7681 0.30%
3112.46/3122.64 c 3123 147524 4457 1 459418.0000 458035.0923 0.30%
3117.96/3128.16 c 3128 147802 4479 1 459418.0000 458036.5815 0.30%
3123.14/3133.30 c 3133 148064 4479 1 459418.0000 458039.7364 0.30%
3128.93/3139.16 c 3139 148374 4483 1 459418.0000 458041.5043 0.30%
3134.60/3144.81 c 3145 148692 4493 1 459418.0000 458044.8270 0.30%
3139.89/3150.16 c 3150 148956 4491 1 459418.0000 458045.3666 0.30%
3145.08/3155.36 c 3155 149268 4489 1 459418.0000 458046.3218 0.30%
3150.56/3160.84 c 3161 149514 4497 1 459418.0000 458050.8563 0.30%
3156.45/3166.71 c 3167 149806 4507 1 459418.0000 458054.3372 0.30%
3161.53/3171.85 c 3172 150044 4515 1 459418.0000 458055.8441 0.30%
3167.31/3177.65 c 3178 150314 4539 1 459418.0000 458057.8997 0.30%
3172.40/3182.72 c 3183 150519 4550 1 459418.0000 458058.3408 0.30%
3177.70/3188.05 c 3188 150864 4563 1 459418.0000 458061.1291 0.30%
3182.97/3193.39 c 3193 151214 4559 1 459418.0000 458062.4460 0.30%
3188.77/3199.11 c 3199 151654 4559 1 459418.0000 458064.8130 0.30%
3194.24/3204.66 c 3205 151965 4561 1 459418.0000 458065.1459 0.30%
3199.23/3209.68 c 3210 152234 4578 1 459418.0000 458067.8301 0.29%
3204.32/3214.72 c 3215 152584 4586 1 459418.0000 458068.7060 0.29%
3209.50/3219.94 c 3220 152914 4580 1 459418.0000 458070.3468 0.29%
3215.09/3225.50 c 3226 153247 4595 1 459418.0000 458071.1045 0.29%
3220.08/3230.52 c 3231 153534 4616 1 459418.0000 458071.9883 0.29%
3225.67/3236.17 c 3236 153932 4612 1 459418.0000 458072.4894 0.29%
3231.66/3242.12 c 3242 154432 4608 1 459418.0000 458074.3871 0.29%
3236.93/3247.46 c 3247 154765 4611 1 459418.0000 458075.2735 0.29%
3242.72/3253.24 c 3253 155170 4650 1 459418.0000 458075.3303 0.29%
3248.51/3259.07 c 3259 155461 4653 1 459418.0000 458076.2934 0.29%
3253.50/3264.08 c 3264 155784 4678 1 459418.0000 458077.4524 0.29%
3259.08/3269.60 c 3270 156066 4706 1 459418.0000 458077.4550 0.29%
3264.58/3275.19 c 3275 156462 4721 1 459418.0000 458077.9423 0.29%
3269.95/3280.53 c 3281 156761 4772 1 459418.0000 458077.9503 0.29%
3275.63/3286.28 c 3286 157120 4789 1 459418.0000 458081.2413 0.29%
3281.22/3291.84 c 3292 157504 4793 1 459418.0000 458084.4364 0.29%
3286.31/3296.94 c 3297 157814 4785 1 459418.0000 458088.3304 0.29%
3291.60/3302.26 c 3302 158254 4785 1 459418.0000 458091.0541 0.29%
3296.88/3307.55 c 3308 158623 4798 1 459418.0000 458097.5487 0.29%
3302.07/3312.77 c 3313 158914 4825 1 459418.0000 458101.7635 0.29%
3307.25/3317.96 c 3318 159190 4847 1 459418.0000 458105.9326 0.29%
3312.94/3323.63 c 3324 159582 4855 1 459418.0000 458107.3907 0.29%
3318.23/3328.90 c 3329 159928 4869 1 459418.0000 458113.0909 0.28%
3323.71/3334.40 c 3334 160234 4897 1 459418.0000 458113.6795 0.28%
3328.79/3339.57 c 3340 160574 4905 1 459418.0000 458117.2735 0.28%
3334.07/3344.85 c 3345 160944 4919 1 459418.0000 458118.2502 0.28%
3340.05/3350.83 c 3351 161278 4929 1 459418.0000 458119.1596 0.28%
3345.75/3356.57 c 3357 161704 4935 1 459418.0000 458124.5753 0.28%
3351.03/3361.87 c 3362 162117 4953 1 459418.0000 458124.9287 0.28%
3357.01/3367.86 c 3368 162589 4963 1 459418.0000 458125.8138 0.28%
3362.31/3373.15 c 3373 163013 4973 1 459418.0000 458126.4314 0.28%
3367.38/3378.25 c 3378 163454 4980 1 459418.0000 458126.8051 0.28%
3372.57/3383.49 c 3383 163834 5004 1 459418.0000 458127.4316 0.28%
3377.66/3388.54 c 3389 164294 5022 1 459418.0000 458130.5920 0.28%
3383.15/3394.08 c 3394 164854 5008 1 459418.0000 458134.8811 0.28%
3388.63/3399.55 c 3400 165263 5007 1 459418.0000 458136.4373 0.28%
3393.92/3404.87 c 3405 165714 5024 1 459418.0000 458139.0073 0.28%
3399.40/3410.39 c 3410 166254 5020 1 459418.0000 458140.9406 0.28%
3405.09/3416.05 c 3416 166594 5038 1 459418.0000 458147.1713 0.28%
3410.09/3421.08 c 3421 167014 5052 1 459418.0000 458151.4524 0.28%
3415.26/3426.22 c 3426 167334 5078 1 459418.0000 458153.6661 0.28%
3420.95/3432.01 c 3432 167672 5078 1 459418.0000 458155.6397 0.28%
3426.43/3437.44 c 3437 168103 5089 1 459418.0000 458158.0140 0.28%
3431.82/3442.87 c 3443 168634 5098 1 459418.0000 458158.7913 0.27%
3438.50/3449.54 c 3450 169072 5134 1 459418.0000 458159.6130 0.27%
3443.78/3454.87 c 3455 169704 5178 1 459418.0000 458160.9183 0.27%
3448.99/3460.10 c 3460 170204 5222 1 459418.0000 458161.0477 0.27%
3454.56/3465.60 c 3466 170714 5224 1 459418.0000 458174.2599 0.27%
3459.55/3470.60 c 3471 171234 5226 1 459418.0000 458179.9813 0.27%
3464.63/3475.70 c 3476 171684 5224 1 459418.0000 458184.0526 0.27%
3470.31/3481.49 c 3481 172074 5198 1 459418.0000 458185.2358 0.27%
3475.70/3486.85 c 3487 172547 5189 1 459418.0000 458185.4862 0.27%
3481.39/3492.58 c 3493 173034 5189 1 459418.0000 458186.8022 0.27%
3487.37/3498.54 c 3499 173516 5216 1 459418.0000 458187.3301 0.27%
3492.46/3503.65 c 3504 173854 5222 1 459418.0000 458187.6728 0.27%
3497.55/3508.78 c 3509 174214 5222 1 459418.0000 458192.3408 0.27%
3500.14/3511.38 c * 3511 174392 5224 1 459417.0000 458193.0491 0.27%
3503.03/3514.28 c 3514 174564 5125 1 459417.0000 458195.9863 0.27%
3508.83/3520.01 c 3520 174914 5113 1 459417.0000 458196.2499 0.27%
3514.00/3525.29 c 3525 175343 5110 1 459417.0000 458201.2732 0.27%
3520.08/3531.30 c 3531 175703 5110 1 459417.0000 458205.5526 0.26%
3525.17/3536.42 c 3536 176000 5131 1 459417.0000 458209.9433 0.26%
3530.26/3541.51 c 3542 176253 5158 1 459417.0000 458211.2788 0.26%
3535.34/3546.61 c 3547 176474 5197 1 459417.0000 458211.2822 0.26%
3540.63/3551.91 c 3552 176784 5207 1 459417.0000 458212.8023 0.26%
3546.12/3557.43 c 3557 177070 5209 1 459417.0000 458215.4220 0.26%
3551.20/3562.59 c 3563 177384 5203 1 459417.0000 458224.2158 0.26%
3556.49/3567.80 c 3568 177708 5189 1 459417.0000 458226.2052 0.26%
3561.69/3573.08 c 3573 178014 5197 1 459417.0000 458229.0497 0.26%
3567.06/3578.42 c 3578 178249 5224 1 459417.0000 458229.4740 0.26%
3572.85/3584.27 c 3584 178614 5215 1 459417.0000 458229.4759 0.26%
3578.33/3589.70 c 3590 178911 5225 1 459417.0000 458231.0934 0.26%
3583.52/3594.94 c 3595 179134 5230 1 459417.0000 458231.9387 0.26%
3586.72/3598.14 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.72/3598.14 c Total Time : 3598.14
3586.72/3598.14 c solving : 3598.14
3586.72/3598.14 c presolving : 178.57 (included in solving)
3586.72/3598.14 c B&B Tree :
3586.72/3598.14 c nodes (total) : 1
3586.72/3598.14 c Solution :
3586.72/3598.14 c Solutions found : 17
3586.72/3598.14 c Primal Bound : +4.59417000000000e+05
3586.72/3598.14 c Dual Bound : +4.58232073965494e+05
3586.72/3598.14 c Gap : 0.25859 %
3586.72/3598.14 c * Warning: final gap: 2.58586e-03 is greater than SCIPepsilon: 1.00000e-09
3586.72/3598.19 o 459417
3586.72/3598.19 s SATISFIABLE
3586.72/3598.19 v x2670 -x2669 -x2668 -x2667 x2666 -x2665 -x2664 -x2663 x2662 -x2661 -x2660 -x2659 -x2658 -x2657 x2656 -x2655 x2654 -x2653 -x2652
3586.72/3598.19 v -x2651 x2650 -x2649 -x2648 -x2647 x2646 -x2645 -x2644 -x2643 -x2642 x2641 -x2640 -x2639 x2638 -x2637 -x2636 -x2635 x2634 -x2633
3586.72/3598.19 v -x2632 -x2631 -x2630 -x2629 -x2628 x2627 x2626 -x2625 -x2624 -x2623 x2622 -x2621 -x2620 -x2619 x2618 -x2617 -x2616 -x2615
3586.72/3598.19 v x2614 -x2613 -x2612 -x2611 x2610 -x2609 -x2608 -x2607 x2606 -x2605 -x2604 -x2603 x2602 -x2601 -x2600 -x2599 x2598 -x2597 -x2596
3586.72/3598.19 v -x2595 x2594 -x2593 -x2592 -x2591 x2590 -x2589 -x2588 -x2587 x2586 -x2585 -x2584 -x2583 -x2582 -x2581 x2580 -x2579 x2578
3586.72/3598.19 v -x2577 -x2576 -x2575 x2574 -x2573 -x2572 -x2571 x2570 -x2569 -x2568 -x2567 -x2566 x2565 -x2564 -x2563 x2562 -x2561 -x2560 -x2559
3586.72/3598.19 v x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 x2551 x2550 -x2549 -x2548 -x2547 x2546 -x2545 -x2544 -x2543 x2542 -x2541
3586.72/3598.19 v -x2540 -x2539 x2538 -x2537 -x2536 -x2535 x2534 -x2533 -x2532 -x2531 x2530 -x2529 -x2528 -x2527 x2526 -x2525 -x2524 -x2523 x2522
3586.72/3598.19 v -x2521 -x2520 -x2519 -x2518 -x2517 x2516 -x2515 x2514 -x2513 -x2512 -x2511 x2510 -x2509 -x2508 -x2507 x2506 -x2505 -x2504
3586.72/3598.19 v -x2503 -x2502 x2501 -x2500 -x2499 x2498 -x2497 -x2496 -x2495 x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 x2487 x2486 -x2485
3586.72/3598.19 v -x2484 -x2483 x2482 -x2481 -x2480 -x2479 x2478 -x2477 -x2476 -x2475 x2474 -x2473 -x2472 -x2471 x2470 -x2469 -x2468 -x2467
3586.72/3598.19 v x2466 -x2465 -x2464 -x2463 x2462 -x2461 -x2460 -x2459 x2458 -x2457 -x2456 -x2455 -x2454 -x2453 x2452 -x2451 x2450 -x2449 -x2448
3586.72/3598.19 v -x2447 x2446 -x2445 -x2444 -x2443 x2442 -x2441 -x2440 -x2439 -x2438 x2437 -x2436 -x2435 x2434 -x2433 -x2432 -x2431 x2430 -x2429
3586.72/3598.19 v -x2428 -x2427 -x2426 -x2425 -x2424 x2423 x2422 -x2421 -x2420 -x2419 x2418 -x2417 -x2416 -x2415 x2414 -x2413 -x2412 -x2411
3586.72/3598.19 v x2410 -x2409 -x2408 -x2407 x2406 -x2405 -x2404 -x2403 x2402 -x2401 -x2400 -x2399 x2398 -x2397 -x2396 -x2395 -x2394 -x2393
3586.72/3598.19 v x2392 -x2391 x2390 -x2389 -x2388 -x2387 x2386 -x2385 -x2384 -x2383 x2382 -x2381 -x2380 -x2379 -x2378 x2377 -x2376 -x2375 x2374
3586.72/3598.19 v -x2373 -x2372 -x2371 x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 x2363 x2362 -x2361 -x2360 -x2359 x2358 -x2357 -x2356 -x2355
3586.72/3598.19 v x2354 -x2353 -x2352 -x2351 x2350 -x2349 -x2348 -x2347 x2346 -x2345 -x2344 -x2343 x2342 -x2341 -x2340 -x2339 x2338 -x2337
3586.72/3598.19 v -x2336 -x2335 -x2334 -x2333 x2332 -x2331 x2330 -x2329 -x2328 -x2327 x2326 -x2325 -x2324 -x2323 x2322 -x2321 -x2320 -x2319 -x2318
3586.72/3598.19 v x2317 -x2316 -x2315 x2314 -x2313 -x2312 -x2311 x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 x2303 x2302 -x2301 -x2300
3586.72/3598.19 v -x2299 -x2298 x2297 x2296 -x2295 x2294 -x2293 x2292 -x2291 -x2290 -x2289 x2288 -x2287 -x2286 -x2285 -x2284 -x2283 x2282 -x2281
3586.72/3598.19 v x2280 -x2279 -x2278 -x2277 x2276 -x2275 x2274 -x2273 -x2272 x2271 x2270 -x2269 -x2268 -x2267 x2266 -x2265 x2264 -x2263 x2262
3586.72/3598.19 v -x2261 -x2260 -x2259 x2258 -x2257 -x2256 -x2255 -x2254 -x2253 x2252 -x2251 x2250 -x2249 x2248 -x2247 -x2246 -x2245 -x2244
3586.72/3598.19 v x2243 x2242 -x2241 -x2240 -x2239 x2238 -x2237 -x2236 -x2235 x2234 -x2233 -x2232 -x2231 -x2230 x2229 x2228 -x2227 -x2226 -x2225
3586.72/3598.19 v x2224 -x2223 -x2222 -x2221 -x2220 x2219 -x2218 -x2217 x2216 -x2215 -x2214 x2213 -x2212 x2211 -x2210 -x2209 -x2208 -x2207 x2206
3586.72/3598.19 v -x2205 -x2204 -x2203 -x2202 x2201 x2200 -x2199 -x2198 -x2197 x2196 -x2195 -x2194 -x2193 x2192 -x2191 -x2190 x2189 x2188
3586.72/3598.19 v -x2187 -x2186 x2185 x2184 -x2183 -x2182 -x2181 -x2180 -x2179 x2178 -x2177 -x2176 x2175 x2174 -x2173 -x2172 -x2171 x2170 -x2169
3586.72/3598.19 v x2168 -x2167 -x2166 -x2165 -x2164 -x2163 x2162 -x2161 x2160 -x2159 -x2158 -x2157 -x2156 x2155 -x2154 -x2153 -x2152 -x2151 -x2150
3586.72/3598.19 v x2149 -x2148 -x2147 x2146 -x2145 -x2144 -x2143 -x2142 x2141 x2140 -x2139 -x2138 -x2137 -x2136 x2135 x2134 -x2133 x2132
3586.72/3598.19 v -x2131 x2130 -x2129 -x2128 -x2127 -x2126 -x2125 -x2124 x2123 x2122 -x2121 -x2120 -x2119 -x2118 x2117 -x2116 -x2115 -x2114 x2113
3586.72/3598.19 v x2112 -x2111 x2110 -x2109 -x2108 -x2107 -x2106 x2105 -x2104 x2103 -x2102 -x2101 -x2100 x2099 x2098 -x2097 x2096 -x2095 x2094
3586.72/3598.19 v -x2093 x2092 -x2091 x2090 -x2089 -x2088 -x2087 x2086 -x2085 -x2084 -x2083 x2082 -x2081 -x2080 -x2079 x2078 -x2077 -x2076 -x2075
3586.72/3598.19 v x2074 -x2073 -x2072 -x2071 x2070 -x2069 -x2068 -x2067 -x2066 -x2065 x2064 -x2063 x2062 -x2061 -x2060 -x2059 x2058 -x2057
3586.72/3598.19 v -x2056 -x2055 x2054 -x2053 x2052 -x2051 -x2050 -x2049 x2048 -x2047 -x2046 -x2045 x2044 -x2043 -x2042 -x2041 x2040 -x2039 x2038
3586.72/3598.19 v -x2037 x2036 -x2035 x2034 -x2033 -x2032 -x2031 x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 x2023 x2022 -x2021 -x2020
3586.72/3598.19 v -x2019 x2018 -x2017 -x2016 -x2015 -x2014 -x2013 x2012 -x2011 x2010 -x2009 -x2008 -x2007 x2006 -x2005 -x2004 -x2003 x2002 -x2001
3586.72/3598.19 v -x2000 -x1999 x1998 -x1997 -x1996 -x1995 x1994 -x1993 -x1992 -x1991 x1990 -x1989 x1988 -x1987 x1986 -x1985 -x1984 -x1983 x1982
3586.72/3598.19 v -x1981 -x1980 -x1979 x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 x1971 -x1970 x1969 -x1968 -x1967 x1966 -x1965 -x1964
3586.72/3598.19 v -x1963 x1962 -x1961 -x1960 -x1959 -x1958 -x1957 x1956 -x1955 x1954 -x1953 -x1952 -x1951 x1950 -x1949 -x1948 -x1947 x1946 -x1945
3586.72/3598.19 v -x1944 -x1943 x1942 -x1941 -x1940 -x1939 x1938 -x1937 -x1936 -x1935 x1934 -x1933 -x1932 -x1931 x1930 -x1929 x1928 -x1927
3586.72/3598.19 v x1926 -x1925 -x1924 -x1923 x1922 -x1921 -x1920 -x1919 x1918 -x1917 -x1916 -x1915 -x1914 x1913 -x1912 -x1911 x1910 -x1909 -x1908
3586.72/3598.19 v -x1907 x1906 -x1905 -x1904 -x1903 x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 -x1895 x1894 -x1893 -x1892 -x1891 x1890
3586.72/3598.19 v -x1889 -x1888 -x1887 x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 x1879 x1878 -x1877 -x1876 -x1875 -x1874 x1873 -x1872 -x1871
3586.72/3598.19 v x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 x1863 -x1862 -x1861 x1860 -x1859 x1858 -x1857 x1856 -x1855 x1854 -x1853 x1852
3586.72/3598.19 v -x1851 x1850 -x1849 x1848 -x1847 x1846 -x1845 x1844 -x1843 x1842 -x1841 x1840 -x1839 x1838 -x1837 x1836 -x1835 x1834 -x1833
3586.72/3598.19 v x1832 -x1831 x1830 -x1829 -x1828 -x1827 -x1826 x1825 -x1824 -x1823 x1822 -x1821 x1820 -x1819 x1818 -x1817 -x1816 x1815 -x1814
3586.72/3598.19 v -x1813 -x1812 x1811 -x1810 x1809 -x1808 x1807 -x1806 -x1805 -x1804 -x1803 -x1802 x1801 -x1800 x1799 -x1798 -x1797 -x1796
3586.72/3598.19 v x1795 x1794 -x1793 x1792 -x1791 x1790 -x1789 x1788 -x1787 -x1786 x1785 x1784 -x1783 -x1782 -x1781 x1780 -x1779 x1778 -x1777
3586.72/3598.19 v x1776 -x1775 -x1774 x1773 x1772 -x1771 x1770 -x1769 -x1768 x1767 -x1766 -x1765 -x1764 -x1763 -x1762 x1761 x1760 -x1759 -x1758
3586.72/3598.19 v -x1757 -x1756 x1755 -x1754 -x1753 x1752 -x1751 -x1750 -x1749 -x1748 -x1747 -x1746 x1745 x1744 -x1743 -x1742 -x1741 -x1740 x1739
3586.72/3598.19 v -x1738 -x1737 x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 x1729 x1728 -x1727 -x1726 -x1725 -x1724 x1723 -x1722 -x1721
3586.72/3598.19 v -x1720 -x1719 x1718 -x1717 -x1716 -x1715 -x1714 x1713 -x1712 -x1711 x1710 -x1709 -x1708 -x1707 -x1706 x1705 -x1704 -x1703 -x1702
3586.72/3598.19 v x1701 -x1700 x1699 -x1698 x1697 -x1696 x1695 -x1694 x1693 x1692 -x1691 x1690 -x1689 -x1688 x1687 x1686 -x1685 x1684 -x1683
3586.72/3598.19 v x1682 -x1681 x1680 -x1679 -x1678 x1677 x1676 -x1675 x1674 -x1673 x1672 -x1671 x1670 -x1669 -x1668 x1667 x1666 -x1665 -x1664
3586.72/3598.19 v x1663 x1662 -x1661 x1660 -x1659 -x1658 x1657 -x1656 x1655 x1654 -x1653 -x1652 x1651 -x1650 -x1649 -x1648 -x1647 x1646 -x1645
3586.72/3598.19 v x1644 -x1643 -x1642 -x1641 x1640 -x1639 -x1638 -x1637 x1636 -x1635 -x1634 -x1633 -x1632 x1631 -x1630 -x1629 -x1628 -x1627 x1626
3586.72/3598.19 v -x1625 x1624 -x1623 -x1622 -x1621 x1620 -x1619 -x1618 -x1617 x1616 -x1615 -x1614 -x1613 -x1612 x1611 -x1610 -x1609 -x1608
3586.72/3598.19 v -x1607 x1606 -x1605 x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 x1597 -x1596 x1595 -x1594 -x1593 -x1592 x1591 -x1590 -x1589
3586.72/3598.19 v -x1588 -x1587 x1586 -x1585 x1584 -x1583 -x1582 -x1581 -x1580 x1579 -x1578 -x1577 -x1576 -x1575 x1574 -x1573 -x1572 -x1571
3586.72/3598.19 v -x1570 x1569 -x1568 x1567 -x1566 -x1565 -x1564 -x1563 x1562 -x1561 x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 x1553 x1552
3586.72/3598.19 v -x1551 -x1550 -x1549 -x1548 x1547 -x1546 -x1545 -x1544 -x1543 x1542 -x1541 -x1540 -x1539 -x1538 x1537 x1536 -x1535 -x1534
3586.72/3598.19 v -x1533 x1532 -x1531 -x1530 -x1529 x1528 -x1527 -x1526 -x1525 x1524 -x1523 -x1522 -x1521 x1520 -x1519 -x1518 -x1517 -x1516 x1515
3586.72/3598.19 v -x1514 -x1513 x1512 -x1511 -x1510 -x1509 -x1508 -x1507 x1506 -x1505 -x1504 -x1503 -x1502 x1501 x1500 -x1499 -x1498 -x1497
3586.72/3598.19 v x1496 -x1495 -x1494 -x1493 x1492 -x1491 -x1490 -x1489 x1488 -x1487 -x1486 -x1485 -x1484 x1483 -x1482 -x1481 x1480 -x1479 -x1478
3586.72/3598.19 v -x1477 -x1476 -x1475 x1474 -x1473 -x1472 -x1471 -x1470 x1469 x1468 -x1467 -x1466 -x1465 x1464 -x1463 x1462 -x1461 -x1460
3586.72/3598.19 v -x1459 -x1458 x1457 -x1456 -x1455 x1454 -x1453 -x1452 -x1451 x1450 -x1449 -x1448 -x1447 x1446 -x1445 -x1444 -x1443 -x1442 -x1441
3586.72/3598.19 v x1440 -x1439 -x1438 -x1437 -x1436 x1435 -x1434 x1433 -x1432 -x1431 -x1430 -x1429 x1428 -x1427 -x1426 -x1425 -x1424 x1423
3586.72/3598.19 v -x1422 x1421 -x1420 -x1419 x1418 -x1417 -x1416 -x1415 -x1414 x1413 -x1412 x1411 -x1410 x1409 -x1408 x1407 x1406 -x1405 x1404
3586.72/3598.19 v -x1403 -x1402 x1401 x1400 -x1399 -x1398 x1397 x1396 -x1395 -x1394 x1393 -x1392 x1391 -x1390 x1389 x1388 -x1387 x1386 -x1385 -x1384
3586.72/3598.19 v x1383 x1382 -x1381 -x1380 x1379 x1378 -x1377 -x1376 x1375 -x1374 -x1373 x1372 -x1371 -x1370 -x1369 -x1368 x1367 -x1366
3586.72/3598.19 v x1365 -x1364 x1363 -x1362 x1361 -x1360 x1359 x1358 -x1357 x1356 -x1355 x1354 -x1353 x1352 -x1351 -x1350 x1349 x1348 -x1347 x1346
3586.72/3598.19 v -x1345 x1344 -x1343 x1342 -x1341 x1340 -x1339 x1338 -x1337 x1336 -x1335 x1334 -x1333 x1332 -x1331 -x1330 -x1329 x1328 -x1327
3586.72/3598.19 v -x1326 x1325 -x1324 -x1323 -x1322 -x1321 -x1320 x1319 -x1318 -x1317 x1316 -x1315 -x1314 x1313 -x1312 -x1311 -x1310 -x1309
3586.72/3598.19 v -x1308 x1307 -x1306 -x1305 x1304 -x1303 x1302 -x1301 -x1300 x1299 -x1298 x1297 -x1296 x1295 -x1294 x1293 x1292 -x1291 x1290
3586.72/3598.19 v -x1289 x1288 -x1287 x1286 -x1285 -x1284 x1283 x1282 -x1281 -x1280 x1279 -x1278 x1277 x1276 -x1275 -x1274 x1273 x1272 -x1271 -x1270
3586.72/3598.19 v x1269 -x1268 x1267 -x1266 -x1265 -x1264 -x1263 x1262 -x1261 -x1260 -x1259 -x1258 x1257 -x1256 x1255 -x1254 -x1253 -x1252
3586.72/3598.19 v -x1251 x1250 -x1249 x1248 -x1247 -x1246 -x1245 x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 x1237 -x1236 x1235 -x1234 -x1233
3586.72/3598.19 v -x1232 -x1231 x1230 -x1229 x1228 -x1227 -x1226 -x1225 x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 x1217 -x1216 x1215
3586.72/3598.19 v -x1214 -x1213 -x1212 -x1211 x1210 -x1209 x1208 -x1207 -x1206 -x1205 x1204 -x1203 -x1202 -x1201 -x1200 x1199 -x1198 x1197 -x1196
3586.72/3598.19 v x1195 -x1194 -x1193 x1192 -x1191 -x1190 x1189 -x1188 -x1187 -x1186 -x1185 -x1184 x1183 -x1182 -x1181 x1180 -x1179 -x1178
3586.72/3598.19 v x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170 -x1169 x1168 -x1167 -x1166 x1165 -x1164 -x1163 x1162 -x1161 -x1160 -x1159
3586.72/3598.19 v x1158 -x1157 x1156 -x1155 -x1154 -x1153 -x1152 x1151 -x1150 -x1149 x1148 -x1147 -x1146 x1145 -x1144 -x1143 x1142 -x1141 -x1140
3586.72/3598.19 v -x1139 x1138 -x1137 x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 x1127 -x1126 -x1125 x1124 -x1123 -x1122
3586.72/3598.19 v x1121 -x1120 -x1119 x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 x1107 -x1106 -x1105 x1104 -x1103
3586.72/3598.19 v -x1102 x1101 -x1100 -x1099 x1098 -x1097 -x1096 -x1095 x1094 -x1093 -x1092 -x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085
3586.72/3598.19 v -x1084 x1083 -x1082 -x1081 x1080 -x1079 -x1078 x1077 x1076 -x1075 x1074 -x1073 -x1072 x1071 x1070 -x1069 x1068 -x1067 x1066
3586.72/3598.19 v -x1065 x1064 -x1063 x1062 -x1061 x1060 -x1059 x1058 -x1057 -x1056 x1055 -x1054 x1053 x1052 -x1051 x1050 -x1049 x1048 -x1047 -x1046
3586.72/3598.19 v -x1045 -x1044 x1043 -x1042 x1041 x1040 -x1039 x1038 -x1037 -x1036 -x1035 x1034 -x1033 x1032 -x1031 -x1030 x1029 -x1028
3586.72/3598.19 v -x1027 -x1026 -x1025 -x1024 x1023 x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 x1014 -x1013 -x1012 -x1011 -x1010 x1009
3586.72/3598.19 v x1008 -x1007 x1006 -x1005 x1004 -x1003 -x1002 -x1001 x1000 -x999 -x998 x997 -x996 -x995 -x994 -x993 -x992 x991 x990 -x989
3586.72/3598.19 v -x988 -x987 x986 -x985 -x984 -x983 x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 x974 -x973 -x972 x971 x970 -x969 x968 -x967
3586.72/3598.19 v x966 -x965 -x964 -x963 x962 -x961 -x960 x959 -x958 -x957 -x956 -x955 -x954 x953 x952 -x951 -x950 -x949 x948 -x947 -x946 -x945
3586.72/3598.19 v x944 -x943 -x942 -x941 x940 -x939 -x938 -x937 x936 -x935 -x934 -x933 x932 -x931 x930 -x929 x928 -x927 x926 -x925 -x924 -x923
3586.72/3598.19 v x922 -x921 -x920 -x919 x918 -x917 -x916 -x915 -x914 x913 x912 -x911 x910 -x909 x908 -x907 -x906 -x905 x904 -x903 -x902 x901
3586.72/3598.19 v -x900 -x899 -x898 -x897 -x896 x895 x894 -x893 -x892 -x891 x890 -x889 -x888 -x887 x886 -x885 -x884 -x883 x882 -x881 -x880 -x879
3586.72/3598.19 v x878 -x877 -x876 -x875 x874 -x873 x872 -x871 x870 -x869 x868 -x867 x866 -x865 -x864 -x863 x862 -x861 x860 -x859 x858 -x857
3586.72/3598.19 v x856 -x855 -x854 -x853 x852 -x851 -x850 x849 -x848 -x847 -x846 -x845 -x844 x843 x842 -x841 -x840 -x839 x838 -x837 -x836 -x835
3586.72/3598.19 v x834 -x833 -x832 -x831 x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 x822 -x821 x820 -x819 x818 -x817 x816 -x815 x814 -x813
3586.72/3598.19 v x812 -x811 x810 -x809 x808 -x807 -x806 -x805 x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 x795 x794 -x793 -x792 -x791
3586.72/3598.19 v x790 -x789 -x788 -x787 x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 x778 -x777 -x776 -x775 x774 -x773 x772 -x771 x770 -x769
3586.72/3598.19 v x768 -x767 x766 -x765 x764 -x763 -x762 -x761 x760 -x759 x758 -x757 x756 -x755 -x754 -x753 x752 -x751 -x750 x749 -x748 -x747 x746
3586.72/3598.19 v -x745 -x744 -x743 x742 -x741 -x740 -x739 x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 x726 -x725
3586.72/3598.19 v -x724 -x723 x722 -x721 x720 -x719 -x718 x717 x716 -x715 x714 -x713 x712 -x711 x710 -x709 -x708 -x707 x706 -x705 x704 -x703 -x702
3586.72/3598.19 v -x701 x700 -x699 -x698 x697 -x696 -x695 x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 -x682 -x681
3586.72/3598.19 v -x680 x679 x678 -x677 -x676 -x675 x674 -x673 -x672 -x671 x670 -x669 x668 -x667 -x666 x665 x664 -x663 x662 -x661 x660 -x659 x658
3586.72/3598.19 v -x657 -x656 -x655 x654 -x653 x652 -x651 -x650 -x649 x648 -x647 -x646 x645 -x644 -x643 x642 -x641 -x640 -x639 x638 -x637 -x636
3586.72/3598.19 v -x635 x634 -x633 -x632 -x631 -x630 -x629 -x628 x627 x626 -x625 -x624 -x623 x622 -x621 -x620 -x619 x618 -x617 x616 -x615 -x614
3586.72/3598.19 v x613 x612 -x611 x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 x602 -x601 -x600 x599 -x598 -x597 x596 -x595 -x594 -x593 x592
3586.72/3598.19 v -x591 -x590 -x589 x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 x572 -x571
3586.72/3598.19 v x570 -x569 -x568 x567 x566 -x565 x564 -x563 -x562 -x561 -x560 x559 -x558 -x557 x556 -x555 -x554 -x553 -x552 -x551 -x550 x549
3586.72/3598.19 v x548 -x547 -x546 -x545 x544 -x543 -x542 -x541 x540 -x539 x538 -x537 -x536 x535 x534 -x533 -x532 -x531 -x530 x529 x528 -x527 -x526
3586.72/3598.19 v -x525 x524 -x523 -x522 -x521 x520 -x519 x518 -x517 -x516 x515 x514 -x513 x512 -x511 x510 -x509 x508 -x507 -x506 -x505 x504
3586.72/3598.19 v -x503 -x502 -x501 x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 x492 -x491 x490 -x489 x488 -x487 -x486 -x485 x484 -x483 -x482
3586.72/3598.19 v -x481 -x480 -x479 -x478 x477 x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468 x467 -x466 -x465 x464 -x463 x462 -x461 -x460
3586.72/3598.19 v x459 x458 -x457 x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439
3586.72/3598.19 v -x438 x437 -x436 x435 -x434 -x433 x432 -x431 x430 -x429 x428 -x427 -x426 -x425 x424 -x423 x422 -x421 -x420 -x419 x418 -x417 -x416
3586.72/3598.19 v -x415 x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 x398 -x397 x396 -x395
3586.72/3598.19 v x394 -x393 x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 x384 -x383 x382 -x381 -x380 -x379 x378 -x377 x376 -x375 -x374 -x373
3586.72/3598.19 v x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 x356 -x355 x354 -x353 x352 -x351
3586.72/3598.19 v x350 -x349 x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 x340 -x339 x338 -x337 -x336 -x335 x334 -x333 x332 -x331 -x330 -x329
3586.72/3598.19 v x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 -x316 x315 -x314 -x313 x312 -x311 x310 -x309 x308 -x307
3586.72/3598.19 v x306 -x305 x304 -x303 x302 -x301 x300 -x299 x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285
3586.72/3598.19 v -x284 x283 -x282 -x281 x280 -x279 x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 x266 -x265 x264 -x263
3586.72/3598.19 v -x262 -x261 -x260 x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 x248 -x247 x246 -x245 -x244 -x243 x242 -x241
3586.72/3598.19 v -x240 -x239 x238 -x237 -x236 x235 -x234 -x233 x232 -x231 x230 -x229 -x228 -x227 -x226 x225 x224 -x223 -x222 -x221 x220 -x219
3586.72/3598.19 v x218 -x217 -x216 -x215 x214 -x213 x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 x204 -x203 x202 -x201 x200 -x199 x198 -x197
3586.72/3598.19 v -x196 -x195 -x194 x193 x192 -x191 x190 -x189 x188 -x187 -x186 x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177 -x176 x175 x174
3586.72/3598.19 v -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 -x164 x163 -x162 x161 x160 -x159 x158 -x157 x156 -x155 x154 -x153 x152 -x151
3587.01/3598.42 v -x150 x149 x148 -x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 -x132 x131 -x130 -x129
3587.01/3598.42 v -x128 x127 x126 -x125 x124 -x123 -x122 x121 -x120 x119 -x118 -x117 x116 -x115 x114 -x113 -x112 x111 x110 -x109 x108 -x107 x106
3587.01/3598.42 v -x105 -x104 x103 x102 -x101 -x100 -x99 x98 -x97 -x96 x95 x94 -x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 -x84 -x83 -x82 x81 x80
3587.01/3598.42 v -x79 -x78 -x77 x76 -x75 x74 -x73 x72 -x71 -x70 x69 x68 -x67 x66 -x65 -x64 x63 x62 -x61 x60 -x59 -x58 x57 x56 -x55 x54 -x53
3587.01/3598.42 v -x52 x51 x50 -x49 x48 -x47 -x46 x45 x44 -x43 x42 -x41 -x40 x39 x38 -x37 x36 -x35 -x34 x33 x32 -x31 x30 -x29 -x28 x27 x26 -x25
3587.01/3598.42 v x24 -x23 -x22 x21 x20 -x19 x18 -x17 -x16 x15 x14 -x13 x12 -x11 -x10 x9 x8 -x7 x6 -x5 -x4 x3 -x2 x1
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 (58887 MiB free)
memory of node 1: 64473 MiB (56432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4465058-1722390177/watcher-4465058-1722390177 -o /tmp/evaluation-result-4465058-1722390177/solver-4465058-1722390177 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722389396-37259 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465058-1722390177.wbo -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=38198, runsolver pid=38195
Current StackSize limit: 8192 KiB
[startup+0.100105 s]*
/proc/loadavg: 4.14 4.14 4.16 5/250 38199
/proc/meminfo: memFree=118056356/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=55724 memory=44200 CPUtime=0.1 cores=4,6
/proc/38198/stat : 38198 (fscip) R 38195 38198 37248 0 -1 4194304 9008 0 0 0 9 1 0 0 20 0 1 0 5614189 57061376 11050 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 13931 11050 2347 3035 0 10327 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 55724 KiB
Current children cumulated memory: 44200 KiB
[startup+0.213404 s]*
/proc/loadavg: 4.14 4.14 4.16 5/250 38199
/proc/meminfo: memFree=118015812/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=102960 memory=91636 CPUtime=0.21 cores=4,6
/proc/38198/stat : 38198 (fscip) R 38195 38198 37248 0 -1 4194304 21111 0 0 0 18 3 0 0 20 0 1 0 5614189 105431040 22909 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 25740 22909 2555 3035 0 22136 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 102960 KiB
Current children cumulated memory: 91636 KiB
[startup+0.313246 s]*
/proc/loadavg: 4.14 4.14 4.16 5/250 38199
/proc/meminfo: memFree=117976360/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=136492 memory=125164 CPUtime=0.32 cores=4,6
/proc/38198/stat : 38198 (fscip) R 38195 38198 37248 0 -1 4194304 29494 0 0 0 27 5 0 0 20 0 1 0 5614189 139767808 31291 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 34123 31291 2555 3035 0 30519 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 136492 KiB
Current children cumulated memory: 125164 KiB
[startup+0.700368 s]
/proc/loadavg: 4.14 4.14 4.16 5/250 38199
/proc/meminfo: memFree=117907340/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=254792 memory=236904 CPUtime=0.69 cores=4,6
/proc/38198/stat : 38198 (fscip) R 38195 38198 37248 0 -1 4194304 58473 0 0 0 60 9 0 0 20 0 1 0 5614189 260907008 59226 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 63698 59226 2614 3035 0 60094 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 254792 KiB
Current children cumulated memory: 236904 KiB
[startup+1.50035 s]
/proc/loadavg: 4.14 4.14 4.16 5/250 38199
/proc/meminfo: memFree=117852348/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=266432 memory=248388 CPUtime=1.48 cores=4,6
/proc/38198/stat : 38198 (fscip) R 38195 38198 37248 0 -1 4194304 62071 0 0 0 139 9 0 0 20 0 1 0 5614189 272826368 62097 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 66608 62097 2646 3035 0 63004 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 266432 KiB
Current children cumulated memory: 248388 KiB
[startup+3.11324 s]
/proc/loadavg: 4.14 4.14 4.16 5/250 38200
/proc/meminfo: memFree=117847840/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=266952 memory=248916 CPUtime=3.09 cores=4,6
/proc/38198/stat : 38198 (fscip) R 38195 38198 37248 0 -1 4194304 62204 0 0 0 299 10 0 0 20 0 1 0 5614189 273358848 62229 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 66738 62229 2646 3035 0 63134 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 266952 KiB
Current children cumulated memory: 248916 KiB
[startup+6.30032 s]
/proc/loadavg: 4.13 4.13 4.16 5/250 38200
/proc/meminfo: memFree=117845456/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=267980 memory=249972 CPUtime=6.26 cores=4,6
/proc/38198/stat : 38198 (fscip) R 38195 38198 37248 0 -1 4194304 62460 0 0 0 616 10 0 0 20 0 1 0 5614189 274411520 62493 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 66995 62493 2646 3035 0 63391 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 267980 KiB
Current children cumulated memory: 249972 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.13 4.15 5/250 38202
/proc/meminfo: memFree=117778388/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=355880 memory=322900 CPUtime=12.64 cores=4,6
/proc/38198/stat : 38198 (fscip) R 38195 38198 37248 0 -1 4194304 81848 0 0 0 1250 14 0 0 20 0 1 0 5614189 364421120 80725 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 88970 80725 2854 3035 0 85366 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 355880 KiB
Current children cumulated memory: 322900 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.12 4.15 5/250 38203
/proc/meminfo: memFree=117742464/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=390928 memory=349504 CPUtime=25.39 cores=4,6
/proc/38198/stat : 38198 (fscip) R 38195 38198 37248 0 -1 4194304 88478 0 0 0 2523 16 0 0 20 0 1 0 5614189 400310272 87376 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 97732 87376 2950 3035 0 94128 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 390928 KiB
Current children cumulated memory: 349504 KiB
[startup+51.1131 s]
/proc/loadavg: 4.20 4.15 4.16 5/250 38206
/proc/meminfo: memFree=117714184/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=410648 memory=369140 CPUtime=50.92 cores=4,6
/proc/38198/stat : 38198 (fscip) R 38195 38198 37248 0 -1 4194304 93426 0 0 0 5072 20 0 0 20 0 1 0 5614189 420503552 92285 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 102662 92285 2950 3035 0 99058 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 410648 KiB
Current children cumulated memory: 369140 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.17 4.17 6/247 38284
/proc/meminfo: memFree=116577876/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=508512 memory=419408 CPUtime=101.94 cores=4,6
/proc/38198/stat : 38198 (fscip) R 38195 38198 37248 0 -1 4194304 107364 0 0 0 10170 24 0 0 20 0 1 0 5614189 520716288 104852 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 127128 104852 2950 3035 0 123524 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 508512 KiB
Current children cumulated memory: 419408 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.17 4.17 6/246 38295
/proc/meminfo: memFree=109493752/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=623436 memory=468408 CPUtime=161.74 cores=4,6
/proc/38198/stat : 38198 (fscip) R 38195 38198 37248 0 -1 4194304 123597 0 0 0 16143 31 0 0 20 0 1 0 5614189 638398464 117102 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 155859 117102 2950 3035 0 152255 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 623436 KiB
Current children cumulated memory: 468408 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.15 4.16 6/250 38312
/proc/meminfo: memFree=92923892/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=834840 memory=614400 CPUtime=221.51 cores=4,6
/proc/38198/stat : 38198 (fscip) S 38195 38198 37248 0 -1 1077936128 235113 0 0 0 22103 48 0 0 20 0 3 0 5614189 854876160 153600 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 208710 153600 2966 3035 0 198846 0
[pid=38198/tid=38301] ppid=38195 vsize=834840 memory=14936 CPUtime=43.14 cores=4,6
/proc/38198/task/38301/stat : 38301 (fscip) R 38195 38198 37248 0 -1 4194368 99820 0 0 0 4301 13 0 0 20 0 3 0 5632080 854876160 153600 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
[pid=38198/tid=38302] ppid=38195 vsize=834840 memory=4660 CPUtime=0 cores=4,6
/proc/38198/task/38302/stat : 38302 (fscip) S 38195 38198 37248 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 5632097 854876160 153600 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 834840 KiB
Current children cumulated memory: 614400 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.15 4.16 6/250 38322
/proc/meminfo: memFree=92621956/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=965912 memory=715544 CPUtime=281.31 cores=4,6
/proc/38198/stat : 38198 (fscip) S 38195 38198 37248 0 -1 1077936128 295496 0 0 0 28075 56 0 0 20 0 3 0 5614189 989093888 178886 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 241478 178886 2966 3035 0 237255 0
[pid=38198/tid=38301] ppid=38195 vsize=965912 memory=693264 CPUtime=102.95 cores=4,6
/proc/38198/task/38301/stat : 38301 (fscip) R 38195 38198 37248 0 -1 4194368 160195 0 0 0 10274 21 0 0 20 0 3 0 5632080 989093888 178886 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
[pid=38198/tid=38302] ppid=38195 vsize=965912 memory=684200 CPUtime=0 cores=4,6
/proc/38198/task/38302/stat : 38302 (fscip) S 38195 38198 37248 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 5632097 989093888 178886 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 965912 KiB
Current children cumulated memory: 715544 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.14 4.15 6/250 38333
/proc/meminfo: memFree=92532024/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=1031448 memory=777812 CPUtime=341.11 cores=4,6
/proc/38198/stat : 38198 (fscip) S 38195 38198 37248 0 -1 1077936128 365090 0 0 0 34049 62 0 0 20 0 3 0 5614189 1056202752 194453 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 257862 194453 3014 3035 0 247797 0
[pid=38198/tid=38301] ppid=38195 vsize=1031448 memory=684200 CPUtime=162.76 cores=4,6
/proc/38198/task/38301/stat : 38301 (fscip) R 38195 38198 37248 0 -1 4194368 228433 0 0 0 16248 28 0 0 20 0 3 0 5632080 1056202752 194453 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
[pid=38198/tid=38302] ppid=38195 vsize=1031448 memory=762016 CPUtime=0 cores=4,6
/proc/38198/task/38302/stat : 38302 (fscip) S 38195 38198 37248 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 5632097 1056202752 194453 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 1031448 KiB
Current children cumulated memory: 777812 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.12 4.15 6/250 38345
/proc/meminfo: memFree=92479892/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=1096984 memory=808920 CPUtime=400.94 cores=4,6
/proc/38198/stat : 38198 (fscip) S 38195 38198 37248 0 -1 1077936128 401507 0 0 0 40027 67 0 0 20 0 3 0 5614189 1123311616 202230 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
################
# More data... #
################
[pid=38198] ppid=38195 vsize=1883416 memory=1775636 CPUtime=3391.43 cores=4,6
/proc/38198/stat : 38198 (fscip) S 38195 38198 37248 0 -1 1077936128 1468683 0 0 0 338840 303 0 0 20 0 3 0 5614189 1928617984 443909 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 470854 443909 3318 3035 0 455489 0
[pid=38198/tid=38301] ppid=38195 vsize=1883416 memory=1775628 CPUtime=3212.61 cores=4,6
/proc/38198/task/38301/stat : 38301 (fscip) R 38195 38198 37248 0 -1 4194368 1327222 0 0 0 321014 247 0 0 20 0 3 0 5632080 1928617984 443909 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
[pid=38198/tid=38302] ppid=38195 vsize=1883416 memory=1775636 CPUtime=0.06 cores=4,6
/proc/38198/task/38302/stat : 38302 (fscip) S 38195 38198 37248 0 -1 1077936192 158 0 0 0 1 5 0 0 20 0 3 0 5632097 1928617984 443909 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
Current children cumulated CPU time: 3391.43 s
Current children cumulated vsize: 1883416 KiB
Current children cumulated memory: 1775636 KiB
[startup+3462.3 s]
/proc/loadavg: 2.47 2.52 2.76 4/234 40147
/proc/meminfo: memFree=95590996/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=1883416 memory=1775636 CPUtime=3451.27 cores=4,6
/proc/38198/stat : 38198 (fscip) S 38195 38198 37248 0 -1 1077936128 1475671 0 0 0 344821 306 0 0 20 0 3 0 5614189 1928617984 443909 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 470854 443909 3318 3035 0 455489 0
[pid=38198/tid=38301] ppid=38195 vsize=1883416 memory=1775628 CPUtime=3272.44 cores=4,6
/proc/38198/task/38301/stat : 38301 (fscip) R 38195 38198 37248 0 -1 4194368 1334192 0 0 0 326994 250 0 0 20 0 3 0 5632080 1928617984 443909 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
[pid=38198/tid=38302] ppid=38195 vsize=1883416 memory=1775636 CPUtime=0.06 cores=4,6
/proc/38198/task/38302/stat : 38302 (fscip) S 38195 38198 37248 0 -1 1077936192 160 0 0 0 1 5 0 0 20 0 3 0 5632097 1928617984 443909 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
Current children cumulated CPU time: 3451.27 s
Current children cumulated vsize: 1883416 KiB
Current children cumulated memory: 1775636 KiB
[startup+3522.3 s]
/proc/loadavg: 2.28 2.45 2.72 4/233 40158
/proc/meminfo: memFree=95579332/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=1883416 memory=1786716 CPUtime=3511.11 cores=4,6
/proc/38198/stat : 38198 (fscip) S 38195 38198 37248 0 -1 1077936128 1489293 0 0 0 350801 310 0 0 20 0 3 0 5614189 1928617984 446679 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 470854 446679 3318 3035 0 458252 0
[pid=38198/tid=38301] ppid=38195 vsize=1883416 memory=1775636 CPUtime=3332.28 cores=4,6
/proc/38198/task/38301/stat : 38301 (fscip) R 38195 38198 37248 0 -1 4194368 1347714 0 0 0 332974 254 0 0 20 0 3 0 5632080 1928617984 446679 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
[pid=38198/tid=38302] ppid=38195 vsize=1883416 memory=1786604 CPUtime=0.06 cores=4,6
/proc/38198/task/38302/stat : 38302 (fscip) S 38195 38198 37248 0 -1 1077936192 162 0 0 0 1 5 0 0 20 0 3 0 5632097 1928617984 446679 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
Current children cumulated CPU time: 3511.11 s
Current children cumulated vsize: 1883416 KiB
Current children cumulated memory: 1786716 KiB
[startup+3582.3 s]
/proc/loadavg: 2.16 2.38 2.68 4/233 40169
/proc/meminfo: memFree=95578444/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=1883416 memory=1786736 CPUtime=3570.96 cores=4,6
/proc/38198/stat : 38198 (fscip) S 38195 38198 37248 0 -1 1077936128 1502137 0 0 0 356782 314 0 0 20 0 3 0 5614189 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 470854 446684 3318 3035 0 458252 0
[pid=38198/tid=38301] ppid=38195 vsize=1883416 memory=14936 CPUtime=3392.11 cores=4,6
/proc/38198/task/38301/stat : 38301 (fscip) R 38195 38198 37248 0 -1 4194368 1360535 0 0 0 338954 257 0 0 20 0 3 0 5632080 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
[pid=38198/tid=38302] ppid=38195 vsize=1883416 memory=1786736 CPUtime=0.06 cores=4,6
/proc/38198/task/38302/stat : 38302 (fscip) S 38195 38198 37248 0 -1 1077936192 165 0 0 0 1 5 0 0 20 0 3 0 5632097 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
Current children cumulated CPU time: 3570.96 s
Current children cumulated vsize: 1883416 KiB
Current children cumulated memory: 1786736 KiB
[startup+3598.44 s]
# the end of solver process 38198 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.87 s, system=3.18822 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.16 2.38 2.68 4/233 40169
/proc/meminfo: memFree=95578468/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=1883416 memory=1786736 CPUtime=3572.66 cores=4,6
/proc/38198/stat : 38198 (fscip) S 38195 38198 37248 0 -1 1077936128 1502178 0 0 0 356952 314 0 0 20 0 3 0 5614189 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 470854 446684 3318 3035 0 458252 0
[pid=38198/tid=38301] ppid=38195 vsize=1883416 memory=-5155626886434679685 CPUtime=3393.82 cores=4,6
/proc/38198/task/38301/stat : 38301 (fscip) R 38195 38198 37248 0 -1 4194368 1360576 0 0 0 339125 257 0 0 20 0 3 0 5632080 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
[pid=38198/tid=38302] ppid=38195 vsize=1883416 memory=123993 CPUtime=0.06 cores=4,6
/proc/38198/task/38302/stat : 38302 (fscip) S 38195 38198 37248 0 -1 1077936192 165 0 0 0 1 5 0 0 20 0 3 0 5632097 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 1883416 KiB
Current children cumulated memory: 1786736 KiB
[startup+3590.4 s]
/proc/loadavg: 2.15 2.38 2.68 4/233 40169
/proc/meminfo: memFree=95578448/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=1883416 memory=1786736 CPUtime=3579.03 cores=4,6
/proc/38198/stat : 38198 (fscip) S 38195 38198 37248 0 -1 1077936128 1502965 0 0 0 357589 314 0 0 20 0 3 0 5614189 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 470854 446684 3318 3035 0 458252 0
[pid=38198/tid=38301] ppid=38195 vsize=1883416 memory=1786736 CPUtime=3400.19 cores=4,6
/proc/38198/task/38301/stat : 38301 (fscip) R 38195 38198 37248 0 -1 4194368 1361363 0 0 0 339762 257 0 0 20 0 3 0 5632080 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
[pid=38198/tid=38302] ppid=38195 vsize=1883416 memory=1786736 CPUtime=0.06 cores=4,6
/proc/38198/task/38302/stat : 38302 (fscip) S 38195 38198 37248 0 -1 1077936192 165 0 0 0 1 5 0 0 20 0 3 0 5632097 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
Current children cumulated CPU time: 3579.03 s
Current children cumulated vsize: 1883416 KiB
Current children cumulated memory: 1786736 KiB
[startup+3593.6 s]
/proc/loadavg: 2.13 2.37 2.67 4/233 40171
/proc/meminfo: memFree=95578232/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=1883416 memory=1786736 CPUtime=3582.22 cores=4,6
/proc/38198/stat : 38198 (fscip) S 38195 38198 37248 0 -1 1077936128 1502970 0 0 0 357908 314 0 0 20 0 3 0 5614189 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 470854 446684 3318 3035 0 458252 0
[pid=38198/tid=38301] ppid=38195 vsize=1883416 memory=12036 CPUtime=3403.38 cores=4,6
/proc/38198/task/38301/stat : 38301 (fscip) R 38195 38198 37248 0 -1 4194368 1361368 0 0 0 340081 257 0 0 20 0 3 0 5632080 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
[pid=38198/tid=38302] ppid=38195 vsize=1883416 memory=1786736 CPUtime=0.06 cores=4,6
/proc/38198/task/38302/stat : 38302 (fscip) S 38195 38198 37248 0 -1 1077936192 165 0 0 0 1 5 0 0 20 0 3 0 5632097 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
Current children cumulated CPU time: 3582.22 s
Current children cumulated vsize: 1883416 KiB
Current children cumulated memory: 1786736 KiB
[startup+3596.8 s]
/proc/loadavg: 2.12 2.36 2.67 4/233 40171
/proc/meminfo: memFree=95578232/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=1883416 memory=1786736 CPUtime=3585.41 cores=4,6
/proc/38198/stat : 38198 (fscip) S 38195 38198 37248 0 -1 1077936128 1503214 0 0 0 358227 314 0 0 20 0 3 0 5614189 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 470854 446684 3318 3035 0 458252 0
[pid=38198/tid=38301] ppid=38195 vsize=1883416 memory=1786736 CPUtime=3406.57 cores=4,6
/proc/38198/task/38301/stat : 38301 (fscip) R 38195 38198 37248 0 -1 4194368 1361609 0 0 0 340400 257 0 0 20 0 3 0 5632080 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
[pid=38198/tid=38302] ppid=38195 vsize=1883416 memory=12036 CPUtime=0.06 cores=4,6
/proc/38198/task/38302/stat : 38302 (fscip) S 38195 38198 37248 0 -1 1077936192 167 0 0 0 1 5 0 0 20 0 3 0 5632097 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
Current children cumulated CPU time: 3585.41 s
Current children cumulated vsize: 1883416 KiB
Current children cumulated memory: 1786736 KiB
[startup+3597.6 s]
/proc/loadavg: 2.12 2.36 2.67 4/233 40171
/proc/meminfo: memFree=95578264/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=1883416 memory=1786736 CPUtime=3586.21 cores=4,6
/proc/38198/stat : 38198 (fscip) S 38195 38198 37248 0 -1 1077936128 1503214 0 0 0 358307 314 0 0 20 0 3 0 5614189 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 470854 446684 3318 3035 0 458252 0
[pid=38198/tid=38301] ppid=38195 vsize=1883416 memory=14936 CPUtime=3407.37 cores=4,6
/proc/38198/task/38301/stat : 38301 (fscip) R 38195 38198 37248 0 -1 4194368 1361609 0 0 0 340480 257 0 0 20 0 3 0 5632080 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
[pid=38198/tid=38302] ppid=38195 vsize=1883416 memory=15860 CPUtime=0.06 cores=4,6
/proc/38198/task/38302/stat : 38302 (fscip) S 38195 38198 37248 0 -1 1077936192 167 0 0 0 1 5 0 0 20 0 3 0 5632097 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
Current children cumulated CPU time: 3586.21 s
Current children cumulated vsize: 1883416 KiB
Current children cumulated memory: 1786736 KiB
[startup+3598 s]*
/proc/loadavg: 2.12 2.36 2.67 4/233 40171
/proc/meminfo: memFree=95578232/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=1883416 memory=1786736 CPUtime=3586.62 cores=4,6
/proc/38198/stat : 38198 (fscip) S 38195 38198 37248 0 -1 1077936128 1503295 0 0 0 358348 314 0 0 20 0 3 0 5614189 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 470854 446684 3318 3035 0 458252 0
[pid=38198/tid=38301] ppid=38195 vsize=1883416 memory=-5155626886434679685 CPUtime=3407.78 cores=4,6
/proc/38198/task/38301/stat : 38301 (fscip) R 38195 38198 37248 0 -1 4194368 1361688 0 0 0 340521 257 0 0 20 0 3 0 5632080 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
[pid=38198/tid=38302] ppid=38195 vsize=1883416 memory=-4050210904893932181 CPUtime=0.06 cores=4,6
/proc/38198/task/38302/stat : 38302 (fscip) S 38195 38198 37248 0 -1 1077936192 167 0 0 0 1 5 0 0 20 0 3 0 5632097 1928617984 446684 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
Current children cumulated CPU time: 3586.62 s
Current children cumulated vsize: 1883416 KiB
Current children cumulated memory: 1786736 KiB
[startup+3598.4 s]
/proc/loadavg: 2.12 2.36 2.67 4/233 40171
/proc/meminfo: memFree=95578232/131655788 swapFree=131071996/131071996
[pid=38198] ppid=38195 vsize=1772392 memory=1673792 CPUtime=3587.01 cores=4,6
/proc/38198/stat : 38198 (fscip) R 38195 38198 37248 0 -1 4194304 1515824 0 0 0 358385 316 0 0 20 0 2 0 5614189 1814929408 418448 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
/proc/38198/statm: 443098 418448 3318 3035 0 430496 0
[pid=38198/tid=38302] ppid=38195 vsize=1772392 memory=20512 CPUtime=0.06 cores=4,6
/proc/38198/task/38302/stat : 38302 (fscip) S 38195 38198 37248 0 -1 1077936192 167 0 0 0 1 5 0 0 20 0 2 0 5632097 1814929408 418448 134679101440 4194304 16623229 140736072025296 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 24186880 140736072029204 140736072029320 140736072029320 140736072036336 0
Current children cumulated CPU time: 3587.01 s
Current children cumulated vsize: 1772392 KiB
Current children cumulated memory: 1673792 KiB
Child status: 0
Real time (s): 3598.44
CPU time (s): 3587.06
CPU user time (s): 3583.87
CPU system time (s): 3.18822
CPU usage (%): 99.6837
Max. virtual memory (cumulated for all children) (KiB): 1883416
Max. memory (cumulated for all children) (KiB): 1786736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.87
system time used= 3.18822
maximum resident set size= 1786736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1517674
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= 12864
involuntary context switches= 2292
# summary of solver processes directly reported to runsolver:
# pid: 38198
# total CPU time (s): 3587.06
# total CPU user time (s): 3583.87
# total CPU system time (s): 3.18822
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2221 second user time and 36.9418 second system time
The end
Begin job on nodeC006 at 2024-07-31 03:42:57
IDJOB=4465058
IDBENCH=144039
IDSOLVER=3093
FILE ID=nodeC006/4465058-1722390177
RUNJOBID= nodeC006-1722389396-37259
SLURM_JOB_ID= 8249860
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/spot5/normalized-spot5-1405_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4465058-1722390177/watcher-4465058-1722390177 -o /tmp/evaluation-result-4465058-1722390177/solver-4465058-1722390177 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722389396-37259 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4465058-1722390177.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5c0e6d849ef2d250f0711f771f74da32
RANDOM SEED=197452446
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 : 3491.732
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3673.181
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.38
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.320
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.291
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.38
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 : 3471.931
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3665.524
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.38
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.166
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.285
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.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 118088088 kB
MemAvailable: 125822688 kB
Buffers: 114900 kB
Cached: 8388052 kB
SwapCached: 0 kB
Active: 289152 kB
Inactive: 12692316 kB
Active(anon): 1424 kB
Inactive(anon): 4498428 kB
Active(file): 287728 kB
Inactive(file): 8193888 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29820 kB
Writeback: 0 kB
AnonPages: 4478580 kB
Mapped: 125752 kB
Shmem: 21320 kB
KReclaimable: 186368 kB
Slab: 273812 kB
SReclaimable: 186368 kB
SUnreclaim: 87444 kB
KernelStack: 4016 kB
PageTables: 18208 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2317064 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7328 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1042432 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: 232264 kB
DirectMap2M: 16449536 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 723696 MiB
End job on nodeC006 at 2024-07-31 04:42:55