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() = 766402, SCIPgetMemTotal() = 913202, 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 = 15499264, getVmSize() = 24092672, SCIPgetMemUsed() = 898817, SCIPgetMemTotal() = 1492161, 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-4464338-1722379026
0.00/0.00 c Variables : 86 (86 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 : 86 (86 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)
5.08/5.15 c 5 43668 2593 1 - 0.0000 -
10.14/10.20 c 10 77180 6340 1 - 0.0000 -
15.13/15.25 c 15 106813 10073 1 - 0.0000 -
20.11/20.29 c 20 135136 13078 1 - 0.0000 -
25.18/25.34 c 25 162410 14708 1 - 0.0000 -
30.16/30.39 c 30 192111 17088 1 - 0.0000 -
35.24/35.45 c 35 227331 19363 1 - 0.0000 -
40.32/40.50 c 41 254426 21520 1 - 0.0000 -
45.30/45.55 c 46 284474 23017 1 - 0.0000 -
50.38/50.61 c 51 329297 23973 1 - 0.0000 -
55.35/55.65 c 56 362925 23657 1 - 0.0000 -
60.43/60.70 c 61 398923 23820 1 - 0.0000 -
65.42/65.74 c 66 446057 25930 1 - 0.0000 -
70.39/70.79 c 71 481312 27529 1 - 0.0000 -
75.47/75.84 c 76 520253 29862 1 - 0.0000 -
80.45/80.89 c 81 552069 31310 1 - 0.0000 -
85.53/85.94 c 86 581211 32923 1 - 0.0000 -
90.50/90.99 c 91 618468 34964 1 - 0.0000 -
95.59/96.04 c 96 653621 36340 1 - 0.0000 -
100.57/101.09 c 101 695278 33531 1 - 0.0000 -
105.65/106.14 c 106 724123 22111 1 - 0.0000 -
110.63/111.19 c 111 767192 4377 1 - 0.0000 -
115.69/116.24 c 116 799370 9073 1 - 0.0000 -
120.67/121.29 c 121 845019 3380 1 - 0.0000 -
125.75/126.34 c 126 881057 5408 1 - 0.0000 -
130.73/131.39 c 131 921574 6448 1 - 0.0000 -
135.81/136.44 c 136 964476 8261 1 - 0.0000 -
140.79/141.49 c 142 992039 9813 1 - 0.0000 -
145.87/146.54 c 147 1023198 2475 1 - 0.0000 -
150.85/151.59 c 152 1062900 4409 1 - 0.0000 -
155.93/156.64 c 157 1101348 6485 1 - 0.0000 -
160.91/161.69 c 162 1137400 7771 1 - 0.0000 -
165.98/166.75 c 167 1170570 9365 1 - 0.0000 -
171.06/171.80 c 172 1208974 10600 1 - 0.0000 -
176.04/176.85 c 177 1247327 11821 1 - 0.0000 -
181.12/181.90 c 182 1280765 12827 1 - 0.0000 -
186.10/186.95 c 187 1316286 14557 1 - 0.0000 -
191.08/192.01 c 192 1352170 16595 1 - 0.0000 -
196.15/197.05 c 197 1397677 19816 1 - 0.0000 -
201.14/202.10 c 202 1443934 21796 1 - 0.0000 -
206.22/207.15 c 207 1488637 23843 1 - 0.0000 -
211.28/212.20 c 212 1530373 26099 1 - 0.0000 -
216.27/217.25 c 217 1573665 28153 1 - 0.0000 -
221.35/222.30 c 222 1619504 29686 1 - 0.0000 -
226.33/227.35 c 227 1666782 31947 1 - 0.0000 -
231.40/232.40 c 232 1715044 34435 1 - 0.0000 -
236.39/237.45 c 237 1755832 36314 1 - 0.0000 -
241.47/242.50 c 243 1801656 37807 1 - 0.0000 -
246.45/247.55 c 248 1846012 39446 1 - 0.0000 -
251.52/252.60 c 253 1890671 41369 1 - 0.0000 -
256.50/257.65 c 258 1933641 43169 1 - 0.0000 -
261.59/262.70 c 263 1980184 44765 1 - 0.0000 -
266.56/267.75 c 268 2016831 48282 1 - 0.0000 -
271.65/272.80 c 273 2053220 50831 1 - 0.0000 -
276.62/277.85 c 278 2092266 52948 1 - 0.0000 -
281.70/282.90 c 283 2138852 54645 1 - 0.0000 -
286.68/287.95 c 288 2189771 56706 1 - 0.0000 -
291.66/293.01 c 293 2235283 58655 1 - 0.0000 -
296.75/298.05 c 298 2277264 60750 1 - 0.0000 -
301.72/303.10 c 303 2329519 64091 1 - 0.0000 -
306.81/308.15 c 308 2389929 67845 1 - 0.0000 -
311.88/313.20 c 313 2446946 70399 1 - 0.0000 -
316.85/318.25 c 318 2492646 72762 1 - 0.0000 -
321.93/323.30 c 323 2534365 74759 1 - 0.0000 -
326.91/328.35 c 328 2573118 76515 1 - 0.0000 -
331.99/333.40 c 333 2620589 77816 1 - 0.0000 -
336.97/338.45 c 338 2666990 78692 1 - 0.0000 -
342.06/343.50 c 344 2711916 80146 1 - 0.0000 -
347.03/348.55 c 349 2743979 82918 1 - 0.0000 -
352.11/353.60 c 354 2793610 83362 1 - 0.0000 -
357.09/358.65 c 359 2840597 85185 1 - 0.0000 -
362.17/363.70 c 364 2889282 86670 1 - 0.0000 -
367.15/368.75 c 369 2937099 88496 1 - 0.0000 -
372.22/373.80 c 374 2983618 89552 1 - 0.0000 -
377.21/378.85 c 379 3031019 90905 1 - 0.0000 -
382.29/383.90 c 384 3077096 92604 1 - 0.0000 -
387.27/388.95 c 389 3109607 95323 1 - 0.0000 -
392.25/394.01 c 394 3146315 97463 1 - 0.0000 -
397.33/399.05 c 399 3188668 100182 1 - 0.0000 -
402.31/404.10 c 404 3235219 101559 1 - 0.0000 -
407.39/409.15 c 409 3277748 102932 1 - 0.0000 -
412.46/414.20 c 414 3314963 104348 1 - 0.0000 -
417.43/419.25 c 419 3361637 106553 1 - 0.0000 -
422.51/424.30 c 424 3398908 107721 1 - 0.0000 -
427.50/429.35 c 429 3442089 108673 1 - 0.0000 -
432.57/434.40 c 434 3485411 111165 1 - 0.0000 -
437.56/439.45 c 439 3528787 112760 1 - 0.0000 -
442.63/444.50 c 445 3571594 113654 1 - 0.0000 -
447.62/449.55 c 450 3616595 114853 1 - 0.0000 -
452.70/454.60 c 455 3654862 116053 1 - 0.0000 -
457.67/459.65 c 460 3697600 117311 1 - 0.0000 -
462.75/464.70 c 465 3745893 118920 1 - 0.0000 -
467.74/469.75 c 470 3796223 120421 1 - 0.0000 -
472.82/474.80 c 475 3838398 121130 1 - 0.0000 -
477.80/479.85 c 480 3879083 121854 1 - 0.0000 -
482.87/484.90 c 485 3919560 122842 1 - 0.0000 -
487.86/489.95 c 490 3952159 124585 1 - 0.0000 -
492.84/495.01 c 495 3989319 124761 1 - 0.0000 -
497.92/500.05 c 500 4036736 125492 1 - 0.0000 -
502.90/505.10 c 505 4088459 127241 1 - 0.0000 -
507.98/510.15 c 510 4135192 128322 1 - 0.0000 -
513.05/515.20 c 515 4183358 129177 1 - 0.0000 -
518.03/520.25 c 520 4230823 130516 1 - 0.0000 -
523.11/525.30 c 525 4279606 132425 1 - 0.0000 -
528.09/530.35 c 530 4319947 130973 1 - 0.0000 -
533.17/535.41 c 535 4362730 129907 1 - 0.0000 -
538.15/540.46 c 540 4395984 130068 1 - 0.0000 -
543.23/545.51 c 546 4445998 131993 1 - 0.0000 -
548.22/550.56 c 551 4498094 134204 1 - 0.0000 -
553.29/555.61 c 556 4548400 135703 1 - 0.0000 -
558.27/560.66 c 561 4601405 137211 1 - 0.0000 -
563.35/565.71 c 566 4652839 137524 1 - 0.0000 -
568.33/570.76 c 571 4701594 138626 1 - 0.0000 -
573.41/575.81 c 576 4754331 143453 1 - 0.0000 -
578.39/580.86 c 581 4807214 144796 1 - 0.0000 -
583.47/585.91 c 586 4860210 148434 1 - 0.0000 -
588.45/590.96 c 591 4913101 151700 1 - 0.0000 -
593.54/596.01 c 596 4955192 150502 1 - 0.0000 -
598.52/601.06 c 601 4995491 151652 1 - 0.0000 -
603.50/606.11 c 606 5034158 152268 1 - 0.0000 -
608.57/611.16 c 611 5078703 154825 1 - 0.0000 -
613.64/616.21 c 616 5126244 157074 1 - 0.0000 -
618.63/621.26 c 621 5171101 159847 1 - 0.0000 -
623.70/626.31 c 626 5217921 160685 1 - 0.0000 -
628.68/631.36 c 631 5256589 159939 1 - 0.0000 -
633.76/636.41 c 636 5295757 157557 1 - 0.0000 -
638.74/641.46 c 641 5343211 158217 1 - 0.0000 -
643.83/646.51 c 647 5388480 158577 1 - 0.0000 -
648.80/651.56 c 652 5435511 160062 1 - 0.0000 -
653.88/656.61 c 657 5483027 160918 1 - 0.0000 -
658.86/661.66 c 662 5531612 161767 1 - 0.0000 -
663.94/666.71 c 667 5567614 163727 1 - 0.0000 -
668.93/671.76 c 672 5608948 164927 1 - 0.0000 -
674.01/676.81 c 677 5654781 167365 1 - 0.0000 -
678.99/681.86 c 682 5698296 168385 1 - 0.0000 -
684.07/686.91 c 687 5744462 170990 1 - 0.0000 -
689.05/691.96 c 692 5788752 172376 1 - 0.0000 -
694.14/697.01 c 697 5834614 173786 1 - 0.0000 -
699.11/702.06 c 702 5882198 174684 1 - 0.0000 -
704.09/707.11 c 707 5928075 176025 1 - 0.0000 -
709.17/712.16 c 712 5968634 176664 1 - 0.0000 -
714.24/717.21 c 717 6021025 177795 1 - 0.0000 -
719.22/722.26 c 722 6063835 180266 1 - 0.0000 -
724.30/727.31 c 727 6107242 181081 1 - 0.0000 -
729.28/732.36 c 732 6149844 181643 1 - 0.0000 -
734.37/737.41 c 737 6194202 184506 1 - 0.0000 -
739.34/742.46 c 742 6239807 187445 1 - 0.0000 -
744.43/747.51 c 748 6284306 190422 1 - 0.0000 -
749.40/752.56 c 753 6330380 189134 1 - 0.0000 -
754.48/757.61 c 758 6376261 189072 1 - 0.0000 -
759.47/762.66 c 763 6423218 188898 1 - 0.0000 -
764.54/767.71 c 768 6467063 188948 1 - 0.0000 -
769.53/772.76 c 773 6507973 189196 1 - 0.0000 -
774.60/777.81 c 778 6551305 189186 1 - 0.0000 -
779.59/782.86 c 783 6595461 187944 1 - 0.0000 -
784.67/787.91 c 788 6634434 188830 1 - 0.0000 -
789.65/792.96 c 793 6673222 188301 1 - 0.0000 -
794.73/798.01 c 798 6717825 189571 1 - 0.0000 -
799.70/803.06 c 803 6760168 190068 1 - 0.0000 -
804.68/808.11 c 808 6802847 191571 1 - 0.0000 -
809.76/813.16 c 813 6847947 192176 1 - 0.0000 -
814.84/818.21 c 818 6892827 193388 1 - 0.0000 -
819.82/823.26 c 823 6934987 195852 1 - 0.0000 -
824.90/828.31 c 828 6975244 196631 1 - 0.0000 -
829.87/833.36 c 833 7019282 198461 1 - 0.0000 -
834.95/838.41 c 838 7062545 199072 1 - 0.0000 -
839.93/843.46 c 843 7102289 200430 1 - 0.0000 -
845.02/848.51 c 849 7137399 201500 1 - 0.0000 -
850.00/853.56 c 854 7180668 202055 1 - 0.0000 -
855.07/858.61 c 859 7222091 201384 1 - 0.0000 -
860.06/863.66 c 864 7265324 200753 1 - 0.0000 -
865.13/868.71 c 869 7306543 201250 1 - 0.0000 -
870.11/873.76 c 874 7344983 203128 1 - 0.0000 -
875.20/878.81 c 879 7382990 203697 1 - 0.0000 -
880.18/883.86 c 884 7424759 205642 1 - 0.0000 -
885.26/888.91 c 889 7469089 207126 1 - 0.0000 -
890.24/893.96 c 894 7509572 208277 1 - 0.0000 -
895.33/899.01 c 899 7549693 208410 1 - 0.0000 -
900.30/904.06 c 904 7587992 209013 1 - 0.0000 -
905.28/909.11 c 909 7627165 210208 1 - 0.0000 -
910.36/914.16 c 914 7669332 211815 1 - 0.0000 -
915.43/919.21 c 919 7710702 213445 1 - 0.0000 -
920.41/924.26 c 924 7750863 214400 1 - 0.0000 -
925.50/929.31 c 929 7791567 215422 1 - 0.0000 -
930.47/934.36 c 934 7834082 217261 1 - 0.0000 -
935.56/939.41 c 939 7884093 219012 1 - 0.0000 -
940.53/944.46 c 944 7928086 220335 1 - 0.0000 -
945.62/949.51 c 950 7966366 219211 1 - 0.0000 -
950.60/954.56 c 955 8007040 219379 1 - 0.0000 -
955.68/959.61 c 960 8049436 221185 1 - 0.0000 -
960.66/964.66 c 965 8090458 222161 1 - 0.0000 -
965.74/969.71 c 970 8129164 222933 1 - 0.0000 -
970.72/974.76 c 975 8170795 223514 1 - 0.0000 -
975.80/979.81 c 980 8215084 224897 1 - 0.0000 -
980.78/984.86 c 985 8258080 226635 1 - 0.0000 -
985.86/989.91 c 990 8298637 227868 1 - 0.0000 -
990.84/994.96 c 995 8339936 228855 1 - 0.0000 -
995.93/1000.01 c 1000 8381960 229067 1 - 0.0000 -
1000.91/1005.06 c 1005 8419708 228833 1 - 0.0000 -
1005.99/1010.11 c 1010 8443216 228647 1 - 0.0000 -
1010.97/1015.16 c 1015 8481567 226978 1 - 0.0000 -
1016.04/1020.21 c 1020 8526721 227848 1 - 0.0000 -
1021.02/1025.26 c 1025 8576090 224105 1 - 0.0000 -
1026.09/1030.31 c 1030 8618889 225755 1 - 0.0000 -
1031.08/1035.36 c 1035 8665251 225712 1 - 0.0000 -
1036.15/1040.41 c 1040 8707105 226311 1 - 0.0000 -
1041.14/1045.46 c 1045 8748495 225804 1 - 0.0000 -
1046.21/1050.51 c 1051 8790864 224702 1 - 0.0000 -
1051.19/1055.56 c 1056 8835663 225441 1 - 0.0000 -
1056.28/1060.61 c 1061 8880418 225119 1 - 0.0000 -
1061.26/1065.66 c 1066 8921455 224587 1 - 0.0000 -
1066.34/1070.71 c 1071 8963589 225545 1 - 0.0000 -
1071.32/1075.76 c 1076 9003682 225470 1 - 0.0000 -
1076.40/1080.81 c 1081 9044515 224314 1 - 0.0000 -
1081.38/1085.86 c 1086 9094526 223014 1 - 0.0000 -
1086.46/1090.91 c 1091 9140642 218145 1 - 0.0000 -
1091.44/1095.96 c 1096 9190256 216683 1 - 0.0000 -
1096.52/1101.01 c 1101 9237025 215608 1 - 0.0000 -
1101.50/1106.06 c 1106 9280588 215040 1 - 0.0000 -
1106.49/1111.11 c 1111 9341982 215170 1 - 0.0000 -
1111.56/1116.16 c 1116 9388102 214147 1 - 0.0000 -
1116.63/1121.21 c 1121 9437109 213569 1 - 0.0000 -
1121.61/1126.26 c 1126 9483714 212519 1 - 0.0000 -
1126.69/1131.31 c 1131 9529869 207990 1 - 0.0000 -
1131.67/1136.36 c 1136 9588826 206638 1 - 0.0000 -
1136.75/1141.41 c 1141 9639789 191317 1 - 0.0000 -
1141.73/1146.46 c 1146 9684818 179074 1 - 0.0000 -
1146.81/1151.51 c 1152 9730250 171840 1 - 0.0000 -
1151.79/1156.56 c 1157 9776043 169009 1 - 0.0000 -
1156.87/1161.61 c 1162 9821817 168833 1 - 0.0000 -
1161.85/1166.66 c 1167 9863383 166266 1 - 0.0000 -
1166.92/1171.71 c 1172 9908600 165545 1 - 0.0000 -
1171.90/1176.76 c 1177 9953845 165283 1 - 0.0000 -
1176.99/1181.81 c 1182 9996503 162807 1 - 0.0000 -
1181.97/1186.86 c 1187 10037143 159216 1 - 0.0000 -
1187.04/1191.91 c 1192 10078991 157598 1 - 0.0000 -
1192.02/1196.96 c 1197 10122184 153284 1 - 0.0000 -
1197.11/1202.01 c 1202 10164485 150080 1 - 0.0000 -
1202.09/1207.06 c 1207 10209561 152008 1 - 0.0000 -
1207.07/1212.11 c 1212 10257953 150919 1 - 0.0000 -
1212.14/1217.16 c 1217 10294156 153652 1 - 0.0000 -
1217.21/1222.21 c 1222 10337145 154458 1 - 0.0000 -
1222.19/1227.26 c 1227 10384982 152354 1 - 0.0000 -
1227.27/1232.31 c 1232 10420161 155946 1 - 0.0000 -
1232.25/1237.36 c 1237 10462718 157501 1 - 0.0000 -
1237.33/1242.41 c 1242 10518552 155950 1 - 0.0000 -
1242.31/1247.46 c 1247 10566288 157954 1 - 0.0000 -
1247.39/1252.51 c 1253 10615256 157602 1 - 0.0000 -
1252.37/1257.56 c 1258 10661371 158555 1 - 0.0000 -
1257.45/1262.61 c 1263 10708912 159368 1 - 0.0000 -
1262.43/1267.66 c 1268 10755644 159889 1 - 0.0000 -
1267.51/1272.71 c 1273 10802264 159701 1 - 0.0000 -
1272.49/1277.76 c 1278 10849017 160722 1 - 0.0000 -
1277.58/1282.81 c 1283 10897573 161044 1 - 0.0000 -
1282.55/1287.86 c 1288 10945838 162621 1 - 0.0000 -
1287.63/1292.91 c 1293 10995503 166074 1 - 0.0000 -
1292.61/1297.96 c 1298 11042884 165793 1 - 0.0000 -
1297.70/1303.01 c 1303 11089728 166760 1 - 0.0000 -
1302.67/1308.06 c 1308 11137260 167066 1 - 0.0000 -
1307.75/1313.11 c 1313 11186302 166572 1 - 0.0000 -
1312.74/1318.16 c 1318 11233561 166139 1 - 0.0000 -
1317.80/1323.21 c 1323 11278745 165862 1 - 0.0000 -
1322.78/1328.26 c 1328 11324295 164701 1 - 0.0000 -
1327.86/1333.31 c 1333 11367961 163226 1 - 0.0000 -
1332.85/1338.36 c 1338 11411755 160877 1 - 0.0000 -
1337.92/1343.41 c 1343 11459816 155825 1 - 0.0000 -
1342.90/1348.46 c 1348 11514558 120738 1 - 0.0000 -
1347.98/1353.53 c 1354 11550041 65223 1 - 0.0000 -
1352.96/1358.58 c 1359 11597183 67760 1 - 0.0000 -
1358.04/1363.63 c 1364 11648161 70023 1 - 0.0000 -
1363.02/1368.68 c 1369 11698982 72068 1 - 0.0000 -
1368.10/1373.73 c 1374 11745775 74265 1 - 0.0000 -
1373.08/1378.78 c 1379 11790537 74951 1 - 0.0000 -
1378.16/1383.83 c 1384 11854991 78369 1 - 0.0000 -
1383.14/1388.88 c 1389 11899425 81083 1 - 0.0000 -
1388.22/1393.93 c 1394 11949780 84302 1 - 0.0000 -
1393.20/1398.98 c 1399 11995904 87989 1 - 0.0000 -
1398.28/1404.03 c 1404 12042502 90693 1 - 0.0000 -
1403.26/1409.08 c 1409 12091860 93515 1 - 0.0000 -
1408.34/1414.13 c 1414 12147668 96329 1 - 0.0000 -
1413.32/1419.18 c 1419 12194735 98487 1 - 0.0000 -
1418.40/1424.23 c 1424 12240755 101407 1 - 0.0000 -
1423.38/1429.28 c 1429 12297778 104932 1 - 0.0000 -
1428.46/1434.33 c 1434 12352292 108410 1 - 0.0000 -
1433.43/1439.38 c 1439 12396056 111170 1 - 0.0000 -
1438.51/1444.43 c 1444 12437355 112395 1 - 0.0000 -
1443.48/1449.48 c 1449 12481728 115174 1 - 0.0000 -
1448.56/1454.53 c 1455 12526856 117152 1 - 0.0000 -
1453.54/1459.58 c 1460 12570021 119651 1 - 0.0000 -
1458.61/1464.63 c 1465 12614309 121645 1 - 0.0000 -
1463.58/1469.68 c 1470 12660771 123373 1 - 0.0000 -
1468.66/1474.73 c 1475 12705611 124535 1 - 0.0000 -
1473.64/1479.78 c 1480 12747394 126462 1 - 0.0000 -
1478.71/1484.83 c 1485 12784997 130169 1 - 0.0000 -
1483.69/1489.88 c 1490 12828286 136054 1 - 0.0000 -
1488.77/1494.93 c 1495 12870679 139333 1 - 0.0000 -
1493.73/1499.98 c 1500 12913708 141400 1 - 0.0000 -
1498.82/1505.03 c 1505 12957430 139606 1 - 0.0000 -
1503.80/1510.08 c 1510 13004073 141737 1 - 0.0000 -
1508.88/1515.13 c 1515 13053055 145751 1 - 0.0000 -
1513.86/1520.18 c 1520 13102727 147343 1 - 0.0000 -
1518.93/1525.23 c 1525 13155107 151485 1 - 0.0000 -
1523.91/1530.28 c 1530 13203398 152524 1 - 0.0000 -
1528.98/1535.33 c 1535 13247634 154446 1 - 0.0000 -
1533.97/1540.38 c 1540 13290140 157016 1 - 0.0000 -
1539.05/1545.43 c 1545 13336052 158492 1 - 0.0000 -
1544.03/1550.48 c 1550 13386825 161373 1 - 0.0000 -
1549.10/1555.53 c 1556 13431082 163416 1 - 0.0000 -
1554.09/1560.58 c 1561 13476766 165548 1 - 0.0000 -
1559.18/1565.63 c 1566 13520401 167779 1 - 0.0000 -
1564.16/1570.68 c 1571 13559777 170629 1 - 0.0000 -
1569.24/1575.73 c 1576 13605620 173646 1 - 0.0000 -
1574.21/1580.78 c 1581 13653630 174627 1 - 0.0000 -
1579.29/1585.83 c 1586 13711599 176181 1 - 0.0000 -
1584.27/1590.88 c 1591 13767783 177863 1 - 0.0000 -
1589.36/1595.93 c 1596 13810894 179648 1 - 0.0000 -
1594.33/1600.98 c 1601 13856654 181559 1 - 0.0000 -
1599.42/1606.03 c 1606 13899273 183325 1 - 0.0000 -
1604.40/1611.08 c 1611 13942897 185360 1 - 0.0000 -
1609.48/1616.13 c 1616 13986789 187037 1 - 0.0000 -
1614.46/1621.18 c 1621 14028078 189034 1 - 0.0000 -
1619.53/1626.23 c 1626 14072060 191375 1 - 0.0000 -
1624.52/1631.28 c 1631 14116063 193371 1 - 0.0000 -
1629.59/1636.33 c 1636 14159780 195477 1 - 0.0000 -
1634.57/1641.38 c 1641 14200874 197086 1 - 0.0000 -
1639.65/1646.43 c 1646 14244980 199384 1 - 0.0000 -
1644.64/1651.48 c 1651 14288920 201633 1 - 0.0000 -
1649.71/1656.53 c 1657 14331029 203456 1 - 0.0000 -
1654.69/1661.58 c 1662 14378205 205163 1 - 0.0000 -
1659.77/1666.63 c 1667 14422790 206882 1 - 0.0000 -
1664.76/1671.68 c 1672 14473470 207686 1 - 0.0000 -
1669.83/1676.73 c 1677 14516627 206746 1 - 0.0000 -
1674.81/1681.78 c 1682 14560615 206647 1 - 0.0000 -
1679.89/1686.83 c 1687 14609280 206085 1 - 0.0000 -
1684.88/1691.88 c 1692 14650280 207817 1 - 0.0000 -
1689.96/1696.93 c 1697 14694449 209721 1 - 0.0000 -
1694.94/1701.98 c 1702 14743924 211116 1 - 0.0000 -
1700.02/1707.03 c 1707 14785027 211673 1 - 0.0000 -
1705.00/1712.08 c 1712 14823811 212368 1 - 0.0000 -
1710.08/1717.13 c 1717 14864460 213351 1 - 0.0000 -
1715.06/1722.18 c 1722 14902500 214263 1 - 0.0000 -
1720.13/1727.23 c 1727 14946166 214365 1 - 0.0000 -
1725.11/1732.28 c 1732 14992601 214302 1 - 0.0000 -
1730.20/1737.33 c 1737 15036323 213864 1 - 0.0000 -
1735.17/1742.38 c 1742 15078320 215082 1 - 0.0000 -
1740.26/1747.43 c 1747 15119894 216485 1 - 0.0000 -
1745.23/1752.48 c 1752 15168357 218080 1 - 0.0000 -
1750.32/1757.53 c 1758 15214746 219808 1 - 0.0000 -
1755.30/1762.58 c 1763 15260915 221489 1 - 0.0000 -
1760.38/1767.63 c 1768 15300817 222758 1 - 0.0000 -
1765.36/1772.68 c 1773 15346800 224304 1 - 0.0000 -
1770.44/1777.73 c 1778 15391850 227276 1 - 0.0000 -
1775.42/1782.78 c 1783 15427044 229420 1 - 0.0000 -
1780.51/1787.83 c 1788 15460844 230734 1 - 0.0000 -
1785.49/1792.88 c 1793 15503377 232891 1 - 0.0000 -
1790.57/1797.93 c 1798 15552215 234445 1 - 0.0000 -
1795.54/1802.98 c 1803 15603279 236167 1 - 0.0000 -
1800.63/1808.03 c 1808 15652992 238146 1 - 0.0000 -
1805.61/1813.08 c 1813 15695112 239292 1 - 0.0000 -
1810.69/1818.13 c 1818 15738895 240351 1 - 0.0000 -
1815.67/1823.18 c 1823 15788596 242104 1 - 0.0000 -
1820.75/1828.23 c 1828 15845553 243607 1 - 0.0000 -
1825.72/1833.28 c 1833 15902026 244984 1 - 0.0000 -
1831.52/1839.07 c 1839 15948706 30957 1 - 0.0000 -
1836.59/1844.12 c 1844 15988575 34652 1 - 0.0000 -
1841.57/1849.17 c 1849 16021028 39768 1 - 0.0000 -
1846.64/1854.22 c 1854 16055245 43681 1 - 0.0000 -
1851.62/1859.27 c 1859 16090047 47417 1 - 0.0000 -
1856.71/1864.32 c 1864 16123757 50157 1 - 0.0000 -
1861.68/1869.37 c 1869 16152547 51816 1 - 0.0000 -
1866.76/1874.42 c 1874 16184918 52851 1 - 0.0000 -
1871.74/1879.47 c 1879 16215647 54111 1 - 0.0000 -
1876.82/1884.52 c 1885 16241739 55503 1 - 0.0000 -
1881.80/1889.57 c 1890 16271497 58976 1 - 0.0000 -
1886.88/1894.62 c 1895 16308435 61295 1 - 0.0000 -
1891.86/1899.67 c 1900 16351085 63085 1 - 0.0000 -
1896.95/1904.72 c 1905 16395471 63213 1 - 0.0000 -
1901.92/1909.77 c 1910 16431603 65805 1 - 0.0000 -
1907.00/1914.82 c 1915 16468294 68825 1 - 0.0000 -
1911.98/1919.87 c 1920 16505395 72276 1 - 0.0000 -
1917.05/1924.95 c 1925 16548770 76891 1 - 0.0000 -
1922.04/1930.00 c 1930 16588064 80107 1 - 0.0000 -
1927.13/1935.05 c 1935 16627930 83867 1 - 0.0000 -
1932.10/1940.10 c 1940 16672704 87656 1 - 0.0000 -
1937.18/1945.15 c 1945 16718659 90693 1 - 0.0000 -
1942.25/1950.20 c 1950 16763003 94190 1 - 0.0000 -
1947.23/1955.25 c 1955 16813979 97036 1 - 0.0000 -
1952.31/1960.30 c 1960 16857179 99528 1 - 0.0000 -
1957.29/1965.35 c 1965 16900508 101560 1 - 0.0000 -
1962.38/1970.40 c 1970 16944687 104055 1 - 0.0000 -
1967.35/1975.45 c 1975 17000793 106593 1 - 0.0000 -
1972.43/1980.50 c 1981 17049046 73534 1 - 0.0000 -
1977.41/1985.55 c 1986 17083313 76133 1 - 0.0000 -
1982.49/1990.60 c 1991 17117079 78389 1 - 0.0000 -
1987.47/1995.65 c 1996 17148115 80131 1 - 0.0000 -
1992.55/2000.70 c 2001 17172270 81564 1 - 0.0000 -
1997.52/2005.75 c 2006 17200814 83988 1 - 0.0000 -
2002.60/2010.80 c 2011 17236336 86112 1 - 0.0000 -
2007.57/2015.85 c 2016 17267147 88293 1 - 0.0000 -
2012.65/2020.90 c 2021 17297589 89648 1 - 0.0000 -
2017.62/2025.95 c 2026 17329190 92132 1 - 0.0000 -
2022.60/2031.01 c 2031 17360397 93501 1 - 0.0000 -
2027.67/2036.05 c 2036 17395651 96420 1 - 0.0000 -
2032.66/2041.10 c 2041 17427688 99673 1 - 0.0000 -
2037.74/2046.15 c 2046 17460524 102032 1 - 0.0000 -
2042.80/2051.20 c 2051 17491435 105631 1 - 0.0000 -
2047.78/2056.25 c 2056 17522340 108214 1 - 0.0000 -
2052.86/2061.30 c 2061 17552190 109680 1 - 0.0000 -
2057.85/2066.35 c 2066 17581826 111592 1 - 0.0000 -
2062.93/2071.40 c 2071 17611963 113956 1 - 0.0000 -
2067.90/2076.45 c 2076 17646776 116083 1 - 0.0000 -
2072.99/2081.50 c 2082 17680693 118361 1 - 0.0000 -
2077.97/2086.55 c 2087 17711707 121267 1 - 0.0000 -
2083.05/2091.60 c 2092 17741346 123958 1 - 0.0000 -
2088.03/2096.65 c 2097 17775650 126624 1 - 0.0000 -
2093.11/2101.70 c 2102 17809700 128797 1 - 0.0000 -
2098.09/2106.75 c 2107 17845701 131042 1 - 0.0000 -
2103.17/2111.80 c 2112 17879012 132486 1 - 0.0000 -
2108.15/2116.88 c 2117 17906873 135291 1 - 0.0000 -
2113.23/2121.94 c 2122 17933058 137078 1 - 0.0000 -
2118.20/2126.99 c 2127 17970270 139380 1 - 0.0000 -
2123.30/2132.04 c 2132 18004657 141927 1 - 0.0000 -
2128.27/2137.09 c 2137 18039118 144116 1 - 0.0000 -
2133.35/2142.14 c 2142 18071830 145812 1 - 0.0000 -
2138.34/2147.19 c 2147 18107671 148439 1 - 0.0000 -
2143.40/2152.24 c 2152 18134877 150481 1 - 0.0000 -
2148.38/2157.29 c 2157 18165653 151859 1 - 0.0000 -
2153.46/2162.34 c 2162 18193541 154017 1 - 0.0000 -
2158.54/2167.40 c 2167 18223860 155531 1 - 0.0000 -
2163.53/2172.45 c 2172 18252846 155931 1 - 0.0000 -
2168.61/2177.51 c 2178 18281298 156925 1 - 0.0000 -
2173.59/2182.56 c 2183 18299848 158001 1 - 0.0000 -
2178.67/2187.61 c 2188 18326260 159577 1 - 0.0000 -
2183.65/2192.66 c 2193 18358687 161324 1 - 0.0000 -
2188.73/2197.71 c 2198 18394789 163616 1 - 0.0000 -
2193.71/2202.76 c 2203 18419049 164962 1 - 0.0000 -
2198.79/2207.81 c 2208 18448946 166021 1 - 0.0000 -
2203.77/2212.86 c 2213 18469948 166787 1 - 0.0000 -
2208.85/2217.91 c 2218 18493240 167811 1 - 0.0000 -
2213.84/2222.96 c 2223 18511939 168724 1 - 0.0000 -
2218.92/2228.02 c 2228 18546202 171205 1 - 0.0000 -
2223.90/2233.07 c 2233 18577853 173474 1 - 0.0000 -
2228.98/2238.12 c 2238 18611341 176330 1 - 0.0000 -
2233.96/2243.17 c 2243 18646118 179115 1 - 0.0000 -
2239.04/2248.22 c 2248 18680347 181654 1 - 0.0000 -
2244.01/2253.27 c 2253 18714856 184231 1 - 0.0000 -
2249.09/2258.32 c 2258 18749794 187137 1 - 0.0000 -
2254.08/2263.38 c 2263 18786452 190035 1 - 0.0000 -
2259.15/2268.43 c 2268 18817993 192648 1 - 0.0000 -
2264.14/2273.48 c 2273 18849184 195285 1 - 0.0000 -
2269.21/2278.53 c 2279 18885756 198045 1 - 0.0000 -
2274.20/2283.58 c 2284 18911766 200681 1 - 0.0000 -
2279.28/2288.63 c 2289 18939420 203041 1 - 0.0000 -
2284.26/2293.68 c 2294 18969964 204719 1 - 0.0000 -
2289.34/2298.73 c 2299 18998846 206505 1 - 0.0000 -
2294.33/2303.78 c 2304 19026465 208290 1 - 0.0000 -
2299.40/2308.83 c 2309 19048328 210079 1 - 0.0000 -
2304.39/2313.88 c 2314 19066735 212008 1 - 0.0000 -
2309.47/2318.93 c 2319 19086769 213790 1 - 0.0000 -
2314.46/2323.98 c 2324 19110049 215817 1 - 0.0000 -
2319.54/2329.03 c 2329 19137509 217941 1 - 0.0000 -
2324.52/2334.08 c 2334 19163579 220245 1 - 0.0000 -
2329.60/2339.13 c 2339 19195756 222786 1 - 0.0000 -
2334.58/2344.18 c 2344 19231712 225694 1 - 0.0000 -
2339.65/2349.24 c 2349 19264838 228836 1 - 0.0000 -
2344.63/2354.29 c 2354 19293535 231365 1 - 0.0000 -
2349.71/2359.34 c 2359 19328413 234447 1 - 0.0000 -
2354.80/2364.41 c 2364 19348502 236544 1 - 0.0000 -
2359.77/2369.47 c 2369 19375849 238121 1 - 0.0000 -
2364.85/2374.52 c 2375 19400088 239622 1 - 0.0000 -
2369.84/2379.57 c 2380 19427761 241565 1 - 0.0000 -
2374.92/2384.62 c 2385 19451930 243630 1 - 0.0000 -
2379.90/2389.67 c 2390 19483881 244957 1 - 0.0000 -
2384.98/2394.72 c 2395 19508850 246596 1 - 0.0000 -
2389.96/2399.77 c 2400 19537108 248862 1 - 0.0000 -
2395.05/2404.82 c 2405 19563428 251572 1 - 0.0000 -
2400.02/2409.87 c 2410 19587410 253832 1 - 0.0000 -
2405.11/2414.92 c 2415 19613194 255342 1 - 0.0000 -
2410.09/2419.97 c 2420 19643308 256956 1 - 0.0000 -
2415.18/2425.02 c 2425 19672199 260099 1 - 0.0000 -
2420.15/2430.07 c 2430 19702438 261640 1 - 0.0000 -
2425.23/2435.12 c 2435 19728786 263874 1 - 0.0000 -
2430.22/2440.17 c 2440 19758452 265680 1 - 0.0000 -
2435.29/2445.22 c 2445 19788945 267025 1 - 0.0000 -
2440.27/2450.27 c 2450 19818230 268964 1 - 0.0000 -
2445.35/2455.32 c 2455 19848864 270743 1 - 0.0000 -
2450.33/2460.37 c 2460 19884598 273134 1 - 0.0000 -
2455.42/2465.42 c 2465 19920118 275539 1 - 0.0000 -
2460.39/2470.47 c 2470 19956460 278397 1 - 0.0000 -
2465.47/2475.52 c 2476 19990026 281705 1 - 0.0000 -
2470.46/2480.57 c 2481 20021533 284128 1 - 0.0000 -
2475.53/2485.62 c 2486 20050986 285537 1 - 0.0000 -
2480.52/2490.67 c 2491 20071033 287510 1 - 0.0000 -
2485.60/2495.72 c 2496 20090386 288877 1 - 0.0000 -
2490.59/2500.77 c 2501 20114037 291244 1 - 0.0000 -
2495.67/2505.83 c 2506 20137025 294094 1 - 0.0000 -
2500.65/2510.88 c 2511 20168790 297111 1 - 0.0000 -
2505.72/2515.95 c 2516 20195851 299906 1 - 0.0000 -
2510.71/2521.01 c 2521 20226414 304237 1 - 0.0000 -
2515.79/2526.05 c 2526 20254137 306107 1 - 0.0000 -
2520.78/2531.10 c 2531 20274768 307574 1 - 0.0000 -
2525.85/2536.15 c 2536 20297669 309591 1 - 0.0000 -
2530.92/2541.20 c 2541 20324292 312304 1 - 0.0000 -
2535.91/2546.25 c 2546 20350590 315108 1 - 0.0000 -
2540.99/2551.30 c 2551 20376475 316815 1 - 0.0000 -
2545.97/2556.35 c 2556 20405593 319859 1 - 0.0000 -
2551.05/2561.40 c 2561 20432658 321162 1 - 0.0000 -
2556.03/2566.45 c 2566 20459169 322640 1 - 0.0000 -
2561.11/2571.50 c 2572 20484723 324318 1 - 0.0000 -
2566.10/2576.55 c 2577 20506163 326782 1 - 0.0000 -
2571.18/2581.60 c 2582 20525898 328425 1 - 0.0000 -
2576.16/2586.65 c 2587 20549194 331639 1 - 0.0000 -
2581.24/2591.70 c 2592 20574131 334706 1 - 0.0000 -
2586.22/2596.75 c 2597 20600613 338092 1 - 0.0000 -
2591.31/2601.80 c 2602 20622951 340982 1 - 0.0000 -
2596.29/2606.85 c 2607 20652466 343577 1 - 0.0000 -
2601.37/2611.90 c 2612 20693897 346079 1 - 0.0000 -
2606.34/2616.95 c 2617 20729615 348525 1 - 0.0000 -
2611.33/2622.01 c 2622 20767348 351000 1 - 0.0000 -
2616.41/2627.05 c 2627 20804579 353439 1 - 0.0000 -
2621.39/2632.11 c 2632 20835443 355647 1 - 0.0000 -
2626.47/2637.16 c 2637 20864619 358089 1 - 0.0000 -
2631.54/2642.21 c 2642 20882603 359993 1 - 0.0000 -
2636.52/2647.26 c 2647 20902644 361580 1 - 0.0000 -
2641.60/2652.31 c 2652 20929161 363773 1 - 0.0000 -
2646.59/2657.36 c 2657 20955767 366204 1 - 0.0000 -
2651.67/2662.42 c 2662 20984151 368824 1 - 0.0000 -
2656.66/2667.47 c 2667 21011150 371357 1 - 0.0000 -
2661.73/2672.52 c 2673 21038460 373953 1 - 0.0000 -
2666.71/2677.57 c 2678 21067591 375878 1 - 0.0000 -
2671.80/2682.62 c 2683 21093262 378299 1 - 0.0000 -
2676.78/2687.68 c 2688 21120295 380118 1 - 0.0000 -
2681.86/2692.73 c 2693 21151599 382720 1 - 0.0000 -
2686.84/2697.78 c 2698 21185757 385668 1 - 0.0000 -
2691.92/2702.83 c 2703 21221662 388841 1 - 0.0000 -
2696.91/2707.88 c 2708 21252585 391770 1 - 0.0000 -
2701.98/2712.93 c 2713 21281756 394320 1 - 0.0000 -
2706.96/2717.98 c 2718 21308329 395713 1 - 0.0000 -
2712.05/2723.03 c 2723 21340471 398803 1 - 0.0000 -
2717.03/2728.08 c 2728 21369016 401392 1 - 0.0000 -
2722.11/2733.13 c 2733 21401247 404007 1 - 0.0000 -
2727.10/2738.18 c 2738 21431458 406484 1 - 0.0000 -
2732.16/2743.23 c 2743 21464417 409364 1 - 0.0000 -
2737.15/2748.28 c 2748 21494866 412041 1 - 0.0000 -
2742.22/2753.33 c 2753 21530428 414520 1 - 0.0000 -
2747.20/2758.38 c 2758 21560065 416993 1 - 0.0000 -
2752.29/2763.43 c 2763 21590786 419557 1 - 0.0000 -
2757.27/2768.48 c 2768 21624622 421648 1 - 0.0000 -
2762.35/2773.53 c 2774 21659579 424897 1 - 0.0000 -
2767.33/2778.58 c 2779 21692167 428225 1 - 0.0000 -
2772.41/2783.63 c 2784 21713970 430142 1 - 0.0000 -
2777.39/2788.68 c 2789 21733152 432016 1 - 0.0000 -
2782.47/2793.73 c 2794 21759862 434786 1 - 0.0000 -
2787.45/2798.78 c 2799 21788799 437331 1 - 0.0000 -
2792.54/2803.83 c 2804 21816994 439820 1 - 0.0000 -
2797.51/2808.88 c 2809 21851615 442726 1 - 0.0000 -
2802.60/2813.93 c 2814 21879542 444540 1 - 0.0000 -
2807.58/2818.98 c 2819 21913517 447872 1 - 0.0000 -
2812.67/2824.03 c 2824 21941547 450470 1 - 0.0000 -
2817.65/2829.08 c 2829 21971064 453145 1 - 0.0000 -
2822.73/2834.13 c 2834 22000539 455934 1 - 0.0000 -
2827.71/2839.18 c 2839 22030893 458294 1 - 0.0000 -
2832.78/2844.23 c 2844 22056065 460002 1 - 0.0000 -
2837.76/2849.28 c 2849 22091420 462837 1 - 0.0000 -
2842.84/2854.33 c 2854 22129415 466092 1 - 0.0000 -
2847.82/2859.38 c 2859 22168256 468953 1 - 0.0000 -
2852.90/2864.43 c 2864 22204600 472555 1 - 0.0000 -
2857.88/2869.48 c 2869 22237526 475665 1 - 0.0000 -
2862.96/2874.53 c 2875 22265209 478726 1 - 0.0000 -
2867.95/2879.58 c 2880 22300237 481946 1 - 0.0000 -
2873.02/2884.63 c 2885 22330474 485395 1 - 0.0000 -
2878.01/2889.68 c 2890 22360449 488400 1 - 0.0000 -
2883.09/2894.73 c 2895 22393226 491485 1 - 0.0000 -
2888.06/2899.78 c 2900 22426119 493906 1 - 0.0000 -
2893.15/2904.83 c 2905 22467979 497910 1 - 0.0000 -
2898.13/2909.88 c 2910 22507174 501867 1 - 0.0000 -
2903.22/2914.93 c 2915 22535156 504951 1 - 0.0000 -
2908.19/2919.98 c 2920 22569115 508386 1 - 0.0000 -
2913.27/2925.03 c 2925 22608427 512538 1 - 0.0000 -
2918.26/2930.10 c 2930 22643432 516227 1 - 0.0000 -
2923.34/2935.15 c 2935 22673315 518664 1 - 0.0000 -
2928.41/2940.20 c 2940 22706657 521144 1 - 0.0000 -
2933.39/2945.25 c 2945 22739061 524068 1 - 0.0000 -
2938.47/2950.30 c 2950 22772083 527062 1 - 0.0000 -
2943.45/2955.37 c 2955 22809570 530747 1 - 0.0000 -
2948.53/2960.42 c 2960 22845907 534416 1 - 0.0000 -
2953.51/2965.47 c 2965 22884162 538377 1 - 0.0000 -
2958.59/2970.52 c 2971 22911402 540527 1 - 0.0000 -
2963.57/2975.57 c 2976 22939039 542512 1 - 0.0000 -
2968.65/2980.62 c 2981 22971907 544218 1 - 0.0000 -
2973.63/2985.67 c 2986 23000895 547138 1 - 0.0000 -
2978.72/2990.73 c 2991 23026660 549521 1 - 0.0000 -
2983.70/2995.78 c 2996 23048426 551392 1 - 0.0000 -
2988.78/3000.83 c 3001 23070364 552924 1 - 0.0000 -
2993.76/3005.88 c 3006 23096198 554384 1 - 0.0000 -
2998.84/3010.93 c 3011 23121254 556168 1 - 0.0000 -
3003.82/3015.98 c 3016 23143812 557376 1 - 0.0000 -
3008.90/3021.03 c 3021 23171197 559431 1 - 0.0000 -
3013.88/3026.08 c 3026 23201299 561785 1 - 0.0000 -
3018.96/3031.13 c 3031 23233688 563700 1 - 0.0000 -
3023.94/3036.19 c 3036 23261030 565561 1 - 0.0000 -
3029.01/3041.24 c 3041 23288092 568119 1 - 0.0000 -
3033.99/3046.29 c 3046 23318954 570181 1 - 0.0000 -
3039.08/3051.34 c 3051 23350904 571744 1 - 0.0000 -
3044.05/3056.39 c 3056 23377569 573119 1 - 0.0000 -
3049.14/3061.44 c 3061 23403305 575079 1 - 0.0000 -
3054.11/3066.49 c 3066 23433155 576371 1 - 0.0000 -
3059.20/3071.54 c 3072 23458496 577964 1 - 0.0000 -
3064.18/3076.59 c 3077 23483767 579163 1 - 0.0000 -
3069.26/3081.64 c 3082 23509804 580680 1 - 0.0000 -
3074.24/3086.69 c 3087 23537934 582547 1 - 0.0000 -
3079.32/3091.74 c 3092 23563983 583881 1 - 0.0000 -
3084.31/3096.79 c 3097 23593610 585207 1 - 0.0000 -
3089.38/3101.84 c 3102 23619353 588157 1 - 0.0000 -
3094.36/3106.89 c 3107 23650391 590265 1 - 0.0000 -
3099.44/3111.94 c 3112 23684369 591833 1 - 0.0000 -
3104.42/3116.99 c 3117 23717636 594269 1 - 0.0000 -
3109.50/3122.04 c 3122 23749596 595219 1 - 0.0000 -
3114.49/3127.09 c 3127 23781241 596140 1 - 0.0000 -
3119.56/3132.14 c 3132 23808046 597921 1 - 0.0000 -
3124.54/3137.19 c 3137 23827077 599078 1 - 0.0000 -
3129.62/3142.24 c 3142 23849160 599917 1 - 0.0000 -
3134.60/3147.29 c 3147 23884026 602456 1 - 0.0000 -
3139.68/3152.34 c 3152 23912853 604422 1 - 0.0000 -
3144.66/3157.39 c 3157 23940534 606136 1 - 0.0000 -
3149.74/3162.44 c 3162 23971096 608685 1 - 0.0000 -
3154.72/3167.49 c 3168 24003345 610481 1 - 0.0000 -
3159.80/3172.54 c 3173 24027476 612776 1 - 0.0000 -
3164.76/3177.59 c 3178 24051816 615178 1 - 0.0000 -
3169.85/3182.64 c 3183 24076836 617314 1 - 0.0000 -
3174.83/3187.69 c 3188 24106576 618048 1 - 0.0000 -
3179.91/3192.74 c 3193 24128791 619717 1 - 0.0000 -
3184.89/3197.79 c 3198 24160277 621843 1 - 0.0000 -
3189.96/3202.84 c 3203 24194462 623436 1 - 0.0000 -
3194.95/3207.89 c 3208 24235542 626288 1 - 0.0000 -
3200.03/3212.94 c 3213 24270801 628809 1 - 0.0000 -
3205.01/3217.99 c 3218 24309281 631181 1 - 0.0000 -
3210.09/3223.04 c 3223 24332233 632497 1 - 0.0000 -
3215.06/3228.09 c 3228 24360492 633790 1 - 0.0000 -
3220.15/3233.14 c 3233 24381319 635209 1 - 0.0000 -
3225.13/3238.19 c 3238 24408072 636778 1 - 0.0000 -
3230.20/3243.24 c 3243 24426663 638313 1 - 0.0000 -
3235.28/3248.30 c 3248 24450782 639912 1 - 0.0000 -
3240.26/3253.35 c 3253 24478443 641361 1 - 0.0000 -
3245.34/3258.40 c 3258 24506384 642910 1 - 0.0000 -
3250.32/3263.45 c 3263 24535669 642429 1 - 0.0000 -
3255.40/3268.50 c 3269 24558514 643228 1 - 0.0000 -
3260.38/3273.55 c 3274 24577400 644088 1 - 0.0000 -
3265.47/3278.60 c 3279 24604779 645633 1 - 0.0000 -
3270.45/3283.65 c 3284 24630683 646309 1 - 0.0000 -
3275.52/3288.70 c 3289 24650658 647230 1 - 0.0000 -
3280.50/3293.75 c 3294 24679057 648857 1 - 0.0000 -
3285.59/3298.80 c 3299 24697963 650185 1 - 0.0000 -
3290.57/3303.85 c 3304 24726156 650792 1 - 0.0000 -
3295.64/3308.91 c 3309 24753865 652971 1 - 0.0000 -
3300.63/3313.96 c 3314 24777232 654290 1 - 0.0000 -
3305.71/3319.01 c 3319 24804071 655689 1 - 0.0000 -
3310.69/3324.07 c 3324 24827830 657796 1 - 0.0000 -
3315.68/3329.11 c 3329 24848124 659148 1 - 0.0000 -
3320.76/3334.16 c 3334 24871755 660751 1 - 0.0000 -
3325.82/3339.21 c 3339 24897533 662103 1 - 0.0000 -
3330.80/3344.26 c 3344 24921296 664360 1 - 0.0000 -
3335.89/3349.31 c 3349 24946348 667140 1 - 0.0000 -
3340.87/3354.36 c 3354 24974582 668311 1 - 0.0000 -
3345.95/3359.41 c 3359 25002182 668702 1 - 0.0000 -
3350.92/3364.46 c 3364 25029074 669864 1 - 0.0000 -
3356.00/3369.51 c 3370 25058086 670545 1 - 0.0000 -
3360.99/3374.56 c 3375 25086075 671658 1 - 0.0000 -
3366.06/3379.61 c 3380 25110788 672154 1 - 0.0000 -
3371.04/3384.66 c 3385 25133830 673566 1 - 0.0000 -
3376.12/3389.71 c 3390 25159017 674049 1 - 0.0000 -
3381.09/3394.76 c 3395 25188314 674860 1 - 0.0000 -
3386.18/3399.81 c 3400 25216897 675517 1 - 0.0000 -
3391.15/3404.86 c 3405 25244889 676180 1 - 0.0000 -
3396.23/3409.91 c 3410 25274633 677068 1 - 0.0000 -
3401.21/3414.96 c 3415 25303051 677972 1 - 0.0000 -
3406.29/3420.01 c 3420 25331770 679011 1 - 0.0000 -
3411.26/3425.06 c 3425 25359064 680096 1 - 0.0000 -
3416.34/3430.11 c 3430 25385892 681295 1 - 0.0000 -
3421.32/3435.16 c 3435 25413760 682566 1 - 0.0000 -
3426.40/3440.21 c 3440 25439312 684054 1 - 0.0000 -
3431.37/3445.26 c 3445 25466282 685180 1 - 0.0000 -
3436.45/3450.31 c 3450 25492521 686343 1 - 0.0000 -
3441.42/3455.36 c 3455 25522759 687783 1 - 0.0000 -
3446.50/3460.41 c 3460 25551594 689314 1 - 0.0000 -
3451.49/3465.46 c 3465 25575659 690661 1 - 0.0000 -
3456.57/3470.51 c 3471 25604357 692045 1 - 0.0000 -
3461.54/3475.56 c 3476 25637604 693485 1 - 0.0000 -
3466.62/3480.61 c 3481 25669241 695008 1 - 0.0000 -
3471.59/3485.66 c 3486 25704807 696992 1 - 0.0000 -
3476.68/3490.71 c 3491 25734096 699307 1 - 0.0000 -
3481.66/3495.76 c 3496 25766229 701240 1 - 0.0000 -
3486.74/3500.81 c 3501 25798016 702595 1 - 0.0000 -
3491.70/3505.86 c 3506 25828979 703046 1 - 0.0000 -
3496.79/3510.91 c 3511 25856915 703542 1 - 0.0000 -
3501.77/3515.97 c 3516 25884458 705023 1 - 0.0000 -
3506.84/3521.01 c 3521 25914974 706367 1 - 0.0000 -
3511.82/3526.06 c 3526 25942659 707021 1 - 0.0000 -
3516.80/3531.11 c 3531 25967644 708244 1 - 0.0000 -
3521.88/3536.16 c 3536 25997248 710537 1 - 0.0000 -
3526.95/3541.21 c 3541 26035651 713235 1 - 0.0000 -
3531.93/3546.26 c 3546 26072840 715644 1 - 0.0000 -
3537.00/3551.31 c 3551 26111215 717381 1 - 0.0000 -
3541.98/3556.36 c 3556 26142608 719273 1 - 0.0000 -
3547.06/3561.41 c 3561 26176875 721478 1 - 0.0000 -
3552.03/3566.46 c 3566 26204953 723248 1 - 0.0000 -
3557.11/3571.51 c 3572 26245037 726472 1 - 0.0000 -
3562.08/3576.56 c 3577 26289092 728919 1 - 0.0000 -
3567.15/3581.61 c 3582 26324306 730814 1 - 0.0000 -
3572.13/3586.66 c 3587 26360863 732507 1 - 0.0000 -
3577.21/3591.71 c 3592 26392734 734754 1 - 0.0000 -
3582.18/3596.76 c 3597 26423144 736815 1 - 0.0000 -
3584.68/3599.23 c SCIP Status : c solving was interrupted [hard time limit reached]
3584.68/3599.23 c Total Time : 3599.2400
3584.68/3599.23 c solving : 3599.2400
3584.68/3599.23 c presolving : 0.0018 (included in solving)
3584.68/3599.23 c B&B Tree :
3584.68/3599.23 c nodes (total) : 1
3584.68/3599.23 c Solution :
3584.68/3599.23 c Solutions found : 0
3584.68/3599.23 c Primal Bound : -
3584.68/3599.23 c Dual Bound : +0.00000000000000e+00
3584.68/3599.23 c Gap : -
3584.68/3599.24 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: 64096 MiB (56949 MiB free)
memory of node 1: 64473 MiB (62344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464338-1722379026/watcher-4464338-1722379026 -o /tmp/evaluation-result-4464338-1722379026/solver-4464338-1722379026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28205 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464338-1722379026.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=28789, runsolver pid=28786
[startup+0.100105 s]*
/proc/loadavg: 4.26 3.44 1.73 5/246 28792
/proc/meminfo: memFree=122148724/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=106528 memory=19656 CPUtime=0.1 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 2273 0 0 0 10 0 0 0 20 0 3 0 4273266 109084672 4914 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 26632 4914 2950 3035 0 8287 0
[pid=28789/tid=28791] ppid=28786 vsize=106528 memory=4026561586 CPUtime=0.1 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 1132 0 0 0 10 0 0 0 20 0 3 0 4273266 109084672 4914 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=106528 memory=228556276070 CPUtime=0 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4273267 109084672 4914 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 106528 KiB
Current children cumulated memory: 19656 KiB
[startup+0.213065 s]*
/proc/loadavg: 4.26 3.44 1.73 5/246 28792
/proc/meminfo: memFree=122147332/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=106528 memory=20184 CPUtime=0.22 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 2407 0 0 0 22 0 0 0 20 0 3 0 4273266 109084672 5046 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 26632 5046 2950 3035 0 8423 0
[pid=28789/tid=28791] ppid=28786 vsize=106528 memory=664970838410264707 CPUtime=0.21 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 1266 0 0 0 21 0 0 0 20 0 3 0 4273266 109084672 5046 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=106528 memory=80307 CPUtime=0 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4273267 109084672 5046 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 106528 KiB
Current children cumulated memory: 20184 KiB
[startup+0.31288 s]*
/proc/loadavg: 4.26 3.44 1.73 5/246 28792
/proc/meminfo: memFree=122146520/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=106528 memory=20712 CPUtime=0.31 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 2561 0 0 0 31 0 0 0 20 0 3 0 4273266 109084672 5178 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 26632 5178 2950 3035 0 8567 0
[pid=28789/tid=28791] ppid=28786 vsize=106528 memory=-5155629081079082117 CPUtime=0.31 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 1420 0 0 0 31 0 0 0 20 0 3 0 4273266 109084672 5178 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=106528 memory=0 CPUtime=0 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4273267 109084672 5178 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 106528 KiB
Current children cumulated memory: 20712 KiB
[startup+0.700399 s]
/proc/loadavg: 4.26 3.44 1.73 5/246 28792
/proc/meminfo: memFree=122146044/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=106528 memory=21240 CPUtime=0.69 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 2671 0 0 0 69 0 0 0 20 0 3 0 4273266 109084672 5310 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 26632 5310 2950 3035 0 8651 0
[pid=28789/tid=28791] ppid=28786 vsize=106528 memory=0 CPUtime=0.68 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 1530 0 0 0 68 0 0 0 20 0 3 0 4273266 109084672 5310 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=106528 memory=0 CPUtime=0 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4273267 109084672 5310 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106528 KiB
Current children cumulated memory: 21240 KiB
[startup+1.50038 s]
/proc/loadavg: 4.24 3.45 1.74 5/246 28792
/proc/meminfo: memFree=122146008/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=106528 memory=21404 CPUtime=1.48 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 3867 0 0 0 148 0 0 0 20 0 3 0 4273266 109084672 5351 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 26632 5351 2950 3035 0 8651 0
[pid=28789/tid=28791] ppid=28786 vsize=106528 memory=0 CPUtime=1.47 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 2712 0 0 0 147 0 0 0 20 0 3 0 4273266 109084672 5351 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=106528 memory=0 CPUtime=0 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4273267 109084672 5351 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106528 KiB
Current children cumulated memory: 21404 KiB
[startup+3.11262 s]
/proc/loadavg: 4.24 3.45 1.74 5/246 28792
/proc/meminfo: memFree=122144512/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=106528 memory=22336 CPUtime=3.09 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 4209 0 0 0 307 2 0 0 20 0 3 0 4273266 109084672 5584 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 26632 5584 2966 3035 0 8819 0
[pid=28789/tid=28791] ppid=28786 vsize=106528 memory=0 CPUtime=3.08 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 3051 0 0 0 306 2 0 0 20 0 3 0 4273266 109084672 5584 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=106528 memory=0 CPUtime=0 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4273267 109084672 5584 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 106528 KiB
Current children cumulated memory: 22336 KiB
[startup+6.30035 s]
/proc/loadavg: 4.22 3.46 1.75 5/246 28794
/proc/meminfo: memFree=122139068/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=107108 memory=28432 CPUtime=6.26 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 7439 0 0 0 622 4 0 0 20 0 3 0 4273266 109678592 7108 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 26777 7108 3014 3035 0 10173 0
[pid=28789/tid=28791] ppid=28786 vsize=107108 memory=-5155629081079082117 CPUtime=6.25 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 6257 0 0 0 621 4 0 0 20 0 3 0 4273266 109678592 7108 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=107108 memory=0 CPUtime=0 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4273267 109678592 7108 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107108 KiB
Current children cumulated memory: 28432 KiB
[startup+12.7004 s]
/proc/loadavg: 4.20 3.47 1.76 5/246 28794
/proc/meminfo: memFree=122127340/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=108628 memory=41060 CPUtime=12.64 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 18344 0 0 0 1254 10 0 0 20 0 3 0 4273266 111235072 10265 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 27157 10265 3014 3035 0 13661 0
[pid=28789/tid=28791] ppid=28786 vsize=108628 memory=26520 CPUtime=12.63 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 17121 0 0 0 1253 10 0 0 20 0 3 0 4273266 111235072 10265 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=108628 memory=14600 CPUtime=0 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4273267 111235072 10265 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 108628 KiB
Current children cumulated memory: 41060 KiB
[startup+25.5004 s]
/proc/loadavg: 4.17 3.49 1.79 5/246 28797
/proc/meminfo: memFree=122109400/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=118044 memory=57480 CPUtime=25.38 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 34540 0 0 0 2519 19 0 0 20 0 3 0 4273266 120877056 14370 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 29511 14370 3014 3035 0 18307 0
[pid=28789/tid=28791] ppid=28786 vsize=118044 memory=29132 CPUtime=25.37 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 33265 0 0 0 2518 19 0 0 20 0 3 0 4273266 120877056 14370 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=118044 memory=11516 CPUtime=0 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4273267 120877056 14370 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 118044 KiB
Current children cumulated memory: 57480 KiB
[startup+51.1127 s]
/proc/loadavg: 4.18 3.55 1.87 5/246 28800
/proc/meminfo: memFree=122042628/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=132212 memory=80068 CPUtime=50.88 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 68261 0 0 0 5049 39 0 0 20 0 3 0 4273266 135385088 20017 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 33053 20017 3014 3035 0 24888 0
[pid=28789/tid=28791] ppid=28786 vsize=132212 memory=78512 CPUtime=50.87 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 66910 0 0 0 5048 39 0 0 20 0 3 0 4273266 135385088 20017 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=132212 memory=76560 CPUtime=0 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4273267 135385088 20017 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 132212 KiB
Current children cumulated memory: 80068 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 3.66 1.99 5/246 28808
/proc/meminfo: memFree=121982504/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=146160 memory=103680 CPUtime=101.85 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 111435 0 0 0 10110 75 0 0 20 0 3 0 4273266 149667840 25920 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 36540 25920 3014 3035 0 31107 0
[pid=28789/tid=28791] ppid=28786 vsize=146160 memory=103248 CPUtime=101.83 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 110005 0 0 0 10108 75 0 0 20 0 3 0 4273266 149667840 25920 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=146160 memory=12624 CPUtime=0 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4273267 149667840 25920 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 146160 KiB
Current children cumulated memory: 103680 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 3.74 2.12 5/246 28819
/proc/meminfo: memFree=121891052/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=149488 memory=107392 CPUtime=161.6 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 140071 0 0 0 16042 118 0 0 20 0 3 0 4273266 153075712 26848 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 37372 26848 3014 3035 0 32394 0
[pid=28789/tid=28791] ppid=28786 vsize=149488 memory=105444 CPUtime=161.58 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 138596 0 0 0 16040 118 0 0 20 0 3 0 4273266 153075712 26848 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=149488 memory=107328 CPUtime=0 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4273267 153075712 26848 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 149488 KiB
################
# More data... #
################
/proc/28789/statm: 175869 164801 3014 3035 0 170082 0
[pid=28789/tid=28791] ppid=28786 vsize=703476 memory=642184 CPUtime=3388.33 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 2577148 0 0 0 336290 2543 0 0 20 0 3 0 4273266 720359424 164801 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=703476 memory=643832 CPUtime=0.04 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 130 0 0 0 0 4 0 0 20 0 3 0 4273267 720359424 164801 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 3388.66 s
Current children cumulated vsize: 703476 KiB
Current children cumulated memory: 659204 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.19 4.10 5/248 30792
/proc/meminfo: memFree=115825928/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=769012 memory=670388 CPUtime=3448.39 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 2614322 0 0 0 342255 2584 0 0 20 0 3 0 4273266 787468288 167597 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 192253 167597 3014 3035 0 172804 0
[pid=28789/tid=28791] ppid=28786 vsize=769012 memory=642184 CPUtime=3448.06 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 2611566 0 0 0 342230 2576 0 0 20 0 3 0 4273266 787468288 167597 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=769012 memory=643832 CPUtime=0.04 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 132 0 0 0 0 4 0 0 20 0 3 0 4273267 787468288 167597 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 3448.39 s
Current children cumulated vsize: 769012 KiB
Current children cumulated memory: 670388 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.15 4.09 5/247 30803
/proc/meminfo: memFree=115797728/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=769012 memory=686112 CPUtime=3508.13 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 2630958 0 0 0 348196 2617 0 0 20 0 3 0 4273266 787468288 171528 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 192253 171528 3014 3035 0 176558 0
[pid=28789/tid=28791] ppid=28786 vsize=769012 memory=676480 CPUtime=3507.79 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 2628188 0 0 0 348171 2608 0 0 20 0 3 0 4273266 787468288 171528 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=769012 memory=5492 CPUtime=0.04 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 134 0 0 0 0 4 0 0 20 0 3 0 4273267 787468288 171528 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 3508.13 s
Current children cumulated vsize: 769012 KiB
Current children cumulated memory: 686112 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/247 30815
/proc/meminfo: memFree=115766576/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=769012 memory=708128 CPUtime=3567.86 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 2645516 0 0 0 354132 2654 0 0 20 0 3 0 4273266 787468288 177032 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 192253 177032 3014 3035 0 181164 0
[pid=28789/tid=28791] ppid=28786 vsize=769012 memory=705940 CPUtime=3567.51 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 2642732 0 0 0 354106 2645 0 0 20 0 3 0 4273266 787468288 177032 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=769012 memory=11516 CPUtime=0.04 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 136 0 0 0 0 4 0 0 20 0 3 0 4273267 787468288 177032 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 3567.86 s
Current children cumulated vsize: 769012 KiB
Current children cumulated memory: 708128 KiB
[startup+3599.24 s]
# the end of solver process 28789 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3558.07 s, system=26.6602 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.15 4.09 5/247 30815
/proc/meminfo: memFree=115764712/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=769012 memory=709924 CPUtime=3569.56 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 2647132 0 0 0 354301 2655 0 0 20 0 3 0 4273266 787468288 177481 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 192253 177481 3014 3035 0 181392 0
[pid=28789/tid=28791] ppid=28786 vsize=769012 memory=-5155635678166150021 CPUtime=3569.21 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 2644348 0 0 0 354275 2646 0 0 20 0 3 0 4273266 787468288 177481 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=769012 memory=7512410536522910318 CPUtime=0.04 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 136 0 0 0 0 4 0 0 20 0 3 0 4273267 787468288 177481 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 3569.56 s
Current children cumulated vsize: 769012 KiB
Current children cumulated memory: 709924 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.15 4.09 5/247 30817
/proc/meminfo: memFree=115762816/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=769012 memory=711668 CPUtime=3575.91 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 2648261 0 0 0 354932 2659 0 0 20 0 3 0 4273266 787468288 177917 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 192253 177917 3014 3035 0 181824 0
[pid=28789/tid=28791] ppid=28786 vsize=769012 memory=709924 CPUtime=3575.57 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 2645477 0 0 0 354906 2651 0 0 20 0 3 0 4273266 787468288 177917 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=769012 memory=11516 CPUtime=0.04 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 136 0 0 0 0 4 0 0 20 0 3 0 4273267 787468288 177917 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 3575.91 s
Current children cumulated vsize: 769012 KiB
Current children cumulated memory: 711668 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.15 4.09 5/247 30817
/proc/meminfo: memFree=115761332/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=769012 memory=712772 CPUtime=3579.1 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 2649204 0 0 0 355249 2661 0 0 20 0 3 0 4273266 787468288 178193 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 192253 178193 3014 3035 0 182096 0
[pid=28789/tid=28791] ppid=28786 vsize=769012 memory=709156 CPUtime=3578.75 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 2646420 0 0 0 355223 2652 0 0 20 0 3 0 4273266 787468288 178193 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=769012 memory=14600 CPUtime=0.04 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 136 0 0 0 0 4 0 0 20 0 3 0 4273267 787468288 178193 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 3579.1 s
Current children cumulated vsize: 769012 KiB
Current children cumulated memory: 712772 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.15 4.09 5/247 30818
/proc/meminfo: memFree=115758520/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=769012 memory=715084 CPUtime=3582.28 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 2650743 0 0 0 355566 2662 0 0 20 0 3 0 4273266 787468288 178771 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 192253 178771 3014 3035 0 182834 0
[pid=28789/tid=28791] ppid=28786 vsize=769012 memory=11516 CPUtime=3581.93 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 2647948 0 0 0 355540 2653 0 0 20 0 3 0 4273266 787468288 178771 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=769012 memory=708128 CPUtime=0.04 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 136 0 0 0 0 4 0 0 20 0 3 0 4273267 787468288 178771 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 3582.28 s
Current children cumulated vsize: 769012 KiB
Current children cumulated memory: 715084 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.14 4.09 5/247 30819
/proc/meminfo: memFree=115758284/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=769012 memory=715084 CPUtime=3583.88 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 2676726 0 0 0 355724 2664 0 0 20 0 3 0 4273266 787468288 178771 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 192253 178771 3014 3035 0 182834 0
[pid=28789/tid=28791] ppid=28786 vsize=769012 memory=1972 CPUtime=3583.53 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 2673924 0 0 0 355698 2655 0 0 20 0 3 0 4273266 787468288 178771 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=769012 memory=2188 CPUtime=0.04 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 136 0 0 0 0 4 0 0 20 0 3 0 4273267 787468288 178771 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 3583.88 s
Current children cumulated vsize: 769012 KiB
Current children cumulated memory: 715084 KiB
[startup+3598.8 s]
/proc/loadavg: 4.11 4.14 4.09 5/247 30819
/proc/meminfo: memFree=115758284/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=769012 memory=715084 CPUtime=3584.27 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 2677476 0 0 0 355763 2664 0 0 20 0 3 0 4273266 787468288 178771 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 192253 178771 3014 3035 0 182834 0
[pid=28789/tid=28791] ppid=28786 vsize=769012 memory=1744 CPUtime=3583.92 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 2674674 0 0 0 355737 2655 0 0 20 0 3 0 4273266 787468288 178771 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=769012 memory=18616 CPUtime=0.04 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 136 0 0 0 0 4 0 0 20 0 3 0 4273267 787468288 178771 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 3584.27 s
Current children cumulated vsize: 769012 KiB
Current children cumulated memory: 715084 KiB
[startup+3599.2 s]
/proc/loadavg: 4.11 4.14 4.09 5/247 30819
/proc/meminfo: memFree=115753596/131655788 swapFree=131071216/131071996
[pid=28789] ppid=28786 vsize=769012 memory=715084 CPUtime=3584.68 cores=0,2
/proc/28789/stat : 28789 (fscip) S 28786 28789 28195 0 -1 1077936128 2678408 0 0 0 355803 2665 0 0 20 0 3 0 4273266 787468288 178771 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
/proc/28789/statm: 192253 178771 3014 3035 0 182834 0
[pid=28789/tid=28791] ppid=28786 vsize=769012 memory=14600 CPUtime=3584.33 cores=0,2
/proc/28789/task/28791/stat : 28791 (fscip) R 28786 28789 28195 0 -1 4194368 2675606 0 0 0 355777 2656 0 0 20 0 3 0 4273266 787468288 178771 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
[pid=28789/tid=28792] ppid=28786 vsize=769012 memory=12624 CPUtime=0.04 cores=0,2
/proc/28789/task/28792/stat : 28792 (fscip) S 28786 28789 28195 0 -1 1077936192 136 0 0 0 0 4 0 0 20 0 3 0 4273267 787468288 178771 134679101440 4194304 16623229 140722993228880 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33288192 140722993230874 140722993230990 140722993230990 140722993238000 0
Current children cumulated CPU time: 3584.68 s
Current children cumulated vsize: 769012 KiB
Current children cumulated memory: 715084 KiB
Child status: 0
Real time (s): 3599.24
CPU time (s): 3584.73
CPU user time (s): 3558.07
CPU system time (s): 26.6602
CPU usage (%): 99.5967
Max. virtual memory (cumulated for all children) (KiB): 769012
Max. memory (cumulated for all children) (KiB): 715084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.07
system time used= 26.6602
maximum resident set size= 715084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2678449
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= 10919
involuntary context switches= 25097
# summary of solver processes directly reported to runsolver:
# pid: 28789
# total CPU time (s): 3584.73
# total CPU user time (s): 3558.07
# total CPU system time (s): 26.6602
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7726 second user time and 35.8327 second system time
The end
Begin job on nodeC007 at 2024-07-31 00:37:07
IDJOB=4464338
IDBENCH=148104
IDSOLVER=3092
FILE ID=nodeC007/4464338-1722379026
RUNJOBID= nodeC007-1722378594-28205
SLURM_JOB_ID= 8249837
Free space on /tmp= 723680 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww5.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-4464338-1722379026/watcher-4464338-1722379026 -o /tmp/evaluation-result-4464338-1722379026/solver-4464338-1722379026 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28205 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464338-1722379026.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f50ea280ec2253a5ba14d185d456771a
RANDOM SEED=624940052
nodeC007.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 : 0xb00001f
cpu MHz : 3491.801
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58
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 : 0xb00001f
cpu MHz : 3595.088
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.192
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58
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 : 0xb00001f
cpu MHz : 1197.216
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 3657.404
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58
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 : 0xb00001f
cpu MHz : 3630.131
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.231
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58
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 : 0xb00001f
cpu MHz : 1197.214
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122156824 kB
MemAvailable: 122384964 kB
Buffers: 76764 kB
Cached: 991516 kB
SwapCached: 100 kB
Active: 258492 kB
Inactive: 8804952 kB
Active(anon): 1532 kB
Inactive(anon): 8014712 kB
Active(file): 256960 kB
Inactive(file): 790240 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 28092 kB
Writeback: 12 kB
AnonPages: 7995012 kB
Mapped: 125640 kB
Shmem: 21076 kB
KReclaimable: 42276 kB
Slab: 118260 kB
SReclaimable: 42276 kB
SUnreclaim: 75984 kB
KernelStack: 3948 kB
PageTables: 25396 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 6746016 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6240 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3473408 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: 174920 kB
DirectMap2M: 7069696 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723584 MiB
End job on nodeC007 at 2024-07-31 01:37:06