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.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 26431488, getVmSize() = 26431488, SCIPgetMemUsed() = 3698213, SCIPgetMemTotal() = 4860717, SCIPgetMemExternEstim() = 2307915
0.00/0.02 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.06 c ** Estimated virtualMemUsedAtSolver = 19903829, getVmSize() = 33280000, SCIPgetMemUsed() = 6508762, SCIPgetMemTotal() = 10464186, SCIPgetMemExternEstim() = 2307915
0.00/0.06 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.06 c Original Problem :
0.00/0.06 c Problem name : instance-4448240-1721363854
0.00/0.06 c Variables : 481 (481 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 1922
0.00/0.06 c Objective sense : minimize
0.00/0.06 c Presolved Problem :
0.00/0.06 c Variables : 480 (480 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.06 c Constraints : 960
0.00/0.06 c Constraints : Number
0.00/0.06 c linear : 960
0.00/0.06 c ** Instance transfer method used: 0
0.00/0.07 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.08 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.08 c Nodes Active
0.00/0.08 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
4.95/5.02 c 5 2312 1326 1 - 0.0000 -
9.93/10.05 c 10 10554 3318 1 - 0.0000 -
14.91/15.10 c 15 19950 4636 1 - 0.0000 -
19.99/20.15 c 20 29620 5501 1 - 0.0000 -
25.06/25.20 c 25 38942 7705 1 - 0.0000 -
30.04/30.25 c 30 48805 11547 1 - 0.0000 -
35.13/35.30 c 35 58400 13949 1 - 0.0000 -
40.11/40.36 c 40 67591 17043 1 - 0.0000 -
45.19/45.40 c 45 77050 18946 1 - 0.0000 -
50.17/50.45 c 50 86000 20333 1 - 0.0000 -
55.26/55.50 c 56 94928 21608 1 - 0.0000 -
60.24/60.55 c 61 104080 23418 1 - 0.0000 -
65.22/65.59 c 66 112621 24086 1 - 0.0000 -
70.31/70.65 c 71 121650 26863 1 - 0.0000 -
75.29/75.69 c 76 131258 29279 1 - 0.0000 -
80.37/80.74 c 81 140072 28164 1 - 0.0000 -
85.35/85.79 c 86 148353 27355 1 - 0.0000 -
90.44/90.84 c 91 157523 30077 1 - 0.0000 -
95.42/95.89 c 96 166546 30673 1 - 0.0000 -
100.50/100.94 c 101 175244 32504 1 - 0.0000 -
105.49/105.99 c 106 184398 35639 1 - 0.0000 -
110.58/111.04 c 111 193998 39509 1 - 0.0000 -
115.56/116.10 c 116 204030 42573 1 - 0.0000 -
120.64/121.14 c 121 213723 46563 1 - 0.0000 -
125.62/126.19 c 126 223832 49955 1 - 0.0000 -
130.70/131.23 c 131 233728 52768 1 - 0.0000 -
135.67/136.29 c 136 243981 54833 1 - 0.0000 -
140.76/141.33 c 141 254442 56932 1 - 0.0000 -
145.74/146.38 c 146 264846 59354 1 - 0.0000 -
150.82/151.44 c 151 274927 61488 1 - 0.0000 -
155.81/156.48 c 156 284958 65413 1 - 0.0000 -
160.89/161.53 c 162 295340 69153 1 - 0.0000 -
165.87/166.58 c 167 305689 72892 1 - 0.0000 -
170.95/171.63 c 172 315620 77075 1 - 0.0000 -
175.93/176.68 c 177 325851 80799 1 - 0.0000 -
181.01/181.73 c 182 335521 85812 1 - 0.0000 -
185.99/186.78 c 187 345263 90969 1 - 0.0000 -
191.06/191.83 c 192 355323 94521 1 - 0.0000 -
196.04/196.88 c 197 365861 97557 1 - 0.0000 -
201.12/201.93 c 202 376353 101014 1 - 0.0000 -
206.10/206.98 c 207 386580 104279 1 - 0.0000 -
211.18/212.03 c 212 396382 108801 1 - 0.0000 -
216.16/217.08 c 217 406157 112864 1 - 0.0000 -
221.24/222.13 c 222 415692 117837 1 - 0.0000 -
226.22/227.18 c 227 425187 122763 1 - 0.0000 -
231.28/232.23 c 232 434810 127655 1 - 0.0000 -
236.27/237.28 c 237 444330 131968 1 - 0.0000 -
241.34/242.33 c 242 454047 135870 1 - 0.0000 -
246.32/247.38 c 247 463995 140283 1 - 0.0000 -
251.40/252.43 c 252 474171 144056 1 - 0.0000 -
256.38/257.48 c 257 484220 146744 1 - 0.0000 -
261.45/262.53 c 263 494118 150722 1 - 0.0000 -
266.44/267.58 c 268 502975 155556 1 - 0.0000 -
271.51/272.64 c 273 512267 160369 1 - 0.0000 -
276.48/277.68 c 278 521944 164492 1 - 0.0000 -
281.56/282.73 c 283 531749 168965 1 - 0.0000 -
286.54/287.78 c 288 542025 173921 1 - 0.0000 -
291.62/292.83 c 293 552357 177742 1 - 0.0000 -
296.60/297.88 c 298 562175 182141 1 - 0.0000 -
301.68/302.93 c 303 572413 186323 1 - 0.0000 -
306.65/307.98 c 308 582591 190310 1 - 0.0000 -
311.74/313.03 c 313 592432 194322 1 - 0.0000 -
316.72/318.08 c 318 602494 198583 1 - 0.0000 -
321.80/323.13 c 323 612522 203057 1 - 0.0000 -
326.78/328.18 c 328 622820 207222 1 - 0.0000 -
331.84/333.23 c 333 633010 211807 1 - 0.0000 -
336.82/338.28 c 338 643285 215444 1 - 0.0000 -
341.90/343.33 c 343 653171 219347 1 - 0.0000 -
346.87/348.38 c 348 663524 223524 1 - 0.0000 -
351.95/353.43 c 353 673662 227809 1 - 0.0000 -
356.93/358.48 c 358 683980 231817 1 - 0.0000 -
362.01/363.53 c 364 694224 235850 1 - 0.0000 -
366.98/368.58 c 369 704373 240186 1 - 0.0000 -
372.06/373.63 c 374 714612 243589 1 - 0.0000 -
377.04/378.68 c 379 724470 247744 1 - 0.0000 -
382.12/383.73 c 384 734803 251522 1 - 0.0000 -
387.09/388.78 c 389 744918 255572 1 - 0.0000 -
392.18/393.83 c 394 755132 259891 1 - 0.0000 -
397.15/398.89 c 399 764944 263991 1 - 0.0000 -
402.23/403.94 c 404 775219 267524 1 - 0.0000 -
407.20/408.99 c 409 785466 271673 1 - 0.0000 -
412.29/414.04 c 414 795545 275424 1 - 0.0000 -
417.27/419.09 c 419 805686 278908 1 - 0.0000 -
422.35/424.14 c 424 815849 283288 1 - 0.0000 -
427.33/429.19 c 429 826171 288270 1 - 0.0000 -
432.40/434.24 c 434 836577 293145 1 - 0.0000 -
437.37/439.29 c 439 846802 298084 1 - 0.0000 -
442.45/444.34 c 444 857386 302495 1 - 0.0000 -
447.43/449.39 c 449 867678 307249 1 - 0.0000 -
452.50/454.45 c 454 878188 311593 1 - 0.0000 -
457.48/459.49 c 460 888768 315659 1 - 0.0000 -
462.56/464.54 c 465 899285 319233 1 - 0.0000 -
467.53/469.59 c 470 909809 322789 1 - 0.0000 -
472.62/474.64 c 475 920543 325565 1 - 0.0000 -
477.59/479.70 c 480 930593 328907 1 - 0.0000 -
482.67/484.74 c 485 940788 331429 1 - 0.0000 -
487.74/489.80 c 490 951122 333573 1 - 0.0000 -
492.73/494.84 c 495 960702 337287 1 - 0.0000 -
497.71/499.90 c 500 970542 340216 1 - 0.0000 -
502.78/504.94 c 505 980556 343077 1 - 0.0000 -
507.76/509.99 c 510 990575 345264 1 - 0.0000 -
512.85/515.03 c 515 1000792 348321 1 - 0.0000 -
517.82/520.08 c 520 1011087 351117 1 - 0.0000 -
522.90/525.13 c 525 1021416 353681 1 - 0.0000 -
527.88/530.18 c 530 1031804 356893 1 - 0.0000 -
532.94/535.23 c 535 1041965 359723 1 - 0.0000 -
537.93/540.29 c 540 1052160 362492 1 - 0.0000 -
543.00/545.34 c 545 1062138 366147 1 - 0.0000 -
547.97/550.38 c 550 1072262 369007 1 - 0.0000 -
553.06/555.43 c 555 1082722 372723 1 - 0.0000 -
558.03/560.48 c 560 1092984 375890 1 - 0.0000 -
563.11/565.53 c 566 1102918 380133 1 - 0.0000 -
568.09/570.58 c 571 1112858 383970 1 - 0.0000 -
573.17/575.63 c 576 1122794 387042 1 - 0.0000 -
578.14/580.68 c 581 1133173 389417 1 - 0.0000 -
583.22/585.73 c 586 1143071 392260 1 - 0.0000 -
588.20/590.78 c 591 1152723 395702 1 - 0.0000 -
593.28/595.83 c 596 1162955 398876 1 - 0.0000 -
598.25/600.88 c 601 1172749 402404 1 - 0.0000 -
603.33/605.93 c 606 1182841 405164 1 - 0.0000 -
608.31/610.99 c 611 1193202 408319 1 - 0.0000 -
613.39/616.03 c 616 1203538 410654 1 - 0.0000 -
618.37/621.08 c 621 1213503 414743 1 - 0.0000 -
623.45/626.13 c 626 1223882 418628 1 - 0.0000 -
628.43/631.19 c 631 1234399 421279 1 - 0.0000 -
633.49/636.23 c 636 1244469 423834 1 - 0.0000 -
638.47/641.28 c 641 1254545 426882 1 - 0.0000 -
643.55/646.33 c 646 1264317 429579 1 - 0.0000 -
648.53/651.38 c 651 1274361 432207 1 - 0.0000 -
653.61/656.43 c 656 1284533 435139 1 - 0.0000 -
658.58/661.48 c 661 1294400 438095 1 - 0.0000 -
663.66/666.53 c 667 1304477 440727 1 - 0.0000 -
668.63/671.58 c 672 1314867 442105 1 - 0.0000 -
673.71/676.63 c 677 1324751 444542 1 - 0.0000 -
678.68/681.68 c 682 1334764 447449 1 - 0.0000 -
683.76/686.74 c 687 1344779 449281 1 - 0.0000 -
688.74/691.78 c 692 1355004 452231 1 - 0.0000 -
693.82/696.83 c 697 1365201 454712 1 - 0.0000 -
698.80/701.88 c 702 1375998 457281 1 - 0.0000 -
703.87/706.93 c 707 1386195 459590 1 - 0.0000 -
708.85/711.98 c 712 1396349 462437 1 - 0.0000 -
713.93/717.03 c 717 1406156 466086 1 - 0.0000 -
718.92/722.08 c 722 1416140 469658 1 - 0.0000 -
723.99/727.13 c 727 1425751 474118 1 - 0.0000 -
728.97/732.18 c 732 1435693 477711 1 - 0.0000 -
734.03/737.23 c 737 1445743 480303 1 - 0.0000 -
739.01/742.28 c 742 1455875 483560 1 - 0.0000 -
744.08/747.33 c 747 1465895 487149 1 - 0.0000 -
749.07/752.38 c 752 1476065 491376 1 - 0.0000 -
754.14/757.43 c 757 1486121 495139 1 - 0.0000 -
759.12/762.48 c 762 1495987 498041 1 - 0.0000 -
764.19/767.53 c 768 1505882 500410 1 - 0.0000 -
769.17/772.58 c 773 1515687 503785 1 - 0.0000 -
774.25/777.63 c 778 1525842 506043 1 - 0.0000 -
779.23/782.69 c 783 1535525 508769 1 - 0.0000 -
784.30/787.73 c 788 1545638 511653 1 - 0.0000 -
789.29/792.78 c 793 1555626 513950 1 - 0.0000 -
794.35/797.83 c 798 1565404 516609 1 - 0.0000 -
799.34/802.88 c 803 1575284 521735 1 - 0.0000 -
804.42/807.93 c 808 1585179 526682 1 - 0.0000 -
809.39/812.98 c 813 1595082 531487 1 - 0.0000 -
814.48/818.03 c 818 1604809 536543 1 - 0.0000 -
819.45/823.08 c 823 1615080 540910 1 - 0.0000 -
824.53/828.13 c 828 1625144 544964 1 - 0.0000 -
829.51/833.18 c 833 1635340 548034 1 - 0.0000 -
834.57/838.23 c 838 1645539 551340 1 - 0.0000 -
839.55/843.28 c 843 1655837 553757 1 - 0.0000 -
844.63/848.34 c 848 1666250 555825 1 - 0.0000 -
849.62/853.38 c 853 1676109 559816 1 - 0.0000 -
854.70/858.43 c 858 1686097 562584 1 - 0.0000 -
859.68/863.48 c 863 1696075 567072 1 - 0.0000 -
864.77/868.53 c 869 1705316 572427 1 - 0.0000 -
869.74/873.58 c 874 1714918 577959 1 - 0.0000 -
874.83/878.63 c 879 1724642 583146 1 - 0.0000 -
879.81/883.68 c 884 1734606 588031 1 - 0.0000 -
884.89/888.73 c 889 1744426 593401 1 - 0.0000 -
889.87/893.78 c 894 1754159 599045 1 - 0.0000 -
894.94/898.83 c 899 1763979 604650 1 - 0.0000 -
899.93/903.88 c 904 1773902 609603 1 - 0.0000 -
905.01/908.93 c 909 1784039 614451 1 - 0.0000 -
909.99/913.98 c 914 1794288 619327 1 - 0.0000 -
915.09/919.03 c 919 1804431 624579 1 - 0.0000 -
920.06/924.08 c 924 1814333 629869 1 - 0.0000 -
925.15/929.13 c 929 1824360 635126 1 - 0.0000 -
930.14/934.18 c 934 1834468 640409 1 - 0.0000 -
935.20/939.23 c 939 1844414 645598 1 - 0.0000 -
940.18/944.28 c 944 1854584 650477 1 - 0.0000 -
945.27/949.33 c 949 1864761 654977 1 - 0.0000 -
950.24/954.38 c 954 1874895 659651 1 - 0.0000 -
955.33/959.43 c 959 1884964 664720 1 - 0.0000 -
960.31/964.48 c 964 1895136 668573 1 - 0.0000 -
965.39/969.54 c 970 1905135 673350 1 - 0.0000 -
970.37/974.58 c 975 1915478 678191 1 - 0.0000 -
975.46/979.63 c 980 1925909 683229 1 - 0.0000 -
980.44/984.68 c 985 1936080 688287 1 - 0.0000 -
985.51/989.73 c 990 1946314 693491 1 - 0.0000 -
990.49/994.78 c 995 1956439 698632 1 - 0.0000 -
995.58/999.83 c 1000 1966606 703470 1 - 0.0000 -
1000.56/1004.88 c 1005 1976685 708512 1 - 0.0000 -
1005.65/1009.93 c 1010 1986796 713574 1 - 0.0000 -
1010.62/1014.98 c 1015 1997001 718751 1 - 0.0000 -
1015.72/1020.03 c 1020 2007215 723704 1 - 0.0000 -
1020.70/1025.08 c 1025 2017359 728403 1 - 0.0000 -
1025.78/1030.13 c 1030 2027321 732825 1 - 0.0000 -
1030.76/1035.18 c 1035 2037617 737765 1 - 0.0000 -
1035.83/1040.23 c 1040 2048011 742710 1 - 0.0000 -
1040.81/1045.28 c 1045 2058379 746921 1 - 0.0000 -
1045.89/1050.33 c 1050 2068609 751313 1 - 0.0000 -
1050.88/1055.39 c 1055 2079061 755922 1 - 0.0000 -
1055.96/1060.43 c 1060 2089238 760927 1 - 0.0000 -
1060.95/1065.48 c 1065 2099375 766506 1 - 0.0000 -
1066.02/1070.53 c 1071 2109371 772045 1 - 0.0000 -
1071.01/1075.58 c 1076 2119423 776634 1 - 0.0000 -
1076.09/1080.64 c 1081 2129388 781672 1 - 0.0000 -
1081.07/1085.68 c 1086 2139027 786379 1 - 0.0000 -
1086.16/1090.73 c 1091 2149034 790717 1 - 0.0000 -
1091.14/1095.78 c 1096 2159103 795320 1 - 0.0000 -
1096.22/1100.84 c 1101 2169252 799453 1 - 0.0000 -
1101.19/1105.88 c 1106 2179035 804173 1 - 0.0000 -
1106.28/1110.93 c 1111 2189169 808817 1 - 0.0000 -
1111.26/1115.98 c 1116 2199307 813170 1 - 0.0000 -
1116.35/1121.03 c 1121 2209335 817663 1 - 0.0000 -
1121.33/1126.08 c 1126 2219443 822047 1 - 0.0000 -
1126.41/1131.13 c 1131 2229435 826490 1 - 0.0000 -
1131.40/1136.18 c 1136 2239335 830831 1 - 0.0000 -
1136.46/1141.23 c 1141 2249127 835385 1 - 0.0000 -
1141.45/1146.28 c 1146 2259394 839706 1 - 0.0000 -
1146.53/1151.34 c 1151 2269431 844222 1 - 0.0000 -
1151.52/1156.38 c 1156 2279606 848497 1 - 0.0000 -
1156.60/1161.44 c 1161 2289735 852985 1 - 0.0000 -
1161.58/1166.48 c 1166 2299740 857673 1 - 0.0000 -
1166.66/1171.53 c 1172 2309958 861945 1 - 0.0000 -
1171.63/1176.58 c 1177 2320002 866136 1 - 0.0000 -
1176.71/1181.63 c 1182 2330082 870377 1 - 0.0000 -
1181.69/1186.68 c 1187 2340036 874069 1 - 0.0000 -
1186.77/1191.75 c 1192 2350177 877806 1 - 0.0000 -
1191.85/1196.81 c 1197 2359888 882487 1 - 0.0000 -
1196.82/1201.86 c 1202 2369777 887556 1 - 0.0000 -
1201.90/1206.90 c 1207 2379532 892624 1 - 0.0000 -
1206.88/1211.95 c 1212 2389463 897090 1 - 0.0000 -
1211.86/1217.01 c 1217 2399629 901719 1 - 0.0000 -
1216.95/1222.05 c 1222 2409380 906924 1 - 0.0000 -
1221.92/1227.10 c 1227 2419580 912192 1 - 0.0000 -
1227.01/1232.15 c 1232 2429691 917252 1 - 0.0000 -
1232.07/1237.20 c 1237 2439985 922215 1 - 0.0000 -
1237.05/1242.25 c 1242 2449913 926897 1 - 0.0000 -
1242.12/1247.31 c 1247 2460135 931623 1 - 0.0000 -
1247.10/1252.35 c 1252 2470029 936661 1 - 0.0000 -
1252.18/1257.40 c 1257 2479940 941390 1 - 0.0000 -
1257.16/1262.46 c 1262 2489949 946526 1 - 0.0000 -
1262.23/1267.50 c 1268 2499853 951327 1 - 0.0000 -
1267.21/1272.55 c 1273 2510100 955626 1 - 0.0000 -
1272.29/1277.60 c 1278 2520263 959618 1 - 0.0000 -
1277.27/1282.65 c 1283 2530321 964306 1 - 0.0000 -
1282.34/1287.70 c 1288 2540350 968627 1 - 0.0000 -
1287.32/1292.75 c 1293 2550643 973016 1 - 0.0000 -
1292.39/1297.80 c 1298 2560535 977634 1 - 0.0000 -
1297.37/1302.85 c 1303 2570605 982336 1 - 0.0000 -
1302.45/1307.90 c 1308 2580578 987363 1 - 0.0000 -
1307.43/1312.96 c 1313 2590671 991663 1 - 0.0000 -
1312.40/1318.01 c 1318 2600463 996195 1 - 0.0000 -
1317.49/1323.05 c 1323 2610643 1000478 1 - 0.0000 -
1322.47/1328.10 c 1328 2620878 1005038 1 - 0.0000 -
1327.54/1333.15 c 1333 2631376 1009110 1 - 0.0000 -
1332.61/1338.20 c 1338 2641655 1013745 1 - 0.0000 -
1337.59/1343.25 c 1343 2651764 1018371 1 - 0.0000 -
1342.66/1348.30 c 1348 2661657 1022843 1 - 0.0000 -
1347.64/1353.35 c 1353 2671606 1027246 1 - 0.0000 -
1352.72/1358.40 c 1358 2681824 1031629 1 - 0.0000 -
1357.69/1363.45 c 1363 2691730 1035688 1 - 0.0000 -
1362.76/1368.50 c 1369 2701591 1040049 1 - 0.0000 -
1367.75/1373.55 c 1374 2711462 1044237 1 - 0.0000 -
1372.82/1378.60 c 1379 2721470 1048681 1 - 0.0000 -
1377.80/1383.65 c 1384 2731461 1053143 1 - 0.0000 -
1382.88/1388.70 c 1389 2741546 1057414 1 - 0.0000 -
1387.85/1393.75 c 1394 2751554 1061631 1 - 0.0000 -
1392.93/1398.80 c 1399 2761385 1066012 1 - 0.0000 -
1397.91/1403.85 c 1404 2771058 1071021 1 - 0.0000 -
1402.98/1408.90 c 1409 2781160 1075587 1 - 0.0000 -
1407.96/1413.95 c 1414 2791109 1079928 1 - 0.0000 -
1412.93/1419.01 c 1419 2801324 1084264 1 - 0.0000 -
1418.03/1424.05 c 1424 2811017 1089064 1 - 0.0000 -
1423.00/1429.10 c 1429 2820795 1093812 1 - 0.0000 -
1428.09/1434.15 c 1434 2830715 1098107 1 - 0.0000 -
1433.15/1439.20 c 1439 2840636 1102941 1 - 0.0000 -
1438.14/1444.26 c 1444 2850383 1107898 1 - 0.0000 -
1443.22/1449.30 c 1449 2860314 1112764 1 - 0.0000 -
1448.20/1454.35 c 1454 2869901 1117321 1 - 0.0000 -
1453.29/1459.41 c 1459 2879743 1122177 1 - 0.0000 -
1458.27/1464.45 c 1464 2889481 1126223 1 - 0.0000 -
1463.35/1469.50 c 1470 2899211 1130047 1 - 0.0000 -
1468.33/1474.55 c 1475 2909081 1134161 1 - 0.0000 -
1473.42/1479.60 c 1480 2918695 1139021 1 - 0.0000 -
1478.40/1484.65 c 1485 2928662 1144546 1 - 0.0000 -
1483.48/1489.70 c 1490 2938380 1149328 1 - 0.0000 -
1488.47/1494.75 c 1495 2948202 1153993 1 - 0.0000 -
1493.55/1499.80 c 1500 2958121 1158596 1 - 0.0000 -
1498.52/1504.85 c 1505 2968020 1163611 1 - 0.0000 -
1503.61/1509.90 c 1510 2977741 1168389 1 - 0.0000 -
1508.58/1514.96 c 1515 2987381 1173365 1 - 0.0000 -
1513.56/1520.01 c 1520 2997239 1178109 1 - 0.0000 -
1518.65/1525.05 c 1525 3007001 1182946 1 - 0.0000 -
1523.63/1530.10 c 1530 3016748 1187540 1 - 0.0000 -
1528.70/1535.15 c 1535 3026701 1192042 1 - 0.0000 -
1533.77/1540.20 c 1540 3036598 1196852 1 - 0.0000 -
1538.74/1545.25 c 1545 3046304 1201749 1 - 0.0000 -
1543.82/1550.30 c 1550 3056355 1206455 1 - 0.0000 -
1548.80/1555.35 c 1555 3065962 1210874 1 - 0.0000 -
1553.88/1560.40 c 1560 3075896 1215450 1 - 0.0000 -
1558.85/1565.45 c 1565 3085617 1220053 1 - 0.0000 -
1563.93/1570.50 c 1571 3095448 1224241 1 - 0.0000 -
1568.91/1575.55 c 1576 3105188 1228880 1 - 0.0000 -
1573.98/1580.60 c 1581 3114921 1233946 1 - 0.0000 -
1578.96/1585.65 c 1586 3124742 1238727 1 - 0.0000 -
1584.04/1590.70 c 1591 3134654 1243302 1 - 0.0000 -
1589.02/1595.75 c 1596 3144482 1247733 1 - 0.0000 -
1594.10/1600.80 c 1601 3154251 1252500 1 - 0.0000 -
1599.07/1605.85 c 1606 3163944 1257073 1 - 0.0000 -
1604.15/1610.90 c 1611 3173592 1261894 1 - 0.0000 -
1609.13/1615.95 c 1616 3183473 1266946 1 - 0.0000 -
1614.11/1621.01 c 1621 3193087 1271691 1 - 0.0000 -
1619.19/1626.05 c 1626 3202954 1276310 1 - 0.0000 -
1624.16/1631.10 c 1631 3212805 1281129 1 - 0.0000 -
1629.25/1636.15 c 1636 3222569 1285807 1 - 0.0000 -
1634.31/1641.20 c 1641 3232353 1290490 1 - 0.0000 -
1639.29/1646.25 c 1646 3242022 1294778 1 - 0.0000 -
1644.36/1651.30 c 1651 3251749 1299609 1 - 0.0000 -
1649.34/1656.35 c 1656 3261578 1304187 1 - 0.0000 -
1654.41/1661.40 c 1661 3271391 1308701 1 - 0.0000 -
1659.39/1666.45 c 1666 3281024 1313188 1 - 0.0000 -
1664.47/1671.50 c 1672 3290937 1318361 1 - 0.0000 -
1669.44/1676.55 c 1677 3300847 1323434 1 - 0.0000 -
1674.52/1681.60 c 1682 3310689 1328214 1 - 0.0000 -
1679.50/1686.65 c 1687 3320367 1332972 1 - 0.0000 -
1684.58/1691.70 c 1692 3330214 1337472 1 - 0.0000 -
1689.55/1696.76 c 1697 3340061 1341942 1 - 0.0000 -
1694.63/1701.80 c 1702 3349962 1346068 1 - 0.0000 -
1699.61/1706.85 c 1707 3359352 1351211 1 - 0.0000 -
1704.69/1711.90 c 1712 3369040 1356396 1 - 0.0000 -
1709.66/1716.95 c 1717 3378754 1361494 1 - 0.0000 -
1714.63/1722.01 c 1722 3388413 1366477 1 - 0.0000 -
1719.73/1727.05 c 1727 3398094 1370904 1 - 0.0000 -
1724.71/1732.10 c 1732 3407862 1375589 1 - 0.0000 -
1729.79/1737.15 c 1737 3417701 1380008 1 - 0.0000 -
1734.87/1742.20 c 1742 3427274 1384929 1 - 0.0000 -
1739.84/1747.25 c 1747 3436910 1389586 1 - 0.0000 -
1744.93/1752.31 c 1752 3446452 1394360 1 - 0.0000 -
1749.90/1757.35 c 1757 3456103 1399493 1 - 0.0000 -
1755.00/1762.40 c 1762 3465833 1404321 1 - 0.0000 -
1759.98/1767.45 c 1767 3475655 1408992 1 - 0.0000 -
1765.05/1772.51 c 1773 3485263 1413096 1 - 0.0000 -
1770.04/1777.55 c 1778 3494924 1417118 1 - 0.0000 -
1775.12/1782.60 c 1783 3504561 1421532 1 - 0.0000 -
1780.10/1787.65 c 1788 3514060 1426340 1 - 0.0000 -
1785.18/1792.70 c 1793 3523781 1431446 1 - 0.0000 -
1790.16/1797.75 c 1798 3533292 1436009 1 - 0.0000 -
1795.25/1802.80 c 1803 3542841 1440728 1 - 0.0000 -
1800.23/1807.85 c 1808 3552079 1445798 1 - 0.0000 -
1805.32/1812.90 c 1813 3561567 1450573 1 - 0.0000 -
1810.30/1817.95 c 1818 3571018 1455648 1 - 0.0000 -
1815.28/1823.01 c 1823 3580682 1460344 1 - 0.0000 -
1820.37/1828.05 c 1828 3590420 1464963 1 - 0.0000 -
1825.36/1833.10 c 1833 3599954 1469273 1 - 0.0000 -
1830.44/1838.15 c 1838 3609337 1473816 1 - 0.0000 -
1835.50/1843.20 c 1843 3619006 1478182 1 - 0.0000 -
1840.49/1848.25 c 1848 3628561 1481903 1 - 0.0000 -
1845.57/1853.30 c 1853 3638255 1486254 1 - 0.0000 -
1850.55/1858.35 c 1858 3647537 1490966 1 - 0.0000 -
1855.63/1863.40 c 1863 3656943 1496035 1 - 0.0000 -
1860.62/1868.45 c 1868 3666425 1500047 1 - 0.0000 -
1865.70/1873.51 c 1874 3675985 1504293 1 - 0.0000 -
1870.68/1878.56 c 1879 3685357 1508811 1 - 0.0000 -
1875.77/1883.60 c 1884 3694616 1513685 1 - 0.0000 -
1880.75/1888.65 c 1889 3703967 1518075 1 - 0.0000 -
1885.83/1893.70 c 1894 3713138 1522523 1 - 0.0000 -
1890.82/1898.75 c 1899 3722460 1527025 1 - 0.0000 -
1895.90/1903.81 c 1904 3731998 1531204 1 - 0.0000 -
1900.88/1908.86 c 1909 3741433 1535612 1 - 0.0000 -
1905.96/1913.90 c 1914 3750969 1539717 1 - 0.0000 -
1910.95/1918.95 c 1919 3760409 1544117 1 - 0.0000 -
1915.93/1924.01 c 1924 3769883 1548419 1 - 0.0000 -
1921.02/1929.05 c 1929 3779253 1552893 1 - 0.0000 -
1926.00/1934.10 c 1934 3788434 1557486 1 - 0.0000 -
1931.09/1939.15 c 1939 3797821 1561813 1 - 0.0000 -
1936.16/1944.20 c 1944 3807244 1565928 1 - 0.0000 -
1941.14/1949.25 c 1949 3816847 1570100 1 - 0.0000 -
1946.22/1954.30 c 1954 3826416 1574457 1 - 0.0000 -
1951.20/1959.35 c 1959 3835802 1578956 1 - 0.0000 -
1956.28/1964.40 c 1964 3845262 1583368 1 - 0.0000 -
1961.27/1969.45 c 1969 3854574 1587683 1 - 0.0000 -
1966.34/1974.50 c 1975 3864296 1592167 1 - 0.0000 -
1971.33/1979.55 c 1980 3873687 1596319 1 - 0.0000 -
1976.42/1984.60 c 1985 3883198 1600884 1 - 0.0000 -
1981.40/1989.65 c 1990 3892448 1605707 1 - 0.0000 -
1986.47/1994.71 c 1995 3901767 1610254 1 - 0.0000 -
1991.46/1999.75 c 2000 3911110 1615071 1 - 0.0000 -
1996.55/2004.80 c 2005 3920540 1619552 1 - 0.0000 -
2001.52/2009.85 c 2010 3930077 1623870 1 - 0.0000 -
2006.61/2014.91 c 2015 3939348 1628614 1 - 0.0000 -
2011.59/2019.95 c 2020 3948902 1633355 1 - 0.0000 -
2016.57/2025.01 c 2025 3958525 1638328 1 - 0.0000 -
2021.67/2030.05 c 2030 3967944 1643031 1 - 0.0000 -
2026.65/2035.10 c 2035 3977413 1647358 1 - 0.0000 -
2031.73/2040.15 c 2040 3986844 1651705 1 - 0.0000 -
2036.80/2045.20 c 2045 3996081 1656681 1 - 0.0000 -
2041.78/2050.25 c 2050 4005306 1661316 1 - 0.0000 -
2046.87/2055.30 c 2055 4014789 1666122 1 - 0.0000 -
2051.84/2060.35 c 2060 4023824 1671397 1 - 0.0000 -
2056.93/2065.40 c 2065 4033105 1676155 1 - 0.0000 -
2061.91/2070.46 c 2070 4042481 1680406 1 - 0.0000 -
2067.00/2075.50 c 2076 4051774 1684868 1 - 0.0000 -
2071.98/2080.56 c 2081 4061055 1689137 1 - 0.0000 -
2077.06/2085.61 c 2086 4070375 1693286 1 - 0.0000 -
2082.04/2090.65 c 2091 4080061 1697558 1 - 0.0000 -
2087.12/2095.70 c 2096 4089640 1702119 1 - 0.0000 -
2092.10/2100.75 c 2101 4099173 1707146 1 - 0.0000 -
2097.17/2105.81 c 2106 4108403 1711695 1 - 0.0000 -
2102.14/2110.85 c 2111 4117697 1716039 1 - 0.0000 -
2107.22/2115.90 c 2116 4127013 1720548 1 - 0.0000 -
2112.20/2120.95 c 2121 4136202 1724921 1 - 0.0000 -
2117.29/2126.01 c 2126 4145531 1729532 1 - 0.0000 -
2122.27/2131.05 c 2131 4154695 1734182 1 - 0.0000 -
2127.24/2136.10 c 2136 4164131 1738811 1 - 0.0000 -
2132.33/2141.15 c 2141 4173183 1743264 1 - 0.0000 -
2137.38/2146.21 c 2146 4182647 1747595 1 - 0.0000 -
2142.37/2151.25 c 2151 4191868 1752022 1 - 0.0000 -
2147.45/2156.30 c 2156 4201146 1756084 1 - 0.0000 -
2152.42/2161.35 c 2161 4210592 1759956 1 - 0.0000 -
2157.49/2166.41 c 2166 4220088 1764488 1 - 0.0000 -
2162.48/2171.45 c 2171 4229476 1768648 1 - 0.0000 -
2167.55/2176.50 c 2177 4238723 1773054 1 - 0.0000 -
2172.53/2181.55 c 2182 4248251 1777267 1 - 0.0000 -
2177.60/2186.60 c 2187 4257562 1781847 1 - 0.0000 -
2182.58/2191.65 c 2192 4266847 1786732 1 - 0.0000 -
2187.66/2196.71 c 2197 4276205 1791301 1 - 0.0000 -
2192.64/2201.75 c 2202 4285840 1796365 1 - 0.0000 -
2197.72/2206.80 c 2207 4295282 1800969 1 - 0.0000 -
2202.70/2211.85 c 2212 4304824 1805531 1 - 0.0000 -
2207.77/2216.90 c 2217 4314430 1810037 1 - 0.0000 -
2212.74/2221.95 c 2222 4323985 1814405 1 - 0.0000 -
2217.72/2227.01 c 2227 4333310 1819175 1 - 0.0000 -
2222.81/2232.05 c 2232 4342436 1824095 1 - 0.0000 -
2227.80/2237.10 c 2237 4351673 1828866 1 - 0.0000 -
2232.89/2242.15 c 2242 4360785 1833371 1 - 0.0000 -
2237.95/2247.20 c 2247 4369933 1838103 1 - 0.0000 -
2242.94/2252.25 c 2252 4379168 1842767 1 - 0.0000 -
2248.02/2257.30 c 2257 4388491 1847566 1 - 0.0000 -
2253.00/2262.35 c 2262 4397915 1851900 1 - 0.0000 -
2258.08/2267.40 c 2267 4407463 1855745 1 - 0.0000 -
2263.06/2272.45 c 2272 4417065 1859914 1 - 0.0000 -
2268.14/2277.50 c 2278 4426453 1864499 1 - 0.0000 -
2273.13/2282.55 c 2283 4436155 1868484 1 - 0.0000 -
2278.22/2287.61 c 2288 4445516 1872291 1 - 0.0000 -
2283.19/2292.65 c 2293 4454613 1876878 1 - 0.0000 -
2288.28/2297.70 c 2298 4463837 1881479 1 - 0.0000 -
2293.26/2302.76 c 2303 4473046 1886534 1 - 0.0000 -
2298.34/2307.80 c 2308 4482219 1891161 1 - 0.0000 -
2303.32/2312.85 c 2313 4491356 1895684 1 - 0.0000 -
2308.41/2317.90 c 2318 4500860 1900208 1 - 0.0000 -
2313.39/2322.95 c 2323 4510091 1904542 1 - 0.0000 -
2318.37/2328.01 c 2328 4519533 1909319 1 - 0.0000 -
2323.46/2333.06 c 2333 4528953 1913680 1 - 0.0000 -
2328.45/2338.10 c 2338 4538119 1918220 1 - 0.0000 -
2333.53/2343.15 c 2343 4547256 1922542 1 - 0.0000 -
2338.60/2348.20 c 2348 4556589 1927146 1 - 0.0000 -
2343.58/2353.25 c 2353 4565929 1931729 1 - 0.0000 -
2348.66/2358.30 c 2358 4575434 1935927 1 - 0.0000 -
2353.65/2363.35 c 2363 4584835 1940566 1 - 0.0000 -
2358.73/2368.41 c 2368 4593940 1944797 1 - 0.0000 -
2363.71/2373.46 c 2373 4603136 1949368 1 - 0.0000 -
2368.79/2378.51 c 2379 4612606 1953512 1 - 0.0000 -
2373.78/2383.55 c 2384 4621690 1958052 1 - 0.0000 -
2378.86/2388.60 c 2389 4631140 1962249 1 - 0.0000 -
2383.84/2393.65 c 2394 4640472 1965802 1 - 0.0000 -
2388.93/2398.71 c 2399 4650000 1969419 1 - 0.0000 -
2393.91/2403.75 c 2404 4659210 1973038 1 - 0.0000 -
2398.99/2408.80 c 2409 4668461 1977523 1 - 0.0000 -
2403.97/2413.85 c 2414 4677707 1981982 1 - 0.0000 -
2409.06/2418.90 c 2419 4686968 1986209 1 - 0.0000 -
2414.03/2423.95 c 2424 4696445 1990478 1 - 0.0000 -
2419.02/2429.01 c 2429 4705716 1994480 1 - 0.0000 -
2424.11/2434.05 c 2434 4714877 1998200 1 - 0.0000 -
2429.10/2439.10 c 2439 4724168 2001817 1 - 0.0000 -
2434.18/2444.15 c 2444 4733355 2006322 1 - 0.0000 -
2439.24/2449.20 c 2449 4742514 2010386 1 - 0.0000 -
2444.23/2454.26 c 2454 4751821 2014498 1 - 0.0000 -
2449.31/2459.30 c 2459 4761386 2018767 1 - 0.0000 -
2454.29/2464.35 c 2464 4770595 2023373 1 - 0.0000 -
2459.38/2469.41 c 2469 4779946 2027598 1 - 0.0000 -
2464.36/2474.45 c 2474 4789238 2031844 1 - 0.0000 -
2469.44/2479.50 c 2480 4798251 2036387 1 - 0.0000 -
2474.43/2484.55 c 2485 4807277 2040862 1 - 0.0000 -
2479.51/2489.61 c 2490 4816328 2045398 1 - 0.0000 -
2484.49/2494.65 c 2495 4825409 2050071 1 - 0.0000 -
2489.57/2499.70 c 2500 4834795 2054558 1 - 0.0000 -
2494.55/2504.76 c 2505 4844186 2058988 1 - 0.0000 -
2499.64/2509.80 c 2510 4853296 2063148 1 - 0.0000 -
2504.62/2514.85 c 2515 4862357 2067987 1 - 0.0000 -
2509.70/2519.91 c 2520 4871428 2072491 1 - 0.0000 -
2514.69/2524.96 c 2525 4880307 2077202 1 - 0.0000 -
2519.67/2530.01 c 2530 4889451 2081540 1 - 0.0000 -
2524.76/2535.05 c 2535 4898444 2086092 1 - 0.0000 -
2529.74/2540.10 c 2540 4907605 2090654 1 - 0.0000 -
2534.83/2545.16 c 2545 4916757 2095476 1 - 0.0000 -
2539.90/2550.20 c 2550 4925961 2100305 1 - 0.0000 -
2544.88/2555.25 c 2555 4935067 2104646 1 - 0.0000 -
2549.96/2560.30 c 2560 4944425 2109045 1 - 0.0000 -
2554.94/2565.35 c 2565 4953730 2113264 1 - 0.0000 -
2560.03/2570.40 c 2570 4963061 2117208 1 - 0.0000 -
2565.01/2575.45 c 2575 4972278 2121234 1 - 0.0000 -
2570.09/2580.50 c 2581 4981447 2125265 1 - 0.0000 -
2575.07/2585.56 c 2586 4990557 2129194 1 - 0.0000 -
2580.15/2590.60 c 2591 4999738 2133508 1 - 0.0000 -
2585.14/2595.66 c 2596 5008771 2138008 1 - 0.0000 -
2590.22/2600.70 c 2601 5017935 2142712 1 - 0.0000 -
2595.20/2605.75 c 2606 5027135 2147216 1 - 0.0000 -
2600.29/2610.80 c 2611 5036266 2151626 1 - 0.0000 -
2605.27/2615.85 c 2616 5045353 2156227 1 - 0.0000 -
2610.35/2620.91 c 2621 5054381 2160674 1 - 0.0000 -
2615.34/2625.95 c 2626 5063644 2164988 1 - 0.0000 -
2620.32/2631.01 c 2631 5072790 2169151 1 - 0.0000 -
2625.40/2636.05 c 2636 5081920 2173819 1 - 0.0000 -
2630.39/2641.10 c 2641 5090928 2178466 1 - 0.0000 -
2635.48/2646.15 c 2646 5100060 2183408 1 - 0.0000 -
2640.55/2651.20 c 2651 5109323 2187898 1 - 0.0000 -
2645.53/2656.25 c 2656 5118410 2192822 1 - 0.0000 -
2650.61/2661.30 c 2661 5127756 2197695 1 - 0.0000 -
2655.59/2666.36 c 2666 5136812 2202346 1 - 0.0000 -
2660.67/2671.40 c 2671 5145870 2206919 1 - 0.0000 -
2665.65/2676.46 c 2676 5154633 2211510 1 - 0.0000 -
2670.74/2681.50 c 2682 5163527 2216262 1 - 0.0000 -
2675.72/2686.55 c 2687 5172523 2221065 1 - 0.0000 -
2680.80/2691.60 c 2692 5181753 2225598 1 - 0.0000 -
2685.78/2696.65 c 2697 5190511 2230218 1 - 0.0000 -
2690.87/2701.70 c 2702 5199591 2234846 1 - 0.0000 -
2695.85/2706.75 c 2707 5208823 2239256 1 - 0.0000 -
2700.93/2711.80 c 2712 5218363 2243643 1 - 0.0000 -
2705.92/2716.85 c 2717 5227820 2248127 1 - 0.0000 -
2710.99/2721.91 c 2722 5237161 2252308 1 - 0.0000 -
2715.98/2726.95 c 2727 5246570 2256046 1 - 0.0000 -
2720.96/2732.01 c 2732 5255856 2260151 1 - 0.0000 -
2726.06/2737.05 c 2737 5265071 2263937 1 - 0.0000 -
2731.04/2742.10 c 2742 5274388 2267820 1 - 0.0000 -
2736.12/2747.15 c 2747 5283757 2271989 1 - 0.0000 -
2741.19/2752.20 c 2752 5293132 2275984 1 - 0.0000 -
2746.17/2757.26 c 2757 5302440 2280089 1 - 0.0000 -
2751.25/2762.30 c 2762 5311294 2283817 1 - 0.0000 -
2756.23/2767.35 c 2767 5320640 2287821 1 - 0.0000 -
2761.30/2772.40 c 2772 5329914 2291819 1 - 0.0000 -
2766.28/2777.45 c 2777 5339165 2295734 1 - 0.0000 -
2771.36/2782.50 c 2783 5348261 2299391 1 - 0.0000 -
2776.34/2787.55 c 2788 5357525 2303085 1 - 0.0000 -
2781.41/2792.60 c 2793 5366646 2307159 1 - 0.0000 -
2786.39/2797.65 c 2798 5375851 2310820 1 - 0.0000 -
2791.47/2802.70 c 2803 5385225 2315255 1 - 0.0000 -
2796.45/2807.75 c 2808 5394395 2319656 1 - 0.0000 -
2801.52/2812.80 c 2813 5403691 2324272 1 - 0.0000 -
2806.50/2817.85 c 2818 5412672 2328661 1 - 0.0000 -
2811.57/2822.90 c 2823 5421826 2332978 1 - 0.0000 -
2816.55/2827.96 c 2828 5430991 2337094 1 - 0.0000 -
2821.53/2833.01 c 2833 5440148 2341556 1 - 0.0000 -
2826.62/2838.05 c 2838 5449220 2345754 1 - 0.0000 -
2831.60/2843.10 c 2843 5458298 2350120 1 - 0.0000 -
2836.67/2848.15 c 2848 5467342 2354935 1 - 0.0000 -
2841.74/2853.20 c 2853 5476535 2359085 1 - 0.0000 -
2846.71/2858.25 c 2858 5485654 2363433 1 - 0.0000 -
2851.79/2863.30 c 2863 5494956 2367616 1 - 0.0000 -
2856.76/2868.35 c 2868 5504223 2371508 1 - 0.0000 -
2861.84/2873.40 c 2873 5513243 2375899 1 - 0.0000 -
2866.82/2878.45 c 2878 5522647 2379969 1 - 0.0000 -
2871.90/2883.50 c 2884 5531776 2384090 1 - 0.0000 -
2876.87/2888.55 c 2889 5540764 2388678 1 - 0.0000 -
2881.95/2893.60 c 2894 5549515 2392699 1 - 0.0000 -
2886.93/2898.65 c 2899 5558625 2397059 1 - 0.0000 -
2892.01/2903.71 c 2904 5567691 2401141 1 - 0.0000 -
2896.99/2908.76 c 2909 5576642 2405363 1 - 0.0000 -
2902.06/2913.80 c 2914 5585744 2409642 1 - 0.0000 -
2907.04/2918.85 c 2919 5594878 2414074 1 - 0.0000 -
2912.12/2923.90 c 2924 5603649 2418030 1 - 0.0000 -
2917.09/2928.95 c 2929 5612686 2422346 1 - 0.0000 -
2922.06/2934.01 c 2934 5621731 2426316 1 - 0.0000 -
2927.15/2939.05 c 2939 5630651 2430425 1 - 0.0000 -
2932.23/2944.11 c 2944 5639517 2434631 1 - 0.0000 -
2937.21/2949.15 c 2949 5648872 2439122 1 - 0.0000 -
2942.27/2954.20 c 2954 5657867 2443218 1 - 0.0000 -
2947.25/2959.25 c 2959 5666791 2447625 1 - 0.0000 -
2952.33/2964.30 c 2964 5675811 2451708 1 - 0.0000 -
2957.30/2969.35 c 2969 5684351 2455266 1 - 0.0000 -
2962.38/2974.40 c 2974 5693200 2459050 1 - 0.0000 -
2967.36/2979.46 c 2979 5702230 2463296 1 - 0.0000 -
2972.44/2984.51 c 2985 5711209 2467522 1 - 0.0000 -
2977.41/2989.56 c 2990 5719956 2471533 1 - 0.0000 -
2982.49/2994.62 c 2995 5728823 2475627 1 - 0.0000 -
2987.47/2999.66 c 3000 5737826 2479537 1 - 0.0000 -
2992.55/3004.71 c 3005 5746807 2483578 1 - 0.0000 -
2997.52/3009.77 c 3010 5755418 2487437 1 - 0.0000 -
3002.60/3014.82 c 3015 5764157 2491841 1 - 0.0000 -
3007.58/3019.86 c 3020 5773075 2496486 1 - 0.0000 -
3012.65/3024.92 c 3025 5782098 2500772 1 - 0.0000 -
3017.63/3029.97 c 3030 5791086 2504628 1 - 0.0000 -
3022.71/3035.02 c 3035 5799832 2509010 1 - 0.0000 -
3027.69/3040.06 c 3040 5808933 2513628 1 - 0.0000 -
3032.77/3045.11 c 3045 5818107 2517941 1 - 0.0000 -
3037.76/3050.16 c 3050 5827057 2521487 1 - 0.0000 -
3042.83/3055.21 c 3055 5836219 2525612 1 - 0.0000 -
3047.81/3060.27 c 3060 5845171 2529218 1 - 0.0000 -
3052.90/3065.32 c 3065 5854196 2533895 1 - 0.0000 -
3057.88/3070.36 c 3070 5863270 2538042 1 - 0.0000 -
3062.96/3075.42 c 3075 5872420 2542363 1 - 0.0000 -
3067.94/3080.46 c 3080 5881491 2546607 1 - 0.0000 -
3073.03/3085.51 c 3086 5890614 2550475 1 - 0.0000 -
3078.01/3090.56 c 3091 5899487 2554169 1 - 0.0000 -
3083.09/3095.61 c 3096 5908646 2558631 1 - 0.0000 -
3088.07/3100.66 c 3101 5917785 2562905 1 - 0.0000 -
3093.16/3105.71 c 3106 5927052 2567091 1 - 0.0000 -
3098.14/3110.76 c 3111 5936339 2570911 1 - 0.0000 -
3103.22/3115.81 c 3116 5945533 2575161 1 - 0.0000 -
3108.20/3120.86 c 3121 5954537 2579092 1 - 0.0000 -
3113.28/3125.91 c 3126 5963111 2582548 1 - 0.0000 -
3118.27/3130.97 c 3131 5971845 2586455 1 - 0.0000 -
3123.36/3136.01 c 3136 5980679 2590835 1 - 0.0000 -
3128.34/3141.06 c 3141 5989899 2594909 1 - 0.0000 -
3133.42/3146.11 c 3146 5999129 2598416 1 - 0.0000 -
3138.41/3151.16 c 3151 6008214 2602428 1 - 0.0000 -
3143.47/3156.22 c 3156 6017395 2606260 1 - 0.0000 -
3148.46/3161.26 c 3161 6026600 2610197 1 - 0.0000 -
3153.55/3166.31 c 3166 6035845 2614184 1 - 0.0000 -
3158.52/3171.36 c 3171 6044723 2618055 1 - 0.0000 -
3163.61/3176.41 c 3176 6053909 2621801 1 - 0.0000 -
3168.60/3181.46 c 3181 6062923 2625752 1 - 0.0000 -
3173.67/3186.51 c 3187 6072036 2629857 1 - 0.0000 -
3178.65/3191.56 c 3192 6081051 2634019 1 - 0.0000 -
3183.74/3196.61 c 3197 6089959 2638379 1 - 0.0000 -
3188.72/3201.66 c 3202 6099063 2642072 1 - 0.0000 -
3193.80/3206.71 c 3207 6108204 2645753 1 - 0.0000 -
3198.78/3211.77 c 3212 6117158 2649577 1 - 0.0000 -
3203.87/3216.81 c 3217 6126105 2654522 1 - 0.0000 -
3208.85/3221.87 c 3222 6134913 2658619 1 - 0.0000 -
3213.93/3226.91 c 3227 6143828 2662614 1 - 0.0000 -
3218.92/3231.96 c 3232 6152722 2666625 1 - 0.0000 -
3224.01/3237.01 c 3237 6161607 2670617 1 - 0.0000 -
3228.99/3242.07 c 3242 6170270 2674677 1 - 0.0000 -
3234.08/3247.11 c 3247 6179334 2678851 1 - 0.0000 -
3239.06/3252.16 c 3252 6188331 2682526 1 - 0.0000 -
3244.13/3257.21 c 3257 6197367 2686510 1 - 0.0000 -
3249.11/3262.26 c 3262 6206392 2690516 1 - 0.0000 -
3254.19/3267.31 c 3267 6215514 2694510 1 - 0.0000 -
3259.18/3272.36 c 3272 6224431 2698526 1 - 0.0000 -
3264.26/3277.42 c 3277 6233534 2702258 1 - 0.0000 -
3269.24/3282.46 c 3282 6242457 2706479 1 - 0.0000 -
3274.32/3287.51 c 3288 6251426 2710289 1 - 0.0000 -
3279.31/3292.56 c 3293 6260302 2714135 1 - 0.0000 -
3284.38/3297.61 c 3298 6269386 2717725 1 - 0.0000 -
3289.37/3302.66 c 3303 6278439 2721117 1 - 0.0000 -
3294.45/3307.71 c 3308 6287406 2725000 1 - 0.0000 -
3299.43/3312.77 c 3313 6296661 2728674 1 - 0.0000 -
3304.51/3317.81 c 3318 6305638 2732554 1 - 0.0000 -
3309.50/3322.86 c 3323 6314307 2736283 1 - 0.0000 -
3314.58/3327.91 c 3328 6323104 2740022 1 - 0.0000 -
3319.57/3332.96 c 3333 6332228 2743818 1 - 0.0000 -
3324.65/3338.02 c 3338 6340851 2747480 1 - 0.0000 -
3329.63/3343.06 c 3343 6349789 2751579 1 - 0.0000 -
3334.71/3348.11 c 3348 6358782 2755445 1 - 0.0000 -
3339.69/3353.16 c 3353 6367643 2759252 1 - 0.0000 -
3344.77/3358.21 c 3358 6376374 2762890 1 - 0.0000 -
3349.75/3363.27 c 3363 6385173 2766298 1 - 0.0000 -
3354.83/3368.31 c 3368 6394181 2770270 1 - 0.0000 -
3359.82/3373.36 c 3373 6403387 2774687 1 - 0.0000 -
3364.90/3378.41 c 3378 6412505 2778983 1 - 0.0000 -
3369.88/3383.47 c 3383 6421699 2782909 1 - 0.0000 -
3374.96/3388.51 c 3389 6430853 2786617 1 - 0.0000 -
3379.94/3393.56 c 3394 6439935 2790094 1 - 0.0000 -
3385.03/3398.62 c 3399 6448863 2793989 1 - 0.0000 -
3390.01/3403.67 c 3404 6458011 2797959 1 - 0.0000 -
3395.09/3408.71 c 3409 6467111 2801777 1 - 0.0000 -
3400.07/3413.76 c 3414 6476141 2805417 1 - 0.0000 -
3405.16/3418.81 c 3419 6484932 2809671 1 - 0.0000 -
3410.13/3423.86 c 3424 6493751 2813861 1 - 0.0000 -
3415.21/3428.91 c 3429 6502539 2818166 1 - 0.0000 -
3420.19/3433.96 c 3434 6511302 2822552 1 - 0.0000 -
3425.29/3439.01 c 3439 6520207 2826381 1 - 0.0000 -
3430.26/3444.06 c 3444 6529202 2830841 1 - 0.0000 -
3435.34/3449.11 c 3449 6537998 2835086 1 - 0.0000 -
3440.31/3454.16 c 3454 6546892 2839105 1 - 0.0000 -
3445.38/3459.21 c 3459 6555904 2842960 1 - 0.0000 -
3450.35/3464.26 c 3464 6564943 2847104 1 - 0.0000 -
3455.43/3469.31 c 3469 6573885 2851847 1 - 0.0000 -
3460.41/3474.37 c 3474 6582791 2856206 1 - 0.0000 -
3465.48/3479.41 c 3479 6591684 2860245 1 - 0.0000 -
3470.46/3484.46 c 3484 6600534 2864545 1 - 0.0000 -
3475.54/3489.52 c 3490 6609372 2868630 1 - 0.0000 -
3480.52/3494.56 c 3495 6618299 2872985 1 - 0.0000 -
3485.59/3499.61 c 3500 6626670 2876885 1 - 0.0000 -
3490.57/3504.67 c 3505 6635556 2881594 1 - 0.0000 -
3495.64/3509.71 c 3510 6644167 2886219 1 - 0.0000 -
3500.63/3514.77 c 3515 6652975 2891147 1 - 0.0000 -
3505.70/3519.82 c 3520 6661572 2895522 1 - 0.0000 -
3510.67/3524.86 c 3525 6670256 2900337 1 - 0.0000 -
3515.75/3529.91 c 3530 6678960 2904769 1 - 0.0000 -
3520.73/3534.96 c 3535 6687629 2908994 1 - 0.0000 -
3525.81/3540.01 c 3540 6696302 2913662 1 - 0.0000 -
3530.80/3545.06 c 3545 6705057 2918015 1 - 0.0000 -
3535.88/3550.11 c 3550 6713924 2922071 1 - 0.0000 -
3540.85/3555.16 c 3555 6722701 2926328 1 - 0.0000 -
3545.92/3560.21 c 3560 6731852 2930344 1 - 0.0000 -
3550.89/3565.26 c 3565 6740774 2933917 1 - 0.0000 -
3555.97/3570.31 c 3570 6749661 2937811 1 - 0.0000 -
3560.94/3575.36 c 3575 6758527 2941823 1 - 0.0000 -
3566.02/3580.43 c 3580 6767627 2945636 1 - 0.0000 -
3571.00/3585.47 c 3585 6776594 2949572 1 - 0.0000 -
3576.07/3590.53 c 3591 6785375 2953363 1 - 0.0000 -
3581.05/3595.57 c 3596 6794466 2957100 1 - 0.0000 -
3591.41/3605.94 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.41/3605.94 c Total Time : 3605.9400
3591.41/3605.94 c solving : 3605.9400
3591.41/3605.94 c presolving : 0.0420 (included in solving)
3591.41/3605.94 c B&B Tree :
3591.41/3605.94 c nodes (total) : 1
3591.41/3605.94 c Solution :
3591.41/3605.94 c Solutions found : 0
3591.41/3605.94 c Primal Bound : -
3591.41/3605.94 c Dual Bound : +0.00000000000000e+00
3591.41/3605.94 c Gap : -
3591.41/3605.99 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62793 MiB free)
memory of node 1: 64510 MiB (62963 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448240-1721363854/watcher-4448240-1721363854 -o /tmp/evaluation-result-4448240-1721363854/solver-4448240-1721363854 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988424 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448240-1721363854.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=988642, runsolver pid=988639
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 3.66 4.01 4.09 5/254 988645
/proc/meminfo: memFree=128757048/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=116620 memory=28408 CPUtime=0.09 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 4614 0 0 0 8 1 0 0 20 0 3 0 188544996 119418880 7102 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 29155 7102 2782 3032 0 10681 0
[pid=988642/tid=988644] ppid=988639 vsize=116620 memory=4026561586 CPUtime=0.02 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 1223 0 0 0 2 0 0 0 20 0 3 0 188545002 119418880 7102 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=116620 memory=232851243367 CPUtime=0 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188545004 119418880 7102 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 116620 KiB
Current children cumulated memory: 28408 KiB
[startup+0.214074 s]*
/proc/loadavg: 3.66 4.01 4.09 5/254 988645
/proc/meminfo: memFree=128753368/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=116620 memory=32320 CPUtime=0.19 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 5452 0 0 0 18 1 0 0 20 0 3 0 188544996 119418880 8080 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 29155 8080 2910 3032 0 11545 0
[pid=988642/tid=988644] ppid=988639 vsize=116620 memory=4782652875487838339 CPUtime=0.11 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 2061 0 0 0 11 0 0 0 20 0 3 0 188545002 119418880 8080 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=116620 memory=671 CPUtime=0 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188545004 119418880 8080 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 116620 KiB
Current children cumulated memory: 32320 KiB
[startup+0.313076 s]*
/proc/loadavg: 3.66 4.01 4.09 5/254 988645
/proc/meminfo: memFree=128747320/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=116620 memory=38188 CPUtime=0.28 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 6923 0 0 0 26 2 0 0 20 0 3 0 188544996 119418880 9547 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 29155 9547 2926 3032 0 13385 0
[pid=988642/tid=988644] ppid=988639 vsize=116620 memory=-6513441351753972579 CPUtime=0.21 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 3532 0 0 0 20 1 0 0 20 0 3 0 188545002 119418880 9547 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=116620 memory=0 CPUtime=0 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188545004 119418880 9547 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 116620 KiB
Current children cumulated memory: 38188 KiB
[startup+0.700323 s]
/proc/loadavg: 3.66 4.01 4.09 5/254 988645
/proc/meminfo: memFree=128740048/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=116620 memory=38512 CPUtime=0.66 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 6977 0 0 0 64 2 0 0 20 0 3 0 188544996 119418880 9628 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 29155 9628 2942 3032 0 13385 0
[pid=988642/tid=988644] ppid=988639 vsize=116620 memory=0 CPUtime=0.58 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 3586 0 0 0 57 1 0 0 20 0 3 0 188545002 119418880 9628 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=116620 memory=0 CPUtime=0 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188545004 119418880 9628 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 116620 KiB
Current children cumulated memory: 38512 KiB
[startup+1.50033 s]
/proc/loadavg: 3.66 4.01 4.09 5/254 988645
/proc/meminfo: memFree=128732628/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=117560 memory=48988 CPUtime=1.45 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 13071 0 0 0 142 3 0 0 20 0 3 0 188544996 120381440 12247 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 29390 12247 2942 3032 0 15747 0
[pid=988642/tid=988644] ppid=988639 vsize=117560 memory=0 CPUtime=1.38 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 9680 0 0 0 136 2 0 0 20 0 3 0 188545002 120381440 12247 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=117560 memory=0 CPUtime=0 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188545004 120381440 12247 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 117560 KiB
Current children cumulated memory: 48988 KiB
[startup+3.113 s]
/proc/loadavg: 3.68 4.01 4.09 5/254 988646
/proc/meminfo: memFree=128711628/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=117560 memory=53264 CPUtime=3.05 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 17811 0 0 0 302 3 0 0 20 0 3 0 188544996 120381440 13316 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 29390 13316 2942 3032 0 16895 0
[pid=988642/tid=988644] ppid=988639 vsize=117560 memory=0 CPUtime=2.98 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 14406 0 0 0 296 2 0 0 20 0 3 0 188545002 120381440 13316 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=117560 memory=2273 CPUtime=0 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 188545004 120381440 13316 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 117560 KiB
Current children cumulated memory: 53264 KiB
[startup+6.30031 s]
/proc/loadavg: 3.68 4.01 4.09 5/254 988646
/proc/meminfo: memFree=128691184/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=117560 memory=58260 CPUtime=6.23 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 25665 0 0 0 619 4 0 0 20 0 3 0 188544996 120381440 14565 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 29390 14565 2942 3032 0 18036 0
[pid=988642/tid=988644] ppid=988639 vsize=117560 memory=54824 CPUtime=6.16 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 22237 0 0 0 613 3 0 0 20 0 3 0 188545002 120381440 14565 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=117560 memory=-6513441351753972579 CPUtime=0 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 188545004 120381440 14565 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 117560 KiB
Current children cumulated memory: 58260 KiB
[startup+12.7003 s]
/proc/loadavg: 3.71 4.01 4.09 5/254 988648
/proc/meminfo: memFree=128667916/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=117560 memory=67148 CPUtime=12.61 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 39869 0 0 0 1253 8 0 0 20 0 3 0 188544996 120381440 16787 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 29390 16787 2990 3032 0 20478 0
[pid=988642/tid=988644] ppid=988639 vsize=117560 memory=164 CPUtime=12.54 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 36399 0 0 0 1247 7 0 0 20 0 3 0 188545002 120381440 16787 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=117560 memory=60988 CPUtime=0 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 188545004 120381440 16787 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 117560 KiB
Current children cumulated memory: 67148 KiB
[startup+25.5004 s]
/proc/loadavg: 3.85 4.02 4.09 5/254 988649
/proc/meminfo: memFree=128617584/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=117560 memory=72224 CPUtime=25.36 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 58615 0 0 0 2523 13 0 0 20 0 3 0 188544996 120381440 18056 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 29390 18056 2990 3032 0 21691 0
[pid=988642/tid=988644] ppid=988639 vsize=117560 memory=72200 CPUtime=25.28 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 55086 0 0 0 2516 12 0 0 20 0 3 0 188545002 120381440 18056 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=117560 memory=11464 CPUtime=0 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 188545004 120381440 18056 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 117560 KiB
Current children cumulated memory: 72224 KiB
[startup+51.1131 s]
/proc/loadavg: 3.90 4.02 4.09 5/254 988652
/proc/meminfo: memFree=128508492/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=183096 memory=99912 CPUtime=50.89 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 95938 0 0 0 5064 25 0 0 20 0 3 0 188544996 187490304 24978 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 45774 24978 2990 3032 0 28591 0
[pid=988642/tid=988644] ppid=988639 vsize=183096 memory=89888 CPUtime=50.8 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 92333 0 0 0 5057 23 0 0 20 0 3 0 188545002 187490304 24978 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=183096 memory=73324 CPUtime=0 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 188545004 187490304 24978 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 183096 KiB
Current children cumulated memory: 99912 KiB
[startup+102.3 s]
/proc/loadavg: 4.06 4.05 4.09 5/254 988662
/proc/meminfo: memFree=128304332/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=183096 memory=123688 CPUtime=101.9 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 153948 0 0 0 10147 43 0 0 20 0 3 0 188544996 187490304 30922 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 45774 30922 2990 3032 0 36183 0
[pid=988642/tid=988644] ppid=988639 vsize=183096 memory=12776 CPUtime=101.81 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 150262 0 0 0 10140 41 0 0 20 0 3 0 188545002 187490304 30922 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=183096 memory=122968 CPUtime=0 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 188545004 187490304 30922 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 183096 KiB
Current children cumulated memory: 123688 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.07 4.09 5/254 988720
/proc/meminfo: memFree=128223528/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=251200 memory=174220 CPUtime=161.69 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 194567 0 0 0 16104 65 0 0 20 0 3 0 188544996 257228800 43555 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 62800 43555 2990 3032 0 48203 0
[pid=988642/tid=988644] ppid=988639 vsize=251200 memory=11464 CPUtime=161.6 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 190825 0 0 0 16096 64 0 0 20 0 3 0 188545002 257228800 43555 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=251200 memory=173520 CPUtime=0 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 188545004 257228800 43555 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 251200 KiB
################
# More data... #
################
Current children cumulated memory: 3358864 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.12 5/251 990487
/proc/meminfo: memFree=114706172/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=3519700 memory=3409624 CPUtime=3388.71 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 3358854 0 0 0 337465 1406 0 0 20 0 3 0 188544996 3604172800 852406 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 879925 852406 2990 3032 0 860079 0
[pid=988642/tid=988644] ppid=988639 vsize=3519700 memory=3389648 CPUtime=3388.32 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 3353854 0 0 0 337432 1400 0 0 20 0 3 0 188545002 3604172800 852406 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=3519700 memory=44240 CPUtime=0.04 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 128 0 0 0 1 3 0 0 20 0 3 0 188545004 3604172800 852406 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 3388.71 s
Current children cumulated vsize: 3519700 KiB
Current children cumulated memory: 3409624 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/251 990497
/proc/meminfo: memFree=114461900/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=3589348 memory=3469328 CPUtime=3448.47 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 3403241 0 0 0 343420 1427 0 0 20 0 3 0 188544996 3675492352 867332 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 897337 867332 2990 3032 0 874464 0
[pid=988642/tid=988644] ppid=988639 vsize=3589348 memory=3389648 CPUtime=3448.06 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 3398236 0 0 0 343386 1420 0 0 20 0 3 0 188545002 3675492352 867332 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=3589348 memory=6720669839541158507 CPUtime=0.04 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 130 0 0 0 1 3 0 0 20 0 3 0 188545004 3675492352 867332 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 3448.47 s
Current children cumulated vsize: 3589348 KiB
Current children cumulated memory: 3469328 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/249 990509
/proc/meminfo: memFree=114220084/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=3592432 memory=3526508 CPUtime=3508.19 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 3462876 0 0 0 349368 1451 0 0 20 0 3 0 188544996 3678650368 881627 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 898108 881627 2990 3032 0 888739 0
[pid=988642/tid=988644] ppid=988639 vsize=3592432 memory=11464 CPUtime=3507.78 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 3457846 0 0 0 349334 1444 0 0 20 0 3 0 188545002 3678650368 881627 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=3592432 memory=16116 CPUtime=0.04 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 132 0 0 0 1 3 0 0 20 0 3 0 188545004 3678650368 881627 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 3508.19 s
Current children cumulated vsize: 3592432 KiB
Current children cumulated memory: 3526508 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/249 990519
/proc/meminfo: memFree=113981324/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=3661052 memory=3584840 CPUtime=3567.91 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 3513842 0 0 0 355320 1471 0 0 20 0 3 0 188544996 3748917248 896210 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 915263 896210 2990 3032 0 903304 0
[pid=988642/tid=988644] ppid=988639 vsize=3661052 memory=12776 CPUtime=3567.5 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 3508787 0 0 0 355285 1465 0 0 20 0 3 0 188545002 3748917248 896210 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=3661052 memory=44240 CPUtime=0.04 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 134 0 0 0 1 3 0 0 20 0 3 0 188545004 3748917248 896210 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 3567.91 s
Current children cumulated vsize: 3661052 KiB
Current children cumulated memory: 3584840 KiB
[startup+3606.12 s]
# the end of solver process 988642 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.22 s, system=15.4008 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.12 4.11 5/249 990519
/proc/meminfo: memFree=113974068/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=3661052 memory=3585868 CPUtime=3569.62 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 3514348 0 0 0 355490 1472 0 0 20 0 3 0 188544996 3748917248 896467 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 915263 896467 2990 3032 0 903560 0
[pid=988642/tid=988644] ppid=988639 vsize=3661052 memory=6720661034874978925 CPUtime=3569.2 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 3509293 0 0 0 355455 1465 0 0 20 0 3 0 188545002 3748917248 896467 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=3661052 memory=-8549727008118850967 CPUtime=0.04 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 134 0 0 0 1 3 0 0 20 0 3 0 188545004 3748917248 896467 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 3569.62 s
Current children cumulated vsize: 3661052 KiB
Current children cumulated memory: 3585868 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.13 4.12 5/249 990617
/proc/meminfo: memFree=121730136/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=3663108 memory=3595540 CPUtime=3582.35 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 3525719 0 0 0 356759 1476 0 0 20 0 3 0 188544996 3751022592 898885 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 915777 898885 2990 3032 0 905963 0
[pid=988642/tid=988644] ppid=988639 vsize=3663108 memory=3588948 CPUtime=3581.93 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 3520644 0 0 0 356724 1469 0 0 20 0 3 0 188545002 3751022592 898885 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=3663108 memory=11464 CPUtime=0.04 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 134 0 0 0 1 3 0 0 20 0 3 0 188545004 3751022592 898885 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 3582.35 s
Current children cumulated vsize: 3663108 KiB
Current children cumulated memory: 3595540 KiB
[startup+3600 s]*
/proc/loadavg: 4.14 4.13 4.11 6/249 990713
/proc/meminfo: memFree=121711760/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=3663108 memory=3598296 CPUtime=3585.55 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 3539176 0 0 0 357077 1478 0 0 20 0 3 0 188544996 3751022592 899574 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 915777 899574 2990 3032 0 906651 0
[pid=988642/tid=988644] ppid=988639 vsize=3663108 memory=-6729341450689100645 CPUtime=3585.13 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 3535550 0 0 0 357041 1472 0 0 20 0 3 0 188545002 3751022592 899574 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=3663108 memory=1684 CPUtime=0.04 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 134 0 0 0 1 3 0 0 20 0 3 0 188545004 3751022592 899574 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 3585.55 s
Current children cumulated vsize: 3663108 KiB
Current children cumulated memory: 3598296 KiB
[startup+3603.2 s]
/proc/loadavg: 4.13 4.13 4.11 5/249 990714
/proc/meminfo: memFree=121686016/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=3658996 memory=3594192 CPUtime=3588.73 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 4017548 0 0 0 357366 1507 0 0 20 0 3 0 188544996 3746811904 898548 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 914749 898548 2990 3032 0 905623 0
[pid=988642/tid=988644] ppid=988639 vsize=3658996 memory=3590744 CPUtime=3588.3 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 4012527 0 0 0 357330 1500 0 0 20 0 3 0 188545002 3746811904 898548 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=3658996 memory=3587920 CPUtime=0.04 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 134 0 0 0 1 3 0 0 20 0 3 0 188545004 3746811904 898548 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 3588.73 s
Current children cumulated vsize: 3658996 KiB
Current children cumulated memory: 3594192 KiB
[startup+3604.8 s]
/proc/loadavg: 4.13 4.13 4.11 5/249 990762
/proc/meminfo: memFree=121712764/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=3638444 memory=3573772 CPUtime=3590.32 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 4192551 0 0 0 357515 1517 0 0 20 0 3 0 188544996 3725766656 893443 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 909611 893443 2990 3032 0 900485 0
[pid=988642/tid=988644] ppid=988639 vsize=3638444 memory=11464 CPUtime=3589.91 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 4187482 0 0 0 357480 1511 0 0 20 0 3 0 188545002 3725766656 893443 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=3638444 memory=3594192 CPUtime=0.04 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 134 0 0 0 1 3 0 0 20 0 3 0 188545004 3725766656 893443 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 3590.32 s
Current children cumulated vsize: 3638444 KiB
Current children cumulated memory: 3573772 KiB
[startup+3605.6 s]
/proc/loadavg: 4.13 4.13 4.11 5/249 990762
/proc/meminfo: memFree=121737396/131655788 swapFree=131071996/131071996
[pid=988642] ppid=988639 vsize=3512000 memory=3447348 CPUtime=3591.12 cores=4,6
/proc/988642/stat : 988642 (fscip) S 988639 988642 988413 0 -1 1077936128 4255502 0 0 0 357590 1522 0 0 20 0 3 0 188544996 3596288000 861837 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
/proc/988642/statm: 878000 861837 2990 3032 0 868874 0
[pid=988642/tid=988644] ppid=988639 vsize=3512000 memory=11464 CPUtime=3590.7 cores=4,6
/proc/988642/task/988644/stat : 988644 (fscip) R 988639 988642 988413 0 -1 4194368 4250438 0 0 0 357555 1515 0 0 20 0 3 0 188545002 3596288000 861837 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
[pid=988642/tid=988645] ppid=988639 vsize=3512000 memory=3591108 CPUtime=0.04 cores=4,6
/proc/988642/task/988645/stat : 988645 (fscip) S 988639 988642 988413 0 -1 1077936192 134 0 0 0 1 3 0 0 20 0 3 0 188545004 3596288000 861837 134679101440 4194304 16613245 140731671550768 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47292416 140731671557140 140731671557256 140731671557256 140731671564272 0
Current children cumulated CPU time: 3591.12 s
Current children cumulated vsize: 3512000 KiB
Current children cumulated memory: 3447348 KiB
[startup+3606.02 s]*
/proc/loadavg: 4.13 4.13 4.11 5/248 990762
/proc/meminfo: memFree=123839864/131655788 swapFree=131071996/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): 3606.12
CPU time (s): 3591.63
CPU user time (s): 3576.22
CPU system time (s): 15.4008
CPU usage (%): 99.5981
Max. virtual memory (cumulated for all children) (KiB): 3663108
Max. memory (cumulated for all children) (KiB): 3598296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.22
system time used= 15.4008
maximum resident set size= 3598296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4288448
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= 10901
involuntary context switches= 4834
# summary of solver processes directly reported to runsolver:
# pid: 988642
# total CPU time (s): 3591.63
# total CPU user time (s): 3576.22
# total CPU system time (s): 15.4008
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2471 second user time and 34.7341 second system time
The end
Begin job on nodeC009 at 2024-07-19 06:37:46
IDJOB=4448240
IDBENCH=160378
IDSOLVER=3064
FILE ID=nodeC009/4448240-1721363854
RUNJOBID= nodeC009-1721363855-988424
SLURM_JOB_ID= 7542791
Free space on /tmp= 723688 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x80split.cnf-plain.pb.metafix.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448240-1721363854/watcher-4448240-1721363854 -o /tmp/evaluation-result-4448240-1721363854/solver-4448240-1721363854 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988424 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448240-1721363854.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 66026fe28787f3770fd653fb30d65540
RANDOM SEED=1827639982
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3665.468
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3673.433
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.504
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.454
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.322
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3673.752
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.319
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.536
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128775012 kB
MemAvailable: 129759772 kB
Buffers: 546792 kB
Cached: 1274636 kB
SwapCached: 0 kB
Active: 1075696 kB
Inactive: 1256424 kB
Active(anon): 1452 kB
Inactive(anon): 546932 kB
Active(file): 1074244 kB
Inactive(file): 709492 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113576 kB
Writeback: 0 kB
AnonPages: 510736 kB
Mapped: 142236 kB
Shmem: 37700 kB
KReclaimable: 82112 kB
Slab: 182048 kB
SReclaimable: 82112 kB
SUnreclaim: 99936 kB
KernelStack: 4032 kB
PageTables: 10072 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 793016 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59360 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 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: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723660 MiB
End job on nodeC009 at 2024-07-19 07:37:52