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 = 27652096, getVmSize() = 27652096, SCIPgetMemUsed() = 4070620, SCIPgetMemTotal() = 6110804, SCIPgetMemExternEstim() = 1712513
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 = 23233877, getVmSize() = 42049536, SCIPgetMemUsed() = 12530963, SCIPgetMemTotal() = 19260467, SCIPgetMemExternEstim() = 1712513
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-4451020-1721422993
0.00/0.02 c Variables : 1301 (1301 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 651
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 1300 (1300 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 650
0.00/0.02 c Constraints : Number
0.00/0.02 c linear : 650
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.18/5.23 c 5 2170 2121 1 - 0.0000 -
10.25/10.36 c 10 5635 5364 1 - 0.0000 -
15.35/15.41 c 15 10044 9191 1 - 0.0000 -
20.32/20.47 c 20 13490 12294 1 - 0.0000 -
25.41/25.52 c 26 18447 16673 1 - 0.0000 -
30.39/30.59 c 31 23555 21054 1 - 0.0000 -
35.47/35.63 c 36 28334 25180 1 - 0.0000 -
40.46/40.68 c 41 32545 28834 1 - 0.0000 -
45.54/45.73 c 46 37057 32522 1 - 0.0000 -
50.52/50.78 c 51 41727 36648 1 - 0.0000 -
55.59/55.83 c 56 46224 40751 1 - 0.0000 -
60.57/60.88 c 61 50907 45120 1 - 0.0000 -
65.65/65.93 c 66 56501 50408 1 - 0.0000 -
70.63/70.99 c 71 62099 55611 1 - 0.0000 -
75.72/76.04 c 76 68003 61037 1 - 0.0000 -
80.69/81.09 c 81 73458 66136 1 - 0.0000 -
85.77/86.15 c 86 78507 70864 1 - 0.0000 -
90.84/91.22 c 91 83545 75325 1 - 0.0000 -
95.82/96.27 c 96 88694 80032 1 - 0.0000 -
100.89/101.34 c 101 94516 85432 1 - 0.0000 -
105.97/106.40 c 106 99528 90046 1 - 0.0000 -
110.95/111.45 c 111 105064 95410 1 - 0.0000 -
116.03/116.50 c 117 110065 100130 1 - 0.0000 -
121.01/121.56 c 122 115486 105391 1 - 0.0000 -
126.08/126.61 c 127 121057 110511 1 - 0.0000 -
131.06/131.66 c 132 126722 115860 1 - 0.0000 -
136.14/136.71 c 137 131895 120770 1 - 0.0000 -
141.11/141.76 c 142 136914 125503 1 - 0.0000 -
146.19/146.81 c 147 141858 130175 1 - 0.0000 -
151.26/151.91 c 152 146991 135111 1 - 0.0000 -
156.25/156.96 c 157 152521 140417 1 - 0.0000 -
161.33/162.01 c 162 157651 145239 1 - 0.0000 -
166.30/167.07 c 167 163045 150437 1 - 0.0000 -
171.38/172.15 c 172 167721 154753 1 - 0.0000 -
176.45/177.20 c 177 172572 159255 1 - 0.0000 -
181.43/182.25 c 182 177693 164193 1 - 0.0000 -
186.51/187.30 c 187 182288 168450 1 - 0.0000 -
191.49/192.35 c 192 187504 173425 1 - 0.0000 -
196.56/197.40 c 197 192940 178388 1 - 0.0000 -
201.53/202.45 c 202 197922 183186 1 - 0.0000 -
206.61/207.53 c 208 203190 188123 1 - 0.0000 -
211.60/212.58 c 213 208736 193314 1 - 0.0000 -
216.77/217.78 c 218 214083 198413 1 - 0.0000 -
221.84/222.83 c 223 219200 203247 1 - 0.0000 -
226.82/227.88 c 228 224334 208099 1 - 0.0000 -
231.90/232.92 c 233 229306 212802 1 - 0.0000 -
236.88/237.98 c 238 234322 217626 1 - 0.0000 -
241.96/243.04 c 243 239344 222451 1 - 0.0000 -
246.94/248.09 c 248 244830 227591 1 - 0.0000 -
252.01/253.15 c 253 249990 232384 1 - 0.0000 -
257.08/258.20 c 258 255339 237537 1 - 0.0000 -
262.17/263.31 c 263 260695 242676 1 - 0.0000 -
267.14/268.37 c 268 265685 247513 1 - 0.0000 -
272.22/273.43 c 273 270712 252181 1 - 0.0000 -
277.19/278.48 c 278 275748 256670 1 - 0.0000 -
282.28/283.54 c 284 280481 260995 1 - 0.0000 -
287.25/288.59 c 289 285737 265983 1 - 0.0000 -
292.32/293.66 c 294 290239 270057 1 - 0.0000 -
297.40/298.74 c 299 295434 274944 1 - 0.0000 -
302.38/303.79 c 304 300789 280096 1 - 0.0000 -
307.46/308.84 c 309 306015 285027 1 - 0.0000 -
312.53/313.93 c 314 311299 289860 1 - 0.0000 -
317.62/319.01 c 319 316029 294320 1 - 0.0000 -
322.59/324.06 c 324 321636 299358 1 - 0.0000 -
327.67/329.11 c 329 326667 303826 1 - 0.0000 -
332.64/334.16 c 334 331794 308716 1 - 0.0000 -
337.82/339.33 c 339 336630 313169 1 - 0.0000 -
342.80/344.37 c 344 341587 317890 1 - 0.0000 -
347.87/349.47 c 349 346637 322689 1 - 0.0000 -
352.95/354.53 c 355 351595 327400 1 - 0.0000 -
357.93/359.59 c 360 356882 332381 1 - 0.0000 -
363.00/364.63 c 365 361883 337110 1 - 0.0000 -
367.98/369.68 c 370 366865 341829 1 - 0.0000 -
373.05/374.74 c 375 371932 346690 1 - 0.0000 -
378.03/379.79 c 380 376952 351466 1 - 0.0000 -
383.11/384.86 c 385 382019 356217 1 - 0.0000 -
388.19/389.91 c 390 387352 361325 1 - 0.0000 -
393.17/394.96 c 395 392391 366025 1 - 0.0000 -
398.24/400.03 c 400 397407 370686 1 - 0.0000 -
403.22/405.08 c 405 402655 375539 1 - 0.0000 -
408.30/410.13 c 410 407848 380466 1 - 0.0000 -
413.28/415.18 c 415 412487 384746 1 - 0.0000 -
418.35/420.24 c 420 417348 389303 1 - 0.0000 -
423.32/425.29 c 425 421700 393428 1 - 0.0000 -
428.40/430.36 c 430 426756 398379 1 - 0.0000 -
433.47/435.41 c 435 431396 402679 1 - 0.0000 -
438.46/440.47 c 440 436382 407386 1 - 0.0000 -
443.53/445.53 c 446 441800 412485 1 - 0.0000 -
448.51/450.60 c 451 446752 417097 1 - 0.0000 -
453.59/455.65 c 456 451273 421428 1 - 0.0000 -
458.67/460.70 c 461 455936 425813 1 - 0.0000 -
463.63/465.77 c 466 460780 430457 1 - 0.0000 -
468.72/470.83 c 471 465996 435429 1 - 0.0000 -
473.69/475.89 c 476 470512 439658 1 - 0.0000 -
478.87/481.01 c 481 475040 443886 1 - 0.0000 -
483.95/486.17 c 486 479872 448300 1 - 0.0000 -
489.03/491.23 c 491 484790 453002 1 - 0.0000 -
494.10/496.32 c 496 490124 457950 1 - 0.0000 -
499.17/501.41 c 501 495245 462847 1 - 0.0000 -
504.15/506.46 c 506 499965 467381 1 - 0.0000 -
509.23/511.51 c 512 504834 471883 1 - 0.0000 -
514.21/516.57 c 517 509670 476485 1 - 0.0000 -
519.28/521.64 c 522 514282 480760 1 - 0.0000 -
524.37/526.70 c 527 519116 485294 1 - 0.0000 -
529.34/531.76 c 532 523924 489844 1 - 0.0000 -
534.53/536.90 c 537 528872 494655 1 - 0.0000 -
539.51/541.95 c 542 533300 498721 1 - 0.0000 -
544.60/547.00 c 547 537651 502772 1 - 0.0000 -
549.58/552.05 c 552 542458 507334 1 - 0.0000 -
554.66/557.16 c 557 547982 512360 1 - 0.0000 -
559.74/562.20 c 562 552899 516922 1 - 0.0000 -
564.72/567.29 c 567 557658 521409 1 - 0.0000 -
569.80/572.35 c 572 562452 525997 1 - 0.0000 -
574.88/577.40 c 577 567052 530372 1 - 0.0000 -
579.87/582.47 c 582 571687 534613 1 - 0.0000 -
585.05/587.62 c 588 576537 539019 1 - 0.0000 -
590.03/592.67 c 593 581537 543752 1 - 0.0000 -
595.12/597.74 c 598 585929 547821 1 - 0.0000 -
600.09/602.79 c 603 590373 551914 1 - 0.0000 -
605.27/607.91 c 608 595082 556398 1 - 0.0000 -
610.37/613.03 c 613 600113 561254 1 - 0.0000 -
615.34/618.08 c 618 604521 565426 1 - 0.0000 -
620.43/623.16 c 623 609643 570195 1 - 0.0000 -
625.51/628.22 c 628 614483 574551 1 - 0.0000 -
630.49/633.28 c 633 619369 579080 1 - 0.0000 -
635.57/638.33 c 638 624268 583821 1 - 0.0000 -
640.65/643.44 c 643 628710 587971 1 - 0.0000 -
645.73/648.57 c 649 633421 592330 1 - 0.0000 -
650.81/653.62 c 654 638059 596472 1 - 0.0000 -
655.79/658.67 c 659 643122 601349 1 - 0.0000 -
660.87/663.77 c 664 647674 605586 1 - 0.0000 -
665.95/668.83 c 669 652603 610147 1 - 0.0000 -
671.04/673.95 c 674 657377 614359 1 - 0.0000 -
676.12/679.02 c 679 661707 618296 1 - 0.0000 -
681.10/684.07 c 684 666072 622171 1 - 0.0000 -
686.19/689.13 c 689 670521 626127 1 - 0.0000 -
691.17/694.18 c 694 674820 629968 1 - 0.0000 -
696.35/699.30 c 699 678882 633694 1 - 0.0000 -
701.33/704.35 c 704 683766 638482 1 - 0.0000 -
706.41/709.45 c 709 688282 642429 1 - 0.0000 -
711.50/714.55 c 715 694250 646990 1 - 0.0000 -
716.58/719.63 c 720 698490 650827 1 - 0.0000 -
721.56/724.69 c 725 703308 655153 1 - 0.0000 -
726.64/729.75 c 730 707864 659435 1 - 0.0000 -
731.73/734.80 c 735 712401 663694 1 - 0.0000 -
736.80/739.93 c 740 717023 668171 1 - 0.0000 -
741.79/744.97 c 745 721364 672237 1 - 0.0000 -
746.97/750.11 c 750 726025 676549 1 - 0.0000 -
751.96/755.19 c 755 730664 680812 1 - 0.0000 -
757.04/760.28 c 760 735196 685055 1 - 0.0000 -
762.22/765.41 c 765 739324 688689 1 - 0.0000 -
767.40/770.61 c 771 744052 692952 1 - 0.0000 -
772.38/775.67 c 776 748615 697140 1 - 0.0000 -
777.46/780.73 c 781 753602 701802 1 - 0.0000 -
782.45/785.78 c 786 757979 705921 1 - 0.0000 -
787.53/790.86 c 791 763162 710008 1 - 0.0000 -
792.61/795.93 c 796 767506 713928 1 - 0.0000 -
797.60/800.99 c 801 772167 718301 1 - 0.0000 -
802.68/806.04 c 806 776316 721921 1 - 0.0000 -
807.76/811.12 c 811 781179 726403 1 - 0.0000 -
812.75/816.18 c 816 785476 730168 1 - 0.0000 -
817.82/821.24 c 821 790563 734493 1 - 0.0000 -
822.80/826.29 c 826 794572 738096 1 - 0.0000 -
827.89/831.35 c 831 799137 742431 1 - 0.0000 -
832.97/836.41 c 836 803207 746276 1 - 0.0000 -
838.06/841.50 c 842 807862 750741 1 - 0.0000 -
843.04/846.57 c 847 812195 754684 1 - 0.0000 -
848.11/851.63 c 852 817173 758969 1 - 0.0000 -
853.10/856.69 c 857 821504 762812 1 - 0.0000 -
858.18/861.76 c 862 825547 766479 1 - 0.0000 -
863.26/866.85 c 867 829980 770484 1 - 0.0000 -
868.35/871.94 c 872 834283 774245 1 - 0.0000 -
873.43/877.01 c 877 838968 778653 1 - 0.0000 -
878.52/882.12 c 882 843371 782902 1 - 0.0000 -
883.49/887.17 c 887 847781 786942 1 - 0.0000 -
888.58/892.22 c 892 852280 791129 1 - 0.0000 -
893.56/897.28 c 897 856799 795397 1 - 0.0000 -
898.64/902.39 c 902 861037 799192 1 - 0.0000 -
903.73/907.43 c 907 864996 802683 1 - 0.0000 -
908.71/912.49 c 912 869131 806425 1 - 0.0000 -
913.80/917.56 c 918 873759 810689 1 - 0.0000 -
918.88/922.67 c 923 878198 814739 1 - 0.0000 -
923.96/927.73 c 928 882551 818810 1 - 0.0000 -
929.04/932.80 c 933 887034 823044 1 - 0.0000 -
934.03/937.88 c 938 891256 826825 1 - 0.0000 -
939.22/943.00 c 943 895387 830562 1 - 0.0000 -
944.19/948.08 c 948 899796 834749 1 - 0.0000 -
949.29/953.17 c 953 903917 838645 1 - 0.0000 -
954.36/958.22 c 958 908282 842670 1 - 0.0000 -
959.35/963.29 c 963 912229 846418 1 - 0.0000 -
964.43/968.36 c 968 916459 850252 1 - 0.0000 -
969.51/973.41 c 973 920759 853952 1 - 0.0000 -
974.49/978.48 c 978 924863 857712 1 - 0.0000 -
979.78/983.74 c 984 928937 861206 1 - 0.0000 -
984.76/988.79 c 989 933124 865182 1 - 0.0000 -
989.85/993.84 c 994 937711 869476 1 - 0.0000 -
994.82/998.89 c 999 942003 873398 1 - 0.0000 -
1000.01/1004.04 c 1004 946284 877423 1 - 0.0000 -
1005.10/1009.11 c 1009 950485 881203 1 - 0.0000 -
1010.09/1014.17 c 1014 954164 884578 1 - 0.0000 -
1015.16/1019.22 c 1019 958328 888022 1 - 0.0000 -
1020.25/1024.35 c 1024 962636 891984 1 - 0.0000 -
1025.43/1029.50 c 1030 966983 896138 1 - 0.0000 -
1030.41/1034.54 c 1035 971439 899898 1 - 0.0000 -
1035.50/1039.66 c 1040 975614 903321 1 - 0.0000 -
1040.58/1044.71 c 1045 979856 907353 1 - 0.0000 -
1045.67/1049.83 c 1050 983882 910974 1 - 0.0000 -
1050.75/1054.90 c 1055 988176 914671 1 - 0.0000 -
1055.73/1059.95 c 1060 993994 919143 1 - 0.0000 -
1061.01/1065.27 c 1065 997290 921962 1 - 0.0000 -
1066.19/1070.45 c 1070 1001457 925751 1 - 0.0000 -
1071.27/1075.50 c 1076 1006455 930261 1 - 0.0000 -
1076.26/1080.56 c 1081 1010326 933578 1 - 0.0000 -
1081.35/1085.66 c 1086 1014660 937322 1 - 0.0000 -
1086.42/1090.71 c 1091 1018822 941006 1 - 0.0000 -
1091.51/1095.81 c 1096 1022802 944495 1 - 0.0000 -
1096.49/1100.87 c 1101 1027042 948489 1 - 0.0000 -
1101.58/1105.92 c 1106 1030785 951694 1 - 0.0000 -
1106.67/1111.03 c 1111 1034637 954934 1 - 0.0000 -
1111.65/1116.08 c 1116 1038373 958129 1 - 0.0000 -
1116.73/1121.19 c 1121 1042370 961572 1 - 0.0000 -
1121.81/1126.25 c 1126 1046567 965024 1 - 0.0000 -
1126.99/1131.40 c 1131 1050431 968470 1 - 0.0000 -
1131.97/1136.46 c 1136 1054780 972004 1 - 0.0000 -
1137.06/1141.52 c 1142 1059124 975825 1 - 0.0000 -
1142.14/1146.60 c 1147 1063242 979254 1 - 0.0000 -
1147.22/1151.73 c 1152 1067035 982578 1 - 0.0000 -
1152.20/1156.78 c 1157 1070637 985807 1 - 0.0000 -
1157.29/1161.83 c 1162 1074516 989438 1 - 0.0000 -
1162.27/1166.89 c 1167 1078458 993014 1 - 0.0000 -
1167.36/1171.95 c 1172 1082577 997065 1 - 0.0000 -
1172.44/1177.00 c 1177 1086427 1000549 1 - 0.0000 -
1177.42/1182.10 c 1182 1090432 1004160 1 - 0.0000 -
1182.60/1187.29 c 1187 1093904 1007487 1 - 0.0000 -
1187.68/1192.39 c 1192 1097918 1011089 1 - 0.0000 -
1192.77/1197.46 c 1197 1101714 1014650 1 - 0.0000 -
1197.85/1202.55 c 1203 1105696 1018153 1 - 0.0000 -
1202.93/1207.63 c 1208 1109463 1021272 1 - 0.0000 -
1207.91/1212.68 c 1213 1112958 1024400 1 - 0.0000 -
1213.00/1217.78 c 1218 1116267 1027365 1 - 0.0000 -
1218.08/1222.84 c 1223 1120605 1030851 1 - 0.0000 -
1223.16/1227.91 c 1228 1123652 1033609 1 - 0.0000 -
1228.15/1232.98 c 1233 1127188 1036789 1 - 0.0000 -
1233.24/1238.08 c 1238 1131306 1040272 1 - 0.0000 -
1238.32/1243.12 c 1243 1135202 1043874 1 - 0.0000 -
1243.39/1248.28 c 1248 1139094 1047216 1 - 0.0000 -
1248.78/1253.67 c 1254 1142584 1050228 1 - 0.0000 -
1253.86/1258.72 c 1259 1146174 1053368 1 - 0.0000 -
1258.84/1263.77 c 1264 1149990 1057085 1 - 0.0000 -
1263.93/1268.84 c 1269 1153804 1060738 1 - 0.0000 -
1268.91/1273.89 c 1274 1157177 1063849 1 - 0.0000 -
1274.00/1278.95 c 1279 1161186 1067471 1 - 0.0000 -
1279.19/1284.12 c 1284 1165011 1070948 1 - 0.0000 -
1284.27/1289.20 c 1289 1168574 1074121 1 - 0.0000 -
1289.25/1294.26 c 1294 1172169 1077457 1 - 0.0000 -
1294.33/1299.32 c 1299 1176072 1080972 1 - 0.0000 -
1299.32/1304.39 c 1304 1179955 1084782 1 - 0.0000 -
1304.40/1309.44 c 1309 1182970 1087351 1 - 0.0000 -
1309.48/1314.57 c 1315 1186720 1090723 1 - 0.0000 -
1314.56/1319.68 c 1320 1190010 1093566 1 - 0.0000 -
1319.85/1324.91 c 1325 1193486 1096499 1 - 0.0000 -
1324.83/1329.97 c 1330 1196739 1099276 1 - 0.0000 -
1329.92/1335.06 c 1335 1199814 1101989 1 - 0.0000 -
1335.10/1340.20 c 1340 1203072 1105051 1 - 0.0000 -
1340.18/1345.37 c 1345 1206992 1108665 1 - 0.0000 -
1345.26/1350.43 c 1350 1210099 1110625 1 - 0.0000 -
1350.25/1355.48 c 1355 1213210 1113408 1 - 0.0000 -
1355.43/1360.63 c 1361 1216753 1116562 1 - 0.0000 -
1360.41/1365.69 c 1366 1219980 1119522 1 - 0.0000 -
1365.49/1370.75 c 1371 1223734 1122333 1 - 0.0000 -
1370.78/1376.04 c 1376 1227372 1125629 1 - 0.0000 -
1375.77/1381.09 c 1381 1230775 1128750 1 - 0.0000 -
1381.05/1386.32 c 1386 1234041 1131628 1 - 0.0000 -
1386.13/1391.49 c 1391 1237318 1134633 1 - 0.0000 -
1391.21/1396.59 c 1397 1240344 1137238 1 - 0.0000 -
1396.39/1401.73 c 1402 1243756 1140115 1 - 0.0000 -
1401.37/1406.78 c 1407 1247136 1142718 1 - 0.0000 -
1406.46/1411.84 c 1412 1250328 1145660 1 - 0.0000 -
1411.45/1416.89 c 1417 1253938 1148992 1 - 0.0000 -
1416.52/1421.98 c 1422 1257633 1152342 1 - 0.0000 -
1421.61/1427.04 c 1427 1261143 1155395 1 - 0.0000 -
1426.69/1432.18 c 1432 1264335 1157875 1 - 0.0000 -
1431.87/1437.38 c 1437 1267930 1161135 1 - 0.0000 -
1437.05/1442.52 c 1443 1271187 1163779 1 - 0.0000 -
1442.24/1447.77 c 1448 1274501 1166862 1 - 0.0000 -
1447.62/1453.15 c 1453 1278056 1169592 1 - 0.0000 -
1452.70/1458.29 c 1458 1281606 1172605 1 - 0.0000 -
1457.79/1463.38 c 1463 1284937 1174908 1 - 0.0000 -
1462.87/1468.47 c 1468 1288086 1177790 1 - 0.0000 -
1467.96/1473.55 c 1474 1291824 1180066 1 - 0.0000 -
1473.04/1478.63 c 1479 1294691 1182486 1 - 0.0000 -
1478.12/1483.70 c 1484 1297412 1184768 1 - 0.0000 -
1483.10/1488.77 c 1489 1300244 1187116 1 - 0.0000 -
1488.39/1494.00 c 1494 1303225 1189516 1 - 0.0000 -
1493.38/1499.06 c 1499 1306378 1192381 1 - 0.0000 -
1498.46/1504.18 c 1504 1309430 1195122 1 - 0.0000 -
1503.54/1509.23 c 1509 1311871 1197085 1 - 0.0000 -
1508.52/1514.29 c 1514 1315133 1200158 1 - 0.0000 -
1513.71/1519.47 c 1519 1318444 1203224 1 - 0.0000 -
1518.78/1524.57 c 1525 1321512 1205956 1 - 0.0000 -
1523.97/1529.72 c 1530 1324652 1208783 1 - 0.0000 -
1529.06/1534.86 c 1535 1327716 1211618 1 - 0.0000 -
1534.24/1540.02 c 1540 1330992 1214668 1 - 0.0000 -
1539.32/1545.10 c 1545 1334015 1217346 1 - 0.0000 -
1544.30/1550.19 c 1550 1336662 1219767 1 - 0.0000 -
1549.38/1555.25 c 1555 1340306 1222815 1 - 0.0000 -
1554.57/1560.49 c 1560 1343983 1226016 1 - 0.0000 -
1559.75/1565.60 c 1566 1347780 1229655 1 - 0.0000 -
1565.03/1570.93 c 1571 1351258 1232968 1 - 0.0000 -
1570.12/1576.03 c 1576 1354103 1235691 1 - 0.0000 -
1575.30/1581.23 c 1581 1356984 1238230 1 - 0.0000 -
1580.28/1586.29 c 1586 1360764 1241889 1 - 0.0000 -
1585.37/1591.39 c 1591 1364109 1244910 1 - 0.0000 -
1590.65/1596.61 c 1597 1367213 1247512 1 - 0.0000 -
1595.63/1601.69 c 1602 1370404 1250418 1 - 0.0000 -
1600.72/1606.74 c 1607 1373394 1253233 1 - 0.0000 -
1605.80/1611.80 c 1612 1376305 1255745 1 - 0.0000 -
1610.78/1616.85 c 1617 1380335 1259125 1 - 0.0000 -
1615.86/1621.95 c 1622 1383522 1261708 1 - 0.0000 -
1621.06/1627.15 c 1627 1386552 1264590 1 - 0.0000 -
1626.23/1632.37 c 1632 1389947 1267889 1 - 0.0000 -
1631.41/1637.52 c 1638 1392967 1270502 1 - 0.0000 -
1636.50/1642.62 c 1643 1396267 1273610 1 - 0.0000 -
1641.78/1647.90 c 1648 1399539 1276648 1 - 0.0000 -
1646.97/1653.15 c 1653 1402446 1279074 1 - 0.0000 -
1652.04/1658.29 c 1658 1405783 1281891 1 - 0.0000 -
1657.12/1663.34 c 1663 1408824 1284655 1 - 0.0000 -
1662.31/1668.55 c 1669 1411739 1287292 1 - 0.0000 -
1667.39/1673.60 c 1674 1414976 1290142 1 - 0.0000 -
1672.38/1678.65 c 1679 1417830 1292694 1 - 0.0000 -
1677.47/1683.73 c 1684 1420900 1295533 1 - 0.0000 -
1682.54/1688.81 c 1689 1424346 1298792 1 - 0.0000 -
1687.63/1693.98 c 1694 1427365 1301584 1 - 0.0000 -
1692.71/1699.04 c 1699 1430310 1304275 1 - 0.0000 -
1697.70/1704.09 c 1704 1433368 1306720 1 - 0.0000 -
1702.79/1709.14 c 1709 1436735 1309883 1 - 0.0000 -
1707.86/1714.21 c 1714 1439635 1312528 1 - 0.0000 -
1712.95/1719.34 c 1719 1442961 1315647 1 - 0.0000 -
1717.93/1724.40 c 1724 1445866 1318399 1 - 0.0000 -
1723.01/1729.46 c 1729 1448917 1321241 1 - 0.0000 -
1728.10/1734.52 c 1735 1451562 1323526 1 - 0.0000 -
1733.28/1739.72 c 1740 1454075 1325686 1 - 0.0000 -
1738.26/1744.78 c 1745 1457333 1328507 1 - 0.0000 -
1743.35/1749.89 c 1750 1460506 1331517 1 - 0.0000 -
1748.43/1754.95 c 1755 1464047 1334733 1 - 0.0000 -
1753.51/1760.02 c 1760 1466970 1337362 1 - 0.0000 -
1758.60/1765.18 c 1765 1469909 1340016 1 - 0.0000 -
1763.88/1770.43 c 1770 1472579 1342482 1 - 0.0000 -
1768.97/1775.50 c 1776 1475084 1344641 1 - 0.0000 -
1773.95/1780.57 c 1781 1477614 1347038 1 - 0.0000 -
1779.03/1785.66 c 1786 1480431 1349577 1 - 0.0000 -
1784.42/1791.07 c 1791 1483017 1351539 1 - 0.0000 -
1789.60/1796.24 c 1796 1485586 1353750 1 - 0.0000 -
1794.68/1801.31 c 1801 1488338 1356053 1 - 0.0000 -
1799.66/1806.36 c 1806 1491464 1358841 1 - 0.0000 -
1804.75/1811.41 c 1811 1494286 1361403 1 - 0.0000 -
1809.82/1816.50 c 1817 1498488 1364720 1 - 0.0000 -
1815.11/1821.87 c 1822 1500500 1366472 1 - 0.0000 -
1820.19/1826.95 c 1827 1503281 1368932 1 - 0.0000 -
1825.48/1832.24 c 1832 1506430 1371940 1 - 0.0000 -
1830.76/1837.50 c 1838 1509409 1374726 1 - 0.0000 -
1835.84/1842.63 c 1843 1512299 1377165 1 - 0.0000 -
1840.92/1847.78 c 1848 1514793 1379419 1 - 0.0000 -
1846.01/1852.86 c 1853 1517416 1381533 1 - 0.0000 -
1851.10/1857.98 c 1858 1520167 1384067 1 - 0.0000 -
1856.18/1863.04 c 1863 1523182 1386015 1 - 0.0000 -
1861.27/1868.11 c 1868 1525336 1387779 1 - 0.0000 -
1866.35/1873.28 c 1873 1528012 1390219 1 - 0.0000 -
1871.62/1878.55 c 1879 1531172 1393224 1 - 0.0000 -
1876.71/1883.60 c 1884 1533713 1395220 1 - 0.0000 -
1881.79/1888.78 c 1889 1536966 1398377 1 - 0.0000 -
1886.87/1893.85 c 1894 1539531 1400468 1 - 0.0000 -
1892.06/1899.05 c 1899 1542883 1403670 1 - 0.0000 -
1897.15/1904.11 c 1904 1545492 1406089 1 - 0.0000 -
1902.32/1909.30 c 1909 1548018 1408212 1 - 0.0000 -
1907.41/1914.46 c 1914 1550724 1410436 1 - 0.0000 -
1912.49/1919.53 c 1920 1553567 1412785 1 - 0.0000 -
1917.47/1924.59 c 1925 1556550 1415458 1 - 0.0000 -
1922.55/1929.69 c 1930 1559084 1417287 1 - 0.0000 -
1927.85/1934.95 c 1935 1562419 1420138 1 - 0.0000 -
1932.93/1940.06 c 1940 1565120 1422366 1 - 0.0000 -
1938.01/1945.14 c 1945 1567982 1424432 1 - 0.0000 -
1943.09/1950.22 c 1950 1571373 1427728 1 - 0.0000 -
1948.27/1955.42 c 1955 1574486 1430791 1 - 0.0000 -
1953.45/1960.69 c 1961 1577408 1433478 1 - 0.0000 -
1958.84/1966.01 c 1966 1579998 1435986 1 - 0.0000 -
1964.12/1971.31 c 1971 1583112 1439002 1 - 0.0000 -
1969.10/1976.37 c 1976 1586502 1441558 1 - 0.0000 -
1974.28/1981.52 c 1982 1589268 1443924 1 - 0.0000 -
1979.47/1986.75 c 1987 1592146 1446572 1 - 0.0000 -
1984.56/1991.83 c 1992 1595341 1449217 1 - 0.0000 -
1989.75/1997.05 c 1997 1597942 1451465 1 - 0.0000 -
1994.83/2002.14 c 2002 1600625 1454075 1 - 0.0000 -
1999.81/2007.19 c 2007 1603131 1456083 1 - 0.0000 -
2004.89/2012.29 c 2012 1605474 1458148 1 - 0.0000 -
2010.17/2017.52 c 2018 1608268 1460602 1 - 0.0000 -
2015.25/2022.62 c 2023 1610988 1462897 1 - 0.0000 -
2020.24/2027.70 c 2028 1613699 1465325 1 - 0.0000 -
2025.52/2032.93 c 2033 1616468 1467836 1 - 0.0000 -
2030.61/2038.07 c 2038 1619328 1470471 1 - 0.0000 -
2035.89/2043.36 c 2043 1622085 1473076 1 - 0.0000 -
2040.97/2048.47 c 2048 1624642 1475252 1 - 0.0000 -
2046.06/2053.52 c 2054 1628295 1477720 1 - 0.0000 -
2051.14/2058.61 c 2059 1632052 1480796 1 - 0.0000 -
2056.52/2064.10 c 2064 1634456 1483087 1 - 0.0000 -
2061.80/2069.30 c 2069 1636338 1484931 1 - 0.0000 -
2066.79/2074.38 c 2074 1639082 1487597 1 - 0.0000 -
2071.87/2079.49 c 2079 1641750 1490112 1 - 0.0000 -
2076.95/2084.57 c 2085 1644418 1492539 1 - 0.0000 -
2082.14/2089.74 c 2090 1646841 1494719 1 - 0.0000 -
2087.53/2095.14 c 2095 1650134 1497605 1 - 0.0000 -
2092.51/2100.18 c 2100 1652766 1499820 1 - 0.0000 -
2097.78/2105.42 c 2105 1655432 1502122 1 - 0.0000 -
2102.86/2110.50 c 2111 1657739 1503995 1 - 0.0000 -
2108.05/2115.75 c 2116 1660244 1505706 1 - 0.0000 -
2113.14/2120.82 c 2121 1663695 1508062 1 - 0.0000 -
2118.12/2125.87 c 2126 1667557 1510913 1 - 0.0000 -
2123.41/2131.15 c 2131 1669331 1512343 1 - 0.0000 -
2128.48/2136.25 c 2136 1671452 1513976 1 - 0.0000 -
2133.87/2141.62 c 2142 1674004 1516097 1 - 0.0000 -
2138.96/2146.76 c 2147 1676628 1518441 1 - 0.0000 -
2144.03/2151.88 c 2152 1678985 1520302 1 - 0.0000 -
2149.11/2156.94 c 2157 1681932 1522598 1 - 0.0000 -
2154.21/2162.05 c 2162 1684725 1525233 1 - 0.0000 -
2159.38/2167.20 c 2167 1687257 1527466 1 - 0.0000 -
2164.47/2172.32 c 2172 1689430 1529351 1 - 0.0000 -
2169.45/2177.37 c 2177 1691689 1531188 1 - 0.0000 -
2174.74/2182.63 c 2183 1693806 1533024 1 - 0.0000 -
2179.81/2187.73 c 2188 1696020 1534950 1 - 0.0000 -
2185.00/2192.92 c 2193 1698160 1536878 1 - 0.0000 -
2190.28/2198.22 c 2198 1700613 1539021 1 - 0.0000 -
2195.36/2203.33 c 2203 1703151 1541298 1 - 0.0000 -
2200.45/2208.43 c 2208 1705191 1543094 1 - 0.0000 -
2205.73/2213.72 c 2214 1707667 1544675 1 - 0.0000 -
2210.82/2218.84 c 2219 1710548 1546848 1 - 0.0000 -
2215.90/2223.95 c 2224 1712766 1548949 1 - 0.0000 -
2220.99/2229.03 c 2229 1714704 1550551 1 - 0.0000 -
2226.07/2234.16 c 2234 1717415 1552912 1 - 0.0000 -
2231.35/2239.43 c 2239 1720040 1555243 1 - 0.0000 -
2236.33/2244.48 c 2244 1722631 1557529 1 - 0.0000 -
2241.51/2249.66 c 2250 1725428 1559874 1 - 0.0000 -
2246.60/2254.73 c 2255 1727941 1562170 1 - 0.0000 -
2251.78/2259.93 c 2260 1730279 1564256 1 - 0.0000 -
2256.88/2265.02 c 2265 1732605 1566235 1 - 0.0000 -
2261.95/2270.13 c 2270 1735334 1568501 1 - 0.0000 -
2266.94/2275.19 c 2275 1738639 1570443 1 - 0.0000 -
2272.01/2280.28 c 2280 1740862 1572431 1 - 0.0000 -
2277.19/2285.43 c 2285 1744009 1575272 1 - 0.0000 -
2282.27/2290.50 c 2291 1747006 1578213 1 - 0.0000 -
2287.45/2295.79 c 2296 1749653 1580818 1 - 0.0000 -
2292.84/2301.18 c 2301 1752020 1582854 1 - 0.0000 -
2298.02/2306.36 c 2306 1755086 1585870 1 - 0.0000 -
2303.20/2311.51 c 2312 1757764 1587573 1 - 0.0000 -
2308.39/2316.73 c 2317 1759948 1589575 1 - 0.0000 -
2313.36/2321.77 c 2322 1762312 1591697 1 - 0.0000 -
2318.45/2326.84 c 2327 1765015 1594303 1 - 0.0000 -
2323.43/2331.89 c 2332 1767482 1596696 1 - 0.0000 -
2328.61/2337.00 c 2337 1769847 1598767 1 - 0.0000 -
2333.70/2342.11 c 2342 1772397 1600933 1 - 0.0000 -
2338.69/2347.18 c 2347 1774869 1603138 1 - 0.0000 -
2343.86/2352.31 c 2352 1776746 1604626 1 - 0.0000 -
2349.04/2357.56 c 2358 1779233 1606686 1 - 0.0000 -
2354.13/2362.68 c 2363 1781804 1609053 1 - 0.0000 -
2359.31/2367.83 c 2368 1784249 1611115 1 - 0.0000 -
2364.39/2372.90 c 2373 1786586 1613093 1 - 0.0000 -
2369.78/2378.36 c 2378 1788949 1614963 1 - 0.0000 -
2374.86/2383.40 c 2383 1791291 1616998 1 - 0.0000 -
2380.04/2388.61 c 2389 1793918 1619142 1 - 0.0000 -
2385.22/2393.82 c 2394 1796280 1621079 1 - 0.0000 -
2390.21/2398.87 c 2399 1799051 1622721 1 - 0.0000 -
2395.49/2404.16 c 2404 1801613 1624665 1 - 0.0000 -
2400.68/2409.30 c 2409 1803851 1626477 1 - 0.0000 -
2405.96/2414.62 c 2415 1806759 1629150 1 - 0.0000 -
2410.94/2419.67 c 2420 1809805 1632082 1 - 0.0000 -
2416.02/2424.77 c 2425 1812503 1634402 1 - 0.0000 -
2421.10/2429.83 c 2430 1814902 1636536 1 - 0.0000 -
2426.29/2435.06 c 2435 1817643 1639022 1 - 0.0000 -
2431.28/2440.10 c 2440 1820522 1641720 1 - 0.0000 -
2436.36/2445.15 c 2445 1822488 1643325 1 - 0.0000 -
2441.64/2450.47 c 2450 1824942 1645658 1 - 0.0000 -
2446.72/2455.59 c 2456 1827911 1648115 1 - 0.0000 -
2451.90/2460.73 c 2461 1831172 1651213 1 - 0.0000 -
2457.19/2466.10 c 2466 1834019 1653867 1 - 0.0000 -
2462.37/2471.26 c 2471 1837010 1656271 1 - 0.0000 -
2467.45/2476.30 c 2476 1839735 1658427 1 - 0.0000 -
2472.43/2481.35 c 2481 1842278 1660494 1 - 0.0000 -
2477.82/2486.72 c 2487 1844618 1662326 1 - 0.0000 -
2482.90/2491.80 c 2492 1847539 1665152 1 - 0.0000 -
2487.99/2496.90 c 2497 1850209 1667239 1 - 0.0000 -
2493.08/2502.00 c 2502 1852602 1669043 1 - 0.0000 -
2498.16/2507.17 c 2507 1855138 1671249 1 - 0.0000 -
2503.53/2512.51 c 2513 1857771 1673555 1 - 0.0000 -
2508.62/2517.63 c 2518 1860598 1676168 1 - 0.0000 -
2513.70/2522.75 c 2523 1863651 1678884 1 - 0.0000 -
2518.78/2527.84 c 2528 1866469 1681593 1 - 0.0000 -
2523.87/2532.93 c 2533 1869276 1684205 1 - 0.0000 -
2529.15/2538.25 c 2538 1871815 1686501 1 - 0.0000 -
2534.24/2543.35 c 2543 1874217 1688608 1 - 0.0000 -
2539.32/2548.43 c 2548 1877103 1690646 1 - 0.0000 -
2544.51/2553.64 c 2554 1879828 1693237 1 - 0.0000 -
2549.99/2559.19 c 2559 1881912 1695272 1 - 0.0000 -
2555.07/2564.23 c 2564 1884849 1697731 1 - 0.0000 -
2560.05/2569.28 c 2569 1887683 1700307 1 - 0.0000 -
2565.24/2574.46 c 2574 1890695 1703116 1 - 0.0000 -
2570.42/2579.68 c 2580 1893602 1705920 1 - 0.0000 -
2575.70/2584.91 c 2585 1896859 1708630 1 - 0.0000 -
2580.89/2590.13 c 2590 1899827 1711204 1 - 0.0000 -
2585.97/2595.24 c 2595 1902876 1713894 1 - 0.0000 -
2591.16/2600.42 c 2600 1905360 1715747 1 - 0.0000 -
2596.23/2605.54 c 2606 1907840 1717262 1 - 0.0000 -
2601.32/2610.63 c 2611 1910258 1719446 1 - 0.0000 -
2606.51/2615.85 c 2616 1913467 1722406 1 - 0.0000 -
2611.70/2621.04 c 2621 1915954 1724473 1 - 0.0000 -
2617.07/2626.42 c 2626 1918441 1726614 1 - 0.0000 -
2622.06/2631.47 c 2631 1921040 1728652 1 - 0.0000 -
2627.23/2636.62 c 2637 1923561 1730834 1 - 0.0000 -
2632.32/2641.78 c 2642 1926417 1733105 1 - 0.0000 -
2637.51/2646.99 c 2647 1929440 1735928 1 - 0.0000 -
2642.99/2652.46 c 2652 1932354 1738575 1 - 0.0000 -
2648.07/2657.51 c 2658 1934569 1740279 1 - 0.0000 -
2653.06/2662.56 c 2663 1937870 1743125 1 - 0.0000 -
2658.44/2667.93 c 2668 1940582 1745224 1 - 0.0000 -
2663.41/2672.97 c 2673 1943842 1747418 1 - 0.0000 -
2668.61/2678.18 c 2678 1946239 1749417 1 - 0.0000 -
2673.79/2683.35 c 2683 1949477 1752268 1 - 0.0000 -
2678.87/2688.49 c 2688 1952191 1754640 1 - 0.0000 -
2684.46/2694.07 c 2694 1955078 1757222 1 - 0.0000 -
2689.63/2699.23 c 2699 1958200 1759870 1 - 0.0000 -
2694.72/2704.30 c 2704 1961820 1762556 1 - 0.0000 -
2699.90/2709.52 c 2710 1964466 1764898 1 - 0.0000 -
2705.19/2714.84 c 2715 1966979 1767002 1 - 0.0000 -
2710.27/2719.96 c 2720 1969547 1769175 1 - 0.0000 -
2715.35/2725.02 c 2725 1972177 1771362 1 - 0.0000 -
2720.34/2730.07 c 2730 1975255 1774096 1 - 0.0000 -
2725.62/2735.30 c 2735 1978004 1776345 1 - 0.0000 -
2730.71/2740.40 c 2740 1980915 1778681 1 - 0.0000 -
2735.99/2745.78 c 2746 1983779 1780830 1 - 0.0000 -
2741.38/2751.15 c 2751 1986459 1783136 1 - 0.0000 -
2746.46/2756.22 c 2756 1989068 1785153 1 - 0.0000 -
2751.53/2761.36 c 2761 1991744 1787343 1 - 0.0000 -
2756.62/2766.46 c 2766 1994386 1789510 1 - 0.0000 -
2761.70/2771.54 c 2772 1997022 1791811 1 - 0.0000 -
2766.79/2776.62 c 2777 2000015 1794508 1 - 0.0000 -
2771.86/2781.70 c 2782 2002855 1797141 1 - 0.0000 -
2776.85/2786.77 c 2787 2005672 1799660 1 - 0.0000 -
2781.94/2791.82 c 2792 2008679 1802502 1 - 0.0000 -
2786.92/2796.88 c 2797 2011482 1805076 1 - 0.0000 -
2792.00/2801.96 c 2802 2014584 1808044 1 - 0.0000 -
2797.09/2807.04 c 2807 2016605 1809896 1 - 0.0000 -
2802.17/2812.13 c 2812 2019362 1812295 1 - 0.0000 -
2807.25/2817.25 c 2817 2022192 1814631 1 - 0.0000 -
2812.33/2822.34 c 2822 2025082 1816615 1 - 0.0000 -
2817.42/2827.43 c 2827 2028596 1819372 1 - 0.0000 -
2822.41/2832.48 c 2832 2031217 1821364 1 - 0.0000 -
2827.58/2837.64 c 2838 2033121 1823047 1 - 0.0000 -
2832.57/2842.69 c 2843 2037131 1825952 1 - 0.0000 -
2837.65/2847.74 c 2848 2041258 1828698 1 - 0.0000 -
2842.64/2852.79 c 2853 2045141 1831454 1 - 0.0000 -
2847.72/2857.84 c 2858 2049044 1833907 1 - 0.0000 -
2852.71/2862.89 c 2863 2052744 1836238 1 - 0.0000 -
2857.78/2867.94 c 2868 2055831 1837615 1 - 0.0000 -
2862.77/2872.99 c 2873 2059274 1838854 1 - 0.0000 -
2867.86/2878.04 c 2878 2063427 1841129 1 - 0.0000 -
2872.84/2883.09 c 2883 2067091 1843794 1 - 0.0000 -
2877.93/2888.14 c 2888 2070117 1846221 1 - 0.0000 -
2883.20/2893.40 c 2893 2071361 1847269 1 - 0.0000 -
2888.38/2898.61 c 2899 2072773 1848533 1 - 0.0000 -
2893.47/2903.75 c 2904 2074819 1850366 1 - 0.0000 -
2898.65/2908.99 c 2909 2077516 1852658 1 - 0.0000 -
2904.14/2914.47 c 2914 2079963 1854634 1 - 0.0000 -
2909.32/2919.62 c 2920 2082257 1856758 1 - 0.0000 -
2914.30/2924.68 c 2925 2085088 1859272 1 - 0.0000 -
2919.39/2929.75 c 2930 2087992 1861714 1 - 0.0000 -
2924.57/2934.99 c 2935 2090724 1863699 1 - 0.0000 -
2929.66/2940.04 c 2940 2094243 1866513 1 - 0.0000 -
2934.84/2945.24 c 2945 2096486 1868365 1 - 0.0000 -
2940.12/2950.56 c 2951 2099175 1870881 1 - 0.0000 -
2945.41/2955.85 c 2956 2102015 1873263 1 - 0.0000 -
2950.60/2961.03 c 2961 2104738 1875728 1 - 0.0000 -
2955.77/2966.28 c 2966 2107406 1877590 1 - 0.0000 -
2960.96/2971.44 c 2971 2110308 1880221 1 - 0.0000 -
2966.34/2976.87 c 2977 2112902 1882498 1 - 0.0000 -
2971.53/2982.00 c 2982 2115609 1884969 1 - 0.0000 -
2976.81/2987.32 c 2987 2118049 1887001 1 - 0.0000 -
2981.79/2992.38 c 2992 2120757 1888890 1 - 0.0000 -
2986.97/2997.51 c 2998 2123417 1890973 1 - 0.0000 -
2991.96/3002.59 c 3003 2126407 1893293 1 - 0.0000 -
2997.24/3007.84 c 3008 2129256 1895801 1 - 0.0000 -
3002.43/3013.04 c 3013 2131846 1897796 1 - 0.0000 -
3007.51/3018.18 c 3018 2134338 1899942 1 - 0.0000 -
3012.69/3023.32 c 3023 2136624 1901919 1 - 0.0000 -
3017.78/3028.46 c 3028 2140289 1904761 1 - 0.0000 -
3022.86/3033.58 c 3034 2142768 1906923 1 - 0.0000 -
3027.94/3038.69 c 3039 2145571 1909323 1 - 0.0000 -
3033.33/3044.08 c 3044 2148859 1912183 1 - 0.0000 -
3038.41/3049.18 c 3049 2151385 1914089 1 - 0.0000 -
3043.79/3054.53 c 3055 2153382 1915826 1 - 0.0000 -
3048.98/3059.72 c 3060 2155439 1917403 1 - 0.0000 -
3053.97/3064.78 c 3065 2158035 1919438 1 - 0.0000 -
3059.26/3070.01 c 3070 2160830 1921828 1 - 0.0000 -
3064.24/3075.07 c 3075 2163224 1923815 1 - 0.0000 -
3069.32/3080.19 c 3080 2165610 1925641 1 - 0.0000 -
3074.40/3085.24 c 3085 2168164 1927725 1 - 0.0000 -
3079.78/3090.69 c 3091 2170895 1929966 1 - 0.0000 -
3084.87/3095.73 c 3096 2173671 1932258 1 - 0.0000 -
3089.95/3100.80 c 3101 2176973 1934907 1 - 0.0000 -
3095.14/3106.02 c 3106 2179049 1936582 1 - 0.0000 -
3100.13/3111.08 c 3111 2181365 1938666 1 - 0.0000 -
3105.60/3116.51 c 3117 2184293 1941280 1 - 0.0000 -
3110.68/3121.67 c 3122 2186736 1943392 1 - 0.0000 -
3115.87/3126.81 c 3127 2188433 1944860 1 - 0.0000 -
3120.85/3131.88 c 3132 2190346 1946329 1 - 0.0000 -
3125.94/3136.94 c 3137 2193284 1948577 1 - 0.0000 -
3131.03/3142.04 c 3142 2195529 1950727 1 - 0.0000 -
3136.11/3147.19 c 3147 2197871 1952989 1 - 0.0000 -
3141.19/3152.27 c 3152 2200309 1955019 1 - 0.0000 -
3146.57/3157.61 c 3158 2202384 1956645 1 - 0.0000 -
3151.56/3162.65 c 3163 2205293 1959137 1 - 0.0000 -
3156.74/3167.80 c 3168 2207716 1961271 1 - 0.0000 -
3161.73/3172.87 c 3173 2209947 1963067 1 - 0.0000 -
3166.91/3178.04 c 3178 2212446 1965075 1 - 0.0000 -
3172.00/3183.15 c 3183 2214550 1966810 1 - 0.0000 -
3177.38/3188.54 c 3189 2216979 1968555 1 - 0.0000 -
3182.46/3193.61 c 3194 2219620 1970962 1 - 0.0000 -
3187.65/3198.87 c 3199 2222145 1973012 1 - 0.0000 -
3192.84/3204.02 c 3204 2224787 1975279 1 - 0.0000 -
3197.93/3209.12 c 3209 2227362 1977712 1 - 0.0000 -
3203.10/3214.33 c 3214 2229965 1980069 1 - 0.0000 -
3208.19/3219.43 c 3219 2232772 1981840 1 - 0.0000 -
3213.27/3224.55 c 3225 2235018 1983681 1 - 0.0000 -
3218.56/3229.86 c 3230 2237305 1985581 1 - 0.0000 -
3223.63/3234.91 c 3235 2239773 1987708 1 - 0.0000 -
3228.72/3240.10 c 3240 2242091 1989304 1 - 0.0000 -
3234.20/3245.51 c 3246 2245098 1991598 1 - 0.0000 -
3239.29/3250.65 c 3251 2247827 1994122 1 - 0.0000 -
3244.67/3256.02 c 3256 2250504 1996593 1 - 0.0000 -
3249.65/3261.08 c 3261 2253019 1998617 1 - 0.0000 -
3255.03/3266.41 c 3266 2255002 2000379 1 - 0.0000 -
3260.02/3271.48 c 3271 2257665 2002422 1 - 0.0000 -
3265.30/3276.70 c 3277 2259775 2004139 1 - 0.0000 -
3270.48/3281.90 c 3282 2262030 2006067 1 - 0.0000 -
3275.77/3287.24 c 3287 2264540 2008168 1 - 0.0000 -
3280.85/3292.33 c 3292 2267042 2010234 1 - 0.0000 -
3286.03/3297.59 c 3298 2269264 2012148 1 - 0.0000 -
3291.12/3302.64 c 3303 2271650 2013878 1 - 0.0000 -
3296.41/3307.92 c 3308 2274577 2016507 1 - 0.0000 -
3301.48/3313.00 c 3313 2277150 2018807 1 - 0.0000 -
3306.67/3318.25 c 3318 2279840 2021201 1 - 0.0000 -
3311.75/3323.33 c 3323 2282354 2023552 1 - 0.0000 -
3316.83/3328.41 c 3328 2284761 2025361 1 - 0.0000 -
3322.02/3333.69 c 3334 2287279 2027713 1 - 0.0000 -
3327.40/3339.04 c 3339 2290148 2030444 1 - 0.0000 -
3332.49/3344.11 c 3344 2292559 2032417 1 - 0.0000 -
3337.47/3349.19 c 3349 2294721 2034045 1 - 0.0000 -
3342.55/3354.26 c 3354 2296955 2035678 1 - 0.0000 -
3347.73/3359.49 c 3360 2299054 2037412 1 - 0.0000 -
3352.92/3364.63 c 3365 2301460 2039474 1 - 0.0000 -
3358.00/3369.75 c 3370 2303716 2041223 1 - 0.0000 -
3363.08/3374.87 c 3375 2305937 2043107 1 - 0.0000 -
3368.77/3380.54 c 3381 2308434 2045289 1 - 0.0000 -
3373.76/3385.59 c 3386 2310969 2047498 1 - 0.0000 -
3379.04/3390.87 c 3391 2313344 2049630 1 - 0.0000 -
3384.12/3395.95 c 3396 2315648 2051572 1 - 0.0000 -
3389.90/3401.77 c 3402 2317918 2053473 1 - 0.0000 -
3395.29/3407.18 c 3407 2320232 2055434 1 - 0.0000 -
3400.46/3412.30 c 3412 2322532 2057452 1 - 0.0000 -
3405.45/3417.36 c 3417 2324612 2059410 1 - 0.0000 -
3410.53/3422.46 c 3422 2327074 2061470 1 - 0.0000 -
3415.61/3427.53 c 3428 2329011 2063045 1 - 0.0000 -
3420.90/3432.86 c 3433 2331356 2064919 1 - 0.0000 -
3425.99/3437.90 c 3438 2333762 2066651 1 - 0.0000 -
3431.18/3443.12 c 3443 2335868 2068593 1 - 0.0000 -
3436.25/3448.21 c 3448 2338196 2070796 1 - 0.0000 -
3441.34/3453.31 c 3453 2340572 2073016 1 - 0.0000 -
3446.32/3458.36 c 3458 2343800 2074283 1 - 0.0000 -
3451.40/3463.42 c 3463 2346848 2075856 1 - 0.0000 -
3456.38/3468.47 c 3468 2349496 2076701 1 - 0.0000 -
3461.47/3473.57 c 3474 2352402 2078788 1 - 0.0000 -
3467.16/3479.21 c 3479 2353618 2079858 1 - 0.0000 -
3472.23/3484.30 c 3484 2355231 2081171 1 - 0.0000 -
3477.32/3489.44 c 3489 2356742 2082285 1 - 0.0000 -
3482.50/3494.61 c 3495 2359044 2084307 1 - 0.0000 -
3487.89/3500.05 c 3500 2361000 2085932 1 - 0.0000 -
3493.48/3505.66 c 3506 2362812 2087572 1 - 0.0000 -
3498.76/3510.95 c 3511 2365155 2089602 1 - 0.0000 -
3504.34/3516.53 c 3517 2367408 2091545 1 - 0.0000 -
3509.52/3521.79 c 3522 2369624 2093461 1 - 0.0000 -
3514.81/3527.10 c 3527 2371252 2094727 1 - 0.0000 -
3519.89/3532.16 c 3532 2373912 2096642 1 - 0.0000 -
3525.37/3537.69 c 3538 2376121 2098509 1 - 0.0000 -
3530.65/3542.96 c 3543 2378284 2100366 1 - 0.0000 -
3535.85/3548.13 c 3548 2380573 2102252 1 - 0.0000 -
3541.03/3553.34 c 3553 2382809 2104185 1 - 0.0000 -
3546.50/3558.84 c 3559 2385191 2106233 1 - 0.0000 -
3551.59/3563.90 c 3564 2387306 2108094 1 - 0.0000 -
3556.78/3569.16 c 3569 2389576 2110063 1 - 0.0000 -
3561.86/3574.22 c 3574 2391798 2111667 1 - 0.0000 -
3567.24/3579.64 c 3580 2393817 2113271 1 - 0.0000 -
3572.33/3584.70 c 3585 2395600 2114752 1 - 0.0000 -
3577.41/3589.80 c 3590 2398063 2116873 1 - 0.0000 -
3582.90/3595.31 c 3595 2399822 2118337 1 - 0.0000 -
3590.57/3603.10 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.57/3603.10 c Total Time : 3603.1000
3590.57/3603.10 c solving : 3603.1000
3590.57/3603.10 c presolving : 0.0140 (included in solving)
3590.57/3603.10 c B&B Tree :
3590.57/3603.10 c nodes (total) : 1
3590.57/3603.10 c Solution :
3590.57/3603.10 c Solutions found : 0
3590.57/3603.10 c Primal Bound : -
3590.57/3603.10 c Dual Bound : +0.00000000000000e+00
3590.57/3603.10 c Gap : -
3590.57/3603.10 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-4451020-1721422993/watcher-4451020-1721422993 -o /tmp/evaluation-result-4451020-1721422993/solver-4451020-1721422993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028662 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451020-1721422993.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
Current StackSize limit: 8192 KiB
solver pid=1028721, runsolver pid=1028715
[startup+0.100089 s]*
/proc/loadavg: 3.84 4.04 4.07 7/262 1028727
/proc/meminfo: memFree=127439788/131524600 swapFree=131070704/131071996
[pid=1028721] ppid=1028715 vsize=128816 memory=50296 CPUtime=0.1 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 9733 0 0 0 8 2 0 0 20 0 3 0 194464227 131907584 12574 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 32204 12574 2926 3032 0 16899 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=128816 memory=4026561586 CPUtime=0.06 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 4915 0 0 0 6 0 0 0 20 0 3 0 194464230 131907584 12574 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=128816 memory=232851243367 CPUtime=0 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194464230 131907584 12574 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 128816 KiB
Current children cumulated memory: 50296 KiB
[startup+0.20617 s]*
/proc/loadavg: 3.84 4.04 4.07 7/262 1028728
/proc/meminfo: memFree=127430984/131524600 swapFree=131070704/131071996
[pid=1028721] ppid=1028715 vsize=126936 memory=54680 CPUtime=0.2 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 11313 0 0 0 18 2 0 0 20 0 3 0 194464227 129982464 13670 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 31734 13670 2942 3032 0 17727 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=126936 memory=8603368907145347203 CPUtime=0.18 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 6495 0 0 0 17 1 0 0 20 0 3 0 194464230 129982464 13670 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=126936 memory=1783847 CPUtime=0 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194464230 129982464 13670 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 126936 KiB
Current children cumulated memory: 54680 KiB
[startup+0.30627 s]*
/proc/loadavg: 3.84 4.04 4.07 5/264 1028730
/proc/meminfo: memFree=127390940/131524600 swapFree=131070704/131071996
[pid=1028721] ppid=1028715 vsize=126936 memory=56000 CPUtime=0.3 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 11616 0 0 0 28 2 0 0 20 0 3 0 194464227 129982464 14000 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 31734 14000 2942 3032 0 17960 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=126936 memory=-7808532485384068984 CPUtime=0.28 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 6798 0 0 0 27 1 0 0 20 0 3 0 194464230 129982464 14000 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=126936 memory=0 CPUtime=0 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194464230 129982464 14000 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 126936 KiB
Current children cumulated memory: 56000 KiB
[startup+0.700216 s]
/proc/loadavg: 3.84 4.04 4.07 5/266 1028732
/proc/meminfo: memFree=127324012/131524600 swapFree=131070704/131071996
[pid=1028721] ppid=1028715 vsize=126936 memory=56264 CPUtime=0.69 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 11697 0 0 0 67 2 0 0 20 0 3 0 194464227 129982464 14066 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 31734 14066 2942 3032 0 18036 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=126936 memory=0 CPUtime=0.66 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 6879 0 0 0 65 1 0 0 20 0 3 0 194464230 129982464 14066 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=126936 memory=0 CPUtime=0 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194464230 129982464 14066 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 126936 KiB
Current children cumulated memory: 56264 KiB
[startup+1.50021 s]
/proc/loadavg: 3.84 4.04 4.07 6/266 1028732
/proc/meminfo: memFree=127241600/131524600 swapFree=131070704/131071996
[pid=1028721] ppid=1028715 vsize=126936 memory=64560 CPUtime=1.49 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 19082 0 0 0 146 3 0 0 20 0 3 0 194464227 129982464 16140 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 31734 16140 2942 3032 0 20206 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=126936 memory=0 CPUtime=1.46 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 14252 0 0 0 144 2 0 0 20 0 3 0 194464230 129982464 16140 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=126936 memory=0 CPUtime=0 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194464230 129982464 16140 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 126936 KiB
Current children cumulated memory: 64560 KiB
[startup+3.1058 s]
/proc/loadavg: 3.85 4.04 4.07 6/266 1028732
/proc/meminfo: memFree=127227704/131524600 swapFree=131070704/131071996
[pid=1028721] ppid=1028715 vsize=126936 memory=65900 CPUtime=3.09 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 19633 0 0 0 306 3 0 0 20 0 3 0 194464227 129982464 16475 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 31734 16475 2942 3032 0 20390 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=126936 memory=0 CPUtime=3.06 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 14801 0 0 0 304 2 0 0 20 0 3 0 194464230 129982464 16475 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=126936 memory=4417 CPUtime=0 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 194464230 129982464 16475 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 126936 KiB
Current children cumulated memory: 65900 KiB
[startup+6.30021 s]
/proc/loadavg: 3.85 4.04 4.07 6/266 1028732
/proc/meminfo: memFree=127215568/131524600 swapFree=131070704/131071996
[pid=1028721] ppid=1028715 vsize=126936 memory=73128 CPUtime=6.27 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 28321 0 0 0 623 4 0 0 20 0 3 0 194464227 129982464 18282 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 31734 18282 2942 3032 0 22179 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=126936 memory=67164 CPUtime=6.24 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 23464 0 0 0 622 2 0 0 20 0 3 0 194464230 129982464 18282 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=126936 memory=-7808532485384068984 CPUtime=0 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 194464230 129982464 18282 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 126936 KiB
Current children cumulated memory: 73128 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=1028721] ppid=1028715 vsize=126936 memory=82460 CPUtime=12.65 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 50028 0 0 0 1259 6 0 0 20 0 3 0 194464227 129982464 20615 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 31734 20615 2990 3032 0 24436 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=126936 memory=78180 CPUtime=12.63 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 45137 0 0 0 1258 5 0 0 20 0 3 0 194464230 129982464 20615 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=126936 memory=65900 CPUtime=0 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 194464230 129982464 20615 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 126936 KiB
Current children cumulated memory: 82460 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.07 4.08 6/264 1028735
/proc/meminfo: memFree=127173972/131524600 swapFree=131070704/131071996
[pid=1028721] ppid=1028715 vsize=126936 memory=95216 CPUtime=25.41 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 79231 0 0 0 2531 10 0 0 20 0 3 0 194464227 129982464 23804 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 31734 23804 2990 3032 0 27595 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=126936 memory=65900 CPUtime=25.38 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 74297 0 0 0 2529 9 0 0 20 0 3 0 194464230 129982464 23804 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=126936 memory=11648 CPUtime=0 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 194464230 129982464 23804 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 126936 KiB
Current children cumulated memory: 95216 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=1028721] ppid=1028715 vsize=194528 memory=109008 CPUtime=50.92 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 115041 0 0 0 5075 17 0 0 20 0 3 0 194464227 199196672 27252 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 48632 27252 2990 3032 0 30976 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=194528 memory=105132 CPUtime=50.89 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 110034 0 0 0 5073 16 0 0 20 0 3 0 194464230 199196672 27252 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=194528 memory=100196 CPUtime=0 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 194464230 199196672 27252 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 194528 KiB
Current children cumulated memory: 109008 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=1028721] ppid=1028715 vsize=201208 memory=164636 CPUtime=101.89 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 168187 0 0 0 10161 28 0 0 20 0 3 0 194464227 206036992 41159 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 50302 41159 2990 3032 0 45138 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=201208 memory=164636 CPUtime=101.85 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 163106 0 0 0 10159 26 0 0 20 0 3 0 194464230 206036992 41159 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=201208 memory=133404 CPUtime=0 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 194464230 206036992 41159 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 201208 KiB
Current children cumulated memory: 164636 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=1028721] ppid=1028715 vsize=274968 memory=232012 CPUtime=161.62 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 221372 0 0 0 16120 42 0 0 20 0 3 0 194464227 281567232 58003 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 68742 58003 2990 3032 0 61977 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=274968 memory=171244 CPUtime=161.58 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 216238 0 0 0 16118 40 0 0 20 0 3 0 194464230 281567232 58003 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=274968 memory=230132 CPUtime=0 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 194464230 281567232 58003 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 274968 KiB
################
# More data... #
################
Current children cumulated memory: 2418992 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=1028721] ppid=1028715 vsize=2548768 memory=2445140 CPUtime=3450.3 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 2972355 0 0 0 344343 687 0 0 20 0 3 0 194464227 2609938432 611285 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 637192 611285 2990 3032 0 623616 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=2548768 memory=2383192 CPUtime=3450.06 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 2966366 0 0 0 344325 681 0 0 20 0 3 0 194464230 2609938432 611285 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=2548768 memory=2442652 CPUtime=0.02 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 66 0 0 0 1 1 0 0 20 0 3 0 194464230 2609938432 611285 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 3450.3 s
Current children cumulated vsize: 2548768 KiB
Current children cumulated memory: 2445140 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=1028721] ppid=1028715 vsize=2551852 memory=2463984 CPUtime=3510.12 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 3021593 0 0 0 350317 695 0 0 20 0 3 0 194464227 2613096448 615996 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 637963 615996 2990 3032 0 627915 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=2551852 memory=2445360 CPUtime=3509.87 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 3015589 0 0 0 350298 689 0 0 20 0 3 0 194464230 2613096448 615996 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=2551852 memory=2461936 CPUtime=0.02 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 67 0 0 0 1 1 0 0 20 0 3 0 194464230 2613096448 615996 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 3510.12 s
Current children cumulated vsize: 2551852 KiB
Current children cumulated memory: 2463984 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=1028721] ppid=1028715 vsize=2619444 memory=2490660 CPUtime=3569.93 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 3073391 0 0 0 356289 704 0 0 20 0 3 0 194464227 2682310656 622665 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 654861 622665 2990 3032 0 634488 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=2619444 memory=2487544 CPUtime=3569.69 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 3067371 0 0 0 356271 698 0 0 20 0 3 0 194464230 2682310656 622665 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=2619444 memory=2486828 CPUtime=0.02 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 68 0 0 0 1 1 0 0 20 0 3 0 194464230 2682310656 622665 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 3569.93 s
Current children cumulated vsize: 2619444 KiB
Current children cumulated memory: 2490660 KiB
[startup+3603.13 s]
# the end of solver process 1028721 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.49 s, system=7.21272 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=1028721] ppid=1028715 vsize=2619444 memory=2490660 CPUtime=3571.64 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 3073662 0 0 0 356459 705 0 0 20 0 3 0 194464227 2682310656 622665 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 654861 622665 2990 3032 0 634488 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=2619444 memory=2487544 CPUtime=3571.38 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 3067642 0 0 0 356440 698 0 0 20 0 3 0 194464230 2682310656 622665 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=2619444 memory=1401629516542861370 CPUtime=0.02 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 68 0 0 0 1 1 0 0 20 0 3 0 194464230 2682310656 622665 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 3571.64 s
Current children cumulated vsize: 2619444 KiB
Current children cumulated memory: 2490660 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=1028721] ppid=1028715 vsize=2621500 memory=2497568 CPUtime=3584.39 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 3076772 0 0 0 357733 706 0 0 20 0 3 0 194464227 2684416000 624392 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 655375 624392 2990 3032 0 636445 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=2621500 memory=2490660 CPUtime=3584.13 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 3070752 0 0 0 357714 699 0 0 20 0 3 0 194464230 2684416000 624392 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=2621500 memory=11648 CPUtime=0.02 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 68 0 0 0 1 1 0 0 20 0 3 0 194464230 2684416000 624392 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 3584.39 s
Current children cumulated vsize: 2621500 KiB
Current children cumulated memory: 2497568 KiB
[startup+3600 s]*
/proc/loadavg: 4.15 4.11 4.11 6/263 1030579
/proc/meminfo: memFree=121690224/131524600 swapFree=131070704/131071996
[pid=1028721] ppid=1028715 vsize=2624412 memory=2497976 CPUtime=3587.58 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 3077229 0 0 0 358052 706 0 0 20 0 3 0 194464227 2687397888 624494 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 656103 624494 2990 3032 0 637269 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=2624412 memory=-6879105243540655716 CPUtime=3587.33 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 3071209 0 0 0 358033 700 0 0 20 0 3 0 194464230 2687397888 624494 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=2624412 memory=1401629516542861370 CPUtime=0.02 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 68 0 0 0 1 1 0 0 20 0 3 0 194464230 2687397888 624494 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 3587.58 s
Current children cumulated vsize: 2624412 KiB
Current children cumulated memory: 2497976 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=1028721] ppid=1028715 vsize=2541144 memory=2414796 CPUtime=3589.17 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 3197236 0 0 0 358202 715 0 0 20 0 3 0 194464227 2602131456 603699 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 635286 603699 2990 3032 0 616452 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=2541144 memory=2498064 CPUtime=3588.92 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 3191216 0 0 0 358183 709 0 0 20 0 3 0 194464230 2602131456 603699 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=2541144 memory=46060 CPUtime=0.02 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 68 0 0 0 1 1 0 0 20 0 3 0 194464230 2602131456 603699 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 3589.17 s
Current children cumulated vsize: 2541144 KiB
Current children cumulated memory: 2414796 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=1028721] ppid=1028715 vsize=2446568 memory=2320220 CPUtime=3589.97 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 3207120 0 0 0 358281 716 0 0 20 0 3 0 194464227 2505285632 580055 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 611642 580055 2990 3032 0 592808 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=2446568 memory=-6879105243540655716 CPUtime=3589.71 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 3201101 0 0 0 358262 709 0 0 20 0 3 0 194464230 2505285632 580055 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=2446568 memory=2204 CPUtime=0.02 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 68 0 0 0 1 1 0 0 20 0 3 0 194464230 2505285632 580055 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 3589.97 s
Current children cumulated vsize: 2446568 KiB
Current children cumulated memory: 2320220 KiB
[startup+3602.8 s]
/proc/loadavg: 4.15 4.11 4.11 6/264 1030773
/proc/meminfo: memFree=122332140/131524600 swapFree=131070704/131071996
[pid=1028721] ppid=1028715 vsize=2374608 memory=2248260 CPUtime=3590.37 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 3213689 0 0 0 358320 717 0 0 20 0 3 0 194464227 2431598592 562065 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 593652 562065 2990 3032 0 574818 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=2374608 memory=27332 CPUtime=3590.11 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 3207668 0 0 0 358301 710 0 0 20 0 3 0 194464230 2431598592 562065 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=2374608 memory=40244 CPUtime=0.02 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 68 0 0 0 1 1 0 0 20 0 3 0 194464230 2431598592 562065 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 3590.37 s
Current children cumulated vsize: 2374608 KiB
Current children cumulated memory: 2248260 KiB
[startup+3603 s]*
/proc/loadavg: 4.13 4.10 4.11 6/264 1030821
/proc/meminfo: memFree=122500056/131524600 swapFree=131070704/131071996
[pid=1028721] ppid=1028715 vsize=2339656 memory=2213308 CPUtime=3590.57 cores=1,3
/proc/1028721/stat : 1028721 (fscip) S 1028715 1028721 1028650 0 -1 1077936128 3215811 0 0 0 358340 717 0 0 20 0 3 0 194464227 2395807744 553327 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
/proc/1028721/statm: 584914 553327 2990 3032 0 566080 0
[pid=1028721/tid=1028724] ppid=1028715 vsize=2339656 memory=208380 CPUtime=3590.32 cores=1,3
/proc/1028721/task/1028724/stat : 1028724 (fscip) R 1028715 1028721 1028650 0 -1 4194368 3209790 0 0 0 358322 710 0 0 20 0 3 0 194464230 2395807744 553327 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
[pid=1028721/tid=1028726] ppid=1028715 vsize=2339656 memory=2824 CPUtime=0.02 cores=1,3
/proc/1028721/task/1028726/stat : 1028726 (fscip) S 1028715 1028721 1028650 0 -1 1077936192 68 0 0 0 1 1 0 0 20 0 3 0 194464230 2395807744 553327 134679101440 4194304 16613245 140721142451376 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 42942464 140721142457363 140721142457479 140721142457479 140721142464496 0
Current children cumulated CPU time: 3590.57 s
Current children cumulated vsize: 2339656 KiB
Current children cumulated memory: 2213308 KiB
[startup+3603.12 s]*
/proc/loadavg: 4.13 4.10 4.11 5/262 1030821
/proc/meminfo: memFree=123191232/131524600 swapFree=131070704/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3603.13
CPU time (s): 3590.71
CPU user time (s): 3583.49
CPU system time (s): 7.21272
CPU usage (%): 99.6551
Max. virtual memory (cumulated for all children) (KiB): 2624412
Max. memory (cumulated for all children) (KiB): 2498064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.49
system time used= 7.21272
maximum resident set size= 2498064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3217384
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= 11007
involuntary context switches= 4932
# summary of solver processes directly reported to runsolver:
# pid: 1028721
# total CPU time (s): 3590.71
# total CPU user time (s): 3583.49
# total CPU system time (s): 7.21272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.56803 second user time and 17.0794 second system time
The end
Begin job on nodeC023 at 2024-07-19 23:03:25
IDJOB=4451020
IDBENCH=162339
IDSOLVER=3064
FILE ID=nodeC023/4451020-1721422993
RUNJOBID= nodeC023-1721423005-1028662
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-ECgrid5x130split.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-4451020-1721422993/watcher-4451020-1721422993 -o /tmp/evaluation-result-4451020-1721422993/solver-4451020-1721422993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028662 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451020-1721422993.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d15c8502de0d235fb9400ddf00f66b48
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 : 3657.697
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 : 3599.891
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 : 3637.643
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= 889972 MiB
End job on nodeC023 at 2024-07-20 00:03:29