0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 26238976, getVmSize() = 26238976, SCIPgetMemUsed() = 3133796, SCIPgetMemTotal() = 4572748, SCIPgetMemExternEstim() = 1923717
0.00/0.02 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.05 c ** Estimated virtualMemUsedAtSolver = 19277141, getVmSize() = 31592448, SCIPgetMemUsed() = 5479413, SCIPgetMemTotal() = 8868589, SCIPgetMemExternEstim() = 1923717
0.00/0.05 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.05 c Original Problem :
0.00/0.05 c Problem name : instance-4448270-1721363998
0.00/0.05 c Variables : 401 (401 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 1602
0.00/0.05 c Objective sense : minimize
0.00/0.05 c Presolved Problem :
0.00/0.05 c Variables : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 800
0.00/0.05 c Constraints : Number
0.00/0.05 c linear : 800
0.00/0.05 c ** Instance transfer method used: 0
0.00/0.06 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.06 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.06 c Nodes Active
0.00/0.06 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.37/5.48 c 5 3555 2986 1 - 0.0000 -
10.45/10.53 c 11 10615 8793 1 - 0.0000 -
15.43/15.58 c 16 20165 15663 1 - 0.0000 -
20.51/20.63 c 21 29360 21695 1 - 0.0000 -
25.49/25.68 c 26 38831 27521 1 - 0.0000 -
30.56/30.73 c 31 48117 33316 1 - 0.0000 -
35.54/35.78 c 36 57545 38970 1 - 0.0000 -
40.63/40.83 c 41 67150 44919 1 - 0.0000 -
45.60/45.88 c 46 76709 51579 1 - 0.0000 -
50.68/50.93 c 51 86762 56983 1 - 0.0000 -
55.66/55.99 c 56 96099 62661 1 - 0.0000 -
60.75/61.03 c 61 105685 68124 1 - 0.0000 -
65.72/66.08 c 66 114960 73330 1 - 0.0000 -
70.81/71.13 c 71 124435 78701 1 - 0.0000 -
75.78/76.18 c 76 134031 84247 1 - 0.0000 -
80.85/81.23 c 81 143439 89445 1 - 0.0000 -
85.83/86.28 c 86 152262 95068 1 - 0.0000 -
90.91/91.33 c 91 161967 100395 1 - 0.0000 -
95.89/96.38 c 96 171503 105144 1 - 0.0000 -
100.96/101.43 c 101 180243 110788 1 - 0.0000 -
105.94/106.48 c 106 189877 115867 1 - 0.0000 -
111.03/111.53 c 112 199530 120845 1 - 0.0000 -
116.01/116.58 c 117 208702 126012 1 - 0.0000 -
121.08/121.63 c 122 218338 131515 1 - 0.0000 -
126.07/126.68 c 127 227778 136495 1 - 0.0000 -
131.14/131.73 c 132 237171 141732 1 - 0.0000 -
136.12/136.79 c 137 246691 146652 1 - 0.0000 -
141.20/141.84 c 142 255784 151548 1 - 0.0000 -
146.18/146.89 c 147 265383 156667 1 - 0.0000 -
151.26/151.94 c 152 274932 161470 1 - 0.0000 -
156.23/156.99 c 157 284120 166319 1 - 0.0000 -
161.32/162.04 c 162 293286 171250 1 - 0.0000 -
166.30/167.09 c 167 302501 175840 1 - 0.0000 -
171.38/172.14 c 172 311868 181023 1 - 0.0000 -
176.36/177.19 c 177 321207 186937 1 - 0.0000 -
181.42/182.24 c 182 331278 193304 1 - 0.0000 -
186.41/187.29 c 187 341040 199378 1 - 0.0000 -
191.48/192.34 c 192 351655 205627 1 - 0.0000 -
196.46/197.39 c 197 362296 211168 1 - 0.0000 -
201.54/202.44 c 202 372258 216385 1 - 0.0000 -
206.52/207.49 c 208 382949 221490 1 - 0.0000 -
211.59/212.54 c 213 392953 225954 1 - 0.0000 -
216.58/217.59 c 218 402877 230352 1 - 0.0000 -
221.65/222.64 c 223 412457 234511 1 - 0.0000 -
226.63/227.69 c 228 422113 239416 1 - 0.0000 -
231.72/232.74 c 233 431552 243999 1 - 0.0000 -
236.69/237.79 c 238 441090 248684 1 - 0.0000 -
241.78/242.84 c 243 450641 253681 1 - 0.0000 -
246.75/247.89 c 248 460231 258135 1 - 0.0000 -
251.83/252.94 c 253 469707 264699 1 - 0.0000 -
256.81/257.98 c 258 479363 269636 1 - 0.0000 -
261.90/263.03 c 263 488726 274085 1 - 0.0000 -
266.88/268.08 c 268 497922 278259 1 - 0.0000 -
271.95/273.13 c 273 507043 283512 1 - 0.0000 -
276.93/278.18 c 278 516711 288179 1 - 0.0000 -
282.00/283.23 c 283 526411 293328 1 - 0.0000 -
286.98/288.28 c 288 536335 298242 1 - 0.0000 -
292.05/293.34 c 293 545763 303135 1 - 0.0000 -
297.04/298.38 c 298 555351 308383 1 - 0.0000 -
302.12/303.43 c 303 564891 313330 1 - 0.0000 -
307.09/308.48 c 308 574752 317835 1 - 0.0000 -
312.18/313.53 c 314 584076 322911 1 - 0.0000 -
317.15/318.58 c 319 593088 328137 1 - 0.0000 -
322.23/323.63 c 324 602534 332132 1 - 0.0000 -
327.22/328.68 c 329 611623 336288 1 - 0.0000 -
332.29/333.73 c 334 620955 341012 1 - 0.0000 -
337.27/338.78 c 339 630227 345285 1 - 0.0000 -
342.35/343.83 c 344 639425 349441 1 - 0.0000 -
347.32/348.88 c 349 648772 354007 1 - 0.0000 -
352.41/353.93 c 354 657992 358327 1 - 0.0000 -
357.39/358.98 c 359 667062 362639 1 - 0.0000 -
362.47/364.03 c 364 676242 366698 1 - 0.0000 -
367.45/369.08 c 369 685684 370657 1 - 0.0000 -
372.52/374.13 c 374 695020 376343 1 - 0.0000 -
377.50/379.18 c 379 703985 380634 1 - 0.0000 -
382.57/384.23 c 384 713539 385658 1 - 0.0000 -
387.56/389.28 c 389 722510 389720 1 - 0.0000 -
392.63/394.33 c 394 731578 393671 1 - 0.0000 -
397.61/399.38 c 399 740173 397355 1 - 0.0000 -
402.68/404.43 c 404 748576 403545 1 - 0.0000 -
407.67/409.48 c 409 757717 410037 1 - 0.0000 -
412.75/414.53 c 415 767431 416779 1 - 0.0000 -
417.72/419.58 c 420 777442 422421 1 - 0.0000 -
422.80/424.63 c 425 787220 427486 1 - 0.0000 -
427.78/429.68 c 430 796451 432387 1 - 0.0000 -
432.86/434.73 c 435 806080 436953 1 - 0.0000 -
437.85/439.78 c 440 815176 441111 1 - 0.0000 -
442.92/444.83 c 445 824198 446679 1 - 0.0000 -
447.90/449.88 c 450 833259 451047 1 - 0.0000 -
452.98/454.93 c 455 842273 454338 1 - 0.0000 -
457.96/459.98 c 460 851242 458055 1 - 0.0000 -
463.04/465.03 c 465 860153 461758 1 - 0.0000 -
468.02/470.08 c 470 869019 466061 1 - 0.0000 -
473.10/475.13 c 475 877846 470427 1 - 0.0000 -
478.08/480.18 c 480 886699 474479 1 - 0.0000 -
483.15/485.23 c 485 895743 479062 1 - 0.0000 -
488.12/490.28 c 490 904492 482360 1 - 0.0000 -
493.20/495.33 c 495 913419 486904 1 - 0.0000 -
498.19/500.38 c 500 922250 491141 1 - 0.0000 -
503.27/505.43 c 505 931032 494926 1 - 0.0000 -
508.24/510.48 c 510 939708 498941 1 - 0.0000 -
513.32/515.53 c 516 948578 502906 1 - 0.0000 -
518.29/520.58 c 521 957355 507456 1 - 0.0000 -
523.38/525.63 c 526 966345 511431 1 - 0.0000 -
528.35/530.68 c 531 975354 515563 1 - 0.0000 -
533.44/535.73 c 536 984400 519769 1 - 0.0000 -
538.41/540.78 c 541 993753 524829 1 - 0.0000 -
543.50/545.83 c 546 1002871 529303 1 - 0.0000 -
548.47/550.88 c 551 1012109 535199 1 - 0.0000 -
553.55/555.93 c 556 1021932 540462 1 - 0.0000 -
558.53/560.98 c 561 1030947 544666 1 - 0.0000 -
563.61/566.03 c 566 1039657 548713 1 - 0.0000 -
568.59/571.08 c 571 1048530 552711 1 - 0.0000 -
573.67/576.13 c 576 1057541 557164 1 - 0.0000 -
578.65/581.18 c 581 1066636 561536 1 - 0.0000 -
583.72/586.23 c 586 1075729 565881 1 - 0.0000 -
588.70/591.28 c 591 1084389 569835 1 - 0.0000 -
593.78/596.33 c 596 1093786 574482 1 - 0.0000 -
598.76/601.38 c 601 1102950 578461 1 - 0.0000 -
603.83/606.43 c 606 1111816 582683 1 - 0.0000 -
608.81/611.48 c 611 1120491 586561 1 - 0.0000 -
613.89/616.53 c 617 1129152 590514 1 - 0.0000 -
618.87/621.58 c 622 1137964 595198 1 - 0.0000 -
623.95/626.63 c 627 1147210 599241 1 - 0.0000 -
628.93/631.68 c 632 1156744 604033 1 - 0.0000 -
634.01/636.73 c 637 1165464 608012 1 - 0.0000 -
638.99/641.78 c 642 1174390 611801 1 - 0.0000 -
644.07/646.83 c 647 1183350 616092 1 - 0.0000 -
649.05/651.88 c 652 1191945 619540 1 - 0.0000 -
654.12/656.93 c 657 1200713 623611 1 - 0.0000 -
659.10/661.98 c 662 1209239 627068 1 - 0.0000 -
664.18/667.03 c 667 1218013 630735 1 - 0.0000 -
669.17/672.08 c 672 1227128 634890 1 - 0.0000 -
674.25/677.13 c 677 1236119 639200 1 - 0.0000 -
679.23/682.18 c 682 1244918 643132 1 - 0.0000 -
684.29/687.23 c 687 1254121 646908 1 - 0.0000 -
689.38/692.30 c 692 1262733 650002 1 - 0.0000 -
694.35/697.35 c 697 1271672 654059 1 - 0.0000 -
699.42/702.40 c 702 1280282 657389 1 - 0.0000 -
704.40/707.45 c 707 1289507 662266 1 - 0.0000 -
709.47/712.50 c 713 1298731 666594 1 - 0.0000 -
714.45/717.55 c 718 1307562 670298 1 - 0.0000 -
719.52/722.60 c 723 1316112 674284 1 - 0.0000 -
724.49/727.65 c 728 1324842 678309 1 - 0.0000 -
729.57/732.70 c 733 1333750 682460 1 - 0.0000 -
734.55/737.75 c 738 1342714 686345 1 - 0.0000 -
739.62/742.80 c 743 1351201 689689 1 - 0.0000 -
744.60/747.85 c 748 1359874 693893 1 - 0.0000 -
749.66/752.90 c 753 1368654 697096 1 - 0.0000 -
754.64/757.95 c 758 1377177 701156 1 - 0.0000 -
759.61/763.01 c 763 1385648 704551 1 - 0.0000 -
764.69/768.05 c 768 1394386 708443 1 - 0.0000 -
769.66/773.10 c 773 1402881 712351 1 - 0.0000 -
774.74/778.15 c 778 1411428 715439 1 - 0.0000 -
779.80/783.20 c 783 1419814 718636 1 - 0.0000 -
784.78/788.25 c 788 1427952 722074 1 - 0.0000 -
789.85/793.30 c 793 1438120 727819 1 - 0.0000 -
794.82/798.35 c 798 1447454 732452 1 - 0.0000 -
799.90/803.40 c 803 1456555 737442 1 - 0.0000 -
804.87/808.45 c 808 1465054 740764 1 - 0.0000 -
809.94/813.50 c 814 1473717 744344 1 - 0.0000 -
814.92/818.55 c 819 1482423 748053 1 - 0.0000 -
820.00/823.60 c 824 1491306 752447 1 - 0.0000 -
824.97/828.65 c 829 1500077 756384 1 - 0.0000 -
830.04/833.70 c 834 1508490 762751 1 - 0.0000 -
835.02/838.75 c 839 1518116 768710 1 - 0.0000 -
840.09/843.80 c 844 1527144 774802 1 - 0.0000 -
845.06/848.85 c 849 1536377 780176 1 - 0.0000 -
850.14/853.90 c 854 1545799 784957 1 - 0.0000 -
855.11/858.95 c 859 1555667 790247 1 - 0.0000 -
860.09/864.01 c 864 1565245 795863 1 - 0.0000 -
865.17/869.05 c 869 1574750 800978 1 - 0.0000 -
870.16/874.10 c 874 1584700 806374 1 - 0.0000 -
875.23/879.15 c 879 1594129 811355 1 - 0.0000 -
880.29/884.20 c 884 1603751 816783 1 - 0.0000 -
885.27/889.25 c 889 1613312 822114 1 - 0.0000 -
890.36/894.30 c 894 1623021 827540 1 - 0.0000 -
895.33/899.35 c 899 1632502 833919 1 - 0.0000 -
900.41/904.41 c 904 1642335 839380 1 - 0.0000 -
905.39/909.46 c 909 1652199 844721 1 - 0.0000 -
910.47/914.51 c 915 1661406 849727 1 - 0.0000 -
915.45/919.56 c 920 1669580 854055 1 - 0.0000 -
920.52/924.61 c 925 1677971 858200 1 - 0.0000 -
925.51/929.66 c 930 1686261 861646 1 - 0.0000 -
930.59/934.71 c 935 1694911 865596 1 - 0.0000 -
935.56/939.76 c 940 1703786 869491 1 - 0.0000 -
940.65/944.81 c 945 1712632 873332 1 - 0.0000 -
945.63/949.86 c 950 1721078 877027 1 - 0.0000 -
950.70/954.91 c 955 1729910 881077 1 - 0.0000 -
955.68/959.96 c 960 1738299 884537 1 - 0.0000 -
960.76/965.01 c 965 1747250 889116 1 - 0.0000 -
965.74/970.06 c 970 1755966 892642 1 - 0.0000 -
970.82/975.11 c 975 1764372 895781 1 - 0.0000 -
975.80/980.16 c 980 1772664 898894 1 - 0.0000 -
980.87/985.21 c 985 1781068 901920 1 - 0.0000 -
985.84/990.26 c 990 1789112 905233 1 - 0.0000 -
990.92/995.31 c 995 1797189 909203 1 - 0.0000 -
995.90/1000.36 c 1000 1805541 912524 1 - 0.0000 -
1000.98/1005.41 c 1005 1814605 917311 1 - 0.0000 -
1005.95/1010.46 c 1010 1823603 921660 1 - 0.0000 -
1011.03/1015.51 c 1016 1832210 924994 1 - 0.0000 -
1016.00/1020.56 c 1021 1841141 929333 1 - 0.0000 -
1021.08/1025.61 c 1026 1850111 933152 1 - 0.0000 -
1026.06/1030.66 c 1031 1858675 937115 1 - 0.0000 -
1031.14/1035.71 c 1036 1866921 942612 1 - 0.0000 -
1036.12/1040.76 c 1041 1875977 948191 1 - 0.0000 -
1041.19/1045.81 c 1046 1883921 954544 1 - 0.0000 -
1046.17/1050.86 c 1051 1892968 960375 1 - 0.0000 -
1051.25/1055.91 c 1056 1902441 965698 1 - 0.0000 -
1056.22/1060.96 c 1061 1911588 971868 1 - 0.0000 -
1061.31/1066.01 c 1066 1920866 977353 1 - 0.0000 -
1066.30/1071.06 c 1071 1930129 983019 1 - 0.0000 -
1071.37/1076.11 c 1076 1939468 988597 1 - 0.0000 -
1076.35/1081.16 c 1081 1949426 993954 1 - 0.0000 -
1081.42/1086.21 c 1086 1959240 999989 1 - 0.0000 -
1086.39/1091.26 c 1091 1968477 1004316 1 - 0.0000 -
1091.47/1096.31 c 1096 1977043 1007800 1 - 0.0000 -
1096.44/1101.36 c 1101 1985563 1012071 1 - 0.0000 -
1101.53/1106.41 c 1106 1994213 1016168 1 - 0.0000 -
1106.49/1111.46 c 1111 2002816 1019658 1 - 0.0000 -
1111.57/1116.51 c 1117 2011120 1023250 1 - 0.0000 -
1116.55/1121.56 c 1122 2019811 1027013 1 - 0.0000 -
1121.63/1126.61 c 1127 2028525 1031346 1 - 0.0000 -
1126.61/1131.66 c 1132 2037176 1034724 1 - 0.0000 -
1131.69/1136.71 c 1137 2045680 1037911 1 - 0.0000 -
1136.66/1141.76 c 1142 2054004 1041232 1 - 0.0000 -
1141.74/1146.81 c 1147 2062491 1044791 1 - 0.0000 -
1146.72/1151.86 c 1152 2071008 1048419 1 - 0.0000 -
1151.80/1156.91 c 1157 2079604 1051840 1 - 0.0000 -
1156.78/1161.96 c 1162 2088049 1055330 1 - 0.0000 -
1161.86/1167.01 c 1167 2096798 1059247 1 - 0.0000 -
1166.83/1172.06 c 1172 2105319 1062864 1 - 0.0000 -
1171.91/1177.11 c 1177 2113230 1065759 1 - 0.0000 -
1176.89/1182.16 c 1182 2121280 1069411 1 - 0.0000 -
1181.95/1187.21 c 1187 2129185 1072252 1 - 0.0000 -
1186.94/1192.26 c 1192 2138025 1077233 1 - 0.0000 -
1192.02/1197.31 c 1197 2146451 1081698 1 - 0.0000 -
1196.99/1202.36 c 1202 2154542 1086222 1 - 0.0000 -
1202.07/1207.41 c 1207 2162723 1089350 1 - 0.0000 -
1207.05/1212.46 c 1212 2171913 1095191 1 - 0.0000 -
1212.13/1217.51 c 1218 2180520 1098631 1 - 0.0000 -
1217.11/1222.56 c 1223 2189037 1102456 1 - 0.0000 -
1222.18/1227.61 c 1228 2197311 1105795 1 - 0.0000 -
1227.16/1232.66 c 1233 2205996 1109399 1 - 0.0000 -
1232.24/1237.72 c 1238 2213896 1112503 1 - 0.0000 -
1237.21/1242.76 c 1243 2222432 1115985 1 - 0.0000 -
1242.29/1247.81 c 1248 2230468 1119132 1 - 0.0000 -
1247.26/1252.86 c 1253 2238969 1122263 1 - 0.0000 -
1252.34/1257.91 c 1258 2247138 1125549 1 - 0.0000 -
1257.32/1262.96 c 1263 2255323 1128881 1 - 0.0000 -
1262.41/1268.01 c 1268 2264132 1132654 1 - 0.0000 -
1267.38/1273.06 c 1273 2272731 1137504 1 - 0.0000 -
1272.46/1278.11 c 1278 2281037 1141102 1 - 0.0000 -
1277.44/1283.16 c 1283 2289218 1144239 1 - 0.0000 -
1282.51/1288.21 c 1288 2297884 1148710 1 - 0.0000 -
1287.48/1293.26 c 1293 2306407 1152411 1 - 0.0000 -
1292.56/1298.31 c 1298 2314827 1155585 1 - 0.0000 -
1297.53/1303.36 c 1303 2323658 1159676 1 - 0.0000 -
1302.61/1308.41 c 1308 2331599 1162726 1 - 0.0000 -
1307.59/1313.46 c 1313 2339729 1165698 1 - 0.0000 -
1312.67/1318.51 c 1319 2348287 1169635 1 - 0.0000 -
1317.64/1323.56 c 1324 2356362 1172963 1 - 0.0000 -
1322.73/1328.61 c 1329 2365182 1177178 1 - 0.0000 -
1327.70/1333.66 c 1334 2373590 1180881 1 - 0.0000 -
1332.78/1338.71 c 1339 2381864 1184440 1 - 0.0000 -
1337.76/1343.76 c 1344 2390785 1188644 1 - 0.0000 -
1342.83/1348.81 c 1349 2399292 1192829 1 - 0.0000 -
1347.81/1353.86 c 1354 2407830 1196418 1 - 0.0000 -
1352.89/1358.91 c 1359 2416114 1200028 1 - 0.0000 -
1357.87/1363.96 c 1364 2424313 1203660 1 - 0.0000 -
1362.95/1369.01 c 1369 2432398 1206823 1 - 0.0000 -
1367.93/1374.06 c 1374 2440701 1210520 1 - 0.0000 -
1373.01/1379.11 c 1379 2448922 1213647 1 - 0.0000 -
1377.98/1384.16 c 1384 2457304 1217745 1 - 0.0000 -
1383.05/1389.21 c 1389 2465641 1222295 1 - 0.0000 -
1388.03/1394.26 c 1394 2475815 1227389 1 - 0.0000 -
1393.11/1399.31 c 1399 2485307 1232180 1 - 0.0000 -
1398.08/1404.36 c 1404 2493987 1236153 1 - 0.0000 -
1403.17/1409.41 c 1409 2503045 1240846 1 - 0.0000 -
1408.14/1414.46 c 1414 2511242 1243692 1 - 0.0000 -
1413.22/1419.51 c 1420 2519070 1248106 1 - 0.0000 -
1418.19/1424.56 c 1425 2527123 1251145 1 - 0.0000 -
1423.28/1429.61 c 1430 2535898 1255981 1 - 0.0000 -
1428.25/1434.66 c 1435 2545205 1260601 1 - 0.0000 -
1433.33/1439.71 c 1440 2553952 1265019 1 - 0.0000 -
1438.31/1444.76 c 1445 2563305 1269091 1 - 0.0000 -
1443.39/1449.82 c 1450 2571841 1272529 1 - 0.0000 -
1448.37/1454.86 c 1455 2580110 1275475 1 - 0.0000 -
1453.45/1459.91 c 1460 2588122 1278696 1 - 0.0000 -
1458.43/1464.96 c 1465 2596627 1281789 1 - 0.0000 -
1463.51/1470.01 c 1470 2605843 1286636 1 - 0.0000 -
1468.49/1475.06 c 1475 2614856 1290432 1 - 0.0000 -
1473.57/1480.11 c 1480 2623145 1294773 1 - 0.0000 -
1478.55/1485.16 c 1485 2631855 1300588 1 - 0.0000 -
1483.61/1490.21 c 1490 2640776 1305763 1 - 0.0000 -
1488.59/1495.26 c 1495 2648727 1309245 1 - 0.0000 -
1493.66/1500.31 c 1500 2656749 1312853 1 - 0.0000 -
1498.64/1505.36 c 1505 2665102 1316490 1 - 0.0000 -
1503.72/1510.41 c 1510 2673102 1319716 1 - 0.0000 -
1508.70/1515.46 c 1515 2681833 1323134 1 - 0.0000 -
1513.77/1520.51 c 1521 2689652 1326033 1 - 0.0000 -
1518.75/1525.56 c 1526 2697713 1330358 1 - 0.0000 -
1523.83/1530.61 c 1531 2706072 1334054 1 - 0.0000 -
1528.81/1535.66 c 1536 2714506 1337290 1 - 0.0000 -
1533.88/1540.71 c 1541 2722822 1340897 1 - 0.0000 -
1538.86/1545.76 c 1546 2731234 1344029 1 - 0.0000 -
1543.94/1550.81 c 1551 2739223 1347296 1 - 0.0000 -
1548.92/1555.86 c 1556 2747791 1351430 1 - 0.0000 -
1554.00/1560.91 c 1561 2755861 1354915 1 - 0.0000 -
1558.97/1565.96 c 1566 2764067 1358675 1 - 0.0000 -
1564.05/1571.01 c 1571 2772645 1362519 1 - 0.0000 -
1569.03/1576.06 c 1576 2781012 1366175 1 - 0.0000 -
1574.11/1581.11 c 1581 2789255 1369835 1 - 0.0000 -
1579.09/1586.16 c 1586 2797395 1373071 1 - 0.0000 -
1584.16/1591.21 c 1591 2805641 1376323 1 - 0.0000 -
1589.13/1596.26 c 1596 2814188 1380467 1 - 0.0000 -
1594.21/1601.32 c 1601 2822767 1384702 1 - 0.0000 -
1599.19/1606.37 c 1606 2830822 1388238 1 - 0.0000 -
1604.26/1611.42 c 1611 2839453 1393094 1 - 0.0000 -
1609.24/1616.47 c 1616 2847241 1396474 1 - 0.0000 -
1614.32/1621.52 c 1622 2855148 1399511 1 - 0.0000 -
1619.30/1626.57 c 1627 2863728 1403885 1 - 0.0000 -
1624.36/1631.62 c 1632 2872054 1407721 1 - 0.0000 -
1629.34/1636.67 c 1637 2880676 1411833 1 - 0.0000 -
1634.42/1641.72 c 1642 2889288 1415532 1 - 0.0000 -
1639.39/1646.77 c 1647 2898124 1419559 1 - 0.0000 -
1644.47/1651.82 c 1652 2906360 1422617 1 - 0.0000 -
1649.45/1656.87 c 1657 2914445 1425383 1 - 0.0000 -
1654.52/1661.92 c 1662 2922249 1428463 1 - 0.0000 -
1659.50/1666.97 c 1667 2930350 1431700 1 - 0.0000 -
1664.59/1672.02 c 1672 2938484 1434747 1 - 0.0000 -
1669.56/1677.07 c 1677 2946061 1437848 1 - 0.0000 -
1674.65/1682.12 c 1682 2954393 1441651 1 - 0.0000 -
1679.62/1687.17 c 1687 2962916 1445224 1 - 0.0000 -
1684.69/1692.22 c 1692 2971367 1448766 1 - 0.0000 -
1689.67/1697.27 c 1697 2979244 1452262 1 - 0.0000 -
1694.75/1702.32 c 1702 2987713 1456182 1 - 0.0000 -
1699.73/1707.37 c 1707 2995862 1459096 1 - 0.0000 -
1704.81/1712.42 c 1712 3004421 1462914 1 - 0.0000 -
1709.78/1717.47 c 1717 3012349 1465851 1 - 0.0000 -
1714.86/1722.52 c 1723 3020563 1469298 1 - 0.0000 -
1719.84/1727.57 c 1728 3029979 1475696 1 - 0.0000 -
1724.92/1732.62 c 1733 3039201 1480456 1 - 0.0000 -
1729.90/1737.67 c 1738 3047326 1483448 1 - 0.0000 -
1734.98/1742.72 c 1743 3055546 1487558 1 - 0.0000 -
1739.96/1747.77 c 1748 3064021 1490987 1 - 0.0000 -
1745.03/1752.82 c 1753 3072330 1494058 1 - 0.0000 -
1750.02/1757.87 c 1758 3081770 1497869 1 - 0.0000 -
1755.09/1762.92 c 1763 3090833 1501909 1 - 0.0000 -
1760.07/1767.97 c 1768 3099836 1506523 1 - 0.0000 -
1765.15/1773.02 c 1773 3109851 1511544 1 - 0.0000 -
1770.13/1778.07 c 1778 3120002 1515353 1 - 0.0000 -
1775.21/1783.12 c 1783 3128343 1518784 1 - 0.0000 -
1780.19/1788.17 c 1788 3136894 1522331 1 - 0.0000 -
1785.25/1793.22 c 1793 3145293 1526762 1 - 0.0000 -
1790.24/1798.27 c 1798 3153950 1530542 1 - 0.0000 -
1795.31/1803.32 c 1803 3163311 1534731 1 - 0.0000 -
1800.29/1808.37 c 1808 3172361 1538468 1 - 0.0000 -
1805.37/1813.42 c 1813 3180751 1541368 1 - 0.0000 -
1810.35/1818.47 c 1818 3190151 1545496 1 - 0.0000 -
1815.43/1823.52 c 1824 3198817 1548350 1 - 0.0000 -
1820.41/1828.57 c 1829 3207487 1551678 1 - 0.0000 -
1825.49/1833.62 c 1834 3216869 1555996 1 - 0.0000 -
1830.46/1838.67 c 1839 3226277 1561060 1 - 0.0000 -
1835.55/1843.72 c 1844 3235268 1564421 1 - 0.0000 -
1840.52/1848.77 c 1849 3244365 1567672 1 - 0.0000 -
1845.60/1853.82 c 1854 3253002 1570928 1 - 0.0000 -
1850.57/1858.87 c 1859 3261783 1575851 1 - 0.0000 -
1855.65/1863.92 c 1864 3270729 1580741 1 - 0.0000 -
1860.62/1868.97 c 1869 3279909 1585535 1 - 0.0000 -
1865.70/1874.02 c 1874 3289261 1590158 1 - 0.0000 -
1870.68/1879.07 c 1879 3299052 1594602 1 - 0.0000 -
1875.76/1884.12 c 1884 3308309 1599314 1 - 0.0000 -
1880.73/1889.17 c 1889 3317987 1604459 1 - 0.0000 -
1885.80/1894.22 c 1894 3327942 1609017 1 - 0.0000 -
1890.78/1899.27 c 1899 3337980 1613188 1 - 0.0000 -
1895.86/1904.32 c 1904 3347971 1617703 1 - 0.0000 -
1900.84/1909.37 c 1909 3357915 1622175 1 - 0.0000 -
1905.92/1914.42 c 1914 3367806 1626649 1 - 0.0000 -
1910.90/1919.47 c 1919 3378451 1630294 1 - 0.0000 -
1915.98/1924.52 c 1925 3388560 1634253 1 - 0.0000 -
1920.95/1929.57 c 1930 3398046 1637580 1 - 0.0000 -
1926.04/1934.62 c 1935 3407941 1640909 1 - 0.0000 -
1931.01/1939.67 c 1940 3417490 1644446 1 - 0.0000 -
1936.09/1944.72 c 1945 3427264 1648808 1 - 0.0000 -
1941.07/1949.77 c 1950 3437343 1653018 1 - 0.0000 -
1946.15/1954.82 c 1955 3447651 1656838 1 - 0.0000 -
1951.13/1959.87 c 1960 3457558 1660103 1 - 0.0000 -
1956.20/1964.92 c 1965 3467341 1664715 1 - 0.0000 -
1961.19/1969.97 c 1970 3477051 1668144 1 - 0.0000 -
1966.28/1975.02 c 1975 3486542 1672971 1 - 0.0000 -
1971.25/1980.07 c 1980 3496543 1677152 1 - 0.0000 -
1976.33/1985.12 c 1985 3505016 1682556 1 - 0.0000 -
1981.30/1990.17 c 1990 3514385 1688384 1 - 0.0000 -
1986.38/1995.22 c 1995 3523709 1693576 1 - 0.0000 -
1991.35/2000.27 c 2000 3531773 1698274 1 - 0.0000 -
1996.43/2005.32 c 2005 3540968 1702964 1 - 0.0000 -
2001.41/2010.37 c 2010 3550806 1708025 1 - 0.0000 -
2006.50/2015.42 c 2015 3560685 1713335 1 - 0.0000 -
2011.47/2020.47 c 2020 3570535 1719017 1 - 0.0000 -
2016.55/2025.52 c 2026 3580147 1724041 1 - 0.0000 -
2021.53/2030.57 c 2031 3589800 1729306 1 - 0.0000 -
2026.61/2035.62 c 2036 3600046 1734393 1 - 0.0000 -
2031.59/2040.67 c 2041 3609897 1739014 1 - 0.0000 -
2036.67/2045.72 c 2046 3619508 1744383 1 - 0.0000 -
2041.64/2050.77 c 2051 3629107 1749690 1 - 0.0000 -
2046.73/2055.82 c 2056 3638818 1755237 1 - 0.0000 -
2051.71/2060.87 c 2061 3648726 1760725 1 - 0.0000 -
2056.78/2065.92 c 2066 3658415 1766015 1 - 0.0000 -
2061.76/2070.97 c 2071 3667916 1771499 1 - 0.0000 -
2066.85/2076.02 c 2076 3677755 1777186 1 - 0.0000 -
2071.83/2081.07 c 2081 3687830 1782504 1 - 0.0000 -
2076.91/2086.12 c 2086 3697725 1788384 1 - 0.0000 -
2081.89/2091.17 c 2091 3707535 1794111 1 - 0.0000 -
2086.95/2096.22 c 2096 3717717 1799068 1 - 0.0000 -
2091.93/2101.27 c 2101 3727693 1804454 1 - 0.0000 -
2097.01/2106.33 c 2106 3737805 1809744 1 - 0.0000 -
2101.99/2111.38 c 2111 3747617 1815184 1 - 0.0000 -
2107.07/2116.43 c 2116 3757824 1820894 1 - 0.0000 -
2112.05/2121.48 c 2121 3767636 1826466 1 - 0.0000 -
2117.13/2126.53 c 2127 3777649 1832476 1 - 0.0000 -
2122.10/2131.58 c 2132 3787859 1837207 1 - 0.0000 -
2127.18/2136.63 c 2137 3797922 1842398 1 - 0.0000 -
2132.15/2141.68 c 2142 3808129 1847839 1 - 0.0000 -
2137.23/2146.73 c 2147 3817992 1853003 1 - 0.0000 -
2142.20/2151.78 c 2152 3828008 1857980 1 - 0.0000 -
2147.28/2156.83 c 2157 3838009 1862846 1 - 0.0000 -
2152.25/2161.88 c 2162 3847961 1867606 1 - 0.0000 -
2157.32/2166.93 c 2167 3857937 1872553 1 - 0.0000 -
2162.31/2171.98 c 2172 3867927 1877857 1 - 0.0000 -
2167.38/2177.03 c 2177 3878063 1883056 1 - 0.0000 -
2172.36/2182.08 c 2182 3887740 1888687 1 - 0.0000 -
2177.45/2187.13 c 2187 3897523 1894626 1 - 0.0000 -
2182.42/2192.18 c 2192 3907382 1900209 1 - 0.0000 -
2187.49/2197.23 c 2197 3917244 1905222 1 - 0.0000 -
2192.47/2202.28 c 2202 3927214 1910936 1 - 0.0000 -
2197.54/2207.33 c 2207 3936969 1916409 1 - 0.0000 -
2202.53/2212.38 c 2212 3946874 1921952 1 - 0.0000 -
2207.61/2217.43 c 2217 3957005 1927017 1 - 0.0000 -
2212.59/2222.48 c 2222 3966854 1931972 1 - 0.0000 -
2217.66/2227.53 c 2228 3976561 1936642 1 - 0.0000 -
2222.64/2232.58 c 2233 3985997 1941829 1 - 0.0000 -
2227.72/2237.63 c 2238 3995889 1947150 1 - 0.0000 -
2232.70/2242.68 c 2243 4005704 1952169 1 - 0.0000 -
2237.78/2247.73 c 2248 4015803 1957601 1 - 0.0000 -
2242.75/2252.78 c 2253 4025744 1962556 1 - 0.0000 -
2247.84/2257.83 c 2258 4035417 1967621 1 - 0.0000 -
2252.81/2262.88 c 2263 4045096 1972842 1 - 0.0000 -
2257.89/2267.93 c 2268 4054891 1977508 1 - 0.0000 -
2262.87/2272.98 c 2273 4064356 1982385 1 - 0.0000 -
2267.95/2278.03 c 2278 4074022 1987018 1 - 0.0000 -
2272.93/2283.08 c 2283 4083654 1991720 1 - 0.0000 -
2278.01/2288.13 c 2288 4093459 1996224 1 - 0.0000 -
2282.99/2293.18 c 2293 4102925 2000587 1 - 0.0000 -
2288.06/2298.23 c 2298 4112593 2005039 1 - 0.0000 -
2293.04/2303.28 c 2303 4122701 2010201 1 - 0.0000 -
2298.11/2308.33 c 2308 4132326 2014388 1 - 0.0000 -
2303.09/2313.38 c 2313 4141869 2019738 1 - 0.0000 -
2308.17/2318.43 c 2318 4151503 2024874 1 - 0.0000 -
2313.15/2323.48 c 2323 4161181 2029839 1 - 0.0000 -
2318.22/2328.53 c 2329 4171101 2034668 1 - 0.0000 -
2323.21/2333.58 c 2334 4180512 2039695 1 - 0.0000 -
2328.28/2338.63 c 2339 4190225 2044308 1 - 0.0000 -
2333.26/2343.68 c 2344 4199764 2049427 1 - 0.0000 -
2338.33/2348.73 c 2349 4209401 2054795 1 - 0.0000 -
2343.30/2353.78 c 2354 4219333 2060012 1 - 0.0000 -
2348.38/2358.83 c 2359 4229108 2064565 1 - 0.0000 -
2353.35/2363.88 c 2364 4239163 2069994 1 - 0.0000 -
2358.42/2368.93 c 2369 4249187 2075080 1 - 0.0000 -
2363.40/2373.98 c 2374 4258904 2080162 1 - 0.0000 -
2368.48/2379.03 c 2379 4268595 2084708 1 - 0.0000 -
2373.46/2384.08 c 2384 4278284 2089761 1 - 0.0000 -
2378.53/2389.13 c 2389 4288301 2094493 1 - 0.0000 -
2383.50/2394.18 c 2394 4297842 2099037 1 - 0.0000 -
2388.57/2399.23 c 2399 4307667 2103498 1 - 0.0000 -
2393.54/2404.28 c 2404 4317190 2108711 1 - 0.0000 -
2398.62/2409.33 c 2409 4327329 2113664 1 - 0.0000 -
2403.59/2414.38 c 2414 4336857 2117996 1 - 0.0000 -
2408.66/2419.43 c 2419 4346818 2123730 1 - 0.0000 -
2413.63/2424.48 c 2424 4356759 2129069 1 - 0.0000 -
2418.71/2429.53 c 2430 4366619 2134649 1 - 0.0000 -
2423.68/2434.58 c 2435 4376533 2139655 1 - 0.0000 -
2428.76/2439.63 c 2440 4386154 2144033 1 - 0.0000 -
2433.74/2444.68 c 2445 4395761 2148556 1 - 0.0000 -
2438.80/2449.73 c 2450 4405460 2153141 1 - 0.0000 -
2443.78/2454.78 c 2455 4415173 2157757 1 - 0.0000 -
2448.86/2459.83 c 2460 4424747 2162835 1 - 0.0000 -
2453.84/2464.88 c 2465 4434308 2167620 1 - 0.0000 -
2458.92/2469.93 c 2470 4443950 2172845 1 - 0.0000 -
2463.89/2474.98 c 2475 4453555 2177636 1 - 0.0000 -
2468.98/2480.03 c 2480 4462836 2182380 1 - 0.0000 -
2473.96/2485.08 c 2485 4472351 2187100 1 - 0.0000 -
2479.04/2490.13 c 2490 4481806 2191697 1 - 0.0000 -
2484.02/2495.18 c 2495 4491330 2197359 1 - 0.0000 -
2489.08/2500.23 c 2500 4500614 2203018 1 - 0.0000 -
2494.06/2505.28 c 2505 4510543 2208204 1 - 0.0000 -
2499.14/2510.33 c 2510 4520150 2213411 1 - 0.0000 -
2504.12/2515.38 c 2515 4529928 2218372 1 - 0.0000 -
2509.20/2520.43 c 2520 4539644 2223181 1 - 0.0000 -
2514.18/2525.48 c 2525 4549487 2227961 1 - 0.0000 -
2519.25/2530.53 c 2531 4559526 2232473 1 - 0.0000 -
2524.24/2535.58 c 2536 4569482 2237219 1 - 0.0000 -
2529.32/2540.63 c 2541 4579213 2241421 1 - 0.0000 -
2534.29/2545.68 c 2546 4588905 2245713 1 - 0.0000 -
2539.37/2550.73 c 2551 4598798 2250326 1 - 0.0000 -
2544.35/2555.78 c 2556 4608460 2254858 1 - 0.0000 -
2549.43/2560.83 c 2561 4617616 2259008 1 - 0.0000 -
2554.41/2565.88 c 2566 4627528 2263315 1 - 0.0000 -
2559.49/2570.93 c 2571 4637097 2267775 1 - 0.0000 -
2564.47/2575.98 c 2576 4646814 2272359 1 - 0.0000 -
2569.56/2581.03 c 2581 4656166 2277552 1 - 0.0000 -
2574.53/2586.08 c 2586 4665495 2282123 1 - 0.0000 -
2579.61/2591.13 c 2591 4674626 2286687 1 - 0.0000 -
2584.59/2596.18 c 2596 4683980 2290691 1 - 0.0000 -
2589.66/2601.23 c 2601 4693853 2295770 1 - 0.0000 -
2594.64/2606.28 c 2606 4703335 2300052 1 - 0.0000 -
2599.71/2611.33 c 2611 4712458 2304666 1 - 0.0000 -
2604.69/2616.38 c 2616 4722369 2309524 1 - 0.0000 -
2609.77/2621.43 c 2621 4731548 2314587 1 - 0.0000 -
2614.75/2626.48 c 2626 4741126 2319276 1 - 0.0000 -
2619.83/2631.53 c 2632 4750660 2323371 1 - 0.0000 -
2624.81/2636.58 c 2637 4759667 2328720 1 - 0.0000 -
2629.89/2641.63 c 2642 4769243 2333915 1 - 0.0000 -
2634.86/2646.68 c 2647 4778855 2338776 1 - 0.0000 -
2639.94/2651.73 c 2652 4788599 2343862 1 - 0.0000 -
2644.92/2656.78 c 2657 4798626 2348296 1 - 0.0000 -
2650.01/2661.83 c 2662 4807978 2352900 1 - 0.0000 -
2654.98/2666.88 c 2667 4817385 2356978 1 - 0.0000 -
2660.06/2671.93 c 2672 4826935 2361132 1 - 0.0000 -
2665.05/2676.98 c 2677 4836507 2365310 1 - 0.0000 -
2670.12/2682.04 c 2682 4845666 2369982 1 - 0.0000 -
2675.11/2687.08 c 2687 4855351 2375220 1 - 0.0000 -
2680.18/2692.13 c 2692 4865267 2379861 1 - 0.0000 -
2685.16/2697.18 c 2697 4875157 2384489 1 - 0.0000 -
2690.23/2702.23 c 2702 4885032 2388651 1 - 0.0000 -
2695.21/2707.28 c 2707 4894603 2394079 1 - 0.0000 -
2700.29/2712.33 c 2712 4904455 2399507 1 - 0.0000 -
2705.26/2717.38 c 2717 4914193 2404471 1 - 0.0000 -
2710.35/2722.43 c 2722 4924021 2409076 1 - 0.0000 -
2715.33/2727.48 c 2727 4933557 2414333 1 - 0.0000 -
2720.40/2732.53 c 2733 4942929 2419117 1 - 0.0000 -
2725.38/2737.58 c 2738 4952747 2424075 1 - 0.0000 -
2730.46/2742.63 c 2743 4962491 2428730 1 - 0.0000 -
2735.44/2747.68 c 2748 4972426 2433824 1 - 0.0000 -
2740.52/2752.73 c 2753 4982613 2438294 1 - 0.0000 -
2745.50/2757.78 c 2758 4991981 2443565 1 - 0.0000 -
2750.58/2762.83 c 2763 5001574 2448046 1 - 0.0000 -
2755.55/2767.88 c 2768 5011194 2452468 1 - 0.0000 -
2760.63/2772.93 c 2773 5020419 2457607 1 - 0.0000 -
2765.61/2777.98 c 2778 5029914 2462573 1 - 0.0000 -
2770.69/2783.03 c 2783 5039608 2467381 1 - 0.0000 -
2775.67/2788.08 c 2788 5049332 2471684 1 - 0.0000 -
2780.75/2793.13 c 2793 5058819 2475944 1 - 0.0000 -
2785.73/2798.18 c 2798 5067977 2480236 1 - 0.0000 -
2790.80/2803.23 c 2803 5077344 2484980 1 - 0.0000 -
2795.78/2808.28 c 2808 5087240 2490244 1 - 0.0000 -
2800.86/2813.33 c 2813 5097204 2494743 1 - 0.0000 -
2805.84/2818.38 c 2818 5106942 2499253 1 - 0.0000 -
2810.92/2823.43 c 2823 5116527 2503557 1 - 0.0000 -
2815.89/2828.48 c 2828 5125950 2507622 1 - 0.0000 -
2820.97/2833.53 c 2834 5135656 2512016 1 - 0.0000 -
2825.95/2838.58 c 2839 5144706 2515823 1 - 0.0000 -
2831.03/2843.63 c 2844 5154620 2520341 1 - 0.0000 -
2836.01/2848.68 c 2849 5164119 2524829 1 - 0.0000 -
2841.09/2853.73 c 2854 5173302 2528937 1 - 0.0000 -
2846.07/2858.78 c 2859 5182987 2533310 1 - 0.0000 -
2851.15/2863.83 c 2864 5192330 2537221 1 - 0.0000 -
2856.13/2868.88 c 2869 5201454 2541168 1 - 0.0000 -
2861.21/2873.93 c 2874 5210632 2545246 1 - 0.0000 -
2866.18/2878.98 c 2879 5219937 2549835 1 - 0.0000 -
2871.28/2884.03 c 2884 5229371 2554368 1 - 0.0000 -
2876.25/2889.08 c 2889 5239280 2559449 1 - 0.0000 -
2881.33/2894.13 c 2894 5248665 2564023 1 - 0.0000 -
2886.31/2899.18 c 2899 5257740 2568193 1 - 0.0000 -
2891.36/2904.23 c 2904 5267396 2572552 1 - 0.0000 -
2896.34/2909.28 c 2909 5276791 2576813 1 - 0.0000 -
2901.41/2914.33 c 2914 5286429 2580726 1 - 0.0000 -
2906.39/2919.38 c 2919 5295885 2584692 1 - 0.0000 -
2911.47/2924.43 c 2924 5305320 2588663 1 - 0.0000 -
2916.44/2929.48 c 2929 5314375 2592751 1 - 0.0000 -
2921.52/2934.53 c 2935 5323546 2596596 1 - 0.0000 -
2926.49/2939.58 c 2940 5332941 2600903 1 - 0.0000 -
2931.56/2944.63 c 2945 5342453 2605340 1 - 0.0000 -
2936.53/2949.68 c 2950 5351781 2609424 1 - 0.0000 -
2941.60/2954.73 c 2955 5361101 2613266 1 - 0.0000 -
2946.58/2959.78 c 2960 5370305 2617085 1 - 0.0000 -
2951.66/2964.83 c 2965 5379629 2621037 1 - 0.0000 -
2956.63/2969.88 c 2970 5388991 2626260 1 - 0.0000 -
2961.70/2974.93 c 2975 5398454 2631392 1 - 0.0000 -
2966.68/2979.98 c 2980 5408189 2636135 1 - 0.0000 -
2971.76/2985.03 c 2985 5417901 2640389 1 - 0.0000 -
2976.73/2990.08 c 2990 5427463 2644477 1 - 0.0000 -
2981.80/2995.13 c 2995 5436882 2648761 1 - 0.0000 -
2986.78/3000.18 c 3000 5446041 2652799 1 - 0.0000 -
2991.84/3005.23 c 3005 5455174 2658422 1 - 0.0000 -
2996.82/3010.28 c 3010 5464544 2663901 1 - 0.0000 -
3001.89/3015.33 c 3015 5473775 2669099 1 - 0.0000 -
3006.84/3020.38 c 3020 5481416 2672785 1 - 0.0000 -
3011.88/3025.43 c 3025 5490219 2677896 1 - 0.0000 -
3016.83/3030.49 c 3030 5499145 2683223 1 - 0.0000 -
3021.88/3035.53 c 3036 5508581 2687658 1 - 0.0000 -
3026.83/3040.58 c 3041 5518019 2692173 1 - 0.0000 -
3031.88/3045.63 c 3046 5527305 2696678 1 - 0.0000 -
3036.82/3050.68 c 3051 5536529 2701506 1 - 0.0000 -
3041.87/3055.73 c 3056 5545881 2705713 1 - 0.0000 -
3046.81/3060.78 c 3061 5555422 2710208 1 - 0.0000 -
3051.87/3065.83 c 3066 5564910 2714447 1 - 0.0000 -
3056.81/3070.88 c 3071 5574287 2719002 1 - 0.0000 -
3061.86/3075.93 c 3076 5583903 2723176 1 - 0.0000 -
3066.81/3080.98 c 3081 5592929 2727861 1 - 0.0000 -
3071.86/3086.03 c 3086 5602730 2732534 1 - 0.0000 -
3076.82/3091.08 c 3091 5610488 2736200 1 - 0.0000 -
3081.90/3096.13 c 3096 5619456 2741486 1 - 0.0000 -
3086.87/3101.18 c 3101 5628897 2746653 1 - 0.0000 -
3091.94/3106.23 c 3106 5638468 2751567 1 - 0.0000 -
3096.92/3111.28 c 3111 5648002 2756478 1 - 0.0000 -
3102.00/3116.33 c 3116 5657306 2761381 1 - 0.0000 -
3106.98/3121.38 c 3121 5666778 2766295 1 - 0.0000 -
3112.06/3126.43 c 3126 5676130 2771274 1 - 0.0000 -
3117.04/3131.48 c 3131 5685523 2776107 1 - 0.0000 -
3122.12/3136.53 c 3137 5695065 2780407 1 - 0.0000 -
3127.09/3141.58 c 3142 5704812 2784982 1 - 0.0000 -
3132.17/3146.63 c 3147 5714382 2789563 1 - 0.0000 -
3137.15/3151.68 c 3152 5724084 2793640 1 - 0.0000 -
3142.22/3156.73 c 3157 5733626 2797824 1 - 0.0000 -
3147.21/3161.78 c 3162 5742898 2802025 1 - 0.0000 -
3152.28/3166.83 c 3167 5751400 2807655 1 - 0.0000 -
3157.26/3171.88 c 3172 5760546 2812713 1 - 0.0000 -
3162.34/3176.94 c 3177 5769596 2817752 1 - 0.0000 -
3167.32/3181.99 c 3182 5778691 2822727 1 - 0.0000 -
3172.40/3187.04 c 3187 5788220 2827810 1 - 0.0000 -
3177.38/3192.09 c 3192 5797571 2832378 1 - 0.0000 -
3182.46/3197.14 c 3197 5807025 2836728 1 - 0.0000 -
3187.44/3202.19 c 3202 5816460 2842068 1 - 0.0000 -
3192.49/3207.24 c 3207 5825876 2847080 1 - 0.0000 -
3197.47/3212.29 c 3212 5835569 2851499 1 - 0.0000 -
3202.54/3217.34 c 3217 5844646 2856180 1 - 0.0000 -
3207.52/3222.39 c 3222 5854200 2861539 1 - 0.0000 -
3212.59/3227.44 c 3227 5863895 2866484 1 - 0.0000 -
3217.57/3232.49 c 3232 5872778 2871475 1 - 0.0000 -
3222.63/3237.54 c 3238 5881941 2876550 1 - 0.0000 -
3227.61/3242.59 c 3243 5891117 2880916 1 - 0.0000 -
3232.68/3247.64 c 3248 5900086 2885510 1 - 0.0000 -
3237.66/3252.69 c 3253 5909483 2890175 1 - 0.0000 -
3242.74/3257.74 c 3258 5918754 2895206 1 - 0.0000 -
3247.71/3262.79 c 3263 5928125 2899784 1 - 0.0000 -
3252.78/3267.84 c 3268 5937291 2905114 1 - 0.0000 -
3257.76/3272.89 c 3273 5946702 2909793 1 - 0.0000 -
3262.82/3277.94 c 3278 5955750 2914261 1 - 0.0000 -
3267.80/3282.99 c 3283 5965258 2918645 1 - 0.0000 -
3272.88/3288.04 c 3288 5974559 2923019 1 - 0.0000 -
3277.86/3293.09 c 3293 5983892 2926913 1 - 0.0000 -
3282.94/3298.14 c 3298 5993134 2930960 1 - 0.0000 -
3287.92/3303.19 c 3303 6002692 2935521 1 - 0.0000 -
3292.98/3308.24 c 3308 6012161 2939949 1 - 0.0000 -
3297.96/3313.29 c 3313 6021288 2944374 1 - 0.0000 -
3303.04/3318.34 c 3318 6030322 2949265 1 - 0.0000 -
3308.03/3323.39 c 3323 6038978 2954239 1 - 0.0000 -
3313.10/3328.44 c 3328 6047913 2958629 1 - 0.0000 -
3318.08/3333.49 c 3334 6057017 2963213 1 - 0.0000 -
3323.16/3338.54 c 3339 6066450 2967213 1 - 0.0000 -
3328.14/3343.59 c 3344 6075727 2971481 1 - 0.0000 -
3333.22/3348.64 c 3349 6084804 2975608 1 - 0.0000 -
3338.19/3353.69 c 3354 6093774 2979418 1 - 0.0000 -
3343.27/3358.74 c 3359 6102918 2983773 1 - 0.0000 -
3348.26/3363.79 c 3364 6111957 2987782 1 - 0.0000 -
3353.33/3368.84 c 3369 6121388 2992419 1 - 0.0000 -
3358.31/3373.89 c 3374 6130466 2995802 1 - 0.0000 -
3363.39/3378.94 c 3379 6139641 2999839 1 - 0.0000 -
3368.36/3384.01 c 3384 6148765 3003992 1 - 0.0000 -
3373.44/3389.04 c 3389 6157782 3008345 1 - 0.0000 -
3378.42/3394.09 c 3394 6166996 3012596 1 - 0.0000 -
3383.50/3399.14 c 3399 6176128 3016587 1 - 0.0000 -
3388.48/3404.19 c 3404 6185387 3021291 1 - 0.0000 -
3393.54/3409.24 c 3409 6194865 3025629 1 - 0.0000 -
3398.52/3414.29 c 3414 6204260 3029653 1 - 0.0000 -
3403.61/3419.34 c 3419 6213838 3033922 1 - 0.0000 -
3408.58/3424.39 c 3424 6223166 3038059 1 - 0.0000 -
3413.66/3429.44 c 3429 6232231 3042197 1 - 0.0000 -
3418.64/3434.49 c 3434 6241391 3046690 1 - 0.0000 -
3423.71/3439.54 c 3440 6250560 3050773 1 - 0.0000 -
3428.70/3444.59 c 3445 6259899 3054777 1 - 0.0000 -
3433.78/3449.64 c 3450 6268976 3059056 1 - 0.0000 -
3438.75/3454.69 c 3455 6277970 3063158 1 - 0.0000 -
3443.82/3459.74 c 3460 6287000 3067680 1 - 0.0000 -
3448.78/3464.79 c 3465 6295834 3071027 1 - 0.0000 -
3453.85/3469.84 c 3470 6305071 3075359 1 - 0.0000 -
3458.82/3474.89 c 3475 6313841 3079387 1 - 0.0000 -
3463.90/3479.94 c 3480 6322872 3083600 1 - 0.0000 -
3468.87/3484.99 c 3485 6332113 3087852 1 - 0.0000 -
3473.96/3490.04 c 3490 6341274 3091438 1 - 0.0000 -
3478.93/3495.09 c 3495 6349843 3096033 1 - 0.0000 -
3484.01/3500.14 c 3500 6359295 3100696 1 - 0.0000 -
3488.98/3505.19 c 3505 6368701 3104997 1 - 0.0000 -
3494.05/3510.24 c 3510 6378077 3108985 1 - 0.0000 -
3499.02/3515.29 c 3515 6387401 3112875 1 - 0.0000 -
3504.10/3520.34 c 3520 6396360 3116522 1 - 0.0000 -
3509.08/3525.39 c 3525 6405507 3120378 1 - 0.0000 -
3514.15/3530.44 c 3530 6414304 3124034 1 - 0.0000 -
3519.13/3535.49 c 3536 6423057 3127757 1 - 0.0000 -
3524.21/3540.54 c 3541 6431514 3133015 1 - 0.0000 -
3529.18/3545.59 c 3546 6440201 3138352 1 - 0.0000 -
3534.27/3550.64 c 3551 6449432 3143576 1 - 0.0000 -
3539.24/3555.69 c 3556 6458760 3148575 1 - 0.0000 -
3544.32/3560.74 c 3561 6467873 3153787 1 - 0.0000 -
3549.30/3565.79 c 3566 6477147 3158721 1 - 0.0000 -
3554.37/3570.84 c 3571 6486392 3163403 1 - 0.0000 -
3559.35/3575.89 c 3576 6495647 3167509 1 - 0.0000 -
3564.42/3580.94 c 3581 6504997 3172471 1 - 0.0000 -
3569.40/3585.99 c 3586 6514297 3177367 1 - 0.0000 -
3574.48/3591.04 c 3591 6523458 3181996 1 - 0.0000 -
3579.46/3596.09 c 3596 6532689 3186284 1 - 0.0000 -
3589.01/3605.67 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.01/3605.67 c Total Time : 3605.6800
3589.01/3605.67 c solving : 3605.6800
3589.01/3605.67 c presolving : 0.0368 (included in solving)
3589.01/3605.67 c B&B Tree :
3589.01/3605.67 c nodes (total) : 1
3589.01/3605.67 c Solution :
3589.01/3605.67 c Solutions found : 0
3589.01/3605.67 c Primal Bound : -
3589.01/3605.67 c Dual Bound : +0.00000000000000e+00
3589.01/3605.67 c Gap : -
3589.11/3605.75 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 (62674 MiB free)
memory of node 1: 64510 MiB (62642 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448270-1721363998/watcher-4448270-1721363998 -o /tmp/evaluation-result-4448270-1721363998/solver-4448270-1721363998 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988423 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448270-1721363998.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=988714, runsolver pid=988711
[startup+0.100099 s]*
/proc/loadavg: 4.07 4.05 4.09 5/254 988717
/proc/meminfo: memFree=128307276/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=115000 memory=29412 CPUtime=0.1 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 4760 0 0 0 9 1 0 0 20 0 3 0 188559352 117760000 7353 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 28750 7353 2926 3032 0 10788 0
[pid=988714/tid=988716] ppid=988711 vsize=115000 memory=4026561586 CPUtime=0.04 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 1733 0 0 0 4 0 0 0 20 0 3 0 188559358 117760000 7419 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=115000 memory=232851243367 CPUtime=0 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188559359 117760000 7419 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 115000 KiB
Current children cumulated memory: 29412 KiB
[startup+0.212989 s]*
/proc/loadavg: 4.07 4.05 4.09 5/254 988717
/proc/meminfo: memFree=128302212/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=115000 memory=34428 CPUtime=0.21 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 5987 0 0 0 20 1 0 0 20 0 3 0 188559352 117760000 8607 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 28750 8607 2926 3032 0 12345 0
[pid=988714/tid=988716] ppid=988711 vsize=115000 memory=4782652875487838339 CPUtime=0.15 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 2941 0 0 0 15 0 0 0 20 0 3 0 188559358 117760000 8607 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=115000 memory=671 CPUtime=0 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188559359 117760000 8607 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 115000 KiB
Current children cumulated memory: 34428 KiB
[startup+0.312864 s]*
/proc/loadavg: 4.07 4.05 4.09 7/254 988717
/proc/meminfo: memFree=128298396/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=115000 memory=38652 CPUtime=0.32 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 7009 0 0 0 30 2 0 0 20 0 3 0 188559352 117760000 9663 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 28750 9663 2926 3032 0 13113 0
[pid=988714/tid=988716] ppid=988711 vsize=115000 memory=-6657275064853117803 CPUtime=0.25 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 3963 0 0 0 25 0 0 0 20 0 3 0 188559358 117760000 9663 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=115000 memory=0 CPUtime=0 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188559359 117760000 9663 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 115000 KiB
Current children cumulated memory: 38652 KiB
[startup+0.700323 s]
/proc/loadavg: 4.07 4.05 4.09 5/254 988717
/proc/meminfo: memFree=128289736/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=115000 memory=46068 CPUtime=0.69 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 9178 0 0 0 67 2 0 0 20 0 3 0 188559352 117760000 11517 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 28750 11517 2926 3032 0 15592 0
[pid=988714/tid=988716] ppid=988711 vsize=115000 memory=0 CPUtime=0.62 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 6132 0 0 0 62 0 0 0 20 0 3 0 188559358 117760000 11517 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=115000 memory=0 CPUtime=0 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188559359 117760000 11517 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 115000 KiB
Current children cumulated memory: 46068 KiB
[startup+1.50037 s]
/proc/loadavg: 4.07 4.05 4.09 5/254 988717
/proc/meminfo: memFree=128288060/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=115000 memory=48480 CPUtime=1.49 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 14673 0 0 0 146 3 0 0 20 0 3 0 188559352 117760000 12120 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 28750 12120 2926 3032 0 16191 0
[pid=988714/tid=988716] ppid=988711 vsize=115000 memory=0 CPUtime=1.41 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 11613 0 0 0 140 1 0 0 20 0 3 0 188559358 117760000 12120 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=115000 memory=0 CPUtime=0 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188559359 117760000 12120 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 115000 KiB
Current children cumulated memory: 48480 KiB
[startup+3.11266 s]
/proc/loadavg: 4.07 4.05 4.09 5/254 988717
/proc/meminfo: memFree=128281224/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=115000 memory=51332 CPUtime=3.09 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 15814 0 0 0 306 3 0 0 20 0 3 0 188559352 117760000 12833 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 28750 12833 2926 3032 0 16470 0
[pid=988714/tid=988716] ppid=988711 vsize=115000 memory=0 CPUtime=3.03 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 12751 0 0 0 301 2 0 0 20 0 3 0 188559358 117760000 12833 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=115000 memory=2273 CPUtime=0 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 188559359 117760000 12833 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 115000 KiB
Current children cumulated memory: 51332 KiB
[startup+6.30036 s]
/proc/loadavg: 4.15 4.07 4.10 5/254 988717
/proc/meminfo: memFree=128264412/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=115000 memory=57548 CPUtime=6.27 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 23354 0 0 0 623 4 0 0 20 0 3 0 188559352 117760000 14387 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 28750 14387 2926 3032 0 17926 0
[pid=988714/tid=988716] ppid=988711 vsize=115000 memory=52468 CPUtime=6.2 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 20269 0 0 0 617 3 0 0 20 0 3 0 188559358 117760000 14387 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=115000 memory=-6657275064853117803 CPUtime=0 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 188559359 117760000 14387 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 115000 KiB
Current children cumulated memory: 57548 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.07 4.09 5/254 988719
/proc/meminfo: memFree=128250156/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=115836 memory=60476 CPUtime=12.64 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 36481 0 0 0 1258 6 0 0 20 0 3 0 188559352 118616064 15119 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 28959 15119 2974 3032 0 18562 0
[pid=988714/tid=988716] ppid=988711 vsize=115836 memory=164 CPUtime=12.57 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 33359 0 0 0 1253 4 0 0 20 0 3 0 188559358 118616064 15119 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=115836 memory=58080 CPUtime=0 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 188559359 118616064 15119 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 115836 KiB
Current children cumulated memory: 60476 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.06 4.09 5/254 988720
/proc/meminfo: memFree=128188048/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=116860 memory=80952 CPUtime=25.39 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 59452 0 0 0 2529 10 0 0 20 0 3 0 188559352 119664640 20238 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 29215 20238 2974 3032 0 23632 0
[pid=988714/tid=988716] ppid=988711 vsize=116860 memory=80584 CPUtime=25.32 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 56277 0 0 0 2523 9 0 0 20 0 3 0 188559358 119664640 20238 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=116860 memory=11464 CPUtime=0 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 188559359 119664640 20238 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 116860 KiB
Current children cumulated memory: 80952 KiB
[startup+51.1128 s]
/proc/loadavg: 4.15 4.07 4.09 5/256 988730
/proc/meminfo: memFree=128056252/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=182396 memory=122564 CPUtime=50.9 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 100545 0 0 0 5068 22 0 0 20 0 3 0 188559352 186773504 30641 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 45599 30641 2974 3032 0 33921 0
[pid=988714/tid=988716] ppid=988711 vsize=182396 memory=118204 CPUtime=50.82 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 97287 0 0 0 5062 20 0 0 20 0 3 0 188559358 186773504 30641 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=182396 memory=86148 CPUtime=0 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 188559359 186773504 30641 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 182396 KiB
Current children cumulated memory: 122564 KiB
[startup+102.3 s]
/proc/loadavg: 4.19 4.09 4.10 5/256 988738
/proc/meminfo: memFree=127805592/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=252556 memory=193776 CPUtime=101.87 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 171777 0 0 0 10141 46 0 0 20 0 3 0 188559352 258617344 48444 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 63139 48444 2974 3032 0 51984 0
[pid=988714/tid=988716] ppid=988711 vsize=252556 memory=12776 CPUtime=101.79 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 168433 0 0 0 10135 44 0 0 20 0 3 0 188559358 258617344 48444 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=252556 memory=189516 CPUtime=0 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 188559359 258617344 48444 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 252556 KiB
Current children cumulated memory: 193776 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/256 988748
/proc/meminfo: memFree=127544344/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=322204 memory=267976 CPUtime=161.61 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 251276 0 0 0 16088 73 0 0 20 0 3 0 188559352 329936896 66994 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 80551 66994 2974 3032 0 70346 0
[pid=988714/tid=988716] ppid=988711 vsize=322204 memory=226300 CPUtime=161.52 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 247881 0 0 0 16081 71 0 0 20 0 3 0 188559358 329936896 66994 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=322204 memory=265364 CPUtime=0 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 188559359 329936896 66994 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 322204 KiB
################
# More data... #
################
/proc/988714/statm: 940460 914122 2974 3032 0 920546 0
[pid=988714/tid=988716] ppid=988711 vsize=3761840 memory=3523760 CPUtime=3446.02 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 3711215 0 0 0 343212 1390 0 0 20 0 3 0 188559358 3852124160 914122 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=3761840 memory=11464 CPUtime=0.05 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 130 0 0 0 1 4 0 0 20 0 3 0 188559359 3852124160 914122 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 3446.4 s
Current children cumulated vsize: 3761840 KiB
Current children cumulated memory: 3656488 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.13 4.11 5/245 991152
/proc/meminfo: memFree=122572184/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=3830460 memory=3716492 CPUtime=3506.1 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 3790865 0 0 0 349184 1426 0 0 20 0 3 0 188559352 3922391040 929123 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 957615 929123 2974 3032 0 936383 0
[pid=988714/tid=988716] ppid=988711 vsize=3830460 memory=11464 CPUtime=3505.71 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 3786513 0 0 0 349154 1417 0 0 20 0 3 0 188559358 3922391040 929123 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=3830460 memory=3709064 CPUtime=0.05 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 132 0 0 0 1 4 0 0 20 0 3 0 188559359 3922391040 929123 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 3506.1 s
Current children cumulated vsize: 3830460 KiB
Current children cumulated memory: 3716492 KiB
[startup+3582.3 s]
/proc/loadavg: 4.32 4.18 4.13 5/245 991163
/proc/meminfo: memFree=122439476/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=3835600 memory=3777864 CPUtime=3565.82 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 3857084 0 0 0 355134 1448 0 0 20 0 3 0 188559352 3927654400 944466 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 958900 944466 2974 3032 0 949869 0
[pid=988714/tid=988716] ppid=988711 vsize=3835600 memory=44240 CPUtime=3565.44 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 3852716 0 0 0 355105 1439 0 0 20 0 3 0 188559358 3927654400 944466 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=3835600 memory=3775836 CPUtime=0.05 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 134 0 0 0 1 4 0 0 20 0 3 0 188559359 3927654400 944466 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 3565.82 s
Current children cumulated vsize: 3835600 KiB
Current children cumulated memory: 3777864 KiB
[startup+3605.76 s]
# the end of solver process 988714 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3574.14 s, system=15.0337 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.32 4.18 4.13 5/245 991163
/proc/meminfo: memFree=122434716/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=3835600 memory=3778928 CPUtime=3567.53 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 3858196 0 0 0 355304 1449 0 0 20 0 3 0 188559352 3927654400 944732 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 958900 944732 2974 3032 0 950093 0
[pid=988714/tid=988716] ppid=988711 vsize=3835600 memory=28244 CPUtime=3567.14 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 3853823 0 0 0 355274 1440 0 0 20 0 3 0 188559358 3927654400 944732 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=3835600 memory=-9176481625726558908 CPUtime=0.05 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 134 0 0 0 1 4 0 0 20 0 3 0 188559359 3927654400 944732 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 3567.53 s
Current children cumulated vsize: 3835600 KiB
Current children cumulated memory: 3778928 KiB
[startup+3596.8 s]
/proc/loadavg: 4.25 4.17 4.13 5/245 991165
/proc/meminfo: memFree=122410096/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=3901136 memory=3790352 CPUtime=3580.24 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 3864934 0 0 0 356571 1453 0 0 20 0 3 0 188559352 3994763264 947588 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 975284 947588 2974 3032 0 952958 0
[pid=988714/tid=988716] ppid=988711 vsize=3901136 memory=3789156 CPUtime=3579.86 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 3860553 0 0 0 356542 1444 0 0 20 0 3 0 188559358 3994763264 947588 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=3901136 memory=3781300 CPUtime=0.05 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 134 0 0 0 1 4 0 0 20 0 3 0 188559359 3994763264 947588 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 3580.24 s
Current children cumulated vsize: 3901136 KiB
Current children cumulated memory: 3790352 KiB
[startup+3600 s]*
/proc/loadavg: 4.23 4.17 4.13 5/245 991167
/proc/meminfo: memFree=122393928/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=3901136 memory=3793800 CPUtime=3583.45 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 3877631 0 0 0 356890 1455 0 0 20 0 3 0 188559352 3994763264 948450 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 975284 948450 2974 3032 0 953806 0
[pid=988714/tid=988716] ppid=988711 vsize=3901136 memory=-9176481625726558908 CPUtime=3583.06 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 3874632 0 0 0 356860 1446 0 0 20 0 3 0 188559358 3994763264 948450 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=3901136 memory=1984 CPUtime=0.05 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 134 0 0 0 1 4 0 0 20 0 3 0 188559359 3994763264 948450 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 3583.45 s
Current children cumulated vsize: 3901136 KiB
Current children cumulated memory: 3793800 KiB
[startup+3603.2 s]
/proc/loadavg: 4.23 4.17 4.13 5/245 991167
/proc/meminfo: memFree=122493216/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=3800392 memory=3693068 CPUtime=3586.63 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 4357192 0 0 0 357177 1486 0 0 20 0 3 0 188559352 3891601408 923267 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 950098 923267 2974 3032 0 928620 0
[pid=988714/tid=988716] ppid=988711 vsize=3800392 memory=3791184 CPUtime=3586.23 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 4352819 0 0 0 357147 1476 0 0 20 0 3 0 188559358 3891601408 923267 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=3800392 memory=11464 CPUtime=0.05 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 134 0 0 0 1 4 0 0 20 0 3 0 188559359 3891601408 923267 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 3586.63 s
Current children cumulated vsize: 3800392 KiB
Current children cumulated memory: 3693068 KiB
[startup+3604.8 s]
/proc/loadavg: 4.23 4.17 4.13 5/245 991167
/proc/meminfo: memFree=122501528/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=3789084 memory=3681764 CPUtime=3588.22 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 4478306 0 0 0 357328 1494 0 0 20 0 3 0 188559352 3880022016 920441 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 947271 920441 2974 3032 0 925793 0
[pid=988714/tid=988716] ppid=988711 vsize=3789084 memory=3685872 CPUtime=3587.83 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 4473922 0 0 0 357298 1485 0 0 20 0 3 0 188559358 3880022016 920441 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=3789084 memory=11464 CPUtime=0.05 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 134 0 0 0 1 4 0 0 20 0 3 0 188559359 3880022016 920441 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 3588.22 s
Current children cumulated vsize: 3789084 KiB
Current children cumulated memory: 3681764 KiB
[startup+3605.2 s]
/proc/loadavg: 4.21 4.17 4.12 5/245 991167
/proc/meminfo: memFree=122505612/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=3788056 memory=3680740 CPUtime=3588.62 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 4481779 0 0 0 357368 1494 0 0 20 0 3 0 188559352 3878969344 920185 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 947014 920185 2974 3032 0 925536 0
[pid=988714/tid=988716] ppid=988711 vsize=3788056 memory=32700 CPUtime=3588.23 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 4477395 0 0 0 357338 1485 0 0 20 0 3 0 188559358 3878969344 920185 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=3788056 memory=8224 CPUtime=0.05 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 134 0 0 0 1 4 0 0 20 0 3 0 188559359 3878969344 920185 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 3588.62 s
Current children cumulated vsize: 3788056 KiB
Current children cumulated memory: 3680740 KiB
[startup+3605.6 s]
/proc/loadavg: 4.21 4.17 4.12 5/245 991167
/proc/meminfo: memFree=122505612/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=3772636 memory=3665320 CPUtime=3589.01 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 4484342 0 0 0 357407 1494 0 0 20 0 3 0 188559352 3863179264 916330 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 943159 916330 2974 3032 0 921681 0
[pid=988714/tid=988716] ppid=988711 vsize=3772636 memory=44240 CPUtime=3588.62 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 4479959 0 0 0 357377 1485 0 0 20 0 3 0 188559358 3863179264 916330 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=3772636 memory=12776 CPUtime=0.05 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 134 0 0 0 1 4 0 0 20 0 3 0 188559359 3863179264 916330 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 3589.01 s
Current children cumulated vsize: 3772636 KiB
Current children cumulated memory: 3665320 KiB
[startup+3605.7 s]
/proc/loadavg: 4.21 4.17 4.12 5/245 991167
/proc/meminfo: memFree=122505612/131655788 swapFree=131071996/131071996
[pid=988714] ppid=988711 vsize=2539832 memory=2461312 CPUtime=3589.11 cores=0,2
/proc/988714/stat : 988714 (fscip) S 988711 988714 988413 0 -1 1077936128 4485311 0 0 0 357413 1498 0 0 20 0 3 0 188559352 2600787968 615328 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
/proc/988714/statm: 634958 615328 2974 3032 0 627507 0
[pid=988714/tid=988716] ppid=988711 vsize=2539832 memory=3576084 CPUtime=3588.73 cores=0,2
/proc/988714/task/988716/stat : 988716 (fscip) R 988711 988714 988413 0 -1 4194368 4480927 0 0 0 357384 1489 0 0 20 0 3 0 188559358 2600787968 615328 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
[pid=988714/tid=988717] ppid=988711 vsize=2539832 memory=3785468 CPUtime=0.05 cores=0,2
/proc/988714/task/988717/stat : 988717 (fscip) S 988711 988714 988413 0 -1 1077936192 134 0 0 0 1 4 0 0 20 0 3 0 188559359 2600787968 615328 134679101440 4194304 16613245 140736529696192 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 38731776 140736529703956 140736529704072 140736529704072 140736529711088 0
Current children cumulated CPU time: 3589.11 s
Current children cumulated vsize: 2539832 KiB
Current children cumulated memory: 2461312 KiB
Child status: 0
Real time (s): 3605.76
CPU time (s): 3589.18
CPU user time (s): 3574.14
CPU system time (s): 15.0337
CPU usage (%): 99.5402
Max. virtual memory (cumulated for all children) (KiB): 3901136
Max. memory (cumulated for all children) (KiB): 3793800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.14
system time used= 15.0337
maximum resident set size= 3793800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4485963
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= 11092
involuntary context switches= 25016
# summary of solver processes directly reported to runsolver:
# pid: 988714
# total CPU time (s): 3589.18
# total CPU user time (s): 3574.14
# total CPU system time (s): 15.0337
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7834 second user time and 34.8195 second system time
The end
Begin job on nodeC009 at 2024-07-19 06:40:09
IDJOB=4448270
IDBENCH=160380
IDSOLVER=3064
FILE ID=nodeC009/4448270-1721363998
RUNJOBID= nodeC009-1721363855-988423
SLURM_JOB_ID= 7542791
Free space on /tmp= 723688 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x40split.cnf-plain.pb.metafix.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448270-1721363998/watcher-4448270-1721363998 -o /tmp/evaluation-result-4448270-1721363998/solver-4448270-1721363998 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988423 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448270-1721363998.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cf360b30707fd718d5f3229c2f68be40
RANDOM SEED=1827639982
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3502.546
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 : 3655.943
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.321
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.461
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 : 3659.721
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 : 3655.993
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.494
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.545
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: 128325744 kB
MemAvailable: 129311576 kB
Buffers: 546984 kB
Cached: 1275508 kB
SwapCached: 0 kB
Active: 1076324 kB
Inactive: 1704692 kB
Active(anon): 1492 kB
Inactive(anon): 994724 kB
Active(file): 1074832 kB
Inactive(file): 709968 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28304 kB
Writeback: 8 kB
AnonPages: 958644 kB
Mapped: 142612 kB
Shmem: 37700 kB
KReclaimable: 82124 kB
Slab: 182064 kB
SReclaimable: 82124 kB
SUnreclaim: 99940 kB
KernelStack: 4064 kB
PageTables: 11004 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 793016 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59360 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723644 MiB
End job on nodeC009 at 2024-07-19 07:40:15