0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22392832, getVmSize() = 22392832, SCIPgetMemUsed() = 726039, 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 = 15428266, getVmSize() = 23891968, SCIPgetMemUsed() = 850113, 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-4445330-1721321852
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 26138 1809 1 - 0.0000 -
10.06/10.12 c 10 56877 4816 1 - 0.0000 -
15.04/15.17 c 15 92018 7723 1 - 0.0000 -
20.12/20.21 c 20 126019 10326 1 - 0.0000 -
25.10/25.26 c 25 163039 13966 1 - 0.0000 -
30.18/30.31 c 30 197174 16072 1 - 0.0000 -
35.16/35.36 c 35 225252 17642 1 - 0.0000 -
40.25/40.41 c 40 257259 20228 1 - 0.0000 -
45.23/45.46 c 45 290836 21824 1 - 0.0000 -
50.30/50.51 c 51 324284 24136 1 - 0.0000 -
55.28/55.56 c 56 355836 26452 1 - 0.0000 -
60.37/60.61 c 61 391921 28407 1 - 0.0000 -
65.35/65.65 c 66 432274 30578 1 - 0.0000 -
70.44/70.70 c 71 466005 32595 1 - 0.0000 -
75.41/75.75 c 76 499935 34231 1 - 0.0000 -
80.50/80.80 c 81 540127 36557 1 - 0.0000 -
85.47/85.85 c 86 573270 38050 1 - 0.0000 -
90.56/90.90 c 91 611140 39731 1 - 0.0000 -
95.55/95.95 c 96 641449 41447 1 - 0.0000 -
100.63/101.00 c 101 688878 44320 1 - 0.0000 -
105.60/106.05 c 106 733515 46640 1 - 0.0000 -
110.59/111.10 c 111 763801 48271 1 - 0.0000 -
115.67/116.15 c 116 796191 49644 1 - 0.0000 -
120.75/121.20 c 121 842576 52764 1 - 0.0000 -
125.73/126.25 c 126 881144 54959 1 - 0.0000 -
130.81/131.30 c 131 915621 55646 1 - 0.0000 -
135.79/136.35 c 136 953205 56618 1 - 0.0000 -
140.88/141.40 c 141 990572 58158 1 - 0.0000 -
145.85/146.45 c 146 1028791 60200 1 - 0.0000 -
150.93/151.50 c 152 1066720 61413 1 - 0.0000 -
155.91/156.55 c 157 1104475 63234 1 - 0.0000 -
160.99/161.60 c 162 1147890 64541 1 - 0.0000 -
165.97/166.65 c 167 1185664 66073 1 - 0.0000 -
171.04/171.70 c 172 1217758 66927 1 - 0.0000 -
176.03/176.75 c 177 1250017 71910 1 - 0.0000 -
181.10/181.80 c 182 1282502 75706 1 - 0.0000 -
186.08/186.85 c 187 1316229 79229 1 - 0.0000 -
191.15/191.90 c 192 1356536 82692 1 - 0.0000 -
196.13/196.95 c 197 1393914 86170 1 - 0.0000 -
201.21/202.00 c 202 1428870 88888 1 - 0.0000 -
206.19/207.05 c 207 1467244 90840 1 - 0.0000 -
211.28/212.10 c 212 1503054 93250 1 - 0.0000 -
216.25/217.15 c 217 1537767 95043 1 - 0.0000 -
221.33/222.20 c 222 1580906 97187 1 - 0.0000 -
226.31/227.25 c 227 1622504 98415 1 - 0.0000 -
231.39/232.30 c 232 1660186 99402 1 - 0.0000 -
236.36/237.35 c 237 1702023 100086 1 - 0.0000 -
241.45/242.40 c 242 1746646 100477 1 - 0.0000 -
246.42/247.45 c 247 1789468 101854 1 - 0.0000 -
251.50/252.50 c 253 1837257 103064 1 - 0.0000 -
256.48/257.55 c 258 1880789 103218 1 - 0.0000 -
261.56/262.60 c 263 1923601 103368 1 - 0.0000 -
266.54/267.65 c 268 1966891 102450 1 - 0.0000 -
271.62/272.70 c 273 2005908 103021 1 - 0.0000 -
276.60/277.75 c 278 2044805 103363 1 - 0.0000 -
281.68/282.80 c 283 2089609 102840 1 - 0.0000 -
286.65/287.85 c 288 2127404 102514 1 - 0.0000 -
291.74/292.90 c 293 2160351 103201 1 - 0.0000 -
296.71/297.95 c 298 2192702 104017 1 - 0.0000 -
301.79/303.00 c 303 2219526 105598 1 - 0.0000 -
306.77/308.05 c 308 2255479 105817 1 - 0.0000 -
311.76/313.10 c 313 2292520 107001 1 - 0.0000 -
316.83/318.15 c 318 2331191 108221 1 - 0.0000 -
321.91/323.20 c 323 2373808 107996 1 - 0.0000 -
326.89/328.25 c 328 2416173 108656 1 - 0.0000 -
331.97/333.30 c 333 2455738 109021 1 - 0.0000 -
336.95/338.35 c 338 2501945 113304 1 - 0.0000 -
342.03/343.40 c 343 2555547 115464 1 - 0.0000 -
347.01/348.45 c 348 2605745 115734 1 - 0.0000 -
352.09/353.50 c 354 2650816 114356 1 - 0.0000 -
357.07/358.55 c 359 2690717 114190 1 - 0.0000 -
362.16/363.60 c 364 2725847 116809 1 - 0.0000 -
367.13/368.65 c 369 2769352 116531 1 - 0.0000 -
372.22/373.70 c 374 2799894 118289 1 - 0.0000 -
377.20/378.75 c 379 2838248 119119 1 - 0.0000 -
382.28/383.80 c 384 2887384 120188 1 - 0.0000 -
387.26/388.85 c 389 2932999 120121 1 - 0.0000 -
392.34/393.90 c 394 2980470 120440 1 - 0.0000 -
397.32/398.95 c 399 3013073 120337 1 - 0.0000 -
402.41/404.00 c 404 3046371 121482 1 - 0.0000 -
407.39/409.05 c 409 3083692 122242 1 - 0.0000 -
412.37/414.10 c 414 3116090 124288 1 - 0.0000 -
417.45/419.15 c 419 3145850 126018 1 - 0.0000 -
422.53/424.20 c 424 3175188 127218 1 - 0.0000 -
427.50/429.25 c 429 3203980 128092 1 - 0.0000 -
432.58/434.30 c 434 3232966 130242 1 - 0.0000 -
437.57/439.35 c 439 3262818 130846 1 - 0.0000 -
442.64/444.40 c 444 3294109 132983 1 - 0.0000 -
447.63/449.45 c 449 3319240 135078 1 - 0.0000 -
452.70/454.50 c 455 3348197 135804 1 - 0.0000 -
457.68/459.55 c 460 3380111 135124 1 - 0.0000 -
462.77/464.60 c 465 3401961 137222 1 - 0.0000 -
467.75/469.65 c 470 3427764 138201 1 - 0.0000 -
472.82/474.70 c 475 3454471 138799 1 - 0.0000 -
477.80/479.76 c 480 3478580 141142 1 - 0.0000 -
482.87/484.81 c 485 3503336 142513 1 - 0.0000 -
487.84/489.86 c 490 3529367 142888 1 - 0.0000 -
492.92/494.91 c 495 3555425 142284 1 - 0.0000 -
497.89/499.96 c 500 3582734 142157 1 - 0.0000 -
502.98/505.01 c 505 3606377 143926 1 - 0.0000 -
507.95/510.06 c 510 3631997 144755 1 - 0.0000 -
512.93/515.10 c 515 3659866 144898 1 - 0.0000 -
518.01/520.15 c 520 3687708 146659 1 - 0.0000 -
523.08/525.20 c 525 3711142 148178 1 - 0.0000 -
528.06/530.25 c 530 3734847 149863 1 - 0.0000 -
533.14/535.30 c 535 3763304 150676 1 - 0.0000 -
538.12/540.35 c 540 3785980 150619 1 - 0.0000 -
543.20/545.40 c 545 3806993 150530 1 - 0.0000 -
548.17/550.48 c 550 3827234 151791 1 - 0.0000 -
553.25/555.53 c 556 3849426 154172 1 - 0.0000 -
558.23/560.58 c 561 3876937 154712 1 - 0.0000 -
563.31/565.63 c 566 3899326 155942 1 - 0.0000 -
568.29/570.68 c 571 3924669 157604 1 - 0.0000 -
573.37/575.73 c 576 3949874 157373 1 - 0.0000 -
578.35/580.78 c 581 3976820 155824 1 - 0.0000 -
583.42/585.83 c 586 4003793 154631 1 - 0.0000 -
588.40/590.88 c 591 4029061 154939 1 - 0.0000 -
593.48/595.93 c 596 4053733 156022 1 - 0.0000 -
598.46/600.98 c 601 4079547 154730 1 - 0.0000 -
603.54/606.03 c 606 4105892 153455 1 - 0.0000 -
608.52/611.08 c 611 4132813 153638 1 - 0.0000 -
613.60/616.16 c 616 4157980 155072 1 - 0.0000 -
618.67/621.22 c 621 4179090 157339 1 - 0.0000 -
623.65/626.27 c 626 4201631 159382 1 - 0.0000 -
628.73/631.33 c 631 4223166 160755 1 - 0.0000 -
633.71/636.37 c 636 4243658 162047 1 - 0.0000 -
638.79/641.43 c 641 4268454 162769 1 - 0.0000 -
643.77/646.48 c 646 4295270 162688 1 - 0.0000 -
648.84/651.53 c 652 4320379 161749 1 - 0.0000 -
653.82/656.58 c 657 4345825 160200 1 - 0.0000 -
658.91/661.63 c 662 4379807 162048 1 - 0.0000 -
663.88/666.68 c 667 4423580 162735 1 - 0.0000 -
668.96/671.73 c 672 4459646 162751 1 - 0.0000 -
674.04/676.80 c 677 4505378 164171 1 - 0.0000 -
679.02/681.85 c 682 4548293 165179 1 - 0.0000 -
684.10/686.95 c 687 4585683 166088 1 - 0.0000 -
689.18/692.00 c 692 4615062 165815 1 - 0.0000 -
694.16/697.05 c 697 4652965 165141 1 - 0.0000 -
699.14/702.10 c 702 4688094 166025 1 - 0.0000 -
704.23/707.16 c 707 4734909 166824 1 - 0.0000 -
709.30/712.21 c 712 4768079 169020 1 - 0.0000 -
714.28/717.26 c 717 4802417 169154 1 - 0.0000 -
719.35/722.31 c 722 4827262 171669 1 - 0.0000 -
724.33/727.37 c 727 4848368 173215 1 - 0.0000 -
729.41/732.45 c 732 4871282 174547 1 - 0.0000 -
734.49/737.50 c 738 4895948 175006 1 - 0.0000 -
739.47/742.55 c 743 4921663 174430 1 - 0.0000 -
744.55/747.60 c 748 4945598 173312 1 - 0.0000 -
749.53/752.65 c 753 4975032 173564 1 - 0.0000 -
754.60/757.70 c 758 5001523 174009 1 - 0.0000 -
759.58/762.75 c 763 5032615 175333 1 - 0.0000 -
764.67/767.80 c 768 5052609 177350 1 - 0.0000 -
769.64/772.89 c 773 5074430 179404 1 - 0.0000 -
774.73/777.99 c 778 5092802 180878 1 - 0.0000 -
779.81/783.04 c 783 5114144 181951 1 - 0.0000 -
784.88/788.10 c 788 5138183 182389 1 - 0.0000 -
789.86/793.15 c 793 5163729 182068 1 - 0.0000 -
794.94/798.20 c 798 5189344 181111 1 - 0.0000 -
799.92/803.25 c 803 5216513 180678 1 - 0.0000 -
804.99/808.30 c 808 5256095 182531 1 - 0.0000 -
809.97/813.36 c 813 5295407 186121 1 - 0.0000 -
815.05/818.40 c 818 5337647 187148 1 - 0.0000 -
820.03/823.47 c 823 5380766 187374 1 - 0.0000 -
825.11/828.52 c 829 5410777 187445 1 - 0.0000 -
830.09/833.57 c 834 5453076 185337 1 - 0.0000 -
835.17/838.67 c 839 5484661 185774 1 - 0.0000 -
840.25/843.76 c 844 5519423 186196 1 - 0.0000 -
845.33/848.81 c 849 5553410 185477 1 - 0.0000 -
850.31/853.86 c 854 5587065 186617 1 - 0.0000 -
855.39/858.91 c 859 5627065 186277 1 - 0.0000 -
860.37/863.96 c 864 5654521 186571 1 - 0.0000 -
865.45/869.01 c 869 5685344 187420 1 - 0.0000 -
870.43/874.07 c 874 5704449 189210 1 - 0.0000 -
875.51/879.15 c 879 5723472 190692 1 - 0.0000 -
880.58/884.20 c 884 5743752 191928 1 - 0.0000 -
885.55/889.25 c 889 5765530 192855 1 - 0.0000 -
890.62/894.30 c 894 5788929 192994 1 - 0.0000 -
895.60/899.35 c 899 5810401 192660 1 - 0.0000 -
900.67/904.40 c 904 5835528 191101 1 - 0.0000 -
905.65/909.48 c 909 5865301 191492 1 - 0.0000 -
910.72/914.53 c 915 5904359 190944 1 - 0.0000 -
915.70/919.58 c 920 5930691 191842 1 - 0.0000 -
920.78/924.63 c 925 5966730 191652 1 - 0.0000 -
925.75/929.68 c 930 6004542 192432 1 - 0.0000 -
930.82/934.79 c 935 6035375 192484 1 - 0.0000 -
935.91/939.86 c 940 6061128 196293 1 - 0.0000 -
940.98/944.92 c 945 6092098 200093 1 - 0.0000 -
946.06/950.03 c 950 6127372 204035 1 - 0.0000 -
951.04/955.08 c 955 6161632 207287 1 - 0.0000 -
956.11/960.13 c 960 6186894 209485 1 - 0.0000 -
961.09/965.18 c 965 6215647 212429 1 - 0.0000 -
966.26/970.32 c 970 6245642 214900 1 - 0.0000 -
971.34/975.43 c 975 6274366 217574 1 - 0.0000 -
976.32/980.48 c 980 6307451 220004 1 - 0.0000 -
981.39/985.56 c 986 6342759 221793 1 - 0.0000 -
986.47/990.61 c 991 6379173 223639 1 - 0.0000 -
991.44/995.66 c 996 6417425 224114 1 - 0.0000 -
996.52/1000.73 c 1001 6456938 223387 1 - 0.0000 -
1001.49/1005.77 c 1006 6495678 223147 1 - 0.0000 -
1006.57/1010.82 c 1011 6533690 223015 1 - 0.0000 -
1011.55/1015.87 c 1016 6570187 222123 1 - 0.0000 -
1016.63/1020.92 c 1021 6602322 221508 1 - 0.0000 -
1021.60/1025.97 c 1026 6644528 219921 1 - 0.0000 -
1026.68/1031.08 c 1031 6683610 217707 1 - 0.0000 -
1031.76/1036.13 c 1036 6725521 217140 1 - 0.0000 -
1036.74/1041.18 c 1041 6762427 216096 1 - 0.0000 -
1041.81/1046.23 c 1046 6802764 214217 1 - 0.0000 -
1046.78/1051.28 c 1051 6839770 213202 1 - 0.0000 -
1051.86/1056.36 c 1056 6870414 213180 1 - 0.0000 -
1056.93/1061.40 c 1061 6908042 211058 1 - 0.0000 -
1061.91/1066.47 c 1066 6945808 209768 1 - 0.0000 -
1066.99/1071.52 c 1072 6982587 209660 1 - 0.0000 -
1071.96/1076.57 c 1077 7011169 211092 1 - 0.0000 -
1077.04/1081.62 c 1082 7048922 209970 1 - 0.0000 -
1082.01/1086.67 c 1087 7079216 209324 1 - 0.0000 -
1087.09/1091.74 c 1092 7104553 210485 1 - 0.0000 -
1092.07/1096.79 c 1097 7134903 209974 1 - 0.0000 -
1097.14/1101.84 c 1102 7173377 210829 1 - 0.0000 -
1102.12/1106.89 c 1107 7217117 211399 1 - 0.0000 -
1107.19/1111.94 c 1112 7251034 211036 1 - 0.0000 -
1112.18/1116.99 c 1117 7282541 210435 1 - 0.0000 -
1117.26/1122.04 c 1122 7314584 211221 1 - 0.0000 -
1122.24/1127.09 c 1127 7339935 212330 1 - 0.0000 -
1127.31/1132.14 c 1132 7367454 212353 1 - 0.0000 -
1132.38/1137.20 c 1137 7394252 213007 1 - 0.0000 -
1137.36/1142.27 c 1142 7419320 214583 1 - 0.0000 -
1142.44/1147.32 c 1147 7444188 214985 1 - 0.0000 -
1147.52/1152.43 c 1152 7471741 216178 1 - 0.0000 -
1152.60/1157.53 c 1158 7495859 216924 1 - 0.0000 -
1157.57/1162.58 c 1163 7523498 218769 1 - 0.0000 -
1162.66/1167.63 c 1168 7546722 219245 1 - 0.0000 -
1167.63/1172.68 c 1173 7576472 218297 1 - 0.0000 -
1172.71/1177.73 c 1178 7607967 218004 1 - 0.0000 -
1177.78/1182.85 c 1183 7643027 217582 1 - 0.0000 -
1182.87/1187.90 c 1188 7673208 216315 1 - 0.0000 -
1187.84/1192.95 c 1193 7701795 215552 1 - 0.0000 -
1192.92/1198.00 c 1198 7735234 215353 1 - 0.0000 -
1197.90/1203.05 c 1203 7764779 215264 1 - 0.0000 -
1202.88/1208.10 c 1208 7796431 214732 1 - 0.0000 -
1207.96/1213.15 c 1213 7829741 214230 1 - 0.0000 -
1213.04/1218.20 c 1218 7859102 215821 1 - 0.0000 -
1218.02/1223.25 c 1223 7894201 214555 1 - 0.0000 -
1223.09/1228.30 c 1228 7931073 214232 1 - 0.0000 -
1228.07/1233.35 c 1233 7957553 215364 1 - 0.0000 -
1233.15/1238.41 c 1238 7986871 217114 1 - 0.0000 -
1238.14/1243.46 c 1243 8014052 216885 1 - 0.0000 -
1243.21/1248.51 c 1249 8045112 215323 1 - 0.0000 -
1248.19/1253.56 c 1254 8081090 214831 1 - 0.0000 -
1253.27/1258.61 c 1259 8113203 215899 1 - 0.0000 -
1258.25/1263.66 c 1264 8151533 214764 1 - 0.0000 -
1263.32/1268.72 c 1269 8186679 216605 1 - 0.0000 -
1268.31/1273.77 c 1274 8220846 217967 1 - 0.0000 -
1273.39/1278.82 c 1279 8261624 218617 1 - 0.0000 -
1278.47/1283.96 c 1284 8290523 218978 1 - 0.0000 -
1283.55/1289.02 c 1289 8322707 217971 1 - 0.0000 -
1288.53/1294.07 c 1294 8356402 217362 1 - 0.0000 -
1293.61/1299.12 c 1299 8393197 217085 1 - 0.0000 -
1298.59/1304.17 c 1304 8424935 218207 1 - 0.0000 -
1303.66/1309.22 c 1309 8457190 217857 1 - 0.0000 -
1308.64/1314.27 c 1314 8491592 217887 1 - 0.0000 -
1313.72/1319.32 c 1319 8521187 218408 1 - 0.0000 -
1318.71/1324.37 c 1324 8549552 218669 1 - 0.0000 -
1323.78/1329.42 c 1329 8574560 218627 1 - 0.0000 -
1328.76/1334.50 c 1334 8606442 218730 1 - 0.0000 -
1333.84/1339.54 c 1340 8641638 218574 1 - 0.0000 -
1338.83/1344.59 c 1345 8673942 218496 1 - 0.0000 -
1343.90/1349.64 c 1350 8703534 218346 1 - 0.0000 -
1348.89/1354.69 c 1355 8738014 218514 1 - 0.0000 -
1353.97/1359.74 c 1360 8773926 222205 1 - 0.0000 -
1359.05/1364.81 c 1365 8806564 224483 1 - 0.0000 -
1364.02/1369.86 c 1370 8850780 223896 1 - 0.0000 -
1369.10/1374.91 c 1375 8890914 222482 1 - 0.0000 -
1374.09/1379.99 c 1380 8933332 221147 1 - 0.0000 -
1379.18/1385.09 c 1385 8961199 223110 1 - 0.0000 -
1384.26/1390.14 c 1390 8995775 225033 1 - 0.0000 -
1389.23/1395.19 c 1395 9028381 225608 1 - 0.0000 -
1394.31/1400.27 c 1400 9067443 224055 1 - 0.0000 -
1399.39/1405.37 c 1405 9097131 223648 1 - 0.0000 -
1404.47/1410.47 c 1410 9124107 223742 1 - 0.0000 -
1409.55/1415.57 c 1416 9145779 226222 1 - 0.0000 -
1414.63/1420.62 c 1421 9166881 228000 1 - 0.0000 -
1419.71/1425.75 c 1426 9185342 229295 1 - 0.0000 -
1424.79/1430.82 c 1431 9208417 230013 1 - 0.0000 -
1429.77/1435.87 c 1436 9234705 229528 1 - 0.0000 -
1434.85/1440.92 c 1441 9259782 228007 1 - 0.0000 -
1439.82/1445.97 c 1446 9293117 228051 1 - 0.0000 -
1444.91/1451.03 c 1451 9322695 227828 1 - 0.0000 -
1449.99/1456.18 c 1456 9341906 230468 1 - 0.0000 -
1455.06/1461.25 c 1461 9361087 232594 1 - 0.0000 -
1460.14/1466.30 c 1466 9380748 234807 1 - 0.0000 -
1465.21/1471.45 c 1471 9392406 236966 1 - 0.0000 -
1470.29/1476.51 c 1477 9403034 238980 1 - 0.0000 -
1475.27/1481.58 c 1482 9415612 241095 1 - 0.0000 -
1480.34/1486.70 c 1487 9429556 243135 1 - 0.0000 -
1485.42/1491.76 c 1492 9444661 245159 1 - 0.0000 -
1490.50/1496.87 c 1497 9458589 246991 1 - 0.0000 -
1495.57/1501.94 c 1502 9473493 248847 1 - 0.0000 -
1500.65/1507.01 c 1507 9487802 250706 1 - 0.0000 -
1505.63/1512.05 c 1512 9503994 252496 1 - 0.0000 -
1510.70/1517.15 c 1517 9519949 254223 1 - 0.0000 -
1515.78/1522.20 c 1522 9539411 256403 1 - 0.0000 -
1520.75/1527.29 c 1527 9559663 258875 1 - 0.0000 -
1525.82/1532.36 c 1532 9579339 260459 1 - 0.0000 -
1530.90/1537.41 c 1537 9601169 262408 1 - 0.0000 -
1535.88/1542.46 c 1542 9623781 264300 1 - 0.0000 -
1540.96/1547.51 c 1548 9645428 265701 1 - 0.0000 -
1545.93/1552.56 c 1553 9670147 267163 1 - 0.0000 -
1551.01/1557.62 c 1558 9691494 268911 1 - 0.0000 -
1555.98/1562.69 c 1563 9714392 270669 1 - 0.0000 -
1561.06/1567.74 c 1568 9737930 272258 1 - 0.0000 -
1566.03/1572.79 c 1573 9760598 273696 1 - 0.0000 -
1571.11/1577.84 c 1578 9777823 276021 1 - 0.0000 -
1576.18/1582.92 c 1583 9797068 277508 1 - 0.0000 -
1581.16/1587.97 c 1588 9816498 279038 1 - 0.0000 -
1586.24/1593.02 c 1593 9835628 281008 1 - 0.0000 -
1591.22/1598.07 c 1598 9858849 282168 1 - 0.0000 -
1596.30/1603.18 c 1603 9882859 283274 1 - 0.0000 -
1601.37/1608.23 c 1608 9909235 284260 1 - 0.0000 -
1606.35/1613.28 c 1613 9934632 285093 1 - 0.0000 -
1611.42/1618.36 c 1618 9960914 285623 1 - 0.0000 -
1616.49/1623.41 c 1623 9988004 285999 1 - 0.0000 -
1621.47/1628.46 c 1628 10015991 286042 1 - 0.0000 -
1626.55/1633.51 c 1634 10040051 286728 1 - 0.0000 -
1631.52/1638.56 c 1639 10066356 286741 1 - 0.0000 -
1636.60/1643.61 c 1644 10090311 288770 1 - 0.0000 -
1641.58/1648.66 c 1649 10111934 290241 1 - 0.0000 -
1646.65/1653.71 c 1654 10135597 290867 1 - 0.0000 -
1651.63/1658.76 c 1659 10160023 291465 1 - 0.0000 -
1656.71/1663.81 c 1664 10188323 291407 1 - 0.0000 -
1661.68/1668.86 c 1669 10218357 290966 1 - 0.0000 -
1666.76/1673.94 c 1674 10245154 290920 1 - 0.0000 -
1671.83/1679.00 c 1679 10262196 292541 1 - 0.0000 -
1676.91/1684.12 c 1684 10287556 293076 1 - 0.0000 -
1681.89/1689.17 c 1689 10314251 293161 1 - 0.0000 -
1686.97/1694.22 c 1694 10343216 292967 1 - 0.0000 -
1692.05/1699.31 c 1699 10371503 293491 1 - 0.0000 -
1697.03/1704.36 c 1704 10398360 293900 1 - 0.0000 -
1702.11/1709.41 c 1709 10425126 293886 1 - 0.0000 -
1707.09/1714.47 c 1714 10452803 293616 1 - 0.0000 -
1712.17/1719.55 c 1720 10480469 293525 1 - 0.0000 -
1717.25/1724.60 c 1725 10510921 292667 1 - 0.0000 -
1722.22/1729.68 c 1730 10538563 292883 1 - 0.0000 -
1727.30/1734.73 c 1735 10567323 292349 1 - 0.0000 -
1732.38/1739.81 c 1740 10586082 293526 1 - 0.0000 -
1737.37/1744.86 c 1745 10613290 293966 1 - 0.0000 -
1742.44/1749.93 c 1750 10642101 294191 1 - 0.0000 -
1747.43/1754.98 c 1755 10672208 292904 1 - 0.0000 -
1752.51/1760.03 c 1760 10701931 291438 1 - 0.0000 -
1757.49/1765.08 c 1765 10727171 291397 1 - 0.0000 -
1762.57/1770.13 c 1770 10754481 291199 1 - 0.0000 -
1767.55/1775.18 c 1775 10782298 290042 1 - 0.0000 -
1772.62/1780.23 c 1780 10806895 289949 1 - 0.0000 -
1777.60/1785.29 c 1785 10834316 290758 1 - 0.0000 -
1782.68/1790.34 c 1790 10862134 290458 1 - 0.0000 -
1787.66/1795.39 c 1795 10893862 289280 1 - 0.0000 -
1792.74/1800.44 c 1800 10916392 290660 1 - 0.0000 -
1797.72/1805.49 c 1806 10944308 290152 1 - 0.0000 -
1802.80/1810.54 c 1811 10974349 289081 1 - 0.0000 -
1807.78/1815.59 c 1816 11005076 288542 1 - 0.0000 -
1812.96/1820.71 c 1821 11035836 287791 1 - 0.0000 -
1817.94/1825.75 c 1826 11064308 288025 1 - 0.0000 -
1823.02/1830.80 c 1831 11094832 287150 1 - 0.0000 -
1828.00/1835.85 c 1836 11126060 286666 1 - 0.0000 -
1833.08/1840.90 c 1841 11153805 286094 1 - 0.0000 -
1838.06/1845.95 c 1846 11180309 285595 1 - 0.0000 -
1843.14/1851.00 c 1851 11212443 284054 1 - 0.0000 -
1848.22/1856.11 c 1856 11240654 285105 1 - 0.0000 -
1853.21/1861.16 c 1861 11272601 283933 1 - 0.0000 -
1858.28/1866.21 c 1866 11301828 282925 1 - 0.0000 -
1863.25/1871.26 c 1871 11324583 283834 1 - 0.0000 -
1868.34/1876.31 c 1876 11353317 283444 1 - 0.0000 -
1873.32/1881.36 c 1881 11383033 283308 1 - 0.0000 -
1878.40/1886.41 c 1886 11414886 282510 1 - 0.0000 -
1883.38/1891.46 c 1891 11442662 281414 1 - 0.0000 -
1888.46/1896.51 c 1897 11464904 281642 1 - 0.0000 -
1893.44/1901.56 c 1902 11495217 280496 1 - 0.0000 -
1898.51/1906.61 c 1907 11524792 279405 1 - 0.0000 -
1903.50/1911.68 c 1912 11552095 278888 1 - 0.0000 -
1908.57/1916.74 c 1917 11579073 278132 1 - 0.0000 -
1913.56/1921.78 c 1922 11607596 277238 1 - 0.0000 -
1918.64/1926.83 c 1927 11637153 275548 1 - 0.0000 -
1923.62/1931.88 c 1932 11665644 274049 1 - 0.0000 -
1928.71/1936.93 c 1937 11694332 272544 1 - 0.0000 -
1933.68/1941.98 c 1942 11720499 272381 1 - 0.0000 -
1938.77/1947.03 c 1947 11748904 271893 1 - 0.0000 -
1943.75/1952.08 c 1952 11774465 270698 1 - 0.0000 -
1948.82/1957.13 c 1957 11801181 270121 1 - 0.0000 -
1953.80/1962.18 c 1962 11831687 269083 1 - 0.0000 -
1958.88/1967.25 c 1967 11865259 269185 1 - 0.0000 -
1963.96/1972.31 c 1972 11895960 268424 1 - 0.0000 -
1968.94/1977.36 c 1977 11927320 267824 1 - 0.0000 -
1974.02/1982.41 c 1982 11953637 268065 1 - 0.0000 -
1979.00/1987.46 c 1987 11983894 266553 1 - 0.0000 -
1984.08/1992.57 c 1993 12011353 266520 1 - 0.0000 -
1989.16/1997.66 c 1998 12037897 266594 1 - 0.0000 -
1994.24/2002.71 c 2003 12065733 269244 1 - 0.0000 -
1999.32/2007.86 c 2008 12092771 271880 1 - 0.0000 -
2004.40/2012.92 c 2013 12121602 274447 1 - 0.0000 -
2009.38/2017.97 c 2018 12150418 276247 1 - 0.0000 -
2014.46/2023.02 c 2023 12183114 277283 1 - 0.0000 -
2019.44/2028.07 c 2028 12217819 277724 1 - 0.0000 -
2024.53/2033.12 c 2033 12245499 278496 1 - 0.0000 -
2029.60/2038.23 c 2038 12264208 280461 1 - 0.0000 -
2034.78/2043.42 c 2043 12287396 282747 1 - 0.0000 -
2039.76/2048.48 c 2048 12309782 284467 1 - 0.0000 -
2044.84/2053.52 c 2054 12334836 286221 1 - 0.0000 -
2049.92/2058.69 c 2059 12363006 287509 1 - 0.0000 -
2055.10/2063.84 c 2064 12396069 287904 1 - 0.0000 -
2060.18/2068.98 c 2069 12421962 288045 1 - 0.0000 -
2065.27/2074.03 c 2074 12456503 287670 1 - 0.0000 -
2070.25/2079.08 c 2079 12491418 286885 1 - 0.0000 -
2075.33/2084.13 c 2084 12527964 286109 1 - 0.0000 -
2080.40/2089.22 c 2089 12561905 285572 1 - 0.0000 -
2085.38/2094.27 c 2094 12594280 285427 1 - 0.0000 -
2090.46/2099.32 c 2099 12630891 284716 1 - 0.0000 -
2095.45/2104.37 c 2104 12667601 283556 1 - 0.0000 -
2100.52/2109.42 c 2109 12702988 282479 1 - 0.0000 -
2105.51/2114.47 c 2114 12738428 280979 1 - 0.0000 -
2110.58/2119.54 c 2120 12775057 279580 1 - 0.0000 -
2115.66/2124.63 c 2125 12810772 277779 1 - 0.0000 -
2120.74/2129.72 c 2130 12833654 280127 1 - 0.0000 -
2125.83/2134.82 c 2135 12863212 280131 1 - 0.0000 -
2130.80/2139.87 c 2140 12891795 279280 1 - 0.0000 -
2135.89/2144.92 c 2145 12924457 277570 1 - 0.0000 -
2140.87/2149.97 c 2150 12957588 276429 1 - 0.0000 -
2145.95/2155.02 c 2155 12990084 275794 1 - 0.0000 -
2150.93/2160.07 c 2160 13019357 275737 1 - 0.0000 -
2156.02/2165.12 c 2165 13050622 275980 1 - 0.0000 -
2160.99/2170.17 c 2170 13084999 274798 1 - 0.0000 -
2166.16/2175.34 c 2175 13109121 276674 1 - 0.0000 -
2171.25/2180.42 c 2180 13152080 276395 1 - 0.0000 -
2176.23/2185.49 c 2185 13184708 275130 1 - 0.0000 -
2181.40/2190.66 c 2191 13213692 274381 1 - 0.0000 -
2186.48/2195.70 c 2196 13241282 273930 1 - 0.0000 -
2191.47/2200.75 c 2201 13275200 273711 1 - 0.0000 -
2196.55/2205.81 c 2206 13302406 273913 1 - 0.0000 -
2201.53/2210.86 c 2211 13339645 272976 1 - 0.0000 -
2206.60/2215.91 c 2216 13370443 271950 1 - 0.0000 -
2211.69/2221.02 c 2221 13393964 272597 1 - 0.0000 -
2216.67/2226.08 c 2226 13411612 274906 1 - 0.0000 -
2221.75/2231.19 c 2231 13429351 276445 1 - 0.0000 -
2226.82/2236.29 c 2236 13447548 277986 1 - 0.0000 -
2231.90/2241.34 c 2241 13469032 278744 1 - 0.0000 -
2236.97/2246.46 c 2246 13491727 278759 1 - 0.0000 -
2242.05/2251.51 c 2252 13515422 277872 1 - 0.0000 -
2247.03/2256.56 c 2257 13540919 275810 1 - 0.0000 -
2252.21/2261.70 c 2262 13566231 276492 1 - 0.0000 -
2257.19/2266.76 c 2267 13595550 275838 1 - 0.0000 -
2262.28/2271.89 c 2272 13629362 276432 1 - 0.0000 -
2267.35/2276.98 c 2277 13665266 276484 1 - 0.0000 -
2272.44/2282.03 c 2282 13696265 275459 1 - 0.0000 -
2277.42/2287.08 c 2287 13729274 274835 1 - 0.0000 -
2282.50/2292.13 c 2292 13760951 274796 1 - 0.0000 -
2287.47/2297.18 c 2297 13794804 274655 1 - 0.0000 -
2292.55/2302.23 c 2302 13824373 276570 1 - 0.0000 -
2297.53/2307.29 c 2307 13854450 278735 1 - 0.0000 -
2302.60/2312.34 c 2312 13885721 279991 1 - 0.0000 -
2307.69/2317.40 c 2317 13919698 279593 1 - 0.0000 -
2312.67/2322.45 c 2322 13954095 278803 1 - 0.0000 -
2317.75/2327.51 c 2328 13989555 278230 1 - 0.0000 -
2322.73/2332.58 c 2333 14022362 276961 1 - 0.0000 -
2327.81/2337.62 c 2338 14051999 276899 1 - 0.0000 -
2332.79/2342.67 c 2343 14083554 276939 1 - 0.0000 -
2337.87/2347.74 c 2348 14113838 276123 1 - 0.0000 -
2342.94/2352.82 c 2353 14146684 275765 1 - 0.0000 -
2347.93/2357.87 c 2358 14180875 275080 1 - 0.0000 -
2353.01/2362.97 c 2363 14213492 275324 1 - 0.0000 -
2358.09/2368.02 c 2368 14245267 275021 1 - 0.0000 -
2363.17/2373.12 c 2373 14273663 275416 1 - 0.0000 -
2368.15/2378.18 c 2378 14305998 274961 1 - 0.0000 -
2373.22/2383.23 c 2383 14344193 274483 1 - 0.0000 -
2378.41/2388.41 c 2388 14377050 273575 1 - 0.0000 -
2383.38/2393.47 c 2393 14403876 273538 1 - 0.0000 -
2388.67/2398.70 c 2399 14429861 274947 1 - 0.0000 -
2393.74/2403.80 c 2404 14461771 275880 1 - 0.0000 -
2398.73/2408.85 c 2409 14499911 273945 1 - 0.0000 -
2403.81/2413.90 c 2414 14525301 274421 1 - 0.0000 -
2408.79/2418.95 c 2419 14558774 274572 1 - 0.0000 -
2413.87/2424.05 c 2424 14591229 274207 1 - 0.0000 -
2418.95/2429.12 c 2429 14621281 275773 1 - 0.0000 -
2423.93/2434.17 c 2434 14653976 276921 1 - 0.0000 -
2429.11/2439.30 c 2439 14686682 278345 1 - 0.0000 -
2434.09/2444.35 c 2444 14721904 280248 1 - 0.0000 -
2439.17/2449.40 c 2449 14758671 279069 1 - 0.0000 -
2444.15/2454.45 c 2454 14797074 280339 1 - 0.0000 -
2449.23/2459.53 c 2460 14829872 280387 1 - 0.0000 -
2454.31/2464.64 c 2465 14871113 281153 1 - 0.0000 -
2459.28/2469.69 c 2470 14906014 280136 1 - 0.0000 -
2464.47/2474.84 c 2475 14940033 279775 1 - 0.0000 -
2469.45/2479.89 c 2480 14973346 277717 1 - 0.0000 -
2474.53/2484.95 c 2485 15007481 277876 1 - 0.0000 -
2479.61/2490.00 c 2490 15031166 277911 1 - 0.0000 -
2484.79/2495.23 c 2495 15049405 279568 1 - 0.0000 -
2489.87/2500.39 c 2500 15083968 279739 1 - 0.0000 -
2494.95/2505.44 c 2505 15117388 278547 1 - 0.0000 -
2499.93/2510.49 c 2510 15145969 279019 1 - 0.0000 -
2505.01/2515.56 c 2516 15164516 281006 1 - 0.0000 -
2510.09/2520.61 c 2521 15190759 279842 1 - 0.0000 -
2515.07/2525.69 c 2526 15218698 279526 1 - 0.0000 -
2520.15/2530.73 c 2531 15246808 282532 1 - 0.0000 -
2525.13/2535.78 c 2536 15266295 285003 1 - 0.0000 -
2530.21/2540.89 c 2541 15297129 287795 1 - 0.0000 -
2535.40/2546.03 c 2546 15323794 290254 1 - 0.0000 -
2540.37/2551.08 c 2551 15350371 292536 1 - 0.0000 -
2545.56/2556.24 c 2556 15375965 294810 1 - 0.0000 -
2550.54/2561.29 c 2561 15405425 296409 1 - 0.0000 -
2555.61/2566.34 c 2566 15439215 297415 1 - 0.0000 -
2560.59/2571.39 c 2571 15475781 297402 1 - 0.0000 -
2565.66/2576.44 c 2576 15507269 297200 1 - 0.0000 -
2570.74/2581.50 c 2582 15541164 297371 1 - 0.0000 -
2575.72/2586.56 c 2587 15575829 297632 1 - 0.0000 -
2580.80/2591.62 c 2592 15613235 296744 1 - 0.0000 -
2585.87/2596.71 c 2597 15644162 296848 1 - 0.0000 -
2590.85/2601.75 c 2602 15685121 295594 1 - 0.0000 -
2595.92/2606.80 c 2607 15724167 293540 1 - 0.0000 -
2600.90/2611.87 c 2612 15764233 291712 1 - 0.0000 -
2605.98/2616.92 c 2617 15799979 290308 1 - 0.0000 -
2610.95/2621.97 c 2622 15834438 288992 1 - 0.0000 -
2616.03/2627.02 c 2627 15865897 287516 1 - 0.0000 -
2621.00/2632.07 c 2632 15900911 285498 1 - 0.0000 -
2626.08/2637.13 c 2637 15933504 287078 1 - 0.0000 -
2631.05/2642.17 c 2642 15972939 286583 1 - 0.0000 -
2636.13/2647.22 c 2647 16003956 285850 1 - 0.0000 -
2641.10/2652.27 c 2652 16036222 285665 1 - 0.0000 -
2646.18/2657.32 c 2657 16068135 285457 1 - 0.0000 -
2651.15/2662.37 c 2662 16103719 284654 1 - 0.0000 -
2656.23/2667.47 c 2667 16128333 287432 1 - 0.0000 -
2661.51/2672.74 c 2673 16150888 290136 1 - 0.0000 -
2666.68/2677.95 c 2678 16176886 292992 1 - 0.0000 -
2671.76/2683.03 c 2683 16202167 295297 1 - 0.0000 -
2676.84/2688.13 c 2688 16230071 297585 1 - 0.0000 -
2681.91/2693.21 c 2693 16256823 299934 1 - 0.0000 -
2687.09/2698.43 c 2698 16285852 301752 1 - 0.0000 -
2692.16/2703.50 c 2704 16317420 302911 1 - 0.0000 -
2697.14/2708.55 c 2709 16350128 303603 1 - 0.0000 -
2702.21/2713.60 c 2714 16385110 303458 1 - 0.0000 -
2707.18/2718.65 c 2719 16419981 303182 1 - 0.0000 -
2712.26/2723.70 c 2724 16456236 302969 1 - 0.0000 -
2717.24/2728.76 c 2729 16494207 302756 1 - 0.0000 -
2722.31/2733.81 c 2734 16534064 300946 1 - 0.0000 -
2727.29/2738.86 c 2739 16569610 300492 1 - 0.0000 -
2732.36/2743.91 c 2744 16607526 298406 1 - 0.0000 -
2737.34/2748.96 c 2749 16645518 296888 1 - 0.0000 -
2742.42/2754.01 c 2754 16683259 295537 1 - 0.0000 -
2747.39/2759.06 c 2759 16719575 293328 1 - 0.0000 -
2752.47/2764.11 c 2764 16755078 291292 1 - 0.0000 -
2757.44/2769.16 c 2769 16787445 289730 1 - 0.0000 -
2762.51/2774.26 c 2774 16818140 289029 1 - 0.0000 -
2767.59/2779.31 c 2779 16853161 288407 1 - 0.0000 -
2772.67/2784.44 c 2784 16887576 287704 1 - 0.0000 -
2777.74/2789.54 c 2790 16919208 287566 1 - 0.0000 -
2782.71/2794.59 c 2795 16949979 285851 1 - 0.0000 -
2787.79/2799.64 c 2800 16980487 285137 1 - 0.0000 -
2792.96/2804.82 c 2805 16997636 286699 1 - 0.0000 -
2798.04/2809.95 c 2810 17019374 288463 1 - 0.0000 -
2803.12/2815.00 c 2815 17044497 288553 1 - 0.0000 -
2808.08/2820.05 c 2820 17069172 286583 1 - 0.0000 -
2813.26/2825.21 c 2825 17095456 286300 1 - 0.0000 -
2818.23/2830.26 c 2830 17125834 287995 1 - 0.0000 -
2823.31/2835.31 c 2835 17160393 289238 1 - 0.0000 -
2828.28/2840.36 c 2840 17191334 290019 1 - 0.0000 -
2833.46/2845.53 c 2846 17224094 289636 1 - 0.0000 -
2838.44/2850.58 c 2851 17251761 288829 1 - 0.0000 -
2843.51/2855.63 c 2856 17282414 287470 1 - 0.0000 -
2848.50/2860.68 c 2861 17306288 287866 1 - 0.0000 -
2853.57/2865.73 c 2866 17332651 288331 1 - 0.0000 -
2858.55/2870.78 c 2871 17357472 288292 1 - 0.0000 -
2863.63/2875.83 c 2876 17386514 287126 1 - 0.0000 -
2868.60/2880.88 c 2881 17417018 285776 1 - 0.0000 -
2873.68/2885.93 c 2886 17446885 284575 1 - 0.0000 -
2878.75/2891.02 c 2891 17476312 283619 1 - 0.0000 -
2883.84/2896.14 c 2896 17508753 284949 1 - 0.0000 -
2888.90/2901.29 c 2901 17543209 283811 1 - 0.0000 -
2893.98/2906.34 c 2906 17573085 283584 1 - 0.0000 -
2899.06/2911.46 c 2911 17594546 285279 1 - 0.0000 -
2904.14/2916.55 c 2917 17630044 283996 1 - 0.0000 -
2909.21/2921.60 c 2922 17653446 285521 1 - 0.0000 -
2914.28/2926.70 c 2927 17671040 287345 1 - 0.0000 -
2919.35/2931.83 c 2932 17684805 288531 1 - 0.0000 -
2924.32/2936.88 c 2937 17703209 289400 1 - 0.0000 -
2929.41/2941.93 c 2942 17725185 289502 1 - 0.0000 -
2934.37/2946.98 c 2947 17747629 288714 1 - 0.0000 -
2939.45/2952.03 c 2952 17771857 286500 1 - 0.0000 -
2944.53/2957.13 c 2957 17801567 285580 1 - 0.0000 -
2949.60/2962.27 c 2962 17830997 284954 1 - 0.0000 -
2954.77/2967.41 c 2967 17856218 284667 1 - 0.0000 -
2959.95/2972.68 c 2973 17873772 287289 1 - 0.0000 -
2965.22/2977.93 c 2978 17898635 290358 1 - 0.0000 -
2970.31/2983.06 c 2983 17918579 292606 1 - 0.0000 -
2975.38/2988.11 c 2988 17944045 295252 1 - 0.0000 -
2980.36/2993.16 c 2993 17973722 298385 1 - 0.0000 -
2985.43/2998.26 c 2998 18004474 301079 1 - 0.0000 -
2990.70/3003.58 c 3004 18027100 303081 1 - 0.0000 -
2995.78/3008.66 c 3009 18057946 306137 1 - 0.0000 -
3000.95/3013.87 c 3014 18081623 308748 1 - 0.0000 -
3006.23/3019.11 c 3019 18103855 311138 1 - 0.0000 -
3011.31/3024.27 c 3024 18123432 313465 1 - 0.0000 -
3016.48/3029.43 c 3029 18152732 315653 1 - 0.0000 -
3021.86/3034.87 c 3035 18177319 318450 1 - 0.0000 -
3027.04/3040.01 c 3040 18200682 320973 1 - 0.0000 -
3032.22/3045.21 c 3045 18228169 323856 1 - 0.0000 -
3037.20/3050.26 c 3050 18258610 325837 1 - 0.0000 -
3042.28/3055.33 c 3055 18287912 327751 1 - 0.0000 -
3047.37/3060.40 c 3060 18321759 330074 1 - 0.0000 -
3052.45/3065.53 c 3066 18353667 332066 1 - 0.0000 -
3057.52/3070.66 c 3071 18384389 332924 1 - 0.0000 -
3062.59/3075.73 c 3076 18419297 333939 1 - 0.0000 -
3067.88/3081.00 c 3081 18453676 335046 1 - 0.0000 -
3072.86/3086.05 c 3086 18485163 335807 1 - 0.0000 -
3077.94/3091.18 c 3091 18522890 336098 1 - 0.0000 -
3083.01/3096.23 c 3096 18559544 335894 1 - 0.0000 -
3087.99/3101.28 c 3101 18596233 335825 1 - 0.0000 -
3093.17/3106.43 c 3106 18632813 335601 1 - 0.0000 -
3098.24/3111.50 c 3112 18670312 334412 1 - 0.0000 -
3103.23/3116.57 c 3117 18705427 334205 1 - 0.0000 -
3108.30/3121.62 c 3122 18744533 333583 1 - 0.0000 -
3113.28/3126.67 c 3127 18780067 333224 1 - 0.0000 -
3118.36/3131.76 c 3132 18817109 332184 1 - 0.0000 -
3123.44/3136.83 c 3137 18848761 331263 1 - 0.0000 -
3128.42/3141.89 c 3142 18883122 330349 1 - 0.0000 -
3133.49/3146.95 c 3147 18920235 329011 1 - 0.0000 -
3138.58/3152.05 c 3152 18948074 328766 1 - 0.0000 -
3143.66/3157.12 c 3157 18983841 327441 1 - 0.0000 -
3148.64/3162.17 c 3162 19020721 326921 1 - 0.0000 -
3153.72/3167.22 c 3167 19054326 325947 1 - 0.0000 -
3158.70/3172.27 c 3172 19093803 323942 1 - 0.0000 -
3163.77/3177.39 c 3177 19124929 322952 1 - 0.0000 -
3168.86/3182.49 c 3182 19161562 321559 1 - 0.0000 -
3173.94/3187.54 c 3188 19190787 320269 1 - 0.0000 -
3179.02/3192.66 c 3193 19222296 319428 1 - 0.0000 -
3184.10/3197.71 c 3198 19260381 318329 1 - 0.0000 -
3189.08/3202.76 c 3203 19293754 317326 1 - 0.0000 -
3194.16/3207.83 c 3208 19324153 316379 1 - 0.0000 -
3199.14/3212.88 c 3213 19360983 314261 1 - 0.0000 -
3204.22/3217.93 c 3218 19400867 312377 1 - 0.0000 -
3209.30/3223.00 c 3223 19443311 309345 1 - 0.0000 -
3214.38/3228.13 c 3228 19476287 308320 1 - 0.0000 -
3219.36/3233.18 c 3233 19511329 304853 1 - 0.0000 -
3224.43/3238.23 c 3238 19545592 301546 1 - 0.0000 -
3229.52/3243.30 c 3243 19577969 300458 1 - 0.0000 -
3234.49/3248.37 c 3248 19606102 299823 1 - 0.0000 -
3239.58/3253.43 c 3253 19635797 301804 1 - 0.0000 -
3244.56/3258.49 c 3258 19670746 303413 1 - 0.0000 -
3249.64/3263.54 c 3264 19710459 302965 1 - 0.0000 -
3254.61/3268.59 c 3269 19749056 301071 1 - 0.0000 -
3259.69/3273.65 c 3274 19779768 301217 1 - 0.0000 -
3264.78/3278.72 c 3279 19804949 301886 1 - 0.0000 -
3269.75/3283.77 c 3284 19833642 301660 1 - 0.0000 -
3274.83/3288.82 c 3289 19865018 299952 1 - 0.0000 -
3279.81/3293.89 c 3294 19900435 300977 1 - 0.0000 -
3284.89/3298.94 c 3299 19936535 299040 1 - 0.0000 -
3289.87/3303.99 c 3304 19967548 298839 1 - 0.0000 -
3294.95/3309.04 c 3309 19996544 300439 1 - 0.0000 -
3299.93/3314.09 c 3314 20035866 299228 1 - 0.0000 -
3305.01/3319.14 c 3319 20066589 299550 1 - 0.0000 -
3309.99/3324.19 c 3324 20099321 298673 1 - 0.0000 -
3315.08/3329.24 c 3329 20128728 298241 1 - 0.0000 -
3320.05/3334.29 c 3334 20156443 298684 1 - 0.0000 -
3325.13/3339.34 c 3339 20190277 297676 1 - 0.0000 -
3330.11/3344.39 c 3344 20215501 297742 1 - 0.0000 -
3335.19/3349.44 c 3349 20238248 299549 1 - 0.0000 -
3340.17/3354.49 c 3354 20265374 298694 1 - 0.0000 -
3345.25/3359.58 c 3360 20291586 298805 1 - 0.0000 -
3350.33/3364.62 c 3365 20325214 298147 1 - 0.0000 -
3355.31/3369.67 c 3370 20352845 300880 1 - 0.0000 -
3360.39/3374.74 c 3375 20383106 303427 1 - 0.0000 -
3365.37/3379.79 c 3380 20409231 304910 1 - 0.0000 -
3370.55/3384.96 c 3385 20433818 307039 1 - 0.0000 -
3375.64/3390.02 c 3390 20454335 309582 1 - 0.0000 -
3380.62/3395.07 c 3395 20474519 311813 1 - 0.0000 -
3385.70/3400.14 c 3400 20504072 314404 1 - 0.0000 -
3390.68/3405.19 c 3405 20528523 316851 1 - 0.0000 -
3395.75/3410.29 c 3410 20557560 319355 1 - 0.0000 -
3400.93/3415.42 c 3415 20585331 321380 1 - 0.0000 -
3405.92/3420.47 c 3420 20612725 322617 1 - 0.0000 -
3411.10/3425.62 c 3426 20646282 323716 1 - 0.0000 -
3416.28/3430.87 c 3431 20667075 326315 1 - 0.0000 -
3421.36/3435.94 c 3436 20691756 328360 1 - 0.0000 -
3426.33/3440.99 c 3441 20719941 331083 1 - 0.0000 -
3431.43/3446.06 c 3446 20752117 332769 1 - 0.0000 -
3436.50/3451.13 c 3451 20778442 334985 1 - 0.0000 -
3441.48/3456.18 c 3456 20801666 337442 1 - 0.0000 -
3446.56/3461.26 c 3461 20838196 338858 1 - 0.0000 -
3451.64/3466.31 c 3466 20869193 339412 1 - 0.0000 -
3456.62/3471.39 c 3471 20902290 340412 1 - 0.0000 -
3461.70/3476.43 c 3476 20937545 340985 1 - 0.0000 -
3466.68/3481.49 c 3482 20971247 341774 1 - 0.0000 -
3471.86/3486.66 c 3487 20999732 342977 1 - 0.0000 -
3476.94/3491.76 c 3492 21032434 346643 1 - 0.0000 -
3482.02/3496.81 c 3497 21061095 349268 1 - 0.0000 -
3487.00/3501.86 c 3502 21094797 351908 1 - 0.0000 -
3492.08/3506.92 c 3507 21124244 353401 1 - 0.0000 -
3497.06/3511.97 c 3512 21160074 354246 1 - 0.0000 -
3502.15/3517.03 c 3517 21190041 355044 1 - 0.0000 -
3507.13/3522.08 c 3522 21223673 356052 1 - 0.0000 -
3512.21/3527.13 c 3527 21253179 356936 1 - 0.0000 -
3517.29/3532.28 c 3532 21282047 357288 1 - 0.0000 -
3522.37/3537.34 c 3537 21313494 358889 1 - 0.0000 -
3527.45/3542.45 c 3542 21337727 361570 1 - 0.0000 -
3532.53/3547.50 c 3548 21368574 363599 1 - 0.0000 -
3537.61/3552.66 c 3553 21396607 364898 1 - 0.0000 -
3542.69/3557.71 c 3558 21425007 365829 1 - 0.0000 -
3547.67/3562.76 c 3563 21458843 365611 1 - 0.0000 -
3552.75/3567.81 c 3568 21484281 368395 1 - 0.0000 -
3557.82/3572.94 c 3573 21513394 369093 1 - 0.0000 -
3562.91/3578.07 c 3578 21544776 369839 1 - 0.0000 -
3568.09/3583.22 c 3583 21570549 372434 1 - 0.0000 -
3573.17/3588.36 c 3588 21603069 373416 1 - 0.0000 -
3578.24/3593.41 c 3593 21636471 375290 1 - 0.0000 -
3583.22/3598.48 c 3598 21667345 378302 1 - 0.0000 -
3586.20/3601.46 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.20/3601.46 c Total Time : 3601.4600
3586.20/3601.46 c solving : 3601.4600
3586.20/3601.46 c presolving : 0.0015 (included in solving)
3586.20/3601.46 c B&B Tree :
3586.20/3601.46 c nodes (total) : 1
3586.20/3601.46 c Solution :
3586.20/3601.46 c Solutions found : 0
3586.20/3601.46 c Primal Bound : -
3586.20/3601.46 c Dual Bound : +0.00000000000000e+00
3586.20/3601.46 c Gap : -
3586.20/3601.46 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 (61817 MiB free)
memory of node 1: 64510 MiB (59387 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445330-1721321852/watcher-4445330-1721321852 -o /tmp/evaluation-result-4445330-1721321852/solver-4445330-1721321852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968464 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445330-1721321852.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=972208, runsolver pid=972205
[startup+0.100084 s]*
/proc/loadavg: 4.27 4.21 4.12 5/265 972211
/proc/meminfo: memFree=124105136/131524600 swapFree=130798872/131071996
[pid=972208] ppid=972205 vsize=106396 memory=20292 CPUtime=0.09 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 2435 0 0 0 9 0 0 0 20 0 3 0 184344310 108949504 5073 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 26599 5073 2910 3032 0 8368 0
[pid=972208/tid=972210] ppid=972205 vsize=106396 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 1323 0 0 0 9 0 0 0 20 0 3 0 184344310 108949504 5073 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=106396 memory=237146210664 CPUtime=0 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184344310 108949504 5073 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106396 KiB
Current children cumulated memory: 20292 KiB
[startup+0.205464 s]*
/proc/loadavg: 4.27 4.21 4.12 5/265 972213
/proc/meminfo: memFree=124104516/131524600 swapFree=130798872/131071996
[pid=972208] ppid=972205 vsize=106396 memory=20292 CPUtime=0.19 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 2474 0 0 0 19 0 0 0 20 0 3 0 184344310 108949504 5073 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 26599 5073 2910 3032 0 8416 0
[pid=972208/tid=972210] ppid=972205 vsize=106396 memory=4782652875487838339 CPUtime=0.19 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 1362 0 0 0 19 0 0 0 20 0 3 0 184344310 108949504 5073 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=106396 memory=1285800 CPUtime=0 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184344310 108949504 5073 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 106396 KiB
Current children cumulated memory: 20292 KiB
[startup+0.305258 s]*
/proc/loadavg: 4.27 4.21 4.12 5/265 972213
/proc/meminfo: memFree=124104376/131524600 swapFree=130798872/131071996
[pid=972208] ppid=972205 vsize=106396 memory=20292 CPUtime=0.29 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 2477 0 0 0 29 0 0 0 20 0 3 0 184344310 108949504 5073 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 26599 5073 2910 3032 0 8416 0
[pid=972208/tid=972210] ppid=972205 vsize=106396 memory=-6730746635139332967 CPUtime=0.29 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 1365 0 0 0 29 0 0 0 20 0 3 0 184344310 108949504 5073 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=106396 memory=0 CPUtime=0 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184344310 108949504 5073 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 106396 KiB
Current children cumulated memory: 20292 KiB
[startup+0.700187 s]
/proc/loadavg: 4.27 4.21 4.12 5/265 972213
/proc/meminfo: memFree=124104236/131524600 swapFree=130798872/131071996
[pid=972208] ppid=972205 vsize=106396 memory=20616 CPUtime=0.69 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 2525 0 0 0 68 1 0 0 20 0 3 0 184344310 108949504 5154 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 26599 5154 2926 3032 0 8447 0
[pid=972208/tid=972210] ppid=972205 vsize=106396 memory=0 CPUtime=0.68 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 1413 0 0 0 68 0 0 0 20 0 3 0 184344310 108949504 5154 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=106396 memory=0 CPUtime=0 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184344310 108949504 5154 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106396 KiB
Current children cumulated memory: 20616 KiB
[startup+1.50017 s]
/proc/loadavg: 4.25 4.20 4.11 5/265 972213
/proc/meminfo: memFree=124102888/131524600 swapFree=130798872/131071996
[pid=972208] ppid=972205 vsize=106396 memory=20912 CPUtime=1.49 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 3693 0 0 0 148 1 0 0 20 0 3 0 184344310 108949504 5228 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 26599 5228 2926 3032 0 8487 0
[pid=972208/tid=972210] ppid=972205 vsize=106396 memory=0 CPUtime=1.47 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 2569 0 0 0 147 0 0 0 20 0 3 0 184344310 108949504 5228 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=106396 memory=0 CPUtime=0 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184344310 108949504 5228 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 106396 KiB
Current children cumulated memory: 20912 KiB
[startup+3.10472 s]
/proc/loadavg: 4.25 4.20 4.11 5/265 972213
/proc/meminfo: memFree=124099676/131524600 swapFree=130798872/131071996
[pid=972208] ppid=972205 vsize=106396 memory=21192 CPUtime=3.08 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 3916 0 0 0 307 1 0 0 20 0 3 0 184344310 108949504 5298 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 26599 5298 2926 3032 0 8487 0
[pid=972208/tid=972210] ppid=972205 vsize=106396 memory=2273 CPUtime=3.08 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 2790 0 0 0 307 1 0 0 20 0 3 0 184344310 108949504 5298 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=106396 memory=0 CPUtime=0 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 184344310 108949504 5298 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 106396 KiB
Current children cumulated memory: 21192 KiB
[startup+6.30016 s]
/proc/loadavg: 4.23 4.20 4.11 5/265 972213
/proc/meminfo: memFree=124093724/131524600 swapFree=130798872/131071996
[pid=972208] ppid=972205 vsize=106396 memory=24476 CPUtime=6.27 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 6572 0 0 0 624 3 0 0 20 0 3 0 184344310 108949504 6119 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 26599 6119 2926 3032 0 9491 0
[pid=972208/tid=972210] ppid=972205 vsize=106396 memory=-6730746635139332967 CPUtime=6.26 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 5422 0 0 0 623 3 0 0 20 0 3 0 184344310 108949504 6119 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=106396 memory=24436 CPUtime=0 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 184344310 108949504 6119 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 106396 KiB
Current children cumulated memory: 24476 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.20 4.11 5/266 972263
/proc/meminfo: memFree=124899104/131524600 swapFree=130798872/131071996
[pid=972208] ppid=972205 vsize=106396 memory=32040 CPUtime=12.64 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 13466 0 0 0 1257 7 0 0 20 0 3 0 184344310 108949504 8010 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 26599 8010 2974 3032 0 11126 0
[pid=972208/tid=972210] ppid=972205 vsize=106396 memory=21192 CPUtime=12.63 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 12274 0 0 0 1256 7 0 0 20 0 3 0 184344310 108949504 8010 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=106396 memory=0 CPUtime=0 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 184344310 108949504 8010 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 106396 KiB
Current children cumulated memory: 32040 KiB
[startup+25.5002 s]
/proc/loadavg: 4.17 4.19 4.11 5/266 972265
/proc/meminfo: memFree=124858448/131524600 swapFree=130798872/131071996
[pid=972208] ppid=972205 vsize=109672 memory=43808 CPUtime=25.39 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 24897 0 0 0 2522 17 0 0 20 0 3 0 184344310 112304128 10952 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 27418 10952 2990 3032 0 14088 0
[pid=972208/tid=972210] ppid=972205 vsize=109672 memory=42676 CPUtime=25.39 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 23658 0 0 0 2522 17 0 0 20 0 3 0 184344310 112304128 10952 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=109672 memory=42520 CPUtime=0 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 184344310 112304128 10952 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 109672 KiB
Current children cumulated memory: 43808 KiB
[startup+51.1054 s]
/proc/loadavg: 4.10 4.17 4.10 5/267 972438
/proc/meminfo: memFree=124788148/131524600 swapFree=130798872/131071996
[pid=972208] ppid=972205 vsize=114384 memory=55668 CPUtime=50.91 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 47251 0 0 0 5058 33 0 0 20 0 3 0 184344310 117129216 13917 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 28596 13917 2990 3032 0 17093 0
[pid=972208/tid=972210] ppid=972205 vsize=114384 memory=2240 CPUtime=50.89 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 45953 0 0 0 5057 32 0 0 20 0 3 0 184344310 117129216 13917 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=114384 memory=24452 CPUtime=0 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 184344310 117129216 13917 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 114384 KiB
Current children cumulated memory: 55668 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.16 4.10 5/267 972448
/proc/meminfo: memFree=124672024/131524600 swapFree=130798872/131071996
[pid=972208] ppid=972205 vsize=123492 memory=77152 CPUtime=101.91 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 82406 0 0 0 10123 68 0 0 20 0 3 0 184344310 126455808 19288 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 30873 19288 2990 3032 0 22541 0
[pid=972208/tid=972210] ppid=972205 vsize=123492 memory=74980 CPUtime=101.9 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 81042 0 0 0 10122 68 0 0 20 0 3 0 184344310 126455808 19288 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=123492 memory=76920 CPUtime=0 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 184344310 126455808 19288 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 123492 KiB
Current children cumulated memory: 77152 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.10 5/267 972551
/proc/meminfo: memFree=126040356/131524600 swapFree=130798872/131071996
[pid=972208] ppid=972205 vsize=131076 memory=99016 CPUtime=161.69 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 116084 0 0 0 16056 113 0 0 20 0 3 0 184344310 134221824 24754 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 32769 24754 2990 3032 0 28188 0
[pid=972208/tid=972210] ppid=972205 vsize=131076 memory=7676 CPUtime=161.67 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 114676 0 0 0 16055 112 0 0 20 0 3 0 184344310 134221824 24754 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=131076 memory=89556 CPUtime=0 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 184344310 134221824 24754 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 131076 KiB
################
# More data... #
################
/proc/972208/statm: 179366 156977 2990 3032 0 161090 0
[pid=972208/tid=972210] ppid=972205 vsize=717464 memory=627316 CPUtime=3387.69 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 2185637 0 0 0 336701 2068 0 0 20 0 3 0 184344310 734683136 156977 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=717464 memory=627900 CPUtime=0.02 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 130 0 0 0 1 1 0 0 20 0 3 0 184344310 734683136 156977 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 3387.89 s
Current children cumulated vsize: 717464 KiB
Current children cumulated memory: 627908 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.12 5/266 974031
/proc/meminfo: memFree=124049400/131524600 swapFree=130799128/131071996
[pid=972208] ppid=972205 vsize=722104 memory=639000 CPUtime=3447.66 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 2201472 0 0 0 342664 2102 0 0 20 0 3 0 184344310 739434496 159750 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 180526 159750 2990 3032 0 163569 0
[pid=972208/tid=972210] ppid=972205 vsize=722104 memory=627316 CPUtime=3447.46 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 2198880 0 0 0 342648 2098 0 0 20 0 3 0 184344310 739434496 159750 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=722104 memory=7676 CPUtime=0.02 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 132 0 0 0 1 1 0 0 20 0 3 0 184344310 739434496 159750 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 3447.66 s
Current children cumulated vsize: 722104 KiB
Current children cumulated memory: 639000 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.11 5/266 974425
/proc/meminfo: memFree=124012752/131524600 swapFree=130799128/131071996
[pid=972208] ppid=972205 vsize=727516 memory=651912 CPUtime=3507.42 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 2218948 0 0 0 348606 2136 0 0 20 0 3 0 184344310 744976384 162978 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 181879 162978 2990 3032 0 166778 0
[pid=972208/tid=972210] ppid=972205 vsize=727516 memory=645908 CPUtime=3507.22 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 2216334 0 0 0 348590 2132 0 0 20 0 3 0 184344310 744976384 162978 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=727516 memory=7676 CPUtime=0.02 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 134 0 0 0 1 1 0 0 20 0 3 0 184344310 744976384 162978 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 3507.42 s
Current children cumulated vsize: 727516 KiB
Current children cumulated memory: 651912 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.11 5/266 974436
/proc/meminfo: memFree=123977188/131524600 swapFree=130799128/131071996
[pid=972208] ppid=972205 vsize=732928 memory=664188 CPUtime=3567.19 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 2239368 0 0 0 354551 2168 0 0 20 0 3 0 184344310 750518272 166047 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 183232 166047 2990 3032 0 169860 0
[pid=972208/tid=972210] ppid=972205 vsize=732928 memory=653584 CPUtime=3566.99 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 2236732 0 0 0 354535 2164 0 0 20 0 3 0 184344310 750518272 166047 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=732928 memory=6720664346311213424 CPUtime=0.02 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 136 0 0 0 1 1 0 0 20 0 3 0 184344310 750518272 166047 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 3567.19 s
Current children cumulated vsize: 732928 KiB
Current children cumulated memory: 664188 KiB
[startup+3601.46 s]
# the end of solver process 972208 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3564.45 s, system=21.8254 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.06 4.08 4.11 5/266 974436
/proc/meminfo: memFree=123977076/131524600 swapFree=130799128/131071996
[pid=972208] ppid=972205 vsize=732928 memory=664308 CPUtime=3568.89 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 2239414 0 0 0 354721 2168 0 0 20 0 3 0 184344310 750518272 166077 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 183232 166077 2990 3032 0 169860 0
[pid=972208/tid=972210] ppid=972205 vsize=732928 memory=6720664346311213424 CPUtime=3568.69 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 2236778 0 0 0 354705 2164 0 0 20 0 3 0 184344310 750518272 166077 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=732928 memory=-8549726991073132953 CPUtime=0.02 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 136 0 0 0 1 1 0 0 20 0 3 0 184344310 750518272 166077 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 3568.89 s
Current children cumulated vsize: 732928 KiB
Current children cumulated memory: 664308 KiB
[startup+3590.4 s]
/proc/loadavg: 4.06 4.08 4.11 5/266 974438
/proc/meminfo: memFree=124163148/131524600 swapFree=130799128/131071996
[pid=972208] ppid=972205 vsize=733508 memory=665596 CPUtime=3575.26 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 2246269 0 0 0 355353 2173 0 0 20 0 3 0 184344310 751112192 166399 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 183377 166399 2990 3032 0 170181 0
[pid=972208/tid=972210] ppid=972205 vsize=733508 memory=7676 CPUtime=3575.05 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 2243623 0 0 0 355337 2168 0 0 20 0 3 0 184344310 751112192 166399 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=733508 memory=665596 CPUtime=0.02 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 136 0 0 0 1 1 0 0 20 0 3 0 184344310 751112192 166399 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 3575.26 s
Current children cumulated vsize: 733508 KiB
Current children cumulated memory: 665596 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.10 4.11 5/264 974485
/proc/meminfo: memFree=125114700/131524600 swapFree=130799128/131071996
[pid=972208] ppid=972205 vsize=734088 memory=667636 CPUtime=3581.63 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 2248782 0 0 0 355986 2177 0 0 20 0 3 0 184344310 751706112 166909 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 183522 166909 2990 3032 0 170710 0
[pid=972208/tid=972210] ppid=972205 vsize=734088 memory=662048 CPUtime=3581.42 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 2246127 0 0 0 355969 2173 0 0 20 0 3 0 184344310 751706112 166909 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=734088 memory=27460 CPUtime=0.02 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 136 0 0 0 1 1 0 0 20 0 3 0 184344310 751706112 166909 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 3581.63 s
Current children cumulated vsize: 734088 KiB
Current children cumulated memory: 667636 KiB
[startup+3600 s]*
/proc/loadavg: 4.12 4.09 4.11 5/264 974485
/proc/meminfo: memFree=125113012/131524600 swapFree=130799128/131071996
[pid=972208] ppid=972205 vsize=734668 memory=668836 CPUtime=3584.82 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 2253685 0 0 0 356302 2180 0 0 20 0 3 0 184344310 752300032 167209 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 183667 167209 2990 3032 0 170983 0
[pid=972208/tid=972210] ppid=972205 vsize=734668 memory=-9103294820395557564 CPUtime=3584.62 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 2251443 0 0 0 356286 2176 0 0 20 0 3 0 184344310 752300032 167209 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=734668 memory=144 CPUtime=0.02 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 136 0 0 0 1 1 0 0 20 0 3 0 184344310 752300032 167209 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 3584.82 s
Current children cumulated vsize: 734668 KiB
Current children cumulated memory: 668836 KiB
[startup+3600.8 s]
/proc/loadavg: 4.12 4.09 4.11 5/264 974485
/proc/meminfo: memFree=125113012/131524600 swapFree=130799128/131071996
[pid=972208] ppid=972205 vsize=677752 memory=611920 CPUtime=3585.61 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 2260925 0 0 0 356380 2181 0 0 20 0 3 0 184344310 694018048 152980 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 169438 152980 2990 3032 0 156754 0
[pid=972208/tid=972210] ppid=972205 vsize=677752 memory=668836 CPUtime=3585.41 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 2258264 0 0 0 356364 2177 0 0 20 0 3 0 184344310 694018048 152980 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=677752 memory=4892 CPUtime=0.02 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 136 0 0 0 1 1 0 0 20 0 3 0 184344310 694018048 152980 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 3585.61 s
Current children cumulated vsize: 677752 KiB
Current children cumulated memory: 611920 KiB
[startup+3601.2 s]
/proc/loadavg: 4.12 4.09 4.11 5/264 974487
/proc/meminfo: memFree=125165228/131524600 swapFree=130799128/131071996
[pid=972208] ppid=972205 vsize=588028 memory=522196 CPUtime=3586 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 2261021 0 0 0 356419 2181 0 0 20 0 3 0 184344310 602140672 130549 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 147007 130549 2990 3032 0 134323 0
[pid=972208/tid=972210] ppid=972205 vsize=588028 memory=33972 CPUtime=3585.8 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 2258360 0 0 0 356403 2177 0 0 20 0 3 0 184344310 602140672 130549 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=588028 memory=32960 CPUtime=0.02 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 136 0 0 0 1 1 0 0 20 0 3 0 184344310 602140672 130549 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 3586 s
Current children cumulated vsize: 588028 KiB
Current children cumulated memory: 522196 KiB
[startup+3601.4 s]
/proc/loadavg: 4.12 4.09 4.11 5/264 974487
/proc/meminfo: memFree=125165228/131524600 swapFree=130799128/131071996
[pid=972208] ppid=972205 vsize=554852 memory=489020 CPUtime=3586.2 cores=0,2
/proc/972208/stat : 972208 (fscip) S 972205 972208 968454 0 -1 1077936128 2261034 0 0 0 356439 2181 0 0 20 0 3 0 184344310 568168448 122255 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
/proc/972208/statm: 138713 122255 2990 3032 0 126029 0
[pid=972208/tid=972210] ppid=972205 vsize=554852 memory=700 CPUtime=3586 cores=0,2
/proc/972208/task/972210/stat : 972210 (fscip) R 972205 972208 968454 0 -1 4194368 2258373 0 0 0 356423 2177 0 0 20 0 3 0 184344310 568168448 122255 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
[pid=972208/tid=972211] ppid=972205 vsize=554852 memory=2240 CPUtime=0.02 cores=0,2
/proc/972208/task/972211/stat : 972211 (fscip) S 972205 972208 968454 0 -1 1077936192 136 0 0 0 1 1 0 0 20 0 3 0 184344310 568168448 122255 134679101440 4194304 16613245 140725592032096 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 53350400 140725592040468 140725592040584 140725592040584 140725592047600 0
Current children cumulated CPU time: 3586.2 s
Current children cumulated vsize: 554852 KiB
Current children cumulated memory: 489020 KiB
Child status: 0
Real time (s): 3601.46
CPU time (s): 3586.28
CPU user time (s): 3564.45
CPU system time (s): 21.8254
CPU usage (%): 99.5784
Max. virtual memory (cumulated for all children) (KiB): 734668
Max. memory (cumulated for all children) (KiB): 668836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.45
system time used= 21.8254
maximum resident set size= 668836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2261402
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= 10912
involuntary context switches= 25126
# summary of solver processes directly reported to runsolver:
# pid: 972208
# total CPU time (s): 3586.28
# total CPU user time (s): 3564.45
# total CPU system time (s): 21.8254
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.245 second user time and 16.7733 second system time
The end
Begin job on nodeC014 at 2024-07-18 18:57:44
IDJOB=4445330
IDBENCH=148107
IDSOLVER=3064
FILE ID=nodeC014/4445330-1721321852
RUNJOBID= nodeC014-1721318012-968464
SLURM_JOB_ID= 7542671
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-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-4445330-1721321852/watcher-4445330-1721321852 -o /tmp/evaluation-result-4445330-1721321852/solver-4445330-1721321852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968464 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445330-1721321852.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f3b4489b3c27b845ad2c738d1f690b61
RANDOM SEED=1086416428
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.344
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.070
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.736
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.091
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.927
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.130
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.483
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.983
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124114688 kB
MemAvailable: 127320028 kB
Buffers: 448448 kB
Cached: 3560380 kB
SwapCached: 12912 kB
Active: 1377356 kB
Inactive: 5441192 kB
Active(anon): 9308 kB
Inactive(anon): 2820904 kB
Active(file): 1368048 kB
Inactive(file): 2620288 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130798872 kB
Dirty: 56588 kB
Writeback: 28 kB
AnonPages: 2785640 kB
Mapped: 85068 kB
Shmem: 20492 kB
KReclaimable: 113300 kB
Slab: 211116 kB
SReclaimable: 113300 kB
SUnreclaim: 97816 kB
KernelStack: 4192 kB
PageTables: 15408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2573740 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 35168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2185216 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 232148 kB
DirectMap2M: 25755648 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC014 at 2024-07-18 19:57:46