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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 24682496, getVmSize() = 24682496, SCIPgetMemUsed() = 2177715, SCIPgetMemTotal() = 3179387, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.02 c ** Estimated virtualMemUsedAtSolver = 18673664, getVmSize() = 31338496, SCIPgetMemUsed() = 6085143, SCIPgetMemTotal() = 8801143, SCIPgetMemExternEstim() = 1048576
0.00/0.02 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02 c Original Problem :
0.00/0.02 c Problem name : instance-4448690-1721367454
0.00/0.02 c Variables : 601 (601 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 301
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 600 (600 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 300
0.00/0.02 c Constraints : Number
0.00/0.02 c linear : 300
0.00/0.02 c ** Instance transfer method used: 0
0.00/0.03 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.04 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.04 c Nodes Active
0.00/0.04 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.17/5.38 c 5 2173 1592 1 - 0.0000 -
10.22/10.44 c 10 10523 6882 1 - 0.0000 -
15.20/15.49 c 16 21137 12686 1 - 0.0000 -
20.28/20.59 c 21 28074 535 1 - 0.0000 -
25.35/25.66 c 26 34394 5293 1 - 0.0000 -
30.44/30.71 c 31 46436 13112 1 - 0.0000 -
35.42/35.76 c 36 58024 20724 1 - 0.0000 -
40.50/40.81 c 41 70680 27729 1 - 0.0000 -
45.49/45.87 c 46 82025 34545 1 - 0.0000 -
50.57/50.92 c 51 93038 42573 1 - 0.0000 -
55.54/55.97 c 56 107165 50562 1 - 0.0000 -
60.63/61.02 c 61 119022 57860 1 - 0.0000 -
65.62/66.06 c 66 130421 66176 1 - 0.0000 -
70.60/71.11 c 71 141265 73808 1 - 0.0000 -
75.68/76.16 c 76 152587 80664 1 - 0.0000 -
80.75/81.21 c 81 164684 87041 1 - 0.0000 -
85.73/86.26 c 86 175194 95222 1 - 0.0000 -
90.81/91.31 c 91 185083 101305 1 - 0.0000 -
95.79/96.36 c 96 195962 108706 1 - 0.0000 -
100.88/101.41 c 101 207528 115867 1 - 0.0000 -
105.86/106.46 c 106 219621 122988 1 - 0.0000 -
110.93/111.51 c 112 231725 129442 1 - 0.0000 -
115.92/116.56 c 117 243506 136310 1 - 0.0000 -
121.00/121.61 c 122 254421 143857 1 - 0.0000 -
125.98/126.66 c 127 265969 150064 1 - 0.0000 -
131.07/131.71 c 132 276479 156281 1 - 0.0000 -
136.04/136.76 c 137 287801 162544 1 - 0.0000 -
141.13/141.81 c 142 298957 171295 1 - 0.0000 -
146.12/146.86 c 147 309822 179185 1 - 0.0000 -
151.19/151.91 c 152 321121 185516 1 - 0.0000 -
156.18/156.96 c 157 332667 191179 1 - 0.0000 -
161.14/162.01 c 162 345592 197538 1 - 0.0000 -
166.24/167.06 c 167 357818 203289 1 - 0.0000 -
171.21/172.11 c 172 369560 207959 1 - 0.0000 -
176.29/177.16 c 177 378111 213948 1 - 0.0000 -
181.35/182.21 c 182 386155 219708 1 - 0.0000 -
186.33/187.26 c 187 395164 226259 1 - 0.0000 -
191.40/192.31 c 192 405920 233311 1 - 0.0000 -
196.39/197.36 c 197 417217 238656 1 - 0.0000 -
201.47/202.41 c 202 428387 245270 1 - 0.0000 -
206.44/207.46 c 207 439195 250604 1 - 0.0000 -
211.53/212.51 c 213 450930 255907 1 - 0.0000 -
216.50/217.56 c 218 460995 260820 1 - 0.0000 -
221.57/222.61 c 223 470111 265854 1 - 0.0000 -
226.55/227.66 c 228 479216 273836 1 - 0.0000 -
231.63/232.71 c 233 488660 281817 1 - 0.0000 -
236.61/237.76 c 238 497240 287259 1 - 0.0000 -
241.68/242.81 c 243 507193 292143 1 - 0.0000 -
246.66/247.86 c 248 517564 297662 1 - 0.0000 -
251.73/252.91 c 253 527875 301256 1 - 0.0000 -
256.72/257.95 c 258 537826 306843 1 - 0.0000 -
261.70/263.01 c 263 549141 312137 1 - 0.0000 -
266.79/268.05 c 268 558161 318124 1 - 0.0000 -
271.76/273.10 c 273 568707 323499 1 - 0.0000 -
276.84/278.16 c 278 578927 328904 1 - 0.0000 -
281.91/283.21 c 283 588412 334630 1 - 0.0000 -
286.89/288.26 c 288 598562 341098 1 - 0.0000 -
291.97/293.31 c 293 609136 346423 1 - 0.0000 -
296.95/298.36 c 298 619160 352780 1 - 0.0000 -
302.03/303.41 c 303 628375 357907 1 - 0.0000 -
307.02/308.46 c 308 638066 363774 1 - 0.0000 -
312.10/313.51 c 314 647002 368344 1 - 0.0000 -
317.09/318.56 c 319 656101 373685 1 - 0.0000 -
322.16/323.61 c 324 664299 377914 1 - 0.0000 -
327.15/328.66 c 329 672219 381338 1 - 0.0000 -
332.23/333.71 c 334 680740 384581 1 - 0.0000 -
337.21/338.76 c 339 688415 386780 1 - 0.0000 -
342.29/343.81 c 344 697651 390652 1 - 0.0000 -
347.27/348.86 c 349 707735 394112 1 - 0.0000 -
352.36/353.91 c 354 715834 398829 1 - 0.0000 -
357.34/358.96 c 359 723322 403520 1 - 0.0000 -
362.31/364.01 c 364 731651 409244 1 - 0.0000 -
367.41/369.06 c 369 741287 414588 1 - 0.0000 -
372.49/374.11 c 374 749847 418897 1 - 0.0000 -
377.47/379.16 c 379 758680 424382 1 - 0.0000 -
382.54/384.21 c 384 765872 430533 1 - 0.0000 -
387.52/389.26 c 389 773422 437251 1 - 0.0000 -
392.61/394.31 c 394 781099 444230 1 - 0.0000 -
397.59/399.36 c 399 789637 451367 1 - 0.0000 -
402.66/404.41 c 404 797029 458304 1 - 0.0000 -
407.65/409.46 c 409 804753 465234 1 - 0.0000 -
412.73/414.51 c 415 813000 472694 1 - 0.0000 -
417.72/419.56 c 420 820904 479262 1 - 0.0000 -
422.80/424.61 c 425 828622 485905 1 - 0.0000 -
427.78/429.66 c 430 835482 491703 1 - 0.0000 -
432.86/434.71 c 435 843315 498609 1 - 0.0000 -
437.85/439.76 c 440 851994 505284 1 - 0.0000 -
442.93/444.81 c 445 859271 509315 1 - 0.0000 -
447.91/449.86 c 450 867560 512489 1 - 0.0000 -
452.99/454.91 c 455 876156 515766 1 - 0.0000 -
457.98/459.96 c 460 884220 521598 1 - 0.0000 -
462.94/465.01 c 465 893221 526070 1 - 0.0000 -
468.04/470.06 c 470 901285 530258 1 - 0.0000 -
473.02/475.11 c 475 909522 533485 1 - 0.0000 -
478.10/480.16 c 480 918529 537707 1 - 0.0000 -
483.17/485.21 c 485 924977 539321 1 - 0.0000 -
488.15/490.26 c 490 932459 541823 1 - 0.0000 -
493.23/495.31 c 495 940474 543932 1 - 0.0000 -
498.22/500.36 c 500 949062 546042 1 - 0.0000 -
503.30/505.41 c 505 957283 548731 1 - 0.0000 -
508.28/510.46 c 510 964654 551381 1 - 0.0000 -
513.36/515.51 c 516 972766 555196 1 - 0.0000 -
518.34/520.56 c 521 980081 558539 1 - 0.0000 -
523.43/525.61 c 526 987133 561786 1 - 0.0000 -
528.41/530.66 c 531 994397 566821 1 - 0.0000 -
533.49/535.71 c 536 1001749 571120 1 - 0.0000 -
538.48/540.76 c 541 1009174 575548 1 - 0.0000 -
543.55/545.81 c 546 1016035 580094 1 - 0.0000 -
548.53/550.86 c 551 1023261 584193 1 - 0.0000 -
553.62/555.92 c 556 1031252 587789 1 - 0.0000 -
558.61/560.97 c 561 1037444 590703 1 - 0.0000 -
563.69/566.02 c 566 1044682 595751 1 - 0.0000 -
568.67/571.10 c 571 1053224 601649 1 - 0.0000 -
573.76/576.15 c 576 1060367 606568 1 - 0.0000 -
578.83/581.20 c 581 1067924 611222 1 - 0.0000 -
583.80/586.25 c 586 1076555 616457 1 - 0.0000 -
588.89/591.30 c 591 1083879 621305 1 - 0.0000 -
593.86/596.35 c 596 1090993 625433 1 - 0.0000 -
598.95/601.40 c 601 1097902 629539 1 - 0.0000 -
603.93/606.45 c 606 1104599 633826 1 - 0.0000 -
609.02/611.50 c 612 1112276 638710 1 - 0.0000 -
614.00/616.55 c 617 1119168 642673 1 - 0.0000 -
619.08/621.60 c 622 1125953 646813 1 - 0.0000 -
624.06/626.65 c 627 1133545 650942 1 - 0.0000 -
629.14/631.70 c 632 1140490 654509 1 - 0.0000 -
634.13/636.75 c 637 1147889 658275 1 - 0.0000 -
639.21/641.80 c 642 1154259 661697 1 - 0.0000 -
644.19/646.85 c 647 1159668 664304 1 - 0.0000 -
649.28/651.90 c 652 1166651 668537 1 - 0.0000 -
654.26/656.95 c 657 1172803 671832 1 - 0.0000 -
659.24/662.01 c 662 1179766 675903 1 - 0.0000 -
664.33/667.05 c 667 1186181 680010 1 - 0.0000 -
669.41/672.11 c 672 1193291 683829 1 - 0.0000 -
674.39/677.16 c 677 1200272 688100 1 - 0.0000 -
679.46/682.21 c 682 1206712 692146 1 - 0.0000 -
684.44/687.26 c 687 1213406 696186 1 - 0.0000 -
689.53/692.36 c 692 1219117 700190 1 - 0.0000 -
694.61/697.41 c 697 1224269 703698 1 - 0.0000 -
699.59/702.46 c 702 1230583 707720 1 - 0.0000 -
704.67/707.51 c 708 1236097 710909 1 - 0.0000 -
709.66/712.57 c 713 1241497 714374 1 - 0.0000 -
714.74/717.64 c 718 1245960 717660 1 - 0.0000 -
719.72/722.69 c 723 1251067 721083 1 - 0.0000 -
724.80/727.74 c 728 1257474 724545 1 - 0.0000 -
729.79/732.79 c 733 1263232 727924 1 - 0.0000 -
734.86/737.86 c 738 1268879 730777 1 - 0.0000 -
739.95/742.92 c 743 1273923 734145 1 - 0.0000 -
744.93/747.97 c 748 1279461 737318 1 - 0.0000 -
750.01/753.02 c 753 1285196 740210 1 - 0.0000 -
754.99/758.07 c 758 1290875 743697 1 - 0.0000 -
760.08/763.12 c 763 1295496 746014 1 - 0.0000 -
765.06/768.17 c 768 1299792 747401 1 - 0.0000 -
770.13/773.22 c 773 1304366 749228 1 - 0.0000 -
775.11/778.28 c 778 1309237 752236 1 - 0.0000 -
780.19/783.33 c 783 1313941 755527 1 - 0.0000 -
785.18/788.38 c 788 1318510 758679 1 - 0.0000 -
790.26/793.43 c 793 1322648 760928 1 - 0.0000 -
795.25/798.49 c 798 1327110 763939 1 - 0.0000 -
800.33/803.54 c 804 1331594 766951 1 - 0.0000 -
805.31/808.59 c 809 1336858 770108 1 - 0.0000 -
810.40/813.65 c 814 1341307 772422 1 - 0.0000 -
815.47/818.70 c 819 1345025 774171 1 - 0.0000 -
820.46/823.75 c 824 1349696 776962 1 - 0.0000 -
825.54/828.81 c 829 1354155 779641 1 - 0.0000 -
830.52/833.86 c 834 1359054 782984 1 - 0.0000 -
835.60/838.91 c 839 1363112 785189 1 - 0.0000 -
840.59/843.96 c 844 1367081 787486 1 - 0.0000 -
845.56/849.01 c 849 1371020 789583 1 - 0.0000 -
850.66/854.09 c 854 1374415 791924 1 - 0.0000 -
855.74/859.16 c 859 1378347 794216 1 - 0.0000 -
860.82/864.22 c 864 1382347 796473 1 - 0.0000 -
865.80/869.27 c 869 1386921 799250 1 - 0.0000 -
870.88/874.32 c 874 1391317 801505 1 - 0.0000 -
875.86/879.37 c 879 1395001 803783 1 - 0.0000 -
880.95/884.42 c 884 1399649 806722 1 - 0.0000 -
885.93/889.47 c 889 1403516 808649 1 - 0.0000 -
891.01/894.53 c 895 1407137 810364 1 - 0.0000 -
895.99/899.58 c 900 1410843 812390 1 - 0.0000 -
901.07/904.63 c 905 1415051 814723 1 - 0.0000 -
906.06/909.69 c 910 1418562 816545 1 - 0.0000 -
911.14/914.74 c 915 1421982 818322 1 - 0.0000 -
916.12/919.79 c 920 1425872 820425 1 - 0.0000 -
921.21/924.84 c 925 1429530 822338 1 - 0.0000 -
926.19/929.89 c 930 1432775 823831 1 - 0.0000 -
931.28/934.94 c 935 1436808 826480 1 - 0.0000 -
936.26/939.99 c 940 1439894 828227 1 - 0.0000 -
941.35/945.05 c 945 1442658 829453 1 - 0.0000 -
946.33/950.10 c 950 1446149 831158 1 - 0.0000 -
951.42/955.16 c 955 1450619 833620 1 - 0.0000 -
956.49/960.21 c 960 1454540 835716 1 - 0.0000 -
961.47/965.26 c 965 1459045 838309 1 - 0.0000 -
966.56/970.31 c 970 1463253 840990 1 - 0.0000 -
971.54/975.37 c 975 1467027 842910 1 - 0.0000 -
976.62/980.42 c 980 1471136 845153 1 - 0.0000 -
981.60/985.47 c 985 1475179 847195 1 - 0.0000 -
986.68/990.52 c 991 1479392 849244 1 - 0.0000 -
991.67/995.58 c 996 1485225 852446 1 - 0.0000 -
996.75/1000.62 c 1001 1489914 855186 1 - 0.0000 -
1001.73/1005.67 c 1006 1494985 858484 1 - 0.0000 -
1006.81/1010.72 c 1011 1500632 861829 1 - 0.0000 -
1011.80/1015.77 c 1016 1505512 864673 1 - 0.0000 -
1016.88/1020.82 c 1021 1510228 867340 1 - 0.0000 -
1021.86/1025.87 c 1026 1514370 869482 1 - 0.0000 -
1026.95/1030.93 c 1031 1518161 871384 1 - 0.0000 -
1031.93/1035.98 c 1036 1522560 873882 1 - 0.0000 -
1037.03/1041.04 c 1041 1524879 874638 1 - 0.0000 -
1042.01/1046.10 c 1046 1526405 874671 1 - 0.0000 -
1047.09/1051.17 c 1051 1527931 874678 1 - 0.0000 -
1052.17/1056.23 c 1056 1529281 874553 1 - 0.0000 -
1057.16/1061.29 c 1061 1530535 874289 1 - 0.0000 -
1062.24/1066.35 c 1066 1532574 874348 1 - 0.0000 -
1067.33/1071.40 c 1071 1534085 874279 1 - 0.0000 -
1072.41/1076.51 c 1077 1535782 874553 1 - 0.0000 -
1077.39/1081.59 c 1082 1536720 874223 1 - 0.0000 -
1082.47/1086.66 c 1087 1538652 874867 1 - 0.0000 -
1087.57/1091.71 c 1092 1541282 875745 1 - 0.0000 -
1092.54/1096.76 c 1097 1544573 877774 1 - 0.0000 -
1097.63/1101.82 c 1102 1548929 881127 1 - 0.0000 -
1102.71/1106.90 c 1107 1552315 883510 1 - 0.0000 -
1107.70/1111.95 c 1112 1556062 886016 1 - 0.0000 -
1112.78/1117.01 c 1117 1559787 888479 1 - 0.0000 -
1117.76/1122.07 c 1122 1563428 891047 1 - 0.0000 -
1122.85/1127.12 c 1127 1566534 892840 1 - 0.0000 -
1127.83/1132.19 c 1132 1570137 895533 1 - 0.0000 -
1132.90/1137.24 c 1137 1572801 896672 1 - 0.0000 -
1137.88/1142.29 c 1142 1576312 898935 1 - 0.0000 -
1142.97/1147.34 c 1147 1579542 900833 1 - 0.0000 -
1147.95/1152.39 c 1152 1582227 901852 1 - 0.0000 -
1153.04/1157.44 c 1157 1584579 902676 1 - 0.0000 -
1158.02/1162.49 c 1162 1588683 905628 1 - 0.0000 -
1163.10/1167.54 c 1168 1592355 908309 1 - 0.0000 -
1168.19/1172.60 c 1173 1595699 910695 1 - 0.0000 -
1173.16/1177.65 c 1178 1599214 912864 1 - 0.0000 -
1178.25/1182.70 c 1183 1602131 914287 1 - 0.0000 -
1183.23/1187.76 c 1188 1605334 916199 1 - 0.0000 -
1188.32/1192.84 c 1193 1608243 918456 1 - 0.0000 -
1193.40/1197.90 c 1198 1611663 920920 1 - 0.0000 -
1198.39/1202.96 c 1203 1615351 923484 1 - 0.0000 -
1203.36/1208.01 c 1208 1619128 925662 1 - 0.0000 -
1208.46/1213.06 c 1213 1622342 927610 1 - 0.0000 -
1213.44/1218.11 c 1218 1625718 929968 1 - 0.0000 -
1218.53/1223.18 c 1223 1629512 932232 1 - 0.0000 -
1223.60/1228.23 c 1228 1633753 934880 1 - 0.0000 -
1228.58/1233.29 c 1233 1637672 937487 1 - 0.0000 -
1233.66/1238.34 c 1238 1640939 939853 1 - 0.0000 -
1238.75/1243.42 c 1243 1644526 942771 1 - 0.0000 -
1243.73/1248.46 c 1248 1647764 945136 1 - 0.0000 -
1248.81/1253.51 c 1254 1650778 946834 1 - 0.0000 -
1253.79/1258.56 c 1259 1654476 949044 1 - 0.0000 -
1258.87/1263.62 c 1264 1657798 951484 1 - 0.0000 -
1263.86/1268.69 c 1269 1661107 953425 1 - 0.0000 -
1268.94/1273.74 c 1274 1664964 955576 1 - 0.0000 -
1273.92/1278.79 c 1279 1668549 957544 1 - 0.0000 -
1279.01/1283.85 c 1284 1672467 959864 1 - 0.0000 -
1283.99/1288.89 c 1289 1676737 962257 1 - 0.0000 -
1289.07/1293.95 c 1294 1681055 964350 1 - 0.0000 -
1294.06/1299.01 c 1299 1684578 966003 1 - 0.0000 -
1299.15/1304.05 c 1304 1688324 967755 1 - 0.0000 -
1304.23/1309.12 c 1309 1691396 970178 1 - 0.0000 -
1309.21/1314.17 c 1314 1694436 972416 1 - 0.0000 -
1314.28/1319.25 c 1319 1697706 974764 1 - 0.0000 -
1319.36/1324.30 c 1324 1700685 976354 1 - 0.0000 -
1324.35/1329.35 c 1329 1703865 977819 1 - 0.0000 -
1329.44/1334.41 c 1334 1707064 980147 1 - 0.0000 -
1334.52/1339.50 c 1340 1710088 982407 1 - 0.0000 -
1339.50/1344.56 c 1345 1712687 984434 1 - 0.0000 -
1344.59/1349.61 c 1350 1715960 986330 1 - 0.0000 -
1349.57/1354.66 c 1355 1720022 988540 1 - 0.0000 -
1354.65/1359.72 c 1360 1724073 990789 1 - 0.0000 -
1359.63/1364.77 c 1365 1728113 993036 1 - 0.0000 -
1364.72/1369.82 c 1370 1732001 995268 1 - 0.0000 -
1369.70/1374.87 c 1375 1735159 997017 1 - 0.0000 -
1374.78/1379.92 c 1380 1738340 999009 1 - 0.0000 -
1379.87/1385.01 c 1385 1740124 999852 1 - 0.0000 -
1384.85/1390.08 c 1390 1743211 1001945 1 - 0.0000 -
1389.94/1395.14 c 1395 1747309 1004315 1 - 0.0000 -
1394.92/1400.19 c 1400 1750490 1006311 1 - 0.0000 -
1399.99/1405.27 c 1405 1753967 1008897 1 - 0.0000 -
1405.08/1410.34 c 1410 1756673 1010706 1 - 0.0000 -
1410.16/1415.41 c 1415 1759914 1013356 1 - 0.0000 -
1415.14/1420.47 c 1420 1762945 1015653 1 - 0.0000 -
1420.23/1425.52 c 1426 1765948 1017448 1 - 0.0000 -
1425.21/1430.58 c 1431 1769558 1020161 1 - 0.0000 -
1430.29/1435.65 c 1436 1772768 1022707 1 - 0.0000 -
1435.38/1440.70 c 1441 1775872 1024611 1 - 0.0000 -
1440.35/1445.75 c 1446 1779701 1027247 1 - 0.0000 -
1445.44/1450.80 c 1451 1782918 1029484 1 - 0.0000 -
1450.42/1455.85 c 1456 1786552 1032020 1 - 0.0000 -
1455.50/1460.91 c 1461 1789688 1034693 1 - 0.0000 -
1460.49/1465.96 c 1466 1792699 1036777 1 - 0.0000 -
1465.58/1471.02 c 1471 1796013 1039112 1 - 0.0000 -
1470.57/1476.09 c 1476 1798862 1040846 1 - 0.0000 -
1475.65/1481.13 c 1481 1801672 1042678 1 - 0.0000 -
1480.63/1486.18 c 1486 1804858 1044700 1 - 0.0000 -
1485.71/1491.23 c 1491 1808103 1047168 1 - 0.0000 -
1490.78/1496.30 c 1496 1811746 1049656 1 - 0.0000 -
1495.77/1501.36 c 1501 1815457 1052349 1 - 0.0000 -
1500.85/1506.40 c 1506 1818981 1054614 1 - 0.0000 -
1505.83/1511.46 c 1511 1822107 1056791 1 - 0.0000 -
1510.92/1516.53 c 1517 1825194 1058671 1 - 0.0000 -
1516.01/1521.60 c 1522 1828067 1060863 1 - 0.0000 -
1520.98/1526.65 c 1527 1830533 1062393 1 - 0.0000 -
1526.07/1531.73 c 1532 1833160 1064148 1 - 0.0000 -
1531.06/1536.78 c 1537 1835310 1065413 1 - 0.0000 -
1536.14/1541.86 c 1542 1837209 1066393 1 - 0.0000 -
1541.22/1546.90 c 1547 1839622 1067578 1 - 0.0000 -
1546.20/1551.96 c 1552 1842208 1068954 1 - 0.0000 -
1551.30/1557.01 c 1557 1844612 1070297 1 - 0.0000 -
1556.28/1562.06 c 1562 1847716 1072010 1 - 0.0000 -
1561.27/1567.11 c 1567 1851053 1073947 1 - 0.0000 -
1566.34/1572.18 c 1572 1853733 1075561 1 - 0.0000 -
1571.42/1577.24 c 1577 1856487 1077243 1 - 0.0000 -
1576.50/1582.31 c 1582 1858888 1078499 1 - 0.0000 -
1581.49/1587.38 c 1587 1861238 1079623 1 - 0.0000 -
1586.56/1592.44 c 1592 1864998 1081482 1 - 0.0000 -
1591.65/1597.50 c 1598 1868920 1083037 1 - 0.0000 -
1596.74/1602.61 c 1603 1870992 1084104 1 - 0.0000 -
1601.71/1607.67 c 1608 1874269 1085927 1 - 0.0000 -
1606.80/1612.75 c 1613 1876683 1086952 1 - 0.0000 -
1612.20/1618.15 c 1618 1878989 1088127 1 - 0.0000 -
1617.27/1623.27 c 1623 1879981 1088158 1 - 0.0000 -
1622.35/1628.35 c 1628 1882109 1089408 1 - 0.0000 -
1627.43/1633.40 c 1633 1883376 1089713 1 - 0.0000 -
1632.53/1638.50 c 1639 1885410 1090524 1 - 0.0000 -
1637.50/1643.55 c 1644 1887910 1092046 1 - 0.0000 -
1642.59/1648.63 c 1649 1889748 1092803 1 - 0.0000 -
1647.58/1653.69 c 1654 1891399 1093498 1 - 0.0000 -
1652.66/1658.74 c 1659 1893658 1094766 1 - 0.0000 -
1657.64/1663.79 c 1664 1895254 1095501 1 - 0.0000 -
1662.73/1668.84 c 1669 1896654 1096020 1 - 0.0000 -
1667.81/1673.90 c 1674 1899207 1097446 1 - 0.0000 -
1672.79/1678.99 c 1679 1901777 1098977 1 - 0.0000 -
1677.89/1684.05 c 1684 1903639 1099799 1 - 0.0000 -
1682.97/1689.11 c 1689 1905564 1100562 1 - 0.0000 -
1688.05/1694.23 c 1694 1907107 1101120 1 - 0.0000 -
1693.03/1699.29 c 1699 1908932 1101937 1 - 0.0000 -
1698.12/1704.38 c 1704 1911120 1103357 1 - 0.0000 -
1703.19/1709.44 c 1709 1912797 1103911 1 - 0.0000 -
1708.28/1714.50 c 1714 1914410 1104326 1 - 0.0000 -
1713.26/1719.55 c 1720 1915995 1104754 1 - 0.0000 -
1718.35/1724.60 c 1725 1918181 1106047 1 - 0.0000 -
1723.43/1729.76 c 1730 1920027 1106915 1 - 0.0000 -
1728.51/1734.81 c 1735 1922121 1107747 1 - 0.0000 -
1733.59/1739.91 c 1740 1924200 1109022 1 - 0.0000 -
1738.58/1744.96 c 1745 1926496 1110461 1 - 0.0000 -
1743.67/1750.05 c 1750 1928777 1111863 1 - 0.0000 -
1748.76/1755.11 c 1755 1930753 1113142 1 - 0.0000 -
1753.74/1760.18 c 1760 1932459 1113982 1 - 0.0000 -
1758.81/1765.26 c 1765 1934346 1114975 1 - 0.0000 -
1763.90/1770.34 c 1770 1936421 1116365 1 - 0.0000 -
1768.87/1775.38 c 1775 1938771 1117658 1 - 0.0000 -
1773.96/1780.49 c 1780 1940665 1118509 1 - 0.0000 -
1779.05/1785.55 c 1786 1942478 1119377 1 - 0.0000 -
1784.12/1790.60 c 1791 1944089 1119912 1 - 0.0000 -
1789.11/1795.68 c 1796 1945694 1120560 1 - 0.0000 -
1794.20/1800.73 c 1801 1947220 1121131 1 - 0.0000 -
1799.28/1805.82 c 1806 1949551 1122732 1 - 0.0000 -
1804.27/1810.88 c 1811 1951298 1123773 1 - 0.0000 -
1809.35/1815.97 c 1816 1953804 1125115 1 - 0.0000 -
1814.45/1821.05 c 1821 1955682 1125824 1 - 0.0000 -
1819.43/1826.10 c 1826 1957701 1126846 1 - 0.0000 -
1824.51/1831.15 c 1831 1959825 1128022 1 - 0.0000 -
1829.58/1836.21 c 1836 1962346 1129316 1 - 0.0000 -
1834.56/1841.26 c 1841 1965157 1130967 1 - 0.0000 -
1839.65/1846.31 c 1846 1967487 1132215 1 - 0.0000 -
1844.64/1851.38 c 1851 1969749 1133867 1 - 0.0000 -
1849.72/1856.44 c 1856 1972107 1135135 1 - 0.0000 -
1854.71/1861.48 c 1861 1974665 1136560 1 - 0.0000 -
1859.79/1866.54 c 1867 1977451 1138222 1 - 0.0000 -
1864.77/1871.59 c 1872 1980180 1139768 1 - 0.0000 -
1869.85/1876.64 c 1877 1982134 1140986 1 - 0.0000 -
1874.93/1881.73 c 1882 1984099 1142257 1 - 0.0000 -
1880.02/1886.84 c 1887 1985984 1143553 1 - 0.0000 -
1885.10/1891.92 c 1892 1988152 1145249 1 - 0.0000 -
1890.08/1897.01 c 1897 1990154 1146844 1 - 0.0000 -
1895.18/1902.06 c 1902 1992250 1148329 1 - 0.0000 -
1900.16/1907.11 c 1907 1994401 1149591 1 - 0.0000 -
1905.33/1912.20 c 1912 1996965 1151371 1 - 0.0000 -
1910.32/1917.25 c 1917 1999490 1152951 1 - 0.0000 -
1915.40/1922.31 c 1922 2001563 1154367 1 - 0.0000 -
1920.39/1927.38 c 1927 2003758 1155452 1 - 0.0000 -
1925.47/1932.48 c 1932 2005643 1156464 1 - 0.0000 -
1930.55/1937.53 c 1938 2008027 1157975 1 - 0.0000 -
1935.54/1942.59 c 1943 2010194 1159216 1 - 0.0000 -
1940.62/1947.66 c 1948 2012251 1160792 1 - 0.0000 -
1945.70/1952.71 c 1953 2014585 1162522 1 - 0.0000 -
1950.68/1957.78 c 1958 2016848 1164122 1 - 0.0000 -
1955.77/1962.84 c 1963 2019153 1165459 1 - 0.0000 -
1960.85/1967.90 c 1968 2021806 1167000 1 - 0.0000 -
1965.83/1973.01 c 1973 2023953 1168468 1 - 0.0000 -
1970.92/1978.09 c 1978 2026026 1169524 1 - 0.0000 -
1976.01/1983.14 c 1983 2028532 1171209 1 - 0.0000 -
1981.08/1988.22 c 1988 2030769 1172404 1 - 0.0000 -
1986.16/1993.35 c 1993 2033206 1174253 1 - 0.0000 -
1991.25/1998.40 c 1998 2035531 1176052 1 - 0.0000 -
1996.23/2003.46 c 2003 2037850 1177652 1 - 0.0000 -
2001.61/2008.80 c 2009 2039895 1178898 1 - 0.0000 -
2006.60/2013.89 c 2014 2041183 1179321 1 - 0.0000 -
2011.80/2019.04 c 2019 2042941 1179966 1 - 0.0000 -
2016.88/2024.12 c 2024 2045184 1181323 1 - 0.0000 -
2021.86/2029.19 c 2029 2047520 1182699 1 - 0.0000 -
2026.93/2034.26 c 2034 2049556 1184043 1 - 0.0000 -
2032.02/2039.31 c 2039 2051868 1185396 1 - 0.0000 -
2037.00/2044.39 c 2044 2054314 1186833 1 - 0.0000 -
2042.09/2049.44 c 2049 2056543 1188030 1 - 0.0000 -
2047.07/2054.49 c 2054 2059183 1189700 1 - 0.0000 -
2052.15/2059.56 c 2060 2061259 1190709 1 - 0.0000 -
2057.24/2064.62 c 2065 2063406 1191738 1 - 0.0000 -
2062.22/2069.68 c 2070 2066134 1193604 1 - 0.0000 -
2067.30/2074.73 c 2075 2068903 1195675 1 - 0.0000 -
2072.38/2079.80 c 2080 2071417 1197516 1 - 0.0000 -
2077.37/2084.86 c 2085 2073962 1199252 1 - 0.0000 -
2082.45/2089.92 c 2090 2076642 1201105 1 - 0.0000 -
2087.44/2094.97 c 2095 2078975 1202711 1 - 0.0000 -
2092.53/2100.04 c 2100 2080828 1203673 1 - 0.0000 -
2097.52/2105.09 c 2105 2083742 1205141 1 - 0.0000 -
2102.61/2110.15 c 2110 2086672 1206450 1 - 0.0000 -
2107.59/2115.19 c 2115 2089100 1207676 1 - 0.0000 -
2112.65/2120.24 c 2120 2092802 1209842 1 - 0.0000 -
2117.73/2125.31 c 2125 2096001 1211046 1 - 0.0000 -
2122.72/2130.35 c 2130 2099163 1212317 1 - 0.0000 -
2127.81/2135.40 c 2135 2102272 1213552 1 - 0.0000 -
2132.78/2140.45 c 2140 2105110 1215140 1 - 0.0000 -
2137.87/2145.51 c 2146 2107408 1216530 1 - 0.0000 -
2142.86/2150.58 c 2151 2110147 1217936 1 - 0.0000 -
2147.93/2155.64 c 2156 2113037 1219243 1 - 0.0000 -
2153.02/2160.70 c 2161 2115537 1220291 1 - 0.0000 -
2158.00/2165.76 c 2166 2117430 1221123 1 - 0.0000 -
2163.09/2170.86 c 2171 2119677 1222438 1 - 0.0000 -
2168.17/2175.96 c 2176 2121880 1223933 1 - 0.0000 -
2173.26/2181.02 c 2181 2124473 1225794 1 - 0.0000 -
2178.34/2186.11 c 2186 2126533 1227105 1 - 0.0000 -
2183.33/2191.18 c 2191 2128428 1227986 1 - 0.0000 -
2188.40/2196.27 c 2196 2130290 1228800 1 - 0.0000 -
2193.48/2201.32 c 2201 2133183 1230201 1 - 0.0000 -
2198.57/2206.40 c 2206 2135899 1231748 1 - 0.0000 -
2203.55/2211.46 c 2211 2138777 1233493 1 - 0.0000 -
2208.63/2216.52 c 2217 2141383 1234854 1 - 0.0000 -
2213.62/2221.57 c 2222 2143963 1236029 1 - 0.0000 -
2218.70/2226.66 c 2227 2146963 1237569 1 - 0.0000 -
2223.78/2231.75 c 2232 2149648 1239251 1 - 0.0000 -
2228.87/2236.80 c 2237 2152639 1241075 1 - 0.0000 -
2233.85/2241.85 c 2242 2155127 1242733 1 - 0.0000 -
2238.94/2246.93 c 2247 2157803 1244447 1 - 0.0000 -
2244.03/2252.03 c 2252 2160069 1245943 1 - 0.0000 -
2249.11/2257.12 c 2257 2162145 1246949 1 - 0.0000 -
2254.09/2262.17 c 2262 2163952 1247819 1 - 0.0000 -
2259.16/2267.27 c 2267 2165981 1248865 1 - 0.0000 -
2264.24/2272.34 c 2272 2168448 1250597 1 - 0.0000 -
2269.33/2277.40 c 2277 2170996 1252064 1 - 0.0000 -
2274.31/2282.46 c 2282 2172706 1253221 1 - 0.0000 -
2279.40/2287.52 c 2288 2174444 1254342 1 - 0.0000 -
2284.38/2292.57 c 2293 2176461 1255892 1 - 0.0000 -
2289.46/2297.65 c 2298 2179023 1257604 1 - 0.0000 -
2294.55/2302.72 c 2303 2180998 1258777 1 - 0.0000 -
2299.63/2307.80 c 2308 2182809 1260077 1 - 0.0000 -
2304.61/2312.86 c 2313 2185164 1261513 1 - 0.0000 -
2309.70/2317.96 c 2318 2186929 1262413 1 - 0.0000 -
2314.80/2323.06 c 2323 2188991 1263650 1 - 0.0000 -
2319.88/2328.14 c 2328 2190338 1264169 1 - 0.0000 -
2324.95/2333.20 c 2333 2193005 1266296 1 - 0.0000 -
2329.94/2338.26 c 2338 2195567 1268364 1 - 0.0000 -
2335.02/2343.36 c 2343 2197561 1270134 1 - 0.0000 -
2340.10/2348.41 c 2348 2200114 1272203 1 - 0.0000 -
2345.09/2353.46 c 2353 2203306 1274776 1 - 0.0000 -
2350.17/2358.53 c 2359 2205132 1275823 1 - 0.0000 -
2355.15/2363.58 c 2364 2206652 1276442 1 - 0.0000 -
2360.24/2368.66 c 2369 2208589 1277683 1 - 0.0000 -
2365.33/2373.79 c 2374 2209437 1277859 1 - 0.0000 -
2370.62/2379.01 c 2379 2210838 1278488 1 - 0.0000 -
2375.60/2384.08 c 2384 2213071 1280051 1 - 0.0000 -
2380.69/2389.17 c 2389 2215268 1281422 1 - 0.0000 -
2385.76/2394.25 c 2394 2216649 1281989 1 - 0.0000 -
2390.85/2399.33 c 2399 2217685 1282199 1 - 0.0000 -
2395.93/2404.41 c 2404 2219041 1282842 1 - 0.0000 -
2401.02/2409.54 c 2410 2220243 1283184 1 - 0.0000 -
2406.10/2414.61 c 2415 2221852 1283999 1 - 0.0000 -
2411.18/2419.70 c 2420 2223434 1284972 1 - 0.0000 -
2416.17/2424.77 c 2425 2226054 1287058 1 - 0.0000 -
2421.25/2429.86 c 2430 2227217 1287602 1 - 0.0000 -
2426.34/2434.92 c 2435 2229317 1288911 1 - 0.0000 -
2431.32/2439.98 c 2440 2231922 1290570 1 - 0.0000 -
2436.41/2445.04 c 2445 2234170 1291999 1 - 0.0000 -
2441.49/2450.16 c 2450 2235816 1292967 1 - 0.0000 -
2446.56/2455.22 c 2455 2238625 1294873 1 - 0.0000 -
2451.65/2460.30 c 2460 2240835 1296185 1 - 0.0000 -
2456.73/2465.40 c 2465 2242409 1297075 1 - 0.0000 -
2461.71/2470.48 c 2470 2244865 1298758 1 - 0.0000 -
2466.80/2475.52 c 2476 2247403 1300420 1 - 0.0000 -
2471.78/2480.57 c 2481 2249767 1301988 1 - 0.0000 -
2476.86/2485.64 c 2486 2252215 1303513 1 - 0.0000 -
2481.95/2490.76 c 2491 2254977 1305266 1 - 0.0000 -
2487.03/2495.80 c 2496 2257582 1306884 1 - 0.0000 -
2492.01/2500.88 c 2501 2259649 1308060 1 - 0.0000 -
2497.10/2506.01 c 2506 2261256 1308765 1 - 0.0000 -
2502.20/2511.05 c 2511 2263331 1309938 1 - 0.0000 -
2507.18/2516.11 c 2516 2264954 1310779 1 - 0.0000 -
2512.27/2521.17 c 2521 2266724 1311883 1 - 0.0000 -
2517.34/2526.25 c 2526 2268624 1313024 1 - 0.0000 -
2522.42/2531.32 c 2531 2270014 1313745 1 - 0.0000 -
2527.41/2536.37 c 2536 2271907 1314674 1 - 0.0000 -
2532.49/2541.44 c 2541 2273374 1315475 1 - 0.0000 -
2537.47/2546.49 c 2546 2274979 1316186 1 - 0.0000 -
2542.56/2551.56 c 2552 2276575 1316995 1 - 0.0000 -
2547.64/2556.61 c 2557 2277768 1317327 1 - 0.0000 -
2552.63/2561.66 c 2562 2279508 1318192 1 - 0.0000 -
2557.71/2566.72 c 2567 2281803 1319168 1 - 0.0000 -
2562.79/2571.82 c 2572 2283747 1319983 1 - 0.0000 -
2567.87/2576.93 c 2577 2285828 1320918 1 - 0.0000 -
2572.97/2582.02 c 2582 2287653 1321852 1 - 0.0000 -
2577.96/2587.08 c 2587 2289073 1322424 1 - 0.0000 -
2583.04/2592.14 c 2592 2290602 1323043 1 - 0.0000 -
2588.03/2597.19 c 2597 2291771 1323359 1 - 0.0000 -
2593.10/2602.26 c 2602 2293065 1323999 1 - 0.0000 -
2598.18/2607.32 c 2607 2294166 1324251 1 - 0.0000 -
2603.27/2612.40 c 2612 2296021 1325666 1 - 0.0000 -
2608.25/2617.46 c 2617 2297496 1326695 1 - 0.0000 -
2613.34/2622.55 c 2623 2299102 1327618 1 - 0.0000 -
2618.42/2627.61 c 2628 2300936 1328455 1 - 0.0000 -
2623.51/2632.70 c 2633 2302413 1329033 1 - 0.0000 -
2628.49/2637.77 c 2638 2303486 1329405 1 - 0.0000 -
2633.57/2642.86 c 2643 2304719 1329896 1 - 0.0000 -
2638.66/2647.90 c 2648 2306448 1330782 1 - 0.0000 -
2643.64/2652.97 c 2653 2308114 1331533 1 - 0.0000 -
2648.73/2658.04 c 2658 2310007 1332534 1 - 0.0000 -
2653.82/2663.12 c 2663 2311779 1333418 1 - 0.0000 -
2658.89/2668.20 c 2668 2313836 1334526 1 - 0.0000 -
2663.87/2673.25 c 2673 2315721 1335422 1 - 0.0000 -
2668.96/2678.31 c 2678 2318373 1336806 1 - 0.0000 -
2673.94/2683.36 c 2683 2320654 1338079 1 - 0.0000 -
2679.02/2688.42 c 2688 2322897 1339203 1 - 0.0000 -
2684.00/2693.47 c 2693 2325155 1340312 1 - 0.0000 -
2689.08/2698.59 c 2699 2327111 1341440 1 - 0.0000 -
2694.17/2703.68 c 2704 2329182 1342592 1 - 0.0000 -
2699.25/2708.77 c 2709 2330749 1343623 1 - 0.0000 -
2704.33/2713.84 c 2714 2332558 1344494 1 - 0.0000 -
2709.42/2718.91 c 2719 2334345 1345441 1 - 0.0000 -
2714.40/2723.98 c 2724 2335913 1346339 1 - 0.0000 -
2719.60/2729.12 c 2729 2336952 1346948 1 - 0.0000 -
2724.66/2734.22 c 2734 2338209 1347734 1 - 0.0000 -
2729.75/2739.30 c 2739 2339584 1348720 1 - 0.0000 -
2734.73/2744.37 c 2744 2341065 1349670 1 - 0.0000 -
2739.81/2749.45 c 2749 2342212 1350386 1 - 0.0000 -
2744.90/2754.50 c 2755 2343198 1350688 1 - 0.0000 -
2749.98/2759.63 c 2760 2344106 1350930 1 - 0.0000 -
2755.06/2764.76 c 2765 2345220 1351584 1 - 0.0000 -
2760.15/2769.84 c 2770 2346252 1352163 1 - 0.0000 -
2765.23/2774.90 c 2775 2347329 1352775 1 - 0.0000 -
2770.21/2779.97 c 2780 2348269 1353156 1 - 0.0000 -
2775.30/2785.09 c 2785 2349277 1353584 1 - 0.0000 -
2780.39/2790.13 c 2790 2350321 1354050 1 - 0.0000 -
2785.37/2795.18 c 2795 2351347 1354489 1 - 0.0000 -
2790.44/2800.26 c 2800 2352478 1355136 1 - 0.0000 -
2795.53/2805.32 c 2805 2353564 1355595 1 - 0.0000 -
2800.61/2810.40 c 2810 2354483 1355933 1 - 0.0000 -
2805.59/2815.45 c 2815 2355479 1356522 1 - 0.0000 -
2810.67/2820.53 c 2821 2356292 1356809 1 - 0.0000 -
2815.76/2825.60 c 2826 2357170 1357233 1 - 0.0000 -
2820.74/2830.66 c 2831 2358195 1357808 1 - 0.0000 -
2825.83/2835.73 c 2836 2359295 1358410 1 - 0.0000 -
2830.91/2840.82 c 2841 2360563 1359057 1 - 0.0000 -
2835.99/2845.93 c 2846 2361897 1359713 1 - 0.0000 -
2841.09/2851.04 c 2851 2362797 1360014 1 - 0.0000 -
2846.17/2856.18 c 2856 2363777 1360383 1 - 0.0000 -
2851.24/2861.24 c 2861 2365381 1361317 1 - 0.0000 -
2856.23/2866.29 c 2866 2367249 1362302 1 - 0.0000 -
2861.31/2871.37 c 2871 2368733 1363011 1 - 0.0000 -
2866.49/2876.53 c 2877 2370029 1363994 1 - 0.0000 -
2871.57/2881.62 c 2882 2371484 1364809 1 - 0.0000 -
2876.55/2886.67 c 2887 2373424 1365780 1 - 0.0000 -
2881.64/2891.72 c 2892 2375325 1366751 1 - 0.0000 -
2886.62/2896.79 c 2897 2376633 1367342 1 - 0.0000 -
2891.70/2901.87 c 2902 2377966 1368271 1 - 0.0000 -
2896.78/2906.93 c 2907 2379364 1368994 1 - 0.0000 -
2901.77/2912.01 c 2912 2380608 1369734 1 - 0.0000 -
2906.85/2917.05 c 2917 2382196 1370525 1 - 0.0000 -
2911.84/2922.10 c 2922 2383771 1371324 1 - 0.0000 -
2916.92/2927.16 c 2927 2384741 1371829 1 - 0.0000 -
2921.99/2932.22 c 2932 2385620 1372181 1 - 0.0000 -
2927.07/2937.33 c 2937 2386491 1372540 1 - 0.0000 -
2932.16/2942.41 c 2942 2387500 1372964 1 - 0.0000 -
2937.15/2947.48 c 2947 2389018 1373802 1 - 0.0000 -
2942.22/2952.54 c 2953 2390716 1374695 1 - 0.0000 -
2947.21/2957.59 c 2958 2392377 1375877 1 - 0.0000 -
2952.28/2962.68 c 2963 2393860 1376772 1 - 0.0000 -
2957.37/2967.73 c 2968 2395839 1378114 1 - 0.0000 -
2962.45/2972.81 c 2973 2397620 1379193 1 - 0.0000 -
2967.53/2977.95 c 2978 2398549 1379636 1 - 0.0000 -
2972.73/2983.13 c 2983 2399627 1380242 1 - 0.0000 -
2977.72/2988.19 c 2988 2400553 1380725 1 - 0.0000 -
2982.78/2993.24 c 2993 2401985 1381674 1 - 0.0000 -
2987.86/2998.30 c 2998 2403516 1382673 1 - 0.0000 -
2992.85/3003.39 c 3003 2404697 1383330 1 - 0.0000 -
2997.93/3008.48 c 3008 2406305 1384200 1 - 0.0000 -
3003.02/3013.54 c 3014 2407554 1384870 1 - 0.0000 -
3008.09/3018.61 c 3019 2409244 1385827 1 - 0.0000 -
3013.08/3023.67 c 3024 2410552 1386368 1 - 0.0000 -
3018.26/3028.80 c 3029 2411860 1387386 1 - 0.0000 -
3023.25/3033.85 c 3034 2413496 1388225 1 - 0.0000 -
3028.33/3038.90 c 3039 2414914 1388735 1 - 0.0000 -
3033.41/3044.01 c 3044 2416101 1389457 1 - 0.0000 -
3038.40/3049.09 c 3049 2417308 1390335 1 - 0.0000 -
3043.49/3054.17 c 3054 2418583 1391268 1 - 0.0000 -
3048.55/3059.24 c 3059 2419557 1391678 1 - 0.0000 -
3053.64/3064.34 c 3064 2420185 1391920 1 - 0.0000 -
3058.72/3069.45 c 3069 2421168 1392420 1 - 0.0000 -
3063.81/3074.53 c 3075 2421806 1392625 1 - 0.0000 -
3068.79/3079.58 c 3080 2422829 1393002 1 - 0.0000 -
3073.87/3084.66 c 3085 2423893 1393415 1 - 0.0000 -
3079.06/3089.87 c 3090 2424856 1393778 1 - 0.0000 -
3084.14/3094.93 c 3095 2425858 1394165 1 - 0.0000 -
3089.23/3100.08 c 3100 2426874 1394595 1 - 0.0000 -
3094.32/3105.14 c 3105 2428016 1395202 1 - 0.0000 -
3099.39/3110.25 c 3110 2428813 1395527 1 - 0.0000 -
3104.47/3115.32 c 3115 2429761 1395905 1 - 0.0000 -
3109.46/3120.39 c 3120 2430993 1396512 1 - 0.0000 -
3114.54/3125.45 c 3125 2432184 1397088 1 - 0.0000 -
3119.62/3130.53 c 3131 2432923 1397367 1 - 0.0000 -
3124.71/3135.62 c 3136 2433654 1397579 1 - 0.0000 -
3129.69/3140.66 c 3141 2434248 1397668 1 - 0.0000 -
3134.77/3145.79 c 3146 2434783 1397715 1 - 0.0000 -
3139.86/3150.87 c 3151 2435708 1398311 1 - 0.0000 -
3144.94/3155.99 c 3156 2436450 1398575 1 - 0.0000 -
3150.04/3161.07 c 3161 2437500 1399080 1 - 0.0000 -
3155.11/3166.13 c 3166 2438459 1399395 1 - 0.0000 -
3160.18/3171.25 c 3171 2439640 1399916 1 - 0.0000 -
3165.27/3176.31 c 3176 2440604 1400352 1 - 0.0000 -
3170.36/3181.41 c 3181 2441633 1400898 1 - 0.0000 -
3175.43/3186.50 c 3187 2442748 1401336 1 - 0.0000 -
3180.52/3191.60 c 3192 2444044 1401854 1 - 0.0000 -
3185.60/3196.76 c 3197 2444951 1402229 1 - 0.0000 -
3190.79/3201.91 c 3202 2446203 1403012 1 - 0.0000 -
3195.87/3207.01 c 3207 2447338 1403723 1 - 0.0000 -
3200.86/3212.06 c 3212 2448897 1404850 1 - 0.0000 -
3205.94/3217.13 c 3217 2450247 1405686 1 - 0.0000 -
3211.01/3222.24 c 3222 2451557 1406454 1 - 0.0000 -
3216.09/3227.32 c 3227 2453591 1408076 1 - 0.0000 -
3221.17/3232.41 c 3232 2455246 1409291 1 - 0.0000 -
3226.26/3237.50 c 3238 2456375 1409875 1 - 0.0000 -
3231.34/3242.61 c 3243 2457325 1410317 1 - 0.0000 -
3236.32/3247.65 c 3248 2458293 1410714 1 - 0.0000 -
3241.41/3252.73 c 3253 2459474 1411354 1 - 0.0000 -
3246.49/3257.81 c 3258 2460688 1411867 1 - 0.0000 -
3251.57/3262.91 c 3263 2461913 1412446 1 - 0.0000 -
3256.67/3268.04 c 3268 2462971 1412869 1 - 0.0000 -
3261.75/3273.13 c 3273 2464316 1413731 1 - 0.0000 -
3266.82/3278.24 c 3278 2466202 1415058 1 - 0.0000 -
3271.90/3283.35 c 3283 2467721 1416260 1 - 0.0000 -
3276.99/3288.47 c 3288 2469226 1417259 1 - 0.0000 -
3282.07/3293.55 c 3294 2470561 1418130 1 - 0.0000 -
3287.15/3298.63 c 3299 2471675 1418747 1 - 0.0000 -
3292.14/3303.68 c 3304 2472795 1419393 1 - 0.0000 -
3297.22/3308.73 c 3309 2473871 1420047 1 - 0.0000 -
3302.30/3313.80 c 3314 2475120 1420811 1 - 0.0000 -
3307.29/3318.87 c 3319 2476340 1421554 1 - 0.0000 -
3312.38/3323.92 c 3324 2477383 1422135 1 - 0.0000 -
3317.46/3329.04 c 3329 2478168 1422485 1 - 0.0000 -
3322.54/3334.12 c 3334 2479115 1422947 1 - 0.0000 -
3327.53/3339.18 c 3339 2480160 1423581 1 - 0.0000 -
3332.59/3344.28 c 3344 2481153 1424130 1 - 0.0000 -
3337.68/3349.36 c 3349 2482217 1424751 1 - 0.0000 -
3342.77/3354.43 c 3354 2483368 1425440 1 - 0.0000 -
3347.84/3359.56 c 3360 2484082 1425617 1 - 0.0000 -
3352.93/3364.65 c 3365 2484808 1425918 1 - 0.0000 -
3358.02/3369.70 c 3370 2485720 1426452 1 - 0.0000 -
3363.10/3374.82 c 3375 2486679 1427045 1 - 0.0000 -
3368.17/3379.94 c 3380 2487614 1427692 1 - 0.0000 -
3373.28/3385.01 c 3385 2488554 1428353 1 - 0.0000 -
3378.35/3390.13 c 3390 2489864 1429153 1 - 0.0000 -
3383.42/3395.24 c 3395 2491085 1429756 1 - 0.0000 -
3388.51/3400.36 c 3400 2492107 1430261 1 - 0.0000 -
3393.60/3405.41 c 3405 2493244 1430870 1 - 0.0000 -
3398.58/3410.47 c 3410 2494146 1431263 1 - 0.0000 -
3403.66/3415.52 c 3416 2495089 1431720 1 - 0.0000 -
3408.74/3420.61 c 3421 2496237 1432170 1 - 0.0000 -
3413.73/3425.67 c 3426 2497352 1432687 1 - 0.0000 -
3418.81/3430.79 c 3431 2498372 1433099 1 - 0.0000 -
3423.89/3435.84 c 3436 2499446 1433550 1 - 0.0000 -
3428.97/3440.91 c 3441 2500399 1433875 1 - 0.0000 -
3433.95/3445.97 c 3446 2501500 1434301 1 - 0.0000 -
3439.05/3451.02 c 3451 2502695 1434970 1 - 0.0000 -
3444.03/3456.08 c 3456 2503747 1435385 1 - 0.0000 -
3449.11/3461.17 c 3461 2504921 1436005 1 - 0.0000 -
3454.27/3466.35 c 3466 2506037 1436792 1 - 0.0000 -
3459.36/3471.43 c 3471 2507107 1437301 1 - 0.0000 -
3464.43/3476.54 c 3477 2508130 1437844 1 - 0.0000 -
3469.42/3481.59 c 3482 2509474 1438788 1 - 0.0000 -
3474.50/3486.65 c 3487 2511030 1439754 1 - 0.0000 -
3479.58/3491.75 c 3492 2512320 1440566 1 - 0.0000 -
3484.76/3496.92 c 3497 2513341 1441017 1 - 0.0000 -
3489.74/3501.98 c 3502 2514367 1441474 1 - 0.0000 -
3494.93/3507.13 c 3507 2515361 1441994 1 - 0.0000 -
3500.00/3512.28 c 3512 2515947 1442124 1 - 0.0000 -
3505.08/3517.38 c 3517 2516927 1442568 1 - 0.0000 -
3510.16/3522.45 c 3522 2517713 1442957 1 - 0.0000 -
3515.24/3527.58 c 3528 2518898 1443811 1 - 0.0000 -
3520.32/3532.66 c 3533 2520680 1445141 1 - 0.0000 -
3525.40/3537.74 c 3538 2521678 1445710 1 - 0.0000 -
3530.48/3542.85 c 3543 2523020 1446908 1 - 0.0000 -
3535.56/3547.90 c 3548 2524394 1447975 1 - 0.0000 -
3540.64/3553.02 c 3553 2525725 1448744 1 - 0.0000 -
3545.81/3558.20 c 3558 2526977 1449447 1 - 0.0000 -
3550.79/3563.25 c 3563 2528416 1450440 1 - 0.0000 -
3555.87/3568.31 c 3568 2529626 1450956 1 - 0.0000 -
3560.96/3573.41 c 3573 2530225 1451166 1 - 0.0000 -
3565.94/3578.48 c 3578 2530757 1451284 1 - 0.0000 -
3571.12/3583.67 c 3584 2531259 1451371 1 - 0.0000 -
3576.29/3588.82 c 3589 2531841 1451549 1 - 0.0000 -
3581.38/3593.95 c 3594 2533002 1452248 1 - 0.0000 -
3586.75/3599.30 c 3599 2534014 1452784 1 - 0.0000 -
3589.34/3602.01 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.45/3602.01 c Total Time : 3602.0100
3589.45/3602.01 c solving : 3602.0100
3589.45/3602.01 c presolving : 0.0153 (included in solving)
3589.45/3602.01 c B&B Tree :
3589.45/3602.01 c nodes (total) : 1
3589.45/3602.01 c Solution :
3589.45/3602.01 c Solutions found : 0
3589.45/3602.01 c Primal Bound : -
3589.45/3602.01 c Dual Bound : +0.00000000000000e+00
3589.45/3602.01 c Gap : -
3589.45/3602.02 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 (55764 MiB free)
memory of node 1: 64510 MiB (63121 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448690-1721367454/watcher-4448690-1721367454 -o /tmp/evaluation-result-4448690-1721367454/solver-4448690-1721367454 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988425 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448690-1721367454.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=990710, runsolver pid=990707
Current StackSize limit: 8192 KiB
[startup+0.100345 s]*
/proc/loadavg: 4.14 4.13 4.11 5/249 990713
/proc/meminfo: memFree=121722848/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=114820 memory=27112 CPUtime=0.1 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 4251 0 0 0 9 1 0 0 20 0 3 0 188904965 117575680 6778 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 28705 6778 2830 3032 0 10593 0
[pid=990710/tid=990712] ppid=990707 vsize=114820 memory=4026561586 CPUtime=0.06 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 1559 0 0 0 6 0 0 0 20 0 3 0 188904967 117575680 6778 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=114820 memory=232851243367 CPUtime=0 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188904969 117575680 6778 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 114820 KiB
Current children cumulated memory: 27112 KiB
[startup+0.222354 s]*
/proc/loadavg: 4.14 4.13 4.11 5/249 990713
/proc/meminfo: memFree=121714756/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=114820 memory=32744 CPUtime=0.19 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 5536 0 0 0 18 1 0 0 20 0 3 0 188904965 117575680 8186 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 28705 8186 2926 3032 0 12198 0
[pid=990710/tid=990712] ppid=990707 vsize=114820 memory=4782652875487838339 CPUtime=0.16 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 2844 0 0 0 15 1 0 0 20 0 3 0 188904967 117575680 8186 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=114820 memory=671 CPUtime=0 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188904969 117575680 8186 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 114820 KiB
Current children cumulated memory: 32744 KiB
[startup+0.322356 s]*
/proc/loadavg: 4.14 4.13 4.11 6/249 990713
/proc/meminfo: memFree=121709408/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=114820 memory=35524 CPUtime=0.29 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 6314 0 0 0 27 2 0 0 20 0 3 0 188904965 117575680 8881 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 28705 8881 2926 3032 0 12939 0
[pid=990710/tid=990712] ppid=990707 vsize=114820 memory=-6729341450689100645 CPUtime=0.25 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 3622 0 0 0 24 1 0 0 20 0 3 0 188904967 117575680 8881 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=114820 memory=0 CPUtime=0 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188904969 117575680 8881 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 114820 KiB
Current children cumulated memory: 35524 KiB
[startup+0.701355 s]
/proc/loadavg: 4.14 4.13 4.11 5/249 990713
/proc/meminfo: memFree=121706336/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=114820 memory=38220 CPUtime=0.62 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 7025 0 0 0 60 2 0 0 20 0 3 0 188904965 117575680 9555 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 28705 9555 2942 3032 0 13276 0
[pid=990710/tid=990712] ppid=990707 vsize=114820 memory=0 CPUtime=0.59 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 4333 0 0 0 58 1 0 0 20 0 3 0 188904967 117575680 9555 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=114820 memory=0 CPUtime=0 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188904969 117575680 9555 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 114820 KiB
Current children cumulated memory: 38220 KiB
[startup+1.50034 s]
/proc/loadavg: 4.14 4.13 4.11 5/249 990713
/proc/meminfo: memFree=121703916/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=114820 memory=39040 CPUtime=1.41 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 10610 0 0 0 139 2 0 0 20 0 3 0 188904965 117575680 9760 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 28705 9760 2942 3032 0 13424 0
[pid=990710/tid=990712] ppid=990707 vsize=114820 memory=0 CPUtime=1.37 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 7901 0 0 0 136 1 0 0 20 0 3 0 188904967 117575680 9760 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=114820 memory=0 CPUtime=0 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188904969 117575680 9760 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 114820 KiB
Current children cumulated memory: 39040 KiB
[startup+3.10635 s]
/proc/loadavg: 4.14 4.13 4.11 5/249 990714
/proc/meminfo: memFree=121685548/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=114820 memory=44552 CPUtime=3 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 12668 0 0 0 297 3 0 0 20 0 3 0 188904965 117575680 11138 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 28705 11138 2942 3032 0 14853 0
[pid=990710/tid=990712] ppid=990707 vsize=114820 memory=2273 CPUtime=2.96 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 9956 0 0 0 294 2 0 0 20 0 3 0 188904967 117575680 11138 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=114820 memory=0 CPUtime=0 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 188904969 117575680 11138 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 114820 KiB
Current children cumulated memory: 44552 KiB
[startup+6.30036 s]
/proc/loadavg: 4.13 4.13 4.11 5/249 990762
/proc/meminfo: memFree=121847148/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=114820 memory=49424 CPUtime=6.16 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 19346 0 0 0 613 3 0 0 20 0 3 0 188904965 117575680 12356 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 28705 12356 2942 3032 0 16005 0
[pid=990710/tid=990712] ppid=990707 vsize=114820 memory=11464 CPUtime=6.12 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 16613 0 0 0 610 2 0 0 20 0 3 0 188904967 117575680 12356 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=114820 memory=-6729341450689100645 CPUtime=0 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 188904969 117575680 12356 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 114820 KiB
Current children cumulated memory: 49424 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.13 4.11 5/249 990908
/proc/meminfo: memFree=125222320/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=114820 memory=56100 CPUtime=12.51 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 33178 0 0 0 1245 6 0 0 20 0 3 0 188904965 117575680 14025 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 28705 14025 2990 3032 0 17870 0
[pid=990710/tid=990712] ppid=990707 vsize=114820 memory=11464 CPUtime=12.47 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 30398 0 0 0 1242 5 0 0 20 0 3 0 188904967 117575680 14025 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=114820 memory=44240 CPUtime=0 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 188904969 117575680 14025 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 114820 KiB
Current children cumulated memory: 56100 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.12 4.11 5/245 991146
/proc/meminfo: memFree=123020764/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=114820 memory=77676 CPUtime=25.25 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 60632 0 0 0 2512 13 0 0 20 0 3 0 188904965 117575680 19419 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 28705 19419 2990 3032 0 23051 0
[pid=990710/tid=990712] ppid=990707 vsize=114820 memory=11464 CPUtime=25.21 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 57781 0 0 0 2509 12 0 0 20 0 3 0 188904967 117575680 19419 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=114820 memory=100 CPUtime=0 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 188904969 117575680 19419 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 114820 KiB
Current children cumulated memory: 77676 KiB
[startup+51.1134 s]
/proc/loadavg: 4.12 4.12 4.11 5/245 991149
/proc/meminfo: memFree=122612448/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=182412 memory=99684 CPUtime=50.78 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 92706 0 0 0 5053 25 0 0 20 0 3 0 188904965 186789888 24921 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 45603 24921 2990 3032 0 28479 0
[pid=990710/tid=990712] ppid=990707 vsize=182412 memory=88660 CPUtime=50.74 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 89762 0 0 0 5050 24 0 0 20 0 3 0 188904967 186789888 24921 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=182412 memory=44240 CPUtime=0 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 188904969 186789888 24921 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 50.78 s
Current children cumulated vsize: 182412 KiB
Current children cumulated memory: 99684 KiB
[startup+102.3 s]
/proc/loadavg: 4.37 4.18 4.13 5/245 991160
/proc/meminfo: memFree=122496056/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=256684 memory=162852 CPUtime=101.78 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 152293 0 0 0 10127 51 0 0 20 0 3 0 188904965 262844416 40713 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 64171 40713 2990 3032 0 44443 0
[pid=990710/tid=990712] ppid=990707 vsize=256684 memory=11464 CPUtime=101.73 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 149267 0 0 0 10123 50 0 0 20 0 3 0 188904967 262844416 40713 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=256684 memory=152264 CPUtime=0 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 188904969 262844416 40713 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 101.78 s
Current children cumulated vsize: 256684 KiB
Current children cumulated memory: 162852 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.12 5/245 991218
/proc/meminfo: memFree=125232916/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=271576 memory=235776 CPUtime=161.54 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 204687 0 0 0 16075 79 0 0 20 0 3 0 188904965 278093824 58944 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 67894 58944 2990 3032 0 62266 0
[pid=990710/tid=990712] ppid=990707 vsize=271576 memory=224948 CPUtime=161.48 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 201605 0 0 0 16070 78 0 0 20 0 3 0 188904967 278093824 58944 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=271576 memory=199992 CPUtime=0 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 188904969 278093824 58944 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 161.54 s
Current children cumulated vsize: 271576 KiB
################
# More data... #
################
/proc/990710/statm: 351223 327501 2990 3032 0 332628 0
[pid=990710/tid=990712] ppid=990707 vsize=1404892 memory=1299732 CPUtime=3390.11 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 1956095 0 0 0 338225 786 0 0 20 0 3 0 188904967 1438609408 327501 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=1404892 memory=1308396 CPUtime=0.05 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 137 0 0 0 1 4 0 0 20 0 3 0 188904969 1438609408 327501 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 3390.5 s
Current children cumulated vsize: 1404892 KiB
Current children cumulated memory: 1310004 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.15 4.16 5/246 993175
/proc/meminfo: memFree=111516228/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=1405920 memory=1313668 CPUtime=3450.29 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 1984140 0 0 0 344222 807 0 0 20 0 3 0 188904965 1439662080 328417 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 351480 328417 2990 3032 0 333541 0
[pid=990710/tid=990712] ppid=990707 vsize=1405920 memory=1299732 CPUtime=3449.9 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 1980178 0 0 0 344195 795 0 0 20 0 3 0 188904967 1439662080 328417 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=1405920 memory=1312548 CPUtime=0.05 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 139 0 0 0 1 4 0 0 20 0 3 0 188904969 1439662080 328417 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 3450.29 s
Current children cumulated vsize: 1405920 KiB
Current children cumulated memory: 1313668 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/245 993186
/proc/meminfo: memFree=111507372/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=1406948 memory=1322204 CPUtime=3510.06 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 2024339 0 0 0 350190 816 0 0 20 0 3 0 188904965 1440714752 330551 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 351737 330551 2990 3032 0 335775 0
[pid=990710/tid=990712] ppid=990707 vsize=1406948 memory=44344 CPUtime=3509.66 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 2020368 0 0 0 350162 804 0 0 20 0 3 0 188904967 1440714752 330551 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=1406948 memory=44344 CPUtime=0.05 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 141 0 0 0 1 4 0 0 20 0 3 0 188904969 1440714752 330551 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 3510.06 s
Current children cumulated vsize: 1406948 KiB
Current children cumulated memory: 1322204 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/245 993196
/proc/meminfo: memFree=111498836/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=1407976 memory=1328600 CPUtime=3569.82 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 2058900 0 0 0 356157 825 0 0 20 0 3 0 188904965 1441767424 332150 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 351994 332150 2990 3032 0 337408 0
[pid=990710/tid=990712] ppid=990707 vsize=1407976 memory=11464 CPUtime=3569.41 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 2054911 0 0 0 356129 812 0 0 20 0 3 0 188904967 1441767424 332150 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=1407976 memory=1328600 CPUtime=0.06 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 143 0 0 0 1 5 0 0 20 0 3 0 188904969 1441767424 332150 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 3569.82 s
Current children cumulated vsize: 1407976 KiB
Current children cumulated memory: 1328600 KiB
[startup+3602.08 s]
# the end of solver process 990710 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.01 s, system=8.51872 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.14 4.15 5/245 993197
/proc/meminfo: memFree=111498632/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=1407976 memory=1328600 CPUtime=3571.52 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 2059145 0 0 0 356327 825 0 0 20 0 3 0 188904965 1441767424 332150 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 351994 332150 2990 3032 0 337408 0
[pid=990710/tid=990712] ppid=990707 vsize=1407976 memory=-8888810900993385148 CPUtime=3571.11 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 2055148 0 0 0 356299 812 0 0 20 0 3 0 188904967 1441767424 332150 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=1407976 memory=2628 CPUtime=0.06 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 143 0 0 0 1 5 0 0 20 0 3 0 188904969 1441767424 332150 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 3571.52 s
Current children cumulated vsize: 1407976 KiB
Current children cumulated memory: 1328600 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.13 4.15 5/245 993197
/proc/meminfo: memFree=111497436/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=1407976 memory=1329924 CPUtime=3577.89 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 2060366 0 0 0 356963 826 0 0 20 0 3 0 188904965 1441767424 332481 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 351994 332481 2990 3032 0 337696 0
[pid=990710/tid=990712] ppid=990707 vsize=1407976 memory=164 CPUtime=3577.48 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 2056369 0 0 0 356935 813 0 0 20 0 3 0 188904967 1441767424 332481 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=1407976 memory=1328600 CPUtime=0.06 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 143 0 0 0 1 5 0 0 20 0 3 0 188904969 1441767424 332481 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 3577.89 s
Current children cumulated vsize: 1407976 KiB
Current children cumulated memory: 1329924 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.13 4.15 5/245 993198
/proc/meminfo: memFree=111497120/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=1407976 memory=1330156 CPUtime=3584.27 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 2068743 0 0 0 357600 827 0 0 20 0 3 0 188904965 1441767424 332539 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 351994 332539 2990 3032 0 337924 0
[pid=990710/tid=990712] ppid=990707 vsize=1407976 memory=11464 CPUtime=3583.85 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 2064746 0 0 0 357571 814 0 0 20 0 3 0 188904967 1441767424 332539 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=1407976 memory=11464 CPUtime=0.06 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 143 0 0 0 1 5 0 0 20 0 3 0 188904969 1441767424 332539 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 3584.27 s
Current children cumulated vsize: 1407976 KiB
Current children cumulated memory: 1330156 KiB
[startup+3600 s]*
/proc/loadavg: 4.08 4.13 4.15 5/245 993198
/proc/meminfo: memFree=111496616/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=1407976 memory=1330652 CPUtime=3587.47 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 2082368 0 0 0 357919 828 0 0 20 0 3 0 188904965 1441767424 332663 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 351994 332663 2990 3032 0 338045 0
[pid=990710/tid=990712] ppid=990707 vsize=1407976 memory=-8888810900993385148 CPUtime=3587.05 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 2079617 0 0 0 357890 815 0 0 20 0 3 0 188904967 1441767424 332663 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=1407976 memory=-8549726982433129111 CPUtime=0.06 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 143 0 0 0 1 5 0 0 20 0 3 0 188904969 1441767424 332663 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 3587.47 s
Current children cumulated vsize: 1407976 KiB
Current children cumulated memory: 1330652 KiB
[startup+3600.8 s]
/proc/loadavg: 4.08 4.13 4.15 5/245 993198
/proc/meminfo: memFree=111496616/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=1387416 memory=1310092 CPUtime=3588.25 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 2185530 0 0 0 357991 834 0 0 20 0 3 0 188904965 1420713984 327523 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 346854 327523 2990 3032 0 332905 0
[pid=990710/tid=990712] ppid=990707 vsize=1387416 memory=2628 CPUtime=3587.84 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 2181553 0 0 0 357963 821 0 0 20 0 3 0 188904967 1420713984 327523 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=1387416 memory=1330652 CPUtime=0.06 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 143 0 0 0 1 5 0 0 20 0 3 0 188904969 1420713984 327523 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 3588.25 s
Current children cumulated vsize: 1387416 KiB
Current children cumulated memory: 1310092 KiB
[startup+3601.6 s]
/proc/loadavg: 4.08 4.13 4.15 5/245 993198
/proc/meminfo: memFree=111545756/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=1283588 memory=1206264 CPUtime=3589.05 cores=1,3
/proc/990710/stat : 990710 (fscip) S 990707 990710 988413 0 -1 1077936128 2281580 0 0 0 358063 842 0 0 20 0 3 0 188904965 1314394112 301566 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 320897 301566 2990 3032 0 306948 0
[pid=990710/tid=990712] ppid=990707 vsize=1283588 memory=1330652 CPUtime=3588.63 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 2277608 0 0 0 358034 829 0 0 20 0 3 0 188904967 1314394112 301566 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=1283588 memory=5544 CPUtime=0.06 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 143 0 0 0 1 5 0 0 20 0 3 0 188904969 1314394112 301566 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 3589.05 s
Current children cumulated vsize: 1283588 KiB
Current children cumulated memory: 1206264 KiB
[startup+3602 s]*
/proc/loadavg: 4.08 4.13 4.15 5/245 993200
/proc/meminfo: memFree=111662908/131655788 swapFree=131071996/131071996
[pid=990710] ppid=990707 vsize=1032324 memory=965976 CPUtime=3589.45 cores=1,3
/proc/990710/stat : 990710 (fscip) R 990707 990710 988413 0 -1 4194304 2315096 0 0 0 358100 845 0 0 20 0 3 0 188904965 1057099776 242518 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
/proc/990710/statm: 258081 242006 2990 3032 0 253112 0
[pid=990710/tid=990712] ppid=990707 vsize=1032324 memory=-8888810900993385148 CPUtime=3589.05 cores=1,3
/proc/990710/task/990712/stat : 990712 (fscip) R 990707 990710 988413 0 -1 4194368 2311098 0 0 0 358072 833 0 0 20 0 3 0 188904967 1057099776 240030 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
[pid=990710/tid=990713] ppid=990707 vsize=1032324 memory=-8549726982433129111 CPUtime=0.06 cores=1,3
/proc/990710/task/990713/stat : 990713 (fscip) S 990707 990710 988413 0 -1 1077936192 143 0 0 0 1 5 0 0 20 0 3 0 188904969 1057099776 240030 134679101440 4194304 16613245 140736259306432 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 34615296 140736259314708 140736259314824 140736259314824 140736259321840 0
Current children cumulated CPU time: 3589.45 s
Current children cumulated vsize: 1032324 KiB
Current children cumulated memory: 965976 KiB
Child status: 0
Real time (s): 3602.08
CPU time (s): 3589.53
CPU user time (s): 3581.01
CPU system time (s): 8.51872
CPU usage (%): 99.6517
Max. virtual memory (cumulated for all children) (KiB): 1407976
Max. memory (cumulated for all children) (KiB): 1330652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.01
system time used= 8.51872
maximum resident set size= 1330652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2315536
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= 10877
involuntary context switches= 4408
# summary of solver processes directly reported to runsolver:
# pid: 990710
# total CPU time (s): 3589.53
# total CPU user time (s): 3581.01
# total CPU system time (s): 8.51872
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5553 second user time and 37.9067 second system time
The end
Begin job on nodeC009 at 2024-07-19 07:37:45
IDJOB=4448690
IDBENCH=160436
IDSOLVER=3064
FILE ID=nodeC009/4448690-1721367454
RUNJOBID= nodeC009-1721363855-988425
SLURM_JOB_ID= 7542791
Free space on /tmp= 723688 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid3x100split.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-4448690-1721367454/watcher-4448690-1721367454 -o /tmp/evaluation-result-4448690-1721367454/solver-4448690-1721367454 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988425 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448690-1721367454.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= eb6e9a4b9cb8532f79ed61cad5cbae76
RANDOM SEED=1058433067
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 : 3661.059
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 : 1197.325
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.349
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.318
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 : 3662.963
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 : 1197.423
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.500
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 : 3668.732
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: 121740512 kB
MemAvailable: 122646248 kB
Buffers: 551660 kB
Cached: 1190572 kB
SwapCached: 0 kB
Active: 1080732 kB
Inactive: 8273120 kB
Active(anon): 1460 kB
Inactive(anon): 7647556 kB
Active(file): 1079272 kB
Inactive(file): 625564 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56832 kB
Writeback: 0 kB
AnonPages: 7611024 kB
Mapped: 142280 kB
Shmem: 37700 kB
KReclaimable: 81864 kB
Slab: 181912 kB
SReclaimable: 81864 kB
SUnreclaim: 100048 kB
KernelStack: 3996 kB
PageTables: 24504 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 1418736 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59488 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1806336 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= 723568 MiB
End job on nodeC009 at 2024-07-19 08:37:48