0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22396928, getVmSize() = 22396928, SCIPgetMemUsed() = 757289, SCIPgetMemTotal() = 904433, 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 = 15441920, getVmSize() = 23928832, SCIPgetMemUsed() = 889008, SCIPgetMemTotal() = 1450720, 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-4445060-1721318250
0.00/0.00 c Variables : 82 (82 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 82 (82 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 2
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.00 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.00 c Nodes Active
0.00/0.00 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
4.97/5.08 c 5 15968 1410 1 - 0.0000 -
10.06/10.13 c 10 34236 3134 1 - 0.0000 -
15.04/15.18 c 15 55977 4797 1 - 0.0000 -
20.12/20.22 c 20 74561 6537 1 - 0.0000 -
25.10/25.27 c 25 91906 8159 1 - 0.0000 -
30.19/30.32 c 30 110069 9392 1 - 0.0000 -
35.17/35.37 c 35 128124 10654 1 - 0.0000 -
40.25/40.42 c 40 146226 11698 1 - 0.0000 -
45.23/45.47 c 45 165145 12907 1 - 0.0000 -
50.32/50.52 c 51 183523 13973 1 - 0.0000 -
55.31/55.57 c 56 201166 15068 1 - 0.0000 -
60.38/60.62 c 61 220268 15962 1 - 0.0000 -
65.37/65.66 c 66 237460 16732 1 - 0.0000 -
70.45/70.71 c 71 255866 17616 1 - 0.0000 -
75.44/75.76 c 76 274245 18289 1 - 0.0000 -
80.52/80.81 c 81 292766 19236 1 - 0.0000 -
85.50/85.86 c 86 311627 20029 1 - 0.0000 -
90.58/90.91 c 91 331401 20771 1 - 0.0000 -
95.56/95.96 c 96 350449 21627 1 - 0.0000 -
100.66/101.01 c 101 369574 22180 1 - 0.0000 -
105.64/106.06 c 106 388243 23093 1 - 0.0000 -
110.73/111.11 c 111 407226 23714 1 - 0.0000 -
115.71/116.16 c 116 426008 24302 1 - 0.0000 -
120.79/121.21 c 121 445276 24948 1 - 0.0000 -
125.78/126.26 c 126 463367 25747 1 - 0.0000 -
130.86/131.31 c 131 481518 26402 1 - 0.0000 -
135.84/136.36 c 136 500035 27267 1 - 0.0000 -
140.93/141.41 c 141 518118 27948 1 - 0.0000 -
145.91/146.46 c 146 535943 28617 1 - 0.0000 -
150.98/151.51 c 152 554944 30370 1 - 0.0000 -
155.97/156.56 c 157 574596 31806 1 - 0.0000 -
161.05/161.61 c 162 593608 33358 1 - 0.0000 -
166.03/166.66 c 167 613034 34674 1 - 0.0000 -
171.11/171.71 c 172 631904 36298 1 - 0.0000 -
176.10/176.76 c 177 650749 37599 1 - 0.0000 -
181.17/181.81 c 182 669024 38721 1 - 0.0000 -
186.16/186.86 c 187 688323 39948 1 - 0.0000 -
191.24/191.91 c 192 707815 41024 1 - 0.0000 -
196.22/196.96 c 197 726136 41895 1 - 0.0000 -
201.31/202.01 c 202 744378 42721 1 - 0.0000 -
206.29/207.06 c 207 762776 43461 1 - 0.0000 -
211.37/212.11 c 212 781292 44421 1 - 0.0000 -
216.35/217.16 c 217 799077 45188 1 - 0.0000 -
221.43/222.21 c 222 817093 46184 1 - 0.0000 -
226.41/227.26 c 227 835224 46937 1 - 0.0000 -
231.49/232.31 c 232 853208 47731 1 - 0.0000 -
236.47/237.36 c 237 871297 48658 1 - 0.0000 -
241.55/242.41 c 242 889253 49781 1 - 0.0000 -
246.54/247.46 c 247 907343 50651 1 - 0.0000 -
251.62/252.51 c 253 926011 51567 1 - 0.0000 -
256.59/257.55 c 258 943831 52185 1 - 0.0000 -
261.68/262.60 c 263 962484 52986 1 - 0.0000 -
266.66/267.65 c 268 981676 53746 1 - 0.0000 -
271.73/272.70 c 273 999505 54493 1 - 0.0000 -
276.71/277.75 c 278 1017319 55441 1 - 0.0000 -
281.79/282.80 c 283 1034700 56206 1 - 0.0000 -
286.78/287.85 c 288 1053468 57040 1 - 0.0000 -
291.85/292.90 c 293 1071860 57626 1 - 0.0000 -
296.84/297.95 c 298 1091007 58445 1 - 0.0000 -
301.92/303.00 c 303 1110426 59714 1 - 0.0000 -
306.90/308.05 c 308 1127645 60519 1 - 0.0000 -
311.98/313.10 c 313 1146539 61348 1 - 0.0000 -
316.96/318.15 c 318 1164394 62023 1 - 0.0000 -
322.03/323.20 c 323 1182920 62911 1 - 0.0000 -
327.02/328.25 c 328 1201510 63795 1 - 0.0000 -
332.10/333.30 c 333 1219887 64708 1 - 0.0000 -
337.07/338.35 c 338 1237053 65598 1 - 0.0000 -
342.16/343.40 c 343 1255435 66476 1 - 0.0000 -
347.14/348.45 c 348 1274149 67278 1 - 0.0000 -
352.21/353.50 c 354 1293337 67955 1 - 0.0000 -
357.19/358.55 c 359 1310649 68715 1 - 0.0000 -
362.28/363.60 c 364 1329020 69422 1 - 0.0000 -
367.26/368.65 c 369 1347633 70001 1 - 0.0000 -
372.35/373.70 c 374 1365824 70488 1 - 0.0000 -
377.32/378.75 c 379 1384612 71072 1 - 0.0000 -
382.40/383.80 c 384 1402742 71610 1 - 0.0000 -
387.38/388.85 c 389 1420399 72207 1 - 0.0000 -
392.46/393.90 c 394 1438527 72895 1 - 0.0000 -
397.45/398.95 c 399 1457371 74159 1 - 0.0000 -
402.53/404.00 c 404 1476326 75118 1 - 0.0000 -
407.51/409.05 c 409 1494695 75925 1 - 0.0000 -
412.59/414.10 c 414 1512733 76595 1 - 0.0000 -
417.57/419.15 c 419 1530188 77350 1 - 0.0000 -
422.65/424.20 c 424 1548518 77810 1 - 0.0000 -
427.62/429.25 c 429 1566532 78404 1 - 0.0000 -
432.70/434.30 c 434 1584237 79443 1 - 0.0000 -
437.69/439.35 c 439 1602512 80254 1 - 0.0000 -
442.77/444.40 c 444 1620535 80877 1 - 0.0000 -
447.75/449.45 c 449 1638630 81512 1 - 0.0000 -
452.83/454.50 c 455 1656417 82201 1 - 0.0000 -
457.81/459.55 c 460 1674268 83308 1 - 0.0000 -
462.89/464.60 c 465 1692011 84281 1 - 0.0000 -
467.87/469.65 c 470 1709915 85147 1 - 0.0000 -
472.95/474.70 c 475 1728220 85940 1 - 0.0000 -
477.93/479.75 c 480 1745361 86667 1 - 0.0000 -
483.01/484.80 c 485 1763312 87990 1 - 0.0000 -
487.99/489.85 c 490 1782559 89545 1 - 0.0000 -
493.07/494.90 c 495 1801894 90978 1 - 0.0000 -
498.05/499.95 c 500 1820356 92036 1 - 0.0000 -
503.13/505.00 c 505 1838784 93224 1 - 0.0000 -
508.11/510.05 c 510 1858507 94291 1 - 0.0000 -
513.19/515.10 c 515 1876896 95304 1 - 0.0000 -
518.17/520.15 c 520 1895099 96375 1 - 0.0000 -
523.25/525.20 c 525 1914088 97534 1 - 0.0000 -
528.23/530.25 c 530 1932718 98728 1 - 0.0000 -
533.31/535.30 c 535 1950483 99635 1 - 0.0000 -
538.28/540.35 c 540 1969642 100768 1 - 0.0000 -
543.37/545.40 c 545 1988793 101705 1 - 0.0000 -
548.34/550.45 c 550 2006872 102650 1 - 0.0000 -
553.43/555.50 c 556 2025310 103510 1 - 0.0000 -
558.41/560.55 c 561 2044312 104442 1 - 0.0000 -
563.49/565.60 c 566 2063453 105453 1 - 0.0000 -
568.47/570.65 c 571 2082339 106283 1 - 0.0000 -
573.56/575.70 c 576 2100079 107173 1 - 0.0000 -
578.53/580.75 c 581 2118587 108243 1 - 0.0000 -
583.61/585.80 c 586 2136549 109101 1 - 0.0000 -
588.59/590.85 c 591 2154782 110090 1 - 0.0000 -
593.67/595.90 c 596 2172941 111043 1 - 0.0000 -
598.65/600.95 c 601 2191264 111914 1 - 0.0000 -
603.74/606.00 c 606 2210064 112664 1 - 0.0000 -
608.72/611.05 c 611 2228685 113581 1 - 0.0000 -
613.79/616.10 c 616 2247618 114712 1 - 0.0000 -
618.78/621.15 c 621 2266472 115846 1 - 0.0000 -
623.85/626.20 c 626 2285373 116781 1 - 0.0000 -
628.83/631.25 c 631 2304141 117855 1 - 0.0000 -
633.92/636.30 c 636 2322415 118715 1 - 0.0000 -
638.90/641.35 c 641 2340158 119838 1 - 0.0000 -
643.97/646.40 c 646 2358895 121133 1 - 0.0000 -
648.96/651.45 c 651 2377004 122130 1 - 0.0000 -
654.04/656.50 c 657 2395460 123236 1 - 0.0000 -
659.02/661.55 c 662 2414041 124205 1 - 0.0000 -
664.10/666.61 c 667 2432197 125131 1 - 0.0000 -
669.08/671.65 c 672 2449997 126041 1 - 0.0000 -
674.16/676.70 c 677 2468413 126923 1 - 0.0000 -
679.14/681.75 c 682 2486225 127925 1 - 0.0000 -
684.22/686.80 c 687 2504460 128902 1 - 0.0000 -
689.20/691.85 c 692 2523764 129636 1 - 0.0000 -
694.28/696.90 c 697 2542308 130590 1 - 0.0000 -
699.25/701.95 c 702 2560464 131866 1 - 0.0000 -
704.35/707.00 c 707 2579176 133278 1 - 0.0000 -
709.33/712.05 c 712 2597947 134463 1 - 0.0000 -
714.40/717.10 c 717 2616287 135713 1 - 0.0000 -
719.38/722.15 c 722 2634409 136815 1 - 0.0000 -
724.46/727.20 c 727 2651931 137861 1 - 0.0000 -
729.44/732.25 c 732 2669738 138477 1 - 0.0000 -
734.52/737.30 c 737 2687405 139218 1 - 0.0000 -
739.50/742.35 c 742 2706103 139934 1 - 0.0000 -
744.58/747.40 c 747 2724837 140632 1 - 0.0000 -
749.57/752.45 c 752 2744158 141802 1 - 0.0000 -
754.64/757.50 c 758 2761736 142668 1 - 0.0000 -
759.63/762.55 c 763 2779693 143237 1 - 0.0000 -
764.70/767.60 c 768 2798435 144497 1 - 0.0000 -
769.68/772.65 c 773 2816591 145365 1 - 0.0000 -
774.76/777.70 c 778 2834246 146190 1 - 0.0000 -
779.74/782.75 c 783 2852458 146806 1 - 0.0000 -
784.82/787.80 c 788 2870967 147903 1 - 0.0000 -
789.80/792.85 c 793 2888835 148911 1 - 0.0000 -
794.88/797.90 c 798 2907115 150283 1 - 0.0000 -
799.86/802.95 c 803 2925372 151292 1 - 0.0000 -
804.94/808.00 c 808 2943010 152282 1 - 0.0000 -
809.92/813.05 c 813 2961421 153051 1 - 0.0000 -
815.01/818.10 c 818 2980082 153586 1 - 0.0000 -
819.98/823.15 c 823 2997395 154251 1 - 0.0000 -
825.06/828.20 c 828 3014906 154964 1 - 0.0000 -
830.04/833.25 c 833 3032258 155988 1 - 0.0000 -
835.13/838.30 c 838 3050781 157217 1 - 0.0000 -
840.11/843.35 c 843 3069449 158159 1 - 0.0000 -
845.19/848.40 c 848 3086333 159243 1 - 0.0000 -
850.18/853.45 c 853 3103911 160165 1 - 0.0000 -
855.25/858.51 c 859 3121371 161017 1 - 0.0000 -
860.24/863.56 c 864 3139175 161879 1 - 0.0000 -
865.32/868.61 c 869 3156490 162602 1 - 0.0000 -
870.31/873.66 c 874 3173553 163375 1 - 0.0000 -
875.39/878.71 c 879 3191181 164373 1 - 0.0000 -
880.37/883.76 c 884 3209876 165126 1 - 0.0000 -
885.45/888.81 c 889 3228609 165867 1 - 0.0000 -
890.44/893.86 c 894 3247434 166463 1 - 0.0000 -
895.51/898.91 c 899 3265783 167064 1 - 0.0000 -
900.49/903.96 c 904 3284311 167628 1 - 0.0000 -
905.58/909.01 c 909 3303193 168236 1 - 0.0000 -
910.56/914.06 c 914 3321684 168791 1 - 0.0000 -
915.64/919.11 c 919 3340234 169319 1 - 0.0000 -
920.62/924.16 c 924 3359366 169973 1 - 0.0000 -
925.70/929.21 c 929 3378519 170750 1 - 0.0000 -
930.68/934.26 c 934 3396193 171352 1 - 0.0000 -
935.76/939.31 c 939 3415013 171976 1 - 0.0000 -
940.74/944.36 c 944 3434397 172608 1 - 0.0000 -
945.82/949.41 c 949 3452912 173153 1 - 0.0000 -
950.80/954.46 c 954 3470417 174030 1 - 0.0000 -
955.88/959.51 c 960 3489046 174968 1 - 0.0000 -
960.86/964.56 c 965 3507220 175598 1 - 0.0000 -
965.94/969.61 c 970 3524997 176115 1 - 0.0000 -
970.92/974.66 c 975 3545057 176955 1 - 0.0000 -
976.00/979.71 c 980 3565632 178008 1 - 0.0000 -
980.98/984.76 c 985 3584574 178870 1 - 0.0000 -
986.06/989.81 c 990 3602063 179565 1 - 0.0000 -
991.04/994.86 c 995 3619862 180316 1 - 0.0000 -
996.12/999.91 c 1000 3637019 181049 1 - 0.0000 -
1001.10/1004.96 c 1005 3654723 181759 1 - 0.0000 -
1006.18/1010.01 c 1010 3672936 182680 1 - 0.0000 -
1011.16/1015.06 c 1015 3691097 183723 1 - 0.0000 -
1016.25/1020.11 c 1020 3708692 184914 1 - 0.0000 -
1021.23/1025.15 c 1025 3726976 185836 1 - 0.0000 -
1026.31/1030.20 c 1030 3744824 186554 1 - 0.0000 -
1031.28/1035.25 c 1035 3761723 187321 1 - 0.0000 -
1036.36/1040.30 c 1040 3779084 188070 1 - 0.0000 -
1041.35/1045.35 c 1045 3797196 188648 1 - 0.0000 -
1046.42/1050.40 c 1050 3815090 189338 1 - 0.0000 -
1051.40/1055.45 c 1055 3833701 189952 1 - 0.0000 -
1056.48/1060.50 c 1061 3852733 190728 1 - 0.0000 -
1061.47/1065.55 c 1066 3870765 191674 1 - 0.0000 -
1066.55/1070.60 c 1071 3888211 192757 1 - 0.0000 -
1071.52/1075.65 c 1076 3905439 193821 1 - 0.0000 -
1076.60/1080.70 c 1081 3923390 194448 1 - 0.0000 -
1081.58/1085.75 c 1086 3941467 195067 1 - 0.0000 -
1086.66/1090.80 c 1091 3960099 195963 1 - 0.0000 -
1091.64/1095.85 c 1096 3978474 196758 1 - 0.0000 -
1096.72/1100.90 c 1101 3998541 198167 1 - 0.0000 -
1101.71/1105.95 c 1106 4016454 198866 1 - 0.0000 -
1106.79/1111.00 c 1111 4033631 199517 1 - 0.0000 -
1111.77/1116.05 c 1116 4051177 200359 1 - 0.0000 -
1116.85/1121.10 c 1121 4068698 201104 1 - 0.0000 -
1121.83/1126.15 c 1126 4087479 202229 1 - 0.0000 -
1126.90/1131.20 c 1131 4105152 203264 1 - 0.0000 -
1131.89/1136.25 c 1136 4123567 204037 1 - 0.0000 -
1136.97/1141.30 c 1141 4141843 205015 1 - 0.0000 -
1141.95/1146.35 c 1146 4160438 205926 1 - 0.0000 -
1147.03/1151.40 c 1151 4179627 206389 1 - 0.0000 -
1152.01/1156.45 c 1156 4197970 206930 1 - 0.0000 -
1157.09/1161.50 c 1162 4215489 207715 1 - 0.0000 -
1162.07/1166.55 c 1167 4233139 209051 1 - 0.0000 -
1167.15/1171.60 c 1172 4251860 209990 1 - 0.0000 -
1172.13/1176.65 c 1177 4269389 210657 1 - 0.0000 -
1177.21/1181.70 c 1182 4287339 212053 1 - 0.0000 -
1182.19/1186.75 c 1187 4306782 212808 1 - 0.0000 -
1187.27/1191.80 c 1192 4324367 213677 1 - 0.0000 -
1192.26/1196.85 c 1197 4342546 214590 1 - 0.0000 -
1197.33/1201.90 c 1202 4360604 215666 1 - 0.0000 -
1202.31/1206.95 c 1207 4378853 216467 1 - 0.0000 -
1207.40/1212.00 c 1212 4397117 217531 1 - 0.0000 -
1212.37/1217.05 c 1217 4414682 218647 1 - 0.0000 -
1217.46/1222.10 c 1222 4433881 219590 1 - 0.0000 -
1222.44/1227.15 c 1227 4452245 220410 1 - 0.0000 -
1227.52/1232.20 c 1232 4470430 221289 1 - 0.0000 -
1232.49/1237.25 c 1237 4489025 222362 1 - 0.0000 -
1237.58/1242.30 c 1242 4507108 223123 1 - 0.0000 -
1242.55/1247.35 c 1247 4525387 223882 1 - 0.0000 -
1247.64/1252.40 c 1252 4542666 224555 1 - 0.0000 -
1252.61/1257.45 c 1257 4559541 225188 1 - 0.0000 -
1257.70/1262.50 c 1263 4577449 225812 1 - 0.0000 -
1262.67/1267.55 c 1268 4595772 226419 1 - 0.0000 -
1267.76/1272.60 c 1273 4612859 227176 1 - 0.0000 -
1272.74/1277.66 c 1278 4630931 228002 1 - 0.0000 -
1277.82/1282.70 c 1283 4649992 228961 1 - 0.0000 -
1282.80/1287.75 c 1288 4667362 229819 1 - 0.0000 -
1287.88/1292.80 c 1293 4685015 230434 1 - 0.0000 -
1292.86/1297.85 c 1298 4702734 231035 1 - 0.0000 -
1297.94/1302.90 c 1303 4720547 232052 1 - 0.0000 -
1302.92/1307.95 c 1308 4738861 233112 1 - 0.0000 -
1308.01/1313.00 c 1313 4757352 233927 1 - 0.0000 -
1312.98/1318.05 c 1318 4775640 234937 1 - 0.0000 -
1318.06/1323.10 c 1323 4792368 235673 1 - 0.0000 -
1323.04/1328.15 c 1328 4809596 236591 1 - 0.0000 -
1328.12/1333.20 c 1333 4827372 237277 1 - 0.0000 -
1333.10/1338.25 c 1338 4845157 238214 1 - 0.0000 -
1338.18/1343.30 c 1343 4862716 238845 1 - 0.0000 -
1343.16/1348.35 c 1348 4880635 239542 1 - 0.0000 -
1348.25/1353.40 c 1353 4897871 240296 1 - 0.0000 -
1353.23/1358.45 c 1358 4915832 241063 1 - 0.0000 -
1358.31/1363.50 c 1364 4933358 241635 1 - 0.0000 -
1363.28/1368.55 c 1369 4950530 242157 1 - 0.0000 -
1368.37/1373.60 c 1374 4970407 242916 1 - 0.0000 -
1373.34/1378.65 c 1379 4989120 243571 1 - 0.0000 -
1378.43/1383.70 c 1384 5005976 244111 1 - 0.0000 -
1383.41/1388.75 c 1389 5023277 244950 1 - 0.0000 -
1388.49/1393.80 c 1394 5040673 245750 1 - 0.0000 -
1393.47/1398.85 c 1399 5057831 246470 1 - 0.0000 -
1398.55/1403.90 c 1404 5076370 247247 1 - 0.0000 -
1403.54/1408.95 c 1409 5094445 248156 1 - 0.0000 -
1408.62/1414.00 c 1414 5113412 249165 1 - 0.0000 -
1413.60/1419.05 c 1419 5132079 250942 1 - 0.0000 -
1418.68/1424.10 c 1424 5149976 251991 1 - 0.0000 -
1423.66/1429.15 c 1429 5168132 252969 1 - 0.0000 -
1428.73/1434.20 c 1434 5185563 253616 1 - 0.0000 -
1433.72/1439.25 c 1439 5203221 254138 1 - 0.0000 -
1438.80/1444.30 c 1444 5221438 254707 1 - 0.0000 -
1443.77/1449.35 c 1449 5238608 255541 1 - 0.0000 -
1448.86/1454.40 c 1454 5255940 256241 1 - 0.0000 -
1453.84/1459.45 c 1459 5273661 257054 1 - 0.0000 -
1458.92/1464.50 c 1465 5291190 257627 1 - 0.0000 -
1463.90/1469.55 c 1470 5308667 258328 1 - 0.0000 -
1468.97/1474.60 c 1475 5327065 259473 1 - 0.0000 -
1473.96/1479.65 c 1480 5344052 260792 1 - 0.0000 -
1479.04/1484.70 c 1485 5360936 261618 1 - 0.0000 -
1484.01/1489.75 c 1490 5378570 262246 1 - 0.0000 -
1489.10/1494.80 c 1495 5395909 262827 1 - 0.0000 -
1494.07/1499.85 c 1500 5412652 263664 1 - 0.0000 -
1499.16/1504.90 c 1505 5430164 264476 1 - 0.0000 -
1504.14/1509.95 c 1510 5447011 265101 1 - 0.0000 -
1509.22/1515.04 c 1515 5464103 265857 1 - 0.0000 -
1514.20/1520.09 c 1520 5481927 266741 1 - 0.0000 -
1519.28/1525.14 c 1525 5500035 267309 1 - 0.0000 -
1524.26/1530.19 c 1530 5517399 267869 1 - 0.0000 -
1529.33/1535.24 c 1535 5535851 268825 1 - 0.0000 -
1534.32/1540.29 c 1540 5553578 269596 1 - 0.0000 -
1539.40/1545.34 c 1545 5570028 270344 1 - 0.0000 -
1544.38/1550.39 c 1550 5588238 271000 1 - 0.0000 -
1549.46/1555.44 c 1555 5605327 271537 1 - 0.0000 -
1554.44/1560.49 c 1560 5624017 272247 1 - 0.0000 -
1559.52/1565.54 c 1566 5640943 273119 1 - 0.0000 -
1564.50/1570.59 c 1571 5658659 273841 1 - 0.0000 -
1569.58/1575.64 c 1576 5676365 274571 1 - 0.0000 -
1574.57/1580.69 c 1581 5694223 275563 1 - 0.0000 -
1579.65/1585.74 c 1586 5714163 276501 1 - 0.0000 -
1584.63/1590.79 c 1591 5733353 277295 1 - 0.0000 -
1589.71/1595.84 c 1596 5751034 278198 1 - 0.0000 -
1594.69/1600.89 c 1601 5768676 279051 1 - 0.0000 -
1599.77/1605.94 c 1606 5785377 279782 1 - 0.0000 -
1604.75/1610.99 c 1611 5802970 280801 1 - 0.0000 -
1609.84/1616.04 c 1616 5821287 281544 1 - 0.0000 -
1614.81/1621.09 c 1621 5839060 282303 1 - 0.0000 -
1619.89/1626.14 c 1626 5857988 283481 1 - 0.0000 -
1624.87/1631.19 c 1631 5876881 284685 1 - 0.0000 -
1629.95/1636.24 c 1636 5894405 285457 1 - 0.0000 -
1634.93/1641.29 c 1641 5911902 285984 1 - 0.0000 -
1640.01/1646.34 c 1646 5927911 286567 1 - 0.0000 -
1644.99/1651.39 c 1651 5945468 287624 1 - 0.0000 -
1650.07/1656.44 c 1656 5962741 288307 1 - 0.0000 -
1655.05/1661.49 c 1662 5979988 288878 1 - 0.0000 -
1660.13/1666.54 c 1667 5996972 289506 1 - 0.0000 -
1665.10/1671.59 c 1672 6014439 290381 1 - 0.0000 -
1670.19/1676.64 c 1677 6032032 291240 1 - 0.0000 -
1675.17/1681.69 c 1682 6049287 292153 1 - 0.0000 -
1680.25/1686.75 c 1687 6067316 293198 1 - 0.0000 -
1685.33/1691.80 c 1692 6085227 294263 1 - 0.0000 -
1690.31/1696.85 c 1697 6102140 295278 1 - 0.0000 -
1695.39/1701.90 c 1702 6118958 296396 1 - 0.0000 -
1700.38/1706.95 c 1707 6136158 297204 1 - 0.0000 -
1705.45/1712.00 c 1712 6153886 298071 1 - 0.0000 -
1710.43/1717.05 c 1717 6170975 298724 1 - 0.0000 -
1715.52/1722.10 c 1722 6188333 299756 1 - 0.0000 -
1720.50/1727.15 c 1727 6204735 300414 1 - 0.0000 -
1725.57/1732.20 c 1732 6223209 301214 1 - 0.0000 -
1730.55/1737.25 c 1737 6240666 301901 1 - 0.0000 -
1735.63/1742.30 c 1742 6258959 302594 1 - 0.0000 -
1740.61/1747.35 c 1747 6277711 303134 1 - 0.0000 -
1745.69/1752.40 c 1752 6296154 303709 1 - 0.0000 -
1750.67/1757.45 c 1757 6313633 304270 1 - 0.0000 -
1755.75/1762.50 c 1763 6331549 304916 1 - 0.0000 -
1760.73/1767.55 c 1768 6349021 305586 1 - 0.0000 -
1765.81/1772.60 c 1773 6366036 306223 1 - 0.0000 -
1770.80/1777.65 c 1778 6383867 306962 1 - 0.0000 -
1775.87/1782.70 c 1783 6401428 307595 1 - 0.0000 -
1780.86/1787.75 c 1788 6419410 308805 1 - 0.0000 -
1785.93/1792.83 c 1793 6438724 311009 1 - 0.0000 -
1790.92/1797.88 c 1798 6457326 312211 1 - 0.0000 -
1796.00/1802.93 c 1803 6480171 313616 1 - 0.0000 -
1800.97/1807.98 c 1808 6500116 314847 1 - 0.0000 -
1806.06/1813.03 c 1813 6518470 316377 1 - 0.0000 -
1811.03/1818.08 c 1818 6536083 317700 1 - 0.0000 -
1816.12/1823.13 c 1823 6554289 318806 1 - 0.0000 -
1821.10/1828.18 c 1828 6572138 319655 1 - 0.0000 -
1826.18/1833.23 c 1833 6591238 320109 1 - 0.0000 -
1831.16/1838.28 c 1838 6608960 320775 1 - 0.0000 -
1836.23/1843.33 c 1843 6626379 321376 1 - 0.0000 -
1841.22/1848.38 c 1848 6643910 321961 1 - 0.0000 -
1846.29/1853.43 c 1853 6662021 322436 1 - 0.0000 -
1851.27/1858.48 c 1858 6679640 323017 1 - 0.0000 -
1856.35/1863.53 c 1864 6696968 323907 1 - 0.0000 -
1861.33/1868.58 c 1869 6714087 324652 1 - 0.0000 -
1866.40/1873.63 c 1874 6731600 325541 1 - 0.0000 -
1871.39/1878.68 c 1879 6748657 326248 1 - 0.0000 -
1876.46/1883.73 c 1884 6765904 327155 1 - 0.0000 -
1881.45/1888.78 c 1889 6784853 327978 1 - 0.0000 -
1886.54/1893.83 c 1894 6802937 328598 1 - 0.0000 -
1891.51/1898.88 c 1899 6820181 329432 1 - 0.0000 -
1896.60/1903.93 c 1904 6837568 330105 1 - 0.0000 -
1901.59/1908.98 c 1909 6854890 331283 1 - 0.0000 -
1906.67/1914.03 c 1914 6872307 331998 1 - 0.0000 -
1911.66/1919.08 c 1919 6890858 332887 1 - 0.0000 -
1916.74/1924.13 c 1924 6911527 333884 1 - 0.0000 -
1921.73/1929.18 c 1929 6935203 334632 1 - 0.0000 -
1926.80/1934.23 c 1934 6957236 335483 1 - 0.0000 -
1931.79/1939.28 c 1939 6977563 336126 1 - 0.0000 -
1936.87/1944.33 c 1944 6995160 336745 1 - 0.0000 -
1941.85/1949.38 c 1949 7012934 337429 1 - 0.0000 -
1946.94/1954.43 c 1954 7029501 338204 1 - 0.0000 -
1951.91/1959.48 c 1959 7047264 338923 1 - 0.0000 -
1956.99/1964.53 c 1965 7064188 339593 1 - 0.0000 -
1961.98/1969.58 c 1970 7082099 340060 1 - 0.0000 -
1967.07/1974.63 c 1975 7099599 340378 1 - 0.0000 -
1972.05/1979.68 c 1980 7117462 340841 1 - 0.0000 -
1977.13/1984.73 c 1985 7134574 341507 1 - 0.0000 -
1982.11/1989.78 c 1990 7151967 341974 1 - 0.0000 -
1987.20/1994.83 c 1995 7169784 343013 1 - 0.0000 -
1992.18/1999.88 c 2000 7188172 344541 1 - 0.0000 -
1997.26/2004.93 c 2005 7206084 345847 1 - 0.0000 -
2002.24/2009.98 c 2010 7223374 346965 1 - 0.0000 -
2007.33/2015.03 c 2015 7240732 347953 1 - 0.0000 -
2012.31/2020.08 c 2020 7258701 348948 1 - 0.0000 -
2017.40/2025.13 c 2025 7277000 350003 1 - 0.0000 -
2022.38/2030.18 c 2030 7295485 351174 1 - 0.0000 -
2027.46/2035.23 c 2035 7312999 352282 1 - 0.0000 -
2032.44/2040.28 c 2040 7330390 353537 1 - 0.0000 -
2037.52/2045.33 c 2045 7348808 354575 1 - 0.0000 -
2042.51/2050.37 c 2050 7365945 355604 1 - 0.0000 -
2047.59/2055.42 c 2055 7384662 357035 1 - 0.0000 -
2052.57/2060.47 c 2060 7401971 358284 1 - 0.0000 -
2057.65/2065.52 c 2066 7419279 359268 1 - 0.0000 -
2062.63/2070.57 c 2071 7436936 360441 1 - 0.0000 -
2067.70/2075.62 c 2076 7453901 361448 1 - 0.0000 -
2072.68/2080.67 c 2081 7472930 362567 1 - 0.0000 -
2077.76/2085.72 c 2086 7491367 363782 1 - 0.0000 -
2082.75/2090.79 c 2091 7509016 364853 1 - 0.0000 -
2087.83/2095.84 c 2096 7526676 365825 1 - 0.0000 -
2092.80/2100.89 c 2101 7544400 367153 1 - 0.0000 -
2097.88/2105.94 c 2106 7562107 368294 1 - 0.0000 -
2102.86/2110.99 c 2111 7579682 369329 1 - 0.0000 -
2107.95/2116.04 c 2116 7597711 370306 1 - 0.0000 -
2112.92/2121.09 c 2121 7615276 371161 1 - 0.0000 -
2118.00/2126.14 c 2126 7633234 372379 1 - 0.0000 -
2122.98/2131.19 c 2131 7650733 373204 1 - 0.0000 -
2128.06/2136.24 c 2136 7667784 373931 1 - 0.0000 -
2133.04/2141.29 c 2141 7685737 374804 1 - 0.0000 -
2138.12/2146.34 c 2146 7702743 375560 1 - 0.0000 -
2143.10/2151.39 c 2151 7720353 376584 1 - 0.0000 -
2148.17/2156.44 c 2156 7737275 377746 1 - 0.0000 -
2153.16/2161.49 c 2162 7755340 378985 1 - 0.0000 -
2158.23/2166.54 c 2167 7773819 380228 1 - 0.0000 -
2163.21/2171.59 c 2172 7791490 381381 1 - 0.0000 -
2168.29/2176.64 c 2177 7809395 382438 1 - 0.0000 -
2173.28/2181.69 c 2182 7826467 383520 1 - 0.0000 -
2178.35/2186.74 c 2187 7843405 384614 1 - 0.0000 -
2183.43/2191.81 c 2192 7862826 385699 1 - 0.0000 -
2188.41/2196.86 c 2197 7880337 386682 1 - 0.0000 -
2193.49/2201.91 c 2202 7898545 387658 1 - 0.0000 -
2198.48/2206.96 c 2207 7915922 388471 1 - 0.0000 -
2203.56/2212.01 c 2212 7933014 389303 1 - 0.0000 -
2208.53/2217.06 c 2217 7950820 390061 1 - 0.0000 -
2213.61/2222.11 c 2222 7968150 390969 1 - 0.0000 -
2218.59/2227.16 c 2227 7985019 391894 1 - 0.0000 -
2223.67/2232.21 c 2232 8002002 393213 1 - 0.0000 -
2228.66/2237.26 c 2237 8019473 394070 1 - 0.0000 -
2233.73/2242.31 c 2242 8036309 395104 1 - 0.0000 -
2238.71/2247.36 c 2247 8053958 396169 1 - 0.0000 -
2243.80/2252.41 c 2252 8072121 396884 1 - 0.0000 -
2248.78/2257.46 c 2257 8089339 397956 1 - 0.0000 -
2253.85/2262.51 c 2263 8106896 399065 1 - 0.0000 -
2258.83/2267.56 c 2268 8124591 400210 1 - 0.0000 -
2263.91/2272.61 c 2273 8142641 401370 1 - 0.0000 -
2268.89/2277.66 c 2278 8160332 402387 1 - 0.0000 -
2273.97/2282.71 c 2283 8178307 403502 1 - 0.0000 -
2278.95/2287.76 c 2288 8196280 404587 1 - 0.0000 -
2284.04/2292.81 c 2293 8214165 405620 1 - 0.0000 -
2289.02/2297.86 c 2298 8231946 406521 1 - 0.0000 -
2294.10/2302.92 c 2303 8249123 407570 1 - 0.0000 -
2299.08/2307.96 c 2308 8266663 408578 1 - 0.0000 -
2304.17/2313.01 c 2313 8284440 409467 1 - 0.0000 -
2309.15/2318.06 c 2318 8301862 410301 1 - 0.0000 -
2314.24/2323.11 c 2323 8318788 411247 1 - 0.0000 -
2319.22/2328.16 c 2328 8335908 411945 1 - 0.0000 -
2324.29/2333.21 c 2333 8352226 412635 1 - 0.0000 -
2329.28/2338.26 c 2338 8369782 413551 1 - 0.0000 -
2334.36/2343.31 c 2343 8387778 414513 1 - 0.0000 -
2339.34/2348.36 c 2348 8404869 415800 1 - 0.0000 -
2344.42/2353.41 c 2353 8422409 416858 1 - 0.0000 -
2349.41/2358.46 c 2358 8439795 417914 1 - 0.0000 -
2354.49/2363.51 c 2364 8457614 418827 1 - 0.0000 -
2359.47/2368.56 c 2369 8475451 419858 1 - 0.0000 -
2364.56/2373.61 c 2374 8493448 420747 1 - 0.0000 -
2369.54/2378.66 c 2379 8510726 421521 1 - 0.0000 -
2374.62/2383.71 c 2384 8529199 422502 1 - 0.0000 -
2379.61/2388.76 c 2389 8546437 423324 1 - 0.0000 -
2384.68/2393.81 c 2394 8563574 424153 1 - 0.0000 -
2389.66/2398.86 c 2399 8581313 424894 1 - 0.0000 -
2394.75/2403.91 c 2404 8598660 425695 1 - 0.0000 -
2399.73/2408.96 c 2409 8616000 426663 1 - 0.0000 -
2404.82/2414.01 c 2414 8632902 427591 1 - 0.0000 -
2409.80/2419.06 c 2419 8650588 428377 1 - 0.0000 -
2414.88/2424.11 c 2424 8668038 429215 1 - 0.0000 -
2419.87/2429.16 c 2429 8685402 429997 1 - 0.0000 -
2424.95/2434.21 c 2434 8703152 431123 1 - 0.0000 -
2429.92/2439.26 c 2439 8720795 431960 1 - 0.0000 -
2435.01/2444.31 c 2444 8738387 432700 1 - 0.0000 -
2439.99/2449.36 c 2449 8755639 433346 1 - 0.0000 -
2445.07/2454.41 c 2454 8773252 434009 1 - 0.0000 -
2450.05/2459.46 c 2459 8790309 434634 1 - 0.0000 -
2455.14/2464.51 c 2465 8808487 435526 1 - 0.0000 -
2460.12/2469.56 c 2470 8825247 436326 1 - 0.0000 -
2465.21/2474.61 c 2475 8843127 437032 1 - 0.0000 -
2470.19/2479.66 c 2480 8860122 437949 1 - 0.0000 -
2475.27/2484.71 c 2485 8877692 438601 1 - 0.0000 -
2480.26/2489.76 c 2490 8895167 439654 1 - 0.0000 -
2485.34/2494.81 c 2495 8912283 440386 1 - 0.0000 -
2490.32/2499.86 c 2500 8929620 441105 1 - 0.0000 -
2495.41/2504.91 c 2505 8947358 441845 1 - 0.0000 -
2500.38/2509.96 c 2510 8964673 442856 1 - 0.0000 -
2505.48/2515.01 c 2515 8981846 443779 1 - 0.0000 -
2510.45/2520.06 c 2520 8999354 444967 1 - 0.0000 -
2515.54/2525.11 c 2525 9016347 445494 1 - 0.0000 -
2520.52/2530.16 c 2530 9033113 446134 1 - 0.0000 -
2525.60/2535.21 c 2535 9049657 446876 1 - 0.0000 -
2530.58/2540.26 c 2540 9067458 447577 1 - 0.0000 -
2535.67/2545.31 c 2545 9085804 448105 1 - 0.0000 -
2540.65/2550.36 c 2550 9103993 448934 1 - 0.0000 -
2545.73/2555.41 c 2555 9122547 449526 1 - 0.0000 -
2550.72/2560.46 c 2560 9140440 450167 1 - 0.0000 -
2555.80/2565.51 c 2566 9156522 450723 1 - 0.0000 -
2560.78/2570.56 c 2571 9174217 451414 1 - 0.0000 -
2565.86/2575.61 c 2576 9190987 452114 1 - 0.0000 -
2570.85/2580.66 c 2581 9208465 452774 1 - 0.0000 -
2575.92/2585.71 c 2586 9225566 453765 1 - 0.0000 -
2580.91/2590.76 c 2591 9242826 454711 1 - 0.0000 -
2586.00/2595.81 c 2596 9259848 455511 1 - 0.0000 -
2590.97/2600.86 c 2601 9276880 456365 1 - 0.0000 -
2596.06/2605.91 c 2606 9295097 457388 1 - 0.0000 -
2601.04/2610.96 c 2611 9312263 458128 1 - 0.0000 -
2606.13/2616.01 c 2616 9330561 459178 1 - 0.0000 -
2611.11/2621.06 c 2621 9346699 459862 1 - 0.0000 -
2616.20/2626.11 c 2626 9363764 460503 1 - 0.0000 -
2621.18/2631.16 c 2631 9381662 460999 1 - 0.0000 -
2626.26/2636.21 c 2636 9398845 461554 1 - 0.0000 -
2631.24/2641.26 c 2641 9416336 462347 1 - 0.0000 -
2636.32/2646.31 c 2646 9433965 463504 1 - 0.0000 -
2641.30/2651.36 c 2651 9451585 464570 1 - 0.0000 -
2646.38/2656.41 c 2656 9467749 465998 1 - 0.0000 -
2651.37/2661.46 c 2661 9484474 467417 1 - 0.0000 -
2656.45/2666.53 c 2667 9500579 468321 1 - 0.0000 -
2661.44/2671.58 c 2672 9517905 469163 1 - 0.0000 -
2666.52/2676.63 c 2677 9535783 470229 1 - 0.0000 -
2671.50/2681.68 c 2682 9552332 471222 1 - 0.0000 -
2676.58/2686.73 c 2687 9569733 471843 1 - 0.0000 -
2681.56/2691.78 c 2692 9587156 472626 1 - 0.0000 -
2686.65/2696.83 c 2697 9604515 473267 1 - 0.0000 -
2691.64/2701.88 c 2702 9622732 473976 1 - 0.0000 -
2696.71/2706.93 c 2707 9639609 474457 1 - 0.0000 -
2701.70/2711.98 c 2712 9656623 475171 1 - 0.0000 -
2706.79/2717.03 c 2717 9674197 475919 1 - 0.0000 -
2711.77/2722.08 c 2722 9691835 476603 1 - 0.0000 -
2716.84/2727.13 c 2727 9709588 477368 1 - 0.0000 -
2721.83/2732.18 c 2732 9726896 477858 1 - 0.0000 -
2726.91/2737.23 c 2737 9743858 478676 1 - 0.0000 -
2731.89/2742.28 c 2742 9760822 479540 1 - 0.0000 -
2736.97/2747.33 c 2747 9778140 480282 1 - 0.0000 -
2741.96/2752.39 c 2752 9794574 480964 1 - 0.0000 -
2747.04/2757.44 c 2757 9811629 481619 1 - 0.0000 -
2752.02/2762.49 c 2762 9828571 482163 1 - 0.0000 -
2757.11/2767.54 c 2768 9845465 482713 1 - 0.0000 -
2762.09/2772.59 c 2773 9862365 483177 1 - 0.0000 -
2767.17/2777.64 c 2778 9879014 483652 1 - 0.0000 -
2772.15/2782.69 c 2783 9896274 484176 1 - 0.0000 -
2777.24/2787.74 c 2788 9912613 484683 1 - 0.0000 -
2782.22/2792.79 c 2793 9928649 485137 1 - 0.0000 -
2787.30/2797.84 c 2798 9945911 485625 1 - 0.0000 -
2792.28/2802.89 c 2803 9962861 486567 1 - 0.0000 -
2797.37/2807.94 c 2808 9980814 487538 1 - 0.0000 -
2802.35/2812.99 c 2813 9997685 488459 1 - 0.0000 -
2807.43/2818.04 c 2818 10016585 489011 1 - 0.0000 -
2812.42/2823.09 c 2823 10034109 489727 1 - 0.0000 -
2817.50/2828.14 c 2828 10050939 490407 1 - 0.0000 -
2822.48/2833.19 c 2833 10067873 491053 1 - 0.0000 -
2827.57/2838.24 c 2838 10086267 491697 1 - 0.0000 -
2832.55/2843.29 c 2843 10104039 492367 1 - 0.0000 -
2837.62/2848.34 c 2848 10121929 493221 1 - 0.0000 -
2842.61/2853.39 c 2853 10138579 493915 1 - 0.0000 -
2847.69/2858.44 c 2858 10156126 494568 1 - 0.0000 -
2852.67/2863.49 c 2864 10176576 495280 1 - 0.0000 -
2857.76/2868.54 c 2869 10197492 496304 1 - 0.0000 -
2862.74/2873.59 c 2874 10215180 497270 1 - 0.0000 -
2867.82/2878.64 c 2879 10232302 498266 1 - 0.0000 -
2872.81/2883.69 c 2884 10250140 498680 1 - 0.0000 -
2877.89/2888.74 c 2889 10267259 499175 1 - 0.0000 -
2882.87/2893.79 c 2894 10284268 499826 1 - 0.0000 -
2887.95/2898.84 c 2899 10301893 500433 1 - 0.0000 -
2892.93/2903.89 c 2904 10319214 501068 1 - 0.0000 -
2898.02/2908.94 c 2909 10337084 502342 1 - 0.0000 -
2903.00/2913.99 c 2914 10354641 503333 1 - 0.0000 -
2908.09/2919.04 c 2919 10372794 504498 1 - 0.0000 -
2913.07/2924.09 c 2924 10390113 505497 1 - 0.0000 -
2918.15/2929.14 c 2929 10407521 506609 1 - 0.0000 -
2923.14/2934.19 c 2934 10425288 507804 1 - 0.0000 -
2928.21/2939.24 c 2939 10442561 508703 1 - 0.0000 -
2933.30/2944.33 c 2944 10460259 509911 1 - 0.0000 -
2938.27/2949.38 c 2949 10477335 510897 1 - 0.0000 -
2943.37/2954.43 c 2954 10495081 511703 1 - 0.0000 -
2948.35/2959.48 c 2959 10512395 512577 1 - 0.0000 -
2953.43/2964.53 c 2965 10529671 513541 1 - 0.0000 -
2958.41/2969.58 c 2970 10546572 514189 1 - 0.0000 -
2963.49/2974.63 c 2975 10563846 514767 1 - 0.0000 -
2968.48/2979.68 c 2980 10580646 515445 1 - 0.0000 -
2973.55/2984.73 c 2985 10598459 516128 1 - 0.0000 -
2978.54/2989.78 c 2990 10615770 517005 1 - 0.0000 -
2983.62/2994.83 c 2995 10633679 517602 1 - 0.0000 -
2988.61/2999.88 c 3000 10651786 518515 1 - 0.0000 -
2993.69/3004.93 c 3005 10669545 519170 1 - 0.0000 -
2998.66/3009.98 c 3010 10688354 520045 1 - 0.0000 -
3003.75/3015.03 c 3015 10706562 520673 1 - 0.0000 -
3008.74/3020.08 c 3020 10725320 521247 1 - 0.0000 -
3013.82/3025.13 c 3025 10744593 521804 1 - 0.0000 -
3018.81/3030.18 c 3030 10762352 522283 1 - 0.0000 -
3023.88/3035.23 c 3035 10780457 522690 1 - 0.0000 -
3028.86/3040.28 c 3040 10797750 523129 1 - 0.0000 -
3033.94/3045.33 c 3045 10815195 523778 1 - 0.0000 -
3038.92/3050.38 c 3050 10832604 524353 1 - 0.0000 -
3044.00/3055.43 c 3055 10848892 525305 1 - 0.0000 -
3048.98/3060.48 c 3060 10865162 526255 1 - 0.0000 -
3054.06/3065.53 c 3066 10881736 527157 1 - 0.0000 -
3059.04/3070.58 c 3071 10899323 528354 1 - 0.0000 -
3064.12/3075.63 c 3076 10915774 529522 1 - 0.0000 -
3069.10/3080.68 c 3081 10932603 530599 1 - 0.0000 -
3074.18/3085.73 c 3086 10948678 531472 1 - 0.0000 -
3079.16/3090.78 c 3091 10965179 532071 1 - 0.0000 -
3084.24/3095.83 c 3096 10982267 532871 1 - 0.0000 -
3089.22/3100.88 c 3101 10999478 533380 1 - 0.0000 -
3094.29/3105.93 c 3106 11016896 533968 1 - 0.0000 -
3099.28/3110.98 c 3111 11034016 534600 1 - 0.0000 -
3104.36/3116.03 c 3116 11051024 535330 1 - 0.0000 -
3109.34/3121.08 c 3121 11067473 536165 1 - 0.0000 -
3114.42/3126.13 c 3126 11085283 537030 1 - 0.0000 -
3119.40/3131.18 c 3131 11103269 537632 1 - 0.0000 -
3124.47/3136.23 c 3136 11121195 538158 1 - 0.0000 -
3129.45/3141.28 c 3141 11139622 538613 1 - 0.0000 -
3134.52/3146.33 c 3146 11158089 538922 1 - 0.0000 -
3139.50/3151.38 c 3151 11176188 539549 1 - 0.0000 -
3144.59/3156.43 c 3156 11193695 540194 1 - 0.0000 -
3149.57/3161.48 c 3161 11211908 540901 1 - 0.0000 -
3154.64/3166.53 c 3167 11230386 541483 1 - 0.0000 -
3159.62/3171.58 c 3172 11248764 542399 1 - 0.0000 -
3164.70/3176.63 c 3177 11267001 542994 1 - 0.0000 -
3169.68/3181.68 c 3182 11285834 543528 1 - 0.0000 -
3174.77/3186.73 c 3187 11304312 544226 1 - 0.0000 -
3179.74/3191.78 c 3192 11321514 544648 1 - 0.0000 -
3184.82/3196.83 c 3197 11339366 545194 1 - 0.0000 -
3189.80/3201.88 c 3202 11357179 545969 1 - 0.0000 -
3194.88/3206.95 c 3207 11373916 546750 1 - 0.0000 -
3199.86/3211.99 c 3212 11391214 547528 1 - 0.0000 -
3204.94/3217.04 c 3217 11407985 548073 1 - 0.0000 -
3209.92/3222.09 c 3222 11424759 548777 1 - 0.0000 -
3215.00/3227.14 c 3227 11442408 549228 1 - 0.0000 -
3219.98/3232.19 c 3232 11460574 549752 1 - 0.0000 -
3225.06/3237.24 c 3237 11478000 550332 1 - 0.0000 -
3230.03/3242.29 c 3242 11496061 550743 1 - 0.0000 -
3235.11/3247.34 c 3247 11514279 551387 1 - 0.0000 -
3240.09/3252.39 c 3252 11532574 551926 1 - 0.0000 -
3245.17/3257.44 c 3257 11550098 552386 1 - 0.0000 -
3250.25/3262.51 c 3263 11567222 552772 1 - 0.0000 -
3255.23/3267.55 c 3268 11585419 553245 1 - 0.0000 -
3260.31/3272.60 c 3273 11603159 553661 1 - 0.0000 -
3265.29/3277.65 c 3278 11621052 554048 1 - 0.0000 -
3270.37/3282.70 c 3283 11638396 554392 1 - 0.0000 -
3275.35/3287.75 c 3288 11655921 554887 1 - 0.0000 -
3280.43/3292.80 c 3293 11672688 555328 1 - 0.0000 -
3285.41/3297.85 c 3298 11689604 555686 1 - 0.0000 -
3290.49/3302.90 c 3303 11706665 556061 1 - 0.0000 -
3295.47/3307.95 c 3308 11724513 556455 1 - 0.0000 -
3300.55/3313.00 c 3313 11741277 556957 1 - 0.0000 -
3305.53/3318.05 c 3318 11758694 557954 1 - 0.0000 -
3310.61/3323.10 c 3323 11774568 558730 1 - 0.0000 -
3315.59/3328.15 c 3328 11790878 559785 1 - 0.0000 -
3320.66/3333.22 c 3333 11806595 560522 1 - 0.0000 -
3325.64/3338.27 c 3338 11822876 561257 1 - 0.0000 -
3330.72/3343.33 c 3343 11839387 561938 1 - 0.0000 -
3335.70/3348.37 c 3348 11856607 562532 1 - 0.0000 -
3340.78/3353.42 c 3353 11873119 563328 1 - 0.0000 -
3345.76/3358.47 c 3358 11890961 564228 1 - 0.0000 -
3350.84/3363.52 c 3364 11908835 564820 1 - 0.0000 -
3355.81/3368.57 c 3369 11926934 565407 1 - 0.0000 -
3360.89/3373.64 c 3374 11945415 566060 1 - 0.0000 -
3365.88/3378.68 c 3379 11963842 566601 1 - 0.0000 -
3370.96/3383.73 c 3384 11981392 567081 1 - 0.0000 -
3375.94/3388.78 c 3389 11999249 567466 1 - 0.0000 -
3381.02/3393.83 c 3394 12016444 567799 1 - 0.0000 -
3386.00/3398.88 c 3399 12033152 568419 1 - 0.0000 -
3391.07/3403.93 c 3404 12050991 569084 1 - 0.0000 -
3396.05/3408.98 c 3409 12067707 569568 1 - 0.0000 -
3401.13/3414.03 c 3414 12084162 570267 1 - 0.0000 -
3406.11/3419.08 c 3419 12101352 570829 1 - 0.0000 -
3411.19/3424.13 c 3424 12118258 571507 1 - 0.0000 -
3416.18/3429.18 c 3429 12135702 572133 1 - 0.0000 -
3421.24/3434.23 c 3434 12153026 572691 1 - 0.0000 -
3426.23/3439.28 c 3439 12171208 573459 1 - 0.0000 -
3431.30/3444.33 c 3444 12188138 574109 1 - 0.0000 -
3436.28/3449.38 c 3449 12205984 574607 1 - 0.0000 -
3441.36/3454.43 c 3454 12222760 575719 1 - 0.0000 -
3446.34/3459.48 c 3459 12239908 576605 1 - 0.0000 -
3451.41/3464.53 c 3465 12258133 578238 1 - 0.0000 -
3456.39/3469.58 c 3470 12276193 579118 1 - 0.0000 -
3461.47/3474.63 c 3475 12294016 579947 1 - 0.0000 -
3466.46/3479.68 c 3480 12312120 580403 1 - 0.0000 -
3471.53/3484.73 c 3485 12328439 581692 1 - 0.0000 -
3476.51/3489.78 c 3490 12346585 582984 1 - 0.0000 -
3481.60/3494.83 c 3495 12364068 583629 1 - 0.0000 -
3486.57/3499.88 c 3500 12381040 584375 1 - 0.0000 -
3491.66/3504.93 c 3505 12398674 585019 1 - 0.0000 -
3496.63/3509.98 c 3510 12417418 586429 1 - 0.0000 -
3501.71/3515.03 c 3515 12435378 587381 1 - 0.0000 -
3506.70/3520.08 c 3520 12452974 587851 1 - 0.0000 -
3511.77/3525.13 c 3525 12471625 588498 1 - 0.0000 -
3516.75/3530.18 c 3530 12489170 588995 1 - 0.0000 -
3521.82/3535.23 c 3535 12507714 589579 1 - 0.0000 -
3526.81/3540.28 c 3540 12525862 589967 1 - 0.0000 -
3531.89/3545.33 c 3545 12543432 590483 1 - 0.0000 -
3536.86/3550.38 c 3550 12560205 591050 1 - 0.0000 -
3541.94/3555.43 c 3555 12577502 591759 1 - 0.0000 -
3546.92/3560.48 c 3560 12595100 592879 1 - 0.0000 -
3552.00/3565.53 c 3566 12612655 593930 1 - 0.0000 -
3556.97/3570.58 c 3571 12630157 594556 1 - 0.0000 -
3562.05/3575.63 c 3576 12647115 595722 1 - 0.0000 -
3567.03/3580.68 c 3581 12666544 597899 1 - 0.0000 -
3572.12/3585.73 c 3586 12685765 598704 1 - 0.0000 -
3577.09/3590.78 c 3591 12704991 599626 1 - 0.0000 -
3582.17/3595.83 c 3596 12721982 600193 1 - 0.0000 -
3587.35/3601.07 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.35/3601.07 c Total Time : 3601.0700
3587.35/3601.07 c solving : 3601.0700
3587.35/3601.07 c presolving : 0.0023 (included in solving)
3587.35/3601.07 c B&B Tree :
3587.35/3601.07 c nodes (total) : 1
3587.35/3601.07 c Solution :
3587.35/3601.07 c Solutions found : 0
3587.35/3601.07 c Primal Bound : -
3587.35/3601.07 c Dual Bound : +0.00000000000000e+00
3587.35/3601.07 c Gap : -
3587.35/3601.07 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 (61776 MiB free)
memory of node 1: 64510 MiB (61730 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445060-1721318250/watcher-4445060-1721318250 -o /tmp/evaluation-result-4445060-1721318250/solver-4445060-1721318250 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968464 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445060-1721318250.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=970161, runsolver pid=970158
[startup+0.100091 s]*
/proc/loadavg: 3.95 2.87 2.34 7/267 970164
/proc/meminfo: memFree=126461544/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=106468 memory=20292 CPUtime=0.1 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 2452 0 0 0 10 0 0 0 20 0 3 0 183984159 109023232 5073 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 26617 5073 2910 3032 0 8415 0
[pid=970161/tid=970163] ppid=970158 vsize=106468 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 1322 0 0 0 9 0 0 0 20 0 3 0 183984160 109023232 5073 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=106468 memory=237146210664 CPUtime=0 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183984160 109023232 5073 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 106468 KiB
Current children cumulated memory: 20292 KiB
[startup+0.205493 s]*
/proc/loadavg: 3.95 2.87 2.34 5/267 970164
/proc/meminfo: memFree=126460660/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=106468 memory=20880 CPUtime=0.2 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 2625 0 0 0 20 0 0 0 20 0 3 0 183984159 109023232 5220 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 26617 5220 2926 3032 0 8616 0
[pid=970161/tid=970163] ppid=970158 vsize=106468 memory=4782652875487838339 CPUtime=0.2 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 1495 0 0 0 20 0 0 0 20 0 3 0 183984160 109023232 5220 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=106468 memory=1285800 CPUtime=0 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183984160 109023232 5220 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106468 KiB
Current children cumulated memory: 20880 KiB
[startup+0.30524 s]*
/proc/loadavg: 3.95 2.87 2.34 5/267 970164
/proc/meminfo: memFree=126459848/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=106468 memory=21408 CPUtime=0.3 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 2733 0 0 0 30 0 0 0 20 0 3 0 183984159 109023232 5352 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 26617 5352 2926 3032 0 8768 0
[pid=970161/tid=970163] ppid=970158 vsize=106468 memory=-6370742338949659492 CPUtime=0.29 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 1603 0 0 0 29 0 0 0 20 0 3 0 183984160 109023232 5352 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=106468 memory=0 CPUtime=0 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183984160 109023232 5352 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106468 KiB
Current children cumulated memory: 21408 KiB
[startup+0.700145 s]
/proc/loadavg: 3.95 2.87 2.34 5/267 970164
/proc/meminfo: memFree=126458700/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=106468 memory=22200 CPUtime=0.69 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 2949 0 0 0 69 0 0 0 20 0 3 0 183984159 109023232 5550 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 26617 5550 2926 3032 0 8880 0
[pid=970161/tid=970163] ppid=970158 vsize=106468 memory=0 CPUtime=0.68 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 1819 0 0 0 68 0 0 0 20 0 3 0 183984160 109023232 5550 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=106468 memory=0 CPUtime=0 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183984160 109023232 5550 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106468 KiB
Current children cumulated memory: 22200 KiB
[startup+1.50014 s]
/proc/loadavg: 3.95 2.87 2.34 5/267 970164
/proc/meminfo: memFree=126457664/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=106468 memory=22364 CPUtime=1.49 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 4219 0 0 0 149 0 0 0 20 0 3 0 183984159 109023232 5591 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 26617 5591 2926 3032 0 8880 0
[pid=970161/tid=970163] ppid=970158 vsize=106468 memory=0 CPUtime=1.48 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 3076 0 0 0 148 0 0 0 20 0 3 0 183984160 109023232 5591 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=106468 memory=0 CPUtime=0 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183984160 109023232 5591 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 106468 KiB
Current children cumulated memory: 22364 KiB
[startup+3.10431 s]
/proc/loadavg: 3.96 2.89 2.35 5/267 970165
/proc/meminfo: memFree=126456764/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=106468 memory=22372 CPUtime=3.08 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 4347 0 0 0 308 0 0 0 20 0 3 0 183984159 109023232 5593 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 26617 5593 2926 3032 0 8880 0
[pid=970161/tid=970163] ppid=970158 vsize=106468 memory=2273 CPUtime=3.08 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 3201 0 0 0 308 0 0 0 20 0 3 0 183984160 109023232 5593 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=106468 memory=0 CPUtime=0 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 183984160 109023232 5593 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 106468 KiB
Current children cumulated memory: 22372 KiB
[startup+6.30016 s]
/proc/loadavg: 3.96 2.89 2.35 5/267 970165
/proc/meminfo: memFree=126452372/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=106468 memory=24672 CPUtime=6.27 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 6494 0 0 0 626 1 0 0 20 0 3 0 183984159 109023232 6168 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 26617 6168 2990 3032 0 9251 0
[pid=970161/tid=970163] ppid=970158 vsize=106468 memory=-6370742338949659492 CPUtime=6.26 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 5322 0 0 0 625 1 0 0 20 0 3 0 183984160 109023232 6168 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=106468 memory=23552 CPUtime=0 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 183984160 109023232 6168 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 106468 KiB
Current children cumulated memory: 24672 KiB
[startup+12.7001 s]
/proc/loadavg: 4.04 2.94 2.37 4/263 970167
/proc/meminfo: memFree=126590052/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=107048 memory=27888 CPUtime=12.65 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 11415 0 0 0 1262 3 0 0 20 0 3 0 183984159 109617152 6972 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 26762 6972 2990 3032 0 10242 0
[pid=970161/tid=970163] ppid=970158 vsize=107048 memory=22372 CPUtime=12.64 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 10204 0 0 0 1261 3 0 0 20 0 3 0 183984160 109617152 6972 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=107048 memory=0 CPUtime=0 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 183984160 109617152 6972 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 107048 KiB
Current children cumulated memory: 27888 KiB
[startup+25.5002 s]
/proc/loadavg: 4.03 2.98 2.39 5/267 970216
/proc/meminfo: memFree=126552748/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=107048 memory=34072 CPUtime=25.4 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 17930 0 0 0 2533 7 0 0 20 0 3 0 183984159 109617152 8518 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 26762 8518 2990 3032 0 11543 0
[pid=970161/tid=970163] ppid=970158 vsize=107048 memory=25144 CPUtime=25.39 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 16671 0 0 0 2532 7 0 0 20 0 3 0 183984160 109617152 8518 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=107048 memory=7676 CPUtime=0 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 183984160 109617152 8518 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 107048 KiB
Current children cumulated memory: 34072 KiB
[startup+51.1044 s]
/proc/loadavg: 4.02 3.06 2.43 5/269 970389
/proc/meminfo: memFree=126490512/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=110208 memory=45648 CPUtime=50.92 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 34723 0 0 0 5075 17 0 0 20 0 3 0 183984159 112852992 11412 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 27552 11412 2990 3032 0 14610 0
[pid=970161/tid=970163] ppid=970158 vsize=110208 memory=6720668748535054698 CPUtime=50.91 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 33392 0 0 0 5074 17 0 0 20 0 3 0 183984160 112852992 11412 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=110208 memory=35668 CPUtime=0 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 183984160 112852992 11412 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 110208 KiB
Current children cumulated memory: 45648 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 3.25 2.54 5/268 970402
/proc/meminfo: memFree=126406700/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=113300 memory=57776 CPUtime=101.95 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 54553 0 0 0 10162 33 0 0 20 0 3 0 183984159 116019200 14444 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 28325 14444 2990 3032 0 17586 0
[pid=970161/tid=970163] ppid=970158 vsize=113300 memory=57492 CPUtime=101.94 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 53143 0 0 0 10161 33 0 0 20 0 3 0 183984160 116019200 14444 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=113300 memory=56144 CPUtime=0 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 183984160 116019200 14444 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 113300 KiB
Current children cumulated memory: 57776 KiB
[startup+162.3 s]
/proc/loadavg: 4.04 3.39 2.63 5/268 970459
/proc/meminfo: memFree=126384628/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=121560 memory=76896 CPUtime=161.74 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 77106 0 0 0 16121 53 0 0 20 0 3 0 183984159 124477440 19224 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 30390 19224 2990 3032 0 22258 0
[pid=970161/tid=970163] ppid=970158 vsize=121560 memory=69548 CPUtime=161.73 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 75652 0 0 0 16120 53 0 0 20 0 3 0 183984160 124477440 19224 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=121560 memory=4892 CPUtime=0 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 183984160 124477440 19224 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 121560 KiB
################
# More data... #
################
/proc/970161/statm: 185044 159997 2990 3032 0 165848 0
[pid=970161/tid=970163] ppid=970158 vsize=740176 memory=632236 CPUtime=3389.29 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 1504769 0 0 0 337792 1137 0 0 20 0 3 0 183984160 757940224 159997 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=740176 memory=638224 CPUtime=0.01 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 132 0 0 0 0 1 0 0 20 0 3 0 183984160 757940224 159997 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 3389.48 s
Current children cumulated vsize: 740176 KiB
Current children cumulated memory: 639988 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.09 5/265 971704
/proc/meminfo: memFree=122416252/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=743524 memory=647168 CPUtime=3449.23 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 1546488 0 0 0 343762 1161 0 0 20 0 3 0 183984159 761368576 161792 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 185881 161792 2990 3032 0 167581 0
[pid=970161/tid=970163] ppid=970158 vsize=743524 memory=632236 CPUtime=3449.04 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 1544146 0 0 0 343746 1158 0 0 20 0 3 0 183984160 761368576 161792 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=743524 memory=638224 CPUtime=0.01 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 134 0 0 0 0 1 0 0 20 0 3 0 183984160 761368576 161792 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 3449.23 s
Current children cumulated vsize: 743524 KiB
Current children cumulated memory: 647168 KiB
[startup+3522.3 s]
/proc/loadavg: 4.27 4.18 4.10 5/265 972101
/proc/meminfo: memFree=122476932/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=749424 memory=656064 CPUtime=3508.97 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 1587484 0 0 0 349717 1180 0 0 20 0 3 0 183984159 767410176 164016 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 187356 164016 2990 3032 0 170065 0
[pid=970161/tid=970163] ppid=970158 vsize=749424 memory=649856 CPUtime=3508.79 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 1585126 0 0 0 349702 1177 0 0 20 0 3 0 183984160 767410176 164016 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=749424 memory=650236 CPUtime=0.01 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 136 0 0 0 0 1 0 0 20 0 3 0 183984160 767410176 164016 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 3508.97 s
Current children cumulated vsize: 749424 KiB
Current children cumulated memory: 656064 KiB
[startup+3582.3 s]
/proc/loadavg: 4.29 4.20 4.11 5/265 972113
/proc/meminfo: memFree=122438408/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=754464 memory=666152 CPUtime=3568.73 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 1616640 0 0 0 355671 1202 0 0 20 0 3 0 183984159 772571136 166538 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 188616 166538 2990 3032 0 172531 0
[pid=970161/tid=970163] ppid=970158 vsize=754464 memory=4892 CPUtime=3568.53 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 1614266 0 0 0 355655 1198 0 0 20 0 3 0 183984160 772571136 166538 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=754464 memory=4892 CPUtime=0.01 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 183984160 772571136 166538 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 3568.73 s
Current children cumulated vsize: 754464 KiB
Current children cumulated memory: 666152 KiB
[startup+3601.08 s]
# the end of solver process 970161 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.32 s, system=12.1151 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.34 4.22 4.12 5/265 972113
/proc/meminfo: memFree=122435324/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=754464 memory=666520 CPUtime=3570.42 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 1616760 0 0 0 355840 1202 0 0 20 0 3 0 183984159 772571136 166630 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 188616 166630 2990 3032 0 172627 0
[pid=970161/tid=970163] ppid=970158 vsize=754464 memory=6720667644778791273 CPUtime=3570.22 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 1614386 0 0 0 355824 1198 0 0 20 0 3 0 183984160 772571136 166630 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=754464 memory=-4421386509032450400 CPUtime=0.01 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 183984160 772571136 166630 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 3570.42 s
Current children cumulated vsize: 754464 KiB
Current children cumulated memory: 666520 KiB
[startup+3590.4 s]
/proc/loadavg: 4.32 4.21 4.12 5/265 972162
/proc/meminfo: memFree=123464944/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=755044 memory=667464 CPUtime=3576.79 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 1617104 0 0 0 356475 1204 0 0 20 0 3 0 183984159 773165056 166866 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 188761 166866 2990 3032 0 172852 0
[pid=970161/tid=970163] ppid=970158 vsize=755044 memory=666148 CPUtime=3576.6 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 1614730 0 0 0 356459 1201 0 0 20 0 3 0 183984160 773165056 166866 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=755044 memory=7676 CPUtime=0.01 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 183984160 773165056 166866 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 3576.79 s
Current children cumulated vsize: 755044 KiB
Current children cumulated memory: 667464 KiB
[startup+3596.8 s]
/proc/loadavg: 4.29 4.21 4.12 5/265 972163
/proc/meminfo: memFree=123459112/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=755044 memory=667888 CPUtime=3583.17 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 1630316 0 0 0 357110 1207 0 0 20 0 3 0 183984159 773165056 166972 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 188761 166972 2990 3032 0 172948 0
[pid=970161/tid=970163] ppid=970158 vsize=755044 memory=736 CPUtime=3582.97 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 1627942 0 0 0 357094 1203 0 0 20 0 3 0 183984160 773165056 166972 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=755044 memory=666552 CPUtime=0.01 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 183984160 773165056 166972 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 3583.17 s
Current children cumulated vsize: 755044 KiB
Current children cumulated memory: 667888 KiB
[startup+3598.4 s]
/proc/loadavg: 4.27 4.21 4.12 5/265 972163
/proc/meminfo: memFree=123457208/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=755044 memory=667936 CPUtime=3584.76 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 1632661 0 0 0 357269 1207 0 0 20 0 3 0 183984159 773165056 166984 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 188761 166984 2990 3032 0 172948 0
[pid=970161/tid=970163] ppid=970158 vsize=755044 memory=667888 CPUtime=3584.56 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 1630287 0 0 0 357253 1203 0 0 20 0 3 0 183984160 773165056 166984 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=755044 memory=27784 CPUtime=0.01 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 183984160 773165056 166984 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 3584.76 s
Current children cumulated vsize: 755044 KiB
Current children cumulated memory: 667936 KiB
[startup+3600 s]*
/proc/loadavg: 4.27 4.21 4.12 5/265 972163
/proc/meminfo: memFree=123454736/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=755044 memory=668324 CPUtime=3586.36 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 1638780 0 0 0 357429 1207 0 0 20 0 3 0 183984159 773165056 167081 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 188761 167081 2990 3032 0 173044 0
[pid=970161/tid=970163] ppid=970158 vsize=755044 memory=6720666549511930226 CPUtime=3586.17 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 1637004 0 0 0 357413 1204 0 0 20 0 3 0 183984160 773165056 167081 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=755044 memory=4488 CPUtime=0.01 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 183984160 773165056 167081 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 3586.36 s
Current children cumulated vsize: 755044 KiB
Current children cumulated memory: 668324 KiB
[startup+3600.8 s]
/proc/loadavg: 4.27 4.21 4.12 5/265 972163
/proc/meminfo: memFree=123454736/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=630500 memory=543780 CPUtime=3587.16 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 1663323 0 0 0 357506 1210 0 0 20 0 3 0 183984159 645632000 135945 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 157625 135945 2990 3032 0 141908 0
[pid=970161/tid=970163] ppid=970158 vsize=630500 memory=662524 CPUtime=3586.96 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 1660943 0 0 0 357490 1206 0 0 20 0 3 0 183984160 645632000 135945 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=630500 memory=1200 CPUtime=0.01 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 183984160 645632000 135945 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 3587.16 s
Current children cumulated vsize: 630500 KiB
Current children cumulated memory: 543780 KiB
[startup+3601 s]*
/proc/loadavg: 4.27 4.21 4.12 5/265 972163
/proc/meminfo: memFree=123572424/131524600 swapFree=130798872/131071996
[pid=970161] ppid=970158 vsize=573596 memory=486892 CPUtime=3587.35 cores=0,2
/proc/970161/stat : 970161 (fscip) S 970158 970161 968454 0 -1 1077936128 1664368 0 0 0 357525 1210 0 0 20 0 3 0 183984159 587362304 121723 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
/proc/970161/statm: 143399 121723 2990 3032 0 127682 0
[pid=970161/tid=970163] ppid=970158 vsize=573596 memory=6720666549511930226 CPUtime=3587.15 cores=0,2
/proc/970161/task/970163/stat : 970163 (fscip) R 970158 970161 968454 0 -1 4194368 1661988 0 0 0 357509 1206 0 0 20 0 3 0 183984160 587362304 121723 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
[pid=970161/tid=970164] ppid=970158 vsize=573596 memory=1286332 CPUtime=0.01 cores=0,2
/proc/970161/task/970164/stat : 970164 (fscip) S 970158 970161 968454 0 -1 1077936192 138 0 0 0 0 1 0 0 20 0 3 0 183984160 587362304 121723 134679101440 4194304 16613245 140720566961568 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 31014912 140720566969364 140720566969480 140720566969480 140720566976496 0
Current children cumulated CPU time: 3587.35 s
Current children cumulated vsize: 573596 KiB
Current children cumulated memory: 486892 KiB
Child status: 0
Real time (s): 3601.08
CPU time (s): 3587.44
CPU user time (s): 3575.32
CPU system time (s): 12.1151
CPU usage (%): 99.6212
Max. virtual memory (cumulated for all children) (KiB): 755044
Max. memory (cumulated for all children) (KiB): 668324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.32
system time used= 12.1151
maximum resident set size= 668324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1664707
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= 10831
involuntary context switches= 25123
# summary of solver processes directly reported to runsolver:
# pid: 970161
# total CPU time (s): 3587.44
# total CPU user time (s): 3575.32
# total CPU system time (s): 12.1151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.37927 second user time and 12.6383 second system time
The end
Begin job on nodeC014 at 2024-07-18 17:57:43
IDJOB=4445060
IDBENCH=148098
IDSOLVER=3064
FILE ID=nodeC014/4445060-1721318250
RUNJOBID= nodeC014-1721318012-968464
SLURM_JOB_ID= 7542671
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob4.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-4445060-1721318250/watcher-4445060-1721318250 -o /tmp/evaluation-result-4445060-1721318250/solver-4445060-1721318250 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968464 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445060-1721318250.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 51f776679cf4368d72b5455aa221d9d6
RANDOM SEED=558936754
nodeC014.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 : 3662.990
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.32
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 : 3682.836
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.410
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.32
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.111
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.712
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.32
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 : 3682.917
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.676
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.32
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 : 3599.747
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126470808 kB
MemAvailable: 129737256 kB
Buffers: 443412 kB
Cached: 3626772 kB
SwapCached: 12904 kB
Active: 1372576 kB
Inactive: 3095440 kB
Active(anon): 9332 kB
Inactive(anon): 408964 kB
Active(file): 1363244 kB
Inactive(file): 2686476 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130798872 kB
Dirty: 57068 kB
Writeback: 0 kB
AnonPages: 388984 kB
Mapped: 85460 kB
Shmem: 20452 kB
KReclaimable: 112752 kB
Slab: 210888 kB
SReclaimable: 112752 kB
SUnreclaim: 98136 kB
KernelStack: 4300 kB
PageTables: 10968 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 954000 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 35168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 65536 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: 232148 kB
DirectMap2M: 25755648 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC014 at 2024-07-18 18:57:44