0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 24698880, getVmSize() = 24698880, SCIPgetMemUsed() = 2177795, SCIPgetMemTotal() = 3179387, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.01 c ** Estimated virtualMemUsedAtSolver = 18732373, getVmSize() = 31498240, SCIPgetMemUsed() = 6085223, SCIPgetMemTotal() = 8801143, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.01 c Original Problem :
0.00/0.01 c Problem name : instance-4464511-1722385853
0.00/0.01 c Variables : 601 (601 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 301
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 600 (600 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 300
0.00/0.01 c Constraints : Number
0.00/0.01 c linear : 300
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.02 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.02 c Nodes Active
0.00/0.02 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.16/5.24 c 5 2509 1722 1 - 0.0000 -
10.15/10.30 c 10 8666 1130 1 - 0.0000 -
15.23/15.34 c 15 20508 7117 1 - 0.0000 -
20.21/20.39 c 20 34233 12267 1 - 0.0000 -
25.29/25.44 c 25 47353 20638 1 - 0.0000 -
30.27/30.49 c 30 60157 28788 1 - 0.0000 -
35.35/35.53 c 36 73576 35536 1 - 0.0000 -
40.34/40.58 c 41 87734 40099 1 - 0.0000 -
45.42/45.63 c 46 101197 46037 1 - 0.0000 -
50.40/50.68 c 51 113263 51858 1 - 0.0000 -
55.48/55.73 c 56 126791 57314 1 - 0.0000 -
60.46/60.78 c 61 138769 63291 1 - 0.0000 -
65.54/65.84 c 66 148667 68877 1 - 0.0000 -
70.52/70.88 c 71 155773 74048 1 - 0.0000 -
75.60/75.93 c 76 166861 81089 1 - 0.0000 -
80.58/80.98 c 81 177255 88077 1 - 0.0000 -
85.68/86.03 c 86 188128 95169 1 - 0.0000 -
90.65/91.08 c 91 198224 102951 1 - 0.0000 -
95.74/96.13 c 96 207235 110111 1 - 0.0000 -
100.72/101.18 c 101 216440 117416 1 - 0.0000 -
105.79/106.24 c 106 225863 122754 1 - 0.0000 -
110.76/111.28 c 111 234977 130478 1 - 0.0000 -
115.85/116.33 c 116 244207 137046 1 - 0.0000 -
120.83/121.38 c 121 253275 143054 1 - 0.0000 -
125.90/126.43 c 126 262323 148771 1 - 0.0000 -
130.89/131.47 c 131 271455 153954 1 - 0.0000 -
135.97/136.53 c 137 281303 159299 1 - 0.0000 -
140.95/141.58 c 142 288436 165209 1 - 0.0000 -
146.03/146.65 c 147 296903 171411 1 - 0.0000 -
151.11/151.71 c 152 306262 177351 1 - 0.0000 -
156.09/156.75 c 157 315388 182700 1 - 0.0000 -
161.17/161.80 c 162 324969 187104 1 - 0.0000 -
166.16/166.85 c 167 334502 192065 1 - 0.0000 -
171.23/171.90 c 172 343568 197072 1 - 0.0000 -
176.22/176.95 c 177 353557 201644 1 - 0.0000 -
181.19/182.01 c 182 362140 207092 1 - 0.0000 -
186.28/187.06 c 187 370464 213279 1 - 0.0000 -
191.36/192.12 c 192 378472 218903 1 - 0.0000 -
196.35/197.18 c 197 385671 224315 1 - 0.0000 -
201.41/202.23 c 202 392879 229531 1 - 0.0000 -
206.39/207.28 c 207 400086 235029 1 - 0.0000 -
211.47/212.33 c 212 408107 240997 1 - 0.0000 -
216.45/217.38 c 217 416440 246930 1 - 0.0000 -
221.53/222.43 c 222 424312 252608 1 - 0.0000 -
226.51/227.49 c 228 430949 256638 1 - 0.0000 -
231.59/232.54 c 233 438125 261197 1 - 0.0000 -
236.57/237.59 c 238 444989 265940 1 - 0.0000 -
241.65/242.66 c 243 451406 270212 1 - 0.0000 -
246.73/247.71 c 248 459319 275719 1 - 0.0000 -
251.71/252.76 c 253 467034 280962 1 - 0.0000 -
256.79/257.82 c 258 475729 286491 1 - 0.0000 -
261.78/262.87 c 263 483438 290837 1 - 0.0000 -
266.85/267.93 c 268 490299 295967 1 - 0.0000 -
271.83/272.97 c 273 498003 300358 1 - 0.0000 -
276.92/278.02 c 278 506111 305134 1 - 0.0000 -
281.91/283.07 c 283 513347 309320 1 - 0.0000 -
286.99/288.12 c 288 520560 313980 1 - 0.0000 -
291.97/293.18 c 293 527891 318527 1 - 0.0000 -
297.03/298.22 c 298 535106 323417 1 - 0.0000 -
302.01/303.27 c 303 541786 327039 1 - 0.0000 -
307.09/308.32 c 308 549242 331810 1 - 0.0000 -
312.08/313.37 c 313 556376 336293 1 - 0.0000 -
317.16/318.42 c 318 562766 340319 1 - 0.0000 -
322.13/323.48 c 323 569467 344510 1 - 0.0000 -
327.22/328.52 c 329 576295 348760 1 - 0.0000 -
332.20/333.57 c 334 582464 352612 1 - 0.0000 -
337.28/338.62 c 339 589230 356147 1 - 0.0000 -
342.26/343.67 c 344 595719 359930 1 - 0.0000 -
347.34/348.72 c 349 603048 363726 1 - 0.0000 -
352.33/353.77 c 354 611451 367877 1 - 0.0000 -
357.40/358.82 c 359 619467 371756 1 - 0.0000 -
362.38/363.87 c 364 627595 376856 1 - 0.0000 -
367.47/368.92 c 369 635388 380852 1 - 0.0000 -
372.45/373.97 c 374 642782 384516 1 - 0.0000 -
377.54/379.02 c 379 650185 389669 1 - 0.0000 -
382.53/384.08 c 384 658206 394787 1 - 0.0000 -
387.61/389.12 c 389 664875 397857 1 - 0.0000 -
392.59/394.17 c 394 672526 402628 1 - 0.0000 -
397.66/399.22 c 399 680921 407947 1 - 0.0000 -
402.64/404.27 c 404 687924 413042 1 - 0.0000 -
407.73/409.32 c 409 695176 417564 1 - 0.0000 -
412.71/414.37 c 414 702392 422611 1 - 0.0000 -
417.79/419.42 c 419 709134 427162 1 - 0.0000 -
422.77/424.48 c 424 716534 431617 1 - 0.0000 -
427.85/429.52 c 430 723825 436350 1 - 0.0000 -
432.84/434.58 c 435 731599 440546 1 - 0.0000 -
437.92/439.62 c 440 739185 445584 1 - 0.0000 -
442.91/444.67 c 445 747541 451091 1 - 0.0000 -
447.98/449.73 c 450 755409 456662 1 - 0.0000 -
452.97/454.77 c 455 763160 460892 1 - 0.0000 -
458.05/459.83 c 460 770417 464293 1 - 0.0000 -
463.03/464.87 c 465 777674 468477 1 - 0.0000 -
468.11/469.92 c 470 784686 472807 1 - 0.0000 -
473.10/474.99 c 475 792323 477730 1 - 0.0000 -
478.19/480.05 c 480 799031 482239 1 - 0.0000 -
483.17/485.10 c 485 806229 487267 1 - 0.0000 -
488.26/490.16 c 490 812773 491952 1 - 0.0000 -
493.32/495.20 c 495 819521 495910 1 - 0.0000 -
498.31/500.26 c 500 825837 499186 1 - 0.0000 -
503.38/505.31 c 505 831625 502295 1 - 0.0000 -
508.37/510.37 c 510 838385 506986 1 - 0.0000 -
513.45/515.42 c 515 845108 512144 1 - 0.0000 -
518.43/520.46 c 520 851626 516885 1 - 0.0000 -
523.52/525.51 c 526 858213 521409 1 - 0.0000 -
528.49/530.56 c 531 864518 525310 1 - 0.0000 -
533.58/535.63 c 536 870593 528900 1 - 0.0000 -
538.56/540.68 c 541 877322 532543 1 - 0.0000 -
543.64/545.73 c 546 882993 537497 1 - 0.0000 -
548.72/550.80 c 551 888548 541648 1 - 0.0000 -
553.71/555.87 c 556 893258 544924 1 - 0.0000 -
558.79/560.91 c 561 900268 548804 1 - 0.0000 -
563.77/565.96 c 566 907233 552754 1 - 0.0000 -
568.86/571.01 c 571 911856 556401 1 - 0.0000 -
573.84/576.06 c 576 916820 560530 1 - 0.0000 -
578.92/581.11 c 581 923189 564629 1 - 0.0000 -
583.90/586.16 c 586 928342 568456 1 - 0.0000 -
588.98/591.22 c 591 934467 572971 1 - 0.0000 -
593.96/596.26 c 596 940486 577403 1 - 0.0000 -
599.03/601.31 c 601 946821 581596 1 - 0.0000 -
604.02/606.38 c 606 952263 585551 1 - 0.0000 -
609.10/611.42 c 611 958173 589456 1 - 0.0000 -
614.08/616.47 c 616 963995 593616 1 - 0.0000 -
619.17/621.53 c 622 970030 597529 1 - 0.0000 -
624.14/626.58 c 627 975577 600983 1 - 0.0000 -
629.22/631.63 c 632 980336 604477 1 - 0.0000 -
634.20/636.67 c 637 985600 608135 1 - 0.0000 -
639.28/641.72 c 642 991729 612313 1 - 0.0000 -
644.26/646.77 c 647 997604 616193 1 - 0.0000 -
649.34/651.82 c 652 1004355 620274 1 - 0.0000 -
654.32/656.87 c 657 1011394 624423 1 - 0.0000 -
659.41/661.93 c 662 1017998 628752 1 - 0.0000 -
664.38/666.98 c 667 1024399 633051 1 - 0.0000 -
669.48/672.03 c 672 1031485 637456 1 - 0.0000 -
674.46/677.08 c 677 1038248 641504 1 - 0.0000 -
679.54/682.13 c 682 1044317 646300 1 - 0.0000 -
684.60/687.20 c 687 1050505 651115 1 - 0.0000 -
689.58/692.25 c 692 1056566 655546 1 - 0.0000 -
694.66/697.31 c 697 1063695 659485 1 - 0.0000 -
699.65/702.35 c 702 1070113 663237 1 - 0.0000 -
704.72/707.40 c 707 1077433 668138 1 - 0.0000 -
709.70/712.46 c 712 1084697 672034 1 - 0.0000 -
714.79/717.51 c 718 1090836 674867 1 - 0.0000 -
719.77/722.56 c 723 1097474 678453 1 - 0.0000 -
724.84/727.61 c 728 1103970 682332 1 - 0.0000 -
729.83/732.66 c 733 1111042 686384 1 - 0.0000 -
734.90/737.71 c 738 1118199 690756 1 - 0.0000 -
739.89/742.76 c 743 1125883 695210 1 - 0.0000 -
744.96/747.81 c 748 1133534 699663 1 - 0.0000 -
749.95/752.87 c 753 1142111 704374 1 - 0.0000 -
755.02/757.91 c 758 1149801 708726 1 - 0.0000 -
760.01/762.96 c 763 1156071 712508 1 - 0.0000 -
765.10/768.01 c 768 1163332 717075 1 - 0.0000 -
770.07/773.06 c 773 1171157 721813 1 - 0.0000 -
775.15/778.11 c 778 1179249 726601 1 - 0.0000 -
780.14/783.17 c 783 1187476 731068 1 - 0.0000 -
785.20/788.21 c 788 1195628 735373 1 - 0.0000 -
790.18/793.26 c 793 1203921 739876 1 - 0.0000 -
795.26/798.31 c 798 1212196 744230 1 - 0.0000 -
800.24/803.36 c 803 1222017 749569 1 - 0.0000 -
805.33/808.42 c 808 1229255 754006 1 - 0.0000 -
810.30/813.47 c 813 1237906 758963 1 - 0.0000 -
815.39/818.52 c 819 1245346 763685 1 - 0.0000 -
820.37/823.57 c 824 1253378 768658 1 - 0.0000 -
825.44/828.63 c 829 1261184 772555 1 - 0.0000 -
830.43/833.67 c 834 1269078 777485 1 - 0.0000 -
835.50/838.72 c 839 1278054 782604 1 - 0.0000 -
840.49/843.78 c 844 1285924 787599 1 - 0.0000 -
845.57/848.82 c 849 1293616 792617 1 - 0.0000 -
850.55/853.87 c 854 1302697 798915 1 - 0.0000 -
855.63/858.92 c 859 1311132 804914 1 - 0.0000 -
860.61/863.97 c 864 1319204 810604 1 - 0.0000 -
865.68/869.03 c 869 1326699 815164 1 - 0.0000 -
870.67/874.07 c 874 1334840 819628 1 - 0.0000 -
875.75/879.12 c 879 1342557 823797 1 - 0.0000 -
880.73/884.19 c 884 1349315 827935 1 - 0.0000 -
885.80/889.23 c 889 1356823 832543 1 - 0.0000 -
890.78/894.29 c 894 1365046 837423 1 - 0.0000 -
895.86/899.34 c 899 1373056 841837 1 - 0.0000 -
900.85/904.38 c 904 1380906 846216 1 - 0.0000 -
905.92/909.44 c 909 1388923 850898 1 - 0.0000 -
910.90/914.48 c 914 1397503 855931 1 - 0.0000 -
915.98/919.53 c 920 1405489 860828 1 - 0.0000 -
920.97/924.58 c 925 1412858 866098 1 - 0.0000 -
926.05/929.64 c 930 1421226 870436 1 - 0.0000 -
931.03/934.68 c 935 1429084 875213 1 - 0.0000 -
936.12/939.73 c 940 1436494 880332 1 - 0.0000 -
941.09/944.78 c 945 1444224 885816 1 - 0.0000 -
946.18/949.83 c 950 1452042 891046 1 - 0.0000 -
951.26/954.90 c 955 1459596 896065 1 - 0.0000 -
956.25/959.94 c 960 1466429 900536 1 - 0.0000 -
961.23/964.99 c 965 1472996 905554 1 - 0.0000 -
966.32/970.04 c 970 1480190 910342 1 - 0.0000 -
971.41/975.11 c 975 1487282 914939 1 - 0.0000 -
976.38/980.15 c 980 1494503 918774 1 - 0.0000 -
981.46/985.21 c 985 1502754 923078 1 - 0.0000 -
986.44/990.26 c 990 1509534 927782 1 - 0.0000 -
991.52/995.31 c 995 1516650 933082 1 - 0.0000 -
996.50/1000.35 c 1000 1523795 938027 1 - 0.0000 -
1001.59/1005.40 c 1005 1530757 943245 1 - 0.0000 -
1006.57/1010.47 c 1010 1537677 948429 1 - 0.0000 -
1011.66/1015.51 c 1016 1544889 953067 1 - 0.0000 -
1016.64/1020.56 c 1021 1551137 957405 1 - 0.0000 -
1021.72/1025.61 c 1026 1557987 961712 1 - 0.0000 -
1026.70/1030.66 c 1031 1564975 966592 1 - 0.0000 -
1031.78/1035.71 c 1036 1571472 971394 1 - 0.0000 -
1036.76/1040.77 c 1041 1577704 976051 1 - 0.0000 -
1041.86/1045.83 c 1046 1583990 980546 1 - 0.0000 -
1046.84/1050.88 c 1051 1590504 984673 1 - 0.0000 -
1051.92/1055.92 c 1056 1597420 988870 1 - 0.0000 -
1056.91/1060.98 c 1061 1604104 992932 1 - 0.0000 -
1061.99/1066.03 c 1066 1610654 996566 1 - 0.0000 -
1066.98/1071.08 c 1071 1616601 1000500 1 - 0.0000 -
1072.06/1076.14 c 1076 1622738 1003154 1 - 0.0000 -
1077.04/1081.19 c 1081 1628757 1007116 1 - 0.0000 -
1082.11/1086.23 c 1086 1634908 1011350 1 - 0.0000 -
1087.10/1091.28 c 1091 1640261 1014411 1 - 0.0000 -
1092.18/1096.33 c 1096 1647109 1018180 1 - 0.0000 -
1097.15/1101.39 c 1101 1653288 1021811 1 - 0.0000 -
1102.24/1106.43 c 1106 1659470 1025317 1 - 0.0000 -
1107.23/1111.48 c 1111 1665971 1028770 1 - 0.0000 -
1112.31/1116.53 c 1117 1672645 1032746 1 - 0.0000 -
1117.29/1121.58 c 1122 1679254 1036282 1 - 0.0000 -
1122.37/1126.63 c 1127 1686157 1040341 1 - 0.0000 -
1127.35/1131.69 c 1132 1692103 1044105 1 - 0.0000 -
1132.43/1136.73 c 1137 1698015 1047429 1 - 0.0000 -
1137.41/1141.78 c 1142 1704709 1050860 1 - 0.0000 -
1142.50/1146.84 c 1147 1711422 1054855 1 - 0.0000 -
1147.48/1151.89 c 1152 1717018 1058287 1 - 0.0000 -
1152.57/1156.95 c 1157 1722842 1061976 1 - 0.0000 -
1157.55/1161.99 c 1162 1728230 1064570 1 - 0.0000 -
1162.63/1167.05 c 1167 1733326 1067688 1 - 0.0000 -
1167.62/1172.10 c 1172 1738850 1071130 1 - 0.0000 -
1172.71/1177.14 c 1177 1745103 1074533 1 - 0.0000 -
1177.69/1182.19 c 1182 1751255 1077979 1 - 0.0000 -
1182.76/1187.24 c 1187 1757444 1081404 1 - 0.0000 -
1187.74/1192.29 c 1192 1763685 1084836 1 - 0.0000 -
1192.82/1197.34 c 1197 1769631 1088276 1 - 0.0000 -
1197.90/1202.40 c 1202 1775988 1091846 1 - 0.0000 -
1202.88/1207.44 c 1207 1781597 1095170 1 - 0.0000 -
1207.87/1212.49 c 1212 1787269 1098268 1 - 0.0000 -
1212.95/1217.55 c 1218 1793308 1101711 1 - 0.0000 -
1217.93/1222.59 c 1223 1799223 1105085 1 - 0.0000 -
1223.01/1227.64 c 1228 1804753 1108577 1 - 0.0000 -
1228.10/1232.71 c 1233 1811050 1112031 1 - 0.0000 -
1233.08/1237.75 c 1238 1817354 1116675 1 - 0.0000 -
1238.16/1242.81 c 1243 1824064 1120743 1 - 0.0000 -
1243.14/1247.87 c 1248 1829967 1124709 1 - 0.0000 -
1248.22/1252.93 c 1253 1835264 1128432 1 - 0.0000 -
1253.31/1258.01 c 1258 1841178 1132234 1 - 0.0000 -
1258.30/1263.07 c 1263 1847347 1136695 1 - 0.0000 -
1263.38/1268.12 c 1268 1853467 1140954 1 - 0.0000 -
1268.36/1273.17 c 1273 1859935 1144999 1 - 0.0000 -
1273.43/1278.21 c 1278 1866006 1149268 1 - 0.0000 -
1278.42/1283.27 c 1283 1871766 1153244 1 - 0.0000 -
1283.50/1288.32 c 1288 1877762 1156931 1 - 0.0000 -
1288.49/1293.37 c 1293 1883456 1160463 1 - 0.0000 -
1293.56/1298.42 c 1298 1888981 1163399 1 - 0.0000 -
1298.55/1303.48 c 1303 1894948 1167512 1 - 0.0000 -
1303.63/1308.53 c 1309 1900114 1170521 1 - 0.0000 -
1308.62/1313.58 c 1314 1906076 1174503 1 - 0.0000 -
1313.69/1318.64 c 1319 1911692 1177974 1 - 0.0000 -
1318.68/1323.68 c 1324 1917411 1181591 1 - 0.0000 -
1323.76/1328.73 c 1329 1922397 1184737 1 - 0.0000 -
1328.74/1333.78 c 1334 1927393 1188100 1 - 0.0000 -
1333.82/1338.84 c 1339 1932347 1191268 1 - 0.0000 -
1338.81/1343.88 c 1344 1938306 1194581 1 - 0.0000 -
1343.89/1348.93 c 1349 1943743 1197710 1 - 0.0000 -
1348.87/1353.99 c 1354 1949340 1201127 1 - 0.0000 -
1353.97/1359.05 c 1359 1954664 1204568 1 - 0.0000 -
1359.05/1364.11 c 1364 1959730 1207671 1 - 0.0000 -
1364.03/1369.15 c 1369 1964946 1210900 1 - 0.0000 -
1369.10/1374.23 c 1374 1969924 1214730 1 - 0.0000 -
1374.08/1379.28 c 1379 1975133 1218463 1 - 0.0000 -
1379.17/1384.33 c 1384 1979719 1221695 1 - 0.0000 -
1384.15/1389.39 c 1389 1984599 1225104 1 - 0.0000 -
1389.23/1394.44 c 1394 1988770 1228161 1 - 0.0000 -
1394.21/1399.49 c 1399 1994248 1230928 1 - 0.0000 -
1399.29/1404.54 c 1405 1999465 1234085 1 - 0.0000 -
1404.27/1409.58 c 1410 2003965 1236417 1 - 0.0000 -
1409.36/1414.63 c 1415 2009108 1239418 1 - 0.0000 -
1414.34/1419.68 c 1420 2014024 1242370 1 - 0.0000 -
1419.42/1424.74 c 1425 2019617 1245393 1 - 0.0000 -
1424.40/1429.78 c 1430 2024933 1248185 1 - 0.0000 -
1429.48/1434.83 c 1435 2029804 1250983 1 - 0.0000 -
1434.47/1439.89 c 1440 2034041 1253075 1 - 0.0000 -
1439.56/1444.94 c 1445 2039153 1256334 1 - 0.0000 -
1444.54/1449.98 c 1450 2043699 1259167 1 - 0.0000 -
1449.61/1455.03 c 1455 2048108 1261607 1 - 0.0000 -
1454.60/1460.09 c 1460 2052967 1264499 1 - 0.0000 -
1459.69/1465.13 c 1465 2057602 1267213 1 - 0.0000 -
1464.66/1470.18 c 1470 2062671 1270445 1 - 0.0000 -
1469.74/1475.23 c 1475 2067490 1273360 1 - 0.0000 -
1474.71/1480.29 c 1480 2072260 1276622 1 - 0.0000 -
1479.80/1485.35 c 1485 2076850 1279840 1 - 0.0000 -
1484.88/1490.40 c 1490 2081769 1283042 1 - 0.0000 -
1489.86/1495.45 c 1495 2086348 1285863 1 - 0.0000 -
1494.94/1500.51 c 1501 2090868 1288602 1 - 0.0000 -
1499.92/1505.56 c 1506 2095474 1291028 1 - 0.0000 -
1505.01/1510.61 c 1511 2099835 1293318 1 - 0.0000 -
1509.99/1515.67 c 1516 2104443 1296466 1 - 0.0000 -
1515.07/1520.72 c 1521 2108550 1298918 1 - 0.0000 -
1520.05/1525.78 c 1526 2113038 1301710 1 - 0.0000 -
1525.14/1530.82 c 1531 2117259 1304138 1 - 0.0000 -
1530.12/1535.87 c 1536 2121173 1306616 1 - 0.0000 -
1535.20/1540.92 c 1541 2126091 1310271 1 - 0.0000 -
1540.18/1545.97 c 1546 2130684 1313323 1 - 0.0000 -
1545.27/1551.03 c 1551 2135382 1316176 1 - 0.0000 -
1550.25/1556.08 c 1556 2140283 1319562 1 - 0.0000 -
1555.33/1561.14 c 1561 2145001 1322655 1 - 0.0000 -
1560.31/1566.18 c 1566 2149612 1325548 1 - 0.0000 -
1565.37/1571.24 c 1571 2154087 1328126 1 - 0.0000 -
1570.45/1576.30 c 1576 2157786 1330069 1 - 0.0000 -
1575.44/1581.34 c 1581 2162165 1332770 1 - 0.0000 -
1580.42/1586.39 c 1586 2166234 1335309 1 - 0.0000 -
1585.50/1591.44 c 1591 2171351 1338531 1 - 0.0000 -
1590.58/1596.50 c 1596 2176286 1341632 1 - 0.0000 -
1595.56/1601.55 c 1602 2180711 1344030 1 - 0.0000 -
1600.54/1606.59 c 1607 2185040 1346751 1 - 0.0000 -
1605.61/1611.66 c 1612 2189489 1349556 1 - 0.0000 -
1610.69/1616.72 c 1617 2193675 1352048 1 - 0.0000 -
1615.68/1621.76 c 1622 2199022 1355162 1 - 0.0000 -
1620.75/1626.81 c 1627 2204076 1358054 1 - 0.0000 -
1625.73/1631.86 c 1632 2209380 1361502 1 - 0.0000 -
1630.80/1636.92 c 1637 2213947 1364787 1 - 0.0000 -
1635.80/1641.97 c 1642 2218612 1368019 1 - 0.0000 -
1640.88/1647.03 c 1647 2223574 1371321 1 - 0.0000 -
1645.86/1652.07 c 1652 2228968 1374723 1 - 0.0000 -
1650.93/1657.12 c 1657 2234399 1378104 1 - 0.0000 -
1655.92/1662.17 c 1662 2239939 1381789 1 - 0.0000 -
1660.99/1667.23 c 1667 2245546 1385445 1 - 0.0000 -
1665.97/1672.28 c 1672 2250669 1388808 1 - 0.0000 -
1671.04/1677.32 c 1677 2256541 1392394 1 - 0.0000 -
1676.03/1682.37 c 1682 2261609 1395023 1 - 0.0000 -
1681.10/1687.42 c 1687 2266479 1398359 1 - 0.0000 -
1686.09/1692.48 c 1692 2271502 1401373 1 - 0.0000 -
1691.16/1697.52 c 1698 2276056 1404303 1 - 0.0000 -
1696.14/1702.57 c 1703 2281174 1408143 1 - 0.0000 -
1701.23/1707.62 c 1708 2286990 1411062 1 - 0.0000 -
1706.21/1712.67 c 1713 2292486 1413734 1 - 0.0000 -
1711.29/1717.72 c 1718 2297466 1416510 1 - 0.0000 -
1716.27/1722.78 c 1723 2302210 1419044 1 - 0.0000 -
1721.36/1727.83 c 1728 2306861 1421434 1 - 0.0000 -
1726.34/1732.87 c 1733 2311391 1423902 1 - 0.0000 -
1731.42/1737.92 c 1738 2317033 1427020 1 - 0.0000 -
1736.40/1742.97 c 1743 2322068 1430561 1 - 0.0000 -
1741.49/1748.03 c 1748 2326714 1433677 1 - 0.0000 -
1746.47/1753.07 c 1753 2331707 1437301 1 - 0.0000 -
1751.55/1758.13 c 1758 2336970 1440965 1 - 0.0000 -
1756.52/1763.18 c 1763 2342177 1444574 1 - 0.0000 -
1761.59/1768.25 c 1768 2347080 1447584 1 - 0.0000 -
1766.57/1773.29 c 1773 2352101 1451264 1 - 0.0000 -
1771.64/1778.36 c 1778 2356927 1454167 1 - 0.0000 -
1776.73/1783.41 c 1783 2362105 1457955 1 - 0.0000 -
1781.70/1788.45 c 1788 2368052 1460936 1 - 0.0000 -
1786.79/1793.50 c 1794 2372875 1463446 1 - 0.0000 -
1791.76/1798.56 c 1799 2380081 1467006 1 - 0.0000 -
1796.85/1803.60 c 1804 2385870 1469567 1 - 0.0000 -
1801.83/1808.66 c 1809 2391677 1472796 1 - 0.0000 -
1806.91/1813.70 c 1814 2397667 1475947 1 - 0.0000 -
1811.89/1818.75 c 1819 2403235 1478615 1 - 0.0000 -
1816.97/1823.80 c 1824 2408287 1481156 1 - 0.0000 -
1821.95/1828.86 c 1829 2414086 1484282 1 - 0.0000 -
1827.03/1833.90 c 1834 2419879 1487286 1 - 0.0000 -
1832.01/1838.95 c 1839 2424924 1490674 1 - 0.0000 -
1837.10/1844.01 c 1844 2430167 1494458 1 - 0.0000 -
1842.08/1849.05 c 1849 2435306 1498420 1 - 0.0000 -
1847.06/1854.11 c 1854 2440326 1501232 1 - 0.0000 -
1852.14/1859.16 c 1859 2445636 1504496 1 - 0.0000 -
1857.32/1864.30 c 1864 2449852 1505835 1 - 0.0000 -
1862.30/1869.34 c 1869 2454876 1508971 1 - 0.0000 -
1867.28/1874.39 c 1874 2460541 1512702 1 - 0.0000 -
1872.36/1879.44 c 1879 2465683 1516162 1 - 0.0000 -
1877.35/1884.49 c 1884 2471924 1520021 1 - 0.0000 -
1882.43/1889.55 c 1890 2477506 1523114 1 - 0.0000 -
1887.42/1894.60 c 1895 2483726 1526916 1 - 0.0000 -
1892.49/1899.65 c 1900 2489266 1530176 1 - 0.0000 -
1897.58/1904.70 c 1905 2494214 1533222 1 - 0.0000 -
1902.57/1909.75 c 1910 2499438 1536782 1 - 0.0000 -
1907.55/1914.80 c 1915 2504131 1540346 1 - 0.0000 -
1912.63/1919.85 c 1920 2509422 1543028 1 - 0.0000 -
1917.71/1924.90 c 1925 2515436 1546470 1 - 0.0000 -
1922.70/1929.94 c 1930 2521230 1549512 1 - 0.0000 -
1927.67/1935.00 c 1935 2526979 1552948 1 - 0.0000 -
1932.76/1940.05 c 1940 2531926 1555710 1 - 0.0000 -
1937.94/1945.20 c 1945 2536621 1558443 1 - 0.0000 -
1942.92/1950.27 c 1950 2541765 1561948 1 - 0.0000 -
1948.01/1955.33 c 1955 2547977 1564946 1 - 0.0000 -
1952.99/1960.37 c 1960 2553151 1567967 1 - 0.0000 -
1958.07/1965.42 c 1965 2558152 1570780 1 - 0.0000 -
1963.05/1970.47 c 1970 2563780 1573859 1 - 0.0000 -
1968.14/1975.52 c 1976 2568833 1576765 1 - 0.0000 -
1973.12/1980.57 c 1981 2573491 1580068 1 - 0.0000 -
1978.20/1985.63 c 1986 2578706 1582746 1 - 0.0000 -
1983.18/1990.69 c 1991 2584406 1585236 1 - 0.0000 -
1988.26/1995.73 c 1996 2589571 1588700 1 - 0.0000 -
1993.25/2000.78 c 2001 2594376 1591866 1 - 0.0000 -
1998.33/2005.86 c 2006 2599555 1595487 1 - 0.0000 -
2003.41/2010.90 c 2011 2604972 1599066 1 - 0.0000 -
2008.39/2015.95 c 2016 2610127 1601913 1 - 0.0000 -
2013.37/2021.01 c 2021 2615643 1604001 1 - 0.0000 -
2018.47/2026.05 c 2026 2622150 1607468 1 - 0.0000 -
2023.45/2031.10 c 2031 2628025 1611089 1 - 0.0000 -
2028.53/2036.15 c 2036 2634205 1614053 1 - 0.0000 -
2033.60/2041.21 c 2041 2639486 1616300 1 - 0.0000 -
2038.59/2046.26 c 2046 2641945 1616744 1 - 0.0000 -
2043.67/2051.30 c 2051 2646018 1618794 1 - 0.0000 -
2048.65/2056.37 c 2056 2650606 1621799 1 - 0.0000 -
2053.74/2061.42 c 2061 2654480 1624164 1 - 0.0000 -
2058.72/2066.47 c 2066 2658631 1627285 1 - 0.0000 -
2063.79/2071.53 c 2072 2663406 1629847 1 - 0.0000 -
2068.78/2076.58 c 2077 2667727 1632532 1 - 0.0000 -
2073.86/2081.64 c 2082 2672264 1635505 1 - 0.0000 -
2078.85/2086.68 c 2087 2676757 1637920 1 - 0.0000 -
2083.93/2091.73 c 2092 2681492 1640563 1 - 0.0000 -
2089.01/2096.80 c 2097 2685818 1643204 1 - 0.0000 -
2093.99/2101.85 c 2102 2690547 1645901 1 - 0.0000 -
2099.07/2106.91 c 2107 2694851 1648739 1 - 0.0000 -
2104.06/2111.95 c 2112 2698935 1651142 1 - 0.0000 -
2109.14/2117.01 c 2117 2702809 1653927 1 - 0.0000 -
2114.13/2122.06 c 2122 2706706 1656545 1 - 0.0000 -
2119.12/2127.10 c 2127 2711156 1658892 1 - 0.0000 -
2124.20/2132.15 c 2132 2715673 1661193 1 - 0.0000 -
2129.27/2137.20 c 2137 2719597 1663380 1 - 0.0000 -
2134.25/2142.26 c 2142 2723880 1665756 1 - 0.0000 -
2139.33/2147.30 c 2147 2728147 1668166 1 - 0.0000 -
2144.31/2152.36 c 2152 2732862 1671359 1 - 0.0000 -
2149.39/2157.41 c 2157 2737590 1674593 1 - 0.0000 -
2154.38/2162.46 c 2162 2742782 1677924 1 - 0.0000 -
2159.47/2167.54 c 2168 2747311 1680442 1 - 0.0000 -
2164.45/2172.58 c 2173 2751714 1683534 1 - 0.0000 -
2169.52/2177.64 c 2178 2755693 1686027 1 - 0.0000 -
2174.51/2182.69 c 2183 2759766 1688065 1 - 0.0000 -
2179.59/2187.75 c 2188 2764257 1690677 1 - 0.0000 -
2184.58/2192.79 c 2193 2768324 1692665 1 - 0.0000 -
2189.65/2197.86 c 2198 2772130 1694439 1 - 0.0000 -
2194.73/2202.93 c 2203 2775648 1695992 1 - 0.0000 -
2199.72/2207.99 c 2208 2779353 1698748 1 - 0.0000 -
2204.81/2213.04 c 2213 2783190 1701356 1 - 0.0000 -
2209.80/2218.11 c 2218 2786764 1703803 1 - 0.0000 -
2214.87/2223.15 c 2223 2790494 1706133 1 - 0.0000 -
2219.95/2228.20 c 2228 2794210 1708613 1 - 0.0000 -
2224.93/2233.25 c 2233 2798154 1711224 1 - 0.0000 -
2230.02/2238.30 c 2238 2801797 1713739 1 - 0.0000 -
2234.99/2243.35 c 2243 2804928 1715661 1 - 0.0000 -
2240.08/2248.40 c 2248 2808387 1718001 1 - 0.0000 -
2245.07/2253.45 c 2253 2812596 1720791 1 - 0.0000 -
2250.14/2258.50 c 2259 2816616 1723735 1 - 0.0000 -
2255.13/2263.55 c 2264 2820424 1726194 1 - 0.0000 -
2260.21/2268.62 c 2269 2823589 1728188 1 - 0.0000 -
2265.19/2273.68 c 2274 2827983 1730473 1 - 0.0000 -
2270.28/2278.73 c 2279 2832157 1732852 1 - 0.0000 -
2275.26/2283.79 c 2284 2836212 1735903 1 - 0.0000 -
2280.34/2288.85 c 2289 2839670 1738511 1 - 0.0000 -
2285.42/2293.90 c 2294 2844172 1741458 1 - 0.0000 -
2290.40/2298.96 c 2299 2848103 1744223 1 - 0.0000 -
2295.50/2304.02 c 2304 2852093 1746716 1 - 0.0000 -
2300.48/2309.08 c 2309 2855810 1748654 1 - 0.0000 -
2305.56/2314.14 c 2314 2859852 1750401 1 - 0.0000 -
2310.55/2319.19 c 2319 2863472 1751989 1 - 0.0000 -
2315.62/2324.25 c 2324 2867304 1753727 1 - 0.0000 -
2320.70/2329.30 c 2329 2870615 1755660 1 - 0.0000 -
2325.68/2334.37 c 2334 2873846 1757631 1 - 0.0000 -
2330.77/2339.44 c 2339 2877033 1759557 1 - 0.0000 -
2335.75/2344.49 c 2344 2880441 1761251 1 - 0.0000 -
2340.83/2349.53 c 2350 2883839 1763084 1 - 0.0000 -
2345.81/2354.59 c 2355 2888033 1765777 1 - 0.0000 -
2350.89/2359.68 c 2360 2891639 1768094 1 - 0.0000 -
2355.97/2364.72 c 2365 2895677 1770540 1 - 0.0000 -
2360.96/2369.80 c 2370 2899807 1773135 1 - 0.0000 -
2366.04/2374.84 c 2375 2903885 1775654 1 - 0.0000 -
2371.03/2379.90 c 2380 2907276 1777874 1 - 0.0000 -
2376.10/2384.95 c 2385 2910805 1780028 1 - 0.0000 -
2381.20/2390.03 c 2390 2914756 1782462 1 - 0.0000 -
2386.18/2395.09 c 2395 2918928 1784873 1 - 0.0000 -
2391.27/2400.13 c 2400 2922907 1786872 1 - 0.0000 -
2396.25/2405.18 c 2405 2926907 1788865 1 - 0.0000 -
2401.31/2410.25 c 2410 2931966 1791695 1 - 0.0000 -
2406.40/2415.31 c 2415 2936298 1793172 1 - 0.0000 -
2411.37/2420.36 c 2420 2940431 1795669 1 - 0.0000 -
2416.46/2425.40 c 2425 2944064 1797476 1 - 0.0000 -
2421.45/2430.45 c 2430 2947734 1799141 1 - 0.0000 -
2426.53/2435.51 c 2436 2951500 1801059 1 - 0.0000 -
2431.51/2440.58 c 2441 2954712 1801998 1 - 0.0000 -
2436.59/2445.63 c 2446 2961231 1804412 1 - 0.0000 -
2441.58/2450.68 c 2451 2965069 1806026 1 - 0.0000 -
2446.66/2455.73 c 2456 2969784 1808732 1 - 0.0000 -
2451.64/2460.79 c 2461 2973578 1810915 1 - 0.0000 -
2456.72/2465.84 c 2466 2976703 1813253 1 - 0.0000 -
2461.70/2470.89 c 2471 2980288 1815247 1 - 0.0000 -
2466.79/2475.96 c 2476 2983670 1817105 1 - 0.0000 -
2471.89/2481.02 c 2481 2987253 1819474 1 - 0.0000 -
2476.87/2486.08 c 2486 2990607 1821508 1 - 0.0000 -
2481.96/2491.14 c 2491 2993831 1823369 1 - 0.0000 -
2487.02/2496.20 c 2496 2997555 1825362 1 - 0.0000 -
2492.01/2501.26 c 2501 3001053 1827271 1 - 0.0000 -
2497.09/2506.32 c 2506 3004311 1829291 1 - 0.0000 -
2502.08/2511.37 c 2511 3007764 1830977 1 - 0.0000 -
2507.15/2516.42 c 2516 3010968 1832813 1 - 0.0000 -
2512.24/2521.50 c 2522 3014282 1834813 1 - 0.0000 -
2517.23/2526.56 c 2527 3017616 1836236 1 - 0.0000 -
2522.31/2531.61 c 2532 3020768 1838758 1 - 0.0000 -
2527.40/2536.73 c 2537 3024768 1842148 1 - 0.0000 -
2532.38/2541.79 c 2542 3028166 1844748 1 - 0.0000 -
2537.56/2546.90 c 2547 3030788 1846816 1 - 0.0000 -
2542.54/2551.95 c 2552 3034368 1849524 1 - 0.0000 -
2547.63/2557.01 c 2557 3037791 1851798 1 - 0.0000 -
2552.61/2562.05 c 2562 3040862 1853946 1 - 0.0000 -
2557.69/2567.11 c 2567 3043937 1856556 1 - 0.0000 -
2562.68/2572.18 c 2572 3046916 1858942 1 - 0.0000 -
2567.75/2577.26 c 2577 3050034 1861013 1 - 0.0000 -
2572.84/2582.33 c 2582 3052142 1862844 1 - 0.0000 -
2577.81/2587.39 c 2587 3055154 1865559 1 - 0.0000 -
2582.90/2592.43 c 2592 3058450 1867737 1 - 0.0000 -
2587.88/2597.49 c 2597 3061856 1869895 1 - 0.0000 -
2592.97/2602.56 c 2603 3065248 1872532 1 - 0.0000 -
2598.05/2607.62 c 2608 3068291 1874715 1 - 0.0000 -
2603.04/2612.67 c 2613 3071627 1877407 1 - 0.0000 -
2608.12/2617.72 c 2618 3074516 1879469 1 - 0.0000 -
2613.20/2622.80 c 2623 3076986 1881551 1 - 0.0000 -
2618.19/2627.85 c 2628 3079926 1883704 1 - 0.0000 -
2623.27/2632.92 c 2633 3082856 1885750 1 - 0.0000 -
2628.25/2637.97 c 2638 3085552 1887189 1 - 0.0000 -
2633.35/2643.02 c 2643 3088025 1888809 1 - 0.0000 -
2638.32/2648.09 c 2648 3090831 1890325 1 - 0.0000 -
2643.40/2653.13 c 2653 3094106 1892375 1 - 0.0000 -
2648.39/2658.18 c 2658 3097466 1894295 1 - 0.0000 -
2653.46/2663.24 c 2663 3100885 1896316 1 - 0.0000 -
2658.44/2668.28 c 2668 3103919 1898114 1 - 0.0000 -
2663.52/2673.34 c 2673 3107089 1899869 1 - 0.0000 -
2668.61/2678.40 c 2678 3110228 1901984 1 - 0.0000 -
2673.58/2683.45 c 2683 3113343 1904029 1 - 0.0000 -
2678.67/2688.51 c 2689 3116515 1905942 1 - 0.0000 -
2683.65/2693.59 c 2694 3119875 1907910 1 - 0.0000 -
2688.73/2698.65 c 2699 3123294 1910152 1 - 0.0000 -
2693.82/2703.70 c 2704 3126472 1912058 1 - 0.0000 -
2698.80/2708.76 c 2709 3129321 1913791 1 - 0.0000 -
2703.88/2713.83 c 2714 3132473 1915650 1 - 0.0000 -
2708.97/2718.90 c 2719 3135464 1917641 1 - 0.0000 -
2713.95/2723.96 c 2724 3138905 1920014 1 - 0.0000 -
2718.93/2729.01 c 2729 3143790 1923490 1 - 0.0000 -
2724.02/2734.05 c 2734 3147200 1925437 1 - 0.0000 -
2729.00/2739.10 c 2739 3151097 1927982 1 - 0.0000 -
2734.08/2744.15 c 2744 3154654 1929792 1 - 0.0000 -
2739.16/2749.22 c 2749 3157314 1930833 1 - 0.0000 -
2744.14/2754.28 c 2754 3161652 1932996 1 - 0.0000 -
2749.22/2759.36 c 2759 3166091 1935803 1 - 0.0000 -
2754.31/2764.41 c 2764 3168856 1936862 1 - 0.0000 -
2759.29/2769.47 c 2769 3172842 1939075 1 - 0.0000 -
2764.38/2774.52 c 2775 3176433 1940802 1 - 0.0000 -
2769.87/2780.02 c 2780 3177250 1940722 1 - 0.0000 -
2774.84/2785.06 c 2785 3180625 1942933 1 - 0.0000 -
2779.94/2790.11 c 2790 3184154 1945826 1 - 0.0000 -
2784.92/2795.16 c 2795 3187298 1947839 1 - 0.0000 -
2789.98/2800.23 c 2800 3190065 1949700 1 - 0.0000 -
2795.06/2805.30 c 2805 3192800 1951422 1 - 0.0000 -
2800.05/2810.36 c 2810 3195531 1952669 1 - 0.0000 -
2805.13/2815.40 c 2815 3198150 1953774 1 - 0.0000 -
2810.10/2820.47 c 2820 3200783 1955015 1 - 0.0000 -
2815.19/2825.52 c 2826 3204189 1957153 1 - 0.0000 -
2820.17/2830.57 c 2831 3206396 1958063 1 - 0.0000 -
2825.24/2835.64 c 2836 3207894 1958316 1 - 0.0000 -
2830.22/2840.69 c 2841 3210296 1959272 1 - 0.0000 -
2835.30/2845.73 c 2846 3214163 1961410 1 - 0.0000 -
2840.29/2850.78 c 2851 3217587 1963618 1 - 0.0000 -
2845.36/2855.85 c 2856 3220947 1965705 1 - 0.0000 -
2850.45/2860.90 c 2861 3223720 1967506 1 - 0.0000 -
2855.42/2865.97 c 2866 3226775 1969399 1 - 0.0000 -
2860.50/2871.03 c 2871 3229553 1971139 1 - 0.0000 -
2865.58/2876.11 c 2876 3231021 1971600 1 - 0.0000 -
2870.56/2881.18 c 2881 3232630 1972013 1 - 0.0000 -
2875.63/2886.22 c 2886 3235708 1973477 1 - 0.0000 -
2880.61/2891.27 c 2891 3239246 1975379 1 - 0.0000 -
2885.69/2896.32 c 2896 3241916 1977033 1 - 0.0000 -
2890.67/2901.38 c 2901 3244689 1978477 1 - 0.0000 -
2895.75/2906.44 c 2906 3247768 1980868 1 - 0.0000 -
2900.73/2911.49 c 2911 3250546 1982157 1 - 0.0000 -
2905.81/2916.54 c 2917 3253647 1983787 1 - 0.0000 -
2910.79/2921.59 c 2922 3256375 1985253 1 - 0.0000 -
2915.86/2926.64 c 2927 3259455 1986867 1 - 0.0000 -
2920.85/2931.69 c 2932 3262975 1988748 1 - 0.0000 -
2925.93/2936.74 c 2937 3266239 1990286 1 - 0.0000 -
2931.01/2941.80 c 2942 3269724 1992025 1 - 0.0000 -
2935.98/2946.86 c 2947 3273316 1993772 1 - 0.0000 -
2941.06/2951.90 c 2952 3276830 1995386 1 - 0.0000 -
2946.04/2956.95 c 2957 3280133 1996892 1 - 0.0000 -
2951.02/2962.01 c 2962 3283619 1998820 1 - 0.0000 -
2956.09/2967.06 c 2967 3287352 2001178 1 - 0.0000 -
2961.18/2972.14 c 2972 3289396 2001948 1 - 0.0000 -
2966.16/2977.18 c 2977 3293039 2004293 1 - 0.0000 -
2971.23/2982.24 c 2982 3296217 2006247 1 - 0.0000 -
2976.21/2987.28 c 2987 3299924 2008774 1 - 0.0000 -
2981.29/2992.34 c 2992 3303519 2010717 1 - 0.0000 -
2986.37/2997.41 c 2997 3306565 2012810 1 - 0.0000 -
2991.36/3002.48 c 3002 3309983 2015092 1 - 0.0000 -
2996.43/3007.53 c 3008 3313254 2017181 1 - 0.0000 -
3001.52/3012.60 c 3013 3316829 2018583 1 - 0.0000 -
3006.50/3017.66 c 3018 3320622 2020833 1 - 0.0000 -
3011.58/3022.72 c 3023 3324279 2023299 1 - 0.0000 -
3016.56/3027.79 c 3028 3329042 2026458 1 - 0.0000 -
3021.64/3032.83 c 3033 3332232 2027821 1 - 0.0000 -
3026.62/3037.88 c 3038 3336441 2030253 1 - 0.0000 -
3031.71/3042.93 c 3043 3340586 2032744 1 - 0.0000 -
3036.68/3047.98 c 3048 3346700 2037191 1 - 0.0000 -
3041.78/3053.03 c 3053 3352800 2041569 1 - 0.0000 -
3046.75/3058.08 c 3058 3355457 2041799 1 - 0.0000 -
3051.84/3063.14 c 3063 3358760 2043221 1 - 0.0000 -
3056.91/3068.20 c 3068 3360845 2043301 1 - 0.0000 -
3061.88/3073.25 c 3073 3362611 2043396 1 - 0.0000 -
3066.97/3078.30 c 3078 3364195 2043532 1 - 0.0000 -
3071.95/3083.34 c 3083 3367331 2045381 1 - 0.0000 -
3077.03/3088.40 c 3088 3371162 2047971 1 - 0.0000 -
3082.01/3093.44 c 3093 3375024 2050254 1 - 0.0000 -
3086.99/3098.49 c 3098 3379597 2053580 1 - 0.0000 -
3092.07/3103.54 c 3104 3383772 2056644 1 - 0.0000 -
3097.16/3108.60 c 3109 3387360 2059015 1 - 0.0000 -
3102.14/3113.66 c 3114 3390875 2061308 1 - 0.0000 -
3107.22/3118.72 c 3119 3394349 2063573 1 - 0.0000 -
3112.31/3123.81 c 3124 3397649 2065990 1 - 0.0000 -
3117.29/3128.86 c 3129 3401060 2068206 1 - 0.0000 -
3122.37/3133.91 c 3134 3404884 2070724 1 - 0.0000 -
3127.35/3138.95 c 3139 3408784 2073682 1 - 0.0000 -
3132.43/3144.03 c 3144 3412469 2076193 1 - 0.0000 -
3137.70/3149.31 c 3149 3416888 2078998 1 - 0.0000 -
3142.68/3154.38 c 3154 3421039 2081819 1 - 0.0000 -
3147.77/3159.42 c 3159 3424994 2084480 1 - 0.0000 -
3152.85/3164.50 c 3164 3429344 2086947 1 - 0.0000 -
3157.84/3169.54 c 3170 3432951 2088619 1 - 0.0000 -
3162.82/3174.59 c 3175 3437080 2090498 1 - 0.0000 -
3167.90/3179.65 c 3180 3440954 2092790 1 - 0.0000 -
3172.98/3184.70 c 3185 3444947 2095377 1 - 0.0000 -
3177.97/3189.74 c 3190 3449065 2097928 1 - 0.0000 -
3183.05/3194.80 c 3195 3453219 2100384 1 - 0.0000 -
3188.03/3199.85 c 3200 3457515 2102811 1 - 0.0000 -
3193.12/3204.90 c 3205 3461888 2105584 1 - 0.0000 -
3198.10/3209.97 c 3210 3466009 2108143 1 - 0.0000 -
3203.19/3215.01 c 3215 3469440 2110409 1 - 0.0000 -
3208.18/3220.08 c 3220 3473064 2112636 1 - 0.0000 -
3213.26/3225.14 c 3225 3477067 2115018 1 - 0.0000 -
3218.24/3230.19 c 3230 3480825 2117188 1 - 0.0000 -
3223.31/3235.26 c 3235 3484598 2119584 1 - 0.0000 -
3228.40/3240.31 c 3240 3488476 2122160 1 - 0.0000 -
3233.38/3245.36 c 3245 3492448 2124994 1 - 0.0000 -
3238.46/3250.41 c 3250 3496094 2127173 1 - 0.0000 -
3243.45/3255.47 c 3255 3500369 2129681 1 - 0.0000 -
3248.53/3260.52 c 3261 3504716 2132396 1 - 0.0000 -
3253.51/3265.57 c 3266 3509031 2135002 1 - 0.0000 -
3258.59/3270.63 c 3271 3512892 2137507 1 - 0.0000 -
3263.58/3275.69 c 3276 3516231 2140115 1 - 0.0000 -
3268.65/3280.74 c 3281 3519582 2141886 1 - 0.0000 -
3273.64/3285.79 c 3286 3523076 2143797 1 - 0.0000 -
3278.72/3290.84 c 3291 3526394 2145689 1 - 0.0000 -
3283.81/3295.90 c 3296 3529826 2147748 1 - 0.0000 -
3288.79/3300.94 c 3301 3533513 2150484 1 - 0.0000 -
3293.77/3305.99 c 3306 3537418 2152889 1 - 0.0000 -
3298.86/3311.04 c 3311 3541498 2155428 1 - 0.0000 -
3303.85/3316.10 c 3316 3545326 2157949 1 - 0.0000 -
3308.93/3321.15 c 3321 3549330 2160106 1 - 0.0000 -
3314.00/3326.21 c 3326 3552217 2161849 1 - 0.0000 -
3318.99/3331.27 c 3331 3555614 2164294 1 - 0.0000 -
3324.07/3336.33 c 3336 3559482 2166614 1 - 0.0000 -
3329.05/3341.38 c 3341 3562646 2168132 1 - 0.0000 -
3334.14/3346.42 c 3346 3566938 2169849 1 - 0.0000 -
3339.12/3351.47 c 3351 3570379 2171418 1 - 0.0000 -
3344.20/3356.52 c 3357 3573907 2173572 1 - 0.0000 -
3349.19/3361.57 c 3362 3577160 2175898 1 - 0.0000 -
3354.27/3366.62 c 3367 3580672 2178406 1 - 0.0000 -
3359.26/3371.69 c 3372 3584218 2180802 1 - 0.0000 -
3364.34/3376.76 c 3377 3587738 2182967 1 - 0.0000 -
3369.42/3381.80 c 3382 3591080 2184944 1 - 0.0000 -
3374.40/3386.85 c 3387 3594260 2186854 1 - 0.0000 -
3379.48/3391.92 c 3392 3597591 2188627 1 - 0.0000 -
3384.46/3396.97 c 3397 3601177 2190676 1 - 0.0000 -
3389.56/3402.05 c 3402 3604292 2192312 1 - 0.0000 -
3394.53/3407.09 c 3407 3607924 2194445 1 - 0.0000 -
3399.63/3412.15 c 3412 3611753 2196754 1 - 0.0000 -
3404.60/3417.19 c 3417 3615315 2198761 1 - 0.0000 -
3409.68/3422.24 c 3422 3619214 2201061 1 - 0.0000 -
3414.77/3427.31 c 3427 3621927 2202606 1 - 0.0000 -
3419.74/3432.35 c 3432 3624740 2204311 1 - 0.0000 -
3424.83/3437.41 c 3437 3627723 2206037 1 - 0.0000 -
3429.82/3442.45 c 3442 3630532 2207422 1 - 0.0000 -
3434.90/3447.51 c 3448 3633332 2208575 1 - 0.0000 -
3439.88/3452.57 c 3453 3636357 2210397 1 - 0.0000 -
3444.96/3457.63 c 3458 3639166 2211687 1 - 0.0000 -
3449.95/3462.69 c 3463 3642985 2214046 1 - 0.0000 -
3455.03/3467.74 c 3468 3647190 2216237 1 - 0.0000 -
3460.02/3472.79 c 3473 3650117 2217716 1 - 0.0000 -
3465.10/3477.85 c 3478 3652659 2218869 1 - 0.0000 -
3470.18/3482.90 c 3483 3655626 2220177 1 - 0.0000 -
3475.17/3487.95 c 3488 3659247 2221730 1 - 0.0000 -
3480.26/3493.05 c 3493 3662310 2223373 1 - 0.0000 -
3485.34/3498.11 c 3498 3665716 2225479 1 - 0.0000 -
3490.33/3503.16 c 3503 3669488 2227297 1 - 0.0000 -
3495.40/3508.21 c 3508 3672493 2228955 1 - 0.0000 -
3500.38/3513.26 c 3513 3675631 2231033 1 - 0.0000 -
3505.46/3518.30 c 3518 3678950 2232935 1 - 0.0000 -
3510.45/3523.35 c 3523 3682637 2235185 1 - 0.0000 -
3515.53/3528.41 c 3528 3686410 2237516 1 - 0.0000 -
3520.52/3533.47 c 3533 3689152 2239232 1 - 0.0000 -
3525.60/3538.53 c 3539 3692399 2240949 1 - 0.0000 -
3530.57/3543.58 c 3544 3695607 2242961 1 - 0.0000 -
3535.66/3548.64 c 3549 3698613 2244814 1 - 0.0000 -
3540.64/3553.69 c 3554 3701242 2246577 1 - 0.0000 -
3545.72/3558.76 c 3559 3703963 2248312 1 - 0.0000 -
3550.81/3563.81 c 3564 3707507 2250615 1 - 0.0000 -
3555.79/3568.85 c 3569 3710961 2252951 1 - 0.0000 -
3560.87/3573.90 c 3574 3714124 2255333 1 - 0.0000 -
3565.85/3578.97 c 3579 3717384 2257827 1 - 0.0000 -
3570.94/3584.02 c 3584 3720431 2260333 1 - 0.0000 -
3575.92/3589.07 c 3589 3723758 2262644 1 - 0.0000 -
3581.01/3594.14 c 3594 3727045 2264800 1 - 0.0000 -
3587.18/3600.30 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.18/3600.30 c Total Time : 3600.3000
3587.18/3600.30 c solving : 3600.3000
3587.18/3600.30 c presolving : 0.0059 (included in solving)
3587.18/3600.30 c B&B Tree :
3587.18/3600.30 c nodes (total) : 1
3587.18/3600.30 c Solution :
3587.18/3600.30 c Solutions found : 0
3587.18/3600.30 c Primal Bound : -
3587.18/3600.30 c Dual Bound : +0.00000000000000e+00
3587.18/3600.30 c Gap : -
3587.18/3600.32 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: 64096 MiB (63239 MiB free)
memory of node 1: 64473 MiB (49223 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464511-1722385853/watcher-4464511-1722385853 -o /tmp/evaluation-result-4464511-1722385853/solver-4464511-1722385853 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28010 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464511-1722385853.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32720, runsolver pid=32717
[startup+0.10039 s]*
/proc/loadavg: 4.13 4.24 4.18 5/254 32723
/proc/meminfo: memFree=115146192/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=114840 memory=32052 CPUtime=0.09 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 5396 0 0 0 9 0 0 0 20 0 3 0 4955610 117596160 8013 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 28710 8013 2950 3035 0 12078 0
[pid=32720/tid=32722] ppid=32717 vsize=114840 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 2705 0 0 0 9 0 0 0 20 0 3 0 4955611 117596160 8013 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=114840 memory=232851243367 CPUtime=0 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4955612 117596160 8013 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 114840 KiB
Current children cumulated memory: 32052 KiB
[startup+0.213065 s]*
/proc/loadavg: 4.13 4.24 4.18 5/254 32723
/proc/meminfo: memFree=115138212/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=114840 memory=35608 CPUtime=0.21 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 6311 0 0 0 20 1 0 0 20 0 3 0 4955610 117596160 8902 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 28710 8902 2950 3035 0 12942 0
[pid=32720/tid=32722] ppid=32717 vsize=114840 memory=664970838410264707 CPUtime=0.2 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 3619 0 0 0 20 0 0 0 20 0 3 0 4955611 117596160 8902 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=114840 memory=1633 CPUtime=0 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4955612 117596160 8902 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 114840 KiB
Current children cumulated memory: 35608 KiB
[startup+0.313234 s]*
/proc/loadavg: 4.13 4.24 4.18 5/254 32723
/proc/meminfo: memFree=115136392/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=114840 memory=38040 CPUtime=0.31 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 6939 0 0 0 30 1 0 0 20 0 3 0 4955610 117596160 9510 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 28710 9510 2966 3035 0 13277 0
[pid=32720/tid=32722] ppid=32717 vsize=114840 memory=-5155628011632618373 CPUtime=0.3 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 4247 0 0 0 30 0 0 0 20 0 3 0 4955611 117596160 9510 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=114840 memory=0 CPUtime=0 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4955612 117596160 9510 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 114840 KiB
Current children cumulated memory: 38040 KiB
[startup+0.700409 s]
/proc/loadavg: 4.13 4.24 4.18 5/254 32723
/proc/meminfo: memFree=115135244/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=114840 memory=38304 CPUtime=0.69 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 7012 0 0 0 68 1 0 0 20 0 3 0 4955610 117596160 9576 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 28710 9576 2966 3035 0 13277 0
[pid=32720/tid=32722] ppid=32717 vsize=114840 memory=0 CPUtime=0.67 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 4320 0 0 0 67 0 0 0 20 0 3 0 4955611 117596160 9576 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=114840 memory=0 CPUtime=0 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4955612 117596160 9576 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 114840 KiB
Current children cumulated memory: 38304 KiB
[startup+1.5004 s]
/proc/loadavg: 4.13 4.24 4.18 5/254 32723
/proc/meminfo: memFree=115134876/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=114840 memory=38972 CPUtime=1.48 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 9599 0 0 0 147 1 0 0 20 0 3 0 4955610 117596160 9743 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 28710 9743 2966 3035 0 13389 0
[pid=32720/tid=32722] ppid=32717 vsize=114840 memory=0 CPUtime=1.46 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 6886 0 0 0 146 0 0 0 20 0 3 0 4955611 117596160 9743 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=114840 memory=0 CPUtime=0 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4955612 117596160 9743 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 114840 KiB
Current children cumulated memory: 38972 KiB
[startup+3.11283 s]
/proc/loadavg: 4.13 4.24 4.18 5/254 32723
/proc/meminfo: memFree=115129480/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=114840 memory=44152 CPUtime=3.09 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 12522 0 0 0 307 2 0 0 20 0 3 0 4955610 117596160 11038 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 28710 11038 2966 3035 0 14722 0
[pid=32720/tid=32722] ppid=32717 vsize=114840 memory=2273 CPUtime=3.07 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 9809 0 0 0 306 1 0 0 20 0 3 0 4955611 117596160 11038 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=114840 memory=0 CPUtime=0 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4955612 117596160 11038 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 114840 KiB
Current children cumulated memory: 44152 KiB
[startup+6.3004 s]
/proc/loadavg: 4.12 4.23 4.18 5/254 32725
/proc/meminfo: memFree=115121216/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=114840 memory=48724 CPUtime=6.26 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 19485 0 0 0 623 3 0 0 20 0 3 0 4955610 117596160 12181 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 28710 12181 2966 3035 0 15812 0
[pid=32720/tid=32722] ppid=32717 vsize=114840 memory=-5155628011632618373 CPUtime=6.25 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 16749 0 0 0 623 2 0 0 20 0 3 0 4955611 117596160 12181 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=114840 memory=48720 CPUtime=0 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4955612 117596160 12181 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 114840 KiB
Current children cumulated memory: 48724 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 4.23 4.18 5/254 32725
/proc/meminfo: memFree=115103552/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=114840 memory=65664 CPUtime=12.64 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 36671 0 0 0 1258 6 0 0 20 0 3 0 4955610 117596160 16416 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 28710 16416 3014 3035 0 20242 0
[pid=32720/tid=32722] ppid=32717 vsize=114840 memory=44152 CPUtime=12.62 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 33895 0 0 0 1257 5 0 0 20 0 3 0 4955611 117596160 16416 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=114840 memory=0 CPUtime=0 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4955612 117596160 16416 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 114840 KiB
Current children cumulated memory: 65664 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.22 4.18 5/254 32727
/proc/meminfo: memFree=115082896/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=114840 memory=83296 CPUtime=25.39 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 55162 0 0 0 2526 13 0 0 20 0 3 0 4955610 117596160 20824 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 28710 20824 3014 3035 0 24595 0
[pid=32720/tid=32722] ppid=32717 vsize=114840 memory=55936 CPUtime=25.38 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 52334 0 0 0 2525 13 0 0 20 0 3 0 4955611 117596160 20824 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=114840 memory=11536 CPUtime=0 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4955612 117596160 20824 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 114840 KiB
Current children cumulated memory: 83296 KiB
[startup+51.1127 s]
/proc/loadavg: 4.19 4.23 4.18 5/254 32731
/proc/meminfo: memFree=115043480/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=182432 memory=113540 CPUtime=50.9 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 94261 0 0 0 5063 27 0 0 20 0 3 0 4955610 186810368 28385 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 45608 28385 3014 3035 0 32299 0
[pid=32720/tid=32722] ppid=32717 vsize=182432 memory=105924 CPUtime=50.88 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 91350 0 0 0 5062 26 0 0 20 0 3 0 4955611 186810368 28385 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=182432 memory=105916 CPUtime=0 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 4955612 186810368 28385 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 182432 KiB
Current children cumulated memory: 113540 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.21 4.18 5/254 32741
/proc/meminfo: memFree=114962264/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=253108 memory=174252 CPUtime=101.9 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 148191 0 0 0 10140 50 0 0 20 0 3 0 4955610 259182592 43563 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 63277 43563 3014 3035 0 47244 0
[pid=32720/tid=32722] ppid=32717 vsize=253108 memory=169224 CPUtime=101.87 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 145197 0 0 0 10138 49 0 0 20 0 3 0 4955611 259182592 43563 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=253108 memory=169220 CPUtime=0 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4955612 259182592 43563 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 253108 KiB
Current children cumulated memory: 174252 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/254 32752
/proc/meminfo: memFree=114886088/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=260304 memory=225000 CPUtime=161.67 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 204218 0 0 0 16092 75 0 0 20 0 3 0 4955610 266551296 56250 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 65076 56250 3014 3035 0 59866 0
[pid=32720/tid=32722] ppid=32717 vsize=260304 memory=204276 CPUtime=161.64 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 201170 0 0 0 16091 73 0 0 20 0 3 0 4955611 266551296 56250 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=260304 memory=1936 CPUtime=0 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 4955612 266551296 56250 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 260304 KiB
################
# More data... #
################
/proc/32720/statm: 489129 464014 3014 3035 0 473397 0
[pid=32720/tid=32722] ppid=32717 vsize=1956516 memory=12856 CPUtime=3449.31 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 1331749 0 0 0 344133 798 0 0 20 0 3 0 4955611 2003472384 464014 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=1956516 memory=1855476 CPUtime=0.04 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 136 0 0 0 1 3 0 0 20 0 3 0 4955612 2003472384 464014 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 3449.65 s
Current children cumulated vsize: 1956516 KiB
Current children cumulated memory: 1856056 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/255 34577
/proc/meminfo: memFree=126465976/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=1959600 memory=1873412 CPUtime=3509.45 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 1351316 0 0 0 350127 818 0 0 20 0 3 0 4955610 2006630400 468353 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 489900 468353 3014 3035 0 477689 0
[pid=32720/tid=32722] ppid=32717 vsize=1959600 memory=1853932 CPUtime=3509.1 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 1347284 0 0 0 350104 806 0 0 20 0 3 0 4955611 2006630400 468353 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=1959600 memory=1870696 CPUtime=0.04 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 138 0 0 0 1 3 0 0 20 0 3 0 4955612 2006630400 468353 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 3509.45 s
Current children cumulated vsize: 1959600 KiB
Current children cumulated memory: 1873412 KiB
[startup+3582.3 s]
/proc/loadavg: 3.16 3.87 4.01 3/236 34705
/proc/meminfo: memFree=126975896/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=1962684 memory=1893656 CPUtime=3569.24 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 1368019 0 0 0 356095 829 0 0 20 0 3 0 4955610 2009788416 473414 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 490671 473414 3014 3035 0 482689 0
[pid=32720/tid=32722] ppid=32717 vsize=1962684 memory=11536 CPUtime=3568.88 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 1363969 0 0 0 356071 817 0 0 20 0 3 0 4955611 2009788416 473414 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=1962684 memory=11536 CPUtime=0.04 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4955612 2009788416 473414 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 3569.24 s
Current children cumulated vsize: 1962684 KiB
Current children cumulated memory: 1893656 KiB
[startup+3600.33 s]
# the end of solver process 32720 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.84 s, system=8.37653 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.16 3.87 4.01 3/236 34705
/proc/meminfo: memFree=126975872/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=1962684 memory=1893656 CPUtime=3570.94 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 1368211 0 0 0 356265 829 0 0 20 0 3 0 4955610 2009788416 473414 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 490671 473414 3014 3035 0 482689 0
[pid=32720/tid=32722] ppid=32717 vsize=1962684 memory=-7091598779833474430 CPUtime=3570.58 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 1364161 0 0 0 356241 817 0 0 20 0 3 0 4955611 2009788416 473414 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=1962684 memory=-4050210904893603985 CPUtime=0.04 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4955612 2009788416 473414 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 3570.94 s
Current children cumulated vsize: 1962684 KiB
Current children cumulated memory: 1893656 KiB
[startup+3590.4 s]
/proc/loadavg: 2.98 3.80 3.99 3/236 34707
/proc/meminfo: memFree=126972468/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=1963712 memory=1897000 CPUtime=3577.3 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 1369304 0 0 0 356901 829 0 0 20 0 3 0 4955610 2010841088 474250 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 490928 474250 3014 3035 0 483518 0
[pid=32720/tid=32722] ppid=32717 vsize=1963712 memory=1840 CPUtime=3576.94 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 1365254 0 0 0 356877 817 0 0 20 0 3 0 4955611 2010841088 474250 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=1963712 memory=0 CPUtime=0.04 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4955612 2010841088 474250 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 3577.3 s
Current children cumulated vsize: 1963712 KiB
Current children cumulated memory: 1897000 KiB
[startup+3596.8 s]
/proc/loadavg: 2.90 3.77 3.98 3/236 34708
/proc/meminfo: memFree=126970732/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=1963712 memory=1898648 CPUtime=3583.68 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 1369834 0 0 0 357538 830 0 0 20 0 3 0 4955610 2010841088 474662 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 490928 474662 3014 3035 0 483950 0
[pid=32720/tid=32722] ppid=32717 vsize=1963712 memory=1891508 CPUtime=3583.32 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 1365784 0 0 0 357514 818 0 0 20 0 3 0 4955611 2010841088 474662 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=1963712 memory=164 CPUtime=0.04 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 140 0 0 0 1 3 0 0 20 0 3 0 4955612 2010841088 474662 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 3583.68 s
Current children cumulated vsize: 1963712 KiB
Current children cumulated memory: 1898648 KiB
[startup+3598.4 s]
/proc/loadavg: 2.90 3.77 3.98 3/236 34708
/proc/meminfo: memFree=126970760/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=1963712 memory=1898764 CPUtime=3585.29 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 1383170 0 0 0 357697 832 0 0 20 0 3 0 4955610 2010841088 474691 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 490928 474691 3014 3035 0 483950 0
[pid=32720/tid=32722] ppid=32717 vsize=1963712 memory=5496 CPUtime=3584.92 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 1379115 0 0 0 357673 819 0 0 20 0 3 0 4955611 2010841088 474691 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=1963712 memory=1898648 CPUtime=0.04 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 142 0 0 0 1 3 0 0 20 0 3 0 4955612 2010841088 474691 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 3585.29 s
Current children cumulated vsize: 1963712 KiB
Current children cumulated memory: 1898764 KiB
[startup+3599.2 s]
/proc/loadavg: 2.90 3.77 3.98 3/234 34708
/proc/meminfo: memFree=127024372/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=1868108 memory=1803160 CPUtime=3586.08 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 1416931 0 0 0 357774 834 0 0 20 0 3 0 4955610 1912942592 450790 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 467027 450790 3014 3035 0 460049 0
[pid=32720/tid=32722] ppid=32717 vsize=1868108 memory=-7091598779833474430 CPUtime=3585.72 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 1412876 0 0 0 357751 821 0 0 20 0 3 0 4955611 1912942592 450790 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=1868108 memory=-4050210904893603985 CPUtime=0.04 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 142 0 0 0 1 3 0 0 20 0 3 0 4955612 1912942592 450790 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 3586.08 s
Current children cumulated vsize: 1868108 KiB
Current children cumulated memory: 1803160 KiB
[startup+3600 s]*
/proc/loadavg: 2.83 3.74 3.97 3/234 34708
/proc/meminfo: memFree=127176156/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=1712880 memory=1647932 CPUtime=3586.89 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 1424332 0 0 0 357855 834 0 0 20 0 3 0 4955610 1753989120 411983 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 428220 411983 3014 3035 0 421242 0
[pid=32720/tid=32722] ppid=32717 vsize=1712880 memory=-7091598779833474430 CPUtime=3586.53 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 1420278 0 0 0 357831 822 0 0 20 0 3 0 4955611 1753989120 411983 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=1712880 memory=1840 CPUtime=0.04 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 142 0 0 0 1 3 0 0 20 0 3 0 4955612 1753989120 411983 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 3586.89 s
Current children cumulated vsize: 1712880 KiB
Current children cumulated memory: 1647932 KiB
[startup+3600.2 s]
/proc/loadavg: 2.83 3.74 3.97 3/234 34708
/proc/meminfo: memFree=127176156/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=1695404 memory=1630456 CPUtime=3587.08 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 1426543 0 0 0 357874 834 0 0 20 0 3 0 4955610 1736093696 407614 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 423851 407614 3014 3035 0 416873 0
[pid=32720/tid=32722] ppid=32717 vsize=1695404 memory=37112 CPUtime=3586.72 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 1422489 0 0 0 357850 822 0 0 20 0 3 0 4955611 1736093696 407614 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=1695404 memory=-7163656373871402879 CPUtime=0.04 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 142 0 0 0 1 3 0 0 20 0 3 0 4955612 1736093696 407614 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 3587.08 s
Current children cumulated vsize: 1695404 KiB
Current children cumulated memory: 1630456 KiB
[startup+3600.3 s]
/proc/loadavg: 2.83 3.74 3.97 3/234 34708
/proc/meminfo: memFree=127176156/131655788 swapFree=131071728/131071996
[pid=32720] ppid=32717 vsize=1662508 memory=1597564 CPUtime=3587.18 cores=5,7
/proc/32720/stat : 32720 (fscip) S 32717 32720 27997 0 -1 1077936128 1427543 0 0 0 357883 835 0 0 20 0 3 0 4955610 1702408192 399391 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
/proc/32720/statm: 415627 399391 3014 3035 0 408649 0
[pid=32720/tid=32722] ppid=32717 vsize=1662508 memory=1893656 CPUtime=3586.81 cores=5,7
/proc/32720/task/32722/stat : 32722 (fscip) R 32717 32720 27997 0 -1 4194368 1423488 0 0 0 357859 822 0 0 20 0 3 0 4955611 1702408192 399391 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
[pid=32720/tid=32723] ppid=32717 vsize=1662508 memory=1898648 CPUtime=0.04 cores=5,7
/proc/32720/task/32723/stat : 32723 (fscip) S 32717 32720 27997 0 -1 1077936192 142 0 0 0 1 3 0 0 20 0 3 0 4955612 1702408192 399391 134679101440 4194304 16623229 140733220911296 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 24469504 140733220918294 140733220918410 140733220918410 140733220925424 0
Current children cumulated CPU time: 3587.18 s
Current children cumulated vsize: 1662508 KiB
Current children cumulated memory: 1597564 KiB
Child status: 0
Real time (s): 3600.33
CPU time (s): 3587.22
CPU user time (s): 3578.84
CPU system time (s): 8.37653
CPU usage (%): 99.6358
Max. virtual memory (cumulated for all children) (KiB): 1963712
Max. memory (cumulated for all children) (KiB): 1898764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.84
system time used= 8.37653
maximum resident set size= 1898764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1427849
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= 11263
involuntary context switches= 7041
# summary of solver processes directly reported to runsolver:
# pid: 32720
# total CPU time (s): 3587.22
# total CPU user time (s): 3578.84
# total CPU system time (s): 8.37653
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7515 second user time and 32.9197 second system time
The end
Begin job on nodeC011 at 2024-07-31 02:30:53
IDJOB=4464511
IDBENCH=160436
IDSOLVER=3092
FILE ID=nodeC011/4464511-1722385853
RUNJOBID= nodeC011-1722378594-28010
SLURM_JOB_ID= 8249841
Free space on /tmp= 723600 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464511-1722385853/watcher-4464511-1722385853 -o /tmp/evaluation-result-4464511-1722385853/solver-4464511-1722385853 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28010 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464511-1722385853.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= eb6e9a4b9cb8532f79ed61cad5cbae76
RANDOM SEED=1765878430
nodeC011.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 : 3666.630
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 : 6983.28
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 : 3491.640
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.29
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.162
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 : 6983.28
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.169
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.29
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 : 3667.876
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 : 6983.28
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 : 3491.653
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.29
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.361
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 : 6983.28
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.135
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.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 115163372 kB
MemAvailable: 116327360 kB
Buffers: 99088 kB
Cached: 1907072 kB
SwapCached: 12 kB
Active: 366848 kB
Inactive: 15664044 kB
Active(anon): 1924 kB
Inactive(anon): 14052280 kB
Active(file): 364924 kB
Inactive(file): 1611764 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 28636 kB
Writeback: 12 kB
AnonPages: 14022836 kB
Mapped: 128024 kB
Shmem: 29468 kB
KReclaimable: 55000 kB
Slab: 131188 kB
SReclaimable: 55000 kB
SUnreclaim: 76188 kB
KernelStack: 4016 kB
PageTables: 36908 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 9538008 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6912 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6047744 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: 156488 kB
DirectMap2M: 9185280 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC011 at 2024-07-31 03:30:53