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.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 29954048, getVmSize() = 29954048, SCIPgetMemUsed() = 6348972, SCIPgetMemTotal() = 8054892, SCIPgetMemExternEstim() = 4324956
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.11 c ** Estimated virtualMemUsedAtSolver = 23390890, getVmSize() = 40218624, SCIPgetMemUsed() = 11545260, SCIPgetMemTotal() = 17334932, SCIPgetMemExternEstim() = 4324956
0.00/0.11 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.11 c Original Problem :
0.00/0.11 c Problem name : instance-4448120-1721363843
0.00/0.11 c Variables : 901 (901 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.11 c Constraints : 3602
0.00/0.11 c Objective sense : minimize
0.00/0.11 c Presolved Problem :
0.00/0.11 c Variables : 900 (900 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.11 c Constraints : 1800
0.00/0.11 c Constraints : Number
0.00/0.11 c linear : 1800
0.00/0.11 c ** Instance transfer method used: 0
0.10/0.12 c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.13 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.13 c Nodes Active
0.10/0.13 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
4.98/5.11 c 5 345 316 1 - 0.0000 -
10.06/10.19 c 10 4504 4097 1 - 0.0000 -
15.14/15.24 c 15 8986 8144 1 - 0.0000 -
20.21/20.31 c 20 13145 11898 1 - 0.0000 -
25.20/25.35 c 25 17883 16108 1 - 0.0000 -
30.28/30.40 c 30 22177 19943 1 - 0.0000 -
35.27/35.44 c 35 26796 24166 1 - 0.0000 -
40.25/40.49 c 40 31534 28331 1 - 0.0000 -
45.33/45.54 c 46 36420 32575 1 - 0.0000 -
50.32/50.59 c 51 41295 36813 1 - 0.0000 -
55.39/55.66 c 56 45919 40944 1 - 0.0000 -
60.48/60.71 c 61 51030 45407 1 - 0.0000 -
65.46/65.76 c 66 56170 49901 1 - 0.0000 -
70.55/70.81 c 71 61404 54420 1 - 0.0000 -
75.53/75.89 c 76 66322 58793 1 - 0.0000 -
80.60/80.94 c 81 71527 63391 1 - 0.0000 -
85.58/85.99 c 86 76822 67945 1 - 0.0000 -
90.67/91.04 c 91 82053 72545 1 - 0.0000 -
95.65/96.09 c 96 87445 77222 1 - 0.0000 -
100.73/101.14 c 101 92637 81749 1 - 0.0000 -
105.72/106.19 c 106 98152 86506 1 - 0.0000 -
110.78/111.27 c 111 103049 90708 1 - 0.0000 -
115.87/116.32 c 116 108118 95184 1 - 0.0000 -
120.86/121.37 c 121 113393 99564 1 - 0.0000 -
125.93/126.42 c 126 118613 104122 1 - 0.0000 -
130.92/131.46 c 131 124051 108708 1 - 0.0000 -
136.00/136.51 c 137 129291 113356 1 - 0.0000 -
140.98/141.56 c 142 134647 118000 1 - 0.0000 -
146.06/146.61 c 147 140015 122593 1 - 0.0000 -
151.05/151.66 c 152 145264 127020 1 - 0.0000 -
156.13/156.74 c 157 150663 131707 1 - 0.0000 -
161.12/161.79 c 162 156028 136466 1 - 0.0000 -
166.20/166.84 c 167 161357 140947 1 - 0.0000 -
171.18/171.89 c 172 166883 145472 1 - 0.0000 -
176.27/176.94 c 177 172300 149901 1 - 0.0000 -
181.25/181.99 c 182 177607 154456 1 - 0.0000 -
186.34/187.05 c 187 183044 159139 1 - 0.0000 -
191.31/192.10 c 192 188608 163825 1 - 0.0000 -
196.40/197.15 c 197 193999 168334 1 - 0.0000 -
201.47/202.20 c 202 199479 172838 1 - 0.0000 -
206.45/207.25 c 207 204948 177432 1 - 0.0000 -
211.53/212.30 c 212 210288 182041 1 - 0.0000 -
216.52/217.35 c 217 215596 186448 1 - 0.0000 -
221.60/222.40 c 222 220943 190984 1 - 0.0000 -
226.58/227.45 c 227 226282 195440 1 - 0.0000 -
231.67/232.51 c 233 231794 199987 1 - 0.0000 -
236.64/237.56 c 238 237176 204398 1 - 0.0000 -
241.73/242.61 c 243 242486 208899 1 - 0.0000 -
246.71/247.66 c 248 247850 213450 1 - 0.0000 -
251.79/252.71 c 253 253374 218018 1 - 0.0000 -
256.78/257.76 c 258 258502 222415 1 - 0.0000 -
261.86/262.81 c 263 264158 227073 1 - 0.0000 -
266.84/267.86 c 268 269552 231461 1 - 0.0000 -
271.93/272.91 c 273 274894 235799 1 - 0.0000 -
276.91/277.96 c 278 280436 240282 1 - 0.0000 -
281.88/283.01 c 283 285779 244857 1 - 0.0000 -
286.98/288.06 c 288 291074 249263 1 - 0.0000 -
291.96/293.11 c 293 296471 253717 1 - 0.0000 -
297.04/298.17 c 298 301728 258204 1 - 0.0000 -
302.11/303.22 c 303 307091 262843 1 - 0.0000 -
307.10/308.27 c 308 312567 267483 1 - 0.0000 -
312.17/313.37 c 313 317905 272102 1 - 0.0000 -
317.26/318.42 c 318 323297 276626 1 - 0.0000 -
322.25/323.47 c 323 328592 281097 1 - 0.0000 -
327.33/328.54 c 329 333871 285607 1 - 0.0000 -
332.31/333.59 c 334 339412 290298 1 - 0.0000 -
337.39/338.64 c 339 344702 294792 1 - 0.0000 -
342.48/343.70 c 344 350049 299495 1 - 0.0000 -
347.46/348.75 c 349 355102 303793 1 - 0.0000 -
352.54/353.80 c 354 360404 308227 1 - 0.0000 -
357.52/358.85 c 359 366159 312945 1 - 0.0000 -
362.60/363.90 c 364 371464 317467 1 - 0.0000 -
367.58/368.95 c 369 376884 322298 1 - 0.0000 -
372.57/374.01 c 374 382475 327057 1 - 0.0000 -
377.65/379.05 c 379 387497 331487 1 - 0.0000 -
382.74/384.13 c 384 392809 336013 1 - 0.0000 -
387.72/389.18 c 389 398428 340587 1 - 0.0000 -
392.79/394.23 c 394 403983 345190 1 - 0.0000 -
397.77/399.28 c 399 409398 349766 1 - 0.0000 -
402.85/404.33 c 404 414745 354308 1 - 0.0000 -
407.84/409.38 c 409 420396 358824 1 - 0.0000 -
412.92/414.43 c 414 426163 363561 1 - 0.0000 -
418.00/419.52 c 420 431567 368145 1 - 0.0000 -
422.98/424.57 c 425 437312 372839 1 - 0.0000 -
428.07/429.62 c 430 442509 377183 1 - 0.0000 -
433.05/434.67 c 435 448015 381666 1 - 0.0000 -
438.13/439.72 c 440 453645 386186 1 - 0.0000 -
443.11/444.77 c 445 459082 390655 1 - 0.0000 -
448.20/449.82 c 450 464749 395133 1 - 0.0000 -
453.18/454.87 c 455 469988 399439 1 - 0.0000 -
458.26/459.92 c 460 475588 403892 1 - 0.0000 -
463.24/464.98 c 465 481070 408450 1 - 0.0000 -
468.33/470.03 c 470 486592 413048 1 - 0.0000 -
473.31/475.08 c 475 492332 417718 1 - 0.0000 -
478.39/480.13 c 480 498078 422441 1 - 0.0000 -
483.37/485.18 c 485 503159 426772 1 - 0.0000 -
488.44/490.23 c 490 508849 431415 1 - 0.0000 -
493.42/495.28 c 495 514257 435901 1 - 0.0000 -
498.51/500.33 c 500 519737 440449 1 - 0.0000 -
503.48/505.38 c 505 525088 444893 1 - 0.0000 -
508.57/510.43 c 510 530588 449321 1 - 0.0000 -
513.55/515.48 c 515 536051 453882 1 - 0.0000 -
518.63/520.53 c 521 541476 458355 1 - 0.0000 -
523.61/525.58 c 526 546998 462928 1 - 0.0000 -
528.69/530.63 c 531 552318 467414 1 - 0.0000 -
533.67/535.68 c 536 557580 471824 1 - 0.0000 -
538.75/540.73 c 541 563106 476210 1 - 0.0000 -
543.73/545.78 c 546 568751 480762 1 - 0.0000 -
548.81/550.83 c 551 574281 485210 1 - 0.0000 -
553.80/555.88 c 556 579911 489613 1 - 0.0000 -
558.87/560.93 c 561 585771 494205 1 - 0.0000 -
563.86/565.98 c 566 591318 498917 1 - 0.0000 -
568.94/571.03 c 571 596811 503387 1 - 0.0000 -
573.93/576.08 c 576 602360 507928 1 - 0.0000 -
579.01/581.13 c 581 607781 512273 1 - 0.0000 -
583.99/586.18 c 586 613335 516910 1 - 0.0000 -
589.06/591.23 c 591 618515 521125 1 - 0.0000 -
594.04/596.28 c 596 623900 525721 1 - 0.0000 -
599.12/601.35 c 601 629279 530154 1 - 0.0000 -
604.20/606.40 c 606 634784 534701 1 - 0.0000 -
609.19/611.45 c 611 639875 539175 1 - 0.0000 -
614.27/616.50 c 616 645413 543779 1 - 0.0000 -
619.25/621.58 c 622 650507 547952 1 - 0.0000 -
624.34/626.63 c 627 656263 552600 1 - 0.0000 -
629.32/631.68 c 632 661716 557037 1 - 0.0000 -
634.40/636.73 c 637 667422 561620 1 - 0.0000 -
639.38/641.78 c 642 673059 566158 1 - 0.0000 -
644.47/646.83 c 647 678366 570525 1 - 0.0000 -
649.45/651.88 c 652 683911 575127 1 - 0.0000 -
654.52/656.93 c 657 689319 579821 1 - 0.0000 -
659.51/661.98 c 662 694782 584402 1 - 0.0000 -
664.59/667.05 c 667 700193 588935 1 - 0.0000 -
669.57/672.10 c 672 705504 593231 1 - 0.0000 -
674.66/677.15 c 677 711037 597893 1 - 0.0000 -
679.73/682.20 c 682 716501 602504 1 - 0.0000 -
684.70/687.25 c 687 721853 606873 1 - 0.0000 -
689.79/692.30 c 692 727232 611246 1 - 0.0000 -
694.77/697.38 c 697 732565 615700 1 - 0.0000 -
699.85/702.44 c 702 737783 620111 1 - 0.0000 -
704.93/707.50 c 708 743026 624456 1 - 0.0000 -
709.91/712.55 c 713 748329 628783 1 - 0.0000 -
714.99/717.61 c 718 753797 633351 1 - 0.0000 -
719.96/722.67 c 723 759050 637642 1 - 0.0000 -
725.05/727.72 c 728 764578 641999 1 - 0.0000 -
730.03/732.77 c 733 770231 646477 1 - 0.0000 -
735.12/737.82 c 738 775805 650878 1 - 0.0000 -
740.09/742.87 c 743 781417 655217 1 - 0.0000 -
745.17/747.93 c 748 786913 659812 1 - 0.0000 -
750.15/752.98 c 753 792279 664218 1 - 0.0000 -
755.23/758.03 c 758 797776 668836 1 - 0.0000 -
760.21/763.09 c 763 803477 673580 1 - 0.0000 -
765.29/768.14 c 768 808965 678228 1 - 0.0000 -
770.27/773.19 c 773 814429 682823 1 - 0.0000 -
775.34/778.24 c 778 819959 687262 1 - 0.0000 -
780.32/783.29 c 783 825686 691901 1 - 0.0000 -
785.40/788.34 c 788 830953 696327 1 - 0.0000 -
790.39/793.39 c 793 836619 700991 1 - 0.0000 -
795.47/798.44 c 798 842181 705606 1 - 0.0000 -
800.54/803.50 c 804 847445 709822 1 - 0.0000 -
805.53/808.55 c 809 852836 714375 1 - 0.0000 -
810.60/813.60 c 814 858427 718934 1 - 0.0000 -
815.58/818.65 c 819 863949 723359 1 - 0.0000 -
820.66/823.70 c 824 869516 727963 1 - 0.0000 -
825.64/828.75 c 829 875319 732786 1 - 0.0000 -
830.72/833.80 c 834 880743 737411 1 - 0.0000 -
835.70/838.89 c 839 886329 741898 1 - 0.0000 -
840.78/843.97 c 844 891656 746585 1 - 0.0000 -
845.86/849.02 c 849 897041 751196 1 - 0.0000 -
850.85/854.07 c 854 902598 755878 1 - 0.0000 -
855.93/859.12 c 859 908410 760639 1 - 0.0000 -
860.91/864.17 c 864 914113 765309 1 - 0.0000 -
865.99/869.22 c 869 919666 769904 1 - 0.0000 -
870.97/874.27 c 874 925335 774398 1 - 0.0000 -
876.05/879.32 c 879 931118 779268 1 - 0.0000 -
881.04/884.38 c 884 936552 783746 1 - 0.0000 -
886.12/889.43 c 889 942100 788336 1 - 0.0000 -
891.10/894.48 c 894 947829 792935 1 - 0.0000 -
896.18/899.53 c 900 953505 797640 1 - 0.0000 -
901.17/904.58 c 905 959031 802353 1 - 0.0000 -
906.25/909.63 c 910 964787 807159 1 - 0.0000 -
911.23/914.68 c 915 970331 811980 1 - 0.0000 -
916.32/919.73 c 920 975853 816366 1 - 0.0000 -
921.30/924.78 c 925 981807 821050 1 - 0.0000 -
926.49/929.90 c 930 987267 825631 1 - 0.0000 -
931.47/934.97 c 935 992841 830466 1 - 0.0000 -
936.56/940.02 c 940 998883 835235 1 - 0.0000 -
941.54/945.07 c 945 1004754 839750 1 - 0.0000 -
946.63/950.12 c 950 1010230 844280 1 - 0.0000 -
951.61/955.17 c 955 1016166 849093 1 - 0.0000 -
956.68/960.22 c 960 1022151 853801 1 - 0.0000 -
961.67/965.27 c 965 1027694 858560 1 - 0.0000 -
966.74/970.32 c 970 1033311 863228 1 - 0.0000 -
971.73/975.37 c 975 1038971 868003 1 - 0.0000 -
976.81/980.42 c 980 1044494 872705 1 - 0.0000 -
981.79/985.47 c 985 1049880 877467 1 - 0.0000 -
986.88/990.52 c 991 1055336 882139 1 - 0.0000 -
991.86/995.57 c 996 1061232 886791 1 - 0.0000 -
996.95/1000.62 c 1001 1067051 891539 1 - 0.0000 -
1001.93/1005.67 c 1006 1072820 896122 1 - 0.0000 -
1007.01/1010.72 c 1011 1078771 900952 1 - 0.0000 -
1012.00/1015.77 c 1016 1084439 905587 1 - 0.0000 -
1017.08/1020.82 c 1021 1090231 910339 1 - 0.0000 -
1022.05/1025.86 c 1026 1096121 915179 1 - 0.0000 -
1027.14/1030.91 c 1031 1101835 919880 1 - 0.0000 -
1032.12/1035.96 c 1036 1107717 924845 1 - 0.0000 -
1037.19/1041.01 c 1041 1113431 929642 1 - 0.0000 -
1042.18/1046.06 c 1046 1119163 934358 1 - 0.0000 -
1047.16/1051.11 c 1051 1124977 939117 1 - 0.0000 -
1052.25/1056.16 c 1056 1130777 943934 1 - 0.0000 -
1057.32/1061.21 c 1061 1136559 948859 1 - 0.0000 -
1062.30/1066.26 c 1066 1142544 953815 1 - 0.0000 -
1067.38/1071.32 c 1071 1148104 958622 1 - 0.0000 -
1072.36/1076.37 c 1076 1153867 963563 1 - 0.0000 -
1077.45/1081.42 c 1081 1159582 968215 1 - 0.0000 -
1082.43/1086.47 c 1086 1165272 972848 1 - 0.0000 -
1087.51/1091.52 c 1092 1171191 977781 1 - 0.0000 -
1092.49/1096.57 c 1097 1177192 982602 1 - 0.0000 -
1097.57/1101.62 c 1102 1182780 987284 1 - 0.0000 -
1102.55/1106.68 c 1107 1188629 992089 1 - 0.0000 -
1107.63/1111.73 c 1112 1194262 996973 1 - 0.0000 -
1112.61/1116.78 c 1117 1199943 1001746 1 - 0.0000 -
1117.69/1121.83 c 1122 1205739 1006600 1 - 0.0000 -
1122.66/1126.89 c 1127 1211652 1011593 1 - 0.0000 -
1127.75/1131.94 c 1132 1217191 1016270 1 - 0.0000 -
1132.73/1136.99 c 1137 1222843 1021066 1 - 0.0000 -
1137.81/1142.04 c 1142 1228704 1025850 1 - 0.0000 -
1142.80/1147.09 c 1147 1234136 1030358 1 - 0.0000 -
1147.88/1152.14 c 1152 1240040 1035343 1 - 0.0000 -
1152.95/1157.20 c 1157 1245539 1039958 1 - 0.0000 -
1157.93/1162.25 c 1162 1251429 1044815 1 - 0.0000 -
1163.02/1167.30 c 1167 1257157 1049510 1 - 0.0000 -
1168.00/1172.35 c 1172 1263102 1054387 1 - 0.0000 -
1173.08/1177.40 c 1177 1268652 1059098 1 - 0.0000 -
1178.06/1182.45 c 1182 1274147 1063845 1 - 0.0000 -
1183.15/1187.53 c 1188 1279912 1068460 1 - 0.0000 -
1188.13/1192.57 c 1193 1285789 1073390 1 - 0.0000 -
1193.21/1197.62 c 1198 1291137 1078197 1 - 0.0000 -
1198.19/1202.67 c 1203 1296936 1083115 1 - 0.0000 -
1203.28/1207.72 c 1208 1302705 1087876 1 - 0.0000 -
1208.26/1212.79 c 1213 1308194 1092538 1 - 0.0000 -
1213.35/1217.84 c 1218 1313748 1097195 1 - 0.0000 -
1218.33/1222.89 c 1223 1319780 1102129 1 - 0.0000 -
1223.41/1227.94 c 1228 1325707 1106961 1 - 0.0000 -
1228.39/1232.99 c 1233 1331263 1111803 1 - 0.0000 -
1233.48/1238.04 c 1238 1336879 1116519 1 - 0.0000 -
1238.46/1243.09 c 1243 1342872 1121436 1 - 0.0000 -
1243.55/1248.14 c 1248 1348348 1125897 1 - 0.0000 -
1248.53/1253.19 c 1253 1353930 1130858 1 - 0.0000 -
1253.60/1258.24 c 1258 1359607 1135707 1 - 0.0000 -
1258.68/1263.30 c 1263 1365139 1140501 1 - 0.0000 -
1263.67/1268.35 c 1268 1370879 1145391 1 - 0.0000 -
1268.75/1273.41 c 1273 1376229 1149959 1 - 0.0000 -
1273.73/1278.47 c 1278 1381892 1154749 1 - 0.0000 -
1278.81/1283.52 c 1284 1387669 1159464 1 - 0.0000 -
1283.80/1288.57 c 1289 1393312 1164013 1 - 0.0000 -
1288.88/1293.62 c 1294 1398995 1168786 1 - 0.0000 -
1293.86/1298.67 c 1299 1404649 1173433 1 - 0.0000 -
1298.94/1303.72 c 1304 1410089 1178137 1 - 0.0000 -
1303.93/1308.77 c 1309 1415494 1182763 1 - 0.0000 -
1309.01/1313.82 c 1314 1421440 1187547 1 - 0.0000 -
1313.99/1318.87 c 1319 1427180 1192304 1 - 0.0000 -
1319.08/1323.92 c 1324 1433075 1197210 1 - 0.0000 -
1324.06/1328.97 c 1329 1438785 1202050 1 - 0.0000 -
1329.14/1334.04 c 1334 1444710 1206798 1 - 0.0000 -
1334.13/1339.09 c 1339 1450446 1211729 1 - 0.0000 -
1339.21/1344.14 c 1344 1455921 1216460 1 - 0.0000 -
1344.19/1349.19 c 1349 1461621 1221380 1 - 0.0000 -
1349.27/1354.24 c 1354 1467517 1226388 1 - 0.0000 -
1354.25/1359.29 c 1359 1473306 1231153 1 - 0.0000 -
1359.33/1364.34 c 1364 1479039 1236028 1 - 0.0000 -
1364.41/1369.42 c 1369 1484297 1240654 1 - 0.0000 -
1369.40/1374.47 c 1374 1490233 1245603 1 - 0.0000 -
1374.48/1379.52 c 1380 1496042 1250385 1 - 0.0000 -
1379.47/1384.57 c 1385 1502042 1255403 1 - 0.0000 -
1384.55/1389.64 c 1390 1508109 1260440 1 - 0.0000 -
1389.54/1394.69 c 1395 1513967 1265332 1 - 0.0000 -
1394.72/1399.80 c 1400 1519648 1270260 1 - 0.0000 -
1399.70/1404.85 c 1405 1526191 1275501 1 - 0.0000 -
1404.78/1409.90 c 1410 1531949 1280198 1 - 0.0000 -
1409.77/1414.95 c 1415 1537880 1285033 1 - 0.0000 -
1414.74/1420.01 c 1420 1543457 1289660 1 - 0.0000 -
1419.84/1425.05 c 1425 1549275 1294330 1 - 0.0000 -
1424.81/1430.10 c 1430 1554832 1298953 1 - 0.0000 -
1429.89/1435.15 c 1435 1560583 1303851 1 - 0.0000 -
1434.96/1440.20 c 1440 1566556 1308780 1 - 0.0000 -
1439.94/1445.25 c 1445 1572597 1313734 1 - 0.0000 -
1445.03/1450.30 c 1450 1578720 1318712 1 - 0.0000 -
1450.00/1455.35 c 1455 1584405 1323322 1 - 0.0000 -
1455.09/1460.40 c 1460 1590540 1328376 1 - 0.0000 -
1460.06/1465.45 c 1465 1596327 1333287 1 - 0.0000 -
1465.14/1470.50 c 1470 1602387 1338368 1 - 0.0000 -
1470.12/1475.55 c 1476 1607934 1343149 1 - 0.0000 -
1475.20/1480.60 c 1481 1613850 1348032 1 - 0.0000 -
1480.19/1485.65 c 1486 1619598 1352807 1 - 0.0000 -
1485.26/1490.70 c 1491 1625581 1357602 1 - 0.0000 -
1490.24/1495.75 c 1496 1630934 1362245 1 - 0.0000 -
1495.32/1500.80 c 1501 1636470 1366982 1 - 0.0000 -
1500.30/1505.85 c 1506 1642051 1371582 1 - 0.0000 -
1505.38/1510.90 c 1511 1647861 1376393 1 - 0.0000 -
1510.36/1515.97 c 1516 1653553 1380890 1 - 0.0000 -
1515.44/1521.02 c 1521 1659069 1385608 1 - 0.0000 -
1520.42/1526.07 c 1526 1664875 1390417 1 - 0.0000 -
1525.51/1531.13 c 1531 1670356 1394944 1 - 0.0000 -
1530.49/1536.18 c 1536 1676387 1399600 1 - 0.0000 -
1535.56/1541.23 c 1541 1682004 1404208 1 - 0.0000 -
1540.55/1546.28 c 1546 1687693 1408975 1 - 0.0000 -
1545.63/1551.34 c 1551 1693706 1414098 1 - 0.0000 -
1550.62/1556.39 c 1556 1699441 1418746 1 - 0.0000 -
1555.69/1561.44 c 1561 1704959 1423380 1 - 0.0000 -
1560.68/1566.49 c 1566 1710463 1428007 1 - 0.0000 -
1565.76/1571.54 c 1572 1716051 1432707 1 - 0.0000 -
1570.75/1576.59 c 1577 1721836 1437603 1 - 0.0000 -
1575.83/1581.64 c 1582 1727700 1442519 1 - 0.0000 -
1580.81/1586.69 c 1587 1733610 1447413 1 - 0.0000 -
1585.90/1591.74 c 1592 1739468 1452265 1 - 0.0000 -
1590.87/1596.79 c 1597 1745228 1457048 1 - 0.0000 -
1595.96/1601.84 c 1602 1750894 1461766 1 - 0.0000 -
1600.94/1606.89 c 1607 1756355 1466369 1 - 0.0000 -
1606.03/1611.94 c 1612 1762213 1471066 1 - 0.0000 -
1611.01/1616.99 c 1617 1768119 1476013 1 - 0.0000 -
1616.09/1622.04 c 1622 1774182 1481016 1 - 0.0000 -
1621.08/1627.10 c 1627 1779712 1485543 1 - 0.0000 -
1626.16/1632.16 c 1632 1785084 1490130 1 - 0.0000 -
1631.24/1637.21 c 1637 1790973 1495106 1 - 0.0000 -
1636.22/1642.29 c 1642 1796656 1499773 1 - 0.0000 -
1641.30/1647.34 c 1647 1802463 1504394 1 - 0.0000 -
1646.28/1652.39 c 1652 1808201 1509259 1 - 0.0000 -
1651.36/1657.44 c 1657 1813935 1513909 1 - 0.0000 -
1656.35/1662.49 c 1662 1819852 1518770 1 - 0.0000 -
1661.43/1667.54 c 1668 1825483 1523480 1 - 0.0000 -
1666.41/1672.59 c 1673 1831321 1528184 1 - 0.0000 -
1671.49/1677.64 c 1678 1837318 1533053 1 - 0.0000 -
1676.48/1682.69 c 1683 1843234 1537852 1 - 0.0000 -
1681.57/1687.74 c 1688 1849397 1543117 1 - 0.0000 -
1686.55/1692.79 c 1693 1855293 1547852 1 - 0.0000 -
1691.63/1697.84 c 1698 1861235 1552803 1 - 0.0000 -
1696.61/1702.89 c 1703 1866899 1557720 1 - 0.0000 -
1701.69/1707.94 c 1708 1872215 1562355 1 - 0.0000 -
1706.68/1712.99 c 1713 1877437 1567070 1 - 0.0000 -
1711.77/1718.04 c 1718 1882919 1571509 1 - 0.0000 -
1716.75/1723.09 c 1723 1888399 1576080 1 - 0.0000 -
1721.84/1728.14 c 1728 1893790 1580642 1 - 0.0000 -
1726.81/1733.19 c 1733 1899367 1585419 1 - 0.0000 -
1731.88/1738.24 c 1738 1905411 1590334 1 - 0.0000 -
1736.97/1743.30 c 1743 1911350 1595200 1 - 0.0000 -
1741.95/1748.36 c 1748 1917164 1600050 1 - 0.0000 -
1747.03/1753.41 c 1753 1922754 1604698 1 - 0.0000 -
1752.01/1758.46 c 1758 1928609 1609581 1 - 0.0000 -
1757.10/1763.51 c 1764 1934129 1614332 1 - 0.0000 -
1762.08/1768.56 c 1769 1939950 1619076 1 - 0.0000 -
1767.17/1773.61 c 1774 1945559 1623735 1 - 0.0000 -
1772.15/1778.66 c 1779 1951459 1628516 1 - 0.0000 -
1777.23/1783.71 c 1784 1957258 1633310 1 - 0.0000 -
1782.22/1788.76 c 1789 1962633 1637751 1 - 0.0000 -
1787.29/1793.81 c 1794 1968143 1642380 1 - 0.0000 -
1792.27/1798.88 c 1799 1974023 1647048 1 - 0.0000 -
1797.35/1803.93 c 1804 1980223 1652039 1 - 0.0000 -
1802.33/1808.99 c 1809 1985885 1656733 1 - 0.0000 -
1807.42/1814.04 c 1814 1991587 1661483 1 - 0.0000 -
1812.40/1819.09 c 1819 1996587 1665806 1 - 0.0000 -
1817.47/1824.14 c 1824 2002434 1670499 1 - 0.0000 -
1822.46/1829.19 c 1829 2008035 1675157 1 - 0.0000 -
1827.53/1834.24 c 1834 2014216 1680015 1 - 0.0000 -
1832.50/1839.29 c 1839 2019743 1684711 1 - 0.0000 -
1837.58/1844.34 c 1844 2025410 1689226 1 - 0.0000 -
1842.66/1849.40 c 1849 2031031 1693939 1 - 0.0000 -
1847.65/1854.45 c 1854 2036967 1698594 1 - 0.0000 -
1852.72/1859.50 c 1860 2042812 1703422 1 - 0.0000 -
1857.70/1864.56 c 1865 2048052 1707830 1 - 0.0000 -
1862.78/1869.61 c 1870 2053817 1712586 1 - 0.0000 -
1867.76/1874.66 c 1875 2059601 1717465 1 - 0.0000 -
1872.84/1879.71 c 1880 2065602 1722289 1 - 0.0000 -
1877.82/1884.76 c 1885 2071181 1726917 1 - 0.0000 -
1882.90/1889.81 c 1890 2076859 1731728 1 - 0.0000 -
1887.88/1894.86 c 1895 2082495 1736548 1 - 0.0000 -
1892.96/1899.92 c 1900 2087726 1740881 1 - 0.0000 -
1897.94/1904.97 c 1905 2093776 1745854 1 - 0.0000 -
1903.02/1910.02 c 1910 2099387 1750473 1 - 0.0000 -
1908.00/1915.07 c 1915 2105217 1755383 1 - 0.0000 -
1913.09/1920.12 c 1920 2111124 1760254 1 - 0.0000 -
1918.07/1925.17 c 1925 2116930 1765141 1 - 0.0000 -
1923.15/1930.23 c 1930 2122821 1769938 1 - 0.0000 -
1928.12/1935.28 c 1935 2129080 1774685 1 - 0.0000 -
1933.21/1940.34 c 1940 2134654 1779468 1 - 0.0000 -
1938.19/1945.39 c 1945 2140319 1784271 1 - 0.0000 -
1943.28/1950.49 c 1950 2146132 1789136 1 - 0.0000 -
1948.35/1955.54 c 1956 2151941 1793982 1 - 0.0000 -
1953.44/1960.62 c 1961 2157584 1798709 1 - 0.0000 -
1958.42/1965.67 c 1966 2163433 1803562 1 - 0.0000 -
1963.51/1970.72 c 1971 2169740 1808277 1 - 0.0000 -
1968.49/1975.77 c 1976 2174718 1812676 1 - 0.0000 -
1973.58/1980.83 c 1981 2180340 1817365 1 - 0.0000 -
1978.55/1985.88 c 1986 2186148 1822105 1 - 0.0000 -
1983.63/1990.93 c 1991 2191699 1826757 1 - 0.0000 -
1988.61/1995.98 c 1996 2197717 1831731 1 - 0.0000 -
1993.69/2001.03 c 2001 2203360 1836463 1 - 0.0000 -
1998.68/2006.08 c 2006 2208826 1841210 1 - 0.0000 -
2003.77/2011.13 c 2011 2214342 1845808 1 - 0.0000 -
2008.75/2016.18 c 2016 2220284 1850686 1 - 0.0000 -
2013.82/2021.23 c 2021 2226271 1855544 1 - 0.0000 -
2018.80/2026.28 c 2026 2231753 1860249 1 - 0.0000 -
2023.89/2031.33 c 2031 2237688 1865054 1 - 0.0000 -
2028.96/2036.40 c 2036 2243189 1869735 1 - 0.0000 -
2033.95/2041.45 c 2041 2249127 1874644 1 - 0.0000 -
2038.94/2046.49 c 2046 2254977 1879577 1 - 0.0000 -
2044.02/2051.54 c 2052 2261063 1884452 1 - 0.0000 -
2049.00/2056.59 c 2057 2266762 1889179 1 - 0.0000 -
2054.09/2061.64 c 2062 2272561 1893904 1 - 0.0000 -
2059.07/2066.69 c 2067 2278422 1898689 1 - 0.0000 -
2064.15/2071.74 c 2072 2283925 1903513 1 - 0.0000 -
2069.13/2076.79 c 2077 2289676 1908411 1 - 0.0000 -
2074.22/2081.84 c 2082 2295691 1913227 1 - 0.0000 -
2079.20/2086.89 c 2087 2301397 1918060 1 - 0.0000 -
2084.28/2091.94 c 2092 2307067 1922881 1 - 0.0000 -
2089.26/2096.99 c 2097 2313237 1927951 1 - 0.0000 -
2094.34/2102.04 c 2102 2319009 1932688 1 - 0.0000 -
2099.32/2107.09 c 2107 2324617 1937355 1 - 0.0000 -
2104.41/2112.14 c 2112 2330299 1941989 1 - 0.0000 -
2109.39/2117.19 c 2117 2336147 1946868 1 - 0.0000 -
2114.46/2122.24 c 2122 2341751 1951571 1 - 0.0000 -
2119.44/2127.29 c 2127 2347310 1956268 1 - 0.0000 -
2124.53/2132.34 c 2132 2352854 1960934 1 - 0.0000 -
2129.51/2137.39 c 2137 2358165 1965508 1 - 0.0000 -
2134.59/2142.44 c 2142 2363840 1970317 1 - 0.0000 -
2139.58/2147.49 c 2147 2369685 1975171 1 - 0.0000 -
2144.66/2152.54 c 2153 2375516 1980028 1 - 0.0000 -
2149.75/2157.60 c 2158 2381658 1985078 1 - 0.0000 -
2154.73/2162.65 c 2163 2387221 1989672 1 - 0.0000 -
2159.80/2167.70 c 2168 2393166 1994411 1 - 0.0000 -
2164.79/2172.75 c 2173 2399063 1999234 1 - 0.0000 -
2169.88/2177.82 c 2178 2404749 2004068 1 - 0.0000 -
2174.86/2182.87 c 2183 2410163 2008547 1 - 0.0000 -
2179.94/2187.92 c 2188 2415626 2013052 1 - 0.0000 -
2184.92/2192.99 c 2193 2421289 2017655 1 - 0.0000 -
2190.01/2198.03 c 2198 2426955 2022272 1 - 0.0000 -
2195.00/2203.08 c 2203 2432738 2026979 1 - 0.0000 -
2200.07/2208.14 c 2208 2438454 2031681 1 - 0.0000 -
2205.14/2213.21 c 2213 2444449 2036551 1 - 0.0000 -
2210.13/2218.26 c 2218 2450480 2041429 1 - 0.0000 -
2215.22/2223.31 c 2223 2456020 2046235 1 - 0.0000 -
2220.20/2228.36 c 2228 2461650 2050872 1 - 0.0000 -
2225.28/2233.41 c 2233 2467613 2055758 1 - 0.0000 -
2230.26/2238.46 c 2238 2473186 2060500 1 - 0.0000 -
2235.35/2243.51 c 2244 2478934 2065316 1 - 0.0000 -
2240.32/2248.56 c 2249 2484575 2070066 1 - 0.0000 -
2245.41/2253.62 c 2254 2490322 2074952 1 - 0.0000 -
2250.38/2258.67 c 2259 2495816 2079633 1 - 0.0000 -
2255.47/2263.72 c 2264 2501549 2084368 1 - 0.0000 -
2260.44/2268.77 c 2269 2507202 2089122 1 - 0.0000 -
2265.52/2273.82 c 2274 2513071 2093892 1 - 0.0000 -
2270.51/2278.87 c 2279 2519039 2098771 1 - 0.0000 -
2275.58/2283.92 c 2284 2524626 2103465 1 - 0.0000 -
2280.56/2288.97 c 2289 2530504 2108185 1 - 0.0000 -
2285.64/2294.02 c 2294 2536213 2112932 1 - 0.0000 -
2290.63/2299.07 c 2299 2541445 2117403 1 - 0.0000 -
2295.72/2304.13 c 2304 2547047 2122093 1 - 0.0000 -
2300.69/2309.18 c 2309 2552960 2126897 1 - 0.0000 -
2305.76/2314.23 c 2314 2558391 2131452 1 - 0.0000 -
2310.75/2319.29 c 2319 2564090 2136328 1 - 0.0000 -
2315.83/2324.34 c 2324 2570093 2141217 1 - 0.0000 -
2320.81/2329.39 c 2329 2575906 2145991 1 - 0.0000 -
2325.90/2334.44 c 2334 2581565 2150736 1 - 0.0000 -
2330.88/2339.49 c 2339 2586723 2155243 1 - 0.0000 -
2335.95/2344.54 c 2345 2592359 2159806 1 - 0.0000 -
2340.93/2349.59 c 2350 2597954 2164362 1 - 0.0000 -
2346.02/2354.64 c 2355 2603418 2169072 1 - 0.0000 -
2351.00/2359.69 c 2360 2609341 2173970 1 - 0.0000 -
2356.07/2364.74 c 2365 2615083 2178526 1 - 0.0000 -
2361.06/2369.79 c 2370 2620716 2183239 1 - 0.0000 -
2366.14/2374.84 c 2375 2626089 2187732 1 - 0.0000 -
2371.11/2379.89 c 2380 2631699 2192354 1 - 0.0000 -
2376.19/2384.94 c 2385 2637647 2197241 1 - 0.0000 -
2381.17/2389.99 c 2390 2643620 2202145 1 - 0.0000 -
2386.25/2395.04 c 2395 2649426 2207059 1 - 0.0000 -
2391.24/2400.09 c 2400 2654831 2211570 1 - 0.0000 -
2396.32/2405.14 c 2405 2660611 2216464 1 - 0.0000 -
2401.38/2410.20 c 2410 2666128 2221026 1 - 0.0000 -
2406.36/2415.25 c 2415 2671766 2225756 1 - 0.0000 -
2411.44/2420.30 c 2420 2677382 2230537 1 - 0.0000 -
2416.42/2425.35 c 2425 2683011 2235323 1 - 0.0000 -
2421.50/2430.40 c 2430 2688809 2240082 1 - 0.0000 -
2426.48/2435.46 c 2435 2694782 2245023 1 - 0.0000 -
2431.56/2440.51 c 2441 2700313 2249582 1 - 0.0000 -
2436.54/2445.58 c 2446 2705742 2254263 1 - 0.0000 -
2441.62/2450.63 c 2451 2711258 2259099 1 - 0.0000 -
2446.60/2455.68 c 2456 2716783 2263707 1 - 0.0000 -
2451.68/2460.73 c 2461 2722288 2268403 1 - 0.0000 -
2456.66/2465.78 c 2466 2727554 2272767 1 - 0.0000 -
2461.74/2470.83 c 2471 2733219 2277513 1 - 0.0000 -
2466.72/2475.88 c 2476 2738869 2282203 1 - 0.0000 -
2471.80/2480.93 c 2481 2744622 2286962 1 - 0.0000 -
2476.78/2485.98 c 2486 2750340 2291485 1 - 0.0000 -
2481.86/2491.03 c 2491 2756166 2296202 1 - 0.0000 -
2486.84/2496.08 c 2496 2762202 2301047 1 - 0.0000 -
2491.93/2501.13 c 2501 2767944 2305735 1 - 0.0000 -
2496.92/2506.18 c 2506 2773514 2310249 1 - 0.0000 -
2501.98/2511.23 c 2511 2779206 2314941 1 - 0.0000 -
2506.97/2516.28 c 2516 2785022 2319767 1 - 0.0000 -
2512.05/2521.33 c 2521 2790653 2324488 1 - 0.0000 -
2517.03/2526.38 c 2526 2796202 2329250 1 - 0.0000 -
2522.11/2531.43 c 2531 2801990 2334075 1 - 0.0000 -
2527.10/2536.48 c 2536 2807038 2338481 1 - 0.0000 -
2532.18/2541.53 c 2542 2812596 2343166 1 - 0.0000 -
2537.16/2546.58 c 2547 2818047 2347654 1 - 0.0000 -
2542.25/2551.63 c 2552 2823933 2352547 1 - 0.0000 -
2547.23/2556.68 c 2557 2829881 2357363 1 - 0.0000 -
2552.31/2561.73 c 2562 2835598 2362144 1 - 0.0000 -
2557.29/2566.78 c 2567 2841288 2366953 1 - 0.0000 -
2562.37/2571.83 c 2572 2847079 2371700 1 - 0.0000 -
2567.35/2576.88 c 2577 2853083 2376610 1 - 0.0000 -
2572.43/2581.93 c 2582 2858693 2381236 1 - 0.0000 -
2577.42/2586.98 c 2587 2864692 2386290 1 - 0.0000 -
2582.51/2592.03 c 2592 2870207 2391020 1 - 0.0000 -
2587.49/2597.08 c 2597 2876019 2395762 1 - 0.0000 -
2592.57/2602.13 c 2602 2882471 2400907 1 - 0.0000 -
2597.56/2607.19 c 2607 2888049 2405541 1 - 0.0000 -
2602.62/2612.24 c 2612 2893649 2410306 1 - 0.0000 -
2607.61/2617.29 c 2617 2898842 2414684 1 - 0.0000 -
2612.69/2622.35 c 2622 2904407 2419231 1 - 0.0000 -
2617.78/2627.47 c 2627 2909859 2423765 1 - 0.0000 -
2622.85/2632.52 c 2633 2915567 2428503 1 - 0.0000 -
2627.94/2637.63 c 2638 2921089 2433034 1 - 0.0000 -
2632.92/2642.68 c 2643 2926814 2437745 1 - 0.0000 -
2638.01/2647.73 c 2648 2932572 2442571 1 - 0.0000 -
2642.99/2652.78 c 2653 2937912 2447130 1 - 0.0000 -
2648.06/2657.83 c 2658 2943221 2451749 1 - 0.0000 -
2653.14/2662.94 c 2663 2948785 2456331 1 - 0.0000 -
2658.12/2668.00 c 2668 2954661 2461176 1 - 0.0000 -
2663.21/2673.05 c 2673 2960237 2465873 1 - 0.0000 -
2668.19/2678.10 c 2678 2965796 2470467 1 - 0.0000 -
2673.27/2683.15 c 2683 2971612 2475405 1 - 0.0000 -
2678.34/2688.20 c 2688 2977514 2480191 1 - 0.0000 -
2683.32/2693.25 c 2693 2983019 2484846 1 - 0.0000 -
2688.39/2698.30 c 2698 2988543 2489515 1 - 0.0000 -
2693.38/2703.35 c 2703 2994350 2494311 1 - 0.0000 -
2698.46/2708.40 c 2708 3000132 2499036 1 - 0.0000 -
2703.44/2713.45 c 2713 3005971 2503929 1 - 0.0000 -
2708.52/2718.50 c 2718 3011548 2508608 1 - 0.0000 -
2713.49/2723.55 c 2724 3017474 2513337 1 - 0.0000 -
2718.58/2728.60 c 2729 3023321 2518050 1 - 0.0000 -
2723.56/2733.66 c 2734 3028886 2522630 1 - 0.0000 -
2728.63/2738.70 c 2739 3034425 2527291 1 - 0.0000 -
2733.61/2743.76 c 2744 3039852 2531751 1 - 0.0000 -
2738.69/2748.81 c 2749 3045189 2536276 1 - 0.0000 -
2743.67/2753.86 c 2754 3050817 2540910 1 - 0.0000 -
2748.75/2758.91 c 2759 3056510 2545603 1 - 0.0000 -
2753.74/2763.97 c 2764 3062336 2550491 1 - 0.0000 -
2758.70/2769.01 c 2769 3068200 2555051 1 - 0.0000 -
2763.80/2774.06 c 2774 3073735 2559469 1 - 0.0000 -
2768.78/2779.11 c 2779 3079142 2563934 1 - 0.0000 -
2773.87/2784.16 c 2784 3084847 2568534 1 - 0.0000 -
2778.94/2789.21 c 2789 3090537 2573037 1 - 0.0000 -
2783.92/2794.26 c 2794 3096212 2577730 1 - 0.0000 -
2789.01/2799.32 c 2799 3101838 2582383 1 - 0.0000 -
2794.08/2804.43 c 2804 3107528 2587189 1 - 0.0000 -
2799.07/2809.48 c 2809 3113294 2591740 1 - 0.0000 -
2804.15/2814.54 c 2815 3118488 2596417 1 - 0.0000 -
2809.13/2819.59 c 2820 3124172 2600956 1 - 0.0000 -
2814.22/2824.64 c 2825 3129901 2605809 1 - 0.0000 -
2819.20/2829.69 c 2830 3135108 2610360 1 - 0.0000 -
2824.29/2834.74 c 2835 3140858 2615143 1 - 0.0000 -
2829.27/2839.79 c 2840 3146523 2620046 1 - 0.0000 -
2834.35/2844.84 c 2845 3152006 2624714 1 - 0.0000 -
2839.33/2849.89 c 2850 3157708 2629489 1 - 0.0000 -
2844.42/2854.94 c 2855 3163225 2633933 1 - 0.0000 -
2849.41/2859.99 c 2860 3168823 2638499 1 - 0.0000 -
2854.49/2865.04 c 2865 3174463 2643156 1 - 0.0000 -
2859.48/2870.09 c 2870 3179943 2647697 1 - 0.0000 -
2864.56/2875.14 c 2875 3185456 2652243 1 - 0.0000 -
2869.54/2880.19 c 2880 3191208 2657041 1 - 0.0000 -
2874.61/2885.24 c 2885 3196616 2661660 1 - 0.0000 -
2879.69/2890.33 c 2890 3201999 2666087 1 - 0.0000 -
2884.67/2895.38 c 2895 3207442 2670768 1 - 0.0000 -
2889.76/2900.43 c 2900 3213153 2675513 1 - 0.0000 -
2894.74/2905.48 c 2905 3218853 2680164 1 - 0.0000 -
2899.83/2910.53 c 2911 3224587 2684991 1 - 0.0000 -
2904.81/2915.58 c 2916 3230276 2689794 1 - 0.0000 -
2909.89/2920.63 c 2921 3235825 2694555 1 - 0.0000 -
2914.87/2925.68 c 2926 3241661 2699479 1 - 0.0000 -
2919.96/2930.73 c 2931 3247362 2704172 1 - 0.0000 -
2924.94/2935.78 c 2936 3252714 2708717 1 - 0.0000 -
2930.03/2940.83 c 2941 3258368 2713377 1 - 0.0000 -
2935.10/2945.90 c 2946 3263847 2718049 1 - 0.0000 -
2940.09/2950.95 c 2951 3269869 2722864 1 - 0.0000 -
2945.07/2956.01 c 2956 3275519 2727708 1 - 0.0000 -
2950.16/2961.05 c 2961 3281074 2732443 1 - 0.0000 -
2955.15/2966.10 c 2966 3286579 2737114 1 - 0.0000 -
2960.22/2971.15 c 2971 3292015 2741564 1 - 0.0000 -
2965.30/2976.22 c 2976 3297612 2746259 1 - 0.0000 -
2970.28/2981.27 c 2981 3302973 2750797 1 - 0.0000 -
2975.36/2986.32 c 2986 3308633 2755491 1 - 0.0000 -
2980.34/2991.37 c 2991 3314272 2760238 1 - 0.0000 -
2985.43/2996.42 c 2996 3320001 2764885 1 - 0.0000 -
2990.41/3001.47 c 3001 3325594 2769595 1 - 0.0000 -
2995.49/3006.56 c 3007 3331013 2774257 1 - 0.0000 -
3000.58/3011.60 c 3012 3336603 2778919 1 - 0.0000 -
3005.56/3016.65 c 3017 3342537 2783838 1 - 0.0000 -
3010.65/3021.70 c 3022 3347557 2788136 1 - 0.0000 -
3015.63/3026.75 c 3027 3352748 2792474 1 - 0.0000 -
3020.71/3031.81 c 3032 3358406 2797177 1 - 0.0000 -
3025.69/3036.86 c 3037 3363887 2801688 1 - 0.0000 -
3030.78/3041.91 c 3042 3369513 2806154 1 - 0.0000 -
3035.76/3046.96 c 3047 3374936 2810741 1 - 0.0000 -
3040.73/3052.01 c 3052 3380610 2815567 1 - 0.0000 -
3045.82/3057.07 c 3057 3385987 2820073 1 - 0.0000 -
3050.90/3062.12 c 3062 3391426 2824594 1 - 0.0000 -
3055.89/3067.17 c 3067 3396957 2829145 1 - 0.0000 -
3060.95/3072.22 c 3072 3402509 2833597 1 - 0.0000 -
3065.93/3077.27 c 3077 3407645 2837906 1 - 0.0000 -
3071.02/3082.32 c 3082 3413375 2842652 1 - 0.0000 -
3076.00/3087.37 c 3087 3419030 2847414 1 - 0.0000 -
3081.09/3092.42 c 3092 3424890 2852197 1 - 0.0000 -
3086.07/3097.47 c 3097 3430465 2856863 1 - 0.0000 -
3091.15/3102.52 c 3103 3436122 2861559 1 - 0.0000 -
3096.23/3107.60 c 3108 3441477 2866094 1 - 0.0000 -
3101.22/3112.65 c 3113 3447033 2870847 1 - 0.0000 -
3106.30/3117.70 c 3118 3452534 2875517 1 - 0.0000 -
3111.28/3122.75 c 3123 3458516 2880530 1 - 0.0000 -
3116.37/3127.80 c 3128 3464427 2885349 1 - 0.0000 -
3121.35/3132.86 c 3133 3470131 2890128 1 - 0.0000 -
3126.43/3137.91 c 3138 3475647 2894644 1 - 0.0000 -
3131.42/3142.96 c 3143 3480720 2899038 1 - 0.0000 -
3136.50/3148.02 c 3148 3485806 2903389 1 - 0.0000 -
3141.48/3153.09 c 3153 3491152 2907983 1 - 0.0000 -
3146.57/3158.14 c 3158 3497121 2912788 1 - 0.0000 -
3151.56/3163.19 c 3163 3502161 2917117 1 - 0.0000 -
3156.62/3168.24 c 3168 3507388 2921678 1 - 0.0000 -
3161.61/3173.29 c 3173 3512384 2926142 1 - 0.0000 -
3166.68/3178.34 c 3178 3517633 2930660 1 - 0.0000 -
3171.67/3183.39 c 3183 3523018 2935336 1 - 0.0000 -
3176.74/3188.44 c 3188 3528406 2939736 1 - 0.0000 -
3181.72/3193.49 c 3193 3534094 2944371 1 - 0.0000 -
3186.81/3198.54 c 3199 3539793 2949128 1 - 0.0000 -
3191.78/3203.59 c 3204 3545670 2954116 1 - 0.0000 -
3196.86/3208.64 c 3209 3551370 2958766 1 - 0.0000 -
3201.85/3213.69 c 3214 3557506 2963654 1 - 0.0000 -
3206.92/3218.75 c 3219 3563181 2968318 1 - 0.0000 -
3212.00/3223.80 c 3224 3568749 2973076 1 - 0.0000 -
3216.98/3228.85 c 3229 3574632 2977799 1 - 0.0000 -
3222.06/3233.90 c 3234 3580438 2982572 1 - 0.0000 -
3227.04/3238.95 c 3239 3585814 2987167 1 - 0.0000 -
3232.02/3244.01 c 3244 3591139 2991763 1 - 0.0000 -
3237.11/3249.05 c 3249 3596646 2996388 1 - 0.0000 -
3242.09/3254.10 c 3254 3602605 3001272 1 - 0.0000 -
3247.17/3259.15 c 3259 3607704 3005536 1 - 0.0000 -
3252.25/3264.20 c 3264 3613558 3010098 1 - 0.0000 -
3257.23/3269.25 c 3269 3619347 3014836 1 - 0.0000 -
3262.31/3274.30 c 3274 3624714 3019288 1 - 0.0000 -
3267.30/3279.36 c 3279 3629670 3023661 1 - 0.0000 -
3272.38/3284.41 c 3284 3635096 3028318 1 - 0.0000 -
3277.36/3289.46 c 3289 3640813 3033055 1 - 0.0000 -
3282.44/3294.51 c 3295 3646424 3037590 1 - 0.0000 -
3287.42/3299.56 c 3300 3651933 3042114 1 - 0.0000 -
3292.50/3304.61 c 3305 3657406 3046757 1 - 0.0000 -
3297.48/3309.69 c 3310 3662949 3051397 1 - 0.0000 -
3302.56/3314.74 c 3315 3668959 3056349 1 - 0.0000 -
3307.54/3319.79 c 3320 3674372 3060883 1 - 0.0000 -
3312.62/3324.84 c 3325 3680332 3065857 1 - 0.0000 -
3317.60/3329.89 c 3330 3686077 3070557 1 - 0.0000 -
3322.68/3334.94 c 3335 3691475 3075068 1 - 0.0000 -
3327.66/3339.99 c 3340 3696830 3079602 1 - 0.0000 -
3332.76/3345.05 c 3345 3702418 3084392 1 - 0.0000 -
3337.73/3350.10 c 3350 3708155 3089018 1 - 0.0000 -
3342.82/3355.15 c 3355 3713544 3093485 1 - 0.0000 -
3347.88/3360.20 c 3360 3718867 3098044 1 - 0.0000 -
3352.96/3365.30 c 3365 3724188 3102565 1 - 0.0000 -
3357.94/3370.35 c 3370 3729678 3107230 1 - 0.0000 -
3363.02/3375.40 c 3375 3735062 3111776 1 - 0.0000 -
3368.01/3380.45 c 3380 3740320 3116356 1 - 0.0000 -
3373.09/3385.50 c 3386 3746374 3121265 1 - 0.0000 -
3378.08/3390.55 c 3391 3752077 3125966 1 - 0.0000 -
3383.16/3395.60 c 3396 3757834 3130782 1 - 0.0000 -
3388.24/3400.75 c 3401 3763485 3135550 1 - 0.0000 -
3393.32/3405.80 c 3406 3768534 3139857 1 - 0.0000 -
3398.40/3410.92 c 3411 3774225 3144576 1 - 0.0000 -
3403.38/3416.01 c 3416 3779515 3149112 1 - 0.0000 -
3408.47/3421.05 c 3421 3784760 3153501 1 - 0.0000 -
3413.45/3426.10 c 3426 3790453 3158293 1 - 0.0000 -
3418.54/3431.15 c 3431 3796128 3163139 1 - 0.0000 -
3423.60/3436.20 c 3436 3802042 3167880 1 - 0.0000 -
3428.59/3441.25 c 3441 3807294 3172293 1 - 0.0000 -
3433.67/3446.31 c 3446 3813165 3176939 1 - 0.0000 -
3438.65/3451.36 c 3451 3818702 3181584 1 - 0.0000 -
3443.73/3456.47 c 3456 3824262 3186192 1 - 0.0000 -
3448.82/3461.52 c 3462 3830123 3191088 1 - 0.0000 -
3453.80/3466.58 c 3467 3835918 3195854 1 - 0.0000 -
3458.88/3471.63 c 3472 3841137 3200121 1 - 0.0000 -
3463.87/3476.68 c 3477 3846458 3204716 1 - 0.0000 -
3468.95/3481.73 c 3482 3852406 3209746 1 - 0.0000 -
3473.93/3486.78 c 3487 3857884 3214373 1 - 0.0000 -
3479.01/3491.83 c 3492 3863307 3218953 1 - 0.0000 -
3484.00/3496.88 c 3497 3868938 3223472 1 - 0.0000 -
3489.07/3501.93 c 3502 3874322 3227890 1 - 0.0000 -
3494.07/3506.98 c 3507 3880102 3232653 1 - 0.0000 -
3499.15/3512.03 c 3512 3885389 3237078 1 - 0.0000 -
3504.13/3517.08 c 3517 3890949 3241852 1 - 0.0000 -
3509.22/3522.16 c 3522 3896271 3246343 1 - 0.0000 -
3514.28/3527.21 c 3527 3901825 3251019 1 - 0.0000 -
3519.27/3532.28 c 3532 3907041 3255391 1 - 0.0000 -
3524.35/3537.33 c 3537 3912344 3260012 1 - 0.0000 -
3529.33/3542.38 c 3542 3917782 3264703 1 - 0.0000 -
3534.41/3547.43 c 3547 3922746 3268996 1 - 0.0000 -
3539.39/3552.48 c 3552 3928184 3273571 1 - 0.0000 -
3544.48/3557.53 c 3558 3933742 3278349 1 - 0.0000 -
3549.56/3562.62 c 3563 3938844 3282630 1 - 0.0000 -
3554.54/3567.67 c 3568 3943994 3286956 1 - 0.0000 -
3559.62/3572.72 c 3573 3949680 3291698 1 - 0.0000 -
3564.61/3577.78 c 3578 3954844 3296181 1 - 0.0000 -
3569.69/3582.83 c 3583 3960334 3300910 1 - 0.0000 -
3574.67/3587.88 c 3588 3965961 3305529 1 - 0.0000 -
3579.75/3592.95 c 3593 3971323 3310077 1 - 0.0000 -
3584.73/3598.01 c 3598 3976707 3314676 1 - 0.0000 -
3592.51/3605.75 c SCIP Status : c solving was interrupted [hard time limit reached]
3592.51/3605.75 c Total Time : 3605.7500
3592.51/3605.75 c solving : 3605.7500
3592.51/3605.75 c presolving : 0.0740 (included in solving)
3592.51/3605.75 c B&B Tree :
3592.51/3605.75 c nodes (total) : 1
3592.51/3605.75 c Solution :
3592.51/3605.75 c Solutions found : 0
3592.51/3605.75 c Primal Bound : -
3592.51/3605.75 c Dual Bound : +0.00000000000000e+00
3592.51/3605.75 c Gap : -
3592.61/3605.85 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 (62824 MiB free)
memory of node 1: 64510 MiB (63088 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448120-1721363843/watcher-4448120-1721363843 -o /tmp/evaluation-result-4448120-1721363843/solver-4448120-1721363843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988426 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448120-1721363843.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=988484, runsolver pid=988474
Current StackSize limit: 8192 KiB
[startup+0.10011 s]*
/proc/loadavg: 3.59 4.01 4.09 7/251 988496
/proc/meminfo: memFree=128874692/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=48472 memory=27624 CPUtime=0.1 cores=5,7
/proc/988484/stat : 988484 (fscip) R 988474 988484 988413 0 -1 4194304 4639 0 0 0 9 1 0 0 20 0 2 0 188543914 49635328 6906 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 12118 6906 2766 3032 0 8517 0
[pid=988484/tid=988497] ppid=988474 vsize=48616 memory=4026531971 CPUtime=0 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 188543925 49782784 6906 134679101440 4194304 16613245 140722696901792 0 0 0 2147221247 0 2 0 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48472 KiB
Current children cumulated memory: 27624 KiB
[startup+0.216864 s]*
/proc/loadavg: 3.59 4.01 4.09 8/254 988499
/proc/meminfo: memFree=128837652/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=124200 memory=40532 CPUtime=0.22 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 8129 0 0 0 20 2 0 0 20 0 3 0 188543914 127180800 10133 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 31050 10133 2846 3032 0 14036 0
[pid=988484/tid=988497] ppid=988474 vsize=124200 memory=664970851429515395 CPUtime=0.09 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 2883 0 0 0 9 0 0 0 20 0 3 0 188543925 127180800 10133 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=124200 memory=671 CPUtime=0 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188543927 127180800 10133 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 124200 KiB
Current children cumulated memory: 40532 KiB
[startup+0.314633 s]*
/proc/loadavg: 3.59 4.01 4.09 5/254 988499
/proc/meminfo: memFree=128828724/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=124200 memory=41564 CPUtime=0.32 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 8303 0 0 0 30 2 0 0 20 0 3 0 188543914 127180800 10391 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 31050 10391 2910 3032 0 14206 0
[pid=988484/tid=988497] ppid=988474 vsize=124200 memory=-6225773925555682153 CPUtime=0.19 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 3057 0 0 0 19 0 0 0 20 0 3 0 188543925 127180800 10391 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=124200 memory=0 CPUtime=0 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188543927 127180800 10391 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 124200 KiB
Current children cumulated memory: 41564 KiB
[startup+0.700402 s]
/proc/loadavg: 3.59 4.01 4.09 7/254 988499
/proc/meminfo: memFree=128805764/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=124200 memory=49516 CPUtime=0.68 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 10468 0 0 0 66 2 0 0 20 0 3 0 188543914 127180800 12379 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 31050 12379 2926 3032 0 16546 0
[pid=988484/tid=988497] ppid=988474 vsize=124200 memory=0 CPUtime=0.56 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 5222 0 0 0 55 1 0 0 20 0 3 0 188543925 127180800 12379 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=124200 memory=0 CPUtime=0 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188543927 127180800 12379 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 124200 KiB
Current children cumulated memory: 49516 KiB
[startup+1.50042 s]
/proc/loadavg: 3.59 4.01 4.09 7/254 988499
/proc/meminfo: memFree=128787552/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=125164 memory=63000 CPUtime=1.48 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 17591 0 0 0 144 4 0 0 20 0 3 0 188543914 128167936 15750 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 31291 15750 2926 3032 0 20007 0
[pid=988484/tid=988497] ppid=988474 vsize=125164 memory=0 CPUtime=1.36 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 12318 0 0 0 134 2 0 0 20 0 3 0 188543925 128167936 15750 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=125164 memory=0 CPUtime=0 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188543927 128167936 15750 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 125164 KiB
Current children cumulated memory: 63000 KiB
[startup+3.11352 s]
/proc/loadavg: 3.63 4.01 4.09 6/254 988549
/proc/meminfo: memFree=128752332/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=125164 memory=65480 CPUtime=3.09 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 18871 0 0 0 305 4 0 0 20 0 3 0 188543914 128167936 16370 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 31291 16370 2926 3032 0 20638 0
[pid=988484/tid=988497] ppid=988474 vsize=125164 memory=0 CPUtime=2.96 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 13594 0 0 0 294 2 0 0 20 0 3 0 188543925 128167936 16370 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=125164 memory=49516 CPUtime=0 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 188543927 128167936 16370 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 125164 KiB
Current children cumulated memory: 65480 KiB
[startup+6.30038 s]
/proc/loadavg: 3.63 4.01 4.09 6/254 988549
/proc/meminfo: memFree=128723984/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=125164 memory=73088 CPUtime=6.26 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 31734 0 0 0 620 6 0 0 20 0 3 0 188543914 128167936 18272 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 31291 18272 2926 3032 0 22304 0
[pid=988484/tid=988497] ppid=988474 vsize=125164 memory=0 CPUtime=6.14 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 26434 0 0 0 610 4 0 0 20 0 3 0 188543925 128167936 18272 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=125164 memory=67972 CPUtime=0 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 188543927 128167936 18272 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 125164 KiB
Current children cumulated memory: 73088 KiB
[startup+12.7004 s]
/proc/loadavg: 3.66 4.01 4.09 6/254 988645
/proc/meminfo: memFree=128729940/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=125164 memory=84500 CPUtime=12.64 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 49770 0 0 0 1255 9 0 0 20 0 3 0 188543914 128167936 21125 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 31291 21125 2974 3032 0 25948 0
[pid=988484/tid=988497] ppid=988474 vsize=125164 memory=74516 CPUtime=12.52 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 44431 0 0 0 1244 8 0 0 20 0 3 0 188543925 128167936 21125 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=125164 memory=0 CPUtime=0 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 188543927 128167936 21125 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 125164 KiB
Current children cumulated memory: 84500 KiB
[startup+25.5004 s]
/proc/loadavg: 3.73 4.01 4.09 6/254 988648
/proc/meminfo: memFree=128659864/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=190700 memory=101272 CPUtime=25.4 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 87388 0 0 0 2525 15 0 0 20 0 3 0 188543914 195276800 25318 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 47675 25318 2974 3032 0 29435 0
[pid=988484/tid=988497] ppid=988474 vsize=190700 memory=11464 CPUtime=25.27 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 81981 0 0 0 2514 13 0 0 20 0 3 0 188543925 195276800 25318 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=190700 memory=2632 CPUtime=0 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 188543927 195276800 25318 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 190700 KiB
Current children cumulated memory: 101272 KiB
[startup+51.1134 s]
/proc/loadavg: 3.89 4.02 4.09 6/254 988651
/proc/meminfo: memFree=128559240/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=190700 memory=128764 CPUtime=50.93 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 158033 0 0 0 5066 27 0 0 20 0 3 0 188543914 195276800 32191 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 47675 32191 2974 3032 0 36906 0
[pid=988484/tid=988497] ppid=988474 vsize=190700 memory=129820 CPUtime=50.8 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 152556 0 0 0 5055 25 0 0 20 0 3 0 188543925 195276800 32191 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=190700 memory=117816 CPUtime=0 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 188543927 195276800 32191 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 190700 KiB
Current children cumulated memory: 128764 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.05 4.09 6/254 988659
/proc/meminfo: memFree=128349664/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=259628 memory=196424 CPUtime=101.91 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 234991 0 0 0 10148 43 0 0 20 0 3 0 188543914 265859072 49106 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 64907 49106 2974 3032 0 53268 0
[pid=988484/tid=988497] ppid=988474 vsize=259628 memory=187600 CPUtime=101.78 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 229439 0 0 0 10137 41 0 0 20 0 3 0 188543925 265859072 49106 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=259628 memory=5291976877115280672 CPUtime=0 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 188543927 265859072 49106 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 259628 KiB
Current children cumulated memory: 196424 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.07 4.10 6/254 988717
/proc/meminfo: memFree=128259968/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=331068 memory=263116 CPUtime=161.72 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 315890 0 0 0 16108 64 0 0 20 0 3 0 188543914 339013632 65779 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 82767 65779 2974 3032 0 69577 0
[pid=988484/tid=988497] ppid=988474 vsize=331068 memory=229472 CPUtime=161.57 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 310269 0 0 0 16096 61 0 0 20 0 3 0 188543925 339013632 65779 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=331068 memory=44240 CPUtime=0 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 188543927 339013632 65779 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 331068 KiB
Current children cumulated memory: 263116 KiB
################
# More data... #
################
/proc/988484/statm: 1086763 1063798 2990 3032 0 1071114 0
[pid=988484/tid=988497] ppid=988474 vsize=4347052 memory=4165776 CPUtime=3389.37 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 4127792 0 0 0 337949 988 0 0 20 0 3 0 188543925 4451381248 1063798 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=4347052 memory=4245328 CPUtime=0.04 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 134 0 0 0 0 4 0 0 20 0 3 0 188543927 4451381248 1063798 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 3389.83 s
Current children cumulated vsize: 4347052 KiB
Current children cumulated memory: 4255192 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.12 6/251 990494
/proc/meminfo: memFree=114501536/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=4419676 memory=4322260 CPUtime=3449.62 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 4219706 0 0 0 343946 1016 0 0 20 0 3 0 188543914 4525748224 1080565 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 1104919 1080565 2990 3032 0 1088919 0
[pid=988484/tid=988497] ppid=988474 vsize=4419676 memory=4165776 CPUtime=3449.15 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 4212940 0 0 0 343909 1006 0 0 20 0 3 0 188543925 4525748224 1080565 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=4419676 memory=16116 CPUtime=0.04 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 136 0 0 0 0 4 0 0 20 0 3 0 188543927 4525748224 1080565 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 3449.62 s
Current children cumulated vsize: 4419676 KiB
Current children cumulated memory: 4322260 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.12 6/249 990506
/proc/meminfo: memFree=114262504/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=4487268 memory=4396568 CPUtime=3509.4 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 4317713 0 0 0 349905 1035 0 0 20 0 3 0 188543914 4594962432 1099142 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 1121817 1099142 2990 3032 0 1106900 0
[pid=988484/tid=988497] ppid=988474 vsize=4487268 memory=4316044 CPUtime=3508.93 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 4310924 0 0 0 349868 1025 0 0 20 0 3 0 188543925 4594962432 1099142 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=4487268 memory=4394784 CPUtime=0.04 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 138 0 0 0 0 4 0 0 20 0 3 0 188543927 4594962432 1099142 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 3509.4 s
Current children cumulated vsize: 4487268 KiB
Current children cumulated memory: 4396568 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.11 6/249 990516
/proc/meminfo: memFree=114025600/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=4566328 memory=4468392 CPUtime=3569.19 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 4400309 0 0 0 355867 1052 0 0 20 0 3 0 188543914 4675919872 1117098 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 1141582 1117098 2990 3032 0 1127129 0
[pid=988484/tid=988497] ppid=988474 vsize=4566328 memory=4464104 CPUtime=3568.71 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 4393498 0 0 0 355829 1042 0 0 20 0 3 0 188543925 4675919872 1117098 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=4566328 memory=12776 CPUtime=0.05 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 140 0 0 0 1 4 0 0 20 0 3 0 188543927 4675919872 1117098 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 3569.19 s
Current children cumulated vsize: 4566328 KiB
Current children cumulated memory: 4468392 KiB
[startup+3605.88 s]
# the end of solver process 988484 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.48 s, system=11.211 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.13 4.11 6/249 990518
/proc/meminfo: memFree=114018088/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=4566328 memory=4469228 CPUtime=3570.9 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 4402485 0 0 0 356037 1053 0 0 20 0 3 0 188543914 4675919872 1117307 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 1141582 1117307 2990 3032 0 1127321 0
[pid=988484/tid=988497] ppid=988474 vsize=4566328 memory=280749128497776 CPUtime=3570.42 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 4395674 0 0 0 355999 1043 0 0 20 0 3 0 188543925 4675919872 1117307 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=4566328 memory=-8549727008118850967 CPUtime=0.05 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 140 0 0 0 1 4 0 0 20 0 3 0 188543927 4675919872 1117307 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 3570.9 s
Current children cumulated vsize: 4566328 KiB
Current children cumulated memory: 4469228 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.12 4.11 6/249 990519
/proc/meminfo: memFree=113970264/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=4566328 memory=4488864 CPUtime=3583.64 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 4420193 0 0 0 357307 1057 0 0 20 0 3 0 188543914 4675919872 1122216 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 1141582 1122216 2990 3032 0 1131065 0
[pid=988484/tid=988497] ppid=988474 vsize=4566328 memory=16116 CPUtime=3583.15 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 4413379 0 0 0 357268 1047 0 0 20 0 3 0 188543925 4675919872 1122216 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=4566328 memory=4464104 CPUtime=0.05 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 188543927 4675919872 1122216 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 3583.64 s
Current children cumulated vsize: 4566328 KiB
Current children cumulated memory: 4488864 KiB
[startup+3600 s]*
/proc/loadavg: 4.16 4.14 4.12 6/249 990519
/proc/meminfo: memFree=113953476/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=4566328 memory=4493388 CPUtime=3586.83 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 4433206 0 0 0 357625 1058 0 0 20 0 3 0 188543914 4675919872 1123347 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 1141582 1123347 2990 3032 0 1131673 0
[pid=988484/tid=988497] ppid=988474 vsize=4566328 memory=6720661034874978925 CPUtime=3586.35 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 4427589 0 0 0 357586 1049 0 0 20 0 3 0 188543925 4675919872 1123347 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=4566328 memory=-8549727008118850967 CPUtime=0.05 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 188543927 4675919872 1123347 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 3586.83 s
Current children cumulated vsize: 4566328 KiB
Current children cumulated memory: 4493388 KiB
[startup+3603.2 s]
/proc/loadavg: 4.16 4.14 4.12 6/249 990521
/proc/meminfo: memFree=113955940/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=4564272 memory=4491332 CPUtime=3590.01 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 4865913 0 0 0 357917 1084 0 0 20 0 3 0 188543914 4673814528 1122833 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 1141068 1122833 2990 3032 0 1131159 0
[pid=988484/tid=988497] ppid=988474 vsize=4564272 memory=1832 CPUtime=3589.53 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 4859091 0 0 0 357879 1074 0 0 20 0 3 0 188543925 4673814528 1122833 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=4564272 memory=4493132 CPUtime=0.05 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 188543927 4673814528 1122833 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 3590.01 s
Current children cumulated vsize: 4564272 KiB
Current children cumulated memory: 4491332 KiB
[startup+3604.8 s]
/proc/loadavg: 4.15 4.13 4.12 6/249 990521
/proc/meminfo: memFree=113957876/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=4555020 memory=4482084 CPUtime=3591.6 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 5125730 0 0 0 358059 1101 0 0 20 0 3 0 188543914 4664340480 1120521 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 1138755 1120521 2990 3032 0 1128846 0
[pid=988484/tid=988497] ppid=988474 vsize=4555020 memory=11464 CPUtime=3591.13 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 5118907 0 0 0 358021 1092 0 0 20 0 3 0 188543925 4664340480 1120521 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=4555020 memory=44240 CPUtime=0.05 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 188543927 4664340480 1120521 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 3591.6 s
Current children cumulated vsize: 4555020 KiB
Current children cumulated memory: 4482084 KiB
[startup+3605.6 s]
/proc/loadavg: 4.15 4.13 4.12 4/245 990521
/proc/meminfo: memFree=117303040/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=4530348 memory=4457424 CPUtime=3592.4 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 5211408 0 0 0 358133 1107 0 0 20 0 3 0 188543914 4639076352 1114356 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 1132587 1114356 2990 3032 0 1122678 0
[pid=988484/tid=988497] ppid=988474 vsize=4530348 memory=16116 CPUtime=3591.93 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 5204568 0 0 0 358095 1098 0 0 20 0 3 0 188543925 4639076352 1114356 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=4530348 memory=2216 CPUtime=0.05 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 188543927 4639076352 1114356 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 3592.4 s
Current children cumulated vsize: 4530348 KiB
Current children cumulated memory: 4457424 KiB
[startup+3605.8 s]
/proc/loadavg: 4.15 4.13 4.12 4/245 990521
/proc/meminfo: memFree=117303040/131655788 swapFree=131071996/131071996
[pid=988484] ppid=988474 vsize=2286044 memory=2180288 CPUtime=3592.61 cores=5,7
/proc/988484/stat : 988484 (fscip) S 988474 988484 988413 0 -1 1077936128 5211767 0 0 0 358147 1114 0 0 20 0 3 0 188543914 2340909056 545072 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
/proc/988484/statm: 571511 545072 2990 3032 0 564708 0
[pid=988484/tid=988497] ppid=988474 vsize=2286044 memory=1832 CPUtime=3592.12 cores=5,7
/proc/988484/task/988497/stat : 988497 (fscip) R 988474 988484 988413 0 -1 4194368 5204925 0 0 0 358108 1104 0 0 20 0 3 0 188543925 2340909056 545072 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
[pid=988484/tid=988499] ppid=988474 vsize=2286044 memory=5500 CPUtime=0.05 cores=5,7
/proc/988484/task/988499/stat : 988499 (fscip) S 988474 988484 988413 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 188543927 2340909056 545072 134679101440 4194304 16613245 140722696901792 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 37076992 140722696909844 140722696909960 140722696909960 140722696916976 0
Current children cumulated CPU time: 3592.61 s
Current children cumulated vsize: 2286044 KiB
Current children cumulated memory: 2180288 KiB
Child status: 0
Real time (s): 3605.88
CPU time (s): 3592.69
CPU user time (s): 3581.48
CPU system time (s): 11.211
CPU usage (%): 99.6343
Max. virtual memory (cumulated for all children) (KiB): 4566328
Max. memory (cumulated for all children) (KiB): 4493388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.48
system time used= 11.211
maximum resident set size= 4493388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5212023
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= 11031
involuntary context switches= 4999
# summary of solver processes directly reported to runsolver:
# pid: 988484
# total CPU time (s): 3592.69
# total CPU user time (s): 3581.48
# total CPU system time (s): 11.211
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0843 second user time and 38.3742 second system time
The end
Begin job on nodeC009 at 2024-07-19 06:37:35
IDJOB=4448120
IDBENCH=160363
IDSOLVER=3064
FILE ID=nodeC009/4448120-1721363843
RUNJOBID= nodeC009-1721363855-988426
SLURM_JOB_ID= 7542791
Free space on /tmp= 723768 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x90split.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-4448120-1721363843/watcher-4448120-1721363843 -o /tmp/evaluation-result-4448120-1721363843/solver-4448120-1721363843 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721363855-988426 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448120-1721363843.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 43b43b4642a1f471c30a83b83143bc9f
RANDOM SEED=64936885
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 : 1269.880
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 : 1213.689
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 : 1206.785
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 : 1237.026
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 : 1202.653
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 : 1247.940
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 : 1255.045
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 : 1225.832
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: 128936564 kB
MemAvailable: 129920940 kB
Buffers: 546764 kB
Cached: 1274400 kB
SwapCached: 0 kB
Active: 1075128 kB
Inactive: 1096496 kB
Active(anon): 1344 kB
Inactive(anon): 386864 kB
Active(file): 1073784 kB
Inactive(file): 709632 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113236 kB
Writeback: 16 kB
AnonPages: 350516 kB
Mapped: 106196 kB
Shmem: 37700 kB
KReclaimable: 81980 kB
Slab: 181752 kB
SReclaimable: 81980 kB
SUnreclaim: 99772 kB
KernelStack: 3664 kB
PageTables: 9464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 660552 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59360 kB
HardwareCorrupted: 0 kB
AnonHugePages: 229376 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723660 MiB
End job on nodeC009 at 2024-07-19 07:37:41