0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22745088, getVmSize() = 22745088, SCIPgetMemUsed() = 995154, SCIPgetMemTotal() = 1264874, 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 = 15809194, getVmSize() = 24682496, SCIPgetMemUsed() = 1120071, SCIPgetMemTotal() = 2008143, 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-4464552-1722385801
0.00/0.00 c Variables : 87 (87 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 232
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 87 (87 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 232
0.00/0.00 c Constraints : Number
0.00/0.00 c logicor : 232
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.07/5.17 c 5 9728 6101 1 - 0.0000 -
10.14/10.22 c 10 25542 13698 1 - 0.0000 -
15.12/15.27 c 15 41776 22952 1 - 0.0000 -
20.20/20.31 c 20 56864 31991 1 - 0.0000 -
25.18/25.36 c 25 72743 41974 1 - 0.0000 -
30.26/30.41 c 30 89945 49976 1 - 0.0000 -
35.23/35.46 c 35 105144 59069 1 - 0.0000 -
40.31/40.51 c 41 121073 68540 1 - 0.0000 -
45.29/45.56 c 46 137318 78166 1 - 0.0000 -
50.37/50.61 c 51 153920 86757 1 - 0.0000 -
55.35/55.66 c 56 167925 96704 1 - 0.0000 -
60.43/60.71 c 61 182473 107195 1 - 0.0000 -
65.40/65.75 c 66 198683 115815 1 - 0.0000 -
70.39/70.80 c 71 215434 123797 1 - 0.0000 -
75.46/75.85 c 76 233292 131302 1 - 0.0000 -
80.44/80.90 c 81 250699 138447 1 - 0.0000 -
85.52/85.95 c 86 267016 146054 1 - 0.0000 -
90.50/91.00 c 91 284145 153464 1 - 0.0000 -
95.58/96.05 c 96 301502 160051 1 - 0.0000 -
100.56/101.10 c 101 318976 166061 1 - 0.0000 -
105.63/106.15 c 106 336105 173669 1 - 0.0000 -
110.61/111.20 c 111 353342 180949 1 - 0.0000 -
115.69/116.25 c 116 370180 188364 1 - 0.0000 -
120.66/121.30 c 121 387543 195005 1 - 0.0000 -
125.74/126.35 c 126 404494 202901 1 - 0.0000 -
130.71/131.40 c 131 421897 209758 1 - 0.0000 -
135.79/136.45 c 136 440024 215407 1 - 0.0000 -
140.77/141.50 c 142 455954 224222 1 - 0.0000 -
145.86/146.55 c 147 473246 232285 1 - 0.0000 -
150.83/151.60 c 152 490874 239789 1 - 0.0000 -
155.91/156.65 c 157 507368 249928 1 - 0.0000 -
160.89/161.70 c 162 525385 257801 1 - 0.0000 -
165.96/166.75 c 167 544349 265317 1 - 0.0000 -
170.94/171.80 c 172 562301 272793 1 - 0.0000 -
176.02/176.85 c 177 580796 279332 1 - 0.0000 -
181.00/181.90 c 182 597907 286349 1 - 0.0000 -
186.08/186.95 c 187 616244 293718 1 - 0.0000 -
191.16/192.00 c 192 634199 301764 1 - 0.0000 -
196.14/197.05 c 197 652219 308838 1 - 0.0000 -
201.12/202.10 c 202 668906 316711 1 - 0.0000 -
206.20/207.15 c 207 685903 324682 1 - 0.0000 -
211.18/212.20 c 212 701976 333539 1 - 0.0000 -
216.24/217.25 c 217 718448 341987 1 - 0.0000 -
221.22/222.30 c 222 734660 350514 1 - 0.0000 -
226.30/227.35 c 227 751098 359054 1 - 0.0000 -
231.28/232.40 c 232 765829 369008 1 - 0.0000 -
236.35/237.45 c 237 782713 377839 1 - 0.0000 -
241.34/242.50 c 242 798936 386780 1 - 0.0000 -
246.42/247.55 c 248 814950 395626 1 - 0.0000 -
251.40/252.60 c 253 830530 405931 1 - 0.0000 -
256.47/257.65 c 258 846204 414875 1 - 0.0000 -
261.45/262.70 c 263 863086 422491 1 - 0.0000 -
266.53/267.75 c 268 880354 430825 1 - 0.0000 -
271.60/272.80 c 273 895467 439865 1 - 0.0000 -
276.59/277.85 c 278 912281 449184 1 - 0.0000 -
281.56/282.90 c 283 928980 457752 1 - 0.0000 -
286.64/287.95 c 288 947122 464428 1 - 0.0000 -
291.62/293.00 c 293 962136 473682 1 - 0.0000 -
296.70/298.05 c 298 978870 481993 1 - 0.0000 -
301.68/303.10 c 303 996444 489730 1 - 0.0000 -
306.76/308.15 c 308 1013096 498104 1 - 0.0000 -
311.84/313.20 c 313 1030953 507319 1 - 0.0000 -
316.81/318.25 c 318 1047645 516810 1 - 0.0000 -
321.89/323.30 c 323 1064819 524158 1 - 0.0000 -
326.87/328.35 c 328 1082196 530832 1 - 0.0000 -
331.85/333.40 c 333 1099675 537983 1 - 0.0000 -
336.93/338.45 c 338 1118105 544894 1 - 0.0000 -
341.90/343.50 c 344 1136765 550365 1 - 0.0000 -
346.98/348.55 c 349 1153050 556513 1 - 0.0000 -
351.96/353.60 c 354 1171062 562859 1 - 0.0000 -
357.04/358.65 c 359 1189047 569407 1 - 0.0000 -
362.11/363.70 c 364 1206072 576403 1 - 0.0000 -
367.09/368.75 c 369 1223260 582904 1 - 0.0000 -
372.07/373.80 c 374 1241135 587836 1 - 0.0000 -
377.15/378.85 c 379 1259793 592633 1 - 0.0000 -
382.13/383.90 c 384 1276745 599137 1 - 0.0000 -
387.20/388.95 c 389 1294656 603694 1 - 0.0000 -
392.18/394.00 c 394 1312229 609368 1 - 0.0000 -
397.26/399.05 c 399 1330047 615401 1 - 0.0000 -
402.24/404.10 c 404 1347110 621931 1 - 0.0000 -
407.32/409.15 c 409 1361576 631202 1 - 0.0000 -
412.30/414.20 c 414 1379372 637220 1 - 0.0000 -
417.37/419.25 c 419 1398018 641750 1 - 0.0000 -
422.35/424.30 c 424 1414117 649775 1 - 0.0000 -
427.42/429.35 c 429 1431792 656216 1 - 0.0000 -
432.41/434.40 c 434 1450315 661964 1 - 0.0000 -
437.48/439.45 c 439 1468432 667449 1 - 0.0000 -
442.46/444.50 c 444 1485937 672679 1 - 0.0000 -
447.54/449.55 c 450 1502407 679051 1 - 0.0000 -
452.72/454.72 c 455 1510910 7105 1 - 0.0000 -
457.69/459.77 c 460 1523390 16302 1 - 0.0000 -
462.76/464.82 c 465 1535661 25924 1 - 0.0000 -
467.74/469.87 c 470 1549570 35326 1 - 0.0000 -
472.82/474.92 c 475 1564204 43272 1 - 0.0000 -
477.80/479.97 c 480 1578961 52237 1 - 0.0000 -
482.88/485.02 c 485 1594443 59993 1 - 0.0000 -
487.86/490.07 c 490 1609430 67976 1 - 0.0000 -
492.93/495.12 c 495 1624343 76601 1 - 0.0000 -
497.91/500.17 c 500 1638732 84994 1 - 0.0000 -
502.98/505.22 c 505 1652328 94081 1 - 0.0000 -
507.96/510.27 c 510 1665893 103244 1 - 0.0000 -
513.03/515.32 c 515 1681995 110223 1 - 0.0000 -
518.01/520.37 c 520 1696999 117995 1 - 0.0000 -
523.09/525.42 c 525 1709280 126256 1 - 0.0000 -
528.07/530.47 c 530 1724770 134358 1 - 0.0000 -
533.14/535.52 c 536 1740093 141476 1 - 0.0000 -
538.13/540.57 c 541 1755252 149019 1 - 0.0000 -
543.20/545.62 c 546 1769517 158797 1 - 0.0000 -
548.18/550.67 c 551 1783217 168264 1 - 0.0000 -
553.25/555.72 c 556 1796823 177918 1 - 0.0000 -
558.23/560.77 c 561 1810660 187469 1 - 0.0000 -
563.30/565.82 c 566 1826153 195212 1 - 0.0000 -
568.28/570.87 c 571 1842053 202757 1 - 0.0000 -
573.36/575.92 c 576 1858051 210403 1 - 0.0000 -
578.34/580.97 c 581 1873225 218316 1 - 0.0000 -
583.42/586.02 c 586 1886634 227229 1 - 0.0000 -
588.40/591.07 c 591 1901734 235643 1 - 0.0000 -
593.48/596.12 c 596 1917235 244067 1 - 0.0000 -
598.45/601.17 c 601 1932303 252904 1 - 0.0000 -
603.52/606.22 c 606 1947802 261014 1 - 0.0000 -
608.50/611.27 c 611 1963349 269406 1 - 0.0000 -
613.58/616.32 c 616 1976964 278675 1 - 0.0000 -
618.56/621.37 c 621 1990212 288225 1 - 0.0000 -
623.64/626.42 c 626 2003695 296653 1 - 0.0000 -
628.61/631.47 c 631 2017461 305653 1 - 0.0000 -
633.69/636.52 c 637 2032939 312993 1 - 0.0000 -
638.67/641.57 c 642 2048943 320036 1 - 0.0000 -
643.74/646.62 c 647 2064204 327386 1 - 0.0000 -
648.72/651.67 c 652 2078420 335983 1 - 0.0000 -
653.80/656.72 c 657 2093005 345604 1 - 0.0000 -
658.77/661.77 c 662 2107442 354485 1 - 0.0000 -
663.85/666.82 c 667 2121121 362975 1 - 0.0000 -
668.83/671.87 c 672 2134685 372616 1 - 0.0000 -
673.90/676.92 c 677 2147288 381668 1 - 0.0000 -
678.88/681.97 c 682 2159383 390930 1 - 0.0000 -
683.96/687.02 c 687 2172142 399557 1 - 0.0000 -
688.94/692.07 c 692 2186785 407261 1 - 0.0000 -
694.02/697.12 c 697 2200978 415501 1 - 0.0000 -
698.99/702.17 c 702 2215789 422880 1 - 0.0000 -
704.07/707.22 c 707 2227218 431895 1 - 0.0000 -
709.04/712.27 c 712 2240012 440832 1 - 0.0000 -
714.12/717.32 c 717 2253327 449699 1 - 0.0000 -
719.09/722.37 c 722 2266570 458015 1 - 0.0000 -
724.17/727.42 c 727 2279160 466153 1 - 0.0000 -
729.14/732.47 c 732 2291260 475487 1 - 0.0000 -
734.22/737.52 c 738 2305526 482267 1 - 0.0000 -
739.21/742.57 c 743 2321079 488174 1 - 0.0000 -
744.28/747.62 c 748 2336399 493696 1 - 0.0000 -
749.26/752.67 c 753 2351404 500735 1 - 0.0000 -
754.33/757.72 c 758 2366485 507422 1 - 0.0000 -
759.31/762.77 c 763 2380915 514587 1 - 0.0000 -
764.39/767.82 c 768 2395883 521127 1 - 0.0000 -
769.37/772.87 c 773 2410389 527366 1 - 0.0000 -
774.45/777.92 c 778 2425550 533564 1 - 0.0000 -
779.42/782.97 c 783 2441485 538021 1 - 0.0000 -
784.49/788.02 c 788 2456498 544079 1 - 0.0000 -
789.48/793.07 c 793 2471350 550487 1 - 0.0000 -
794.55/798.12 c 798 2486972 556091 1 - 0.0000 -
799.53/803.17 c 803 2503130 561318 1 - 0.0000 -
804.61/808.22 c 808 2516805 568777 1 - 0.0000 -
809.58/813.27 c 813 2531904 575685 1 - 0.0000 -
814.66/818.32 c 818 2546402 583076 1 - 0.0000 -
819.63/823.37 c 823 2561883 589872 1 - 0.0000 -
824.71/828.42 c 828 2576876 596854 1 - 0.0000 -
829.69/833.47 c 833 2590906 604944 1 - 0.0000 -
834.76/838.52 c 839 2604151 612577 1 - 0.0000 -
839.74/843.57 c 844 2618770 619917 1 - 0.0000 -
844.83/848.62 c 849 2634961 624518 1 - 0.0000 -
849.80/853.67 c 854 2651472 628969 1 - 0.0000 -
854.88/858.72 c 859 2667574 633305 1 - 0.0000 -
859.85/863.77 c 864 2682974 638641 1 - 0.0000 -
864.93/868.82 c 869 2698483 645227 1 - 0.0000 -
869.90/873.87 c 874 2714105 650925 1 - 0.0000 -
874.99/878.92 c 879 2728780 657262 1 - 0.0000 -
879.96/883.97 c 884 2745510 662777 1 - 0.0000 -
885.04/889.02 c 889 2760818 668248 1 - 0.0000 -
890.02/894.07 c 894 2775398 674326 1 - 0.0000 -
895.10/899.12 c 899 2790289 681704 1 - 0.0000 -
900.08/904.17 c 904 2805071 688960 1 - 0.0000 -
905.14/909.22 c 909 2820058 695041 1 - 0.0000 -
910.12/914.27 c 914 2835534 700664 1 - 0.0000 -
915.21/919.32 c 919 2850332 706509 1 - 0.0000 -
920.18/924.37 c 924 2865998 712781 1 - 0.0000 -
925.25/929.42 c 929 2878091 720879 1 - 0.0000 -
930.23/934.47 c 934 2890314 729789 1 - 0.0000 -
935.32/939.52 c 940 2902923 738702 1 - 0.0000 -
940.28/944.57 c 945 2917077 746879 1 - 0.0000 -
945.37/949.62 c 950 2932178 752744 1 - 0.0000 -
950.35/954.67 c 955 2947950 758449 1 - 0.0000 -
955.42/959.72 c 960 2963286 763820 1 - 0.0000 -
960.39/964.77 c 965 2979758 768269 1 - 0.0000 -
965.48/969.82 c 970 2995901 772148 1 - 0.0000 -
970.45/974.87 c 975 3011838 777441 1 - 0.0000 -
975.53/979.92 c 980 3027586 782789 1 - 0.0000 -
980.51/984.97 c 985 3042327 787779 1 - 0.0000 -
985.59/990.02 c 990 3056849 793894 1 - 0.0000 -
990.56/995.07 c 995 3071207 800229 1 - 0.0000 -
995.64/1000.12 c 1000 3086604 806680 1 - 0.0000 -
1000.62/1005.17 c 1005 3103258 811907 1 - 0.0000 -
1005.69/1010.22 c 1010 3118406 817908 1 - 0.0000 -
1010.67/1015.27 c 1015 3134097 823361 1 - 0.0000 -
1015.75/1020.32 c 1020 3148059 829353 1 - 0.0000 -
1020.73/1025.37 c 1025 3163994 834297 1 - 0.0000 -
1025.80/1030.42 c 1030 3178483 840275 1 - 0.0000 -
1030.78/1035.47 c 1035 3194230 845565 1 - 0.0000 -
1035.85/1040.52 c 1041 3210157 850765 1 - 0.0000 -
1040.83/1045.57 c 1046 3225913 855544 1 - 0.0000 -
1045.91/1050.62 c 1051 3241599 862096 1 - 0.0000 -
1050.89/1055.67 c 1056 3257185 866382 1 - 0.0000 -
1055.96/1060.72 c 1061 3272823 871472 1 - 0.0000 -
1060.94/1065.77 c 1066 3287930 876265 1 - 0.0000 -
1066.02/1070.82 c 1071 3303521 882138 1 - 0.0000 -
1071.00/1075.87 c 1076 3318054 887268 1 - 0.0000 -
1076.07/1080.92 c 1081 3329813 896559 1 - 0.0000 -
1081.05/1085.97 c 1086 3342681 905476 1 - 0.0000 -
1086.13/1091.02 c 1091 3354475 914559 1 - 0.0000 -
1091.11/1096.07 c 1096 3367512 923519 1 - 0.0000 -
1096.18/1101.12 c 1101 3381195 932269 1 - 0.0000 -
1101.17/1106.17 c 1106 3395042 940175 1 - 0.0000 -
1106.23/1111.22 c 1111 3409201 948030 1 - 0.0000 -
1111.21/1116.27 c 1116 3423330 955558 1 - 0.0000 -
1116.29/1121.32 c 1121 3437511 963409 1 - 0.0000 -
1121.27/1126.37 c 1126 3451868 971221 1 - 0.0000 -
1126.34/1131.42 c 1131 3465283 979565 1 - 0.0000 -
1131.32/1136.47 c 1136 3480258 986263 1 - 0.0000 -
1136.40/1141.52 c 1142 3494860 992522 1 - 0.0000 -
1141.38/1146.57 c 1147 3508284 999725 1 - 0.0000 -
1146.45/1151.62 c 1152 3522094 1009272 1 - 0.0000 -
1151.43/1156.67 c 1157 3535599 1017590 1 - 0.0000 -
1156.51/1161.72 c 1162 3551483 1022457 1 - 0.0000 -
1161.48/1166.77 c 1167 3561720 1031891 1 - 0.0000 -
1166.56/1171.82 c 1172 3573238 1040978 1 - 0.0000 -
1171.55/1176.87 c 1177 3584893 1050542 1 - 0.0000 -
1176.62/1181.92 c 1182 3596671 1060683 1 - 0.0000 -
1181.60/1186.97 c 1187 3609444 1069339 1 - 0.0000 -
1186.68/1192.02 c 1192 3623073 1076012 1 - 0.0000 -
1191.66/1197.07 c 1197 3636819 1083653 1 - 0.0000 -
1196.73/1202.12 c 1202 3651373 1090461 1 - 0.0000 -
1201.72/1207.17 c 1207 3665450 1096837 1 - 0.0000 -
1206.79/1212.22 c 1212 3680157 1103751 1 - 0.0000 -
1211.75/1217.27 c 1217 3696961 1108458 1 - 0.0000 -
1216.84/1222.32 c 1222 3711120 1115177 1 - 0.0000 -
1221.81/1227.37 c 1227 3724684 1121842 1 - 0.0000 -
1226.89/1232.42 c 1232 3739410 1130380 1 - 0.0000 -
1231.87/1237.47 c 1237 3754570 1136363 1 - 0.0000 -
1236.95/1242.52 c 1243 3767829 1144182 1 - 0.0000 -
1241.92/1247.57 c 1248 3781583 1151793 1 - 0.0000 -
1246.99/1252.62 c 1253 3795259 1160443 1 - 0.0000 -
1251.97/1257.67 c 1258 3809968 1168020 1 - 0.0000 -
1257.04/1262.72 c 1263 3824271 1175324 1 - 0.0000 -
1262.01/1267.77 c 1268 3838124 1183480 1 - 0.0000 -
1267.08/1272.82 c 1273 3853293 1189789 1 - 0.0000 -
1272.05/1277.87 c 1278 3868019 1196762 1 - 0.0000 -
1277.12/1282.92 c 1283 3882667 1203328 1 - 0.0000 -
1282.10/1287.97 c 1288 3897398 1209696 1 - 0.0000 -
1287.17/1293.02 c 1293 3911756 1216614 1 - 0.0000 -
1292.14/1298.07 c 1298 3926918 1222104 1 - 0.0000 -
1297.22/1303.12 c 1303 3942887 1227989 1 - 0.0000 -
1302.18/1308.17 c 1308 3954098 1236444 1 - 0.0000 -
1307.25/1313.22 c 1313 3968345 1243564 1 - 0.0000 -
1312.22/1318.27 c 1318 3981273 1251867 1 - 0.0000 -
1317.29/1323.32 c 1323 3995950 1259223 1 - 0.0000 -
1322.26/1328.37 c 1328 4009679 1266402 1 - 0.0000 -
1327.33/1333.42 c 1333 4023954 1271617 1 - 0.0000 -
1332.30/1338.47 c 1338 4039967 1277645 1 - 0.0000 -
1337.38/1343.52 c 1344 4052126 1285411 1 - 0.0000 -
1342.35/1348.57 c 1349 4065337 1293808 1 - 0.0000 -
1347.41/1353.62 c 1354 4080235 1300996 1 - 0.0000 -
1352.39/1358.67 c 1359 4093349 1309172 1 - 0.0000 -
1357.46/1363.72 c 1364 4107452 1317144 1 - 0.0000 -
1362.43/1368.77 c 1369 4122519 1323359 1 - 0.0000 -
1367.50/1373.82 c 1374 4138917 1328795 1 - 0.0000 -
1372.47/1378.87 c 1379 4150923 1336472 1 - 0.0000 -
1377.55/1383.92 c 1384 4165988 1343450 1 - 0.0000 -
1382.52/1388.97 c 1389 4180278 1349680 1 - 0.0000 -
1387.59/1394.02 c 1394 4195787 1355578 1 - 0.0000 -
1392.56/1399.07 c 1399 4208973 1362177 1 - 0.0000 -
1397.63/1404.12 c 1404 4224443 1367654 1 - 0.0000 -
1402.60/1409.17 c 1409 4239430 1374086 1 - 0.0000 -
1407.67/1414.22 c 1414 4253213 1381211 1 - 0.0000 -
1412.64/1419.27 c 1419 4267609 1388442 1 - 0.0000 -
1417.71/1424.32 c 1424 4281432 1395891 1 - 0.0000 -
1422.68/1429.37 c 1429 4295283 1403613 1 - 0.0000 -
1427.75/1434.42 c 1434 4307049 1411538 1 - 0.0000 -
1432.72/1439.47 c 1439 4320430 1418449 1 - 0.0000 -
1437.79/1444.52 c 1445 4334341 1425601 1 - 0.0000 -
1442.77/1449.57 c 1450 4347011 1433546 1 - 0.0000 -
1447.84/1454.62 c 1455 4361547 1440436 1 - 0.0000 -
1452.80/1459.67 c 1460 4377497 1446648 1 - 0.0000 -
1457.87/1464.72 c 1465 4392927 1451306 1 - 0.0000 -
1462.85/1469.77 c 1470 4408301 1456695 1 - 0.0000 -
1467.92/1474.82 c 1475 4422963 1463266 1 - 0.0000 -
1472.89/1479.87 c 1480 4437054 1469411 1 - 0.0000 -
1477.96/1484.92 c 1485 4450123 1476164 1 - 0.0000 -
1482.93/1489.97 c 1490 4464289 1482034 1 - 0.0000 -
1488.00/1495.02 c 1495 4478857 1487505 1 - 0.0000 -
1492.97/1500.07 c 1500 4493728 1493943 1 - 0.0000 -
1498.05/1505.12 c 1505 4507060 1501371 1 - 0.0000 -
1503.04/1510.17 c 1510 4520375 1508654 1 - 0.0000 -
1508.10/1515.22 c 1515 4536443 1512828 1 - 0.0000 -
1513.08/1520.27 c 1520 4551880 1518472 1 - 0.0000 -
1518.17/1525.32 c 1525 4567127 1523829 1 - 0.0000 -
1523.14/1530.37 c 1530 4582154 1529063 1 - 0.0000 -
1528.22/1535.42 c 1535 4595322 1534550 1 - 0.0000 -
1533.20/1540.47 c 1540 4609408 1540075 1 - 0.0000 -
1538.27/1545.52 c 1546 4621605 1548814 1 - 0.0000 -
1543.25/1550.57 c 1551 4635183 1555754 1 - 0.0000 -
1548.32/1555.62 c 1556 4648049 1564092 1 - 0.0000 -
1553.31/1560.67 c 1561 4660951 1571696 1 - 0.0000 -
1558.38/1565.72 c 1566 4674555 1577593 1 - 0.0000 -
1563.36/1570.77 c 1571 4687840 1584181 1 - 0.0000 -
1568.43/1575.82 c 1576 4700617 1592112 1 - 0.0000 -
1573.41/1580.87 c 1581 4714541 1597983 1 - 0.0000 -
1578.49/1585.92 c 1586 4728329 1604815 1 - 0.0000 -
1583.47/1590.97 c 1591 4741030 1612666 1 - 0.0000 -
1588.55/1596.02 c 1596 4753883 1620430 1 - 0.0000 -
1593.53/1601.07 c 1601 4767331 1626993 1 - 0.0000 -
1598.60/1606.12 c 1606 4782178 1632359 1 - 0.0000 -
1603.57/1611.17 c 1611 4796811 1637585 1 - 0.0000 -
1608.65/1616.22 c 1616 4810299 1644132 1 - 0.0000 -
1613.62/1621.27 c 1621 4824987 1651375 1 - 0.0000 -
1618.71/1626.32 c 1626 4836956 1658731 1 - 0.0000 -
1623.68/1631.37 c 1631 4850427 1664540 1 - 0.0000 -
1628.76/1636.42 c 1636 4864193 1670216 1 - 0.0000 -
1633.74/1641.47 c 1641 4879309 1675247 1 - 0.0000 -
1638.81/1646.52 c 1647 4893617 1680896 1 - 0.0000 -
1643.79/1651.57 c 1652 4906601 1687411 1 - 0.0000 -
1648.86/1656.62 c 1657 4918700 1694931 1 - 0.0000 -
1653.84/1661.67 c 1662 4933039 1699866 1 - 0.0000 -
1658.92/1666.72 c 1667 4947295 1705222 1 - 0.0000 -
1663.89/1671.77 c 1672 4961980 1711009 1 - 0.0000 -
1668.96/1676.82 c 1677 4975431 1716375 1 - 0.0000 -
1673.95/1681.87 c 1682 4989348 1722211 1 - 0.0000 -
1679.02/1686.92 c 1687 5004215 1727873 1 - 0.0000 -
1683.99/1691.97 c 1692 5018309 1734046 1 - 0.0000 -
1689.08/1697.02 c 1697 5034162 1738712 1 - 0.0000 -
1694.06/1702.07 c 1702 5048253 1743790 1 - 0.0000 -
1699.14/1707.12 c 1707 5062719 1749036 1 - 0.0000 -
1704.11/1712.17 c 1712 5076314 1755725 1 - 0.0000 -
1709.18/1717.22 c 1717 5090737 1760575 1 - 0.0000 -
1714.16/1722.27 c 1722 5104538 1767642 1 - 0.0000 -
1719.23/1727.32 c 1727 5118457 1773937 1 - 0.0000 -
1724.21/1732.37 c 1732 5133961 1778858 1 - 0.0000 -
1729.29/1737.42 c 1737 5147543 1783908 1 - 0.0000 -
1734.26/1742.47 c 1742 5161074 1790349 1 - 0.0000 -
1739.34/1747.52 c 1748 5175994 1796466 1 - 0.0000 -
1744.32/1752.57 c 1753 5191147 1801606 1 - 0.0000 -
1749.40/1757.62 c 1758 5206311 1806688 1 - 0.0000 -
1754.37/1762.67 c 1763 5220164 1812919 1 - 0.0000 -
1759.45/1767.72 c 1768 5233082 1819046 1 - 0.0000 -
1764.42/1772.77 c 1773 5247213 1824583 1 - 0.0000 -
1769.50/1777.82 c 1778 5262128 1831280 1 - 0.0000 -
1774.47/1782.87 c 1783 5277301 1835591 1 - 0.0000 -
1779.56/1787.92 c 1788 5292220 1840551 1 - 0.0000 -
1784.53/1792.97 c 1793 5307691 1845285 1 - 0.0000 -
1789.61/1798.02 c 1798 5322284 1850913 1 - 0.0000 -
1794.59/1803.07 c 1803 5337297 1857145 1 - 0.0000 -
1799.66/1808.12 c 1808 5352184 1861677 1 - 0.0000 -
1804.63/1813.17 c 1813 5367980 1866054 1 - 0.0000 -
1809.71/1818.22 c 1818 5382762 1870544 1 - 0.0000 -
1814.68/1823.27 c 1823 5397022 1875375 1 - 0.0000 -
1819.77/1828.32 c 1828 5409380 1881382 1 - 0.0000 -
1824.74/1833.37 c 1833 5422999 1887405 1 - 0.0000 -
1829.81/1838.42 c 1838 5437297 1893492 1 - 0.0000 -
1834.80/1843.47 c 1843 5451443 1899067 1 - 0.0000 -
1839.86/1848.52 c 1849 5465498 1903814 1 - 0.0000 -
1844.85/1853.57 c 1854 5480538 1908357 1 - 0.0000 -
1849.92/1858.62 c 1859 5494937 1914017 1 - 0.0000 -
1854.90/1863.67 c 1864 5510087 1919206 1 - 0.0000 -
1859.98/1868.72 c 1869 5524435 1925165 1 - 0.0000 -
1864.95/1873.77 c 1874 5537727 1931529 1 - 0.0000 -
1870.03/1878.82 c 1879 5551374 1937295 1 - 0.0000 -
1875.00/1883.87 c 1884 5566657 1941655 1 - 0.0000 -
1880.08/1888.92 c 1889 5580915 1947341 1 - 0.0000 -
1885.06/1893.97 c 1894 5595629 1952229 1 - 0.0000 -
1890.14/1899.02 c 1899 5610367 1956972 1 - 0.0000 -
1895.12/1904.07 c 1904 5623571 1964406 1 - 0.0000 -
1900.19/1909.12 c 1909 5636994 1971609 1 - 0.0000 -
1905.17/1914.17 c 1914 5651011 1977333 1 - 0.0000 -
1910.24/1919.22 c 1919 5665158 1984052 1 - 0.0000 -
1915.22/1924.27 c 1924 5679665 1988340 1 - 0.0000 -
1920.30/1929.32 c 1929 5694024 1993687 1 - 0.0000 -
1925.27/1934.37 c 1934 5708610 1999461 1 - 0.0000 -
1930.35/1939.42 c 1939 5722034 2006764 1 - 0.0000 -
1935.32/1944.47 c 1944 5736133 2012671 1 - 0.0000 -
1940.40/1949.52 c 1950 5750721 2016865 1 - 0.0000 -
1945.38/1954.57 c 1955 5764878 2022092 1 - 0.0000 -
1950.45/1959.62 c 1960 5778669 2027539 1 - 0.0000 -
1955.43/1964.67 c 1965 5792916 2033728 1 - 0.0000 -
1960.51/1969.72 c 1970 5808193 2038954 1 - 0.0000 -
1965.48/1974.77 c 1975 5822248 2043699 1 - 0.0000 -
1970.56/1979.82 c 1980 5836680 2049717 1 - 0.0000 -
1975.54/1984.87 c 1985 5849928 2055257 1 - 0.0000 -
1980.62/1989.92 c 1990 5864468 2060090 1 - 0.0000 -
1985.58/1994.97 c 1995 5877457 2066643 1 - 0.0000 -
1990.67/2000.02 c 2000 5891164 2072887 1 - 0.0000 -
1995.64/2005.07 c 2005 5905544 2078675 1 - 0.0000 -
2000.72/2010.12 c 2010 5919668 2084129 1 - 0.0000 -
2005.70/2015.17 c 2015 5934267 2088510 1 - 0.0000 -
2010.77/2020.22 c 2020 5949177 2094034 1 - 0.0000 -
2015.75/2025.27 c 2025 5961951 2100032 1 - 0.0000 -
2020.82/2030.32 c 2030 5975514 2107158 1 - 0.0000 -
2025.80/2035.37 c 2035 5989588 2113862 1 - 0.0000 -
2030.88/2040.42 c 2040 6004436 2119181 1 - 0.0000 -
2035.85/2045.47 c 2045 6018912 2124302 1 - 0.0000 -
2040.93/2050.51 c 2051 6033221 2130225 1 - 0.0000 -
2045.91/2055.56 c 2056 6045697 2137633 1 - 0.0000 -
2050.98/2060.61 c 2061 6058391 2144726 1 - 0.0000 -
2055.96/2065.66 c 2066 6069811 2152907 1 - 0.0000 -
2061.03/2070.71 c 2071 6081354 2162126 1 - 0.0000 -
2066.01/2075.76 c 2076 6092901 2171297 1 - 0.0000 -
2071.09/2080.81 c 2081 6104982 2179840 1 - 0.0000 -
2076.07/2085.86 c 2086 6116527 2188333 1 - 0.0000 -
2081.15/2090.91 c 2091 6129228 2195667 1 - 0.0000 -
2086.13/2095.96 c 2096 6142620 2202988 1 - 0.0000 -
2091.20/2101.01 c 2101 6155934 2210578 1 - 0.0000 -
2096.18/2106.06 c 2106 6168636 2218081 1 - 0.0000 -
2101.26/2111.11 c 2111 6182333 2225820 1 - 0.0000 -
2106.24/2116.16 c 2116 6195095 2232988 1 - 0.0000 -
2111.31/2121.21 c 2121 6207718 2240716 1 - 0.0000 -
2116.29/2126.26 c 2126 6221054 2247266 1 - 0.0000 -
2121.36/2131.31 c 2131 6233507 2255218 1 - 0.0000 -
2126.34/2136.36 c 2136 6246808 2260919 1 - 0.0000 -
2131.42/2141.41 c 2141 6260152 2267001 1 - 0.0000 -
2136.40/2146.46 c 2146 6273190 2274036 1 - 0.0000 -
2141.47/2151.51 c 2152 6287619 2279199 1 - 0.0000 -
2146.45/2156.56 c 2157 6301048 2285137 1 - 0.0000 -
2151.54/2161.61 c 2162 6314106 2292176 1 - 0.0000 -
2156.51/2166.66 c 2167 6327399 2298198 1 - 0.0000 -
2161.58/2171.71 c 2172 6340998 2304333 1 - 0.0000 -
2166.57/2176.76 c 2177 6354599 2310605 1 - 0.0000 -
2171.65/2181.81 c 2182 6367095 2318630 1 - 0.0000 -
2176.63/2186.86 c 2187 6380416 2326611 1 - 0.0000 -
2181.70/2191.91 c 2192 6392811 2334333 1 - 0.0000 -
2186.68/2196.96 c 2197 6406090 2341071 1 - 0.0000 -
2191.77/2202.01 c 2202 6418773 2349523 1 - 0.0000 -
2196.74/2207.06 c 2207 6432523 2355995 1 - 0.0000 -
2201.82/2212.11 c 2212 6445582 2363701 1 - 0.0000 -
2206.79/2217.16 c 2217 6459688 2369339 1 - 0.0000 -
2211.87/2222.21 c 2222 6471994 2376675 1 - 0.0000 -
2216.84/2227.26 c 2227 6484864 2385715 1 - 0.0000 -
2221.93/2232.31 c 2232 6499784 2391422 1 - 0.0000 -
2226.91/2237.36 c 2237 6512459 2398451 1 - 0.0000 -
2231.98/2242.41 c 2242 6523855 2406987 1 - 0.0000 -
2236.96/2247.46 c 2247 6537929 2414059 1 - 0.0000 -
2242.04/2252.51 c 2253 6553259 2419414 1 - 0.0000 -
2247.02/2257.56 c 2258 6569159 2424132 1 - 0.0000 -
2252.09/2262.61 c 2263 6583142 2430117 1 - 0.0000 -
2257.08/2267.66 c 2268 6597731 2435526 1 - 0.0000 -
2262.15/2272.71 c 2273 6611344 2441503 1 - 0.0000 -
2267.13/2277.76 c 2278 6622706 2447473 1 - 0.0000 -
2272.21/2282.81 c 2283 6634538 2455531 1 - 0.0000 -
2277.19/2287.86 c 2288 6646461 2463869 1 - 0.0000 -
2282.26/2292.91 c 2293 6659208 2471026 1 - 0.0000 -
2287.25/2297.96 c 2298 6671071 2478772 1 - 0.0000 -
2292.32/2303.01 c 2303 6684473 2486433 1 - 0.0000 -
2297.30/2308.06 c 2308 6699467 2492454 1 - 0.0000 -
2302.38/2313.11 c 2313 6712231 2499705 1 - 0.0000 -
2307.35/2318.16 c 2318 6723359 2508434 1 - 0.0000 -
2312.43/2323.21 c 2323 6735566 2516761 1 - 0.0000 -
2317.41/2328.26 c 2328 6749139 2522395 1 - 0.0000 -
2322.48/2333.31 c 2333 6763332 2528635 1 - 0.0000 -
2327.46/2338.36 c 2338 6775545 2536139 1 - 0.0000 -
2332.54/2343.41 c 2343 6788533 2542266 1 - 0.0000 -
2337.51/2348.46 c 2348 6802976 2547357 1 - 0.0000 -
2342.60/2353.51 c 2354 6815042 2555173 1 - 0.0000 -
2347.57/2358.56 c 2359 6827463 2563787 1 - 0.0000 -
2352.65/2363.61 c 2364 6840392 2572035 1 - 0.0000 -
2357.63/2368.66 c 2369 6852986 2580561 1 - 0.0000 -
2362.71/2373.71 c 2374 6867023 2587622 1 - 0.0000 -
2367.69/2378.76 c 2379 6880907 2593124 1 - 0.0000 -
2372.77/2383.81 c 2384 6894648 2600668 1 - 0.0000 -
2377.74/2388.86 c 2389 6908376 2607938 1 - 0.0000 -
2382.81/2393.91 c 2394 6922356 2614349 1 - 0.0000 -
2387.80/2398.96 c 2399 6937893 2620531 1 - 0.0000 -
2392.88/2404.01 c 2404 6949900 2626993 1 - 0.0000 -
2397.86/2409.06 c 2409 6963546 2633512 1 - 0.0000 -
2402.93/2414.11 c 2414 6976193 2640680 1 - 0.0000 -
2407.92/2419.16 c 2419 6989277 2647883 1 - 0.0000 -
2412.99/2424.21 c 2424 7002862 2653781 1 - 0.0000 -
2417.96/2429.26 c 2429 7016395 2659114 1 - 0.0000 -
2423.04/2434.31 c 2434 7028606 2667221 1 - 0.0000 -
2428.02/2439.36 c 2439 7041918 2672928 1 - 0.0000 -
2433.09/2444.41 c 2444 7055010 2679584 1 - 0.0000 -
2438.08/2449.46 c 2449 7069178 2685925 1 - 0.0000 -
2443.16/2454.51 c 2455 7083939 2691760 1 - 0.0000 -
2448.13/2459.56 c 2460 7096523 2697858 1 - 0.0000 -
2453.21/2464.61 c 2465 7108850 2703457 1 - 0.0000 -
2458.19/2469.66 c 2470 7122638 2708965 1 - 0.0000 -
2463.26/2474.71 c 2475 7137968 2714534 1 - 0.0000 -
2468.24/2479.76 c 2480 7152242 2721614 1 - 0.0000 -
2473.32/2484.81 c 2485 7164902 2727545 1 - 0.0000 -
2478.29/2489.86 c 2490 7177220 2734636 1 - 0.0000 -
2483.37/2494.91 c 2495 7190890 2740468 1 - 0.0000 -
2488.35/2499.96 c 2500 7203740 2747067 1 - 0.0000 -
2493.43/2505.01 c 2505 7217115 2754142 1 - 0.0000 -
2498.41/2510.06 c 2510 7229956 2761192 1 - 0.0000 -
2503.49/2515.11 c 2515 7243099 2767566 1 - 0.0000 -
2508.47/2520.16 c 2520 7256023 2773059 1 - 0.0000 -
2513.54/2525.21 c 2525 7269134 2779575 1 - 0.0000 -
2518.51/2530.26 c 2530 7281571 2786454 1 - 0.0000 -
2523.60/2535.31 c 2535 7294084 2793067 1 - 0.0000 -
2528.58/2540.36 c 2540 7306745 2800651 1 - 0.0000 -
2533.66/2545.41 c 2545 7319478 2807489 1 - 0.0000 -
2538.63/2550.46 c 2550 7332184 2814571 1 - 0.0000 -
2543.71/2555.51 c 2556 7345049 2821186 1 - 0.0000 -
2548.68/2560.56 c 2561 7357525 2828497 1 - 0.0000 -
2553.76/2565.61 c 2566 7370120 2835992 1 - 0.0000 -
2558.74/2570.66 c 2571 7384076 2840959 1 - 0.0000 -
2563.82/2575.71 c 2576 7398556 2845982 1 - 0.0000 -
2568.79/2580.76 c 2581 7411710 2852153 1 - 0.0000 -
2573.87/2585.81 c 2586 7425183 2858567 1 - 0.0000 -
2578.86/2590.86 c 2591 7438186 2865523 1 - 0.0000 -
2583.93/2595.91 c 2596 7451762 2871945 1 - 0.0000 -
2588.91/2600.96 c 2601 7464648 2879339 1 - 0.0000 -
2593.99/2606.01 c 2606 7477747 2886242 1 - 0.0000 -
2598.97/2611.06 c 2611 7491042 2892841 1 - 0.0000 -
2604.05/2616.11 c 2616 7504448 2899271 1 - 0.0000 -
2609.02/2621.16 c 2621 7517673 2907942 1 - 0.0000 -
2614.10/2626.21 c 2626 7530424 2914249 1 - 0.0000 -
2619.07/2631.26 c 2631 7543925 2920799 1 - 0.0000 -
2624.16/2636.31 c 2636 7557757 2927377 1 - 0.0000 -
2629.13/2641.36 c 2641 7572031 2933499 1 - 0.0000 -
2634.21/2646.41 c 2646 7584169 2941342 1 - 0.0000 -
2639.18/2651.46 c 2651 7597189 2949542 1 - 0.0000 -
2644.26/2656.51 c 2657 7610503 2955247 1 - 0.0000 -
2649.23/2661.56 c 2662 7624324 2961012 1 - 0.0000 -
2654.31/2666.61 c 2667 7637948 2966476 1 - 0.0000 -
2659.29/2671.66 c 2672 7651305 2973251 1 - 0.0000 -
2664.37/2676.71 c 2677 7664918 2978238 1 - 0.0000 -
2669.34/2681.76 c 2682 7679372 2981960 1 - 0.0000 -
2674.42/2686.81 c 2687 7694127 2984900 1 - 0.0000 -
2679.40/2691.86 c 2692 7708769 2988771 1 - 0.0000 -
2684.47/2696.91 c 2697 7722341 2992576 1 - 0.0000 -
2689.45/2701.96 c 2702 7735441 2997853 1 - 0.0000 -
2694.52/2707.01 c 2707 7749708 3002255 1 - 0.0000 -
2699.50/2712.06 c 2712 7763888 3007336 1 - 0.0000 -
2704.58/2717.11 c 2717 7778235 3011241 1 - 0.0000 -
2709.55/2722.16 c 2722 7791916 3015901 1 - 0.0000 -
2714.62/2727.21 c 2727 7806352 3020262 1 - 0.0000 -
2719.60/2732.26 c 2732 7820588 3024283 1 - 0.0000 -
2724.68/2737.31 c 2737 7834189 3028440 1 - 0.0000 -
2729.65/2742.36 c 2742 7847764 3033102 1 - 0.0000 -
2734.74/2747.41 c 2747 7861167 3038601 1 - 0.0000 -
2739.71/2752.46 c 2752 7875710 3042735 1 - 0.0000 -
2744.79/2757.51 c 2758 7889760 3046624 1 - 0.0000 -
2749.77/2762.56 c 2763 7905383 3050740 1 - 0.0000 -
2754.84/2767.61 c 2768 7919995 3055221 1 - 0.0000 -
2759.81/2772.66 c 2773 7934017 3060178 1 - 0.0000 -
2764.89/2777.71 c 2778 7945985 3066320 1 - 0.0000 -
2769.87/2782.76 c 2783 7958011 3072961 1 - 0.0000 -
2774.94/2787.81 c 2788 7972984 3076408 1 - 0.0000 -
2779.92/2792.86 c 2793 7986696 3081602 1 - 0.0000 -
2785.00/2797.91 c 2798 8000874 3085430 1 - 0.0000 -
2789.97/2802.96 c 2803 8014354 3090474 1 - 0.0000 -
2795.06/2808.01 c 2808 8027907 3094625 1 - 0.0000 -
2800.03/2813.06 c 2813 8041680 3098988 1 - 0.0000 -
2805.11/2818.11 c 2818 8055195 3103930 1 - 0.0000 -
2810.08/2823.16 c 2823 8069748 3108305 1 - 0.0000 -
2815.16/2828.21 c 2828 8084265 3111703 1 - 0.0000 -
2820.13/2833.26 c 2833 8098840 3115464 1 - 0.0000 -
2825.21/2838.31 c 2838 8112766 3119766 1 - 0.0000 -
2830.18/2843.36 c 2843 8127169 3124943 1 - 0.0000 -
2835.26/2848.41 c 2848 8141774 3129776 1 - 0.0000 -
2840.24/2853.46 c 2853 8155318 3134559 1 - 0.0000 -
2845.31/2858.51 c 2859 8167513 3140763 1 - 0.0000 -
2850.29/2863.56 c 2864 8181647 3145729 1 - 0.0000 -
2855.37/2868.61 c 2869 8195249 3150681 1 - 0.0000 -
2860.34/2873.66 c 2874 8209123 3154711 1 - 0.0000 -
2865.42/2878.71 c 2879 8222734 3160330 1 - 0.0000 -
2870.39/2883.76 c 2884 8235491 3165143 1 - 0.0000 -
2875.48/2888.81 c 2889 8248596 3170202 1 - 0.0000 -
2880.45/2893.86 c 2894 8263283 3174207 1 - 0.0000 -
2885.53/2898.91 c 2899 8277360 3178251 1 - 0.0000 -
2890.51/2903.96 c 2904 8291356 3182133 1 - 0.0000 -
2895.58/2909.01 c 2909 8306099 3186465 1 - 0.0000 -
2900.56/2914.06 c 2914 8320329 3190711 1 - 0.0000 -
2905.63/2919.11 c 2919 8332464 3196400 1 - 0.0000 -
2910.62/2924.16 c 2924 8344805 3201298 1 - 0.0000 -
2915.69/2929.21 c 2929 8356802 3207163 1 - 0.0000 -
2920.66/2934.26 c 2934 8370648 3211719 1 - 0.0000 -
2925.75/2939.31 c 2939 8384845 3215848 1 - 0.0000 -
2930.72/2944.36 c 2944 8399760 3220607 1 - 0.0000 -
2935.80/2949.41 c 2949 8413830 3223204 1 - 0.0000 -
2940.77/2954.46 c 2954 8426695 3228425 1 - 0.0000 -
2945.85/2959.51 c 2960 8440127 3232795 1 - 0.0000 -
2950.83/2964.56 c 2965 8453048 3237641 1 - 0.0000 -
2955.91/2969.61 c 2970 8467262 3240966 1 - 0.0000 -
2960.89/2974.66 c 2975 8481469 3244228 1 - 0.0000 -
2965.97/2979.71 c 2980 8495914 3247377 1 - 0.0000 -
2970.95/2984.76 c 2985 8509499 3251752 1 - 0.0000 -
2976.02/2989.81 c 2990 8521243 3256026 1 - 0.0000 -
2981.00/2994.86 c 2995 8530981 3262367 1 - 0.0000 -
2986.08/2999.91 c 3000 8542719 3269510 1 - 0.0000 -
2991.06/3004.96 c 3005 8553798 3275534 1 - 0.0000 -
2996.13/3010.01 c 3010 8567551 3281100 1 - 0.0000 -
3001.12/3015.06 c 3015 8581058 3285480 1 - 0.0000 -
3006.20/3020.11 c 3020 8592948 3291369 1 - 0.0000 -
3011.17/3025.16 c 3025 8605989 3296374 1 - 0.0000 -
3016.24/3030.21 c 3030 8619135 3301318 1 - 0.0000 -
3021.22/3035.26 c 3035 8631710 3306417 1 - 0.0000 -
3026.30/3040.31 c 3040 8644985 3313152 1 - 0.0000 -
3031.28/3045.36 c 3045 8658744 3318593 1 - 0.0000 -
3036.35/3050.41 c 3050 8671251 3323087 1 - 0.0000 -
3041.33/3055.46 c 3055 8685449 3326599 1 - 0.0000 -
3046.40/3060.51 c 3061 8699567 3330746 1 - 0.0000 -
3051.38/3065.56 c 3066 8713109 3334946 1 - 0.0000 -
3056.46/3070.61 c 3071 8726710 3338409 1 - 0.0000 -
3061.44/3075.66 c 3076 8740378 3342797 1 - 0.0000 -
3066.52/3080.71 c 3081 8754693 3346282 1 - 0.0000 -
3071.49/3085.76 c 3086 8768458 3350829 1 - 0.0000 -
3076.57/3090.81 c 3091 8782149 3355217 1 - 0.0000 -
3081.55/3095.86 c 3096 8795708 3359144 1 - 0.0000 -
3086.63/3100.91 c 3101 8810022 3362249 1 - 0.0000 -
3091.60/3105.96 c 3106 8823688 3365830 1 - 0.0000 -
3096.68/3111.01 c 3111 8837032 3369594 1 - 0.0000 -
3101.65/3116.06 c 3116 8850898 3373181 1 - 0.0000 -
3106.73/3121.11 c 3121 8865298 3377062 1 - 0.0000 -
3111.69/3126.16 c 3126 8879886 3379905 1 - 0.0000 -
3116.76/3131.21 c 3131 8893544 3384120 1 - 0.0000 -
3121.73/3136.26 c 3136 8907578 3388255 1 - 0.0000 -
3126.80/3141.31 c 3141 8921465 3392041 1 - 0.0000 -
3131.77/3146.36 c 3146 8935345 3395531 1 - 0.0000 -
3136.84/3151.41 c 3151 8949188 3398510 1 - 0.0000 -
3141.82/3156.46 c 3156 8963394 3401795 1 - 0.0000 -
3146.89/3161.53 c 3162 8976134 3406864 1 - 0.0000 -
3151.85/3166.58 c 3167 8991036 3409340 1 - 0.0000 -
3156.93/3171.63 c 3172 9004416 3414145 1 - 0.0000 -
3161.90/3176.68 c 3177 9017743 3417806 1 - 0.0000 -
3166.97/3181.73 c 3182 9031235 3421472 1 - 0.0000 -
3171.94/3186.78 c 3187 9043442 3425877 1 - 0.0000 -
3177.01/3191.83 c 3192 9056841 3430956 1 - 0.0000 -
3181.98/3196.88 c 3197 9069492 3435621 1 - 0.0000 -
3187.05/3201.93 c 3202 9081900 3440492 1 - 0.0000 -
3192.02/3206.98 c 3207 9095324 3444653 1 - 0.0000 -
3197.09/3212.03 c 3212 9109350 3448104 1 - 0.0000 -
3202.08/3217.08 c 3217 9123910 3452020 1 - 0.0000 -
3207.15/3222.13 c 3222 9137438 3456355 1 - 0.0000 -
3212.13/3227.18 c 3227 9150485 3461349 1 - 0.0000 -
3217.20/3232.23 c 3232 9164629 3465689 1 - 0.0000 -
3222.18/3237.28 c 3237 9178519 3470091 1 - 0.0000 -
3227.25/3242.33 c 3242 9190776 3474427 1 - 0.0000 -
3232.23/3247.38 c 3247 9203174 3480413 1 - 0.0000 -
3237.31/3252.43 c 3252 9216372 3485289 1 - 0.0000 -
3242.28/3257.48 c 3257 9229383 3490608 1 - 0.0000 -
3247.36/3262.53 c 3263 9243886 3494106 1 - 0.0000 -
3252.34/3267.58 c 3268 9257747 3498632 1 - 0.0000 -
3257.42/3272.63 c 3273 9271926 3502714 1 - 0.0000 -
3262.40/3277.68 c 3278 9285228 3506789 1 - 0.0000 -
3267.47/3282.73 c 3283 9299596 3510852 1 - 0.0000 -
3272.44/3287.78 c 3288 9312975 3515509 1 - 0.0000 -
3277.52/3292.83 c 3293 9326066 3520702 1 - 0.0000 -
3282.50/3297.88 c 3298 9339644 3525921 1 - 0.0000 -
3287.58/3302.93 c 3303 9353533 3530386 1 - 0.0000 -
3292.55/3307.98 c 3308 9366778 3534678 1 - 0.0000 -
3297.63/3313.03 c 3313 9380303 3540152 1 - 0.0000 -
3302.61/3318.08 c 3318 9394620 3544695 1 - 0.0000 -
3307.69/3323.13 c 3323 9407354 3549781 1 - 0.0000 -
3312.67/3328.18 c 3328 9420957 3554146 1 - 0.0000 -
3317.74/3333.23 c 3333 9435174 3557508 1 - 0.0000 -
3322.71/3338.28 c 3338 9447553 3562262 1 - 0.0000 -
3327.80/3343.33 c 3343 9459549 3570348 1 - 0.0000 -
3332.77/3348.38 c 3348 9474969 3576035 1 - 0.0000 -
3337.85/3353.43 c 3353 9488697 3583715 1 - 0.0000 -
3342.83/3358.48 c 3358 9503207 3590817 1 - 0.0000 -
3347.90/3363.53 c 3364 9518160 3593039 1 - 0.0000 -
3352.88/3368.58 c 3369 9531644 3596116 1 - 0.0000 -
3357.96/3373.63 c 3374 9545347 3599397 1 - 0.0000 -
3362.93/3378.68 c 3379 9559429 3603236 1 - 0.0000 -
3368.01/3383.73 c 3384 9572888 3608166 1 - 0.0000 -
3372.99/3388.78 c 3389 9586908 3612649 1 - 0.0000 -
3378.07/3393.83 c 3394 9601114 3616109 1 - 0.0000 -
3383.04/3398.88 c 3399 9615018 3621021 1 - 0.0000 -
3388.11/3403.93 c 3404 9628711 3625170 1 - 0.0000 -
3393.10/3408.98 c 3409 9643180 3629100 1 - 0.0000 -
3398.18/3414.03 c 3414 9656562 3632301 1 - 0.0000 -
3403.15/3419.08 c 3419 9670593 3635741 1 - 0.0000 -
3408.24/3424.13 c 3424 9684527 3639620 1 - 0.0000 -
3413.20/3429.18 c 3429 9698626 3642796 1 - 0.0000 -
3418.27/3434.23 c 3434 9712684 3646260 1 - 0.0000 -
3423.25/3439.28 c 3439 9724623 3652199 1 - 0.0000 -
3428.32/3444.33 c 3444 9738458 3656326 1 - 0.0000 -
3433.29/3449.38 c 3449 9751781 3660908 1 - 0.0000 -
3438.37/3454.43 c 3454 9763928 3665667 1 - 0.0000 -
3443.34/3459.48 c 3459 9778628 3668765 1 - 0.0000 -
3448.41/3464.53 c 3465 9792728 3672122 1 - 0.0000 -
3453.38/3469.58 c 3470 9805659 3676984 1 - 0.0000 -
3458.45/3474.63 c 3475 9819698 3682011 1 - 0.0000 -
3463.42/3479.68 c 3480 9832478 3687251 1 - 0.0000 -
3468.49/3484.73 c 3485 9844363 3691683 1 - 0.0000 -
3473.46/3489.78 c 3490 9858235 3696082 1 - 0.0000 -
3478.53/3494.83 c 3495 9867920 3701486 1 - 0.0000 -
3483.51/3499.88 c 3500 9880962 3706330 1 - 0.0000 -
3488.58/3504.93 c 3505 9892215 3712381 1 - 0.0000 -
3493.55/3509.98 c 3510 9902928 3718934 1 - 0.0000 -
3498.62/3515.03 c 3515 9916443 3724261 1 - 0.0000 -
3503.60/3520.08 c 3520 9923979 3729640 1 - 0.0000 -
3508.68/3525.13 c 3525 9931742 3735102 1 - 0.0000 -
3513.66/3530.18 c 3530 9942672 3740595 1 - 0.0000 -
3518.73/3535.23 c 3535 9951792 3746282 1 - 0.0000 -
3523.71/3540.28 c 3540 9961924 3751995 1 - 0.0000 -
3528.79/3545.33 c 3545 9972775 3756801 1 - 0.0000 -
3533.77/3550.38 c 3550 9985409 3761043 1 - 0.0000 -
3538.84/3555.43 c 3555 9997057 3765717 1 - 0.0000 -
3543.82/3560.48 c 3560 10009528 3770640 1 - 0.0000 -
3548.89/3565.53 c 3566 10022128 3775223 1 - 0.0000 -
3553.87/3570.58 c 3571 10035937 3778668 1 - 0.0000 -
3558.95/3575.63 c 3576 10048101 3783060 1 - 0.0000 -
3563.93/3580.68 c 3581 10061334 3787522 1 - 0.0000 -
3569.00/3585.73 c 3586 10074718 3791156 1 - 0.0000 -
3573.98/3590.78 c 3591 10088529 3794406 1 - 0.0000 -
3579.05/3595.83 c 3596 10103208 3798705 1 - 0.0000 -
3589.02/3605.84 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.02/3605.84 c Total Time : 3605.8400
3589.02/3605.84 c solving : 3605.8400
3589.02/3605.84 c presolving : 0.0031 (included in solving)
3589.02/3605.84 c B&B Tree :
3589.02/3605.84 c nodes (total) : 1
3589.02/3605.84 c Solution :
3589.02/3605.84 c Solutions found : 0
3589.02/3605.84 c Primal Bound : -
3589.02/3605.84 c Dual Bound : +0.00000000000000e+00
3589.02/3605.84 c Gap : -
3589.12/3605.92 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 (54414 MiB free)
memory of node 1: 64473 MiB (56676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464552-1722385801/watcher-4464552-1722385801 -o /tmp/evaluation-result-4464552-1722385801/solver-4464552-1722385801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722378597-30623 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464552-1722385801.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=36578, runsolver pid=36575
[startup+0.100068 s]*
/proc/loadavg: 4.13 4.14 4.11 5/269 36581
/proc/meminfo: memFree=113746088/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=107372 memory=23512 CPUtime=0.09 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 3293 0 0 0 9 0 0 0 20 0 3 0 5184446 109948928 5878 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 26843 5878 2950 3035 0 9163 0
[pid=36578/tid=36580] ppid=36575 vsize=107372 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 1972 0 0 0 9 0 0 0 20 0 3 0 5184447 109948928 5878 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=107372 memory=237146210664 CPUtime=0 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184447 109948928 5878 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 107372 KiB
Current children cumulated memory: 23512 KiB
[startup+0.205806 s]*
/proc/loadavg: 4.13 4.14 4.11 5/269 36581
/proc/meminfo: memFree=113741552/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=107372 memory=26212 CPUtime=0.2 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 3956 0 0 0 19 1 0 0 20 0 3 0 5184446 109948928 6553 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 26843 6553 2966 3035 0 9953 0
[pid=36578/tid=36580] ppid=36575 vsize=107372 memory=664970838410264707 CPUtime=0.19 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 2627 0 0 0 19 0 0 0 20 0 3 0 5184447 109948928 6553 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=107372 memory=18004 CPUtime=0 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184447 109948928 6553 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107372 KiB
Current children cumulated memory: 26212 KiB
[startup+0.305784 s]*
/proc/loadavg: 4.13 4.14 4.11 5/269 36583
/proc/meminfo: memFree=113740696/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=107372 memory=26740 CPUtime=0.3 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 4045 0 0 0 29 1 0 0 20 0 3 0 5184446 109948928 6685 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 26843 6685 2966 3035 0 9953 0
[pid=36578/tid=36580] ppid=36575 vsize=107372 memory=-5155630184919362437 CPUtime=0.29 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 2716 0 0 0 29 0 0 0 20 0 3 0 5184447 109948928 6685 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=107372 memory=0 CPUtime=0 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184447 109948928 6685 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107372 KiB
Current children cumulated memory: 26740 KiB
[startup+0.700276 s]
/proc/loadavg: 4.13 4.14 4.11 5/269 36583
/proc/meminfo: memFree=113740620/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=107372 memory=27004 CPUtime=0.69 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 4141 0 0 0 68 1 0 0 20 0 3 0 5184446 109948928 6751 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 26843 6751 2966 3035 0 10011 0
[pid=36578/tid=36580] ppid=36575 vsize=107372 memory=0 CPUtime=0.67 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 2812 0 0 0 67 0 0 0 20 0 3 0 5184447 109948928 6751 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=107372 memory=0 CPUtime=0 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184447 109948928 6751 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 107372 KiB
Current children cumulated memory: 27004 KiB
[startup+1.50026 s]
/proc/loadavg: 4.12 4.14 4.11 5/269 36583
/proc/meminfo: memFree=113739716/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=107372 memory=28200 CPUtime=1.48 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 6310 0 0 0 147 1 0 0 20 0 3 0 5184446 109948928 7050 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 26843 7050 3014 3035 0 10159 0
[pid=36578/tid=36580] ppid=36575 vsize=107372 memory=0 CPUtime=1.47 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 4963 0 0 0 147 0 0 0 20 0 3 0 5184447 109948928 7050 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=107372 memory=0 CPUtime=0 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184447 109948928 7050 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107372 KiB
Current children cumulated memory: 28200 KiB
[startup+3.10578 s]
/proc/loadavg: 4.12 4.14 4.11 5/269 36583
/proc/meminfo: memFree=113732032/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=107372 memory=29676 CPUtime=3.08 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 7198 0 0 0 307 1 0 0 20 0 3 0 5184446 109948928 7419 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 26843 7419 3014 3035 0 10770 0
[pid=36578/tid=36580] ppid=36575 vsize=107372 memory=2273 CPUtime=3.08 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 5848 0 0 0 307 1 0 0 20 0 3 0 5184447 109948928 7419 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=107372 memory=0 CPUtime=0 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5184447 109948928 7419 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107372 KiB
Current children cumulated memory: 29676 KiB
[startup+6.30025 s]
/proc/loadavg: 4.11 4.14 4.11 5/269 36583
/proc/meminfo: memFree=113698352/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=107952 memory=36084 CPUtime=6.26 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 11393 0 0 0 623 3 0 0 20 0 3 0 5184446 110542848 9021 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 26988 9021 3014 3035 0 12323 0
[pid=36578/tid=36580] ppid=36575 vsize=107952 memory=-5155630184919362437 CPUtime=6.25 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 10015 0 0 0 623 2 0 0 20 0 3 0 5184447 110542848 9021 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=107952 memory=33932 CPUtime=0 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5184447 110542848 9021 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107952 KiB
Current children cumulated memory: 36084 KiB
[startup+12.7003 s]
/proc/loadavg: 4.18 4.15 4.11 5/269 36584
/proc/meminfo: memFree=113686200/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=109432 memory=46416 CPUtime=12.63 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 21685 0 0 0 1256 7 0 0 20 0 3 0 5184446 112058368 11604 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 27358 11604 3014 3035 0 14595 0
[pid=36578/tid=36580] ppid=36575 vsize=109432 memory=29676 CPUtime=12.63 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 20260 0 0 0 1256 7 0 0 20 0 3 0 5184447 112058368 11604 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=109432 memory=0 CPUtime=0 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5184447 112058368 11604 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 109432 KiB
Current children cumulated memory: 46416 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.15 4.11 5/269 36586
/proc/meminfo: memFree=113653412/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=115464 memory=66032 CPUtime=25.38 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 40740 0 0 0 2523 15 0 0 20 0 3 0 5184446 118235136 16508 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 28866 16508 3014 3035 0 19408 0
[pid=36578/tid=36580] ppid=36575 vsize=115464 memory=42372 CPUtime=25.36 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 39226 0 0 0 2522 14 0 0 20 0 3 0 5184447 118235136 16508 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=115464 memory=11408 CPUtime=0 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5184447 118235136 16508 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 115464 KiB
Current children cumulated memory: 66032 KiB
[startup+51.1055 s]
/proc/loadavg: 4.15 4.15 4.11 5/267 36591
/proc/meminfo: memFree=113601236/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=133732 memory=103004 CPUtime=50.87 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 71525 0 0 0 5054 33 0 0 20 0 3 0 5184446 136941568 25751 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 33433 25751 3014 3035 0 28884 0
[pid=36578/tid=36580] ppid=36575 vsize=133732 memory=95716 CPUtime=50.86 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 69922 0 0 0 5054 32 0 0 20 0 3 0 5184447 136941568 25751 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=133732 memory=93200 CPUtime=0 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5184447 136941568 25751 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 133732 KiB
Current children cumulated memory: 103004 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.11 6/267 36601
/proc/meminfo: memFree=113482256/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=231388 memory=168260 CPUtime=101.85 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 133776 0 0 0 10118 67 0 0 20 0 3 0 5184446 236941312 42065 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 57847 42065 3014 3035 0 44983 0
[pid=36578/tid=36580] ppid=36575 vsize=231388 memory=163968 CPUtime=101.83 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 132080 0 0 0 10117 66 0 0 20 0 3 0 5184447 236941312 42065 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=231388 memory=162784 CPUtime=0 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5184447 236941312 42065 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 231388 KiB
Current children cumulated memory: 168260 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/265 36657
/proc/meminfo: memFree=120021336/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=279028 memory=243840 CPUtime=161.58 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 200039 0 0 0 16054 104 0 0 20 0 3 0 5184446 285724672 60960 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 69757 60960 3014 3035 0 64593 0
[pid=36578/tid=36580] ppid=36575 vsize=279028 memory=231172 CPUtime=161.56 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 198284 0 0 0 16053 103 0 0 20 0 3 0 5184447 285724672 60960 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=279028 memory=11408 CPUtime=0 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5184447 285724672 60960 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 279028 KiB
################
# More data... #
################
/proc/36578/statm: 779520 757693 3014 3035 0 761350 0
[pid=36578/tid=36580] ppid=36575 vsize=3118080 memory=2978336 CPUtime=3445.99 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 3716874 0 0 0 342605 1994 0 0 20 0 3 0 5184447 3192913920 757693 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=3118080 memory=11408 CPUtime=0.02 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 132 0 0 0 0 2 0 0 20 0 3 0 5184447 3192913920 757693 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 3446.21 s
Current children cumulated vsize: 3118080 KiB
Current children cumulated memory: 3030772 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/267 38499
/proc/meminfo: memFree=113883084/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=3185184 memory=3083020 CPUtime=3505.89 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 3786300 0 0 0 348558 2031 0 0 20 0 3 0 5184446 3261628416 770755 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 796296 770755 3014 3035 0 774641 0
[pid=36578/tid=36580] ppid=36575 vsize=3185184 memory=3027680 CPUtime=3505.66 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 3783562 0 0 0 348540 2026 0 0 20 0 3 0 5184447 3261628416 770755 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=3185184 memory=3081604 CPUtime=0.02 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 5184447 3261628416 770755 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 3505.89 s
Current children cumulated vsize: 3185184 KiB
Current children cumulated memory: 3083020 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/267 38509
/proc/meminfo: memFree=113767920/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=3185184 memory=3129816 CPUtime=3565.62 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 3854640 0 0 0 354497 2065 0 0 20 0 3 0 5184446 3261628416 782454 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 796296 782454 3014 3035 0 786306 0
[pid=36578/tid=36580] ppid=36575 vsize=3185184 memory=11408 CPUtime=3565.38 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 3851887 0 0 0 354479 2059 0 0 20 0 3 0 5184447 3261628416 782454 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=3185184 memory=3129688 CPUtime=0.02 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 5184447 3261628416 782454 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 3565.62 s
Current children cumulated vsize: 3185184 KiB
Current children cumulated memory: 3129816 KiB
[startup+3605.93 s]
# the end of solver process 36578 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3567.83 s, system=21.3229 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.17 4.11 5/267 38509
/proc/meminfo: memFree=113763248/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=3185184 memory=3131804 CPUtime=3567.31 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 3857542 0 0 0 354665 2066 0 0 20 0 3 0 5184446 3261628416 782951 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 796296 782951 3014 3035 0 786802 0
[pid=36578/tid=36580] ppid=36575 vsize=3185184 memory=5524 CPUtime=3567.08 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 3854787 0 0 0 354648 2060 0 0 20 0 3 0 5184447 3261628416 782951 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=3185184 memory=-5155633680935826750 CPUtime=0.02 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 5184447 3261628416 782951 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 3567.31 s
Current children cumulated vsize: 3185184 KiB
Current children cumulated memory: 3131804 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.16 4.11 5/267 38511
/proc/meminfo: memFree=113744116/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=3250720 memory=3139564 CPUtime=3580.05 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 3880530 0 0 0 355929 2076 0 0 20 0 3 0 5184446 3328737280 784891 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 812680 784891 3014 3035 0 788771 0
[pid=36578/tid=36580] ppid=36575 vsize=3250720 memory=2524 CPUtime=3579.81 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 3877775 0 0 0 355911 2070 0 0 20 0 3 0 5184447 3328737280 784891 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=3250720 memory=0 CPUtime=0.02 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 5184447 3328737280 784891 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 3580.05 s
Current children cumulated vsize: 3250720 KiB
Current children cumulated memory: 3139564 KiB
[startup+3600 s]*
/proc/loadavg: 4.20 4.18 4.11 5/270 38570
/proc/meminfo: memFree=114486112/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=3250720 memory=3139780 CPUtime=3583.24 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 4180184 0 0 0 356229 2095 0 0 20 0 3 0 5184446 3328737280 784945 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 812680 784945 3014 3035 0 788787 0
[pid=36578/tid=36580] ppid=36575 vsize=3250720 memory=-7090472879926634111 CPUtime=3583.01 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 4177487 0 0 0 356212 2089 0 0 20 0 3 0 5184447 3328737280 784945 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=3250720 memory=-4050210904893474193 CPUtime=0.02 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 5184447 3328737280 784945 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 3583.24 s
Current children cumulated vsize: 3250720 KiB
Current children cumulated memory: 3139780 KiB
[startup+3603.2 s]
/proc/loadavg: 4.10 4.16 4.11 4/261 38602
/proc/meminfo: memFree=116117808/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=3250720 memory=3139780 CPUtime=3586.43 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 4378589 0 0 0 356534 2109 0 0 20 0 3 0 5184446 3328737280 784945 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 812680 784945 3014 3035 0 788787 0
[pid=36578/tid=36580] ppid=36575 vsize=3250720 memory=3139780 CPUtime=3586.19 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 4375827 0 0 0 356516 2103 0 0 20 0 3 0 5184447 3328737280 784945 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=3250720 memory=11408 CPUtime=0.03 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 139 0 0 0 0 3 0 0 20 0 3 0 5184447 3328737280 784945 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 3586.43 s
Current children cumulated vsize: 3250720 KiB
Current children cumulated memory: 3139780 KiB
[startup+3604.8 s]
/proc/loadavg: 4.10 4.16 4.11 4/261 38602
/proc/meminfo: memFree=116117568/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=3250720 memory=3139780 CPUtime=3588.02 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 4505479 0 0 0 356685 2117 0 0 20 0 3 0 5184446 3328737280 784945 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 812680 784945 3014 3035 0 788787 0
[pid=36578/tid=36580] ppid=36575 vsize=3250720 memory=2720 CPUtime=3587.78 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 4502717 0 0 0 356667 2111 0 0 20 0 3 0 5184447 3328737280 784945 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=3250720 memory=3139780 CPUtime=0.03 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 139 0 0 0 0 3 0 0 20 0 3 0 5184447 3328737280 784945 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 3588.02 s
Current children cumulated vsize: 3250720 KiB
Current children cumulated memory: 3139780 KiB
[startup+3605.6 s]
/proc/loadavg: 4.10 4.16 4.11 4/259 38602
/proc/meminfo: memFree=116117012/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=3249884 memory=3138944 CPUtime=3588.81 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 4576810 0 0 0 356760 2121 0 0 20 0 3 0 5184446 3327881216 784736 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 812471 784736 3014 3035 0 788578 0
[pid=36578/tid=36580] ppid=36575 vsize=3249884 memory=11408 CPUtime=3588.58 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 4574050 0 0 0 356743 2115 0 0 20 0 3 0 5184447 3327881216 784736 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=3249884 memory=3139780 CPUtime=0.03 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 139 0 0 0 0 3 0 0 20 0 3 0 5184447 3327881216 784736 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 3588.81 s
Current children cumulated vsize: 3249884 KiB
Current children cumulated memory: 3138944 KiB
[startup+3605.8 s]
/proc/loadavg: 4.10 4.16 4.11 4/259 38602
/proc/meminfo: memFree=116117012/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=3249160 memory=3138220 CPUtime=3589.02 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 4586877 0 0 0 356780 2122 0 0 20 0 3 0 5184446 3327139840 784555 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 812290 784555 3014 3035 0 788397 0
[pid=36578/tid=36580] ppid=36575 vsize=3249160 memory=13012 CPUtime=3588.78 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 4584113 0 0 0 356762 2116 0 0 20 0 3 0 5184447 3327139840 784555 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=3249160 memory=-7306645662040416633 CPUtime=0.03 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 139 0 0 0 0 3 0 0 20 0 3 0 5184447 3327139840 784555 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 3589.02 s
Current children cumulated vsize: 3249160 KiB
Current children cumulated memory: 3138220 KiB
[startup+3605.9 s]
/proc/loadavg: 4.10 4.16 4.11 4/259 38602
/proc/meminfo: memFree=116117012/131524600 swapFree=131071996/131071996
[pid=36578] ppid=36575 vsize=1024876 memory=955804 CPUtime=3589.12 cores=0,2
/proc/36578/stat : 36578 (fscip) S 36575 36578 30613 0 -1 1077936128 4589064 0 0 0 356783 2129 0 0 20 0 3 0 5184446 1049473024 238951 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
/proc/36578/statm: 256219 238951 3014 3035 0 251112 0
[pid=36578/tid=36580] ppid=36575 vsize=1024876 memory=2972732 CPUtime=3588.88 cores=0,2
/proc/36578/task/36580/stat : 36580 (fscip) R 36575 36578 30613 0 -1 4194368 4586297 0 0 0 356765 2123 0 0 20 0 3 0 5184447 1049473024 238951 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
[pid=36578/tid=36581] ppid=36575 vsize=1024876 memory=3139780 CPUtime=0.03 cores=0,2
/proc/36578/task/36581/stat : 36581 (fscip) S 36575 36578 30613 0 -1 1077936192 139 0 0 0 0 3 0 0 20 0 3 0 5184447 1049473024 238951 134679101440 4194304 16623229 140735015790336 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 54308864 140735015797782 140735015797898 140735015797898 140735015804912 0
Current children cumulated CPU time: 3589.12 s
Current children cumulated vsize: 1024876 KiB
Current children cumulated memory: 955804 KiB
Child status: 0
Real time (s): 3605.93
CPU time (s): 3589.16
CPU user time (s): 3567.83
CPU system time (s): 21.3229
CPU usage (%): 99.5347
Max. virtual memory (cumulated for all children) (KiB): 3250720
Max. memory (cumulated for all children) (KiB): 3139780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3567.83
system time used= 21.3229
maximum resident set size= 3139780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4589073
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= 10818
involuntary context switches= 25113
# summary of solver processes directly reported to runsolver:
# pid: 36578
# total CPU time (s): 3589.16
# total CPU user time (s): 3567.83
# total CPU system time (s): 21.3229
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.61611 second user time and 17.1306 second system time
The end
Begin job on nodeC034 at 2024-07-31 02:30:01
IDJOB=4464552
IDBENCH=159618
IDSOLVER=3092
FILE ID=nodeC034/4464552-1722385801
RUNJOBID= nodeC034-1722378597-30623
SLURM_JOB_ID= 8249857
Free space on /tmp= 889944 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n58-d3-i1-r1.cnf.gz-plain.pb.metafix.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-4464552-1722385801/watcher-4464552-1722385801 -o /tmp/evaluation-result-4464552-1722385801/solver-4464552-1722385801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722378597-30623 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464552-1722385801.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 475bc15817d6b9c1e0eb0f353b0b56cf
RANDOM SEED=1025625710
nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.083
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.426
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.49
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 : 3662.554
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.51
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 : 3599.946
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.49
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.900
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.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3685.426
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.49
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 : 3606.705
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.51
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.033
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.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 113759572 kB
MemAvailable: 114073872 kB
Buffers: 100044 kB
Cached: 1046752 kB
SwapCached: 0 kB
Active: 325308 kB
Inactive: 16929188 kB
Active(anon): 1540 kB
Inactive(anon): 16127516 kB
Active(file): 323768 kB
Inactive(file): 801672 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56604 kB
Writeback: 4 kB
AnonPages: 16105848 kB
Mapped: 124932 kB
Shmem: 21336 kB
KReclaimable: 57368 kB
Slab: 137736 kB
SReclaimable: 57368 kB
SUnreclaim: 80368 kB
KernelStack: 4244 kB
PageTables: 41296 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 8751716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10016 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3766272 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: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC034 at 2024-07-31 03:30:08