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 = 22728704, getVmSize() = 22728704, SCIPgetMemUsed() = 995074, 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 = 15798272, getVmSize() = 24666112, SCIPgetMemUsed() = 1119991, 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-4447640-1721357674
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.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)
5.08/5.16 c 5 11066 6659 1 - 0.0000 -
10.16/10.21 c 10 28063 14605 1 - 0.0000 -
15.14/15.26 c 15 44744 24907 1 - 0.0000 -
20.22/20.30 c 20 60956 34662 1 - 0.0000 -
25.21/25.35 c 25 78536 44414 1 - 0.0000 -
30.28/30.40 c 30 96852 53002 1 - 0.0000 -
35.27/35.45 c 35 112013 63569 1 - 0.0000 -
40.35/40.50 c 41 129260 73634 1 - 0.0000 -
45.33/45.55 c 46 147520 82878 1 - 0.0000 -
50.41/50.60 c 51 163189 92689 1 - 0.0000 -
55.40/55.65 c 56 177970 104267 1 - 0.0000 -
60.48/60.70 c 61 195112 113583 1 - 0.0000 -
65.46/65.74 c 66 212444 122440 1 - 0.0000 -
70.44/70.79 c 71 231097 130483 1 - 0.0000 -
75.52/75.84 c 76 249704 138221 1 - 0.0000 -
80.50/80.89 c 81 267307 146257 1 - 0.0000 -
85.58/85.94 c 86 285786 154105 1 - 0.0000 -
90.56/90.99 c 91 304370 160953 1 - 0.0000 -
95.65/96.04 c 96 323149 167901 1 - 0.0000 -
100.62/101.09 c 101 341904 175975 1 - 0.0000 -
105.70/106.14 c 106 359912 183962 1 - 0.0000 -
110.68/111.19 c 111 377901 191652 1 - 0.0000 -
115.76/116.24 c 116 396813 199034 1 - 0.0000 -
120.75/121.29 c 121 415269 207350 1 - 0.0000 -
125.83/126.34 c 126 434633 213529 1 - 0.0000 -
130.81/131.39 c 131 452122 221636 1 - 0.0000 -
135.89/136.44 c 136 470718 231240 1 - 0.0000 -
140.88/141.49 c 142 489386 238745 1 - 0.0000 -
145.96/146.54 c 147 506168 249149 1 - 0.0000 -
150.94/151.59 c 152 524741 257542 1 - 0.0000 -
156.02/156.64 c 157 544326 265294 1 - 0.0000 -
161.00/161.69 c 162 562740 272975 1 - 0.0000 -
166.09/166.74 c 167 582861 280035 1 - 0.0000 -
171.07/171.79 c 172 601248 287691 1 - 0.0000 -
176.15/176.84 c 177 620373 295749 1 - 0.0000 -
181.14/181.89 c 182 638766 303809 1 - 0.0000 -
186.22/186.94 c 187 657490 311518 1 - 0.0000 -
191.21/191.99 c 192 675528 319481 1 - 0.0000 -
196.29/197.04 c 197 692506 328676 1 - 0.0000 -
201.27/202.09 c 202 709770 337501 1 - 0.0000 -
206.35/207.14 c 207 727238 346174 1 - 0.0000 -
211.33/212.19 c 212 744823 354941 1 - 0.0000 -
216.42/217.24 c 217 760187 365439 1 - 0.0000 -
221.40/222.29 c 222 777336 375092 1 - 0.0000 -
226.48/227.34 c 227 794407 384003 1 - 0.0000 -
231.46/232.39 c 232 811578 393241 1 - 0.0000 -
236.55/237.44 c 237 827470 404221 1 - 0.0000 -
241.53/242.49 c 242 844612 413620 1 - 0.0000 -
246.61/247.54 c 248 861714 421969 1 - 0.0000 -
251.59/252.59 c 253 879841 430483 1 - 0.0000 -
256.67/257.64 c 258 895772 439940 1 - 0.0000 -
261.65/262.69 c 263 913335 449879 1 - 0.0000 -
266.72/267.74 c 268 931086 458622 1 - 0.0000 -
271.71/272.79 c 273 950027 466039 1 - 0.0000 -
276.79/277.84 c 278 965639 475967 1 - 0.0000 -
281.76/282.89 c 283 983654 484532 1 - 0.0000 -
286.84/287.94 c 288 1001370 492740 1 - 0.0000 -
291.82/292.99 c 293 1020141 500943 1 - 0.0000 -
296.90/298.04 c 298 1038548 511438 1 - 0.0000 -
301.88/303.09 c 303 1055910 520518 1 - 0.0000 -
306.96/308.14 c 308 1074814 527680 1 - 0.0000 -
311.95/313.19 c 313 1092242 535825 1 - 0.0000 -
317.02/318.24 c 318 1111733 542599 1 - 0.0000 -
322.00/323.29 c 323 1131786 548679 1 - 0.0000 -
327.08/328.34 c 328 1149372 555264 1 - 0.0000 -
332.07/333.39 c 333 1168116 562092 1 - 0.0000 -
337.16/338.44 c 338 1187429 568769 1 - 0.0000 -
342.14/343.49 c 344 1205555 576164 1 - 0.0000 -
347.22/348.54 c 349 1223732 582948 1 - 0.0000 -
352.20/353.59 c 354 1242815 587911 1 - 0.0000 -
357.28/358.64 c 359 1262467 593464 1 - 0.0000 -
362.27/363.69 c 364 1280463 600486 1 - 0.0000 -
367.35/368.74 c 369 1299694 605248 1 - 0.0000 -
372.33/373.79 c 374 1318456 611367 1 - 0.0000 -
377.41/378.84 c 379 1337017 618311 1 - 0.0000 -
382.40/383.89 c 384 1353859 625952 1 - 0.0000 -
387.48/388.94 c 389 1370803 634120 1 - 0.0000 -
392.47/393.99 c 394 1390200 639757 1 - 0.0000 -
397.55/399.04 c 399 1408170 646852 1 - 0.0000 -
402.53/404.09 c 404 1426661 654403 1 - 0.0000 -
407.62/409.14 c 409 1445903 661006 1 - 0.0000 -
412.60/414.19 c 414 1465086 666711 1 - 0.0000 -
417.67/419.24 c 419 1484373 671998 1 - 0.0000 -
422.65/424.29 c 424 1501852 678652 1 - 0.0000 -
428.03/429.61 c 430 1511858 7658 1 - 0.0000 -
433.02/434.66 c 435 1525077 17610 1 - 0.0000 -
438.11/439.71 c 440 1538480 27952 1 - 0.0000 -
443.08/444.76 c 445 1553777 38206 1 - 0.0000 -
448.17/449.81 c 450 1569894 46808 1 - 0.0000 -
453.15/454.86 c 455 1586241 55814 1 - 0.0000 -
458.24/459.91 c 460 1602835 64152 1 - 0.0000 -
463.22/464.96 c 465 1618821 73383 1 - 0.0000 -
468.30/470.01 c 470 1634469 82579 1 - 0.0000 -
473.29/475.06 c 475 1649675 91911 1 - 0.0000 -
478.37/480.11 c 480 1663653 102438 1 - 0.0000 -
483.36/485.16 c 485 1681317 109817 1 - 0.0000 -
488.43/490.21 c 490 1697559 118359 1 - 0.0000 -
493.41/495.26 c 495 1711067 127108 1 - 0.0000 -
498.49/500.31 c 500 1728079 135531 1 - 0.0000 -
503.48/505.36 c 505 1744715 143488 1 - 0.0000 -
508.56/510.41 c 510 1761058 152725 1 - 0.0000 -
513.55/515.46 c 515 1775961 162886 1 - 0.0000 -
518.63/520.51 c 521 1790068 173552 1 - 0.0000 -
523.61/525.56 c 526 1804749 184187 1 - 0.0000 -
528.70/530.61 c 531 1821209 193098 1 - 0.0000 -
533.68/535.66 c 536 1838649 201144 1 - 0.0000 -
538.76/540.71 c 541 1855810 209585 1 - 0.0000 -
543.74/545.76 c 546 1872513 217708 1 - 0.0000 -
548.82/550.81 c 551 1887147 227498 1 - 0.0000 -
553.80/555.86 c 556 1903337 236716 1 - 0.0000 -
558.89/560.91 c 561 1920450 245817 1 - 0.0000 -
563.87/565.96 c 566 1936611 255021 1 - 0.0000 -
568.96/571.01 c 571 1953131 264157 1 - 0.0000 -
573.94/576.06 c 576 1970046 273335 1 - 0.0000 -
579.02/581.11 c 581 1984087 283777 1 - 0.0000 -
584.00/586.16 c 586 1997863 293591 1 - 0.0000 -
589.09/591.21 c 591 2012708 302909 1 - 0.0000 -
594.07/596.26 c 596 2029290 311829 1 - 0.0000 -
599.15/601.31 c 601 2046775 319272 1 - 0.0000 -
604.13/606.36 c 606 2063473 326970 1 - 0.0000 -
609.21/611.41 c 611 2078816 336343 1 - 0.0000 -
614.20/616.46 c 616 2094768 346835 1 - 0.0000 -
619.28/621.51 c 622 2110438 355958 1 - 0.0000 -
624.27/626.56 c 627 2124554 365774 1 - 0.0000 -
629.35/631.61 c 632 2139439 376008 1 - 0.0000 -
634.33/636.66 c 637 2152714 385684 1 - 0.0000 -
639.41/641.71 c 642 2165636 395337 1 - 0.0000 -
644.39/646.76 c 647 2180997 404065 1 - 0.0000 -
649.48/651.81 c 652 2196575 413194 1 - 0.0000 -
654.46/656.86 c 657 2212918 420876 1 - 0.0000 -
659.55/661.91 c 662 2225971 430658 1 - 0.0000 -
664.53/666.96 c 667 2239250 440377 1 - 0.0000 -
669.61/672.01 c 672 2253674 449956 1 - 0.0000 -
674.59/677.06 c 677 2267959 458993 1 - 0.0000 -
679.68/682.11 c 682 2281869 467384 1 - 0.0000 -
684.66/687.16 c 687 2294394 478020 1 - 0.0000 -
689.73/692.21 c 692 2311156 484297 1 - 0.0000 -
694.72/697.26 c 697 2328396 490724 1 - 0.0000 -
699.80/702.31 c 702 2344686 497540 1 - 0.0000 -
704.78/707.36 c 707 2361612 504812 1 - 0.0000 -
709.87/712.41 c 712 2377500 512509 1 - 0.0000 -
714.85/717.46 c 717 2393374 520205 1 - 0.0000 -
719.93/722.51 c 723 2409409 526857 1 - 0.0000 -
724.92/727.56 c 728 2426004 533719 1 - 0.0000 -
730.00/732.61 c 733 2443565 538571 1 - 0.0000 -
734.99/737.66 c 738 2459915 545489 1 - 0.0000 -
740.06/742.71 c 743 2476077 552646 1 - 0.0000 -
745.05/747.76 c 748 2493708 558209 1 - 0.0000 -
750.13/752.81 c 753 2510262 564878 1 - 0.0000 -
755.12/757.86 c 758 2525993 572788 1 - 0.0000 -
760.19/762.91 c 763 2541774 581191 1 - 0.0000 -
765.18/767.96 c 768 2557878 588760 1 - 0.0000 -
770.26/773.01 c 773 2574897 596155 1 - 0.0000 -
775.24/778.06 c 778 2590291 604514 1 - 0.0000 -
780.33/783.11 c 783 2604678 612665 1 - 0.0000 -
785.32/788.16 c 788 2620780 620515 1 - 0.0000 -
790.39/793.21 c 793 2638813 625459 1 - 0.0000 -
795.37/798.26 c 798 2656584 630461 1 - 0.0000 -
800.45/803.31 c 803 2674014 635629 1 - 0.0000 -
805.44/808.36 c 808 2691104 642349 1 - 0.0000 -
810.52/813.41 c 813 2708361 648316 1 - 0.0000 -
815.51/818.46 c 818 2724730 655468 1 - 0.0000 -
820.59/823.51 c 824 2742645 661732 1 - 0.0000 -
825.57/828.56 c 829 2759523 667776 1 - 0.0000 -
830.65/833.61 c 834 2775719 674437 1 - 0.0000 -
835.64/838.66 c 839 2792025 682577 1 - 0.0000 -
840.72/843.71 c 844 2808214 690540 1 - 0.0000 -
845.70/848.76 c 849 2824954 696862 1 - 0.0000 -
850.79/853.81 c 854 2841502 702957 1 - 0.0000 -
855.76/858.86 c 859 2857955 709904 1 - 0.0000 -
860.85/863.91 c 864 2873323 717211 1 - 0.0000 -
865.83/868.96 c 869 2885865 726974 1 - 0.0000 -
870.92/874.01 c 874 2899338 736514 1 - 0.0000 -
875.90/879.06 c 879 2914637 745757 1 - 0.0000 -
880.98/884.11 c 884 2931113 752371 1 - 0.0000 -
885.97/889.16 c 889 2948231 758703 1 - 0.0000 -
891.04/894.21 c 894 2965300 764358 1 - 0.0000 -
896.02/899.26 c 899 2983325 769010 1 - 0.0000 -
901.11/904.31 c 904 3001188 773942 1 - 0.0000 -
906.09/909.36 c 909 3018231 780011 1 - 0.0000 -
911.17/914.41 c 914 3034734 785629 1 - 0.0000 -
916.16/919.46 c 919 3052180 790965 1 - 0.0000 -
921.24/924.51 c 925 3066761 798558 1 - 0.0000 -
926.21/929.56 c 930 3083796 805540 1 - 0.0000 -
931.30/934.61 c 935 3101903 811490 1 - 0.0000 -
936.28/939.66 c 940 3118658 817992 1 - 0.0000 -
941.36/944.71 c 945 3136003 823900 1 - 0.0000 -
946.34/949.76 c 950 3151204 830451 1 - 0.0000 -
951.42/954.81 c 955 3168707 836159 1 - 0.0000 -
956.41/959.86 c 960 3184829 842647 1 - 0.0000 -
961.49/964.91 c 965 3202517 848269 1 - 0.0000 -
966.48/969.96 c 970 3219783 854079 1 - 0.0000 -
971.55/975.01 c 975 3237025 859935 1 - 0.0000 -
976.53/980.06 c 980 3254651 865209 1 - 0.0000 -
981.62/985.11 c 985 3271395 871101 1 - 0.0000 -
986.60/990.16 c 990 3288060 876294 1 - 0.0000 -
991.68/995.21 c 995 3305243 882551 1 - 0.0000 -
996.66/1000.26 c 1000 3320305 889077 1 - 0.0000 -
1001.74/1005.31 c 1005 3333015 898889 1 - 0.0000 -
1006.73/1010.36 c 1010 3346827 908628 1 - 0.0000 -
1011.80/1015.41 c 1015 3359981 918692 1 - 0.0000 -
1016.79/1020.46 c 1020 3374809 928006 1 - 0.0000 -
1021.87/1025.51 c 1026 3389252 937186 1 - 0.0000 -
1026.85/1030.56 c 1031 3404803 945844 1 - 0.0000 -
1031.93/1035.61 c 1036 3420329 953966 1 - 0.0000 -
1036.91/1040.66 c 1041 3435514 962690 1 - 0.0000 -
1041.99/1045.71 c 1046 3451526 970885 1 - 0.0000 -
1046.98/1050.76 c 1051 3465844 980028 1 - 0.0000 -
1052.06/1055.81 c 1056 3482211 987162 1 - 0.0000 -
1057.04/1060.86 c 1061 3498109 994209 1 - 0.0000 -
1062.12/1065.91 c 1066 3512778 1003231 1 - 0.0000 -
1067.09/1070.96 c 1071 3527473 1012703 1 - 0.0000 -
1072.18/1076.01 c 1076 3543478 1020001 1 - 0.0000 -
1077.16/1081.06 c 1081 3557369 1027918 1 - 0.0000 -
1082.24/1086.11 c 1086 3569348 1037794 1 - 0.0000 -
1087.22/1091.16 c 1091 3581789 1047880 1 - 0.0000 -
1092.29/1096.21 c 1096 3594175 1058483 1 - 0.0000 -
1097.28/1101.26 c 1101 3607581 1068524 1 - 0.0000 -
1102.36/1106.31 c 1106 3622661 1075770 1 - 0.0000 -
1107.35/1111.36 c 1111 3637621 1084240 1 - 0.0000 -
1112.42/1116.41 c 1116 3653535 1091588 1 - 0.0000 -
1117.41/1121.46 c 1121 3669198 1098584 1 - 0.0000 -
1122.49/1126.51 c 1127 3685737 1105873 1 - 0.0000 -
1127.47/1131.56 c 1132 3703958 1111447 1 - 0.0000 -
1132.56/1136.61 c 1137 3718607 1118796 1 - 0.0000 -
1137.53/1141.66 c 1142 3733863 1127789 1 - 0.0000 -
1142.62/1146.71 c 1147 3750141 1135473 1 - 0.0000 -
1147.60/1151.76 c 1152 3765047 1143059 1 - 0.0000 -
1152.68/1156.81 c 1157 3780429 1151092 1 - 0.0000 -
1157.67/1161.86 c 1162 3795213 1160397 1 - 0.0000 -
1162.75/1166.91 c 1167 3811433 1168645 1 - 0.0000 -
1167.73/1171.96 c 1172 3826292 1176975 1 - 0.0000 -
1172.81/1177.01 c 1177 3842174 1185327 1 - 0.0000 -
1177.79/1182.06 c 1182 3858521 1192269 1 - 0.0000 -
1182.88/1187.11 c 1187 3874083 1200023 1 - 0.0000 -
1187.85/1192.16 c 1192 3891115 1206201 1 - 0.0000 -
1192.93/1197.21 c 1197 3906273 1214393 1 - 0.0000 -
1197.91/1202.26 c 1202 3922600 1221147 1 - 0.0000 -
1203.00/1207.31 c 1207 3940037 1227127 1 - 0.0000 -
1207.97/1212.36 c 1212 3953143 1235622 1 - 0.0000 -
1213.06/1217.41 c 1217 3968271 1243568 1 - 0.0000 -
1218.04/1222.46 c 1222 3982090 1252627 1 - 0.0000 -
1223.12/1227.51 c 1228 3998217 1260451 1 - 0.0000 -
1228.10/1232.56 c 1233 4013787 1267532 1 - 0.0000 -
1233.17/1237.61 c 1238 4030038 1274012 1 - 0.0000 -
1238.16/1242.66 c 1243 4045110 1281076 1 - 0.0000 -
1243.23/1247.71 c 1248 4059157 1290339 1 - 0.0000 -
1248.21/1252.76 c 1253 4074510 1299098 1 - 0.0000 -
1253.29/1257.81 c 1258 4089577 1306837 1 - 0.0000 -
1258.26/1262.86 c 1263 4104879 1315823 1 - 0.0000 -
1263.35/1267.91 c 1268 4121153 1322868 1 - 0.0000 -
1268.33/1272.96 c 1273 4139259 1328928 1 - 0.0000 -
1273.41/1278.01 c 1278 4152473 1337308 1 - 0.0000 -
1278.38/1283.06 c 1283 4168605 1344898 1 - 0.0000 -
1283.47/1288.11 c 1288 4185279 1351278 1 - 0.0000 -
1288.45/1293.16 c 1293 4200786 1357928 1 - 0.0000 -
1293.53/1298.21 c 1298 4216879 1365409 1 - 0.0000 -
1298.51/1303.26 c 1303 4233677 1371287 1 - 0.0000 -
1303.59/1308.31 c 1308 4249008 1378672 1 - 0.0000 -
1308.58/1313.36 c 1313 4264823 1386699 1 - 0.0000 -
1313.66/1318.41 c 1318 4280033 1394782 1 - 0.0000 -
1318.64/1323.46 c 1323 4295033 1403373 1 - 0.0000 -
1323.72/1328.51 c 1329 4307942 1412015 1 - 0.0000 -
1328.70/1333.56 c 1334 4322572 1419848 1 - 0.0000 -
1333.78/1338.61 c 1339 4337831 1427329 1 - 0.0000 -
1338.77/1343.66 c 1344 4351801 1435623 1 - 0.0000 -
1343.85/1348.71 c 1349 4367968 1443824 1 - 0.0000 -
1348.83/1353.76 c 1354 4386022 1449358 1 - 0.0000 -
1353.92/1358.82 c 1359 4402411 1454746 1 - 0.0000 -
1358.90/1363.87 c 1364 4419372 1461347 1 - 0.0000 -
1363.98/1368.92 c 1369 4434439 1468420 1 - 0.0000 -
1368.96/1373.97 c 1374 4449308 1475583 1 - 0.0000 -
1374.04/1379.02 c 1379 4464634 1482280 1 - 0.0000 -
1379.03/1384.07 c 1384 4481011 1487982 1 - 0.0000 -
1384.12/1389.12 c 1389 4496641 1495693 1 - 0.0000 -
1389.09/1394.17 c 1394 4510948 1503670 1 - 0.0000 -
1394.17/1399.22 c 1399 4526468 1510656 1 - 0.0000 -
1399.15/1404.27 c 1404 4544148 1514884 1 - 0.0000 -
1404.23/1409.32 c 1409 4561325 1521191 1 - 0.0000 -
1409.22/1414.37 c 1414 4577268 1527943 1 - 0.0000 -
1414.31/1419.42 c 1419 4592439 1533281 1 - 0.0000 -
1419.28/1424.47 c 1424 4608489 1539268 1 - 0.0000 -
1424.37/1429.52 c 1430 4621057 1548440 1 - 0.0000 -
1429.35/1434.57 c 1435 4636210 1556208 1 - 0.0000 -
1434.44/1439.62 c 1440 4649706 1565441 1 - 0.0000 -
1439.42/1444.67 c 1445 4664188 1572699 1 - 0.0000 -
1444.50/1449.72 c 1450 4678904 1579628 1 - 0.0000 -
1449.48/1454.77 c 1455 4692921 1587743 1 - 0.0000 -
1454.57/1459.82 c 1460 4707752 1595054 1 - 0.0000 -
1459.54/1464.87 c 1465 4722430 1602239 1 - 0.0000 -
1464.63/1469.92 c 1470 4737036 1610216 1 - 0.0000 -
1469.61/1474.97 c 1475 4750553 1619103 1 - 0.0000 -
1474.70/1480.02 c 1480 4765509 1625814 1 - 0.0000 -
1479.68/1485.07 c 1485 4781478 1632201 1 - 0.0000 -
1484.76/1490.12 c 1490 4797745 1637912 1 - 0.0000 -
1489.75/1495.17 c 1495 4812480 1644952 1 - 0.0000 -
1494.82/1500.22 c 1500 4827725 1652876 1 - 0.0000 -
1499.80/1505.27 c 1505 4841257 1660937 1 - 0.0000 -
1504.89/1510.32 c 1510 4856503 1666240 1 - 0.0000 -
1509.87/1515.37 c 1515 4871807 1673040 1 - 0.0000 -
1514.96/1520.42 c 1520 4888008 1678909 1 - 0.0000 -
1519.94/1525.47 c 1525 4902815 1685520 1 - 0.0000 -
1525.02/1530.52 c 1531 4916111 1693530 1 - 0.0000 -
1530.00/1535.57 c 1536 4932043 1699159 1 - 0.0000 -
1535.09/1540.62 c 1541 4947351 1705249 1 - 0.0000 -
1540.07/1545.67 c 1546 4963508 1711774 1 - 0.0000 -
1545.16/1550.72 c 1551 4978118 1717579 1 - 0.0000 -
1550.13/1555.77 c 1556 4993979 1724040 1 - 0.0000 -
1555.21/1560.82 c 1561 5010090 1730432 1 - 0.0000 -
1560.21/1565.87 c 1566 5026505 1736645 1 - 0.0000 -
1565.28/1570.92 c 1571 5042751 1741962 1 - 0.0000 -
1570.26/1575.97 c 1576 5058335 1747286 1 - 0.0000 -
1575.35/1581.02 c 1581 5073773 1754353 1 - 0.0000 -
1580.34/1586.07 c 1586 5089733 1759740 1 - 0.0000 -
1585.42/1591.12 c 1591 5104548 1767646 1 - 0.0000 -
1590.40/1596.17 c 1596 5120022 1774513 1 - 0.0000 -
1595.48/1601.22 c 1601 5137071 1779363 1 - 0.0000 -
1600.46/1606.27 c 1606 5151179 1785857 1 - 0.0000 -
1605.54/1611.32 c 1611 5166872 1792732 1 - 0.0000 -
1610.53/1616.37 c 1616 5183729 1799073 1 - 0.0000 -
1615.61/1621.42 c 1621 5200194 1804186 1 - 0.0000 -
1620.59/1626.47 c 1626 5215872 1810988 1 - 0.0000 -
1625.68/1631.52 c 1632 5230708 1817487 1 - 0.0000 -
1630.66/1636.57 c 1637 5245433 1823714 1 - 0.0000 -
1635.74/1641.62 c 1642 5261553 1831002 1 - 0.0000 -
1640.72/1646.67 c 1647 5278065 1835907 1 - 0.0000 -
1645.81/1651.72 c 1652 5294565 1841243 1 - 0.0000 -
1650.79/1656.77 c 1657 5311375 1846852 1 - 0.0000 -
1655.87/1661.82 c 1662 5327465 1852638 1 - 0.0000 -
1660.86/1666.87 c 1667 5344261 1858244 1 - 0.0000 -
1665.94/1671.92 c 1672 5361512 1863511 1 - 0.0000 -
1670.92/1676.97 c 1677 5376909 1869306 1 - 0.0000 -
1676.01/1682.02 c 1682 5393488 1874170 1 - 0.0000 -
1680.99/1687.07 c 1687 5407147 1880375 1 - 0.0000 -
1686.07/1692.12 c 1692 5421926 1887004 1 - 0.0000 -
1691.05/1697.17 c 1697 5437610 1893622 1 - 0.0000 -
1696.14/1702.22 c 1702 5453385 1899721 1 - 0.0000 -
1701.12/1707.27 c 1707 5468590 1904760 1 - 0.0000 -
1706.20/1712.32 c 1712 5484674 1910462 1 - 0.0000 -
1711.18/1717.37 c 1717 5500637 1916439 1 - 0.0000 -
1716.27/1722.42 c 1722 5516885 1922696 1 - 0.0000 -
1721.25/1727.47 c 1727 5532603 1928886 1 - 0.0000 -
1726.33/1732.52 c 1733 5547025 1935503 1 - 0.0000 -
1731.32/1737.57 c 1738 5562994 1940843 1 - 0.0000 -
1736.40/1742.62 c 1743 5579368 1946754 1 - 0.0000 -
1741.38/1747.67 c 1748 5595420 1952185 1 - 0.0000 -
1746.46/1752.72 c 1753 5611524 1957582 1 - 0.0000 -
1751.44/1757.77 c 1758 5625721 1965674 1 - 0.0000 -
1756.53/1762.82 c 1763 5640282 1973327 1 - 0.0000 -
1761.51/1767.87 c 1768 5656020 1979063 1 - 0.0000 -
1766.59/1772.92 c 1773 5671721 1986294 1 - 0.0000 -
1771.57/1777.97 c 1778 5687659 1990832 1 - 0.0000 -
1776.66/1783.02 c 1783 5703566 1997303 1 - 0.0000 -
1781.64/1788.07 c 1788 5718653 2004572 1 - 0.0000 -
1786.73/1793.12 c 1793 5733475 2011344 1 - 0.0000 -
1791.71/1798.17 c 1798 5749505 2016387 1 - 0.0000 -
1796.78/1803.22 c 1803 5764932 2022095 1 - 0.0000 -
1801.76/1808.27 c 1808 5780027 2028232 1 - 0.0000 -
1806.84/1813.32 c 1813 5796182 2034057 1 - 0.0000 -
1811.81/1818.37 c 1818 5812477 2040399 1 - 0.0000 -
1816.89/1823.42 c 1823 5827927 2045855 1 - 0.0000 -
1821.87/1828.47 c 1828 5844123 2052034 1 - 0.0000 -
1826.95/1833.52 c 1834 5858681 2057737 1 - 0.0000 -
1831.93/1838.57 c 1839 5873797 2064447 1 - 0.0000 -
1837.00/1843.62 c 1844 5888280 2071345 1 - 0.0000 -
1841.98/1848.67 c 1849 5903629 2078263 1 - 0.0000 -
1847.06/1853.72 c 1854 5919251 2083886 1 - 0.0000 -
1852.04/1858.77 c 1859 5935251 2088928 1 - 0.0000 -
1857.11/1863.82 c 1864 5951295 2094981 1 - 0.0000 -
1862.09/1868.87 c 1869 5965069 2102720 1 - 0.0000 -
1867.17/1873.92 c 1874 5980520 2109275 1 - 0.0000 -
1872.14/1878.97 c 1879 5996620 2115626 1 - 0.0000 -
1877.22/1884.02 c 1884 6012068 2121833 1 - 0.0000 -
1882.21/1889.07 c 1889 6027498 2128350 1 - 0.0000 -
1887.30/1894.12 c 1894 6042394 2135086 1 - 0.0000 -
1892.28/1899.17 c 1899 6055683 2143672 1 - 0.0000 -
1897.35/1904.22 c 1904 6068476 2151783 1 - 0.0000 -
1902.34/1909.27 c 1909 6080863 2161722 1 - 0.0000 -
1907.42/1914.32 c 1914 6093340 2171577 1 - 0.0000 -
1912.40/1919.37 c 1919 6106035 2180861 1 - 0.0000 -
1917.49/1924.42 c 1924 6118912 2189752 1 - 0.0000 -
1922.47/1929.47 c 1929 6132910 2197529 1 - 0.0000 -
1927.55/1934.52 c 1935 6147591 2205647 1 - 0.0000 -
1932.53/1939.57 c 1940 6161962 2213630 1 - 0.0000 -
1937.62/1944.62 c 1945 6176545 2222409 1 - 0.0000 -
1942.60/1949.67 c 1950 6190106 2230720 1 - 0.0000 -
1947.68/1954.72 c 1955 6204506 2238094 1 - 0.0000 -
1952.67/1959.77 c 1960 6218273 2246269 1 - 0.0000 -
1957.75/1964.82 c 1965 6232051 2254392 1 - 0.0000 -
1962.73/1969.87 c 1970 6246509 2260892 1 - 0.0000 -
1967.81/1974.92 c 1975 6260994 2267479 1 - 0.0000 -
1972.80/1979.97 c 1980 6275300 2274621 1 - 0.0000 -
1977.88/1985.02 c 1985 6290679 2280719 1 - 0.0000 -
1982.86/1990.07 c 1990 6305054 2287193 1 - 0.0000 -
1987.94/1995.12 c 1995 6319361 2294510 1 - 0.0000 -
1992.94/2000.17 c 2000 6333741 2301249 1 - 0.0000 -
1998.01/2005.22 c 2005 6348615 2307408 1 - 0.0000 -
2002.99/2010.27 c 2010 6362895 2315263 1 - 0.0000 -
2008.07/2015.32 c 2015 6376327 2324233 1 - 0.0000 -
2013.06/2020.37 c 2020 6390007 2332454 1 - 0.0000 -
2018.14/2025.42 c 2025 6404326 2339750 1 - 0.0000 -
2023.12/2030.47 c 2030 6417686 2348715 1 - 0.0000 -
2028.20/2035.52 c 2036 6432494 2355993 1 - 0.0000 -
2033.19/2040.57 c 2041 6446734 2364015 1 - 0.0000 -
2038.27/2045.62 c 2046 6461689 2370482 1 - 0.0000 -
2043.26/2050.67 c 2051 6474854 2379089 1 - 0.0000 -
2048.34/2055.72 c 2056 6490007 2387464 1 - 0.0000 -
2053.32/2060.77 c 2061 6504507 2394123 1 - 0.0000 -
2058.41/2065.82 c 2066 6517677 2402417 1 - 0.0000 -
2063.39/2070.87 c 2071 6531636 2410445 1 - 0.0000 -
2068.47/2075.92 c 2076 6546868 2417743 1 - 0.0000 -
2073.45/2080.97 c 2081 6564844 2422745 1 - 0.0000 -
2078.54/2086.02 c 2086 6579940 2428922 1 - 0.0000 -
2083.52/2091.07 c 2091 6596081 2434511 1 - 0.0000 -
2088.60/2096.12 c 2096 6610991 2441156 1 - 0.0000 -
2093.58/2101.17 c 2101 6623193 2447761 1 - 0.0000 -
2098.66/2106.22 c 2106 6635906 2456467 1 - 0.0000 -
2103.63/2111.27 c 2111 6648777 2465569 1 - 0.0000 -
2108.71/2116.32 c 2116 6661879 2473280 1 - 0.0000 -
2113.69/2121.37 c 2121 6675139 2480880 1 - 0.0000 -
2118.77/2126.42 c 2126 6690760 2489476 1 - 0.0000 -
2123.75/2131.47 c 2131 6705997 2496233 1 - 0.0000 -
2128.83/2136.52 c 2137 6718558 2504629 1 - 0.0000 -
2133.81/2141.57 c 2142 6731333 2513838 1 - 0.0000 -
2138.88/2146.62 c 2147 6745341 2521356 1 - 0.0000 -
2143.85/2151.67 c 2152 6760480 2527476 1 - 0.0000 -
2148.94/2156.72 c 2157 6773854 2535637 1 - 0.0000 -
2153.92/2161.77 c 2162 6787921 2541993 1 - 0.0000 -
2159.00/2166.82 c 2167 6803438 2547499 1 - 0.0000 -
2163.97/2171.87 c 2172 6816374 2556287 1 - 0.0000 -
2169.04/2176.92 c 2177 6829998 2565186 1 - 0.0000 -
2174.02/2181.97 c 2182 6843650 2574385 1 - 0.0000 -
2179.10/2187.02 c 2187 6856765 2583865 1 - 0.0000 -
2184.09/2192.07 c 2192 6872724 2590294 1 - 0.0000 -
2189.17/2197.12 c 2197 6887559 2596555 1 - 0.0000 -
2194.15/2202.17 c 2202 6902268 2604332 1 - 0.0000 -
2199.23/2207.22 c 2207 6917699 2612034 1 - 0.0000 -
2204.21/2212.27 c 2212 6933612 2619208 1 - 0.0000 -
2209.30/2217.32 c 2217 6947575 2625402 1 - 0.0000 -
2214.28/2222.37 c 2222 6962215 2632874 1 - 0.0000 -
2219.36/2227.42 c 2227 6975657 2640453 1 - 0.0000 -
2224.35/2232.47 c 2232 6989737 2648109 1 - 0.0000 -
2229.42/2237.52 c 2238 7004536 2654090 1 - 0.0000 -
2234.40/2242.57 c 2243 7018607 2660721 1 - 0.0000 -
2239.49/2247.62 c 2248 7032291 2669064 1 - 0.0000 -
2244.47/2252.67 c 2253 7046143 2675016 1 - 0.0000 -
2249.55/2257.72 c 2258 7060659 2682141 1 - 0.0000 -
2254.53/2262.77 c 2263 7076667 2688638 1 - 0.0000 -
2259.60/2267.82 c 2268 7092018 2694899 1 - 0.0000 -
2264.59/2272.87 c 2273 7104002 2702367 1 - 0.0000 -
2269.66/2277.92 c 2278 7119173 2706772 1 - 0.0000 -
2274.65/2282.97 c 2283 7135208 2713680 1 - 0.0000 -
2279.73/2288.02 c 2288 7150989 2720832 1 - 0.0000 -
2284.71/2293.07 c 2293 7164568 2727426 1 - 0.0000 -
2289.79/2298.12 c 2298 7178016 2734920 1 - 0.0000 -
2294.78/2303.17 c 2303 7192514 2741380 1 - 0.0000 -
2299.85/2308.22 c 2308 7206343 2749094 1 - 0.0000 -
2304.84/2313.27 c 2313 7220583 2756440 1 - 0.0000 -
2309.92/2318.32 c 2318 7234768 2763989 1 - 0.0000 -
2314.90/2323.37 c 2323 7249848 2769509 1 - 0.0000 -
2319.98/2328.42 c 2328 7263226 2776560 1 - 0.0000 -
2324.97/2333.47 c 2333 7277268 2784024 1 - 0.0000 -
2330.04/2338.52 c 2339 7290700 2790731 1 - 0.0000 -
2335.02/2343.57 c 2344 7303876 2799354 1 - 0.0000 -
2340.10/2348.62 c 2349 7317400 2806831 1 - 0.0000 -
2345.07/2353.67 c 2354 7331477 2814227 1 - 0.0000 -
2350.16/2358.72 c 2359 7345457 2821270 1 - 0.0000 -
2355.13/2363.77 c 2364 7358584 2829411 1 - 0.0000 -
2360.21/2368.82 c 2369 7372194 2837360 1 - 0.0000 -
2365.19/2373.87 c 2374 7387654 2842097 1 - 0.0000 -
2370.27/2378.92 c 2379 7402646 2847837 1 - 0.0000 -
2375.24/2383.97 c 2384 7417367 2854823 1 - 0.0000 -
2380.32/2389.02 c 2389 7431217 2862251 1 - 0.0000 -
2385.30/2394.07 c 2394 7445868 2868966 1 - 0.0000 -
2390.39/2399.12 c 2399 7459819 2876817 1 - 0.0000 -
2395.37/2404.17 c 2404 7474159 2884066 1 - 0.0000 -
2400.44/2409.22 c 2409 7488475 2891001 1 - 0.0000 -
2405.43/2414.27 c 2414 7502762 2897997 1 - 0.0000 -
2410.52/2419.32 c 2419 7516966 2907548 1 - 0.0000 -
2415.49/2424.37 c 2424 7530643 2914351 1 - 0.0000 -
2420.58/2429.42 c 2429 7545391 2921373 1 - 0.0000 -
2425.56/2434.47 c 2434 7560467 2928141 1 - 0.0000 -
2430.64/2439.52 c 2440 7574732 2935534 1 - 0.0000 -
2435.63/2444.57 c 2445 7588436 2944552 1 - 0.0000 -
2440.70/2449.62 c 2450 7603030 2951236 1 - 0.0000 -
2445.68/2454.67 c 2455 7616904 2958809 1 - 0.0000 -
2450.77/2459.72 c 2460 7631806 2964551 1 - 0.0000 -
2455.75/2464.77 c 2465 7646642 2971010 1 - 0.0000 -
2460.84/2469.82 c 2470 7661662 2976343 1 - 0.0000 -
2465.82/2474.87 c 2475 7676582 2980935 1 - 0.0000 -
2470.90/2479.92 c 2480 7692790 2984574 1 - 0.0000 -
2475.88/2484.97 c 2485 7708608 2988698 1 - 0.0000 -
2480.97/2490.02 c 2490 7723262 2992981 1 - 0.0000 -
2485.94/2495.07 c 2495 7737717 2998717 1 - 0.0000 -
2491.03/2500.12 c 2500 7753214 3003813 1 - 0.0000 -
2496.01/2505.17 c 2505 7768613 3008785 1 - 0.0000 -
2501.09/2510.22 c 2510 7783991 3013492 1 - 0.0000 -
2506.07/2515.27 c 2515 7799537 3018101 1 - 0.0000 -
2511.15/2520.32 c 2520 7815066 3022726 1 - 0.0000 -
2516.13/2525.37 c 2525 7830283 3026701 1 - 0.0000 -
2521.22/2530.42 c 2530 7845219 3031868 1 - 0.0000 -
2526.20/2535.47 c 2535 7859110 3038123 1 - 0.0000 -
2531.28/2540.52 c 2541 7874977 3042306 1 - 0.0000 -
2536.26/2545.57 c 2546 7890214 3046656 1 - 0.0000 -
2541.35/2550.62 c 2551 7907026 3051175 1 - 0.0000 -
2546.33/2555.67 c 2556 7922443 3056284 1 - 0.0000 -
2551.41/2560.72 c 2561 7938109 3061562 1 - 0.0000 -
2556.39/2565.77 c 2566 7950044 3068797 1 - 0.0000 -
2561.47/2570.82 c 2571 7964601 3073844 1 - 0.0000 -
2566.46/2575.87 c 2576 7980864 3079007 1 - 0.0000 -
2571.54/2580.92 c 2581 7995254 3083952 1 - 0.0000 -
2576.53/2585.97 c 2586 8009906 3089204 1 - 0.0000 -
2581.60/2591.02 c 2591 8026076 3093423 1 - 0.0000 -
2586.59/2596.07 c 2596 8039828 3098269 1 - 0.0000 -
2591.67/2601.12 c 2601 8054527 3103875 1 - 0.0000 -
2596.65/2606.17 c 2606 8070329 3108336 1 - 0.0000 -
2601.73/2611.22 c 2611 8086196 3112224 1 - 0.0000 -
2606.71/2616.27 c 2616 8101857 3116118 1 - 0.0000 -
2611.79/2621.32 c 2621 8116877 3121311 1 - 0.0000 -
2616.78/2626.37 c 2626 8132383 3126913 1 - 0.0000 -
2621.86/2631.42 c 2631 8147516 3132153 1 - 0.0000 -
2626.84/2636.47 c 2636 8160925 3137751 1 - 0.0000 -
2631.92/2641.52 c 2642 8176589 3143920 1 - 0.0000 -
2636.91/2646.57 c 2647 8191145 3149565 1 - 0.0000 -
2641.99/2651.62 c 2652 8206999 3153736 1 - 0.0000 -
2646.98/2656.67 c 2657 8220832 3159516 1 - 0.0000 -
2652.05/2661.72 c 2662 8235260 3164957 1 - 0.0000 -
2657.04/2666.77 c 2667 8249534 3170531 1 - 0.0000 -
2662.12/2671.82 c 2672 8265440 3175019 1 - 0.0000 -
2667.11/2676.87 c 2677 8280121 3179332 1 - 0.0000 -
2672.19/2681.92 c 2682 8295928 3183930 1 - 0.0000 -
2677.17/2686.97 c 2687 8312036 3187981 1 - 0.0000 -
2682.25/2692.02 c 2692 8326620 3193464 1 - 0.0000 -
2687.24/2697.07 c 2697 8339300 3199404 1 - 0.0000 -
2692.32/2702.12 c 2702 8352674 3204810 1 - 0.0000 -
2697.30/2707.17 c 2707 8366768 3210788 1 - 0.0000 -
2702.38/2712.22 c 2712 8382903 3214711 1 - 0.0000 -
2707.37/2717.27 c 2717 8398343 3220010 1 - 0.0000 -
2712.44/2722.32 c 2722 8413625 3223117 1 - 0.0000 -
2717.43/2727.37 c 2727 8428210 3228872 1 - 0.0000 -
2722.51/2732.42 c 2732 8442799 3233260 1 - 0.0000 -
2727.50/2737.47 c 2737 8457439 3238260 1 - 0.0000 -
2732.58/2742.52 c 2743 8472700 3242070 1 - 0.0000 -
2737.56/2747.57 c 2748 8489058 3245835 1 - 0.0000 -
2742.64/2752.62 c 2753 8504296 3250142 1 - 0.0000 -
2747.63/2757.67 c 2758 8517887 3255342 1 - 0.0000 -
2752.71/2762.72 c 2763 8529216 3261523 1 - 0.0000 -
2757.70/2767.77 c 2768 8542947 3269681 1 - 0.0000 -
2762.78/2772.82 c 2773 8555661 3276699 1 - 0.0000 -
2767.76/2777.87 c 2778 8571415 3281905 1 - 0.0000 -
2772.84/2782.92 c 2783 8585369 3288251 1 - 0.0000 -
2777.83/2787.97 c 2788 8600645 3293948 1 - 0.0000 -
2782.91/2793.02 c 2793 8614407 3299465 1 - 0.0000 -
2787.89/2798.07 c 2798 8628569 3304844 1 - 0.0000 -
2792.98/2803.12 c 2803 8643784 3312428 1 - 0.0000 -
2797.95/2808.17 c 2808 8658930 3318679 1 - 0.0000 -
2803.04/2813.22 c 2813 8673023 3323316 1 - 0.0000 -
2808.02/2818.27 c 2818 8689209 3327535 1 - 0.0000 -
2813.10/2823.32 c 2823 8704568 3332059 1 - 0.0000 -
2818.08/2828.37 c 2828 8719862 3336387 1 - 0.0000 -
2823.16/2833.42 c 2833 8734610 3341449 1 - 0.0000 -
2828.15/2838.47 c 2838 8750540 3345441 1 - 0.0000 -
2833.23/2843.52 c 2844 8766101 3349982 1 - 0.0000 -
2838.22/2848.57 c 2849 8781310 3355064 1 - 0.0000 -
2843.29/2853.62 c 2854 8796544 3359398 1 - 0.0000 -
2848.28/2858.67 c 2859 8812560 3362728 1 - 0.0000 -
2853.36/2863.72 c 2864 8827469 3367136 1 - 0.0000 -
2858.35/2868.77 c 2869 8842678 3371038 1 - 0.0000 -
2863.43/2873.82 c 2874 8858580 3374716 1 - 0.0000 -
2868.41/2878.87 c 2879 8874595 3379088 1 - 0.0000 -
2873.50/2883.92 c 2884 8890156 3382940 1 - 0.0000 -
2878.48/2888.97 c 2889 8905530 3387702 1 - 0.0000 -
2883.56/2894.02 c 2894 8921137 3391898 1 - 0.0000 -
2888.54/2899.07 c 2899 8936534 3396063 1 - 0.0000 -
2893.62/2904.12 c 2904 8951950 3399332 1 - 0.0000 -
2898.61/2909.17 c 2909 8966777 3403671 1 - 0.0000 -
2903.68/2914.22 c 2914 8982785 3407755 1 - 0.0000 -
2908.66/2919.27 c 2919 8998796 3411362 1 - 0.0000 -
2913.74/2924.32 c 2924 9013208 3416914 1 - 0.0000 -
2918.73/2929.37 c 2929 9028879 3420514 1 - 0.0000 -
2923.82/2934.42 c 2934 9042180 3425617 1 - 0.0000 -
2928.80/2939.47 c 2939 9057278 3431123 1 - 0.0000 -
2933.88/2944.52 c 2945 9071355 3436390 1 - 0.0000 -
2938.86/2949.57 c 2950 9084668 3441977 1 - 0.0000 -
2943.95/2954.62 c 2955 9100954 3445971 1 - 0.0000 -
2948.93/2959.67 c 2960 9116713 3450421 1 - 0.0000 -
2954.01/2964.72 c 2965 9132139 3454722 1 - 0.0000 -
2959.00/2969.77 c 2970 9147053 3459889 1 - 0.0000 -
2964.08/2974.82 c 2975 9162516 3464912 1 - 0.0000 -
2969.06/2979.87 c 2980 9177898 3469813 1 - 0.0000 -
2974.14/2984.92 c 2985 9191902 3474496 1 - 0.0000 -
2979.12/2989.97 c 2990 9205708 3481564 1 - 0.0000 -
2984.21/2995.02 c 2995 9220281 3487086 1 - 0.0000 -
2989.19/3000.07 c 3000 9235350 3492180 1 - 0.0000 -
2994.27/3005.12 c 3005 9251368 3496888 1 - 0.0000 -
2999.26/3010.17 c 3010 9266862 3501270 1 - 0.0000 -
3004.34/3015.22 c 3015 9282333 3505423 1 - 0.0000 -
3009.32/3020.27 c 3020 9297733 3510106 1 - 0.0000 -
3014.40/3025.32 c 3025 9312788 3515430 1 - 0.0000 -
3019.39/3030.37 c 3030 9327552 3521067 1 - 0.0000 -
3024.46/3035.42 c 3035 9342648 3527207 1 - 0.0000 -
3029.45/3040.47 c 3040 9357959 3532148 1 - 0.0000 -
3034.53/3045.52 c 3046 9372598 3537196 1 - 0.0000 -
3039.52/3050.57 c 3051 9388235 3543111 1 - 0.0000 -
3044.59/3055.62 c 3056 9403259 3548258 1 - 0.0000 -
3049.58/3060.67 c 3061 9417938 3553229 1 - 0.0000 -
3054.66/3065.72 c 3066 9433838 3557240 1 - 0.0000 -
3059.64/3070.77 c 3071 9447664 3562334 1 - 0.0000 -
3064.73/3075.82 c 3076 9461798 3571491 1 - 0.0000 -
3069.71/3080.87 c 3081 9478351 3577419 1 - 0.0000 -
3074.79/3085.92 c 3086 9493949 3586046 1 - 0.0000 -
3079.78/3090.97 c 3091 9510361 3593409 1 - 0.0000 -
3084.87/3096.02 c 3096 9526021 3595105 1 - 0.0000 -
3089.84/3101.07 c 3101 9540971 3597912 1 - 0.0000 -
3094.93/3106.12 c 3106 9556455 3602337 1 - 0.0000 -
3099.91/3111.17 c 3111 9571611 3607725 1 - 0.0000 -
3104.99/3116.22 c 3116 9587065 3612693 1 - 0.0000 -
3109.97/3121.27 c 3121 9602863 3616890 1 - 0.0000 -
3115.06/3126.32 c 3126 9618213 3621519 1 - 0.0000 -
3120.04/3131.37 c 3131 9633856 3627123 1 - 0.0000 -
3125.12/3136.42 c 3136 9649325 3630422 1 - 0.0000 -
3130.10/3141.47 c 3141 9664713 3634401 1 - 0.0000 -
3135.18/3146.52 c 3147 9680059 3638756 1 - 0.0000 -
3140.17/3151.57 c 3152 9695742 3642100 1 - 0.0000 -
3145.25/3156.62 c 3157 9711070 3646001 1 - 0.0000 -
3150.23/3161.67 c 3162 9724866 3652228 1 - 0.0000 -
3155.31/3166.72 c 3167 9740260 3656719 1 - 0.0000 -
3160.30/3171.77 c 3172 9754413 3662163 1 - 0.0000 -
3165.38/3176.82 c 3177 9769228 3666827 1 - 0.0000 -
3170.36/3181.87 c 3182 9785533 3670100 1 - 0.0000 -
3175.45/3186.92 c 3187 9800409 3674900 1 - 0.0000 -
3180.43/3191.97 c 3192 9815291 3680527 1 - 0.0000 -
3185.51/3197.02 c 3197 9829868 3686519 1 - 0.0000 -
3190.50/3202.07 c 3202 9843389 3691332 1 - 0.0000 -
3195.58/3207.12 c 3207 9858967 3696210 1 - 0.0000 -
3200.57/3212.17 c 3212 9870312 3702509 1 - 0.0000 -
3205.64/3217.22 c 3217 9884487 3708061 1 - 0.0000 -
3210.63/3222.27 c 3222 9896263 3715110 1 - 0.0000 -
3215.71/3227.32 c 3227 9910845 3721917 1 - 0.0000 -
3220.70/3232.37 c 3232 9921206 3727615 1 - 0.0000 -
3225.78/3237.42 c 3237 9930693 3734273 1 - 0.0000 -
3230.76/3242.47 c 3242 9942566 3740560 1 - 0.0000 -
3235.84/3247.52 c 3248 9953253 3747105 1 - 0.0000 -
3240.82/3252.57 c 3253 9963983 3753605 1 - 0.0000 -
3245.91/3257.62 c 3258 9977576 3758815 1 - 0.0000 -
3250.89/3262.67 c 3263 9991364 3762980 1 - 0.0000 -
3255.97/3267.72 c 3268 10004918 3769150 1 - 0.0000 -
3260.96/3272.77 c 3273 10018674 3774732 1 - 0.0000 -
3266.04/3277.82 c 3278 10034255 3778157 1 - 0.0000 -
3271.02/3282.87 c 3283 10047830 3783031 1 - 0.0000 -
3276.10/3287.92 c 3288 10062409 3787801 1 - 0.0000 -
3281.09/3292.97 c 3293 10077564 3791942 1 - 0.0000 -
3286.17/3298.02 c 3298 10093104 3795363 1 - 0.0000 -
3291.15/3303.07 c 3303 10109119 3800504 1 - 0.0000 -
3296.24/3308.12 c 3308 10124224 3803837 1 - 0.0000 -
3301.22/3313.17 c 3313 10139636 3809647 1 - 0.0000 -
3306.29/3318.22 c 3318 10154745 3814666 1 - 0.0000 -
3311.28/3323.27 c 3323 10169550 3819155 1 - 0.0000 -
3316.36/3328.32 c 3328 10184925 3823700 1 - 0.0000 -
3321.35/3333.37 c 3333 10199475 3828319 1 - 0.0000 -
3326.43/3338.42 c 3338 10214148 3834307 1 - 0.0000 -
3331.41/3343.47 c 3343 10230933 3836121 1 - 0.0000 -
3336.49/3348.52 c 3349 10245603 3840881 1 - 0.0000 -
3341.48/3353.57 c 3354 10261788 3844400 1 - 0.0000 -
3346.56/3358.62 c 3359 10278000 3848123 1 - 0.0000 -
3351.54/3363.67 c 3364 10293845 3851493 1 - 0.0000 -
3356.62/3368.72 c 3369 10309590 3854369 1 - 0.0000 -
3361.61/3373.77 c 3374 10324108 3860580 1 - 0.0000 -
3366.70/3378.82 c 3379 10339078 3865609 1 - 0.0000 -
3371.68/3383.87 c 3384 10355007 3869776 1 - 0.0000 -
3376.76/3388.92 c 3389 10370810 3873562 1 - 0.0000 -
3381.75/3393.97 c 3394 10385468 3878243 1 - 0.0000 -
3386.83/3399.02 c 3399 10400234 3882753 1 - 0.0000 -
3391.81/3404.07 c 3404 10415058 3887335 1 - 0.0000 -
3396.89/3409.12 c 3409 10430512 3892421 1 - 0.0000 -
3401.87/3414.17 c 3414 10445667 3896707 1 - 0.0000 -
3406.95/3419.22 c 3419 10460994 3901266 1 - 0.0000 -
3411.94/3424.27 c 3424 10476544 3906158 1 - 0.0000 -
3417.01/3429.32 c 3429 10492658 3909862 1 - 0.0000 -
3422.00/3434.37 c 3434 10508092 3914005 1 - 0.0000 -
3427.08/3439.42 c 3439 10523322 3917842 1 - 0.0000 -
3432.07/3444.47 c 3444 10538408 3922794 1 - 0.0000 -
3437.15/3449.52 c 3450 10552505 3930903 1 - 0.0000 -
3442.13/3454.57 c 3455 10566743 3936263 1 - 0.0000 -
3447.22/3459.62 c 3460 10582744 3941378 1 - 0.0000 -
3452.20/3464.67 c 3465 10598438 3944915 1 - 0.0000 -
3457.28/3469.72 c 3470 10612507 3951081 1 - 0.0000 -
3462.26/3474.77 c 3475 10624306 3956458 1 - 0.0000 -
3467.34/3479.82 c 3480 10635446 3961927 1 - 0.0000 -
3472.33/3484.87 c 3485 10645572 3968086 1 - 0.0000 -
3477.41/3489.92 c 3490 10660765 3972985 1 - 0.0000 -
3482.40/3494.97 c 3495 10674338 3978375 1 - 0.0000 -
3487.49/3500.02 c 3500 10687898 3985404 1 - 0.0000 -
3492.47/3505.07 c 3505 10703336 3989704 1 - 0.0000 -
3497.55/3510.12 c 3510 10717976 3993788 1 - 0.0000 -
3502.53/3515.17 c 3515 10732715 3999438 1 - 0.0000 -
3507.60/3520.22 c 3520 10747727 4005003 1 - 0.0000 -
3512.59/3525.27 c 3525 10762195 4010919 1 - 0.0000 -
3517.67/3530.32 c 3530 10776618 4015468 1 - 0.0000 -
3522.66/3535.37 c 3535 10790398 4021585 1 - 0.0000 -
3527.73/3540.42 c 3540 10805209 4027189 1 - 0.0000 -
3532.73/3545.47 c 3545 10820651 4031403 1 - 0.0000 -
3537.80/3550.52 c 3551 10836353 4034942 1 - 0.0000 -
3542.79/3555.57 c 3556 10852011 4039197 1 - 0.0000 -
3547.87/3560.62 c 3561 10867686 4043571 1 - 0.0000 -
3552.85/3565.67 c 3566 10883094 4047673 1 - 0.0000 -
3557.94/3570.72 c 3571 10899246 4051893 1 - 0.0000 -
3562.92/3575.77 c 3576 10914125 4056698 1 - 0.0000 -
3568.00/3580.82 c 3581 10928646 4060550 1 - 0.0000 -
3572.99/3585.87 c 3586 10943875 4065155 1 - 0.0000 -
3578.07/3590.92 c 3591 10957552 4069225 1 - 0.0000 -
3583.05/3595.97 c 3596 10971514 4073920 1 - 0.0000 -
3594.71/3607.67 c SCIP Status : c solving was interrupted [hard time limit reached]
3594.71/3607.67 c Total Time : 3607.6700
3594.71/3607.67 c solving : 3607.6700
3594.71/3607.67 c presolving : 0.0030 (included in solving)
3594.71/3607.67 c B&B Tree :
3594.71/3607.67 c nodes (total) : 1
3594.71/3607.67 c Solution :
3594.71/3607.67 c Solutions found : 0
3594.71/3607.67 c Primal Bound : -
3594.71/3607.67 c Dual Bound : +0.00000000000000e+00
3594.71/3607.67 c Gap : -
3594.81/3607.73 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 (62865 MiB free)
memory of node 1: 64473 MiB (63303 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447640-1721357674/watcher-4447640-1721357674 -o /tmp/evaluation-result-4447640-1721357674/solver-4447640-1721357674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982054 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447640-1721357674.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=984275, runsolver pid=984270
[startup+0.100088 s]*
/proc/loadavg: 4.24 4.22 4.16 5/263 984289
/proc/meminfo: memFree=129147776/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=107356 memory=26512 CPUtime=0.09 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 3569 0 0 0 9 0 0 0 20 0 3 0 187934484 109932544 6628 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 26839 6628 2926 3032 0 9704 0
[pid=984275/tid=984278] ppid=984270 vsize=107356 memory=4026531971 CPUtime=0.09 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 2241 0 0 0 9 0 0 0 20 0 3 0 187934484 109932544 6628 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=107356 memory=1656803 CPUtime=0 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934485 109932544 6628 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 26512 KiB
[startup+0.205707 s]*
/proc/loadavg: 4.24 4.22 4.16 8/265 984291
/proc/meminfo: memFree=129130848/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=107356 memory=28420 CPUtime=0.2 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 3976 0 0 0 20 0 0 0 20 0 3 0 187934484 109932544 7105 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 26839 7105 2942 3032 0 9951 0
[pid=984275/tid=984278] ppid=984270 vsize=107356 memory=8737651120394928259 CPUtime=0.19 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 2648 0 0 0 19 0 0 0 20 0 3 0 187934484 109932544 7105 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=107356 memory=1656803 CPUtime=0 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934485 109932544 7105 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 28420 KiB
[startup+0.305067 s]*
/proc/loadavg: 4.24 4.22 4.16 7/265 984291
/proc/meminfo: memFree=129126712/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=107356 memory=28420 CPUtime=0.3 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 4013 0 0 0 30 0 0 0 20 0 3 0 187934484 109932544 7105 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 26839 7105 2942 3032 0 9951 0
[pid=984275/tid=984278] ppid=984270 vsize=107356 memory=-6154283679517686631 CPUtime=0.29 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 2685 0 0 0 29 0 0 0 20 0 3 0 187934484 109932544 7105 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=107356 memory=0 CPUtime=0 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934485 109932544 7105 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 28420 KiB
[startup+0.700242 s]
/proc/loadavg: 4.24 4.22 4.16 6/265 984291
/proc/meminfo: memFree=129121052/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=107356 memory=28684 CPUtime=0.68 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 4084 0 0 0 68 0 0 0 20 0 3 0 187934484 109932544 7171 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 26839 7171 2942 3032 0 10078 0
[pid=984275/tid=984278] ppid=984270 vsize=107356 memory=0 CPUtime=0.68 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 2756 0 0 0 68 0 0 0 20 0 3 0 187934484 109932544 7171 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=107356 memory=0 CPUtime=0 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934485 109932544 7171 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 28684 KiB
[startup+1.50021 s]
/proc/loadavg: 4.14 4.20 4.15 5/258 984323
/proc/meminfo: memFree=129160472/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=107356 memory=29952 CPUtime=1.48 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 6310 0 0 0 148 0 0 0 20 0 3 0 187934484 109932544 7488 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 26839 7488 2990 3032 0 10159 0
[pid=984275/tid=984278] ppid=984270 vsize=107356 memory=0 CPUtime=1.47 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 4966 0 0 0 147 0 0 0 20 0 3 0 187934484 109932544 7488 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=107356 memory=0 CPUtime=0 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934485 109932544 7488 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 29952 KiB
[startup+3.10528 s]
/proc/loadavg: 4.14 4.20 4.15 5/265 984339
/proc/meminfo: memFree=129082828/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=107356 memory=31552 CPUtime=3.08 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 7148 0 0 0 307 1 0 0 20 0 3 0 187934484 109932544 7888 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 26839 7888 2990 3032 0 10770 0
[pid=984275/tid=984278] ppid=984270 vsize=107356 memory=0 CPUtime=3.08 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 5802 0 0 0 307 1 0 0 20 0 3 0 187934484 109932544 7888 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=107356 memory=4051279486193856501 CPUtime=0 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 187934485 109932544 7888 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107356 KiB
Current children cumulated memory: 31552 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.19 4.15 5/265 984341
/proc/meminfo: memFree=129029036/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=107936 memory=38424 CPUtime=6.26 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 11599 0 0 0 623 3 0 0 20 0 3 0 187934484 110526464 9606 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 26984 9606 2990 3032 0 12323 0
[pid=984275/tid=984278] ppid=984270 vsize=107936 memory=-6226341273555614572 CPUtime=6.25 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 10226 0 0 0 622 3 0 0 20 0 3 0 187934484 110526464 9606 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=107936 memory=35268 CPUtime=0 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 187934485 110526464 9606 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107936 KiB
Current children cumulated memory: 38424 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.19 4.15 5/265 984341
/proc/meminfo: memFree=129000888/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=109416 memory=50440 CPUtime=12.65 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 22367 0 0 0 1257 8 0 0 20 0 3 0 187934484 112041984 12610 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 27354 12610 2990 3032 0 15370 0
[pid=984275/tid=984278] ppid=984270 vsize=109416 memory=45568 CPUtime=12.63 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 20948 0 0 0 1256 7 0 0 20 0 3 0 187934484 112041984 12610 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=109416 memory=11608 CPUtime=0 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 187934485 112041984 12610 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 109416 KiB
Current children cumulated memory: 50440 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.18 4.15 5/265 984342
/proc/meminfo: memFree=128941684/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=116028 memory=69740 CPUtime=25.4 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 38872 0 0 0 2524 16 0 0 20 0 3 0 187934484 118812672 17435 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 29007 17435 2990 3032 0 20102 0
[pid=984275/tid=984278] ppid=984270 vsize=116028 memory=56176 CPUtime=25.39 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 37399 0 0 0 2523 16 0 0 20 0 3 0 187934484 118812672 17435 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=116028 memory=12384 CPUtime=0 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 187934485 118812672 17435 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 116028 KiB
Current children cumulated memory: 69740 KiB
[startup+51.1056 s]
/proc/loadavg: 4.17 4.20 4.15 5/263 984347
/proc/meminfo: memFree=128835060/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=200412 memory=110492 CPUtime=50.92 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 71322 0 0 0 5061 31 0 0 20 0 3 0 187934484 205221888 27623 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 50103 27623 2990 3032 0 30291 0
[pid=984275/tid=984278] ppid=984270 vsize=200412 memory=103172 CPUtime=50.91 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 69769 0 0 0 5060 31 0 0 20 0 3 0 187934484 205221888 27623 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=200412 memory=50440 CPUtime=0 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 187934485 205221888 27623 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 200412 KiB
Current children cumulated memory: 110492 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.16 4.14 5/264 984739
/proc/meminfo: memFree=128622336/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=236444 memory=180140 CPUtime=101.91 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 120065 0 0 0 10133 58 0 0 20 0 3 0 187934484 242118656 45035 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 59111 45035 2990 3032 0 47004 0
[pid=984275/tid=984278] ppid=984270 vsize=236444 memory=173492 CPUtime=101.9 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 118463 0 0 0 10132 58 0 0 20 0 3 0 187934484 242118656 45035 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=236444 memory=172784 CPUtime=0 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 187934485 242118656 45035 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 236444 KiB
Current children cumulated memory: 180140 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/264 984749
/proc/meminfo: memFree=128381416/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=287108 memory=259160 CPUtime=161.7 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 167618 0 0 0 16080 90 0 0 20 0 3 0 187934484 293998592 64790 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 71777 64790 2990 3032 0 67727 0
[pid=984275/tid=984278] ppid=984270 vsize=287108 memory=209628 CPUtime=161.69 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 165987 0 0 0 16079 90 0 0 20 0 3 0 187934484 293998592 64790 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=287108 memory=243052 CPUtime=0 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 187934485 293998592 64790 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 287108 KiB
################
# More data... #
################
/proc/984275/statm: 829060 818742 2990 3032 0 821311 0
[pid=984275/tid=984278] ppid=984270 vsize=3316240 memory=3167756 CPUtime=3449.69 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 3252165 0 0 0 343273 1696 0 0 20 0 3 0 187934484 3395829760 818742 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=3316240 memory=3206728 CPUtime=0.02 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 65 0 0 0 1 1 0 0 20 0 3 0 187934485 3395829760 818742 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 3449.9 s
Current children cumulated vsize: 3316240 KiB
Current children cumulated memory: 3274968 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.12 4.10 5/264 986149
/proc/meminfo: memFree=119602008/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=3381776 memory=3327904 CPUtime=3509.7 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 3321575 0 0 0 349241 1729 0 0 20 0 3 0 187934484 3462938624 831976 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 845444 831976 2990 3032 0 834439 0
[pid=984275/tid=984278] ppid=984270 vsize=3381776 memory=3292864 CPUtime=3509.48 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 3319151 0 0 0 349222 1726 0 0 20 0 3 0 187934484 3462938624 831976 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=3381776 memory=3324624 CPUtime=0.02 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 66 0 0 0 1 1 0 0 20 0 3 0 187934485 3462938624 831976 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 3509.7 s
Current children cumulated vsize: 3381776 KiB
Current children cumulated memory: 3327904 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 986160
/proc/meminfo: memFree=119476200/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=3447312 memory=3374560 CPUtime=3569.5 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 3414800 0 0 0 355187 1763 0 0 20 0 3 0 187934484 3530047488 843640 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 861828 843640 2990 3032 0 846010 0
[pid=984275/tid=984278] ppid=984270 vsize=3447312 memory=11608 CPUtime=3569.28 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 3412361 0 0 0 355168 1760 0 0 20 0 3 0 187934484 3530047488 843640 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=3447312 memory=3369912 CPUtime=0.02 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 67 0 0 0 1 1 0 0 20 0 3 0 187934485 3530047488 843640 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 3569.5 s
Current children cumulated vsize: 3447312 KiB
Current children cumulated memory: 3374560 KiB
[startup+3607.73 s]
# the end of solver process 984275 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.64 s, system=18.2109 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 6/264 986160
/proc/meminfo: memFree=119471596/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=3447312 memory=3378348 CPUtime=3571.2 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 3417526 0 0 0 355356 1764 0 0 20 0 3 0 187934484 3530047488 844587 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 861828 844587 2990 3032 0 846954 0
[pid=984275/tid=984278] ppid=984270 vsize=3447312 memory=6720663242420798063 CPUtime=3570.98 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 3415087 0 0 0 355337 1761 0 0 20 0 3 0 187934484 3530047488 844587 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=3447312 memory=-8549727003958230936 CPUtime=0.02 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 67 0 0 0 1 1 0 0 20 0 3 0 187934485 3530047488 844587 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 3571.2 s
Current children cumulated vsize: 3447312 KiB
Current children cumulated memory: 3378348 KiB
[startup+3596.8 s]
/proc/loadavg: 4.06 4.09 4.09 6/264 986163
/proc/meminfo: memFree=119442056/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=3447312 memory=3388992 CPUtime=3583.95 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 3431395 0 0 0 356625 1770 0 0 20 0 3 0 187934484 3530047488 847248 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 861828 847248 2990 3032 0 849578 0
[pid=984275/tid=984278] ppid=984270 vsize=3447312 memory=3368216 CPUtime=3583.73 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 3428956 0 0 0 356606 1767 0 0 20 0 3 0 187934484 3530047488 847248 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=3447312 memory=3371788 CPUtime=0.02 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 67 0 0 0 1 1 0 0 20 0 3 0 187934485 3530047488 847248 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 3583.95 s
Current children cumulated vsize: 3447312 KiB
Current children cumulated memory: 3388992 KiB
[startup+3603.2 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 986259
/proc/meminfo: memFree=123596584/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=3447312 memory=3391740 CPUtime=3590.33 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 3830309 0 0 0 357238 1795 0 0 20 0 3 0 187934484 3530047488 847935 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 861828 847935 2990 3032 0 850762 0
[pid=984275/tid=984278] ppid=984270 vsize=3447312 memory=3385316 CPUtime=3590.1 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 3827868 0 0 0 357218 1792 0 0 20 0 3 0 187934484 3530047488 847935 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=3447312 memory=3391576 CPUtime=0.02 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 68 0 0 0 1 1 0 0 20 0 3 0 187934485 3530047488 847935 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 3590.33 s
Current children cumulated vsize: 3447312 KiB
Current children cumulated memory: 3391740 KiB
[startup+3604.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 986259
/proc/meminfo: memFree=124010076/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=3447312 memory=3391740 CPUtime=3591.92 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 3921531 0 0 0 357391 1801 0 0 20 0 3 0 187934484 3530047488 847935 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 861828 847935 2990 3032 0 850762 0
[pid=984275/tid=984278] ppid=984270 vsize=3447312 memory=3391740 CPUtime=3591.69 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 3919093 0 0 0 357371 1798 0 0 20 0 3 0 187934484 3530047488 847935 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=3447312 memory=3391740 CPUtime=0.02 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 68 0 0 0 1 1 0 0 20 0 3 0 187934485 3530047488 847935 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 3591.92 s
Current children cumulated vsize: 3447312 KiB
Current children cumulated memory: 3391740 KiB
[startup+3606.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 986309
/proc/meminfo: memFree=125700440/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=3447312 memory=3391740 CPUtime=3593.52 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 4033164 0 0 0 357544 1808 0 0 20 0 3 0 187934484 3530047488 847935 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 861828 847935 2990 3032 0 850762 0
[pid=984275/tid=984278] ppid=984270 vsize=3447312 memory=3392808 CPUtime=3593.29 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 4030720 0 0 0 357524 1805 0 0 20 0 3 0 187934484 3530047488 847935 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=3447312 memory=3391740 CPUtime=0.02 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 71 0 0 0 1 1 0 0 20 0 3 0 187934485 3530047488 847935 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 3593.52 s
Current children cumulated vsize: 3447312 KiB
Current children cumulated memory: 3391740 KiB
[startup+3607.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 986309
/proc/meminfo: memFree=125697524/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=3447312 memory=3391740 CPUtime=3594.31 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 4077508 0 0 0 357620 1811 0 0 20 0 3 0 187934484 3530047488 847935 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 861828 847935 2990 3032 0 850762 0
[pid=984275/tid=984278] ppid=984270 vsize=3447312 memory=45740 CPUtime=3594.09 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 4075064 0 0 0 357601 1808 0 0 20 0 3 0 187934484 3530047488 847935 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=3447312 memory=3391740 CPUtime=0.02 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 71 0 0 0 1 1 0 0 20 0 3 0 187934485 3530047488 847935 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 3594.31 s
Current children cumulated vsize: 3447312 KiB
Current children cumulated memory: 3391740 KiB
[startup+3607.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 986309
/proc/meminfo: memFree=125697524/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=3446476 memory=3390904 CPUtime=3594.71 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 4081827 0 0 0 357660 1811 0 0 20 0 3 0 187934484 3529191424 847726 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 861619 847726 2990 3032 0 850553 0
[pid=984275/tid=984278] ppid=984270 vsize=3446476 memory=2632 CPUtime=3594.49 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 4079384 0 0 0 357641 1808 0 0 20 0 3 0 187934484 3529191424 847726 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=3446476 memory=6720659961049006702 CPUtime=0.02 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 71 0 0 0 1 1 0 0 20 0 3 0 187934485 3529191424 847726 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 3594.71 s
Current children cumulated vsize: 3446476 KiB
Current children cumulated memory: 3390904 KiB
[startup+3607.7 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 986309
/proc/meminfo: memFree=125697524/131524600 swapFree=131071996/131071996
[pid=984275] ppid=984270 vsize=1483612 memory=1427988 CPUtime=3594.81 cores=5,7
/proc/984275/stat : 984275 (fscip) S 984270 984275 982041 0 -1 1077936128 4082443 0 0 0 357664 1817 0 0 20 0 3 0 187934484 1519218688 358021 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
/proc/984275/statm: 370903 357509 2990 3032 0 365582 0
[pid=984275/tid=984278] ppid=984270 vsize=1483612 memory=3378944 CPUtime=3594.58 cores=5,7
/proc/984275/task/984278/stat : 984278 (fscip) R 984270 984275 982041 0 -1 4194368 4079984 0 0 0 357644 1814 0 0 20 0 3 0 187934484 1519218688 356485 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
[pid=984275/tid=984279] ppid=984270 vsize=1483612 memory=3378928 CPUtime=0.02 cores=5,7
/proc/984275/task/984279/stat : 984279 (fscip) S 984270 984275 982041 0 -1 1077936192 71 0 0 0 1 1 0 0 20 0 3 0 187934485 1519218688 355973 134679101440 4194304 16613245 140721757096624 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 42418176 140721757099028 140721757099144 140721757099144 140721757106160 0
Current children cumulated CPU time: 3594.81 s
Current children cumulated vsize: 1483612 KiB
Current children cumulated memory: 1427988 KiB
Child status: 0
Real time (s): 3607.73
CPU time (s): 3594.85
CPU user time (s): 3576.64
CPU system time (s): 18.2109
CPU usage (%): 99.643
Max. virtual memory (cumulated for all children) (KiB): 3447312
Max. memory (cumulated for all children) (KiB): 3393788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.64
system time used= 18.2109
maximum resident set size= 3393788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4082721
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= 10875
involuntary context switches= 4761
# summary of solver processes directly reported to runsolver:
# pid: 984275
# total CPU time (s): 3594.85
# total CPU user time (s): 3576.64
# total CPU system time (s): 18.2109
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9686 second user time and 12.3827 second system time
The end
Begin job on nodeC028 at 2024-07-19 04:54:47
IDJOB=4447640
IDBENCH=159618
IDSOLVER=3064
FILE ID=nodeC028/4447640-1721357674
RUNJOBID= nodeC028-1721354084-982054
SLURM_JOB_ID= 7542773
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4447640-1721357674/watcher-4447640-1721357674 -o /tmp/evaluation-result-4447640-1721357674/solver-4447640-1721357674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982054 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447640-1721357674.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 475bc15817d6b9c1e0eb0f353b0b56cf
RANDOM SEED=22335364
nodeC028.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 : 3668.601
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.56
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 : 3600.742
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.59
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 : 3642.182
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.56
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 : 3683.447
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.59
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 : 3616.096
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.56
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 : 3683.238
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.59
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 : 3601.173
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.56
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.767
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129199604 kB
MemAvailable: 129717328 kB
Buffers: 508060 kB
Cached: 851052 kB
SwapCached: 0 kB
Active: 1008572 kB
Inactive: 722332 kB
Active(anon): 1520 kB
Inactive(anon): 407660 kB
Active(file): 1007052 kB
Inactive(file): 314672 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 84908 kB
Writeback: 16 kB
AnonPages: 368732 kB
Mapped: 130100 kB
Shmem: 37720 kB
KReclaimable: 71648 kB
Slab: 178952 kB
SReclaimable: 71648 kB
SUnreclaim: 107304 kB
KernelStack: 4080 kB
PageTables: 9500 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 881992 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 215040 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC028 at 2024-07-19 05:54:55