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 = 22405120, getVmSize() = 22405120, SCIPgetMemUsed() = 757369, 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 = 15450112, getVmSize() = 23945216, SCIPgetMemUsed() = 889088, 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-4464343-1722378947
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.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)
4.98/5.08 c 5 15098 1334 1 - 0.0000 -
10.06/10.14 c 10 32793 2977 1 - 0.0000 -
15.04/15.19 c 15 53942 4602 1 - 0.0000 -
20.11/20.23 c 20 71875 6251 1 - 0.0000 -
25.09/25.28 c 25 89306 8036 1 - 0.0000 -
30.18/30.33 c 30 106645 9178 1 - 0.0000 -
35.16/35.37 c 35 124557 10421 1 - 0.0000 -
40.23/40.42 c 40 142431 11471 1 - 0.0000 -
45.22/45.47 c 45 160583 12577 1 - 0.0000 -
50.30/50.52 c 51 179166 13754 1 - 0.0000 -
55.29/55.57 c 56 197211 14879 1 - 0.0000 -
60.37/60.62 c 61 215674 15802 1 - 0.0000 -
65.36/65.66 c 66 233352 16534 1 - 0.0000 -
70.45/70.71 c 71 251503 17431 1 - 0.0000 -
75.42/75.76 c 76 269296 18108 1 - 0.0000 -
80.51/80.81 c 81 287433 19037 1 - 0.0000 -
85.49/85.86 c 86 305886 19774 1 - 0.0000 -
90.57/90.91 c 91 325586 20582 1 - 0.0000 -
95.55/95.96 c 96 344545 21377 1 - 0.0000 -
100.64/101.01 c 101 363283 22021 1 - 0.0000 -
105.62/106.06 c 106 382321 22817 1 - 0.0000 -
110.71/111.11 c 111 400712 23508 1 - 0.0000 -
115.70/116.16 c 116 419596 24122 1 - 0.0000 -
120.78/121.21 c 121 438806 24736 1 - 0.0000 -
125.76/126.26 c 126 456927 25487 1 - 0.0000 -
130.85/131.30 c 131 474969 26137 1 - 0.0000 -
135.83/136.35 c 136 493617 27113 1 - 0.0000 -
140.92/141.40 c 141 511452 27706 1 - 0.0000 -
145.90/146.45 c 146 529797 28381 1 - 0.0000 -
150.98/151.50 c 152 547358 29668 1 - 0.0000 -
155.96/156.55 c 157 567243 31259 1 - 0.0000 -
161.05/161.60 c 162 585184 32646 1 - 0.0000 -
166.03/166.65 c 167 604262 33902 1 - 0.0000 -
171.11/171.70 c 172 623471 35691 1 - 0.0000 -
176.10/176.75 c 177 642042 36922 1 - 0.0000 -
181.19/181.80 c 182 660195 38227 1 - 0.0000 -
186.17/186.85 c 187 679073 39380 1 - 0.0000 -
191.25/191.90 c 192 698176 40569 1 - 0.0000 -
196.24/196.95 c 197 717333 41464 1 - 0.0000 -
201.32/202.00 c 202 735108 42315 1 - 0.0000 -
206.30/207.05 c 207 752679 43024 1 - 0.0000 -
211.29/212.10 c 212 771282 43931 1 - 0.0000 -
216.37/217.15 c 217 789298 44727 1 - 0.0000 -
221.45/222.20 c 222 806405 45490 1 - 0.0000 -
226.44/227.25 c 227 825356 46581 1 - 0.0000 -
231.52/232.30 c 232 842729 47300 1 - 0.0000 -
236.50/237.35 c 237 860762 48115 1 - 0.0000 -
241.59/242.40 c 242 878639 49112 1 - 0.0000 -
246.58/247.45 c 247 896348 50182 1 - 0.0000 -
251.65/252.50 c 252 914163 51001 1 - 0.0000 -
256.64/257.55 c 258 932313 51739 1 - 0.0000 -
261.72/262.60 c 263 949435 52445 1 - 0.0000 -
266.71/267.65 c 268 968442 53276 1 - 0.0000 -
271.78/272.70 c 273 986848 53968 1 - 0.0000 -
276.78/277.75 c 278 1004228 54750 1 - 0.0000 -
281.86/282.80 c 283 1021976 55704 1 - 0.0000 -
286.84/287.85 c 288 1039858 56518 1 - 0.0000 -
291.93/292.90 c 293 1058024 57162 1 - 0.0000 -
296.91/297.95 c 298 1076777 57761 1 - 0.0000 -
302.00/303.00 c 303 1095838 58786 1 - 0.0000 -
306.98/308.05 c 308 1114124 59848 1 - 0.0000 -
311.97/313.10 c 313 1131514 60704 1 - 0.0000 -
317.05/318.15 c 318 1149636 61385 1 - 0.0000 -
322.12/323.20 c 323 1167752 62349 1 - 0.0000 -
327.11/328.25 c 328 1185453 63014 1 - 0.0000 -
332.19/333.30 c 333 1203662 63931 1 - 0.0000 -
337.17/338.35 c 338 1221666 64745 1 - 0.0000 -
342.26/343.40 c 343 1238940 65723 1 - 0.0000 -
347.25/348.45 c 348 1257258 66575 1 - 0.0000 -
352.33/353.50 c 354 1275721 67322 1 - 0.0000 -
357.32/358.55 c 359 1294593 67987 1 - 0.0000 -
362.40/363.60 c 364 1312218 68774 1 - 0.0000 -
367.38/368.65 c 369 1330199 69457 1 - 0.0000 -
372.46/373.70 c 374 1348596 70040 1 - 0.0000 -
377.45/378.75 c 379 1366543 70513 1 - 0.0000 -
382.53/383.80 c 384 1384914 71074 1 - 0.0000 -
387.52/388.85 c 389 1402867 71613 1 - 0.0000 -
392.60/393.90 c 394 1420157 72179 1 - 0.0000 -
397.58/398.95 c 399 1438001 72887 1 - 0.0000 -
402.67/404.00 c 404 1456744 74130 1 - 0.0000 -
407.66/409.05 c 409 1475594 75086 1 - 0.0000 -
412.64/414.10 c 414 1493940 75900 1 - 0.0000 -
417.72/419.15 c 419 1511781 76559 1 - 0.0000 -
422.80/424.20 c 424 1529082 77320 1 - 0.0000 -
427.79/429.25 c 429 1547247 77797 1 - 0.0000 -
432.87/434.30 c 434 1565162 78372 1 - 0.0000 -
437.86/439.35 c 439 1582537 79355 1 - 0.0000 -
442.94/444.40 c 444 1600368 80184 1 - 0.0000 -
447.92/449.45 c 449 1617841 80739 1 - 0.0000 -
453.00/454.50 c 454 1635318 81400 1 - 0.0000 -
457.98/459.55 c 460 1652651 82085 1 - 0.0000 -
463.07/464.60 c 465 1670025 82947 1 - 0.0000 -
468.05/469.65 c 470 1687842 84162 1 - 0.0000 -
473.14/474.70 c 475 1705567 84989 1 - 0.0000 -
478.13/479.75 c 480 1723498 85696 1 - 0.0000 -
483.21/484.80 c 485 1740827 86489 1 - 0.0000 -
488.19/489.85 c 490 1758138 87400 1 - 0.0000 -
493.28/494.90 c 495 1777227 89173 1 - 0.0000 -
498.25/499.95 c 500 1796161 90693 1 - 0.0000 -
503.35/505.00 c 505 1814451 91631 1 - 0.0000 -
508.33/510.05 c 510 1832490 92790 1 - 0.0000 -
513.31/515.10 c 515 1851038 93860 1 - 0.0000 -
518.39/520.15 c 520 1869526 94846 1 - 0.0000 -
523.46/525.20 c 525 1887826 95940 1 - 0.0000 -
528.45/530.25 c 530 1905981 96995 1 - 0.0000 -
533.53/535.30 c 535 1923615 98121 1 - 0.0000 -
538.51/540.35 c 540 1942505 99279 1 - 0.0000 -
543.60/545.40 c 545 1960474 100072 1 - 0.0000 -
548.59/550.45 c 550 1979392 101238 1 - 0.0000 -
553.67/555.50 c 556 1998151 102223 1 - 0.0000 -
558.66/560.55 c 561 2016119 103047 1 - 0.0000 -
563.74/565.60 c 566 2034707 104033 1 - 0.0000 -
568.73/570.65 c 571 2053793 104955 1 - 0.0000 -
573.82/575.70 c 576 2072448 105746 1 - 0.0000 -
578.79/580.75 c 581 2090464 106694 1 - 0.0000 -
583.88/585.80 c 586 2108217 107585 1 - 0.0000 -
588.86/590.85 c 591 2125678 108664 1 - 0.0000 -
593.94/595.90 c 596 2143988 109436 1 - 0.0000 -
598.92/600.95 c 601 2161612 110460 1 - 0.0000 -
604.00/606.00 c 606 2179864 111396 1 - 0.0000 -
608.99/611.05 c 611 2197566 112178 1 - 0.0000 -
613.97/616.10 c 616 2215899 112943 1 - 0.0000 -
619.04/621.15 c 621 2234345 113923 1 - 0.0000 -
624.12/626.20 c 626 2253615 115191 1 - 0.0000 -
629.11/631.25 c 631 2271733 116083 1 - 0.0000 -
634.19/636.30 c 636 2290350 117142 1 - 0.0000 -
639.17/641.35 c 641 2308729 118105 1 - 0.0000 -
644.25/646.40 c 646 2326803 118887 1 - 0.0000 -
649.24/651.45 c 651 2345085 120125 1 - 0.0000 -
654.31/656.50 c 656 2363189 121275 1 - 0.0000 -
659.30/661.55 c 662 2381107 122439 1 - 0.0000 -
664.37/666.60 c 667 2399158 123376 1 - 0.0000 -
669.36/671.65 c 672 2417213 124423 1 - 0.0000 -
674.43/676.70 c 677 2435246 125350 1 - 0.0000 -
679.41/681.75 c 682 2452572 126142 1 - 0.0000 -
684.49/686.80 c 687 2470108 126992 1 - 0.0000 -
689.47/691.85 c 692 2487607 127951 1 - 0.0000 -
694.55/696.90 c 697 2505398 128936 1 - 0.0000 -
699.52/701.95 c 702 2524425 129669 1 - 0.0000 -
704.61/707.01 c 707 2542577 130679 1 - 0.0000 -
709.59/712.06 c 712 2560656 131878 1 - 0.0000 -
714.68/717.12 c 717 2579247 133281 1 - 0.0000 -
719.65/722.17 c 722 2597793 134449 1 - 0.0000 -
724.74/727.22 c 727 2616099 135705 1 - 0.0000 -
729.72/732.27 c 732 2634003 136801 1 - 0.0000 -
734.80/737.32 c 737 2651451 137821 1 - 0.0000 -
739.78/742.37 c 742 2669061 138458 1 - 0.0000 -
744.86/747.42 c 747 2686395 139170 1 - 0.0000 -
749.83/752.47 c 752 2704459 139860 1 - 0.0000 -
754.91/757.52 c 758 2722902 140589 1 - 0.0000 -
759.90/762.57 c 763 2741417 141583 1 - 0.0000 -
764.97/767.62 c 768 2758696 142572 1 - 0.0000 -
769.94/772.67 c 773 2776024 143120 1 - 0.0000 -
775.03/777.72 c 778 2794364 144298 1 - 0.0000 -
780.00/782.77 c 783 2812661 145092 1 - 0.0000 -
785.08/787.82 c 788 2830230 146026 1 - 0.0000 -
790.06/792.87 c 793 2847880 146660 1 - 0.0000 -
795.15/797.92 c 798 2866241 147655 1 - 0.0000 -
800.13/802.97 c 803 2883654 148484 1 - 0.0000 -
805.21/808.02 c 808 2901784 149848 1 - 0.0000 -
810.20/813.07 c 813 2920246 151002 1 - 0.0000 -
815.28/818.13 c 818 2937715 152051 1 - 0.0000 -
820.26/823.18 c 823 2955366 152778 1 - 0.0000 -
825.34/828.23 c 828 2973955 153399 1 - 0.0000 -
830.33/833.28 c 833 2990983 153885 1 - 0.0000 -
835.40/838.33 c 838 3008337 154625 1 - 0.0000 -
840.39/843.38 c 843 3024753 155611 1 - 0.0000 -
845.47/848.43 c 848 3042394 156744 1 - 0.0000 -
850.45/853.48 c 853 3061352 157732 1 - 0.0000 -
855.53/858.53 c 859 3078152 158732 1 - 0.0000 -
860.52/863.58 c 864 3095453 159631 1 - 0.0000 -
865.60/868.63 c 869 3113220 160664 1 - 0.0000 -
870.58/873.68 c 874 3131067 161453 1 - 0.0000 -
875.67/878.73 c 879 3147218 162316 1 - 0.0000 -
880.65/883.78 c 884 3165325 163031 1 - 0.0000 -
885.73/888.83 c 889 3181778 163788 1 - 0.0000 -
890.72/893.88 c 894 3199804 164788 1 - 0.0000 -
895.80/898.93 c 899 3218166 165488 1 - 0.0000 -
900.78/903.98 c 904 3237387 166130 1 - 0.0000 -
905.87/909.03 c 909 3255375 166730 1 - 0.0000 -
910.84/914.08 c 914 3273795 167358 1 - 0.0000 -
915.93/919.13 c 919 3292493 167858 1 - 0.0000 -
920.92/924.18 c 924 3311035 168462 1 - 0.0000 -
925.99/929.23 c 929 3329311 168988 1 - 0.0000 -
930.98/934.28 c 934 3347891 169636 1 - 0.0000 -
936.06/939.33 c 939 3366813 170322 1 - 0.0000 -
941.04/944.38 c 944 3384517 170934 1 - 0.0000 -
946.12/949.43 c 949 3402196 171569 1 - 0.0000 -
951.10/954.48 c 954 3420865 172270 1 - 0.0000 -
956.19/959.53 c 960 3440107 172760 1 - 0.0000 -
961.17/964.58 c 965 3457239 173378 1 - 0.0000 -
966.24/969.63 c 970 3474650 174328 1 - 0.0000 -
971.23/974.68 c 975 3492897 175099 1 - 0.0000 -
976.31/979.73 c 980 3511004 175674 1 - 0.0000 -
981.29/984.78 c 985 3528283 176207 1 - 0.0000 -
986.36/989.83 c 990 3549046 177182 1 - 0.0000 -
991.34/994.88 c 995 3569037 178155 1 - 0.0000 -
996.43/999.93 c 1000 3587625 179001 1 - 0.0000 -
1001.41/1004.98 c 1005 3604872 179694 1 - 0.0000 -
1006.49/1010.03 c 1010 3622302 180404 1 - 0.0000 -
1011.48/1015.08 c 1015 3639164 181160 1 - 0.0000 -
1016.57/1020.13 c 1020 3656620 181856 1 - 0.0000 -
1021.55/1025.17 c 1025 3674645 182779 1 - 0.0000 -
1026.63/1030.22 c 1030 3692569 183799 1 - 0.0000 -
1031.61/1035.27 c 1035 3710063 185027 1 - 0.0000 -
1036.69/1040.32 c 1040 3728247 185941 1 - 0.0000 -
1041.68/1045.37 c 1045 3745782 186574 1 - 0.0000 -
1046.75/1050.42 c 1050 3762587 187353 1 - 0.0000 -
1051.74/1055.47 c 1055 3779702 188094 1 - 0.0000 -
1056.83/1060.52 c 1061 3797506 188640 1 - 0.0000 -
1061.81/1065.57 c 1066 3815179 189341 1 - 0.0000 -
1066.89/1070.62 c 1071 3833489 189944 1 - 0.0000 -
1071.88/1075.67 c 1076 3852191 190706 1 - 0.0000 -
1076.96/1080.74 c 1081 3870205 191654 1 - 0.0000 -
1081.94/1085.79 c 1086 3887598 192730 1 - 0.0000 -
1087.02/1090.84 c 1091 3904434 193728 1 - 0.0000 -
1092.00/1095.89 c 1096 3922166 194414 1 - 0.0000 -
1097.09/1100.94 c 1101 3940028 195016 1 - 0.0000 -
1102.08/1105.99 c 1106 3958376 195876 1 - 0.0000 -
1107.16/1111.04 c 1111 3976798 196682 1 - 0.0000 -
1112.14/1116.09 c 1116 3996681 198051 1 - 0.0000 -
1117.22/1121.14 c 1121 4014193 198803 1 - 0.0000 -
1122.20/1126.19 c 1126 4031475 199433 1 - 0.0000 -
1127.28/1131.24 c 1131 4048741 200245 1 - 0.0000 -
1132.27/1136.29 c 1136 4066038 200988 1 - 0.0000 -
1137.35/1141.34 c 1141 4084673 202143 1 - 0.0000 -
1142.33/1146.39 c 1146 4102207 203109 1 - 0.0000 -
1147.41/1151.44 c 1151 4120130 203760 1 - 0.0000 -
1152.40/1156.49 c 1156 4138482 204924 1 - 0.0000 -
1157.48/1161.54 c 1162 4156978 205812 1 - 0.0000 -
1162.47/1166.59 c 1167 4175675 206315 1 - 0.0000 -
1167.55/1171.64 c 1172 4194184 206828 1 - 0.0000 -
1172.54/1176.69 c 1177 4211402 207384 1 - 0.0000 -
1177.62/1181.74 c 1182 4229098 208790 1 - 0.0000 -
1182.60/1186.79 c 1187 4247160 209790 1 - 0.0000 -
1187.68/1191.84 c 1192 4264548 210412 1 - 0.0000 -
1192.67/1196.89 c 1197 4281930 211584 1 - 0.0000 -
1197.75/1201.94 c 1202 4301026 212596 1 - 0.0000 -
1202.73/1206.99 c 1207 4319265 213497 1 - 0.0000 -
1207.82/1212.04 c 1212 4336869 214311 1 - 0.0000 -
1212.81/1217.09 c 1217 4354216 215284 1 - 0.0000 -
1217.89/1222.14 c 1222 4373055 216085 1 - 0.0000 -
1222.87/1227.19 c 1227 4390938 217192 1 - 0.0000 -
1227.94/1232.24 c 1232 4408404 218289 1 - 0.0000 -
1233.02/1237.30 c 1237 4426789 219374 1 - 0.0000 -
1238.01/1242.35 c 1242 4445039 220144 1 - 0.0000 -
1243.10/1247.40 c 1247 4462818 220865 1 - 0.0000 -
1248.07/1252.45 c 1252 4480932 221921 1 - 0.0000 -
1253.16/1257.50 c 1258 4499117 222770 1 - 0.0000 -
1258.14/1262.55 c 1263 4516890 223567 1 - 0.0000 -
1263.23/1267.60 c 1268 4534204 224309 1 - 0.0000 -
1268.20/1272.65 c 1273 4551068 224883 1 - 0.0000 -
1273.29/1277.70 c 1278 4568240 225499 1 - 0.0000 -
1278.27/1282.75 c 1283 4586243 226126 1 - 0.0000 -
1283.35/1287.80 c 1288 4603469 226768 1 - 0.0000 -
1288.34/1292.85 c 1293 4621107 227438 1 - 0.0000 -
1293.42/1297.90 c 1298 4638810 228471 1 - 0.0000 -
1298.41/1302.95 c 1303 4657023 229386 1 - 0.0000 -
1303.49/1308.00 c 1308 4674215 230056 1 - 0.0000 -
1308.47/1313.05 c 1313 4691932 230647 1 - 0.0000 -
1313.45/1318.10 c 1318 4709390 231289 1 - 0.0000 -
1318.54/1323.15 c 1323 4727522 232331 1 - 0.0000 -
1323.62/1328.20 c 1328 4745454 233391 1 - 0.0000 -
1328.60/1333.25 c 1333 4763719 234396 1 - 0.0000 -
1333.68/1338.30 c 1338 4780691 235232 1 - 0.0000 -
1338.66/1343.35 c 1343 4797727 235940 1 - 0.0000 -
1343.75/1348.40 c 1348 4814864 236769 1 - 0.0000 -
1348.72/1353.45 c 1353 4832084 237443 1 - 0.0000 -
1353.81/1358.50 c 1358 4849587 238420 1 - 0.0000 -
1358.79/1363.55 c 1364 4866994 239005 1 - 0.0000 -
1363.88/1368.60 c 1369 4884449 239706 1 - 0.0000 -
1368.86/1373.65 c 1374 4901994 240425 1 - 0.0000 -
1373.94/1378.70 c 1379 4919202 241183 1 - 0.0000 -
1378.92/1383.75 c 1384 4936424 241735 1 - 0.0000 -
1384.00/1388.80 c 1389 4953225 242268 1 - 0.0000 -
1388.99/1393.85 c 1394 4973106 242969 1 - 0.0000 -
1394.07/1398.90 c 1399 4991153 243672 1 - 0.0000 -
1399.05/1403.95 c 1404 5007962 244213 1 - 0.0000 -
1404.14/1409.00 c 1409 5024799 244998 1 - 0.0000 -
1409.12/1414.05 c 1414 5041960 245815 1 - 0.0000 -
1414.10/1419.10 c 1419 5058737 246500 1 - 0.0000 -
1419.18/1424.15 c 1424 5077059 247278 1 - 0.0000 -
1424.27/1429.20 c 1429 5094877 248200 1 - 0.0000 -
1429.25/1434.25 c 1434 5113623 249176 1 - 0.0000 -
1434.33/1439.30 c 1439 5132035 250942 1 - 0.0000 -
1439.31/1444.35 c 1444 5149695 251966 1 - 0.0000 -
1444.40/1449.40 c 1449 5167678 252935 1 - 0.0000 -
1449.38/1454.45 c 1454 5184968 253607 1 - 0.0000 -
1454.46/1459.50 c 1460 5202250 254075 1 - 0.0000 -
1459.45/1464.55 c 1465 5220247 254686 1 - 0.0000 -
1464.53/1469.60 c 1470 5236941 255494 1 - 0.0000 -
1469.51/1474.65 c 1475 5254295 256174 1 - 0.0000 -
1474.60/1479.70 c 1480 5271752 256981 1 - 0.0000 -
1479.58/1484.75 c 1485 5288758 257499 1 - 0.0000 -
1484.66/1489.80 c 1490 5305836 258237 1 - 0.0000 -
1489.63/1494.85 c 1495 5323986 259264 1 - 0.0000 -
1494.72/1499.90 c 1500 5341305 260639 1 - 0.0000 -
1499.70/1504.95 c 1505 5357940 261466 1 - 0.0000 -
1504.79/1510.00 c 1510 5375006 262148 1 - 0.0000 -
1509.77/1515.06 c 1515 5391884 262678 1 - 0.0000 -
1514.85/1520.11 c 1520 5408884 263484 1 - 0.0000 -
1519.83/1525.16 c 1525 5425735 264251 1 - 0.0000 -
1524.91/1530.23 c 1530 5442621 264969 1 - 0.0000 -
1529.89/1535.28 c 1535 5459052 265552 1 - 0.0000 -
1534.98/1540.33 c 1540 5476308 266534 1 - 0.0000 -
1539.95/1545.38 c 1545 5494205 267161 1 - 0.0000 -
1545.05/1550.43 c 1550 5511873 267649 1 - 0.0000 -
1550.02/1555.48 c 1555 5529840 268444 1 - 0.0000 -
1555.11/1560.53 c 1561 5546891 269277 1 - 0.0000 -
1560.09/1565.58 c 1566 5564215 270081 1 - 0.0000 -
1565.17/1570.63 c 1571 5580934 270800 1 - 0.0000 -
1570.16/1575.68 c 1576 5599186 271366 1 - 0.0000 -
1575.25/1580.73 c 1581 5617096 271968 1 - 0.0000 -
1580.23/1585.78 c 1586 5633607 272675 1 - 0.0000 -
1585.32/1590.83 c 1591 5650794 273512 1 - 0.0000 -
1590.30/1595.88 c 1596 5668669 274235 1 - 0.0000 -
1595.38/1600.93 c 1601 5686289 275101 1 - 0.0000 -
1600.36/1605.98 c 1606 5704352 276126 1 - 0.0000 -
1605.45/1611.03 c 1611 5724344 276878 1 - 0.0000 -
1610.43/1616.08 c 1616 5741980 277756 1 - 0.0000 -
1615.51/1621.13 c 1621 5758956 278608 1 - 0.0000 -
1620.49/1626.18 c 1626 5775828 279435 1 - 0.0000 -
1625.56/1631.23 c 1631 5792845 280080 1 - 0.0000 -
1630.55/1636.28 c 1636 5810327 281126 1 - 0.0000 -
1635.63/1641.33 c 1641 5827313 281764 1 - 0.0000 -
1640.61/1646.38 c 1646 5845864 282659 1 - 0.0000 -
1645.69/1651.43 c 1651 5864793 283972 1 - 0.0000 -
1650.67/1656.48 c 1656 5882905 284985 1 - 0.0000 -
1655.75/1661.53 c 1662 5900421 285653 1 - 0.0000 -
1660.73/1666.58 c 1667 5917023 286211 1 - 0.0000 -
1665.82/1671.63 c 1672 5933648 286856 1 - 0.0000 -
1670.80/1676.68 c 1677 5950952 287920 1 - 0.0000 -
1675.88/1681.73 c 1682 5968125 288457 1 - 0.0000 -
1680.85/1686.78 c 1687 5984719 289025 1 - 0.0000 -
1685.94/1691.83 c 1692 6001419 289737 1 - 0.0000 -
1690.92/1696.88 c 1697 6019138 290568 1 - 0.0000 -
1696.00/1701.93 c 1702 6035661 291345 1 - 0.0000 -
1700.99/1706.98 c 1707 6053502 292400 1 - 0.0000 -
1706.07/1712.03 c 1712 6071514 293462 1 - 0.0000 -
1711.05/1717.08 c 1717 6088682 294504 1 - 0.0000 -
1716.14/1722.13 c 1722 6105408 295544 1 - 0.0000 -
1721.12/1727.18 c 1727 6121666 296480 1 - 0.0000 -
1726.20/1732.23 c 1732 6139198 297272 1 - 0.0000 -
1731.18/1737.28 c 1737 6156311 298140 1 - 0.0000 -
1736.27/1742.33 c 1742 6173559 298916 1 - 0.0000 -
1741.25/1747.38 c 1747 6190506 299855 1 - 0.0000 -
1746.34/1752.43 c 1752 6206960 300489 1 - 0.0000 -
1751.32/1757.48 c 1757 6225441 301346 1 - 0.0000 -
1756.41/1762.53 c 1763 6242781 302002 1 - 0.0000 -
1761.39/1767.58 c 1768 6260681 302632 1 - 0.0000 -
1766.47/1772.63 c 1773 6278760 303167 1 - 0.0000 -
1771.46/1777.68 c 1778 6297016 303739 1 - 0.0000 -
1776.55/1782.73 c 1783 6314326 304287 1 - 0.0000 -
1781.53/1787.78 c 1788 6332185 304976 1 - 0.0000 -
1786.60/1792.83 c 1793 6349312 305599 1 - 0.0000 -
1791.60/1797.88 c 1798 6366266 306221 1 - 0.0000 -
1796.68/1802.93 c 1803 6383995 306970 1 - 0.0000 -
1801.66/1807.98 c 1808 6401388 307593 1 - 0.0000 -
1806.75/1813.03 c 1813 6419146 308791 1 - 0.0000 -
1811.73/1818.08 c 1818 6437859 310940 1 - 0.0000 -
1816.81/1823.13 c 1823 6456119 312188 1 - 0.0000 -
1821.80/1828.18 c 1828 6478428 313507 1 - 0.0000 -
1826.88/1833.23 c 1833 6498190 314757 1 - 0.0000 -
1831.86/1838.28 c 1838 6516534 316143 1 - 0.0000 -
1836.95/1843.33 c 1843 6534019 317670 1 - 0.0000 -
1841.93/1848.38 c 1848 6552314 318593 1 - 0.0000 -
1847.02/1853.43 c 1853 6569726 319563 1 - 0.0000 -
1852.00/1858.48 c 1858 6588471 320076 1 - 0.0000 -
1857.08/1863.53 c 1864 6606475 320698 1 - 0.0000 -
1862.07/1868.58 c 1869 6623139 321280 1 - 0.0000 -
1867.15/1873.63 c 1874 6640749 321862 1 - 0.0000 -
1872.13/1878.68 c 1879 6658137 322328 1 - 0.0000 -
1877.22/1883.73 c 1884 6675969 322940 1 - 0.0000 -
1882.20/1888.78 c 1889 6692897 323658 1 - 0.0000 -
1887.29/1893.83 c 1894 6710315 324522 1 - 0.0000 -
1892.27/1898.88 c 1899 6727228 325287 1 - 0.0000 -
1897.36/1903.93 c 1904 6744055 325974 1 - 0.0000 -
1902.35/1908.98 c 1909 6761733 327040 1 - 0.0000 -
1907.43/1914.03 c 1914 6779183 327776 1 - 0.0000 -
1912.41/1919.08 c 1919 6797742 328413 1 - 0.0000 -
1917.49/1924.13 c 1924 6814363 329264 1 - 0.0000 -
1922.48/1929.18 c 1929 6831100 329831 1 - 0.0000 -
1927.55/1934.23 c 1934 6847953 330902 1 - 0.0000 -
1932.53/1939.28 c 1939 6865425 331700 1 - 0.0000 -
1937.61/1944.33 c 1944 6882114 332405 1 - 0.0000 -
1942.59/1949.38 c 1949 6901517 333360 1 - 0.0000 -
1947.67/1954.43 c 1954 6923961 334270 1 - 0.0000 -
1952.65/1959.48 c 1959 6946521 335192 1 - 0.0000 -
1957.73/1964.53 c 1965 6967431 335838 1 - 0.0000 -
1962.71/1969.58 c 1970 6985486 336377 1 - 0.0000 -
1967.79/1974.63 c 1975 7003488 337061 1 - 0.0000 -
1972.77/1979.68 c 1980 7020409 337796 1 - 0.0000 -
1977.86/1984.73 c 1985 7037027 338510 1 - 0.0000 -
1982.84/1989.78 c 1990 7054752 339193 1 - 0.0000 -
1987.92/1994.83 c 1995 7071443 339842 1 - 0.0000 -
1992.90/1999.88 c 2000 7088933 340208 1 - 0.0000 -
1997.98/2004.93 c 2005 7105901 340476 1 - 0.0000 -
2002.96/2009.98 c 2010 7122905 341016 1 - 0.0000 -
2008.04/2015.03 c 2015 7140364 341713 1 - 0.0000 -
2013.02/2020.08 c 2020 7157565 342200 1 - 0.0000 -
2018.10/2025.13 c 2025 7175301 343618 1 - 0.0000 -
2023.09/2030.18 c 2030 7193553 344932 1 - 0.0000 -
2028.17/2035.23 c 2035 7210949 346222 1 - 0.0000 -
2033.16/2040.28 c 2040 7228375 347264 1 - 0.0000 -
2038.23/2045.33 c 2045 7246024 348299 1 - 0.0000 -
2043.22/2050.38 c 2050 7263203 349148 1 - 0.0000 -
2048.30/2055.43 c 2055 7280899 350270 1 - 0.0000 -
2053.28/2060.48 c 2060 7298773 351362 1 - 0.0000 -
2058.37/2065.53 c 2066 7316150 352555 1 - 0.0000 -
2063.35/2070.58 c 2071 7333397 353740 1 - 0.0000 -
2068.43/2075.63 c 2076 7351363 354700 1 - 0.0000 -
2073.41/2080.68 c 2081 7368212 355701 1 - 0.0000 -
2078.49/2085.73 c 2086 7386570 357161 1 - 0.0000 -
2083.47/2090.78 c 2091 7403675 358360 1 - 0.0000 -
2088.55/2095.83 c 2096 7420805 359378 1 - 0.0000 -
2093.53/2100.88 c 2101 7438206 360539 1 - 0.0000 -
2098.60/2105.93 c 2106 7454617 361494 1 - 0.0000 -
2103.58/2110.98 c 2111 7472938 362569 1 - 0.0000 -
2108.67/2116.03 c 2116 7490903 363754 1 - 0.0000 -
2113.64/2121.08 c 2121 7508088 364783 1 - 0.0000 -
2118.72/2126.13 c 2126 7525526 365721 1 - 0.0000 -
2123.71/2131.18 c 2131 7542285 366730 1 - 0.0000 -
2128.79/2136.23 c 2136 7559675 368164 1 - 0.0000 -
2133.77/2141.28 c 2141 7576627 369072 1 - 0.0000 -
2138.85/2146.33 c 2146 7593968 370135 1 - 0.0000 -
2143.83/2151.38 c 2151 7611032 370983 1 - 0.0000 -
2148.91/2156.43 c 2156 7628701 372200 1 - 0.0000 -
2153.89/2161.50 c 2161 7646056 373037 1 - 0.0000 -
2158.97/2166.54 c 2167 7662532 373713 1 - 0.0000 -
2163.95/2171.59 c 2172 7679633 374550 1 - 0.0000 -
2169.04/2176.64 c 2177 7696530 375313 1 - 0.0000 -
2174.03/2181.69 c 2182 7712830 376153 1 - 0.0000 -
2179.11/2186.74 c 2187 7729693 377088 1 - 0.0000 -
2184.09/2191.79 c 2192 7747084 378363 1 - 0.0000 -
2189.17/2196.84 c 2197 7764329 379610 1 - 0.0000 -
2194.15/2201.89 c 2202 7781870 380767 1 - 0.0000 -
2199.23/2206.94 c 2207 7799483 381878 1 - 0.0000 -
2204.21/2211.99 c 2212 7816498 382919 1 - 0.0000 -
2209.29/2217.04 c 2217 7833379 383916 1 - 0.0000 -
2214.27/2222.09 c 2222 7850629 385084 1 - 0.0000 -
2219.36/2227.14 c 2227 7869367 386014 1 - 0.0000 -
2224.35/2232.19 c 2232 7887126 386997 1 - 0.0000 -
2229.43/2237.24 c 2237 7905021 387948 1 - 0.0000 -
2234.40/2242.29 c 2242 7921836 388747 1 - 0.0000 -
2239.49/2247.34 c 2247 7939123 389502 1 - 0.0000 -
2244.47/2252.39 c 2252 7956533 390268 1 - 0.0000 -
2249.56/2257.44 c 2257 7972838 391211 1 - 0.0000 -
2254.54/2262.49 c 2262 7989167 392264 1 - 0.0000 -
2259.62/2267.54 c 2268 8006151 393510 1 - 0.0000 -
2264.60/2272.59 c 2273 8023112 394327 1 - 0.0000 -
2269.68/2277.64 c 2278 8039481 395422 1 - 0.0000 -
2274.66/2282.69 c 2283 8056569 396302 1 - 0.0000 -
2279.75/2287.74 c 2288 8074156 397039 1 - 0.0000 -
2284.73/2292.79 c 2293 8090889 397998 1 - 0.0000 -
2289.81/2297.84 c 2298 8108313 399128 1 - 0.0000 -
2294.79/2302.89 c 2303 8125784 400293 1 - 0.0000 -
2299.88/2307.94 c 2308 8143725 401418 1 - 0.0000 -
2304.86/2312.99 c 2313 8161156 402473 1 - 0.0000 -
2309.95/2318.04 c 2318 8179015 403528 1 - 0.0000 -
2314.93/2323.09 c 2323 8196781 404614 1 - 0.0000 -
2320.01/2328.14 c 2328 8214420 405631 1 - 0.0000 -
2325.00/2333.19 c 2333 8231856 406513 1 - 0.0000 -
2330.07/2338.24 c 2338 8248658 407547 1 - 0.0000 -
2335.06/2343.29 c 2343 8265789 408504 1 - 0.0000 -
2340.14/2348.34 c 2348 8283348 409423 1 - 0.0000 -
2345.12/2353.39 c 2353 8300363 410190 1 - 0.0000 -
2350.21/2358.44 c 2358 8316909 411144 1 - 0.0000 -
2355.19/2363.49 c 2363 8333721 411864 1 - 0.0000 -
2360.27/2368.54 c 2369 8350069 412482 1 - 0.0000 -
2365.26/2373.59 c 2374 8367254 413369 1 - 0.0000 -
2370.33/2378.65 c 2379 8384776 414321 1 - 0.0000 -
2375.42/2383.70 c 2384 8401712 415497 1 - 0.0000 -
2380.40/2388.75 c 2389 8419360 416729 1 - 0.0000 -
2385.49/2393.80 c 2394 8436014 417611 1 - 0.0000 -
2390.47/2398.85 c 2399 8453371 418670 1 - 0.0000 -
2395.55/2403.90 c 2404 8471038 419673 1 - 0.0000 -
2400.54/2408.95 c 2409 8488803 420504 1 - 0.0000 -
2405.62/2414.00 c 2414 8505568 421309 1 - 0.0000 -
2410.61/2419.05 c 2419 8523958 422293 1 - 0.0000 -
2415.59/2424.10 c 2424 8541178 423097 1 - 0.0000 -
2420.67/2429.15 c 2429 8557722 423787 1 - 0.0000 -
2425.75/2434.20 c 2434 8574643 424582 1 - 0.0000 -
2430.73/2439.25 c 2439 8592907 425420 1 - 0.0000 -
2435.82/2444.30 c 2444 8609205 426320 1 - 0.0000 -
2440.80/2449.35 c 2449 8625981 427160 1 - 0.0000 -
2445.89/2454.40 c 2454 8643213 428128 1 - 0.0000 -
2450.87/2459.45 c 2459 8660543 428756 1 - 0.0000 -
2455.94/2464.50 c 2464 8677442 429663 1 - 0.0000 -
2460.93/2469.55 c 2470 8695267 430624 1 - 0.0000 -
2466.02/2474.60 c 2475 8711818 431611 1 - 0.0000 -
2471.00/2479.65 c 2480 8729279 432368 1 - 0.0000 -
2476.08/2484.70 c 2485 8746725 433008 1 - 0.0000 -
2481.07/2489.75 c 2490 8763095 433680 1 - 0.0000 -
2486.15/2494.80 c 2495 8780708 434265 1 - 0.0000 -
2491.13/2499.85 c 2500 8797708 434907 1 - 0.0000 -
2496.22/2504.90 c 2505 8814938 435871 1 - 0.0000 -
2501.20/2509.95 c 2510 8832296 436511 1 - 0.0000 -
2506.28/2515.00 c 2515 8849676 437425 1 - 0.0000 -
2511.27/2520.05 c 2520 8866287 438162 1 - 0.0000 -
2516.25/2525.10 c 2525 8884015 438894 1 - 0.0000 -
2521.34/2530.15 c 2530 8900986 439941 1 - 0.0000 -
2526.42/2535.20 c 2535 8917872 440599 1 - 0.0000 -
2531.39/2540.25 c 2540 8934839 441418 1 - 0.0000 -
2536.48/2545.30 c 2545 8952541 441966 1 - 0.0000 -
2541.47/2550.35 c 2550 8969576 443211 1 - 0.0000 -
2546.54/2555.40 c 2555 8986312 444033 1 - 0.0000 -
2551.53/2560.45 c 2560 9003190 445089 1 - 0.0000 -
2556.62/2565.50 c 2566 9020244 445617 1 - 0.0000 -
2561.60/2570.55 c 2571 9036418 446209 1 - 0.0000 -
2566.68/2575.60 c 2576 9052725 447026 1 - 0.0000 -
2571.66/2580.65 c 2581 9070905 447668 1 - 0.0000 -
2576.75/2585.70 c 2586 9088742 448163 1 - 0.0000 -
2581.73/2590.75 c 2591 9106744 449013 1 - 0.0000 -
2586.82/2595.80 c 2596 9124830 449571 1 - 0.0000 -
2591.80/2600.85 c 2601 9142335 450184 1 - 0.0000 -
2596.88/2605.90 c 2606 9158170 450797 1 - 0.0000 -
2601.86/2610.95 c 2611 9175540 451497 1 - 0.0000 -
2606.95/2616.00 c 2616 9191939 452142 1 - 0.0000 -
2611.93/2621.05 c 2621 9209084 452799 1 - 0.0000 -
2616.92/2626.10 c 2626 9225759 453784 1 - 0.0000 -
2622.00/2631.15 c 2631 9242762 454709 1 - 0.0000 -
2627.07/2636.20 c 2636 9259455 455500 1 - 0.0000 -
2632.05/2641.25 c 2641 9275891 456288 1 - 0.0000 -
2637.14/2646.30 c 2646 9293554 457327 1 - 0.0000 -
2642.12/2651.35 c 2651 9310195 458056 1 - 0.0000 -
2647.21/2656.40 c 2656 9327847 459026 1 - 0.0000 -
2652.19/2661.45 c 2661 9343377 459708 1 - 0.0000 -
2657.27/2666.50 c 2666 9359677 460340 1 - 0.0000 -
2662.25/2671.55 c 2672 9377257 460898 1 - 0.0000 -
2667.33/2676.60 c 2677 9394355 461420 1 - 0.0000 -
2672.32/2681.65 c 2682 9411065 462072 1 - 0.0000 -
2677.40/2686.70 c 2687 9428604 463153 1 - 0.0000 -
2682.38/2691.75 c 2692 9446351 464352 1 - 0.0000 -
2687.47/2696.80 c 2697 9462574 465379 1 - 0.0000 -
2692.45/2701.85 c 2702 9478874 467055 1 - 0.0000 -
2697.53/2706.90 c 2707 9494278 468006 1 - 0.0000 -
2702.52/2711.95 c 2712 9510610 468746 1 - 0.0000 -
2707.61/2717.00 c 2717 9527637 469755 1 - 0.0000 -
2712.58/2722.05 c 2722 9544575 470657 1 - 0.0000 -
2717.57/2727.10 c 2727 9560280 471520 1 - 0.0000 -
2722.65/2732.15 c 2732 9577572 472198 1 - 0.0000 -
2727.72/2737.20 c 2737 9594911 472949 1 - 0.0000 -
2732.71/2742.25 c 2742 9611421 473483 1 - 0.0000 -
2737.79/2747.30 c 2747 9628862 474192 1 - 0.0000 -
2742.76/2752.35 c 2752 9644704 474620 1 - 0.0000 -
2747.85/2757.40 c 2757 9661212 475324 1 - 0.0000 -
2752.83/2762.45 c 2762 9678312 476028 1 - 0.0000 -
2757.92/2767.50 c 2768 9695871 476717 1 - 0.0000 -
2762.89/2772.55 c 2773 9713109 477417 1 - 0.0000 -
2767.97/2777.60 c 2778 9729887 477949 1 - 0.0000 -
2772.96/2782.65 c 2783 9746781 478811 1 - 0.0000 -
2778.05/2787.70 c 2788 9763400 479660 1 - 0.0000 -
2783.03/2792.75 c 2793 9780376 480426 1 - 0.0000 -
2788.11/2797.80 c 2798 9796583 481071 1 - 0.0000 -
2793.10/2802.85 c 2803 9813120 481688 1 - 0.0000 -
2798.18/2807.90 c 2808 9830097 482207 1 - 0.0000 -
2803.16/2812.95 c 2813 9846581 482741 1 - 0.0000 -
2808.25/2818.00 c 2818 9863110 483186 1 - 0.0000 -
2813.23/2823.05 c 2823 9879372 483660 1 - 0.0000 -
2818.22/2828.10 c 2828 9896256 484176 1 - 0.0000 -
2823.30/2833.15 c 2833 9912149 484677 1 - 0.0000 -
2828.37/2838.20 c 2838 9927717 485115 1 - 0.0000 -
2833.35/2843.25 c 2843 9944397 485551 1 - 0.0000 -
2838.44/2848.30 c 2848 9960948 486366 1 - 0.0000 -
2843.42/2853.35 c 2853 9978152 487374 1 - 0.0000 -
2848.51/2858.40 c 2858 9994513 488385 1 - 0.0000 -
2853.49/2863.45 c 2863 10012697 488873 1 - 0.0000 -
2858.57/2868.50 c 2868 10030148 489482 1 - 0.0000 -
2863.55/2873.55 c 2874 10046714 490326 1 - 0.0000 -
2868.63/2878.60 c 2879 10063091 490883 1 - 0.0000 -
2873.62/2883.65 c 2884 10080702 491430 1 - 0.0000 -
2878.70/2888.70 c 2889 10097988 492088 1 - 0.0000 -
2883.68/2893.75 c 2894 10115392 492880 1 - 0.0000 -
2888.77/2898.80 c 2899 10132833 493707 1 - 0.0000 -
2893.75/2903.85 c 2904 10149043 494307 1 - 0.0000 -
2898.83/2908.90 c 2909 10167128 494882 1 - 0.0000 -
2903.82/2913.95 c 2914 10190157 496011 1 - 0.0000 -
2908.90/2919.00 c 2919 10207571 496987 1 - 0.0000 -
2913.88/2924.05 c 2924 10223734 497744 1 - 0.0000 -
2918.86/2929.10 c 2929 10241314 498454 1 - 0.0000 -
2923.95/2934.15 c 2934 10258764 498882 1 - 0.0000 -
2929.03/2939.20 c 2939 10275087 499443 1 - 0.0000 -
2934.01/2944.25 c 2944 10292185 500131 1 - 0.0000 -
2939.09/2949.30 c 2949 10309140 500662 1 - 0.0000 -
2944.08/2954.35 c 2954 10326552 501548 1 - 0.0000 -
2949.16/2959.41 c 2959 10344505 502769 1 - 0.0000 -
2954.14/2964.46 c 2964 10361341 503709 1 - 0.0000 -
2959.23/2969.51 c 2970 10378890 504902 1 - 0.0000 -
2964.21/2974.56 c 2975 10395963 505899 1 - 0.0000 -
2969.29/2979.61 c 2980 10413193 506939 1 - 0.0000 -
2974.28/2984.66 c 2985 10430389 508093 1 - 0.0000 -
2979.36/2989.71 c 2990 10448011 509003 1 - 0.0000 -
2984.35/2994.76 c 2995 10464506 510224 1 - 0.0000 -
2989.43/2999.81 c 3000 10481831 511151 1 - 0.0000 -
2994.41/3004.86 c 3005 10498696 511868 1 - 0.0000 -
2999.50/3009.91 c 3010 10515833 512691 1 - 0.0000 -
3004.48/3014.96 c 3015 10533215 513659 1 - 0.0000 -
3009.56/3020.01 c 3020 10549522 514345 1 - 0.0000 -
3014.55/3025.06 c 3025 10566296 514857 1 - 0.0000 -
3019.63/3030.11 c 3030 10582936 515571 1 - 0.0000 -
3024.61/3035.16 c 3035 10600464 516201 1 - 0.0000 -
3029.69/3040.21 c 3040 10617496 517081 1 - 0.0000 -
3034.67/3045.26 c 3045 10635204 517675 1 - 0.0000 -
3039.76/3050.31 c 3050 10652739 518570 1 - 0.0000 -
3044.75/3055.36 c 3055 10670500 519189 1 - 0.0000 -
3049.83/3060.41 c 3060 10688844 520059 1 - 0.0000 -
3054.81/3065.46 c 3065 10706785 520680 1 - 0.0000 -
3059.89/3070.51 c 3071 10725321 521248 1 - 0.0000 -
3064.88/3075.56 c 3076 10744311 521794 1 - 0.0000 -
3069.96/3080.61 c 3081 10761931 522258 1 - 0.0000 -
3074.94/3085.66 c 3086 10779643 522678 1 - 0.0000 -
3080.03/3090.71 c 3091 10796817 523096 1 - 0.0000 -
3085.01/3095.76 c 3096 10813680 523739 1 - 0.0000 -
3090.08/3100.81 c 3101 10830680 524291 1 - 0.0000 -
3095.07/3105.86 c 3106 10846132 524967 1 - 0.0000 -
3100.14/3110.91 c 3111 10862383 526110 1 - 0.0000 -
3105.13/3115.96 c 3116 10877967 526878 1 - 0.0000 -
3110.21/3121.01 c 3121 10895508 527987 1 - 0.0000 -
3115.20/3126.07 c 3126 10911885 529257 1 - 0.0000 -
3120.29/3131.12 c 3131 10928597 530255 1 - 0.0000 -
3125.27/3136.17 c 3136 10944761 531179 1 - 0.0000 -
3130.35/3141.22 c 3141 10960735 531925 1 - 0.0000 -
3135.34/3146.27 c 3146 10977406 532644 1 - 0.0000 -
3140.42/3151.32 c 3151 10993982 533262 1 - 0.0000 -
3145.41/3156.37 c 3156 11010707 533821 1 - 0.0000 -
3150.49/3161.42 c 3161 11028146 534388 1 - 0.0000 -
3155.47/3166.47 c 3166 11044397 535047 1 - 0.0000 -
3160.55/3171.52 c 3172 11060816 535708 1 - 0.0000 -
3165.54/3176.59 c 3177 11076514 536681 1 - 0.0000 -
3170.62/3181.64 c 3182 11093900 537299 1 - 0.0000 -
3175.60/3186.69 c 3187 11111573 537880 1 - 0.0000 -
3180.69/3191.74 c 3192 11129420 538361 1 - 0.0000 -
3185.67/3196.79 c 3197 11147814 538737 1 - 0.0000 -
3190.76/3201.84 c 3202 11166085 539090 1 - 0.0000 -
3195.74/3206.89 c 3207 11183128 539795 1 - 0.0000 -
3200.82/3211.94 c 3212 11201429 540436 1 - 0.0000 -
3205.81/3216.99 c 3217 11218693 541160 1 - 0.0000 -
3210.89/3222.04 c 3222 11236865 541760 1 - 0.0000 -
3215.88/3227.09 c 3227 11255354 542641 1 - 0.0000 -
3220.96/3232.14 c 3232 11273341 543206 1 - 0.0000 -
3225.95/3237.19 c 3237 11291697 543711 1 - 0.0000 -
3231.02/3242.24 c 3242 11309396 544364 1 - 0.0000 -
3236.01/3247.29 c 3247 11326677 544793 1 - 0.0000 -
3241.08/3252.34 c 3252 11343775 545283 1 - 0.0000 -
3246.06/3257.39 c 3257 11361077 546157 1 - 0.0000 -
3251.14/3262.44 c 3262 11377413 546891 1 - 0.0000 -
3256.12/3267.49 c 3267 11394388 547590 1 - 0.0000 -
3261.21/3272.54 c 3273 11411280 548156 1 - 0.0000 -
3266.19/3277.59 c 3278 11427893 548863 1 - 0.0000 -
3271.27/3282.64 c 3283 11444720 549312 1 - 0.0000 -
3276.25/3287.69 c 3288 11462135 549801 1 - 0.0000 -
3281.33/3292.74 c 3293 11479030 550338 1 - 0.0000 -
3286.32/3297.79 c 3298 11496727 550759 1 - 0.0000 -
3291.39/3302.84 c 3303 11514455 551397 1 - 0.0000 -
3296.37/3307.89 c 3308 11532277 551915 1 - 0.0000 -
3301.46/3312.94 c 3313 11549236 552372 1 - 0.0000 -
3306.44/3317.99 c 3318 11565936 552764 1 - 0.0000 -
3311.52/3323.04 c 3323 11583527 553193 1 - 0.0000 -
3316.50/3328.09 c 3328 11600970 553592 1 - 0.0000 -
3321.58/3333.14 c 3333 11618321 553995 1 - 0.0000 -
3326.57/3338.19 c 3338 11635257 554331 1 - 0.0000 -
3331.64/3343.24 c 3343 11652234 554746 1 - 0.0000 -
3336.62/3348.29 c 3348 11668618 555212 1 - 0.0000 -
3341.71/3353.34 c 3353 11684852 555596 1 - 0.0000 -
3346.69/3358.39 c 3358 11701450 555856 1 - 0.0000 -
3351.77/3363.44 c 3363 11718852 556340 1 - 0.0000 -
3356.75/3368.49 c 3368 11735405 556687 1 - 0.0000 -
3361.83/3373.54 c 3374 11752244 557466 1 - 0.0000 -
3366.82/3378.59 c 3379 11768543 558373 1 - 0.0000 -
3371.90/3383.64 c 3384 11784685 559317 1 - 0.0000 -
3376.88/3388.69 c 3389 11800343 560170 1 - 0.0000 -
3381.97/3393.75 c 3394 11815774 560959 1 - 0.0000 -
3387.05/3398.80 c 3399 11832125 561696 1 - 0.0000 -
3392.03/3403.85 c 3404 11849066 562235 1 - 0.0000 -
3397.11/3408.90 c 3409 11865130 562925 1 - 0.0000 -
3402.10/3413.95 c 3414 11883188 563799 1 - 0.0000 -
3407.18/3419.00 c 3419 11900045 564526 1 - 0.0000 -
3412.17/3424.05 c 3424 11917704 565153 1 - 0.0000 -
3417.15/3429.10 c 3429 11935781 565728 1 - 0.0000 -
3422.23/3434.15 c 3434 11954148 566345 1 - 0.0000 -
3427.31/3439.20 c 3439 11972206 566783 1 - 0.0000 -
3432.29/3444.25 c 3444 11989123 567286 1 - 0.0000 -
3437.37/3449.30 c 3449 12006670 567599 1 - 0.0000 -
3442.36/3454.35 c 3454 12023348 567991 1 - 0.0000 -
3447.44/3459.40 c 3459 12040414 568661 1 - 0.0000 -
3452.42/3464.45 c 3464 12057761 569298 1 - 0.0000 -
3457.51/3469.50 c 3470 12073546 569817 1 - 0.0000 -
3462.49/3474.55 c 3475 12090589 570554 1 - 0.0000 -
3467.57/3479.60 c 3480 12107399 571004 1 - 0.0000 -
3472.55/3484.65 c 3485 12124182 571687 1 - 0.0000 -
3477.64/3489.70 c 3490 12141166 572263 1 - 0.0000 -
3482.62/3494.75 c 3495 12158807 572968 1 - 0.0000 -
3487.70/3499.80 c 3500 12176130 573647 1 - 0.0000 -
3492.68/3504.85 c 3505 12193260 574259 1 - 0.0000 -
3497.77/3509.90 c 3510 12209428 574821 1 - 0.0000 -
3502.75/3514.95 c 3515 12227339 575860 1 - 0.0000 -
3507.84/3520.06 c 3520 12244265 577014 1 - 0.0000 -
3512.92/3525.11 c 3525 12262773 578504 1 - 0.0000 -
3517.90/3530.16 c 3530 12280956 579381 1 - 0.0000 -
3522.97/3535.21 c 3535 12297627 580090 1 - 0.0000 -
3527.97/3540.26 c 3540 12314966 580591 1 - 0.0000 -
3533.04/3545.31 c 3545 12331114 581941 1 - 0.0000 -
3538.03/3550.36 c 3550 12349017 583100 1 - 0.0000 -
3543.11/3555.41 c 3555 12366323 583678 1 - 0.0000 -
3548.10/3560.46 c 3560 12383288 584477 1 - 0.0000 -
3553.16/3565.51 c 3566 12400648 585191 1 - 0.0000 -
3558.15/3570.56 c 3571 12419141 586506 1 - 0.0000 -
3563.23/3575.61 c 3576 12437116 587425 1 - 0.0000 -
3568.22/3580.66 c 3581 12454339 587860 1 - 0.0000 -
3573.29/3585.71 c 3586 12472827 588532 1 - 0.0000 -
3578.28/3590.76 c 3591 12490474 589039 1 - 0.0000 -
3583.36/3595.81 c 3596 12508911 589594 1 - 0.0000 -
3586.55/3599.07 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.55/3599.07 c Total Time : 3599.0700
3586.55/3599.07 c solving : 3599.0700
3586.55/3599.07 c presolving : 0.0024 (included in solving)
3586.55/3599.07 c B&B Tree :
3586.55/3599.07 c nodes (total) : 1
3586.55/3599.07 c Solution :
3586.55/3599.07 c Solutions found : 0
3586.55/3599.07 c Primal Bound : -
3586.55/3599.07 c Dual Bound : +0.00000000000000e+00
3586.55/3599.07 c Gap : -
3586.55/3599.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 (61205 MiB free)
memory of node 1: 64510 MiB (55748 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464343-1722378947/watcher-4464343-1722378947 -o /tmp/evaluation-result-4464343-1722378947/solver-4464343-1722378947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722378597-29423 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464343-1722378947.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=30858, runsolver pid=30855
[startup+0.100094 s]*
/proc/loadavg: 4.21 2.92 1.39 5/264 30861
/proc/meminfo: memFree=119752124/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=106484 memory=20448 CPUtime=0.09 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 2455 0 0 0 9 0 0 0 20 0 3 0 4496459 109039616 5112 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 26621 5112 2950 3035 0 8415 0
[pid=30858/tid=30860] ppid=30855 vsize=106484 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 1324 0 0 0 9 0 0 0 20 0 3 0 4496459 109039616 5112 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=106484 memory=232851243367 CPUtime=0 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4496460 109039616 5112 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106484 KiB
Current children cumulated memory: 20448 KiB
[startup+0.205646 s]*
/proc/loadavg: 4.21 2.92 1.39 5/264 30861
/proc/meminfo: memFree=119751580/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=106484 memory=20448 CPUtime=0.2 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 2500 0 0 0 19 1 0 0 20 0 3 0 4496459 109039616 5112 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 26621 5112 2950 3035 0 8491 0
[pid=30858/tid=30860] ppid=30855 vsize=106484 memory=664970838410264707 CPUtime=0.19 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 1369 0 0 0 19 0 0 0 20 0 3 0 4496459 109039616 5112 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=106484 memory=18001 CPUtime=0 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4496460 109039616 5112 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106484 KiB
Current children cumulated memory: 20448 KiB
[startup+0.305617 s]*
/proc/loadavg: 4.21 2.92 1.39 6/264 30861
/proc/meminfo: memFree=119750960/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=106484 memory=21036 CPUtime=0.3 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 2625 0 0 0 29 1 0 0 20 0 3 0 4496459 109039616 5259 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 26621 5259 2966 3035 0 8613 0
[pid=30858/tid=30860] ppid=30855 vsize=106484 memory=-5155630193459358597 CPUtime=0.29 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 1494 0 0 0 29 0 0 0 20 0 3 0 4496459 109039616 5259 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=106484 memory=0 CPUtime=0 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4496460 109039616 5259 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106484 KiB
Current children cumulated memory: 21036 KiB
[startup+0.700259 s]
/proc/loadavg: 4.21 2.92 1.39 5/264 30861
/proc/meminfo: memFree=119749616/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=106484 memory=22356 CPUtime=0.69 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 2928 0 0 0 68 1 0 0 20 0 3 0 4496459 109039616 5589 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 26621 5589 2966 3035 0 8880 0
[pid=30858/tid=30860] ppid=30855 vsize=106484 memory=0 CPUtime=0.68 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 1797 0 0 0 68 0 0 0 20 0 3 0 4496459 109039616 5589 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=106484 memory=0 CPUtime=0 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4496460 109039616 5589 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106484 KiB
Current children cumulated memory: 22356 KiB
[startup+1.50025 s]
/proc/loadavg: 4.21 2.92 1.39 5/264 30861
/proc/meminfo: memFree=119749616/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=106484 memory=22436 CPUtime=1.48 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 4200 0 0 0 147 1 0 0 20 0 3 0 4496459 109039616 5609 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 26621 5609 2966 3035 0 8880 0
[pid=30858/tid=30860] ppid=30855 vsize=106484 memory=0 CPUtime=1.47 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 3054 0 0 0 147 0 0 0 20 0 3 0 4496459 109039616 5609 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=106484 memory=0 CPUtime=0 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4496460 109039616 5609 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106484 KiB
Current children cumulated memory: 22436 KiB
[startup+3.10562 s]
/proc/loadavg: 4.21 2.92 1.39 5/264 30861
/proc/meminfo: memFree=119749460/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=106484 memory=22560 CPUtime=3.08 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 4325 0 0 0 307 1 0 0 20 0 3 0 4496459 109039616 5640 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 26621 5640 2966 3035 0 8880 0
[pid=30858/tid=30860] ppid=30855 vsize=106484 memory=2273 CPUtime=3.08 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 3176 0 0 0 307 1 0 0 20 0 3 0 4496459 109039616 5640 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=106484 memory=0 CPUtime=0 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4496460 109039616 5640 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 106484 KiB
Current children cumulated memory: 22560 KiB
[startup+6.30023 s]
/proc/loadavg: 4.19 2.94 1.40 5/264 30861
/proc/meminfo: memFree=119748784/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=106484 memory=24392 CPUtime=6.27 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 6307 0 0 0 625 2 0 0 20 0 3 0 4496459 109039616 6098 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 26621 6098 3014 3035 0 9250 0
[pid=30858/tid=30860] ppid=30855 vsize=106484 memory=-5155630193459358597 CPUtime=6.26 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 5130 0 0 0 624 2 0 0 20 0 3 0 4496459 109039616 6098 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=106484 memory=23560 CPUtime=0 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4496460 109039616 6098 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 106484 KiB
Current children cumulated memory: 24392 KiB
[startup+12.7002 s]
/proc/loadavg: 4.17 2.95 1.42 5/264 30863
/proc/meminfo: memFree=119744108/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=107064 memory=27904 CPUtime=12.64 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 11239 0 0 0 1259 5 0 0 20 0 3 0 4496459 109633536 6976 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 26766 6976 3014 3035 0 10241 0
[pid=30858/tid=30860] ppid=30855 vsize=107064 memory=22560 CPUtime=12.63 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 10019 0 0 0 1258 5 0 0 20 0 3 0 4496459 109633536 6976 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=107064 memory=0 CPUtime=0 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4496460 109633536 6976 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 107064 KiB
Current children cumulated memory: 27904 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 3.01 1.46 5/264 30864
/proc/meminfo: memFree=119381132/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=107644 memory=34284 CPUtime=25.39 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 18105 0 0 0 2528 11 0 0 20 0 3 0 4496459 110227456 8571 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 26911 8571 3014 3035 0 11617 0
[pid=30858/tid=30860] ppid=30855 vsize=107644 memory=25248 CPUtime=25.38 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 16829 0 0 0 2528 10 0 0 20 0 3 0 4496459 110227456 8571 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=107644 memory=11480 CPUtime=0 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4496460 110227456 8571 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 107644 KiB
Current children cumulated memory: 34284 KiB
[startup+51.1048 s]
/proc/loadavg: 4.09 3.09 1.53 5/264 30869
/proc/meminfo: memFree=118974708/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=110532 memory=45628 CPUtime=50.9 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 34800 0 0 0 5070 20 0 0 20 0 3 0 4496459 113184768 11407 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 27633 11407 3014 3035 0 14444 0
[pid=30858/tid=30860] ppid=30855 vsize=110532 memory=43956 CPUtime=50.89 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 33447 0 0 0 5069 20 0 0 20 0 3 0 4496459 113184768 11407 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=110532 memory=43368 CPUtime=0 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4496460 113184768 11407 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 110532 KiB
Current children cumulated memory: 45628 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 3.25 1.66 5/264 30878
/proc/meminfo: memFree=118957404/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=113896 memory=57940 CPUtime=101.93 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 53749 0 0 0 10151 42 0 0 20 0 3 0 4496459 116629504 14485 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 28474 14485 3014 3035 0 17588 0
[pid=30858/tid=30860] ppid=30855 vsize=113896 memory=57740 CPUtime=101.92 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 52308 0 0 0 10150 42 0 0 20 0 3 0 4496459 116629504 14485 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=113896 memory=57072 CPUtime=0 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4496460 116629504 14485 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 113896 KiB
Current children cumulated memory: 57940 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 3.41 1.82 5/264 30889
/proc/meminfo: memFree=118938500/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=122156 memory=74332 CPUtime=161.74 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 75996 0 0 0 16109 65 0 0 20 0 3 0 4496459 125087744 18583 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 30539 18583 3014 3035 0 22262 0
[pid=30858/tid=30860] ppid=30855 vsize=122156 memory=68644 CPUtime=161.72 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 74494 0 0 0 16108 64 0 0 20 0 3 0 4496459 125087744 18583 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=122156 memory=72560 CPUtime=0 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4496460 125087744 18583 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 122156 KiB
################
# More data... #
################
/proc/30858/statm: 183797 157942 3014 3035 0 164140 0
[pid=30858/tid=30860] ppid=30855 vsize=735188 memory=630240 CPUtime=3390.35 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 2994263 0 0 0 337675 1360 0 0 20 0 3 0 4496459 752832512 157942 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=735188 memory=631316 CPUtime=0.02 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 133 0 0 0 0 2 0 0 20 0 3 0 4496460 752832512 157942 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 3390.53 s
Current children cumulated vsize: 735188 KiB
Current children cumulated memory: 631768 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/264 32816
/proc/meminfo: memFree=116542512/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=739304 memory=641212 CPUtime=3450.33 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 3050605 0 0 0 343646 1387 0 0 20 0 3 0 4496459 757047296 160303 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 184826 160303 3014 3035 0 165828 0
[pid=30858/tid=30860] ppid=30855 vsize=739304 memory=636212 CPUtime=3450.13 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 3047780 0 0 0 343631 1382 0 0 20 0 3 0 4496459 757047296 160303 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=739304 memory=11480 CPUtime=0.02 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 135 0 0 0 0 2 0 0 20 0 3 0 4496460 757047296 160303 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 3450.33 s
Current children cumulated vsize: 739304 KiB
Current children cumulated memory: 641212 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.09 5/264 32828
/proc/meminfo: memFree=116519932/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=742072 memory=649700 CPUtime=3510.12 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 3107984 0 0 0 349602 1410 0 0 20 0 3 0 4496459 759881728 162425 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 185518 162425 3014 3035 0 167586 0
[pid=30858/tid=30860] ppid=30855 vsize=742072 memory=641216 CPUtime=3509.92 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 3105145 0 0 0 349587 1405 0 0 20 0 3 0 4496459 759881728 162425 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=742072 memory=649324 CPUtime=0.02 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 4496460 759881728 162425 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 3510.12 s
Current children cumulated vsize: 742072 KiB
Current children cumulated memory: 649700 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 32838
/proc/meminfo: memFree=116230056/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=747972 memory=660544 CPUtime=3569.91 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 3132071 0 0 0 355557 1434 0 0 20 0 3 0 4496459 765923328 165136 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 186993 165136 3014 3035 0 170070 0
[pid=30858/tid=30860] ppid=30855 vsize=747972 memory=11480 CPUtime=3569.71 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 3129218 0 0 0 355542 1429 0 0 20 0 3 0 4496459 765923328 165136 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=747972 memory=659636 CPUtime=0.02 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 4496460 765923328 165136 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 3569.91 s
Current children cumulated vsize: 747972 KiB
Current children cumulated memory: 660544 KiB
[startup+3599.07 s]
# the end of solver process 30858 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3572.22 s, system=14.4159 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.11 4.09 5/263 32838
/proc/meminfo: memFree=116229652/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=747972 memory=661020 CPUtime=3571.61 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 3132175 0 0 0 355727 1434 0 0 20 0 3 0 4496459 765923328 165255 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 186993 165255 3014 3035 0 170166 0
[pid=30858/tid=30860] ppid=30855 vsize=747972 memory=-5155632409679129477 CPUtime=3571.41 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 3129322 0 0 0 355712 1429 0 0 20 0 3 0 4496459 765923328 165255 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=747972 memory=-5155633680935826750 CPUtime=0.02 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 4496460 765923328 165255 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 3571.61 s
Current children cumulated vsize: 747972 KiB
Current children cumulated memory: 661020 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 32840
/proc/meminfo: memFree=116227896/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=748552 memory=662580 CPUtime=3577.98 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 3133648 0 0 0 356361 1437 0 0 20 0 3 0 4496459 766517248 165645 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 187138 165645 3014 3035 0 170343 0
[pid=30858/tid=30860] ppid=30855 vsize=748552 memory=661716 CPUtime=3577.78 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 3130795 0 0 0 356346 1432 0 0 20 0 3 0 4496459 766517248 165645 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=748552 memory=661880 CPUtime=0.02 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 4496460 766517248 165645 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 3577.98 s
Current children cumulated vsize: 748552 KiB
Current children cumulated memory: 662580 KiB
[startup+3593.6 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 32840
/proc/meminfo: memFree=116227556/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=748552 memory=662860 CPUtime=3581.17 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 3133794 0 0 0 356679 1438 0 0 20 0 3 0 4496459 766517248 165715 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 187138 165715 3014 3035 0 170439 0
[pid=30858/tid=30860] ppid=30855 vsize=748552 memory=661912 CPUtime=3580.96 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 3130941 0 0 0 356664 1432 0 0 20 0 3 0 4496459 766517248 165715 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=748552 memory=-5155633680935826750 CPUtime=0.02 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 4496460 766517248 165715 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 3581.17 s
Current children cumulated vsize: 748552 KiB
Current children cumulated memory: 662860 KiB
[startup+3596.8 s]
/proc/loadavg: 4.06 4.11 4.09 5/263 32840
/proc/meminfo: memFree=116213888/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=749324 memory=663632 CPUtime=3584.35 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 3134052 0 0 0 356997 1438 0 0 20 0 3 0 4496459 767307776 165908 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 187331 165908 3014 3035 0 170632 0
[pid=30858/tid=30860] ppid=30855 vsize=749324 memory=280925624121888 CPUtime=3584.15 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 3131199 0 0 0 356982 1433 0 0 20 0 3 0 4496459 767307776 165908 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=749324 memory=659632 CPUtime=0.02 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 4496460 767307776 165908 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 3584.35 s
Current children cumulated vsize: 749324 KiB
Current children cumulated memory: 663632 KiB
[startup+3598.4 s]
/proc/loadavg: 4.06 4.11 4.09 5/263 32841
/proc/meminfo: memFree=116213132/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=710468 memory=623492 CPUtime=3585.96 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 3145811 0 0 0 357156 1440 0 0 20 0 3 0 4496459 727519232 155873 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 177617 155873 3014 3035 0 160918 0
[pid=30858/tid=30860] ppid=30855 vsize=710468 memory=12840 CPUtime=3585.75 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 3142952 0 0 0 357140 1435 0 0 20 0 3 0 4496459 727519232 155873 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=710468 memory=663632 CPUtime=0.02 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 4496460 727519232 155873 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 3585.96 s
Current children cumulated vsize: 710468 KiB
Current children cumulated memory: 623492 KiB
[startup+3598.8 s]
/proc/loadavg: 4.06 4.11 4.09 5/263 32841
/proc/meminfo: memFree=116213132/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=627352 memory=540376 CPUtime=3586.35 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 3146350 0 0 0 357195 1440 0 0 20 0 3 0 4496459 642408448 135094 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 156838 135094 3014 3035 0 140139 0
[pid=30858/tid=30860] ppid=30855 vsize=627352 memory=13616 CPUtime=3586.15 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 3143491 0 0 0 357180 1435 0 0 20 0 3 0 4496459 642408448 135094 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=627352 memory=-7092161729786896763 CPUtime=0.02 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 4496460 642408448 135094 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 3586.35 s
Current children cumulated vsize: 627352 KiB
Current children cumulated memory: 540376 KiB
[startup+3599 s]*
/proc/loadavg: 4.06 4.11 4.09 5/263 32841
/proc/meminfo: memFree=116312040/131524600 swapFree=131071996/131071996
[pid=30858] ppid=30855 vsize=572196 memory=485232 CPUtime=3586.55 cores=0,2
/proc/30858/stat : 30858 (fscip) S 30855 30858 29413 0 -1 1077936128 3147008 0 0 0 357215 1440 0 0 20 0 3 0 4496459 585928704 121308 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
/proc/30858/statm: 143049 121308 3014 3035 0 126350 0
[pid=30858/tid=30860] ppid=30855 vsize=572196 memory=-5155632409679129477 CPUtime=3586.35 cores=0,2
/proc/30858/task/30860/stat : 30860 (fscip) R 30855 30858 29413 0 -1 4194368 3144149 0 0 0 357200 1435 0 0 20 0 3 0 4496459 585928704 121308 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
[pid=30858/tid=30861] ppid=30855 vsize=572196 memory=-5155633680935826750 CPUtime=0.02 cores=0,2
/proc/30858/task/30861/stat : 30861 (fscip) S 30855 30858 29413 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 4496460 585928704 121308 134679101440 4194304 16623229 140735600735488 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 24772608 140735600739350 140735600739466 140735600739466 140735600746480 0
Current children cumulated CPU time: 3586.55 s
Current children cumulated vsize: 572196 KiB
Current children cumulated memory: 485232 KiB
Child status: 0
Real time (s): 3599.07
CPU time (s): 3586.64
CPU user time (s): 3572.22
CPU system time (s): 14.4159
CPU usage (%): 99.6544
Max. virtual memory (cumulated for all children) (KiB): 749324
Max. memory (cumulated for all children) (KiB): 663820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.22
system time used= 14.4159
maximum resident set size= 663820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3147277
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= 10879
involuntary context switches= 25124
# summary of solver processes directly reported to runsolver:
# pid: 30858
# total CPU time (s): 3586.64
# total CPU user time (s): 3572.22
# total CPU system time (s): 14.4159
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18008 second user time and 15.2834 second system time
The end
Begin job on nodeC031 at 2024-07-31 00:35:48
IDJOB=4464343
IDBENCH=148098
IDSOLVER=3092
FILE ID=nodeC031/4464343-1722378947
RUNJOBID= nodeC031-1722378597-29423
SLURM_JOB_ID= 8249854
Free space on /tmp= 889972 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4464343-1722378947/watcher-4464343-1722378947 -o /tmp/evaluation-result-4464343-1722378947/solver-4464343-1722378947 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722378597-29423 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464343-1722378947.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 51f776679cf4368d72b5455aa221d9d6
RANDOM SEED=952557075
nodeC031.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 : 3672.881
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.95
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.065
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 : 7007.12
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.178
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.95
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.199
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 : 7007.12
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 : 3675.336
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.95
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.063
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 : 7007.12
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 : 3607.376
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.95
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.024
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 : 7007.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119761388 kB
MemAvailable: 123801220 kB
Buffers: 85852 kB
Cached: 4783744 kB
SwapCached: 0 kB
Active: 281020 kB
Inactive: 10987496 kB
Active(anon): 1572 kB
Inactive(anon): 6418352 kB
Active(file): 279448 kB
Inactive(file): 4569144 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28368 kB
Writeback: 0 kB
AnonPages: 6396568 kB
Mapped: 124008 kB
Shmem: 21336 kB
KReclaimable: 61772 kB
Slab: 142968 kB
SReclaimable: 61772 kB
SUnreclaim: 81196 kB
KernelStack: 4188 kB
PageTables: 22092 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4143860 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9248 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1495040 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: 236244 kB
DirectMap2M: 8974336 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 889912 MiB
End job on nodeC031 at 2024-07-31 01:35:47