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 = 22396928, getVmSize() = 22396928, SCIPgetMemUsed() = 757289, SCIPgetMemTotal() = 904433, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 15731370, getVmSize() = 24797184, SCIPgetMemUsed() = 1450003, SCIPgetMemTotal() = 2250963, 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-4445180-1721321238
0.00/0.00 c Variables : 82 (82 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 80 (80 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 13
0.00/0.00 c Constraints : Number
0.00/0.00 c setppc : 10
0.00/0.00 c linear : 2
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.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
4.98/5.08 c 5 51322 3452 1 - 0.0000 -
10.05/10.13 c 10 103324 7584 1 - 0.0000 -
15.04/15.18 c 15 147070 11720 1 - 0.0000 -
20.11/20.22 c 20 190022 14541 1 - 0.0000 -
25.09/25.27 c 25 235690 17963 1 - 0.0000 -
30.17/30.32 c 30 280562 22100 1 - 0.0000 -
35.14/35.37 c 35 323970 25671 1 - 0.0000 -
40.22/40.42 c 40 368910 29302 1 - 0.0000 -
45.20/45.47 c 45 414063 33054 1 - 0.0000 -
50.27/50.52 c 51 457840 36411 1 - 0.0000 -
55.25/55.57 c 56 501257 40512 1 - 0.0000 -
60.33/60.62 c 61 541933 45245 1 - 0.0000 -
65.31/65.66 c 66 586340 48592 1 - 0.0000 -
70.38/70.71 c 71 629008 51631 1 - 0.0000 -
75.37/75.77 c 76 674997 55968 1 - 0.0000 -
80.44/80.82 c 81 723195 59964 1 - 0.0000 -
85.43/85.87 c 86 769362 63125 1 - 0.0000 -
90.50/90.92 c 91 823862 67491 1 - 0.0000 -
95.48/95.97 c 96 863896 69515 1 - 0.0000 -
100.56/101.02 c 101 909050 73159 1 - 0.0000 -
105.53/106.07 c 106 957433 76832 1 - 0.0000 -
110.61/111.12 c 111 1004249 79864 1 - 0.0000 -
115.59/116.17 c 116 1040057 82236 1 - 0.0000 -
120.66/121.22 c 121 1084044 84897 1 - 0.0000 -
125.64/126.27 c 126 1125342 87805 1 - 0.0000 -
130.72/131.32 c 131 1165944 90044 1 - 0.0000 -
135.70/136.37 c 136 1209524 93715 1 - 0.0000 -
140.77/141.42 c 141 1253896 97457 1 - 0.0000 -
145.75/146.48 c 146 1296879 101393 1 - 0.0000 -
150.83/151.54 c 152 1340797 105452 1 - 0.0000 -
155.82/156.58 c 157 1380401 108270 1 - 0.0000 -
160.89/161.63 c 162 1422299 110387 1 - 0.0000 -
165.87/166.68 c 167 1464157 112870 1 - 0.0000 -
170.94/171.73 c 172 1510378 115367 1 - 0.0000 -
175.93/176.78 c 177 1551750 117926 1 - 0.0000 -
181.00/181.83 c 182 1595756 120362 1 - 0.0000 -
185.98/186.88 c 187 1636672 122958 1 - 0.0000 -
191.06/191.93 c 192 1674524 124915 1 - 0.0000 -
196.04/196.98 c 197 1719011 127421 1 - 0.0000 -
201.12/202.03 c 202 1758744 129878 1 - 0.0000 -
206.10/207.10 c 207 1792953 133333 1 - 0.0000 -
211.18/212.15 c 212 1823949 137274 1 - 0.0000 -
216.25/217.20 c 217 1857189 141083 1 - 0.0000 -
221.23/222.25 c 222 1889505 144791 1 - 0.0000 -
226.31/227.36 c 227 1919602 147827 1 - 0.0000 -
231.38/232.41 c 232 1949922 151006 1 - 0.0000 -
236.36/237.46 c 237 1979938 154155 1 - 0.0000 -
241.44/242.51 c 243 2011849 156734 1 - 0.0000 -
246.41/247.56 c 248 2041437 159090 1 - 0.0000 -
251.49/252.64 c 253 2070967 162217 1 - 0.0000 -
256.47/257.68 c 258 2098577 165228 1 - 0.0000 -
261.56/262.73 c 263 2133929 169178 1 - 0.0000 -
266.53/267.78 c 268 2166296 173925 1 - 0.0000 -
271.61/272.83 c 273 2201025 177288 1 - 0.0000 -
276.59/277.88 c 278 2228421 181592 1 - 0.0000 -
281.67/282.93 c 283 2260792 184989 1 - 0.0000 -
286.64/287.98 c 288 2294307 187027 1 - 0.0000 -
291.72/293.03 c 293 2326286 189910 1 - 0.0000 -
296.71/298.09 c 298 2357176 192782 1 - 0.0000 -
301.78/303.14 c 303 2394541 194811 1 - 0.0000 -
306.76/308.19 c 308 2422926 197312 1 - 0.0000 -
311.83/313.24 c 313 2454540 199243 1 - 0.0000 -
316.81/318.29 c 318 2487521 201471 1 - 0.0000 -
321.88/323.34 c 323 2521105 202992 1 - 0.0000 -
326.86/328.39 c 328 2551348 205134 1 - 0.0000 -
331.93/333.44 c 333 2591065 206965 1 - 0.0000 -
336.92/338.49 c 338 2630545 209298 1 - 0.0000 -
341.99/343.54 c 344 2670773 212902 1 - 0.0000 -
347.08/348.60 c 349 2711724 216055 1 - 0.0000 -
352.16/353.79 c 354 2743849 219746 1 - 0.0000 -
357.23/358.84 c 359 2786818 224209 1 - 0.0000 -
362.31/363.90 c 364 2828241 228106 1 - 0.0000 -
367.30/368.94 c 369 2874829 230680 1 - 0.0000 -
372.27/373.99 c 374 2920456 233993 1 - 0.0000 -
377.35/379.06 c 379 2967551 235804 1 - 0.0000 -
382.43/384.12 c 384 3013531 237866 1 - 0.0000 -
387.51/389.22 c 389 3047529 241172 1 - 0.0000 -
392.49/394.28 c 394 3079126 244631 1 - 0.0000 -
397.56/399.32 c 399 3116068 247641 1 - 0.0000 -
402.54/404.37 c 404 3154005 250192 1 - 0.0000 -
407.62/409.42 c 409 3195050 253131 1 - 0.0000 -
412.60/414.47 c 414 3233843 255317 1 - 0.0000 -
417.68/419.52 c 420 3275911 256363 1 - 0.0000 -
422.66/424.57 c 425 3318975 257209 1 - 0.0000 -
427.73/429.65 c 430 3361276 258408 1 - 0.0000 -
432.82/434.70 c 435 3402557 259037 1 - 0.0000 -
437.79/439.76 c 440 3445224 260636 1 - 0.0000 -
442.87/444.81 c 445 3479960 263168 1 - 0.0000 -
447.84/449.86 c 450 3504157 264725 1 - 0.0000 -
452.92/454.94 c 455 3520909 267416 1 - 0.0000 -
458.01/460.05 c 460 3535738 269777 1 - 0.0000 -
462.99/465.10 c 465 3554051 272306 1 - 0.0000 -
468.07/470.15 c 470 3573164 274504 1 - 0.0000 -
473.14/475.20 c 475 3589719 276408 1 - 0.0000 -
478.21/480.32 c 480 3604999 278097 1 - 0.0000 -
483.40/485.50 c 486 3616015 279792 1 - 0.0000 -
488.38/490.55 c 491 3633210 280797 1 - 0.0000 -
493.46/495.60 c 496 3650562 282725 1 - 0.0000 -
498.43/500.65 c 501 3668761 284388 1 - 0.0000 -
503.51/505.70 c 506 3690781 286190 1 - 0.0000 -
508.48/510.78 c 511 3712428 287487 1 - 0.0000 -
513.66/515.94 c 516 3731747 289646 1 - 0.0000 -
518.64/520.99 c 521 3764565 291185 1 - 0.0000 -
523.72/526.04 c 526 3797001 292749 1 - 0.0000 -
528.80/531.17 c 531 3822342 294767 1 - 0.0000 -
533.88/536.28 c 536 3850768 295899 1 - 0.0000 -
538.95/541.33 c 541 3893121 297372 1 - 0.0000 -
544.03/546.42 c 546 3910363 298959 1 - 0.0000 -
549.11/551.54 c 552 3940299 300381 1 - 0.0000 -
554.19/556.67 c 557 3954495 302229 1 - 0.0000 -
559.27/561.72 c 562 3971764 303826 1 - 0.0000 -
564.35/566.82 c 567 3991551 304940 1 - 0.0000 -
569.42/571.90 c 572 4019594 305811 1 - 0.0000 -
574.41/576.97 c 577 4045631 306970 1 - 0.0000 -
579.49/582.02 c 582 4074485 308390 1 - 0.0000 -
584.47/587.07 c 587 4092311 310614 1 - 0.0000 -
589.64/592.22 c 592 4123381 313662 1 - 0.0000 -
594.72/597.33 c 597 4162445 315660 1 - 0.0000 -
599.80/602.44 c 602 4200456 316835 1 - 0.0000 -
604.89/607.50 c 608 4244917 318580 1 - 0.0000 -
609.86/612.55 c 613 4280054 318505 1 - 0.0000 -
614.93/617.60 c 618 4314740 318757 1 - 0.0000 -
619.91/622.65 c 623 4340536 319714 1 - 0.0000 -
625.00/627.70 c 628 4357171 320670 1 - 0.0000 -
629.97/632.76 c 633 4373721 322077 1 - 0.0000 -
635.15/637.90 c 638 4396913 323333 1 - 0.0000 -
640.13/642.96 c 643 4429567 326099 1 - 0.0000 -
645.22/648.07 c 648 4462969 327307 1 - 0.0000 -
650.29/653.12 c 653 4493515 329311 1 - 0.0000 -
655.37/658.20 c 658 4538428 331282 1 - 0.0000 -
660.45/663.34 c 663 4563349 332497 1 - 0.0000 -
665.53/668.42 c 668 4589511 334729 1 - 0.0000 -
670.51/673.47 c 673 4622301 336313 1 - 0.0000 -
675.69/678.61 c 679 4657855 338019 1 - 0.0000 -
680.67/683.69 c 684 4684118 339886 1 - 0.0000 -
685.75/688.75 c 689 4709251 342205 1 - 0.0000 -
690.82/693.81 c 694 4737020 343976 1 - 0.0000 -
695.90/698.99 c 699 4763062 344950 1 - 0.0000 -
700.99/704.10 c 704 4798375 346783 1 - 0.0000 -
706.07/709.16 c 709 4826175 347695 1 - 0.0000 -
711.14/714.23 c 714 4848522 347098 1 - 0.0000 -
716.21/719.30 c 719 4877999 350179 1 - 0.0000 -
721.30/724.45 c 724 4900772 354146 1 - 0.0000 -
726.37/729.50 c 730 4939163 358217 1 - 0.0000 -
731.35/734.59 c 735 4970284 361938 1 - 0.0000 -
736.43/739.66 c 740 4999261 365353 1 - 0.0000 -
741.71/744.94 c 745 5021701 368227 1 - 0.0000 -
746.79/750.08 c 750 5050605 371498 1 - 0.0000 -
751.88/755.12 c 755 5084451 374771 1 - 0.0000 -
756.87/760.17 c 760 5115784 377918 1 - 0.0000 -
762.13/765.43 c 765 5144489 381814 1 - 0.0000 -
767.42/770.70 c 771 5173982 385740 1 - 0.0000 -
772.50/775.87 c 776 5197194 388337 1 - 0.0000 -
777.79/781.13 c 781 5223133 391852 1 - 0.0000 -
782.86/786.21 c 786 5250436 395111 1 - 0.0000 -
787.95/791.31 c 791 5284633 399162 1 - 0.0000 -
792.92/796.36 c 796 5316227 403300 1 - 0.0000 -
798.21/801.68 c 802 5348124 407489 1 - 0.0000 -
803.29/806.74 c 807 5380764 411355 1 - 0.0000 -
808.27/811.79 c 812 5417696 415620 1 - 0.0000 -
813.46/816.96 c 817 5451385 420010 1 - 0.0000 -
818.55/822.01 c 822 5481362 423962 1 - 0.0000 -
823.72/827.26 c 827 5509637 427119 1 - 0.0000 -
828.81/832.34 c 832 5535499 429951 1 - 0.0000 -
833.79/837.39 c 837 5561184 432558 1 - 0.0000 -
838.97/842.51 c 843 5593763 435997 1 - 0.0000 -
844.05/847.60 c 848 5618492 438606 1 - 0.0000 -
849.03/852.65 c 853 5648598 441960 1 - 0.0000 -
854.11/857.70 c 858 5686081 445731 1 - 0.0000 -
859.10/862.77 c 863 5719608 448637 1 - 0.0000 -
864.38/868.04 c 868 5754473 451868 1 - 0.0000 -
869.47/873.12 c 873 5788640 455359 1 - 0.0000 -
874.54/878.26 c 878 5823432 459343 1 - 0.0000 -
879.62/883.37 c 883 5860429 463204 1 - 0.0000 -
884.70/888.45 c 888 5896169 466626 1 - 0.0000 -
889.78/893.55 c 894 5924056 469979 1 - 0.0000 -
894.87/898.65 c 899 5957771 473941 1 - 0.0000 -
900.05/903.81 c 904 5994932 478756 1 - 0.0000 -
905.03/908.86 c 909 6030956 481742 1 - 0.0000 -
910.22/914.05 c 914 6055135 484323 1 - 0.0000 -
915.30/919.17 c 919 6085354 487216 1 - 0.0000 -
920.58/924.45 c 924 6113601 489953 1 - 0.0000 -
925.75/929.63 c 930 6139422 492498 1 - 0.0000 -
930.74/934.67 c 935 6164334 495204 1 - 0.0000 -
935.92/939.82 c 940 6191773 497896 1 - 0.0000 -
941.11/945.04 c 945 6218249 500559 1 - 0.0000 -
946.08/950.08 c 950 6244974 503383 1 - 0.0000 -
951.17/955.16 c 955 6271808 505877 1 - 0.0000 -
956.35/960.35 c 960 6304275 508932 1 - 0.0000 -
961.43/965.41 c 965 6333216 511835 1 - 0.0000 -
966.51/970.57 c 971 6357972 514566 1 - 0.0000 -
971.59/975.62 c 976 6387037 517517 1 - 0.0000 -
976.67/980.70 c 981 6416799 520322 1 - 0.0000 -
981.65/985.79 c 986 6445185 523092 1 - 0.0000 -
986.74/990.86 c 991 6474488 525550 1 - 0.0000 -
991.82/995.99 c 996 6499913 528083 1 - 0.0000 -
996.91/1001.05 c 1001 6528626 530896 1 - 0.0000 -
1001.99/1006.19 c 1006 6555753 533520 1 - 0.0000 -
1007.06/1011.25 c 1011 6586778 536810 1 - 0.0000 -
1012.14/1016.30 c 1016 6615604 539758 1 - 0.0000 -
1017.12/1021.36 c 1021 6645660 542968 1 - 0.0000 -
1022.30/1026.55 c 1027 6677832 546232 1 - 0.0000 -
1027.29/1031.59 c 1032 6707147 549054 1 - 0.0000 -
1032.38/1036.69 c 1037 6733429 552019 1 - 0.0000 -
1037.46/1041.74 c 1042 6767019 555443 1 - 0.0000 -
1042.44/1046.79 c 1047 6804784 559413 1 - 0.0000 -
1047.52/1051.86 c 1052 6836252 563367 1 - 0.0000 -
1052.60/1056.97 c 1057 6872109 567648 1 - 0.0000 -
1058.09/1062.42 c 1062 6894596 570309 1 - 0.0000 -
1063.07/1067.46 c 1067 6927740 573993 1 - 0.0000 -
1068.16/1072.51 c 1073 6959800 577175 1 - 0.0000 -
1073.24/1077.61 c 1078 6994671 580280 1 - 0.0000 -
1078.33/1082.72 c 1083 7027424 582981 1 - 0.0000 -
1083.41/1087.88 c 1088 7059852 586248 1 - 0.0000 -
1088.59/1093.05 c 1093 7090514 588959 1 - 0.0000 -
1093.68/1098.18 c 1098 7124421 592258 1 - 0.0000 -
1098.76/1103.26 c 1103 7158257 595965 1 - 0.0000 -
1103.95/1108.41 c 1108 7187587 599143 1 - 0.0000 -
1109.53/1114.02 c 1114 7210475 601363 1 - 0.0000 -
1114.81/1119.30 c 1119 7231848 603522 1 - 0.0000 -
1119.99/1124.58 c 1125 7260461 606297 1 - 0.0000 -
1125.07/1129.63 c 1130 7286873 608509 1 - 0.0000 -
1130.06/1134.68 c 1135 7312250 610580 1 - 0.0000 -
1135.15/1139.78 c 1140 7339821 612874 1 - 0.0000 -
1140.23/1144.83 c 1145 7366520 615195 1 - 0.0000 -
1145.42/1150.04 c 1150 7397349 617792 1 - 0.0000 -
1150.70/1155.34 c 1155 7429358 620670 1 - 0.0000 -
1155.68/1160.38 c 1160 7462553 624194 1 - 0.0000 -
1160.87/1165.50 c 1166 7492830 627326 1 - 0.0000 -
1166.05/1170.77 c 1171 7530008 630792 1 - 0.0000 -
1171.13/1175.89 c 1176 7560879 633998 1 - 0.0000 -
1176.42/1181.19 c 1181 7592704 636525 1 - 0.0000 -
1181.50/1186.24 c 1186 7622893 639506 1 - 0.0000 -
1186.48/1191.29 c 1191 7658009 642513 1 - 0.0000 -
1191.77/1196.53 c 1197 7691071 645983 1 - 0.0000 -
1196.95/1201.72 c 1202 7721338 649592 1 - 0.0000 -
1202.03/1206.81 c 1207 7752194 653320 1 - 0.0000 -
1207.22/1212.01 c 1212 7785607 656600 1 - 0.0000 -
1212.50/1217.35 c 1217 7811584 659871 1 - 0.0000 -
1217.69/1222.51 c 1223 7838907 662470 1 - 0.0000 -
1222.67/1227.57 c 1228 7867751 665299 1 - 0.0000 -
1228.05/1232.91 c 1233 7904593 668664 1 - 0.0000 -
1233.14/1238.00 c 1238 7939808 672310 1 - 0.0000 -
1238.23/1243.13 c 1243 7970991 675327 1 - 0.0000 -
1243.30/1248.29 c 1248 8006071 678130 1 - 0.0000 -
1248.38/1253.33 c 1253 8043382 681065 1 - 0.0000 -
1253.47/1258.41 c 1258 8077479 683905 1 - 0.0000 -
1258.46/1263.46 c 1263 8112721 686888 1 - 0.0000 -
1263.53/1268.51 c 1269 8150694 689893 1 - 0.0000 -
1268.52/1273.56 c 1274 8183316 694088 1 - 0.0000 -
1273.60/1278.65 c 1279 8213111 696718 1 - 0.0000 -
1278.69/1283.70 c 1284 8245098 699012 1 - 0.0000 -
1283.67/1288.75 c 1289 8277021 702349 1 - 0.0000 -
1288.75/1293.89 c 1294 8312660 706051 1 - 0.0000 -
1293.84/1298.98 c 1299 8345326 709303 1 - 0.0000 -
1298.92/1304.04 c 1304 8379541 712050 1 - 0.0000 -
1304.00/1309.15 c 1309 8411181 714736 1 - 0.0000 -
1308.99/1314.19 c 1314 8451647 717780 1 - 0.0000 -
1314.17/1319.38 c 1319 8484777 720401 1 - 0.0000 -
1319.35/1324.57 c 1325 8518431 722669 1 - 0.0000 -
1324.53/1329.72 c 1330 8551625 724753 1 - 0.0000 -
1329.52/1334.78 c 1335 8587713 727537 1 - 0.0000 -
1334.60/1339.82 c 1340 8623983 730442 1 - 0.0000 -
1339.89/1345.11 c 1345 8650814 732576 1 - 0.0000 -
1344.97/1350.20 c 1350 8682541 735084 1 - 0.0000 -
1350.05/1355.34 c 1355 8719683 738285 1 - 0.0000 -
1355.13/1360.45 c 1360 8751517 740419 1 - 0.0000 -
1360.21/1365.50 c 1366 8789710 743210 1 - 0.0000 -
1365.20/1370.55 c 1371 8825675 745962 1 - 0.0000 -
1370.28/1375.60 c 1376 8860538 748848 1 - 0.0000 -
1375.26/1380.65 c 1381 8903248 752452 1 - 0.0000 -
1380.44/1385.80 c 1386 8940628 755926 1 - 0.0000 -
1385.43/1390.85 c 1391 8968117 759081 1 - 0.0000 -
1390.72/1396.18 c 1396 8997101 762672 1 - 0.0000 -
1395.79/1401.26 c 1401 9030539 765962 1 - 0.0000 -
1400.88/1406.37 c 1406 9064333 769277 1 - 0.0000 -
1405.97/1411.42 c 1411 9099990 772295 1 - 0.0000 -
1411.25/1416.75 c 1417 9141429 775930 1 - 0.0000 -
1416.43/1421.94 c 1422 9181786 778831 1 - 0.0000 -
1421.62/1427.17 c 1427 9229320 782488 1 - 0.0000 -
1426.69/1432.22 c 1432 9284152 785118 1 - 0.0000 -
1432.17/1437.73 c 1438 9332331 789243 1 - 0.0000 -
1437.26/1442.86 c 1443 9364548 791772 1 - 0.0000 -
1442.64/1448.27 c 1448 9396331 794657 1 - 0.0000 -
1447.82/1453.43 c 1453 9436081 798327 1 - 0.0000 -
1452.91/1458.50 c 1459 9474341 802338 1 - 0.0000 -
1458.10/1463.75 c 1464 9515279 806695 1 - 0.0000 -
1463.28/1468.94 c 1469 9545220 809438 1 - 0.0000 -
1468.36/1474.00 c 1474 9591583 812694 1 - 0.0000 -
1473.54/1479.28 c 1479 9640151 815705 1 - 0.0000 -
1478.72/1484.49 c 1484 9673265 818313 1 - 0.0000 -
1484.01/1489.79 c 1490 9718365 821280 1 - 0.0000 -
1489.09/1494.84 c 1495 9762031 824954 1 - 0.0000 -
1494.28/1500.10 c 1500 9810685 829268 1 - 0.0000 -
1499.46/1505.20 c 1505 9859156 833062 1 - 0.0000 -
1504.45/1510.27 c 1510 9903181 836726 1 - 0.0000 -
1509.52/1515.32 c 1515 9937120 839660 1 - 0.0000 -
1514.61/1520.43 c 1520 9975455 843101 1 - 0.0000 -
1519.60/1525.48 c 1525 10009823 845779 1 - 0.0000 -
1524.78/1530.60 c 1531 10061303 849687 1 - 0.0000 -
1529.85/1535.72 c 1536 10089460 852624 1 - 0.0000 -
1535.04/1540.97 c 1541 10129089 855869 1 - 0.0000 -
1540.22/1546.13 c 1546 10151276 858632 1 - 0.0000 -
1545.20/1551.18 c 1551 10184010 862394 1 - 0.0000 -
1550.27/1556.23 c 1556 10221514 865876 1 - 0.0000 -
1555.36/1561.30 c 1561 10255374 868340 1 - 0.0000 -
1560.44/1566.40 c 1566 10294802 870852 1 - 0.0000 -
1565.91/1571.99 c 1572 10323096 873717 1 - 0.0000 -
1571.19/1577.21 c 1577 10361272 876454 1 - 0.0000 -
1576.37/1582.43 c 1582 10399538 879168 1 - 0.0000 -
1581.44/1587.51 c 1588 10434346 882059 1 - 0.0000 -
1586.53/1592.65 c 1593 10468423 887136 1 - 0.0000 -
1591.61/1597.76 c 1598 10503787 889678 1 - 0.0000 -
1596.67/1602.84 c 1603 10552269 892904 1 - 0.0000 -
1601.65/1607.89 c 1608 10590356 895380 1 - 0.0000 -
1606.74/1612.94 c 1613 10619424 899152 1 - 0.0000 -
1611.82/1618.01 c 1618 10654869 903324 1 - 0.0000 -
1616.90/1623.12 c 1623 10689520 906784 1 - 0.0000 -
1621.87/1628.17 c 1628 10729127 909822 1 - 0.0000 -
1626.95/1633.22 c 1633 10768978 912741 1 - 0.0000 -
1631.93/1638.27 c 1638 10791380 915724 1 - 0.0000 -
1637.21/1643.50 c 1644 10816640 919016 1 - 0.0000 -
1642.18/1648.55 c 1649 10846027 922215 1 - 0.0000 -
1647.25/1653.63 c 1654 10881585 926439 1 - 0.0000 -
1652.54/1658.96 c 1659 10909892 929318 1 - 0.0000 -
1657.72/1664.12 c 1664 10946537 932827 1 - 0.0000 -
1662.80/1669.20 c 1669 10981503 936374 1 - 0.0000 -
1668.07/1674.57 c 1675 11020030 940191 1 - 0.0000 -
1673.14/1679.62 c 1680 11061895 943419 1 - 0.0000 -
1678.22/1684.70 c 1685 11097164 946653 1 - 0.0000 -
1683.21/1689.75 c 1690 11132656 949947 1 - 0.0000 -
1688.29/1694.80 c 1695 11173820 953103 1 - 0.0000 -
1693.25/1699.87 c 1700 11218727 956135 1 - 0.0000 -
1698.63/1705.24 c 1705 11248212 958641 1 - 0.0000 -
1703.91/1710.51 c 1711 11279172 961844 1 - 0.0000 -
1709.19/1715.84 c 1716 11313373 965359 1 - 0.0000 -
1714.17/1720.88 c 1721 11339760 968232 1 - 0.0000 -
1719.25/1725.93 c 1726 11373508 970700 1 - 0.0000 -
1724.34/1731.00 c 1731 11406469 973396 1 - 0.0000 -
1729.61/1736.36 c 1736 11438672 976754 1 - 0.0000 -
1734.69/1741.47 c 1741 11473048 980934 1 - 0.0000 -
1739.76/1746.52 c 1747 11511087 986463 1 - 0.0000 -
1744.74/1751.57 c 1752 11554359 992751 1 - 0.0000 -
1749.82/1756.69 c 1757 11589951 996001 1 - 0.0000 -
1754.90/1761.74 c 1762 11622694 999224 1 - 0.0000 -
1760.07/1766.94 c 1767 11660366 1002756 1 - 0.0000 -
1765.26/1772.12 c 1772 11697168 1005516 1 - 0.0000 -
1770.24/1777.16 c 1777 11727531 1008692 1 - 0.0000 -
1775.41/1782.31 c 1782 11770232 1012211 1 - 0.0000 -
1780.39/1787.37 c 1787 11804307 1015709 1 - 0.0000 -
1785.56/1792.53 c 1793 11833187 1018492 1 - 0.0000 -
1790.65/1797.65 c 1798 11876880 1021852 1 - 0.0000 -
1795.73/1802.70 c 1803 11921066 1025602 1 - 0.0000 -
1800.70/1807.77 c 1808 11953468 1028330 1 - 0.0000 -
1805.78/1812.82 c 1813 11990793 1031537 1 - 0.0000 -
1811.16/1818.21 c 1818 12014308 1034709 1 - 0.0000 -
1816.34/1823.48 c 1823 12047008 1037657 1 - 0.0000 -
1821.41/1828.53 c 1829 12087796 1040573 1 - 0.0000 -
1826.48/1833.61 c 1834 12124252 1043131 1 - 0.0000 -
1831.47/1838.66 c 1839 12156704 1045766 1 - 0.0000 -
1836.64/1843.82 c 1844 12184417 1047933 1 - 0.0000 -
1841.62/1848.87 c 1849 12222959 1051039 1 - 0.0000 -
1846.70/1853.92 c 1854 12260505 1053897 1 - 0.0000 -
1851.68/1858.97 c 1859 12301584 1056954 1 - 0.0000 -
1856.76/1864.09 c 1864 12335271 1060206 1 - 0.0000 -
1861.93/1869.24 c 1869 12378684 1063701 1 - 0.0000 -
1867.01/1874.32 c 1874 12420186 1067562 1 - 0.0000 -
1872.09/1879.44 c 1879 12457909 1070914 1 - 0.0000 -
1877.27/1884.62 c 1885 12497391 1074550 1 - 0.0000 -
1882.84/1890.21 c 1890 12536268 1078549 1 - 0.0000 -
1887.91/1895.30 c 1895 12578158 1081731 1 - 0.0000 -
1892.90/1900.35 c 1900 12614896 1084916 1 - 0.0000 -
1898.18/1905.60 c 1906 12640989 1088027 1 - 0.0000 -
1903.26/1910.70 c 1911 12678510 1090811 1 - 0.0000 -
1908.54/1916.08 c 1916 12706046 1093220 1 - 0.0000 -
1913.90/1921.46 c 1921 12742491 1096921 1 - 0.0000 -
1919.09/1926.69 c 1927 12783957 1100370 1 - 0.0000 -
1924.36/1931.92 c 1932 12820767 1104075 1 - 0.0000 -
1929.34/1936.97 c 1937 12856888 1107244 1 - 0.0000 -
1934.52/1942.15 c 1942 12893141 1110769 1 - 0.0000 -
1939.59/1947.25 c 1947 12923800 1114186 1 - 0.0000 -
1944.68/1952.34 c 1952 12962059 1117598 1 - 0.0000 -
1949.65/1957.39 c 1957 13013000 1121435 1 - 0.0000 -
1954.83/1962.58 c 1963 13050266 1124787 1 - 0.0000 -
1960.20/1967.93 c 1968 13080823 1128027 1 - 0.0000 -
1965.18/1972.98 c 1973 13123010 1131222 1 - 0.0000 -
1970.26/1978.03 c 1978 13170438 1134360 1 - 0.0000 -
1975.34/1983.12 c 1983 13210854 1137262 1 - 0.0000 -
1980.32/1988.17 c 1988 13251768 1140615 1 - 0.0000 -
1985.39/1993.22 c 1993 13274683 1143208 1 - 0.0000 -
1990.47/1998.33 c 1998 13304035 1145947 1 - 0.0000 -
1995.55/2003.42 c 2003 13324482 1148832 1 - 0.0000 -
2000.53/2008.46 c 2008 13359838 1151882 1 - 0.0000 -
2005.60/2013.58 c 2014 13384403 1154779 1 - 0.0000 -
2010.78/2018.70 c 2019 13423486 1158194 1 - 0.0000 -
2015.86/2023.88 c 2024 13454016 1161174 1 - 0.0000 -
2021.04/2029.01 c 2029 13491243 1164963 1 - 0.0000 -
2026.32/2034.31 c 2034 13533949 1167953 1 - 0.0000 -
2031.50/2039.53 c 2040 13565877 1170207 1 - 0.0000 -
2036.49/2044.59 c 2045 13600086 1172878 1 - 0.0000 -
2041.67/2049.70 c 2050 13634063 1176662 1 - 0.0000 -
2047.46/2055.51 c 2056 13658068 1180091 1 - 0.0000 -
2052.74/2060.87 c 2061 13686813 1183994 1 - 0.0000 -
2057.82/2065.95 c 2066 13713920 1187273 1 - 0.0000 -
2063.21/2071.31 c 2071 13752725 1191520 1 - 0.0000 -
2068.19/2076.36 c 2076 13794491 1194640 1 - 0.0000 -
2073.37/2081.51 c 2082 13843772 1197867 1 - 0.0000 -
2078.46/2086.66 c 2087 13887480 1201298 1 - 0.0000 -
2083.54/2091.71 c 2092 13928182 1204316 1 - 0.0000 -
2088.93/2097.16 c 2097 13969951 1207737 1 - 0.0000 -
2094.01/2102.20 c 2102 14012948 1212850 1 - 0.0000 -
2099.09/2107.32 c 2107 14061200 1217126 1 - 0.0000 -
2104.38/2112.67 c 2113 14099248 1220322 1 - 0.0000 -
2109.46/2117.73 c 2118 14140664 1223386 1 - 0.0000 -
2114.74/2123.06 c 2123 14178728 1227714 1 - 0.0000 -
2120.02/2128.36 c 2128 14209836 1230621 1 - 0.0000 -
2125.20/2133.53 c 2134 14239298 1233787 1 - 0.0000 -
2130.39/2138.75 c 2139 14268132 1236278 1 - 0.0000 -
2135.47/2143.87 c 2144 14308853 1238972 1 - 0.0000 -
2141.05/2149.43 c 2149 14337523 1242170 1 - 0.0000 -
2146.14/2154.51 c 2155 14372484 1244786 1 - 0.0000 -
2151.23/2159.65 c 2160 14402801 1247573 1 - 0.0000 -
2156.81/2165.26 c 2165 14435551 1250983 1 - 0.0000 -
2161.89/2170.37 c 2170 14471448 1254194 1 - 0.0000 -
2167.07/2175.59 c 2176 14508198 1258244 1 - 0.0000 -
2172.56/2181.02 c 2181 14532843 1260781 1 - 0.0000 -
2177.64/2186.16 c 2186 14570311 1263885 1 - 0.0000 -
2182.72/2191.20 c 2191 14610214 1266812 1 - 0.0000 -
2187.80/2196.30 c 2196 14646640 1270216 1 - 0.0000 -
2192.79/2201.35 c 2201 14686250 1272309 1 - 0.0000 -
2197.87/2206.42 c 2206 14724047 1274751 1 - 0.0000 -
2202.85/2211.47 c 2211 14764396 1278347 1 - 0.0000 -
2207.94/2216.57 c 2217 14798562 1281147 1 - 0.0000 -
2213.01/2221.67 c 2222 14841906 1282968 1 - 0.0000 -
2218.10/2226.79 c 2227 14876033 1284833 1 - 0.0000 -
2223.18/2231.84 c 2232 14915003 1287632 1 - 0.0000 -
2228.37/2237.07 c 2237 14950241 1290892 1 - 0.0000 -
2233.95/2242.69 c 2243 14987936 1293823 1 - 0.0000 -
2239.03/2247.75 c 2248 15034490 1297435 1 - 0.0000 -
2244.32/2253.04 c 2253 15074860 1301066 1 - 0.0000 -
2249.60/2258.37 c 2258 15112499 1303938 1 - 0.0000 -
2254.78/2263.51 c 2264 15149857 1306959 1 - 0.0000 -
2259.76/2268.58 c 2269 15182281 1310366 1 - 0.0000 -
2264.95/2273.72 c 2274 15211853 1313665 1 - 0.0000 -
2270.43/2279.29 c 2279 15249245 1317202 1 - 0.0000 -
2275.51/2284.34 c 2284 15294728 1321306 1 - 0.0000 -
2280.50/2289.39 c 2289 15334023 1323836 1 - 0.0000 -
2286.08/2294.96 c 2295 15371880 1327187 1 - 0.0000 -
2291.16/2300.01 c 2300 15402073 1329848 1 - 0.0000 -
2296.15/2305.08 c 2305 15441787 1333159 1 - 0.0000 -
2301.23/2310.13 c 2310 15481119 1336104 1 - 0.0000 -
2306.21/2315.18 c 2315 15515352 1339159 1 - 0.0000 -
2311.29/2320.23 c 2320 15544357 1342124 1 - 0.0000 -
2316.47/2325.42 c 2325 15583453 1345506 1 - 0.0000 -
2321.46/2330.47 c 2330 15623085 1348954 1 - 0.0000 -
2326.65/2335.68 c 2336 15664722 1352322 1 - 0.0000 -
2331.82/2340.80 c 2341 15705740 1356207 1 - 0.0000 -
2337.40/2346.40 c 2346 15734507 1358362 1 - 0.0000 -
2342.39/2351.45 c 2351 15778693 1361726 1 - 0.0000 -
2347.68/2356.74 c 2357 15815855 1365020 1 - 0.0000 -
2352.65/2361.79 c 2362 15857848 1368172 1 - 0.0000 -
2357.74/2366.84 c 2367 15898600 1371249 1 - 0.0000 -
2362.92/2372.07 c 2372 15935124 1374507 1 - 0.0000 -
2368.00/2377.19 c 2377 15978412 1378085 1 - 0.0000 -
2373.39/2382.55 c 2383 16018754 1381398 1 - 0.0000 -
2378.67/2387.89 c 2388 16052834 1384220 1 - 0.0000 -
2383.75/2392.93 c 2393 16084693 1387153 1 - 0.0000 -
2389.04/2398.24 c 2398 16104604 1389120 1 - 0.0000 -
2394.22/2403.46 c 2403 16130517 1391806 1 - 0.0000 -
2399.30/2408.58 c 2409 16154065 1394472 1 - 0.0000 -
2404.89/2414.18 c 2414 16182650 1397757 1 - 0.0000 -
2410.07/2419.32 c 2419 16221549 1402196 1 - 0.0000 -
2415.55/2424.81 c 2425 16257361 1406072 1 - 0.0000 -
2420.74/2430.05 c 2430 16290188 1409258 1 - 0.0000 -
2426.42/2435.78 c 2436 16322381 1412082 1 - 0.0000 -
2432.20/2441.51 c 2442 16349597 1415902 1 - 0.0000 -
2437.69/2447.02 c 2447 16382340 1419023 1 - 0.0000 -
2442.68/2452.07 c 2452 16408330 1421737 1 - 0.0000 -
2448.05/2457.43 c 2457 16438193 1424889 1 - 0.0000 -
2453.64/2463.07 c 2463 16476872 1428572 1 - 0.0000 -
2458.81/2468.29 c 2468 16509531 1432157 1 - 0.0000 -
2464.30/2473.76 c 2474 16548364 1435919 1 - 0.0000 -
2469.58/2479.10 c 2479 16576823 1440048 1 - 0.0000 -
2475.36/2484.86 c 2485 16603912 1443911 1 - 0.0000 -
2480.44/2489.91 c 2490 16644869 1448506 1 - 0.0000 -
2485.93/2495.43 c 2495 16675353 1451984 1 - 0.0000 -
2491.21/2500.70 c 2501 16705406 1455153 1 - 0.0000 -
2496.20/2505.75 c 2506 16743980 1459512 1 - 0.0000 -
2501.28/2510.82 c 2511 16780690 1462707 1 - 0.0000 -
2506.27/2515.87 c 2516 16822620 1464491 1 - 0.0000 -
2511.56/2521.14 c 2521 16861825 1465808 1 - 0.0000 -
2516.53/2526.19 c 2526 16899110 1468990 1 - 0.0000 -
2522.01/2531.63 c 2532 16933009 1472121 1 - 0.0000 -
2526.99/2536.67 c 2537 16971183 1475479 1 - 0.0000 -
2532.77/2542.40 c 2542 17007524 1479038 1 - 0.0000 -
2537.76/2547.49 c 2548 17048044 1482789 1 - 0.0000 -
2543.15/2552.89 c 2553 17074747 1485639 1 - 0.0000 -
2548.23/2557.95 c 2558 17116078 1489251 1 - 0.0000 -
2553.51/2563.21 c 2563 17157982 1492632 1 - 0.0000 -
2558.69/2568.42 c 2568 17197221 1496303 1 - 0.0000 -
2563.88/2573.60 c 2574 17227441 1499997 1 - 0.0000 -
2569.56/2579.37 c 2579 17264857 1504035 1 - 0.0000 -
2574.64/2584.45 c 2584 17305152 1508877 1 - 0.0000 -
2579.73/2589.50 c 2590 17342031 1512938 1 - 0.0000 -
2584.81/2594.65 c 2595 17386126 1516553 1 - 0.0000 -
2589.89/2599.70 c 2600 17424733 1519479 1 - 0.0000 -
2594.87/2604.75 c 2605 17447422 1522439 1 - 0.0000 -
2599.96/2609.80 c 2610 17490240 1525519 1 - 0.0000 -
2604.94/2614.85 c 2615 17524241 1528898 1 - 0.0000 -
2610.32/2620.27 c 2620 17555467 1531859 1 - 0.0000 -
2615.61/2625.53 c 2626 17577591 1534467 1 - 0.0000 -
2620.69/2630.61 c 2631 17605890 1537168 1 - 0.0000 -
2625.77/2635.79 c 2636 17641350 1540392 1 - 0.0000 -
2631.06/2641.02 c 2641 17669334 1543500 1 - 0.0000 -
2636.24/2646.22 c 2646 17699321 1547271 1 - 0.0000 -
2641.22/2651.27 c 2651 17727921 1550233 1 - 0.0000 -
2646.41/2656.45 c 2656 17763222 1554114 1 - 0.0000 -
2651.49/2661.50 c 2662 17796403 1556561 1 - 0.0000 -
2656.67/2666.71 c 2667 17829379 1559511 1 - 0.0000 -
2661.66/2671.76 c 2672 17864739 1563347 1 - 0.0000 -
2666.84/2676.94 c 2677 17891093 1566809 1 - 0.0000 -
2672.13/2682.24 c 2682 17926836 1571225 1 - 0.0000 -
2677.21/2687.33 c 2687 17959457 1574820 1 - 0.0000 -
2682.40/2692.53 c 2693 17999797 1579287 1 - 0.0000 -
2687.38/2697.57 c 2698 18047406 1583702 1 - 0.0000 -
2692.47/2702.62 c 2703 18087686 1587260 1 - 0.0000 -
2697.55/2707.73 c 2708 18122172 1591548 1 - 0.0000 -
2702.63/2712.84 c 2713 18158795 1594825 1 - 0.0000 -
2707.71/2717.90 c 2718 18194912 1598218 1 - 0.0000 -
2712.70/2722.96 c 2723 18236173 1602109 1 - 0.0000 -
2717.78/2728.01 c 2728 18272520 1606078 1 - 0.0000 -
2722.77/2733.06 c 2733 18317506 1610864 1 - 0.0000 -
2727.86/2738.11 c 2738 18354198 1614448 1 - 0.0000 -
2732.84/2743.16 c 2743 18396239 1618279 1 - 0.0000 -
2737.92/2748.21 c 2748 18435166 1621650 1 - 0.0000 -
2742.91/2753.26 c 2753 18477920 1625626 1 - 0.0000 -
2747.99/2758.31 c 2758 18518930 1628558 1 - 0.0000 -
2753.17/2763.56 c 2764 18551860 1631264 1 - 0.0000 -
2758.56/2768.91 c 2769 18596759 1634611 1 - 0.0000 -
2763.74/2774.11 c 2774 18636891 1637827 1 - 0.0000 -
2769.12/2779.57 c 2780 18671609 1640763 1 - 0.0000 -
2774.31/2784.75 c 2785 18705003 1644154 1 - 0.0000 -
2779.39/2789.86 c 2790 18736062 1646541 1 - 0.0000 -
2784.47/2794.96 c 2795 18773779 1649334 1 - 0.0000 -
2789.56/2800.00 c 2800 18804539 1651919 1 - 0.0000 -
2794.74/2805.20 c 2805 18840005 1654417 1 - 0.0000 -
2799.73/2810.25 c 2810 18884549 1658236 1 - 0.0000 -
2805.11/2815.60 c 2816 18917149 1661043 1 - 0.0000 -
2810.10/2820.65 c 2821 18957459 1664184 1 - 0.0000 -
2815.38/2825.97 c 2826 19006751 1667478 1 - 0.0000 -
2820.46/2831.01 c 2831 19043985 1670106 1 - 0.0000 -
2825.44/2836.06 c 2836 19085912 1673082 1 - 0.0000 -
2831.03/2841.63 c 2842 19122809 1675897 1 - 0.0000 -
2836.11/2846.73 c 2847 19160710 1678409 1 - 0.0000 -
2841.29/2851.90 c 2852 19200155 1680878 1 - 0.0000 -
2846.28/2856.94 c 2857 19238781 1684821 1 - 0.0000 -
2851.66/2862.32 c 2862 19271081 1687983 1 - 0.0000 -
2857.14/2867.88 c 2868 19301510 1690985 1 - 0.0000 -
2862.33/2873.05 c 2873 19328026 1693908 1 - 0.0000 -
2867.32/2878.10 c 2878 19366070 1697802 1 - 0.0000 -
2872.70/2883.41 c 2883 19400580 1700592 1 - 0.0000 -
2877.88/2888.68 c 2889 19447058 1704468 1 - 0.0000 -
2882.96/2893.73 c 2894 19490534 1708208 1 - 0.0000 -
2887.95/2898.78 c 2899 19531000 1711040 1 - 0.0000 -
2893.03/2903.87 c 2904 19569353 1714078 1 - 0.0000 -
2898.12/2908.92 c 2909 19607535 1717574 1 - 0.0000 -
2903.31/2914.19 c 2914 19652284 1721483 1 - 0.0000 -
2908.38/2919.24 c 2919 19690700 1725032 1 - 0.0000 -
2913.37/2924.29 c 2924 19729716 1727874 1 - 0.0000 -
2918.65/2929.59 c 2930 19766224 1730375 1 - 0.0000 -
2923.84/2934.73 c 2935 19802382 1733418 1 - 0.0000 -
2929.13/2940.05 c 2940 19844613 1736683 1 - 0.0000 -
2934.11/2945.10 c 2945 19881643 1739346 1 - 0.0000 -
2939.29/2950.29 c 2950 19916683 1741904 1 - 0.0000 -
2944.47/2955.43 c 2955 19957170 1745261 1 - 0.0000 -
2950.06/2961.01 c 2961 19997871 1748783 1 - 0.0000 -
2955.04/2966.05 c 2966 20032868 1753118 1 - 0.0000 -
2960.02/2971.10 c 2971 20076052 1756675 1 - 0.0000 -
2965.30/2976.30 c 2976 20115984 1759306 1 - 0.0000 -
2970.59/2981.67 c 2982 20149284 1761954 1 - 0.0000 -
2975.67/2986.72 c 2987 20185790 1764892 1 - 0.0000 -
2980.86/2991.95 c 2992 20215407 1767517 1 - 0.0000 -
2985.94/2997.00 c 2997 20253046 1770200 1 - 0.0000 -
2991.02/3002.11 c 3002 20281201 1773896 1 - 0.0000 -
2996.10/3007.20 c 3007 20306290 1777293 1 - 0.0000 -
3001.58/3012.72 c 3013 20337866 1781191 1 - 0.0000 -
3006.57/3017.77 c 3018 20375042 1785397 1 - 0.0000 -
3011.66/3022.85 c 3023 20414697 1790274 1 - 0.0000 -
3016.84/3028.00 c 3028 20454505 1794218 1 - 0.0000 -
3022.11/3033.33 c 3033 20486475 1796610 1 - 0.0000 -
3027.50/3038.71 c 3039 20519408 1799995 1 - 0.0000 -
3032.78/3044.04 c 3044 20554958 1803164 1 - 0.0000 -
3037.88/3049.14 c 3049 20581893 1805441 1 - 0.0000 -
3043.44/3054.72 c 3055 20618566 1808150 1 - 0.0000 -
3048.44/3059.77 c 3060 20663936 1810986 1 - 0.0000 -
3053.91/3065.24 c 3065 20704761 1813726 1 - 0.0000 -
3059.20/3070.50 c 3071 20738805 1816927 1 - 0.0000 -
3064.69/3076.05 c 3076 20773325 1819900 1 - 0.0000 -
3069.77/3081.11 c 3081 20806329 1822706 1 - 0.0000 -
3074.75/3086.17 c 3086 20842350 1826011 1 - 0.0000 -
3079.83/3091.22 c 3091 20884450 1828106 1 - 0.0000 -
3084.92/3096.35 c 3096 20917919 1831159 1 - 0.0000 -
3090.40/3101.81 c 3102 20950833 1834214 1 - 0.0000 -
3095.38/3106.87 c 3107 20984306 1837563 1 - 0.0000 -
3100.67/3112.13 c 3112 21019623 1840874 1 - 0.0000 -
3105.66/3117.18 c 3117 21059339 1844224 1 - 0.0000 -
3110.73/3122.23 c 3122 21100379 1846942 1 - 0.0000 -
3115.81/3127.35 c 3127 21138801 1850204 1 - 0.0000 -
3120.90/3132.41 c 3132 21173522 1853030 1 - 0.0000 -
3126.78/3138.39 c 3138 21205309 1856129 1 - 0.0000 -
3132.06/3143.68 c 3144 21218542 1858406 1 - 0.0000 -
3137.25/3148.87 c 3149 21241185 1861175 1 - 0.0000 -
3142.93/3154.52 c 3155 21272711 1864434 1 - 0.0000 -
3148.02/3159.68 c 3160 21303248 1867887 1 - 0.0000 -
3153.20/3164.87 c 3165 21320845 1870051 1 - 0.0000 -
3158.59/3170.20 c 3170 21360284 1873440 1 - 0.0000 -
3163.57/3175.25 c 3175 21397856 1876835 1 - 0.0000 -
3168.65/3180.37 c 3180 21428893 1879819 1 - 0.0000 -
3174.24/3185.97 c 3186 21461215 1883802 1 - 0.0000 -
3179.32/3191.02 c 3191 21488030 1886137 1 - 0.0000 -
3184.30/3196.07 c 3196 21528590 1889242 1 - 0.0000 -
3189.79/3201.54 c 3202 21556508 1891646 1 - 0.0000 -
3194.86/3206.64 c 3207 21593521 1894006 1 - 0.0000 -
3199.85/3211.68 c 3212 21629447 1897024 1 - 0.0000 -
3204.93/3216.77 c 3217 21669922 1900134 1 - 0.0000 -
3210.02/3221.82 c 3222 21709849 1903154 1 - 0.0000 -
3215.10/3226.95 c 3227 21742598 1905727 1 - 0.0000 -
3220.19/3232.00 c 3232 21785836 1909217 1 - 0.0000 -
3225.17/3237.06 c 3237 21823845 1912226 1 - 0.0000 -
3230.65/3242.56 c 3243 21860400 1914764 1 - 0.0000 -
3235.73/3247.63 c 3248 21887405 1916500 1 - 0.0000 -
3240.72/3252.68 c 3253 21920692 1920326 1 - 0.0000 -
3245.80/3257.73 c 3258 21953365 1923445 1 - 0.0000 -
3250.78/3262.78 c 3263 22000420 1927178 1 - 0.0000 -
3256.76/3268.78 c 3269 22030120 1929681 1 - 0.0000 -
3261.95/3273.97 c 3274 22061916 1932964 1 - 0.0000 -
3267.03/3279.01 c 3279 22096329 1935773 1 - 0.0000 -
3272.41/3284.46 c 3284 22129606 1938745 1 - 0.0000 -
3277.80/3289.86 c 3290 22162583 1941439 1 - 0.0000 -
3282.89/3294.91 c 3295 22195889 1944197 1 - 0.0000 -
3287.87/3299.96 c 3300 22228290 1947068 1 - 0.0000 -
3293.15/3305.20 c 3305 22249761 1949086 1 - 0.0000 -
3298.24/3310.33 c 3310 22281853 1951980 1 - 0.0000 -
3303.22/3315.39 c 3315 22309960 1954689 1 - 0.0000 -
3308.30/3320.44 c 3320 22340935 1957154 1 - 0.0000 -
3313.59/3325.70 c 3326 22373157 1959211 1 - 0.0000 -
3318.57/3330.79 c 3331 22413996 1962483 1 - 0.0000 -
3323.86/3336.04 c 3336 22453781 1965463 1 - 0.0000 -
3328.84/3341.09 c 3341 22495723 1969182 1 - 0.0000 -
3333.93/3346.14 c 3346 22532995 1972038 1 - 0.0000 -
3338.91/3351.19 c 3351 22567343 1973514 1 - 0.0000 -
3344.09/3356.30 c 3356 22605274 1976600 1 - 0.0000 -
3349.07/3361.35 c 3361 22645161 1979167 1 - 0.0000 -
3354.26/3366.54 c 3367 22680041 1982069 1 - 0.0000 -
3359.24/3371.59 c 3372 22716440 1984801 1 - 0.0000 -
3364.32/3376.64 c 3377 22760380 1988186 1 - 0.0000 -
3369.40/3381.71 c 3382 22792410 1990489 1 - 0.0000 -
3374.49/3386.81 c 3387 22829491 1993005 1 - 0.0000 -
3379.58/3391.94 c 3392 22869117 1995679 1 - 0.0000 -
3384.56/3396.99 c 3397 22910155 1999369 1 - 0.0000 -
3389.74/3402.12 c 3402 22952124 2002666 1 - 0.0000 -
3394.83/3407.21 c 3407 22994120 2005650 1 - 0.0000 -
3399.81/3412.26 c 3412 23030248 2008138 1 - 0.0000 -
3405.09/3417.57 c 3418 23061419 2010952 1 - 0.0000 -
3410.38/3422.89 c 3423 23105325 2014469 1 - 0.0000 -
3416.25/3428.70 c 3429 23140386 2018053 1 - 0.0000 -
3421.34/3433.89 c 3434 23180436 2021485 1 - 0.0000 -
3427.42/3439.98 c 3440 23214671 2025252 1 - 0.0000 -
3432.81/3445.30 c 3445 23250308 2027997 1 - 0.0000 -
3438.29/3450.81 c 3451 23280576 2031095 1 - 0.0000 -
3443.38/3455.95 c 3456 23315220 2032863 1 - 0.0000 -
3448.46/3461.10 c 3461 23347165 2035098 1 - 0.0000 -
3453.54/3466.14 c 3466 23386076 2038424 1 - 0.0000 -
3459.13/3471.78 c 3472 23422887 2041889 1 - 0.0000 -
3464.41/3477.00 c 3477 23454933 2043899 1 - 0.0000 -
3469.40/3482.05 c 3482 23503598 2047220 1 - 0.0000 -
3474.77/3487.46 c 3487 23529962 2049437 1 - 0.0000 -
3479.85/3492.51 c 3493 23562003 2051382 1 - 0.0000 -
3485.04/3497.75 c 3498 23598341 2053881 1 - 0.0000 -
3490.12/3502.80 c 3503 23639237 2056538 1 - 0.0000 -
3495.11/3507.85 c 3508 23678455 2059859 1 - 0.0000 -
3500.19/3512.95 c 3513 23718035 2063586 1 - 0.0000 -
3505.28/3518.00 c 3518 23758517 2066817 1 - 0.0000 -
3510.26/3523.07 c 3523 23796835 2069434 1 - 0.0000 -
3515.34/3528.12 c 3528 23836987 2072278 1 - 0.0000 -
3520.42/3533.20 c 3533 23866868 2074948 1 - 0.0000 -
3526.50/3539.37 c 3539 23900738 2077720 1 - 0.0000 -
3532.38/3545.22 c 3545 23914505 2080745 1 - 0.0000 -
3537.67/3550.58 c 3551 23926507 2083013 1 - 0.0000 -
3542.76/3555.68 c 3556 23951600 2087160 1 - 0.0000 -
3547.84/3560.73 c 3561 23984893 2090997 1 - 0.0000 -
3553.12/3566.01 c 3566 24022203 2095957 1 - 0.0000 -
3558.31/3571.20 c 3571 24056541 2100585 1 - 0.0000 -
3563.29/3576.25 c 3576 24091740 2102322 1 - 0.0000 -
3568.97/3581.93 c 3582 24126391 2106558 1 - 0.0000 -
3573.96/3586.99 c 3587 24157636 2110889 1 - 0.0000 -
3579.14/3592.17 c 3592 24185535 2113275 1 - 0.0000 -
3585.12/3598.11 c 3598 24215441 2116003 1 - 0.0000 -
3592.20/3605.23 c SCIP Status : c solving was interrupted [hard time limit reached]
3592.20/3605.23 c Total Time : 3605.2300
3592.20/3605.23 c solving : 3605.2300
3592.20/3605.23 c presolving : 0.0027 (included in solving)
3592.20/3605.23 c B&B Tree :
3592.20/3605.23 c nodes (total) : 1
3592.20/3605.23 c Solution :
3592.20/3605.23 c Solutions found : 0
3592.20/3605.23 c Primal Bound : -
3592.20/3605.23 c Dual Bound : +0.00000000000000e+00
3592.20/3605.23 c Gap : -
3592.20/3605.24 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (56220 MiB free)
memory of node 1: 64473 MiB (61600 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445180-1721321238/watcher-4445180-1721321238 -o /tmp/evaluation-result-4445180-1721321238/solver-4445180-1721321238 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007726 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445180-1721321238.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=1009895, runsolver pid=1009892
[startup+0.100086 s]*
/proc/loadavg: 4.57 4.33 4.17 4/255 1009915
/proc/meminfo: memFree=120673276/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=107384 memory=20412 CPUtime=0.1 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 2510 0 0 0 10 0 0 0 20 0 3 0 184291916 109961216 5103 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 26846 5103 2942 3032 0 8614 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=107384 memory=4026532157 CPUtime=0.09 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 1237 0 0 0 9 0 0 0 20 0 3 0 184291917 109961216 5103 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=107384 memory=219966341476 CPUtime=0 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184291917 109961216 5103 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 107384 KiB
Current children cumulated memory: 20412 KiB
[startup+0.20551 s]*
/proc/loadavg: 4.57 4.33 4.17 5/258 1009924
/proc/meminfo: memFree=120640168/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=107384 memory=21204 CPUtime=0.2 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 2669 0 0 0 20 0 0 0 20 0 3 0 184291916 109961216 5301 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 26846 5301 2942 3032 0 8774 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=107384 memory=3472328300254199927 CPUtime=0.19 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 1396 0 0 0 19 0 0 0 20 0 3 0 184291917 109961216 5301 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=107384 memory=17004 CPUtime=0 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184291917 109961216 5301 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107384 KiB
Current children cumulated memory: 21204 KiB
[startup+0.305781 s]*
/proc/loadavg: 4.57 4.33 4.17 5/263 1009932
/proc/meminfo: memFree=120631916/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=107384 memory=21468 CPUtime=0.3 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 2730 0 0 0 30 0 0 0 20 0 3 0 184291916 109961216 5367 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 26846 5367 2942 3032 0 8820 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=107384 memory=-7952647673443081591 CPUtime=0.29 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 1457 0 0 0 29 0 0 0 20 0 3 0 184291917 109961216 5367 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=107384 memory=0 CPUtime=0 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184291917 109961216 5367 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107384 KiB
Current children cumulated memory: 21468 KiB
[startup+0.700246 s]
/proc/loadavg: 4.57 4.33 4.17 5/263 1009932
/proc/meminfo: memFree=120629900/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=107384 memory=21996 CPUtime=0.69 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 2864 0 0 0 68 1 0 0 20 0 3 0 184291916 109961216 5499 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 26846 5499 2942 3032 0 8926 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=107384 memory=0 CPUtime=0.68 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 1591 0 0 0 68 0 0 0 20 0 3 0 184291917 109961216 5499 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=107384 memory=0 CPUtime=0 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184291917 109961216 5499 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 107384 KiB
Current children cumulated memory: 21996 KiB
[startup+1.50022 s]
/proc/loadavg: 4.57 4.33 4.17 5/263 1009932
/proc/meminfo: memFree=120628152/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=107384 memory=22100 CPUtime=1.49 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 3814 0 0 0 147 2 0 0 20 0 3 0 184291916 109961216 5525 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 26846 5525 2942 3032 0 8936 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=107384 memory=0 CPUtime=1.47 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 2528 0 0 0 146 1 0 0 20 0 3 0 184291917 109961216 5525 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=107384 memory=0 CPUtime=0 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184291917 109961216 5525 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 107384 KiB
Current children cumulated memory: 22100 KiB
[startup+3.10543 s]
/proc/loadavg: 4.57 4.33 4.17 5/261 1009982
/proc/meminfo: memFree=126573892/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=107384 memory=23712 CPUtime=3.08 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 4713 0 0 0 305 3 0 0 20 0 3 0 184291916 109961216 5928 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 26846 5928 2942 3032 0 9298 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=107384 memory=0 CPUtime=3.08 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 3423 0 0 0 305 3 0 0 20 0 3 0 184291917 109961216 5928 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=107384 memory=-7952647673509731959 CPUtime=0 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 184291917 109961216 5928 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107384 KiB
Current children cumulated memory: 23712 KiB
[startup+6.30025 s]
/proc/loadavg: 4.53 4.32 4.17 5/263 1010030
/proc/meminfo: memFree=126919384/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=107964 memory=27096 CPUtime=6.27 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 7442 0 0 0 621 6 0 0 20 0 3 0 184291916 110555136 6774 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 26991 6774 2990 3032 0 10180 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=107964 memory=0 CPUtime=6.26 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 6126 0 0 0 620 6 0 0 20 0 3 0 184291917 110555136 6774 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=107964 memory=27084 CPUtime=0 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 184291917 110555136 6774 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 107964 KiB
Current children cumulated memory: 27096 KiB
[startup+12.7003 s]
/proc/loadavg: 4.49 4.31 4.17 5/263 1010030
/proc/meminfo: memFree=126891136/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=107964 memory=34520 CPUtime=12.64 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 15379 0 0 0 1251 13 0 0 20 0 3 0 184291916 110555136 8630 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 26991 8630 2990 3032 0 11878 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=107964 memory=-6806768373481704803 CPUtime=12.64 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 14028 0 0 0 1251 13 0 0 20 0 3 0 184291917 110555136 8630 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=107964 memory=23712 CPUtime=0 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 184291917 110555136 8630 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 107964 KiB
Current children cumulated memory: 34520 KiB
[startup+25.5002 s]
/proc/loadavg: 4.38 4.30 4.17 5/263 1010033
/proc/meminfo: memFree=126852200/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=111416 memory=46912 CPUtime=25.38 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 30623 0 0 0 2513 25 0 0 20 0 3 0 184291916 114089984 11728 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 27854 11728 2990 3032 0 14969 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=111416 memory=30088 CPUtime=25.38 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 29224 0 0 0 2513 25 0 0 20 0 3 0 184291917 114089984 11728 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=111416 memory=41468 CPUtime=0 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 184291917 114089984 11728 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 111416 KiB
Current children cumulated memory: 46912 KiB
[startup+51.1055 s]
/proc/loadavg: 4.30 4.29 4.17 5/264 1010037
/proc/meminfo: memFree=126763484/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=124708 memory=75156 CPUtime=50.88 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 58566 0 0 0 5039 49 0 0 20 0 3 0 184291916 127700992 18789 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 31177 18789 2990 3032 0 22529 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=124708 memory=71840 CPUtime=50.87 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 57103 0 0 0 5038 49 0 0 20 0 3 0 184291917 127700992 18789 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=124708 memory=70024 CPUtime=0 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 184291917 127700992 18789 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 124708 KiB
Current children cumulated memory: 75156 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.27 4.17 5/264 1010045
/proc/meminfo: memFree=126630176/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=218900 memory=127848 CPUtime=101.85 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 114885 0 0 0 10087 98 0 0 20 0 3 0 184291916 224153600 31962 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 54725 31962 2990 3032 0 36348 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=218900 memory=43840 CPUtime=101.83 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 113358 0 0 0 10085 98 0 0 20 0 3 0 184291917 224153600 31962 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=218900 memory=118544 CPUtime=0 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 184291917 224153600 31962 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 218900 KiB
Current children cumulated memory: 127848 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.24 4.16 5/266 1010059
/proc/meminfo: memFree=126537296/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=240924 memory=171328 CPUtime=161.59 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 167785 0 0 0 16006 153 0 0 20 0 3 0 184291916 246706176 42832 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 60231 42832 2990 3032 0 47991 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=240924 memory=43840 CPUtime=161.57 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 166216 0 0 0 16005 152 0 0 20 0 3 0 184291917 246706176 42832 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=240924 memory=0 CPUtime=0 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 184291917 246706176 42832 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 240924 KiB
################
# More data... #
################
/proc/1009895/statm: 592896 575402 2990 3032 0 581623 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=2371584 memory=2263992 CPUtime=3389.71 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 5402107 0 0 0 336295 2676 0 0 20 0 3 0 184291917 2428502016 575402 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=2371584 memory=2296628 CPUtime=0.02 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 130 0 0 0 0 2 0 0 20 0 3 0 184291917 2428502016 575402 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 3389.94 s
Current children cumulated vsize: 2371584 KiB
Current children cumulated memory: 2301608 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/266 1012513
/proc/meminfo: memFree=123742140/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=2406404 memory=2328372 CPUtime=3449.75 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 5523004 0 0 0 342248 2727 0 0 20 0 3 0 184291916 2464157696 582093 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 601601 582093 2990 3032 0 595834 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=2406404 memory=2263992 CPUtime=3449.52 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 5520418 0 0 0 342230 2722 0 0 20 0 3 0 184291917 2464157696 582093 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=2406404 memory=11396 CPUtime=0.02 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 132 0 0 0 0 2 0 0 20 0 3 0 184291917 2464157696 582093 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 3449.75 s
Current children cumulated vsize: 2406404 KiB
Current children cumulated memory: 2328372 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.18 4.17 5/263 1012523
/proc/meminfo: memFree=123687648/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=2473988 memory=2355124 CPUtime=3509.55 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 5709199 0 0 0 348177 2778 0 0 20 0 3 0 184291916 2533363712 588781 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 618497 588781 2990 3032 0 602309 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=2473988 memory=2330296 CPUtime=3509.32 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 5706595 0 0 0 348159 2773 0 0 20 0 3 0 184291917 2533363712 588781 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=2473988 memory=11396 CPUtime=0.02 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 184291917 2533363712 588781 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 3509.55 s
Current children cumulated vsize: 2473988 KiB
Current children cumulated memory: 2355124 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.16 5/263 1012534
/proc/meminfo: memFree=123636360/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=2475012 memory=2381220 CPUtime=3569.37 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 5802844 0 0 0 354120 2817 0 0 20 0 3 0 184291916 2534412288 595305 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 618753 595305 2990 3032 0 608663 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=2475012 memory=26092 CPUtime=3569.14 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 5800236 0 0 0 354102 2812 0 0 20 0 3 0 184291917 2534412288 595305 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=2475012 memory=2381220 CPUtime=0.02 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 184291917 2534412288 595305 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 3569.37 s
Current children cumulated vsize: 2475012 KiB
Current children cumulated memory: 2381220 KiB
[startup+3605.26 s]
# the end of solver process 1009895 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3563.78 s, system=28.4823 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.16 4.16 5/263 1012536
/proc/meminfo: memFree=123634700/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=2475012 memory=2381816 CPUtime=3571.07 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 5803109 0 0 0 354289 2818 0 0 20 0 3 0 184291916 2534412288 595454 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 618753 595454 2990 3032 0 608839 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=2475012 memory=-7880590079354495871 CPUtime=3570.84 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 5800501 0 0 0 354271 2813 0 0 20 0 3 0 184291917 2534412288 595454 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=2475012 memory=-6933350163988323268 CPUtime=0.02 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 184291917 2534412288 595454 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 3571.07 s
Current children cumulated vsize: 2475012 KiB
Current children cumulated memory: 2381816 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.15 4.16 5/263 1012537
/proc/meminfo: memFree=123621148/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=2476036 memory=2392840 CPUtime=3583.82 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 5839260 0 0 0 355553 2829 0 0 20 0 3 0 184291916 2535460864 598210 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 619009 598210 2990 3032 0 610931 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=2476036 memory=2378148 CPUtime=3583.59 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 5836637 0 0 0 355535 2824 0 0 20 0 3 0 184291917 2535460864 598210 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=2476036 memory=104 CPUtime=0.02 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 184291917 2535460864 598210 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 3583.82 s
Current children cumulated vsize: 2476036 KiB
Current children cumulated memory: 2392840 KiB
[startup+3600 s]*
/proc/loadavg: 4.09 4.15 4.16 5/263 1012537
/proc/meminfo: memFree=123617444/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=2477064 memory=2394152 CPUtime=3587.02 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 5852896 0 0 0 355871 2831 0 0 20 0 3 0 184291916 2536513536 598538 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 619266 598538 2990 3032 0 611236 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=2477064 memory=3752 CPUtime=3586.78 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 5850273 0 0 0 355852 2826 0 0 20 0 3 0 184291917 2536513536 598538 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=2477064 memory=26908 CPUtime=0.02 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 184291917 2536513536 598538 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 3587.02 s
Current children cumulated vsize: 2477064 KiB
Current children cumulated memory: 2394152 KiB
[startup+3603.2 s]
/proc/loadavg: 4.08 4.15 4.16 5/263 1012540
/proc/meminfo: memFree=123660108/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=2418644 memory=2333692 CPUtime=3590.21 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 6032166 0 0 0 356180 2841 0 0 20 0 3 0 184291916 2476691456 583423 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 604661 583423 2990 3032 0 596631 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=2418644 memory=13116 CPUtime=3589.96 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 6029538 0 0 0 356161 2835 0 0 20 0 3 0 184291917 2476691456 583423 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=2418644 memory=2393904 CPUtime=0.02 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 184291917 2476691456 583423 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 3590.21 s
Current children cumulated vsize: 2418644 KiB
Current children cumulated memory: 2333692 KiB
[startup+3604 s]*
/proc/loadavg: 4.08 4.15 4.16 5/261 1012586
/proc/meminfo: memFree=124433556/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=2352044 memory=2267096 CPUtime=3591 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 6036371 0 0 0 356259 2841 0 0 20 0 3 0 184291916 2408493056 566774 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 588011 566774 2990 3032 0 579981 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=2352044 memory=-7668888523018298210 CPUtime=3590.77 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 6033742 0 0 0 356241 2836 0 0 20 0 3 0 184291917 2408493056 566774 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=2352044 memory=4888 CPUtime=0.02 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 184291917 2408493056 566774 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 3591 s
Current children cumulated vsize: 2352044 KiB
Current children cumulated memory: 2267096 KiB
[startup+3604.8 s]
/proc/loadavg: 4.08 4.15 4.16 5/261 1012586
/proc/meminfo: memFree=124433556/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=2284564 memory=2199616 CPUtime=3591.8 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 6039180 0 0 0 356338 2842 0 0 20 0 3 0 184291916 2339393536 549904 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 571141 549904 2990 3032 0 563111 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=2284564 memory=3688502177867983793 CPUtime=3591.57 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 6036551 0 0 0 356320 2837 0 0 20 0 3 0 184291917 2339393536 549904 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=2284564 memory=20380 CPUtime=0.02 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 184291917 2339393536 549904 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 3591.8 s
Current children cumulated vsize: 2284564 KiB
Current children cumulated memory: 2199616 KiB
[startup+3605.2 s]
/proc/loadavg: 4.08 4.15 4.16 5/261 1012586
/proc/meminfo: memFree=124425000/131524600 swapFree=131071996/131071996
[pid=1009895] ppid=1009892 vsize=2184256 memory=2099312 CPUtime=3592.2 cores=1,3
/proc/1009895/stat : 1009895 (fscip) S 1009892 1009895 1007714 0 -1 1077936128 6043929 0 0 0 356377 2843 0 0 20 0 3 0 184291916 2236678144 524828 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
/proc/1009895/statm: 546064 524828 2990 3032 0 538034 0
[pid=1009895/tid=1009897] ppid=1009892 vsize=2184256 memory=-6806768373481704803 CPUtime=3591.97 cores=1,3
/proc/1009895/task/1009897/stat : 1009897 (fscip) R 1009892 1009895 1007714 0 -1 4194368 6041300 0 0 0 356359 2838 0 0 20 0 3 0 184291917 2236678144 524828 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
[pid=1009895/tid=1009898] ppid=1009892 vsize=2184256 memory=2748 CPUtime=0.02 cores=1,3
/proc/1009895/task/1009898/stat : 1009898 (fscip) S 1009892 1009895 1007714 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 184291917 2236678144 524828 134679101440 4194304 16613245 140723876021504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 51445760 140723876029459 140723876029575 140723876029575 140723876036592 0
Current children cumulated CPU time: 3592.2 s
Current children cumulated vsize: 2184256 KiB
Current children cumulated memory: 2099312 KiB
Child status: 0
Real time (s): 3605.26
CPU time (s): 3592.27
CPU user time (s): 3563.78
CPU system time (s): 28.4823
CPU usage (%): 99.6396
Max. virtual memory (cumulated for all children) (KiB): 2477064
Max. memory (cumulated for all children) (KiB): 2394152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3563.78
system time used= 28.4823
maximum resident set size= 2394152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6044353
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= 10907
involuntary context switches= 5095
# summary of solver processes directly reported to runsolver:
# pid: 1009895
# total CPU time (s): 3592.27
# total CPU user time (s): 3563.78
# total CPU system time (s): 28.4823
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38991 second user time and 17.1417 second system time
The end
Begin job on nodeC030 at 2024-07-18 18:47:31
IDJOB=4445180
IDBENCH=148102
IDSOLVER=3064
FILE ID=nodeC030/4445180-1721321238
RUNJOBID= nodeC030-1721317650-1007726
SLURM_JOB_ID= 7542666
Free space on /tmp= 889952 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww4.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-4445180-1721321238/watcher-4445180-1721321238 -o /tmp/evaluation-result-4445180-1721321238/solver-4445180-1721321238 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007726 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445180-1721321238.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 13439fe0222d33319b9169d149c100b9
RANDOM SEED=1281667159
nodeC030.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 : 3601.485
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.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3677.201
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.11
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 : 3616.476
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.28
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 : 3666.048
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.11
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 : 3652.414
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.28
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 : 3673.332
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.11
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 : 3633.205
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.28
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.965
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120648900 kB
MemAvailable: 121840232 kB
Buffers: 476632 kB
Cached: 1542980 kB
SwapCached: 0 kB
Active: 1159720 kB
Inactive: 9075796 kB
Active(anon): 1572 kB
Inactive(anon): 8251396 kB
Active(file): 1158148 kB
Inactive(file): 824400 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28012 kB
Writeback: 16 kB
AnonPages: 8212772 kB
Mapped: 130016 kB
Shmem: 37720 kB
KReclaimable: 97212 kB
Slab: 209908 kB
SReclaimable: 97212 kB
SUnreclaim: 112696 kB
KernelStack: 4120 kB
PageTables: 25372 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5918540 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69888 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3803136 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889920 MiB
End job on nodeC030 at 2024-07-18 19:47:37