0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 25849856, getVmSize() = 25849856, SCIPgetMemUsed() = 3547356, SCIPgetMemTotal() = 4308540, SCIPgetMemExternEstim() = 1798769
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 = 20469077, getVmSize() = 35557376, SCIPgetMemUsed() = 8427248, SCIPgetMemTotal() = 12795744, SCIPgetMemExternEstim() = 1798769
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-4464508-1722385805
0.00/0.01 c Variables : 801 (801 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 1118
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 800 (800 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 400
0.00/0.01 c Constraints : Number
0.00/0.01 c linear : 400
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.02 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.02 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.02 c Nodes Active
0.00/0.02 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.17/5.24 c 5 2050 1944 1 - 0.0000 -
10.16/10.29 c 10 6500 5938 1 - 0.0000 -
15.25/15.34 c 15 14094 12370 1 - 0.0000 -
20.32/20.40 c 20 21963 18775 1 - 0.0000 -
25.32/25.44 c 25 30487 25270 1 - 0.0000 -
30.40/30.51 c 31 38953 32088 1 - 0.0000 -
35.38/35.55 c 36 46876 38609 1 - 0.0000 -
40.46/40.61 c 41 55407 45171 1 - 0.0000 -
45.45/45.65 c 46 64441 51888 1 - 0.0000 -
50.53/50.70 c 51 72344 58540 1 - 0.0000 -
55.52/55.76 c 56 80810 65332 1 - 0.0000 -
60.60/60.80 c 61 88882 71403 1 - 0.0000 -
65.59/65.86 c 66 96776 77395 1 - 0.0000 -
70.67/70.91 c 71 105050 83375 1 - 0.0000 -
75.65/75.96 c 76 113309 89225 1 - 0.0000 -
80.75/81.01 c 81 121700 95274 1 - 0.0000 -
85.73/86.06 c 86 129879 101795 1 - 0.0000 -
90.81/91.11 c 91 137533 107606 1 - 0.0000 -
95.80/96.16 c 96 145177 113665 1 - 0.0000 -
100.87/101.24 c 101 152792 119905 1 - 0.0000 -
105.86/106.29 c 106 159850 125708 1 - 0.0000 -
110.95/111.34 c 111 167651 131643 1 - 0.0000 -
115.93/116.39 c 116 175232 137553 1 - 0.0000 -
121.01/121.44 c 121 182397 142974 1 - 0.0000 -
126.00/126.49 c 126 190094 148413 1 - 0.0000 -
131.08/131.53 c 132 197285 153828 1 - 0.0000 -
136.06/136.58 c 137 204612 159194 1 - 0.0000 -
141.15/141.63 c 142 211445 164668 1 - 0.0000 -
146.14/146.68 c 147 218706 170016 1 - 0.0000 -
151.22/151.73 c 152 225884 175338 1 - 0.0000 -
156.20/156.78 c 157 232536 180554 1 - 0.0000 -
161.28/161.83 c 162 239527 185747 1 - 0.0000 -
166.37/166.91 c 167 246253 189307 1 - 0.0000 -
171.35/171.96 c 172 253321 194042 1 - 0.0000 -
176.44/177.01 c 177 260359 199112 1 - 0.0000 -
181.43/182.06 c 182 267225 204411 1 - 0.0000 -
186.51/187.11 c 187 273467 209464 1 - 0.0000 -
191.50/192.18 c 192 280022 214600 1 - 0.0000 -
196.58/197.22 c 197 286090 219548 1 - 0.0000 -
201.57/202.27 c 202 292395 224875 1 - 0.0000 -
206.64/207.32 c 207 298535 229718 1 - 0.0000 -
211.63/212.38 c 212 304564 234619 1 - 0.0000 -
216.72/217.42 c 217 310299 239989 1 - 0.0000 -
221.70/222.47 c 222 316104 245033 1 - 0.0000 -
226.78/227.53 c 228 322407 249596 1 - 0.0000 -
231.77/232.58 c 233 328357 254018 1 - 0.0000 -
236.85/237.63 c 238 334023 258878 1 - 0.0000 -
241.84/242.68 c 243 339717 263055 1 - 0.0000 -
246.92/247.73 c 248 345188 267783 1 - 0.0000 -
251.91/252.78 c 253 351128 272256 1 - 0.0000 -
256.99/257.83 c 258 356893 276775 1 - 0.0000 -
261.98/262.89 c 263 362740 281139 1 - 0.0000 -
267.06/267.93 c 268 368792 286488 1 - 0.0000 -
272.05/272.99 c 273 374246 290946 1 - 0.0000 -
277.14/278.07 c 278 379732 295240 1 - 0.0000 -
282.22/283.11 c 283 385187 299976 1 - 0.0000 -
287.21/288.17 c 288 390993 303704 1 - 0.0000 -
292.29/293.24 c 293 396209 307553 1 - 0.0000 -
297.27/298.28 c 298 401421 311649 1 - 0.0000 -
302.35/303.33 c 303 406346 315388 1 - 0.0000 -
307.34/308.38 c 308 411546 319437 1 - 0.0000 -
312.42/313.45 c 313 416302 323332 1 - 0.0000 -
317.51/318.50 c 319 421040 327423 1 - 0.0000 -
322.49/323.55 c 324 426007 331832 1 - 0.0000 -
327.58/328.60 c 329 430818 336073 1 - 0.0000 -
332.57/333.66 c 334 435855 340409 1 - 0.0000 -
337.65/338.72 c 339 440672 343789 1 - 0.0000 -
342.63/343.77 c 344 445388 347427 1 - 0.0000 -
347.72/348.83 c 349 449873 350853 1 - 0.0000 -
352.71/353.89 c 354 454403 354002 1 - 0.0000 -
357.79/358.94 c 359 459212 357348 1 - 0.0000 -
362.88/364.00 c 364 463602 360688 1 - 0.0000 -
367.86/369.06 c 369 467976 364146 1 - 0.0000 -
372.95/374.10 c 374 472345 368076 1 - 0.0000 -
377.93/379.15 c 379 477782 371408 1 - 0.0000 -
383.01/384.21 c 384 482102 374727 1 - 0.0000 -
388.00/389.28 c 389 487220 378404 1 - 0.0000 -
393.09/394.33 c 394 493000 382195 1 - 0.0000 -
398.07/399.38 c 399 498218 386333 1 - 0.0000 -
403.15/404.43 c 404 502774 390142 1 - 0.0000 -
408.14/409.47 c 409 507179 392869 1 - 0.0000 -
413.23/414.52 c 415 511582 395502 1 - 0.0000 -
418.31/419.63 c 420 515792 398655 1 - 0.0000 -
423.30/424.68 c 425 520470 402411 1 - 0.0000 -
428.38/429.72 c 430 525162 406219 1 - 0.0000 -
433.37/434.77 c 435 529510 409816 1 - 0.0000 -
438.45/439.82 c 440 533867 412623 1 - 0.0000 -
443.43/444.87 c 445 538164 415542 1 - 0.0000 -
448.52/449.93 c 450 542944 418699 1 - 0.0000 -
453.50/454.98 c 455 547240 421645 1 - 0.0000 -
458.59/460.04 c 460 551458 424960 1 - 0.0000 -
463.58/465.09 c 465 555752 428173 1 - 0.0000 -
468.67/470.14 c 470 560168 431301 1 - 0.0000 -
473.75/475.20 c 475 564222 434394 1 - 0.0000 -
478.73/480.24 c 480 568760 438006 1 - 0.0000 -
483.72/485.29 c 485 572844 441285 1 - 0.0000 -
488.81/490.35 c 490 577175 445005 1 - 0.0000 -
493.89/495.41 c 495 581251 448132 1 - 0.0000 -
498.88/500.46 c 500 585096 451098 1 - 0.0000 -
503.96/505.51 c 506 588793 454145 1 - 0.0000 -
508.94/510.57 c 511 592858 457094 1 - 0.0000 -
514.03/515.62 c 516 597159 460160 1 - 0.0000 -
519.02/520.67 c 521 601452 463516 1 - 0.0000 -
524.11/525.72 c 526 604936 466176 1 - 0.0000 -
529.08/530.79 c 531 608510 469128 1 - 0.0000 -
534.17/535.86 c 536 612060 471725 1 - 0.0000 -
539.26/540.93 c 541 615936 474719 1 - 0.0000 -
544.24/545.99 c 546 619625 477353 1 - 0.0000 -
549.33/551.05 c 551 623169 480124 1 - 0.0000 -
554.42/556.10 c 556 626963 482795 1 - 0.0000 -
559.40/561.19 c 561 630208 484978 1 - 0.0000 -
564.49/566.23 c 566 633702 487791 1 - 0.0000 -
569.47/571.28 c 571 637400 490540 1 - 0.0000 -
574.55/576.34 c 576 640837 492805 1 - 0.0000 -
579.64/581.40 c 581 644932 495968 1 - 0.0000 -
584.62/586.46 c 586 648750 499035 1 - 0.0000 -
589.71/591.54 c 592 652138 501863 1 - 0.0000 -
594.70/596.58 c 597 656044 504524 1 - 0.0000 -
599.78/601.64 c 602 659659 507077 1 - 0.0000 -
604.76/606.68 c 607 663431 510105 1 - 0.0000 -
609.85/611.77 c 612 666998 513067 1 - 0.0000 -
614.94/616.85 c 617 670508 515284 1 - 0.0000 -
620.03/621.91 c 622 673923 517177 1 - 0.0000 -
625.01/626.97 c 627 677230 518754 1 - 0.0000 -
630.10/632.01 c 632 680431 519911 1 - 0.0000 -
635.09/637.07 c 637 683494 521612 1 - 0.0000 -
640.18/642.12 c 642 686601 523311 1 - 0.0000 -
645.16/647.17 c 647 689439 524489 1 - 0.0000 -
650.24/652.23 c 652 692632 525892 1 - 0.0000 -
655.22/657.28 c 657 695816 527333 1 - 0.0000 -
660.31/662.34 c 662 699202 529326 1 - 0.0000 -
665.30/667.39 c 667 702408 530846 1 - 0.0000 -
670.38/672.45 c 672 705633 532447 1 - 0.0000 -
675.46/677.50 c 678 708621 533943 1 - 0.0000 -
680.45/682.54 c 683 712192 536021 1 - 0.0000 -
685.44/687.60 c 688 715265 537719 1 - 0.0000 -
690.53/692.64 c 693 718177 538665 1 - 0.0000 -
695.61/697.76 c 698 721652 540391 1 - 0.0000 -
700.70/702.81 c 703 724386 541387 1 - 0.0000 -
705.68/707.88 c 708 727078 543681 1 - 0.0000 -
710.77/712.92 c 713 729895 545325 1 - 0.0000 -
715.75/717.97 c 718 733038 547598 1 - 0.0000 -
720.95/723.17 c 723 735753 549707 1 - 0.0000 -
726.03/728.24 c 728 738520 551747 1 - 0.0000 -
731.11/733.35 c 733 741376 553847 1 - 0.0000 -
736.19/738.45 c 738 744263 556119 1 - 0.0000 -
741.28/743.58 c 744 746881 558023 1 - 0.0000 -
746.36/748.63 c 749 749508 560036 1 - 0.0000 -
751.45/753.71 c 754 752071 562109 1 - 0.0000 -
756.43/758.78 c 759 754841 564307 1 - 0.0000 -
761.53/763.83 c 764 757465 566112 1 - 0.0000 -
766.51/768.88 c 769 760451 568534 1 - 0.0000 -
771.59/773.93 c 774 763200 570537 1 - 0.0000 -
776.69/779.00 c 779 766000 572686 1 - 0.0000 -
781.67/784.07 c 784 769129 574887 1 - 0.0000 -
786.75/789.13 c 789 772258 576485 1 - 0.0000 -
791.74/794.19 c 794 775270 579020 1 - 0.0000 -
796.82/799.24 c 799 778236 580978 1 - 0.0000 -
801.91/804.32 c 804 780803 582370 1 - 0.0000 -
806.90/809.38 c 809 783630 584198 1 - 0.0000 -
811.98/814.46 c 814 786761 586125 1 - 0.0000 -
817.06/819.52 c 820 789642 588411 1 - 0.0000 -
822.15/824.63 c 825 792835 590716 1 - 0.0000 -
827.14/829.69 c 830 795445 592330 1 - 0.0000 -
832.23/834.75 c 835 798361 594727 1 - 0.0000 -
837.31/839.85 c 840 801148 597114 1 - 0.0000 -
842.40/844.91 c 845 804073 599258 1 - 0.0000 -
847.48/850.01 c 850 806614 601348 1 - 0.0000 -
852.48/855.07 c 855 809414 603498 1 - 0.0000 -
857.56/860.12 c 860 812069 605638 1 - 0.0000 -
862.54/865.18 c 865 814951 608220 1 - 0.0000 -
867.62/870.24 c 870 818010 610770 1 - 0.0000 -
872.71/875.31 c 875 820440 612193 1 - 0.0000 -
877.70/880.36 c 880 822989 613916 1 - 0.0000 -
882.78/885.43 c 885 825564 615739 1 - 0.0000 -
887.87/890.50 c 890 828282 617942 1 - 0.0000 -
892.85/895.57 c 896 831032 620285 1 - 0.0000 -
897.94/900.63 c 901 833616 622423 1 - 0.0000 -
903.03/905.73 c 906 836342 624690 1 - 0.0000 -
908.11/910.82 c 911 838860 626614 1 - 0.0000 -
913.09/915.87 c 916 841392 628230 1 - 0.0000 -
918.18/920.92 c 921 843300 1418 1 - 0.0000 -
923.16/925.99 c 926 847123 4912 1 - 0.0000 -
928.25/931.04 c 931 852036 9304 1 - 0.0000 -
933.24/936.09 c 936 859595 15360 1 - 0.0000 -
938.32/941.14 c 941 867508 21114 1 - 0.0000 -
943.30/946.19 c 946 875339 25498 1 - 0.0000 -
948.38/951.24 c 951 883768 30634 1 - 0.0000 -
953.36/956.29 c 956 890877 35667 1 - 0.0000 -
958.45/961.34 c 961 898209 40624 1 - 0.0000 -
963.43/966.39 c 966 905648 45253 1 - 0.0000 -
968.51/971.47 c 971 912880 50551 1 - 0.0000 -
973.60/976.51 c 977 920404 55415 1 - 0.0000 -
978.58/981.56 c 982 927484 60325 1 - 0.0000 -
983.67/986.61 c 987 935175 65370 1 - 0.0000 -
988.65/991.69 c 992 942968 70461 1 - 0.0000 -
993.73/996.73 c 997 949892 75735 1 - 0.0000 -
998.82/1001.81 c 1002 956706 80837 1 - 0.0000 -
1003.81/1006.86 c 1007 963682 85836 1 - 0.0000 -
1008.89/1011.92 c 1012 971543 90591 1 - 0.0000 -
1013.87/1016.96 c 1017 978130 95735 1 - 0.0000 -
1018.96/1022.01 c 1022 984889 100011 1 - 0.0000 -
1023.95/1027.06 c 1027 991306 104173 1 - 0.0000 -
1029.03/1032.11 c 1032 998126 109462 1 - 0.0000 -
1034.02/1037.16 c 1037 1005147 114210 1 - 0.0000 -
1039.10/1042.21 c 1042 1011963 118402 1 - 0.0000 -
1044.08/1047.26 c 1047 1018385 122004 1 - 0.0000 -
1049.16/1052.31 c 1052 1024926 125924 1 - 0.0000 -
1054.15/1057.36 c 1057 1032105 129793 1 - 0.0000 -
1059.23/1062.42 c 1062 1038044 133932 1 - 0.0000 -
1064.21/1067.46 c 1067 1044861 138825 1 - 0.0000 -
1069.30/1072.51 c 1073 1051277 142645 1 - 0.0000 -
1074.28/1077.56 c 1078 1057401 145986 1 - 0.0000 -
1079.37/1082.61 c 1083 1063561 150150 1 - 0.0000 -
1084.35/1087.66 c 1088 1069833 154087 1 - 0.0000 -
1089.43/1092.71 c 1093 1075490 157599 1 - 0.0000 -
1094.42/1097.76 c 1098 1081487 161565 1 - 0.0000 -
1099.51/1102.81 c 1103 1087629 165724 1 - 0.0000 -
1104.49/1107.86 c 1108 1093850 169185 1 - 0.0000 -
1109.57/1112.91 c 1113 1099895 172859 1 - 0.0000 -
1114.55/1117.96 c 1118 1106314 176883 1 - 0.0000 -
1119.63/1123.02 c 1123 1112262 180409 1 - 0.0000 -
1124.61/1128.06 c 1128 1117741 183714 1 - 0.0000 -
1129.69/1133.11 c 1133 1123260 186731 1 - 0.0000 -
1134.67/1138.16 c 1138 1129314 189775 1 - 0.0000 -
1139.74/1143.22 c 1143 1134663 193109 1 - 0.0000 -
1144.72/1148.27 c 1148 1140179 195943 1 - 0.0000 -
1149.80/1153.31 c 1153 1145922 198873 1 - 0.0000 -
1154.79/1158.37 c 1158 1151314 202216 1 - 0.0000 -
1159.87/1163.43 c 1163 1156457 204954 1 - 0.0000 -
1164.84/1168.48 c 1168 1162795 209097 1 - 0.0000 -
1169.92/1173.53 c 1174 1169398 213462 1 - 0.0000 -
1174.91/1178.58 c 1179 1175424 217870 1 - 0.0000 -
1179.99/1183.63 c 1184 1181508 222349 1 - 0.0000 -
1184.96/1188.68 c 1189 1187822 226344 1 - 0.0000 -
1190.04/1193.73 c 1194 1193868 229788 1 - 0.0000 -
1195.02/1198.78 c 1199 1199031 232700 1 - 0.0000 -
1200.10/1203.83 c 1204 1204020 236017 1 - 0.0000 -
1205.08/1208.88 c 1209 1209326 239272 1 - 0.0000 -
1210.16/1213.93 c 1214 1214248 241682 1 - 0.0000 -
1215.14/1218.98 c 1219 1219115 244081 1 - 0.0000 -
1220.22/1224.03 c 1224 1224004 246819 1 - 0.0000 -
1225.21/1229.09 c 1229 1229509 250291 1 - 0.0000 -
1230.29/1234.14 c 1234 1235241 253790 1 - 0.0000 -
1235.28/1239.18 c 1239 1240920 257806 1 - 0.0000 -
1240.36/1244.23 c 1244 1246720 260966 1 - 0.0000 -
1245.34/1249.28 c 1249 1252094 263985 1 - 0.0000 -
1250.42/1254.33 c 1254 1257343 266152 1 - 0.0000 -
1255.41/1259.38 c 1259 1262409 268620 1 - 0.0000 -
1260.50/1264.43 c 1264 1266842 270476 1 - 0.0000 -
1265.48/1269.49 c 1270 1271255 272953 1 - 0.0000 -
1270.57/1274.54 c 1275 1275789 275888 1 - 0.0000 -
1275.55/1279.59 c 1280 1280253 278691 1 - 0.0000 -
1280.64/1284.64 c 1285 1285096 282212 1 - 0.0000 -
1285.62/1289.69 c 1290 1290245 286016 1 - 0.0000 -
1290.71/1294.75 c 1295 1294822 289074 1 - 0.0000 -
1295.79/1299.80 c 1300 1299308 291809 1 - 0.0000 -
1300.78/1304.86 c 1305 1304270 294647 1 - 0.0000 -
1305.86/1309.90 c 1310 1308984 297455 1 - 0.0000 -
1310.85/1314.95 c 1315 1313602 300045 1 - 0.0000 -
1315.94/1320.01 c 1320 1318079 302551 1 - 0.0000 -
1320.92/1325.06 c 1325 1322832 305313 1 - 0.0000 -
1326.01/1330.10 c 1330 1327361 307746 1 - 0.0000 -
1330.99/1335.16 c 1335 1331582 310191 1 - 0.0000 -
1336.07/1340.20 c 1340 1336379 313067 1 - 0.0000 -
1341.05/1345.25 c 1345 1341145 315892 1 - 0.0000 -
1346.14/1350.31 c 1350 1345429 318888 1 - 0.0000 -
1351.13/1355.35 c 1355 1349989 321188 1 - 0.0000 -
1356.21/1360.40 c 1360 1354919 324196 1 - 0.0000 -
1361.19/1365.46 c 1365 1359613 326763 1 - 0.0000 -
1366.28/1370.51 c 1371 1364875 329566 1 - 0.0000 -
1371.27/1375.55 c 1376 1369219 332321 1 - 0.0000 -
1376.35/1380.60 c 1381 1373694 334868 1 - 0.0000 -
1381.34/1385.66 c 1386 1377991 337092 1 - 0.0000 -
1386.42/1390.70 c 1391 1382482 339432 1 - 0.0000 -
1391.41/1395.75 c 1396 1386633 341375 1 - 0.0000 -
1396.50/1400.80 c 1401 1390907 343492 1 - 0.0000 -
1401.48/1405.85 c 1406 1395132 345858 1 - 0.0000 -
1406.56/1410.91 c 1411 1399262 347974 1 - 0.0000 -
1411.55/1415.95 c 1416 1403301 350086 1 - 0.0000 -
1416.64/1421.00 c 1421 1406792 351603 1 - 0.0000 -
1421.63/1426.05 c 1426 1410698 353575 1 - 0.0000 -
1426.71/1431.10 c 1431 1414199 355123 1 - 0.0000 -
1431.69/1436.15 c 1436 1418303 357115 1 - 0.0000 -
1436.78/1441.21 c 1441 1422364 359341 1 - 0.0000 -
1441.76/1446.25 c 1446 1426196 361305 1 - 0.0000 -
1446.84/1451.32 c 1451 1430297 363363 1 - 0.0000 -
1451.83/1456.38 c 1456 1434246 365562 1 - 0.0000 -
1456.92/1461.42 c 1461 1437713 367288 1 - 0.0000 -
1461.90/1466.49 c 1466 1440667 369331 1 - 0.0000 -
1466.98/1471.57 c 1472 1444460 371861 1 - 0.0000 -
1472.07/1476.62 c 1477 1448144 374127 1 - 0.0000 -
1477.05/1481.67 c 1482 1451990 375898 1 - 0.0000 -
1482.14/1486.72 c 1487 1455560 378040 1 - 0.0000 -
1487.13/1491.78 c 1492 1459194 379744 1 - 0.0000 -
1492.21/1496.82 c 1497 1462758 381459 1 - 0.0000 -
1497.19/1501.87 c 1502 1466429 383426 1 - 0.0000 -
1502.28/1506.92 c 1507 1470230 385505 1 - 0.0000 -
1507.27/1511.97 c 1512 1474001 387439 1 - 0.0000 -
1512.36/1517.03 c 1517 1477382 389524 1 - 0.0000 -
1517.34/1522.08 c 1522 1480390 390814 1 - 0.0000 -
1522.43/1527.13 c 1527 1483902 392793 1 - 0.0000 -
1527.42/1532.19 c 1532 1487302 394219 1 - 0.0000 -
1532.50/1537.23 c 1537 1490564 395496 1 - 0.0000 -
1537.58/1542.31 c 1542 1493980 397381 1 - 0.0000 -
1542.56/1547.37 c 1547 1497318 399469 1 - 0.0000 -
1547.66/1552.42 c 1552 1500563 401230 1 - 0.0000 -
1552.64/1557.47 c 1557 1504038 402814 1 - 0.0000 -
1557.72/1562.51 c 1563 1507315 404522 1 - 0.0000 -
1562.71/1567.56 c 1568 1510835 406552 1 - 0.0000 -
1567.80/1572.61 c 1573 1514353 408629 1 - 0.0000 -
1572.78/1577.66 c 1578 1517730 410335 1 - 0.0000 -
1577.87/1582.71 c 1583 1521230 412003 1 - 0.0000 -
1582.85/1587.76 c 1588 1524787 413871 1 - 0.0000 -
1587.94/1592.81 c 1593 1528350 415733 1 - 0.0000 -
1592.92/1597.86 c 1598 1531860 417408 1 - 0.0000 -
1598.00/1602.91 c 1603 1535147 418990 1 - 0.0000 -
1603.00/1607.96 c 1608 1538100 420119 1 - 0.0000 -
1608.08/1613.01 c 1613 1541397 421770 1 - 0.0000 -
1613.06/1618.07 c 1618 1544587 423236 1 - 0.0000 -
1618.15/1623.11 c 1623 1547841 424636 1 - 0.0000 -
1623.14/1628.17 c 1628 1551282 426422 1 - 0.0000 -
1628.22/1633.21 c 1633 1554403 428115 1 - 0.0000 -
1633.19/1638.27 c 1638 1557522 430162 1 - 0.0000 -
1638.28/1643.32 c 1643 1560833 431881 1 - 0.0000 -
1643.27/1648.37 c 1648 1564176 433560 1 - 0.0000 -
1648.35/1653.42 c 1653 1567550 435177 1 - 0.0000 -
1653.33/1658.48 c 1658 1571139 437251 1 - 0.0000 -
1658.42/1663.52 c 1664 1574742 439529 1 - 0.0000 -
1663.40/1668.58 c 1669 1577974 441168 1 - 0.0000 -
1668.49/1673.64 c 1674 1581414 442916 1 - 0.0000 -
1673.47/1678.69 c 1679 1584963 444975 1 - 0.0000 -
1678.55/1683.75 c 1684 1588264 446724 1 - 0.0000 -
1683.63/1688.80 c 1689 1591708 448557 1 - 0.0000 -
1688.62/1693.85 c 1694 1594959 450169 1 - 0.0000 -
1693.71/1698.90 c 1699 1598276 451806 1 - 0.0000 -
1698.69/1703.95 c 1704 1601627 453324 1 - 0.0000 -
1703.78/1709.01 c 1709 1604682 454617 1 - 0.0000 -
1708.76/1714.05 c 1714 1607647 456004 1 - 0.0000 -
1713.85/1719.10 c 1719 1610727 457382 1 - 0.0000 -
1718.83/1724.15 c 1724 1614271 458800 1 - 0.0000 -
1723.91/1729.21 c 1729 1617499 460348 1 - 0.0000 -
1728.90/1734.26 c 1734 1621017 462091 1 - 0.0000 -
1733.98/1739.32 c 1739 1624335 463686 1 - 0.0000 -
1738.97/1744.37 c 1744 1627853 465440 1 - 0.0000 -
1744.05/1749.41 c 1749 1631906 467601 1 - 0.0000 -
1749.04/1754.46 c 1754 1635771 469295 1 - 0.0000 -
1754.12/1759.52 c 1760 1639424 470715 1 - 0.0000 -
1759.11/1764.56 c 1765 1643356 472318 1 - 0.0000 -
1764.19/1769.61 c 1770 1647119 474099 1 - 0.0000 -
1769.17/1774.67 c 1775 1650740 475882 1 - 0.0000 -
1774.25/1779.71 c 1780 1654420 477677 1 - 0.0000 -
1779.24/1784.76 c 1785 1658332 479943 1 - 0.0000 -
1784.31/1789.81 c 1790 1662319 482357 1 - 0.0000 -
1789.31/1794.86 c 1795 1666062 484377 1 - 0.0000 -
1794.39/1799.91 c 1800 1669696 486206 1 - 0.0000 -
1799.37/1804.96 c 1805 1673506 488067 1 - 0.0000 -
1804.46/1810.01 c 1810 1677395 489980 1 - 0.0000 -
1809.45/1815.06 c 1815 1681477 492685 1 - 0.0000 -
1814.53/1820.11 c 1820 1685557 494872 1 - 0.0000 -
1819.52/1825.17 c 1825 1689497 496963 1 - 0.0000 -
1824.59/1830.21 c 1830 1692871 498434 1 - 0.0000 -
1829.58/1835.27 c 1835 1696540 500194 1 - 0.0000 -
1834.66/1840.32 c 1840 1700482 502436 1 - 0.0000 -
1839.65/1845.38 c 1845 1704492 504239 1 - 0.0000 -
1844.72/1850.42 c 1850 1708936 506441 1 - 0.0000 -
1849.72/1855.47 c 1855 1713361 508195 1 - 0.0000 -
1854.79/1860.52 c 1861 1717433 509997 1 - 0.0000 -
1859.78/1865.57 c 1866 1721491 511753 1 - 0.0000 -
1864.86/1870.62 c 1871 1725903 514068 1 - 0.0000 -
1869.85/1875.67 c 1876 1729927 515705 1 - 0.0000 -
1874.93/1880.72 c 1881 1734253 517680 1 - 0.0000 -
1879.91/1885.77 c 1886 1738367 519407 1 - 0.0000 -
1884.99/1890.82 c 1891 1742844 521611 1 - 0.0000 -
1889.98/1895.87 c 1896 1747488 524457 1 - 0.0000 -
1895.06/1900.92 c 1901 1752043 527131 1 - 0.0000 -
1900.04/1905.97 c 1906 1756417 529135 1 - 0.0000 -
1905.14/1911.02 c 1911 1760774 531250 1 - 0.0000 -
1910.11/1916.08 c 1916 1765082 533268 1 - 0.0000 -
1915.20/1921.12 c 1921 1769749 535495 1 - 0.0000 -
1920.18/1926.17 c 1926 1774311 538022 1 - 0.0000 -
1925.27/1931.22 c 1931 1778830 539913 1 - 0.0000 -
1930.24/1936.27 c 1936 1783808 542597 1 - 0.0000 -
1935.33/1941.32 c 1941 1788388 544661 1 - 0.0000 -
1940.31/1946.37 c 1946 1792991 546955 1 - 0.0000 -
1945.39/1951.42 c 1951 1797872 549381 1 - 0.0000 -
1950.37/1956.47 c 1956 1802762 551641 1 - 0.0000 -
1955.46/1961.52 c 1962 1807577 553935 1 - 0.0000 -
1960.44/1966.57 c 1967 1812574 557032 1 - 0.0000 -
1965.53/1971.62 c 1972 1817791 560274 1 - 0.0000 -
1970.51/1976.67 c 1977 1823203 563202 1 - 0.0000 -
1975.59/1981.72 c 1982 1828295 566125 1 - 0.0000 -
1980.58/1986.77 c 1987 1833013 568707 1 - 0.0000 -
1985.66/1991.83 c 1992 1837582 570873 1 - 0.0000 -
1990.65/1996.88 c 1997 1841892 573075 1 - 0.0000 -
1995.73/2001.92 c 2002 1846487 575160 1 - 0.0000 -
2000.72/2006.97 c 2007 1850916 576864 1 - 0.0000 -
2005.81/2012.02 c 2012 1855053 578524 1 - 0.0000 -
2010.79/2017.08 c 2017 1858087 578999 1 - 0.0000 -
2015.88/2022.12 c 2022 1862369 581245 1 - 0.0000 -
2020.86/2027.17 c 2027 1867096 583534 1 - 0.0000 -
2025.95/2032.22 c 2032 1871625 585971 1 - 0.0000 -
2030.94/2037.28 c 2037 1876171 588082 1 - 0.0000 -
2036.02/2042.33 c 2042 1880958 591262 1 - 0.0000 -
2041.00/2047.38 c 2047 1885959 594217 1 - 0.0000 -
2046.09/2052.43 c 2052 1891249 597647 1 - 0.0000 -
2051.07/2057.49 c 2058 1895909 599962 1 - 0.0000 -
2056.15/2062.54 c 2063 1901111 603254 1 - 0.0000 -
2061.14/2067.59 c 2068 1906024 605960 1 - 0.0000 -
2066.22/2072.64 c 2073 1911222 609195 1 - 0.0000 -
2071.20/2077.69 c 2078 1916436 612286 1 - 0.0000 -
2076.28/2082.74 c 2083 1921705 615711 1 - 0.0000 -
2081.26/2087.79 c 2088 1926719 618121 1 - 0.0000 -
2086.34/2092.84 c 2093 1931413 620826 1 - 0.0000 -
2091.42/2097.90 c 2098 1936461 623518 1 - 0.0000 -
2096.40/2102.95 c 2103 1941624 626018 1 - 0.0000 -
2101.48/2108.00 c 2108 1946711 628719 1 - 0.0000 -
2106.46/2113.05 c 2113 1951342 631078 1 - 0.0000 -
2111.54/2118.10 c 2118 1955873 633261 1 - 0.0000 -
2116.52/2123.15 c 2123 1960224 635305 1 - 0.0000 -
2121.60/2128.20 c 2128 1965651 637910 1 - 0.0000 -
2126.58/2133.25 c 2133 1970577 639976 1 - 0.0000 -
2131.65/2138.30 c 2138 1975007 641678 1 - 0.0000 -
2136.64/2143.35 c 2143 1979772 643519 1 - 0.0000 -
2141.72/2148.40 c 2148 1984559 645278 1 - 0.0000 -
2146.70/2153.45 c 2153 1988985 647091 1 - 0.0000 -
2151.78/2158.50 c 2159 1993687 649475 1 - 0.0000 -
2156.75/2163.55 c 2164 1998763 651697 1 - 0.0000 -
2161.83/2168.60 c 2169 2003792 653916 1 - 0.0000 -
2166.82/2173.66 c 2174 2008830 656362 1 - 0.0000 -
2171.89/2178.71 c 2179 2013652 658522 1 - 0.0000 -
2176.88/2183.75 c 2184 2018271 660881 1 - 0.0000 -
2181.96/2188.81 c 2189 2022802 663484 1 - 0.0000 -
2186.93/2193.85 c 2194 2027286 665536 1 - 0.0000 -
2192.02/2198.91 c 2199 2031612 667606 1 - 0.0000 -
2196.99/2203.95 c 2204 2036287 670067 1 - 0.0000 -
2202.08/2209.00 c 2209 2040843 672292 1 - 0.0000 -
2207.07/2214.05 c 2214 2045136 674301 1 - 0.0000 -
2212.15/2219.11 c 2219 2049409 676099 1 - 0.0000 -
2217.12/2224.15 c 2224 2053765 678244 1 - 0.0000 -
2222.19/2229.21 c 2229 2057994 679854 1 - 0.0000 -
2227.17/2234.25 c 2234 2062283 681679 1 - 0.0000 -
2232.26/2239.30 c 2239 2066294 683341 1 - 0.0000 -
2237.23/2244.35 c 2244 2070401 685427 1 - 0.0000 -
2242.32/2249.40 c 2249 2074443 686726 1 - 0.0000 -
2247.30/2254.46 c 2254 2079178 689302 1 - 0.0000 -
2252.37/2259.51 c 2260 2083510 691526 1 - 0.0000 -
2257.36/2264.56 c 2265 2087663 693458 1 - 0.0000 -
2262.44/2269.61 c 2270 2091855 695558 1 - 0.0000 -
2267.42/2274.66 c 2275 2096294 697493 1 - 0.0000 -
2272.49/2279.71 c 2280 2100732 699935 1 - 0.0000 -
2277.48/2284.77 c 2285 2105021 701912 1 - 0.0000 -
2282.56/2289.82 c 2290 2109459 704060 1 - 0.0000 -
2287.54/2294.87 c 2295 2113708 705743 1 - 0.0000 -
2292.62/2299.92 c 2300 2118373 707851 1 - 0.0000 -
2297.60/2304.98 c 2305 2123191 710283 1 - 0.0000 -
2302.69/2310.03 c 2310 2127311 712483 1 - 0.0000 -
2307.77/2315.10 c 2315 2131724 714867 1 - 0.0000 -
2312.75/2320.15 c 2320 2136137 716951 1 - 0.0000 -
2317.82/2325.20 c 2325 2140879 720017 1 - 0.0000 -
2322.80/2330.26 c 2330 2145508 723082 1 - 0.0000 -
2327.88/2335.31 c 2335 2150302 726271 1 - 0.0000 -
2332.86/2340.37 c 2340 2155019 729806 1 - 0.0000 -
2337.94/2345.41 c 2345 2159427 732538 1 - 0.0000 -
2342.92/2350.46 c 2350 2163874 735566 1 - 0.0000 -
2348.00/2355.51 c 2356 2168172 738693 1 - 0.0000 -
2352.98/2360.57 c 2361 2172779 741659 1 - 0.0000 -
2358.06/2365.62 c 2366 2177339 743973 1 - 0.0000 -
2363.04/2370.67 c 2371 2181589 746389 1 - 0.0000 -
2368.12/2375.74 c 2376 2185884 748430 1 - 0.0000 -
2373.20/2380.81 c 2381 2189980 750129 1 - 0.0000 -
2378.18/2385.86 c 2386 2194431 752363 1 - 0.0000 -
2383.26/2390.91 c 2391 2198788 754512 1 - 0.0000 -
2388.24/2395.96 c 2396 2203658 757028 1 - 0.0000 -
2393.33/2401.01 c 2401 2207979 759169 1 - 0.0000 -
2398.31/2406.06 c 2406 2212458 761655 1 - 0.0000 -
2403.39/2411.11 c 2411 2216547 763067 1 - 0.0000 -
2408.37/2416.16 c 2416 2221261 765464 1 - 0.0000 -
2413.44/2421.21 c 2421 2225316 767428 1 - 0.0000 -
2418.42/2426.26 c 2426 2229393 769127 1 - 0.0000 -
2423.50/2431.31 c 2431 2233625 771315 1 - 0.0000 -
2428.48/2436.36 c 2436 2237742 773771 1 - 0.0000 -
2433.56/2441.42 c 2441 2241972 776220 1 - 0.0000 -
2438.54/2446.49 c 2446 2245897 778113 1 - 0.0000 -
2443.62/2451.55 c 2452 2250143 780755 1 - 0.0000 -
2448.70/2456.60 c 2457 2254043 782868 1 - 0.0000 -
2453.69/2461.65 c 2462 2258277 784831 1 - 0.0000 -
2458.77/2466.70 c 2467 2262594 787313 1 - 0.0000 -
2463.74/2471.75 c 2472 2266488 789140 1 - 0.0000 -
2468.82/2476.82 c 2477 2270540 791687 1 - 0.0000 -
2473.81/2481.86 c 2482 2274651 794652 1 - 0.0000 -
2478.89/2486.94 c 2487 2278741 798026 1 - 0.0000 -
2483.87/2491.99 c 2492 2282538 801176 1 - 0.0000 -
2488.95/2497.05 c 2497 2286541 804307 1 - 0.0000 -
2494.03/2502.10 c 2502 2290236 806867 1 - 0.0000 -
2499.01/2507.15 c 2507 2294161 809284 1 - 0.0000 -
2504.09/2512.21 c 2512 2298208 812253 1 - 0.0000 -
2509.07/2517.26 c 2517 2302483 815481 1 - 0.0000 -
2514.14/2522.31 c 2522 2306423 817852 1 - 0.0000 -
2519.13/2527.36 c 2527 2309958 819434 1 - 0.0000 -
2524.20/2532.41 c 2532 2313825 821344 1 - 0.0000 -
2529.18/2537.47 c 2537 2317578 823196 1 - 0.0000 -
2534.27/2542.52 c 2543 2321638 826202 1 - 0.0000 -
2539.25/2547.57 c 2548 2324982 827785 1 - 0.0000 -
2544.32/2552.62 c 2553 2328771 829861 1 - 0.0000 -
2549.31/2557.68 c 2558 2332571 832329 1 - 0.0000 -
2554.38/2562.75 c 2563 2336419 834996 1 - 0.0000 -
2559.46/2567.82 c 2568 2340385 838143 1 - 0.0000 -
2564.45/2572.88 c 2573 2343918 840414 1 - 0.0000 -
2569.52/2577.94 c 2578 2347752 842531 1 - 0.0000 -
2574.51/2582.99 c 2583 2351609 845060 1 - 0.0000 -
2579.59/2588.05 c 2588 2355295 847124 1 - 0.0000 -
2584.58/2593.10 c 2593 2359078 849762 1 - 0.0000 -
2589.66/2598.14 c 2598 2362786 852409 1 - 0.0000 -
2594.63/2603.19 c 2603 2366529 854831 1 - 0.0000 -
2599.71/2608.25 c 2608 2370277 857264 1 - 0.0000 -
2604.69/2613.30 c 2613 2373871 859639 1 - 0.0000 -
2609.77/2618.34 c 2618 2377682 862095 1 - 0.0000 -
2614.74/2623.39 c 2623 2381567 864702 1 - 0.0000 -
2619.83/2628.44 c 2628 2384766 866712 1 - 0.0000 -
2624.81/2633.49 c 2634 2388049 868766 1 - 0.0000 -
2629.89/2638.56 c 2639 2391622 870785 1 - 0.0000 -
2634.97/2643.60 c 2644 2395262 873136 1 - 0.0000 -
2639.95/2648.65 c 2649 2399013 875944 1 - 0.0000 -
2645.03/2653.70 c 2654 2402579 878383 1 - 0.0000 -
2650.02/2658.76 c 2659 2406211 880911 1 - 0.0000 -
2655.09/2663.83 c 2664 2409843 883498 1 - 0.0000 -
2660.07/2668.89 c 2669 2413332 885840 1 - 0.0000 -
2665.15/2673.93 c 2674 2416804 888269 1 - 0.0000 -
2670.13/2678.98 c 2679 2420434 890891 1 - 0.0000 -
2675.22/2684.04 c 2684 2424088 893229 1 - 0.0000 -
2680.20/2689.08 c 2689 2427729 895637 1 - 0.0000 -
2685.28/2694.13 c 2694 2431357 898070 1 - 0.0000 -
2690.26/2699.18 c 2699 2435003 900569 1 - 0.0000 -
2695.33/2704.23 c 2704 2438542 902800 1 - 0.0000 -
2700.32/2709.29 c 2709 2442307 905550 1 - 0.0000 -
2705.39/2714.34 c 2714 2446126 907936 1 - 0.0000 -
2710.48/2719.40 c 2719 2449780 910432 1 - 0.0000 -
2715.46/2724.46 c 2724 2453236 912947 1 - 0.0000 -
2720.54/2729.50 c 2730 2456893 915545 1 - 0.0000 -
2725.52/2734.57 c 2735 2460605 918061 1 - 0.0000 -
2730.60/2739.62 c 2740 2464592 920848 1 - 0.0000 -
2735.58/2744.67 c 2745 2468002 923136 1 - 0.0000 -
2740.66/2749.73 c 2750 2472065 926407 1 - 0.0000 -
2745.63/2754.78 c 2755 2475227 928191 1 - 0.0000 -
2750.72/2759.84 c 2760 2478849 930456 1 - 0.0000 -
2755.70/2764.88 c 2765 2482547 933133 1 - 0.0000 -
2760.78/2769.94 c 2770 2486338 935499 1 - 0.0000 -
2765.75/2774.99 c 2775 2489969 937508 1 - 0.0000 -
2770.85/2780.04 c 2780 2493350 939176 1 - 0.0000 -
2775.82/2785.09 c 2785 2496382 940466 1 - 0.0000 -
2780.90/2790.17 c 2790 2500242 943182 1 - 0.0000 -
2785.98/2795.22 c 2795 2504128 945667 1 - 0.0000 -
2790.96/2800.29 c 2800 2508184 948584 1 - 0.0000 -
2796.04/2805.34 c 2805 2511244 950285 1 - 0.0000 -
2801.02/2810.39 c 2810 2514915 952672 1 - 0.0000 -
2806.10/2815.45 c 2815 2518272 954697 1 - 0.0000 -
2811.18/2820.50 c 2821 2521661 957014 1 - 0.0000 -
2816.16/2825.56 c 2826 2524909 958701 1 - 0.0000 -
2821.24/2830.61 c 2831 2528355 960679 1 - 0.0000 -
2826.22/2835.67 c 2836 2531732 962896 1 - 0.0000 -
2831.31/2840.72 c 2841 2535087 964824 1 - 0.0000 -
2836.28/2845.77 c 2846 2539178 967417 1 - 0.0000 -
2841.37/2850.82 c 2851 2542722 969767 1 - 0.0000 -
2846.34/2855.88 c 2856 2545785 971986 1 - 0.0000 -
2851.42/2860.93 c 2861 2549142 974055 1 - 0.0000 -
2856.40/2865.99 c 2866 2552502 976133 1 - 0.0000 -
2861.50/2871.04 c 2871 2555846 977909 1 - 0.0000 -
2866.47/2876.10 c 2876 2558811 979379 1 - 0.0000 -
2871.56/2881.15 c 2881 2561626 980820 1 - 0.0000 -
2876.63/2886.21 c 2886 2565495 983068 1 - 0.0000 -
2881.61/2891.26 c 2891 2569232 985213 1 - 0.0000 -
2886.69/2896.30 c 2896 2572635 987030 1 - 0.0000 -
2891.68/2901.35 c 2901 2576261 989336 1 - 0.0000 -
2896.75/2906.41 c 2906 2579566 991455 1 - 0.0000 -
2901.73/2911.46 c 2911 2582683 993369 1 - 0.0000 -
2906.81/2916.51 c 2917 2585896 995168 1 - 0.0000 -
2911.80/2921.55 c 2922 2588992 997095 1 - 0.0000 -
2916.87/2926.61 c 2927 2592279 999158 1 - 0.0000 -
2921.86/2931.66 c 2932 2595452 1001216 1 - 0.0000 -
2926.93/2936.72 c 2937 2598440 1002986 1 - 0.0000 -
2931.92/2941.77 c 2942 2601708 1005447 1 - 0.0000 -
2937.00/2946.84 c 2947 2604792 1007278 1 - 0.0000 -
2942.07/2951.90 c 2952 2607926 1009393 1 - 0.0000 -
2947.05/2956.96 c 2957 2611368 1011973 1 - 0.0000 -
2952.14/2962.01 c 2962 2615030 1014504 1 - 0.0000 -
2957.13/2967.07 c 2967 2617159 1014833 1 - 0.0000 -
2962.20/2972.15 c 2972 2620788 1017624 1 - 0.0000 -
2967.28/2977.20 c 2977 2623415 1019130 1 - 0.0000 -
2972.27/2982.26 c 2982 2626526 1021264 1 - 0.0000 -
2977.34/2987.30 c 2987 2629169 1022635 1 - 0.0000 -
2982.32/2992.36 c 2992 2632177 1024588 1 - 0.0000 -
2987.41/2997.42 c 2997 2635012 1026150 1 - 0.0000 -
2992.38/3002.48 c 3002 2637674 1027498 1 - 0.0000 -
2997.47/3007.53 c 3008 2640187 1028726 1 - 0.0000 -
3002.44/3012.58 c 3013 2643091 1030316 1 - 0.0000 -
3007.53/3017.64 c 3018 2645976 1032101 1 - 0.0000 -
3012.61/3022.71 c 3023 2648764 1033572 1 - 0.0000 -
3017.58/3027.75 c 3028 2651336 1034813 1 - 0.0000 -
3022.67/3032.83 c 3033 2654041 1036375 1 - 0.0000 -
3027.65/3037.88 c 3038 2656953 1037902 1 - 0.0000 -
3032.73/3042.93 c 3043 2659934 1039625 1 - 0.0000 -
3037.71/3047.99 c 3048 2662988 1041384 1 - 0.0000 -
3042.80/3053.03 c 3053 2666164 1043269 1 - 0.0000 -
3047.78/3058.09 c 3058 2669314 1044893 1 - 0.0000 -
3052.86/3063.14 c 3063 2672408 1046581 1 - 0.0000 -
3057.93/3068.21 c 3068 2675277 1048187 1 - 0.0000 -
3062.92/3073.27 c 3073 2678309 1049841 1 - 0.0000 -
3067.99/3078.31 c 3078 2680952 1051235 1 - 0.0000 -
3072.98/3083.37 c 3083 2683057 1051923 1 - 0.0000 -
3078.06/3088.42 c 3088 2685605 1053381 1 - 0.0000 -
3083.04/3093.49 c 3093 2688271 1054916 1 - 0.0000 -
3088.12/3098.53 c 3099 2691068 1056884 1 - 0.0000 -
3093.10/3103.59 c 3104 2693207 1057551 1 - 0.0000 -
3098.18/3108.65 c 3109 2695038 1058074 1 - 0.0000 -
3103.26/3113.71 c 3114 2697526 1059290 1 - 0.0000 -
3108.24/3118.75 c 3119 2700015 1060528 1 - 0.0000 -
3113.33/3123.82 c 3124 2702612 1061807 1 - 0.0000 -
3118.31/3128.86 c 3129 2705118 1063151 1 - 0.0000 -
3123.38/3133.91 c 3134 2707954 1064759 1 - 0.0000 -
3128.37/3138.97 c 3139 2710634 1066128 1 - 0.0000 -
3133.45/3144.01 c 3144 2713383 1067492 1 - 0.0000 -
3138.44/3149.06 c 3149 2715640 1068267 1 - 0.0000 -
3143.52/3154.12 c 3154 2717312 1068309 1 - 0.0000 -
3148.51/3159.19 c 3159 2719722 1069649 1 - 0.0000 -
3153.59/3164.23 c 3164 2722102 1070924 1 - 0.0000 -
3158.58/3169.28 c 3169 2724298 1071799 1 - 0.0000 -
3163.67/3174.34 c 3174 2727463 1073848 1 - 0.0000 -
3168.74/3179.40 c 3179 2730112 1075546 1 - 0.0000 -
3173.73/3184.47 c 3184 2733027 1077456 1 - 0.0000 -
3178.82/3189.52 c 3190 2735128 1078090 1 - 0.0000 -
3183.80/3194.57 c 3195 2738019 1080051 1 - 0.0000 -
3188.89/3199.65 c 3200 2740877 1082015 1 - 0.0000 -
3193.96/3204.70 c 3205 2743564 1083382 1 - 0.0000 -
3198.96/3209.75 c 3210 2746400 1085494 1 - 0.0000 -
3204.04/3214.83 c 3215 2749382 1087497 1 - 0.0000 -
3209.02/3219.89 c 3220 2752034 1088803 1 - 0.0000 -
3214.11/3224.94 c 3225 2754829 1090415 1 - 0.0000 -
3219.10/3229.99 c 3230 2758100 1092484 1 - 0.0000 -
3224.18/3235.05 c 3235 2760408 1093351 1 - 0.0000 -
3229.16/3240.09 c 3240 2762768 1094430 1 - 0.0000 -
3234.24/3245.17 c 3245 2765425 1095776 1 - 0.0000 -
3239.33/3250.23 c 3250 2767543 1096518 1 - 0.0000 -
3244.40/3255.30 c 3255 2770881 1098844 1 - 0.0000 -
3249.39/3260.34 c 3260 2774584 1100743 1 - 0.0000 -
3254.47/3265.40 c 3265 2777034 1101837 1 - 0.0000 -
3259.46/3270.46 c 3270 2778558 1102018 1 - 0.0000 -
3264.54/3275.51 c 3276 2780306 1102465 1 - 0.0000 -
3269.52/3280.59 c 3281 2782546 1103467 1 - 0.0000 -
3274.61/3285.68 c 3286 2786232 1106253 1 - 0.0000 -
3279.69/3290.75 c 3291 2788686 1107446 1 - 0.0000 -
3284.78/3295.80 c 3296 2790708 1108002 1 - 0.0000 -
3289.76/3300.85 c 3301 2793208 1108842 1 - 0.0000 -
3294.85/3305.91 c 3306 2795220 1109059 1 - 0.0000 -
3299.83/3310.95 c 3311 2798177 1110585 1 - 0.0000 -
3304.92/3316.01 c 3316 2799967 1110706 1 - 0.0000 -
3309.90/3321.05 c 3321 2802012 1111056 1 - 0.0000 -
3314.99/3326.11 c 3326 2804782 1112321 1 - 0.0000 -
3319.97/3331.17 c 3331 2807513 1113569 1 - 0.0000 -
3325.05/3336.23 c 3336 2810383 1114425 1 - 0.0000 -
3330.03/3341.27 c 3341 2813838 1116372 1 - 0.0000 -
3335.11/3346.32 c 3346 2817947 1119805 1 - 0.0000 -
3340.10/3351.38 c 3351 2821047 1121362 1 - 0.0000 -
3345.19/3356.45 c 3356 2824462 1123342 1 - 0.0000 -
3350.27/3361.51 c 3362 2827802 1125223 1 - 0.0000 -
3355.25/3366.55 c 3367 2831089 1126964 1 - 0.0000 -
3360.33/3371.60 c 3372 2834438 1128688 1 - 0.0000 -
3365.32/3376.66 c 3377 2837543 1130001 1 - 0.0000 -
3370.40/3381.70 c 3382 2840379 1130993 1 - 0.0000 -
3375.39/3386.75 c 3387 2843044 1131793 1 - 0.0000 -
3380.47/3391.80 c 3392 2846494 1133521 1 - 0.0000 -
3385.46/3396.85 c 3397 2849581 1134817 1 - 0.0000 -
3390.54/3401.90 c 3402 2853049 1136760 1 - 0.0000 -
3395.53/3406.95 c 3407 2856341 1138498 1 - 0.0000 -
3400.61/3412.01 c 3412 2859075 1139551 1 - 0.0000 -
3405.60/3417.05 c 3417 2861542 1140167 1 - 0.0000 -
3410.68/3422.11 c 3422 2865239 1142945 1 - 0.0000 -
3415.67/3427.16 c 3427 2868745 1145324 1 - 0.0000 -
3420.75/3432.21 c 3432 2872054 1147150 1 - 0.0000 -
3425.74/3437.26 c 3437 2875077 1148616 1 - 0.0000 -
3430.82/3442.31 c 3442 2878236 1150051 1 - 0.0000 -
3435.80/3447.36 c 3447 2881671 1152307 1 - 0.0000 -
3440.88/3452.42 c 3452 2885072 1154560 1 - 0.0000 -
3445.87/3457.46 c 3457 2888666 1156849 1 - 0.0000 -
3450.95/3462.52 c 3463 2891769 1158234 1 - 0.0000 -
3455.94/3467.56 c 3468 2895242 1160325 1 - 0.0000 -
3461.03/3472.62 c 3473 2898750 1162556 1 - 0.0000 -
3466.02/3477.66 c 3478 2902507 1165396 1 - 0.0000 -
3471.09/3482.71 c 3483 2905814 1167078 1 - 0.0000 -
3476.08/3487.76 c 3488 2909417 1169296 1 - 0.0000 -
3481.17/3492.82 c 3493 2912634 1170863 1 - 0.0000 -
3486.16/3497.87 c 3498 2915744 1172171 1 - 0.0000 -
3491.24/3502.93 c 3503 2919465 1174783 1 - 0.0000 -
3496.23/3507.98 c 3508 2923862 1177966 1 - 0.0000 -
3501.31/3513.03 c 3513 2927225 1179286 1 - 0.0000 -
3506.30/3518.09 c 3518 2930491 1182396 1 - 0.0000 -
3511.38/3523.17 c 3523 2933923 1185316 1 - 0.0000 -
3516.47/3528.21 c 3528 2937348 1187568 1 - 0.0000 -
3521.45/3533.27 c 3533 2940716 1189863 1 - 0.0000 -
3526.54/3538.32 c 3538 2943646 1191462 1 - 0.0000 -
3531.52/3543.38 c 3543 2947125 1193766 1 - 0.0000 -
3536.61/3548.44 c 3548 2950183 1195067 1 - 0.0000 -
3541.59/3553.49 c 3553 2952622 1195538 1 - 0.0000 -
3546.68/3558.54 c 3559 2954842 1195877 1 - 0.0000 -
3551.66/3563.59 c 3564 2957386 1196362 1 - 0.0000 -
3556.75/3568.63 c 3569 2960520 1198053 1 - 0.0000 -
3561.73/3573.68 c 3574 2963562 1199238 1 - 0.0000 -
3566.82/3578.74 c 3579 2966627 1200703 1 - 0.0000 -
3571.81/3583.79 c 3584 2970127 1202975 1 - 0.0000 -
3576.89/3588.84 c 3589 2973260 1204461 1 - 0.0000 -
3581.88/3593.89 c 3594 2976863 1206767 1 - 0.0000 -
3587.17/3599.18 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.17/3599.18 c Total Time : 3599.1800
3587.17/3599.18 c solving : 3599.1800
3587.17/3599.18 c presolving : 0.0118 (included in solving)
3587.17/3599.18 c B&B Tree :
3587.17/3599.18 c nodes (total) : 1
3587.17/3599.18 c Solution :
3587.17/3599.18 c Solutions found : 0
3587.17/3599.18 c Primal Bound : -
3587.17/3599.18 c Dual Bound : +0.00000000000000e+00
3587.17/3599.18 c Gap : -
3587.17/3599.18 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 (62467 MiB free)
memory of node 1: 64510 MiB (61586 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464508-1722385805/watcher-4464508-1722385805 -o /tmp/evaluation-result-4464508-1722385805/solver-4464508-1722385805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722378594-29595 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464508-1722385805.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=34388, runsolver pid=34385
[startup+0.100088 s]*
/proc/loadavg: 4.13 4.15 4.13 5/266 34391
/proc/meminfo: memFree=127004128/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=118976 memory=38196 CPUtime=0.1 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 6855 0 0 0 9 1 0 0 20 0 3 0 5179823 121831424 9549 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 29744 9549 2966 3035 0 13722 0
[pid=34388/tid=34390] ppid=34385 vsize=118976 memory=4026561586 CPUtime=0.07 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 3311 0 0 0 7 0 0 0 20 0 3 0 5179825 121831424 9549 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=118976 memory=228556276070 CPUtime=0 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5179826 121831424 9549 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 118976 KiB
Current children cumulated memory: 38196 KiB
[startup+0.205528 s]*
/proc/loadavg: 4.13 4.15 4.13 6/266 34391
/proc/meminfo: memFree=126997576/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=118976 memory=43356 CPUtime=0.2 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 8341 0 0 0 19 1 0 0 20 0 3 0 5179823 121831424 10839 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 29744 10839 2966 3035 0 15061 0
[pid=34388/tid=34390] ppid=34385 vsize=118976 memory=664970838410264707 CPUtime=0.17 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 4797 0 0 0 17 0 0 0 20 0 3 0 5179825 121831424 10839 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=118976 memory=3712 CPUtime=0 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5179826 121831424 10839 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 118976 KiB
Current children cumulated memory: 43356 KiB
[startup+0.305484 s]*
/proc/loadavg: 4.13 4.15 4.13 5/266 34391
/proc/meminfo: memFree=126994720/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=118976 memory=45464 CPUtime=0.3 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 8916 0 0 0 29 1 0 0 20 0 3 0 5179823 121831424 11366 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 29744 11366 2966 3035 0 15470 0
[pid=34388/tid=34390] ppid=34385 vsize=118976 memory=-5155630180658080645 CPUtime=0.27 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 5372 0 0 0 27 0 0 0 20 0 3 0 5179825 121831424 11366 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=118976 memory=0 CPUtime=0 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5179826 121831424 11366 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 118976 KiB
Current children cumulated memory: 45464 KiB
[startup+0.700241 s]
/proc/loadavg: 4.13 4.15 4.13 5/266 34391
/proc/meminfo: memFree=126991556/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=118976 memory=49060 CPUtime=0.68 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 10769 0 0 0 67 1 0 0 20 0 3 0 5179823 121831424 12265 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 29744 12265 2966 3035 0 16678 0
[pid=34388/tid=34390] ppid=34385 vsize=118976 memory=0 CPUtime=0.66 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 7225 0 0 0 65 1 0 0 20 0 3 0 5179825 121831424 12265 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=118976 memory=0 CPUtime=0 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5179826 121831424 12265 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 118976 KiB
Current children cumulated memory: 49060 KiB
[startup+1.50024 s]
/proc/loadavg: 4.13 4.15 4.13 5/266 34391
/proc/meminfo: memFree=126984320/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=118976 memory=53152 CPUtime=1.49 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 17281 0 0 0 147 2 0 0 20 0 3 0 5179823 121831424 13288 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 29744 13288 2966 3035 0 17175 0
[pid=34388/tid=34390] ppid=34385 vsize=118976 memory=0 CPUtime=1.47 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 13717 0 0 0 145 2 0 0 20 0 3 0 5179825 121831424 13288 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=118976 memory=0 CPUtime=0 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5179826 121831424 13288 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 118976 KiB
Current children cumulated memory: 53152 KiB
[startup+3.10529 s]
/proc/loadavg: 4.12 4.14 4.13 5/266 34391
/proc/meminfo: memFree=126979308/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=118976 memory=57516 CPUtime=3.08 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 18753 0 0 0 306 2 0 0 20 0 3 0 5179823 121831424 14379 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 29744 14379 2966 3035 0 18283 0
[pid=34388/tid=34390] ppid=34385 vsize=118976 memory=2273 CPUtime=3.06 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 15186 0 0 0 304 2 0 0 20 0 3 0 5179825 121831424 14379 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=118976 memory=0 CPUtime=0 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5179826 121831424 14379 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 118976 KiB
Current children cumulated memory: 57516 KiB
[startup+6.30023 s]
/proc/loadavg: 4.12 4.14 4.13 5/266 34449
/proc/meminfo: memFree=126970052/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=118976 memory=59600 CPUtime=6.27 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 42230 0 0 0 621 6 0 0 20 0 3 0 5179823 121831424 14900 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 29744 14900 2966 3035 0 19379 0
[pid=34388/tid=34390] ppid=34385 vsize=118976 memory=-5155630180658080645 CPUtime=6.25 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 38639 0 0 0 620 5 0 0 20 0 3 0 5179825 121831424 14900 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=118976 memory=59388 CPUtime=0 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5179826 121831424 14900 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 118976 KiB
Current children cumulated memory: 59600 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.13 5/266 34449
/proc/meminfo: memFree=126952904/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=118976 memory=67052 CPUtime=12.65 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 66893 0 0 0 1256 9 0 0 20 0 3 0 5179823 121831424 16763 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 29744 16763 3014 3035 0 21202 0
[pid=34388/tid=34390] ppid=34385 vsize=118976 memory=57032 CPUtime=12.63 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 63256 0 0 0 1254 9 0 0 20 0 3 0 5179825 121831424 16763 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=118976 memory=0 CPUtime=0 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5179826 121831424 16763 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 118976 KiB
Current children cumulated memory: 67052 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.15 4.13 5/265 34452
/proc/meminfo: memFree=126914948/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=118976 memory=78836 CPUtime=25.41 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 95659 0 0 0 2526 15 0 0 20 0 3 0 5179823 121831424 19709 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 29744 19709 3014 3035 0 23697 0
[pid=34388/tid=34390] ppid=34385 vsize=118976 memory=65864 CPUtime=25.39 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 91962 0 0 0 2525 14 0 0 20 0 3 0 5179825 121831424 19709 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=118976 memory=11592 CPUtime=0 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5179826 121831424 19709 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 118976 KiB
Current children cumulated memory: 78836 KiB
[startup+51.1054 s]
/proc/loadavg: 4.17 4.15 4.13 5/265 34456
/proc/meminfo: memFree=126844100/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=184512 memory=111184 CPUtime=50.94 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 133515 0 0 0 5068 26 0 0 20 0 3 0 5179823 188940288 27796 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 46128 27796 3014 3035 0 31352 0
[pid=34388/tid=34390] ppid=34385 vsize=184512 memory=110276 CPUtime=50.91 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 129730 0 0 0 5066 25 0 0 20 0 3 0 5179825 188940288 27796 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=184512 memory=109708 CPUtime=0 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5179826 188940288 27796 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 184512 KiB
Current children cumulated memory: 111184 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/265 34464
/proc/meminfo: memFree=126623808/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=251588 memory=175024 CPUtime=101.97 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 193029 0 0 0 10154 43 0 0 20 0 3 0 5179823 257626112 43756 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 62897 43756 3014 3035 0 47542 0
[pid=34388/tid=34390] ppid=34385 vsize=251588 memory=169260 CPUtime=101.94 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 189155 0 0 0 10152 42 0 0 20 0 3 0 5179825 257626112 43756 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=251588 memory=168236 CPUtime=0 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5179826 257626112 43756 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 251588 KiB
Current children cumulated memory: 175024 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/266 34475
/proc/meminfo: memFree=126483460/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=318152 memory=232488 CPUtime=161.79 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 243824 0 0 0 16117 62 0 0 20 0 3 0 5179823 325787648 58122 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 79538 58122 3014 3035 0 61816 0
[pid=34388/tid=34390] ppid=34385 vsize=318152 memory=226820 CPUtime=161.75 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 239883 0 0 0 16114 61 0 0 20 0 3 0 5179825 325787648 58122 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=318152 memory=11592 CPUtime=0 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5179826 325787648 58122 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 318152 KiB
################
# More data... #
################
/proc/34388/statm: 318010 293130 3014 3035 0 298414 0
[pid=34388/tid=34390] ppid=34385 vsize=1272040 memory=1169064 CPUtime=3450.52 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 1810328 0 0 0 344377 675 0 0 20 0 3 0 5179825 1302568960 293130 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=1272040 memory=1171328 CPUtime=0.02 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 5179826 1302568960 293130 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 3450.75 s
Current children cumulated vsize: 1272040 KiB
Current children cumulated memory: 1172520 KiB
[startup+3522.3 s]
/proc/loadavg: 4.50 4.21 4.12 5/266 36344
/proc/meminfo: memFree=126363192/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=1272040 memory=1191604 CPUtime=3510.58 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 1832460 0 0 0 350370 688 0 0 20 0 3 0 5179823 1302568960 297901 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 318010 297901 3014 3035 0 303255 0
[pid=34388/tid=34390] ppid=34385 vsize=1272040 memory=1155968 CPUtime=3510.33 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 1827277 0 0 0 350350 683 0 0 20 0 3 0 5179825 1302568960 297901 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=1272040 memory=1191604 CPUtime=0.02 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 5179826 1302568960 297901 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 3510.58 s
Current children cumulated vsize: 1272040 KiB
Current children cumulated memory: 1191604 KiB
[startup+3582.3 s]
/proc/loadavg: 4.50 4.27 4.15 5/266 36354
/proc/meminfo: memFree=126332688/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=1272040 memory=1209052 CPUtime=3570.41 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 1843486 0 0 0 356344 697 0 0 20 0 3 0 5179823 1302568960 302263 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 318010 302263 3014 3035 0 307793 0
[pid=34388/tid=34390] ppid=34385 vsize=1272040 memory=12976 CPUtime=3570.16 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 1838287 0 0 0 356324 692 0 0 20 0 3 0 5179825 1302568960 302263 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=1272040 memory=2688 CPUtime=0.02 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5179826 1302568960 302263 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 3570.41 s
Current children cumulated vsize: 1272040 KiB
Current children cumulated memory: 1209052 KiB
[startup+3599.19 s]
# the end of solver process 34388 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.23 s, system=7.03098 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.46 4.27 4.15 5/266 36356
/proc/meminfo: memFree=126331820/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=1272040 memory=1209052 CPUtime=3572.11 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 1843503 0 0 0 356514 697 0 0 20 0 3 0 5179823 1302568960 302263 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 318010 302263 3014 3035 0 307793 0
[pid=34388/tid=34390] ppid=34385 vsize=1272040 memory=7686721470247706567 CPUtime=3571.86 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 1838304 0 0 0 356494 692 0 0 20 0 3 0 5179825 1302568960 302263 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=1272040 memory=-4050210904893408147 CPUtime=0.02 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5179826 1302568960 302263 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 3572.11 s
Current children cumulated vsize: 1272040 KiB
Current children cumulated memory: 1209052 KiB
[startup+3590.4 s]
/proc/loadavg: 4.42 4.26 4.15 5/266 36357
/proc/meminfo: memFree=126329880/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=1272040 memory=1211724 CPUtime=3578.49 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 1846344 0 0 0 357151 698 0 0 20 0 3 0 5179823 1302568960 302931 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 318010 302931 3014 3035 0 308433 0
[pid=34388/tid=34390] ppid=34385 vsize=1272040 memory=4776 CPUtime=3578.24 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 1841145 0 0 0 357131 693 0 0 20 0 3 0 5179825 1302568960 302931 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=1272040 memory=11592 CPUtime=0.02 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5179826 1302568960 302931 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 3578.49 s
Current children cumulated vsize: 1272040 KiB
Current children cumulated memory: 1211724 KiB
[startup+3593.6 s]
/proc/loadavg: 4.39 4.26 4.15 5/266 36357
/proc/meminfo: memFree=126327536/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=1272040 memory=1212304 CPUtime=3581.68 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 1847139 0 0 0 357469 699 0 0 20 0 3 0 5179823 1302568960 303076 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 318010 303076 3014 3035 0 308577 0
[pid=34388/tid=34390] ppid=34385 vsize=1272040 memory=1210136 CPUtime=3581.42 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 1841936 0 0 0 357449 693 0 0 20 0 3 0 5179825 1302568960 303076 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=1272040 memory=1211724 CPUtime=0.02 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5179826 1302568960 303076 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 3581.68 s
Current children cumulated vsize: 1272040 KiB
Current children cumulated memory: 1212304 KiB
[startup+3596.8 s]
/proc/loadavg: 4.39 4.26 4.15 5/267 36359
/proc/meminfo: memFree=126378272/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=1272040 memory=1213712 CPUtime=3584.87 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 1847852 0 0 0 357788 699 0 0 20 0 3 0 5179823 1302568960 303428 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 318010 303428 3014 3035 0 308929 0
[pid=34388/tid=34390] ppid=34385 vsize=1272040 memory=11592 CPUtime=3584.62 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 1842641 0 0 0 357768 694 0 0 20 0 3 0 5179825 1302568960 303428 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=1272040 memory=1209164 CPUtime=0.02 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5179826 1302568960 303428 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 3584.87 s
Current children cumulated vsize: 1272040 KiB
Current children cumulated memory: 1213712 KiB
[startup+3598.4 s]
/proc/loadavg: 4.27 4.24 4.14 3/249 36421
/proc/meminfo: memFree=127961632/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=1272040 memory=1215952 CPUtime=3586.46 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 1871611 0 0 0 357945 701 0 0 20 0 3 0 5179823 1302568960 303988 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 318010 303988 3014 3035 0 309489 0
[pid=34388/tid=34390] ppid=34385 vsize=1272040 memory=1900 CPUtime=3586.21 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 1866397 0 0 0 357925 696 0 0 20 0 3 0 5179825 1302568960 303988 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=1272040 memory=2268 CPUtime=0.02 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5179826 1302568960 303988 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 3586.46 s
Current children cumulated vsize: 1272040 KiB
Current children cumulated memory: 1215952 KiB
[startup+3598.8 s]
/proc/loadavg: 4.27 4.24 4.14 3/249 36421
/proc/meminfo: memFree=127961632/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=1272040 memory=1215952 CPUtime=3586.86 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 1874691 0 0 0 357985 701 0 0 20 0 3 0 5179823 1302568960 303988 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 318010 303988 3014 3035 0 309489 0
[pid=34388/tid=34390] ppid=34385 vsize=1272040 memory=3569 CPUtime=3586.6 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 1869477 0 0 0 357964 696 0 0 20 0 3 0 5179825 1302568960 303988 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=1272040 memory=1120 CPUtime=0.02 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5179826 1302568960 303988 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 3586.86 s
Current children cumulated vsize: 1272040 KiB
Current children cumulated memory: 1215952 KiB
[startup+3599 s]*
/proc/loadavg: 4.27 4.24 4.14 3/249 36421
/proc/meminfo: memFree=127961632/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=1272040 memory=1215952 CPUtime=3587.07 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 1877196 0 0 0 358005 702 0 0 20 0 3 0 5179823 1302568960 303988 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 318010 303988 3014 3035 0 309489 0
[pid=34388/tid=34390] ppid=34385 vsize=1272040 memory=7686721470247706567 CPUtime=3586.81 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 1871984 0 0 0 357985 696 0 0 20 0 3 0 5179825 1302568960 303988 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=1272040 memory=-5155633680935826750 CPUtime=0.02 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5179826 1302568960 303988 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 3587.07 s
Current children cumulated vsize: 1272040 KiB
Current children cumulated memory: 1215952 KiB
[startup+3599.11 s]
/proc/loadavg: 4.27 4.24 4.14 3/249 36421
/proc/meminfo: memFree=127961632/131524600 swapFree=131071996/131071996
[pid=34388] ppid=34385 vsize=1272040 memory=1215952 CPUtime=3587.17 cores=4,6
/proc/34388/stat : 34388 (fscip) S 34385 34388 29584 0 -1 1077936128 1878127 0 0 0 358015 702 0 0 20 0 3 0 5179823 1302568960 303988 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
/proc/34388/statm: 318010 303988 3014 3035 0 309489 0
[pid=34388/tid=34390] ppid=34385 vsize=1272040 memory=1209052 CPUtime=3586.91 cores=4,6
/proc/34388/task/34390/stat : 34390 (fscip) R 34385 34388 29584 0 -1 4194368 1872913 0 0 0 357995 696 0 0 20 0 3 0 5179825 1302568960 303988 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
[pid=34388/tid=34391] ppid=34385 vsize=1272040 memory=11592 CPUtime=0.02 cores=4,6
/proc/34388/task/34391/stat : 34391 (fscip) S 34385 34388 29584 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5179826 1302568960 303988 134679101440 4194304 16623229 140724260917072 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 44081152 140724260918294 140724260918410 140724260918410 140724260925424 0
Current children cumulated CPU time: 3587.17 s
Current children cumulated vsize: 1272040 KiB
Current children cumulated memory: 1215952 KiB
Child status: 0
Real time (s): 3599.19
CPU time (s): 3587.26
CPU user time (s): 3580.23
CPU system time (s): 7.03098
CPU usage (%): 99.6686
Max. virtual memory (cumulated for all children) (KiB): 1272040
Max. memory (cumulated for all children) (KiB): 1215952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.23
system time used= 7.03098
maximum resident set size= 1215952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1878744
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= 11187
involuntary context switches= 3742
# summary of solver processes directly reported to runsolver:
# pid: 34388
# total CPU time (s): 3587.26
# total CPU user time (s): 3580.23
# total CPU system time (s): 7.03098
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.90847 second user time and 17.8457 second system time
The end
Begin job on nodeC023 at 2024-07-31 02:30:05
IDJOB=4464508
IDBENCH=160354
IDSOLVER=3092
FILE ID=nodeC023/4464508-1722385805
RUNJOBID= nodeC023-1722378594-29595
SLURM_JOB_ID= 8249846
Free space on /tmp= 889980 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x80split.cnf-extracted.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-4464508-1722385805/watcher-4464508-1722385805 -o /tmp/evaluation-result-4464508-1722385805/solver-4464508-1722385805 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722378594-29595 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464508-1722385805.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1a042d5fcb76a110c048c575a59fde0e
RANDOM SEED=1390683433
nodeC023.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 : 3670.465
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.61
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 : 3685.231
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.53
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.467
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.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.186
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.53
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 : 3672.110
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.61
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 : 3685.255
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.53
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 : 3660.726
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.61
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.191
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 127031676 kB
MemAvailable: 127499720 kB
Buffers: 104596 kB
Cached: 1197972 kB
SwapCached: 0 kB
Active: 293048 kB
Inactive: 3720828 kB
Active(anon): 1552 kB
Inactive(anon): 2731120 kB
Active(file): 291496 kB
Inactive(file): 989708 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 84976 kB
Writeback: 28 kB
AnonPages: 2711352 kB
Mapped: 124768 kB
Shmem: 21336 kB
KReclaimable: 52976 kB
Slab: 133832 kB
SReclaimable: 52976 kB
SUnreclaim: 80856 kB
KernelStack: 4224 kB
PageTables: 14356 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2107556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9952 kB
HardwareCorrupted: 0 kB
AnonHugePages: 415744 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: 164564 kB
DirectMap2M: 10094592 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC023 at 2024-07-31 03:30:04