0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22405120, getVmSize() = 22405120, SCIPgetMemUsed() = 757369, SCIPgetMemTotal() = 904433, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 15739562, getVmSize() = 24813568, SCIPgetMemUsed() = 1450083, SCIPgetMemTotal() = 2250963, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4464337-1722378995
0.00/0.00 c Variables : 82 (82 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 80 (80 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 13
0.00/0.00 c Constraints : Number
0.00/0.00 c setppc : 10
0.00/0.00 c linear : 2
0.00/0.00 c logicor : 1
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.00 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
4.97/5.08 c 5 52606 3560 1 - 0.0000 -
10.06/10.13 c 10 105861 7789 1 - 0.0000 -
15.04/15.18 c 15 149942 11910 1 - 0.0000 -
20.11/20.22 c 20 193345 14712 1 - 0.0000 -
25.09/25.27 c 25 239632 18309 1 - 0.0000 -
30.16/30.32 c 30 285630 22440 1 - 0.0000 -
35.15/35.37 c 35 328913 26104 1 - 0.0000 -
40.23/40.42 c 40 374202 29668 1 - 0.0000 -
45.20/45.47 c 45 421412 33603 1 - 0.0000 -
50.28/50.52 c 51 464607 37084 1 - 0.0000 -
55.26/55.57 c 56 508434 41187 1 - 0.0000 -
60.34/60.62 c 61 551916 46128 1 - 0.0000 -
65.33/65.66 c 66 596094 49412 1 - 0.0000 -
70.40/70.71 c 71 639229 52298 1 - 0.0000 -
75.38/75.76 c 76 686680 57217 1 - 0.0000 -
80.46/80.81 c 81 734999 60960 1 - 0.0000 -
85.44/85.86 c 86 785140 64719 1 - 0.0000 -
90.52/90.91 c 91 837030 67683 1 - 0.0000 -
95.50/95.96 c 96 877324 70409 1 - 0.0000 -
100.58/101.01 c 101 925061 74590 1 - 0.0000 -
105.57/106.06 c 106 974800 77993 1 - 0.0000 -
110.64/111.11 c 111 1017748 80749 1 - 0.0000 -
115.62/116.17 c 116 1059730 83330 1 - 0.0000 -
120.69/121.22 c 121 1103786 85997 1 - 0.0000 -
125.67/126.27 c 126 1142388 88683 1 - 0.0000 -
130.75/131.32 c 131 1185671 91559 1 - 0.0000 -
135.73/136.37 c 136 1230218 95445 1 - 0.0000 -
140.82/141.42 c 141 1275992 98983 1 - 0.0000 -
145.79/146.47 c 146 1321978 103407 1 - 0.0000 -
150.87/151.52 c 152 1360937 107106 1 - 0.0000 -
155.85/156.58 c 157 1401798 109349 1 - 0.0000 -
160.93/161.63 c 162 1446374 111944 1 - 0.0000 -
165.91/166.68 c 167 1490712 114250 1 - 0.0000 -
170.99/171.73 c 172 1534439 116904 1 - 0.0000 -
175.97/176.78 c 177 1577966 119442 1 - 0.0000 -
181.04/181.83 c 182 1622384 121857 1 - 0.0000 -
186.02/186.88 c 187 1656720 123807 1 - 0.0000 -
191.10/191.93 c 192 1700302 126374 1 - 0.0000 -
196.08/196.98 c 197 1744919 128727 1 - 0.0000 -
201.17/202.05 c 202 1779648 131842 1 - 0.0000 -
206.15/207.10 c 207 1813355 135849 1 - 0.0000 -
211.23/212.15 c 212 1842798 139406 1 - 0.0000 -
216.30/217.20 c 217 1876219 143274 1 - 0.0000 -
221.28/222.25 c 222 1907636 146415 1 - 0.0000 -
226.36/227.30 c 227 1935603 149606 1 - 0.0000 -
231.33/232.35 c 232 1965632 152352 1 - 0.0000 -
236.41/237.40 c 237 1995548 155306 1 - 0.0000 -
241.39/242.45 c 242 2026600 157854 1 - 0.0000 -
246.47/247.50 c 248 2058059 160264 1 - 0.0000 -
251.45/252.55 c 253 2083507 163599 1 - 0.0000 -
256.53/257.65 c 258 2114337 167456 1 - 0.0000 -
261.61/262.70 c 263 2147634 171171 1 - 0.0000 -
266.59/267.76 c 268 2181341 175452 1 - 0.0000 -
271.67/272.81 c 273 2212663 179126 1 - 0.0000 -
276.64/277.86 c 278 2241147 183217 1 - 0.0000 -
281.72/282.91 c 283 2272122 185882 1 - 0.0000 -
286.69/287.96 c 288 2306568 188102 1 - 0.0000 -
291.77/293.01 c 293 2336569 190974 1 - 0.0000 -
296.76/298.08 c 298 2371598 193368 1 - 0.0000 -
301.84/303.12 c 303 2406436 195686 1 - 0.0000 -
306.82/308.17 c 308 2434940 197699 1 - 0.0000 -
311.89/313.26 c 313 2466389 200315 1 - 0.0000 -
316.97/318.30 c 318 2500077 202047 1 - 0.0000 -
321.95/323.35 c 323 2535532 203476 1 - 0.0000 -
327.03/328.40 c 328 2565079 205731 1 - 0.0000 -
332.00/333.45 c 333 2603881 207664 1 - 0.0000 -
337.08/338.50 c 339 2645521 210560 1 - 0.0000 -
342.16/343.67 c 344 2685365 214206 1 - 0.0000 -
347.25/348.72 c 349 2724909 217540 1 - 0.0000 -
352.33/353.86 c 354 2759742 221955 1 - 0.0000 -
357.41/358.91 c 359 2805070 225975 1 - 0.0000 -
362.39/363.97 c 364 2847722 229739 1 - 0.0000 -
367.47/369.02 c 369 2896582 232499 1 - 0.0000 -
372.45/374.10 c 374 2945644 234449 1 - 0.0000 -
377.53/379.15 c 379 2991959 236914 1 - 0.0000 -
382.61/384.26 c 384 3035714 239503 1 - 0.0000 -
387.69/389.34 c 389 3066958 243917 1 - 0.0000 -
392.67/394.39 c 394 3102210 246243 1 - 0.0000 -
397.75/399.45 c 399 3139067 249346 1 - 0.0000 -
402.74/404.49 c 404 3182254 252163 1 - 0.0000 -
407.82/409.54 c 410 3221108 254652 1 - 0.0000 -
412.79/414.59 c 415 3261595 256317 1 - 0.0000 -
417.87/419.64 c 420 3306563 256753 1 - 0.0000 -
422.95/424.73 c 425 3350041 258161 1 - 0.0000 -
428.03/429.81 c 430 3389672 258856 1 - 0.0000 -
433.12/434.92 c 435 3435646 259744 1 - 0.0000 -
438.09/439.98 c 440 3467619 262357 1 - 0.0000 -
443.17/445.03 c 445 3498744 264222 1 - 0.0000 -
448.25/450.16 c 450 3515643 266418 1 - 0.0000 -
453.43/455.33 c 455 3532303 269078 1 - 0.0000 -
458.51/460.48 c 460 3549101 271653 1 - 0.0000 -
463.58/465.53 c 466 3567836 274132 1 - 0.0000 -
468.56/470.58 c 471 3584619 275875 1 - 0.0000 -
473.64/475.63 c 476 3599267 277565 1 - 0.0000 -
478.83/480.84 c 481 3612201 279140 1 - 0.0000 -
484.01/486.01 c 486 3626057 280242 1 - 0.0000 -
489.09/491.13 c 491 3644599 282146 1 - 0.0000 -
494.26/496.37 c 496 3663138 283680 1 - 0.0000 -
499.34/501.41 c 501 3682790 285710 1 - 0.0000 -
504.33/506.46 c 506 3708909 287004 1 - 0.0000 -
509.60/511.72 c 512 3725035 288906 1 - 0.0000 -
514.69/516.80 c 517 3754337 290931 1 - 0.0000 -
519.76/521.96 c 522 3786652 292280 1 - 0.0000 -
524.85/527.01 c 527 3817105 294272 1 - 0.0000 -
529.93/532.12 c 532 3842378 295761 1 - 0.0000 -
535.01/537.25 c 537 3883988 297311 1 - 0.0000 -
539.99/542.29 c 542 3908568 298749 1 - 0.0000 -
545.07/547.36 c 547 3933731 300086 1 - 0.0000 -
550.15/552.44 c 552 3950524 301634 1 - 0.0000 -
555.23/557.52 c 558 3966667 303691 1 - 0.0000 -
560.21/562.56 c 563 3987764 304574 1 - 0.0000 -
565.29/567.61 c 568 4013814 305765 1 - 0.0000 -
570.37/572.79 c 573 4043231 306787 1 - 0.0000 -
575.45/577.86 c 578 4071946 308123 1 - 0.0000 -
580.53/582.93 c 583 4089503 310090 1 - 0.0000 -
585.62/588.02 c 588 4120935 313384 1 - 0.0000 -
590.60/593.09 c 593 4158236 315745 1 - 0.0000 -
595.68/598.14 c 598 4197244 316621 1 - 0.0000 -
600.67/603.19 c 603 4243606 318509 1 - 0.0000 -
605.75/608.24 c 608 4279004 318455 1 - 0.0000 -
610.73/613.29 c 613 4315194 318729 1 - 0.0000 -
615.80/618.34 c 618 4340843 319782 1 - 0.0000 -
620.78/623.39 c 623 4357496 320714 1 - 0.0000 -
625.87/628.46 c 628 4375182 322182 1 - 0.0000 -
631.04/633.61 c 634 4397021 323363 1 - 0.0000 -
636.03/638.68 c 639 4431620 326098 1 - 0.0000 -
641.21/643.81 c 644 4464179 327383 1 - 0.0000 -
646.29/648.91 c 649 4497712 329480 1 - 0.0000 -
651.27/653.99 c 654 4540059 331321 1 - 0.0000 -
656.36/659.06 c 659 4567059 332759 1 - 0.0000 -
661.44/664.19 c 664 4592267 334873 1 - 0.0000 -
666.52/669.27 c 669 4625348 336476 1 - 0.0000 -
671.60/674.32 c 674 4659800 338152 1 - 0.0000 -
676.58/679.38 c 679 4685483 339935 1 - 0.0000 -
681.76/684.50 c 685 4710149 342317 1 - 0.0000 -
686.83/689.61 c 690 4738186 344042 1 - 0.0000 -
691.92/694.79 c 695 4765445 344933 1 - 0.0000 -
696.99/699.84 c 700 4799121 346835 1 - 0.0000 -
702.07/704.92 c 705 4826182 347700 1 - 0.0000 -
707.16/710.01 c 710 4849228 347108 1 - 0.0000 -
712.14/715.06 c 715 4878023 350179 1 - 0.0000 -
717.32/720.22 c 720 4900040 354094 1 - 0.0000 -
722.30/725.27 c 725 4938481 358073 1 - 0.0000 -
727.48/730.43 c 730 4969756 361930 1 - 0.0000 -
732.55/735.59 c 736 4999271 365353 1 - 0.0000 -
737.94/740.96 c 741 5021658 368216 1 - 0.0000 -
743.02/746.02 c 746 5050251 371440 1 - 0.0000 -
748.00/751.07 c 751 5085033 374875 1 - 0.0000 -
753.08/756.12 c 756 5115819 377951 1 - 0.0000 -
758.06/761.17 c 761 5144587 381838 1 - 0.0000 -
763.24/766.38 c 766 5174163 385767 1 - 0.0000 -
768.31/771.49 c 772 5197172 388333 1 - 0.0000 -
773.60/776.73 c 777 5223133 391852 1 - 0.0000 -
778.67/781.81 c 782 5251739 395120 1 - 0.0000 -
783.75/786.94 c 787 5285387 399244 1 - 0.0000 -
788.73/791.99 c 792 5317003 403380 1 - 0.0000 -
794.02/797.22 c 797 5348106 407489 1 - 0.0000 -
799.09/802.34 c 802 5381249 411420 1 - 0.0000 -
804.17/807.46 c 807 5418271 415693 1 - 0.0000 -
809.25/812.59 c 813 5451596 420025 1 - 0.0000 -
814.34/817.64 c 818 5481341 423961 1 - 0.0000 -
819.41/822.71 c 823 5508287 426890 1 - 0.0000 -
824.59/827.99 c 828 5534373 429773 1 - 0.0000 -
829.67/833.04 c 833 5559694 432426 1 - 0.0000 -
834.75/838.10 c 838 5592095 435832 1 - 0.0000 -
839.92/843.34 c 843 5617097 438475 1 - 0.0000 -
845.11/848.53 c 849 5647631 441865 1 - 0.0000 -
850.09/853.58 c 854 5684675 445593 1 - 0.0000 -
855.17/858.67 c 859 5719211 448588 1 - 0.0000 -
860.25/863.72 c 864 5751763 451556 1 - 0.0000 -
865.33/868.86 c 869 5787113 455184 1 - 0.0000 -
870.41/873.91 c 874 5821888 459141 1 - 0.0000 -
875.39/878.96 c 879 5858119 462960 1 - 0.0000 -
880.48/884.10 c 884 5893784 466368 1 - 0.0000 -
885.75/889.30 c 889 5922217 469722 1 - 0.0000 -
890.72/894.37 c 894 5956147 473723 1 - 0.0000 -
895.81/899.46 c 899 5991291 478481 1 - 0.0000 -
900.89/904.51 c 905 6028755 481551 1 - 0.0000 -
905.96/909.60 c 910 6052058 484052 1 - 0.0000 -
911.35/915.00 c 915 6084021 487119 1 - 0.0000 -
916.53/920.23 c 920 6112706 489902 1 - 0.0000 -
921.51/925.28 c 925 6139068 492436 1 - 0.0000 -
926.59/930.38 c 930 6162738 495054 1 - 0.0000 -
931.77/935.52 c 936 6188809 497680 1 - 0.0000 -
936.75/940.56 c 941 6216202 500370 1 - 0.0000 -
941.82/945.62 c 946 6243369 503102 1 - 0.0000 -
946.91/950.71 c 951 6267073 505516 1 - 0.0000 -
951.89/955.76 c 956 6298677 508522 1 - 0.0000 -
956.97/960.83 c 961 6329126 511515 1 - 0.0000 -
961.95/965.88 c 966 6354779 514188 1 - 0.0000 -
967.03/970.94 c 971 6382996 517184 1 - 0.0000 -
972.12/976.09 c 976 6412472 519819 1 - 0.0000 -
977.20/981.14 c 981 6440267 522502 1 - 0.0000 -
982.27/986.27 c 986 6468902 525022 1 - 0.0000 -
987.36/991.34 c 991 6492932 527391 1 - 0.0000 -
992.53/996.50 c 997 6521861 530227 1 - 0.0000 -
997.51/1001.56 c 1002 6548372 532777 1 - 0.0000 -
1002.69/1006.73 c 1007 6578480 535973 1 - 0.0000 -
1007.67/1011.78 c 1012 6610169 539125 1 - 0.0000 -
1012.76/1016.88 c 1017 6635535 541919 1 - 0.0000 -
1017.83/1021.96 c 1022 6668742 545421 1 - 0.0000 -
1022.92/1027.00 c 1027 6696781 548154 1 - 0.0000 -
1028.00/1032.15 c 1032 6725831 551092 1 - 0.0000 -
1033.08/1037.20 c 1037 6753084 554015 1 - 0.0000 -
1038.06/1042.27 c 1042 6790689 557854 1 - 0.0000 -
1043.13/1047.37 c 1047 6819137 561302 1 - 0.0000 -
1048.32/1052.55 c 1053 6856251 565830 1 - 0.0000 -
1053.49/1057.79 c 1058 6884442 569103 1 - 0.0000 -
1058.78/1063.02 c 1063 6910876 572241 1 - 0.0000 -
1063.86/1068.11 c 1068 6944911 575776 1 - 0.0000 -
1068.85/1073.17 c 1073 6978463 578724 1 - 0.0000 -
1073.91/1078.28 c 1078 7009185 581778 1 - 0.0000 -
1079.10/1083.44 c 1083 7039557 584374 1 - 0.0000 -
1084.18/1088.57 c 1089 7074173 587518 1 - 0.0000 -
1089.26/1093.64 c 1094 7102368 590234 1 - 0.0000 -
1094.34/1098.73 c 1099 7134656 593747 1 - 0.0000 -
1099.32/1103.77 c 1104 7168516 597118 1 - 0.0000 -
1104.40/1108.82 c 1109 7199504 600088 1 - 0.0000 -
1109.48/1113.96 c 1114 7215202 601968 1 - 0.0000 -
1114.57/1119.01 c 1119 7236482 603964 1 - 0.0000 -
1119.65/1124.17 c 1124 7262761 606559 1 - 0.0000 -
1124.93/1129.40 c 1129 7287494 608648 1 - 0.0000 -
1130.00/1134.54 c 1135 7313601 610693 1 - 0.0000 -
1135.08/1139.62 c 1140 7340678 612961 1 - 0.0000 -
1140.47/1145.09 c 1145 7369860 615495 1 - 0.0000 -
1145.55/1150.17 c 1150 7399521 617980 1 - 0.0000 -
1150.63/1155.26 c 1155 7429365 620677 1 - 0.0000 -
1155.71/1160.31 c 1160 7463483 624278 1 - 0.0000 -
1160.78/1165.43 c 1165 7492829 627325 1 - 0.0000 -
1165.77/1170.48 c 1170 7526217 630519 1 - 0.0000 -
1170.94/1175.65 c 1176 7557888 633626 1 - 0.0000 -
1176.02/1180.70 c 1181 7588309 636176 1 - 0.0000 -
1181.01/1185.77 c 1186 7618581 639084 1 - 0.0000 -
1186.09/1190.89 c 1191 7649813 641774 1 - 0.0000 -
1191.47/1196.29 c 1196 7683062 645264 1 - 0.0000 -
1196.54/1201.39 c 1201 7714853 648759 1 - 0.0000 -
1202.03/1206.84 c 1207 7747130 652718 1 - 0.0000 -
1207.10/1211.97 c 1212 7775327 655868 1 - 0.0000 -
1212.29/1217.11 c 1217 7802030 658745 1 - 0.0000 -
1217.28/1222.19 c 1222 7831159 661756 1 - 0.0000 -
1222.35/1227.29 c 1227 7855555 664007 1 - 0.0000 -
1227.43/1232.38 c 1232 7889459 667576 1 - 0.0000 -
1232.71/1237.66 c 1238 7926234 670926 1 - 0.0000 -
1237.79/1242.77 c 1243 7956154 674164 1 - 0.0000 -
1243.07/1248.00 c 1248 7991858 677041 1 - 0.0000 -
1248.06/1253.04 c 1253 8026363 679626 1 - 0.0000 -
1253.04/1258.09 c 1258 8062246 682649 1 - 0.0000 -
1258.12/1263.14 c 1263 8096201 685327 1 - 0.0000 -
1263.10/1268.19 c 1268 8131602 688488 1 - 0.0000 -
1268.47/1273.51 c 1274 8168901 691963 1 - 0.0000 -
1273.55/1278.64 c 1279 8201956 695730 1 - 0.0000 -
1278.73/1283.86 c 1284 8232295 698035 1 - 0.0000 -
1283.81/1288.96 c 1289 8265785 701259 1 - 0.0000 -
1289.19/1294.34 c 1294 8294641 704408 1 - 0.0000 -
1294.27/1299.47 c 1299 8328831 707711 1 - 0.0000 -
1299.34/1304.54 c 1305 8366411 710890 1 - 0.0000 -
1304.32/1309.58 c 1310 8399117 713518 1 - 0.0000 -
1309.41/1314.66 c 1315 8434380 716703 1 - 0.0000 -
1314.49/1319.71 c 1320 8466574 719099 1 - 0.0000 -
1319.46/1324.76 c 1325 8501355 721459 1 - 0.0000 -
1324.54/1329.88 c 1330 8532592 723644 1 - 0.0000 -
1329.63/1334.92 c 1335 8566696 725889 1 - 0.0000 -
1334.71/1340.07 c 1340 8607661 729190 1 - 0.0000 -
1340.29/1345.68 c 1346 8645582 731938 1 - 0.0000 -
1345.36/1350.73 c 1351 8666249 733682 1 - 0.0000 -
1350.34/1355.78 c 1356 8702590 736875 1 - 0.0000 -
1355.42/1360.83 c 1361 8737614 739401 1 - 0.0000 -
1360.50/1365.99 c 1366 8770462 741809 1 - 0.0000 -
1365.98/1371.40 c 1371 8811422 744969 1 - 0.0000 -
1370.97/1376.49 c 1376 8846785 747707 1 - 0.0000 -
1376.05/1381.56 c 1382 8887057 751149 1 - 0.0000 -
1381.23/1386.79 c 1387 8930029 755017 1 - 0.0000 -
1386.40/1391.95 c 1392 8962619 758458 1 - 0.0000 -
1391.79/1397.37 c 1397 8991109 761981 1 - 0.0000 -
1396.86/1402.42 c 1402 9022748 765255 1 - 0.0000 -
1402.14/1407.78 c 1408 9057051 768430 1 - 0.0000 -
1407.23/1412.84 c 1413 9090994 771777 1 - 0.0000 -
1412.41/1418.07 c 1418 9131544 775249 1 - 0.0000 -
1417.68/1423.30 c 1423 9174772 778231 1 - 0.0000 -
1422.67/1428.39 c 1428 9215902 781844 1 - 0.0000 -
1427.85/1433.52 c 1434 9281644 784906 1 - 0.0000 -
1433.03/1438.70 c 1439 9324340 788724 1 - 0.0000 -
1438.20/1443.91 c 1444 9361310 791446 1 - 0.0000 -
1443.68/1449.43 c 1449 9391725 794295 1 - 0.0000 -
1448.86/1454.66 c 1455 9432193 798191 1 - 0.0000 -
1453.94/1459.79 c 1460 9473105 802198 1 - 0.0000 -
1459.22/1465.10 c 1465 9515325 806703 1 - 0.0000 -
1464.41/1470.25 c 1470 9545366 809456 1 - 0.0000 -
1469.49/1475.30 c 1475 9593039 812726 1 - 0.0000 -
1474.47/1480.36 c 1480 9640151 815705 1 - 0.0000 -
1479.64/1485.51 c 1486 9673265 818313 1 - 0.0000 -
1484.83/1490.72 c 1491 9718179 821260 1 - 0.0000 -
1489.81/1495.77 c 1496 9762943 825032 1 - 0.0000 -
1494.89/1500.86 c 1501 9812149 829426 1 - 0.0000 -
1499.97/1505.91 c 1506 9861402 833300 1 - 0.0000 -
1504.95/1510.96 c 1511 9905577 836931 1 - 0.0000 -
1510.42/1516.47 c 1516 9944238 840584 1 - 0.0000 -
1515.61/1521.66 c 1522 9976961 843241 1 - 0.0000 -
1520.69/1526.73 c 1527 10018265 846611 1 - 0.0000 -
1525.76/1531.81 c 1532 10069939 850595 1 - 0.0000 -
1531.25/1537.39 c 1537 10105891 854253 1 - 0.0000 -
1536.62/1542.79 c 1543 10142060 857054 1 - 0.0000 -
1541.70/1547.86 c 1548 10166409 860595 1 - 0.0000 -
1546.79/1552.91 c 1553 10197668 863838 1 - 0.0000 -
1551.75/1557.96 c 1558 10242063 867404 1 - 0.0000 -
1556.84/1563.01 c 1563 10272933 869287 1 - 0.0000 -
1562.02/1568.29 c 1568 10301237 871658 1 - 0.0000 -
1567.29/1573.53 c 1574 10334213 874495 1 - 0.0000 -
1572.28/1578.58 c 1579 10380233 877807 1 - 0.0000 -
1577.35/1583.63 c 1584 10413914 880328 1 - 0.0000 -
1582.93/1589.20 c 1589 10449277 884282 1 - 0.0000 -
1588.21/1594.52 c 1595 10485868 888445 1 - 0.0000 -
1593.19/1599.57 c 1600 10533406 891505 1 - 0.0000 -
1598.27/1604.66 c 1605 10577390 894641 1 - 0.0000 -
1603.35/1609.71 c 1610 10609139 897599 1 - 0.0000 -
1608.34/1614.76 c 1615 10639009 901688 1 - 0.0000 -
1613.41/1619.86 c 1620 10674857 905315 1 - 0.0000 -
1618.70/1625.12 c 1625 10716310 908834 1 - 0.0000 -
1623.77/1630.20 c 1630 10757353 911772 1 - 0.0000 -
1629.44/1635.91 c 1636 10783761 914789 1 - 0.0000 -
1634.63/1641.17 c 1641 10812205 918585 1 - 0.0000 -
1639.70/1646.22 c 1646 10839822 921352 1 - 0.0000 -
1644.68/1651.27 c 1651 10874755 925715 1 - 0.0000 -
1649.85/1656.42 c 1656 10903559 928631 1 - 0.0000 -
1654.93/1661.57 c 1662 10938639 931881 1 - 0.0000 -
1660.02/1666.62 c 1667 10973513 935659 1 - 0.0000 -
1665.29/1671.97 c 1672 11010818 939343 1 - 0.0000 -
1670.38/1677.07 c 1677 11054923 942533 1 - 0.0000 -
1675.45/1682.16 c 1682 11090255 946178 1 - 0.0000 -
1680.52/1687.26 c 1687 11127467 949355 1 - 0.0000 -
1685.60/1692.30 c 1692 11169798 952871 1 - 0.0000 -
1690.58/1697.35 c 1697 11212816 955811 1 - 0.0000 -
1695.86/1702.62 c 1703 11242150 958016 1 - 0.0000 -
1701.35/1708.16 c 1708 11278707 961737 1 - 0.0000 -
1706.42/1713.24 c 1713 11312682 965270 1 - 0.0000 -
1711.40/1718.29 c 1718 11337721 968005 1 - 0.0000 -
1716.57/1723.48 c 1723 11372219 970637 1 - 0.0000 -
1721.66/1728.53 c 1729 11405288 973341 1 - 0.0000 -
1726.93/1733.86 c 1734 11438672 976754 1 - 0.0000 -
1732.01/1738.90 c 1739 11473816 981024 1 - 0.0000 -
1737.20/1744.19 c 1744 11515969 987273 1 - 0.0000 -
1742.38/1749.30 c 1749 11563578 993760 1 - 0.0000 -
1747.35/1754.35 c 1754 11596249 996505 1 - 0.0000 -
1752.54/1759.53 c 1760 11630621 999929 1 - 0.0000 -
1757.52/1764.59 c 1765 11669556 1003492 1 - 0.0000 -
1762.70/1769.73 c 1770 11704603 1006363 1 - 0.0000 -
1767.98/1775.05 c 1775 11742221 1009824 1 - 0.0000 -
1773.06/1780.16 c 1780 11782613 1013376 1 - 0.0000 -
1778.13/1785.25 c 1785 11817657 1016704 1 - 0.0000 -
1783.81/1790.99 c 1791 11858517 1020716 1 - 0.0000 -
1788.89/1796.04 c 1796 11904403 1024367 1 - 0.0000 -
1793.98/1801.16 c 1801 11943027 1027571 1 - 0.0000 -
1799.05/1806.26 c 1806 11979991 1030799 1 - 0.0000 -
1804.33/1811.54 c 1812 12006539 1033679 1 - 0.0000 -
1809.41/1816.66 c 1817 12036592 1036813 1 - 0.0000 -
1814.50/1821.71 c 1822 12079121 1040126 1 - 0.0000 -
1819.47/1826.77 c 1827 12116873 1042714 1 - 0.0000 -
1824.55/1831.82 c 1832 12152650 1045480 1 - 0.0000 -
1829.63/1836.94 c 1837 12182453 1047739 1 - 0.0000 -
1834.61/1841.99 c 1842 12223416 1051068 1 - 0.0000 -
1839.69/1847.04 c 1847 12264403 1054282 1 - 0.0000 -
1844.68/1852.09 c 1852 12307054 1057357 1 - 0.0000 -
1849.75/1857.19 c 1857 12347119 1061073 1 - 0.0000 -
1854.83/1862.24 c 1862 12391380 1064749 1 - 0.0000 -
1860.00/1867.43 c 1867 12435381 1068690 1 - 0.0000 -
1865.08/1872.57 c 1873 12476745 1072804 1 - 0.0000 -
1870.17/1877.68 c 1878 12519005 1076264 1 - 0.0000 -
1875.75/1883.20 c 1883 12557888 1080397 1 - 0.0000 -
1880.83/1888.30 c 1888 12602348 1084042 1 - 0.0000 -
1885.90/1893.41 c 1893 12632535 1087222 1 - 0.0000 -
1891.29/1898.85 c 1899 12668897 1090131 1 - 0.0000 -
1896.77/1904.33 c 1904 12704313 1093067 1 - 0.0000 -
1901.75/1909.38 c 1909 12739878 1096556 1 - 0.0000 -
1906.84/1914.49 c 1914 12780290 1100059 1 - 0.0000 -
1912.02/1919.65 c 1920 12818455 1103950 1 - 0.0000 -
1917.19/1924.81 c 1925 12857210 1107282 1 - 0.0000 -
1922.17/1929.89 c 1930 12894905 1110897 1 - 0.0000 -
1927.35/1935.01 c 1935 12927029 1114531 1 - 0.0000 -
1932.34/1940.06 c 1940 12968876 1118225 1 - 0.0000 -
1937.51/1945.27 c 1945 13017613 1121955 1 - 0.0000 -
1942.59/1950.34 c 1950 13057531 1125630 1 - 0.0000 -
1947.78/1955.52 c 1956 13090535 1128784 1 - 0.0000 -
1952.76/1960.57 c 1961 13138417 1132021 1 - 0.0000 -
1957.84/1965.65 c 1966 13186392 1135500 1 - 0.0000 -
1963.12/1970.95 c 1971 13229728 1139002 1 - 0.0000 -
1968.20/1976.00 c 1976 13263465 1141724 1 - 0.0000 -
1973.38/1981.23 c 1981 13292049 1144746 1 - 0.0000 -
1978.46/1986.33 c 1986 13316752 1147872 1 - 0.0000 -
1983.64/1991.52 c 1992 13346911 1151015 1 - 0.0000 -
1988.92/1996.83 c 1997 13382631 1154331 1 - 0.0000 -
1994.11/2002.03 c 2002 13416716 1157646 1 - 0.0000 -
1999.09/2007.08 c 2007 13450955 1160895 1 - 0.0000 -
2004.17/2012.13 c 2012 13486025 1164727 1 - 0.0000 -
2009.15/2017.18 c 2017 13530888 1167482 1 - 0.0000 -
2014.42/2022.42 c 2022 13564201 1170081 1 - 0.0000 -
2019.50/2027.52 c 2028 13600201 1172893 1 - 0.0000 -
2025.29/2033.32 c 2033 13635182 1176773 1 - 0.0000 -
2030.37/2038.46 c 2038 13661840 1180521 1 - 0.0000 -
2035.55/2043.68 c 2044 13687441 1184124 1 - 0.0000 -
2040.73/2048.80 c 2049 13721763 1188440 1 - 0.0000 -
2045.82/2053.97 c 2054 13762308 1192035 1 - 0.0000 -
2050.90/2059.02 c 2059 13808794 1195379 1 - 0.0000 -
2055.88/2064.07 c 2064 13860004 1199342 1 - 0.0000 -
2061.16/2069.32 c 2069 13904740 1202554 1 - 0.0000 -
2066.14/2074.39 c 2074 13945457 1205849 1 - 0.0000 -
2071.22/2079.45 c 2079 13988960 1209672 1 - 0.0000 -
2076.30/2084.50 c 2085 14033258 1214626 1 - 0.0000 -
2081.68/2089.90 c 2090 14083962 1219010 1 - 0.0000 -
2086.77/2095.02 c 2095 14128227 1222330 1 - 0.0000 -
2092.04/2100.38 c 2100 14170001 1226961 1 - 0.0000 -
2097.32/2105.65 c 2106 14204381 1230073 1 - 0.0000 -
2102.51/2110.82 c 2111 14234880 1233449 1 - 0.0000 -
2107.58/2115.97 c 2116 14266161 1236101 1 - 0.0000 -
2112.77/2121.19 c 2121 14309385 1238994 1 - 0.0000 -
2118.05/2126.43 c 2126 14337523 1242170 1 - 0.0000 -
2123.23/2131.64 c 2132 14374161 1245027 1 - 0.0000 -
2128.21/2136.69 c 2137 14408894 1248098 1 - 0.0000 -
2133.78/2142.23 c 2142 14439003 1251239 1 - 0.0000 -
2138.78/2147.27 c 2147 14481929 1255429 1 - 0.0000 -
2144.05/2152.50 c 2153 14518342 1258972 1 - 0.0000 -
2149.63/2158.18 c 2158 14549754 1262406 1 - 0.0000 -
2154.71/2163.25 c 2163 14590426 1265384 1 - 0.0000 -
2159.79/2168.35 c 2168 14627786 1268462 1 - 0.0000 -
2164.87/2173.40 c 2173 14670962 1271780 1 - 0.0000 -
2169.95/2178.53 c 2179 14711447 1273527 1 - 0.0000 -
2175.24/2183.88 c 2184 14754415 1277330 1 - 0.0000 -
2180.31/2188.99 c 2189 14793935 1280860 1 - 0.0000 -
2185.40/2194.04 c 2194 14839324 1282854 1 - 0.0000 -
2190.38/2199.09 c 2199 14874654 1284732 1 - 0.0000 -
2195.85/2204.58 c 2205 14918629 1288008 1 - 0.0000 -
2200.93/2209.62 c 2210 14953317 1291066 1 - 0.0000 -
2206.32/2215.01 c 2215 14992583 1294356 1 - 0.0000 -
2211.41/2220.12 c 2220 15040914 1298045 1 - 0.0000 -
2216.88/2225.64 c 2226 15081601 1301527 1 - 0.0000 -
2221.86/2230.69 c 2231 15121467 1304580 1 - 0.0000 -
2226.94/2235.74 c 2236 15156138 1307843 1 - 0.0000 -
2232.02/2240.88 c 2241 15190772 1311203 1 - 0.0000 -
2237.10/2245.93 c 2246 15222796 1314790 1 - 0.0000 -
2242.08/2250.98 c 2251 15259279 1318076 1 - 0.0000 -
2247.16/2256.03 c 2256 15307519 1322166 1 - 0.0000 -
2252.24/2261.12 c 2261 15346635 1324849 1 - 0.0000 -
2257.32/2266.29 c 2266 15380004 1327832 1 - 0.0000 -
2262.50/2271.46 c 2271 15416014 1330988 1 - 0.0000 -
2267.58/2276.51 c 2277 15458271 1334491 1 - 0.0000 -
2272.55/2281.56 c 2282 15496100 1337397 1 - 0.0000 -
2277.74/2286.79 c 2287 15529847 1340698 1 - 0.0000 -
2283.02/2292.05 c 2292 15565447 1343968 1 - 0.0000 -
2288.00/2297.10 c 2297 15604102 1347622 1 - 0.0000 -
2293.17/2302.25 c 2302 15648353 1350618 1 - 0.0000 -
2298.65/2307.73 c 2308 15694558 1355129 1 - 0.0000 -
2304.14/2313.26 c 2313 15727688 1357895 1 - 0.0000 -
2309.31/2318.40 c 2318 15773213 1361252 1 - 0.0000 -
2314.49/2323.62 c 2324 15811237 1364680 1 - 0.0000 -
2319.57/2328.70 c 2329 15856656 1368090 1 - 0.0000 -
2324.55/2333.75 c 2334 15898462 1371237 1 - 0.0000 -
2329.63/2338.86 c 2339 15935272 1374517 1 - 0.0000 -
2334.71/2343.94 c 2344 15979591 1378280 1 - 0.0000 -
2339.80/2349.07 c 2349 16019399 1381491 1 - 0.0000 -
2345.07/2354.35 c 2354 16052934 1384284 1 - 0.0000 -
2350.25/2359.56 c 2360 16086988 1387412 1 - 0.0000 -
2355.43/2364.78 c 2365 16108240 1389550 1 - 0.0000 -
2360.51/2369.83 c 2370 16132602 1392147 1 - 0.0000 -
2366.09/2375.43 c 2375 16161074 1395033 1 - 0.0000 -
2371.47/2380.85 c 2381 16188069 1398498 1 - 0.0000 -
2376.65/2386.09 c 2386 16229472 1403305 1 - 0.0000 -
2381.73/2391.13 c 2391 16267282 1407066 1 - 0.0000 -
2386.81/2396.29 c 2396 16304740 1410323 1 - 0.0000 -
2392.79/2402.24 c 2402 16324311 1412532 1 - 0.0000 -
2397.86/2407.34 c 2407 16364918 1417237 1 - 0.0000 -
2403.45/2412.95 c 2413 16394910 1419999 1 - 0.0000 -
2408.93/2418.42 c 2418 16425988 1423466 1 - 0.0000 -
2414.61/2424.19 c 2424 16457919 1427145 1 - 0.0000 -
2419.98/2429.57 c 2430 16496637 1430997 1 - 0.0000 -
2425.07/2434.62 c 2435 16539142 1434929 1 - 0.0000 -
2430.45/2440.05 c 2440 16565751 1438644 1 - 0.0000 -
2436.32/2445.90 c 2446 16597709 1443134 1 - 0.0000 -
2441.51/2451.10 c 2451 16637474 1447569 1 - 0.0000 -
2446.98/2456.68 c 2457 16672360 1451709 1 - 0.0000 -
2452.17/2461.84 c 2462 16703781 1454876 1 - 0.0000 -
2457.24/2466.93 c 2467 16743926 1459510 1 - 0.0000 -
2462.22/2471.98 c 2472 16782638 1462767 1 - 0.0000 -
2467.31/2477.03 c 2477 16825483 1464338 1 - 0.0000 -
2472.29/2482.08 c 2482 16867110 1465873 1 - 0.0000 -
2477.56/2487.36 c 2487 16905446 1469554 1 - 0.0000 -
2482.74/2492.51 c 2493 16939060 1472772 1 - 0.0000 -
2488.02/2497.81 c 2498 16980064 1475698 1 - 0.0000 -
2493.00/2502.86 c 2503 17019647 1479975 1 - 0.0000 -
2498.66/2508.53 c 2509 17056481 1483834 1 - 0.0000 -
2504.02/2513.93 c 2514 17091060 1487353 1 - 0.0000 -
2509.16/2519.16 c 2519 17137595 1491021 1 - 0.0000 -
2514.31/2524.35 c 2524 17178512 1494506 1 - 0.0000 -
2519.56/2529.63 c 2530 17215444 1498314 1 - 0.0000 -
2524.71/2534.86 c 2535 17254034 1502951 1 - 0.0000 -
2529.86/2540.04 c 2540 17293254 1507617 1 - 0.0000 -
2535.10/2545.32 c 2545 17330832 1511845 1 - 0.0000 -
2540.26/2550.50 c 2551 17380561 1515846 1 - 0.0000 -
2545.21/2555.57 c 2556 17419625 1519114 1 - 0.0000 -
2550.85/2561.22 c 2561 17447933 1522460 1 - 0.0000 -
2555.79/2566.27 c 2566 17492123 1525698 1 - 0.0000 -
2560.94/2571.45 c 2571 17527701 1529076 1 - 0.0000 -
2566.09/2576.67 c 2577 17558001 1532111 1 - 0.0000 -
2571.83/2582.46 c 2582 17583219 1535005 1 - 0.0000 -
2577.58/2588.25 c 2588 17617490 1538283 1 - 0.0000 -
2582.73/2593.44 c 2593 17649501 1541289 1 - 0.0000 -
2587.67/2598.49 c 2598 17681418 1544878 1 - 0.0000 -
2592.83/2603.68 c 2604 17713828 1548694 1 - 0.0000 -
2597.88/2608.72 c 2609 17745187 1552135 1 - 0.0000 -
2602.93/2613.81 c 2614 17779200 1555404 1 - 0.0000 -
2608.08/2619.10 c 2619 17816151 1558063 1 - 0.0000 -
2613.13/2624.16 c 2624 17846927 1561724 1 - 0.0000 -
2618.17/2629.25 c 2629 17886126 1565872 1 - 0.0000 -
2623.72/2634.80 c 2635 17916890 1570143 1 - 0.0000 -
2628.87/2640.09 c 2640 17956150 1574323 1 - 0.0000 -
2634.01/2645.25 c 2645 17992010 1578520 1 - 0.0000 -
2639.06/2650.35 c 2650 18039113 1582877 1 - 0.0000 -
2644.10/2655.46 c 2655 18083829 1586861 1 - 0.0000 -
2649.45/2660.86 c 2661 18121652 1591514 1 - 0.0000 -
2654.60/2666.10 c 2666 18159076 1594866 1 - 0.0000 -
2659.65/2671.15 c 2671 18195310 1598244 1 - 0.0000 -
2664.68/2676.20 c 2676 18237080 1602168 1 - 0.0000 -
2669.83/2681.42 c 2681 18275936 1606400 1 - 0.0000 -
2675.28/2686.91 c 2687 18326240 1611674 1 - 0.0000 -
2680.33/2692.06 c 2692 18361475 1615185 1 - 0.0000 -
2685.37/2697.11 c 2697 18404767 1619135 1 - 0.0000 -
2690.33/2702.16 c 2702 18446750 1622892 1 - 0.0000 -
2695.37/2707.21 c 2707 18488262 1626484 1 - 0.0000 -
2700.31/2712.29 c 2712 18529101 1629329 1 - 0.0000 -
2705.37/2717.38 c 2717 18561816 1631934 1 - 0.0000 -
2710.51/2722.51 c 2723 18604911 1635167 1 - 0.0000 -
2715.46/2727.56 c 2728 18651523 1638680 1 - 0.0000 -
2720.62/2732.75 c 2733 18678835 1641663 1 - 0.0000 -
2725.66/2737.80 c 2738 18716559 1644928 1 - 0.0000 -
2730.62/2742.85 c 2743 18745908 1647359 1 - 0.0000 -
2735.66/2747.92 c 2748 18784011 1650331 1 - 0.0000 -
2740.61/2752.97 c 2753 18814980 1652470 1 - 0.0000 -
2745.76/2758.10 c 2758 18850527 1655420 1 - 0.0000 -
2751.20/2763.63 c 2764 18897657 1659138 1 - 0.0000 -
2756.15/2768.67 c 2769 18931630 1662171 1 - 0.0000 -
2761.19/2773.75 c 2774 18978271 1665260 1 - 0.0000 -
2766.24/2778.85 c 2779 19019488 1668584 1 - 0.0000 -
2771.29/2783.90 c 2784 19062400 1671353 1 - 0.0000 -
2776.33/2789.10 c 2789 19102438 1674425 1 - 0.0000 -
2781.48/2794.24 c 2794 19137161 1676972 1 - 0.0000 -
2786.43/2799.29 c 2799 19177670 1679427 1 - 0.0000 -
2791.57/2804.41 c 2804 19218773 1682733 1 - 0.0000 -
2796.63/2809.53 c 2810 19251414 1686074 1 - 0.0000 -
2801.58/2814.58 c 2815 19284269 1689348 1 - 0.0000 -
2807.13/2820.13 c 2820 19311188 1692135 1 - 0.0000 -
2812.07/2825.18 c 2825 19342107 1695423 1 - 0.0000 -
2817.11/2830.23 c 2830 19381380 1699067 1 - 0.0000 -
2822.16/2835.33 c 2835 19419960 1702152 1 - 0.0000 -
2827.31/2840.51 c 2841 19464066 1705818 1 - 0.0000 -
2832.26/2845.58 c 2846 19502410 1709100 1 - 0.0000 -
2837.31/2850.65 c 2851 19548448 1712375 1 - 0.0000 -
2842.36/2855.70 c 2856 19584890 1715540 1 - 0.0000 -
2847.31/2860.75 c 2861 19628535 1719175 1 - 0.0000 -
2852.35/2865.80 c 2866 19674924 1723406 1 - 0.0000 -
2857.50/2871.07 c 2871 19710205 1726582 1 - 0.0000 -
2862.55/2876.12 c 2876 19752919 1729380 1 - 0.0000 -
2867.79/2881.43 c 2881 19786660 1732262 1 - 0.0000 -
2872.75/2886.48 c 2886 19830129 1735521 1 - 0.0000 -
2877.80/2891.53 c 2892 19868808 1738472 1 - 0.0000 -
2882.85/2896.60 c 2897 19901522 1740915 1 - 0.0000 -
2887.79/2901.65 c 2902 19941368 1743867 1 - 0.0000 -
2892.85/2906.70 c 2907 19986535 1747820 1 - 0.0000 -
2897.90/2911.80 c 2912 20022099 1752039 1 - 0.0000 -
2902.85/2916.84 c 2917 20060050 1755266 1 - 0.0000 -
2907.79/2921.89 c 2922 20103022 1758415 1 - 0.0000 -
2912.85/2926.94 c 2927 20141466 1761319 1 - 0.0000 -
2918.19/2932.35 c 2932 20176776 1764024 1 - 0.0000 -
2923.64/2937.81 c 2938 20206830 1767018 1 - 0.0000 -
2928.59/2942.86 c 2943 20248454 1769607 1 - 0.0000 -
2933.63/2947.96 c 2948 20275051 1773072 1 - 0.0000 -
2938.68/2953.01 c 2953 20299841 1776580 1 - 0.0000 -
2944.03/2958.40 c 2958 20330113 1780252 1 - 0.0000 -
2949.08/2963.52 c 2964 20367555 1784462 1 - 0.0000 -
2954.02/2968.57 c 2969 20407753 1789544 1 - 0.0000 -
2959.08/2973.62 c 2974 20448179 1793842 1 - 0.0000 -
2964.22/2978.82 c 2979 20480395 1796438 1 - 0.0000 -
2969.27/2983.98 c 2984 20515180 1799877 1 - 0.0000 -
2974.51/2989.22 c 2989 20545622 1802537 1 - 0.0000 -
2979.47/2994.27 c 2994 20578912 1805144 1 - 0.0000 -
2984.62/2999.48 c 2999 20615651 1808019 1 - 0.0000 -
2989.86/3004.75 c 3005 20656426 1810572 1 - 0.0000 -
2994.91/3009.80 c 3010 20701230 1813419 1 - 0.0000 -
3000.07/3015.07 c 3015 20730861 1816191 1 - 0.0000 -
3005.51/3020.54 c 3021 20768357 1819134 1 - 0.0000 -
3010.46/3025.59 c 3026 20798886 1822127 1 - 0.0000 -
3015.50/3030.64 c 3031 20834490 1825365 1 - 0.0000 -
3020.46/3035.69 c 3036 20880699 1827844 1 - 0.0000 -
3025.51/3040.74 c 3041 20910643 1830630 1 - 0.0000 -
3030.56/3045.86 c 3046 20946695 1833754 1 - 0.0000 -
3035.71/3051.05 c 3051 20981601 1837400 1 - 0.0000 -
3040.66/3056.09 c 3056 21014897 1840598 1 - 0.0000 -
3045.71/3061.14 c 3061 21054208 1843713 1 - 0.0000 -
3050.66/3066.19 c 3066 21096985 1846663 1 - 0.0000 -
3055.81/3071.35 c 3071 21135898 1850009 1 - 0.0000 -
3060.85/3076.44 c 3076 21172926 1852976 1 - 0.0000 -
3066.00/3081.66 c 3082 21204112 1855918 1 - 0.0000 -
3071.15/3086.89 c 3087 21216290 1857994 1 - 0.0000 -
3077.00/3092.79 c 3093 21240957 1861141 1 - 0.0000 -
3082.84/3098.67 c 3099 21272711 1864434 1 - 0.0000 -
3087.99/3103.82 c 3104 21303248 1867887 1 - 0.0000 -
3093.14/3109.07 c 3109 21320845 1870051 1 - 0.0000 -
3098.48/3114.40 c 3114 21360178 1873450 1 - 0.0000 -
3103.43/3119.49 c 3120 21397789 1876818 1 - 0.0000 -
3108.48/3124.54 c 3125 21428782 1879790 1 - 0.0000 -
3114.12/3130.28 c 3130 21461210 1883801 1 - 0.0000 -
3119.16/3135.33 c 3135 21487957 1886136 1 - 0.0000 -
3124.11/3140.38 c 3140 21528619 1889243 1 - 0.0000 -
3129.57/3145.89 c 3146 21556492 1891640 1 - 0.0000 -
3134.71/3151.04 c 3151 21593521 1894006 1 - 0.0000 -
3139.66/3156.09 c 3156 21629045 1896944 1 - 0.0000 -
3144.80/3161.22 c 3161 21669814 1900120 1 - 0.0000 -
3149.75/3166.27 c 3166 21709327 1903134 1 - 0.0000 -
3154.90/3171.41 c 3171 21742516 1905711 1 - 0.0000 -
3159.85/3176.47 c 3176 21784764 1909119 1 - 0.0000 -
3165.00/3181.65 c 3182 21824007 1912238 1 - 0.0000 -
3170.45/3187.16 c 3187 21860433 1914771 1 - 0.0000 -
3175.50/3192.26 c 3192 21887340 1916499 1 - 0.0000 -
3180.54/3197.35 c 3197 21920472 1920310 1 - 0.0000 -
3185.79/3202.66 c 3203 21957135 1924155 1 - 0.0000 -
3191.04/3207.90 c 3208 22007958 1927394 1 - 0.0000 -
3195.99/3212.94 c 3213 22030523 1929742 1 - 0.0000 -
3201.05/3218.07 c 3218 22062079 1933003 1 - 0.0000 -
3206.10/3223.14 c 3223 22099225 1935963 1 - 0.0000 -
3211.15/3228.20 c 3228 22130555 1938814 1 - 0.0000 -
3216.20/3233.36 c 3233 22162837 1941434 1 - 0.0000 -
3221.55/3238.78 c 3239 22197552 1944364 1 - 0.0000 -
3226.70/3243.96 c 3244 22231467 1947359 1 - 0.0000 -
3231.93/3249.23 c 3249 22255164 1949553 1 - 0.0000 -
3236.88/3254.28 c 3254 22290155 1952670 1 - 0.0000 -
3242.23/3259.69 c 3260 22320532 1955569 1 - 0.0000 -
3247.28/3264.74 c 3265 22352041 1958030 1 - 0.0000 -
3252.53/3270.07 c 3270 22389081 1960750 1 - 0.0000 -
3257.57/3275.15 c 3275 22427897 1963523 1 - 0.0000 -
3262.62/3280.20 c 3280 22474405 1967207 1 - 0.0000 -
3267.87/3285.51 c 3286 22515080 1970517 1 - 0.0000 -
3272.92/3290.64 c 3291 22550460 1972537 1 - 0.0000 -
3277.87/3295.69 c 3296 22594071 1975484 1 - 0.0000 -
3282.92/3300.77 c 3301 22631447 1978793 1 - 0.0000 -
3287.97/3305.82 c 3306 22669642 1980974 1 - 0.0000 -
3293.12/3311.05 c 3311 22706339 1984175 1 - 0.0000 -
3298.08/3316.10 c 3316 22751794 1987551 1 - 0.0000 -
3303.12/3321.15 c 3321 22787867 1990220 1 - 0.0000 -
3308.27/3326.32 c 3326 22823328 1992461 1 - 0.0000 -
3313.21/3331.37 c 3331 22864034 1995350 1 - 0.0000 -
3318.37/3336.57 c 3337 22908019 1999267 1 - 0.0000 -
3323.41/3341.64 c 3342 22951885 2002655 1 - 0.0000 -
3328.76/3347.01 c 3347 22995449 2005777 1 - 0.0000 -
3333.91/3352.25 c 3352 23037446 2008904 1 - 0.0000 -
3339.36/3357.78 c 3358 23069737 2011555 1 - 0.0000 -
3344.42/3362.89 c 3363 23117321 2015328 1 - 0.0000 -
3349.80/3368.24 c 3368 23146905 2018742 1 - 0.0000 -
3354.79/3373.29 c 3373 23187393 2022156 1 - 0.0000 -
3360.57/3379.07 c 3379 23225638 2026089 1 - 0.0000 -
3365.74/3384.24 c 3384 23256331 2028730 1 - 0.0000 -
3370.92/3389.48 c 3389 23287511 2031452 1 - 0.0000 -
3376.70/3395.25 c 3395 23325412 2033657 1 - 0.0000 -
3381.78/3400.30 c 3400 23365120 2036491 1 - 0.0000 -
3386.86/3405.40 c 3405 23400886 2040084 1 - 0.0000 -
3392.04/3410.61 c 3411 23438882 2042676 1 - 0.0000 -
3397.03/3415.66 c 3416 23478947 2046147 1 - 0.0000 -
3402.80/3421.46 c 3421 23518241 2048453 1 - 0.0000 -
3408.18/3426.80 c 3427 23551132 2050577 1 - 0.0000 -
3413.16/3431.85 c 3432 23591911 2053065 1 - 0.0000 -
3418.25/3436.90 c 3437 23630150 2056024 1 - 0.0000 -
3423.23/3441.98 c 3442 23669751 2059077 1 - 0.0000 -
3428.31/3447.03 c 3447 23712504 2063018 1 - 0.0000 -
3433.30/3452.08 c 3452 23755444 2066529 1 - 0.0000 -
3438.47/3457.28 c 3457 23795676 2069280 1 - 0.0000 -
3443.55/3462.37 c 3462 23837967 2072332 1 - 0.0000 -
3449.33/3468.17 c 3468 23869971 2075169 1 - 0.0000 -
3455.80/3474.61 c 3475 23901162 2077906 1 - 0.0000 -
3462.08/3480.91 c 3481 23916253 2081339 1 - 0.0000 -
3467.76/3486.67 c 3487 23941039 2085683 1 - 0.0000 -
3473.03/3491.96 c 3492 23978205 2090293 1 - 0.0000 -
3478.42/3497.36 c 3497 24013250 2094696 1 - 0.0000 -
3483.60/3502.51 c 3503 24048852 2099624 1 - 0.0000 -
3488.68/3507.66 c 3508 24088340 2101906 1 - 0.0000 -
3493.86/3512.86 c 3513 24122656 2106019 1 - 0.0000 -
3499.15/3518.18 c 3518 24156383 2110726 1 - 0.0000 -
3504.23/3523.26 c 3523 24185209 2113245 1 - 0.0000 -
3510.00/3529.00 c 3529 24215441 2116003 1 - 0.0000 -
3515.09/3534.17 c 3534 24244873 2118940 1 - 0.0000 -
3520.46/3539.57 c 3540 24270691 2121594 1 - 0.0000 -
3525.94/3545.09 c 3545 24304501 2124518 1 - 0.0000 -
3531.02/3550.13 c 3550 24345586 2128236 1 - 0.0000 -
3536.10/3555.26 c 3555 24387646 2131708 1 - 0.0000 -
3541.68/3560.87 c 3561 24413344 2134673 1 - 0.0000 -
3547.16/3566.36 c 3566 24437270 2137436 1 - 0.0000 -
3553.05/3572.25 c 3572 24469124 2140720 1 - 0.0000 -
3558.43/3577.66 c 3578 24498444 2144034 1 - 0.0000 -
3563.50/3582.72 c 3583 24539080 2149044 1 - 0.0000 -
3568.59/3587.82 c 3588 24575715 2152927 1 - 0.0000 -
3573.77/3593.04 c 3593 24609480 2156007 1 - 0.0000 -
3578.75/3598.06 c 3598 24638366 2158185 0 - 0.0000 -
3583.93/3603.20 c SCIP Status : c solving was interrupted [hard time limit reached]
3583.93/3603.20 c Total Time : 3603.2100
3583.93/3603.20 c solving : 3603.2100
3583.93/3603.20 c presolving : 0.0027 (included in solving)
3583.93/3603.20 c B&B Tree :
3583.93/3603.20 c nodes (total) : 1
3583.93/3603.20 c Solution :
3583.93/3603.20 c Solutions found : 0
3583.93/3603.20 c Primal Bound : -
3583.93/3603.20 c Dual Bound : +0.00000000000000e+00
3583.93/3603.20 c Gap : -
3583.93/3603.20 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: 63931 MiB (57218 MiB free)
memory of node 1: 64510 MiB (60484 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464337-1722378995/watcher-4464337-1722378995 -o /tmp/evaluation-result-4464337-1722378995/solver-4464337-1722378995 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27903 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464337-1722378995.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28249, runsolver pid=28246
[startup+0.100084 s]*
/proc/loadavg: 4.07 3.13 1.55 5/262 28252
/proc/meminfo: memFree=120518216/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=107400 memory=20512 CPUtime=0.09 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 2488 0 0 0 9 0 0 0 20 0 3 0 4497401 109977600 5128 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 26850 5128 2966 3035 0 8621 0
[pid=28249/tid=28251] ppid=28246 vsize=107400 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 1217 0 0 0 9 0 0 0 20 0 3 0 4497402 109977600 5128 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=107400 memory=232851243367 CPUtime=0 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4497402 109977600 5128 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 107400 KiB
Current children cumulated memory: 20512 KiB
[startup+0.205486 s]*
/proc/loadavg: 4.07 3.13 1.55 5/262 28252
/proc/meminfo: memFree=120517368/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=107400 memory=21304 CPUtime=0.2 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 2657 0 0 0 20 0 0 0 20 0 3 0 4497401 109977600 5326 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 26850 5326 2966 3035 0 8768 0
[pid=28249/tid=28251] ppid=28246 vsize=107400 memory=664970838410264707 CPUtime=0.19 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 1386 0 0 0 19 0 0 0 20 0 3 0 4497402 109977600 5326 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=107400 memory=18990 CPUtime=0 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4497402 109977600 5326 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107400 KiB
Current children cumulated memory: 21304 KiB
[startup+0.305718 s]*
/proc/loadavg: 4.07 3.13 1.55 5/262 28252
/proc/meminfo: memFree=120516892/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=107400 memory=21568 CPUtime=0.3 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 2750 0 0 0 30 0 0 0 20 0 3 0 4497401 109977600 5392 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 26850 5392 2966 3035 0 8821 0
[pid=28249/tid=28251] ppid=28246 vsize=107400 memory=-5155629098342837381 CPUtime=0.29 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 1479 0 0 0 29 0 0 0 20 0 3 0 4497402 109977600 5392 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=107400 memory=0 CPUtime=0 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4497402 109977600 5392 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107400 KiB
Current children cumulated memory: 21568 KiB
[startup+0.700155 s]
/proc/loadavg: 4.07 3.13 1.55 5/262 28252
/proc/meminfo: memFree=120516416/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=107400 memory=22096 CPUtime=0.69 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 2895 0 0 0 69 0 0 0 20 0 3 0 4497401 109977600 5524 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 26850 5524 2966 3035 0 8945 0
[pid=28249/tid=28251] ppid=28246 vsize=107400 memory=0 CPUtime=0.68 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 1624 0 0 0 68 0 0 0 20 0 3 0 4497402 109977600 5524 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=107400 memory=0 CPUtime=0 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4497402 109977600 5524 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 107400 KiB
Current children cumulated memory: 22096 KiB
[startup+1.50015 s]
/proc/loadavg: 4.07 3.13 1.55 5/262 28252
/proc/meminfo: memFree=120515944/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=107400 memory=22408 CPUtime=1.48 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 3850 0 0 0 147 1 0 0 20 0 3 0 4497401 109977600 5602 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 26850 5602 2966 3035 0 8945 0
[pid=28249/tid=28251] ppid=28246 vsize=107400 memory=0 CPUtime=1.48 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 2566 0 0 0 147 1 0 0 20 0 3 0 4497402 109977600 5602 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=107400 memory=0 CPUtime=0 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4497402 109977600 5602 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107400 KiB
Current children cumulated memory: 22408 KiB
[startup+3.10535 s]
/proc/loadavg: 4.07 3.13 1.55 5/262 28252
/proc/meminfo: memFree=120514188/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=107400 memory=24120 CPUtime=3.08 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 4815 0 0 0 305 3 0 0 20 0 3 0 4497401 109977600 6030 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 26850 6030 2966 3035 0 9393 0
[pid=28249/tid=28251] ppid=28246 vsize=107400 memory=0 CPUtime=3.08 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 3527 0 0 0 305 3 0 0 20 0 3 0 4497402 109977600 6030 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=107400 memory=4417 CPUtime=0 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4497402 109977600 6030 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107400 KiB
Current children cumulated memory: 24120 KiB
[startup+6.30017 s]
/proc/loadavg: 4.06 3.14 1.57 5/262 28254
/proc/meminfo: memFree=120510912/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=107980 memory=27584 CPUtime=6.27 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 7644 0 0 0 621 6 0 0 20 0 3 0 4497401 110571520 6896 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 26995 6896 3014 3035 0 10179 0
[pid=28249/tid=28251] ppid=28246 vsize=107980 memory=0 CPUtime=6.25 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 6331 0 0 0 620 5 0 0 20 0 3 0 4497402 110571520 6896 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=107980 memory=11712 CPUtime=0 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4497402 110571520 6896 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 107980 KiB
Current children cumulated memory: 27584 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 3.16 1.58 5/262 28254
/proc/meminfo: memFree=120491316/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=107980 memory=34652 CPUtime=12.64 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 15644 0 0 0 1253 11 0 0 20 0 3 0 4497401 110571520 8663 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 26995 8663 3014 3035 0 11880 0
[pid=28249/tid=28251] ppid=28246 vsize=107980 memory=11712 CPUtime=12.63 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 14295 0 0 0 1253 10 0 0 20 0 3 0 4497402 110571520 8663 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=107980 memory=12552 CPUtime=0 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4497402 110571520 8663 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 107980 KiB
Current children cumulated memory: 34652 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 3.22 1.62 5/262 28256
/proc/meminfo: memFree=120454188/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=112012 memory=47652 CPUtime=25.39 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 30601 0 0 0 2517 22 0 0 20 0 3 0 4497401 114700288 11913 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 28003 11913 3014 3035 0 15114 0
[pid=28249/tid=28251] ppid=28246 vsize=112012 memory=45908 CPUtime=25.38 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 29211 0 0 0 2516 22 0 0 20 0 3 0 4497402 114700288 11913 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=112012 memory=11712 CPUtime=0 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4497402 114700288 11913 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 112012 KiB
Current children cumulated memory: 47652 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 3.28 1.69 5/262 28260
/proc/meminfo: memFree=120405740/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=124724 memory=76028 CPUtime=50.89 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 59446 0 0 0 5043 46 0 0 20 0 3 0 4497401 127717376 19007 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 31181 19007 3014 3035 0 22621 0
[pid=28249/tid=28251] ppid=28246 vsize=124724 memory=11712 CPUtime=50.88 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 58000 0 0 0 5042 46 0 0 20 0 3 0 4497402 127717376 19007 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=124724 memory=65500 CPUtime=0 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4497402 127717376 19007 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 124724 KiB
Current children cumulated memory: 76028 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 3.41 1.82 5/262 28271
/proc/meminfo: memFree=120303320/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=218500 memory=127848 CPUtime=101.87 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 115640 0 0 0 10093 94 0 0 20 0 3 0 4497401 223744000 31962 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 54625 31962 3014 3035 0 36548 0
[pid=28249/tid=28251] ppid=28246 vsize=218500 memory=119768 CPUtime=101.86 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 114122 0 0 0 10092 94 0 0 20 0 3 0 4497402 223744000 31962 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=218500 memory=118232 CPUtime=0 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4497402 223744000 31962 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 218500 KiB
Current children cumulated memory: 127848 KiB
[startup+162.3 s]
/proc/loadavg: 4.45 3.63 1.99 5/262 28282
/proc/meminfo: memFree=120227412/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=241736 memory=173580 CPUtime=161.62 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 175582 0 0 0 16014 148 0 0 20 0 3 0 4497401 247537664 43395 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 60434 43395 3014 3035 0 48806 0
[pid=28249/tid=28251] ppid=28246 vsize=241736 memory=152828 CPUtime=161.61 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 174012 0 0 0 16013 148 0 0 20 0 3 0 4497402 247537664 43395 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=241736 memory=154108 CPUtime=0 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4497402 247537664 43395 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 241736 KiB
################
# More data... #
################
/proc/28249/statm: 601334 582903 3014 3035 0 596250 0
[pid=28249/tid=28251] ppid=28246 vsize=2405336 memory=12552 CPUtime=3383.57 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 5589951 0 0 0 335730 2627 0 0 20 0 3 0 4497402 2463064064 582903 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=2405336 memory=2325892 CPUtime=0.02 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 131 0 0 0 0 2 0 0 20 0 3 0 4497402 2463064064 582903 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 3383.78 s
Current children cumulated vsize: 2405336 KiB
Current children cumulated memory: 2331612 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/264 30312
/proc/meminfo: memFree=118918180/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=2472920 memory=2359816 CPUtime=3443.55 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 5747589 0 0 0 341675 2680 0 0 20 0 3 0 4497401 2532270080 589954 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 618230 589954 3014 3035 0 603141 0
[pid=28249/tid=28251] ppid=28246 vsize=2472920 memory=2325892 CPUtime=3443.35 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 5744994 0 0 0 341658 2677 0 0 20 0 3 0 4497402 2532270080 589954 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=2472920 memory=11712 CPUtime=0.02 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 133 0 0 0 0 2 0 0 20 0 3 0 4497402 2532270080 589954 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 3443.55 s
Current children cumulated vsize: 2472920 KiB
Current children cumulated memory: 2359816 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/264 30322
/proc/meminfo: memFree=118874676/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=2473944 memory=2387636 CPUtime=3503.33 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 5822115 0 0 0 347613 2720 0 0 20 0 3 0 4497401 2533318656 596909 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 618486 596909 3014 3035 0 609527 0
[pid=28249/tid=28251] ppid=28246 vsize=2473944 memory=2380956 CPUtime=3503.12 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 5819499 0 0 0 347596 2716 0 0 20 0 3 0 4497402 2533318656 596909 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=2473944 memory=2386280 CPUtime=0.02 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 135 0 0 0 0 2 0 0 20 0 3 0 4497402 2533318656 596909 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 3503.33 s
Current children cumulated vsize: 2473944 KiB
Current children cumulated memory: 2387636 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.03 5/262 30333
/proc/meminfo: memFree=118808264/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=2556824 memory=2436496 CPUtime=3563.1 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 5903241 0 0 0 353554 2756 0 0 20 0 3 0 4497401 2618187776 609124 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 639206 609124 3014 3035 0 621375 0
[pid=28249/tid=28251] ppid=28246 vsize=2556824 memory=2380956 CPUtime=3562.9 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 5900609 0 0 0 353538 2752 0 0 20 0 3 0 4497402 2618187776 609124 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=2556824 memory=1984 CPUtime=0.02 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 4497402 2618187776 609124 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 3563.1 s
Current children cumulated vsize: 2556824 KiB
Current children cumulated memory: 2436496 KiB
[startup+3603.23 s]
# the end of solver process 28249 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3556.13 s, system=27.8449 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.03 5/262 30333
/proc/meminfo: memFree=118806304/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=2556824 memory=2437108 CPUtime=3564.8 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 5904778 0 0 0 353722 2758 0 0 20 0 3 0 4497401 2618187776 609277 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 639206 609277 3014 3035 0 621520 0
[pid=28249/tid=28251] ppid=28246 vsize=2556824 memory=-7524507294014465152 CPUtime=3564.59 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 5902146 0 0 0 353705 2754 0 0 20 0 3 0 4497402 2618187776 609277 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=2556824 memory=3470698889674319424 CPUtime=0.02 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 4497402 2618187776 609277 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 3564.8 s
Current children cumulated vsize: 2556824 KiB
Current children cumulated memory: 2437108 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.10 4.04 5/262 30336
/proc/meminfo: memFree=118799436/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=2565096 memory=2445068 CPUtime=3577.55 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 5932557 0 0 0 354989 2766 0 0 20 0 3 0 4497401 2626658304 611267 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 641274 611267 3014 3035 0 625204 0
[pid=28249/tid=28251] ppid=28246 vsize=2565096 memory=-7522256593712406652 CPUtime=3577.34 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 5929925 0 0 0 354972 2762 0 0 20 0 3 0 4497402 2626658304 611267 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=2565096 memory=2436604 CPUtime=0.02 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 4497402 2626658304 611267 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 3577.55 s
Current children cumulated vsize: 2565096 KiB
Current children cumulated memory: 2445068 KiB
[startup+3600 s]*
/proc/loadavg: 4.14 4.10 4.04 5/262 30336
/proc/meminfo: memFree=118809444/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=2548712 memory=2428752 CPUtime=3580.75 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 6053142 0 0 0 355300 2775 0 0 20 0 3 0 4497401 2609881088 607188 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 637178 607188 3014 3035 0 621108 0
[pid=28249/tid=28251] ppid=28246 vsize=2548712 memory=2445136 CPUtime=3580.54 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 6050509 0 0 0 355283 2771 0 0 20 0 3 0 4497402 2609881088 607188 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=2548712 memory=2445136 CPUtime=0.02 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 4497402 2609881088 607188 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 3580.75 s
Current children cumulated vsize: 2548712 KiB
Current children cumulated memory: 2428752 KiB
[startup+3601.6 s]
/proc/loadavg: 4.13 4.10 4.04 5/262 30336
/proc/meminfo: memFree=118841196/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=2473888 memory=2353936 CPUtime=3582.33 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 6077752 0 0 0 355456 2777 0 0 20 0 3 0 4497401 2533261312 588484 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 618472 588484 3014 3035 0 602402 0
[pid=28249/tid=28251] ppid=28246 vsize=2473888 memory=2445136 CPUtime=3582.12 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 6075114 0 0 0 355439 2773 0 0 20 0 3 0 4497402 2533261312 588484 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=2473888 memory=2160 CPUtime=0.02 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 4497402 2533261312 588484 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 3582.33 s
Current children cumulated vsize: 2473888 KiB
Current children cumulated memory: 2353936 KiB
[startup+3602.4 s]
/proc/loadavg: 4.13 4.10 4.04 5/262 30336
/proc/meminfo: memFree=118913752/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=2403260 memory=2283312 CPUtime=3583.14 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 6080572 0 0 0 355536 2778 0 0 20 0 3 0 4497401 2460938240 570828 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 600815 570828 3014 3035 0 584745 0
[pid=28249/tid=28251] ppid=28246 vsize=2403260 memory=11572 CPUtime=3582.93 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 6077934 0 0 0 355519 2774 0 0 20 0 3 0 4497402 2460938240 570828 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=2403260 memory=11572 CPUtime=0.02 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 4497402 2460938240 570828 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 3583.14 s
Current children cumulated vsize: 2403260 KiB
Current children cumulated memory: 2283312 KiB
[startup+3602.8 s]
/proc/loadavg: 4.13 4.10 4.04 5/262 30336
/proc/meminfo: memFree=118913752/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=2359240 memory=2239292 CPUtime=3583.53 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 6083542 0 0 0 355575 2778 0 0 20 0 3 0 4497401 2415861760 559823 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 589810 559823 3014 3035 0 573740 0
[pid=28249/tid=28251] ppid=28246 vsize=2359240 memory=18844 CPUtime=3583.32 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 6080904 0 0 0 355558 2774 0 0 20 0 3 0 4497402 2415861760 559823 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=2359240 memory=3575 CPUtime=0.02 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 4497402 2415861760 559823 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 3583.53 s
Current children cumulated vsize: 2359240 KiB
Current children cumulated memory: 2239292 KiB
[startup+3603.2 s]
/proc/loadavg: 4.13 4.10 4.04 5/262 30336
/proc/meminfo: memFree=118965204/131524600 swapFree=131071996/131071996
[pid=28249] ppid=28246 vsize=1689312 memory=1620944 CPUtime=3583.93 cores=0,2
/proc/28249/stat : 28249 (fscip) S 28246 28249 27893 0 -1 1077936128 6088430 0 0 0 355612 2781 0 0 20 0 3 0 4497401 1729855488 405236 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
/proc/28249/statm: 422328 405236 3014 3035 0 417524 0
[pid=28249/tid=28251] ppid=28246 vsize=1689312 memory=11712 CPUtime=3583.72 cores=0,2
/proc/28249/task/28251/stat : 28251 (fscip) R 28246 28249 27893 0 -1 4194368 6085792 0 0 0 355595 2777 0 0 20 0 3 0 4497402 1729855488 405236 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
[pid=28249/tid=28252] ppid=28246 vsize=1689312 memory=2442416 CPUtime=0.02 cores=0,2
/proc/28249/task/28252/stat : 28252 (fscip) S 28246 28249 27893 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 4497402 1729855488 405236 134679101440 4194304 16623229 140720959364624 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 35319808 140720959370262 140720959370378 140720959370378 140720959377392 0
Current children cumulated CPU time: 3583.93 s
Current children cumulated vsize: 1689312 KiB
Current children cumulated memory: 1620944 KiB
Child status: 0
Real time (s): 3603.23
CPU time (s): 3583.97
CPU user time (s): 3556.13
CPU system time (s): 27.8449
CPU usage (%): 99.4656
Max. virtual memory (cumulated for all children) (KiB): 2565096
Max. memory (cumulated for all children) (KiB): 2445136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.13
system time used= 27.8449
maximum resident set size= 2445136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6088554
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= 10933
involuntary context switches= 29588
# summary of solver processes directly reported to runsolver:
# pid: 28249
# total CPU time (s): 3583.97
# total CPU user time (s): 3556.13
# total CPU system time (s): 27.8449
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.03929 second user time and 16.9024 second system time
The end
Begin job on nodeC020 at 2024-07-31 00:36:35
IDJOB=4464337
IDBENCH=148102
IDSOLVER=3092
FILE ID=nodeC020/4464337-1722378995
RUNJOBID= nodeC020-1722378594-27903
SLURM_JOB_ID= 8249843
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww4.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-4464337-1722378995/watcher-4464337-1722378995 -o /tmp/evaluation-result-4464337-1722378995/solver-4464337-1722378995 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27903 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464337-1722378995.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 13439fe0222d33319b9169d149c100b9
RANDOM SEED=99795441
nodeC020.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 : 3670.930
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 : 7000.38
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 : 3686.688
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 : 7007.00
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.337
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 : 7000.38
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 : 3600.567
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 : 7007.00
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 : 3671.013
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 : 7000.38
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 : 3686.733
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 : 7007.00
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 : 3600.688
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 : 7000.38
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 : 3600.549
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 : 7007.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120528172 kB
MemAvailable: 128149352 kB
Buffers: 91060 kB
Cached: 8346000 kB
SwapCached: 0 kB
Active: 254576 kB
Inactive: 10226112 kB
Active(anon): 1576 kB
Inactive(anon): 2063456 kB
Active(file): 253000 kB
Inactive(file): 8162656 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28216 kB
Writeback: 4 kB
AnonPages: 2041688 kB
Mapped: 125880 kB
Shmem: 21336 kB
KReclaimable: 90340 kB
Slab: 171860 kB
SReclaimable: 90340 kB
SUnreclaim: 81520 kB
KernelStack: 4160 kB
PageTables: 13508 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1591688 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9728 kB
HardwareCorrupted: 0 kB
AnonHugePages: 667648 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: 193236 kB
DirectMap2M: 10065920 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC020 at 2024-07-31 01:36:38