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 = 27668480, getVmSize() = 27668480, SCIPgetMemUsed() = 4070700, SCIPgetMemTotal() = 6110804, SCIPgetMemExternEstim() = 1712513
0.00/0.00 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.02 c ** Estimated virtualMemUsedAtSolver = 23244800, getVmSize() = 42065920, SCIPgetMemUsed() = 12531043, SCIPgetMemTotal() = 19260467, SCIPgetMemExternEstim() = 1712513
0.00/0.02 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02 c Original Problem :
0.00/0.02 c Problem name : instance-4464584-1722386562
0.00/0.02 c Variables : 1301 (1301 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 651
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 1300 (1300 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 650
0.00/0.02 c Constraints : Number
0.00/0.02 c linear : 650
0.00/0.02 c ** Instance transfer method used: 0
0.00/0.02 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.23 c 5 2534 2464 1 - 0.0000 -
10.25/10.30 c 10 6980 6742 1 - 0.0000 -
15.22/15.35 c 15 11377 10796 1 - 0.0000 -
20.31/20.40 c 20 15822 14859 1 - 0.0000 -
25.28/25.45 c 25 19983 18642 1 - 0.0000 -
30.36/30.50 c 31 23997 22405 1 - 0.0000 -
35.35/35.54 c 36 27594 25908 1 - 0.0000 -
40.42/40.60 c 41 32902 30578 1 - 0.0000 -
45.41/45.65 c 46 38434 35567 1 - 0.0000 -
50.39/50.69 c 51 44089 40593 1 - 0.0000 -
55.47/55.74 c 56 49073 45121 1 - 0.0000 -
60.55/60.84 c 61 54131 49879 1 - 0.0000 -
65.53/65.89 c 66 59813 55149 1 - 0.0000 -
70.61/70.95 c 71 65462 60433 1 - 0.0000 -
75.59/75.99 c 76 71406 65954 1 - 0.0000 -
80.67/81.05 c 81 76617 70852 1 - 0.0000 -
85.75/86.12 c 86 80863 74789 1 - 0.0000 -
90.73/91.16 c 91 86724 80159 1 - 0.0000 -
95.81/96.21 c 96 91903 84839 1 - 0.0000 -
100.79/101.26 c 101 97453 90139 1 - 0.0000 -
105.87/106.33 c 106 102381 94638 1 - 0.0000 -
110.84/111.37 c 111 107279 99249 1 - 0.0000 -
115.93/116.42 c 116 112501 104084 1 - 0.0000 -
120.90/121.48 c 121 117657 109012 1 - 0.0000 -
125.99/126.54 c 127 123223 114282 1 - 0.0000 -
130.97/131.57 c 132 129094 119746 1 - 0.0000 -
136.05/136.63 c 137 134152 124320 1 - 0.0000 -
141.03/141.67 c 142 139995 129840 1 - 0.0000 -
146.11/146.73 c 147 145141 134522 1 - 0.0000 -
151.09/151.78 c 152 150300 139481 1 - 0.0000 -
156.16/156.83 c 157 155881 144722 1 - 0.0000 -
161.15/161.88 c 162 161634 150084 1 - 0.0000 -
166.23/166.97 c 167 167374 155496 1 - 0.0000 -
171.31/172.02 c 172 172716 160468 1 - 0.0000 -
176.29/177.07 c 177 178323 165771 1 - 0.0000 -
181.37/182.12 c 182 183973 171045 1 - 0.0000 -
186.35/187.17 c 187 189253 176090 1 - 0.0000 -
191.43/192.22 c 192 194333 180976 1 - 0.0000 -
196.40/197.29 c 197 199548 186002 1 - 0.0000 -
201.49/202.33 c 202 204995 191250 1 - 0.0000 -
206.47/207.38 c 207 210673 196511 1 - 0.0000 -
211.55/212.43 c 212 216019 201653 1 - 0.0000 -
216.53/217.48 c 217 221171 206580 1 - 0.0000 -
221.60/222.53 c 223 226869 211986 1 - 0.0000 -
226.58/227.58 c 228 232462 217435 1 - 0.0000 -
231.67/232.63 c 233 238051 222851 1 - 0.0000 -
236.64/237.69 c 238 243437 228121 1 - 0.0000 -
241.73/242.74 c 243 248687 233121 1 - 0.0000 -
246.71/247.79 c 248 253943 238107 1 - 0.0000 -
251.78/252.85 c 253 259525 242981 1 - 0.0000 -
256.86/257.91 c 258 264941 247834 1 - 0.0000 -
261.85/262.96 c 263 270673 252835 1 - 0.0000 -
266.94/268.01 c 268 276178 258041 1 - 0.0000 -
271.91/273.06 c 273 281718 263125 1 - 0.0000 -
276.99/278.13 c 278 286623 267756 1 - 0.0000 -
281.97/283.18 c 283 292058 272615 1 - 0.0000 -
287.05/288.24 c 288 297335 277434 1 - 0.0000 -
292.03/293.28 c 293 302278 281897 1 - 0.0000 -
297.10/298.33 c 298 308014 287289 1 - 0.0000 -
302.09/303.38 c 303 313158 292001 1 - 0.0000 -
307.16/308.43 c 308 318446 296955 1 - 0.0000 -
312.15/313.49 c 313 323265 301483 1 - 0.0000 -
317.23/318.53 c 319 328201 305910 1 - 0.0000 -
322.21/323.59 c 324 333076 310620 1 - 0.0000 -
327.38/328.70 c 329 338190 315426 1 - 0.0000 -
332.36/333.74 c 334 343538 320315 1 - 0.0000 -
337.44/338.82 c 339 349240 325411 1 - 0.0000 -
342.42/343.86 c 344 354725 330430 1 - 0.0000 -
347.50/348.91 c 349 359586 335048 1 - 0.0000 -
352.49/353.97 c 354 364695 339862 1 - 0.0000 -
357.57/359.05 c 359 370172 344633 1 - 0.0000 -
362.64/364.10 c 364 376066 349979 1 - 0.0000 -
367.63/369.15 c 369 381157 354393 1 - 0.0000 -
372.71/374.20 c 374 386189 359130 1 - 0.0000 -
377.69/379.27 c 379 391427 363776 1 - 0.0000 -
382.76/384.32 c 384 396578 368479 1 - 0.0000 -
387.75/389.37 c 389 402366 373470 1 - 0.0000 -
392.82/394.43 c 394 407619 378336 1 - 0.0000 -
397.81/399.47 c 399 413114 383126 1 - 0.0000 -
402.88/404.52 c 405 418573 387926 1 - 0.0000 -
407.86/409.57 c 410 423421 392374 1 - 0.0000 -
412.94/414.64 c 415 428626 397150 1 - 0.0000 -
417.92/419.69 c 420 433502 401718 1 - 0.0000 -
423.01/424.74 c 425 438417 406333 1 - 0.0000 -
427.98/429.79 c 430 443516 410968 1 - 0.0000 -
433.07/434.84 c 435 448654 415728 1 - 0.0000 -
438.14/439.92 c 440 454023 420647 1 - 0.0000 -
443.12/444.96 c 445 459203 425461 1 - 0.0000 -
448.21/450.01 c 450 464434 430376 1 - 0.0000 -
453.19/455.07 c 455 469379 435014 1 - 0.0000 -
458.27/460.12 c 460 474308 439505 1 - 0.0000 -
463.25/465.18 c 465 479423 444110 1 - 0.0000 -
468.33/470.24 c 470 484460 448749 1 - 0.0000 -
473.40/475.32 c 475 489328 453195 1 - 0.0000 -
478.38/480.37 c 480 494314 457903 1 - 0.0000 -
483.47/485.44 c 485 499133 462499 1 - 0.0000 -
488.54/490.50 c 491 503570 466583 1 - 0.0000 -
493.52/495.56 c 496 508484 471148 1 - 0.0000 -
498.60/500.60 c 501 513215 475657 1 - 0.0000 -
503.59/505.68 c 506 517847 479954 1 - 0.0000 -
508.66/510.74 c 511 522767 484557 1 - 0.0000 -
513.64/515.79 c 516 527455 488814 1 - 0.0000 -
518.72/520.85 c 521 532213 493028 1 - 0.0000 -
523.80/525.92 c 526 537442 497774 1 - 0.0000 -
528.89/531.01 c 531 541613 501564 1 - 0.0000 -
533.87/536.05 c 536 546215 505896 1 - 0.0000 -
538.95/541.12 c 541 550978 510349 1 - 0.0000 -
543.93/546.16 c 546 555538 514627 1 - 0.0000 -
549.00/551.21 c 551 560085 518819 1 - 0.0000 -
553.99/556.26 c 556 564694 523037 1 - 0.0000 -
559.06/561.34 c 561 568980 526983 1 - 0.0000 -
564.15/566.40 c 566 573624 531391 1 - 0.0000 -
569.12/571.47 c 571 578188 535651 1 - 0.0000 -
574.20/576.54 c 577 582833 540038 1 - 0.0000 -
579.18/581.59 c 582 587623 544631 1 - 0.0000 -
584.26/586.67 c 587 592679 549259 1 - 0.0000 -
589.35/591.72 c 592 597431 553631 1 - 0.0000 -
594.32/596.78 c 597 601940 557955 1 - 0.0000 -
599.41/601.84 c 602 606746 562294 1 - 0.0000 -
604.38/606.89 c 607 610977 566185 1 - 0.0000 -
609.46/611.94 c 612 615719 570507 1 - 0.0000 -
614.44/616.99 c 617 620464 574745 1 - 0.0000 -
619.53/622.04 c 622 625005 578911 1 - 0.0000 -
624.61/627.11 c 627 629592 583056 1 - 0.0000 -
629.59/632.17 c 632 634037 587239 1 - 0.0000 -
634.67/637.23 c 637 638465 591393 1 - 0.0000 -
639.65/642.27 c 642 642461 595094 1 - 0.0000 -
644.73/647.37 c 647 646612 598973 1 - 0.0000 -
649.91/652.57 c 653 650983 603105 1 - 0.0000 -
654.99/657.69 c 658 655595 607595 1 - 0.0000 -
660.06/662.76 c 663 660225 611972 1 - 0.0000 -
665.14/667.82 c 668 664885 616355 1 - 0.0000 -
670.12/672.87 c 673 669597 620670 1 - 0.0000 -
675.21/677.97 c 678 674051 624929 1 - 0.0000 -
680.29/683.08 c 683 678345 628891 1 - 0.0000 -
685.37/688.14 c 688 682452 632771 1 - 0.0000 -
690.44/693.21 c 693 686640 636669 1 - 0.0000 -
695.43/698.26 c 698 691232 640982 1 - 0.0000 -
700.51/703.33 c 703 695763 645313 1 - 0.0000 -
705.49/708.38 c 708 700351 649497 1 - 0.0000 -
710.57/713.43 c 713 704579 653316 1 - 0.0000 -
715.55/718.49 c 718 708963 657363 1 - 0.0000 -
720.63/723.55 c 724 713694 661758 1 - 0.0000 -
725.71/728.63 c 729 717965 665892 1 - 0.0000 -
730.69/733.69 c 734 722114 669776 1 - 0.0000 -
735.77/738.76 c 739 726270 673530 1 - 0.0000 -
740.84/743.82 c 744 730519 677314 1 - 0.0000 -
745.93/748.95 c 749 734753 681108 1 - 0.0000 -
751.01/754.03 c 754 739126 685176 1 - 0.0000 -
756.09/759.17 c 759 743696 689367 1 - 0.0000 -
761.16/764.25 c 764 748022 693360 1 - 0.0000 -
766.24/769.33 c 769 752493 697499 1 - 0.0000 -
771.22/774.39 c 774 756803 701369 1 - 0.0000 -
776.40/779.52 c 780 761165 705426 1 - 0.0000 -
781.38/784.59 c 785 765592 709535 1 - 0.0000 -
786.46/789.65 c 790 769992 713708 1 - 0.0000 -
791.54/794.70 c 795 774214 717874 1 - 0.0000 -
796.52/799.77 c 800 778539 721966 1 - 0.0000 -
801.60/804.81 c 805 782509 725677 1 - 0.0000 -
806.58/809.86 c 810 786786 729655 1 - 0.0000 -
811.66/814.91 c 815 790732 733521 1 - 0.0000 -
816.75/820.03 c 820 794732 737346 1 - 0.0000 -
821.83/825.14 c 825 798860 741168 1 - 0.0000 -
826.91/830.20 c 830 802506 744463 1 - 0.0000 -
831.88/835.25 c 835 806527 748166 1 - 0.0000 -
836.96/840.30 c 840 810054 751358 1 - 0.0000 -
841.94/845.35 c 845 814031 755095 1 - 0.0000 -
847.02/850.40 c 850 817831 758565 1 - 0.0000 -
852.00/855.45 c 855 821750 762057 1 - 0.0000 -
857.18/860.60 c 861 825837 765829 1 - 0.0000 -
862.16/865.68 c 866 829908 769628 1 - 0.0000 -
867.24/870.77 c 871 833683 773016 1 - 0.0000 -
872.33/875.86 c 876 837393 776405 1 - 0.0000 -
877.51/881.03 c 881 841409 780081 1 - 0.0000 -
882.59/886.10 c 886 845649 784161 1 - 0.0000 -
887.57/891.15 c 891 849501 787816 1 - 0.0000 -
892.64/896.27 c 896 853482 791510 1 - 0.0000 -
897.72/901.36 c 901 857282 795009 1 - 0.0000 -
902.81/906.42 c 906 861549 799013 1 - 0.0000 -
907.89/911.57 c 912 865427 802626 1 - 0.0000 -
912.97/916.61 c 917 869207 806099 1 - 0.0000 -
918.05/921.71 c 922 872759 809384 1 - 0.0000 -
923.03/926.75 c 927 876845 813018 1 - 0.0000 -
928.20/931.94 c 932 880782 816733 1 - 0.0000 -
933.29/937.04 c 937 884693 820302 1 - 0.0000 -
938.27/942.09 c 942 888362 823581 1 - 0.0000 -
943.35/947.15 c 947 892045 827070 1 - 0.0000 -
948.42/952.25 c 952 896269 831069 1 - 0.0000 -
953.50/957.30 c 957 900240 834513 1 - 0.0000 -
958.48/962.37 c 962 904265 838230 1 - 0.0000 -
963.57/967.44 c 967 908032 841823 1 - 0.0000 -
968.65/972.50 c 973 911634 845101 1 - 0.0000 -
973.62/977.55 c 978 915579 848946 1 - 0.0000 -
978.71/982.67 c 983 919212 852305 1 - 0.0000 -
983.79/987.76 c 988 923164 855996 1 - 0.0000 -
988.87/992.80 c 993 926723 859306 1 - 0.0000 -
993.95/997.95 c 998 930317 862618 1 - 0.0000 -
999.13/1003.10 c 1003 933839 865903 1 - 0.0000 -
1004.12/1008.15 c 1008 937249 868724 1 - 0.0000 -
1009.19/1013.20 c 1013 940928 872047 1 - 0.0000 -
1014.18/1018.25 c 1018 944621 875616 1 - 0.0000 -
1019.25/1023.31 c 1023 948454 879301 1 - 0.0000 -
1024.23/1028.37 c 1028 952135 882847 1 - 0.0000 -
1029.31/1033.46 c 1033 955536 885863 1 - 0.0000 -
1034.39/1038.55 c 1039 959413 889479 1 - 0.0000 -
1039.48/1043.63 c 1044 963202 892915 1 - 0.0000 -
1044.56/1048.72 c 1049 966511 895949 1 - 0.0000 -
1049.53/1053.78 c 1054 969808 898996 1 - 0.0000 -
1054.61/1058.89 c 1059 972873 901811 1 - 0.0000 -
1059.70/1063.94 c 1064 976836 905629 1 - 0.0000 -
1064.68/1068.99 c 1069 980318 908802 1 - 0.0000 -
1069.86/1074.11 c 1074 983694 911987 1 - 0.0000 -
1074.84/1079.19 c 1079 987022 915065 1 - 0.0000 -
1079.92/1084.24 c 1084 990825 918559 1 - 0.0000 -
1085.10/1089.40 c 1089 994542 921965 1 - 0.0000 -
1090.18/1094.51 c 1095 998070 925291 1 - 0.0000 -
1095.16/1099.56 c 1100 1001732 928861 1 - 0.0000 -
1100.24/1104.66 c 1105 1005466 932386 1 - 0.0000 -
1105.31/1109.76 c 1110 1008903 935441 1 - 0.0000 -
1110.39/1114.88 c 1115 1012791 939173 1 - 0.0000 -
1115.48/1119.97 c 1120 1016234 942465 1 - 0.0000 -
1120.56/1125.05 c 1125 1019509 945556 1 - 0.0000 -
1125.64/1130.11 c 1130 1023459 949323 1 - 0.0000 -
1130.62/1135.15 c 1135 1026864 952276 1 - 0.0000 -
1135.70/1140.21 c 1140 1030330 955459 1 - 0.0000 -
1140.68/1145.29 c 1145 1033717 958701 1 - 0.0000 -
1145.76/1150.39 c 1150 1037579 962358 1 - 0.0000 -
1150.84/1155.46 c 1155 1041337 965895 1 - 0.0000 -
1155.92/1160.56 c 1161 1045423 969684 1 - 0.0000 -
1161.00/1165.68 c 1166 1048934 972882 1 - 0.0000 -
1166.08/1170.74 c 1171 1052326 976011 1 - 0.0000 -
1171.16/1175.80 c 1176 1055654 979098 1 - 0.0000 -
1176.24/1180.97 c 1181 1058750 981850 1 - 0.0000 -
1181.32/1186.02 c 1186 1062521 985442 1 - 0.0000 -
1186.50/1191.20 c 1191 1066101 988831 1 - 0.0000 -
1191.58/1196.30 c 1196 1069248 991594 1 - 0.0000 -
1196.56/1201.38 c 1201 1072485 994605 1 - 0.0000 -
1201.64/1206.43 c 1206 1075992 997800 1 - 0.0000 -
1206.73/1211.51 c 1212 1079309 1000875 1 - 0.0000 -
1211.70/1216.56 c 1217 1082455 1003674 1 - 0.0000 -
1216.79/1221.63 c 1222 1086093 1007164 1 - 0.0000 -
1221.87/1226.70 c 1227 1089510 1010196 1 - 0.0000 -
1226.84/1231.75 c 1232 1092748 1013202 1 - 0.0000 -
1232.03/1236.95 c 1237 1096596 1016772 1 - 0.0000 -
1237.12/1242.00 c 1242 1100376 1020209 1 - 0.0000 -
1242.19/1247.12 c 1247 1103760 1023388 1 - 0.0000 -
1247.17/1252.18 c 1252 1106903 1026356 1 - 0.0000 -
1252.44/1257.40 c 1257 1110466 1029670 1 - 0.0000 -
1257.42/1262.47 c 1262 1114125 1033105 1 - 0.0000 -
1262.51/1267.57 c 1268 1117155 1035971 1 - 0.0000 -
1267.67/1272.75 c 1273 1120655 1039339 1 - 0.0000 -
1272.86/1277.93 c 1278 1123925 1042263 1 - 0.0000 -
1277.94/1283.01 c 1283 1127492 1045707 1 - 0.0000 -
1283.03/1288.17 c 1288 1131009 1049023 1 - 0.0000 -
1288.20/1293.30 c 1293 1134712 1052521 1 - 0.0000 -
1293.27/1298.47 c 1298 1137796 1055353 1 - 0.0000 -
1298.35/1303.54 c 1304 1140946 1058334 1 - 0.0000 -
1303.33/1308.59 c 1309 1144358 1061609 1 - 0.0000 -
1308.41/1313.63 c 1314 1147740 1064736 1 - 0.0000 -
1313.50/1318.76 c 1319 1151290 1068130 1 - 0.0000 -
1318.57/1323.81 c 1324 1154491 1071083 1 - 0.0000 -
1323.56/1328.88 c 1329 1158129 1074474 1 - 0.0000 -
1328.73/1334.02 c 1334 1161179 1077221 1 - 0.0000 -
1333.91/1339.24 c 1339 1164403 1080255 1 - 0.0000 -
1338.88/1344.28 c 1344 1167798 1083509 1 - 0.0000 -
1344.07/1349.45 c 1349 1171366 1086855 1 - 0.0000 -
1349.14/1354.57 c 1355 1174533 1089756 1 - 0.0000 -
1354.32/1359.72 c 1360 1178034 1093036 1 - 0.0000 -
1359.31/1364.77 c 1365 1181610 1096409 1 - 0.0000 -
1364.38/1369.83 c 1370 1184983 1099364 1 - 0.0000 -
1369.36/1374.89 c 1375 1188163 1102321 1 - 0.0000 -
1374.44/1379.96 c 1380 1191522 1105436 1 - 0.0000 -
1379.72/1385.22 c 1385 1194952 1108640 1 - 0.0000 -
1384.80/1390.32 c 1390 1198481 1111871 1 - 0.0000 -
1389.77/1395.37 c 1395 1201851 1114991 1 - 0.0000 -
1394.86/1400.42 c 1400 1205462 1118354 1 - 0.0000 -
1399.84/1405.49 c 1405 1209275 1122003 1 - 0.0000 -
1405.02/1410.60 c 1411 1212642 1125145 1 - 0.0000 -
1409.99/1415.65 c 1416 1216294 1128584 1 - 0.0000 -
1415.07/1420.74 c 1421 1219568 1131808 1 - 0.0000 -
1420.05/1425.79 c 1426 1223016 1135112 1 - 0.0000 -
1425.12/1430.85 c 1431 1226212 1138036 1 - 0.0000 -
1430.20/1435.91 c 1436 1229546 1141128 1 - 0.0000 -
1435.28/1441.02 c 1441 1232616 1143858 1 - 0.0000 -
1440.46/1446.21 c 1446 1236238 1147246 1 - 0.0000 -
1445.44/1451.27 c 1451 1239694 1150367 1 - 0.0000 -
1450.52/1456.34 c 1456 1242924 1153268 1 - 0.0000 -
1455.70/1461.51 c 1462 1246236 1156301 1 - 0.0000 -
1460.67/1466.58 c 1467 1249451 1159308 1 - 0.0000 -
1465.86/1471.71 c 1472 1252870 1162245 1 - 0.0000 -
1470.84/1476.78 c 1477 1256314 1165337 1 - 0.0000 -
1476.02/1481.92 c 1482 1259432 1168163 1 - 0.0000 -
1480.99/1486.99 c 1487 1262457 1171031 1 - 0.0000 -
1486.08/1492.05 c 1492 1265683 1173986 1 - 0.0000 -
1491.16/1497.13 c 1497 1269309 1177283 1 - 0.0000 -
1496.23/1502.24 c 1502 1272722 1180435 1 - 0.0000 -
1501.32/1507.30 c 1507 1276199 1183597 1 - 0.0000 -
1506.50/1512.53 c 1513 1279635 1186789 1 - 0.0000 -
1511.57/1517.61 c 1518 1282983 1189804 1 - 0.0000 -
1516.65/1522.75 c 1523 1286302 1192882 1 - 0.0000 -
1521.93/1528.01 c 1528 1289984 1196239 1 - 0.0000 -
1527.01/1533.12 c 1533 1293106 1199059 1 - 0.0000 -
1532.09/1538.21 c 1538 1296483 1202089 1 - 0.0000 -
1537.17/1543.33 c 1543 1300257 1205633 1 - 0.0000 -
1542.25/1548.41 c 1548 1303725 1208823 1 - 0.0000 -
1547.23/1553.46 c 1553 1306698 1211650 1 - 0.0000 -
1552.30/1558.55 c 1559 1309860 1214632 1 - 0.0000 -
1557.39/1563.61 c 1564 1313266 1217639 1 - 0.0000 -
1562.56/1568.80 c 1569 1316507 1220548 1 - 0.0000 -
1567.54/1573.87 c 1574 1319835 1223698 1 - 0.0000 -
1572.62/1578.91 c 1579 1323316 1227019 1 - 0.0000 -
1577.60/1583.97 c 1584 1326391 1229794 1 - 0.0000 -
1582.78/1589.16 c 1589 1329896 1233044 1 - 0.0000 -
1587.87/1594.26 c 1594 1333119 1235968 1 - 0.0000 -
1592.94/1599.35 c 1599 1336494 1239078 1 - 0.0000 -
1598.02/1604.40 c 1604 1339671 1241879 1 - 0.0000 -
1603.20/1609.64 c 1610 1342793 1244546 1 - 0.0000 -
1608.28/1614.76 c 1615 1345779 1247063 1 - 0.0000 -
1613.56/1620.02 c 1620 1349117 1250114 1 - 0.0000 -
1618.54/1625.09 c 1625 1352042 1252763 1 - 0.0000 -
1623.62/1630.19 c 1630 1355121 1255576 1 - 0.0000 -
1628.79/1635.39 c 1635 1358612 1258711 1 - 0.0000 -
1633.97/1640.57 c 1641 1361874 1261716 1 - 0.0000 -
1639.05/1645.63 c 1646 1365470 1265169 1 - 0.0000 -
1644.24/1650.85 c 1651 1368673 1267948 1 - 0.0000 -
1649.41/1656.06 c 1656 1372096 1271137 1 - 0.0000 -
1654.59/1661.25 c 1661 1375394 1274203 1 - 0.0000 -
1659.67/1666.30 c 1666 1378776 1277345 1 - 0.0000 -
1664.65/1671.35 c 1671 1382333 1280662 1 - 0.0000 -
1669.73/1676.48 c 1676 1385690 1283826 1 - 0.0000 -
1674.81/1681.55 c 1682 1389332 1286971 1 - 0.0000 -
1679.89/1686.62 c 1687 1392416 1289933 1 - 0.0000 -
1684.87/1691.66 c 1692 1395740 1293086 1 - 0.0000 -
1689.95/1696.73 c 1697 1399084 1296197 1 - 0.0000 -
1695.03/1701.87 c 1702 1402397 1299216 1 - 0.0000 -
1700.11/1706.95 c 1707 1405559 1302218 1 - 0.0000 -
1705.20/1712.01 c 1712 1408809 1305030 1 - 0.0000 -
1710.17/1717.09 c 1717 1412238 1308222 1 - 0.0000 -
1715.35/1722.22 c 1722 1415789 1311524 1 - 0.0000 -
1720.33/1727.27 c 1727 1419075 1314600 1 - 0.0000 -
1725.41/1732.32 c 1732 1422338 1317504 1 - 0.0000 -
1730.49/1737.40 c 1737 1425700 1320575 1 - 0.0000 -
1735.57/1742.53 c 1743 1429093 1323701 1 - 0.0000 -
1740.74/1747.70 c 1748 1432199 1326449 1 - 0.0000 -
1745.73/1752.75 c 1753 1435501 1329407 1 - 0.0000 -
1750.81/1757.86 c 1758 1438890 1332549 1 - 0.0000 -
1756.18/1763.23 c 1763 1442222 1335532 1 - 0.0000 -
1761.15/1768.27 c 1768 1445431 1338527 1 - 0.0000 -
1766.23/1773.39 c 1773 1448696 1341593 1 - 0.0000 -
1771.51/1778.65 c 1779 1452563 1345176 1 - 0.0000 -
1776.59/1783.71 c 1784 1456169 1348672 1 - 0.0000 -
1781.67/1788.86 c 1789 1459809 1352148 1 - 0.0000 -
1786.86/1794.02 c 1794 1463016 1355088 1 - 0.0000 -
1792.02/1799.20 c 1799 1466798 1358589 1 - 0.0000 -
1797.00/1804.25 c 1804 1469821 1361261 1 - 0.0000 -
1802.08/1809.33 c 1809 1473034 1364126 1 - 0.0000 -
1807.27/1814.57 c 1815 1475914 1366628 1 - 0.0000 -
1812.45/1819.73 c 1820 1479176 1369684 1 - 0.0000 -
1817.62/1824.92 c 1825 1482658 1372953 1 - 0.0000 -
1822.91/1830.24 c 1830 1486208 1376224 1 - 0.0000 -
1827.98/1835.37 c 1835 1490246 1380190 1 - 0.0000 -
1833.06/1840.47 c 1840 1493584 1383114 1 - 0.0000 -
1838.14/1845.52 c 1846 1496719 1385997 1 - 0.0000 -
1843.22/1850.68 c 1851 1499932 1388962 1 - 0.0000 -
1848.30/1855.73 c 1856 1503167 1391970 1 - 0.0000 -
1853.38/1860.89 c 1861 1506410 1395007 1 - 0.0000 -
1858.46/1865.94 c 1866 1509298 1397512 1 - 0.0000 -
1863.64/1871.17 c 1871 1512415 1400327 1 - 0.0000 -
1868.72/1876.28 c 1876 1515287 1402829 1 - 0.0000 -
1873.80/1881.35 c 1881 1518675 1405979 1 - 0.0000 -
1878.78/1886.39 c 1886 1521606 1408725 1 - 0.0000 -
1883.86/1891.45 c 1891 1524902 1411856 1 - 0.0000 -
1889.14/1896.75 c 1897 1528365 1414963 1 - 0.0000 -
1894.22/1901.82 c 1902 1531568 1417733 1 - 0.0000 -
1899.19/1906.89 c 1907 1534611 1420554 1 - 0.0000 -
1904.47/1912.18 c 1912 1537609 1423328 1 - 0.0000 -
1909.56/1917.23 c 1917 1540977 1426298 1 - 0.0000 -
1914.54/1922.30 c 1922 1544133 1429115 1 - 0.0000 -
1919.71/1927.43 c 1927 1547352 1432029 1 - 0.0000 -
1924.89/1932.67 c 1933 1550755 1435122 1 - 0.0000 -
1929.96/1937.79 c 1938 1554112 1438372 1 - 0.0000 -
1935.04/1942.84 c 1943 1557109 1441150 1 - 0.0000 -
1940.12/1947.99 c 1948 1560201 1444031 1 - 0.0000 -
1945.31/1953.14 c 1953 1562986 1446457 1 - 0.0000 -
1950.28/1958.19 c 1958 1566115 1449409 1 - 0.0000 -
1955.35/1963.27 c 1963 1569512 1452470 1 - 0.0000 -
1960.44/1968.37 c 1968 1572633 1455355 1 - 0.0000 -
1965.52/1973.43 c 1973 1576035 1458524 1 - 0.0000 -
1970.50/1978.48 c 1978 1578845 1461066 1 - 0.0000 -
1975.57/1983.58 c 1984 1582053 1464071 1 - 0.0000 -
1980.75/1988.70 c 1989 1585818 1467587 1 - 0.0000 -
1986.14/1994.17 c 1994 1589526 1471086 1 - 0.0000 -
1991.21/1999.23 c 1999 1592755 1474140 1 - 0.0000 -
1996.40/2004.44 c 2004 1595782 1476818 1 - 0.0000 -
2001.48/2009.50 c 2010 1599437 1479748 1 - 0.0000 -
2006.85/2014.92 c 2015 1602066 1482179 1 - 0.0000 -
2011.84/2019.97 c 2020 1605479 1485128 1 - 0.0000 -
2016.92/2025.09 c 2025 1608467 1487799 1 - 0.0000 -
2022.10/2030.26 c 2030 1611460 1490590 1 - 0.0000 -
2027.18/2035.31 c 2035 1614498 1493444 1 - 0.0000 -
2032.26/2040.40 c 2040 1617502 1496269 1 - 0.0000 -
2037.34/2045.54 c 2046 1620686 1499299 1 - 0.0000 -
2042.42/2050.68 c 2051 1624013 1502367 1 - 0.0000 -
2047.50/2055.78 c 2056 1626866 1504947 1 - 0.0000 -
2052.68/2060.98 c 2061 1629616 1507460 1 - 0.0000 -
2057.87/2066.11 c 2066 1632543 1510122 1 - 0.0000 -
2062.85/2071.16 c 2071 1635473 1512762 1 - 0.0000 -
2067.93/2076.23 c 2076 1638740 1515696 1 - 0.0000 -
2072.90/2081.28 c 2081 1641626 1518438 1 - 0.0000 -
2077.98/2086.36 c 2086 1645171 1521704 1 - 0.0000 -
2083.16/2091.50 c 2092 1648202 1524452 1 - 0.0000 -
2088.14/2096.57 c 2097 1651081 1527037 1 - 0.0000 -
2093.33/2101.70 c 2102 1654176 1529821 1 - 0.0000 -
2098.30/2106.77 c 2107 1657078 1532530 1 - 0.0000 -
2103.39/2111.84 c 2112 1660161 1535298 1 - 0.0000 -
2108.47/2116.95 c 2117 1662790 1537778 1 - 0.0000 -
2113.55/2122.07 c 2122 1665647 1540318 1 - 0.0000 -
2118.64/2127.17 c 2127 1668402 1542785 1 - 0.0000 -
2123.71/2132.22 c 2132 1671554 1545635 1 - 0.0000 -
2128.79/2137.33 c 2137 1674391 1548183 1 - 0.0000 -
2133.97/2142.59 c 2143 1677356 1550944 1 - 0.0000 -
2139.05/2147.67 c 2148 1680378 1553584 1 - 0.0000 -
2144.23/2152.86 c 2153 1683322 1556268 1 - 0.0000 -
2149.31/2157.95 c 2158 1686215 1558810 1 - 0.0000 -
2154.40/2163.01 c 2163 1688991 1561347 1 - 0.0000 -
2159.37/2168.06 c 2168 1692323 1564490 1 - 0.0000 -
2164.46/2173.14 c 2173 1695211 1567093 1 - 0.0000 -
2169.63/2178.31 c 2178 1698109 1569787 1 - 0.0000 -
2174.70/2183.47 c 2183 1701129 1572504 1 - 0.0000 -
2179.88/2188.63 c 2189 1704132 1575259 1 - 0.0000 -
2184.96/2193.77 c 2194 1706870 1577738 1 - 0.0000 -
2190.05/2198.84 c 2199 1709267 1579858 1 - 0.0000 -
2195.12/2203.92 c 2204 1712263 1582490 1 - 0.0000 -
2200.21/2209.07 c 2209 1714815 1584871 1 - 0.0000 -
2205.29/2214.17 c 2214 1717699 1587443 1 - 0.0000 -
2210.56/2219.43 c 2219 1720424 1589947 1 - 0.0000 -
2215.84/2224.79 c 2225 1723423 1592831 1 - 0.0000 -
2220.93/2229.84 c 2230 1726151 1595103 1 - 0.0000 -
2225.90/2234.89 c 2235 1728988 1597496 1 - 0.0000 -
2230.98/2239.95 c 2240 1732185 1600514 1 - 0.0000 -
2236.06/2245.03 c 2245 1734940 1603124 1 - 0.0000 -
2241.15/2250.18 c 2250 1738055 1606004 1 - 0.0000 -
2246.22/2255.24 c 2255 1740913 1608600 1 - 0.0000 -
2251.41/2260.43 c 2260 1743646 1611027 1 - 0.0000 -
2256.48/2265.50 c 2266 1746383 1613573 1 - 0.0000 -
2261.66/2270.73 c 2271 1749002 1616010 1 - 0.0000 -
2266.74/2275.83 c 2276 1751611 1618404 1 - 0.0000 -
2271.83/2280.98 c 2281 1754370 1620973 1 - 0.0000 -
2276.92/2286.10 c 2286 1756854 1623083 1 - 0.0000 -
2282.00/2291.15 c 2291 1759888 1625875 1 - 0.0000 -
2287.17/2296.31 c 2296 1762636 1628295 1 - 0.0000 -
2292.35/2301.53 c 2302 1765295 1630728 1 - 0.0000 -
2297.43/2306.67 c 2307 1768261 1633415 1 - 0.0000 -
2302.51/2311.79 c 2312 1770943 1635906 1 - 0.0000 -
2307.60/2316.85 c 2317 1773582 1638362 1 - 0.0000 -
2312.68/2321.95 c 2322 1776780 1641244 1 - 0.0000 -
2317.87/2327.16 c 2327 1779444 1643632 1 - 0.0000 -
2323.14/2332.48 c 2332 1782626 1646613 1 - 0.0000 -
2328.22/2337.52 c 2338 1785144 1648879 1 - 0.0000 -
2333.41/2342.78 c 2343 1787662 1651173 1 - 0.0000 -
2338.58/2347.91 c 2348 1790754 1654122 1 - 0.0000 -
2343.56/2352.97 c 2353 1793451 1656633 1 - 0.0000 -
2348.75/2358.13 c 2358 1796191 1659054 1 - 0.0000 -
2353.92/2363.34 c 2363 1798881 1661384 1 - 0.0000 -
2359.01/2368.44 c 2368 1801700 1664003 1 - 0.0000 -
2364.08/2373.54 c 2374 1804478 1666666 1 - 0.0000 -
2369.26/2378.75 c 2379 1807063 1669001 1 - 0.0000 -
2374.45/2383.96 c 2384 1809881 1671598 1 - 0.0000 -
2379.53/2389.01 c 2389 1812879 1674379 1 - 0.0000 -
2384.61/2394.12 c 2394 1815393 1676683 1 - 0.0000 -
2389.89/2399.44 c 2399 1817900 1678989 1 - 0.0000 -
2394.97/2404.53 c 2405 1820246 1681123 1 - 0.0000 -
2400.24/2409.80 c 2410 1822820 1683428 1 - 0.0000 -
2405.43/2415.09 c 2415 1825550 1685722 1 - 0.0000 -
2410.52/2420.17 c 2420 1827845 1687751 1 - 0.0000 -
2415.59/2425.25 c 2425 1830409 1690056 1 - 0.0000 -
2420.67/2430.38 c 2430 1833254 1692763 1 - 0.0000 -
2425.75/2435.46 c 2435 1836192 1695506 1 - 0.0000 -
2430.83/2440.51 c 2441 1838901 1698042 1 - 0.0000 -
2436.01/2445.70 c 2446 1841893 1700943 1 - 0.0000 -
2441.19/2450.97 c 2451 1844505 1703322 1 - 0.0000 -
2446.47/2456.22 c 2456 1847382 1706081 1 - 0.0000 -
2451.45/2461.29 c 2461 1849585 1708072 1 - 0.0000 -
2456.74/2466.56 c 2467 1852195 1710527 1 - 0.0000 -
2461.81/2471.63 c 2472 1854708 1712910 1 - 0.0000 -
2466.79/2476.69 c 2477 1857274 1715239 1 - 0.0000 -
2471.88/2481.76 c 2482 1859981 1717721 1 - 0.0000 -
2476.95/2486.86 c 2487 1862432 1719980 1 - 0.0000 -
2482.03/2491.99 c 2492 1865077 1722480 1 - 0.0000 -
2487.32/2497.21 c 2497 1867472 1724621 1 - 0.0000 -
2492.30/2502.28 c 2502 1870244 1727174 1 - 0.0000 -
2497.38/2507.37 c 2507 1872528 1729122 1 - 0.0000 -
2502.46/2512.44 c 2512 1874943 1731254 1 - 0.0000 -
2507.54/2517.55 c 2518 1877828 1733936 1 - 0.0000 -
2512.61/2522.67 c 2523 1880416 1736385 1 - 0.0000 -
2518.00/2528.09 c 2528 1883034 1738847 1 - 0.0000 -
2523.08/2533.15 c 2533 1885629 1741319 1 - 0.0000 -
2528.06/2538.19 c 2538 1888023 1743435 1 - 0.0000 -
2533.54/2543.68 c 2544 1890918 1745968 1 - 0.0000 -
2538.62/2548.77 c 2549 1893256 1748128 1 - 0.0000 -
2543.80/2553.97 c 2554 1895756 1750395 1 - 0.0000 -
2548.99/2559.12 c 2559 1898390 1752857 1 - 0.0000 -
2554.06/2564.23 c 2564 1900771 1755090 1 - 0.0000 -
2559.14/2569.31 c 2569 1902930 1756961 1 - 0.0000 -
2564.23/2574.48 c 2574 1905064 1758866 1 - 0.0000 -
2569.51/2579.71 c 2580 1907542 1761171 1 - 0.0000 -
2574.59/2584.84 c 2585 1910050 1763417 1 - 0.0000 -
2579.87/2590.17 c 2590 1912542 1765665 1 - 0.0000 -
2585.14/2595.48 c 2595 1914787 1767659 1 - 0.0000 -
2590.62/2600.97 c 2601 1917404 1769995 1 - 0.0000 -
2596.71/2607.05 c 2607 1920007 1772289 1 - 0.0000 -
2601.78/2612.13 c 2612 1922538 1774562 1 - 0.0000 -
2607.17/2617.58 c 2618 1924588 1776408 1 - 0.0000 -
2612.24/2622.64 c 2623 1927296 1778892 1 - 0.0000 -
2617.32/2627.77 c 2628 1929863 1781218 1 - 0.0000 -
2622.51/2632.90 c 2633 1932097 1783221 1 - 0.0000 -
2627.69/2638.12 c 2638 1935076 1786052 1 - 0.0000 -
2632.77/2643.23 c 2643 1937276 1787880 1 - 0.0000 -
2637.95/2648.42 c 2648 1939752 1790010 1 - 0.0000 -
2643.33/2653.85 c 2654 1942272 1792272 1 - 0.0000 -
2648.41/2658.91 c 2659 1944996 1794737 1 - 0.0000 -
2653.79/2664.35 c 2664 1947338 1797006 1 - 0.0000 -
2658.87/2669.48 c 2669 1949828 1799288 1 - 0.0000 -
2664.05/2674.66 c 2675 1952094 1801423 1 - 0.0000 -
2669.13/2679.77 c 2680 1954139 1803262 1 - 0.0000 -
2674.21/2684.84 c 2685 1956668 1805600 1 - 0.0000 -
2679.29/2689.90 c 2690 1959243 1807962 1 - 0.0000 -
2684.38/2695.06 c 2695 1961222 1809751 1 - 0.0000 -
2690.05/2700.74 c 2701 1963456 1811703 1 - 0.0000 -
2695.13/2705.80 c 2706 1965682 1813692 1 - 0.0000 -
2700.21/2710.97 c 2711 1968152 1815966 1 - 0.0000 -
2705.49/2716.21 c 2716 1970648 1818205 1 - 0.0000 -
2710.57/2721.35 c 2721 1972742 1820056 1 - 0.0000 -
2715.75/2726.57 c 2727 1974940 1822078 1 - 0.0000 -
2720.93/2731.70 c 2732 1977558 1824529 1 - 0.0000 -
2725.91/2736.78 c 2737 1979894 1826609 1 - 0.0000 -
2731.20/2742.07 c 2742 1982716 1829166 1 - 0.0000 -
2736.37/2747.20 c 2747 1984992 1831220 1 - 0.0000 -
2741.45/2752.34 c 2752 1987331 1833345 1 - 0.0000 -
2746.94/2757.82 c 2758 1989663 1835411 1 - 0.0000 -
2751.92/2762.86 c 2763 1992264 1837878 1 - 0.0000 -
2757.20/2768.17 c 2768 1994745 1840109 1 - 0.0000 -
2762.28/2773.26 c 2773 1997401 1842503 1 - 0.0000 -
2767.35/2778.31 c 2778 1999739 1844647 1 - 0.0000 -
2772.34/2783.39 c 2783 2002160 1846881 1 - 0.0000 -
2777.62/2788.60 c 2789 2004618 1849064 1 - 0.0000 -
2782.70/2793.71 c 2794 2007245 1851415 1 - 0.0000 -
2787.68/2798.75 c 2799 2009718 1853795 1 - 0.0000 -
2792.86/2803.98 c 2804 2011892 1855823 1 - 0.0000 -
2798.04/2809.11 c 2809 2014292 1857913 1 - 0.0000 -
2803.12/2814.23 c 2814 2016476 1859827 1 - 0.0000 -
2808.11/2819.27 c 2819 2018525 1861674 1 - 0.0000 -
2813.19/2824.32 c 2824 2021037 1864009 1 - 0.0000 -
2818.17/2829.37 c 2829 2023393 1866187 1 - 0.0000 -
2823.25/2834.46 c 2834 2025465 1868027 1 - 0.0000 -
2828.32/2839.51 c 2840 2027796 1870224 1 - 0.0000 -
2833.61/2844.84 c 2845 2030214 1872452 1 - 0.0000 -
2838.79/2850.00 c 2850 2032447 1874082 1 - 0.0000 -
2843.97/2855.23 c 2855 2034020 1875384 1 - 0.0000 -
2849.05/2860.33 c 2860 2036012 1877113 1 - 0.0000 -
2854.03/2865.39 c 2865 2038375 1879213 1 - 0.0000 -
2859.22/2870.55 c 2871 2040633 1881266 1 - 0.0000 -
2864.30/2875.62 c 2876 2042707 1883103 1 - 0.0000 -
2869.38/2880.75 c 2881 2044853 1885074 1 - 0.0000 -
2874.46/2885.87 c 2886 2047025 1886960 1 - 0.0000 -
2879.75/2891.15 c 2891 2049343 1889096 1 - 0.0000 -
2885.12/2896.50 c 2897 2051425 1890975 1 - 0.0000 -
2890.40/2901.84 c 2902 2053535 1892937 1 - 0.0000 -
2895.39/2906.88 c 2907 2055468 1894701 1 - 0.0000 -
2901.07/2912.51 c 2913 2057529 1896590 1 - 0.0000 -
2906.05/2917.57 c 2918 2059810 1898737 1 - 0.0000 -
2911.33/2922.86 c 2923 2061985 1900764 1 - 0.0000 -
2916.41/2927.99 c 2928 2064105 1902677 1 - 0.0000 -
2921.60/2933.17 c 2933 2066083 1904501 1 - 0.0000 -
2926.87/2938.42 c 2938 2068318 1906524 1 - 0.0000 -
2932.25/2943.85 c 2944 2070546 1908526 1 - 0.0000 -
2937.73/2949.38 c 2949 2072602 1910257 1 - 0.0000 -
2943.01/2954.66 c 2955 2074651 1912026 1 - 0.0000 -
2948.09/2959.75 c 2960 2076642 1913781 1 - 0.0000 -
2953.17/2964.86 c 2965 2078820 1915847 1 - 0.0000 -
2958.25/2969.91 c 2970 2080783 1917601 1 - 0.0000 -
2963.63/2975.32 c 2975 2082783 1919433 1 - 0.0000 -
2968.81/2980.50 c 2981 2085369 1921938 1 - 0.0000 -
2974.39/2986.13 c 2986 2087592 1923874 1 - 0.0000 -
2979.67/2991.48 c 2991 2089820 1925895 1 - 0.0000 -
2984.75/2996.58 c 2997 2092280 1928101 1 - 0.0000 -
2990.03/3001.88 c 3002 2094839 1930396 1 - 0.0000 -
2995.11/3006.98 c 3007 2097672 1933136 1 - 0.0000 -
3000.39/3012.25 c 3012 2100372 1935593 1 - 0.0000 -
3005.37/3017.29 c 3017 2102543 1937583 1 - 0.0000 -
3010.65/3022.57 c 3023 2104795 1939693 1 - 0.0000 -
3015.93/3027.83 c 3028 2106890 1941569 1 - 0.0000 -
3021.01/3032.92 c 3033 2108851 1943328 1 - 0.0000 -
3026.10/3038.02 c 3038 2111060 1945293 1 - 0.0000 -
3031.18/3043.12 c 3043 2113293 1947335 1 - 0.0000 -
3036.26/3048.24 c 3048 2115450 1949330 1 - 0.0000 -
3041.53/3053.55 c 3054 2117502 1951130 1 - 0.0000 -
3046.61/3058.69 c 3059 2119855 1953358 1 - 0.0000 -
3051.80/3063.88 c 3064 2122251 1955546 1 - 0.0000 -
3056.88/3068.98 c 3069 2124744 1957802 1 - 0.0000 -
3062.07/3074.10 c 3074 2127059 1959978 1 - 0.0000 -
3067.74/3079.81 c 3080 2129395 1962177 1 - 0.0000 -
3072.83/3084.91 c 3085 2131565 1964176 1 - 0.0000 -
3077.91/3090.05 c 3090 2134173 1966737 1 - 0.0000 -
3082.99/3095.10 c 3095 2136593 1969086 1 - 0.0000 -
3088.57/3100.74 c 3101 2139147 1971513 1 - 0.0000 -
3093.85/3106.06 c 3106 2141634 1973847 1 - 0.0000 -
3098.93/3111.11 c 3111 2143830 1975773 1 - 0.0000 -
3104.31/3116.55 c 3117 2145859 1977651 1 - 0.0000 -
3109.49/3121.71 c 3122 2148256 1979782 1 - 0.0000 -
3114.57/3126.84 c 3127 2150646 1982013 1 - 0.0000 -
3119.75/3132.06 c 3132 2152866 1983994 1 - 0.0000 -
3125.23/3137.55 c 3138 2154873 1985767 1 - 0.0000 -
3130.50/3142.80 c 3143 2157008 1987674 1 - 0.0000 -
3135.59/3147.94 c 3148 2158894 1989283 1 - 0.0000 -
3140.67/3153.09 c 3153 2161333 1991467 1 - 0.0000 -
3145.75/3158.16 c 3158 2163445 1993353 1 - 0.0000 -
3150.92/3163.32 c 3163 2165812 1995479 1 - 0.0000 -
3156.01/3168.49 c 3168 2168108 1997546 1 - 0.0000 -
3161.29/3173.71 c 3174 2170228 1999490 1 - 0.0000 -
3166.47/3178.97 c 3179 2172258 2001312 1 - 0.0000 -
3171.75/3184.24 c 3184 2174516 2003421 1 - 0.0000 -
3177.13/3189.68 c 3190 2177475 2006241 1 - 0.0000 -
3182.62/3195.13 c 3195 2179732 2008338 1 - 0.0000 -
3187.69/3200.22 c 3200 2182615 2011015 1 - 0.0000 -
3192.97/3205.57 c 3206 2184814 2012949 1 - 0.0000 -
3198.46/3211.00 c 3211 2187354 2015193 1 - 0.0000 -
3203.54/3216.19 c 3216 2189763 2017275 1 - 0.0000 -
3208.82/3221.46 c 3221 2191922 2019214 1 - 0.0000 -
3214.10/3226.70 c 3227 2194527 2021584 1 - 0.0000 -
3219.08/3231.78 c 3232 2196685 2023629 1 - 0.0000 -
3224.36/3237.07 c 3237 2199238 2025797 1 - 0.0000 -
3229.54/3242.25 c 3242 2201761 2028200 1 - 0.0000 -
3234.92/3247.66 c 3248 2204512 2030740 1 - 0.0000 -
3240.51/3253.20 c 3253 2206906 2032951 1 - 0.0000 -
3245.58/3258.39 c 3258 2208881 2034746 1 - 0.0000 -
3250.76/3263.55 c 3264 2210915 2036499 1 - 0.0000 -
3255.95/3268.78 c 3269 2213133 2038437 1 - 0.0000 -
3261.23/3274.10 c 3274 2215977 2041050 1 - 0.0000 -
3266.51/3279.35 c 3279 2218453 2043317 1 - 0.0000 -
3271.68/3284.51 c 3285 2220988 2045710 1 - 0.0000 -
3276.66/3289.57 c 3290 2223550 2048071 1 - 0.0000 -
3281.74/3294.67 c 3295 2225811 2050159 1 - 0.0000 -
3287.02/3299.95 c 3300 2228114 2052144 1 - 0.0000 -
3292.11/3305.00 c 3305 2230533 2054367 1 - 0.0000 -
3297.19/3310.18 c 3310 2232808 2056509 1 - 0.0000 -
3302.26/3315.25 c 3315 2235016 2058454 1 - 0.0000 -
3307.45/3320.47 c 3320 2237412 2060583 1 - 0.0000 -
3312.63/3325.60 c 3326 2240041 2063013 1 - 0.0000 -
3317.81/3330.86 c 3331 2242385 2065010 1 - 0.0000 -
3322.99/3336.00 c 3336 2244964 2067414 1 - 0.0000 -
3327.98/3341.06 c 3341 2247344 2069598 1 - 0.0000 -
3333.05/3346.11 c 3346 2249727 2071798 1 - 0.0000 -
3338.23/3351.36 c 3351 2252398 2074182 1 - 0.0000 -
3343.31/3356.42 c 3356 2254508 2075944 1 - 0.0000 -
3348.49/3361.62 c 3362 2256641 2077869 1 - 0.0000 -
3353.57/3366.76 c 3367 2258756 2079772 1 - 0.0000 -
3358.65/3371.82 c 3372 2261158 2081844 1 - 0.0000 -
3364.22/3377.43 c 3377 2263978 2084449 1 - 0.0000 -
3369.41/3382.68 c 3383 2266559 2086777 1 - 0.0000 -
3374.69/3387.91 c 3388 2269197 2089069 1 - 0.0000 -
3379.67/3392.98 c 3393 2272018 2091682 1 - 0.0000 -
3384.75/3398.04 c 3398 2274959 2094466 1 - 0.0000 -
3389.94/3403.20 c 3403 2277386 2096537 1 - 0.0000 -
3394.91/3408.25 c 3408 2280061 2098827 1 - 0.0000 -
3400.00/3413.35 c 3413 2283227 2101870 1 - 0.0000 -
3405.07/3418.49 c 3418 2286122 2104701 1 - 0.0000 -
3410.25/3423.60 c 3424 2289536 2107998 1 - 0.0000 -
3415.34/3428.76 c 3429 2292384 2110579 1 - 0.0000 -
3420.52/3433.93 c 3434 2295106 2113057 1 - 0.0000 -
3425.60/3439.02 c 3439 2297678 2115217 1 - 0.0000 -
3430.69/3444.10 c 3444 2300462 2117784 1 - 0.0000 -
3435.86/3449.31 c 3449 2303358 2120166 1 - 0.0000 -
3441.14/3454.69 c 3455 2306161 2122589 1 - 0.0000 -
3446.22/3459.75 c 3460 2308957 2125177 1 - 0.0000 -
3451.30/3464.82 c 3465 2312068 2127999 1 - 0.0000 -
3456.28/3469.89 c 3470 2314672 2130427 1 - 0.0000 -
3461.47/3475.00 c 3475 2317830 2133473 1 - 0.0000 -
3466.75/3480.36 c 3480 2321171 2136551 1 - 0.0000 -
3471.93/3485.57 c 3486 2323793 2138877 1 - 0.0000 -
3477.00/3490.62 c 3491 2326342 2141117 1 - 0.0000 -
3482.09/3495.71 c 3496 2329239 2143697 1 - 0.0000 -
3487.17/3500.89 c 3501 2331837 2145790 1 - 0.0000 -
3492.35/3506.03 c 3506 2334154 2147786 1 - 0.0000 -
3497.34/3511.10 c 3511 2337636 2151048 1 - 0.0000 -
3502.42/3516.14 c 3516 2341216 2154361 1 - 0.0000 -
3507.49/3521.29 c 3521 2344581 2157147 1 - 0.0000 -
3512.78/3526.51 c 3527 2347845 2160029 1 - 0.0000 -
3517.96/3531.78 c 3532 2350978 2162877 1 - 0.0000 -
3523.04/3536.83 c 3537 2353780 2165305 1 - 0.0000 -
3528.02/3541.89 c 3542 2356502 2167803 1 - 0.0000 -
3533.31/3547.19 c 3547 2359253 2170271 1 - 0.0000 -
3538.48/3552.33 c 3552 2361796 2172511 1 - 0.0000 -
3543.56/3557.47 c 3557 2364337 2174735 1 - 0.0000 -
3548.85/3562.78 c 3563 2366776 2176946 1 - 0.0000 -
3553.93/3567.84 c 3568 2369306 2179158 1 - 0.0000 -
3559.31/3573.22 c 3573 2371999 2181580 1 - 0.0000 -
3564.38/3578.31 c 3578 2374680 2183993 1 - 0.0000 -
3569.57/3583.51 c 3584 2377229 2186205 1 - 0.0000 -
3574.95/3588.95 c 3589 2379755 2188450 1 - 0.0000 -
3580.22/3594.28 c 3594 2382578 2190705 1 - 0.0000 -
3586.81/3600.86 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.81/3600.86 c Total Time : 3600.8700
3586.81/3600.86 c solving : 3600.8700
3586.81/3600.86 c presolving : 0.0140 (included in solving)
3586.81/3600.86 c B&B Tree :
3586.81/3600.86 c nodes (total) : 1
3586.81/3600.86 c Solution :
3586.81/3600.86 c Solutions found : 0
3586.81/3600.86 c Primal Bound : -
3586.81/3600.86 c Dual Bound : +0.00000000000000e+00
3586.81/3600.86 c Gap : -
3586.81/3600.87 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: 63968 MiB (63105 MiB free)
memory of node 1: 64473 MiB (62339 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464584-1722386562/watcher-4464584-1722386562 -o /tmp/evaluation-result-4464584-1722386562/solver-4464584-1722386562 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722378597-31855 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464584-1722386562.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
solver pid=36632, runsolver pid=36629
Current StackSize limit: 8192 KiB
[startup+0.100986 s]*
/proc/loadavg: 4.10 4.09 4.09 5/264 36635
/proc/meminfo: memFree=128415908/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=128832 memory=50376 CPUtime=0.09 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 9709 0 0 0 8 1 0 0 20 0 3 0 5258531 131923968 12594 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 32208 12594 2950 3035 0 16890 0
[pid=36632/tid=36634] ppid=36629 vsize=128832 memory=4026561586 CPUtime=0.06 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 4892 0 0 0 6 0 0 0 20 0 3 0 5258533 131923968 12594 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=128832 memory=232851243367 CPUtime=0 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5258534 131923968 12594 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 128832 KiB
Current children cumulated memory: 50376 KiB
[startup+0.210971 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 36635
/proc/meminfo: memFree=128411072/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=126952 memory=54756 CPUtime=0.19 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 11491 0 0 0 18 1 0 0 20 0 3 0 5258531 129998848 13689 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 31738 13689 2966 3035 0 17729 0
[pid=36632/tid=36634] ppid=36629 vsize=126952 memory=664970838410264707 CPUtime=0.17 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 6674 0 0 0 17 0 0 0 20 0 3 0 5258533 129998848 13689 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=126952 memory=17981 CPUtime=0 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5258534 129998848 13689 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 126952 KiB
Current children cumulated memory: 54756 KiB
[startup+0.305567 s]*
/proc/loadavg: 4.09 4.09 4.09 5/264 36635
/proc/meminfo: memFree=128410148/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=126952 memory=55812 CPUtime=0.29 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 11740 0 0 0 28 1 0 0 20 0 3 0 5258531 129998848 13953 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 31738 13953 2966 3035 0 17905 0
[pid=36632/tid=36634] ppid=36629 vsize=126952 memory=-5155625808330910597 CPUtime=0.26 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 6923 0 0 0 26 0 0 0 20 0 3 0 5258533 129998848 13953 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=126952 memory=0 CPUtime=0 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5258534 129998848 13953 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 126952 KiB
Current children cumulated memory: 55812 KiB
[startup+0.700196 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 36635
/proc/meminfo: memFree=128409300/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=126952 memory=56340 CPUtime=0.68 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 11886 0 0 0 67 1 0 0 20 0 3 0 5258531 129998848 14085 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 31738 14085 2966 3035 0 18042 0
[pid=36632/tid=36634] ppid=36629 vsize=126952 memory=0 CPUtime=0.65 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 7069 0 0 0 65 0 0 0 20 0 3 0 5258533 129998848 14085 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=126952 memory=0 CPUtime=0 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5258534 129998848 14085 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126952 KiB
Current children cumulated memory: 56340 KiB
[startup+1.50017 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 36635
/proc/meminfo: memFree=128406604/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=126952 memory=64828 CPUtime=1.48 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 19131 0 0 0 146 2 0 0 20 0 3 0 5258531 129998848 16207 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 31738 16207 2966 3035 0 20209 0
[pid=36632/tid=36634] ppid=36629 vsize=126952 memory=0 CPUtime=1.45 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 14303 0 0 0 144 1 0 0 20 0 3 0 5258533 129998848 16207 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=126952 memory=0 CPUtime=0 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5258534 129998848 16207 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 126952 KiB
Current children cumulated memory: 64828 KiB
[startup+3.10535 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 36637
/proc/meminfo: memFree=128399864/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=126952 memory=66056 CPUtime=3.08 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 19633 0 0 0 306 2 0 0 20 0 3 0 5258531 129998848 16514 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 31738 16514 2966 3035 0 20411 0
[pid=36632/tid=36634] ppid=36629 vsize=126952 memory=2273 CPUtime=3.05 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 14803 0 0 0 304 1 0 0 20 0 3 0 5258533 129998848 16514 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=126952 memory=0 CPUtime=0 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 5258534 129998848 16514 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 126952 KiB
Current children cumulated memory: 66056 KiB
[startup+6.3002 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 36637
/proc/meminfo: memFree=128392680/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=126952 memory=73164 CPUtime=6.26 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 27875 0 0 0 623 3 0 0 20 0 3 0 5258531 129998848 18291 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 31738 18291 2966 3035 0 22167 0
[pid=36632/tid=36634] ppid=36629 vsize=126952 memory=-5155625808330910597 CPUtime=6.23 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 23021 0 0 0 621 2 0 0 20 0 3 0 5258533 129998848 18291 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=126952 memory=68692 CPUtime=0 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5258534 129998848 18291 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 126952 KiB
Current children cumulated memory: 73164 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 36638
/proc/meminfo: memFree=128373448/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=126952 memory=84780 CPUtime=12.64 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 50373 0 0 0 1258 6 0 0 20 0 3 0 5258531 129998848 21195 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 31738 21195 3014 3035 0 25617 0
[pid=36632/tid=36634] ppid=36629 vsize=126952 memory=66576 CPUtime=12.61 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 45481 0 0 0 1256 5 0 0 20 0 3 0 5258533 129998848 21195 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=126952 memory=0 CPUtime=0 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5258534 129998848 21195 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 126952 KiB
Current children cumulated memory: 84780 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 36640
/proc/meminfo: memFree=128350432/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=126952 memory=95172 CPUtime=25.38 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 85643 0 0 0 2528 10 0 0 20 0 3 0 5258531 129998848 23793 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 31738 23793 3014 3035 0 28132 0
[pid=36632/tid=36634] ppid=36629 vsize=126952 memory=78600 CPUtime=25.35 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 80695 0 0 0 2526 9 0 0 20 0 3 0 5258533 129998848 23793 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=126952 memory=11728 CPUtime=0 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 5258534 129998848 23793 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 126952 KiB
Current children cumulated memory: 95172 KiB
[startup+51.1054 s]
/proc/loadavg: 4.16 4.10 4.09 5/264 36643
/proc/meminfo: memFree=128308904/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=194544 memory=108544 CPUtime=50.89 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 122664 0 0 0 5071 18 0 0 20 0 3 0 5258531 199213056 27136 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 48636 27136 3014 3035 0 30802 0
[pid=36632/tid=36634] ppid=36629 vsize=194544 memory=105060 CPUtime=50.86 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 117644 0 0 0 5069 17 0 0 20 0 3 0 5258533 199213056 27136 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=194544 memory=104016 CPUtime=0 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 5258534 199213056 27136 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 194544 KiB
Current children cumulated memory: 108544 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 36655
/proc/meminfo: memFree=128162680/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=199684 memory=167204 CPUtime=101.89 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 186255 0 0 0 10160 29 0 0 20 0 3 0 5258531 204476416 41801 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 49921 41801 3014 3035 0 45402 0
[pid=36632/tid=36634] ppid=36629 vsize=199684 memory=167140 CPUtime=101.85 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 181133 0 0 0 10157 28 0 0 20 0 3 0 5258533 204476416 41801 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=199684 memory=167084 CPUtime=0 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 5258534 204476416 41801 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 199684 KiB
Current children cumulated memory: 167204 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 36665
/proc/meminfo: memFree=128015964/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=273444 memory=234204 CPUtime=161.65 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 244418 0 0 0 16121 44 0 0 20 0 3 0 5258531 280006656 58551 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 68361 58551 3014 3035 0 62275 0
[pid=36632/tid=36634] ppid=36629 vsize=273444 memory=231704 CPUtime=161.61 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 239239 0 0 0 16118 43 0 0 20 0 3 0 5258533 280006656 58551 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=273444 memory=11728 CPUtime=0 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5258534 280006656 58551 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 273444 KiB
################
# More data... #
################
/proc/36632/statm: 623093 602926 3014 3035 0 614624 0
[pid=36632/tid=36634] ppid=36629 vsize=2492372 memory=12788 CPUtime=3388.8 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 3356739 0 0 0 338119 761 0 0 20 0 3 0 5258533 2552188928 602926 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=2492372 memory=2406712 CPUtime=0.02 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 81 0 0 0 0 2 0 0 20 0 3 0 5258534 2552188928 602926 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 3389.03 s
Current children cumulated vsize: 2492372 KiB
Current children cumulated memory: 2411704 KiB
[startup+3462.3 s]
/proc/loadavg: 1.33 2.11 3.04 2/237 38572
/proc/meminfo: memFree=127657556/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=2570124 memory=2444952 CPUtime=3448.81 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 3407700 0 0 0 344103 778 0 0 20 0 3 0 5258531 2631806976 611238 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 642531 611238 3014 3035 0 624078 0
[pid=36632/tid=36634] ppid=36629 vsize=2570124 memory=2437404 CPUtime=3448.57 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 3401595 0 0 0 344086 771 0 0 20 0 3 0 5258533 2631806976 611238 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=2570124 memory=2440340 CPUtime=0.03 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 82 0 0 0 1 2 0 0 20 0 3 0 5258534 2631806976 611238 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 3448.81 s
Current children cumulated vsize: 2570124 KiB
Current children cumulated memory: 2444952 KiB
[startup+3522.3 s]
/proc/loadavg: 1.29 1.95 2.92 2/237 38583
/proc/meminfo: memFree=127623604/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=2576292 memory=2478164 CPUtime=3508.59 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 3454536 0 0 0 350069 790 0 0 20 0 3 0 5258531 2638123008 619541 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 644073 619541 3014 3035 0 631908 0
[pid=36632/tid=36634] ppid=36629 vsize=2576292 memory=2474480 CPUtime=3508.34 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 3448417 0 0 0 350051 783 0 0 20 0 3 0 5258533 2638123008 619541 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=2576292 memory=11728 CPUtime=0.03 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 83 0 0 0 1 2 0 0 20 0 3 0 5258534 2638123008 619541 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 3508.59 s
Current children cumulated vsize: 2576292 KiB
Current children cumulated memory: 2478164 KiB
[startup+3582.3 s]
/proc/loadavg: 1.16 1.79 2.81 2/237 38593
/proc/meminfo: memFree=127586280/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=2646968 memory=2514804 CPUtime=3568.36 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 3502858 0 0 0 356036 800 0 0 20 0 3 0 5258531 2710495232 628701 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 661742 628701 3014 3035 0 640276 0
[pid=36632/tid=36634] ppid=36629 vsize=2646968 memory=2514096 CPUtime=3568.12 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 3496723 0 0 0 356019 793 0 0 20 0 3 0 5258533 2710495232 628701 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=2646968 memory=12788 CPUtime=0.03 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 84 0 0 0 1 2 0 0 20 0 3 0 5258534 2710495232 628701 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 3568.36 s
Current children cumulated vsize: 2646968 KiB
Current children cumulated memory: 2514804 KiB
[startup+3600.89 s]
# the end of solver process 36632 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.78 s, system=8.12763 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.16 1.79 2.81 2/237 38593
/proc/meminfo: memFree=127585820/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=2646968 memory=2515000 CPUtime=3570.07 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 3503174 0 0 0 356206 801 0 0 20 0 3 0 5258531 2710495232 628750 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 661742 628750 3014 3035 0 640324 0
[pid=36632/tid=36634] ppid=36629 vsize=2646968 memory=-7234588068002487678 CPUtime=3569.81 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 3497039 0 0 0 356188 793 0 0 20 0 3 0 5258533 2710495232 628750 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=2646968 memory=7686721470264483783 CPUtime=0.03 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 84 0 0 0 1 2 0 0 20 0 3 0 5258534 2710495232 628750 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 3570.07 s
Current children cumulated vsize: 2646968 KiB
Current children cumulated memory: 2515000 KiB
[startup+3590.4 s]
/proc/loadavg: 1.15 1.78 2.80 2/237 38593
/proc/meminfo: memFree=127578088/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=2647996 memory=2522824 CPUtime=3576.44 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 3506802 0 0 0 356842 802 0 0 20 0 3 0 5258531 2711547904 630706 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 661999 630706 3014 3035 0 642451 0
[pid=36632/tid=36634] ppid=36629 vsize=2647996 memory=2514120 CPUtime=3576.19 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 3500667 0 0 0 356825 794 0 0 20 0 3 0 5258533 2711547904 630706 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=2647996 memory=2517024 CPUtime=0.03 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 84 0 0 0 1 2 0 0 20 0 3 0 5258534 2711547904 630706 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 3576.44 s
Current children cumulated vsize: 2647996 KiB
Current children cumulated memory: 2522824 KiB
[startup+3596.8 s]
/proc/loadavg: 1.12 1.75 2.78 2/237 38594
/proc/meminfo: memFree=127575528/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=2647996 memory=2525336 CPUtime=3582.82 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 3508081 0 0 0 357479 803 0 0 20 0 3 0 5258531 2711547904 631334 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 661999 631334 3014 3035 0 643059 0
[pid=36632/tid=36634] ppid=36629 vsize=2647996 memory=2520412 CPUtime=3582.56 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 3501946 0 0 0 357461 795 0 0 20 0 3 0 5258533 2711547904 631334 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=2647996 memory=11728 CPUtime=0.03 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 84 0 0 0 1 2 0 0 20 0 3 0 5258534 2711547904 631334 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 3582.82 s
Current children cumulated vsize: 2647996 KiB
Current children cumulated memory: 2525336 KiB
[startup+3598.4 s]
/proc/loadavg: 1.12 1.75 2.78 2/237 38594
/proc/meminfo: memFree=127575248/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=2647996 memory=2525424 CPUtime=3584.41 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 3520073 0 0 0 357638 803 0 0 20 0 3 0 5258531 2711547904 631356 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 661999 631356 3014 3035 0 643059 0
[pid=36632/tid=36634] ppid=36629 vsize=2647996 memory=12788 CPUtime=3584.16 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 3513937 0 0 0 357620 796 0 0 20 0 3 0 5258533 2711547904 631356 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=2647996 memory=12796 CPUtime=0.03 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 84 0 0 0 1 2 0 0 20 0 3 0 5258534 2711547904 631356 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 3584.41 s
Current children cumulated vsize: 2647996 KiB
Current children cumulated memory: 2525424 KiB
[startup+3600 s]*
/proc/loadavg: 1.12 1.75 2.78 2/237 38594
/proc/meminfo: memFree=127674844/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=2493796 memory=2371224 CPUtime=3586.01 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 3585708 0 0 0 357793 808 0 0 20 0 3 0 5258531 2553647104 592806 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 623449 592806 3014 3035 0 604509 0
[pid=36632/tid=36634] ppid=36629 vsize=2493796 memory=-7234588068002487678 CPUtime=3585.75 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 3579573 0 0 0 357775 800 0 0 20 0 3 0 5258533 2553647104 592806 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=2493796 memory=7686721470264483783 CPUtime=0.03 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 84 0 0 0 1 2 0 0 20 0 3 0 5258534 2553647104 592806 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 3586.01 s
Current children cumulated vsize: 2493796 KiB
Current children cumulated memory: 2371224 KiB
[startup+3600.4 s]
/proc/loadavg: 1.12 1.75 2.78 2/237 38594
/proc/meminfo: memFree=127674844/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=2435200 memory=2312628 CPUtime=3586.41 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 3590937 0 0 0 357832 809 0 0 20 0 3 0 5258531 2493644800 578157 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 608800 578157 3014 3035 0 589860 0
[pid=36632/tid=36634] ppid=36629 vsize=2435200 memory=-7234588068002487678 CPUtime=3586.15 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 3584804 0 0 0 357814 801 0 0 20 0 3 0 5258533 2493644800 578157 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=2435200 memory=2268 CPUtime=0.03 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 84 0 0 0 1 2 0 0 20 0 3 0 5258534 2493644800 578157 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 3586.41 s
Current children cumulated vsize: 2435200 KiB
Current children cumulated memory: 2312628 KiB
[startup+3600.8 s]
/proc/loadavg: 1.12 1.75 2.78 2/237 38594
/proc/meminfo: memFree=127674844/131524600 swapFree=131071996/131071996
[pid=36632] ppid=36629 vsize=2346792 memory=2224220 CPUtime=3586.81 cores=0,2
/proc/36632/stat : 36632 (fscip) S 36629 36632 31845 0 -1 1077936128 3594750 0 0 0 357871 810 0 0 20 0 3 0 5258531 2403115008 556055 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
/proc/36632/statm: 586698 556055 3014 3035 0 567758 0
[pid=36632/tid=36634] ppid=36629 vsize=2346792 memory=2808 CPUtime=3586.55 cores=0,2
/proc/36632/task/36634/stat : 36634 (fscip) R 36629 36632 31845 0 -1 4194368 3588614 0 0 0 357853 802 0 0 20 0 3 0 5258533 2403115008 556055 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
[pid=36632/tid=36635] ppid=36629 vsize=2346792 memory=-7234588068002487678 CPUtime=0.03 cores=0,2
/proc/36632/task/36635/stat : 36635 (fscip) S 36629 36632 31845 0 -1 1077936192 84 0 0 0 1 2 0 0 20 0 3 0 5258534 2403115008 556055 134679101440 4194304 16623229 140724661359424 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 32702464 140724661367830 140724661367946 140724661367946 140724661374960 0
Current children cumulated CPU time: 3586.81 s
Current children cumulated vsize: 2346792 KiB
Current children cumulated memory: 2224220 KiB
Child status: 0
Real time (s): 3600.89
CPU time (s): 3586.9
CPU user time (s): 3578.78
CPU system time (s): 8.12763
CPU usage (%): 99.6116
Max. virtual memory (cumulated for all children) (KiB): 2647996
Max. memory (cumulated for all children) (KiB): 2525424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.78
system time used= 8.12763
maximum resident set size= 2525424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3595485
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= 11162
involuntary context switches= 24653
# summary of solver processes directly reported to runsolver:
# pid: 36632
# total CPU time (s): 3586.9
# total CPU user time (s): 3578.78
# total CPU system time (s): 8.12763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77196 second user time and 16.9805 second system time
The end
Begin job on nodeC033 at 2024-07-31 02:42:42
IDJOB=4464584
IDBENCH=162339
IDSOLVER=3092
FILE ID=nodeC033/4464584-1722386562
RUNJOBID= nodeC033-1722378597-31855
SLURM_JOB_ID= 8249856
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x130split.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-4464584-1722386562/watcher-4464584-1722386562 -o /tmp/evaluation-result-4464584-1722386562/solver-4464584-1722386562 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722378597-31855 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464584-1722386562.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d15c8502de0d235fb9400ddf00f66b48
RANDOM SEED=2000602468
nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.856
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3689.665
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.596
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.325
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3683.700
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3689.654
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3629.927
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.337
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128455448 kB
MemAvailable: 128353608 kB
Buffers: 101452 kB
Cached: 632312 kB
SwapCached: 0 kB
Active: 276804 kB
Inactive: 2316244 kB
Active(anon): 1532 kB
Inactive(anon): 1879080 kB
Active(file): 275272 kB
Inactive(file): 437164 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28260 kB
Writeback: 220 kB
AnonPages: 1859280 kB
Mapped: 124496 kB
Shmem: 21336 kB
KReclaimable: 51096 kB
Slab: 132716 kB
SReclaimable: 51096 kB
SUnreclaim: 81620 kB
KernelStack: 4240 kB
PageTables: 13044 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 930660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9696 kB
HardwareCorrupted: 0 kB
AnonHugePages: 282624 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: 283348 kB
DirectMap2M: 8927232 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC033 at 2024-07-31 03:42:43