0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 27672576, getVmSize() = 27672576, SCIPgetMemUsed() = 4599125, SCIPgetMemTotal() = 6114509, SCIPgetMemExternEstim() = 1975705
0.00/0.00 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.02 c ** Estimated virtualMemUsedAtSolver = 23571114, getVmSize() = 43040768, SCIPgetMemUsed() = 14333761, SCIPgetMemTotal() = 20257185, SCIPgetMemExternEstim() = 1975705
0.00/0.02 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02 c Original Problem :
0.00/0.02 c Problem name : instance-4450990-1721422993
0.00/0.02 c Variables : 1501 (1501 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 751
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 1500 (1500 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 750
0.00/0.02 c Constraints : Number
0.00/0.02 c linear : 750
0.00/0.02 c ** Instance transfer method used: 0
0.00/0.02 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03 c Nodes Active
0.00/0.03 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.26/5.34 c 5 1520 1507 1 - 0.0000 -
10.35/10.45 c 10 3492 3434 1 - 0.0000 -
15.43/15.50 c 16 8163 7927 1 - 0.0000 -
20.41/20.54 c 21 13045 12596 1 - 0.0000 -
25.50/25.61 c 26 18089 17426 1 - 0.0000 -
30.48/30.67 c 31 23217 22376 1 - 0.0000 -
35.56/35.72 c 36 27674 26762 1 - 0.0000 -
40.64/40.82 c 41 32406 31263 1 - 0.0000 -
45.63/45.87 c 46 37185 35843 1 - 0.0000 -
50.72/50.92 c 51 41782 40222 1 - 0.0000 -
55.80/56.10 c 56 46251 44539 1 - 0.0000 -
60.89/61.16 c 61 51328 49518 1 - 0.0000 -
65.96/66.21 c 66 56187 54132 1 - 0.0000 -
70.94/71.26 c 71 61613 59172 1 - 0.0000 -
76.03/76.31 c 76 66968 63846 1 - 0.0000 -
81.11/81.40 c 81 72372 68887 1 - 0.0000 -
86.10/86.45 c 86 77807 73816 1 - 0.0000 -
91.18/91.50 c 92 83494 78774 1 - 0.0000 -
96.16/96.55 c 97 89397 83724 1 - 0.0000 -
101.25/101.60 c 102 95359 88983 1 - 0.0000 -
106.23/106.65 c 107 100358 93838 1 - 0.0000 -
111.31/111.71 c 112 105796 98510 1 - 0.0000 -
116.30/116.76 c 117 111647 103697 1 - 0.0000 -
121.38/121.81 c 122 117085 108435 1 - 0.0000 -
126.36/126.86 c 127 122864 113285 1 - 0.0000 -
131.45/131.91 c 132 128011 117938 1 - 0.0000 -
136.43/136.97 c 137 132061 121799 1 - 0.0000 -
141.52/142.04 c 142 137110 126257 1 - 0.0000 -
146.50/147.09 c 147 142000 130586 1 - 0.0000 -
151.58/152.15 c 152 147824 135264 1 - 0.0000 -
156.67/157.20 c 157 153362 139935 1 - 0.0000 -
161.65/162.25 c 162 158242 144415 1 - 0.0000 -
166.73/167.30 c 167 163781 149301 1 - 0.0000 -
171.72/172.35 c 172 168682 153791 1 - 0.0000 -
176.80/177.40 c 177 173314 158046 1 - 0.0000 -
181.78/182.46 c 182 177942 162311 1 - 0.0000 -
186.86/187.54 c 188 182242 166498 1 - 0.0000 -
191.95/192.62 c 193 186755 170867 1 - 0.0000 -
196.93/197.66 c 198 191713 175578 1 - 0.0000 -
202.02/202.72 c 203 197020 180517 1 - 0.0000 -
207.00/207.77 c 208 202179 185140 1 - 0.0000 -
212.08/212.82 c 213 206572 188822 1 - 0.0000 -
217.17/217.90 c 218 211924 193677 1 - 0.0000 -
222.15/222.95 c 223 217353 198521 1 - 0.0000 -
227.23/228.01 c 228 221909 202783 1 - 0.0000 -
232.23/233.06 c 233 226580 206997 1 - 0.0000 -
237.30/238.12 c 238 231746 211730 1 - 0.0000 -
242.29/243.17 c 243 236616 216356 1 - 0.0000 -
247.37/248.29 c 248 241134 220678 1 - 0.0000 -
252.45/253.34 c 253 245712 224985 1 - 0.0000 -
257.44/258.39 c 258 250109 229255 1 - 0.0000 -
262.51/263.45 c 263 255196 234138 1 - 0.0000 -
267.60/268.50 c 269 260214 238828 1 - 0.0000 -
272.59/273.57 c 274 264870 243246 1 - 0.0000 -
277.66/278.65 c 279 269980 247943 1 - 0.0000 -
282.75/283.72 c 284 274832 252353 1 - 0.0000 -
287.73/288.77 c 289 279749 256781 1 - 0.0000 -
292.80/293.82 c 294 284109 260921 1 - 0.0000 -
297.79/298.89 c 299 288898 265479 1 - 0.0000 -
302.87/303.94 c 304 293726 270083 1 - 0.0000 -
307.96/309.01 c 309 298461 274438 1 - 0.0000 -
312.95/314.06 c 314 302518 278422 1 - 0.0000 -
318.03/319.11 c 319 305818 281642 1 - 0.0000 -
323.01/324.16 c 324 310079 285694 1 - 0.0000 -
328.08/329.24 c 329 314883 290295 1 - 0.0000 -
333.16/334.33 c 334 319267 294574 1 - 0.0000 -
338.25/339.43 c 339 323518 298688 1 - 0.0000 -
343.33/344.54 c 345 328124 303030 1 - 0.0000 -
348.42/349.61 c 350 333258 307909 1 - 0.0000 -
353.40/354.66 c 355 337562 312112 1 - 0.0000 -
358.48/359.73 c 360 341986 316311 1 - 0.0000 -
363.55/364.80 c 365 346647 320807 1 - 0.0000 -
368.54/369.85 c 370 350907 325015 1 - 0.0000 -
373.62/374.92 c 375 355324 329265 1 - 0.0000 -
378.60/379.99 c 380 359932 333614 1 - 0.0000 -
383.70/385.06 c 385 364512 338095 1 - 0.0000 -
388.77/390.11 c 390 368568 341897 1 - 0.0000 -
393.76/395.16 c 395 373306 346487 1 - 0.0000 -
398.83/400.24 c 400 378103 351134 1 - 0.0000 -
403.82/405.29 c 405 383086 355674 1 - 0.0000 -
408.90/410.37 c 410 387777 360147 1 - 0.0000 -
413.98/415.41 c 415 392906 365060 1 - 0.0000 -
419.07/420.52 c 421 397480 369566 1 - 0.0000 -
424.14/425.61 c 426 401891 373889 1 - 0.0000 -
429.13/430.67 c 431 406348 377973 1 - 0.0000 -
434.21/435.72 c 436 410828 381988 1 - 0.0000 -
439.19/440.78 c 441 415541 386399 1 - 0.0000 -
444.27/445.83 c 446 420023 390704 1 - 0.0000 -
449.35/450.92 c 451 424472 394975 1 - 0.0000 -
454.34/455.99 c 456 428848 398996 1 - 0.0000 -
459.42/461.09 c 461 432806 402819 1 - 0.0000 -
464.50/466.13 c 466 437803 407716 1 - 0.0000 -
469.48/471.18 c 471 442416 412072 1 - 0.0000 -
474.56/476.24 c 476 446013 415506 1 - 0.0000 -
479.64/481.34 c 481 451083 419933 1 - 0.0000 -
484.63/486.38 c 486 455501 424216 1 - 0.0000 -
489.70/491.46 c 491 460292 428743 1 - 0.0000 -
494.79/496.51 c 497 465072 433131 1 - 0.0000 -
499.78/501.56 c 502 469913 437439 1 - 0.0000 -
504.86/506.61 c 507 474383 441573 1 - 0.0000 -
509.94/511.74 c 512 478984 445819 1 - 0.0000 -
515.03/516.80 c 517 484152 450538 1 - 0.0000 -
520.01/521.85 c 522 488719 454860 1 - 0.0000 -
525.10/526.93 c 527 492829 458767 1 - 0.0000 -
530.08/531.99 c 532 497441 463070 1 - 0.0000 -
535.16/537.04 c 537 502568 467907 1 - 0.0000 -
540.25/542.12 c 542 507272 472442 1 - 0.0000 -
545.24/547.18 c 547 511855 476830 1 - 0.0000 -
550.31/552.23 c 552 516800 481548 1 - 0.0000 -
555.39/557.31 c 557 521333 485936 1 - 0.0000 -
560.37/562.37 c 562 525584 489935 1 - 0.0000 -
565.47/567.41 c 567 530480 494658 1 - 0.0000 -
570.44/572.49 c 572 535023 499018 1 - 0.0000 -
575.53/577.54 c 578 539927 503499 1 - 0.0000 -
580.61/582.67 c 583 544402 507576 1 - 0.0000 -
585.70/587.76 c 588 549008 512038 1 - 0.0000 -
590.78/592.81 c 593 553996 516637 1 - 0.0000 -
595.77/597.87 c 598 558998 521351 1 - 0.0000 -
600.85/602.91 c 603 563848 525742 1 - 0.0000 -
605.83/607.96 c 608 568355 530022 1 - 0.0000 -
610.92/613.01 c 613 573189 534707 1 - 0.0000 -
615.91/618.07 c 618 577184 538509 1 - 0.0000 -
620.99/623.16 c 623 581658 542787 1 - 0.0000 -
626.17/628.32 c 628 586103 546822 1 - 0.0000 -
631.15/633.37 c 633 590646 551077 1 - 0.0000 -
636.23/638.42 c 638 595451 555585 1 - 0.0000 -
641.22/643.47 c 643 600007 559772 1 - 0.0000 -
646.30/648.54 c 649 604339 563696 1 - 0.0000 -
651.28/653.59 c 654 609209 568194 1 - 0.0000 -
656.57/658.80 c 659 613871 572484 1 - 0.0000 -
661.55/663.88 c 664 618641 576964 1 - 0.0000 -
666.64/668.97 c 669 623254 581208 1 - 0.0000 -
671.72/674.05 c 674 628334 585843 1 - 0.0000 -
676.81/679.11 c 679 633150 590272 1 - 0.0000 -
681.79/684.19 c 684 637753 594521 1 - 0.0000 -
686.87/689.24 c 689 642553 598949 1 - 0.0000 -
691.85/694.29 c 694 647040 603338 1 - 0.0000 -
696.94/699.34 c 699 651361 607391 1 - 0.0000 -
702.01/704.42 c 704 655500 611217 1 - 0.0000 -
707.00/709.49 c 710 660103 615538 1 - 0.0000 -
712.18/714.61 c 715 664011 619216 1 - 0.0000 -
717.16/719.66 c 720 668216 623130 1 - 0.0000 -
722.25/724.76 c 725 672086 626898 1 - 0.0000 -
727.34/729.81 c 730 676339 630877 1 - 0.0000 -
732.52/735.01 c 735 680822 635156 1 - 0.0000 -
737.51/740.05 c 740 685616 639631 1 - 0.0000 -
742.59/745.11 c 745 689743 643541 1 - 0.0000 -
747.57/750.16 c 750 694189 647747 1 - 0.0000 -
752.65/755.28 c 755 698956 652398 1 - 0.0000 -
757.74/760.37 c 760 703032 656188 1 - 0.0000 -
762.82/765.48 c 765 707580 660526 1 - 0.0000 -
767.90/770.56 c 771 712169 664899 1 - 0.0000 -
772.98/775.60 c 776 716138 668647 1 - 0.0000 -
778.06/780.77 c 781 720599 672880 1 - 0.0000 -
783.15/785.88 c 786 725242 677305 1 - 0.0000 -
788.23/790.92 c 791 729244 681244 1 - 0.0000 -
793.32/796.03 c 796 732813 684805 1 - 0.0000 -
798.31/801.08 c 801 736232 688091 1 - 0.0000 -
803.39/806.14 c 806 739978 691616 1 - 0.0000 -
808.47/811.25 c 811 744682 696049 1 - 0.0000 -
813.45/816.29 c 816 749128 700162 1 - 0.0000 -
818.54/821.34 c 821 753400 704309 1 - 0.0000 -
823.52/826.39 c 826 757462 708263 1 - 0.0000 -
828.61/831.44 c 831 761316 711955 1 - 0.0000 -
833.68/836.57 c 837 765392 715880 1 - 0.0000 -
838.76/841.62 c 842 769804 720242 1 - 0.0000 -
843.75/846.67 c 847 773337 723561 1 - 0.0000 -
848.84/851.73 c 852 777843 727822 1 - 0.0000 -
853.82/856.78 c 857 781886 731654 1 - 0.0000 -
859.11/862.02 c 862 786264 735690 1 - 0.0000 -
864.09/867.08 c 867 790182 739417 1 - 0.0000 -
869.17/872.18 c 872 794435 743367 1 - 0.0000 -
874.25/877.29 c 877 798216 746901 1 - 0.0000 -
879.34/882.34 c 882 802415 750935 1 - 0.0000 -
884.42/887.43 c 887 806699 754960 1 - 0.0000 -
889.50/892.52 c 893 810712 758877 1 - 0.0000 -
894.58/897.64 c 898 814735 762773 1 - 0.0000 -
899.67/902.72 c 903 818320 766279 1 - 0.0000 -
904.75/907.83 c 908 822648 770313 1 - 0.0000 -
909.84/912.93 c 913 826764 774320 1 - 0.0000 -
914.82/917.99 c 918 830890 778234 1 - 0.0000 -
920.00/923.14 c 923 834870 782023 1 - 0.0000 -
925.09/928.22 c 928 839389 786406 1 - 0.0000 -
930.07/933.29 c 933 843628 790605 1 - 0.0000 -
935.25/938.48 c 938 847007 793907 1 - 0.0000 -
940.34/943.53 c 944 850641 797477 1 - 0.0000 -
945.42/948.66 c 949 854127 800900 1 - 0.0000 -
950.60/953.84 c 954 857309 804001 1 - 0.0000 -
955.59/958.89 c 959 861038 807562 1 - 0.0000 -
960.77/964.01 c 964 864932 811337 1 - 0.0000 -
965.85/969.11 c 969 869083 815330 1 - 0.0000 -
970.84/974.18 c 974 873202 819389 1 - 0.0000 -
975.92/979.29 c 979 877676 823654 1 - 0.0000 -
981.00/984.34 c 984 881367 827253 1 - 0.0000 -
986.08/989.47 c 989 885970 831660 1 - 0.0000 -
991.27/994.68 c 995 890310 835873 1 - 0.0000 -
996.35/999.78 c 1000 893986 839384 1 - 0.0000 -
1001.53/1004.99 c 1005 898109 843458 1 - 0.0000 -
1006.81/1010.27 c 1010 901695 846767 1 - 0.0000 -
1012.10/1015.54 c 1016 905183 850183 1 - 0.0000 -
1017.18/1020.62 c 1021 909008 853778 1 - 0.0000 -
1022.26/1025.71 c 1026 913238 857785 1 - 0.0000 -
1027.25/1030.78 c 1031 917218 861436 1 - 0.0000 -
1032.43/1035.96 c 1036 921100 865117 1 - 0.0000 -
1037.52/1041.08 c 1041 925361 869112 1 - 0.0000 -
1042.80/1046.37 c 1046 929649 873000 1 - 0.0000 -
1047.88/1051.42 c 1051 933768 876844 1 - 0.0000 -
1052.97/1056.53 c 1057 937527 880327 1 - 0.0000 -
1058.05/1061.68 c 1062 941620 884090 1 - 0.0000 -
1063.13/1066.73 c 1067 945550 887682 1 - 0.0000 -
1068.11/1071.79 c 1072 948653 890682 1 - 0.0000 -
1073.20/1076.87 c 1077 952672 894550 1 - 0.0000 -
1078.28/1081.92 c 1082 957176 898769 1 - 0.0000 -
1083.56/1087.27 c 1087 961496 902808 1 - 0.0000 -
1088.74/1092.40 c 1092 965166 906357 1 - 0.0000 -
1093.93/1097.63 c 1098 969496 910519 1 - 0.0000 -
1098.91/1102.68 c 1103 973804 914679 1 - 0.0000 -
1104.19/1107.94 c 1108 978345 919069 1 - 0.0000 -
1109.28/1113.06 c 1113 982300 922601 1 - 0.0000 -
1114.37/1118.14 c 1118 986809 926957 1 - 0.0000 -
1119.35/1123.19 c 1123 990857 930888 1 - 0.0000 -
1124.52/1128.30 c 1128 994872 934698 1 - 0.0000 -
1129.71/1133.52 c 1134 999307 938792 1 - 0.0000 -
1134.79/1138.65 c 1139 1003848 943171 1 - 0.0000 -
1140.08/1143.93 c 1144 1008120 947330 1 - 0.0000 -
1145.16/1149.05 c 1149 1012199 950838 1 - 0.0000 -
1150.14/1154.10 c 1154 1015867 954242 1 - 0.0000 -
1155.22/1159.16 c 1159 1019752 957813 1 - 0.0000 -
1160.30/1164.29 c 1164 1023167 961102 1 - 0.0000 -
1165.39/1169.38 c 1169 1027100 964813 1 - 0.0000 -
1170.47/1174.43 c 1174 1031086 968572 1 - 0.0000 -
1175.55/1179.57 c 1180 1035015 972377 1 - 0.0000 -
1180.63/1184.62 c 1185 1038607 975845 1 - 0.0000 -
1185.62/1189.67 c 1190 1041965 978984 1 - 0.0000 -
1190.90/1194.94 c 1195 1046012 982768 1 - 0.0000 -
1195.88/1199.99 c 1200 1050289 986676 1 - 0.0000 -
1200.98/1205.04 c 1205 1054072 990240 1 - 0.0000 -
1206.05/1210.17 c 1210 1057690 993669 1 - 0.0000 -
1211.33/1215.42 c 1215 1061337 997190 1 - 0.0000 -
1216.51/1220.61 c 1221 1065244 1000903 1 - 0.0000 -
1221.70/1225.82 c 1226 1069063 1004401 1 - 0.0000 -
1226.89/1231.07 c 1231 1073132 1008125 1 - 0.0000 -
1231.97/1236.11 c 1236 1076822 1011582 1 - 0.0000 -
1236.95/1241.17 c 1241 1080391 1014980 1 - 0.0000 -
1242.03/1246.26 c 1246 1084334 1018674 1 - 0.0000 -
1247.22/1251.43 c 1251 1088442 1022587 1 - 0.0000 -
1252.19/1256.48 c 1256 1092812 1026774 1 - 0.0000 -
1257.28/1261.57 c 1262 1096792 1030583 1 - 0.0000 -
1262.37/1266.66 c 1267 1100922 1034410 1 - 0.0000 -
1267.45/1271.78 c 1272 1104732 1038052 1 - 0.0000 -
1272.53/1276.86 c 1277 1107929 1041129 1 - 0.0000 -
1277.71/1282.08 c 1282 1111853 1044713 1 - 0.0000 -
1282.79/1287.12 c 1287 1115957 1048421 1 - 0.0000 -
1288.06/1292.48 c 1292 1119634 1051911 1 - 0.0000 -
1293.13/1297.52 c 1298 1123200 1055289 1 - 0.0000 -
1298.51/1302.92 c 1303 1127002 1058877 1 - 0.0000 -
1303.60/1308.02 c 1308 1130806 1062560 1 - 0.0000 -
1308.67/1313.11 c 1313 1134304 1065867 1 - 0.0000 -
1313.66/1318.18 c 1318 1138095 1069484 1 - 0.0000 -
1318.83/1323.31 c 1323 1142253 1073268 1 - 0.0000 -
1323.82/1328.36 c 1328 1146162 1076997 1 - 0.0000 -
1328.90/1333.44 c 1333 1150021 1080649 1 - 0.0000 -
1334.28/1338.80 c 1339 1154122 1084454 1 - 0.0000 -
1339.37/1343.97 c 1344 1158019 1088211 1 - 0.0000 -
1344.65/1349.22 c 1349 1162139 1092073 1 - 0.0000 -
1350.03/1354.61 c 1355 1166235 1095901 1 - 0.0000 -
1355.02/1359.66 c 1360 1170023 1099418 1 - 0.0000 -
1360.10/1364.75 c 1365 1173443 1102556 1 - 0.0000 -
1365.38/1370.01 c 1370 1177603 1106444 1 - 0.0000 -
1370.47/1375.19 c 1375 1181478 1110166 1 - 0.0000 -
1375.84/1380.52 c 1381 1185091 1113630 1 - 0.0000 -
1380.92/1385.67 c 1386 1189062 1117164 1 - 0.0000 -
1386.20/1390.96 c 1391 1192684 1120470 1 - 0.0000 -
1391.29/1396.08 c 1396 1196569 1124147 1 - 0.0000 -
1396.67/1401.46 c 1401 1200169 1127555 1 - 0.0000 -
1401.75/1406.56 c 1407 1204275 1131458 1 - 0.0000 -
1406.93/1411.70 c 1412 1207936 1134836 1 - 0.0000 -
1411.92/1416.75 c 1417 1211661 1138384 1 - 0.0000 -
1416.99/1421.81 c 1422 1215432 1141961 1 - 0.0000 -
1421.98/1426.86 c 1427 1219250 1145559 1 - 0.0000 -
1427.16/1432.03 c 1432 1223139 1149142 1 - 0.0000 -
1432.25/1437.13 c 1437 1226837 1152292 1 - 0.0000 -
1437.32/1442.21 c 1442 1230892 1156211 1 - 0.0000 -
1442.80/1447.72 c 1448 1234905 1160045 1 - 0.0000 -
1447.78/1452.77 c 1453 1238447 1163459 1 - 0.0000 -
1452.96/1457.95 c 1458 1242366 1167206 1 - 0.0000 -
1458.05/1463.00 c 1463 1246637 1171367 1 - 0.0000 -
1463.13/1468.16 c 1468 1250708 1175229 1 - 0.0000 -
1468.20/1473.23 c 1473 1254443 1178885 1 - 0.0000 -
1473.29/1478.39 c 1478 1258281 1182572 1 - 0.0000 -
1478.37/1483.45 c 1483 1260851 1185013 1 - 0.0000 -
1483.55/1488.66 c 1489 1264360 1188318 1 - 0.0000 -
1488.73/1493.80 c 1494 1268165 1191853 1 - 0.0000 -
1493.92/1499.00 c 1499 1271573 1194982 1 - 0.0000 -
1498.90/1504.06 c 1504 1275472 1198626 1 - 0.0000 -
1503.98/1509.11 c 1509 1279246 1202212 1 - 0.0000 -
1509.26/1514.49 c 1514 1282960 1205773 1 - 0.0000 -
1514.54/1519.71 c 1520 1286425 1209032 1 - 0.0000 -
1519.63/1524.80 c 1525 1290056 1212474 1 - 0.0000 -
1524.60/1529.85 c 1530 1293679 1215979 1 - 0.0000 -
1529.68/1534.98 c 1535 1297527 1219670 1 - 0.0000 -
1534.77/1540.03 c 1540 1301364 1223333 1 - 0.0000 -
1540.25/1545.59 c 1546 1305136 1226992 1 - 0.0000 -
1545.52/1550.80 c 1551 1309251 1230951 1 - 0.0000 -
1550.51/1555.86 c 1556 1312719 1234286 1 - 0.0000 -
1555.59/1560.93 c 1561 1316664 1238172 1 - 0.0000 -
1560.98/1566.31 c 1566 1321288 1242745 1 - 0.0000 -
1565.96/1571.38 c 1571 1324526 1245794 1 - 0.0000 -
1571.64/1577.01 c 1577 1328291 1249440 1 - 0.0000 -
1576.83/1582.23 c 1582 1332450 1253363 1 - 0.0000 -
1581.81/1587.29 c 1587 1335519 1256282 1 - 0.0000 -
1586.89/1592.38 c 1592 1338732 1259263 1 - 0.0000 -
1592.27/1597.71 c 1598 1342393 1262773 1 - 0.0000 -
1597.25/1602.77 c 1603 1346648 1266943 1 - 0.0000 -
1602.33/1607.84 c 1608 1350301 1270349 1 - 0.0000 -
1607.62/1613.11 c 1613 1353502 1273428 1 - 0.0000 -
1612.70/1618.22 c 1618 1356827 1276613 1 - 0.0000 -
1617.79/1623.33 c 1623 1361148 1280806 1 - 0.0000 -
1622.87/1628.46 c 1628 1364874 1284380 1 - 0.0000 -
1627.95/1633.51 c 1634 1368989 1288422 1 - 0.0000 -
1633.03/1638.63 c 1639 1372588 1291913 1 - 0.0000 -
1638.02/1643.68 c 1644 1376046 1295280 1 - 0.0000 -
1643.10/1648.75 c 1649 1379095 1298289 1 - 0.0000 -
1648.28/1653.96 c 1654 1382485 1301566 1 - 0.0000 -
1653.37/1659.03 c 1659 1386128 1305119 1 - 0.0000 -
1658.36/1664.10 c 1664 1389103 1308001 1 - 0.0000 -
1663.53/1669.21 c 1669 1392225 1311063 1 - 0.0000 -
1668.51/1674.28 c 1674 1395345 1314086 1 - 0.0000 -
1673.59/1679.33 c 1679 1398182 1316849 1 - 0.0000 -
1678.58/1684.38 c 1684 1401520 1319970 1 - 0.0000 -
1683.86/1689.69 c 1690 1404693 1323063 1 - 0.0000 -
1689.35/1695.12 c 1695 1409102 1327188 1 - 0.0000 -
1694.34/1700.17 c 1700 1412608 1330578 1 - 0.0000 -
1699.71/1705.56 c 1706 1416042 1333813 1 - 0.0000 -
1704.99/1710.81 c 1711 1420099 1337588 1 - 0.0000 -
1710.07/1715.99 c 1716 1423726 1341112 1 - 0.0000 -
1715.45/1721.35 c 1721 1427755 1344926 1 - 0.0000 -
1720.93/1726.87 c 1727 1431469 1348593 1 - 0.0000 -
1726.02/1731.95 c 1732 1434876 1351927 1 - 0.0000 -
1731.10/1737.04 c 1737 1438738 1355478 1 - 0.0000 -
1736.48/1742.47 c 1742 1442100 1358714 1 - 0.0000 -
1741.57/1747.51 c 1748 1446166 1362289 1 - 0.0000 -
1746.65/1752.61 c 1753 1449729 1365635 1 - 0.0000 -
1751.73/1757.73 c 1758 1452229 1368069 1 - 0.0000 -
1756.92/1762.90 c 1763 1455619 1371373 1 - 0.0000 -
1762.10/1768.17 c 1768 1458994 1374541 1 - 0.0000 -
1767.47/1773.57 c 1774 1462622 1378038 1 - 0.0000 -
1772.86/1778.97 c 1779 1466452 1381796 1 - 0.0000 -
1777.95/1784.02 c 1784 1470224 1385370 1 - 0.0000 -
1782.93/1789.07 c 1789 1473505 1388556 1 - 0.0000 -
1788.31/1794.41 c 1794 1476580 1391593 1 - 0.0000 -
1793.30/1799.46 c 1799 1479673 1394547 1 - 0.0000 -
1798.38/1804.57 c 1805 1483059 1397638 1 - 0.0000 -
1803.66/1809.84 c 1810 1486476 1400756 1 - 0.0000 -
1808.74/1814.92 c 1815 1490253 1404300 1 - 0.0000 -
1813.82/1820.00 c 1820 1493745 1407533 1 - 0.0000 -
1818.81/1825.05 c 1825 1497592 1411137 1 - 0.0000 -
1823.79/1830.10 c 1830 1502142 1414814 1 - 0.0000 -
1829.07/1835.38 c 1835 1506082 1418151 1 - 0.0000 -
1834.35/1840.61 c 1841 1509844 1421808 1 - 0.0000 -
1839.63/1845.99 c 1846 1513423 1425149 1 - 0.0000 -
1844.82/1851.14 c 1851 1516965 1428436 1 - 0.0000 -
1850.00/1856.39 c 1856 1520423 1431751 1 - 0.0000 -
1855.09/1861.43 c 1861 1523742 1434772 1 - 0.0000 -
1860.27/1866.66 c 1867 1527462 1438338 1 - 0.0000 -
1865.35/1871.71 c 1872 1530920 1441661 1 - 0.0000 -
1870.63/1877.00 c 1877 1534620 1445301 1 - 0.0000 -
1875.62/1882.06 c 1882 1538558 1449027 1 - 0.0000 -
1880.60/1887.10 c 1887 1542395 1452489 1 - 0.0000 -
1885.78/1892.29 c 1892 1545652 1455529 1 - 0.0000 -
1891.46/1897.93 c 1898 1549721 1459342 1 - 0.0000 -
1896.74/1903.20 c 1903 1553254 1462646 1 - 0.0000 -
1902.03/1908.56 c 1909 1557234 1466510 1 - 0.0000 -
1907.11/1913.61 c 1914 1560961 1469928 1 - 0.0000 -
1912.09/1918.68 c 1919 1564186 1473095 1 - 0.0000 -
1917.27/1923.84 c 1924 1567783 1476390 1 - 0.0000 -
1922.35/1928.90 c 1929 1571773 1479962 1 - 0.0000 -
1927.74/1934.39 c 1934 1575402 1483436 1 - 0.0000 -
1933.12/1939.72 c 1940 1579222 1487025 1 - 0.0000 -
1938.11/1944.77 c 1945 1583019 1490587 1 - 0.0000 -
1943.18/1949.85 c 1950 1586880 1494177 1 - 0.0000 -
1948.37/1955.01 c 1955 1590301 1497396 1 - 0.0000 -
1953.95/1960.62 c 1961 1593705 1500635 1 - 0.0000 -
1958.94/1965.68 c 1966 1597370 1504161 1 - 0.0000 -
1964.11/1970.82 c 1971 1600745 1506417 1 - 0.0000 -
1969.10/1975.88 c 1976 1604257 1509717 1 - 0.0000 -
1974.29/1981.05 c 1981 1607743 1513043 1 - 0.0000 -
1979.37/1986.13 c 1986 1610958 1515920 1 - 0.0000 -
1984.66/1991.49 c 1992 1614493 1519176 1 - 0.0000 -
1990.24/1997.00 c 1997 1618500 1522920 1 - 0.0000 -
1995.52/2002.32 c 2002 1621788 1526130 1 - 0.0000 -
2000.50/2007.38 c 2007 1624968 1529204 1 - 0.0000 -
2005.68/2012.59 c 2013 1628507 1532524 1 - 0.0000 -
2010.87/2017.76 c 2018 1631821 1535792 1 - 0.0000 -
2016.05/2022.95 c 2023 1634714 1538589 1 - 0.0000 -
2021.14/2028.02 c 2028 1637396 1541185 1 - 0.0000 -
2026.31/2033.21 c 2033 1640342 1544037 1 - 0.0000 -
2031.30/2038.29 c 2038 1643885 1547529 1 - 0.0000 -
2036.48/2043.48 c 2043 1646784 1550338 1 - 0.0000 -
2041.57/2048.57 c 2049 1649467 1552948 1 - 0.0000 -
2046.85/2053.86 c 2054 1652475 1555884 1 - 0.0000 -
2051.93/2058.91 c 2059 1655906 1559067 1 - 0.0000 -
2057.42/2064.40 c 2064 1659499 1562479 1 - 0.0000 -
2062.50/2069.57 c 2070 1663340 1565908 1 - 0.0000 -
2067.59/2074.63 c 2075 1666900 1569206 1 - 0.0000 -
2072.57/2079.69 c 2080 1670731 1572835 1 - 0.0000 -
2077.65/2084.75 c 2085 1674150 1576029 1 - 0.0000 -
2082.74/2089.87 c 2090 1677619 1579451 1 - 0.0000 -
2088.12/2095.29 c 2095 1681397 1582957 1 - 0.0000 -
2093.20/2100.36 c 2100 1685626 1586955 1 - 0.0000 -
2098.39/2105.57 c 2106 1689099 1590198 1 - 0.0000 -
2103.47/2110.62 c 2111 1692276 1593025 1 - 0.0000 -
2108.75/2115.91 c 2116 1695987 1596522 1 - 0.0000 -
2113.94/2121.11 c 2121 1699539 1599847 1 - 0.0000 -
2119.02/2126.21 c 2126 1702592 1602835 1 - 0.0000 -
2124.40/2131.63 c 2132 1705827 1606042 1 - 0.0000 -
2129.79/2137.10 c 2137 1710189 1609997 1 - 0.0000 -
2135.17/2142.40 c 2142 1713904 1613406 1 - 0.0000 -
2140.46/2147.79 c 2148 1717585 1616819 1 - 0.0000 -
2145.74/2153.01 c 2153 1721009 1620119 1 - 0.0000 -
2150.92/2158.29 c 2158 1724122 1623072 1 - 0.0000 -
2155.99/2163.34 c 2163 1727884 1626681 1 - 0.0000 -
2160.98/2168.39 c 2168 1730997 1629664 1 - 0.0000 -
2166.66/2174.10 c 2174 1734555 1632964 1 - 0.0000 -
2171.94/2179.35 c 2179 1738144 1636249 1 - 0.0000 -
2177.22/2184.64 c 2185 1741561 1639380 1 - 0.0000 -
2182.72/2190.14 c 2190 1744782 1642518 1 - 0.0000 -
2187.89/2195.34 c 2195 1748020 1645486 1 - 0.0000 -
2192.98/2200.43 c 2200 1751651 1648874 1 - 0.0000 -
2198.36/2205.81 c 2206 1755365 1652271 1 - 0.0000 -
2203.35/2210.86 c 2211 1758748 1655428 1 - 0.0000 -
2209.03/2216.50 c 2216 1762280 1658684 1 - 0.0000 -
2214.41/2221.93 c 2222 1766123 1662323 1 - 0.0000 -
2219.50/2227.04 c 2227 1769859 1665735 1 - 0.0000 -
2224.58/2232.15 c 2232 1772911 1668592 1 - 0.0000 -
2229.66/2237.20 c 2237 1776592 1672021 1 - 0.0000 -
2234.64/2242.29 c 2242 1779066 1674406 1 - 0.0000 -
2239.72/2247.35 c 2247 1782265 1677350 1 - 0.0000 -
2244.81/2252.42 c 2252 1785149 1680040 1 - 0.0000 -
2249.90/2257.50 c 2258 1788493 1683268 1 - 0.0000 -
2254.98/2262.64 c 2263 1792054 1686604 1 - 0.0000 -
2260.16/2267.88 c 2268 1795449 1689776 1 - 0.0000 -
2265.35/2273.04 c 2273 1798607 1692677 1 - 0.0000 -
2270.52/2278.26 c 2278 1801648 1695488 1 - 0.0000 -
2276.31/2284.02 c 2284 1805409 1698995 1 - 0.0000 -
2281.40/2289.17 c 2289 1809211 1702480 1 - 0.0000 -
2286.77/2294.55 c 2295 1812147 1705194 1 - 0.0000 -
2291.76/2299.59 c 2300 1814918 1707758 1 - 0.0000 -
2296.84/2304.67 c 2305 1818167 1710786 1 - 0.0000 -
2301.93/2309.72 c 2310 1821147 1713503 1 - 0.0000 -
2306.91/2314.77 c 2315 1823970 1716142 1 - 0.0000 -
2312.20/2320.05 c 2320 1826851 1718811 1 - 0.0000 -
2317.18/2325.10 c 2325 1829979 1721739 1 - 0.0000 -
2322.27/2330.15 c 2330 1832556 1724219 1 - 0.0000 -
2327.35/2335.29 c 2335 1836130 1727593 1 - 0.0000 -
2332.83/2340.74 c 2341 1839699 1731082 1 - 0.0000 -
2337.91/2345.83 c 2346 1842538 1733792 1 - 0.0000 -
2343.20/2351.12 c 2351 1845713 1736852 1 - 0.0000 -
2348.67/2356.65 c 2357 1848695 1739618 1 - 0.0000 -
2354.05/2362.01 c 2362 1851441 1741812 1 - 0.0000 -
2359.03/2367.06 c 2367 1854653 1744837 1 - 0.0000 -
2364.20/2372.27 c 2372 1857839 1747864 1 - 0.0000 -
2369.48/2377.51 c 2378 1860883 1750692 1 - 0.0000 -
2374.65/2382.79 c 2383 1863873 1753586 1 - 0.0000 -
2379.74/2387.86 c 2388 1867227 1756828 1 - 0.0000 -
2384.92/2393.09 c 2393 1870374 1759798 1 - 0.0000 -
2390.19/2398.32 c 2398 1874047 1763218 1 - 0.0000 -
2395.17/2403.37 c 2403 1877260 1766247 1 - 0.0000 -
2400.75/2408.94 c 2409 1880969 1769603 1 - 0.0000 -
2405.82/2414.09 c 2414 1883397 1771879 1 - 0.0000 -
2411.00/2419.29 c 2419 1887264 1775632 1 - 0.0000 -
2416.18/2424.40 c 2424 1890427 1778717 1 - 0.0000 -
2421.16/2429.45 c 2429 1893003 1781101 1 - 0.0000 -
2426.33/2434.65 c 2435 1896145 1784046 1 - 0.0000 -
2432.31/2440.63 c 2441 1899734 1787326 1 - 0.0000 -
2437.70/2446.08 c 2446 1902137 1789598 1 - 0.0000 -
2442.77/2451.13 c 2451 1905003 1792324 1 - 0.0000 -
2448.15/2456.50 c 2457 1908153 1795322 1 - 0.0000 -
2453.22/2461.60 c 2462 1911927 1798940 1 - 0.0000 -
2458.20/2466.65 c 2467 1915156 1802062 1 - 0.0000 -
2463.28/2471.70 c 2472 1918224 1804997 1 - 0.0000 -
2468.46/2476.94 c 2477 1920934 1807516 1 - 0.0000 -
2474.03/2482.50 c 2483 1924038 1810392 1 - 0.0000 -
2479.01/2487.56 c 2488 1927461 1813495 1 - 0.0000 -
2484.49/2493.01 c 2493 1930887 1816662 1 - 0.0000 -
2489.57/2498.17 c 2498 1933364 1819121 1 - 0.0000 -
2495.15/2503.71 c 2504 1936598 1822249 1 - 0.0000 -
2500.63/2509.22 c 2509 1940056 1825604 1 - 0.0000 -
2505.80/2514.46 c 2514 1943151 1828610 1 - 0.0000 -
2511.08/2519.73 c 2520 1946344 1831710 1 - 0.0000 -
2516.36/2525.05 c 2525 1949284 1834598 1 - 0.0000 -
2521.44/2530.11 c 2530 1952357 1837557 1 - 0.0000 -
2526.51/2535.23 c 2535 1955697 1840685 1 - 0.0000 -
2531.49/2540.29 c 2540 1958581 1843462 1 - 0.0000 -
2537.47/2546.23 c 2546 1961965 1846771 1 - 0.0000 -
2542.74/2551.54 c 2552 1965530 1850239 1 - 0.0000 -
2547.82/2556.68 c 2557 1968863 1853530 1 - 0.0000 -
2553.00/2561.83 c 2562 1971707 1856243 1 - 0.0000 -
2558.08/2566.92 c 2567 1974814 1858973 1 - 0.0000 -
2563.16/2572.01 c 2572 1977746 1861714 1 - 0.0000 -
2568.14/2577.07 c 2577 1980473 1864274 1 - 0.0000 -
2573.52/2582.43 c 2582 1983824 1867470 1 - 0.0000 -
2578.79/2587.74 c 2588 1987130 1870670 1 - 0.0000 -
2584.07/2593.05 c 2593 1989639 1873063 1 - 0.0000 -
2589.94/2598.95 c 2599 1992835 1876195 1 - 0.0000 -
2595.52/2604.53 c 2605 1996119 1879397 1 - 0.0000 -
2601.10/2610.14 c 2610 1999553 1882687 1 - 0.0000 -
2606.67/2615.76 c 2616 2002587 1885524 1 - 0.0000 -
2611.75/2620.83 c 2621 2005957 1888668 1 - 0.0000 -
2617.12/2626.22 c 2626 2009329 1891932 1 - 0.0000 -
2622.21/2631.36 c 2631 2012351 1894794 1 - 0.0000 -
2627.38/2636.57 c 2637 2014992 1897310 1 - 0.0000 -
2632.76/2641.94 c 2642 2018449 1900674 1 - 0.0000 -
2637.94/2647.11 c 2647 2021086 1903153 1 - 0.0000 -
2642.92/2652.17 c 2652 2023229 1905177 1 - 0.0000 -
2648.39/2657.61 c 2658 2026029 1907705 1 - 0.0000 -
2653.57/2662.83 c 2663 2028812 1910415 1 - 0.0000 -
2658.95/2668.24 c 2668 2032102 1913635 1 - 0.0000 -
2664.23/2673.58 c 2674 2034923 1916387 1 - 0.0000 -
2669.90/2679.29 c 2679 2038367 1919609 1 - 0.0000 -
2674.99/2684.37 c 2684 2041008 1922099 1 - 0.0000 -
2680.18/2689.58 c 2690 2043628 1924582 1 - 0.0000 -
2685.26/2694.63 c 2695 2046816 1927722 1 - 0.0000 -
2690.64/2700.03 c 2700 2050231 1930986 1 - 0.0000 -
2696.03/2705.40 c 2705 2053012 1933502 1 - 0.0000 -
2701.41/2710.90 c 2711 2056055 1936351 1 - 0.0000 -
2706.60/2716.00 c 2716 2059068 1939146 1 - 0.0000 -
2711.58/2721.05 c 2721 2062113 1942003 1 - 0.0000 -
2716.66/2726.11 c 2726 2064770 1944579 1 - 0.0000 -
2721.94/2731.40 c 2731 2067964 1947647 1 - 0.0000 -
2726.93/2736.45 c 2736 2070423 1949975 1 - 0.0000 -
2732.01/2741.50 c 2742 2073502 1952965 1 - 0.0000 -
2737.19/2746.74 c 2747 2076905 1956281 1 - 0.0000 -
2742.48/2752.06 c 2752 2079631 1958897 1 - 0.0000 -
2747.66/2757.26 c 2757 2083151 1962178 1 - 0.0000 -
2753.24/2762.81 c 2763 2085575 1964533 1 - 0.0000 -
2758.32/2767.92 c 2768 2088228 1967028 1 - 0.0000 -
2763.81/2773.48 c 2773 2091767 1970261 1 - 0.0000 -
2768.89/2778.56 c 2779 2094448 1972766 1 - 0.0000 -
2773.98/2783.67 c 2784 2096692 1974967 1 - 0.0000 -
2779.66/2789.33 c 2789 2100214 1978147 1 - 0.0000 -
2785.54/2795.26 c 2795 2103396 1981202 1 - 0.0000 -
2790.72/2800.42 c 2800 2106050 1983768 1 - 0.0000 -
2795.80/2805.50 c 2806 2108975 1986458 1 - 0.0000 -
2801.49/2811.22 c 2811 2111367 1988600 1 - 0.0000 -
2806.47/2816.28 c 2816 2114962 1992008 1 - 0.0000 -
2811.96/2821.72 c 2822 2117753 1994583 1 - 0.0000 -
2817.14/2826.95 c 2827 2120887 1997617 1 - 0.0000 -
2822.42/2832.27 c 2832 2124399 2000980 1 - 0.0000 -
2828.21/2838.04 c 2838 2127334 2003553 1 - 0.0000 -
2833.79/2843.61 c 2844 2130647 2006690 1 - 0.0000 -
2839.37/2849.28 c 2849 2133449 2009197 1 - 0.0000 -
2844.65/2854.59 c 2855 2136266 2011750 1 - 0.0000 -
2850.03/2859.98 c 2860 2139663 2014975 1 - 0.0000 -
2855.23/2865.16 c 2865 2142057 2017196 1 - 0.0000 -
2860.50/2870.47 c 2870 2145111 2020109 1 - 0.0000 -
2865.69/2875.66 c 2876 2147753 2022645 1 - 0.0000 -
2871.08/2881.07 c 2881 2150922 2025512 1 - 0.0000 -
2876.16/2886.12 c 2886 2153719 2028268 1 - 0.0000 -
2881.73/2891.72 c 2892 2156611 2030982 1 - 0.0000 -
2886.92/2896.90 c 2897 2159672 2033864 1 - 0.0000 -
2892.20/2902.23 c 2902 2162474 2036592 1 - 0.0000 -
2897.49/2907.54 c 2908 2165235 2039112 1 - 0.0000 -
2902.67/2912.73 c 2913 2168320 2042084 1 - 0.0000 -
2908.26/2918.38 c 2918 2171616 2044995 1 - 0.0000 -
2913.74/2923.89 c 2924 2174366 2047525 1 - 0.0000 -
2918.82/2928.97 c 2929 2177263 2050281 1 - 0.0000 -
2924.00/2934.13 c 2934 2180544 2053442 1 - 0.0000 -
2929.29/2939.40 c 2939 2184390 2057116 1 - 0.0000 -
2934.57/2944.79 c 2945 2187512 2060065 1 - 0.0000 -
2940.05/2950.27 c 2950 2190585 2063088 1 - 0.0000 -
2945.74/2955.90 c 2956 2193207 2065650 1 - 0.0000 -
2950.71/2960.97 c 2961 2196183 2068185 1 - 0.0000 -
2955.81/2966.05 c 2966 2199010 2070906 1 - 0.0000 -
2961.28/2971.54 c 2972 2201756 2073579 1 - 0.0000 -
2966.46/2976.71 c 2977 2204652 2076198 1 - 0.0000 -
2972.35/2982.60 c 2983 2207314 2078684 1 - 0.0000 -
2977.64/2987.96 c 2988 2210197 2081286 1 - 0.0000 -
2982.72/2993.01 c 2993 2212970 2083823 1 - 0.0000 -
2988.20/2998.57 c 2999 2215867 2086660 1 - 0.0000 -
2993.28/3003.64 c 3004 2218594 2089116 1 - 0.0000 -
2998.56/3008.99 c 3009 2221497 2091805 1 - 0.0000 -
3004.05/3014.48 c 3014 2224008 2094123 1 - 0.0000 -
3009.13/3019.56 c 3020 2226754 2096675 1 - 0.0000 -
3014.31/3024.75 c 3025 2229720 2099103 1 - 0.0000 -
3019.40/3029.88 c 3030 2232681 2101965 1 - 0.0000 -
3024.48/3034.93 c 3035 2234637 2103845 1 - 0.0000 -
3029.47/3039.98 c 3040 2237222 2106314 1 - 0.0000 -
3035.05/3045.57 c 3046 2239735 2108763 1 - 0.0000 -
3040.64/3051.14 c 3051 2242942 2111596 1 - 0.0000 -
3045.72/3056.28 c 3056 2245268 2113881 1 - 0.0000 -
3051.10/3061.61 c 3062 2248235 2116709 1 - 0.0000 -
3056.68/3067.28 c 3067 2251195 2119507 1 - 0.0000 -
3061.77/3072.33 c 3072 2253769 2121909 1 - 0.0000 -
3067.05/3077.64 c 3078 2256112 2124109 1 - 0.0000 -
3072.64/3083.20 c 3083 2258417 2126273 1 - 0.0000 -
3078.21/3088.85 c 3089 2260469 2128046 1 - 0.0000 -
3083.40/3094.08 c 3094 2263263 2130600 1 - 0.0000 -
3089.08/3099.75 c 3100 2265852 2132932 1 - 0.0000 -
3094.37/3105.03 c 3105 2268752 2135545 1 - 0.0000 -
3099.55/3110.29 c 3110 2271675 2138225 1 - 0.0000 -
3104.63/3115.37 c 3115 2273756 2140140 1 - 0.0000 -
3110.22/3120.99 c 3121 2276715 2142939 1 - 0.0000 -
3115.30/3126.04 c 3126 2280295 2146290 1 - 0.0000 -
3120.38/3131.19 c 3131 2282939 2148788 1 - 0.0000 -
3125.47/3136.29 c 3136 2286168 2151742 1 - 0.0000 -
3130.75/3141.57 c 3142 2288932 2154420 1 - 0.0000 -
3136.13/3146.90 c 3147 2291130 2156550 1 - 0.0000 -
3141.22/3152.02 c 3152 2294387 2159702 1 - 0.0000 -
3146.31/3157.16 c 3157 2297528 2162763 1 - 0.0000 -
3151.39/3162.21 c 3162 2300326 2165515 1 - 0.0000 -
3156.76/3167.62 c 3168 2302922 2168050 1 - 0.0000 -
3162.75/3173.64 c 3174 2305426 2170480 1 - 0.0000 -
3168.43/3179.34 c 3179 2308420 2173380 1 - 0.0000 -
3173.81/3184.71 c 3185 2312205 2176995 1 - 0.0000 -
3178.90/3189.90 c 3190 2314899 2179460 1 - 0.0000 -
3184.19/3195.15 c 3195 2317875 2182194 1 - 0.0000 -
3189.17/3200.19 c 3200 2320970 2185146 1 - 0.0000 -
3194.25/3205.26 c 3205 2324012 2188014 1 - 0.0000 -
3199.33/3210.36 c 3210 2326767 2190401 1 - 0.0000 -
3204.52/3215.59 c 3216 2328931 2192413 1 - 0.0000 -
3210.11/3221.12 c 3221 2332285 2195537 1 - 0.0000 -
3215.09/3226.17 c 3226 2335429 2198334 1 - 0.0000 -
3220.37/3231.42 c 3231 2339446 2201761 1 - 0.0000 -
3225.45/3236.52 c 3237 2342372 2204333 1 - 0.0000 -
3230.44/3241.59 c 3242 2344807 2206661 1 - 0.0000 -
3235.82/3246.90 c 3247 2347381 2209031 1 - 0.0000 -
3240.91/3252.04 c 3252 2349880 2211278 1 - 0.0000 -
3245.99/3257.15 c 3257 2352732 2214046 1 - 0.0000 -
3251.47/3262.69 c 3263 2355136 2216396 1 - 0.0000 -
3256.65/3267.84 c 3268 2357977 2219049 1 - 0.0000 -
3261.64/3272.89 c 3273 2360255 2221281 1 - 0.0000 -
3266.72/3277.94 c 3278 2362803 2223756 1 - 0.0000 -
3272.50/3283.74 c 3284 2365062 2225898 1 - 0.0000 -
3277.68/3288.92 c 3289 2367763 2228402 1 - 0.0000 -
3282.97/3294.27 c 3294 2370137 2230588 1 - 0.0000 -
3288.05/3299.31 c 3299 2372663 2233081 1 - 0.0000 -
3293.43/3304.79 c 3305 2375715 2235965 1 - 0.0000 -
3299.41/3310.76 c 3311 2379181 2239329 1 - 0.0000 -
3304.60/3315.95 c 3316 2381844 2241806 1 - 0.0000 -
3309.69/3321.07 c 3321 2384921 2244600 1 - 0.0000 -
3314.87/3326.28 c 3326 2387153 2246571 1 - 0.0000 -
3320.04/3331.47 c 3331 2389853 2248996 1 - 0.0000 -
3325.53/3336.98 c 3337 2392068 2251049 1 - 0.0000 -
3331.62/3343.02 c 3343 2395597 2254229 1 - 0.0000 -
3336.80/3348.27 c 3348 2398614 2257061 1 - 0.0000 -
3341.98/3353.41 c 3353 2401961 2260298 1 - 0.0000 -
3347.07/3358.50 c 3358 2404982 2263049 1 - 0.0000 -
3352.04/3363.54 c 3364 2408175 2265957 1 - 0.0000 -
3357.72/3369.28 c 3369 2410424 2268148 1 - 0.0000 -
3362.81/3374.37 c 3374 2413057 2270607 1 - 0.0000 -
3367.90/3379.42 c 3379 2415893 2273265 1 - 0.0000 -
3373.08/3384.68 c 3385 2418750 2275889 1 - 0.0000 -
3378.26/3389.81 c 3390 2421222 2278235 1 - 0.0000 -
3384.15/3395.76 c 3396 2423812 2280745 1 - 0.0000 -
3389.82/3401.40 c 3401 2426791 2283562 1 - 0.0000 -
3395.11/3406.73 c 3407 2429648 2286305 1 - 0.0000 -
3400.29/3411.97 c 3412 2432394 2288967 1 - 0.0000 -
3405.38/3417.03 c 3417 2434251 2290752 1 - 0.0000 -
3410.96/3422.62 c 3423 2437293 2293640 1 - 0.0000 -
3416.24/3427.91 c 3428 2439648 2295966 1 - 0.0000 -
3421.43/3433.15 c 3433 2441949 2298168 1 - 0.0000 -
3426.70/3438.42 c 3438 2444666 2300735 1 - 0.0000 -
3432.39/3444.14 c 3444 2447333 2303341 1 - 0.0000 -
3438.27/3450.09 c 3450 2450365 2306226 1 - 0.0000 -
3444.45/3456.20 c 3456 2453157 2308858 1 - 0.0000 -
3450.33/3462.11 c 3462 2455844 2311445 1 - 0.0000 -
3455.71/3467.54 c 3468 2458781 2314278 1 - 0.0000 -
3461.30/3473.18 c 3473 2461513 2316821 1 - 0.0000 -
3466.88/3478.70 c 3479 2464187 2319339 1 - 0.0000 -
3471.96/3483.84 c 3484 2466745 2321727 1 - 0.0000 -
3476.94/3488.88 c 3489 2469134 2323907 1 - 0.0000 -
3482.14/3494.04 c 3494 2471670 2326411 1 - 0.0000 -
3487.81/3499.72 c 3500 2474345 2328888 1 - 0.0000 -
3492.80/3504.77 c 3505 2476626 2331037 1 - 0.0000 -
3498.38/3510.35 c 3510 2479518 2333737 1 - 0.0000 -
3503.77/3515.75 c 3516 2481116 2334920 1 - 0.0000 -
3509.25/3521.27 c 3521 2483580 2337222 1 - 0.0000 -
3514.33/3526.38 c 3526 2486282 2339650 1 - 0.0000 -
3519.61/3531.61 c 3532 2488562 2341830 1 - 0.0000 -
3524.69/3536.77 c 3537 2491122 2344033 1 - 0.0000 -
3529.89/3541.96 c 3542 2493223 2346029 1 - 0.0000 -
3535.07/3547.18 c 3547 2496754 2349409 1 - 0.0000 -
3541.24/3553.39 c 3553 2499367 2351874 1 - 0.0000 -
3546.43/3558.59 c 3559 2502277 2354704 1 - 0.0000 -
3551.52/3563.63 c 3564 2504850 2357162 1 - 0.0000 -
3556.50/3568.68 c 3569 2507220 2359389 1 - 0.0000 -
3562.48/3574.61 c 3575 2510092 2362084 1 - 0.0000 -
3568.06/3580.22 c 3580 2512637 2364371 1 - 0.0000 -
3573.44/3585.69 c 3586 2515347 2366580 1 - 0.0000 -
3578.52/3590.76 c 3591 2517897 2368914 1 - 0.0000 -
3584.71/3596.96 c 3597 2520446 2371195 1 - 0.0000 -
3591.39/3603.63 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.39/3603.63 c Total Time : 3603.6300
3591.39/3603.63 c solving : 3603.6300
3591.39/3603.63 c presolving : 0.0156 (included in solving)
3591.39/3603.63 c B&B Tree :
3591.39/3603.63 c nodes (total) : 1
3591.39/3603.63 c Solution :
3591.39/3603.63 c Solutions found : 0
3591.39/3603.63 c Primal Bound : -
3591.39/3603.63 c Dual Bound : +0.00000000000000e+00
3591.39/3603.63 c Gap : -
3591.39/3603.68 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62520 MiB free)
memory of node 1: 64473 MiB (62060 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450990-1721422993/watcher-4450990-1721422993 -o /tmp/evaluation-result-4450990-1721422993/solver-4450990-1721422993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028663 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450990-1721422993.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1028720, runsolver pid=1028714
Current StackSize limit: 8192 KiB
[startup+0.100977 s]*
/proc/loadavg: 3.84 4.04 4.07 7/262 1028727
/proc/meminfo: memFree=127439452/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=129808 memory=50404 CPUtime=0.09 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 10304 0 0 0 8 1 0 0 20 0 3 0 194464227 132923392 12601 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 32452 12601 2926 3032 0 17542 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=129808 memory=4026531971 CPUtime=0.06 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 5276 0 0 0 6 0 0 0 20 0 3 0 194464230 132923392 12601 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=129808 memory=1783847 CPUtime=0 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194464231 132923392 12601 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 129808 KiB
Current children cumulated memory: 50404 KiB
[startup+0.205987 s]*
/proc/loadavg: 3.84 4.04 4.07 6/262 1028728
/proc/meminfo: memFree=127430984/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=127928 memory=49332 CPUtime=0.19 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 10449 0 0 0 18 1 0 0 20 0 3 0 194464227 130998272 12333 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 31982 12333 2926 3032 0 17121 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=127928 memory=6876556183782621315 CPUtime=0.16 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 5421 0 0 0 16 0 0 0 20 0 3 0 194464230 130998272 12333 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=127928 memory=1783847 CPUtime=0 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194464231 130998272 12333 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 127928 KiB
Current children cumulated memory: 49332 KiB
[startup+0.306514 s]*
/proc/loadavg: 3.84 4.04 4.07 6/264 1028730
/proc/meminfo: memFree=127390940/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=127928 memory=54780 CPUtime=0.29 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 12399 0 0 0 27 2 0 0 20 0 3 0 194464227 130998272 13695 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 31982 13695 2926 3032 0 18802 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=127928 memory=-7808532485384068984 CPUtime=0.27 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 7371 0 0 0 26 1 0 0 20 0 3 0 194464230 130998272 13695 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=127928 memory=0 CPUtime=0 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194464231 130998272 13695 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 127928 KiB
Current children cumulated memory: 54780 KiB
[startup+0.700252 s]
/proc/loadavg: 3.84 4.04 4.07 6/266 1028732
/proc/meminfo: memFree=127324012/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=127928 memory=59588 CPUtime=0.68 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 13645 0 0 0 66 2 0 0 20 0 3 0 194464227 130998272 14897 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 31982 14897 2942 3032 0 19460 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=127928 memory=0 CPUtime=0.65 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 8617 0 0 0 64 1 0 0 20 0 3 0 194464230 130998272 14897 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=127928 memory=0 CPUtime=0 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194464231 130998272 14897 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 127928 KiB
Current children cumulated memory: 59588 KiB
[startup+1.50025 s]
/proc/loadavg: 3.84 4.04 4.07 6/266 1028732
/proc/meminfo: memFree=127241600/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=127928 memory=60892 CPUtime=1.47 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 19240 0 0 0 145 2 0 0 20 0 3 0 194464227 130998272 15223 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 31982 15223 2942 3032 0 19759 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=127928 memory=0 CPUtime=1.44 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 14200 0 0 0 143 1 0 0 20 0 3 0 194464230 130998272 15223 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=127928 memory=0 CPUtime=0 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194464231 130998272 15223 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 127928 KiB
Current children cumulated memory: 60892 KiB
[startup+3.10591 s]
/proc/loadavg: 3.85 4.04 4.07 6/266 1028732
/proc/meminfo: memFree=127227704/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=127928 memory=66800 CPUtime=3.08 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 21481 0 0 0 305 3 0 0 20 0 3 0 194464227 130998272 16700 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 31982 16700 2942 3032 0 21288 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=127928 memory=0 CPUtime=3.05 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 16438 0 0 0 303 2 0 0 20 0 3 0 194464230 130998272 16700 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=127928 memory=4417 CPUtime=0 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 194464231 130998272 16700 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 127928 KiB
Current children cumulated memory: 66800 KiB
[startup+6.30024 s]
/proc/loadavg: 3.85 4.04 4.07 6/266 1028732
/proc/meminfo: memFree=127215568/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=127928 memory=72852 CPUtime=6.26 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 30187 0 0 0 623 3 0 0 20 0 3 0 194464227 130998272 18213 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 31982 18213 2942 3032 0 22693 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=127928 memory=68264 CPUtime=6.23 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 25122 0 0 0 621 2 0 0 20 0 3 0 194464230 130998272 18213 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=127928 memory=-7808532485400846200 CPUtime=0 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 194464231 130998272 18213 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 127928 KiB
Current children cumulated memory: 72852 KiB
[startup+12.7002 s]
/proc/loadavg: 3.95 4.05 4.08 6/266 1028734
/proc/meminfo: memFree=127199688/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=127928 memory=78572 CPUtime=12.64 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 48855 0 0 0 1259 5 0 0 20 0 3 0 194464227 130998272 19643 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 31982 19643 2990 3032 0 24049 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=127928 memory=77812 CPUtime=12.61 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 43756 0 0 0 1257 4 0 0 20 0 3 0 194464230 130998272 19643 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=127928 memory=-6879105243557432932 CPUtime=0 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 194464231 130998272 19643 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 127928 KiB
Current children cumulated memory: 78572 KiB
[startup+25.5003 s]
/proc/loadavg: 4.04 4.07 4.08 6/264 1028735
/proc/meminfo: memFree=127173972/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=129976 memory=87212 CPUtime=25.4 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 67815 0 0 0 2531 9 0 0 20 0 3 0 194464227 133095424 21803 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 32494 21803 2990 3032 0 26207 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=129976 memory=-6879105243557432932 CPUtime=25.37 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 62670 0 0 0 2529 8 0 0 20 0 3 0 194464230 133095424 21803 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=129976 memory=86320 CPUtime=0 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 194464231 133095424 21803 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 129976 KiB
Current children cumulated memory: 87212 KiB
[startup+51.1059 s]
/proc/loadavg: 4.02 4.06 4.08 6/264 1028740
/proc/meminfo: memFree=127082756/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=196540 memory=109388 CPUtime=50.92 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 102589 0 0 0 5076 16 0 0 20 0 3 0 194464227 201256960 27347 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 49135 27347 2990 3032 0 32035 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=196540 memory=109024 CPUtime=50.89 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 97377 0 0 0 5074 15 0 0 20 0 3 0 194464230 201256960 27347 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=196540 memory=46060 CPUtime=0 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 194464231 201256960 27347 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 196540 KiB
Current children cumulated memory: 109388 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.06 4.08 6/264 1028748
/proc/meminfo: memFree=126963084/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=204248 memory=166400 CPUtime=101.94 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 163849 0 0 0 10165 29 0 0 20 0 3 0 194464227 209149952 41600 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 51062 41600 2990 3032 0 46715 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=204248 memory=166396 CPUtime=101.91 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 158550 0 0 0 10163 28 0 0 20 0 3 0 194464230 209149952 41600 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=204248 memory=153412 CPUtime=0 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 194464231 209149952 41600 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 204248 KiB
Current children cumulated memory: 166400 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.08 4.08 6/263 1028759
/proc/meminfo: memFree=126821148/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=276980 memory=231884 CPUtime=161.75 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 220784 0 0 0 16131 44 0 0 20 0 3 0 194464227 283627520 57971 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 69245 57971 2990 3032 0 62353 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=276980 memory=193384 CPUtime=161.71 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 215440 0 0 0 16128 43 0 0 20 0 3 0 194464230 283627520 57971 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=276980 memory=190224 CPUtime=0 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 194464231 283627520 57971 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 276980 KiB
################
# More data... #
################
/proc/1028720/statm: 734249 698047 2990 3032 0 712663 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=2936996 memory=2749464 CPUtime=3390.48 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 2995687 0 0 0 338366 682 0 0 20 0 3 0 194464230 3007483904 698047 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=2936996 memory=2788080 CPUtime=0.01 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 139 0 0 0 0 1 0 0 20 0 3 0 194464231 3007483904 698047 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 3390.72 s
Current children cumulated vsize: 2936996 KiB
Current children cumulated memory: 2792188 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.09 4.11 6/264 1030555
/proc/meminfo: memFree=121817912/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=2943164 memory=2829400 CPUtime=3450.53 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 3084723 0 0 0 344353 700 0 0 20 0 3 0 194464227 3013799936 707350 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 735791 707350 2990 3032 0 721108 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=2943164 memory=2749464 CPUtime=3450.28 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 3078522 0 0 0 344334 694 0 0 20 0 3 0 194464230 3013799936 707350 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=2943164 memory=2280 CPUtime=0.01 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 141 0 0 0 0 1 0 0 20 0 3 0 194464231 3013799936 707350 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 3450.53 s
Current children cumulated vsize: 2943164 KiB
Current children cumulated memory: 2829400 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.11 6/264 1030566
/proc/meminfo: memFree=121766468/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=2947276 memory=2858800 CPUtime=3510.34 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 3168815 0 0 0 350323 711 0 0 20 0 3 0 194464227 3018010624 714700 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 736819 714700 2990 3032 0 728452 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=2947276 memory=11648 CPUtime=3510.09 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 3162597 0 0 0 350305 704 0 0 20 0 3 0 194464230 3018010624 714700 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=2947276 memory=11648 CPUtime=0.01 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 143 0 0 0 0 1 0 0 20 0 3 0 194464231 3018010624 714700 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 3510.34 s
Current children cumulated vsize: 2947276 KiB
Current children cumulated memory: 2858800 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.11 6/263 1030576
/proc/meminfo: memFree=121707452/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=3016924 memory=2889572 CPUtime=3570.16 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 3253306 0 0 0 356293 723 0 0 20 0 3 0 194464227 3089330176 722393 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 754231 722393 2990 3032 0 736024 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=3016924 memory=2879212 CPUtime=3569.9 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 3247072 0 0 0 356274 716 0 0 20 0 3 0 194464230 3089330176 722393 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=3016924 memory=2887552 CPUtime=0.02 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 194464231 3089330176 722393 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 3570.16 s
Current children cumulated vsize: 3016924 KiB
Current children cumulated memory: 2889572 KiB
[startup+3603.69 s]
# the end of solver process 1028720 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.98 s, system=7.50223 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.09 4.11 6/263 1030576
/proc/meminfo: memFree=121706424/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=3017952 memory=2890604 CPUtime=3571.85 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 3254097 0 0 0 356462 723 0 0 20 0 3 0 194464227 3090382848 722651 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 754488 722651 2990 3032 0 736281 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=3017952 memory=-6879105243540655716 CPUtime=3571.6 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 3247863 0 0 0 356444 716 0 0 20 0 3 0 194464230 3090382848 722651 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=3017952 memory=1401629516542861370 CPUtime=0.02 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 194464231 3090382848 722651 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 3571.85 s
Current children cumulated vsize: 3017952 KiB
Current children cumulated memory: 2890604 KiB
[startup+3596.8 s]
/proc/loadavg: 4.07 4.09 4.10 6/263 1030579
/proc/meminfo: memFree=121693804/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=3017952 memory=2895716 CPUtime=3584.61 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 3257576 0 0 0 357737 724 0 0 20 0 3 0 194464227 3090382848 723929 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 754488 723929 2990 3032 0 737528 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=3017952 memory=46060 CPUtime=3584.35 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 3251338 0 0 0 357718 717 0 0 20 0 3 0 194464230 3090382848 723929 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=3017952 memory=164 CPUtime=0.02 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 147 0 0 0 0 2 0 0 20 0 3 0 194464231 3090382848 723929 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 3584.61 s
Current children cumulated vsize: 3017952 KiB
Current children cumulated memory: 2895716 KiB
[startup+3600 s]*
/proc/loadavg: 4.15 4.11 4.11 6/263 1030579
/proc/meminfo: memFree=121690224/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=3018980 memory=2897756 CPUtime=3587.8 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 3269020 0 0 0 358056 724 0 0 20 0 3 0 194464227 3091435520 724439 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 754745 724439 2990 3032 0 738026 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=3018980 memory=-6879105243540655716 CPUtime=3587.55 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 3263130 0 0 0 358037 718 0 0 20 0 3 0 194464230 3091435520 724439 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=3018980 memory=1401629516542861370 CPUtime=0.02 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 147 0 0 0 0 2 0 0 20 0 3 0 194464231 3091435520 724439 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 3587.8 s
Current children cumulated vsize: 3018980 KiB
Current children cumulated memory: 2897756 KiB
[startup+3601.6 s]
/proc/loadavg: 4.15 4.11 4.11 6/264 1030677
/proc/meminfo: memFree=122134020/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=2943936 memory=2822712 CPUtime=3589.4 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 3452532 0 0 0 358204 736 0 0 20 0 3 0 194464227 3014590464 705678 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 735984 705678 2990 3032 0 719265 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=2943936 memory=11648 CPUtime=3589.14 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 3446299 0 0 0 358185 729 0 0 20 0 3 0 194464230 3014590464 705678 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=2943936 memory=2897304 CPUtime=0.02 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 148 0 0 0 0 2 0 0 20 0 3 0 194464231 3014590464 705678 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 3589.4 s
Current children cumulated vsize: 2943936 KiB
Current children cumulated memory: 2822712 KiB
[startup+3602.4 s]
/proc/loadavg: 4.15 4.11 4.11 6/264 1030773
/proc/meminfo: memFree=122332140/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=2869920 memory=2748696 CPUtime=3590.19 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 3556430 0 0 0 358277 742 0 0 20 0 3 0 194464227 2938798080 687174 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 717480 687174 2990 3032 0 700761 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=2869920 memory=2897756 CPUtime=3589.93 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 3550192 0 0 0 358258 735 0 0 20 0 3 0 194464230 2938798080 687174 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=2869920 memory=1783763 CPUtime=0.02 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 148 0 0 0 0 2 0 0 20 0 3 0 194464231 2938798080 687174 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 3590.19 s
Current children cumulated vsize: 2869920 KiB
Current children cumulated memory: 2748696 KiB
[startup+3603.2 s]
/proc/loadavg: 4.13 4.10 4.11 6/264 1030821
/proc/meminfo: memFree=122500056/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=2782540 memory=2661316 CPUtime=3590.99 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 3568908 0 0 0 358356 743 0 0 20 0 3 0 194464227 2849320960 665329 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 695635 665329 2990 3032 0 678916 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=2782540 memory=2894680 CPUtime=3590.73 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 3562667 0 0 0 358337 736 0 0 20 0 3 0 194464230 2849320960 665329 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=2782540 memory=2897304 CPUtime=0.02 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 148 0 0 0 0 2 0 0 20 0 3 0 194464231 2849320960 665329 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 3590.99 s
Current children cumulated vsize: 2782540 KiB
Current children cumulated memory: 2661316 KiB
[startup+3603.6 s]
/proc/loadavg: 4.13 4.10 4.11 6/264 1030821
/proc/meminfo: memFree=122500056/131524600 swapFree=131070704/131071996
[pid=1028720] ppid=1028714 vsize=2687064 memory=2565840 CPUtime=3591.39 cores=5,7
/proc/1028720/stat : 1028720 (fscip) S 1028714 1028720 1028650 0 -1 1077936128 3572810 0 0 0 358395 744 0 0 20 0 3 0 194464227 2751553536 641460 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
/proc/1028720/statm: 671766 641460 2990 3032 0 655047 0
[pid=1028720/tid=1028725] ppid=1028714 vsize=2687064 memory=11648 CPUtime=3591.14 cores=5,7
/proc/1028720/task/1028725/stat : 1028725 (fscip) R 1028714 1028720 1028650 0 -1 4194368 3566569 0 0 0 358377 737 0 0 20 0 3 0 194464230 2751553536 641460 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
[pid=1028720/tid=1028727] ppid=1028714 vsize=2687064 memory=46060 CPUtime=0.02 cores=5,7
/proc/1028720/task/1028727/stat : 1028727 (fscip) S 1028714 1028720 1028650 0 -1 1077936192 148 0 0 0 0 2 0 0 20 0 3 0 194464231 2751553536 641460 134679101440 4194304 16613245 140725388152608 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28487680 140725388153875 140725388153991 140725388153991 140725388161008 0
Current children cumulated CPU time: 3591.39 s
Current children cumulated vsize: 2687064 KiB
Current children cumulated memory: 2565840 KiB
Child status: 0
Real time (s): 3603.69
CPU time (s): 3591.49
CPU user time (s): 3583.98
CPU system time (s): 7.50223
CPU usage (%): 99.6614
Max. virtual memory (cumulated for all children) (KiB): 3018980
Max. memory (cumulated for all children) (KiB): 2897756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.98
system time used= 7.50223
maximum resident set size= 2897756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3573874
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= 10841
involuntary context switches= 4808
# summary of solver processes directly reported to runsolver:
# pid: 1028720
# total CPU time (s): 3591.49
# total CPU user time (s): 3583.98
# total CPU system time (s): 7.50223
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.93282 second user time and 17.8218 second system time
The end
Begin job on nodeC023 at 2024-07-19 23:03:25
IDJOB=4450990
IDBENCH=162338
IDSOLVER=3064
FILE ID=nodeC023/4450990-1721422993
RUNJOBID= nodeC023-1721423005-1028663
SLURM_JOB_ID= 7545608
Free space on /tmp= 890064 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x150split.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-4450990-1721422993/watcher-4450990-1721422993 -o /tmp/evaluation-result-4450990-1721422993/solver-4450990-1721422993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028663 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450990-1721422993.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a95ffdb987ab7b28268efdc4e16ef22d
RANDOM SEED=403335192
nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3620.607
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3688.842
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.157
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3758.370
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3661.829
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3790.702
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3717.954
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3688.445
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127584376 kB
MemAvailable: 129747332 kB
Buffers: 557372 kB
Cached: 2441896 kB
SwapCached: 80 kB
Active: 1182592 kB
Inactive: 2190072 kB
Active(anon): 1480 kB
Inactive(anon): 417640 kB
Active(file): 1181112 kB
Inactive(file): 1772432 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 113252 kB
Writeback: 0 kB
AnonPages: 373296 kB
Mapped: 105924 kB
Shmem: 45728 kB
KReclaimable: 98472 kB
Slab: 192208 kB
SReclaimable: 98472 kB
SUnreclaim: 93736 kB
KernelStack: 3972 kB
PageTables: 9968 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 709656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 253952 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC023 at 2024-07-20 00:03:29