0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 25882624, getVmSize() = 25882624, SCIPgetMemUsed() = 2740995, SCIPgetMemTotal() = 4280131, SCIPgetMemExternEstim() = 1309272
0.00/0.01 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.04 c ** Estimated virtualMemUsedAtSolver = 19480576, getVmSize() = 32559104, SCIPgetMemUsed() = 6422287, SCIPgetMemTotal() = 9895207, SCIPgetMemExternEstim() = 1309272
0.00/0.04 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.04 c Original Problem :
0.00/0.04 c Problem name : instance-4464498-1722385811
0.00/0.04 c Variables : 601 (601 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.04 c Constraints : 800
0.00/0.04 c Objective sense : minimize
0.00/0.04 c Presolved Problem :
0.00/0.04 c Variables : 600 (600 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.04 c Constraints : 300
0.00/0.04 c Constraints : Number
0.00/0.04 c linear : 300
0.00/0.04 c ** Instance transfer method used: 0
0.00/0.04 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.05 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.05 c Nodes Active
0.00/0.05 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.33/5.43 c 5 3242 2788 1 - 0.0000 -
10.42/10.50 c 10 8588 7363 1 - 0.0000 -
15.40/15.54 c 16 17610 15123 1 - 0.0000 -
20.48/20.60 c 21 27579 23085 1 - 0.0000 -
25.46/25.65 c 26 37377 30598 1 - 0.0000 -
30.54/30.70 c 31 47490 38502 1 - 0.0000 -
35.52/35.75 c 36 56658 45681 1 - 0.0000 -
40.60/40.80 c 41 65854 53104 1 - 0.0000 -
45.58/45.85 c 46 74886 60550 1 - 0.0000 -
50.66/50.90 c 51 84089 67487 1 - 0.0000 -
55.64/55.95 c 56 93050 74326 1 - 0.0000 -
60.61/61.01 c 61 102236 81322 1 - 0.0000 -
65.71/66.04 c 66 111907 88410 1 - 0.0000 -
70.69/71.10 c 71 120532 95063 1 - 0.0000 -
75.77/76.14 c 76 129220 101770 1 - 0.0000 -
80.75/81.19 c 81 138064 107994 1 - 0.0000 -
85.81/86.24 c 86 146492 114828 1 - 0.0000 -
90.79/91.29 c 91 155084 121604 1 - 0.0000 -
95.87/96.35 c 96 163831 128088 1 - 0.0000 -
100.95/101.40 c 101 172676 134622 1 - 0.0000 -
105.93/106.45 c 106 181163 141120 1 - 0.0000 -
111.01/111.51 c 112 189582 147467 1 - 0.0000 -
115.99/116.55 c 117 197960 154080 1 - 0.0000 -
121.07/121.60 c 122 206304 160562 1 - 0.0000 -
126.04/126.65 c 127 214349 166567 1 - 0.0000 -
131.02/131.69 c 132 221929 172258 1 - 0.0000 -
136.11/136.74 c 137 230657 179447 1 - 0.0000 -
141.09/141.79 c 142 239085 184944 1 - 0.0000 -
146.16/146.84 c 147 247124 190991 1 - 0.0000 -
151.15/151.90 c 152 255691 197008 1 - 0.0000 -
156.22/156.95 c 157 263632 203206 1 - 0.0000 -
161.20/161.99 c 162 271755 209056 1 - 0.0000 -
166.29/167.05 c 167 279929 214699 1 - 0.0000 -
171.27/172.10 c 172 287839 220272 1 - 0.0000 -
176.35/177.15 c 177 295625 225985 1 - 0.0000 -
181.42/182.20 c 182 303655 231959 1 - 0.0000 -
186.40/187.24 c 187 310950 237480 1 - 0.0000 -
191.48/192.30 c 192 317957 242971 1 - 0.0000 -
196.46/197.35 c 197 325043 248102 1 - 0.0000 -
201.44/202.39 c 202 332172 253724 1 - 0.0000 -
206.52/207.44 c 207 339316 259698 1 - 0.0000 -
211.50/212.49 c 212 346253 265079 1 - 0.0000 -
216.58/217.54 c 218 353598 270413 1 - 0.0000 -
221.56/222.59 c 223 361230 275232 1 - 0.0000 -
226.64/227.65 c 228 368286 280341 1 - 0.0000 -
231.62/232.69 c 233 375247 285641 1 - 0.0000 -
236.70/237.74 c 238 381997 291039 1 - 0.0000 -
241.67/242.79 c 243 388720 295801 1 - 0.0000 -
246.76/247.84 c 248 395180 300758 1 - 0.0000 -
251.84/252.90 c 253 401955 305461 1 - 0.0000 -
256.81/257.94 c 258 408603 310170 1 - 0.0000 -
261.80/263.01 c 263 415106 314915 1 - 0.0000 -
266.89/268.06 c 268 421107 319120 1 - 0.0000 -
271.87/273.10 c 273 426366 321754 1 - 0.0000 -
276.95/278.16 c 278 432408 326011 1 - 0.0000 -
282.01/283.20 c 283 438444 329990 1 - 0.0000 -
286.99/288.26 c 288 444810 335010 1 - 0.0000 -
292.08/293.31 c 293 450459 338719 1 - 0.0000 -
297.05/298.36 c 298 456436 342768 1 - 0.0000 -
302.14/303.41 c 303 462186 346493 1 - 0.0000 -
307.11/308.45 c 308 468060 350610 1 - 0.0000 -
312.19/313.50 c 314 473776 355140 1 - 0.0000 -
317.18/318.55 c 319 479300 358674 1 - 0.0000 -
322.25/323.60 c 324 484710 362278 1 - 0.0000 -
327.24/328.66 c 329 490669 366155 1 - 0.0000 -
332.31/333.71 c 334 496289 370275 1 - 0.0000 -
337.29/338.75 c 339 502029 374269 1 - 0.0000 -
342.38/343.80 c 344 507236 378157 1 - 0.0000 -
347.36/348.85 c 349 512659 381876 1 - 0.0000 -
352.43/353.90 c 354 518132 385593 1 - 0.0000 -
357.42/358.95 c 359 523818 389483 1 - 0.0000 -
362.39/364.01 c 364 529418 393190 1 - 0.0000 -
367.48/369.05 c 369 534746 397202 1 - 0.0000 -
372.46/374.10 c 374 539869 400949 1 - 0.0000 -
377.54/379.15 c 379 545214 404625 1 - 0.0000 -
382.60/384.20 c 384 550686 408787 1 - 0.0000 -
387.59/389.25 c 389 555439 412106 1 - 0.0000 -
392.67/394.31 c 394 560385 415531 1 - 0.0000 -
397.64/399.35 c 399 565527 419122 1 - 0.0000 -
402.73/404.40 c 404 570312 422058 1 - 0.0000 -
407.71/409.46 c 409 575094 425800 1 - 0.0000 -
412.79/414.52 c 415 579743 428886 1 - 0.0000 -
417.77/419.57 c 420 584411 432650 1 - 0.0000 -
422.85/424.62 c 425 588915 435747 1 - 0.0000 -
427.83/429.67 c 430 593338 439220 1 - 0.0000 -
432.90/434.72 c 435 597730 441924 1 - 0.0000 -
437.89/439.78 c 440 602123 445065 1 - 0.0000 -
442.97/444.84 c 445 606760 448715 1 - 0.0000 -
447.95/449.89 c 450 611305 452022 1 - 0.0000 -
453.03/454.93 c 455 616125 455819 1 - 0.0000 -
458.01/459.99 c 460 621017 459386 1 - 0.0000 -
463.10/465.03 c 465 625616 462952 1 - 0.0000 -
468.09/470.09 c 470 630277 466874 1 - 0.0000 -
473.16/475.13 c 475 634782 470609 1 - 0.0000 -
478.15/480.19 c 480 639265 474118 1 - 0.0000 -
483.22/485.24 c 485 643460 477148 1 - 0.0000 -
488.20/490.28 c 490 648010 480719 1 - 0.0000 -
493.28/495.33 c 495 652617 484272 1 - 0.0000 -
498.25/500.38 c 500 656819 487020 1 - 0.0000 -
503.34/505.44 c 505 660932 490227 1 - 0.0000 -
508.31/510.48 c 510 665183 493331 1 - 0.0000 -
513.40/515.54 c 516 669402 496897 1 - 0.0000 -
518.38/520.59 c 521 673721 499809 1 - 0.0000 -
523.46/525.64 c 526 677470 502120 1 - 0.0000 -
528.54/530.71 c 531 681246 504456 1 - 0.0000 -
533.52/535.75 c 536 685147 506844 1 - 0.0000 -
538.60/540.81 c 541 689529 509464 1 - 0.0000 -
543.59/545.86 c 546 693974 512924 1 - 0.0000 -
548.67/550.92 c 551 698162 515999 1 - 0.0000 -
553.64/555.96 c 556 702381 519445 1 - 0.0000 -
558.74/561.01 c 561 706496 521953 1 - 0.0000 -
563.72/566.06 c 566 710643 524607 1 - 0.0000 -
568.81/571.12 c 571 714813 528089 1 - 0.0000 -
573.78/576.16 c 576 718921 531227 1 - 0.0000 -
578.84/581.21 c 581 723251 534564 1 - 0.0000 -
583.83/586.27 c 586 727665 537713 1 - 0.0000 -
588.91/591.31 c 591 731645 540475 1 - 0.0000 -
593.89/596.37 c 596 736303 544280 1 - 0.0000 -
598.98/601.42 c 601 740545 547223 1 - 0.0000 -
603.95/606.46 c 606 744763 550263 1 - 0.0000 -
609.03/611.52 c 612 749268 554421 1 - 0.0000 -
614.02/616.56 c 617 753328 557507 1 - 0.0000 -
619.10/621.62 c 622 757689 560796 1 - 0.0000 -
624.07/626.69 c 627 761926 564446 1 - 0.0000 -
629.16/631.74 c 632 766132 567667 1 - 0.0000 -
634.23/636.80 c 637 770556 571494 1 - 0.0000 -
639.21/641.84 c 642 774956 575696 1 - 0.0000 -
644.30/646.91 c 647 779227 579134 1 - 0.0000 -
649.27/651.96 c 652 783423 581414 1 - 0.0000 -
654.26/657.01 c 657 787511 584422 1 - 0.0000 -
659.35/662.07 c 662 791384 587440 1 - 0.0000 -
664.43/667.13 c 667 795303 590296 1 - 0.0000 -
669.41/672.19 c 672 799002 592616 1 - 0.0000 -
674.48/677.23 c 677 802506 594435 1 - 0.0000 -
679.56/682.30 c 682 806030 596494 1 - 0.0000 -
684.55/687.35 c 687 809737 599822 1 - 0.0000 -
689.53/692.39 c 692 813401 602538 1 - 0.0000 -
694.61/697.45 c 697 817363 605998 1 - 0.0000 -
699.69/702.50 c 702 821291 609020 1 - 0.0000 -
704.67/707.55 c 708 824811 611305 1 - 0.0000 -
709.75/712.62 c 713 828803 614254 1 - 0.0000 -
714.73/717.66 c 718 832333 615879 1 - 0.0000 -
719.81/722.71 c 723 836949 619742 1 - 0.0000 -
724.79/727.77 c 728 840283 621236 1 - 0.0000 -
729.87/732.83 c 733 844069 623690 1 - 0.0000 -
734.96/737.97 c 738 847062 625393 1 - 0.0000 -
740.05/743.03 c 743 850162 626989 1 - 0.0000 -
745.03/748.08 c 748 853530 628971 1 - 0.0000 -
750.11/753.13 c 753 857395 631698 1 - 0.0000 -
755.09/758.17 c 758 860761 633728 1 - 0.0000 -
760.16/763.23 c 763 864302 635841 1 - 0.0000 -
765.14/768.29 c 768 867783 638080 1 - 0.0000 -
770.22/773.33 c 773 871905 641556 1 - 0.0000 -
775.20/778.39 c 778 876512 645355 1 - 0.0000 -
780.28/783.44 c 783 880597 648829 1 - 0.0000 -
785.27/788.49 c 788 884642 652166 1 - 0.0000 -
790.34/793.54 c 794 888349 655081 1 - 0.0000 -
795.42/798.60 c 799 891979 657829 1 - 0.0000 -
800.40/803.65 c 804 895261 659856 1 - 0.0000 -
805.48/808.72 c 809 898806 662457 1 - 0.0000 -
810.47/813.78 c 814 902432 665304 1 - 0.0000 -
815.55/818.84 c 819 905889 668016 1 - 0.0000 -
820.53/823.89 c 824 909308 670498 1 - 0.0000 -
825.60/828.94 c 829 913098 673940 1 - 0.0000 -
830.70/834.02 c 834 916651 677048 1 - 0.0000 -
835.68/839.07 c 839 920383 680091 1 - 0.0000 -
840.76/844.11 c 844 924103 683519 1 - 0.0000 -
845.74/849.17 c 849 927509 686081 1 - 0.0000 -
850.80/854.22 c 854 930770 687932 1 - 0.0000 -
855.79/859.28 c 859 934334 689887 1 - 0.0000 -
860.87/864.33 c 864 938169 693306 1 - 0.0000 -
865.85/869.38 c 869 942098 696361 1 - 0.0000 -
870.93/874.45 c 874 944863 697844 1 - 0.0000 -
875.91/879.49 c 880 947941 699814 1 - 0.0000 -
880.99/884.56 c 885 951470 702373 1 - 0.0000 -
886.08/889.60 c 890 955233 704862 1 - 0.0000 -
891.05/894.66 c 895 958445 707256 1 - 0.0000 -
896.13/899.71 c 900 961796 710498 1 - 0.0000 -
901.12/904.77 c 905 965397 713984 1 - 0.0000 -
906.19/909.83 c 910 968889 717265 1 - 0.0000 -
911.17/914.87 c 915 972477 720484 1 - 0.0000 -
916.25/919.93 c 920 976447 723583 1 - 0.0000 -
921.23/924.98 c 925 980289 726293 1 - 0.0000 -
926.33/930.04 c 930 983595 728282 1 - 0.0000 -
931.31/935.11 c 935 987024 731056 1 - 0.0000 -
936.39/940.15 c 940 990332 733230 1 - 0.0000 -
941.46/945.22 c 945 993330 735002 1 - 0.0000 -
946.44/950.29 c 950 996578 737500 1 - 0.0000 -
951.52/955.34 c 955 999442 739370 1 - 0.0000 -
956.51/960.40 c 960 1002344 741367 1 - 0.0000 -
961.59/965.45 c 965 1005482 743772 1 - 0.0000 -
966.57/970.49 c 970 1008881 746221 1 - 0.0000 -
971.65/975.55 c 976 1012213 748256 1 - 0.0000 -
976.72/980.62 c 981 1015049 750102 1 - 0.0000 -
981.71/985.68 c 986 1017502 751505 1 - 0.0000 -
986.78/990.74 c 991 1020061 752816 1 - 0.0000 -
991.77/995.78 c 996 1022479 754070 1 - 0.0000 -
996.84/1000.85 c 1001 1025754 756972 1 - 0.0000 -
1001.92/1005.91 c 1006 1029185 760206 1 - 0.0000 -
1006.89/1010.98 c 1011 1032393 762715 1 - 0.0000 -
1011.99/1016.05 c 1016 1035372 764512 1 - 0.0000 -
1017.06/1021.13 c 1021 1038098 766118 1 - 0.0000 -
1022.04/1026.17 c 1026 1041383 769084 1 - 0.0000 -
1027.10/1031.22 c 1031 1044587 771728 1 - 0.0000 -
1032.08/1036.28 c 1036 1048178 774263 1 - 0.0000 -
1037.15/1041.33 c 1041 1051563 776764 1 - 0.0000 -
1042.13/1046.38 c 1046 1055182 779943 1 - 0.0000 -
1047.21/1051.46 c 1051 1058379 782225 1 - 0.0000 -
1052.29/1056.53 c 1057 1061895 785567 1 - 0.0000 -
1057.27/1061.58 c 1062 1065745 789218 1 - 0.0000 -
1062.34/1066.63 c 1067 1069620 792902 1 - 0.0000 -
1067.32/1071.68 c 1072 1073339 795521 1 - 0.0000 -
1072.40/1076.73 c 1077 1076925 798549 1 - 0.0000 -
1077.38/1081.77 c 1082 1080685 802131 1 - 0.0000 -
1082.45/1086.84 c 1087 1084671 805315 1 - 0.0000 -
1087.43/1091.89 c 1092 1087968 807288 1 - 0.0000 -
1092.50/1096.94 c 1097 1091399 809521 1 - 0.0000 -
1097.49/1101.99 c 1102 1094547 811197 1 - 0.0000 -
1102.57/1107.05 c 1107 1097464 812867 1 - 0.0000 -
1107.55/1112.09 c 1112 1100202 814264 1 - 0.0000 -
1112.63/1117.16 c 1117 1103771 816865 1 - 0.0000 -
1117.70/1122.22 c 1122 1107534 819569 1 - 0.0000 -
1122.68/1127.28 c 1127 1110959 821371 1 - 0.0000 -
1127.76/1132.33 c 1132 1114433 823508 1 - 0.0000 -
1132.73/1137.38 c 1137 1117963 825714 1 - 0.0000 -
1137.82/1142.42 c 1142 1121355 828126 1 - 0.0000 -
1142.79/1147.47 c 1147 1124422 829671 1 - 0.0000 -
1147.87/1152.52 c 1153 1127617 832128 1 - 0.0000 -
1152.85/1157.59 c 1158 1131262 834744 1 - 0.0000 -
1157.93/1162.63 c 1163 1135133 838218 1 - 0.0000 -
1162.90/1167.69 c 1168 1138779 840468 1 - 0.0000 -
1167.98/1172.75 c 1173 1142996 844470 1 - 0.0000 -
1173.05/1177.80 c 1178 1147877 848915 1 - 0.0000 -
1178.04/1182.85 c 1183 1152058 852262 1 - 0.0000 -
1183.11/1187.90 c 1188 1156490 856054 1 - 0.0000 -
1188.09/1192.95 c 1193 1160433 858581 1 - 0.0000 -
1193.08/1198.01 c 1198 1164676 861820 1 - 0.0000 -
1198.15/1203.05 c 1203 1168578 865039 1 - 0.0000 -
1203.14/1208.10 c 1208 1172101 867317 1 - 0.0000 -
1208.22/1213.14 c 1213 1175608 869721 1 - 0.0000 -
1213.28/1218.20 c 1218 1179355 872095 1 - 0.0000 -
1218.26/1223.25 c 1223 1182937 874688 1 - 0.0000 -
1223.33/1228.32 c 1228 1186848 877882 1 - 0.0000 -
1228.32/1233.37 c 1233 1190469 880250 1 - 0.0000 -
1233.40/1238.43 c 1238 1194409 883753 1 - 0.0000 -
1238.38/1243.47 c 1243 1198839 887307 1 - 0.0000 -
1243.45/1248.53 c 1249 1203055 890075 1 - 0.0000 -
1248.43/1253.59 c 1254 1207297 893415 1 - 0.0000 -
1253.50/1258.66 c 1259 1211387 896304 1 - 0.0000 -
1258.58/1263.71 c 1264 1215108 898426 1 - 0.0000 -
1263.56/1268.75 c 1269 1219403 901904 1 - 0.0000 -
1268.64/1273.81 c 1274 1223121 904295 1 - 0.0000 -
1273.61/1278.86 c 1279 1226697 906353 1 - 0.0000 -
1278.70/1283.91 c 1284 1230587 909236 1 - 0.0000 -
1283.67/1288.97 c 1289 1235685 913174 1 - 0.0000 -
1288.76/1294.01 c 1294 1239558 915443 1 - 0.0000 -
1293.73/1299.07 c 1299 1243374 917869 1 - 0.0000 -
1298.81/1304.11 c 1304 1247327 920445 1 - 0.0000 -
1303.78/1309.17 c 1309 1250804 921968 1 - 0.0000 -
1308.84/1314.23 c 1314 1255522 925790 1 - 0.0000 -
1313.82/1319.29 c 1319 1259962 929049 1 - 0.0000 -
1318.91/1324.34 c 1324 1264741 932187 1 - 0.0000 -
1323.88/1329.38 c 1329 1268844 934382 1 - 0.0000 -
1328.96/1334.44 c 1334 1273591 937362 1 - 0.0000 -
1334.03/1339.50 c 1340 1277938 940185 1 - 0.0000 -
1339.01/1344.54 c 1345 1282134 942403 1 - 0.0000 -
1344.00/1349.59 c 1350 1285903 944606 1 - 0.0000 -
1349.07/1354.67 c 1355 1290482 947594 1 - 0.0000 -
1354.15/1359.71 c 1360 1294924 950743 1 - 0.0000 -
1359.14/1364.77 c 1365 1299858 954790 1 - 0.0000 -
1364.22/1369.82 c 1370 1303973 957977 1 - 0.0000 -
1369.20/1374.88 c 1375 1308886 962068 1 - 0.0000 -
1374.28/1379.93 c 1380 1312888 964584 1 - 0.0000 -
1379.26/1384.98 c 1385 1316671 966743 1 - 0.0000 -
1384.35/1390.04 c 1390 1320982 969705 1 - 0.0000 -
1389.34/1395.09 c 1395 1325159 972367 1 - 0.0000 -
1394.41/1400.14 c 1400 1328951 974557 1 - 0.0000 -
1399.40/1405.18 c 1405 1333033 977309 1 - 0.0000 -
1404.46/1410.24 c 1410 1336998 979660 1 - 0.0000 -
1409.44/1415.29 c 1415 1340845 981925 1 - 0.0000 -
1414.52/1420.33 c 1420 1345292 985292 1 - 0.0000 -
1419.50/1425.38 c 1425 1350181 988876 1 - 0.0000 -
1424.58/1430.45 c 1430 1353953 991096 1 - 0.0000 -
1429.66/1435.50 c 1436 1357345 993110 1 - 0.0000 -
1434.64/1440.54 c 1441 1361798 996487 1 - 0.0000 -
1439.72/1445.60 c 1446 1365538 998648 1 - 0.0000 -
1444.70/1450.65 c 1451 1369557 1001455 1 - 0.0000 -
1449.68/1455.69 c 1456 1373804 1004485 1 - 0.0000 -
1454.76/1460.75 c 1461 1378544 1008136 1 - 0.0000 -
1459.84/1465.81 c 1466 1382068 1010018 1 - 0.0000 -
1464.82/1470.88 c 1471 1386254 1013181 1 - 0.0000 -
1469.91/1475.92 c 1476 1390804 1016744 1 - 0.0000 -
1474.88/1480.98 c 1481 1396316 1020862 1 - 0.0000 -
1479.96/1486.03 c 1486 1400593 1023378 1 - 0.0000 -
1484.94/1491.08 c 1491 1404485 1025444 1 - 0.0000 -
1490.03/1496.12 c 1496 1407987 1027135 1 - 0.0000 -
1495.01/1501.18 c 1501 1412103 1029970 1 - 0.0000 -
1500.07/1506.24 c 1506 1415923 1032089 1 - 0.0000 -
1505.05/1511.28 c 1511 1419124 1033687 1 - 0.0000 -
1510.13/1516.33 c 1516 1422898 1036275 1 - 0.0000 -
1515.21/1521.41 c 1521 1426444 1038580 1 - 0.0000 -
1520.19/1526.47 c 1526 1430247 1041262 1 - 0.0000 -
1525.27/1531.52 c 1532 1433598 1043056 1 - 0.0000 -
1530.26/1536.57 c 1537 1436976 1045120 1 - 0.0000 -
1535.33/1541.63 c 1542 1441019 1048233 1 - 0.0000 -
1540.32/1546.67 c 1547 1445218 1051908 1 - 0.0000 -
1545.40/1551.73 c 1552 1449314 1055337 1 - 0.0000 -
1550.48/1556.80 c 1557 1452812 1057692 1 - 0.0000 -
1555.46/1561.84 c 1562 1456872 1061141 1 - 0.0000 -
1560.53/1566.91 c 1567 1460572 1064502 1 - 0.0000 -
1565.51/1571.96 c 1572 1464718 1068305 1 - 0.0000 -
1570.60/1577.02 c 1577 1468702 1070972 1 - 0.0000 -
1575.59/1582.06 c 1582 1472640 1074225 1 - 0.0000 -
1580.66/1587.12 c 1587 1476533 1077081 1 - 0.0000 -
1585.65/1592.18 c 1592 1480982 1080759 1 - 0.0000 -
1590.71/1597.23 c 1597 1485024 1083683 1 - 0.0000 -
1595.69/1602.28 c 1602 1488746 1086467 1 - 0.0000 -
1600.77/1607.34 c 1607 1492149 1088547 1 - 0.0000 -
1605.75/1612.38 c 1612 1495615 1090483 1 - 0.0000 -
1610.83/1617.43 c 1617 1498420 1091980 1 - 0.0000 -
1615.81/1622.49 c 1622 1502369 1094674 1 - 0.0000 -
1620.89/1627.53 c 1628 1506566 1097375 1 - 0.0000 -
1625.88/1632.60 c 1633 1510486 1099284 1 - 0.0000 -
1630.95/1637.64 c 1638 1513910 1101412 1 - 0.0000 -
1635.93/1642.69 c 1643 1517060 1103220 1 - 0.0000 -
1641.00/1647.75 c 1648 1520282 1105483 1 - 0.0000 -
1645.99/1652.79 c 1653 1523665 1107889 1 - 0.0000 -
1651.06/1657.85 c 1658 1526675 1109464 1 - 0.0000 -
1656.15/1662.92 c 1663 1529993 1111264 1 - 0.0000 -
1661.12/1667.97 c 1668 1533796 1114361 1 - 0.0000 -
1666.22/1673.03 c 1673 1537645 1117436 1 - 0.0000 -
1671.19/1678.07 c 1678 1541876 1120025 1 - 0.0000 -
1676.28/1683.13 c 1683 1545158 1122419 1 - 0.0000 -
1681.26/1688.19 c 1688 1548682 1124756 1 - 0.0000 -
1686.33/1693.24 c 1693 1552017 1126869 1 - 0.0000 -
1691.31/1698.29 c 1698 1555656 1129654 1 - 0.0000 -
1696.39/1703.33 c 1703 1559667 1132968 1 - 0.0000 -
1701.36/1708.38 c 1708 1563995 1136132 1 - 0.0000 -
1706.45/1713.43 c 1713 1567551 1137958 1 - 0.0000 -
1711.42/1718.48 c 1718 1571143 1140580 1 - 0.0000 -
1716.51/1723.54 c 1724 1574878 1143641 1 - 0.0000 -
1721.59/1728.60 c 1729 1578539 1146219 1 - 0.0000 -
1726.56/1733.65 c 1734 1582146 1148696 1 - 0.0000 -
1731.65/1738.70 c 1739 1586033 1151312 1 - 0.0000 -
1736.63/1743.76 c 1744 1589802 1154216 1 - 0.0000 -
1741.71/1748.80 c 1749 1593604 1157077 1 - 0.0000 -
1746.69/1753.86 c 1754 1597230 1159672 1 - 0.0000 -
1751.77/1758.91 c 1759 1600889 1162248 1 - 0.0000 -
1756.75/1763.95 c 1764 1604895 1165259 1 - 0.0000 -
1761.84/1769.01 c 1769 1608360 1168114 1 - 0.0000 -
1766.82/1774.08 c 1774 1611358 1169700 1 - 0.0000 -
1771.90/1779.15 c 1779 1614988 1172976 1 - 0.0000 -
1776.89/1784.19 c 1784 1618074 1175208 1 - 0.0000 -
1781.95/1789.26 c 1789 1621541 1177900 1 - 0.0000 -
1787.03/1794.31 c 1794 1625638 1181310 1 - 0.0000 -
1792.01/1799.35 c 1799 1629646 1184982 1 - 0.0000 -
1797.09/1804.43 c 1804 1633580 1188145 1 - 0.0000 -
1802.07/1809.47 c 1809 1636693 1190251 1 - 0.0000 -
1807.15/1814.54 c 1815 1639355 1191808 1 - 0.0000 -
1812.14/1819.58 c 1820 1643139 1194677 1 - 0.0000 -
1817.21/1824.65 c 1825 1646826 1197687 1 - 0.0000 -
1822.29/1829.71 c 1830 1650725 1200906 1 - 0.0000 -
1827.28/1834.76 c 1835 1654673 1204209 1 - 0.0000 -
1832.35/1839.81 c 1840 1658485 1207538 1 - 0.0000 -
1837.33/1844.86 c 1845 1662216 1210502 1 - 0.0000 -
1842.41/1849.93 c 1850 1665196 1212482 1 - 0.0000 -
1847.40/1854.97 c 1855 1668747 1215512 1 - 0.0000 -
1852.48/1860.04 c 1860 1671346 1216826 1 - 0.0000 -
1857.56/1865.11 c 1865 1674805 1219696 1 - 0.0000 -
1862.54/1870.18 c 1870 1677836 1221974 1 - 0.0000 -
1867.60/1875.24 c 1875 1680712 1223888 1 - 0.0000 -
1872.58/1880.30 c 1880 1684588 1227142 1 - 0.0000 -
1877.67/1885.35 c 1885 1687869 1229504 1 - 0.0000 -
1882.75/1890.40 c 1890 1691476 1232431 1 - 0.0000 -
1887.73/1895.48 c 1895 1694201 1234151 1 - 0.0000 -
1892.81/1900.54 c 1901 1697611 1236738 1 - 0.0000 -
1897.89/1905.60 c 1906 1701069 1239133 1 - 0.0000 -
1902.87/1910.66 c 1911 1704478 1241665 1 - 0.0000 -
1907.95/1915.73 c 1916 1707747 1243733 1 - 0.0000 -
1912.93/1920.78 c 1921 1710907 1245710 1 - 0.0000 -
1918.02/1925.85 c 1926 1714373 1248153 1 - 0.0000 -
1923.10/1930.90 c 1931 1717498 1249775 1 - 0.0000 -
1928.07/1935.94 c 1936 1719873 1251259 1 - 0.0000 -
1933.05/1941.01 c 1941 1722841 1253069 1 - 0.0000 -
1938.14/1946.08 c 1946 1726406 1255657 1 - 0.0000 -
1943.22/1951.13 c 1951 1729524 1258182 1 - 0.0000 -
1948.21/1956.18 c 1956 1732770 1260737 1 - 0.0000 -
1953.28/1961.25 c 1961 1735963 1263107 1 - 0.0000 -
1958.25/1966.29 c 1966 1738855 1265117 1 - 0.0000 -
1963.34/1971.35 c 1971 1741706 1267278 1 - 0.0000 -
1968.42/1976.42 c 1976 1745086 1269869 1 - 0.0000 -
1973.40/1981.47 c 1981 1748208 1272261 1 - 0.0000 -
1978.48/1986.52 c 1987 1751074 1274001 1 - 0.0000 -
1983.46/1991.57 c 1992 1753913 1275649 1 - 0.0000 -
1988.54/1996.63 c 1997 1757452 1278040 1 - 0.0000 -
1993.62/2001.73 c 2002 1760770 1279904 1 - 0.0000 -
1998.70/2006.81 c 2007 1763305 1281590 1 - 0.0000 -
2003.68/2011.88 c 2012 1765929 1283408 1 - 0.0000 -
2008.76/2016.92 c 2017 1768866 1286028 1 - 0.0000 -
2013.75/2021.99 c 2022 1771315 1287781 1 - 0.0000 -
2018.84/2027.05 c 2027 1773411 1288953 1 - 0.0000 -
2023.92/2032.12 c 2032 1776271 1290967 1 - 0.0000 -
2028.89/2037.18 c 2037 1777848 1291552 1 - 0.0000 -
2033.97/2042.24 c 2042 1779440 1292068 1 - 0.0000 -
2039.05/2047.30 c 2047 1780659 1292249 1 - 0.0000 -
2044.03/2052.35 c 2052 1782586 1293427 1 - 0.0000 -
2049.11/2057.40 c 2057 1785405 1295268 1 - 0.0000 -
2054.09/2062.46 c 2062 1786711 1295560 1 - 0.0000 -
2059.18/2067.53 c 2068 1788953 1297341 1 - 0.0000 -
2064.25/2072.60 c 2073 1791958 1299866 1 - 0.0000 -
2069.23/2077.64 c 2078 1795010 1302269 1 - 0.0000 -
2074.31/2082.72 c 2083 1797861 1304476 1 - 0.0000 -
2079.39/2087.80 c 2088 1800530 1306222 1 - 0.0000 -
2084.38/2092.86 c 2093 1803125 1308350 1 - 0.0000 -
2089.46/2097.91 c 2098 1805489 1309992 1 - 0.0000 -
2094.44/2102.97 c 2103 1808269 1312412 1 - 0.0000 -
2099.52/2108.03 c 2108 1811178 1314719 1 - 0.0000 -
2104.51/2113.09 c 2113 1814002 1316823 1 - 0.0000 -
2109.59/2118.13 c 2118 1816379 1318262 1 - 0.0000 -
2114.65/2123.20 c 2123 1819163 1320156 1 - 0.0000 -
2119.64/2128.24 c 2128 1821859 1322011 1 - 0.0000 -
2124.72/2133.30 c 2133 1824466 1323527 1 - 0.0000 -
2129.70/2138.37 c 2138 1826941 1325147 1 - 0.0000 -
2134.78/2143.41 c 2143 1829776 1327498 1 - 0.0000 -
2139.76/2148.47 c 2148 1833193 1330638 1 - 0.0000 -
2144.84/2153.54 c 2154 1835731 1331976 1 - 0.0000 -
2149.92/2158.62 c 2159 1837902 1333046 1 - 0.0000 -
2154.91/2163.67 c 2164 1840412 1334854 1 - 0.0000 -
2159.99/2168.75 c 2169 1843415 1337599 1 - 0.0000 -
2165.07/2173.81 c 2174 1846481 1340501 1 - 0.0000 -
2170.05/2178.86 c 2179 1849327 1343003 1 - 0.0000 -
2175.12/2183.93 c 2184 1851941 1345212 1 - 0.0000 -
2180.11/2188.99 c 2189 1854512 1347046 1 - 0.0000 -
2185.20/2194.05 c 2194 1857053 1348663 1 - 0.0000 -
2190.18/2199.10 c 2199 1859513 1349933 1 - 0.0000 -
2195.26/2204.15 c 2204 1861793 1351109 1 - 0.0000 -
2200.33/2209.22 c 2209 1863808 1352259 1 - 0.0000 -
2205.31/2214.27 c 2214 1866405 1354176 1 - 0.0000 -
2210.39/2219.34 c 2219 1869332 1356175 1 - 0.0000 -
2215.37/2224.39 c 2224 1872105 1358711 1 - 0.0000 -
2220.45/2229.44 c 2229 1875148 1361327 1 - 0.0000 -
2225.44/2234.49 c 2234 1877556 1363007 1 - 0.0000 -
2230.51/2239.55 c 2240 1880128 1364801 1 - 0.0000 -
2235.59/2244.63 c 2245 1882469 1366403 1 - 0.0000 -
2240.67/2249.70 c 2250 1884756 1367875 1 - 0.0000 -
2245.65/2254.77 c 2255 1887120 1369125 1 - 0.0000 -
2250.73/2259.83 c 2260 1889442 1370518 1 - 0.0000 -
2255.71/2264.88 c 2265 1892531 1373282 1 - 0.0000 -
2260.79/2269.94 c 2270 1894984 1374977 1 - 0.0000 -
2265.78/2274.98 c 2275 1897085 1376373 1 - 0.0000 -
2270.86/2280.03 c 2280 1899735 1378715 1 - 0.0000 -
2275.84/2285.09 c 2285 1902256 1380651 1 - 0.0000 -
2280.93/2290.15 c 2290 1904869 1382775 1 - 0.0000 -
2285.90/2295.19 c 2295 1907820 1385588 1 - 0.0000 -
2290.97/2300.24 c 2300 1910550 1387889 1 - 0.0000 -
2296.04/2305.30 c 2305 1913417 1390521 1 - 0.0000 -
2301.03/2310.35 c 2310 1916129 1393116 1 - 0.0000 -
2306.11/2315.41 c 2315 1918986 1395674 1 - 0.0000 -
2311.08/2320.49 c 2320 1922064 1397958 1 - 0.0000 -
2316.17/2325.55 c 2326 1924861 1400304 1 - 0.0000 -
2321.25/2330.64 c 2331 1927721 1402425 1 - 0.0000 -
2326.23/2335.69 c 2336 1930368 1404440 1 - 0.0000 -
2331.31/2340.77 c 2341 1932848 1406423 1 - 0.0000 -
2336.39/2345.84 c 2346 1935366 1408055 1 - 0.0000 -
2341.37/2350.90 c 2351 1937936 1410085 1 - 0.0000 -
2346.45/2355.95 c 2356 1939877 1411089 1 - 0.0000 -
2351.54/2361.01 c 2361 1942476 1413070 1 - 0.0000 -
2356.53/2366.05 c 2366 1944717 1414459 1 - 0.0000 -
2361.60/2371.11 c 2371 1946805 1415610 1 - 0.0000 -
2366.59/2376.18 c 2376 1948707 1416469 1 - 0.0000 -
2371.66/2381.29 c 2381 1950883 1417496 1 - 0.0000 -
2376.73/2386.38 c 2386 1952904 1418465 1 - 0.0000 -
2381.82/2391.43 c 2391 1955364 1420408 1 - 0.0000 -
2386.80/2396.49 c 2396 1958578 1423317 1 - 0.0000 -
2391.88/2401.54 c 2402 1961549 1426166 1 - 0.0000 -
2396.96/2406.65 c 2407 1964385 1428943 1 - 0.0000 -
2402.04/2411.72 c 2412 1967115 1431475 1 - 0.0000 -
2407.02/2416.77 c 2417 1969900 1433913 1 - 0.0000 -
2412.10/2421.84 c 2422 1972214 1435495 1 - 0.0000 -
2417.08/2426.89 c 2427 1974398 1436764 1 - 0.0000 -
2422.16/2431.97 c 2432 1976988 1438720 1 - 0.0000 -
2427.25/2437.01 c 2437 1979673 1441082 1 - 0.0000 -
2432.23/2442.07 c 2442 1982584 1443489 1 - 0.0000 -
2437.32/2447.11 c 2447 1984750 1444978 1 - 0.0000 -
2442.30/2452.19 c 2452 1986851 1446500 1 - 0.0000 -
2447.36/2457.26 c 2457 1988605 1447537 1 - 0.0000 -
2452.44/2462.33 c 2462 1991228 1449459 1 - 0.0000 -
2457.43/2467.38 c 2467 1993398 1451026 1 - 0.0000 -
2462.51/2472.46 c 2472 1996080 1453344 1 - 0.0000 -
2467.58/2477.53 c 2478 1998878 1455812 1 - 0.0000 -
2472.57/2482.58 c 2483 2001567 1458143 1 - 0.0000 -
2477.65/2487.68 c 2488 2004269 1460246 1 - 0.0000 -
2482.73/2492.75 c 2493 2006791 1462187 1 - 0.0000 -
2487.81/2497.84 c 2498 2009233 1463968 1 - 0.0000 -
2492.89/2502.90 c 2503 2011770 1466158 1 - 0.0000 -
2497.87/2507.95 c 2508 2014171 1468046 1 - 0.0000 -
2502.84/2513.01 c 2513 2016041 1469154 1 - 0.0000 -
2508.04/2518.13 c 2518 2018170 1470337 1 - 0.0000 -
2513.10/2523.20 c 2523 2020971 1472614 1 - 0.0000 -
2518.08/2528.27 c 2528 2023083 1474087 1 - 0.0000 -
2523.17/2533.35 c 2533 2025143 1475269 1 - 0.0000 -
2528.24/2538.41 c 2538 2027588 1477487 1 - 0.0000 -
2533.23/2543.47 c 2543 2030127 1479748 1 - 0.0000 -
2538.31/2548.52 c 2549 2032550 1481584 1 - 0.0000 -
2543.28/2553.58 c 2554 2034472 1482763 1 - 0.0000 -
2548.37/2558.63 c 2559 2037174 1484744 1 - 0.0000 -
2553.45/2563.71 c 2564 2039371 1486157 1 - 0.0000 -
2558.43/2568.75 c 2569 2041220 1487202 1 - 0.0000 -
2563.51/2573.84 c 2574 2043156 1488015 1 - 0.0000 -
2568.49/2578.89 c 2579 2045242 1489304 1 - 0.0000 -
2573.58/2583.95 c 2584 2046914 1490116 1 - 0.0000 -
2578.67/2589.01 c 2589 2048925 1491228 1 - 0.0000 -
2583.65/2594.08 c 2594 2051309 1492479 1 - 0.0000 -
2588.73/2599.13 c 2599 2053766 1493702 1 - 0.0000 -
2593.80/2604.21 c 2604 2055733 1494829 1 - 0.0000 -
2598.78/2609.28 c 2609 2058010 1496102 1 - 0.0000 -
2603.86/2614.33 c 2614 2059602 1496794 1 - 0.0000 -
2608.94/2619.40 c 2619 2061732 1497932 1 - 0.0000 -
2613.92/2624.44 c 2624 2063498 1498863 1 - 0.0000 -
2619.01/2629.52 c 2630 2065119 1499591 1 - 0.0000 -
2623.99/2634.58 c 2635 2067021 1500792 1 - 0.0000 -
2629.06/2639.64 c 2640 2070278 1503546 1 - 0.0000 -
2634.15/2644.71 c 2645 2072652 1505341 1 - 0.0000 -
2639.13/2649.78 c 2650 2074625 1506550 1 - 0.0000 -
2644.21/2654.85 c 2655 2077322 1508685 1 - 0.0000 -
2649.29/2659.94 c 2660 2079911 1510682 1 - 0.0000 -
2654.27/2664.98 c 2665 2082102 1511942 1 - 0.0000 -
2659.36/2670.04 c 2670 2084297 1513245 1 - 0.0000 -
2664.45/2675.13 c 2675 2086494 1514575 1 - 0.0000 -
2669.42/2680.18 c 2680 2088236 1515546 1 - 0.0000 -
2674.49/2685.25 c 2685 2090531 1516944 1 - 0.0000 -
2679.57/2690.31 c 2690 2092714 1518428 1 - 0.0000 -
2684.54/2695.38 c 2695 2094996 1520005 1 - 0.0000 -
2689.62/2700.43 c 2700 2097033 1521041 1 - 0.0000 -
2694.61/2705.48 c 2705 2098954 1522248 1 - 0.0000 -
2699.68/2710.55 c 2711 2101390 1524216 1 - 0.0000 -
2704.76/2715.65 c 2716 2103358 1525390 1 - 0.0000 -
2709.84/2720.73 c 2721 2105418 1526493 1 - 0.0000 -
2714.82/2725.78 c 2726 2107736 1528132 1 - 0.0000 -
2719.90/2730.85 c 2731 2109862 1529293 1 - 0.0000 -
2724.97/2735.91 c 2736 2112302 1530688 1 - 0.0000 -
2729.96/2740.97 c 2741 2114303 1531774 1 - 0.0000 -
2735.05/2746.05 c 2746 2115976 1532486 1 - 0.0000 -
2740.03/2751.09 c 2751 2119402 1534971 1 - 0.0000 -
2745.10/2756.15 c 2756 2122512 1537508 1 - 0.0000 -
2750.17/2761.21 c 2761 2125847 1540109 1 - 0.0000 -
2755.14/2766.28 c 2766 2128718 1542116 1 - 0.0000 -
2760.23/2771.35 c 2771 2131201 1543882 1 - 0.0000 -
2765.30/2776.41 c 2776 2132916 1544543 1 - 0.0000 -
2770.28/2781.45 c 2781 2136356 1546506 1 - 0.0000 -
2775.36/2786.52 c 2787 2139692 1549012 1 - 0.0000 -
2780.34/2791.58 c 2792 2142423 1550599 1 - 0.0000 -
2785.41/2796.64 c 2797 2144855 1552114 1 - 0.0000 -
2790.40/2801.69 c 2802 2148242 1554642 1 - 0.0000 -
2795.48/2806.73 c 2807 2151762 1557122 1 - 0.0000 -
2800.55/2811.80 c 2812 2154832 1559078 1 - 0.0000 -
2805.53/2816.85 c 2817 2157455 1560667 1 - 0.0000 -
2810.61/2821.93 c 2822 2160017 1562023 1 - 0.0000 -
2815.59/2826.99 c 2827 2162590 1563930 1 - 0.0000 -
2820.68/2832.04 c 2832 2165548 1566072 1 - 0.0000 -
2825.67/2837.10 c 2837 2167816 1567437 1 - 0.0000 -
2830.75/2842.17 c 2842 2169904 1568462 1 - 0.0000 -
2835.81/2847.24 c 2847 2172033 1569424 1 - 0.0000 -
2840.90/2852.30 c 2852 2174026 1570362 1 - 0.0000 -
2845.88/2857.35 c 2857 2176717 1572350 1 - 0.0000 -
2850.96/2862.42 c 2862 2179712 1574659 1 - 0.0000 -
2855.94/2867.48 c 2867 2182229 1576479 1 - 0.0000 -
2861.01/2872.53 c 2873 2184402 1577857 1 - 0.0000 -
2866.08/2877.60 c 2878 2187398 1580286 1 - 0.0000 -
2871.07/2882.64 c 2883 2190405 1582843 1 - 0.0000 -
2876.05/2887.69 c 2888 2193219 1584745 1 - 0.0000 -
2881.13/2892.75 c 2893 2195222 1585636 1 - 0.0000 -
2886.21/2897.82 c 2898 2197442 1586699 1 - 0.0000 -
2891.29/2902.91 c 2903 2199546 1587571 1 - 0.0000 -
2896.26/2907.96 c 2908 2201682 1588506 1 - 0.0000 -
2901.35/2913.01 c 2913 2204201 1589932 1 - 0.0000 -
2906.34/2918.06 c 2918 2207457 1591789 1 - 0.0000 -
2911.41/2923.11 c 2923 2210998 1594266 1 - 0.0000 -
2916.39/2928.17 c 2928 2215012 1596952 1 - 0.0000 -
2921.45/2933.23 c 2933 2218550 1599709 1 - 0.0000 -
2926.43/2938.28 c 2938 2222343 1602550 1 - 0.0000 -
2931.52/2943.33 c 2943 2226010 1605026 1 - 0.0000 -
2936.50/2948.39 c 2948 2228916 1606715 1 - 0.0000 -
2941.57/2953.44 c 2953 2231840 1608304 1 - 0.0000 -
2946.55/2958.49 c 2958 2234942 1609758 1 - 0.0000 -
2951.63/2963.53 c 2964 2237586 1611130 1 - 0.0000 -
2956.60/2968.58 c 2969 2240442 1612440 1 - 0.0000 -
2961.68/2973.64 c 2974 2243693 1614057 1 - 0.0000 -
2966.66/2978.68 c 2979 2246635 1615554 1 - 0.0000 -
2971.75/2983.76 c 2984 2248545 1616132 1 - 0.0000 -
2976.82/2988.82 c 2989 2252105 1619602 1 - 0.0000 -
2981.80/2993.87 c 2994 2256089 1623103 1 - 0.0000 -
2986.89/2998.93 c 2999 2259330 1624996 1 - 0.0000 -
2991.87/3003.98 c 3004 2263295 1628183 1 - 0.0000 -
2996.95/3009.03 c 3009 2267293 1630729 1 - 0.0000 -
3001.93/3014.09 c 3014 2270888 1633344 1 - 0.0000 -
3007.01/3019.14 c 3019 2273797 1635270 1 - 0.0000 -
3012.08/3024.20 c 3024 2276146 1636207 1 - 0.0000 -
3017.06/3029.27 c 3029 2278894 1637453 1 - 0.0000 -
3022.15/3034.31 c 3034 2281671 1638645 1 - 0.0000 -
3027.12/3039.37 c 3039 2283848 1639688 1 - 0.0000 -
3032.21/3044.43 c 3044 2286719 1641290 1 - 0.0000 -
3037.18/3049.48 c 3049 2289589 1642672 1 - 0.0000 -
3042.27/3054.53 c 3055 2292968 1645303 1 - 0.0000 -
3047.34/3059.60 c 3060 2295802 1646587 1 - 0.0000 -
3052.33/3064.65 c 3065 2298544 1648508 1 - 0.0000 -
3057.41/3069.72 c 3070 2301917 1650989 1 - 0.0000 -
3062.39/3074.77 c 3075 2305592 1653923 1 - 0.0000 -
3067.47/3079.82 c 3080 2309305 1657278 1 - 0.0000 -
3072.45/3084.88 c 3085 2312536 1659883 1 - 0.0000 -
3077.52/3089.94 c 3090 2315929 1662625 1 - 0.0000 -
3082.51/3094.98 c 3095 2319222 1665068 1 - 0.0000 -
3087.60/3100.04 c 3100 2321901 1666840 1 - 0.0000 -
3092.58/3105.10 c 3105 2324950 1669293 1 - 0.0000 -
3097.66/3110.16 c 3110 2328678 1671895 1 - 0.0000 -
3102.73/3115.22 c 3115 2332107 1674477 1 - 0.0000 -
3107.71/3120.27 c 3120 2335214 1676787 1 - 0.0000 -
3112.79/3125.33 c 3125 2337028 1677529 1 - 0.0000 -
3117.77/3130.37 c 3130 2338908 1678083 1 - 0.0000 -
3122.85/3135.44 c 3135 2341705 1679946 1 - 0.0000 -
3127.94/3140.50 c 3140 2343928 1680940 1 - 0.0000 -
3132.92/3145.54 c 3146 2346425 1682366 1 - 0.0000 -
3138.00/3150.60 c 3151 2349368 1683926 1 - 0.0000 -
3142.97/3155.66 c 3156 2352145 1685392 1 - 0.0000 -
3148.06/3160.70 c 3161 2354844 1686710 1 - 0.0000 -
3153.03/3165.76 c 3166 2358358 1689285 1 - 0.0000 -
3158.12/3170.80 c 3171 2362377 1692408 1 - 0.0000 -
3163.10/3175.88 c 3176 2365577 1694509 1 - 0.0000 -
3168.17/3180.93 c 3181 2368163 1695938 1 - 0.0000 -
3173.16/3185.98 c 3186 2370707 1697244 1 - 0.0000 -
3178.25/3191.04 c 3191 2372426 1697842 1 - 0.0000 -
3183.34/3196.13 c 3196 2374028 1698365 1 - 0.0000 -
3188.40/3201.20 c 3201 2376175 1699659 1 - 0.0000 -
3193.38/3206.26 c 3206 2379515 1702691 1 - 0.0000 -
3198.46/3211.32 c 3211 2382363 1704980 1 - 0.0000 -
3203.44/3216.38 c 3216 2384651 1706029 1 - 0.0000 -
3208.52/3221.43 c 3221 2387575 1707843 1 - 0.0000 -
3213.50/3226.47 c 3226 2389969 1709072 1 - 0.0000 -
3218.59/3231.52 c 3232 2391781 1709719 1 - 0.0000 -
3223.66/3236.60 c 3237 2394047 1710678 1 - 0.0000 -
3228.65/3241.67 c 3242 2396549 1712120 1 - 0.0000 -
3233.72/3246.73 c 3247 2398873 1713199 1 - 0.0000 -
3238.71/3251.79 c 3252 2401443 1714692 1 - 0.0000 -
3243.79/3256.83 c 3257 2405030 1717000 1 - 0.0000 -
3248.77/3261.88 c 3262 2409084 1719609 1 - 0.0000 -
3253.85/3266.93 c 3267 2412333 1721906 1 - 0.0000 -
3258.83/3271.99 c 3272 2414926 1723432 1 - 0.0000 -
3263.92/3277.05 c 3277 2416824 1724111 1 - 0.0000 -
3268.90/3282.10 c 3282 2418603 1724582 1 - 0.0000 -
3273.98/3287.16 c 3287 2420890 1725456 1 - 0.0000 -
3279.05/3292.23 c 3292 2423499 1727031 1 - 0.0000 -
3284.03/3297.29 c 3297 2426205 1728735 1 - 0.0000 -
3289.11/3302.35 c 3302 2429050 1730593 1 - 0.0000 -
3294.19/3307.41 c 3307 2431758 1732455 1 - 0.0000 -
3299.17/3312.49 c 3312 2433710 1733348 1 - 0.0000 -
3304.25/3317.56 c 3318 2435673 1734193 1 - 0.0000 -
3309.34/3322.61 c 3323 2437950 1735227 1 - 0.0000 -
3314.31/3327.65 c 3328 2440538 1736603 1 - 0.0000 -
3319.40/3332.71 c 3333 2442273 1737170 1 - 0.0000 -
3324.37/3337.78 c 3338 2443779 1737608 1 - 0.0000 -
3329.46/3342.84 c 3343 2445377 1738147 1 - 0.0000 -
3334.54/3347.93 c 3348 2446917 1738576 1 - 0.0000 -
3339.63/3353.03 c 3353 2449288 1739587 1 - 0.0000 -
3344.61/3358.10 c 3358 2452061 1740850 1 - 0.0000 -
3349.69/3363.15 c 3363 2454420 1742043 1 - 0.0000 -
3354.76/3368.22 c 3368 2456013 1742461 1 - 0.0000 -
3359.74/3373.28 c 3373 2458641 1743756 1 - 0.0000 -
3364.82/3378.34 c 3378 2460484 1744640 1 - 0.0000 -
3369.90/3383.40 c 3383 2461813 1744794 1 - 0.0000 -
3374.89/3388.47 c 3388 2463824 1745635 1 - 0.0000 -
3379.96/3393.52 c 3394 2465453 1746276 1 - 0.0000 -
3384.94/3398.59 c 3399 2467021 1746588 1 - 0.0000 -
3390.03/3403.64 c 3404 2468220 1746720 1 - 0.0000 -
3395.01/3408.69 c 3409 2469828 1747171 1 - 0.0000 -
3400.09/3413.79 c 3414 2471217 1747364 1 - 0.0000 -
3405.17/3418.85 c 3419 2472428 1747515 1 - 0.0000 -
3410.15/3423.90 c 3424 2473762 1747770 1 - 0.0000 -
3415.23/3428.99 c 3429 2475341 1748291 1 - 0.0000 -
3420.31/3434.08 c 3434 2477082 1749052 1 - 0.0000 -
3425.39/3439.12 c 3439 2479412 1750396 1 - 0.0000 -
3430.37/3444.19 c 3444 2481847 1751749 1 - 0.0000 -
3435.44/3449.24 c 3449 2483853 1752828 1 - 0.0000 -
3440.53/3454.36 c 3454 2486431 1754731 1 - 0.0000 -
3445.61/3459.42 c 3459 2488522 1755898 1 - 0.0000 -
3450.69/3464.51 c 3465 2490070 1756470 1 - 0.0000 -
3455.67/3469.59 c 3470 2491865 1757435 1 - 0.0000 -
3460.75/3474.67 c 3475 2493589 1758083 1 - 0.0000 -
3465.83/3479.71 c 3480 2496078 1760008 1 - 0.0000 -
3470.82/3484.77 c 3485 2498134 1761197 1 - 0.0000 -
3475.90/3489.85 c 3490 2500288 1762284 1 - 0.0000 -
3480.98/3494.99 c 3495 2502228 1763297 1 - 0.0000 -
3486.07/3500.04 c 3500 2504174 1764226 1 - 0.0000 -
3491.06/3505.08 c 3505 2506437 1765647 1 - 0.0000 -
3496.14/3510.14 c 3510 2508616 1767110 1 - 0.0000 -
3501.21/3515.21 c 3515 2511818 1770076 1 - 0.0000 -
3506.19/3520.25 c 3520 2515115 1773032 1 - 0.0000 -
3511.27/3525.30 c 3525 2518906 1776452 1 - 0.0000 -
3516.25/3530.35 c 3530 2522683 1779919 1 - 0.0000 -
3521.33/3535.40 c 3535 2526371 1783357 1 - 0.0000 -
3526.31/3540.47 c 3540 2529988 1786721 1 - 0.0000 -
3531.39/3545.52 c 3546 2533007 1788827 1 - 0.0000 -
3536.37/3550.56 c 3551 2535744 1790959 1 - 0.0000 -
3541.45/3555.63 c 3556 2538416 1792689 1 - 0.0000 -
3546.43/3560.69 c 3561 2540556 1793822 1 - 0.0000 -
3551.52/3565.75 c 3566 2542542 1794632 1 - 0.0000 -
3556.60/3570.82 c 3571 2545176 1796178 1 - 0.0000 -
3561.68/3575.90 c 3576 2547488 1797384 1 - 0.0000 -
3566.66/3580.96 c 3581 2549600 1798416 1 - 0.0000 -
3571.76/3586.03 c 3586 2551936 1799623 1 - 0.0000 -
3576.74/3591.10 c 3591 2554126 1800592 1 - 0.0000 -
3581.82/3596.15 c 3596 2556020 1801565 1 - 0.0000 -
3585.90/3600.28 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.90/3600.28 c Total Time : 3600.2800
3585.90/3600.28 c solving : 3600.2800
3585.90/3600.28 c presolving : 0.0232 (included in solving)
3585.90/3600.28 c B&B Tree :
3585.90/3600.28 c nodes (total) : 1
3585.90/3600.28 c Solution :
3585.90/3600.28 c Solutions found : 0
3585.90/3600.28 c Primal Bound : -
3585.90/3600.28 c Dual Bound : +0.00000000000000e+00
3585.90/3600.28 c Gap : -
3585.90/3600.29 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62185 MiB free)
memory of node 1: 64510 MiB (58737 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464498-1722385811/watcher-4464498-1722385811 -o /tmp/evaluation-result-4464498-1722385811/solver-4464498-1722385811 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722378594-29094 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464498-1722385811.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
solver pid=33401, runsolver pid=33398
Current StackSize limit: 8192 KiB
[startup+0.100566 s]*
/proc/loadavg: 4.07 4.15 4.26 5/253 33404
/proc/meminfo: memFree=123807668/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=115948 memory=27972 CPUtime=0.09 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 4474 0 0 0 8 1 0 0 20 0 3 0 5176748 118730752 6993 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 28987 6993 2870 3035 0 10746 0
[pid=33401/tid=33403] ppid=33398 vsize=115948 memory=4026561586 CPUtime=0.04 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 1428 0 0 0 4 0 0 0 20 0 3 0 5176752 118730752 6993 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=115948 memory=232851243367 CPUtime=0 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5176753 118730752 6993 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 115948 KiB
Current children cumulated memory: 27972 KiB
[startup+0.213572 s]*
/proc/loadavg: 4.07 4.15 4.26 5/253 33404
/proc/meminfo: memFree=123802628/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=115948 memory=33344 CPUtime=0.19 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 5741 0 0 0 17 2 0 0 20 0 3 0 5176748 118730752 8336 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 28987 8336 2966 3035 0 12278 0
[pid=33401/tid=33403] ppid=33398 vsize=115948 memory=664970838410264707 CPUtime=0.15 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 2695 0 0 0 14 1 0 0 20 0 3 0 5176752 118730752 8336 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=115948 memory=3616 CPUtime=0 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5176753 118730752 8336 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 115948 KiB
Current children cumulated memory: 33344 KiB
[startup+0.312833 s]*
/proc/loadavg: 4.07 4.15 4.26 5/253 33404
/proc/meminfo: memFree=123800000/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=115948 memory=35432 CPUtime=0.29 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 6298 0 0 0 27 2 0 0 20 0 3 0 5176748 118730752 8858 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 28987 8858 2966 3035 0 12831 0
[pid=33401/tid=33403] ppid=33398 vsize=115948 memory=-5155626877828295557 CPUtime=0.24 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 3252 0 0 0 23 1 0 0 20 0 3 0 5176752 118730752 8858 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=115948 memory=0 CPUtime=0 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5176753 118730752 8858 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 115948 KiB
Current children cumulated memory: 35432 KiB
[startup+0.700335 s]
/proc/loadavg: 4.07 4.15 4.26 5/253 33404
/proc/meminfo: memFree=123798536/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=115948 memory=37276 CPUtime=0.66 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 6812 0 0 0 64 2 0 0 20 0 3 0 5176748 118730752 9319 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 28987 9319 2966 3035 0 13209 0
[pid=33401/tid=33403] ppid=33398 vsize=115948 memory=0 CPUtime=0.61 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 3766 0 0 0 60 1 0 0 20 0 3 0 5176752 118730752 9319 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=115948 memory=0 CPUtime=0 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5176753 118730752 9319 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 115948 KiB
Current children cumulated memory: 37276 KiB
[startup+1.50033 s]
/proc/loadavg: 4.07 4.15 4.26 5/253 33404
/proc/meminfo: memFree=123798212/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=115948 memory=39060 CPUtime=1.45 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 9993 0 0 0 143 2 0 0 20 0 3 0 5176748 118730752 9765 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 28987 9765 3014 3035 0 13631 0
[pid=33401/tid=33403] ppid=33398 vsize=115948 memory=0 CPUtime=1.4 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 6932 0 0 0 139 1 0 0 20 0 3 0 5176752 118730752 9765 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=115948 memory=0 CPUtime=0 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5176753 118730752 9765 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 115948 KiB
Current children cumulated memory: 39060 KiB
[startup+3.11266 s]
/proc/loadavg: 4.07 4.15 4.26 5/253 33406
/proc/meminfo: memFree=123792872/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=115948 memory=43088 CPUtime=3.06 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 11155 0 0 0 303 3 0 0 20 0 3 0 5176748 118730752 10772 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 28987 10772 3014 3035 0 14316 0
[pid=33401/tid=33403] ppid=33398 vsize=115948 memory=2273 CPUtime=3.01 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 8092 0 0 0 299 2 0 0 20 0 3 0 5176752 118730752 10772 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=115948 memory=0 CPUtime=0 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5176753 118730752 10772 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 115948 KiB
Current children cumulated memory: 43088 KiB
[startup+6.30038 s]
/proc/loadavg: 4.07 4.15 4.26 5/253 33406
/proc/meminfo: memFree=123786084/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=115948 memory=50440 CPUtime=6.23 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 18519 0 0 0 619 4 0 0 20 0 3 0 5176748 118730752 12610 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 28987 12610 3014 3035 0 16094 0
[pid=33401/tid=33403] ppid=33398 vsize=115948 memory=-5155626877828295557 CPUtime=6.18 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 15429 0 0 0 615 3 0 0 20 0 3 0 5176752 118730752 12610 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=115948 memory=49588 CPUtime=0 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5176753 118730752 12610 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 115948 KiB
Current children cumulated memory: 50440 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.17 4.26 5/255 33464
/proc/meminfo: memFree=123781432/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=115948 memory=53884 CPUtime=12.61 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 32316 0 0 0 1255 6 0 0 20 0 3 0 5176748 118730752 13471 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 28987 13471 3014 3035 0 17476 0
[pid=33401/tid=33403] ppid=33398 vsize=115948 memory=43088 CPUtime=12.56 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 29183 0 0 0 1251 5 0 0 20 0 3 0 5176752 118730752 13471 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=115948 memory=0 CPUtime=0 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5176753 118730752 13471 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 115948 KiB
Current children cumulated memory: 53884 KiB
[startup+25.5004 s]
/proc/loadavg: 4.11 4.16 4.26 5/255 33467
/proc/meminfo: memFree=123760812/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=118004 memory=66412 CPUtime=25.36 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 49831 0 0 0 2525 11 0 0 20 0 3 0 5176748 120836096 16603 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 29501 16603 3014 3035 0 19972 0
[pid=33401/tid=33403] ppid=33398 vsize=118004 memory=52944 CPUtime=25.31 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 46639 0 0 0 2521 10 0 0 20 0 3 0 5176752 120836096 16603 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=118004 memory=11352 CPUtime=0 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5176753 120836096 16603 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 118004 KiB
Current children cumulated memory: 66412 KiB
[startup+51.1137 s]
/proc/loadavg: 4.07 4.14 4.25 5/254 33470
/proc/meminfo: memFree=123715784/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=188164 memory=95004 CPUtime=50.87 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 88473 0 0 0 5065 22 0 0 20 0 3 0 5176748 192679936 23751 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 47041 23751 3014 3035 0 27371 0
[pid=33401/tid=33403] ppid=33398 vsize=188164 memory=90220 CPUtime=50.82 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 85202 0 0 0 5061 21 0 0 20 0 3 0 5176752 192679936 23751 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=188164 memory=88764 CPUtime=0 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5176753 192679936 23751 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 188164 KiB
Current children cumulated memory: 95004 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.25 5/254 33479
/proc/meminfo: memFree=123550704/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=196388 memory=154160 CPUtime=101.84 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 168218 0 0 0 10139 45 0 0 20 0 3 0 5176748 201101312 38540 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 49097 38540 3014 3035 0 42221 0
[pid=33401/tid=33403] ppid=33398 vsize=196388 memory=144452 CPUtime=101.79 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 164840 0 0 0 10135 44 0 0 20 0 3 0 5176752 201101312 38540 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=196388 memory=144244 CPUtime=0 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5176753 201101312 38540 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 196388 KiB
Current children cumulated memory: 154160 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.23 5/253 33490
/proc/meminfo: memFree=123463388/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=277844 memory=208916 CPUtime=161.6 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 240149 0 0 0 16088 72 0 0 20 0 3 0 5176748 284512256 52229 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 69461 52229 3014 3035 0 56466 0
[pid=33401/tid=33403] ppid=33398 vsize=277844 memory=202812 CPUtime=161.54 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 236715 0 0 0 16083 71 0 0 20 0 3 0 5176752 284512256 52229 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=277844 memory=11352 CPUtime=0 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5176753 284512256 52229 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 277844 KiB
################
# More data... #
################
/proc/33401/statm: 362806 354226 3014 3035 0 357476 0
[pid=33401/tid=33403] ppid=33398 vsize=1451224 memory=1409140 CPUtime=3388.36 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 2014012 0 0 0 338137 699 0 0 20 0 3 0 5176752 1486053376 354226 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=1451224 memory=1415796 CPUtime=0.05 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 132 0 0 0 1 4 0 0 20 0 3 0 5176753 1486053376 354226 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 3388.74 s
Current children cumulated vsize: 1451224 KiB
Current children cumulated memory: 1416904 KiB
[startup+3462.3 s]
/proc/loadavg: 2.81 3.25 3.69 3/235 35150
/proc/meminfo: memFree=123444364/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=1517788 memory=1424436 CPUtime=3448.5 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 2035334 0 0 0 344133 717 0 0 20 0 3 0 5176748 1554214912 356109 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 379447 356109 3014 3035 0 359334 0
[pid=33401/tid=33403] ppid=33398 vsize=1517788 memory=1409140 CPUtime=3448.12 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 2030946 0 0 0 344106 706 0 0 20 0 3 0 5176752 1554214912 356109 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=1517788 memory=1415796 CPUtime=0.05 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 134 0 0 0 1 4 0 0 20 0 3 0 5176753 1554214912 356109 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 3448.5 s
Current children cumulated vsize: 1517788 KiB
Current children cumulated memory: 1424436 KiB
[startup+3522.3 s]
/proc/loadavg: 2.40 3.05 3.59 3/233 35161
/proc/meminfo: memFree=123427352/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=1522928 memory=1440796 CPUtime=3508.28 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 2052361 0 0 0 350102 726 0 0 20 0 3 0 5176748 1559478272 360199 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 380732 360199 3014 3035 0 363387 0
[pid=33401/tid=33403] ppid=33398 vsize=1522928 memory=11352 CPUtime=3507.9 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 2047958 0 0 0 350075 715 0 0 20 0 3 0 5176752 1559478272 360199 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=1522928 memory=1440020 CPUtime=0.05 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 136 0 0 0 1 4 0 0 20 0 3 0 5176753 1559478272 360199 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 3508.28 s
Current children cumulated vsize: 1522928 KiB
Current children cumulated memory: 1440796 KiB
[startup+3582.3 s]
/proc/loadavg: 2.18 2.87 3.49 2/226 35373
/proc/meminfo: memFree=123729020/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=1524984 memory=1460848 CPUtime=3568.06 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 2070183 0 0 0 356071 735 0 0 20 0 3 0 5176748 1561583616 365212 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 381246 365212 3014 3035 0 368448 0
[pid=33401/tid=33403] ppid=33398 vsize=1524984 memory=-7451605275046403703 CPUtime=3567.67 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 2065765 0 0 0 356043 724 0 0 20 0 3 0 5176752 1561583616 365212 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=1524984 memory=12220 CPUtime=0.05 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5176753 1561583616 365212 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 3568.06 s
Current children cumulated vsize: 1524984 KiB
Current children cumulated memory: 1460848 KiB
[startup+3600.3 s]
# the end of solver process 33401 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.57 s, system=7.44314 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.09 2.84 3.48 2/226 35374
/proc/meminfo: memFree=123727924/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=1526012 memory=1461884 CPUtime=3569.77 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 2071166 0 0 0 356241 736 0 0 20 0 3 0 5176748 1562636288 365471 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 381503 365471 3014 3035 0 368705 0
[pid=33401/tid=33403] ppid=33398 vsize=1526012 memory=2240 CPUtime=3569.39 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 2066748 0 0 0 356214 725 0 0 20 0 3 0 5176752 1562636288 365471 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=1526012 memory=1459228 CPUtime=0.05 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5176753 1562636288 365471 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 3569.77 s
Current children cumulated vsize: 1526012 KiB
Current children cumulated memory: 1461884 KiB
[startup+3590.4 s]
/proc/loadavg: 2.00 2.81 3.46 2/226 35374
/proc/meminfo: memFree=123727548/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=1526012 memory=1462276 CPUtime=3576.13 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 2071976 0 0 0 356877 736 0 0 20 0 3 0 5176748 1562636288 365569 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 381503 365569 3014 3035 0 368801 0
[pid=33401/tid=33403] ppid=33398 vsize=1526012 memory=1461884 CPUtime=3575.75 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 2067558 0 0 0 356850 725 0 0 20 0 3 0 5176752 1562636288 365569 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=1526012 memory=11352 CPUtime=0.05 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5176753 1562636288 365569 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 3576.13 s
Current children cumulated vsize: 1526012 KiB
Current children cumulated memory: 1462276 KiB
[startup+3596.8 s]
/proc/loadavg: 1.92 2.78 3.45 2/226 35376
/proc/meminfo: memFree=123726736/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=1526012 memory=1463248 CPUtime=3582.51 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 2073118 0 0 0 357514 737 0 0 20 0 3 0 5176748 1562636288 365812 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 381503 365812 3014 3035 0 369228 0
[pid=33401/tid=33403] ppid=33398 vsize=1526012 memory=129 CPUtime=3582.12 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 2068700 0 0 0 357486 726 0 0 20 0 3 0 5176752 1562636288 365812 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=1526012 memory=-7451605275046403703 CPUtime=0.05 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5176753 1562636288 365812 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 3582.51 s
Current children cumulated vsize: 1526012 KiB
Current children cumulated memory: 1463248 KiB
[startup+3598.4 s]
/proc/loadavg: 1.92 2.78 3.45 2/226 35376
/proc/meminfo: memFree=123726260/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=1526012 memory=1463696 CPUtime=3584.11 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 2092122 0 0 0 357672 739 0 0 20 0 3 0 5176748 1562636288 365924 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 381503 365924 3014 3035 0 369340 0
[pid=33401/tid=33403] ppid=33398 vsize=1526012 memory=11352 CPUtime=3583.71 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 2087740 0 0 0 357644 727 0 0 20 0 3 0 5176752 1562636288 365924 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=1526012 memory=16744 CPUtime=0.05 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5176753 1562636288 365924 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 3584.11 s
Current children cumulated vsize: 1526012 KiB
Current children cumulated memory: 1463696 KiB
[startup+3599.2 s]
/proc/loadavg: 1.85 2.75 3.44 2/226 35376
/proc/meminfo: memFree=123727712/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=1522928 memory=1460612 CPUtime=3584.9 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 2122727 0 0 0 357750 740 0 0 20 0 3 0 5176748 1559478272 365153 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 380732 365153 3014 3035 0 368569 0
[pid=33401/tid=33403] ppid=33398 vsize=1522928 memory=11352 CPUtime=3584.51 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 2118307 0 0 0 357722 729 0 0 20 0 3 0 5176752 1559478272 365153 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=1522928 memory=16744 CPUtime=0.05 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5176753 1559478272 365153 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 3584.9 s
Current children cumulated vsize: 1522928 KiB
Current children cumulated memory: 1460612 KiB
[startup+3600 s]*
/proc/loadavg: 1.85 2.75 3.44 2/226 35376
/proc/meminfo: memFree=123739312/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=1495172 memory=1432856 CPUtime=3585.71 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 2127758 0 0 0 357830 741 0 0 20 0 3 0 5176748 1531056128 358214 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 373793 358214 3014 3035 0 361630 0
[pid=33401/tid=33403] ppid=33398 vsize=1495172 memory=-7451605275046403703 CPUtime=3585.33 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 2123339 0 0 0 357803 730 0 0 20 0 3 0 5176752 1531056128 358214 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=1495172 memory=7727171567181466222 CPUtime=0.05 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5176753 1531056128 358214 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 3585.71 s
Current children cumulated vsize: 1495172 KiB
Current children cumulated memory: 1432856 KiB
[startup+3600.2 s]
/proc/loadavg: 1.85 2.75 3.44 2/226 35376
/proc/meminfo: memFree=123739312/131655788 swapFree=131071996/131071996
[pid=33401] ppid=33398 vsize=1410876 memory=1348564 CPUtime=3585.9 cores=0,2
/proc/33401/stat : 33401 (fscip) S 33398 33401 29084 0 -1 1077936128 2129668 0 0 0 357848 742 0 0 20 0 3 0 5176748 1444737024 337141 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
/proc/33401/statm: 352719 337141 3014 3035 0 340556 0
[pid=33401/tid=33403] ppid=33398 vsize=1410876 memory=-7451605275046403703 CPUtime=3585.51 cores=0,2
/proc/33401/task/33403/stat : 33403 (fscip) R 33398 33401 29084 0 -1 4194368 2125248 0 0 0 357821 730 0 0 20 0 3 0 5176752 1444737024 337141 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
[pid=33401/tid=33404] ppid=33398 vsize=1410876 memory=16084 CPUtime=0.05 cores=0,2
/proc/33401/task/33404/stat : 33404 (fscip) S 33398 33401 29084 0 -1 1077936192 138 0 0 0 1 4 0 0 20 0 3 0 5176753 1444737024 337141 134679101440 4194304 16623229 140736619037920 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24625152 140736619045910 140736619046026 140736619046026 140736619053040 0
Current children cumulated CPU time: 3585.9 s
Current children cumulated vsize: 1410876 KiB
Current children cumulated memory: 1348564 KiB
Child status: 0
Real time (s): 3600.3
CPU time (s): 3586.01
CPU user time (s): 3578.57
CPU system time (s): 7.44314
CPU usage (%): 99.6031
Max. virtual memory (cumulated for all children) (KiB): 1526012
Max. memory (cumulated for all children) (KiB): 1463696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.57
system time used= 7.44314
maximum resident set size= 1463696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2130243
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= 11129
involuntary context switches= 25042
# summary of solver processes directly reported to runsolver:
# pid: 33401
# total CPU time (s): 3586.01
# total CPU user time (s): 3578.57
# total CPU system time (s): 7.44314
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0911 second user time and 35.0762 second system time
The end
Begin job on nodeC002 at 2024-07-31 02:30:11
IDJOB=4464498
IDBENCH=160382
IDSOLVER=3092
FILE ID=nodeC002/4464498-1722385811
RUNJOBID= nodeC002-1722378594-29094
SLURM_JOB_ID= 8249832
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x100split.cnf-extracted.pb.metafix.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464498-1722385811/watcher-4464498-1722385811 -o /tmp/evaluation-result-4464498-1722385811/solver-4464498-1722385811 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1722378594-29094 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464498-1722385811.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8184a92443c0bd6c42f1e968e18f3f0b
RANDOM SEED=99795441
nodeC002.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 : 1197.205
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.65
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 : 3661.401
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.23
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.200
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.65
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.229
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.23
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 : 1197.415
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.65
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 : 3662.370
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.23
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 : 3666.139
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.65
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.245
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.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 123825496 kB
MemAvailable: 128737656 kB
Buffers: 106724 kB
Cached: 5594484 kB
SwapCached: 0 kB
Active: 271844 kB
Inactive: 7005784 kB
Active(anon): 1908 kB
Inactive(anon): 1604024 kB
Active(file): 269936 kB
Inactive(file): 5401760 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56848 kB
Writeback: 80 kB
AnonPages: 1576504 kB
Mapped: 128332 kB
Shmem: 29512 kB
KReclaimable: 160988 kB
Slab: 245292 kB
SReclaimable: 160988 kB
SUnreclaim: 84304 kB
KernelStack: 4000 kB
PageTables: 12532 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1526676 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7104 kB
HardwareCorrupted: 0 kB
AnonHugePages: 282624 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: 224072 kB
DirectMap2M: 19603456 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723756 MiB
End job on nodeC002 at 2024-07-31 03:30:12