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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 25169920, getVmSize() = 25169920, SCIPgetMemUsed() = 2969548, SCIPgetMemTotal() = 3594908, SCIPgetMemExternEstim() = 1186128
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.01 c ** Estimated virtualMemUsedAtSolver = 20006229, getVmSize() = 34848768, SCIPgetMemUsed() = 8815360, SCIPgetMemTotal() = 12238808, SCIPgetMemExternEstim() = 1186128
0.00/0.01 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.01 c Original Problem :
0.00/0.01 c Problem name : instance-4448570-1721366937
0.00/0.01 c Variables : 901 (901 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 451
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 900 (900 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 450
0.00/0.01 c Constraints : Number
0.00/0.01 c linear : 450
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.02 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.02 c Nodes Active
0.00/0.02 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.26/5.30 c 5 3059 2811 1 - 0.0000 -
10.25/10.35 c 10 6660 5810 1 - 0.0000 -
15.33/15.40 c 15 12930 11488 1 - 0.0000 -
20.30/20.45 c 20 20077 17641 1 - 0.0000 -
25.39/25.50 c 26 27176 23818 1 - 0.0000 -
30.38/30.56 c 31 34455 30267 1 - 0.0000 -
35.45/35.61 c 36 42568 36522 1 - 0.0000 -
40.44/40.69 c 41 50270 42909 1 - 0.0000 -
45.52/45.74 c 46 57743 49027 1 - 0.0000 -
50.51/50.79 c 51 64184 54664 1 - 0.0000 -
55.59/55.84 c 56 71647 60624 1 - 0.0000 -
60.68/60.90 c 61 79772 66906 1 - 0.0000 -
65.66/65.96 c 66 87325 72634 1 - 0.0000 -
70.74/71.04 c 71 93411 77933 1 - 0.0000 -
75.72/76.09 c 76 100027 83602 1 - 0.0000 -
80.80/81.14 c 81 108006 89340 1 - 0.0000 -
85.88/86.20 c 86 113942 94495 1 - 0.0000 -
90.86/91.25 c 91 121166 99898 1 - 0.0000 -
95.95/96.30 c 96 127707 105104 1 - 0.0000 -
100.94/101.35 c 101 134416 110670 1 - 0.0000 -
106.02/106.40 c 106 141275 116198 1 - 0.0000 -
110.99/111.45 c 111 148675 121693 1 - 0.0000 -
116.08/116.50 c 117 155950 127484 1 - 0.0000 -
121.06/121.55 c 122 164521 133776 1 - 0.0000 -
126.13/126.62 c 127 171094 138818 1 - 0.0000 -
131.11/131.68 c 132 177473 144185 1 - 0.0000 -
136.19/136.75 c 137 182999 149071 1 - 0.0000 -
141.27/141.82 c 142 188870 154010 1 - 0.0000 -
146.25/146.88 c 147 194733 158849 1 - 0.0000 -
151.33/151.95 c 152 200817 163856 1 - 0.0000 -
156.41/157.01 c 157 207027 169059 1 - 0.0000 -
161.39/162.06 c 162 213502 174585 1 - 0.0000 -
166.47/167.13 c 167 220077 180158 1 - 0.0000 -
171.55/172.20 c 172 225965 185209 1 - 0.0000 -
176.54/177.26 c 177 232304 190358 1 - 0.0000 -
181.61/182.31 c 182 239074 195467 1 - 0.0000 -
186.60/187.37 c 187 245196 200189 1 - 0.0000 -
191.69/192.42 c 192 250937 204446 1 - 0.0000 -
196.67/197.47 c 197 257434 209304 1 - 0.0000 -
201.75/202.53 c 203 263126 213634 1 - 0.0000 -
206.83/207.60 c 208 269271 218239 1 - 0.0000 -
211.82/212.65 c 213 274507 222229 1 - 0.0000 -
216.90/217.70 c 218 280850 226830 1 - 0.0000 -
221.88/222.75 c 223 285844 230317 1 - 0.0000 -
226.96/227.80 c 228 291197 234380 1 - 0.0000 -
231.95/232.88 c 233 297576 239074 1 - 0.0000 -
237.04/237.93 c 238 302830 242980 1 - 0.0000 -
242.02/242.99 c 243 308044 246640 1 - 0.0000 -
247.10/248.06 c 248 312912 250234 1 - 0.0000 -
252.18/253.14 c 253 318300 254265 1 - 0.0000 -
257.16/258.19 c 258 323153 257885 1 - 0.0000 -
262.24/263.25 c 263 327739 261490 1 - 0.0000 -
267.32/268.30 c 268 332760 264922 1 - 0.0000 -
272.30/273.37 c 273 337415 268460 1 - 0.0000 -
277.38/278.41 c 278 343167 272529 1 - 0.0000 -
282.36/283.47 c 283 347904 275904 1 - 0.0000 -
287.44/288.53 c 289 352853 279295 1 - 0.0000 -
292.52/293.61 c 294 358295 283061 1 - 0.0000 -
297.51/298.66 c 299 363804 287178 1 - 0.0000 -
302.59/303.72 c 304 369024 290668 1 - 0.0000 -
307.67/308.83 c 309 374065 294150 1 - 0.0000 -
312.64/313.88 c 314 379413 297907 1 - 0.0000 -
317.73/318.93 c 319 384965 301970 1 - 0.0000 -
322.71/323.98 c 324 390374 305414 1 - 0.0000 -
327.80/329.03 c 329 396566 309973 1 - 0.0000 -
332.78/334.09 c 334 402307 314611 1 - 0.0000 -
337.86/339.18 c 339 407391 318171 1 - 0.0000 -
342.94/344.23 c 344 413413 322501 1 - 0.0000 -
347.92/349.29 c 349 419073 326848 1 - 0.0000 -
352.99/354.33 c 354 424217 330836 1 - 0.0000 -
357.98/359.38 c 359 430269 335508 1 - 0.0000 -
363.06/364.43 c 364 435117 339132 1 - 0.0000 -
368.04/369.48 c 369 439457 341669 1 - 0.0000 -
373.12/374.54 c 375 444280 345327 1 - 0.0000 -
378.10/379.59 c 380 449504 349545 1 - 0.0000 -
383.19/384.64 c 385 455334 354229 1 - 0.0000 -
388.16/389.69 c 390 461086 358763 1 - 0.0000 -
393.25/394.75 c 395 466965 363616 1 - 0.0000 -
398.32/399.81 c 400 472175 368004 1 - 0.0000 -
403.31/404.85 c 405 477426 372295 1 - 0.0000 -
408.39/409.90 c 410 483129 376897 1 - 0.0000 -
413.37/414.97 c 415 488999 381063 1 - 0.0000 -
418.45/420.03 c 420 495476 385274 1 - 0.0000 -
423.43/425.08 c 425 501235 389598 1 - 0.0000 -
428.51/430.13 c 430 506692 393631 1 - 0.0000 -
433.49/435.19 c 435 511731 397430 1 - 0.0000 -
438.57/440.24 c 440 517364 401456 1 - 0.0000 -
443.55/445.29 c 445 523351 405825 1 - 0.0000 -
448.64/450.34 c 450 528718 409965 1 - 0.0000 -
453.62/455.39 c 455 534725 414697 1 - 0.0000 -
458.70/460.46 c 460 540161 418988 1 - 0.0000 -
463.78/465.51 c 466 545449 423236 1 - 0.0000 -
468.77/470.56 c 471 551148 427674 1 - 0.0000 -
473.85/475.62 c 476 557357 432835 1 - 0.0000 -
478.84/480.67 c 481 563207 437281 1 - 0.0000 -
483.92/485.72 c 486 568572 441478 1 - 0.0000 -
488.90/490.77 c 491 574108 446302 1 - 0.0000 -
493.99/495.83 c 496 579666 450484 1 - 0.0000 -
498.96/500.89 c 501 585097 454200 1 - 0.0000 -
504.05/505.94 c 506 589147 457161 1 - 0.0000 -
509.02/510.99 c 511 594299 460504 1 - 0.0000 -
514.11/516.04 c 516 599317 463811 1 - 0.0000 -
519.19/521.12 c 521 604419 467606 1 - 0.0000 -
524.17/526.18 c 526 608744 471020 1 - 0.0000 -
529.24/531.23 c 531 614029 475032 1 - 0.0000 -
534.22/536.28 c 536 619366 478572 1 - 0.0000 -
539.30/541.36 c 541 623548 481948 1 - 0.0000 -
544.38/546.45 c 546 628608 485569 1 - 0.0000 -
549.36/551.49 c 552 633232 488938 1 - 0.0000 -
554.44/556.54 c 557 638776 492916 1 - 0.0000 -
559.42/561.59 c 562 643798 496366 1 - 0.0000 -
564.51/566.65 c 567 648437 499455 1 - 0.0000 -
569.58/571.70 c 572 653323 503154 1 - 0.0000 -
574.56/576.76 c 577 657977 506831 1 - 0.0000 -
579.65/581.83 c 582 662587 509940 1 - 0.0000 -
584.63/586.88 c 587 667012 513113 1 - 0.0000 -
589.70/591.94 c 592 672050 516694 1 - 0.0000 -
594.68/596.99 c 597 676867 519418 1 - 0.0000 -
599.76/602.04 c 602 681241 521845 1 - 0.0000 -
604.85/607.12 c 607 685614 525422 1 - 0.0000 -
609.84/612.17 c 612 689546 528731 1 - 0.0000 -
614.91/617.22 c 617 694311 532580 1 - 0.0000 -
619.89/622.29 c 622 698942 536279 1 - 0.0000 -
624.98/627.34 c 627 702864 539020 1 - 0.0000 -
629.96/632.39 c 632 707403 542876 1 - 0.0000 -
635.05/637.45 c 637 711924 546561 1 - 0.0000 -
640.13/642.52 c 643 715958 550055 1 - 0.0000 -
645.21/647.61 c 648 719592 552711 1 - 0.0000 -
650.19/652.66 c 653 724098 556059 1 - 0.0000 -
655.28/657.73 c 658 728024 558773 1 - 0.0000 -
660.26/662.79 c 663 732849 562299 1 - 0.0000 -
665.34/667.84 c 668 737329 565789 1 - 0.0000 -
670.43/672.91 c 673 740484 567877 1 - 0.0000 -
675.41/677.96 c 678 744770 571335 1 - 0.0000 -
680.50/683.06 c 683 748379 573816 1 - 0.0000 -
685.58/688.11 c 688 751785 576135 1 - 0.0000 -
690.57/693.16 c 693 755336 578418 1 - 0.0000 -
695.65/698.26 c 698 759005 581173 1 - 0.0000 -
700.73/703.31 c 703 762662 583734 1 - 0.0000 -
705.71/708.36 c 708 766053 586308 1 - 0.0000 -
710.80/713.42 c 713 769022 588474 1 - 0.0000 -
715.88/718.55 c 719 772894 591777 1 - 0.0000 -
720.96/723.60 c 724 776426 594701 1 - 0.0000 -
725.95/728.65 c 729 780984 598680 1 - 0.0000 -
731.03/733.71 c 734 784312 601012 1 - 0.0000 -
736.01/738.78 c 739 788042 603332 1 - 0.0000 -
741.10/743.84 c 744 792289 606439 1 - 0.0000 -
746.18/748.90 c 749 796221 609596 1 - 0.0000 -
751.16/753.96 c 754 799517 611660 1 - 0.0000 -
756.25/759.04 c 759 803212 614392 1 - 0.0000 -
761.24/764.09 c 764 806900 617058 1 - 0.0000 -
766.31/769.16 c 769 810693 620213 1 - 0.0000 -
771.40/774.27 c 774 813900 622528 1 - 0.0000 -
776.47/779.34 c 779 816907 624946 1 - 0.0000 -
781.56/784.46 c 784 819932 627023 1 - 0.0000 -
786.65/789.52 c 790 823059 629194 1 - 0.0000 -
791.73/794.62 c 795 827049 631735 1 - 0.0000 -
796.81/799.70 c 800 831056 634601 1 - 0.0000 -
801.79/804.79 c 805 834429 636567 1 - 0.0000 -
806.88/809.84 c 810 837997 639325 1 - 0.0000 -
811.86/814.89 c 815 842037 642410 1 - 0.0000 -
816.95/819.95 c 820 846354 645581 1 - 0.0000 -
822.03/825.00 c 825 850216 648487 1 - 0.0000 -
827.02/830.06 c 830 854346 651994 1 - 0.0000 -
832.10/835.13 c 835 857825 654752 1 - 0.0000 -
837.08/840.18 c 840 860963 657163 1 - 0.0000 -
842.17/845.26 c 845 864284 659504 1 - 0.0000 -
847.25/850.32 c 850 867214 661534 1 - 0.0000 -
852.23/855.39 c 855 870436 663979 1 - 0.0000 -
857.32/860.45 c 860 873777 666830 1 - 0.0000 -
862.39/865.50 c 866 877465 669786 1 - 0.0000 -
867.38/870.55 c 871 881067 672532 1 - 0.0000 -
872.46/875.62 c 876 884592 674864 1 - 0.0000 -
877.44/880.69 c 881 888132 677284 1 - 0.0000 -
882.54/885.73 c 886 892431 680337 1 - 0.0000 -
887.62/890.81 c 891 896040 683540 1 - 0.0000 -
892.60/895.87 c 896 899801 686669 1 - 0.0000 -
897.68/900.93 c 901 903793 689815 1 - 0.0000 -
902.66/905.98 c 906 907204 692364 1 - 0.0000 -
907.75/911.04 c 911 910238 694907 1 - 0.0000 -
912.84/916.10 c 916 913185 697407 1 - 0.0000 -
917.82/921.15 c 921 915970 699540 1 - 0.0000 -
922.90/926.23 c 926 919166 702116 1 - 0.0000 -
927.98/931.35 c 931 922164 704508 1 - 0.0000 -
933.07/936.43 c 936 925104 706894 1 - 0.0000 -
938.14/941.53 c 942 928195 709381 1 - 0.0000 -
943.23/946.60 c 947 931213 711682 1 - 0.0000 -
948.22/951.65 c 952 934447 714252 1 - 0.0000 -
953.30/956.73 c 957 937120 716440 1 - 0.0000 -
958.39/961.81 c 962 939863 718730 1 - 0.0000 -
963.37/966.85 c 967 942899 721135 1 - 0.0000 -
968.45/971.94 c 972 945331 723072 1 - 0.0000 -
973.54/977.01 c 977 947878 725107 1 - 0.0000 -
978.52/982.08 c 982 950352 726982 1 - 0.0000 -
983.60/987.15 c 987 954113 729964 1 - 0.0000 -
988.69/992.20 c 992 957765 732769 1 - 0.0000 -
993.67/997.26 c 997 961133 735451 1 - 0.0000 -
998.76/1002.31 c 1002 964151 737913 1 - 0.0000 -
1003.83/1007.40 c 1007 966700 740022 1 - 0.0000 -
1008.82/1012.47 c 1012 969923 742839 1 - 0.0000 -
1013.91/1017.52 c 1018 972566 744556 1 - 0.0000 -
1018.98/1022.66 c 1023 975488 746810 1 - 0.0000 -
1024.07/1027.72 c 1028 977836 748355 1 - 0.0000 -
1029.16/1032.86 c 1033 980247 750355 1 - 0.0000 -
1034.24/1037.93 c 1038 983401 752950 1 - 0.0000 -
1039.22/1042.99 c 1043 986206 754938 1 - 0.0000 -
1044.32/1048.06 c 1048 989035 757188 1 - 0.0000 -
1049.40/1053.18 c 1053 992342 759680 1 - 0.0000 -
1054.48/1058.27 c 1058 995137 761747 1 - 0.0000 -
1059.56/1063.35 c 1063 997907 764081 1 - 0.0000 -
1064.65/1068.43 c 1068 1000765 766367 1 - 0.0000 -
1069.63/1073.49 c 1074 1003880 769094 1 - 0.0000 -
1074.81/1078.62 c 1079 1006590 771349 1 - 0.0000 -
1079.80/1083.67 c 1084 1009141 773543 1 - 0.0000 -
1084.88/1088.73 c 1089 1011434 775164 1 - 0.0000 -
1089.96/1093.83 c 1094 1013875 776899 1 - 0.0000 -
1095.05/1098.93 c 1099 1016337 778976 1 - 0.0000 -
1100.13/1104.00 c 1104 1019219 781236 1 - 0.0000 -
1105.12/1109.05 c 1109 1021919 783392 1 - 0.0000 -
1110.19/1114.13 c 1114 1024324 785239 1 - 0.0000 -
1115.18/1119.18 c 1119 1027015 787294 1 - 0.0000 -
1120.26/1124.27 c 1124 1030219 789743 1 - 0.0000 -
1125.35/1129.36 c 1129 1032902 792021 1 - 0.0000 -
1130.43/1134.41 c 1134 1035543 794239 1 - 0.0000 -
1135.41/1139.48 c 1139 1038460 796470 1 - 0.0000 -
1140.49/1144.56 c 1145 1040869 798222 1 - 0.0000 -
1145.58/1149.65 c 1150 1043715 800298 1 - 0.0000 -
1150.67/1154.72 c 1155 1046470 802324 1 - 0.0000 -
1155.65/1159.79 c 1160 1049607 804353 1 - 0.0000 -
1160.73/1164.87 c 1165 1052006 806249 1 - 0.0000 -
1165.82/1169.94 c 1170 1054398 807885 1 - 0.0000 -
1170.91/1175.03 c 1175 1056992 809798 1 - 0.0000 -
1175.89/1180.08 c 1180 1059890 812133 1 - 0.0000 -
1180.98/1185.14 c 1185 1062156 813967 1 - 0.0000 -
1186.06/1190.24 c 1190 1064481 815871 1 - 0.0000 -
1191.14/1195.30 c 1195 1066836 817730 1 - 0.0000 -
1196.22/1200.43 c 1200 1069128 819565 1 - 0.0000 -
1201.21/1205.49 c 1206 1071217 821224 1 - 0.0000 -
1206.30/1210.56 c 1211 1073669 823280 1 - 0.0000 -
1211.38/1215.65 c 1216 1075964 825294 1 - 0.0000 -
1216.47/1220.73 c 1221 1078194 827064 1 - 0.0000 -
1221.45/1225.79 c 1226 1080440 828717 1 - 0.0000 -
1226.53/1230.84 c 1231 1082445 830231 1 - 0.0000 -
1231.62/1235.90 c 1236 1084628 831984 1 - 0.0000 -
1236.60/1240.96 c 1241 1087086 833727 1 - 0.0000 -
1241.69/1246.04 c 1246 1089837 835821 1 - 0.0000 -
1246.78/1251.15 c 1251 1092290 837575 1 - 0.0000 -
1251.85/1256.26 c 1256 1094508 839500 1 - 0.0000 -
1257.04/1261.42 c 1261 1096365 840919 1 - 0.0000 -
1262.12/1266.54 c 1267 1097925 842273 1 - 0.0000 -
1267.20/1271.62 c 1272 1099761 843631 1 - 0.0000 -
1272.19/1276.68 c 1277 1101411 844763 1 - 0.0000 -
1277.27/1281.79 c 1282 1103290 846149 1 - 0.0000 -
1282.36/1286.87 c 1287 1105324 847577 1 - 0.0000 -
1287.44/1291.95 c 1292 1107641 849317 1 - 0.0000 -
1292.53/1297.02 c 1297 1109732 850894 1 - 0.0000 -
1297.61/1302.12 c 1302 1112068 852807 1 - 0.0000 -
1302.69/1307.22 c 1307 1114393 854631 1 - 0.0000 -
1307.78/1312.36 c 1312 1116722 856432 1 - 0.0000 -
1312.86/1317.45 c 1317 1119006 858343 1 - 0.0000 -
1317.94/1322.54 c 1323 1121047 859997 1 - 0.0000 -
1323.03/1327.60 c 1328 1123203 861909 1 - 0.0000 -
1328.12/1332.74 c 1333 1124878 863399 1 - 0.0000 -
1333.20/1337.85 c 1338 1126747 865113 1 - 0.0000 -
1338.29/1342.99 c 1343 1128715 866761 1 - 0.0000 -
1343.48/1348.14 c 1348 1130675 868277 1 - 0.0000 -
1348.55/1353.22 c 1353 1132398 869666 1 - 0.0000 -
1353.64/1358.33 c 1358 1134572 871609 1 - 0.0000 -
1358.72/1363.40 c 1363 1136943 873829 1 - 0.0000 -
1363.70/1368.49 c 1368 1139467 875841 1 - 0.0000 -
1368.79/1373.58 c 1374 1141638 877711 1 - 0.0000 -
1373.88/1378.67 c 1379 1144220 880011 1 - 0.0000 -
1378.96/1383.74 c 1384 1146235 881761 1 - 0.0000 -
1384.04/1388.82 c 1389 1148189 883342 1 - 0.0000 -
1389.12/1393.93 c 1394 1149870 884605 1 - 0.0000 -
1394.21/1399.00 c 1399 1152055 886291 1 - 0.0000 -
1399.19/1404.06 c 1404 1154444 888068 1 - 0.0000 -
1404.28/1409.11 c 1409 1156409 889559 1 - 0.0000 -
1409.37/1414.20 c 1414 1158512 891054 1 - 0.0000 -
1414.45/1419.33 c 1419 1160474 892610 1 - 0.0000 -
1419.53/1424.43 c 1424 1162563 894189 1 - 0.0000 -
1424.62/1429.50 c 1430 1164479 895522 1 - 0.0000 -
1429.60/1434.55 c 1435 1166172 896754 1 - 0.0000 -
1434.68/1439.62 c 1440 1168082 898399 1 - 0.0000 -
1439.77/1444.70 c 1445 1169978 900086 1 - 0.0000 -
1444.75/1449.78 c 1450 1171750 901540 1 - 0.0000 -
1449.84/1454.85 c 1455 1173378 902757 1 - 0.0000 -
1455.03/1460.08 c 1460 1175311 903996 1 - 0.0000 -
1460.11/1465.19 c 1465 1177237 905102 1 - 0.0000 -
1465.19/1470.27 c 1470 1178933 906426 1 - 0.0000 -
1470.38/1475.42 c 1475 1180966 908021 1 - 0.0000 -
1475.36/1480.47 c 1480 1182858 909453 1 - 0.0000 -
1480.44/1485.56 c 1486 1184774 910891 1 - 0.0000 -
1485.52/1490.63 c 1491 1186792 912486 1 - 0.0000 -
1490.61/1495.74 c 1496 1188977 914265 1 - 0.0000 -
1495.70/1500.85 c 1501 1191348 915830 1 - 0.0000 -
1500.78/1505.95 c 1506 1193311 917256 1 - 0.0000 -
1505.87/1511.07 c 1511 1195406 918849 1 - 0.0000 -
1510.96/1516.13 c 1516 1197535 920389 1 - 0.0000 -
1516.13/1521.30 c 1521 1199252 921861 1 - 0.0000 -
1521.22/1526.43 c 1526 1200339 922687 1 - 0.0000 -
1526.30/1531.53 c 1532 1202872 924811 1 - 0.0000 -
1531.39/1536.60 c 1537 1205101 926551 1 - 0.0000 -
1536.47/1541.73 c 1542 1206637 927697 1 - 0.0000 -
1541.55/1546.81 c 1547 1208422 929130 1 - 0.0000 -
1546.74/1552.00 c 1552 1209841 930042 1 - 0.0000 -
1551.72/1557.06 c 1557 1212399 931990 1 - 0.0000 -
1556.80/1562.14 c 1562 1214406 933388 1 - 0.0000 -
1561.87/1567.28 c 1567 1216034 934719 1 - 0.0000 -
1566.96/1572.36 c 1572 1218097 936251 1 - 0.0000 -
1572.04/1577.45 c 1577 1219674 937478 1 - 0.0000 -
1577.12/1582.56 c 1583 1221426 938793 1 - 0.0000 -
1582.20/1587.61 c 1588 1223523 940543 1 - 0.0000 -
1587.19/1592.68 c 1593 1225378 941935 1 - 0.0000 -
1592.26/1597.77 c 1598 1227540 943662 1 - 0.0000 -
1597.35/1602.84 c 1603 1229771 945350 1 - 0.0000 -
1602.43/1607.96 c 1608 1231990 947153 1 - 0.0000 -
1607.52/1613.08 c 1613 1233770 948577 1 - 0.0000 -
1612.68/1618.22 c 1618 1235374 949969 1 - 0.0000 -
1617.77/1623.34 c 1623 1237129 951387 1 - 0.0000 -
1622.85/1628.46 c 1628 1238994 952962 1 - 0.0000 -
1628.03/1633.66 c 1634 1240805 954478 1 - 0.0000 -
1633.11/1638.72 c 1639 1242483 955781 1 - 0.0000 -
1638.19/1643.85 c 1644 1244331 956995 1 - 0.0000 -
1643.27/1648.94 c 1649 1245935 958266 1 - 0.0000 -
1648.36/1654.05 c 1654 1247832 959721 1 - 0.0000 -
1653.44/1659.15 c 1659 1249875 961458 1 - 0.0000 -
1658.52/1664.23 c 1664 1252013 963217 1 - 0.0000 -
1663.59/1669.34 c 1669 1254018 964772 1 - 0.0000 -
1668.58/1674.39 c 1674 1256077 966589 1 - 0.0000 -
1673.66/1679.49 c 1680 1257895 967984 1 - 0.0000 -
1678.74/1684.57 c 1685 1260056 969671 1 - 0.0000 -
1683.82/1689.69 c 1690 1262277 971385 1 - 0.0000 -
1688.89/1694.76 c 1695 1264230 972999 1 - 0.0000 -
1693.98/1699.83 c 1700 1266606 974866 1 - 0.0000 -
1699.06/1704.93 c 1705 1268606 976315 1 - 0.0000 -
1704.03/1709.98 c 1710 1270705 977960 1 - 0.0000 -
1709.12/1715.05 c 1715 1272479 979258 1 - 0.0000 -
1714.20/1720.11 c 1720 1274014 980153 1 - 0.0000 -
1719.19/1725.16 c 1725 1275751 981387 1 - 0.0000 -
1724.25/1730.26 c 1730 1277670 982943 1 - 0.0000 -
1729.34/1735.32 c 1735 1279572 984446 1 - 0.0000 -
1734.42/1740.47 c 1740 1281286 985694 1 - 0.0000 -
1739.50/1745.55 c 1746 1283042 986993 1 - 0.0000 -
1744.58/1750.62 c 1751 1285121 988668 1 - 0.0000 -
1749.66/1755.72 c 1756 1287080 990127 1 - 0.0000 -
1754.74/1760.81 c 1761 1288816 991401 1 - 0.0000 -
1759.72/1765.87 c 1766 1291240 993517 1 - 0.0000 -
1764.80/1770.96 c 1771 1293852 995573 1 - 0.0000 -
1769.88/1776.00 c 1776 1296028 997056 1 - 0.0000 -
1774.86/1781.07 c 1781 1298280 998753 1 - 0.0000 -
1779.94/1786.15 c 1786 1300612 1000486 1 - 0.0000 -
1785.01/1791.22 c 1791 1303244 1002547 1 - 0.0000 -
1790.00/1796.29 c 1796 1305092 1003688 1 - 0.0000 -
1795.08/1801.34 c 1801 1307997 1005775 1 - 0.0000 -
1800.16/1806.40 c 1806 1309805 1006916 1 - 0.0000 -
1805.14/1811.46 c 1811 1311963 1008555 1 - 0.0000 -
1810.22/1816.55 c 1817 1314576 1010540 1 - 0.0000 -
1815.39/1821.70 c 1822 1316869 1012420 1 - 0.0000 -
1820.37/1826.74 c 1827 1319403 1014519 1 - 0.0000 -
1825.46/1831.80 c 1832 1321873 1016384 1 - 0.0000 -
1830.43/1836.86 c 1837 1324170 1018132 1 - 0.0000 -
1835.51/1841.93 c 1842 1326580 1019809 1 - 0.0000 -
1840.50/1846.98 c 1847 1329472 1022416 1 - 0.0000 -
1845.57/1852.06 c 1852 1332237 1024700 1 - 0.0000 -
1850.65/1857.12 c 1857 1334997 1026855 1 - 0.0000 -
1855.63/1862.19 c 1862 1337668 1028882 1 - 0.0000 -
1860.71/1867.25 c 1867 1340106 1030768 1 - 0.0000 -
1865.78/1872.32 c 1872 1342942 1033145 1 - 0.0000 -
1870.87/1877.40 c 1877 1345062 1034716 1 - 0.0000 -
1875.84/1882.46 c 1882 1347524 1036771 1 - 0.0000 -
1880.92/1887.53 c 1888 1349886 1038605 1 - 0.0000 -
1886.00/1892.62 c 1893 1352282 1040663 1 - 0.0000 -
1891.08/1897.72 c 1898 1354851 1042570 1 - 0.0000 -
1896.16/1902.85 c 1903 1357044 1044052 1 - 0.0000 -
1901.24/1907.92 c 1908 1359042 1045430 1 - 0.0000 -
1906.22/1912.97 c 1913 1361065 1046888 1 - 0.0000 -
1911.31/1918.10 c 1918 1363501 1048692 1 - 0.0000 -
1916.39/1923.19 c 1923 1366046 1050720 1 - 0.0000 -
1921.46/1928.28 c 1928 1368602 1052693 1 - 0.0000 -
1926.54/1933.35 c 1933 1370687 1054414 1 - 0.0000 -
1931.63/1938.44 c 1938 1372559 1055684 1 - 0.0000 -
1936.71/1943.52 c 1944 1374778 1057167 1 - 0.0000 -
1941.69/1948.57 c 1949 1377590 1059255 1 - 0.0000 -
1946.77/1953.64 c 1954 1379946 1060930 1 - 0.0000 -
1951.85/1958.73 c 1959 1382533 1063106 1 - 0.0000 -
1956.93/1963.80 c 1964 1385034 1065190 1 - 0.0000 -
1961.91/1968.85 c 1969 1387351 1066968 1 - 0.0000 -
1967.00/1973.92 c 1974 1389341 1068235 1 - 0.0000 -
1971.97/1978.99 c 1979 1391086 1069265 1 - 0.0000 -
1977.16/1984.13 c 1984 1393221 1070789 1 - 0.0000 -
1982.23/1989.20 c 1989 1395316 1072297 1 - 0.0000 -
1987.22/1994.27 c 1994 1397140 1073655 1 - 0.0000 -
1992.29/1999.38 c 1999 1399270 1075022 1 - 0.0000 -
1997.38/2004.45 c 2004 1401040 1076152 1 - 0.0000 -
2002.46/2009.54 c 2010 1403012 1077456 1 - 0.0000 -
2007.54/2014.60 c 2015 1405113 1079006 1 - 0.0000 -
2012.52/2019.69 c 2020 1407261 1080421 1 - 0.0000 -
2017.60/2024.75 c 2025 1409285 1082164 1 - 0.0000 -
2022.68/2029.82 c 2030 1411507 1083663 1 - 0.0000 -
2027.67/2034.89 c 2035 1413478 1085135 1 - 0.0000 -
2032.74/2039.98 c 2040 1416013 1087057 1 - 0.0000 -
2037.83/2045.07 c 2045 1418796 1088840 1 - 0.0000 -
2042.91/2050.12 c 2050 1421320 1090402 1 - 0.0000 -
2047.88/2055.17 c 2055 1423477 1092094 1 - 0.0000 -
2052.97/2060.29 c 2060 1426050 1094318 1 - 0.0000 -
2058.04/2065.35 c 2065 1428598 1096491 1 - 0.0000 -
2063.12/2070.41 c 2070 1431331 1098789 1 - 0.0000 -
2068.11/2075.48 c 2075 1433340 1100432 1 - 0.0000 -
2073.18/2080.57 c 2081 1435407 1102045 1 - 0.0000 -
2078.27/2085.64 c 2086 1438231 1104250 1 - 0.0000 -
2083.34/2090.71 c 2091 1440920 1106268 1 - 0.0000 -
2088.33/2095.77 c 2096 1442676 1107590 1 - 0.0000 -
2093.51/2100.95 c 2101 1444702 1109175 1 - 0.0000 -
2098.59/2106.02 c 2106 1447003 1110903 1 - 0.0000 -
2103.57/2111.08 c 2111 1449347 1112960 1 - 0.0000 -
2108.66/2116.15 c 2116 1451127 1114073 1 - 0.0000 -
2113.73/2121.23 c 2121 1453382 1115704 1 - 0.0000 -
2118.80/2126.30 c 2126 1455722 1117259 1 - 0.0000 -
2123.78/2131.39 c 2131 1457936 1118767 1 - 0.0000 -
2128.86/2136.43 c 2136 1460635 1120711 1 - 0.0000 -
2133.95/2141.53 c 2142 1462563 1122199 1 - 0.0000 -
2139.02/2146.63 c 2147 1464630 1123483 1 - 0.0000 -
2144.10/2151.76 c 2152 1466716 1125092 1 - 0.0000 -
2149.18/2156.84 c 2157 1469216 1127385 1 - 0.0000 -
2154.27/2161.91 c 2162 1471769 1129680 1 - 0.0000 -
2159.24/2166.99 c 2167 1474262 1131745 1 - 0.0000 -
2164.33/2172.08 c 2172 1476844 1133705 1 - 0.0000 -
2169.41/2177.15 c 2177 1478714 1135213 1 - 0.0000 -
2174.48/2182.29 c 2182 1480613 1136575 1 - 0.0000 -
2179.66/2187.47 c 2187 1482441 1137819 1 - 0.0000 -
2184.74/2192.57 c 2193 1483563 1138266 1 - 0.0000 -
2189.82/2197.65 c 2198 1485068 1139284 1 - 0.0000 -
2194.90/2202.70 c 2203 1486610 1140196 1 - 0.0000 -
2199.98/2207.80 c 2208 1488945 1142021 1 - 0.0000 -
2205.06/2212.90 c 2213 1491022 1143779 1 - 0.0000 -
2210.04/2217.96 c 2218 1492862 1145298 1 - 0.0000 -
2215.13/2223.04 c 2223 1494971 1147156 1 - 0.0000 -
2220.21/2228.15 c 2228 1497309 1149233 1 - 0.0000 -
2225.27/2233.23 c 2233 1499229 1150717 1 - 0.0000 -
2230.36/2238.32 c 2238 1501187 1152289 1 - 0.0000 -
2235.44/2243.41 c 2243 1503088 1153358 1 - 0.0000 -
2240.52/2248.51 c 2249 1504672 1154476 1 - 0.0000 -
2245.60/2253.60 c 2254 1506372 1155821 1 - 0.0000 -
2250.58/2258.67 c 2259 1508432 1157406 1 - 0.0000 -
2255.66/2263.73 c 2264 1510869 1159439 1 - 0.0000 -
2260.74/2268.81 c 2269 1512471 1160367 1 - 0.0000 -
2265.73/2273.89 c 2274 1514170 1161506 1 - 0.0000 -
2270.80/2278.94 c 2279 1515826 1162430 1 - 0.0000 -
2275.89/2284.00 c 2284 1517266 1163321 1 - 0.0000 -
2280.86/2289.10 c 2289 1518854 1164394 1 - 0.0000 -
2286.04/2294.20 c 2294 1520656 1165788 1 - 0.0000 -
2291.02/2299.29 c 2299 1522354 1166682 1 - 0.0000 -
2296.10/2304.38 c 2304 1523887 1167618 1 - 0.0000 -
2301.18/2309.44 c 2309 1526306 1169480 1 - 0.0000 -
2306.26/2314.53 c 2315 1528383 1171053 1 - 0.0000 -
2311.34/2319.61 c 2320 1530169 1172517 1 - 0.0000 -
2316.42/2324.70 c 2325 1531656 1173618 1 - 0.0000 -
2321.40/2329.75 c 2330 1533734 1175168 1 - 0.0000 -
2326.48/2334.89 c 2335 1535880 1176904 1 - 0.0000 -
2331.57/2339.95 c 2340 1538128 1178700 1 - 0.0000 -
2336.65/2345.03 c 2345 1540420 1180416 1 - 0.0000 -
2341.73/2350.13 c 2350 1542351 1181809 1 - 0.0000 -
2346.81/2355.21 c 2355 1544808 1183549 1 - 0.0000 -
2351.79/2360.27 c 2360 1547402 1185544 1 - 0.0000 -
2356.87/2365.36 c 2365 1549478 1187183 1 - 0.0000 -
2361.95/2370.43 c 2370 1551539 1188730 1 - 0.0000 -
2367.03/2375.56 c 2376 1553878 1190379 1 - 0.0000 -
2372.11/2380.62 c 2381 1555706 1191625 1 - 0.0000 -
2377.20/2385.77 c 2386 1557042 1192587 1 - 0.0000 -
2382.27/2390.89 c 2391 1558704 1193924 1 - 0.0000 -
2387.46/2396.01 c 2396 1560177 1194992 1 - 0.0000 -
2392.54/2401.16 c 2401 1562041 1196348 1 - 0.0000 -
2397.61/2406.22 c 2406 1563476 1197403 1 - 0.0000 -
2402.70/2411.32 c 2411 1565194 1198510 1 - 0.0000 -
2407.68/2416.39 c 2416 1566895 1199722 1 - 0.0000 -
2412.86/2421.58 c 2422 1569069 1201538 1 - 0.0000 -
2417.94/2426.65 c 2427 1570961 1202939 1 - 0.0000 -
2423.02/2431.76 c 2432 1572561 1203933 1 - 0.0000 -
2428.20/2436.96 c 2437 1573727 1204489 1 - 0.0000 -
2433.29/2442.08 c 2442 1574889 1205192 1 - 0.0000 -
2438.46/2447.22 c 2447 1577085 1207105 1 - 0.0000 -
2443.55/2452.35 c 2452 1578830 1208488 1 - 0.0000 -
2448.63/2457.41 c 2457 1580485 1209792 1 - 0.0000 -
2453.71/2462.51 c 2463 1582146 1211171 1 - 0.0000 -
2458.69/2467.58 c 2468 1583799 1212576 1 - 0.0000 -
2463.77/2472.67 c 2473 1585284 1213516 1 - 0.0000 -
2468.85/2477.79 c 2478 1586954 1214911 1 - 0.0000 -
2473.93/2482.88 c 2483 1588552 1216198 1 - 0.0000 -
2479.01/2487.97 c 2488 1590406 1217478 1 - 0.0000 -
2484.10/2493.07 c 2493 1591763 1218377 1 - 0.0000 -
2489.19/2498.12 c 2498 1593263 1219397 1 - 0.0000 -
2494.27/2503.20 c 2503 1595280 1220932 1 - 0.0000 -
2499.34/2508.35 c 2508 1596515 1221791 1 - 0.0000 -
2504.42/2513.43 c 2513 1597820 1222707 1 - 0.0000 -
2509.50/2518.54 c 2519 1599542 1224025 1 - 0.0000 -
2514.59/2523.64 c 2524 1601436 1225517 1 - 0.0000 -
2519.66/2528.74 c 2529 1603340 1227010 1 - 0.0000 -
2524.75/2533.80 c 2534 1605026 1228287 1 - 0.0000 -
2529.73/2538.86 c 2539 1606794 1229496 1 - 0.0000 -
2534.81/2543.97 c 2544 1608555 1230921 1 - 0.0000 -
2539.90/2549.04 c 2549 1610184 1232091 1 - 0.0000 -
2544.98/2554.16 c 2554 1611660 1233232 1 - 0.0000 -
2550.05/2559.22 c 2559 1613631 1234879 1 - 0.0000 -
2555.14/2564.33 c 2564 1615240 1236052 1 - 0.0000 -
2560.11/2569.37 c 2569 1617237 1237598 1 - 0.0000 -
2565.19/2574.46 c 2574 1618938 1238816 1 - 0.0000 -
2570.28/2579.53 c 2580 1620416 1239920 1 - 0.0000 -
2575.36/2584.65 c 2585 1621381 1240549 1 - 0.0000 -
2580.44/2589.75 c 2590 1622382 1240999 1 - 0.0000 -
2585.52/2594.82 c 2595 1623845 1242188 1 - 0.0000 -
2590.61/2599.91 c 2600 1625112 1243162 1 - 0.0000 -
2595.69/2605.01 c 2605 1626536 1244307 1 - 0.0000 -
2600.67/2610.10 c 2610 1627872 1245360 1 - 0.0000 -
2605.85/2615.20 c 2615 1629336 1246535 1 - 0.0000 -
2610.83/2620.27 c 2620 1630805 1247593 1 - 0.0000 -
2615.91/2625.36 c 2625 1632317 1248714 1 - 0.0000 -
2620.99/2630.44 c 2630 1634314 1250559 1 - 0.0000 -
2626.08/2635.52 c 2636 1635932 1251950 1 - 0.0000 -
2631.25/2640.72 c 2641 1637183 1252854 1 - 0.0000 -
2636.44/2645.94 c 2646 1638756 1253927 1 - 0.0000 -
2641.53/2651.04 c 2651 1640396 1255266 1 - 0.0000 -
2646.51/2656.10 c 2656 1641828 1256359 1 - 0.0000 -
2651.59/2661.19 c 2661 1642957 1257126 1 - 0.0000 -
2656.76/2666.34 c 2666 1644289 1258026 1 - 0.0000 -
2661.84/2671.40 c 2671 1645672 1258964 1 - 0.0000 -
2666.82/2676.45 c 2676 1647132 1260124 1 - 0.0000 -
2671.91/2681.55 c 2682 1648457 1261034 1 - 0.0000 -
2676.99/2686.67 c 2687 1650349 1262352 1 - 0.0000 -
2682.07/2691.77 c 2692 1651706 1263388 1 - 0.0000 -
2687.15/2696.88 c 2697 1653133 1264517 1 - 0.0000 -
2692.33/2702.03 c 2702 1654494 1265605 1 - 0.0000 -
2697.42/2707.19 c 2707 1655809 1266674 1 - 0.0000 -
2702.70/2712.43 c 2712 1657330 1267972 1 - 0.0000 -
2707.68/2717.48 c 2717 1658830 1269166 1 - 0.0000 -
2712.86/2722.60 c 2723 1660122 1270171 1 - 0.0000 -
2718.04/2727.86 c 2728 1661674 1271499 1 - 0.0000 -
2723.33/2733.15 c 2733 1662939 1272412 1 - 0.0000 -
2728.41/2738.22 c 2738 1664649 1273561 1 - 0.0000 -
2733.48/2743.35 c 2743 1666234 1274643 1 - 0.0000 -
2738.56/2748.46 c 2748 1667597 1275391 1 - 0.0000 -
2743.75/2753.60 c 2754 1668733 1276186 1 - 0.0000 -
2748.83/2758.72 c 2759 1669786 1276848 1 - 0.0000 -
2753.82/2763.77 c 2764 1671657 1278389 1 - 0.0000 -
2758.89/2768.83 c 2769 1673271 1279726 1 - 0.0000 -
2763.98/2773.90 c 2774 1674844 1281050 1 - 0.0000 -
2769.06/2779.02 c 2779 1676141 1282011 1 - 0.0000 -
2774.14/2784.11 c 2784 1677356 1282867 1 - 0.0000 -
2779.21/2789.24 c 2789 1678818 1283978 1 - 0.0000 -
2784.30/2794.34 c 2794 1680776 1285401 1 - 0.0000 -
2789.48/2799.50 c 2800 1682452 1286612 1 - 0.0000 -
2794.56/2804.63 c 2805 1683851 1287557 1 - 0.0000 -
2799.65/2809.70 c 2810 1685568 1288729 1 - 0.0000 -
2804.72/2814.83 c 2815 1686638 1289464 1 - 0.0000 -
2809.71/2819.90 c 2820 1687745 1290112 1 - 0.0000 -
2814.89/2825.08 c 2825 1689036 1291005 1 - 0.0000 -
2820.17/2830.35 c 2830 1690397 1291989 1 - 0.0000 -
2825.34/2835.55 c 2836 1692133 1293477 1 - 0.0000 -
2830.43/2840.62 c 2841 1693766 1294704 1 - 0.0000 -
2835.51/2845.70 c 2846 1695300 1295787 1 - 0.0000 -
2840.59/2850.86 c 2851 1696891 1296933 1 - 0.0000 -
2845.67/2855.97 c 2856 1698062 1297711 1 - 0.0000 -
2850.76/2861.06 c 2861 1699116 1298242 1 - 0.0000 -
2855.85/2866.13 c 2866 1700378 1299004 1 - 0.0000 -
2860.92/2871.22 c 2871 1701693 1299898 1 - 0.0000 -
2865.91/2876.29 c 2876 1702640 1300337 1 - 0.0000 -
2870.98/2881.36 c 2881 1703682 1301018 1 - 0.0000 -
2876.07/2886.42 c 2886 1705184 1302056 1 - 0.0000 -
2881.05/2891.49 c 2891 1706588 1303193 1 - 0.0000 -
2886.13/2896.53 c 2897 1708135 1304319 1 - 0.0000 -
2891.11/2901.59 c 2902 1709729 1305384 1 - 0.0000 -
2896.19/2906.65 c 2907 1711306 1306496 1 - 0.0000 -
2901.38/2911.85 c 2912 1712806 1307701 1 - 0.0000 -
2906.45/2916.99 c 2917 1713818 1308358 1 - 0.0000 -
2911.64/2922.18 c 2922 1715170 1309375 1 - 0.0000 -
2916.72/2927.23 c 2927 1716690 1310548 1 - 0.0000 -
2921.80/2932.31 c 2932 1718115 1311686 1 - 0.0000 -
2926.78/2937.38 c 2937 1719757 1312718 1 - 0.0000 -
2931.86/2942.44 c 2942 1721492 1313948 1 - 0.0000 -
2936.95/2947.50 c 2948 1722717 1314777 1 - 0.0000 -
2942.03/2952.62 c 2953 1723877 1315559 1 - 0.0000 -
2947.00/2957.67 c 2958 1725359 1316496 1 - 0.0000 -
2952.09/2962.72 c 2963 1726830 1317531 1 - 0.0000 -
2957.27/2967.92 c 2968 1727993 1318321 1 - 0.0000 -
2962.36/2973.02 c 2973 1729047 1318980 1 - 0.0000 -
2967.34/2978.08 c 2978 1730210 1319916 1 - 0.0000 -
2972.51/2983.21 c 2983 1731615 1321132 1 - 0.0000 -
2977.50/2988.27 c 2988 1732978 1322125 1 - 0.0000 -
2982.68/2993.44 c 2993 1734528 1323313 1 - 0.0000 -
2987.97/2998.70 c 2999 1735683 1324308 1 - 0.0000 -
2992.95/3003.76 c 3004 1736938 1325395 1 - 0.0000 -
2998.03/3008.82 c 3009 1737554 1325642 1 - 0.0000 -
3003.12/3013.94 c 3014 1738302 1325993 1 - 0.0000 -
3008.20/3019.03 c 3019 1739622 1327125 1 - 0.0000 -
3013.28/3024.18 c 3024 1740677 1327925 1 - 0.0000 -
3018.36/3029.29 c 3029 1741705 1328611 1 - 0.0000 -
3023.54/3034.46 c 3034 1742423 1328983 1 - 0.0000 -
3028.63/3039.57 c 3040 1743531 1329740 1 - 0.0000 -
3033.71/3044.62 c 3045 1744701 1330492 1 - 0.0000 -
3038.79/3049.73 c 3050 1746010 1331441 1 - 0.0000 -
3043.77/3054.77 c 3055 1747377 1332523 1 - 0.0000 -
3048.96/3059.95 c 3060 1748953 1333692 1 - 0.0000 -
3054.23/3065.26 c 3065 1749909 1334261 1 - 0.0000 -
3059.42/3070.40 c 3070 1751017 1335040 1 - 0.0000 -
3064.50/3075.50 c 3076 1752414 1336225 1 - 0.0000 -
3069.48/3080.59 c 3081 1753973 1337678 1 - 0.0000 -
3074.57/3085.66 c 3086 1755177 1338758 1 - 0.0000 -
3079.75/3090.81 c 3091 1756427 1339685 1 - 0.0000 -
3084.73/3095.86 c 3096 1758246 1340931 1 - 0.0000 -
3089.82/3100.91 c 3101 1760070 1342275 1 - 0.0000 -
3094.80/3105.98 c 3106 1761667 1343388 1 - 0.0000 -
3099.89/3111.05 c 3111 1762895 1344258 1 - 0.0000 -
3104.97/3116.11 c 3116 1764446 1345478 1 - 0.0000 -
3109.95/3121.17 c 3121 1765542 1346378 1 - 0.0000 -
3115.12/3126.38 c 3126 1766241 1346666 1 - 0.0000 -
3120.21/3131.45 c 3131 1767495 1347559 1 - 0.0000 -
3125.39/3136.62 c 3137 1768818 1348540 1 - 0.0000 -
3130.38/3141.69 c 3142 1769984 1349410 1 - 0.0000 -
3135.56/3146.81 c 3147 1771162 1350165 1 - 0.0000 -
3140.63/3151.92 c 3152 1772301 1350860 1 - 0.0000 -
3145.72/3157.04 c 3157 1773485 1351543 1 - 0.0000 -
3150.81/3162.17 c 3162 1774279 1351923 1 - 0.0000 -
3155.99/3167.31 c 3167 1774868 1352146 1 - 0.0000 -
3161.07/3172.43 c 3172 1775541 1352433 1 - 0.0000 -
3166.15/3177.58 c 3178 1776024 1352550 1 - 0.0000 -
3171.23/3182.63 c 3183 1777506 1353573 1 - 0.0000 -
3176.42/3187.87 c 3188 1778533 1354078 1 - 0.0000 -
3181.60/3193.01 c 3193 1779407 1354557 1 - 0.0000 -
3186.78/3198.29 c 3198 1780277 1355067 1 - 0.0000 -
3191.86/3203.38 c 3203 1781494 1355933 1 - 0.0000 -
3197.04/3208.56 c 3209 1782163 1356245 1 - 0.0000 -
3202.23/3213.79 c 3214 1782780 1356548 1 - 0.0000 -
3207.51/3219.00 c 3219 1783626 1357132 1 - 0.0000 -
3212.69/3224.29 c 3224 1784461 1357633 1 - 0.0000 -
3217.87/3229.40 c 3229 1785300 1358016 1 - 0.0000 -
3223.05/3234.64 c 3235 1785734 1358061 1 - 0.0000 -
3228.04/3239.69 c 3240 1787207 1359212 1 - 0.0000 -
3233.21/3244.82 c 3245 1788231 1359963 1 - 0.0000 -
3238.30/3249.96 c 3250 1789209 1360707 1 - 0.0000 -
3243.78/3255.41 c 3255 1789818 1360906 1 - 0.0000 -
3248.97/3260.63 c 3261 1790523 1361182 1 - 0.0000 -
3254.14/3265.82 c 3266 1791545 1361872 1 - 0.0000 -
3259.34/3271.07 c 3271 1792788 1362816 1 - 0.0000 -
3264.51/3276.21 c 3276 1793806 1363517 1 - 0.0000 -
3269.60/3281.34 c 3281 1795417 1364845 1 - 0.0000 -
3274.67/3286.44 c 3286 1796700 1365873 1 - 0.0000 -
3279.76/3291.58 c 3292 1798152 1366914 1 - 0.0000 -
3284.94/3296.71 c 3297 1799191 1367645 1 - 0.0000 -
3290.02/3301.85 c 3302 1800366 1368527 1 - 0.0000 -
3295.11/3306.94 c 3307 1800876 1368631 1 - 0.0000 -
3300.39/3312.26 c 3312 1801789 1369171 1 - 0.0000 -
3305.57/3317.46 c 3317 1803335 1370332 1 - 0.0000 -
3310.65/3322.58 c 3323 1804415 1371148 1 - 0.0000 -
3315.83/3327.70 c 3328 1805755 1372243 1 - 0.0000 -
3320.82/3332.78 c 3333 1807220 1373363 1 - 0.0000 -
3326.10/3338.01 c 3338 1807967 1373755 1 - 0.0000 -
3331.19/3343.12 c 3343 1809004 1374448 1 - 0.0000 -
3336.26/3348.27 c 3348 1810359 1375354 1 - 0.0000 -
3341.45/3353.42 c 3353 1811644 1376286 1 - 0.0000 -
3346.53/3358.55 c 3359 1812761 1377120 1 - 0.0000 -
3351.61/3363.66 c 3364 1814032 1378088 1 - 0.0000 -
3356.70/3368.74 c 3369 1815306 1379023 1 - 0.0000 -
3361.77/3373.87 c 3374 1816010 1379471 1 - 0.0000 -
3366.87/3378.98 c 3379 1817160 1380167 1 - 0.0000 -
3371.94/3384.08 c 3384 1818349 1381054 1 - 0.0000 -
3377.03/3389.17 c 3389 1819236 1381737 1 - 0.0000 -
3382.10/3394.28 c 3394 1820440 1382702 1 - 0.0000 -
3387.18/3399.37 c 3399 1821880 1383833 1 - 0.0000 -
3392.48/3404.67 c 3405 1823275 1384905 1 - 0.0000 -
3397.75/3409.94 c 3410 1824331 1385742 1 - 0.0000 -
3402.84/3415.10 c 3415 1825639 1386803 1 - 0.0000 -
3408.02/3420.21 c 3420 1826548 1387411 1 - 0.0000 -
3413.00/3425.27 c 3425 1827675 1388228 1 - 0.0000 -
3418.18/3430.44 c 3430 1828720 1388998 1 - 0.0000 -
3423.27/3435.53 c 3436 1829825 1389685 1 - 0.0000 -
3428.45/3440.76 c 3441 1830921 1390548 1 - 0.0000 -
3433.63/3445.94 c 3446 1832087 1391465 1 - 0.0000 -
3438.82/3451.15 c 3451 1833224 1392302 1 - 0.0000 -
3443.90/3456.27 c 3456 1834247 1393071 1 - 0.0000 -
3449.08/3461.45 c 3461 1835114 1393714 1 - 0.0000 -
3454.25/3466.62 c 3467 1836082 1394394 1 - 0.0000 -
3459.34/3471.71 c 3472 1837034 1395011 1 - 0.0000 -
3464.33/3476.79 c 3477 1838507 1396108 1 - 0.0000 -
3469.50/3481.91 c 3482 1839790 1397075 1 - 0.0000 -
3474.59/3487.02 c 3487 1841328 1398379 1 - 0.0000 -
3479.67/3492.15 c 3492 1842543 1399255 1 - 0.0000 -
3484.75/3497.27 c 3497 1843628 1400005 1 - 0.0000 -
3489.84/3502.35 c 3502 1844839 1400926 1 - 0.0000 -
3494.91/3507.40 c 3507 1846377 1402037 1 - 0.0000 -
3499.99/3512.58 c 3513 1847743 1403110 1 - 0.0000 -
3505.18/3517.77 c 3518 1848846 1403971 1 - 0.0000 -
3510.27/3522.82 c 3523 1849963 1404563 1 - 0.0000 -
3515.35/3527.90 c 3528 1851244 1405179 1 - 0.0000 -
3520.43/3533.00 c 3533 1852284 1406005 1 - 0.0000 -
3525.51/3538.17 c 3538 1853493 1406990 1 - 0.0000 -
3530.69/3543.31 c 3543 1854775 1407966 1 - 0.0000 -
3535.78/3548.48 c 3548 1856072 1408839 1 - 0.0000 -
3540.96/3553.65 c 3554 1857003 1409502 1 - 0.0000 -
3546.04/3558.77 c 3559 1857971 1410102 1 - 0.0000 -
3551.51/3564.22 c 3564 1858535 1410310 1 - 0.0000 -
3556.70/3569.43 c 3569 1859441 1410972 1 - 0.0000 -
3561.79/3574.53 c 3575 1860476 1411740 1 - 0.0000 -
3566.77/3579.57 c 3580 1861567 1412447 1 - 0.0000 -
3571.95/3584.79 c 3585 1862536 1413003 1 - 0.0000 -
3577.14/3589.96 c 3590 1863439 1413488 1 - 0.0000 -
3582.32/3595.16 c 3595 1864038 1413569 1 - 0.0000 -
3588.89/3601.75 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.89/3601.75 c Total Time : 3601.7500
3588.89/3601.75 c solving : 3601.7500
3588.89/3601.75 c presolving : 0.0092 (included in solving)
3588.89/3601.75 c B&B Tree :
3588.89/3601.75 c nodes (total) : 1
3588.89/3601.75 c Solution :
3588.89/3601.75 c Solutions found : 0
3588.89/3601.75 c Primal Bound : -
3588.89/3601.75 c Dual Bound : +0.00000000000000e+00
3588.89/3601.75 c Gap : -
3588.89/3601.75 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (60256 MiB free)
memory of node 1: 64510 MiB (61786 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448570-1721366937/watcher-4448570-1721366937 -o /tmp/evaluation-result-4448570-1721366937/solver-4448570-1721366937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721361246-1011504 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448570-1721366937.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1015469, runsolver pid=1015466
Current StackSize limit: 8192 KiB
[startup+0.100724 s]*
/proc/loadavg: 4.11 4.10 4.09 5/266 1015472
/proc/meminfo: memFree=124946260/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=118372 memory=37372 CPUtime=0.09 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 6707 0 0 0 9 0 0 0 20 0 3 0 188857866 121212928 9343 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 29593 9343 2926 3032 0 13698 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=118372 memory=4026561586 CPUtime=0.07 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 3440 0 0 0 7 0 0 0 20 0 3 0 188857867 121212928 9343 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=118372 memory=237146210664 CPUtime=0 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188857868 121212928 9343 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 118372 KiB
Current children cumulated memory: 37372 KiB
[startup+0.205731 s]*
/proc/loadavg: 4.11 4.10 4.09 5/266 1015472
/proc/meminfo: memFree=124944832/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=118372 memory=38472 CPUtime=0.19 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 7170 0 0 0 19 0 0 0 20 0 3 0 188857866 121212928 9618 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 29593 9618 2926 3032 0 13960 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=118372 memory=6876556183782621315 CPUtime=0.17 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 3903 0 0 0 17 0 0 0 20 0 3 0 188857867 121212928 9618 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=118372 memory=19020 CPUtime=0 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188857868 121212928 9618 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 118372 KiB
Current children cumulated memory: 38472 KiB
[startup+0.305725 s]*
/proc/loadavg: 4.11 4.10 4.09 5/266 1015472
/proc/meminfo: memFree=124942480/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=118372 memory=40904 CPUtime=0.29 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 7764 0 0 0 28 1 0 0 20 0 3 0 188857866 121212928 10226 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 29593 10226 2942 3032 0 14354 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=118372 memory=-7880590079404892795 CPUtime=0.26 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 4497 0 0 0 26 0 0 0 20 0 3 0 188857867 121212928 10226 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=118372 memory=0 CPUtime=0 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188857868 121212928 10226 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 118372 KiB
Current children cumulated memory: 40904 KiB
[startup+0.700265 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 1015472
/proc/meminfo: memFree=124940280/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=118372 memory=45196 CPUtime=0.67 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 9903 0 0 0 66 1 0 0 20 0 3 0 188857866 121212928 11299 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 29593 11299 2942 3032 0 15467 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=118372 memory=0 CPUtime=0.66 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 6636 0 0 0 65 1 0 0 20 0 3 0 188857867 121212928 11299 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=118372 memory=0 CPUtime=0 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188857868 121212928 11299 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 118372 KiB
Current children cumulated memory: 45196 KiB
[startup+1.50027 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 1015472
/proc/meminfo: memFree=124937076/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=118372 memory=46476 CPUtime=1.47 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 17692 0 0 0 145 2 0 0 20 0 3 0 188857866 121212928 11619 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 29593 11619 2942 3032 0 16273 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=118372 memory=0 CPUtime=1.46 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 14410 0 0 0 144 2 0 0 20 0 3 0 188857867 121212928 11619 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=118372 memory=0 CPUtime=0 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188857868 121212928 11619 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 118372 KiB
Current children cumulated memory: 46476 KiB
[startup+3.1055 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 1015474
/proc/meminfo: memFree=124926056/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=118372 memory=55560 CPUtime=3.07 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 22193 0 0 0 304 3 0 0 20 0 3 0 188857866 121212928 13890 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 29593 13890 2942 3032 0 17926 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=118372 memory=2273 CPUtime=3.05 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 18908 0 0 0 302 3 0 0 20 0 3 0 188857867 121212928 13890 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=118372 memory=0 CPUtime=0 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 188857868 121212928 13890 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 118372 KiB
Current children cumulated memory: 55560 KiB
[startup+6.30026 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 1015474
/proc/meminfo: memFree=124916872/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=118372 memory=61752 CPUtime=6.25 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 36778 0 0 0 620 5 0 0 20 0 3 0 188857866 121212928 15438 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 29593 15438 2990 3032 0 19947 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=118372 memory=-7880590079404892795 CPUtime=6.24 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 33470 0 0 0 619 5 0 0 20 0 3 0 188857867 121212928 15438 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=118372 memory=63584 CPUtime=0 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 188857868 121212928 15438 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 118372 KiB
Current children cumulated memory: 61752 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 1015475
/proc/meminfo: memFree=124896956/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=118372 memory=74948 CPUtime=12.64 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 69319 0 0 0 1254 10 0 0 20 0 3 0 188857866 121212928 18737 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 29593 18737 2990 3032 0 23354 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=118372 memory=55560 CPUtime=12.62 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 65966 0 0 0 1252 10 0 0 20 0 3 0 188857867 121212928 18737 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=118372 memory=0 CPUtime=0 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 188857868 121212928 18737 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 118372 KiB
Current children cumulated memory: 74948 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 1015477
/proc/meminfo: memFree=124891444/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=118372 memory=76092 CPUtime=25.39 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 87296 0 0 0 2525 14 0 0 20 0 3 0 188857866 121212928 19023 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 29593 19023 2990 3032 0 23354 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=118372 memory=70536 CPUtime=25.38 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 83893 0 0 0 2524 14 0 0 20 0 3 0 188857867 121212928 19023 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=118372 memory=11604 CPUtime=0 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 188857868 121212928 19023 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 118372 KiB
Current children cumulated memory: 76092 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 1015480
/proc/meminfo: memFree=124838060/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=183908 memory=99724 CPUtime=50.91 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 121593 0 0 0 5069 22 0 0 20 0 3 0 188857866 188321792 24931 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 45977 24931 2990 3032 0 28620 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=183908 memory=95996 CPUtime=50.89 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 118107 0 0 0 5067 22 0 0 20 0 3 0 188857867 188321792 24931 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=183908 memory=95416 CPUtime=0 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 188857868 188321792 24931 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 183908 KiB
Current children cumulated memory: 99724 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 1015548
/proc/meminfo: memFree=124730316/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=250472 memory=158728 CPUtime=101.93 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 179311 0 0 0 10154 39 0 0 20 0 3 0 188857866 256483328 39682 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 62618 39682 2990 3032 0 43352 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=250472 memory=154428 CPUtime=101.9 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 175742 0 0 0 10152 38 0 0 20 0 3 0 188857867 256483328 39682 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=250472 memory=152796 CPUtime=0 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 188857868 256483328 39682 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 250472 KiB
Current children cumulated memory: 158728 KiB
[startup+162.3 s]
/proc/loadavg: 4.32 4.17 4.11 5/265 1015558
/proc/meminfo: memFree=124596428/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=251500 memory=219624 CPUtime=161.69 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 244944 0 0 0 16111 58 0 0 20 0 3 0 188857866 257536000 54906 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 62875 54906 2990 3032 0 58622 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=251500 memory=11604 CPUtime=161.65 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 241291 0 0 0 16108 57 0 0 20 0 3 0 188857867 257536000 54906 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=251500 memory=217660 CPUtime=0 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 188857868 257536000 54906 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 251500 KiB
################
# More data... #
################
/proc/1015469/statm: 368810 356719 2990 3032 0 363124 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=1475240 memory=1401316 CPUtime=3449.7 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 1535554 0 0 0 344358 612 0 0 20 0 3 0 188857867 1510645760 356719 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=1475240 memory=1425720 CPUtime=0.04 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 142 0 0 0 1 3 0 0 20 0 3 0 188857868 1510645760 356719 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 3449.97 s
Current children cumulated vsize: 1475240 KiB
Current children cumulated memory: 1426876 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/259 1017306
/proc/meminfo: memFree=98662324/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=1540776 memory=1439696 CPUtime=3509.76 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 1562916 0 0 0 350349 627 0 0 20 0 3 0 188857866 1577754624 359924 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 385194 359924 2990 3032 0 365859 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=1540776 memory=5432 CPUtime=3509.49 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 1558359 0 0 0 350329 620 0 0 20 0 3 0 188857867 1577754624 359924 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=1540776 memory=1437916 CPUtime=0.04 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 144 0 0 0 1 3 0 0 20 0 3 0 188857868 1577754624 359924 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 3509.76 s
Current children cumulated vsize: 1540776 KiB
Current children cumulated memory: 1439696 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/260 1017485
/proc/meminfo: memFree=98634780/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=1540776 memory=1450780 CPUtime=3569.56 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 1586466 0 0 0 356320 636 0 0 20 0 3 0 188857866 1577754624 362695 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 385194 362695 2990 3032 0 368764 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=1540776 memory=11604 CPUtime=3569.28 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 1581892 0 0 0 356300 628 0 0 20 0 3 0 188857867 1577754624 362695 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=1540776 memory=11604 CPUtime=0.04 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 188857868 1577754624 362695 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 3569.56 s
Current children cumulated vsize: 1540776 KiB
Current children cumulated memory: 1450780 KiB
[startup+3601.77 s]
# the end of solver process 1015469 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.51 s, system=6.465 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.10 4.09 5/260 1017485
/proc/meminfo: memFree=98634340/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=1540776 memory=1450972 CPUtime=3571.26 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 1586701 0 0 0 356490 636 0 0 20 0 3 0 188857866 1577754624 362743 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 385194 362743 2990 3032 0 368812 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=1540776 memory=-7380658146866652513 CPUtime=3570.98 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 1582127 0 0 0 356470 628 0 0 20 0 3 0 188857867 1577754624 362743 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=1540776 memory=26944 CPUtime=0.04 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 188857868 1577754624 362743 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 3571.26 s
Current children cumulated vsize: 1540776 KiB
Current children cumulated memory: 1450972 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/260 1017485
/proc/meminfo: memFree=98631928/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=1540776 memory=1451316 CPUtime=3577.63 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 1586983 0 0 0 357126 637 0 0 20 0 3 0 188857866 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 385194 362829 2990 3032 0 368844 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=1540776 memory=47224 CPUtime=3577.35 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 1582409 0 0 0 357106 629 0 0 20 0 3 0 188857867 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=1540776 memory=1449896 CPUtime=0.04 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 188857868 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 3577.63 s
Current children cumulated vsize: 1540776 KiB
Current children cumulated memory: 1451316 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/260 1017486
/proc/meminfo: memFree=98631348/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=1540776 memory=1451316 CPUtime=3584.01 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 1594905 0 0 0 357764 637 0 0 20 0 3 0 188857866 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 385194 362829 2990 3032 0 368844 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=1540776 memory=1451312 CPUtime=3583.72 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 1590314 0 0 0 357743 629 0 0 20 0 3 0 188857867 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=1540776 memory=1447972 CPUtime=0.04 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 188857868 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 3584.01 s
Current children cumulated vsize: 1540776 KiB
Current children cumulated memory: 1451316 KiB
[startup+3600 s]*
/proc/loadavg: 4.08 4.10 4.09 5/260 1017486
/proc/meminfo: memFree=98628264/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=1540776 memory=1451316 CPUtime=3587.21 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 1606695 0 0 0 358083 638 0 0 20 0 3 0 188857866 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 385194 362829 2990 3032 0 368844 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=1540776 memory=1924 CPUtime=3586.93 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 1602628 0 0 0 358063 630 0 0 20 0 3 0 188857867 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=1540776 memory=19288 CPUtime=0.04 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 188857868 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 3587.21 s
Current children cumulated vsize: 1540776 KiB
Current children cumulated memory: 1451316 KiB
[startup+3600.8 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 1017486
/proc/meminfo: memFree=98628264/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=1540776 memory=1451316 CPUtime=3587.99 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 1679816 0 0 0 358157 642 0 0 20 0 3 0 188857866 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 385194 362829 2990 3032 0 368844 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=1540776 memory=1451316 CPUtime=3587.71 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 1675228 0 0 0 358137 634 0 0 20 0 3 0 188857867 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=1540776 memory=-7096123549961720167 CPUtime=0.04 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 188857868 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 3587.99 s
Current children cumulated vsize: 1540776 KiB
Current children cumulated memory: 1451316 KiB
[startup+3601.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 1017486
/proc/meminfo: memFree=98627992/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=1540776 memory=1451316 CPUtime=3588.4 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 1689069 0 0 0 358197 643 0 0 20 0 3 0 188857866 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 385194 362829 2990 3032 0 368844 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=1540776 memory=6752740 CPUtime=3588.11 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 1684475 0 0 0 358177 634 0 0 20 0 3 0 188857867 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=1540776 memory=2656 CPUtime=0.04 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 188857868 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 3588.4 s
Current children cumulated vsize: 1540776 KiB
Current children cumulated memory: 1451316 KiB
[startup+3601.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 1017486
/proc/meminfo: memFree=98627992/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=1540776 memory=1451316 CPUtime=3588.79 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 1701041 0 0 0 358236 643 0 0 20 0 3 0 188857866 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 385194 362829 2990 3032 0 368844 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=1540776 memory=1451316 CPUtime=3588.51 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 1696447 0 0 0 358216 635 0 0 20 0 3 0 188857867 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=1540776 memory=0 CPUtime=0.04 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 188857868 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 3588.79 s
Current children cumulated vsize: 1540776 KiB
Current children cumulated memory: 1451316 KiB
[startup+3601.7 s]
/proc/loadavg: 4.08 4.10 4.09 5/260 1017486
/proc/meminfo: memFree=98627992/131524600 swapFree=131071996/131071996
[pid=1015469] ppid=1015466 vsize=1540776 memory=1451316 CPUtime=3588.89 cores=1,3
/proc/1015469/stat : 1015469 (fscip) S 1015466 1015469 1011492 0 -1 1077936128 1704021 0 0 0 358246 643 0 0 20 0 3 0 188857866 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
/proc/1015469/statm: 385194 362829 2990 3032 0 368844 0
[pid=1015469/tid=1015471] ppid=1015466 vsize=1540776 memory=1451316 CPUtime=3588.61 cores=1,3
/proc/1015469/task/1015471/stat : 1015471 (fscip) R 1015466 1015469 1011492 0 -1 4194368 1699427 0 0 0 358226 635 0 0 20 0 3 0 188857867 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
[pid=1015469/tid=1015472] ppid=1015466 vsize=1540776 memory=11604 CPUtime=0.04 cores=1,3
/proc/1015469/task/1015472/stat : 1015472 (fscip) S 1015466 1015469 1011492 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 188857868 1577754624 362829 134679101440 4194304 16613245 140731676689984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31842304 140731676697619 140731676697735 140731676697735 140731676704752 0
Current children cumulated CPU time: 3588.89 s
Current children cumulated vsize: 1540776 KiB
Current children cumulated memory: 1451316 KiB
Child status: 0
Real time (s): 3601.77
CPU time (s): 3588.98
CPU user time (s): 3582.51
CPU system time (s): 6.465
CPU usage (%): 99.6447
Max. virtual memory (cumulated for all children) (KiB): 1540776
Max. memory (cumulated for all children) (KiB): 1451316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.51
system time used= 6.465
maximum resident set size= 1451316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1705499
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= 11091
involuntary context switches= 4824
# summary of solver processes directly reported to runsolver:
# pid: 1015469
# total CPU time (s): 3588.98
# total CPU user time (s): 3582.51
# total CPU system time (s): 6.465
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.53216 second user time and 17.2359 second system time
The end
Begin job on nodeC022 at 2024-07-19 07:29:10
IDJOB=4448570
IDBENCH=160430
IDSOLVER=3064
FILE ID=nodeC022/4448570-1721366937
RUNJOBID= nodeC022-1721361246-1011504
SLURM_JOB_ID= 7542779
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x90split.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-4448570-1721366937/watcher-4448570-1721366937 -o /tmp/evaluation-result-4448570-1721366937/solver-4448570-1721366937 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721361246-1011504 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448570-1721366937.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e216a9526ca3dc38bcdba98c3f3990b1
RANDOM SEED=908508232
nodeC022.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 : 3673.264
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.66
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 : 3665.158
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 : 7006.96
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 : 3600.241
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.66
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 : 3677.037
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 : 7006.96
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 : 3673.233
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.66
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 : 3673.378
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 : 7006.96
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 : 3600.053
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.66
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.107
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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124973152 kB
MemAvailable: 127563560 kB
Buffers: 506896 kB
Cached: 2908304 kB
SwapCached: 0 kB
Active: 1206204 kB
Inactive: 4690388 kB
Active(anon): 1556 kB
Inactive(anon): 2525432 kB
Active(file): 1204648 kB
Inactive(file): 2164956 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28324 kB
Writeback: 96 kB
AnonPages: 2475124 kB
Mapped: 142816 kB
Shmem: 45912 kB
KReclaimable: 120904 kB
Slab: 236376 kB
SReclaimable: 120904 kB
SUnreclaim: 115472 kB
KernelStack: 4288 kB
PageTables: 14240 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1221364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68896 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1523712 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: 260820 kB
DirectMap2M: 28872704 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889788 MiB
End job on nodeC022 at 2024-07-19 08:29:12