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 = 22310912, getVmSize() = 22310912, SCIPgetMemUsed() = 788562, SCIPgetMemTotal() = 914402, 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 = 15467861, getVmSize() = 24092672, SCIPgetMemUsed() = 931372, SCIPgetMemTotal() = 1520428, 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-4445090-1721318262
0.00/0.00 c Variables : 96 (96 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 : 96 (96 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.08 c 5 28345 1236 1 - 0.0000 -
10.07/10.13 c 10 57239 2273 1 - 0.0000 -
15.05/15.18 c 15 82510 3006 1 - 0.0000 -
20.12/20.22 c 20 107474 4163 1 - 0.0000 -
25.11/25.27 c 25 132936 5018 1 - 0.0000 -
30.20/30.32 c 30 155078 5567 1 - 0.0000 -
35.17/35.37 c 35 181409 6381 1 - 0.0000 -
40.27/40.42 c 40 206575 6885 1 - 0.0000 -
45.24/45.47 c 45 227702 7313 1 - 0.0000 -
50.33/50.52 c 51 248666 7552 1 - 0.0000 -
55.31/55.58 c 56 274573 8036 1 - 0.0000 -
60.40/60.62 c 61 298533 8193 1 - 0.0000 -
65.39/65.66 c 66 321248 9422 1 - 0.0000 -
70.46/70.71 c 71 338823 10354 1 - 0.0000 -
75.45/75.76 c 76 358232 10906 1 - 0.0000 -
80.53/80.81 c 81 376095 11317 1 - 0.0000 -
85.50/85.86 c 86 394179 11518 1 - 0.0000 -
90.59/90.91 c 91 411691 11596 1 - 0.0000 -
95.57/95.96 c 96 434382 11555 1 - 0.0000 -
100.65/101.01 c 101 457749 11700 1 - 0.0000 -
105.63/106.06 c 106 476696 12106 1 - 0.0000 -
110.71/111.11 c 111 495620 11982 1 - 0.0000 -
115.69/116.16 c 116 516908 12410 1 - 0.0000 -
120.76/121.21 c 121 537237 13006 1 - 0.0000 -
125.75/126.26 c 126 559165 12785 1 - 0.0000 -
130.83/131.31 c 131 586022 12980 1 - 0.0000 -
135.81/136.36 c 136 609830 13027 1 - 0.0000 -
140.90/141.41 c 141 630444 13165 1 - 0.0000 -
145.88/146.46 c 146 651290 13683 1 - 0.0000 -
150.96/151.51 c 152 673986 14185 1 - 0.0000 -
155.94/156.56 c 157 696306 14315 1 - 0.0000 -
161.02/161.61 c 162 718125 14168 1 - 0.0000 -
166.00/166.66 c 167 742873 13699 1 - 0.0000 -
171.08/171.71 c 172 765105 13722 1 - 0.0000 -
176.07/176.76 c 177 786957 13353 1 - 0.0000 -
181.15/181.81 c 182 810585 13273 1 - 0.0000 -
186.12/186.86 c 187 833105 13101 1 - 0.0000 -
191.20/191.91 c 192 856326 13409 1 - 0.0000 -
196.19/196.96 c 197 883334 13150 1 - 0.0000 -
201.28/202.01 c 202 905487 12955 1 - 0.0000 -
206.27/207.06 c 207 925262 13638 1 - 0.0000 -
211.35/212.11 c 212 946957 14176 1 - 0.0000 -
216.33/217.17 c 217 968529 14515 1 - 0.0000 -
221.41/222.21 c 222 989264 14905 1 - 0.0000 -
226.39/227.26 c 227 1011345 14821 1 - 0.0000 -
231.47/232.31 c 232 1032814 15426 1 - 0.0000 -
236.45/237.36 c 237 1056166 15172 1 - 0.0000 -
241.54/242.41 c 242 1077950 14858 1 - 0.0000 -
246.52/247.46 c 247 1100082 14629 1 - 0.0000 -
251.61/252.51 c 253 1121654 14478 1 - 0.0000 -
256.60/257.55 c 258 1144664 13735 1 - 0.0000 -
261.68/262.60 c 263 1167051 13849 1 - 0.0000 -
266.67/267.65 c 268 1191414 13678 1 - 0.0000 -
271.75/272.70 c 273 1214710 13286 1 - 0.0000 -
276.73/277.75 c 278 1237747 13147 1 - 0.0000 -
281.82/282.80 c 283 1260528 14759 1 - 0.0000 -
286.80/287.85 c 288 1284920 16059 1 - 0.0000 -
291.89/292.90 c 293 1307955 17446 1 - 0.0000 -
296.87/297.95 c 298 1331765 18998 1 - 0.0000 -
301.96/303.00 c 303 1358065 20390 1 - 0.0000 -
306.95/308.05 c 308 1383752 21246 1 - 0.0000 -
312.04/313.10 c 313 1410072 22123 1 - 0.0000 -
317.02/318.15 c 318 1436430 22809 1 - 0.0000 -
322.09/323.20 c 323 1461656 23379 1 - 0.0000 -
327.08/328.25 c 328 1489605 23639 1 - 0.0000 -
332.16/333.30 c 333 1514816 24036 1 - 0.0000 -
337.15/338.35 c 338 1541728 24708 1 - 0.0000 -
342.23/343.40 c 343 1567741 24937 1 - 0.0000 -
347.22/348.45 c 348 1595612 25397 1 - 0.0000 -
352.31/353.51 c 354 1621891 25636 1 - 0.0000 -
357.29/358.55 c 359 1647494 25577 1 - 0.0000 -
362.38/363.60 c 364 1673657 25914 1 - 0.0000 -
367.36/368.65 c 369 1700648 25679 1 - 0.0000 -
372.45/373.70 c 374 1727225 25303 1 - 0.0000 -
377.44/378.75 c 379 1753653 24899 1 - 0.0000 -
382.52/383.80 c 384 1778368 24616 1 - 0.0000 -
387.50/388.86 c 389 1804094 23994 1 - 0.0000 -
392.59/393.91 c 394 1832095 23039 1 - 0.0000 -
397.57/398.96 c 399 1859441 22325 1 - 0.0000 -
402.67/404.01 c 404 1888289 21158 1 - 0.0000 -
407.65/409.06 c 409 1916600 20100 1 - 0.0000 -
412.74/414.11 c 414 1944022 18933 1 - 0.0000 -
417.72/419.16 c 419 1973495 17787 1 - 0.0000 -
422.80/424.21 c 424 2000638 16656 1 - 0.0000 -
427.79/429.26 c 429 2025881 15901 1 - 0.0000 -
432.87/434.31 c 434 2053897 15723 1 - 0.0000 -
437.85/439.36 c 439 2079007 16029 1 - 0.0000 -
442.94/444.41 c 444 2110685 15930 1 - 0.0000 -
447.93/449.46 c 449 2141270 15309 1 - 0.0000 -
453.01/454.51 c 455 2165256 15013 1 - 0.0000 -
458.00/459.56 c 460 2190478 14867 1 - 0.0000 -
463.08/464.61 c 465 2216171 14368 1 - 0.0000 -
468.06/469.66 c 470 2238573 14628 1 - 0.0000 -
473.15/474.71 c 475 2258232 14745 1 - 0.0000 -
478.13/479.76 c 480 2277782 15689 1 - 0.0000 -
483.22/484.81 c 485 2295124 16494 1 - 0.0000 -
488.20/489.86 c 490 2313424 17183 1 - 0.0000 -
493.28/494.91 c 495 2331421 17823 1 - 0.0000 -
498.27/499.97 c 500 2349800 18632 1 - 0.0000 -
503.36/505.01 c 505 2369227 19470 1 - 0.0000 -
508.35/510.06 c 510 2387067 20120 1 - 0.0000 -
513.43/515.10 c 515 2404125 21168 1 - 0.0000 -
518.41/520.16 c 520 2421272 21976 1 - 0.0000 -
523.49/525.21 c 525 2439769 22735 1 - 0.0000 -
528.48/530.28 c 530 2457586 23260 1 - 0.0000 -
533.56/535.34 c 535 2475508 24114 1 - 0.0000 -
538.64/540.40 c 540 2490033 25013 1 - 0.0000 -
543.63/545.45 c 545 2509455 26181 1 - 0.0000 -
548.71/550.50 c 551 2527863 26569 1 - 0.0000 -
553.70/555.55 c 556 2546038 27039 1 - 0.0000 -
558.78/560.60 c 561 2562367 27591 1 - 0.0000 -
563.77/565.66 c 566 2581017 27935 1 - 0.0000 -
568.84/570.72 c 571 2599843 28227 1 - 0.0000 -
573.83/575.76 c 576 2618418 28620 1 - 0.0000 -
578.92/580.81 c 581 2636807 29093 1 - 0.0000 -
583.90/585.86 c 586 2655617 29456 1 - 0.0000 -
588.99/590.91 c 591 2674245 29485 1 - 0.0000 -
593.97/595.96 c 596 2693623 29702 1 - 0.0000 -
599.06/601.01 c 601 2711597 29804 1 - 0.0000 -
604.05/606.06 c 606 2728771 30081 1 - 0.0000 -
609.13/611.11 c 611 2747380 30823 1 - 0.0000 -
614.11/616.16 c 616 2767565 30557 1 - 0.0000 -
619.19/621.21 c 621 2786645 30241 1 - 0.0000 -
624.17/626.26 c 626 2806056 29929 1 - 0.0000 -
629.26/631.31 c 631 2825026 29672 1 - 0.0000 -
634.24/636.37 c 636 2843960 29605 1 - 0.0000 -
639.33/641.42 c 641 2861144 30009 1 - 0.0000 -
644.32/646.47 c 646 2879349 30082 1 - 0.0000 -
649.40/651.52 c 652 2898005 29203 1 - 0.0000 -
654.38/656.57 c 657 2916959 28283 1 - 0.0000 -
659.47/661.62 c 662 2935170 28157 1 - 0.0000 -
664.45/666.67 c 667 2954652 26804 1 - 0.0000 -
669.54/671.72 c 672 2975916 24776 1 - 0.0000 -
674.52/676.77 c 677 2994847 23927 1 - 0.0000 -
679.61/681.82 c 682 3016631 22161 1 - 0.0000 -
684.60/686.87 c 687 3036981 21472 1 - 0.0000 -
689.68/691.92 c 692 3056241 21702 1 - 0.0000 -
694.66/696.97 c 697 3076779 20742 1 - 0.0000 -
699.75/702.02 c 702 3098551 20241 1 - 0.0000 -
704.74/707.07 c 707 3118862 19898 1 - 0.0000 -
709.82/712.12 c 712 3141936 19142 1 - 0.0000 -
714.81/717.17 c 717 3165489 18669 1 - 0.0000 -
719.88/722.22 c 722 3189128 18098 1 - 0.0000 -
724.87/727.27 c 727 3212604 18118 1 - 0.0000 -
729.96/732.32 c 732 3239077 17398 1 - 0.0000 -
734.94/737.37 c 737 3261141 17146 1 - 0.0000 -
740.02/742.42 c 742 3279172 17812 1 - 0.0000 -
745.01/747.47 c 747 3296008 18165 1 - 0.0000 -
750.09/752.52 c 753 3310229 17852 1 - 0.0000 -
755.07/757.59 c 758 3328174 18764 1 - 0.0000 -
760.15/762.64 c 763 3344554 19047 1 - 0.0000 -
765.14/767.69 c 768 3358765 19044 1 - 0.0000 -
770.22/772.74 c 773 3375496 17578 1 - 0.0000 -
775.30/777.80 c 778 3399935 16913 1 - 0.0000 -
780.29/782.89 c 783 3428459 17499 1 - 0.0000 -
785.38/787.93 c 788 3455442 16017 1 - 0.0000 -
790.36/792.98 c 793 3475613 17259 1 - 0.0000 -
795.46/798.03 c 798 3493029 18373 1 - 0.0000 -
800.53/803.10 c 803 3509600 19650 1 - 0.0000 -
805.52/808.14 c 808 3527718 21207 1 - 0.0000 -
810.60/813.21 c 813 3543812 22386 1 - 0.0000 -
815.58/818.29 c 818 3559566 24607 1 - 0.0000 -
820.66/823.35 c 823 3575483 26484 1 - 0.0000 -
825.76/828.42 c 828 3591230 28296 1 - 0.0000 -
830.83/833.59 c 834 3605195 30122 1 - 0.0000 -
835.92/838.64 c 839 3621778 31518 1 - 0.0000 -
840.90/843.69 c 844 3638267 32789 1 - 0.0000 -
845.99/848.75 c 849 3654625 33932 1 - 0.0000 -
851.07/853.80 c 854 3672093 35025 1 - 0.0000 -
856.05/858.87 c 859 3688206 36009 1 - 0.0000 -
861.13/863.92 c 864 3706367 36881 1 - 0.0000 -
866.12/868.97 c 869 3724103 37705 1 - 0.0000 -
871.20/874.02 c 874 3741708 38681 1 - 0.0000 -
876.19/879.07 c 879 3758355 39610 1 - 0.0000 -
881.28/884.12 c 884 3776449 40429 1 - 0.0000 -
886.26/889.17 c 889 3794086 41222 1 - 0.0000 -
891.34/894.22 c 894 3811952 42147 1 - 0.0000 -
896.32/899.27 c 899 3829613 42992 1 - 0.0000 -
901.41/904.34 c 904 3845837 43834 1 - 0.0000 -
906.39/909.39 c 909 3864303 44559 1 - 0.0000 -
911.47/914.49 c 914 3876676 45982 1 - 0.0000 -
916.55/919.54 c 920 3889727 47394 1 - 0.0000 -
921.53/924.59 c 925 3905299 48384 1 - 0.0000 -
926.62/929.64 c 930 3921587 49218 1 - 0.0000 -
931.60/934.69 c 935 3939123 49980 1 - 0.0000 -
936.69/939.74 c 940 3955972 50715 1 - 0.0000 -
941.77/944.86 c 945 3973317 51507 1 - 0.0000 -
946.86/949.91 c 950 3990891 52455 1 - 0.0000 -
951.84/954.96 c 955 4008923 53001 1 - 0.0000 -
956.93/960.01 c 960 4026373 53716 1 - 0.0000 -
961.91/965.06 c 965 4044316 54404 1 - 0.0000 -
966.99/970.11 c 970 4061938 54996 1 - 0.0000 -
971.97/975.16 c 975 4078692 55632 1 - 0.0000 -
977.05/980.21 c 980 4095110 56283 1 - 0.0000 -
982.03/985.26 c 985 4112312 57049 1 - 0.0000 -
987.12/990.31 c 990 4129583 57908 1 - 0.0000 -
992.10/995.39 c 995 4146084 58476 1 - 0.0000 -
997.17/1000.44 c 1000 4162096 59092 1 - 0.0000 -
1002.16/1005.49 c 1006 4180233 59924 1 - 0.0000 -
1007.24/1010.54 c 1011 4197412 60602 1 - 0.0000 -
1012.22/1015.59 c 1016 4214055 61241 1 - 0.0000 -
1017.31/1020.64 c 1021 4231837 61891 1 - 0.0000 -
1022.30/1025.68 c 1026 4248468 62379 1 - 0.0000 -
1027.38/1030.73 c 1031 4264534 62901 1 - 0.0000 -
1032.36/1035.78 c 1036 4282228 63556 1 - 0.0000 -
1037.45/1040.83 c 1041 4299087 64238 1 - 0.0000 -
1042.53/1045.93 c 1046 4315982 65000 1 - 0.0000 -
1047.61/1051.07 c 1051 4334122 65404 1 - 0.0000 -
1052.70/1056.12 c 1056 4350264 65997 1 - 0.0000 -
1057.68/1061.17 c 1061 4367058 66506 1 - 0.0000 -
1062.76/1066.22 c 1066 4385109 66869 1 - 0.0000 -
1067.84/1071.39 c 1071 4401070 67364 1 - 0.0000 -
1072.93/1076.44 c 1076 4417367 67709 1 - 0.0000 -
1077.92/1081.49 c 1082 4434842 68292 1 - 0.0000 -
1083.10/1086.62 c 1087 4448476 68762 1 - 0.0000 -
1088.08/1091.67 c 1092 4465920 69047 1 - 0.0000 -
1093.16/1096.72 c 1097 4480777 69422 1 - 0.0000 -
1098.25/1101.81 c 1102 4496433 69712 1 - 0.0000 -
1103.33/1106.90 c 1107 4510819 70105 1 - 0.0000 -
1108.31/1111.95 c 1112 4525431 70415 1 - 0.0000 -
1113.41/1117.00 c 1117 4541820 70612 1 - 0.0000 -
1118.39/1122.05 c 1122 4555803 70890 1 - 0.0000 -
1123.47/1127.14 c 1127 4572250 70945 1 - 0.0000 -
1128.46/1132.19 c 1132 4586624 71203 1 - 0.0000 -
1133.54/1137.25 c 1137 4603372 71159 1 - 0.0000 -
1138.52/1142.29 c 1142 4619525 71379 1 - 0.0000 -
1143.61/1147.34 c 1147 4635681 71568 1 - 0.0000 -
1148.69/1152.41 c 1152 4650523 71792 1 - 0.0000 -
1153.67/1157.46 c 1157 4667035 71710 1 - 0.0000 -
1158.86/1162.67 c 1163 4683064 71798 1 - 0.0000 -
1163.94/1167.73 c 1168 4698942 71931 1 - 0.0000 -
1168.93/1172.78 c 1173 4716012 71955 1 - 0.0000 -
1174.02/1177.88 c 1178 4731302 71972 1 - 0.0000 -
1179.10/1182.95 c 1183 4747290 71978 1 - 0.0000 -
1184.18/1188.00 c 1188 4764256 72099 1 - 0.0000 -
1189.26/1193.10 c 1193 4780218 72078 1 - 0.0000 -
1194.25/1198.15 c 1198 4796139 72178 1 - 0.0000 -
1199.33/1203.20 c 1203 4811662 71947 1 - 0.0000 -
1204.31/1208.25 c 1208 4825541 71899 1 - 0.0000 -
1209.40/1213.30 c 1213 4842078 71415 1 - 0.0000 -
1214.39/1218.35 c 1218 4858282 71023 1 - 0.0000 -
1219.47/1223.40 c 1223 4875102 70678 1 - 0.0000 -
1224.56/1228.50 c 1228 4891019 70293 1 - 0.0000 -
1229.53/1233.54 c 1234 4907165 69883 1 - 0.0000 -
1234.62/1238.61 c 1239 4923976 69220 1 - 0.0000 -
1239.71/1243.74 c 1244 4941142 68597 1 - 0.0000 -
1244.68/1248.79 c 1249 4959004 67827 1 - 0.0000 -
1249.87/1253.96 c 1254 4976959 67499 1 - 0.0000 -
1255.06/1259.13 c 1259 4994453 66921 1 - 0.0000 -
1260.05/1264.17 c 1264 5010422 66459 1 - 0.0000 -
1265.13/1269.25 c 1269 5025211 65739 1 - 0.0000 -
1270.20/1274.35 c 1274 5041141 65017 1 - 0.0000 -
1275.29/1279.40 c 1279 5057379 64218 1 - 0.0000 -
1280.27/1284.47 c 1284 5074500 63269 1 - 0.0000 -
1285.45/1289.62 c 1290 5090738 62543 1 - 0.0000 -
1290.44/1294.67 c 1295 5105814 61958 1 - 0.0000 -
1295.52/1299.72 c 1300 5123856 60741 1 - 0.0000 -
1300.51/1304.77 c 1305 5143274 58803 1 - 0.0000 -
1305.60/1309.82 c 1310 5164551 56470 1 - 0.0000 -
1310.58/1314.87 c 1315 5186879 53995 1 - 0.0000 -
1315.76/1320.09 c 1320 5204045 53693 1 - 0.0000 -
1320.95/1325.23 c 1325 5219805 54617 1 - 0.0000 -
1326.04/1330.32 c 1330 5234979 54908 1 - 0.0000 -
1331.22/1335.52 c 1336 5259302 55433 1 - 0.0000 -
1336.21/1340.57 c 1341 5285567 55143 1 - 0.0000 -
1341.29/1345.62 c 1346 5314786 53945 1 - 0.0000 -
1346.28/1350.67 c 1351 5337348 51769 1 - 0.0000 -
1351.36/1355.72 c 1356 5360465 48637 1 - 0.0000 -
1356.66/1361.07 c 1361 5381911 48960 1 - 0.0000 -
1361.93/1366.33 c 1366 5398308 48704 1 - 0.0000 -
1367.02/1371.47 c 1371 5417268 48595 1 - 0.0000 -
1372.20/1376.63 c 1377 5438250 46882 1 - 0.0000 -
1377.19/1381.68 c 1382 5461557 43876 1 - 0.0000 -
1382.28/1386.73 c 1387 5485539 40188 1 - 0.0000 -
1387.36/1391.88 c 1392 5512112 37635 1 - 0.0000 -
1392.44/1396.93 c 1397 5536434 34740 1 - 0.0000 -
1397.42/1401.98 c 1402 5559663 31887 1 - 0.0000 -
1402.51/1407.03 c 1407 5582950 29766 1 - 0.0000 -
1407.50/1412.08 c 1412 5610759 29625 1 - 0.0000 -
1412.68/1417.23 c 1417 5627399 30473 1 - 0.0000 -
1417.67/1422.27 c 1422 5654628 30302 1 - 0.0000 -
1422.76/1427.32 c 1427 5681878 29582 1 - 0.0000 -
1427.84/1432.46 c 1432 5705246 29524 1 - 0.0000 -
1432.92/1437.51 c 1438 5723848 30108 1 - 0.0000 -
1438.01/1442.65 c 1443 5740095 29932 1 - 0.0000 -
1443.00/1447.69 c 1448 5756927 30605 1 - 0.0000 -
1448.08/1452.74 c 1453 5773829 31232 1 - 0.0000 -
1453.05/1457.79 c 1458 5790971 31594 1 - 0.0000 -
1458.14/1462.84 c 1463 5807140 32697 1 - 0.0000 -
1463.12/1467.89 c 1468 5824505 33370 1 - 0.0000 -
1468.21/1472.94 c 1473 5838415 33482 1 - 0.0000 -
1473.19/1477.99 c 1478 5855563 32840 1 - 0.0000 -
1478.38/1483.18 c 1483 5870059 33613 1 - 0.0000 -
1483.67/1488.41 c 1488 5883635 34267 1 - 0.0000 -
1488.75/1493.55 c 1494 5897775 35072 1 - 0.0000 -
1493.83/1498.66 c 1499 5910853 35805 1 - 0.0000 -
1498.92/1503.74 c 1504 5927241 36915 1 - 0.0000 -
1504.11/1508.93 c 1509 5941667 37527 1 - 0.0000 -
1509.30/1514.10 c 1514 5957835 38027 1 - 0.0000 -
1514.28/1519.14 c 1519 5973493 38513 1 - 0.0000 -
1519.36/1524.23 c 1524 5990238 39251 1 - 0.0000 -
1524.45/1529.32 c 1529 6009007 39797 1 - 0.0000 -
1529.53/1534.43 c 1534 6026698 40278 1 - 0.0000 -
1534.62/1539.57 c 1540 6044969 40575 1 - 0.0000 -
1539.70/1544.69 c 1545 6063485 41027 1 - 0.0000 -
1544.79/1549.78 c 1550 6082275 41347 1 - 0.0000 -
1549.87/1554.83 c 1555 6104601 41650 1 - 0.0000 -
1554.86/1559.88 c 1560 6125939 41824 1 - 0.0000 -
1559.94/1564.93 c 1565 6145006 42087 1 - 0.0000 -
1565.04/1570.07 c 1570 6164486 42473 1 - 0.0000 -
1570.12/1575.12 c 1575 6184792 42597 1 - 0.0000 -
1575.10/1580.17 c 1580 6207336 42617 1 - 0.0000 -
1580.18/1585.27 c 1585 6227879 42582 1 - 0.0000 -
1585.27/1590.32 c 1590 6248504 43038 1 - 0.0000 -
1590.36/1595.40 c 1595 6271221 43687 1 - 0.0000 -
1595.44/1600.53 c 1601 6289809 44033 1 - 0.0000 -
1600.52/1605.61 c 1606 6308179 44415 1 - 0.0000 -
1605.61/1610.71 c 1611 6330874 44590 1 - 0.0000 -
1610.70/1615.87 c 1616 6349668 44632 1 - 0.0000 -
1615.78/1620.92 c 1621 6370517 44427 1 - 0.0000 -
1620.77/1625.99 c 1626 6391630 44176 1 - 0.0000 -
1625.97/1631.14 c 1631 6415409 43747 1 - 0.0000 -
1631.04/1636.21 c 1636 6440315 43443 1 - 0.0000 -
1636.03/1641.26 c 1641 6462367 43348 1 - 0.0000 -
1641.12/1646.36 c 1646 6481378 43259 1 - 0.0000 -
1646.20/1651.44 c 1651 6503971 43130 1 - 0.0000 -
1651.28/1656.50 c 1657 6525936 42921 1 - 0.0000 -
1656.27/1661.55 c 1662 6547840 42276 1 - 0.0000 -
1661.36/1666.60 c 1667 6572069 41800 1 - 0.0000 -
1666.34/1671.69 c 1672 6595911 41034 1 - 0.0000 -
1671.43/1676.75 c 1677 6618604 40917 1 - 0.0000 -
1676.51/1681.80 c 1682 6640041 40432 1 - 0.0000 -
1681.50/1686.85 c 1687 6663650 39723 1 - 0.0000 -
1686.59/1691.91 c 1692 6685616 39385 1 - 0.0000 -
1691.67/1697.01 c 1697 6701904 39785 1 - 0.0000 -
1696.76/1702.12 c 1702 6723430 39073 1 - 0.0000 -
1701.75/1707.16 c 1707 6746206 38344 1 - 0.0000 -
1706.92/1712.31 c 1712 6767731 37533 1 - 0.0000 -
1712.01/1717.47 c 1717 6789561 36985 1 - 0.0000 -
1717.10/1722.52 c 1723 6812909 36107 1 - 0.0000 -
1722.19/1727.62 c 1728 6837998 35436 1 - 0.0000 -
1727.18/1732.67 c 1733 6863454 34853 1 - 0.0000 -
1732.25/1737.72 c 1738 6886508 34222 1 - 0.0000 -
1737.25/1742.77 c 1743 6910218 33487 1 - 0.0000 -
1742.33/1747.82 c 1748 6933945 32878 1 - 0.0000 -
1747.32/1752.87 c 1753 6957601 32288 1 - 0.0000 -
1752.40/1757.92 c 1758 6981133 31901 1 - 0.0000 -
1757.39/1762.97 c 1763 7005642 31307 1 - 0.0000 -
1762.47/1768.02 c 1768 7029476 30785 1 - 0.0000 -
1767.46/1773.07 c 1773 7051878 30317 1 - 0.0000 -
1772.55/1778.19 c 1778 7072885 30098 1 - 0.0000 -
1777.63/1783.24 c 1783 7090253 31303 1 - 0.0000 -
1782.71/1788.32 c 1788 7106159 32027 1 - 0.0000 -
1787.79/1793.48 c 1793 7121223 32534 1 - 0.0000 -
1792.88/1798.53 c 1799 7138064 32548 1 - 0.0000 -
1797.87/1803.58 c 1804 7155152 32403 1 - 0.0000 -
1802.95/1808.69 c 1809 7171286 33680 1 - 0.0000 -
1808.04/1813.74 c 1814 7187833 34685 1 - 0.0000 -
1813.22/1818.93 c 1819 7204749 35502 1 - 0.0000 -
1818.20/1823.97 c 1824 7221759 36210 1 - 0.0000 -
1823.39/1829.12 c 1829 7238969 37361 1 - 0.0000 -
1828.47/1834.22 c 1834 7255538 38186 1 - 0.0000 -
1833.56/1839.32 c 1839 7271436 38842 1 - 0.0000 -
1838.64/1844.43 c 1844 7287236 39777 1 - 0.0000 -
1843.63/1849.48 c 1849 7303022 40699 1 - 0.0000 -
1848.71/1854.53 c 1855 7320631 41651 1 - 0.0000 -
1853.69/1859.59 c 1860 7337550 42265 1 - 0.0000 -
1858.78/1864.64 c 1865 7355652 42595 1 - 0.0000 -
1863.86/1869.70 c 1870 7371640 42899 1 - 0.0000 -
1868.95/1874.83 c 1875 7386651 43153 1 - 0.0000 -
1874.03/1879.93 c 1880 7404766 43097 1 - 0.0000 -
1879.12/1885.02 c 1885 7418905 44477 1 - 0.0000 -
1884.11/1890.07 c 1890 7434049 45666 1 - 0.0000 -
1889.29/1895.21 c 1895 7449191 46654 1 - 0.0000 -
1894.37/1900.35 c 1900 7466082 47715 1 - 0.0000 -
1899.56/1905.59 c 1906 7481935 48734 1 - 0.0000 -
1904.64/1910.64 c 1911 7499092 49527 1 - 0.0000 -
1909.63/1915.69 c 1916 7514413 50204 1 - 0.0000 -
1914.81/1920.85 c 1921 7531225 51539 1 - 0.0000 -
1919.90/1925.91 c 1926 7546247 52872 1 - 0.0000 -
1924.88/1930.96 c 1931 7561892 53914 1 - 0.0000 -
1929.97/1936.05 c 1936 7579125 54955 1 - 0.0000 -
1935.05/1941.14 c 1941 7597911 55855 1 - 0.0000 -
1940.04/1946.18 c 1946 7612933 56559 1 - 0.0000 -
1945.31/1951.45 c 1951 7627135 57951 1 - 0.0000 -
1950.40/1956.57 c 1957 7641791 59169 1 - 0.0000 -
1955.49/1961.68 c 1962 7657592 60298 1 - 0.0000 -
1960.68/1966.89 c 1967 7671107 61197 1 - 0.0000 -
1965.76/1971.98 c 1972 7686960 62633 1 - 0.0000 -
1970.85/1977.04 c 1977 7711481 63956 1 - 0.0000 -
1975.83/1982.09 c 1982 7731577 65237 1 - 0.0000 -
1981.21/1987.41 c 1987 7746599 66385 1 - 0.0000 -
1986.40/1992.64 c 1993 7766115 67523 1 - 0.0000 -
1991.59/1997.87 c 1998 7788250 68518 1 - 0.0000 -
1996.67/2002.99 c 2003 7810145 69650 1 - 0.0000 -
2001.76/2008.03 c 2008 7833715 71116 1 - 0.0000 -
2006.74/2013.08 c 2013 7855629 72119 1 - 0.0000 -
2012.02/2018.32 c 2018 7880955 73051 1 - 0.0000 -
2017.21/2023.57 c 2024 7900184 73990 1 - 0.0000 -
2022.39/2028.79 c 2029 7919372 74689 1 - 0.0000 -
2027.69/2034.07 c 2034 7941001 75366 1 - 0.0000 -
2032.77/2039.11 c 2039 7968251 76412 1 - 0.0000 -
2037.75/2044.16 c 2044 7992202 77080 1 - 0.0000 -
2042.84/2049.28 c 2049 8013368 77775 1 - 0.0000 -
2047.93/2054.32 c 2054 8038519 78381 1 - 0.0000 -
2053.01/2059.44 c 2059 8061179 78903 1 - 0.0000 -
2058.19/2064.62 c 2065 8080815 79587 1 - 0.0000 -
2063.17/2069.67 c 2070 8107032 80662 1 - 0.0000 -
2068.36/2074.83 c 2075 8127925 81220 1 - 0.0000 -
2073.44/2079.95 c 2080 8147355 81657 1 - 0.0000 -
2078.43/2084.99 c 2085 8169465 82045 1 - 0.0000 -
2083.52/2090.06 c 2090 8192278 82379 1 - 0.0000 -
2088.70/2095.21 c 2095 8214023 82989 1 - 0.0000 -
2093.69/2100.26 c 2100 8234780 83268 1 - 0.0000 -
2098.77/2105.31 c 2105 8257526 83416 1 - 0.0000 -
2103.86/2110.43 c 2110 8281822 83503 1 - 0.0000 -
2108.84/2115.49 c 2116 8303836 83584 1 - 0.0000 -
2114.02/2120.64 c 2121 8322796 83843 1 - 0.0000 -
2119.11/2125.70 c 2126 8344904 84202 1 - 0.0000 -
2124.10/2130.75 c 2131 8365322 84411 1 - 0.0000 -
2129.18/2135.80 c 2136 8388985 84415 1 - 0.0000 -
2134.27/2140.98 c 2141 8407823 84534 1 - 0.0000 -
2139.36/2146.03 c 2146 8428316 84515 1 - 0.0000 -
2144.45/2151.13 c 2151 8448429 84432 1 - 0.0000 -
2149.72/2156.42 c 2156 8469633 84482 1 - 0.0000 -
2154.81/2161.51 c 2162 8491135 84420 1 - 0.0000 -
2159.79/2166.56 c 2167 8509631 84378 1 - 0.0000 -
2164.87/2171.67 c 2172 8532996 84261 1 - 0.0000 -
2169.96/2176.75 c 2177 8556041 84043 1 - 0.0000 -
2175.05/2181.82 c 2182 8577779 83725 1 - 0.0000 -
2180.03/2186.87 c 2187 8599385 83736 1 - 0.0000 -
2185.22/2192.00 c 2192 8616927 84005 1 - 0.0000 -
2190.20/2197.05 c 2197 8636479 83793 1 - 0.0000 -
2195.29/2202.10 c 2202 8656840 83507 1 - 0.0000 -
2200.28/2207.15 c 2207 8681092 82958 1 - 0.0000 -
2205.35/2212.20 c 2212 8705984 82303 1 - 0.0000 -
2210.44/2217.33 c 2217 8728812 81909 1 - 0.0000 -
2215.42/2222.38 c 2222 8751662 81572 1 - 0.0000 -
2220.51/2227.43 c 2227 8774339 80825 1 - 0.0000 -
2225.59/2232.51 c 2233 8798312 80496 1 - 0.0000 -
2230.58/2237.56 c 2238 8820884 80207 1 - 0.0000 -
2235.66/2242.61 c 2243 8843409 80871 1 - 0.0000 -
2240.75/2247.77 c 2248 8871920 81143 1 - 0.0000 -
2245.83/2252.83 c 2253 8897897 80954 1 - 0.0000 -
2250.92/2257.94 c 2258 8921538 80443 1 - 0.0000 -
2256.01/2263.00 c 2263 8943928 80028 1 - 0.0000 -
2260.99/2268.05 c 2268 8969648 79304 1 - 0.0000 -
2266.08/2273.10 c 2273 8994519 78427 1 - 0.0000 -
2271.07/2278.15 c 2278 9019405 77682 1 - 0.0000 -
2276.15/2283.20 c 2283 9044865 76682 1 - 0.0000 -
2281.23/2288.33 c 2288 9069177 76100 1 - 0.0000 -
2286.32/2293.41 c 2293 9091943 75384 1 - 0.0000 -
2291.30/2298.45 c 2298 9116276 74501 1 - 0.0000 -
2296.49/2303.69 c 2304 9143931 73457 1 - 0.0000 -
2301.57/2308.74 c 2309 9168764 72825 1 - 0.0000 -
2306.56/2313.79 c 2314 9196041 71764 1 - 0.0000 -
2311.64/2318.88 c 2319 9220899 70808 1 - 0.0000 -
2316.84/2324.03 c 2324 9243833 70298 1 - 0.0000 -
2321.92/2329.16 c 2329 9265740 69310 1 - 0.0000 -
2327.00/2334.29 c 2334 9291737 68216 1 - 0.0000 -
2332.09/2339.34 c 2339 9317113 67128 1 - 0.0000 -
2337.17/2344.44 c 2344 9342563 65818 1 - 0.0000 -
2342.16/2349.49 c 2350 9371774 64228 1 - 0.0000 -
2347.24/2354.54 c 2355 9396301 62914 1 - 0.0000 -
2352.23/2359.59 c 2360 9423315 61878 1 - 0.0000 -
2357.31/2364.64 c 2365 9452647 60424 1 - 0.0000 -
2362.30/2369.69 c 2370 9479048 58621 1 - 0.0000 -
2367.48/2374.89 c 2375 9503256 57317 1 - 0.0000 -
2372.68/2380.00 c 2380 9530952 55981 1 - 0.0000 -
2377.67/2385.05 c 2385 9557686 54908 1 - 0.0000 -
2382.75/2390.10 c 2390 9587851 53654 1 - 0.0000 -
2387.73/2395.15 c 2395 9615335 51671 1 - 0.0000 -
2392.81/2400.20 c 2400 9645656 50610 1 - 0.0000 -
2397.81/2405.25 c 2405 9675318 48857 1 - 0.0000 -
2402.89/2410.33 c 2410 9703125 47074 1 - 0.0000 -
2407.87/2415.37 c 2415 9733725 45324 1 - 0.0000 -
2412.95/2420.42 c 2420 9760881 43936 1 - 0.0000 -
2417.94/2425.47 c 2425 9786820 42341 1 - 0.0000 -
2423.03/2430.52 c 2431 9816428 40834 1 - 0.0000 -
2428.01/2435.57 c 2436 9844148 39569 1 - 0.0000 -
2433.11/2440.62 c 2441 9872157 38474 1 - 0.0000 -
2438.08/2445.67 c 2446 9897462 37057 1 - 0.0000 -
2443.17/2450.72 c 2451 9924925 36031 1 - 0.0000 -
2448.16/2455.77 c 2456 9945437 35629 1 - 0.0000 -
2453.25/2460.82 c 2461 9958634 35992 1 - 0.0000 -
2458.33/2465.91 c 2466 9972571 36184 1 - 0.0000 -
2463.42/2471.07 c 2471 9986235 36933 1 - 0.0000 -
2468.50/2476.11 c 2476 9999555 37185 1 - 0.0000 -
2473.49/2481.18 c 2481 10012429 36787 1 - 0.0000 -
2478.57/2486.23 c 2486 10027020 36859 1 - 0.0000 -
2483.75/2491.42 c 2491 10037269 37668 1 - 0.0000 -
2488.94/2496.61 c 2497 10047735 38262 1 - 0.0000 -
2494.02/2501.71 c 2502 10059105 38909 1 - 0.0000 -
2499.21/2506.91 c 2507 10069710 39426 1 - 0.0000 -
2504.59/2512.34 c 2512 10081831 39965 1 - 0.0000 -
2509.68/2517.48 c 2517 10091764 40402 1 - 0.0000 -
2514.76/2522.55 c 2523 10102833 40893 1 - 0.0000 -
2519.75/2527.59 c 2528 10115250 41212 1 - 0.0000 -
2524.94/2532.72 c 2533 10129792 41412 1 - 0.0000 -
2530.02/2537.83 c 2538 10147340 41850 1 - 0.0000 -
2535.11/2542.91 c 2543 10165053 42551 1 - 0.0000 -
2540.19/2548.07 c 2548 10182496 43130 1 - 0.0000 -
2545.29/2553.12 c 2553 10201775 43655 1 - 0.0000 -
2550.46/2558.35 c 2558 10219259 44157 1 - 0.0000 -
2555.65/2563.50 c 2564 10239373 44407 1 - 0.0000 -
2560.73/2568.64 c 2569 10260237 44728 1 - 0.0000 -
2565.72/2573.69 c 2574 10281187 44898 1 - 0.0000 -
2570.80/2578.74 c 2579 10303026 44823 1 - 0.0000 -
2575.80/2583.79 c 2584 10322151 44761 1 - 0.0000 -
2580.88/2588.87 c 2589 10343484 44536 1 - 0.0000 -
2585.97/2593.92 c 2594 10365162 44380 1 - 0.0000 -
2590.95/2598.97 c 2599 10386883 44059 1 - 0.0000 -
2596.05/2604.02 c 2604 10405682 43682 1 - 0.0000 -
2601.03/2609.07 c 2609 10426231 43252 1 - 0.0000 -
2606.12/2614.12 c 2614 10446645 42934 1 - 0.0000 -
2611.20/2619.21 c 2619 10466159 42622 1 - 0.0000 -
2616.18/2624.26 c 2624 10487350 41982 1 - 0.0000 -
2621.27/2629.31 c 2629 10508447 41217 1 - 0.0000 -
2626.26/2634.36 c 2634 10530854 40559 1 - 0.0000 -
2631.34/2639.41 c 2639 10553114 39809 1 - 0.0000 -
2636.43/2644.53 c 2645 10577488 39002 1 - 0.0000 -
2641.51/2649.63 c 2650 10597450 38388 1 - 0.0000 -
2646.50/2654.68 c 2655 10619784 37650 1 - 0.0000 -
2651.58/2659.75 c 2660 10641897 37172 1 - 0.0000 -
2656.67/2664.80 c 2665 10664039 36842 1 - 0.0000 -
2661.76/2669.93 c 2670 10688167 36432 1 - 0.0000 -
2666.74/2674.97 c 2675 10710379 36052 1 - 0.0000 -
2671.84/2680.06 c 2680 10731297 35700 1 - 0.0000 -
2676.92/2685.11 c 2685 10750785 35223 1 - 0.0000 -
2681.91/2690.16 c 2690 10773944 34485 1 - 0.0000 -
2686.99/2695.24 c 2695 10799593 33296 1 - 0.0000 -
2692.06/2700.34 c 2700 10817748 34062 1 - 0.0000 -
2697.25/2705.53 c 2706 10836565 34617 1 - 0.0000 -
2702.34/2710.63 c 2711 10855325 35757 1 - 0.0000 -
2707.52/2715.80 c 2716 10872065 37101 1 - 0.0000 -
2712.61/2720.98 c 2721 10890585 37949 1 - 0.0000 -
2717.80/2726.13 c 2726 10907320 38614 1 - 0.0000 -
2722.78/2731.19 c 2731 10927216 39156 1 - 0.0000 -
2727.86/2736.26 c 2736 10947297 39759 1 - 0.0000 -
2732.95/2741.36 c 2741 10967846 40262 1 - 0.0000 -
2738.03/2746.44 c 2746 10986036 40454 1 - 0.0000 -
2743.02/2751.49 c 2752 11005999 40319 1 - 0.0000 -
2748.10/2756.54 c 2757 11025781 40208 1 - 0.0000 -
2753.19/2761.69 c 2762 11046156 40253 1 - 0.0000 -
2758.28/2766.74 c 2767 11066574 39875 1 - 0.0000 -
2763.26/2771.79 c 2772 11087142 39487 1 - 0.0000 -
2768.34/2776.89 c 2777 11108451 38996 1 - 0.0000 -
2773.43/2781.97 c 2782 11130088 38391 1 - 0.0000 -
2778.52/2787.02 c 2787 11152615 37612 1 - 0.0000 -
2783.51/2792.07 c 2792 11175055 36863 1 - 0.0000 -
2788.60/2797.12 c 2797 11197864 36018 1 - 0.0000 -
2793.58/2802.17 c 2802 11221639 35179 1 - 0.0000 -
2798.66/2807.22 c 2807 11244404 34925 1 - 0.0000 -
2803.75/2812.32 c 2812 11266187 34321 1 - 0.0000 -
2808.73/2817.37 c 2817 11291107 33735 1 - 0.0000 -
2813.82/2822.42 c 2822 11315462 32661 1 - 0.0000 -
2818.80/2827.47 c 2827 11337501 31534 1 - 0.0000 -
2823.89/2832.59 c 2833 11359148 31715 1 - 0.0000 -
2828.98/2837.64 c 2838 11377760 32374 1 - 0.0000 -
2833.96/2842.69 c 2843 11400275 31622 1 - 0.0000 -
2839.05/2847.74 c 2848 11425900 30417 1 - 0.0000 -
2844.03/2852.79 c 2853 11448146 29589 1 - 0.0000 -
2849.12/2857.84 c 2858 11471353 28639 1 - 0.0000 -
2854.21/2862.90 c 2863 11494208 27832 1 - 0.0000 -
2859.19/2867.95 c 2868 11518633 26342 1 - 0.0000 -
2864.28/2873.00 c 2873 11542431 25554 1 - 0.0000 -
2869.26/2878.08 c 2878 11562190 25597 1 - 0.0000 -
2874.35/2883.13 c 2883 11580633 26163 1 - 0.0000 -
2879.33/2888.18 c 2888 11595654 26318 1 - 0.0000 -
2884.41/2893.23 c 2893 11611053 26366 1 - 0.0000 -
2889.50/2898.31 c 2898 11627649 27255 1 - 0.0000 -
2894.49/2903.36 c 2903 11643112 27771 1 - 0.0000 -
2899.57/2908.41 c 2908 11658720 28835 1 - 0.0000 -
2904.56/2913.46 c 2913 11675977 29980 1 - 0.0000 -
2909.74/2918.60 c 2919 11692476 30580 1 - 0.0000 -
2914.72/2923.65 c 2924 11709910 31178 1 - 0.0000 -
2919.91/2928.82 c 2929 11726955 31333 1 - 0.0000 -
2925.00/2933.99 c 2934 11743689 31517 1 - 0.0000 -
2930.18/2939.13 c 2939 11761725 32750 1 - 0.0000 -
2935.26/2944.26 c 2944 11776648 33594 1 - 0.0000 -
2940.45/2949.44 c 2949 11786965 34603 1 - 0.0000 -
2945.53/2954.53 c 2955 11798870 35632 1 - 0.0000 -
2950.52/2959.58 c 2960 11818798 36813 1 - 0.0000 -
2955.61/2964.65 c 2965 11837536 37584 1 - 0.0000 -
2960.69/2969.73 c 2970 11857917 38641 1 - 0.0000 -
2965.78/2974.88 c 2975 11876075 39489 1 - 0.0000 -
2970.86/2979.96 c 2980 11896888 40424 1 - 0.0000 -
2976.06/2985.10 c 2985 11919213 41434 1 - 0.0000 -
2981.04/2990.19 c 2990 11936281 42374 1 - 0.0000 -
2986.12/2995.27 c 2995 11958197 42988 1 - 0.0000 -
2991.20/3000.31 c 3000 11974036 43833 1 - 0.0000 -
2996.29/3005.44 c 3005 11995376 44536 1 - 0.0000 -
3001.37/3010.51 c 3011 12015465 45596 1 - 0.0000 -
3006.36/3015.58 c 3016 12035633 46377 1 - 0.0000 -
3011.54/3020.70 c 3021 12054740 47166 1 - 0.0000 -
3016.73/3025.92 c 3026 12074006 47998 1 - 0.0000 -
3021.71/3030.96 c 3031 12093567 48837 1 - 0.0000 -
3026.90/3036.16 c 3036 12116023 49565 1 - 0.0000 -
3031.98/3041.21 c 3041 12137884 50030 1 - 0.0000 -
3037.06/3046.33 c 3046 12158905 50520 1 - 0.0000 -
3042.15/3051.47 c 3051 12178065 51041 1 - 0.0000 -
3047.24/3056.51 c 3057 12196609 51706 1 - 0.0000 -
3052.32/3061.67 c 3062 12222464 52243 1 - 0.0000 -
3057.41/3066.72 c 3067 12245072 52672 1 - 0.0000 -
3062.40/3071.77 c 3072 12269721 53073 1 - 0.0000 -
3067.58/3076.92 c 3077 12293685 53591 1 - 0.0000 -
3072.67/3082.08 c 3082 12315980 53990 1 - 0.0000 -
3077.84/3087.20 c 3087 12337396 54283 1 - 0.0000 -
3082.83/3092.25 c 3092 12361054 54547 1 - 0.0000 -
3087.92/3097.31 c 3097 12384866 55356 1 - 0.0000 -
3092.90/3102.35 c 3102 12409831 55981 1 - 0.0000 -
3097.99/3107.40 c 3107 12433157 56490 1 - 0.0000 -
3103.17/3112.62 c 3113 12450188 56937 1 - 0.0000 -
3108.26/3117.76 c 3118 12469762 57310 1 - 0.0000 -
3113.34/3122.81 c 3123 12491317 57570 1 - 0.0000 -
3118.33/3127.86 c 3128 12514901 57939 1 - 0.0000 -
3123.42/3132.91 c 3133 12540107 57780 1 - 0.0000 -
3128.40/3137.96 c 3138 12562360 58025 1 - 0.0000 -
3133.49/3143.06 c 3143 12585965 58060 1 - 0.0000 -
3138.67/3148.24 c 3148 12606763 58254 1 - 0.0000 -
3143.76/3153.33 c 3153 12629817 58261 1 - 0.0000 -
3148.74/3158.38 c 3158 12650147 58098 1 - 0.0000 -
3153.83/3163.43 c 3163 12677161 57534 1 - 0.0000 -
3159.02/3168.60 c 3169 12701441 57160 1 - 0.0000 -
3164.01/3173.65 c 3174 12729571 56564 1 - 0.0000 -
3169.18/3178.81 c 3179 12754169 55980 1 - 0.0000 -
3174.18/3183.86 c 3184 12780425 55333 1 - 0.0000 -
3179.37/3189.03 c 3189 12807105 54667 1 - 0.0000 -
3184.45/3194.11 c 3194 12832397 53962 1 - 0.0000 -
3189.44/3199.19 c 3199 12856296 53636 1 - 0.0000 -
3194.72/3204.42 c 3204 12880213 53087 1 - 0.0000 -
3199.70/3209.46 c 3209 12905339 52277 1 - 0.0000 -
3204.88/3214.62 c 3215 12930994 51273 1 - 0.0000 -
3209.98/3219.70 c 3220 12955044 50721 1 - 0.0000 -
3214.95/3224.75 c 3225 12982744 49835 1 - 0.0000 -
3220.04/3229.81 c 3230 13007931 49732 1 - 0.0000 -
3225.03/3234.86 c 3235 13033897 48867 1 - 0.0000 -
3230.11/3239.91 c 3240 13060186 47884 1 - 0.0000 -
3235.10/3244.96 c 3245 13086671 46893 1 - 0.0000 -
3240.19/3250.01 c 3250 13113827 45871 1 - 0.0000 -
3245.17/3255.06 c 3255 13141750 44792 1 - 0.0000 -
3250.27/3260.11 c 3260 13165291 43912 1 - 0.0000 -
3255.25/3265.16 c 3265 13190790 42795 1 - 0.0000 -
3260.33/3270.21 c 3270 13216630 41634 1 - 0.0000 -
3265.31/3275.26 c 3275 13244883 40486 1 - 0.0000 -
3270.40/3280.31 c 3280 13270011 39563 1 - 0.0000 -
3275.38/3285.39 c 3285 13297114 38734 1 - 0.0000 -
3280.47/3290.44 c 3290 13324069 37952 1 - 0.0000 -
3285.46/3295.49 c 3296 13353379 36898 1 - 0.0000 -
3290.54/3300.54 c 3301 13379499 35948 1 - 0.0000 -
3295.63/3305.69 c 3306 13406760 34979 1 - 0.0000 -
3300.71/3310.73 c 3311 13435003 33872 1 - 0.0000 -
3305.70/3315.79 c 3316 13459079 33060 1 - 0.0000 -
3310.78/3320.84 c 3321 13486892 31962 1 - 0.0000 -
3315.87/3325.92 c 3326 13514771 31068 1 - 0.0000 -
3320.86/3330.96 c 3331 13543470 30156 1 - 0.0000 -
3325.95/3336.01 c 3336 13570303 29480 1 - 0.0000 -
3330.93/3341.06 c 3341 13599205 28643 1 - 0.0000 -
3336.12/3346.20 c 3346 13623684 28009 1 - 0.0000 -
3341.21/3351.32 c 3351 13649137 27387 1 - 0.0000 -
3346.19/3356.36 c 3356 13676889 26772 1 - 0.0000 -
3351.27/3361.46 c 3361 13702280 26348 1 - 0.0000 -
3356.36/3366.51 c 3367 13726181 25647 1 - 0.0000 -
3361.45/3371.63 c 3372 13743915 25463 1 - 0.0000 -
3366.63/3376.81 c 3377 13762234 26269 1 - 0.0000 -
3371.62/3381.89 c 3382 13777245 26509 1 - 0.0000 -
3376.80/3387.03 c 3387 13792945 27285 1 - 0.0000 -
3381.79/3392.08 c 3392 13807665 27831 1 - 0.0000 -
3386.87/3397.18 c 3397 13824256 28704 1 - 0.0000 -
3391.95/3402.23 c 3402 13838985 28938 1 - 0.0000 -
3397.04/3407.34 c 3407 13856011 29572 1 - 0.0000 -
3402.12/3412.46 c 3412 13872942 30480 1 - 0.0000 -
3407.21/3417.51 c 3418 13890292 31056 1 - 0.0000 -
3412.29/3422.67 c 3423 13905219 31718 1 - 0.0000 -
3417.38/3427.77 c 3428 13920557 32043 1 - 0.0000 -
3422.46/3432.82 c 3433 13936758 31577 1 - 0.0000 -
3427.54/3437.98 c 3438 13951465 31980 1 - 0.0000 -
3432.63/3443.02 c 3443 13964664 32398 1 - 0.0000 -
3437.62/3448.07 c 3448 13979859 31972 1 - 0.0000 -
3442.70/3453.12 c 3453 13997187 30697 1 - 0.0000 -
3447.69/3458.17 c 3458 14017139 28007 1 - 0.0000 -
3452.77/3463.22 c 3463 14039402 25726 1 - 0.0000 -
3457.75/3468.27 c 3468 14062669 24755 1 - 0.0000 -
3462.84/3473.32 c 3473 14082137 24815 1 - 0.0000 -
3467.83/3478.37 c 3478 14104254 24103 1 - 0.0000 -
3472.91/3483.42 c 3483 14128058 23323 1 - 0.0000 -
3478.00/3488.51 c 3489 14149943 22569 1 - 0.0000 -
3482.98/3493.57 c 3494 14174225 21351 1 - 0.0000 -
3488.27/3498.85 c 3499 14188808 22349 1 - 0.0000 -
3493.35/3503.92 c 3504 14201743 23734 1 - 0.0000 -
3498.44/3509.03 c 3509 14214611 24847 1 - 0.0000 -
3503.43/3514.08 c 3514 14228554 25726 1 - 0.0000 -
3508.51/3519.13 c 3519 14242549 26653 1 - 0.0000 -
3513.59/3524.20 c 3524 14256202 27426 1 - 0.0000 -
3518.68/3529.31 c 3529 14272373 28285 1 - 0.0000 -
3523.66/3534.38 c 3534 14285885 29023 1 - 0.0000 -
3528.75/3539.42 c 3539 14302229 29887 1 - 0.0000 -
3533.82/3544.54 c 3545 14317230 30581 1 - 0.0000 -
3539.01/3549.77 c 3550 14327937 31366 1 - 0.0000 -
3544.10/3554.88 c 3555 14340013 31996 1 - 0.0000 -
3549.18/3559.94 c 3560 14352672 32531 1 - 0.0000 -
3554.17/3564.98 c 3565 14367743 33109 1 - 0.0000 -
3559.25/3570.04 c 3570 14381368 33467 1 - 0.0000 -
3564.34/3575.19 c 3575 14395315 33850 1 - 0.0000 -
3569.42/3580.26 c 3580 14408840 34313 1 - 0.0000 -
3574.50/3585.33 c 3585 14424122 34588 1 - 0.0000 -
3579.49/3590.38 c 3590 14439352 34760 1 - 0.0000 -
3584.57/3595.44 c 3595 14451681 34848 1 - 0.0000 -
3589.55/3600.46 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.55/3600.46 c Total Time : 3600.4700
3589.55/3600.46 c solving : 3600.4700
3589.55/3600.46 c presolving : 0.0017 (included in solving)
3589.55/3600.46 c B&B Tree :
3589.55/3600.46 c nodes (total) : 1
3589.55/3600.46 c Solution :
3589.55/3600.46 c Solutions found : 0
3589.55/3600.46 c Primal Bound : -
3589.55/3600.46 c Dual Bound : +0.00000000000000e+00
3589.55/3600.46 c Gap : -
3589.55/3600.47 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 (61754 MiB free)
memory of node 1: 64510 MiB (61869 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445090-1721318262/watcher-4445090-1721318262 -o /tmp/evaluation-result-4445090-1721318262/solver-4445090-1721318262 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968466 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445090-1721318262.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=970212, runsolver pid=970209
[startup+0.100088 s]*
/proc/loadavg: 4.04 2.94 2.37 5/267 970215
/proc/meminfo: memFree=126581816/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=106540 memory=20232 CPUtime=0.09 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 2471 0 0 0 9 0 0 0 20 0 3 0 183985393 109096960 5058 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 26635 5058 2926 3032 0 8432 0
[pid=970212/tid=970214] ppid=970209 vsize=106540 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 1331 0 0 0 9 0 0 0 20 0 3 0 183985394 109096960 5058 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=106540 memory=237146210664 CPUtime=0 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183985394 109096960 5058 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106540 KiB
Current children cumulated memory: 20232 KiB
[startup+0.205716 s]*
/proc/loadavg: 4.04 2.94 2.37 5/267 970215
/proc/meminfo: memFree=126581656/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=106540 memory=20232 CPUtime=0.2 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 2501 0 0 0 20 0 0 0 20 0 3 0 183985393 109096960 5058 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 26635 5058 2926 3032 0 8459 0
[pid=970212/tid=970214] ppid=970209 vsize=106540 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 1361 0 0 0 19 0 0 0 20 0 3 0 183985394 109096960 5058 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=106540 memory=1285800 CPUtime=0 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183985394 109096960 5058 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106540 KiB
Current children cumulated memory: 20232 KiB
[startup+0.305551 s]*
/proc/loadavg: 4.04 2.94 2.37 5/267 970215
/proc/meminfo: memFree=126580816/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=106540 memory=21084 CPUtime=0.3 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 2684 0 0 0 30 0 0 0 20 0 3 0 183985393 109096960 5271 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 26635 5271 2942 3032 0 8624 0
[pid=970212/tid=970214] ppid=970209 vsize=106540 memory=-6730748834162588515 CPUtime=0.29 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 1545 0 0 0 29 0 0 0 20 0 3 0 183985394 109096960 5271 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=106540 memory=0 CPUtime=0 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183985394 109096960 5271 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106540 KiB
Current children cumulated memory: 21084 KiB
[startup+0.700188 s]
/proc/loadavg: 4.04 2.94 2.37 5/267 970215
/proc/meminfo: memFree=126580332/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=106540 memory=21084 CPUtime=0.68 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 2721 0 0 0 68 0 0 0 20 0 3 0 183985393 109096960 5271 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 26635 5271 2942 3032 0 8642 0
[pid=970212/tid=970214] ppid=970209 vsize=106540 memory=0 CPUtime=0.68 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 1581 0 0 0 68 0 0 0 20 0 3 0 183985394 109096960 5271 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=106540 memory=0 CPUtime=0 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183985394 109096960 5271 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 106540 KiB
Current children cumulated memory: 21084 KiB
[startup+1.50023 s]
/proc/loadavg: 4.04 2.94 2.37 5/267 970215
/proc/meminfo: memFree=126579284/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=106540 memory=22704 CPUtime=1.49 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 5317 0 0 0 148 1 0 0 20 0 3 0 183985393 109096960 5676 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 26635 5676 2942 3032 0 9138 0
[pid=970212/tid=970214] ppid=970209 vsize=106540 memory=0 CPUtime=1.48 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 4165 0 0 0 148 0 0 0 20 0 3 0 183985394 109096960 5676 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=106540 memory=0 CPUtime=0 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183985394 109096960 5676 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 106540 KiB
Current children cumulated memory: 22704 KiB
[startup+3.10516 s]
/proc/loadavg: 4.04 2.94 2.37 5/267 970215
/proc/meminfo: memFree=126576164/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=106540 memory=22704 CPUtime=3.08 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 5669 0 0 0 307 1 0 0 20 0 3 0 183985393 109096960 5676 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 26635 5676 2942 3032 0 9138 0
[pid=970212/tid=970214] ppid=970209 vsize=106540 memory=2273 CPUtime=3.08 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 4514 0 0 0 307 1 0 0 20 0 3 0 183985394 109096960 5676 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=106540 memory=0 CPUtime=0 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 183985394 109096960 5676 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 106540 KiB
Current children cumulated memory: 22704 KiB
[startup+6.3002 s]
/proc/loadavg: 4.03 2.96 2.38 5/267 970215
/proc/meminfo: memFree=126565616/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=106540 memory=27108 CPUtime=6.27 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 8470 0 0 0 624 3 0 0 20 0 3 0 183985393 109096960 6777 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 26635 6777 2990 3032 0 9855 0
[pid=970212/tid=970214] ppid=970209 vsize=106540 memory=-6730748834162588515 CPUtime=6.26 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 7295 0 0 0 624 2 0 0 20 0 3 0 183985394 109096960 6777 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=106540 memory=25964 CPUtime=0 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 183985394 109096960 6777 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 106540 KiB
Current children cumulated memory: 27108 KiB
[startup+12.7002 s]
/proc/loadavg: 4.03 2.98 2.39 5/267 970216
/proc/meminfo: memFree=126553412/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=107092 memory=33332 CPUtime=12.65 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 14761 0 0 0 1258 7 0 0 20 0 3 0 183985393 109662208 8333 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 26773 8333 2990 3032 0 11577 0
[pid=970212/tid=970214] ppid=970209 vsize=107092 memory=22704 CPUtime=12.65 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 13556 0 0 0 1258 7 0 0 20 0 3 0 183985394 109662208 8333 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=107092 memory=0 CPUtime=0 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 183985394 109662208 8333 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 107092 KiB
Current children cumulated memory: 33332 KiB
[startup+25.5002 s]
/proc/loadavg: 4.02 3.03 2.42 5/267 970218
/proc/meminfo: memFree=126518600/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=114940 memory=50312 CPUtime=25.41 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 30257 0 0 0 2527 14 0 0 20 0 3 0 183985393 117698560 12578 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 28735 12578 2990 3032 0 16001 0
[pid=970212/tid=970214] ppid=970209 vsize=114940 memory=30504 CPUtime=25.4 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 29010 0 0 0 2526 14 0 0 20 0 3 0 183985394 117698560 12578 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=114940 memory=7676 CPUtime=0 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 183985394 117698560 12578 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 114940 KiB
Current children cumulated memory: 50312 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 3.12 2.47 5/267 970392
/proc/meminfo: memFree=126475600/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=128092 memory=68856 CPUtime=50.93 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 48723 0 0 0 5067 26 0 0 20 0 3 0 183985393 131166208 17214 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 32023 17214 2990 3032 0 21574 0
[pid=970212/tid=970214] ppid=970209 vsize=128092 memory=66732 CPUtime=50.93 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 47422 0 0 0 5067 26 0 0 20 0 3 0 183985394 131166208 17214 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=128092 memory=66696 CPUtime=0 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 183985394 131166208 17214 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 128092 KiB
Current children cumulated memory: 68856 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 3.28 2.55 5/268 970404
/proc/meminfo: memFree=126390032/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=159484 memory=111068 CPUtime=101.94 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 98621 0 0 0 10144 50 0 0 20 0 3 0 183985393 163311616 27767 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 39871 27767 2990 3032 0 33258 0
[pid=970212/tid=970214] ppid=970209 vsize=159484 memory=108488 CPUtime=101.93 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 97248 0 0 0 10143 50 0 0 20 0 3 0 183985394 163311616 27767 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=159484 memory=108368 CPUtime=0 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 183985394 163311616 27767 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 159484 KiB
Current children cumulated memory: 111068 KiB
[startup+162.3 s]
/proc/loadavg: 4.03 3.41 2.65 5/269 970464
/proc/meminfo: memFree=126347076/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=179968 memory=135596 CPUtime=161.72 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 136544 0 0 0 16093 79 0 0 20 0 3 0 183985393 184287232 33899 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 44992 33899 2990 3032 0 40273 0
[pid=970212/tid=970214] ppid=970209 vsize=179968 memory=126572 CPUtime=161.7 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 135123 0 0 0 16092 78 0 0 20 0 3 0 183985394 184287232 33899 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=179968 memory=135596 CPUtime=0 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 183985394 184287232 33899 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 179968 KiB
################
# More data... #
################
/proc/970212/statm: 227054 202896 2990 3032 0 211333 0
[pid=970212/tid=970214] ppid=970209 vsize=908216 memory=808920 CPUtime=3391.82 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 2531513 0 0 0 337738 1444 0 0 20 0 3 0 183985394 930013184 202896 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=908216 memory=7676 CPUtime=0.03 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 142 0 0 0 1 2 0 0 20 0 3 0 183985394 930013184 202896 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 3392.06 s
Current children cumulated vsize: 908216 KiB
Current children cumulated memory: 811584 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/267 972093
/proc/meminfo: memFree=122510012/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=908216 memory=817728 CPUtime=3451.87 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 2575018 0 0 0 343718 1469 0 0 20 0 3 0 183985393 930013184 204432 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 227054 204432 2990 3032 0 211333 0
[pid=970212/tid=970214] ppid=970209 vsize=908216 memory=808920 CPUtime=3451.63 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 2572707 0 0 0 343699 1464 0 0 20 0 3 0 183985394 930013184 204432 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=908216 memory=7676 CPUtime=0.03 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 144 0 0 0 1 2 0 0 20 0 3 0 183985394 930013184 204432 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 3451.87 s
Current children cumulated vsize: 908216 KiB
Current children cumulated memory: 817728 KiB
[startup+3522.3 s]
/proc/loadavg: 4.35 4.20 4.11 5/265 972103
/proc/meminfo: memFree=122470300/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=908216 memory=820400 CPUtime=3511.69 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 2616258 0 0 0 349678 1491 0 0 20 0 3 0 183985393 930013184 205100 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 227054 205100 2990 3032 0 211344 0
[pid=970212/tid=970214] ppid=970209 vsize=908216 memory=27460 CPUtime=3511.45 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 2613930 0 0 0 349659 1486 0 0 20 0 3 0 183985394 930013184 205100 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=908216 memory=820352 CPUtime=0.03 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 146 0 0 0 1 2 0 0 20 0 3 0 183985394 930013184 205100 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 3511.69 s
Current children cumulated vsize: 908216 KiB
Current children cumulated memory: 820400 KiB
[startup+3582.3 s]
/proc/loadavg: 4.29 4.21 4.12 5/265 972163
/proc/meminfo: memFree=123459700/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=909116 memory=828796 CPUtime=3571.51 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 2657372 0 0 0 355643 1508 0 0 20 0 3 0 183985393 930934784 207199 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 227279 207199 2990 3032 0 211569 0
[pid=970212/tid=970214] ppid=970209 vsize=909116 memory=7676 CPUtime=3571.26 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 2655027 0 0 0 355624 1502 0 0 20 0 3 0 183985394 930934784 207199 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=909116 memory=826508 CPUtime=0.03 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 148 0 0 0 1 2 0 0 20 0 3 0 183985394 930934784 207199 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 3571.51 s
Current children cumulated vsize: 909116 KiB
Current children cumulated memory: 828796 KiB
[startup+3600.47 s]
# the end of solver process 970212 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3574.47 s, system=15.1655 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.29 4.21 4.12 5/265 972163
/proc/meminfo: memFree=123458804/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=909116 memory=828876 CPUtime=3573.21 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 2657460 0 0 0 355813 1508 0 0 20 0 3 0 183985393 930934784 207219 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 227279 207219 2990 3032 0 211569 0
[pid=970212/tid=970214] ppid=970209 vsize=909116 memory=11536 CPUtime=3572.97 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 2655115 0 0 0 355794 1503 0 0 20 0 3 0 183985394 930934784 207219 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=909116 memory=6720666549511930226 CPUtime=0.03 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 148 0 0 0 1 2 0 0 20 0 3 0 183985394 930934784 207219 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 3573.21 s
Current children cumulated vsize: 909116 KiB
Current children cumulated memory: 828876 KiB
[startup+3590.4 s]
/proc/loadavg: 4.25 4.20 4.11 5/265 972213
/proc/meminfo: memFree=124102896/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=909116 memory=829012 CPUtime=3579.59 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 2657894 0 0 0 356448 1511 0 0 20 0 3 0 183985393 930934784 207253 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 227279 207253 2990 3032 0 211569 0
[pid=970212/tid=970214] ppid=970209 vsize=909116 memory=828644 CPUtime=3579.35 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 2655546 0 0 0 356429 1506 0 0 20 0 3 0 183985394 930934784 207253 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=909116 memory=7676 CPUtime=0.03 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 150 0 0 0 1 2 0 0 20 0 3 0 183985394 930934784 207253 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 3579.59 s
Current children cumulated vsize: 909116 KiB
Current children cumulated memory: 829012 KiB
[startup+3596.8 s]
/proc/loadavg: 4.23 4.20 4.11 5/265 972213
/proc/meminfo: memFree=124093136/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=921652 memory=829388 CPUtime=3585.97 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 2658067 0 0 0 357085 1512 0 0 20 0 3 0 183985393 943771648 207347 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 230413 207347 2990 3032 0 214703 0
[pid=970212/tid=970214] ppid=970209 vsize=921652 memory=27460 CPUtime=3585.73 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 2655719 0 0 0 357066 1507 0 0 20 0 3 0 183985394 943771648 207347 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=921652 memory=829012 CPUtime=0.03 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 150 0 0 0 1 2 0 0 20 0 3 0 183985394 943771648 207347 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 3585.97 s
Current children cumulated vsize: 921652 KiB
Current children cumulated memory: 829388 KiB
[startup+3598.4 s]
/proc/loadavg: 4.23 4.20 4.11 5/265 972213
/proc/meminfo: memFree=124087308/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=921652 memory=829388 CPUtime=3587.56 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 2658102 0 0 0 357244 1512 0 0 20 0 3 0 183985393 943771648 207347 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 230413 207347 2990 3032 0 214703 0
[pid=970212/tid=970214] ppid=970209 vsize=921652 memory=27460 CPUtime=3587.32 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 2655754 0 0 0 357225 1507 0 0 20 0 3 0 183985394 943771648 207347 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=921652 memory=2640 CPUtime=0.03 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 150 0 0 0 1 2 0 0 20 0 3 0 183985394 943771648 207347 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 3587.56 s
Current children cumulated vsize: 921652 KiB
Current children cumulated memory: 829388 KiB
[startup+3599.2 s]
/proc/loadavg: 4.23 4.20 4.11 5/265 972213
/proc/meminfo: memFree=124084336/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=921652 memory=831532 CPUtime=3588.36 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 2658171 0 0 0 357323 1513 0 0 20 0 3 0 183985393 943771648 207883 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 230413 207883 2990 3032 0 214703 0
[pid=970212/tid=970214] ppid=970209 vsize=921652 memory=829388 CPUtime=3588.11 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 2655823 0 0 0 357304 1507 0 0 20 0 3 0 183985394 943771648 207883 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=921652 memory=27460 CPUtime=0.03 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 150 0 0 0 1 2 0 0 20 0 3 0 183985394 943771648 207883 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 3588.36 s
Current children cumulated vsize: 921652 KiB
Current children cumulated memory: 831532 KiB
[startup+3600 s]*
/proc/loadavg: 4.21 4.20 4.11 5/265 972214
/proc/meminfo: memFree=124080640/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=921652 memory=831532 CPUtime=3589.17 cores=1,3
/proc/970212/stat : 970212 (fscip) R 970209 970212 968454 0 -1 1077936128 2658804 0 0 0 357403 1514 0 0 20 0 3 0 183985393 943771648 207883 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 230413 207883 2990 3032 0 214703 0
[pid=970212/tid=970214] ppid=970209 vsize=921652 memory=21604 CPUtime=3588.92 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 2656452 0 0 0 357384 1508 0 0 20 0 3 0 183985394 943771648 207883 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=921652 memory=27756 CPUtime=0.03 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 150 0 0 0 1 2 0 0 20 0 3 0 183985394 943771648 207883 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 3589.17 s
Current children cumulated vsize: 921652 KiB
Current children cumulated memory: 831532 KiB
[startup+3600.4 s]
/proc/loadavg: 4.21 4.20 4.11 5/265 972214
/proc/meminfo: memFree=124080640/131524600 swapFree=130798872/131071996
[pid=970212] ppid=970209 vsize=858208 memory=768088 CPUtime=3589.55 cores=1,3
/proc/970212/stat : 970212 (fscip) S 970209 970212 968454 0 -1 1077936128 2660144 0 0 0 357441 1514 0 0 20 0 3 0 183985393 878804992 192022 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
/proc/970212/statm: 214552 192022 2990 3032 0 198842 0
[pid=970212/tid=970214] ppid=970209 vsize=858208 memory=2720 CPUtime=3589.31 cores=1,3
/proc/970212/task/970214/stat : 970214 (fscip) R 970209 970212 968454 0 -1 4194368 2657789 0 0 0 357422 1509 0 0 20 0 3 0 183985394 878804992 192022 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
[pid=970212/tid=970215] ppid=970209 vsize=858208 memory=4592 CPUtime=0.03 cores=1,3
/proc/970212/task/970215/stat : 970215 (fscip) S 970209 970212 968454 0 -1 1077936192 150 0 0 0 1 2 0 0 20 0 3 0 183985394 878804992 192022 134679101440 4194304 16613245 140722304070384 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 43499520 140722304074772 140722304074888 140722304074888 140722304081904 0
Current children cumulated CPU time: 3589.55 s
Current children cumulated vsize: 858208 KiB
Current children cumulated memory: 768088 KiB
Child status: 0
Real time (s): 3600.47
CPU time (s): 3589.64
CPU user time (s): 3574.47
CPU system time (s): 15.1655
CPU usage (%): 99.6991
Max. virtual memory (cumulated for all children) (KiB): 921652
Max. memory (cumulated for all children) (KiB): 831532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.47
system time used= 15.1655
maximum resident set size= 831532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2660333
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= 10839
involuntary context switches= 3557
# summary of solver processes directly reported to runsolver:
# pid: 970212
# total CPU time (s): 3589.64
# total CPU user time (s): 3574.47
# total CPU system time (s): 15.1655
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05481 second user time and 17.2386 second system time
The end
Begin job on nodeC014 at 2024-07-18 17:57:55
IDJOB=4445090
IDBENCH=148099
IDSOLVER=3064
FILE ID=nodeC014/4445090-1721318262
RUNJOBID= nodeC014-1721318012-968466
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-prob7.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-4445090-1721318262/watcher-4445090-1721318262 -o /tmp/evaluation-result-4445090-1721318262/solver-4445090-1721318262 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968466 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445090-1721318262.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0da7938cd78b604d95ed37ad5ec78200
RANDOM SEED=1161271841
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 : 3670.803
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 : 3673.343
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 : 3599.830
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 : 3665.207
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 : 3670.763
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 : 3671.055
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.928
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 : 3600.070
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: 126591420 kB
MemAvailable: 129858288 kB
Buffers: 443444 kB
Cached: 3627156 kB
SwapCached: 12904 kB
Active: 1372464 kB
Inactive: 2975212 kB
Active(anon): 9308 kB
Inactive(anon): 288228 kB
Active(file): 1363156 kB
Inactive(file): 2686984 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130798872 kB
Dirty: 84916 kB
Writeback: 0 kB
AnonPages: 268248 kB
Mapped: 85168 kB
Shmem: 20452 kB
KReclaimable: 112752 kB
Slab: 210796 kB
SReclaimable: 112752 kB
SUnreclaim: 98044 kB
KernelStack: 4240 kB
PageTables: 10188 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 798628 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 35168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 36864 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 232148 kB
DirectMap2M: 25755648 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC014 at 2024-07-18 18:57:56