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 = 22749184, getVmSize() = 22749184, SCIPgetMemUsed() = 1008070, SCIPgetMemTotal() = 1273046, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 15824213, getVmSize() = 24723456, SCIPgetMemUsed() = 1159818, SCIPgetMemTotal() = 2058226, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4464541-1722385803
0.00/0.00 c Variables : 101 (101 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 212
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 101 (101 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 212
0.00/0.00 c Constraints : Number
0.00/0.00 c logicor : 212
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.00 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.17/5.20 c 5 4792 1813 1 - 0.0000 -
10.25/10.31 c 10 16750 1392 1 - 0.0000 -
15.24/15.36 c 15 29777 2236 1 - 0.0000 -
20.31/20.40 c 20 47113 3161 1 - 0.0000 -
25.29/25.45 c 25 65535 3918 1 - 0.0000 -
30.37/30.52 c 31 83686 4557 1 - 0.0000 -
35.34/35.57 c 36 100377 5219 1 - 0.0000 -
40.41/40.62 c 41 117918 5729 1 - 0.0000 -
45.38/45.67 c 46 134867 6109 1 - 0.0000 -
50.46/50.72 c 51 151546 6746 1 - 0.0000 -
55.44/55.77 c 56 167994 7457 1 - 0.0000 -
60.51/60.82 c 61 183528 8242 1 - 0.0000 -
65.49/65.87 c 66 199152 8312 1 - 0.0000 -
70.56/70.92 c 71 214627 8429 1 - 0.0000 -
75.54/75.97 c 76 227181 11076 1 - 0.0000 -
80.62/81.02 c 81 239907 13462 1 - 0.0000 -
85.59/86.07 c 86 252709 15878 1 - 0.0000 -
90.67/91.12 c 91 264950 17529 1 - 0.0000 -
95.64/96.17 c 96 277309 19318 1 - 0.0000 -
100.71/101.22 c 101 289351 21189 1 - 0.0000 -
105.68/106.27 c 106 300688 22468 1 - 0.0000 -
110.76/111.33 c 111 312171 23558 1 - 0.0000 -
115.74/116.37 c 116 323875 24340 1 - 0.0000 -
120.82/121.42 c 121 333948 25612 1 - 0.0000 -
125.78/126.47 c 126 343889 26485 1 - 0.0000 -
130.86/131.52 c 132 353782 28314 1 - 0.0000 -
135.84/136.57 c 137 364110 29602 1 - 0.0000 -
140.91/141.62 c 142 374134 30930 1 - 0.0000 -
145.89/146.67 c 147 384866 31655 1 - 0.0000 -
150.97/151.72 c 152 393698 32391 1 - 0.0000 -
155.94/156.77 c 157 402814 33649 1 - 0.0000 -
161.02/161.82 c 162 412563 34368 1 - 0.0000 -
165.99/166.87 c 167 420098 34976 1 - 0.0000 -
171.06/171.92 c 172 428404 35585 1 - 0.0000 -
176.04/176.97 c 177 437538 36385 1 - 0.0000 -
181.13/182.02 c 182 446315 37162 1 - 0.0000 -
186.10/187.07 c 187 454310 38333 1 - 0.0000 -
191.18/192.12 c 192 462772 38868 1 - 0.0000 -
196.16/197.18 c 197 471279 39832 1 - 0.0000 -
201.22/202.22 c 202 480163 40731 1 - 0.0000 -
206.21/207.27 c 207 487654 41491 1 - 0.0000 -
211.28/212.32 c 212 495924 42052 1 - 0.0000 -
216.26/217.37 c 217 504709 42613 1 - 0.0000 -
221.33/222.42 c 222 512120 43221 1 - 0.0000 -
226.31/227.47 c 227 519813 43483 1 - 0.0000 -
231.39/232.52 c 233 527707 43825 1 - 0.0000 -
236.36/237.57 c 238 534953 44291 1 - 0.0000 -
241.43/242.62 c 243 541652 44644 1 - 0.0000 -
246.41/247.67 c 248 549129 45075 1 - 0.0000 -
251.49/252.72 c 253 556842 45516 1 - 0.0000 -
256.46/257.77 c 258 563244 45883 1 - 0.0000 -
261.54/262.82 c 263 570648 46111 1 - 0.0000 -
266.51/267.87 c 268 577046 46241 1 - 0.0000 -
271.59/272.92 c 273 583619 46650 1 - 0.0000 -
276.57/277.97 c 278 591104 46846 1 - 0.0000 -
281.65/283.02 c 283 597950 47277 1 - 0.0000 -
286.63/288.07 c 288 604250 47464 1 - 0.0000 -
291.71/293.12 c 293 610879 47640 1 - 0.0000 -
296.69/298.18 c 298 617012 48604 1 - 0.0000 -
301.75/303.22 c 303 622749 49176 1 - 0.0000 -
306.74/308.27 c 308 629566 49533 1 - 0.0000 -
311.81/313.32 c 313 636791 49876 1 - 0.0000 -
316.79/318.37 c 318 643835 50169 1 - 0.0000 -
321.87/323.42 c 323 650827 50610 1 - 0.0000 -
326.84/328.47 c 328 657524 51129 1 - 0.0000 -
331.93/333.52 c 334 664104 51115 1 - 0.0000 -
336.91/338.57 c 339 671152 51423 1 - 0.0000 -
341.98/343.62 c 344 677852 51679 1 - 0.0000 -
346.96/348.68 c 349 684500 52080 1 - 0.0000 -
352.03/353.73 c 354 690980 52265 1 - 0.0000 -
357.02/358.77 c 359 697492 52515 1 - 0.0000 -
362.09/363.82 c 364 703406 53083 1 - 0.0000 -
367.07/368.88 c 369 709506 53221 1 - 0.0000 -
372.15/373.92 c 374 715668 53436 1 - 0.0000 -
377.13/378.97 c 379 721472 53499 1 - 0.0000 -
382.21/384.02 c 384 727345 53905 1 - 0.0000 -
387.19/389.07 c 389 732722 54440 1 - 0.0000 -
392.27/394.12 c 394 737711 54704 1 - 0.0000 -
397.25/399.17 c 399 743214 54952 1 - 0.0000 -
402.32/404.23 c 404 748558 55218 1 - 0.0000 -
407.30/409.27 c 409 754254 55637 1 - 0.0000 -
412.38/414.33 c 414 759442 55771 1 - 0.0000 -
417.36/419.37 c 419 764242 56341 1 - 0.0000 -
422.44/424.42 c 424 768808 56779 1 - 0.0000 -
427.42/429.47 c 429 773722 57152 1 - 0.0000 -
432.50/434.52 c 435 778113 57170 1 - 0.0000 -
437.47/439.57 c 440 783279 57366 1 - 0.0000 -
442.55/444.62 c 445 788553 57596 1 - 0.0000 -
447.53/449.68 c 450 793032 57681 1 - 0.0000 -
452.61/454.72 c 455 797893 58017 1 - 0.0000 -
457.58/459.77 c 460 802832 58137 1 - 0.0000 -
462.66/464.82 c 465 807019 58188 1 - 0.0000 -
467.64/469.87 c 470 810995 58394 1 - 0.0000 -
472.72/474.92 c 475 815747 58654 1 - 0.0000 -
477.69/479.97 c 480 820755 58721 1 - 0.0000 -
482.78/485.02 c 485 824453 58721 1 - 0.0000 -
487.76/490.07 c 490 828904 58907 1 - 0.0000 -
492.84/495.12 c 495 833632 59038 1 - 0.0000 -
497.81/500.17 c 500 837290 59170 1 - 0.0000 -
502.89/505.22 c 505 841499 59347 1 - 0.0000 -
507.87/510.27 c 510 845750 59430 1 - 0.0000 -
512.94/515.32 c 515 850142 59893 1 - 0.0000 -
517.92/520.37 c 520 854506 59995 1 - 0.0000 -
523.00/525.43 c 525 858991 60067 1 - 0.0000 -
527.98/530.49 c 530 863684 60268 1 - 0.0000 -
533.06/535.53 c 536 868342 60519 1 - 0.0000 -
538.04/540.58 c 541 871779 60661 1 - 0.0000 -
543.12/545.63 c 546 875165 60903 1 - 0.0000 -
548.09/550.68 c 551 878597 60865 1 - 0.0000 -
553.17/555.74 c 556 882818 60992 1 - 0.0000 -
558.15/560.78 c 561 887753 61333 1 - 0.0000 -
563.23/565.84 c 566 892055 61673 1 - 0.0000 -
568.21/570.88 c 571 896429 61800 1 - 0.0000 -
573.29/575.93 c 576 900749 61980 1 - 0.0000 -
578.26/580.99 c 581 904845 62173 1 - 0.0000 -
583.35/586.03 c 586 909339 62403 1 - 0.0000 -
588.33/591.08 c 591 913286 62428 1 - 0.0000 -
593.41/596.13 c 596 917177 62467 1 - 0.0000 -
598.39/601.18 c 601 921008 62602 1 - 0.0000 -
603.46/606.24 c 606 925077 62806 1 - 0.0000 -
608.44/611.29 c 611 928693 62864 1 - 0.0000 -
613.52/616.33 c 616 931827 63083 1 - 0.0000 -
618.50/621.39 c 621 936091 63248 1 - 0.0000 -
623.58/626.44 c 626 940053 63307 1 - 0.0000 -
628.55/631.49 c 631 943146 63512 1 - 0.0000 -
633.64/636.54 c 637 946122 63640 1 - 0.0000 -
638.72/641.60 c 642 949516 63749 1 - 0.0000 -
643.69/646.65 c 647 953624 63792 1 - 0.0000 -
648.77/651.70 c 652 957328 63815 1 - 0.0000 -
653.75/656.74 c 657 960456 63864 1 - 0.0000 -
658.73/661.79 c 662 963623 64027 1 - 0.0000 -
663.81/666.84 c 667 966435 64058 1 - 0.0000 -
668.79/671.89 c 672 969142 64112 1 - 0.0000 -
673.87/676.94 c 677 972107 64226 1 - 0.0000 -
678.85/681.99 c 682 975823 64293 1 - 0.0000 -
683.93/687.04 c 687 979467 64374 1 - 0.0000 -
688.92/692.10 c 692 983461 64420 1 - 0.0000 -
694.00/697.14 c 697 987095 64611 1 - 0.0000 -
699.06/702.21 c 702 990397 64895 1 - 0.0000 -
704.05/707.26 c 707 994268 65101 1 - 0.0000 -
709.12/712.30 c 712 997853 65158 1 - 0.0000 -
714.11/717.35 c 717 1002117 65465 1 - 0.0000 -
719.18/722.40 c 722 1005698 65498 1 - 0.0000 -
724.17/727.46 c 727 1008951 65563 1 - 0.0000 -
729.24/732.50 c 733 1012917 65817 1 - 0.0000 -
734.23/737.57 c 738 1016430 65932 1 - 0.0000 -
739.30/742.61 c 743 1020108 65985 1 - 0.0000 -
744.28/747.66 c 748 1022627 65983 1 - 0.0000 -
749.36/752.72 c 753 1025550 66039 1 - 0.0000 -
754.34/757.76 c 758 1028175 66111 1 - 0.0000 -
759.41/762.81 c 763 1031456 66171 1 - 0.0000 -
764.40/767.88 c 768 1035160 66269 1 - 0.0000 -
769.48/772.93 c 773 1037955 66329 1 - 0.0000 -
774.46/777.98 c 778 1040472 66392 1 - 0.0000 -
779.54/783.02 c 783 1043087 66394 1 - 0.0000 -
784.52/788.08 c 788 1045613 66431 1 - 0.0000 -
789.60/793.13 c 793 1049382 66498 1 - 0.0000 -
794.58/798.17 c 798 1053056 66653 1 - 0.0000 -
799.66/803.22 c 803 1056770 66702 1 - 0.0000 -
804.63/808.28 c 808 1060492 66786 1 - 0.0000 -
809.72/813.33 c 813 1064033 66843 1 - 0.0000 -
814.69/818.37 c 818 1067727 67463 1 - 0.0000 -
819.78/823.43 c 823 1071476 67708 1 - 0.0000 -
824.75/828.48 c 828 1075192 67920 1 - 0.0000 -
829.83/833.53 c 834 1079012 68253 1 - 0.0000 -
834.82/838.58 c 839 1082944 68312 1 - 0.0000 -
839.89/843.62 c 844 1086294 68279 1 - 0.0000 -
844.88/848.67 c 849 1089663 68266 1 - 0.0000 -
849.96/853.73 c 854 1093212 68319 1 - 0.0000 -
854.94/858.77 c 859 1096681 68467 1 - 0.0000 -
860.02/863.84 c 864 1100249 68564 1 - 0.0000 -
865.00/868.89 c 869 1103593 68668 1 - 0.0000 -
870.08/873.93 c 874 1107101 68735 1 - 0.0000 -
875.06/878.98 c 879 1110482 69233 1 - 0.0000 -
880.14/884.03 c 884 1113781 69506 1 - 0.0000 -
885.13/889.08 c 889 1117149 69824 1 - 0.0000 -
890.21/894.14 c 894 1120450 70116 1 - 0.0000 -
895.19/899.19 c 899 1123670 70135 1 - 0.0000 -
900.27/904.23 c 904 1126916 70240 1 - 0.0000 -
905.25/909.28 c 909 1130532 70379 1 - 0.0000 -
910.34/914.34 c 914 1133872 70457 1 - 0.0000 -
915.32/919.38 c 919 1137095 70523 1 - 0.0000 -
920.40/924.44 c 924 1140518 70528 1 - 0.0000 -
925.39/929.49 c 929 1143471 70568 1 - 0.0000 -
930.47/934.57 c 935 1146397 70618 1 - 0.0000 -
935.56/939.63 c 940 1149303 70713 1 - 0.0000 -
940.54/944.67 c 945 1151966 70720 1 - 0.0000 -
945.63/949.75 c 950 1155053 70777 1 - 0.0000 -
950.71/954.80 c 955 1157248 70819 1 - 0.0000 -
955.69/959.85 c 960 1160433 70828 1 - 0.0000 -
960.78/964.90 c 965 1163574 70971 1 - 0.0000 -
965.76/969.95 c 970 1166640 71095 1 - 0.0000 -
970.75/974.99 c 975 1169049 71104 1 - 0.0000 -
975.83/980.04 c 980 1172209 71149 1 - 0.0000 -
980.81/985.09 c 985 1175029 71208 1 - 0.0000 -
985.91/990.16 c 990 1177779 71764 1 - 0.0000 -
990.98/995.22 c 995 1180211 71700 1 - 0.0000 -
995.97/1000.28 c 1000 1183276 71894 1 - 0.0000 -
1001.06/1005.32 c 1005 1186004 71926 1 - 0.0000 -
1006.04/1010.38 c 1010 1188076 71992 1 - 0.0000 -
1011.12/1015.43 c 1015 1190006 71946 1 - 0.0000 -
1016.20/1020.50 c 1020 1192289 71979 1 - 0.0000 -
1021.19/1025.55 c 1026 1194717 72025 1 - 0.0000 -
1026.18/1030.59 c 1031 1197685 72002 1 - 0.0000 -
1031.25/1035.65 c 1036 1200417 72007 1 - 0.0000 -
1036.24/1040.69 c 1041 1202950 72284 1 - 0.0000 -
1041.33/1045.74 c 1046 1205635 72759 1 - 0.0000 -
1046.31/1050.79 c 1051 1208616 73057 1 - 0.0000 -
1051.40/1055.86 c 1056 1211257 73275 1 - 0.0000 -
1056.48/1060.91 c 1061 1214191 73449 1 - 0.0000 -
1061.47/1065.95 c 1066 1216224 73517 1 - 0.0000 -
1066.55/1071.00 c 1071 1218965 73525 1 - 0.0000 -
1071.53/1076.06 c 1076 1221701 73533 1 - 0.0000 -
1076.62/1081.10 c 1081 1224662 73619 1 - 0.0000 -
1081.60/1086.16 c 1086 1227837 73684 1 - 0.0000 -
1086.68/1091.20 c 1091 1230608 73724 1 - 0.0000 -
1091.67/1096.25 c 1096 1233402 73726 1 - 0.0000 -
1096.75/1101.30 c 1101 1236088 73758 1 - 0.0000 -
1101.74/1106.35 c 1106 1238550 73682 1 - 0.0000 -
1106.82/1111.40 c 1111 1240541 73756 1 - 0.0000 -
1111.81/1116.47 c 1116 1242741 73773 1 - 0.0000 -
1116.89/1121.52 c 1122 1245504 73802 1 - 0.0000 -
1121.88/1126.56 c 1127 1248539 73792 1 - 0.0000 -
1126.96/1131.62 c 1132 1251168 73811 1 - 0.0000 -
1131.94/1136.66 c 1137 1253843 73834 1 - 0.0000 -
1137.03/1141.71 c 1142 1256386 73851 1 - 0.0000 -
1142.01/1146.77 c 1147 1259156 73887 1 - 0.0000 -
1147.10/1151.82 c 1152 1261860 74154 1 - 0.0000 -
1152.08/1156.87 c 1157 1263915 74236 1 - 0.0000 -
1157.17/1161.91 c 1162 1266043 74141 1 - 0.0000 -
1162.16/1166.97 c 1167 1268856 74147 1 - 0.0000 -
1167.24/1172.02 c 1172 1271543 74170 1 - 0.0000 -
1172.22/1177.06 c 1177 1274024 74175 1 - 0.0000 -
1177.31/1182.11 c 1182 1276820 74360 1 - 0.0000 -
1182.29/1187.16 c 1187 1279381 74368 1 - 0.0000 -
1187.37/1192.23 c 1192 1281851 74485 1 - 0.0000 -
1192.36/1197.28 c 1197 1284337 74552 1 - 0.0000 -
1197.45/1202.35 c 1202 1286576 74535 1 - 0.0000 -
1202.43/1207.39 c 1207 1289250 74513 1 - 0.0000 -
1207.52/1212.46 c 1212 1291126 74516 1 - 0.0000 -
1212.60/1217.51 c 1218 1293000 74571 1 - 0.0000 -
1217.58/1222.57 c 1223 1295720 74598 1 - 0.0000 -
1222.67/1227.61 c 1228 1298547 74757 1 - 0.0000 -
1227.66/1232.67 c 1233 1300586 74759 1 - 0.0000 -
1232.74/1237.72 c 1238 1302682 74764 1 - 0.0000 -
1237.72/1242.78 c 1243 1304997 74879 1 - 0.0000 -
1242.81/1247.82 c 1248 1307294 74889 1 - 0.0000 -
1247.79/1252.87 c 1253 1309701 75064 1 - 0.0000 -
1252.88/1257.93 c 1258 1312063 75228 1 - 0.0000 -
1257.86/1262.97 c 1263 1314193 75209 1 - 0.0000 -
1262.95/1268.04 c 1268 1316751 75421 1 - 0.0000 -
1267.93/1273.10 c 1273 1318951 75671 1 - 0.0000 -
1273.02/1278.15 c 1278 1321286 75651 1 - 0.0000 -
1278.00/1283.20 c 1283 1323630 75992 1 - 0.0000 -
1283.09/1288.24 c 1288 1325872 76184 1 - 0.0000 -
1288.07/1293.29 c 1293 1328238 76299 1 - 0.0000 -
1293.15/1298.36 c 1298 1330581 76400 1 - 0.0000 -
1298.24/1303.41 c 1303 1332976 76456 1 - 0.0000 -
1303.23/1308.46 c 1308 1335179 76491 1 - 0.0000 -
1308.31/1313.51 c 1314 1337554 76433 1 - 0.0000 -
1313.29/1318.56 c 1319 1339671 76479 1 - 0.0000 -
1318.37/1323.62 c 1324 1341771 76562 1 - 0.0000 -
1323.36/1328.67 c 1329 1343784 76559 1 - 0.0000 -
1328.45/1333.73 c 1334 1345866 76679 1 - 0.0000 -
1333.44/1338.77 c 1339 1347885 76662 1 - 0.0000 -
1338.52/1343.82 c 1344 1350009 76656 1 - 0.0000 -
1343.50/1348.87 c 1349 1352096 76698 1 - 0.0000 -
1348.59/1353.92 c 1354 1354097 76874 1 - 0.0000 -
1353.57/1358.99 c 1359 1356161 77067 1 - 0.0000 -
1358.66/1364.04 c 1364 1358030 77062 1 - 0.0000 -
1363.65/1369.08 c 1369 1360535 77030 1 - 0.0000 -
1368.73/1374.16 c 1374 1363330 77208 1 - 0.0000 -
1373.81/1379.21 c 1379 1366007 77224 1 - 0.0000 -
1378.80/1384.26 c 1384 1368695 77203 1 - 0.0000 -
1383.88/1389.31 c 1389 1371042 77263 1 - 0.0000 -
1388.87/1394.38 c 1394 1373347 77339 1 - 0.0000 -
1393.95/1399.43 c 1399 1375784 77401 1 - 0.0000 -
1398.94/1404.48 c 1404 1378528 77465 1 - 0.0000 -
1404.02/1409.53 c 1410 1381168 77479 1 - 0.0000 -
1409.01/1414.57 c 1415 1383880 77490 1 - 0.0000 -
1414.09/1419.63 c 1420 1386565 77551 1 - 0.0000 -
1419.07/1424.67 c 1425 1389224 77542 1 - 0.0000 -
1424.16/1429.73 c 1430 1391672 77954 1 - 0.0000 -
1429.14/1434.78 c 1435 1393910 78111 1 - 0.0000 -
1434.22/1439.84 c 1440 1396243 78207 1 - 0.0000 -
1439.21/1444.89 c 1445 1398727 78247 1 - 0.0000 -
1444.30/1449.93 c 1450 1401190 78298 1 - 0.0000 -
1449.28/1454.98 c 1455 1403790 78357 1 - 0.0000 -
1454.37/1460.04 c 1460 1406207 78382 1 - 0.0000 -
1459.35/1465.08 c 1465 1408778 78302 1 - 0.0000 -
1464.44/1470.15 c 1470 1411042 78247 1 - 0.0000 -
1469.42/1475.19 c 1475 1413544 78218 1 - 0.0000 -
1474.50/1480.25 c 1480 1415980 78206 1 - 0.0000 -
1479.59/1485.32 c 1485 1418524 78301 1 - 0.0000 -
1484.57/1490.37 c 1490 1420832 78267 1 - 0.0000 -
1489.66/1495.41 c 1495 1423248 78550 1 - 0.0000 -
1494.64/1500.46 c 1500 1425757 78511 1 - 0.0000 -
1499.71/1505.51 c 1506 1428289 78517 1 - 0.0000 -
1504.70/1510.57 c 1511 1430821 78571 1 - 0.0000 -
1509.78/1515.62 c 1516 1433367 78508 1 - 0.0000 -
1514.76/1520.68 c 1521 1436084 78466 1 - 0.0000 -
1519.84/1525.72 c 1526 1439495 78560 1 - 0.0000 -
1524.83/1530.77 c 1531 1443203 78662 1 - 0.0000 -
1529.91/1535.82 c 1536 1446817 78772 1 - 0.0000 -
1534.89/1540.87 c 1541 1451083 78781 1 - 0.0000 -
1539.97/1545.92 c 1546 1454943 78945 1 - 0.0000 -
1544.96/1550.97 c 1551 1459252 79069 1 - 0.0000 -
1550.04/1556.03 c 1556 1463581 79237 1 - 0.0000 -
1555.02/1561.08 c 1561 1468335 79441 1 - 0.0000 -
1560.11/1566.12 c 1566 1473066 79554 1 - 0.0000 -
1565.08/1571.17 c 1571 1477968 79607 1 - 0.0000 -
1570.16/1576.23 c 1576 1482483 79607 1 - 0.0000 -
1575.15/1581.28 c 1581 1487654 79625 1 - 0.0000 -
1580.23/1586.33 c 1586 1492839 79646 1 - 0.0000 -
1585.21/1591.38 c 1591 1498085 79731 1 - 0.0000 -
1590.30/1596.43 c 1596 1503082 79806 1 - 0.0000 -
1595.28/1601.49 c 1601 1508047 79890 1 - 0.0000 -
1600.37/1606.53 c 1607 1513469 79911 1 - 0.0000 -
1605.35/1611.58 c 1612 1518522 79950 1 - 0.0000 -
1610.43/1616.63 c 1617 1523619 79992 1 - 0.0000 -
1615.42/1621.68 c 1622 1528541 80060 1 - 0.0000 -
1620.50/1626.74 c 1627 1533431 80080 1 - 0.0000 -
1625.48/1631.78 c 1632 1538512 80054 1 - 0.0000 -
1630.57/1636.83 c 1637 1543343 80255 1 - 0.0000 -
1635.55/1641.88 c 1642 1548367 80899 1 - 0.0000 -
1640.64/1646.93 c 1647 1553317 81036 1 - 0.0000 -
1645.63/1651.98 c 1652 1558437 81278 1 - 0.0000 -
1650.72/1657.03 c 1657 1563120 81305 1 - 0.0000 -
1655.70/1662.08 c 1662 1568295 81380 1 - 0.0000 -
1660.78/1667.13 c 1667 1572629 81296 1 - 0.0000 -
1665.77/1672.18 c 1672 1577365 81326 1 - 0.0000 -
1670.85/1677.24 c 1677 1582301 81341 1 - 0.0000 -
1675.84/1682.28 c 1682 1587517 81494 1 - 0.0000 -
1680.92/1687.33 c 1687 1592632 81571 1 - 0.0000 -
1685.91/1692.38 c 1692 1597445 81951 1 - 0.0000 -
1690.99/1697.43 c 1697 1602081 81950 1 - 0.0000 -
1695.98/1702.49 c 1702 1606668 82095 1 - 0.0000 -
1701.06/1707.54 c 1708 1611288 82208 1 - 0.0000 -
1706.04/1712.58 c 1713 1616208 82264 1 - 0.0000 -
1711.13/1717.64 c 1718 1620563 82325 1 - 0.0000 -
1716.11/1722.69 c 1723 1624676 82296 1 - 0.0000 -
1721.19/1727.73 c 1728 1629567 82344 1 - 0.0000 -
1726.18/1732.79 c 1733 1634485 82472 1 - 0.0000 -
1731.27/1737.83 c 1738 1638971 82471 1 - 0.0000 -
1736.25/1742.88 c 1743 1643399 82542 1 - 0.0000 -
1741.33/1747.93 c 1748 1647914 82534 1 - 0.0000 -
1746.32/1752.99 c 1753 1652455 82653 1 - 0.0000 -
1751.41/1758.04 c 1758 1656917 82692 1 - 0.0000 -
1756.39/1763.08 c 1763 1661749 82712 1 - 0.0000 -
1761.48/1768.13 c 1768 1666533 82917 1 - 0.0000 -
1766.46/1773.18 c 1773 1670849 82830 1 - 0.0000 -
1771.54/1778.23 c 1778 1675343 82968 1 - 0.0000 -
1776.52/1783.29 c 1783 1679694 83000 1 - 0.0000 -
1781.61/1788.34 c 1788 1683908 83024 1 - 0.0000 -
1786.60/1793.38 c 1793 1688607 83145 1 - 0.0000 -
1791.68/1798.43 c 1798 1692977 83174 1 - 0.0000 -
1796.67/1803.48 c 1803 1697761 83267 1 - 0.0000 -
1801.75/1808.53 c 1809 1702265 83234 1 - 0.0000 -
1806.73/1813.58 c 1814 1706797 83223 1 - 0.0000 -
1811.81/1818.63 c 1819 1711154 83218 1 - 0.0000 -
1816.80/1823.69 c 1824 1715276 83281 1 - 0.0000 -
1821.88/1828.73 c 1829 1719682 83267 1 - 0.0000 -
1826.87/1833.78 c 1834 1723844 83283 1 - 0.0000 -
1831.95/1838.83 c 1839 1727967 83221 1 - 0.0000 -
1836.94/1843.88 c 1844 1732177 83188 1 - 0.0000 -
1842.02/1848.93 c 1849 1736238 83171 1 - 0.0000 -
1847.01/1853.99 c 1854 1741208 83437 1 - 0.0000 -
1852.10/1859.03 c 1859 1745263 83430 1 - 0.0000 -
1857.08/1864.08 c 1864 1749580 83424 1 - 0.0000 -
1862.16/1869.13 c 1869 1753841 83379 1 - 0.0000 -
1867.15/1874.18 c 1874 1757719 83310 1 - 0.0000 -
1872.23/1879.23 c 1879 1762127 83465 1 - 0.0000 -
1877.21/1884.28 c 1884 1766491 83603 1 - 0.0000 -
1882.29/1889.33 c 1889 1770779 83960 1 - 0.0000 -
1887.28/1894.38 c 1894 1774931 84184 1 - 0.0000 -
1892.36/1899.43 c 1899 1779172 84252 1 - 0.0000 -
1897.35/1904.48 c 1904 1783229 84300 1 - 0.0000 -
1902.43/1909.53 c 1910 1787505 84331 1 - 0.0000 -
1907.42/1914.58 c 1915 1791487 84580 1 - 0.0000 -
1912.50/1919.64 c 1920 1796186 84764 1 - 0.0000 -
1917.49/1924.68 c 1925 1800957 84852 1 - 0.0000 -
1922.57/1929.74 c 1930 1805465 84908 1 - 0.0000 -
1927.55/1934.78 c 1935 1810071 85068 1 - 0.0000 -
1932.64/1939.83 c 1940 1814599 85080 1 - 0.0000 -
1937.62/1944.88 c 1945 1818456 85058 1 - 0.0000 -
1942.71/1949.93 c 1950 1822834 85148 1 - 0.0000 -
1947.69/1954.98 c 1955 1826627 85146 1 - 0.0000 -
1952.77/1960.04 c 1960 1830611 85200 1 - 0.0000 -
1957.76/1965.08 c 1965 1834549 85315 1 - 0.0000 -
1962.85/1970.13 c 1970 1838339 85188 1 - 0.0000 -
1967.83/1975.19 c 1975 1842599 85230 1 - 0.0000 -
1972.91/1980.24 c 1980 1846370 85327 1 - 0.0000 -
1977.89/1985.29 c 1985 1850282 85367 1 - 0.0000 -
1982.98/1990.33 c 1990 1854117 85394 1 - 0.0000 -
1987.96/1995.39 c 1995 1857923 85501 1 - 0.0000 -
1993.05/2000.44 c 2000 1861593 85579 1 - 0.0000 -
1998.03/2005.48 c 2005 1865264 85678 1 - 0.0000 -
2003.11/2010.53 c 2011 1868730 85542 1 - 0.0000 -
2008.10/2015.58 c 2016 1872597 85670 1 - 0.0000 -
2013.18/2020.64 c 2021 1876240 85764 1 - 0.0000 -
2018.17/2025.68 c 2026 1880333 86248 1 - 0.0000 -
2023.25/2030.73 c 2031 1884494 86460 1 - 0.0000 -
2028.23/2035.78 c 2036 1888565 86582 1 - 0.0000 -
2033.32/2040.83 c 2041 1892489 86619 1 - 0.0000 -
2038.30/2045.88 c 2046 1896372 86608 1 - 0.0000 -
2043.39/2050.92 c 2051 1900189 86617 1 - 0.0000 -
2048.37/2055.98 c 2056 1904055 86520 1 - 0.0000 -
2053.46/2061.02 c 2061 1907384 86408 1 - 0.0000 -
2058.44/2066.07 c 2066 1911076 86341 1 - 0.0000 -
2063.53/2071.12 c 2071 1914835 86363 1 - 0.0000 -
2068.51/2076.18 c 2076 1918624 86380 1 - 0.0000 -
2073.59/2081.22 c 2081 1922251 86339 1 - 0.0000 -
2078.58/2086.27 c 2086 1926160 86361 1 - 0.0000 -
2083.66/2091.33 c 2091 1930070 86644 1 - 0.0000 -
2088.65/2096.37 c 2096 1934059 86729 1 - 0.0000 -
2093.73/2101.42 c 2101 1937536 86637 1 - 0.0000 -
2098.71/2106.49 c 2106 1941139 86863 1 - 0.0000 -
2103.80/2111.53 c 2112 1944948 86942 1 - 0.0000 -
2108.79/2116.59 c 2117 1948627 87018 1 - 0.0000 -
2113.87/2121.63 c 2122 1952686 87071 1 - 0.0000 -
2118.86/2126.69 c 2127 1956502 87094 1 - 0.0000 -
2123.94/2131.73 c 2132 1960142 87082 1 - 0.0000 -
2128.92/2136.78 c 2137 1963782 87200 1 - 0.0000 -
2134.01/2141.83 c 2142 1967318 87217 1 - 0.0000 -
2138.99/2146.88 c 2147 1971168 87351 1 - 0.0000 -
2144.08/2151.93 c 2152 1974521 87566 1 - 0.0000 -
2149.07/2156.98 c 2157 1977980 87548 1 - 0.0000 -
2154.16/2162.03 c 2162 1981397 87585 1 - 0.0000 -
2159.14/2167.08 c 2167 1985041 87729 1 - 0.0000 -
2164.22/2172.14 c 2172 1988280 87723 1 - 0.0000 -
2169.21/2177.18 c 2177 1991953 87786 1 - 0.0000 -
2174.29/2182.23 c 2182 1995348 87835 1 - 0.0000 -
2179.27/2187.28 c 2187 1998571 87919 1 - 0.0000 -
2184.36/2192.34 c 2192 2002146 87939 1 - 0.0000 -
2189.35/2197.38 c 2197 2005662 88023 1 - 0.0000 -
2194.43/2202.44 c 2202 2009370 88073 1 - 0.0000 -
2199.41/2207.48 c 2207 2012822 88013 1 - 0.0000 -
2204.50/2212.53 c 2213 2016319 88078 1 - 0.0000 -
2209.48/2217.58 c 2218 2019986 88143 1 - 0.0000 -
2214.57/2222.64 c 2223 2023179 88235 1 - 0.0000 -
2219.56/2227.69 c 2228 2027416 88452 1 - 0.0000 -
2224.64/2232.74 c 2233 2031058 88348 1 - 0.0000 -
2229.62/2237.78 c 2238 2034750 88534 1 - 0.0000 -
2234.71/2242.83 c 2243 2038558 88655 1 - 0.0000 -
2239.70/2247.89 c 2248 2042229 88736 1 - 0.0000 -
2244.78/2252.93 c 2253 2045367 88643 1 - 0.0000 -
2249.77/2257.98 c 2258 2048772 88737 1 - 0.0000 -
2254.85/2263.04 c 2263 2051967 88783 1 - 0.0000 -
2259.84/2268.08 c 2268 2055506 88790 1 - 0.0000 -
2264.92/2273.13 c 2273 2058738 88692 1 - 0.0000 -
2269.91/2278.18 c 2278 2062280 88725 1 - 0.0000 -
2274.99/2283.23 c 2283 2065414 88658 1 - 0.0000 -
2279.97/2288.29 c 2288 2068676 88661 1 - 0.0000 -
2285.06/2293.33 c 2293 2071816 88739 1 - 0.0000 -
2290.05/2298.38 c 2298 2075058 88756 1 - 0.0000 -
2295.13/2303.43 c 2303 2078467 88766 1 - 0.0000 -
2300.12/2308.48 c 2308 2081596 88741 1 - 0.0000 -
2305.19/2313.54 c 2314 2084624 89388 1 - 0.0000 -
2310.18/2318.59 c 2319 2087530 89855 1 - 0.0000 -
2315.26/2323.64 c 2324 2090371 90051 1 - 0.0000 -
2320.25/2328.69 c 2329 2093138 90176 1 - 0.0000 -
2325.34/2333.74 c 2334 2096066 90370 1 - 0.0000 -
2330.33/2338.79 c 2339 2098790 90676 1 - 0.0000 -
2335.41/2343.84 c 2344 2101635 90794 1 - 0.0000 -
2340.39/2348.88 c 2349 2104470 90988 1 - 0.0000 -
2345.48/2353.94 c 2354 2107134 91069 1 - 0.0000 -
2350.47/2358.99 c 2359 2110031 91134 1 - 0.0000 -
2355.56/2364.05 c 2364 2112849 91201 1 - 0.0000 -
2360.54/2369.10 c 2369 2115682 91250 1 - 0.0000 -
2365.63/2374.15 c 2374 2118299 91256 1 - 0.0000 -
2370.62/2379.19 c 2379 2121060 91351 1 - 0.0000 -
2375.69/2384.25 c 2384 2123810 91396 1 - 0.0000 -
2380.68/2389.29 c 2389 2127113 91430 1 - 0.0000 -
2385.77/2394.34 c 2394 2130580 91448 1 - 0.0000 -
2390.74/2399.40 c 2399 2133648 91633 1 - 0.0000 -
2395.83/2404.45 c 2404 2136843 91714 1 - 0.0000 -
2400.82/2409.49 c 2410 2139592 91734 1 - 0.0000 -
2405.90/2414.55 c 2415 2142274 91651 1 - 0.0000 -
2410.89/2419.59 c 2420 2144903 91596 1 - 0.0000 -
2415.97/2424.65 c 2425 2147832 92057 1 - 0.0000 -
2421.05/2429.70 c 2430 2150521 92292 1 - 0.0000 -
2426.04/2434.75 c 2435 2152926 92364 1 - 0.0000 -
2431.13/2439.80 c 2440 2155449 92474 1 - 0.0000 -
2436.12/2444.84 c 2445 2157900 92579 1 - 0.0000 -
2441.10/2449.89 c 2450 2160415 92813 1 - 0.0000 -
2446.18/2454.94 c 2455 2163003 92964 1 - 0.0000 -
2451.27/2460.00 c 2460 2165530 92984 1 - 0.0000 -
2456.26/2465.05 c 2465 2167897 93011 1 - 0.0000 -
2461.25/2470.09 c 2470 2170825 93145 1 - 0.0000 -
2466.33/2475.14 c 2475 2173603 93149 1 - 0.0000 -
2471.41/2480.20 c 2480 2177281 93366 1 - 0.0000 -
2476.39/2485.25 c 2485 2180211 93298 1 - 0.0000 -
2481.38/2490.29 c 2490 2183238 93310 1 - 0.0000 -
2486.47/2495.37 c 2495 2186252 93236 1 - 0.0000 -
2491.55/2500.41 c 2500 2189106 93296 1 - 0.0000 -
2496.54/2505.47 c 2505 2192133 93248 1 - 0.0000 -
2501.62/2510.52 c 2511 2194882 93226 1 - 0.0000 -
2506.61/2515.56 c 2516 2197796 93235 1 - 0.0000 -
2511.68/2520.61 c 2521 2200479 93379 1 - 0.0000 -
2516.68/2525.67 c 2526 2203297 93369 1 - 0.0000 -
2521.76/2530.72 c 2531 2205933 93336 1 - 0.0000 -
2526.74/2535.76 c 2536 2208905 93462 1 - 0.0000 -
2531.83/2540.81 c 2541 2212093 93611 1 - 0.0000 -
2536.82/2545.87 c 2546 2215057 93555 1 - 0.0000 -
2541.90/2550.92 c 2551 2218094 93505 1 - 0.0000 -
2546.89/2555.98 c 2556 2220753 93449 1 - 0.0000 -
2551.98/2561.03 c 2561 2223718 93416 1 - 0.0000 -
2556.96/2566.07 c 2566 2226428 93471 1 - 0.0000 -
2562.05/2571.12 c 2571 2229672 93426 1 - 0.0000 -
2567.03/2576.18 c 2576 2232365 93420 1 - 0.0000 -
2572.11/2581.23 c 2581 2235104 93426 1 - 0.0000 -
2577.10/2586.27 c 2586 2237685 93453 1 - 0.0000 -
2582.18/2591.32 c 2591 2240089 93353 1 - 0.0000 -
2587.16/2596.37 c 2596 2242842 93437 1 - 0.0000 -
2592.25/2601.42 c 2601 2245565 93394 1 - 0.0000 -
2597.24/2606.48 c 2606 2248339 93485 1 - 0.0000 -
2602.33/2611.53 c 2612 2251080 93482 1 - 0.0000 -
2607.31/2616.58 c 2617 2254202 93585 1 - 0.0000 -
2612.39/2621.63 c 2622 2257258 93575 1 - 0.0000 -
2617.38/2626.68 c 2627 2259921 93522 1 - 0.0000 -
2622.47/2631.73 c 2632 2262488 93508 1 - 0.0000 -
2627.46/2636.78 c 2637 2264915 93544 1 - 0.0000 -
2632.54/2641.82 c 2642 2267604 93625 1 - 0.0000 -
2637.52/2646.88 c 2647 2270318 93643 1 - 0.0000 -
2642.61/2651.93 c 2652 2273207 93681 1 - 0.0000 -
2647.60/2656.97 c 2657 2276047 93678 1 - 0.0000 -
2652.68/2662.02 c 2662 2278802 93690 1 - 0.0000 -
2657.67/2667.08 c 2667 2281495 93646 1 - 0.0000 -
2662.75/2672.12 c 2672 2284416 93820 1 - 0.0000 -
2667.75/2677.18 c 2677 2287512 93898 1 - 0.0000 -
2672.82/2682.23 c 2682 2290076 93861 1 - 0.0000 -
2677.81/2687.28 c 2687 2292694 93989 1 - 0.0000 -
2682.89/2692.33 c 2692 2295323 94103 1 - 0.0000 -
2687.88/2697.38 c 2697 2297774 94180 1 - 0.0000 -
2692.96/2702.43 c 2702 2300252 94178 1 - 0.0000 -
2697.95/2707.48 c 2707 2302929 94247 1 - 0.0000 -
2703.04/2712.53 c 2713 2305906 94230 1 - 0.0000 -
2708.02/2717.60 c 2718 2308967 94235 1 - 0.0000 -
2713.11/2722.65 c 2723 2311729 94287 1 - 0.0000 -
2718.19/2727.70 c 2728 2314547 94351 1 - 0.0000 -
2723.18/2732.75 c 2733 2317134 94352 1 - 0.0000 -
2728.26/2737.80 c 2738 2319974 94395 1 - 0.0000 -
2733.25/2742.85 c 2743 2322803 94384 1 - 0.0000 -
2738.34/2747.90 c 2748 2325841 94467 1 - 0.0000 -
2743.33/2752.94 c 2753 2328799 94515 1 - 0.0000 -
2748.31/2757.99 c 2758 2331159 94465 1 - 0.0000 -
2753.40/2763.04 c 2763 2333833 94403 1 - 0.0000 -
2758.38/2768.10 c 2768 2336198 94392 1 - 0.0000 -
2763.47/2773.15 c 2773 2338892 94356 1 - 0.0000 -
2768.45/2778.19 c 2778 2341443 94349 1 - 0.0000 -
2773.53/2783.24 c 2783 2343964 94311 1 - 0.0000 -
2778.62/2788.30 c 2788 2346694 94282 1 - 0.0000 -
2783.60/2793.36 c 2793 2349546 94276 1 - 0.0000 -
2788.69/2798.41 c 2798 2352267 94263 1 - 0.0000 -
2793.68/2803.45 c 2803 2354883 94233 1 - 0.0000 -
2798.76/2808.51 c 2809 2357471 94193 1 - 0.0000 -
2803.75/2813.57 c 2814 2360193 94263 1 - 0.0000 -
2808.83/2818.61 c 2819 2362797 94327 1 - 0.0000 -
2813.82/2823.67 c 2824 2365310 94382 1 - 0.0000 -
2818.90/2828.71 c 2829 2367906 94420 1 - 0.0000 -
2823.89/2833.77 c 2834 2370507 94417 1 - 0.0000 -
2828.98/2838.82 c 2839 2372923 94390 1 - 0.0000 -
2833.97/2843.87 c 2844 2375341 94333 1 - 0.0000 -
2839.04/2848.92 c 2849 2377897 94359 1 - 0.0000 -
2844.03/2853.98 c 2854 2380268 94321 1 - 0.0000 -
2849.12/2859.02 c 2859 2382795 94393 1 - 0.0000 -
2854.10/2864.07 c 2864 2384978 94345 1 - 0.0000 -
2859.20/2869.12 c 2869 2387400 94343 1 - 0.0000 -
2864.17/2874.19 c 2874 2389705 94307 1 - 0.0000 -
2869.25/2879.24 c 2879 2392488 94350 1 - 0.0000 -
2874.24/2884.29 c 2884 2395121 94411 1 - 0.0000 -
2879.32/2889.34 c 2889 2397750 94403 1 - 0.0000 -
2884.31/2894.38 c 2894 2400246 94357 1 - 0.0000 -
2889.40/2899.44 c 2899 2402797 94454 1 - 0.0000 -
2894.49/2904.50 c 2904 2405227 94517 1 - 0.0000 -
2899.48/2909.55 c 2910 2407558 94516 1 - 0.0000 -
2904.56/2914.60 c 2915 2410238 94556 1 - 0.0000 -
2909.55/2919.65 c 2920 2412927 94655 1 - 0.0000 -
2914.63/2924.70 c 2925 2415548 94788 1 - 0.0000 -
2919.61/2929.75 c 2930 2418184 94778 1 - 0.0000 -
2924.70/2934.82 c 2935 2420900 94914 1 - 0.0000 -
2929.69/2939.87 c 2940 2423357 95365 1 - 0.0000 -
2934.77/2944.93 c 2945 2425644 95545 1 - 0.0000 -
2939.75/2949.98 c 2950 2427854 95727 1 - 0.0000 -
2944.85/2955.03 c 2955 2430506 95937 1 - 0.0000 -
2949.83/2960.08 c 2960 2432808 96119 1 - 0.0000 -
2954.92/2965.18 c 2965 2434975 96368 1 - 0.0000 -
2960.00/2970.22 c 2970 2437158 96466 1 - 0.0000 -
2964.98/2975.28 c 2975 2439416 96623 1 - 0.0000 -
2970.07/2980.32 c 2980 2441573 96716 1 - 0.0000 -
2975.06/2985.38 c 2985 2443670 96727 1 - 0.0000 -
2980.15/2990.43 c 2990 2445865 96780 1 - 0.0000 -
2985.13/2995.47 c 2995 2448327 96853 1 - 0.0000 -
2990.22/3000.56 c 3001 2450521 96972 1 - 0.0000 -
2995.30/3005.62 c 3006 2452538 96983 1 - 0.0000 -
3000.29/3010.67 c 3011 2454748 97110 1 - 0.0000 -
3005.37/3015.72 c 3016 2456902 97133 1 - 0.0000 -
3010.36/3020.77 c 3021 2459101 97170 1 - 0.0000 -
3015.44/3025.81 c 3026 2461228 97153 1 - 0.0000 -
3020.42/3030.86 c 3031 2463302 97134 1 - 0.0000 -
3025.51/3035.91 c 3036 2465687 97291 1 - 0.0000 -
3030.50/3040.98 c 3041 2468621 97490 1 - 0.0000 -
3035.59/3046.04 c 3046 2470762 97507 1 - 0.0000 -
3040.57/3051.08 c 3051 2472879 97604 1 - 0.0000 -
3045.66/3056.14 c 3056 2474995 97626 1 - 0.0000 -
3050.65/3061.19 c 3061 2477329 97572 1 - 0.0000 -
3055.73/3066.25 c 3066 2479521 97560 1 - 0.0000 -
3060.71/3071.29 c 3071 2481789 97606 1 - 0.0000 -
3065.79/3076.35 c 3076 2484119 97739 1 - 0.0000 -
3070.87/3081.40 c 3081 2486438 97721 1 - 0.0000 -
3075.86/3086.45 c 3086 2488851 97785 1 - 0.0000 -
3080.94/3091.50 c 3092 2491439 97829 1 - 0.0000 -
3085.93/3096.54 c 3097 2494009 97817 1 - 0.0000 -
3090.92/3101.59 c 3102 2496937 97828 1 - 0.0000 -
3096.00/3106.67 c 3107 2499500 97768 1 - 0.0000 -
3101.09/3111.71 c 3112 2502526 97790 1 - 0.0000 -
3106.08/3116.76 c 3117 2505247 97756 1 - 0.0000 -
3111.16/3121.81 c 3122 2507995 97798 1 - 0.0000 -
3116.15/3126.87 c 3127 2510989 97797 1 - 0.0000 -
3121.23/3131.91 c 3132 2513616 97990 1 - 0.0000 -
3126.22/3136.97 c 3137 2516395 98231 1 - 0.0000 -
3131.30/3142.02 c 3142 2519074 98206 1 - 0.0000 -
3136.29/3147.07 c 3147 2522024 98399 1 - 0.0000 -
3141.37/3152.13 c 3152 2524734 98379 1 - 0.0000 -
3146.36/3157.18 c 3157 2527274 98291 1 - 0.0000 -
3151.44/3162.22 c 3162 2529780 98288 1 - 0.0000 -
3156.43/3167.28 c 3167 2532453 98289 1 - 0.0000 -
3161.52/3172.32 c 3172 2535316 98328 1 - 0.0000 -
3166.50/3177.37 c 3177 2537898 98344 1 - 0.0000 -
3171.59/3182.44 c 3182 2540587 98448 1 - 0.0000 -
3176.57/3187.48 c 3187 2543273 98549 1 - 0.0000 -
3181.66/3192.54 c 3193 2546054 98561 1 - 0.0000 -
3186.64/3197.59 c 3198 2548571 98594 1 - 0.0000 -
3191.73/3202.65 c 3203 2551415 99160 1 - 0.0000 -
3196.71/3207.69 c 3208 2554160 99355 1 - 0.0000 -
3201.79/3212.74 c 3213 2557061 99499 1 - 0.0000 -
3206.88/3217.80 c 3218 2559876 99522 1 - 0.0000 -
3211.87/3222.84 c 3223 2562775 99437 1 - 0.0000 -
3216.95/3227.90 c 3228 2565537 99501 1 - 0.0000 -
3221.93/3232.95 c 3233 2568499 99655 1 - 0.0000 -
3226.93/3237.99 c 3238 2572009 99887 1 - 0.0000 -
3232.01/3243.06 c 3243 2574768 99901 1 - 0.0000 -
3237.10/3248.10 c 3248 2577567 99953 1 - 0.0000 -
3242.08/3253.15 c 3253 2580310 99950 1 - 0.0000 -
3247.17/3258.21 c 3258 2582648 99880 1 - 0.0000 -
3252.15/3263.25 c 3263 2585215 99838 1 - 0.0000 -
3257.24/3268.32 c 3268 2587718 99785 1 - 0.0000 -
3262.23/3273.37 c 3273 2590440 99805 1 - 0.0000 -
3267.31/3278.42 c 3278 2593153 99813 1 - 0.0000 -
3272.30/3283.47 c 3283 2595769 99720 1 - 0.0000 -
3277.38/3288.52 c 3289 2598593 99688 1 - 0.0000 -
3282.37/3293.57 c 3294 2601327 99619 1 - 0.0000 -
3287.46/3298.61 c 3299 2603752 99540 1 - 0.0000 -
3292.43/3303.67 c 3304 2606300 99528 1 - 0.0000 -
3297.52/3308.72 c 3309 2608846 99465 1 - 0.0000 -
3302.51/3313.77 c 3314 2611272 99408 1 - 0.0000 -
3307.59/3318.82 c 3319 2613847 99511 1 - 0.0000 -
3312.58/3323.87 c 3324 2616620 99459 1 - 0.0000 -
3317.66/3328.91 c 3329 2618947 99445 1 - 0.0000 -
3322.65/3333.96 c 3334 2621559 99371 1 - 0.0000 -
3327.75/3339.02 c 3339 2624265 99297 1 - 0.0000 -
3332.73/3344.06 c 3344 2627123 99449 1 - 0.0000 -
3337.81/3349.12 c 3349 2630131 99422 1 - 0.0000 -
3342.80/3354.17 c 3354 2632949 99502 1 - 0.0000 -
3347.88/3359.22 c 3359 2635408 99533 1 - 0.0000 -
3352.87/3364.26 c 3364 2637761 99531 1 - 0.0000 -
3357.95/3369.32 c 3369 2640250 99498 1 - 0.0000 -
3362.94/3374.37 c 3374 2642721 99466 1 - 0.0000 -
3368.02/3379.43 c 3379 2645177 99487 1 - 0.0000 -
3373.11/3384.50 c 3384 2647518 99475 1 - 0.0000 -
3378.10/3389.54 c 3390 2650129 99481 1 - 0.0000 -
3383.08/3394.60 c 3395 2652711 99442 1 - 0.0000 -
3388.17/3399.65 c 3400 2655296 99348 1 - 0.0000 -
3393.16/3404.69 c 3405 2657828 99359 1 - 0.0000 -
3398.24/3409.74 c 3410 2660531 99391 1 - 0.0000 -
3403.32/3414.80 c 3415 2662908 99348 1 - 0.0000 -
3408.31/3419.84 c 3420 2665324 99320 1 - 0.0000 -
3413.30/3424.89 c 3425 2667846 99322 1 - 0.0000 -
3418.38/3429.94 c 3430 2670386 99330 1 - 0.0000 -
3423.37/3434.99 c 3435 2672965 99358 1 - 0.0000 -
3428.46/3440.04 c 3440 2675405 99320 1 - 0.0000 -
3433.45/3445.09 c 3445 2677972 99362 1 - 0.0000 -
3438.53/3450.15 c 3450 2680235 99419 1 - 0.0000 -
3443.61/3455.20 c 3455 2682525 99368 1 - 0.0000 -
3448.60/3460.24 c 3460 2685149 99381 1 - 0.0000 -
3453.58/3465.29 c 3465 2687624 99396 1 - 0.0000 -
3458.67/3470.35 c 3470 2690306 99375 1 - 0.0000 -
3463.76/3475.41 c 3475 2692953 99475 1 - 0.0000 -
3468.74/3480.45 c 3480 2695737 99460 1 - 0.0000 -
3473.83/3485.51 c 3486 2698523 99497 1 - 0.0000 -
3478.81/3490.55 c 3491 2701440 99495 1 - 0.0000 -
3483.90/3495.61 c 3496 2703789 99500 1 - 0.0000 -
3488.89/3500.67 c 3501 2705969 99619 1 - 0.0000 -
3493.97/3505.71 c 3506 2708379 99650 1 - 0.0000 -
3498.96/3510.76 c 3511 2711099 99696 1 - 0.0000 -
3504.05/3515.82 c 3516 2713645 99751 1 - 0.0000 -
3509.03/3520.86 c 3521 2716198 99698 1 - 0.0000 -
3514.11/3525.92 c 3526 2718675 99659 1 - 0.0000 -
3519.10/3530.96 c 3531 2721220 99691 1 - 0.0000 -
3524.19/3536.02 c 3536 2723939 99776 1 - 0.0000 -
3529.18/3541.06 c 3541 2726231 99694 1 - 0.0000 -
3534.27/3546.11 c 3546 2728716 99678 1 - 0.0000 -
3539.24/3551.17 c 3551 2731403 99728 1 - 0.0000 -
3544.33/3556.22 c 3556 2733756 99675 1 - 0.0000 -
3549.31/3561.26 c 3561 2736357 99824 1 - 0.0000 -
3554.40/3566.31 c 3566 2738791 99740 1 - 0.0000 -
3559.39/3571.36 c 3571 2741285 99706 1 - 0.0000 -
3564.48/3576.42 c 3576 2743763 99834 1 - 0.0000 -
3569.46/3581.48 c 3581 2746001 99905 1 - 0.0000 -
3574.54/3586.53 c 3587 2748291 99846 1 - 0.0000 -
3579.53/3591.58 c 3592 2750735 99809 1 - 0.0000 -
3584.62/3596.63 c 3597 2753209 99794 1 - 0.0000 -
3586.31/3598.30 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.31/3598.30 c Total Time : 3598.3000
3586.31/3598.30 c solving : 3598.3000
3586.31/3598.30 c presolving : 0.0027 (included in solving)
3586.31/3598.30 c B&B Tree :
3586.31/3598.30 c nodes (total) : 1
3586.31/3598.30 c Solution :
3586.31/3598.30 c Solutions found : 0
3586.31/3598.30 c Primal Bound : -
3586.31/3598.30 c Dual Bound : +0.00000000000000e+00
3586.31/3598.30 c Gap : -
3586.31/3598.30 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 (54463 MiB free)
memory of node 1: 64510 MiB (61603 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464541-1722385803/watcher-4464541-1722385803 -o /tmp/evaluation-result-4464541-1722385803/solver-4464541-1722385803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722378594-29596 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464541-1722385803.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
Current StackSize limit: 8192 KiB
solver pid=34340, runsolver pid=34337
[startup+0.100086 s]*
/proc/loadavg: 4.13 4.15 4.13 5/265 34343
/proc/meminfo: memFree=118842076/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=107420 memory=22048 CPUtime=0.1 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 2819 0 0 0 10 0 0 0 20 0 3 0 5179605 109998080 5512 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 26855 5512 2982 3035 0 8984 0
[pid=34340/tid=34342] ppid=34337 vsize=107420 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 1486 0 0 0 9 0 0 0 20 0 3 0 5179606 109998080 5512 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=107420 memory=228556276070 CPUtime=0 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5179606 109998080 5512 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 22048 KiB
[startup+0.2056 s]*
/proc/loadavg: 4.13 4.15 4.13 5/265 34343
/proc/meminfo: memFree=118838908/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=107420 memory=25480 CPUtime=0.2 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 3703 0 0 0 20 0 0 0 20 0 3 0 5179605 109998080 6370 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 26855 6370 2998 3035 0 9652 0
[pid=34340/tid=34342] ppid=34337 vsize=107420 memory=664970838410264707 CPUtime=0.19 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 2370 0 0 0 19 0 0 0 20 0 3 0 5179606 109998080 6370 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=107420 memory=3712 CPUtime=0 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5179606 109998080 6370 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 25480 KiB
[startup+0.304913 s]*
/proc/loadavg: 4.13 4.15 4.13 5/264 34343
/proc/meminfo: memFree=120435560/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=107420 memory=25744 CPUtime=0.3 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 3824 0 0 0 30 0 0 0 20 0 3 0 5179605 109998080 6436 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 26855 6436 2998 3035 0 9652 0
[pid=34340/tid=34342] ppid=34337 vsize=107420 memory=-5155628003109661573 CPUtime=0.29 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 2491 0 0 0 29 0 0 0 20 0 3 0 5179606 109998080 6436 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=107420 memory=0 CPUtime=0 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5179606 109998080 6436 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 25744 KiB
[startup+0.70019 s]
/proc/loadavg: 4.13 4.15 4.13 5/264 34343
/proc/meminfo: memFree=120433068/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=107420 memory=26800 CPUtime=0.69 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 4053 0 0 0 69 0 0 0 20 0 3 0 5179605 109998080 6700 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 26855 6700 2998 3035 0 9832 0
[pid=34340/tid=34342] ppid=34337 vsize=107420 memory=0 CPUtime=0.68 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 2720 0 0 0 68 0 0 0 20 0 3 0 5179606 109998080 6700 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=107420 memory=0 CPUtime=0 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5179606 109998080 6700 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 26800 KiB
[startup+1.50019 s]
/proc/loadavg: 4.13 4.15 4.13 5/264 34343
/proc/meminfo: memFree=120432232/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=107420 memory=27256 CPUtime=1.48 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 6229 0 0 0 148 0 0 0 20 0 3 0 5179605 109998080 6814 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 26855 6814 2998 3035 0 9910 0
[pid=34340/tid=34342] ppid=34337 vsize=107420 memory=0 CPUtime=1.48 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 4881 0 0 0 148 0 0 0 20 0 3 0 5179606 109998080 6814 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=107420 memory=0 CPUtime=0 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5179606 109998080 6814 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 27256 KiB
[startup+3.10565 s]
/proc/loadavg: 4.13 4.15 4.13 5/266 34391
/proc/meminfo: memFree=126987316/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=107420 memory=29420 CPUtime=3.08 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 7094 0 0 0 308 0 0 0 20 0 3 0 5179605 109998080 7355 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 26855 7355 2998 3035 0 10451 0
[pid=34340/tid=34342] ppid=34337 vsize=107420 memory=2273 CPUtime=3.08 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 5743 0 0 0 308 0 0 0 20 0 3 0 5179606 109998080 7355 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=107420 memory=0 CPUtime=0 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5179606 109998080 7355 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 29420 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.14 4.13 5/266 34449
/proc/meminfo: memFree=126978324/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=107420 memory=33420 CPUtime=6.26 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 11329 0 0 0 625 1 0 0 20 0 3 0 5179605 109998080 8355 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 26855 8355 2998 3035 0 11794 0
[pid=34340/tid=34342] ppid=34337 vsize=107420 memory=30076 CPUtime=6.26 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 9956 0 0 0 625 1 0 0 20 0 3 0 5179606 109998080 8355 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=107420 memory=11592 CPUtime=0 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5179606 109998080 8355 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107420 KiB
Current children cumulated memory: 33420 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.14 4.13 5/266 34449
/proc/meminfo: memFree=126956416/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=108320 memory=34668 CPUtime=12.65 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 17735 0 0 0 1260 5 0 0 20 0 3 0 5179605 110919680 8667 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 27080 8667 3014 3035 0 12019 0
[pid=34340/tid=34342] ppid=34337 vsize=108320 memory=33488 CPUtime=12.63 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 16319 0 0 0 1259 4 0 0 20 0 3 0 5179606 110919680 8667 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=108320 memory=28860 CPUtime=0 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5179606 110919680 8667 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 108320 KiB
Current children cumulated memory: 34668 KiB
[startup+25.5003 s]
/proc/loadavg: 4.16 4.15 4.13 5/265 34450
/proc/meminfo: memFree=126918756/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=108320 memory=40448 CPUtime=25.39 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 27355 0 0 0 2526 13 0 0 20 0 3 0 5179605 110919680 10112 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 27080 10112 3014 3035 0 13422 0
[pid=34340/tid=34342] ppid=34337 vsize=108320 memory=39164 CPUtime=25.38 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 25883 0 0 0 2525 13 0 0 20 0 3 0 5179606 110919680 10112 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=108320 memory=-7451323800069693309 CPUtime=0 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5179606 110919680 10112 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 108320 KiB
Current children cumulated memory: 40448 KiB
[startup+51.1054 s]
/proc/loadavg: 4.17 4.15 4.13 5/265 34456
/proc/meminfo: memFree=126849216/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=109800 memory=45408 CPUtime=50.87 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 43451 0 0 0 5060 27 0 0 20 0 3 0 5179605 112435200 11352 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 27450 11352 3014 3035 0 14458 0
[pid=34340/tid=34342] ppid=34337 vsize=109800 memory=44392 CPUtime=50.85 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 41898 0 0 0 5059 26 0 0 20 0 3 0 5179606 112435200 11352 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=109800 memory=11592 CPUtime=0 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5179606 112435200 11352 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 109800 KiB
Current children cumulated memory: 45408 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/265 34464
/proc/meminfo: memFree=126629588/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=113020 memory=64424 CPUtime=101.81 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 68143 0 0 0 10129 52 0 0 20 0 3 0 5179605 115732480 16106 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 28255 16106 3014 3035 0 19228 0
[pid=34340/tid=34342] ppid=34337 vsize=113020 memory=11592 CPUtime=101.79 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 66514 0 0 0 10128 51 0 0 20 0 3 0 5179606 115732480 16106 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=113020 memory=33420 CPUtime=0 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5179606 115732480 16106 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 101.81 s
Current children cumulated vsize: 113020 KiB
Current children cumulated memory: 64424 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.15 4.13 5/266 34475
/proc/meminfo: memFree=126487244/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=119060 memory=84400 CPUtime=161.52 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 92897 0 0 0 16078 74 0 0 20 0 3 0 5179605 121917440 21100 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 29765 21100 3014 3035 0 24110 0
[pid=34340/tid=34342] ppid=34337 vsize=119060 memory=1900 CPUtime=161.5 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 91206 0 0 0 16076 74 0 0 20 0 3 0 5179606 121917440 21100 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=119060 memory=83428 CPUtime=0 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5179606 121917440 21100 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 161.52 s
Current children cumulated vsize: 119060 KiB
################
# More data... #
################
/proc/34340/statm: 78377 57765 3014 3035 0 60617 0
[pid=34340/tid=34342] ppid=34337 vsize=313508 memory=229172 CPUtime=3450.44 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 754960 0 0 0 344426 618 0 0 20 0 3 0 5179606 321032192 57765 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=313508 memory=230208 CPUtime=0.03 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 140 0 0 0 1 2 0 0 20 0 3 0 5179606 321032192 57765 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 3450.69 s
Current children cumulated vsize: 313508 KiB
Current children cumulated memory: 231060 KiB
[startup+3522.3 s]
/proc/loadavg: 4.50 4.21 4.12 5/266 36344
/proc/meminfo: memFree=126364260/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=314408 memory=232716 CPUtime=3510.52 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 760599 0 0 0 350418 634 0 0 20 0 3 0 5179605 321953792 58179 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 78602 58179 3014 3035 0 60842 0
[pid=34340/tid=34342] ppid=34337 vsize=314408 memory=231060 CPUtime=3510.27 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 757348 0 0 0 350401 626 0 0 20 0 3 0 5179606 321953792 58179 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=314408 memory=232684 CPUtime=0.03 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 5179606 321953792 58179 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 3510.52 s
Current children cumulated vsize: 314408 KiB
Current children cumulated memory: 232716 KiB
[startup+3582.3 s]
/proc/loadavg: 4.50 4.27 4.15 5/266 36354
/proc/meminfo: memFree=126334336/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=315432 memory=234264 CPUtime=3570.36 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 763077 0 0 0 356392 644 0 0 20 0 3 0 5179605 323002368 58566 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 78858 58566 3014 3035 0 61155 0
[pid=34340/tid=34342] ppid=34337 vsize=315432 memory=234264 CPUtime=3570.09 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 759797 0 0 0 356374 635 0 0 20 0 3 0 5179606 323002368 58566 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=315432 memory=11592 CPUtime=0.03 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 144 0 0 0 1 2 0 0 20 0 3 0 5179606 323002368 58566 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 3570.36 s
Current children cumulated vsize: 315432 KiB
Current children cumulated memory: 234264 KiB
[startup+3598.31 s]
# the end of solver process 34340 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.86 s, system=6.46939 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.50 4.27 4.15 5/266 36354
/proc/meminfo: memFree=126333024/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=315432 memory=234264 CPUtime=3572.06 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 763111 0 0 0 356562 644 0 0 20 0 3 0 5179605 323002368 58566 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 78858 58566 3014 3035 0 61155 0
[pid=34340/tid=34342] ppid=34337 vsize=315432 memory=7686721470247706567 CPUtime=3571.8 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 759831 0 0 0 356544 636 0 0 20 0 3 0 5179606 323002368 58566 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=315432 memory=-4050210904893408147 CPUtime=0.03 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 144 0 0 0 1 2 0 0 20 0 3 0 5179606 323002368 58566 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 3572.06 s
Current children cumulated vsize: 315432 KiB
Current children cumulated memory: 234264 KiB
[startup+3590.4 s]
/proc/loadavg: 4.46 4.27 4.15 5/266 36356
/proc/meminfo: memFree=126331488/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=315432 memory=234268 CPUtime=3578.44 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 763231 0 0 0 357199 645 0 0 20 0 3 0 5179605 323002368 58567 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 78858 58567 3014 3035 0 61155 0
[pid=34340/tid=34342] ppid=34337 vsize=315432 memory=234268 CPUtime=3578.17 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 759951 0 0 0 357181 636 0 0 20 0 3 0 5179606 323002368 58567 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=315432 memory=12976 CPUtime=0.03 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 144 0 0 0 1 2 0 0 20 0 3 0 5179606 323002368 58567 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 3578.44 s
Current children cumulated vsize: 315432 KiB
Current children cumulated memory: 234268 KiB
[startup+3593.6 s]
/proc/loadavg: 4.42 4.26 4.15 5/266 36357
/proc/meminfo: memFree=126328936/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=315432 memory=234268 CPUtime=3581.62 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 763273 0 0 0 357517 645 0 0 20 0 3 0 5179605 323002368 58567 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 78858 58567 3014 3035 0 61155 0
[pid=34340/tid=34342] ppid=34337 vsize=315432 memory=11592 CPUtime=3581.36 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) S 34337 34340 29584 0 -1 1077936192 759993 0 0 0 357499 637 0 0 20 0 3 0 5179606 323002368 58567 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=315432 memory=234268 CPUtime=0.03 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 144 0 0 0 1 2 0 0 20 0 3 0 5179606 323002368 58567 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 3581.62 s
Current children cumulated vsize: 315432 KiB
Current children cumulated memory: 234268 KiB
[startup+3596.8 s]
/proc/loadavg: 4.39 4.26 4.15 5/266 36358
/proc/meminfo: memFree=126326900/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=315432 memory=234268 CPUtime=3584.82 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 763316 0 0 0 357836 646 0 0 20 0 3 0 5179605 323002368 58567 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 78858 58567 3014 3035 0 61155 0
[pid=34340/tid=34342] ppid=34337 vsize=315432 memory=1900 CPUtime=3584.55 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 760036 0 0 0 357818 637 0 0 20 0 3 0 5179606 323002368 58567 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=315432 memory=234268 CPUtime=0.03 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 144 0 0 0 1 2 0 0 20 0 3 0 5179606 323002368 58567 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 3584.82 s
Current children cumulated vsize: 315432 KiB
Current children cumulated memory: 234268 KiB
[startup+3597.6 s]
/proc/loadavg: 4.39 4.26 4.15 5/267 36359
/proc/meminfo: memFree=126326820/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=315432 memory=234268 CPUtime=3585.62 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 763373 0 0 0 357916 646 0 0 20 0 3 0 5179605 323002368 58567 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 78858 58567 3014 3035 0 61269 0
[pid=34340/tid=34342] ppid=34337 vsize=315432 memory=11592 CPUtime=3585.35 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 760093 0 0 0 357898 637 0 0 20 0 3 0 5179606 323002368 58567 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=315432 memory=12468 CPUtime=0.03 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 144 0 0 0 1 2 0 0 20 0 3 0 5179606 323002368 58567 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 3585.62 s
Current children cumulated vsize: 315432 KiB
Current children cumulated memory: 234268 KiB
[startup+3598 s]*
/proc/loadavg: 4.39 4.26 4.15 5/267 36359
/proc/meminfo: memFree=126358988/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=315432 memory=234396 CPUtime=3586.02 cores=1,3
/proc/34340/stat : 34340 (fscip) R 34337 34340 29584 0 -1 1077936128 763422 0 0 0 357956 646 0 0 20 0 3 0 5179605 323002368 58599 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 78858 58599 3014 3035 0 61269 0
[pid=34340/tid=34342] ppid=34337 vsize=315432 memory=7686721470247706567 CPUtime=3585.75 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 760142 0 0 0 357938 637 0 0 20 0 3 0 5179606 323002368 58599 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=315432 memory=-5155633680935826750 CPUtime=0.03 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 144 0 0 0 1 2 0 0 20 0 3 0 5179606 323002368 58599 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 3586.02 s
Current children cumulated vsize: 315432 KiB
Current children cumulated memory: 234396 KiB
[startup+3598.2 s]
/proc/loadavg: 4.39 4.26 4.15 5/267 36359
/proc/meminfo: memFree=126358988/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=314408 memory=233372 CPUtime=3586.21 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 764790 0 0 0 357975 646 0 0 20 0 3 0 5179605 321953792 58343 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 78602 58343 3014 3035 0 61013 0
[pid=34340/tid=34342] ppid=34337 vsize=314408 memory=8076 CPUtime=3585.95 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 761506 0 0 0 357957 638 0 0 20 0 3 0 5179606 321953792 58343 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=314408 memory=2244 CPUtime=0.03 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 144 0 0 0 1 2 0 0 20 0 3 0 5179606 321953792 58343 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 3586.21 s
Current children cumulated vsize: 314408 KiB
Current children cumulated memory: 233372 KiB
[startup+3598.3 s]
/proc/loadavg: 4.39 4.26 4.15 5/267 36359
/proc/meminfo: memFree=126358988/131524600 swapFree=131071996/131071996
[pid=34340] ppid=34337 vsize=274920 memory=193884 CPUtime=3586.31 cores=1,3
/proc/34340/stat : 34340 (fscip) S 34337 34340 29584 0 -1 1077936128 765386 0 0 0 357985 646 0 0 20 0 3 0 5179605 281518080 48471 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
/proc/34340/statm: 68730 48471 3014 3035 0 51141 0
[pid=34340/tid=34342] ppid=34337 vsize=274920 memory=233740 CPUtime=3586.05 cores=1,3
/proc/34340/task/34342/stat : 34342 (fscip) R 34337 34340 29584 0 -1 4194368 762102 0 0 0 357967 638 0 0 20 0 3 0 5179606 281518080 48471 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
[pid=34340/tid=34343] ppid=34337 vsize=274920 memory=234268 CPUtime=0.03 cores=1,3
/proc/34340/task/34343/stat : 34343 (fscip) S 34337 34340 29584 0 -1 1077936192 144 0 0 0 1 2 0 0 20 0 3 0 5179606 281518080 48471 134679101440 4194304 16623229 140724151498624 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 28606464 140724151501846 140724151501962 140724151501962 140724151508976 0
Current children cumulated CPU time: 3586.31 s
Current children cumulated vsize: 274920 KiB
Current children cumulated memory: 193884 KiB
Child status: 0
Real time (s): 3598.31
CPU time (s): 3586.33
CPU user time (s): 3579.86
CPU system time (s): 6.46939
CPU usage (%): 99.6671
Max. virtual memory (cumulated for all children) (KiB): 315432
Max. memory (cumulated for all children) (KiB): 234396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.86
system time used= 6.46939
maximum resident set size= 234396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 765535
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= 10953
involuntary context switches= 2679
# summary of solver processes directly reported to runsolver:
# pid: 34340
# total CPU time (s): 3586.33
# total CPU user time (s): 3579.86
# total CPU system time (s): 6.46939
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11694 second user time and 17.3837 second system time
The end
Begin job on nodeC023 at 2024-07-31 02:30:03
IDJOB=4464541
IDBENCH=160175
IDSOLVER=3092
FILE ID=nodeC023/4464541-1722385803
RUNJOBID= nodeC023-1722378594-29596
SLURM_JOB_ID= 8249846
Free space on /tmp= 889932 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n25-d4-i2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464541-1722385803/watcher-4464541-1722385803 -o /tmp/evaluation-result-4464541-1722385803/solver-4464541-1722385803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722378594-29596 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464541-1722385803.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ce459d654692c78ea9ebe534277cd2e6
RANDOM SEED=1765878430
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 : 3677.002
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 : 3678.578
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.256
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 : 3668.273
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 : 3676.963
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 : 3680.723
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 : 3600.116
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 : 3604.150
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: 118853464 kB
MemAvailable: 119371652 kB
Buffers: 104556 kB
Cached: 1247516 kB
SwapCached: 0 kB
Active: 342516 kB
Inactive: 11832016 kB
Active(anon): 1552 kB
Inactive(anon): 10842264 kB
Active(file): 340964 kB
Inactive(file): 989752 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56472 kB
Writeback: 284 kB
AnonPages: 10822584 kB
Mapped: 124708 kB
Shmem: 21336 kB
KReclaimable: 54236 kB
Slab: 135144 kB
SReclaimable: 54236 kB
SUnreclaim: 80908 kB
KernelStack: 4224 kB
PageTables: 30696 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 8017448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9952 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4687872 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= 889972 MiB
End job on nodeC023 at 2024-07-31 03:30:02