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 = 22409216, getVmSize() = 22409216, SCIPgetMemUsed() = 726119, SCIPgetMemTotal() = 902639, 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 = 15439189, getVmSize() = 23908352, SCIPgetMemUsed() = 850193, SCIPgetMemTotal() = 1382297, 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-4464341-1722379149
0.00/0.00 c Variables : 68 (68 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 : 68 (68 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 : 1
0.00/0.00 c logicor : 1
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.00 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.00 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.00 c Nodes Active
0.00/0.00 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
4.98/5.07 c 5 25757 1778 1 - 0.0000 -
10.06/10.12 c 10 54992 4629 1 - 0.0000 -
15.05/15.17 c 15 89141 7498 1 - 0.0000 -
20.13/20.22 c 20 123183 10214 1 - 0.0000 -
25.12/25.26 c 25 158584 13529 1 - 0.0000 -
30.19/30.31 c 30 192943 15803 1 - 0.0000 -
35.18/35.36 c 35 218642 17298 1 - 0.0000 -
40.27/40.41 c 40 249714 19588 1 - 0.0000 -
45.25/45.46 c 45 280918 21330 1 - 0.0000 -
50.33/50.51 c 51 314641 23253 1 - 0.0000 -
55.32/55.56 c 56 346555 25757 1 - 0.0000 -
60.40/60.61 c 61 375590 27444 1 - 0.0000 -
65.39/65.65 c 66 415282 29634 1 - 0.0000 -
70.47/70.70 c 71 452472 31674 1 - 0.0000 -
75.45/75.75 c 76 481921 33487 1 - 0.0000 -
80.54/80.80 c 81 520878 35514 1 - 0.0000 -
85.52/85.85 c 86 555035 37155 1 - 0.0000 -
90.61/90.90 c 91 588838 38557 1 - 0.0000 -
95.59/95.95 c 96 624689 40435 1 - 0.0000 -
100.69/101.00 c 101 659965 42735 1 - 0.0000 -
105.67/106.05 c 106 706479 45057 1 - 0.0000 -
110.75/111.10 c 111 744327 47251 1 - 0.0000 -
115.74/116.16 c 116 774737 48549 1 - 0.0000 -
120.82/121.20 c 121 809778 50074 1 - 0.0000 -
125.80/126.25 c 126 851770 53598 1 - 0.0000 -
130.89/131.30 c 131 889544 55115 1 - 0.0000 -
135.87/136.35 c 136 923773 55760 1 - 0.0000 -
140.95/141.40 c 141 958850 56757 1 - 0.0000 -
145.94/146.45 c 146 995791 58243 1 - 0.0000 -
151.02/151.50 c 152 1033636 60159 1 - 0.0000 -
156.00/156.55 c 157 1070017 61423 1 - 0.0000 -
161.09/161.61 c 162 1106450 63269 1 - 0.0000 -
166.06/166.66 c 167 1147866 64541 1 - 0.0000 -
171.15/171.70 c 172 1184385 66012 1 - 0.0000 -
176.13/176.75 c 177 1216111 66920 1 - 0.0000 -
181.21/181.80 c 182 1247412 71411 1 - 0.0000 -
186.19/186.85 c 187 1277029 75211 1 - 0.0000 -
191.27/191.90 c 192 1309754 78710 1 - 0.0000 -
196.25/196.95 c 197 1347261 81941 1 - 0.0000 -
201.34/202.00 c 202 1385156 85234 1 - 0.0000 -
206.32/207.05 c 207 1421851 88065 1 - 0.0000 -
211.40/212.10 c 212 1456086 90226 1 - 0.0000 -
216.38/217.15 c 217 1492274 92731 1 - 0.0000 -
221.45/222.20 c 222 1524834 94302 1 - 0.0000 -
226.44/227.25 c 227 1562999 96440 1 - 0.0000 -
231.51/232.30 c 232 1604273 97799 1 - 0.0000 -
236.50/237.35 c 237 1641066 98753 1 - 0.0000 -
241.58/242.40 c 242 1680083 99710 1 - 0.0000 -
246.57/247.45 c 247 1720087 100312 1 - 0.0000 -
251.64/252.50 c 253 1763721 100755 1 - 0.0000 -
256.63/257.55 c 258 1805854 102156 1 - 0.0000 -
261.71/262.60 c 263 1852509 103220 1 - 0.0000 -
266.69/267.65 c 268 1889912 103381 1 - 0.0000 -
271.77/272.73 c 273 1931306 103219 1 - 0.0000 -
276.75/277.78 c 278 1972801 102552 1 - 0.0000 -
281.82/282.84 c 283 2009471 102908 1 - 0.0000 -
286.80/287.88 c 288 2046788 103478 1 - 0.0000 -
291.89/292.93 c 293 2089310 102855 1 - 0.0000 -
296.87/297.98 c 298 2125241 102437 1 - 0.0000 -
301.95/303.03 c 303 2157174 103316 1 - 0.0000 -
306.94/308.08 c 308 2188042 103956 1 - 0.0000 -
312.01/313.13 c 313 2213043 105520 1 - 0.0000 -
316.99/318.18 c 318 2245100 105294 1 - 0.0000 -
322.07/323.23 c 323 2281610 106035 1 - 0.0000 -
327.05/328.28 c 328 2317389 108213 1 - 0.0000 -
332.12/333.33 c 333 2358697 107801 1 - 0.0000 -
337.11/338.38 c 338 2400611 108431 1 - 0.0000 -
342.19/343.43 c 343 2436936 109059 1 - 0.0000 -
347.16/348.48 c 348 2475385 110956 1 - 0.0000 -
352.24/353.53 c 354 2520918 114525 1 - 0.0000 -
357.23/358.59 c 359 2568063 115432 1 - 0.0000 -
362.31/363.63 c 364 2615851 115472 1 - 0.0000 -
367.29/368.68 c 369 2658450 113904 1 - 0.0000 -
372.37/373.73 c 374 2694182 114195 1 - 0.0000 -
377.35/378.78 c 379 2727556 116890 1 - 0.0000 -
382.43/383.84 c 384 2769380 116527 1 - 0.0000 -
387.41/388.88 c 389 2797519 118242 1 - 0.0000 -
392.48/393.93 c 394 2830511 118630 1 - 0.0000 -
397.47/398.98 c 399 2877561 119726 1 - 0.0000 -
402.56/404.03 c 404 2921540 120422 1 - 0.0000 -
407.53/409.08 c 409 2964501 120477 1 - 0.0000 -
412.61/414.13 c 414 2998450 120628 1 - 0.0000 -
417.59/419.18 c 419 3029860 120864 1 - 0.0000 -
422.67/424.23 c 424 3068856 121432 1 - 0.0000 -
427.65/429.28 c 429 3100851 122935 1 - 0.0000 -
432.74/434.34 c 434 3128062 125350 1 - 0.0000 -
437.71/439.38 c 439 3157582 126444 1 - 0.0000 -
442.79/444.43 c 444 3183896 127290 1 - 0.0000 -
447.77/449.48 c 449 3212832 128812 1 - 0.0000 -
452.85/454.53 c 455 3237972 130414 1 - 0.0000 -
457.83/459.58 c 460 3267055 131093 1 - 0.0000 -
462.90/464.63 c 465 3295133 133061 1 - 0.0000 -
467.89/469.68 c 470 3318846 135068 1 - 0.0000 -
472.97/474.73 c 475 3345387 135810 1 - 0.0000 -
477.94/479.79 c 480 3374640 135265 1 - 0.0000 -
483.02/484.85 c 485 3395906 136789 1 - 0.0000 -
488.01/489.90 c 490 3419486 138103 1 - 0.0000 -
493.08/494.94 c 495 3443997 137742 1 - 0.0000 -
498.06/500.00 c 500 3466230 140028 1 - 0.0000 -
503.15/505.04 c 505 3490079 141915 1 - 0.0000 -
508.13/510.09 c 510 3514153 142530 1 - 0.0000 -
513.21/515.14 c 515 3537990 142623 1 - 0.0000 -
518.19/520.19 c 520 3562652 142041 1 - 0.0000 -
523.26/525.24 c 525 3587260 142389 1 - 0.0000 -
528.35/530.30 c 530 3610092 144173 1 - 0.0000 -
533.32/535.34 c 535 3633896 144742 1 - 0.0000 -
538.31/540.40 c 540 3660105 144923 1 - 0.0000 -
543.39/545.44 c 545 3685691 146524 1 - 0.0000 -
548.36/550.49 c 550 3708355 147993 1 - 0.0000 -
553.44/555.54 c 556 3729534 149706 1 - 0.0000 -
558.42/560.59 c 561 3755007 150525 1 - 0.0000 -
563.50/565.64 c 566 3778494 150491 1 - 0.0000 -
568.48/570.69 c 571 3798083 150708 1 - 0.0000 -
573.56/575.74 c 576 3818791 151252 1 - 0.0000 -
578.64/580.80 c 581 3835184 153092 1 - 0.0000 -
583.62/585.85 c 586 3859251 154590 1 - 0.0000 -
588.69/590.90 c 591 3884676 154530 1 - 0.0000 -
593.68/595.95 c 596 3904542 155954 1 - 0.0000 -
598.76/601.01 c 601 3927542 157661 1 - 0.0000 -
603.74/606.05 c 606 3950852 157303 1 - 0.0000 -
608.82/611.10 c 611 3975579 155897 1 - 0.0000 -
613.80/616.15 c 616 4000639 154797 1 - 0.0000 -
618.87/621.20 c 621 4023858 154338 1 - 0.0000 -
623.85/626.25 c 626 4045721 155960 1 - 0.0000 -
628.93/631.30 c 631 4070418 155238 1 - 0.0000 -
633.91/636.35 c 636 4094211 154226 1 - 0.0000 -
638.99/641.40 c 641 4118178 152693 1 - 0.0000 -
643.97/646.46 c 646 4144177 153490 1 - 0.0000 -
649.04/651.51 c 652 4164536 155750 1 - 0.0000 -
654.02/656.56 c 657 4183561 157818 1 - 0.0000 -
659.10/661.61 c 662 4205591 159626 1 - 0.0000 -
664.08/666.69 c 667 4224987 160888 1 - 0.0000 -
669.15/671.73 c 672 4244732 162067 1 - 0.0000 -
674.13/676.78 c 677 4267916 162767 1 - 0.0000 -
679.21/681.83 c 682 4292590 162722 1 - 0.0000 -
684.19/686.88 c 687 4316685 161939 1 - 0.0000 -
689.27/691.93 c 692 4339830 160717 1 - 0.0000 -
694.25/696.99 c 697 4368892 161315 1 - 0.0000 -
699.33/702.04 c 702 4407689 162568 1 - 0.0000 -
704.31/707.09 c 707 4448568 161775 1 - 0.0000 -
709.39/712.14 c 712 4487125 163601 1 - 0.0000 -
714.37/717.19 c 717 4524139 164541 1 - 0.0000 -
719.45/722.24 c 722 4565711 165400 1 - 0.0000 -
724.52/727.36 c 727 4593913 166552 1 - 0.0000 -
729.61/732.41 c 732 4625984 165525 1 - 0.0000 -
734.58/737.46 c 737 4659859 165419 1 - 0.0000 -
739.67/742.51 c 743 4698186 166778 1 - 0.0000 -
744.65/747.56 c 748 4737339 167172 1 - 0.0000 -
749.73/752.64 c 753 4771339 168876 1 - 0.0000 -
754.80/757.70 c 758 4802934 169189 1 - 0.0000 -
759.78/762.75 c 763 4826589 171630 1 - 0.0000 -
764.84/767.80 c 768 4846238 173043 1 - 0.0000 -
769.82/772.85 c 773 4867729 174398 1 - 0.0000 -
774.90/777.92 c 778 4890553 174966 1 - 0.0000 -
779.86/782.97 c 783 4914974 174757 1 - 0.0000 -
784.94/788.02 c 788 4938642 173653 1 - 0.0000 -
789.92/793.07 c 793 4967194 173084 1 - 0.0000 -
794.99/798.12 c 798 4990523 174187 1 - 0.0000 -
799.97/803.17 c 803 5022926 174200 1 - 0.0000 -
805.03/808.25 c 808 5041217 176340 1 - 0.0000 -
810.10/813.30 c 813 5062218 178254 1 - 0.0000 -
815.08/818.39 c 818 5080608 180032 1 - 0.0000 -
820.16/823.44 c 823 5100972 181277 1 - 0.0000 -
825.23/828.51 c 829 5121492 182151 1 - 0.0000 -
830.20/833.55 c 834 5143700 182417 1 - 0.0000 -
835.28/838.60 c 839 5168016 181923 1 - 0.0000 -
840.24/843.65 c 844 5191847 180976 1 - 0.0000 -
845.32/848.70 c 849 5218533 180658 1 - 0.0000 -
850.29/853.76 c 854 5256005 182523 1 - 0.0000 -
855.37/858.80 c 859 5292176 185888 1 - 0.0000 -
860.34/863.85 c 864 5332255 186990 1 - 0.0000 -
865.42/868.90 c 869 5375733 187393 1 - 0.0000 -
870.40/873.95 c 874 5405828 187307 1 - 0.0000 -
875.48/879.01 c 879 5441456 185709 1 - 0.0000 -
880.46/884.06 c 884 5476898 185107 1 - 0.0000 -
885.54/889.11 c 889 5509102 185765 1 - 0.0000 -
890.52/894.16 c 894 5536319 185858 1 - 0.0000 -
895.58/899.21 c 899 5574454 185470 1 - 0.0000 -
900.56/904.28 c 904 5604453 187153 1 - 0.0000 -
905.64/909.33 c 909 5636539 186807 1 - 0.0000 -
910.62/914.38 c 914 5668730 186371 1 - 0.0000 -
915.69/919.43 c 919 5692100 188149 1 - 0.0000 -
920.77/924.52 c 925 5709070 189647 1 - 0.0000 -
925.73/929.57 c 930 5726782 190936 1 - 0.0000 -
930.81/934.65 c 935 5747029 192181 1 - 0.0000 -
935.88/939.70 c 940 5767745 192920 1 - 0.0000 -
940.85/944.79 c 945 5789901 192958 1 - 0.0000 -
945.92/949.83 c 950 5810027 192684 1 - 0.0000 -
950.89/954.88 c 955 5833741 191262 1 - 0.0000 -
955.97/959.93 c 960 5860629 191708 1 - 0.0000 -
961.06/965.08 c 965 5896652 191010 1 - 0.0000 -
966.13/970.13 c 970 5926589 191542 1 - 0.0000 -
971.11/975.19 c 975 5956419 191923 1 - 0.0000 -
976.19/980.23 c 980 5989345 192203 1 - 0.0000 -
981.27/985.30 c 985 6027516 191934 1 - 0.0000 -
986.34/990.40 c 990 6047816 194489 1 - 0.0000 -
991.32/995.46 c 995 6074701 198124 1 - 0.0000 -
996.40/1000.51 c 1001 6104579 201634 1 - 0.0000 -
1001.38/1005.56 c 1006 6136241 204856 1 - 0.0000 -
1006.45/1010.68 c 1011 6169684 207843 1 - 0.0000 -
1011.52/1015.74 c 1016 6193097 210088 1 - 0.0000 -
1016.59/1020.80 c 1021 6219585 212651 1 - 0.0000 -
1021.58/1025.85 c 1026 6247063 215221 1 - 0.0000 -
1026.66/1030.94 c 1031 6274067 217571 1 - 0.0000 -
1031.75/1036.00 c 1036 6306086 219879 1 - 0.0000 -
1036.73/1041.07 c 1041 6338859 221719 1 - 0.0000 -
1041.81/1046.15 c 1046 6373426 223462 1 - 0.0000 -
1046.89/1051.22 c 1051 6409644 224030 1 - 0.0000 -
1051.87/1056.27 c 1056 6448458 223633 1 - 0.0000 -
1056.95/1061.32 c 1061 6486695 223064 1 - 0.0000 -
1061.93/1066.37 c 1066 6521447 223104 1 - 0.0000 -
1067.01/1071.48 c 1071 6556117 222483 1 - 0.0000 -
1072.09/1076.54 c 1077 6587872 221754 1 - 0.0000 -
1077.08/1081.58 c 1082 6625487 220442 1 - 0.0000 -
1082.16/1086.64 c 1087 6663646 218757 1 - 0.0000 -
1087.24/1091.76 c 1092 6702856 217335 1 - 0.0000 -
1092.32/1096.81 c 1097 6742062 216445 1 - 0.0000 -
1097.30/1101.88 c 1102 6777012 215919 1 - 0.0000 -
1102.39/1106.92 c 1107 6817295 213590 1 - 0.0000 -
1107.37/1111.99 c 1112 6851791 212395 1 - 0.0000 -
1112.55/1117.12 c 1117 6878355 212877 1 - 0.0000 -
1117.54/1122.17 c 1122 6916852 210704 1 - 0.0000 -
1122.62/1127.22 c 1127 6952063 210086 1 - 0.0000 -
1127.59/1132.27 c 1132 6985206 209909 1 - 0.0000 -
1132.68/1137.33 c 1137 7013194 211029 1 - 0.0000 -
1137.66/1142.38 c 1142 7049619 209951 1 - 0.0000 -
1142.75/1147.43 c 1147 7077865 209223 1 - 0.0000 -
1147.73/1152.48 c 1152 7100603 210461 1 - 0.0000 -
1152.81/1157.54 c 1158 7130039 209916 1 - 0.0000 -
1157.79/1162.58 c 1163 7167383 210193 1 - 0.0000 -
1162.87/1167.63 c 1168 7207450 211608 1 - 0.0000 -
1167.86/1172.68 c 1173 7241651 211180 1 - 0.0000 -
1172.94/1177.74 c 1178 7274220 210477 1 - 0.0000 -
1177.92/1182.78 c 1183 7300345 210850 1 - 0.0000 -
1183.00/1187.87 c 1188 7331220 211893 1 - 0.0000 -
1188.08/1192.92 c 1193 7354347 212526 1 - 0.0000 -
1193.07/1197.97 c 1198 7383528 212215 1 - 0.0000 -
1198.16/1203.05 c 1203 7404946 213659 1 - 0.0000 -
1203.24/1208.10 c 1208 7428765 214948 1 - 0.0000 -
1208.23/1213.15 c 1213 7452806 214955 1 - 0.0000 -
1213.30/1218.20 c 1218 7479569 216612 1 - 0.0000 -
1218.29/1223.25 c 1223 7503143 217310 1 - 0.0000 -
1223.37/1228.30 c 1228 7528448 219099 1 - 0.0000 -
1228.36/1233.36 c 1233 7551680 219157 1 - 0.0000 -
1233.44/1238.40 c 1238 7581489 218218 1 - 0.0000 -
1238.42/1243.45 c 1243 7612507 218052 1 - 0.0000 -
1243.51/1248.51 c 1249 7645994 217371 1 - 0.0000 -
1248.49/1253.55 c 1254 7674519 216376 1 - 0.0000 -
1253.57/1258.60 c 1259 7701592 215573 1 - 0.0000 -
1258.55/1263.66 c 1264 7734097 215448 1 - 0.0000 -
1263.63/1268.70 c 1269 7762963 215384 1 - 0.0000 -
1268.62/1273.75 c 1274 7792317 214902 1 - 0.0000 -
1273.71/1278.82 c 1279 7824165 214414 1 - 0.0000 -
1278.68/1283.87 c 1284 7851629 215796 1 - 0.0000 -
1283.77/1288.95 c 1289 7885765 214928 1 - 0.0000 -
1288.85/1294.02 c 1294 7919377 214298 1 - 0.0000 -
1293.83/1299.07 c 1299 7950949 214796 1 - 0.0000 -
1298.92/1304.12 c 1304 7974351 216664 1 - 0.0000 -
1303.90/1309.17 c 1309 8002551 217064 1 - 0.0000 -
1308.98/1314.22 c 1314 8028363 216686 1 - 0.0000 -
1313.97/1319.27 c 1319 8060678 215003 1 - 0.0000 -
1319.05/1324.32 c 1324 8092505 214435 1 - 0.0000 -
1324.13/1329.44 c 1329 8129259 215019 1 - 0.0000 -
1329.21/1334.55 c 1335 8159835 215406 1 - 0.0000 -
1334.29/1339.62 c 1340 8192773 216933 1 - 0.0000 -
1339.27/1344.67 c 1345 8228560 218073 1 - 0.0000 -
1344.36/1349.73 c 1350 8266791 218680 1 - 0.0000 -
1349.34/1354.79 c 1355 8291610 218921 1 - 0.0000 -
1354.42/1359.84 c 1360 8322401 217937 1 - 0.0000 -
1359.40/1364.89 c 1365 8352574 217236 1 - 0.0000 -
1364.48/1369.94 c 1370 8387652 217320 1 - 0.0000 -
1369.58/1375.07 c 1375 8417834 217842 1 - 0.0000 -
1374.66/1380.13 c 1380 8448725 217793 1 - 0.0000 -
1379.64/1385.17 c 1385 8478246 218039 1 - 0.0000 -
1384.71/1390.27 c 1390 8508496 218177 1 - 0.0000 -
1389.79/1395.34 c 1395 8537142 218627 1 - 0.0000 -
1394.88/1400.46 c 1400 8563319 218312 1 - 0.0000 -
1399.96/1405.51 c 1406 8587612 218655 1 - 0.0000 -
1404.94/1410.56 c 1411 8618468 218878 1 - 0.0000 -
1410.02/1415.61 c 1416 8651654 218619 1 - 0.0000 -
1415.02/1420.66 c 1421 8678390 218556 1 - 0.0000 -
1420.09/1425.71 c 1426 8707387 218266 1 - 0.0000 -
1425.08/1430.76 c 1431 8739197 218675 1 - 0.0000 -
1430.16/1435.84 c 1436 8770992 221973 1 - 0.0000 -
1435.14/1440.88 c 1441 8802974 224401 1 - 0.0000 -
1440.22/1445.93 c 1446 8840856 224142 1 - 0.0000 -
1445.31/1451.00 c 1451 8878708 222980 1 - 0.0000 -
1450.30/1456.05 c 1456 8916922 221398 1 - 0.0000 -
1455.47/1461.20 c 1461 8950783 222388 1 - 0.0000 -
1460.46/1466.24 c 1466 8977186 224057 1 - 0.0000 -
1465.43/1471.30 c 1471 9012185 225320 1 - 0.0000 -
1470.52/1476.35 c 1476 9041795 225272 1 - 0.0000 -
1475.60/1481.40 c 1481 9079563 223095 1 - 0.0000 -
1480.59/1486.46 c 1486 9102122 223877 1 - 0.0000 -
1485.67/1491.50 c 1492 9128774 223971 1 - 0.0000 -
1490.75/1496.64 c 1497 9148540 226533 1 - 0.0000 -
1495.73/1501.68 c 1502 9167146 228027 1 - 0.0000 -
1500.91/1506.84 c 1507 9185239 229252 1 - 0.0000 -
1505.89/1511.88 c 1512 9204997 229913 1 - 0.0000 -
1510.96/1516.93 c 1517 9228961 229717 1 - 0.0000 -
1515.94/1521.98 c 1522 9252413 228533 1 - 0.0000 -
1521.03/1527.03 c 1527 9278923 227268 1 - 0.0000 -
1526.01/1532.08 c 1532 9314468 227482 1 - 0.0000 -
1531.09/1537.17 c 1537 9329620 228981 1 - 0.0000 -
1536.17/1542.24 c 1542 9348266 231130 1 - 0.0000 -
1541.35/1547.42 c 1547 9367078 233223 1 - 0.0000 -
1546.42/1552.51 c 1553 9382574 235121 1 - 0.0000 -
1551.51/1557.62 c 1558 9393405 237167 1 - 0.0000 -
1556.59/1562.77 c 1563 9403229 239021 1 - 0.0000 -
1561.77/1567.90 c 1568 9414681 240992 1 - 0.0000 -
1566.85/1573.02 c 1573 9427733 242810 1 - 0.0000 -
1571.84/1578.07 c 1578 9441761 244783 1 - 0.0000 -
1576.91/1583.18 c 1583 9454742 246522 1 - 0.0000 -
1581.99/1588.22 c 1588 9467408 248118 1 - 0.0000 -
1587.06/1593.35 c 1593 9482232 249872 1 - 0.0000 -
1592.15/1598.43 c 1598 9495587 251563 1 - 0.0000 -
1597.23/1603.52 c 1604 9510877 253159 1 - 0.0000 -
1602.31/1608.61 c 1609 9526225 254915 1 - 0.0000 -
1607.39/1613.71 c 1614 9547363 257253 1 - 0.0000 -
1612.47/1618.84 c 1619 9564642 259254 1 - 0.0000 -
1617.55/1623.95 c 1624 9584115 260839 1 - 0.0000 -
1622.64/1629.01 c 1629 9603944 262759 1 - 0.0000 -
1627.62/1634.06 c 1634 9625657 264382 1 - 0.0000 -
1632.70/1639.11 c 1639 9646171 265750 1 - 0.0000 -
1637.68/1644.16 c 1644 9669442 267106 1 - 0.0000 -
1642.76/1649.21 c 1649 9688798 268782 1 - 0.0000 -
1647.74/1654.26 c 1654 9711022 270415 1 - 0.0000 -
1652.83/1659.32 c 1659 9732736 271805 1 - 0.0000 -
1657.81/1664.36 c 1664 9755175 273245 1 - 0.0000 -
1662.99/1669.50 c 1670 9771841 275225 1 - 0.0000 -
1667.97/1674.56 c 1675 9789918 276989 1 - 0.0000 -
1673.06/1679.64 c 1680 9809566 278416 1 - 0.0000 -
1678.13/1684.76 c 1685 9827970 280134 1 - 0.0000 -
1683.22/1689.81 c 1690 9842881 281752 1 - 0.0000 -
1688.30/1694.91 c 1695 9867765 282383 1 - 0.0000 -
1693.28/1699.96 c 1700 9891649 283424 1 - 0.0000 -
1698.37/1705.01 c 1705 9914601 284410 1 - 0.0000 -
1703.35/1710.06 c 1710 9939392 285208 1 - 0.0000 -
1708.43/1715.13 c 1715 9963990 285645 1 - 0.0000 -
1713.41/1720.18 c 1720 9989689 285986 1 - 0.0000 -
1718.49/1725.23 c 1725 10015580 286063 1 - 0.0000 -
1723.47/1730.28 c 1730 10038411 286572 1 - 0.0000 -
1728.55/1735.33 c 1735 10063188 286599 1 - 0.0000 -
1733.54/1740.38 c 1740 10085254 288391 1 - 0.0000 -
1738.61/1745.44 c 1745 10106324 289895 1 - 0.0000 -
1743.60/1750.49 c 1750 10126411 291046 1 - 0.0000 -
1748.67/1755.56 c 1756 10151878 291013 1 - 0.0000 -
1753.76/1760.69 c 1761 10177403 291208 1 - 0.0000 -
1758.95/1765.80 c 1766 10205268 291146 1 - 0.0000 -
1764.02/1770.95 c 1771 10229184 291040 1 - 0.0000 -
1769.01/1775.99 c 1776 10251765 291811 1 - 0.0000 -
1774.09/1781.04 c 1781 10269171 292694 1 - 0.0000 -
1779.08/1786.09 c 1786 10294549 293080 1 - 0.0000 -
1784.15/1791.16 c 1791 10321585 293040 1 - 0.0000 -
1789.23/1796.20 c 1796 10348808 293081 1 - 0.0000 -
1794.21/1801.26 c 1801 10373737 293719 1 - 0.0000 -
1799.30/1806.30 c 1806 10400067 293885 1 - 0.0000 -
1804.28/1811.36 c 1811 10425141 293885 1 - 0.0000 -
1809.36/1816.45 c 1816 10451530 293663 1 - 0.0000 -
1814.44/1821.50 c 1822 10477692 293306 1 - 0.0000 -
1819.42/1826.55 c 1827 10505458 292818 1 - 0.0000 -
1824.50/1831.65 c 1832 10532617 293145 1 - 0.0000 -
1829.59/1836.71 c 1837 10559147 292733 1 - 0.0000 -
1834.57/1841.77 c 1842 10581280 292664 1 - 0.0000 -
1839.65/1846.83 c 1847 10601418 294082 1 - 0.0000 -
1844.63/1851.88 c 1852 10631004 293300 1 - 0.0000 -
1849.71/1856.95 c 1857 10656329 293649 1 - 0.0000 -
1854.80/1862.00 c 1862 10684188 292299 1 - 0.0000 -
1859.78/1867.05 c 1867 10708890 291633 1 - 0.0000 -
1864.87/1872.10 c 1872 10735989 291063 1 - 0.0000 -
1869.85/1877.15 c 1877 10761344 290874 1 - 0.0000 -
1874.92/1882.21 c 1882 10785495 289983 1 - 0.0000 -
1879.90/1887.25 c 1887 10809620 290132 1 - 0.0000 -
1884.99/1892.34 c 1892 10835621 290799 1 - 0.0000 -
1889.97/1897.39 c 1897 10862082 290456 1 - 0.0000 -
1895.05/1902.46 c 1902 10891950 289378 1 - 0.0000 -
1900.13/1907.51 c 1908 10913250 290686 1 - 0.0000 -
1905.11/1912.56 c 1913 10938973 290381 1 - 0.0000 -
1910.20/1917.62 c 1918 10966024 289488 1 - 0.0000 -
1915.18/1922.66 c 1923 10995777 288507 1 - 0.0000 -
1920.27/1927.71 c 1928 11024207 287695 1 - 0.0000 -
1925.25/1932.76 c 1933 11048566 288695 1 - 0.0000 -
1930.33/1937.81 c 1938 11078343 287932 1 - 0.0000 -
1935.31/1942.86 c 1943 11107289 286953 1 - 0.0000 -
1940.40/1947.91 c 1948 11135030 286596 1 - 0.0000 -
1945.48/1953.03 c 1953 11159506 286436 1 - 0.0000 -
1950.46/1958.08 c 1958 11187744 285218 1 - 0.0000 -
1955.55/1963.13 c 1963 11217028 284145 1 - 0.0000 -
1960.62/1968.20 c 1968 11243750 285173 1 - 0.0000 -
1965.60/1973.25 c 1973 11273784 283830 1 - 0.0000 -
1970.68/1978.30 c 1978 11300811 282974 1 - 0.0000 -
1975.66/1983.36 c 1983 11322922 283723 1 - 0.0000 -
1980.74/1988.46 c 1988 11349745 283552 1 - 0.0000 -
1985.83/1993.50 c 1994 11376935 283635 1 - 0.0000 -
1990.81/1998.55 c 1999 11407395 282622 1 - 0.0000 -
1995.89/2003.61 c 2004 11434631 281549 1 - 0.0000 -
2000.88/2008.65 c 2009 11458546 281032 1 - 0.0000 -
2005.95/2013.70 c 2014 11482795 281049 1 - 0.0000 -
2010.94/2018.75 c 2019 11510303 280108 1 - 0.0000 -
2016.01/2023.80 c 2024 11539421 278820 1 - 0.0000 -
2021.00/2028.88 c 2029 11563253 278648 1 - 0.0000 -
2026.08/2033.93 c 2034 11589595 278166 1 - 0.0000 -
2031.06/2038.98 c 2039 11616287 276830 1 - 0.0000 -
2036.15/2044.03 c 2044 11643757 275180 1 - 0.0000 -
2041.14/2049.07 c 2049 11671379 273708 1 - 0.0000 -
2046.21/2054.12 c 2054 11697812 272366 1 - 0.0000 -
2051.20/2059.17 c 2059 11722145 272509 1 - 0.0000 -
2056.27/2064.22 c 2064 11749253 271886 1 - 0.0000 -
2061.26/2069.27 c 2069 11773648 270729 1 - 0.0000 -
2066.44/2074.41 c 2074 11798957 270247 1 - 0.0000 -
2071.43/2079.46 c 2079 11827081 269161 1 - 0.0000 -
2076.51/2084.51 c 2085 11857898 269507 1 - 0.0000 -
2081.59/2089.61 c 2090 11888529 268617 1 - 0.0000 -
2086.56/2094.66 c 2095 11918807 267857 1 - 0.0000 -
2091.65/2099.71 c 2100 11943540 267758 1 - 0.0000 -
2096.73/2104.83 c 2105 11968670 267083 1 - 0.0000 -
2101.71/2109.88 c 2110 11995029 266424 1 - 0.0000 -
2106.90/2115.02 c 2115 12022442 266541 1 - 0.0000 -
2111.98/2120.15 c 2120 12045149 267338 1 - 0.0000 -
2117.06/2125.23 c 2125 12075555 269910 1 - 0.0000 -
2122.14/2130.38 c 2130 12098307 272448 1 - 0.0000 -
2127.22/2135.43 c 2135 12125505 274748 1 - 0.0000 -
2132.30/2140.53 c 2141 12151503 276294 1 - 0.0000 -
2137.38/2145.68 c 2146 12183910 277281 1 - 0.0000 -
2142.47/2150.73 c 2151 12216190 277745 1 - 0.0000 -
2147.55/2155.81 c 2156 12243613 278182 1 - 0.0000 -
2152.63/2160.93 c 2161 12259705 279974 1 - 0.0000 -
2157.62/2165.97 c 2166 12281230 282105 1 - 0.0000 -
2162.70/2171.06 c 2171 12301590 283957 1 - 0.0000 -
2167.78/2176.10 c 2176 12322411 285528 1 - 0.0000 -
2172.77/2181.17 c 2181 12349667 287016 1 - 0.0000 -
2177.84/2186.23 c 2186 12377344 287827 1 - 0.0000 -
2182.92/2191.38 c 2191 12406113 287686 1 - 0.0000 -
2188.00/2196.43 c 2196 12429561 288096 1 - 0.0000 -
2192.99/2201.48 c 2201 12462780 287517 1 - 0.0000 -
2198.07/2206.53 c 2207 12496756 286899 1 - 0.0000 -
2203.06/2211.58 c 2212 12530097 286240 1 - 0.0000 -
2208.24/2216.77 c 2217 12562201 285588 1 - 0.0000 -
2213.31/2221.82 c 2222 12592444 285507 1 - 0.0000 -
2218.40/2226.93 c 2227 12627075 284806 1 - 0.0000 -
2223.37/2231.98 c 2232 12661360 283639 1 - 0.0000 -
2228.46/2237.03 c 2237 12695403 282574 1 - 0.0000 -
2233.45/2242.08 c 2242 12727097 281842 1 - 0.0000 -
2238.53/2247.15 c 2247 12760612 280363 1 - 0.0000 -
2243.51/2252.19 c 2252 12795307 278802 1 - 0.0000 -
2248.69/2257.33 c 2257 12821536 279183 1 - 0.0000 -
2253.68/2262.38 c 2262 12844543 280592 1 - 0.0000 -
2258.75/2267.43 c 2267 12872884 280049 1 - 0.0000 -
2263.74/2272.48 c 2272 12900771 278720 1 - 0.0000 -
2268.82/2277.53 c 2278 12932096 277293 1 - 0.0000 -
2273.90/2282.60 c 2283 12959751 276579 1 - 0.0000 -
2278.89/2287.65 c 2288 12991058 275732 1 - 0.0000 -
2284.06/2292.84 c 2293 13018765 275721 1 - 0.0000 -
2289.14/2297.93 c 2298 13048193 276019 1 - 0.0000 -
2294.23/2303.09 c 2303 13080711 274944 1 - 0.0000 -
2299.51/2308.38 c 2308 13103585 276396 1 - 0.0000 -
2304.58/2313.43 c 2313 13139701 277074 1 - 0.0000 -
2309.57/2318.47 c 2318 13173027 275416 1 - 0.0000 -
2314.66/2323.57 c 2324 13204146 274535 1 - 0.0000 -
2319.93/2328.88 c 2329 13226394 274329 1 - 0.0000 -
2325.01/2333.95 c 2334 13255470 273621 1 - 0.0000 -
2330.10/2339.00 c 2339 13283881 273650 1 - 0.0000 -
2335.08/2344.08 c 2344 13312742 273831 1 - 0.0000 -
2340.16/2349.12 c 2349 13346138 272761 1 - 0.0000 -
2345.23/2354.22 c 2354 13373210 272077 1 - 0.0000 -
2350.32/2359.30 c 2359 13393976 272609 1 - 0.0000 -
2355.40/2364.42 c 2364 13411150 274874 1 - 0.0000 -
2360.38/2369.47 c 2369 13428334 276390 1 - 0.0000 -
2365.56/2374.65 c 2375 13443668 277722 1 - 0.0000 -
2370.54/2379.69 c 2380 13464897 278593 1 - 0.0000 -
2375.62/2384.74 c 2385 13483364 278792 1 - 0.0000 -
2380.60/2389.79 c 2390 13504622 278360 1 - 0.0000 -
2385.68/2394.84 c 2395 13526385 277247 1 - 0.0000 -
2390.66/2399.89 c 2400 13553004 275485 1 - 0.0000 -
2395.95/2405.15 c 2405 13576216 276009 1 - 0.0000 -
2401.03/2410.20 c 2410 13603325 275583 1 - 0.0000 -
2406.00/2415.27 c 2415 13636208 276537 1 - 0.0000 -
2411.09/2420.37 c 2420 13667364 276532 1 - 0.0000 -
2416.18/2425.42 c 2425 13695385 275561 1 - 0.0000 -
2421.15/2430.48 c 2430 13726173 275016 1 - 0.0000 -
2426.24/2435.53 c 2436 13757681 274432 1 - 0.0000 -
2431.31/2440.65 c 2441 13787688 274515 1 - 0.0000 -
2436.40/2445.74 c 2446 13815419 275912 1 - 0.0000 -
2441.37/2450.78 c 2451 13840149 278118 1 - 0.0000 -
2446.46/2455.83 c 2456 13874513 279269 1 - 0.0000 -
2451.44/2460.89 c 2461 13903195 279668 1 - 0.0000 -
2456.53/2465.93 c 2466 13932581 279576 1 - 0.0000 -
2461.61/2471.00 c 2471 13965686 278624 1 - 0.0000 -
2466.59/2476.05 c 2476 13998429 277866 1 - 0.0000 -
2471.67/2481.10 c 2481 14026599 276960 1 - 0.0000 -
2476.66/2486.16 c 2486 14053020 277018 1 - 0.0000 -
2481.73/2491.21 c 2491 14083652 276927 1 - 0.0000 -
2486.72/2496.26 c 2496 14111864 276169 1 - 0.0000 -
2491.80/2501.31 c 2501 14141410 275976 1 - 0.0000 -
2496.77/2506.38 c 2506 14172995 274877 1 - 0.0000 -
2501.96/2511.55 c 2512 14204023 275750 1 - 0.0000 -
2506.94/2516.59 c 2517 14233295 275103 1 - 0.0000 -
2512.02/2521.69 c 2522 14261398 274757 1 - 0.0000 -
2517.10/2526.79 c 2527 14288914 275547 1 - 0.0000 -
2522.19/2531.88 c 2532 14322809 274638 1 - 0.0000 -
2527.26/2536.95 c 2537 14355452 274148 1 - 0.0000 -
2532.24/2541.99 c 2542 14384710 273621 1 - 0.0000 -
2537.43/2547.13 c 2547 14410860 273134 1 - 0.0000 -
2542.70/2552.47 c 2552 14433344 275334 1 - 0.0000 -
2547.88/2557.68 c 2558 14464991 275610 1 - 0.0000 -
2552.97/2562.74 c 2563 14499520 273944 1 - 0.0000 -
2557.96/2567.78 c 2568 14522767 274545 1 - 0.0000 -
2563.04/2572.83 c 2573 14554045 274115 1 - 0.0000 -
2568.01/2577.88 c 2578 14586249 274171 1 - 0.0000 -
2573.09/2582.94 c 2583 14614941 275381 1 - 0.0000 -
2578.18/2588.00 c 2588 14640952 276643 1 - 0.0000 -
2583.16/2593.07 c 2593 14669942 278013 1 - 0.0000 -
2588.24/2598.15 c 2598 14702686 279654 1 - 0.0000 -
2593.32/2603.20 c 2603 14737508 279438 1 - 0.0000 -
2598.30/2608.25 c 2608 14771060 280146 1 - 0.0000 -
2603.38/2613.30 c 2613 14805804 280079 1 - 0.0000 -
2608.36/2618.35 c 2618 14836760 280787 1 - 0.0000 -
2613.45/2623.43 c 2623 14873167 281063 1 - 0.0000 -
2618.43/2628.47 c 2628 14904879 280199 1 - 0.0000 -
2623.51/2633.52 c 2634 14935326 279860 1 - 0.0000 -
2628.50/2638.57 c 2639 14967571 278315 1 - 0.0000 -
2633.59/2643.62 c 2644 14999397 277990 1 - 0.0000 -
2638.76/2648.88 c 2649 15028466 277477 1 - 0.0000 -
2643.96/2654.01 c 2654 15040368 278917 1 - 0.0000 -
2648.94/2659.08 c 2659 15067355 279728 1 - 0.0000 -
2654.02/2664.13 c 2664 15098633 278998 1 - 0.0000 -
2659.01/2669.18 c 2669 15128016 278294 1 - 0.0000 -
2664.09/2674.24 c 2674 15150963 279671 1 - 0.0000 -
2669.17/2679.33 c 2679 15169935 281087 1 - 0.0000 -
2674.15/2684.38 c 2684 15195087 279329 1 - 0.0000 -
2679.24/2689.48 c 2689 15220524 279676 1 - 0.0000 -
2684.32/2694.56 c 2695 15247428 282596 1 - 0.0000 -
2689.41/2699.63 c 2700 15264978 284866 1 - 0.0000 -
2694.39/2704.67 c 2705 15292807 287533 1 - 0.0000 -
2699.57/2709.80 c 2710 15318696 289938 1 - 0.0000 -
2704.56/2714.85 c 2715 15343085 292068 1 - 0.0000 -
2709.64/2719.91 c 2720 15368996 294329 1 - 0.0000 -
2714.63/2724.99 c 2725 15394591 295933 1 - 0.0000 -
2719.72/2730.04 c 2730 15423746 297140 1 - 0.0000 -
2724.70/2735.09 c 2735 15457069 297477 1 - 0.0000 -
2729.78/2740.14 c 2740 15488491 297150 1 - 0.0000 -
2734.87/2745.25 c 2745 15518349 297212 1 - 0.0000 -
2739.94/2750.30 c 2750 15550408 297499 1 - 0.0000 -
2744.93/2755.35 c 2755 15582591 297654 1 - 0.0000 -
2750.01/2760.40 c 2760 15616890 296486 1 - 0.0000 -
2755.00/2765.45 c 2765 15644659 296889 1 - 0.0000 -
2760.08/2770.51 c 2771 15682175 295638 1 - 0.0000 -
2765.06/2775.57 c 2776 15718667 293996 1 - 0.0000 -
2770.15/2780.63 c 2781 15755736 292255 1 - 0.0000 -
2775.23/2785.71 c 2786 15790717 290464 1 - 0.0000 -
2780.22/2790.76 c 2791 15821472 289732 1 - 0.0000 -
2785.30/2795.81 c 2796 15854234 287825 1 - 0.0000 -
2790.29/2800.86 c 2801 15886142 286136 1 - 0.0000 -
2795.37/2805.91 c 2806 15914760 285529 1 - 0.0000 -
2800.36/2810.96 c 2811 15945747 287395 1 - 0.0000 -
2805.44/2816.03 c 2816 15983082 286260 1 - 0.0000 -
2810.43/2821.07 c 2821 16011441 286046 1 - 0.0000 -
2815.51/2826.12 c 2826 16040211 285530 1 - 0.0000 -
2820.50/2831.17 c 2831 16070251 285379 1 - 0.0000 -
2825.58/2836.23 c 2836 16102212 284494 1 - 0.0000 -
2830.65/2841.36 c 2841 16125512 287151 1 - 0.0000 -
2835.74/2846.41 c 2846 16144713 289434 1 - 0.0000 -
2840.82/2851.50 c 2852 16167316 292118 1 - 0.0000 -
2845.81/2856.55 c 2857 16192940 293998 1 - 0.0000 -
2850.89/2861.66 c 2862 16215150 296404 1 - 0.0000 -
2856.07/2866.80 c 2867 16241505 298631 1 - 0.0000 -
2861.05/2871.88 c 2872 16265259 300590 1 - 0.0000 -
2866.14/2876.93 c 2877 16291019 301999 1 - 0.0000 -
2871.11/2881.98 c 2882 16319850 302943 1 - 0.0000 -
2876.20/2887.03 c 2887 16349504 303597 1 - 0.0000 -
2881.19/2892.08 c 2892 16381695 303459 1 - 0.0000 -
2886.27/2897.13 c 2897 16414798 303191 1 - 0.0000 -
2891.25/2902.19 c 2902 16445780 303201 1 - 0.0000 -
2896.33/2907.24 c 2907 16482871 302926 1 - 0.0000 -
2901.32/2912.29 c 2912 16517367 301533 1 - 0.0000 -
2906.40/2917.34 c 2917 16555296 300436 1 - 0.0000 -
2911.39/2922.39 c 2922 16586874 299287 1 - 0.0000 -
2916.47/2927.44 c 2927 16623363 298097 1 - 0.0000 -
2921.45/2932.49 c 2932 16657708 296502 1 - 0.0000 -
2926.54/2937.55 c 2938 16691611 295292 1 - 0.0000 -
2931.63/2942.60 c 2943 16725986 293233 1 - 0.0000 -
2936.61/2947.65 c 2948 16758490 290903 1 - 0.0000 -
2941.69/2952.70 c 2953 16788127 289724 1 - 0.0000 -
2946.67/2957.75 c 2958 16815727 289094 1 - 0.0000 -
2951.76/2962.80 c 2963 16849653 288243 1 - 0.0000 -
2956.84/2967.92 c 2968 16879832 287838 1 - 0.0000 -
2961.82/2972.96 c 2973 16909684 287428 1 - 0.0000 -
2966.91/2978.01 c 2978 16938993 286451 1 - 0.0000 -
2971.90/2983.06 c 2983 16966726 285380 1 - 0.0000 -
2976.98/2988.11 c 2988 16989484 285678 1 - 0.0000 -
2981.96/2993.16 c 2993 17003856 287451 1 - 0.0000 -
2987.05/2998.21 c 2998 17024533 288642 1 - 0.0000 -
2992.02/3003.26 c 3003 17048290 288400 1 - 0.0000 -
2997.11/3008.31 c 3008 17071578 286428 1 - 0.0000 -
3002.30/3013.55 c 3014 17095456 286300 1 - 0.0000 -
3007.27/3018.59 c 3019 17122672 287989 1 - 0.0000 -
3012.36/3023.64 c 3024 17155379 288852 1 - 0.0000 -
3017.35/3028.69 c 3029 17185813 289536 1 - 0.0000 -
3022.62/3033.93 c 3034 17214598 290233 1 - 0.0000 -
3027.61/3038.98 c 3039 17242314 289183 1 - 0.0000 -
3032.70/3044.03 c 3044 17269268 288248 1 - 0.0000 -
3037.69/3049.08 c 3049 17294938 287764 1 - 0.0000 -
3042.78/3054.13 c 3054 17320358 287366 1 - 0.0000 -
3047.76/3059.18 c 3059 17342879 288589 1 - 0.0000 -
3052.84/3064.23 c 3064 17367478 287628 1 - 0.0000 -
3057.82/3069.28 c 3069 17394806 286762 1 - 0.0000 -
3062.91/3074.35 c 3074 17422251 285405 1 - 0.0000 -
3067.99/3079.41 c 3079 17448809 284549 1 - 0.0000 -
3072.98/3084.46 c 3084 17476116 283611 1 - 0.0000 -
3078.16/3089.60 c 3090 17505342 284786 1 - 0.0000 -
3083.14/3094.66 c 3095 17538232 283812 1 - 0.0000 -
3088.23/3099.75 c 3100 17565047 283938 1 - 0.0000 -
3093.32/3104.80 c 3105 17584802 284705 1 - 0.0000 -
3098.30/3109.85 c 3110 17612345 284697 1 - 0.0000 -
3103.39/3114.90 c 3115 17645108 284260 1 - 0.0000 -
3108.36/3119.95 c 3120 17661869 286252 1 - 0.0000 -
3113.45/3125.02 c 3125 17674259 287723 1 - 0.0000 -
3118.54/3130.12 c 3130 17690143 288900 1 - 0.0000 -
3123.61/3135.23 c 3135 17710029 289544 1 - 0.0000 -
3128.70/3140.38 c 3140 17731254 289377 1 - 0.0000 -
3133.78/3145.43 c 3145 17752378 288417 1 - 0.0000 -
3138.76/3150.48 c 3150 17776189 286099 1 - 0.0000 -
3143.84/3155.53 c 3156 17804635 285528 1 - 0.0000 -
3148.83/3160.58 c 3161 17832236 284924 1 - 0.0000 -
3154.01/3165.77 c 3166 17856218 284667 1 - 0.0000 -
3159.20/3170.91 c 3171 17872592 287135 1 - 0.0000 -
3164.29/3176.01 c 3176 17896179 290120 1 - 0.0000 -
3169.27/3181.07 c 3181 17915516 292339 1 - 0.0000 -
3174.36/3186.15 c 3186 17939836 294707 1 - 0.0000 -
3179.43/3191.27 c 3191 17968920 297917 1 - 0.0000 -
3184.62/3196.49 c 3196 17996600 300229 1 - 0.0000 -
3189.70/3201.54 c 3202 18017580 302389 1 - 0.0000 -
3194.80/3206.61 c 3207 18047963 304906 1 - 0.0000 -
3199.78/3211.68 c 3212 18073073 307696 1 - 0.0000 -
3204.86/3216.75 c 3217 18093053 309846 1 - 0.0000 -
3209.94/3221.80 c 3222 18116505 312590 1 - 0.0000 -
3215.14/3227.01 c 3227 18138757 314744 1 - 0.0000 -
3220.12/3232.07 c 3232 18165297 316616 1 - 0.0000 -
3225.30/3237.27 c 3237 18184853 319372 1 - 0.0000 -
3230.58/3242.54 c 3243 18209548 321989 1 - 0.0000 -
3235.57/3247.59 c 3248 18240880 324731 1 - 0.0000 -
3240.66/3252.67 c 3253 18269337 326673 1 - 0.0000 -
3245.84/3257.84 c 3258 18297023 328246 1 - 0.0000 -
3250.93/3262.90 c 3263 18331249 330668 1 - 0.0000 -
3255.91/3267.95 c 3268 18362829 332114 1 - 0.0000 -
3261.00/3273.07 c 3273 18392532 333011 1 - 0.0000 -
3266.09/3278.19 c 3278 18426712 334022 1 - 0.0000 -
3271.17/3283.25 c 3283 18456214 335222 1 - 0.0000 -
3276.15/3288.29 c 3288 18488795 335758 1 - 0.0000 -
3281.24/3293.38 c 3293 18523483 336175 1 - 0.0000 -
3286.32/3298.42 c 3298 18560296 335880 1 - 0.0000 -
3291.30/3303.47 c 3303 18595941 335833 1 - 0.0000 -
3296.38/3308.58 c 3309 18631021 335649 1 - 0.0000 -
3301.46/3313.63 c 3314 18667945 334515 1 - 0.0000 -
3306.65/3318.80 c 3319 18702625 334141 1 - 0.0000 -
3311.63/3323.84 c 3324 18741302 333632 1 - 0.0000 -
3316.72/3328.90 c 3329 18775483 333360 1 - 0.0000 -
3321.71/3333.97 c 3334 18810845 332478 1 - 0.0000 -
3326.80/3339.09 c 3339 18844105 331329 1 - 0.0000 -
3331.88/3344.16 c 3344 18877329 330271 1 - 0.0000 -
3336.96/3349.20 c 3349 18911608 329545 1 - 0.0000 -
3341.95/3354.25 c 3354 18941505 329089 1 - 0.0000 -
3347.03/3359.30 c 3359 18977781 327447 1 - 0.0000 -
3352.12/3364.43 c 3364 19009787 327103 1 - 0.0000 -
3357.10/3369.49 c 3370 19047022 325987 1 - 0.0000 -
3362.18/3374.54 c 3375 19081657 324270 1 - 0.0000 -
3367.27/3379.62 c 3380 19118380 322621 1 - 0.0000 -
3372.25/3384.69 c 3385 19151073 321428 1 - 0.0000 -
3377.34/3389.76 c 3390 19179300 321057 1 - 0.0000 -
3382.43/3394.81 c 3395 19210853 319690 1 - 0.0000 -
3387.42/3399.86 c 3400 19246586 318930 1 - 0.0000 -
3392.50/3404.91 c 3405 19282301 317466 1 - 0.0000 -
3397.49/3409.96 c 3410 19309654 317437 1 - 0.0000 -
3402.58/3415.01 c 3415 19342137 315705 1 - 0.0000 -
3407.67/3420.16 c 3420 19382860 313009 1 - 0.0000 -
3412.75/3425.23 c 3425 19423530 310477 1 - 0.0000 -
3417.73/3430.28 c 3430 19457782 308976 1 - 0.0000 -
3422.82/3435.33 c 3435 19492479 306981 1 - 0.0000 -
3427.90/3440.40 c 3440 19527306 303337 1 - 0.0000 -
3432.89/3445.45 c 3445 19560441 301350 1 - 0.0000 -
3437.97/3450.50 c 3451 19590315 300208 1 - 0.0000 -
3442.96/3455.55 c 3456 19615190 300386 1 - 0.0000 -
3448.05/3460.61 c 3461 19649736 302607 1 - 0.0000 -
3453.03/3465.66 c 3466 19685439 303544 1 - 0.0000 -
3458.13/3470.71 c 3471 19726039 302485 1 - 0.0000 -
3463.11/3475.76 c 3476 19763524 300394 1 - 0.0000 -
3468.19/3480.81 c 3481 19785971 301758 1 - 0.0000 -
3473.18/3485.86 c 3486 19816190 301604 1 - 0.0000 -
3478.27/3490.91 c 3491 19845747 300400 1 - 0.0000 -
3483.26/3495.96 c 3496 19875745 300453 1 - 0.0000 -
3488.34/3501.03 c 3501 19912839 300195 1 - 0.0000 -
3493.33/3506.08 c 3506 19946430 298392 1 - 0.0000 -
3498.42/3511.12 c 3511 19975585 299488 1 - 0.0000 -
3503.40/3516.17 c 3516 20007031 300208 1 - 0.0000 -
3508.48/3521.22 c 3521 20044689 298827 1 - 0.0000 -
3513.47/3526.27 c 3526 20075854 299149 1 - 0.0000 -
3518.56/3531.32 c 3531 20107480 298626 1 - 0.0000 -
3523.65/3536.47 c 3536 20131758 298637 1 - 0.0000 -
3528.73/3541.52 c 3542 20165153 298257 1 - 0.0000 -
3533.71/3546.57 c 3547 20197051 297286 1 - 0.0000 -
3538.80/3551.62 c 3552 20220421 298285 1 - 0.0000 -
3543.89/3556.74 c 3557 20243576 299703 1 - 0.0000 -
3548.87/3561.79 c 3562 20270418 298352 1 - 0.0000 -
3554.16/3567.00 c 3567 20297040 299043 1 - 0.0000 -
3559.15/3572.04 c 3572 20330716 298719 1 - 0.0000 -
3564.24/3577.19 c 3577 20358643 301390 1 - 0.0000 -
3569.31/3582.24 c 3582 20387337 303606 1 - 0.0000 -
3574.40/3587.38 c 3587 20410536 305055 1 - 0.0000 -
3579.59/3592.56 c 3593 20436636 307409 1 - 0.0000 -
3584.67/3597.60 c 3598 20456121 309728 1 - 0.0000 -
3586.27/3599.22 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.27/3599.22 c Total Time : 3599.2200
3586.27/3599.22 c solving : 3599.2200
3586.27/3599.22 c presolving : 0.0014 (included in solving)
3586.27/3599.22 c B&B Tree :
3586.27/3599.22 c nodes (total) : 1
3586.27/3599.22 c Solution :
3586.27/3599.22 c Solutions found : 0
3586.27/3599.22 c Primal Bound : -
3586.27/3599.22 c Dual Bound : +0.00000000000000e+00
3586.27/3599.22 c Gap : -
3586.27/3599.22 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 (50319 MiB free)
memory of node 1: 64510 MiB (57797 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464341-1722379149/watcher-4464341-1722379149 -o /tmp/evaluation-result-4464341-1722379149/solver-4464341-1722379149 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722378594-29597 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464341-1722379149.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=30156, runsolver pid=30153
[startup+0.100097 s]*
/proc/loadavg: 4.09 3.51 1.93 5/262 30159
/proc/meminfo: memFree=110703304/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=106412 memory=20184 CPUtime=0.09 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 2402 0 0 0 9 0 0 0 20 0 3 0 4514195 108965888 5046 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 26603 5046 2950 3035 0 8353 0
[pid=30156/tid=30158] ppid=30153 vsize=106412 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 1288 0 0 0 9 0 0 0 20 0 3 0 4514196 108965888 5046 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=106412 memory=228556276070 CPUtime=0 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4514196 108965888 5046 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106412 KiB
Current children cumulated memory: 20184 KiB
[startup+0.205701 s]*
/proc/loadavg: 4.09 3.51 1.93 5/262 30159
/proc/meminfo: memFree=110702816/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=106412 memory=20508 CPUtime=0.2 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 2463 0 0 0 20 0 0 0 20 0 3 0 4514195 108965888 5127 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 26603 5127 2966 3035 0 8417 0
[pid=30156/tid=30158] ppid=30153 vsize=106412 memory=664970838410264707 CPUtime=0.2 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 1349 0 0 0 20 0 0 0 20 0 3 0 4514196 108965888 5127 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=106412 memory=3712 CPUtime=0 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4514196 108965888 5127 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106412 KiB
Current children cumulated memory: 20508 KiB
[startup+0.305642 s]*
/proc/loadavg: 4.09 3.51 1.93 5/262 30159
/proc/meminfo: memFree=110702676/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=106412 memory=20508 CPUtime=0.3 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 2463 0 0 0 30 0 0 0 20 0 3 0 4514195 108965888 5127 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 26603 5127 2966 3035 0 8417 0
[pid=30156/tid=30158] ppid=30153 vsize=106412 memory=-5155632392600054661 CPUtime=0.3 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 1349 0 0 0 30 0 0 0 20 0 3 0 4514196 108965888 5127 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=106412 memory=0 CPUtime=0 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4514196 108965888 5127 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106412 KiB
Current children cumulated memory: 20508 KiB
[startup+0.700265 s]
/proc/loadavg: 4.09 3.51 1.93 5/262 30159
/proc/meminfo: memFree=110702536/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=106412 memory=20508 CPUtime=0.69 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 2491 0 0 0 69 0 0 0 20 0 3 0 4514195 108965888 5127 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 26603 5127 2966 3035 0 8450 0
[pid=30156/tid=30158] ppid=30153 vsize=106412 memory=0 CPUtime=0.68 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 1377 0 0 0 68 0 0 0 20 0 3 0 4514196 108965888 5127 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=106412 memory=0 CPUtime=0 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4514196 108965888 5127 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106412 KiB
Current children cumulated memory: 20508 KiB
[startup+1.50024 s]
/proc/loadavg: 4.09 3.51 1.93 5/262 30159
/proc/meminfo: memFree=110702136/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=106412 memory=20948 CPUtime=1.48 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 3702 0 0 0 148 0 0 0 20 0 3 0 4514195 108965888 5237 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 26603 5237 2966 3035 0 8490 0
[pid=30156/tid=30158] ppid=30153 vsize=106412 memory=0 CPUtime=1.48 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 2576 0 0 0 148 0 0 0 20 0 3 0 4514196 108965888 5237 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=106412 memory=0 CPUtime=0 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4514196 108965888 5237 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106412 KiB
Current children cumulated memory: 20948 KiB
[startup+3.10535 s]
/proc/loadavg: 4.17 3.54 1.95 5/262 30159
/proc/meminfo: memFree=110702024/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=106412 memory=21140 CPUtime=3.09 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 3876 0 0 0 308 1 0 0 20 0 3 0 4514195 108965888 5285 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 26603 5285 2966 3035 0 8490 0
[pid=30156/tid=30158] ppid=30153 vsize=106412 memory=0 CPUtime=3.08 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 2748 0 0 0 308 0 0 0 20 0 3 0 4514196 108965888 5285 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=106412 memory=4121366755394809845 CPUtime=0 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4514196 108965888 5285 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 106412 KiB
Current children cumulated memory: 21140 KiB
[startup+6.30025 s]
/proc/loadavg: 4.17 3.54 1.95 5/262 30159
/proc/meminfo: memFree=110698532/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=106412 memory=24648 CPUtime=6.27 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 6524 0 0 0 624 3 0 0 20 0 3 0 4514195 108965888 6162 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 26603 6162 2966 3035 0 9493 0
[pid=30156/tid=30158] ppid=30153 vsize=106412 memory=0 CPUtime=6.26 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 5372 0 0 0 624 2 0 0 20 0 3 0 4514196 108965888 6162 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=106412 memory=11592 CPUtime=0 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4514196 108965888 6162 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 106412 KiB
Current children cumulated memory: 24648 KiB
[startup+12.7003 s]
/proc/loadavg: 4.15 3.54 1.96 5/262 30161
/proc/meminfo: memFree=110671116/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=106412 memory=31296 CPUtime=12.65 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 12789 0 0 0 1258 7 0 0 20 0 3 0 4514195 108965888 7824 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 26603 7824 3014 3035 0 10926 0
[pid=30156/tid=30158] ppid=30153 vsize=106412 memory=11592 CPUtime=12.64 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 11595 0 0 0 1258 6 0 0 20 0 3 0 4514196 108965888 7824 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=106412 memory=12856 CPUtime=0 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4514196 108965888 7824 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 106412 KiB
Current children cumulated memory: 31296 KiB
[startup+25.5003 s]
/proc/loadavg: 4.19 3.58 2.00 5/262 30162
/proc/meminfo: memFree=110617496/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=109688 memory=43176 CPUtime=25.41 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 23778 0 0 0 2525 16 0 0 20 0 3 0 4514195 112320512 10794 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 27422 10794 3014 3035 0 14089 0
[pid=30156/tid=30158] ppid=30153 vsize=109688 memory=42580 CPUtime=25.4 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 22538 0 0 0 2525 15 0 0 20 0 3 0 4514196 112320512 10794 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=109688 memory=11592 CPUtime=0 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4514196 112320512 10794 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 109688 KiB
Current children cumulated memory: 43176 KiB
[startup+51.1055 s]
/proc/loadavg: 4.20 3.63 2.06 5/262 30167
/proc/meminfo: memFree=110604412/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=112796 memory=54852 CPUtime=50.94 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 45760 0 0 0 5061 33 0 0 20 0 3 0 4514195 115503104 13713 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 28199 13713 3014 3035 0 16744 0
[pid=30156/tid=30158] ppid=30153 vsize=112796 memory=11592 CPUtime=50.93 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 44460 0 0 0 5061 32 0 0 20 0 3 0 4514196 115503104 13713 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=112796 memory=50760 CPUtime=0 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4514196 115503104 13713 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 112796 KiB
Current children cumulated memory: 54852 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 3.71 2.17 5/265 30182
/proc/meminfo: memFree=110514760/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=120456 memory=76624 CPUtime=101.97 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 81077 0 0 0 10128 69 0 0 20 0 3 0 4514195 123346944 19156 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 30114 19156 3014 3035 0 22269 0
[pid=30156/tid=30158] ppid=30153 vsize=120456 memory=70952 CPUtime=101.95 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 79710 0 0 0 10127 68 0 0 20 0 3 0 4514196 123346944 19156 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=120456 memory=11592 CPUtime=0 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4514196 123346944 19156 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 120456 KiB
Current children cumulated memory: 76624 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 3.78 2.29 5/265 30192
/proc/meminfo: memFree=109840404/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=127544 memory=98444 CPUtime=161.79 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 114399 0 0 0 16067 112 0 0 20 0 3 0 4514195 130605056 24611 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 31886 24611 3014 3035 0 27716 0
[pid=30156/tid=30158] ppid=30153 vsize=127544 memory=280510622967360 CPUtime=161.77 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 112986 0 0 0 16066 111 0 0 20 0 3 0 4514196 130605056 24611 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=127544 memory=98200 CPUtime=0 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4514196 130605056 24611 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 127544 KiB
################
# More data... #
################
/proc/30156/statm: 179349 156772 3014 3035 0 161089 0
[pid=30156/tid=30158] ppid=30153 vsize=717396 memory=627088 CPUtime=3389.67 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 3424999 0 0 0 336602 2365 0 0 20 0 3 0 4514196 734613504 156772 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=717396 memory=627088 CPUtime=0.03 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 126 0 0 0 0 3 0 0 20 0 3 0 4514196 734613504 156772 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 3389.91 s
Current children cumulated vsize: 717396 KiB
Current children cumulated memory: 627088 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.18 4.09 5/263 32347
/proc/meminfo: memFree=117132508/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=717396 memory=627160 CPUtime=3449.74 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 3448309 0 0 0 342563 2411 0 0 20 0 3 0 4514195 734613504 156790 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 179349 156790 3014 3035 0 161089 0
[pid=30156/tid=30158] ppid=30153 vsize=717396 memory=627088 CPUtime=3449.5 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 3445752 0 0 0 342546 2404 0 0 20 0 3 0 4514196 734613504 156790 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=717396 memory=11592 CPUtime=0.03 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 128 0 0 0 0 3 0 0 20 0 3 0 4514196 734613504 156790 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 3449.74 s
Current children cumulated vsize: 717396 KiB
Current children cumulated memory: 627160 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.18 4.10 5/263 32360
/proc/meminfo: memFree=117127812/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=717396 memory=627264 CPUtime=3509.58 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 3466485 0 0 0 348514 2444 0 0 20 0 3 0 4514195 734613504 156816 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 179349 156816 3014 3035 0 161089 0
[pid=30156/tid=30158] ppid=30153 vsize=717396 memory=5424 CPUtime=3509.33 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 3463921 0 0 0 348496 2437 0 0 20 0 3 0 4514196 734613504 156816 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=717396 memory=627264 CPUtime=0.03 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 130 0 0 0 0 3 0 0 20 0 3 0 4514196 734613504 156816 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 3509.58 s
Current children cumulated vsize: 717396 KiB
Current children cumulated memory: 627264 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.17 4.10 5/263 32370
/proc/meminfo: memFree=117121488/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=717396 memory=627872 CPUtime=3569.41 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 3483597 0 0 0 354463 2478 0 0 20 0 3 0 4514195 734613504 156968 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 179349 156968 3014 3035 0 161089 0
[pid=30156/tid=30158] ppid=30153 vsize=717396 memory=8443184 CPUtime=3569.16 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 3481017 0 0 0 354446 2470 0 0 20 0 3 0 4514196 734613504 156968 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=717396 memory=627872 CPUtime=0.03 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 132 0 0 0 0 3 0 0 20 0 3 0 4514196 734613504 156968 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 3569.41 s
Current children cumulated vsize: 717396 KiB
Current children cumulated memory: 627872 KiB
[startup+3599.22 s]
# the end of solver process 30156 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3561.43 s, system=24.8678 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.17 4.10 5/263 32370
/proc/meminfo: memFree=117121440/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=717396 memory=627872 CPUtime=3571.12 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 3486112 0 0 0 354632 2480 0 0 20 0 3 0 4514195 734613504 156968 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 179349 156968 3014 3035 0 161089 0
[pid=30156/tid=30158] ppid=30153 vsize=717396 memory=2652 CPUtime=3570.86 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 3483535 0 0 0 354614 2472 0 0 20 0 3 0 4514196 734613504 156968 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=717396 memory=627872 CPUtime=0.03 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 132 0 0 0 0 3 0 0 20 0 3 0 4514196 734613504 156968 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 3571.12 s
Current children cumulated vsize: 717396 KiB
Current children cumulated memory: 627872 KiB
[startup+3590.4 s]
/proc/loadavg: 4.15 4.17 4.09 5/263 32372
/proc/meminfo: memFree=117121472/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=717396 memory=627872 CPUtime=3577.49 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 3487369 0 0 0 355267 2482 0 0 20 0 3 0 4514195 734613504 156968 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 179349 156968 3014 3035 0 161089 0
[pid=30156/tid=30158] ppid=30153 vsize=717396 memory=627872 CPUtime=3577.23 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 3484789 0 0 0 355249 2474 0 0 20 0 3 0 4514196 734613504 156968 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=717396 memory=12856 CPUtime=0.03 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 132 0 0 0 0 3 0 0 20 0 3 0 4514196 734613504 156968 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 3577.49 s
Current children cumulated vsize: 717396 KiB
Current children cumulated memory: 627872 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.17 4.09 5/263 32372
/proc/meminfo: memFree=117120908/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=717396 memory=627880 CPUtime=3580.68 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 3488064 0 0 0 355585 2483 0 0 20 0 3 0 4514195 734613504 156970 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 179349 156970 3014 3035 0 161089 0
[pid=30156/tid=30158] ppid=30153 vsize=717396 memory=627880 CPUtime=3580.43 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 3485484 0 0 0 355567 2476 0 0 20 0 3 0 4514196 734613504 156970 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=717396 memory=627872 CPUtime=0.03 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 132 0 0 0 0 3 0 0 20 0 3 0 4514196 734613504 156970 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 3580.68 s
Current children cumulated vsize: 717396 KiB
Current children cumulated memory: 627880 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.17 4.09 5/263 32373
/proc/meminfo: memFree=117120864/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=717396 memory=627880 CPUtime=3583.87 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 3488514 0 0 0 355903 2484 0 0 20 0 3 0 4514195 734613504 156970 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 179349 156970 3014 3035 0 161089 0
[pid=30156/tid=30158] ppid=30153 vsize=717396 memory=627872 CPUtime=3583.62 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 3485934 0 0 0 355885 2477 0 0 20 0 3 0 4514196 734613504 156970 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=717396 memory=627880 CPUtime=0.03 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 132 0 0 0 0 3 0 0 20 0 3 0 4514196 734613504 156970 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 3583.87 s
Current children cumulated vsize: 717396 KiB
Current children cumulated memory: 627880 KiB
[startup+3598.4 s]
/proc/loadavg: 4.13 4.16 4.09 5/263 32373
/proc/meminfo: memFree=117120852/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=630400 memory=600100 CPUtime=3585.47 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 3495502 0 0 0 356062 2485 0 0 20 0 3 0 4514195 645529600 150025 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 157600 150025 3014 3035 0 153857 0
[pid=30156/tid=30158] ppid=30153 vsize=630400 memory=2764 CPUtime=3585.21 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 3492915 0 0 0 356044 2477 0 0 20 0 3 0 4514196 645529600 150025 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=630400 memory=11592 CPUtime=0.03 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 132 0 0 0 0 3 0 0 20 0 3 0 4514196 645529600 150025 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 3585.47 s
Current children cumulated vsize: 630400 KiB
Current children cumulated memory: 600100 KiB
[startup+3598.8 s]
/proc/loadavg: 4.13 4.16 4.09 5/263 32373
/proc/meminfo: memFree=117120852/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=570072 memory=539772 CPUtime=3585.87 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 3495708 0 0 0 356101 2486 0 0 20 0 3 0 4514195 583753728 134943 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 142518 134943 3014 3035 0 138775 0
[pid=30156/tid=30158] ppid=30153 vsize=570072 memory=-7596564888052392827 CPUtime=3585.61 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 3493121 0 0 0 356083 2478 0 0 20 0 3 0 4514196 583753728 134943 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=570072 memory=7020 CPUtime=0.03 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 132 0 0 0 0 3 0 0 20 0 3 0 4514196 583753728 134943 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 3585.87 s
Current children cumulated vsize: 570072 KiB
Current children cumulated memory: 539772 KiB
[startup+3599.2 s]
/proc/loadavg: 4.13 4.16 4.09 5/263 32373
/proc/meminfo: memFree=117200888/131524600 swapFree=131071996/131071996
[pid=30156] ppid=30153 vsize=481980 memory=451680 CPUtime=3586.27 cores=5,7
/proc/30156/stat : 30156 (fscip) S 30153 30156 29584 0 -1 1077936128 3496101 0 0 0 356141 2486 0 0 20 0 3 0 4514195 493547520 112920 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
/proc/30156/statm: 120495 112920 3014 3035 0 116752 0
[pid=30156/tid=30158] ppid=30153 vsize=481980 memory=587116 CPUtime=3586.01 cores=5,7
/proc/30156/task/30158/stat : 30158 (fscip) R 30153 30156 29584 0 -1 4194368 3493514 0 0 0 356123 2478 0 0 20 0 3 0 4514196 493547520 112920 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
[pid=30156/tid=30159] ppid=30153 vsize=481980 memory=11592 CPUtime=0.03 cores=5,7
/proc/30156/task/30159/stat : 30159 (fscip) S 30153 30156 29584 0 -1 1077936192 132 0 0 0 0 3 0 0 20 0 3 0 4514196 493547520 112920 134679101440 4194304 16623229 140725361084112 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46116864 140725361087510 140725361087626 140725361087626 140725361094640 0
Current children cumulated CPU time: 3586.27 s
Current children cumulated vsize: 481980 KiB
Current children cumulated memory: 451680 KiB
Child status: 0
Real time (s): 3599.22
CPU time (s): 3586.3
CPU user time (s): 3561.43
CPU system time (s): 24.8678
CPU usage (%): 99.641
Max. virtual memory (cumulated for all children) (KiB): 717396
Max. memory (cumulated for all children) (KiB): 627880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3561.43
system time used= 24.8678
maximum resident set size= 627880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3496331
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= 10887
involuntary context switches= 3518
# summary of solver processes directly reported to runsolver:
# pid: 30156
# total CPU time (s): 3586.3
# total CPU user time (s): 3561.43
# total CPU system time (s): 24.8678
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.95022 second user time and 16.9637 second system time
The end
Begin job on nodeC023 at 2024-07-31 00:39:09
IDJOB=4464341
IDBENCH=148107
IDSOLVER=3092
FILE ID=nodeC023/4464341-1722379149
RUNJOBID= nodeC023-1722378594-29597
SLURM_JOB_ID= 8249846
Free space on /tmp= 889952 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob2.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-4464341-1722379149/watcher-4464341-1722379149 -o /tmp/evaluation-result-4464341-1722379149/solver-4464341-1722379149 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722378594-29597 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464341-1722379149.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f3b4489b3c27b845ad2c738d1f690b61
RANDOM SEED=1367756045
nodeC023.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.178
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3677.662
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.054
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3627.298
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.159
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3676.306
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.110
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.61
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.269
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 110712508 kB
MemAvailable: 111161200 kB
Buffers: 91680 kB
Cached: 1192012 kB
SwapCached: 0 kB
Active: 310556 kB
Inactive: 19991816 kB
Active(anon): 1552 kB
Inactive(anon): 19038480 kB
Active(file): 309004 kB
Inactive(file): 953336 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28320 kB
Writeback: 48 kB
AnonPages: 19018688 kB
Mapped: 124460 kB
Shmem: 21336 kB
KReclaimable: 52000 kB
Slab: 132488 kB
SReclaimable: 52000 kB
SUnreclaim: 80488 kB
KernelStack: 4160 kB
PageTables: 46528 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 16862944 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8933376 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 164564 kB
DirectMap2M: 10094592 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889916 MiB
End job on nodeC023 at 2024-07-31 01:39:08