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 = 26255360, getVmSize() = 26255360, SCIPgetMemUsed() = 3133876, SCIPgetMemTotal() = 4572748, SCIPgetMemExternEstim() = 1923717
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.02 c ** Estimated virtualMemUsedAtSolver = 19288064, getVmSize() = 31608832, SCIPgetMemUsed() = 5479493, SCIPgetMemTotal() = 8868589, SCIPgetMemExternEstim() = 1923717
0.00/0.02 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02 c Original Problem :
0.00/0.02 c Problem name : instance-4464506-1722385811
0.00/0.02 c Variables : 401 (401 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 1602
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 800
0.00/0.02 c Constraints : Number
0.00/0.02 c linear : 800
0.00/0.02 c ** Instance transfer method used: 0
0.00/0.02 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.02 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.02 c Nodes Active
0.00/0.02 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.37/5.44 c 5 3554 2985 1 - 0.0000 -
10.45/10.51 c 11 10469 8654 1 - 0.0000 -
15.43/15.56 c 16 19848 15499 1 - 0.0000 -
20.52/20.60 c 21 28936 21373 1 - 0.0000 -
25.50/25.65 c 26 38302 27221 1 - 0.0000 -
30.58/30.70 c 31 47400 32875 1 - 0.0000 -
35.57/35.75 c 36 56701 38395 1 - 0.0000 -
40.65/40.80 c 41 66244 44165 1 - 0.0000 -
45.63/45.85 c 46 75580 50870 1 - 0.0000 -
50.71/50.90 c 51 85811 56347 1 - 0.0000 -
55.69/55.95 c 56 95025 61975 1 - 0.0000 -
60.78/61.00 c 61 104693 67495 1 - 0.0000 -
65.76/66.05 c 66 114030 72648 1 - 0.0000 -
70.75/71.10 c 71 123353 77976 1 - 0.0000 -
75.83/76.15 c 76 133042 83552 1 - 0.0000 -
80.90/81.20 c 81 142403 88854 1 - 0.0000 -
85.88/86.25 c 86 151317 94546 1 - 0.0000 -
90.97/91.30 c 91 161017 99855 1 - 0.0000 -
95.95/96.35 c 96 170522 104662 1 - 0.0000 -
101.04/101.40 c 101 179417 110174 1 - 0.0000 -
106.02/106.45 c 106 188996 115377 1 - 0.0000 -
111.09/111.50 c 112 198755 120391 1 - 0.0000 -
116.08/116.55 c 117 207963 125488 1 - 0.0000 -
121.17/121.60 c 122 217435 131076 1 - 0.0000 -
126.14/126.65 c 127 226912 136146 1 - 0.0000 -
131.23/131.70 c 132 236039 141173 1 - 0.0000 -
136.22/136.75 c 137 245516 146106 1 - 0.0000 -
141.30/141.80 c 142 254659 150838 1 - 0.0000 -
146.27/146.85 c 147 264177 155984 1 - 0.0000 -
151.36/151.90 c 152 273875 160809 1 - 0.0000 -
156.34/156.95 c 157 283098 165691 1 - 0.0000 -
161.42/162.00 c 162 292260 170762 1 - 0.0000 -
166.40/167.05 c 167 301560 175473 1 - 0.0000 -
171.39/172.10 c 172 310959 180471 1 - 0.0000 -
176.48/177.15 c 177 320308 186280 1 - 0.0000 -
181.55/182.20 c 182 330244 192758 1 - 0.0000 -
186.54/187.25 c 187 340080 198796 1 - 0.0000 -
191.62/192.30 c 192 350512 204953 1 - 0.0000 -
196.60/197.35 c 197 361305 210596 1 - 0.0000 -
201.69/202.40 c 202 371086 215978 1 - 0.0000 -
206.66/207.45 c 207 381805 221046 1 - 0.0000 -
211.75/212.50 c 213 391927 225468 1 - 0.0000 -
216.73/217.55 c 218 402035 230140 1 - 0.0000 -
221.82/222.60 c 223 411716 234172 1 - 0.0000 -
226.80/227.65 c 228 421537 239104 1 - 0.0000 -
231.88/232.70 c 233 431213 243809 1 - 0.0000 -
236.86/237.75 c 238 440862 248577 1 - 0.0000 -
241.95/242.80 c 243 450442 253621 1 - 0.0000 -
246.93/247.85 c 248 460169 258103 1 - 0.0000 -
252.01/252.90 c 253 469684 264696 1 - 0.0000 -
256.99/257.95 c 258 479465 269695 1 - 0.0000 -
262.07/263.00 c 263 489036 274232 1 - 0.0000 -
267.06/268.05 c 268 498338 278438 1 - 0.0000 -
272.04/273.10 c 273 507639 283779 1 - 0.0000 -
277.12/278.15 c 278 517327 288481 1 - 0.0000 -
282.20/283.20 c 283 526514 293395 1 - 0.0000 -
287.19/288.25 c 288 535822 298026 1 - 0.0000 -
292.27/293.30 c 293 545252 302946 1 - 0.0000 -
297.25/298.36 c 298 554992 308193 1 - 0.0000 -
302.33/303.41 c 303 564454 313020 1 - 0.0000 -
307.31/308.46 c 308 574273 317675 1 - 0.0000 -
312.40/313.51 c 314 583645 322544 1 - 0.0000 -
317.38/318.56 c 319 592608 327873 1 - 0.0000 -
322.46/323.61 c 324 602064 332001 1 - 0.0000 -
327.44/328.66 c 329 611171 336144 1 - 0.0000 -
332.53/333.71 c 334 620524 340878 1 - 0.0000 -
337.51/338.76 c 339 629942 345146 1 - 0.0000 -
342.59/343.81 c 344 639157 349321 1 - 0.0000 -
347.58/348.86 c 349 648690 353958 1 - 0.0000 -
352.66/353.91 c 354 657835 358249 1 - 0.0000 -
357.64/358.96 c 359 667045 362627 1 - 0.0000 -
362.73/364.01 c 364 676292 366731 1 - 0.0000 -
367.71/369.06 c 369 685838 370730 1 - 0.0000 -
372.79/374.11 c 374 695193 376391 1 - 0.0000 -
377.78/379.16 c 379 704380 380847 1 - 0.0000 -
382.85/384.21 c 384 713908 385811 1 - 0.0000 -
387.83/389.26 c 389 723068 389963 1 - 0.0000 -
392.92/394.31 c 394 732390 393921 1 - 0.0000 -
397.90/399.36 c 399 740948 398082 1 - 0.0000 -
402.98/404.41 c 404 749779 404404 1 - 0.0000 -
407.97/409.46 c 409 758951 410953 1 - 0.0000 -
413.05/414.51 c 415 768682 417618 1 - 0.0000 -
418.03/419.56 c 420 778756 423257 1 - 0.0000 -
423.11/424.61 c 425 788503 428054 1 - 0.0000 -
428.09/429.66 c 430 797934 433245 1 - 0.0000 -
433.18/434.71 c 435 807557 437744 1 - 0.0000 -
438.15/439.76 c 440 816913 442103 1 - 0.0000 -
443.24/444.81 c 445 825720 447376 1 - 0.0000 -
448.23/449.86 c 450 834631 451422 1 - 0.0000 -
453.30/454.91 c 455 843665 454818 1 - 0.0000 -
458.28/459.96 c 460 852706 458575 1 - 0.0000 -
463.37/465.01 c 465 861570 462621 1 - 0.0000 -
468.35/470.06 c 470 870623 466885 1 - 0.0000 -
473.44/475.11 c 475 879732 471249 1 - 0.0000 -
478.42/480.16 c 480 888380 475623 1 - 0.0000 -
483.50/485.21 c 485 897467 479710 1 - 0.0000 -
488.48/490.26 c 490 906410 483121 1 - 0.0000 -
493.56/495.31 c 495 915419 487920 1 - 0.0000 -
498.55/500.36 c 500 924522 492140 1 - 0.0000 -
503.63/505.41 c 505 933248 495930 1 - 0.0000 -
508.61/510.46 c 510 942368 500000 1 - 0.0000 -
513.69/515.50 c 516 951431 504382 1 - 0.0000 -
518.68/520.55 c 521 960223 509018 1 - 0.0000 -
523.76/525.60 c 526 969257 512728 1 - 0.0000 -
528.74/530.65 c 531 978442 517019 1 - 0.0000 -
533.82/535.70 c 536 987659 521470 1 - 0.0000 -
538.80/540.75 c 541 997105 526516 1 - 0.0000 -
543.88/545.80 c 546 1006247 531121 1 - 0.0000 -
548.85/550.85 c 551 1015777 537334 1 - 0.0000 -
553.93/555.90 c 556 1025350 542081 1 - 0.0000 -
558.91/560.95 c 561 1034529 546151 1 - 0.0000 -
563.98/566.00 c 566 1043329 550340 1 - 0.0000 -
568.97/571.05 c 571 1052314 554773 1 - 0.0000 -
573.95/576.10 c 576 1061355 558764 1 - 0.0000 -
579.03/581.15 c 581 1070718 563035 1 - 0.0000 -
584.11/586.20 c 586 1079782 567771 1 - 0.0000 -
589.09/591.25 c 591 1088707 572014 1 - 0.0000 -
594.16/596.30 c 596 1098032 576500 1 - 0.0000 -
599.15/601.35 c 601 1107230 580733 1 - 0.0000 -
604.23/606.40 c 606 1115889 584644 1 - 0.0000 -
609.21/611.45 c 611 1124892 588741 1 - 0.0000 -
614.30/616.50 c 617 1133522 592910 1 - 0.0000 -
619.28/621.55 c 622 1142970 597454 1 - 0.0000 -
624.36/626.60 c 627 1151717 601256 1 - 0.0000 -
629.33/631.65 c 632 1161867 606254 1 - 0.0000 -
634.42/636.70 c 637 1170635 610163 1 - 0.0000 -
639.40/641.75 c 642 1179922 614589 1 - 0.0000 -
644.48/646.80 c 647 1188883 618210 1 - 0.0000 -
649.47/651.85 c 652 1197915 622586 1 - 0.0000 -
654.54/656.90 c 657 1206779 626225 1 - 0.0000 -
659.53/661.95 c 662 1215664 629658 1 - 0.0000 -
664.61/667.00 c 667 1224735 633394 1 - 0.0000 -
669.60/672.05 c 672 1234181 638406 1 - 0.0000 -
674.58/677.10 c 677 1243095 642059 1 - 0.0000 -
679.66/682.15 c 682 1252520 646394 1 - 0.0000 -
684.73/687.20 c 687 1261141 649448 1 - 0.0000 -
689.71/692.25 c 692 1269579 653075 1 - 0.0000 -
694.80/697.30 c 697 1278448 656753 1 - 0.0000 -
699.78/702.35 c 702 1287437 660988 1 - 0.0000 -
704.86/707.40 c 707 1296936 665839 1 - 0.0000 -
709.84/712.45 c 712 1306018 669626 1 - 0.0000 -
714.92/717.50 c 718 1314749 673820 1 - 0.0000 -
719.91/722.55 c 723 1323594 677828 1 - 0.0000 -
724.99/727.60 c 728 1332662 681784 1 - 0.0000 -
729.97/732.65 c 733 1341862 685957 1 - 0.0000 -
735.06/737.70 c 738 1350737 689505 1 - 0.0000 -
740.04/742.75 c 743 1359358 693609 1 - 0.0000 -
745.12/747.80 c 748 1368366 696929 1 - 0.0000 -
750.10/752.85 c 753 1376928 701068 1 - 0.0000 -
755.18/757.90 c 758 1385547 704527 1 - 0.0000 -
760.16/762.95 c 763 1394412 708458 1 - 0.0000 -
765.25/768.00 c 768 1403048 712389 1 - 0.0000 -
770.23/773.05 c 773 1411673 715510 1 - 0.0000 -
775.22/778.10 c 778 1420409 718899 1 - 0.0000 -
780.30/783.15 c 783 1428545 722394 1 - 0.0000 -
785.37/788.20 c 788 1439019 728277 1 - 0.0000 -
790.36/793.25 c 793 1448135 732818 1 - 0.0000 -
795.44/798.30 c 798 1457477 737767 1 - 0.0000 -
800.42/803.35 c 803 1465975 741160 1 - 0.0000 -
805.51/808.40 c 808 1474722 744840 1 - 0.0000 -
810.49/813.45 c 813 1483434 748466 1 - 0.0000 -
815.57/818.50 c 819 1492460 752758 1 - 0.0000 -
820.54/823.55 c 824 1501388 757136 1 - 0.0000 -
825.63/828.60 c 829 1509766 763672 1 - 0.0000 -
830.62/833.65 c 834 1519579 769494 1 - 0.0000 -
835.69/838.70 c 839 1528548 775675 1 - 0.0000 -
840.68/843.75 c 844 1537869 780909 1 - 0.0000 -
845.76/848.80 c 849 1547388 785931 1 - 0.0000 -
850.74/853.85 c 854 1557365 791326 1 - 0.0000 -
855.82/858.90 c 859 1566992 796726 1 - 0.0000 -
860.81/863.95 c 864 1576496 801879 1 - 0.0000 -
865.89/869.00 c 869 1586263 807067 1 - 0.0000 -
870.88/874.05 c 874 1595754 812295 1 - 0.0000 -
875.85/879.10 c 879 1605334 817806 1 - 0.0000 -
880.94/884.15 c 884 1615015 823015 1 - 0.0000 -
886.01/889.20 c 889 1624469 828515 1 - 0.0000 -
891.00/894.25 c 894 1634095 834742 1 - 0.0000 -
896.08/899.30 c 899 1643916 840043 1 - 0.0000 -
901.06/904.35 c 904 1653621 845692 1 - 0.0000 -
906.14/909.40 c 909 1662711 850443 1 - 0.0000 -
911.12/914.45 c 914 1671108 854775 1 - 0.0000 -
916.21/919.50 c 920 1679539 858690 1 - 0.0000 -
921.19/924.55 c 925 1687978 862487 1 - 0.0000 -
926.27/929.60 c 930 1696742 866444 1 - 0.0000 -
931.25/934.65 c 935 1705659 870224 1 - 0.0000 -
936.34/939.70 c 940 1714772 874371 1 - 0.0000 -
941.32/944.75 c 945 1723856 878580 1 - 0.0000 -
946.41/949.80 c 950 1732634 882260 1 - 0.0000 -
951.38/954.85 c 955 1741297 885749 1 - 0.0000 -
956.47/959.90 c 960 1750535 890389 1 - 0.0000 -
961.45/964.95 c 965 1759287 893947 1 - 0.0000 -
966.54/970.00 c 970 1768158 897338 1 - 0.0000 -
971.52/975.05 c 975 1776617 900323 1 - 0.0000 -
976.50/980.10 c 980 1785271 903292 1 - 0.0000 -
981.58/985.15 c 985 1792929 907007 1 - 0.0000 -
986.66/990.20 c 990 1801068 910739 1 - 0.0000 -
991.64/995.25 c 995 1809550 914759 1 - 0.0000 -
996.72/1000.30 c 1000 1818668 919625 1 - 0.0000 -
1001.71/1005.35 c 1005 1827406 923096 1 - 0.0000 -
1006.79/1010.40 c 1010 1836085 926760 1 - 0.0000 -
1011.77/1015.45 c 1015 1845516 931303 1 - 0.0000 -
1016.85/1020.50 c 1021 1854153 935081 1 - 0.0000 -
1021.84/1025.56 c 1026 1862743 939421 1 - 0.0000 -
1026.93/1030.61 c 1031 1871739 945718 1 - 0.0000 -
1031.90/1035.66 c 1036 1880543 951819 1 - 0.0000 -
1036.99/1040.71 c 1041 1889014 957845 1 - 0.0000 -
1041.97/1045.76 c 1046 1898432 963262 1 - 0.0000 -
1047.05/1050.81 c 1051 1907324 969110 1 - 0.0000 -
1052.04/1055.86 c 1056 1916651 974853 1 - 0.0000 -
1057.12/1060.91 c 1061 1925903 980438 1 - 0.0000 -
1062.10/1065.96 c 1066 1935585 985895 1 - 0.0000 -
1067.18/1071.01 c 1071 1944996 991686 1 - 0.0000 -
1072.16/1076.06 c 1076 1954840 997318 1 - 0.0000 -
1077.25/1081.11 c 1081 1964470 1002800 1 - 0.0000 -
1082.24/1086.16 c 1086 1973299 1006257 1 - 0.0000 -
1087.31/1091.21 c 1091 1981892 1010258 1 - 0.0000 -
1092.29/1096.26 c 1096 1990950 1014609 1 - 0.0000 -
1097.38/1101.31 c 1101 1999631 1018553 1 - 0.0000 -
1102.36/1106.36 c 1106 2007983 1022151 1 - 0.0000 -
1107.44/1111.41 c 1111 2016846 1025632 1 - 0.0000 -
1112.42/1116.46 c 1116 2025571 1029826 1 - 0.0000 -
1117.50/1121.51 c 1122 2034651 1033635 1 - 0.0000 -
1122.48/1126.56 c 1127 2043278 1036932 1 - 0.0000 -
1127.57/1131.61 c 1132 2051828 1040321 1 - 0.0000 -
1132.55/1136.66 c 1137 2060395 1043917 1 - 0.0000 -
1137.63/1141.71 c 1142 2068974 1047566 1 - 0.0000 -
1142.61/1146.76 c 1147 2077523 1051095 1 - 0.0000 -
1147.69/1151.81 c 1152 2085907 1054482 1 - 0.0000 -
1152.67/1156.86 c 1157 2094736 1058233 1 - 0.0000 -
1157.76/1161.91 c 1162 2103418 1062119 1 - 0.0000 -
1162.74/1166.96 c 1167 2111679 1065207 1 - 0.0000 -
1167.83/1172.01 c 1172 2119711 1068698 1 - 0.0000 -
1172.80/1177.06 c 1177 2127841 1071777 1 - 0.0000 -
1177.89/1182.11 c 1182 2136708 1076331 1 - 0.0000 -
1182.87/1187.16 c 1187 2145274 1081119 1 - 0.0000 -
1187.94/1192.21 c 1192 2153448 1085765 1 - 0.0000 -
1192.94/1197.26 c 1197 2161941 1088899 1 - 0.0000 -
1198.02/1202.31 c 1202 2171247 1094873 1 - 0.0000 -
1203.00/1207.36 c 1207 2179833 1098351 1 - 0.0000 -
1208.08/1212.41 c 1212 2188305 1101971 1 - 0.0000 -
1213.07/1217.46 c 1217 2196868 1105632 1 - 0.0000 -
1218.14/1222.51 c 1223 2205768 1109312 1 - 0.0000 -
1223.13/1227.56 c 1228 2213961 1112527 1 - 0.0000 -
1228.21/1232.61 c 1233 2222569 1116053 1 - 0.0000 -
1233.19/1237.66 c 1238 2230514 1119178 1 - 0.0000 -
1238.27/1242.71 c 1243 2239104 1122294 1 - 0.0000 -
1243.25/1247.76 c 1248 2247482 1125697 1 - 0.0000 -
1248.33/1252.81 c 1253 2255794 1129088 1 - 0.0000 -
1253.31/1257.86 c 1258 2264604 1132787 1 - 0.0000 -
1258.40/1262.91 c 1263 2273279 1137895 1 - 0.0000 -
1263.38/1267.96 c 1268 2281777 1141372 1 - 0.0000 -
1268.46/1273.01 c 1273 2289923 1144487 1 - 0.0000 -
1273.45/1278.06 c 1278 2298554 1148918 1 - 0.0000 -
1278.53/1283.11 c 1283 2307219 1152675 1 - 0.0000 -
1283.51/1288.16 c 1288 2315694 1156102 1 - 0.0000 -
1288.59/1293.21 c 1293 2324441 1159989 1 - 0.0000 -
1293.58/1298.26 c 1298 2332536 1163124 1 - 0.0000 -
1298.66/1303.31 c 1303 2340686 1166077 1 - 0.0000 -
1303.63/1308.36 c 1308 2349122 1170087 1 - 0.0000 -
1308.72/1313.41 c 1313 2357558 1173820 1 - 0.0000 -
1313.70/1318.46 c 1318 2366402 1177689 1 - 0.0000 -
1318.78/1323.51 c 1324 2375009 1181510 1 - 0.0000 -
1323.77/1328.56 c 1329 2383513 1185504 1 - 0.0000 -
1328.85/1333.61 c 1334 2392379 1189303 1 - 0.0000 -
1333.83/1338.66 c 1339 2401090 1193455 1 - 0.0000 -
1338.91/1343.71 c 1344 2409744 1197148 1 - 0.0000 -
1343.90/1348.76 c 1349 2418132 1200918 1 - 0.0000 -
1348.98/1353.81 c 1354 2426616 1204713 1 - 0.0000 -
1353.97/1358.86 c 1359 2434833 1207891 1 - 0.0000 -
1359.04/1363.91 c 1364 2443371 1211536 1 - 0.0000 -
1364.03/1368.96 c 1369 2451604 1214743 1 - 0.0000 -
1369.11/1374.01 c 1374 2460043 1218714 1 - 0.0000 -
1374.08/1379.06 c 1379 2469500 1224176 1 - 0.0000 -
1379.17/1384.11 c 1384 2479477 1229355 1 - 0.0000 -
1384.16/1389.16 c 1389 2489039 1233968 1 - 0.0000 -
1389.23/1394.21 c 1394 2497631 1238269 1 - 0.0000 -
1394.21/1399.26 c 1399 2506086 1241895 1 - 0.0000 -
1399.30/1404.31 c 1404 2514338 1245044 1 - 0.0000 -
1404.27/1409.36 c 1409 2522241 1249196 1 - 0.0000 -
1409.36/1414.41 c 1414 2530376 1252336 1 - 0.0000 -
1414.34/1419.46 c 1419 2539685 1258009 1 - 0.0000 -
1419.42/1424.51 c 1425 2548641 1262204 1 - 0.0000 -
1424.41/1429.56 c 1430 2557754 1266873 1 - 0.0000 -
1429.49/1434.61 c 1435 2566671 1270238 1 - 0.0000 -
1434.47/1439.66 c 1440 2575080 1273633 1 - 0.0000 -
1439.55/1444.71 c 1445 2583463 1276701 1 - 0.0000 -
1444.53/1449.76 c 1450 2591818 1280087 1 - 0.0000 -
1449.62/1454.81 c 1455 2600460 1283893 1 - 0.0000 -
1454.60/1459.86 c 1460 2609861 1288500 1 - 0.0000 -
1459.68/1464.91 c 1465 2618573 1292371 1 - 0.0000 -
1464.67/1469.96 c 1470 2627228 1297761 1 - 0.0000 -
1469.75/1475.01 c 1475 2635924 1302984 1 - 0.0000 -
1474.73/1480.06 c 1480 2644558 1307417 1 - 0.0000 -
1479.81/1485.11 c 1485 2652511 1310747 1 - 0.0000 -
1484.79/1490.16 c 1490 2660665 1314346 1 - 0.0000 -
1489.88/1495.21 c 1495 2669241 1318318 1 - 0.0000 -
1494.86/1500.26 c 1500 2677580 1321415 1 - 0.0000 -
1499.93/1505.31 c 1505 2685952 1324595 1 - 0.0000 -
1504.92/1510.36 c 1510 2694152 1328445 1 - 0.0000 -
1510.00/1515.41 c 1515 2702694 1332545 1 - 0.0000 -
1514.98/1520.46 c 1520 2710836 1335791 1 - 0.0000 -
1520.07/1525.51 c 1526 2719650 1339655 1 - 0.0000 -
1525.05/1530.56 c 1531 2728010 1342803 1 - 0.0000 -
1530.13/1535.61 c 1536 2736268 1346291 1 - 0.0000 -
1535.11/1540.66 c 1541 2744739 1350305 1 - 0.0000 -
1540.19/1545.71 c 1546 2753113 1353756 1 - 0.0000 -
1545.17/1550.76 c 1551 2761207 1357171 1 - 0.0000 -
1550.25/1555.81 c 1556 2769585 1361039 1 - 0.0000 -
1555.24/1560.86 c 1561 2778271 1364897 1 - 0.0000 -
1560.32/1565.91 c 1566 2786642 1368693 1 - 0.0000 -
1565.30/1570.96 c 1571 2794711 1371979 1 - 0.0000 -
1570.39/1576.01 c 1576 2803227 1375441 1 - 0.0000 -
1575.37/1581.06 c 1581 2811845 1379241 1 - 0.0000 -
1580.45/1586.11 c 1586 2820542 1383850 1 - 0.0000 -
1585.43/1591.16 c 1591 2828827 1387333 1 - 0.0000 -
1590.50/1596.21 c 1596 2837561 1392259 1 - 0.0000 -
1595.49/1601.26 c 1601 2845751 1395940 1 - 0.0000 -
1600.58/1606.31 c 1606 2853798 1399001 1 - 0.0000 -
1605.56/1611.36 c 1611 2862243 1403259 1 - 0.0000 -
1610.64/1616.41 c 1616 2870687 1406857 1 - 0.0000 -
1615.62/1621.46 c 1621 2879510 1411386 1 - 0.0000 -
1620.70/1626.51 c 1627 2887960 1415003 1 - 0.0000 -
1625.69/1631.56 c 1632 2896751 1419119 1 - 0.0000 -
1630.77/1636.61 c 1637 2904690 1422006 1 - 0.0000 -
1635.75/1641.66 c 1642 2912911 1424884 1 - 0.0000 -
1640.83/1646.71 c 1647 2920896 1427909 1 - 0.0000 -
1645.81/1651.76 c 1652 2928929 1431159 1 - 0.0000 -
1650.90/1656.81 c 1657 2937139 1434255 1 - 0.0000 -
1655.89/1661.86 c 1662 2944781 1437322 1 - 0.0000 -
1660.96/1666.91 c 1667 2953196 1441245 1 - 0.0000 -
1665.95/1671.96 c 1672 2961433 1444631 1 - 0.0000 -
1671.04/1677.01 c 1677 2970114 1448266 1 - 0.0000 -
1676.01/1682.06 c 1682 2977922 1451780 1 - 0.0000 -
1681.10/1687.11 c 1687 2986558 1455741 1 - 0.0000 -
1686.08/1692.16 c 1692 2994643 1458629 1 - 0.0000 -
1691.16/1697.21 c 1697 3003230 1462453 1 - 0.0000 -
1696.14/1702.26 c 1702 3010591 1465267 1 - 0.0000 -
1701.22/1707.31 c 1707 3018832 1468344 1 - 0.0000 -
1706.21/1712.36 c 1712 3027839 1474380 1 - 0.0000 -
1711.29/1717.41 c 1717 3037286 1479553 1 - 0.0000 -
1716.27/1722.46 c 1722 3045257 1482749 1 - 0.0000 -
1721.35/1727.51 c 1728 3053119 1486146 1 - 0.0000 -
1726.33/1732.56 c 1733 3061649 1489997 1 - 0.0000 -
1731.42/1737.61 c 1738 3069784 1493112 1 - 0.0000 -
1736.40/1742.66 c 1743 3078610 1496525 1 - 0.0000 -
1741.49/1747.71 c 1748 3087615 1500643 1 - 0.0000 -
1746.47/1752.76 c 1753 3096176 1504900 1 - 0.0000 -
1751.55/1757.81 c 1758 3106184 1509603 1 - 0.0000 -
1756.53/1762.86 c 1763 3116071 1514216 1 - 0.0000 -
1761.61/1767.91 c 1768 3125021 1517717 1 - 0.0000 -
1766.59/1772.96 c 1773 3133513 1521126 1 - 0.0000 -
1771.67/1778.01 c 1778 3142082 1525543 1 - 0.0000 -
1776.66/1783.06 c 1783 3150410 1529053 1 - 0.0000 -
1781.74/1788.11 c 1788 3159637 1533082 1 - 0.0000 -
1786.71/1793.16 c 1793 3168936 1537124 1 - 0.0000 -
1791.79/1798.21 c 1798 3177809 1540244 1 - 0.0000 -
1796.77/1803.26 c 1803 3186893 1544118 1 - 0.0000 -
1801.85/1808.31 c 1808 3196431 1547737 1 - 0.0000 -
1806.83/1813.36 c 1813 3204842 1550601 1 - 0.0000 -
1811.92/1818.41 c 1818 3214339 1554910 1 - 0.0000 -
1816.89/1823.46 c 1823 3223707 1559873 1 - 0.0000 -
1821.97/1828.51 c 1829 3233109 1563382 1 - 0.0000 -
1826.96/1833.56 c 1834 3242480 1566967 1 - 0.0000 -
1832.04/1838.61 c 1839 3251268 1570206 1 - 0.0000 -
1837.02/1843.66 c 1844 3260222 1574759 1 - 0.0000 -
1842.10/1848.71 c 1849 3269306 1579731 1 - 0.0000 -
1847.08/1853.76 c 1854 3278515 1584783 1 - 0.0000 -
1852.17/1858.81 c 1859 3287671 1589479 1 - 0.0000 -
1857.14/1863.86 c 1864 3297694 1594049 1 - 0.0000 -
1862.23/1868.91 c 1869 3306597 1598728 1 - 0.0000 -
1867.22/1873.96 c 1874 3316489 1603525 1 - 0.0000 -
1872.29/1879.01 c 1879 3326533 1608467 1 - 0.0000 -
1877.28/1884.06 c 1884 3336509 1612605 1 - 0.0000 -
1882.36/1889.11 c 1889 3346661 1617112 1 - 0.0000 -
1887.34/1894.16 c 1894 3356907 1621464 1 - 0.0000 -
1892.42/1899.21 c 1899 3366665 1626201 1 - 0.0000 -
1897.40/1904.26 c 1904 3377421 1629962 1 - 0.0000 -
1902.48/1909.31 c 1909 3387708 1634052 1 - 0.0000 -
1907.46/1914.36 c 1914 3397303 1637470 1 - 0.0000 -
1912.54/1919.41 c 1919 3407151 1640620 1 - 0.0000 -
1917.52/1924.46 c 1924 3417016 1644174 1 - 0.0000 -
1922.61/1929.51 c 1930 3426906 1648654 1 - 0.0000 -
1927.59/1934.56 c 1935 3437073 1652936 1 - 0.0000 -
1932.67/1939.61 c 1940 3447369 1656719 1 - 0.0000 -
1937.65/1944.66 c 1945 3457442 1660086 1 - 0.0000 -
1942.73/1949.71 c 1950 3467237 1664679 1 - 0.0000 -
1947.72/1954.76 c 1955 3477083 1668151 1 - 0.0000 -
1952.80/1959.81 c 1960 3486873 1673121 1 - 0.0000 -
1957.77/1964.86 c 1965 3496807 1677310 1 - 0.0000 -
1962.86/1969.91 c 1970 3505624 1682934 1 - 0.0000 -
1967.84/1974.96 c 1975 3515166 1688680 1 - 0.0000 -
1972.93/1980.01 c 1980 3524434 1693912 1 - 0.0000 -
1977.91/1985.06 c 1985 3532506 1698660 1 - 0.0000 -
1982.99/1990.11 c 1990 3541931 1703418 1 - 0.0000 -
1987.97/1995.16 c 1995 3551910 1708635 1 - 0.0000 -
1993.05/2000.21 c 2000 3561792 1714086 1 - 0.0000 -
1998.03/2005.26 c 2005 3571881 1719705 1 - 0.0000 -
2003.11/2010.31 c 2010 3581646 1724911 1 - 0.0000 -
2008.09/2015.36 c 2015 3591525 1730087 1 - 0.0000 -
2013.17/2020.41 c 2020 3601846 1735314 1 - 0.0000 -
2018.15/2025.47 c 2025 3611472 1739702 1 - 0.0000 -
2023.23/2030.52 c 2031 3621024 1745194 1 - 0.0000 -
2028.22/2035.57 c 2036 3630623 1750605 1 - 0.0000 -
2033.30/2040.62 c 2041 3640467 1756174 1 - 0.0000 -
2038.28/2045.67 c 2046 3650436 1761628 1 - 0.0000 -
2043.36/2050.71 c 2051 3660082 1766919 1 - 0.0000 -
2048.35/2055.76 c 2056 3669573 1772425 1 - 0.0000 -
2053.42/2060.81 c 2061 3679564 1778020 1 - 0.0000 -
2058.41/2065.86 c 2066 3689507 1783765 1 - 0.0000 -
2063.49/2070.91 c 2071 3699508 1789611 1 - 0.0000 -
2068.47/2075.96 c 2076 3709492 1795121 1 - 0.0000 -
2073.56/2081.01 c 2081 3719460 1800124 1 - 0.0000 -
2078.54/2086.06 c 2086 3729629 1805466 1 - 0.0000 -
2083.61/2091.11 c 2091 3739615 1810937 1 - 0.0000 -
2088.61/2096.16 c 2096 3749603 1816264 1 - 0.0000 -
2093.68/2101.21 c 2101 3759831 1821910 1 - 0.0000 -
2098.66/2106.26 c 2106 3769771 1827750 1 - 0.0000 -
2103.74/2111.31 c 2111 3779834 1833430 1 - 0.0000 -
2108.72/2116.36 c 2116 3790012 1838287 1 - 0.0000 -
2113.81/2121.41 c 2121 3800158 1843520 1 - 0.0000 -
2118.79/2126.46 c 2126 3810330 1849096 1 - 0.0000 -
2123.87/2131.51 c 2132 3820284 1854159 1 - 0.0000 -
2128.85/2136.56 c 2137 3830240 1859129 1 - 0.0000 -
2133.93/2141.61 c 2142 3840068 1863860 1 - 0.0000 -
2138.91/2146.66 c 2147 3850221 1868734 1 - 0.0000 -
2143.99/2151.71 c 2152 3860073 1873711 1 - 0.0000 -
2148.97/2156.76 c 2157 3870295 1879079 1 - 0.0000 -
2154.06/2161.81 c 2162 3880493 1884418 1 - 0.0000 -
2159.05/2166.86 c 2167 3889938 1890060 1 - 0.0000 -
2164.12/2171.91 c 2172 3899914 1895964 1 - 0.0000 -
2169.11/2176.96 c 2177 3909982 1901403 1 - 0.0000 -
2174.19/2182.01 c 2182 3919740 1906607 1 - 0.0000 -
2179.17/2187.06 c 2187 3929570 1912256 1 - 0.0000 -
2184.25/2192.11 c 2192 3939294 1917819 1 - 0.0000 -
2189.23/2197.16 c 2197 3949322 1923084 1 - 0.0000 -
2194.32/2202.21 c 2202 3959535 1928454 1 - 0.0000 -
2199.30/2207.26 c 2207 3969331 1933257 1 - 0.0000 -
2204.37/2212.31 c 2212 3978990 1937908 1 - 0.0000 -
2209.36/2217.36 c 2217 3988578 1943232 1 - 0.0000 -
2214.44/2222.41 c 2222 3998450 1948392 1 - 0.0000 -
2219.42/2227.46 c 2227 4008319 1953579 1 - 0.0000 -
2224.51/2232.51 c 2233 4018222 1958859 1 - 0.0000 -
2229.48/2237.56 c 2238 4028283 1963791 1 - 0.0000 -
2234.57/2242.61 c 2243 4037744 1969043 1 - 0.0000 -
2239.55/2247.66 c 2248 4047662 1974050 1 - 0.0000 -
2244.63/2252.71 c 2253 4057332 1978724 1 - 0.0000 -
2249.61/2257.76 c 2258 4066969 1983533 1 - 0.0000 -
2254.69/2262.81 c 2263 4076748 1988509 1 - 0.0000 -
2259.67/2267.86 c 2268 4086563 1993140 1 - 0.0000 -
2264.76/2272.91 c 2273 4096130 1997522 1 - 0.0000 -
2269.74/2277.96 c 2278 4105962 2002018 1 - 0.0000 -
2274.82/2283.01 c 2283 4115857 2006690 1 - 0.0000 -
2279.81/2288.06 c 2288 4125982 2011516 1 - 0.0000 -
2284.88/2293.11 c 2293 4135705 2016381 1 - 0.0000 -
2289.87/2298.16 c 2298 4145299 2021640 1 - 0.0000 -
2294.95/2303.21 c 2303 4155101 2026612 1 - 0.0000 -
2299.93/2308.26 c 2308 4164805 2031693 1 - 0.0000 -
2305.01/2313.31 c 2313 4174534 2036436 1 - 0.0000 -
2309.99/2318.36 c 2318 4184242 2041422 1 - 0.0000 -
2315.07/2323.41 c 2323 4194189 2046216 1 - 0.0000 -
2320.06/2328.46 c 2328 4203539 2051713 1 - 0.0000 -
2325.13/2333.51 c 2334 4213487 2057079 1 - 0.0000 -
2330.12/2338.56 c 2339 4223471 2061932 1 - 0.0000 -
2335.20/2343.61 c 2344 4233451 2066915 1 - 0.0000 -
2340.18/2348.66 c 2349 4243406 2072030 1 - 0.0000 -
2345.26/2353.71 c 2354 4253378 2077548 1 - 0.0000 -
2350.25/2358.76 c 2359 4263091 2082103 1 - 0.0000 -
2355.32/2363.81 c 2364 4272854 2086962 1 - 0.0000 -
2360.31/2368.86 c 2369 4282901 2092070 1 - 0.0000 -
2365.39/2373.91 c 2374 4292809 2096775 1 - 0.0000 -
2370.37/2378.96 c 2379 4302547 2101104 1 - 0.0000 -
2375.46/2384.01 c 2384 4312220 2105692 1 - 0.0000 -
2380.43/2389.06 c 2389 4322084 2111396 1 - 0.0000 -
2385.52/2394.11 c 2394 4332014 2115665 1 - 0.0000 -
2390.50/2399.16 c 2399 4341669 2121001 1 - 0.0000 -
2395.58/2404.21 c 2404 4351814 2126188 1 - 0.0000 -
2400.56/2409.26 c 2409 4361533 2131878 1 - 0.0000 -
2405.64/2414.31 c 2414 4371413 2137171 1 - 0.0000 -
2410.62/2419.36 c 2419 4381452 2141899 1 - 0.0000 -
2415.71/2424.41 c 2424 4391103 2146376 1 - 0.0000 -
2420.69/2429.46 c 2429 4400899 2150960 1 - 0.0000 -
2425.76/2434.51 c 2435 4410745 2155543 1 - 0.0000 -
2430.74/2439.56 c 2440 4420513 2160634 1 - 0.0000 -
2435.83/2444.61 c 2445 4430026 2165436 1 - 0.0000 -
2440.81/2449.66 c 2450 4439564 2170693 1 - 0.0000 -
2445.89/2454.71 c 2455 4449205 2175554 1 - 0.0000 -
2450.87/2459.76 c 2460 4458741 2180101 1 - 0.0000 -
2455.95/2464.81 c 2465 4468262 2185281 1 - 0.0000 -
2460.94/2469.86 c 2470 4478015 2189648 1 - 0.0000 -
2466.02/2474.91 c 2475 4487354 2195234 1 - 0.0000 -
2471.00/2479.96 c 2480 4496943 2200626 1 - 0.0000 -
2476.08/2485.01 c 2485 4506616 2206183 1 - 0.0000 -
2481.07/2490.06 c 2490 4516255 2211269 1 - 0.0000 -
2486.15/2495.11 c 2495 4526044 2216281 1 - 0.0000 -
2491.13/2500.16 c 2500 4535951 2221415 1 - 0.0000 -
2496.21/2505.21 c 2505 4545750 2226101 1 - 0.0000 -
2501.19/2510.26 c 2510 4555703 2230761 1 - 0.0000 -
2506.27/2515.31 c 2515 4565696 2235373 1 - 0.0000 -
2511.25/2520.36 c 2520 4575627 2239861 1 - 0.0000 -
2516.33/2525.41 c 2525 4585321 2244078 1 - 0.0000 -
2521.32/2530.46 c 2530 4595090 2248473 1 - 0.0000 -
2526.40/2535.51 c 2536 4604826 2253209 1 - 0.0000 -
2531.37/2540.56 c 2541 4614246 2257585 1 - 0.0000 -
2536.46/2545.61 c 2546 4624253 2261827 1 - 0.0000 -
2541.44/2550.66 c 2551 4633840 2266292 1 - 0.0000 -
2546.52/2555.71 c 2556 4643617 2270687 1 - 0.0000 -
2551.50/2560.76 c 2561 4653001 2275835 1 - 0.0000 -
2556.59/2565.81 c 2566 4662469 2280540 1 - 0.0000 -
2561.57/2570.86 c 2571 4671761 2285553 1 - 0.0000 -
2566.65/2575.91 c 2576 4681160 2289422 1 - 0.0000 -
2571.63/2580.96 c 2581 4690855 2294136 1 - 0.0000 -
2576.71/2586.01 c 2586 4700445 2298724 1 - 0.0000 -
2581.70/2591.06 c 2591 4710050 2303098 1 - 0.0000 -
2586.78/2596.11 c 2596 4719523 2308196 1 - 0.0000 -
2591.76/2601.16 c 2601 4729013 2313151 1 - 0.0000 -
2596.84/2606.21 c 2606 4738373 2318098 1 - 0.0000 -
2601.81/2611.26 c 2611 4748199 2322312 1 - 0.0000 -
2606.90/2616.31 c 2616 4757423 2327461 1 - 0.0000 -
2611.88/2621.36 c 2621 4767020 2332732 1 - 0.0000 -
2616.96/2626.44 c 2626 4776822 2337782 1 - 0.0000 -
2621.95/2631.49 c 2632 4786472 2342743 1 - 0.0000 -
2627.02/2636.54 c 2637 4796556 2347285 1 - 0.0000 -
2632.01/2641.59 c 2642 4806210 2352174 1 - 0.0000 -
2637.09/2646.64 c 2647 4815777 2356279 1 - 0.0000 -
2642.07/2651.69 c 2652 4825316 2360430 1 - 0.0000 -
2647.15/2656.74 c 2657 4834989 2364738 1 - 0.0000 -
2652.14/2661.79 c 2662 4844521 2369267 1 - 0.0000 -
2657.21/2666.84 c 2667 4854149 2374603 1 - 0.0000 -
2662.20/2671.89 c 2672 4864194 2379373 1 - 0.0000 -
2667.28/2676.94 c 2677 4874101 2383997 1 - 0.0000 -
2672.27/2681.99 c 2682 4883937 2388278 1 - 0.0000 -
2677.35/2687.04 c 2687 4893608 2393509 1 - 0.0000 -
2682.32/2692.09 c 2692 4903523 2399014 1 - 0.0000 -
2687.41/2697.14 c 2697 4913226 2404056 1 - 0.0000 -
2692.39/2702.19 c 2702 4923053 2408510 1 - 0.0000 -
2697.47/2707.24 c 2707 4932564 2413714 1 - 0.0000 -
2702.44/2712.29 c 2712 4942011 2418581 1 - 0.0000 -
2707.52/2717.34 c 2717 4951771 2423633 1 - 0.0000 -
2712.51/2722.39 c 2722 4961629 2428409 1 - 0.0000 -
2717.59/2727.44 c 2727 4971638 2433461 1 - 0.0000 -
2722.58/2732.49 c 2732 4981790 2437900 1 - 0.0000 -
2727.66/2737.54 c 2738 4991352 2443223 1 - 0.0000 -
2732.63/2742.59 c 2743 5000935 2447799 1 - 0.0000 -
2737.71/2747.64 c 2748 5010591 2452270 1 - 0.0000 -
2742.70/2752.69 c 2753 5020037 2457394 1 - 0.0000 -
2747.78/2757.74 c 2758 5029526 2462396 1 - 0.0000 -
2752.77/2762.79 c 2763 5039272 2467223 1 - 0.0000 -
2757.84/2767.84 c 2768 5049052 2471584 1 - 0.0000 -
2762.83/2772.89 c 2773 5058681 2475892 1 - 0.0000 -
2767.91/2777.94 c 2778 5067893 2480195 1 - 0.0000 -
2772.89/2782.99 c 2783 5077266 2484922 1 - 0.0000 -
2777.97/2788.04 c 2788 5087196 2490223 1 - 0.0000 -
2782.95/2793.09 c 2793 5097280 2494777 1 - 0.0000 -
2788.04/2798.14 c 2798 5107048 2499295 1 - 0.0000 -
2793.02/2803.19 c 2803 5116834 2503681 1 - 0.0000 -
2798.10/2808.24 c 2808 5126384 2507847 1 - 0.0000 -
2803.08/2813.29 c 2813 5136028 2512143 1 - 0.0000 -
2808.16/2818.34 c 2818 5145209 2516076 1 - 0.0000 -
2813.14/2823.39 c 2823 5155374 2520763 1 - 0.0000 -
2818.22/2828.44 c 2828 5164917 2525078 1 - 0.0000 -
2823.20/2833.49 c 2834 5174258 2529312 1 - 0.0000 -
2828.28/2838.54 c 2839 5184156 2533785 1 - 0.0000 -
2833.27/2843.59 c 2844 5193460 2537647 1 - 0.0000 -
2838.35/2848.64 c 2849 5202768 2541756 1 - 0.0000 -
2843.32/2853.69 c 2854 5212014 2546036 1 - 0.0000 -
2848.41/2858.74 c 2859 5221475 2550555 1 - 0.0000 -
2853.39/2863.79 c 2864 5231097 2555282 1 - 0.0000 -
2858.47/2868.84 c 2869 5240967 2560242 1 - 0.0000 -
2863.46/2873.89 c 2874 5250154 2564642 1 - 0.0000 -
2868.54/2878.95 c 2879 5259436 2568939 1 - 0.0000 -
2873.62/2884.00 c 2884 5269176 2573383 1 - 0.0000 -
2878.60/2889.05 c 2889 5278919 2577646 1 - 0.0000 -
2883.58/2894.10 c 2894 5288535 2581592 1 - 0.0000 -
2888.66/2899.15 c 2899 5298029 2585536 1 - 0.0000 -
2893.75/2904.20 c 2904 5307462 2589726 1 - 0.0000 -
2898.73/2909.25 c 2909 5316763 2593854 1 - 0.0000 -
2903.81/2914.30 c 2914 5326152 2597980 1 - 0.0000 -
2908.79/2919.35 c 2919 5335524 2602062 1 - 0.0000 -
2913.87/2924.40 c 2924 5345308 2606706 1 - 0.0000 -
2918.85/2929.45 c 2929 5354855 2610572 1 - 0.0000 -
2923.93/2934.50 c 2935 5364183 2614515 1 - 0.0000 -
2928.91/2939.55 c 2940 5373758 2618510 1 - 0.0000 -
2934.00/2944.60 c 2945 5383061 2623043 1 - 0.0000 -
2938.98/2949.65 c 2950 5392411 2628168 1 - 0.0000 -
2944.06/2954.70 c 2955 5402201 2633185 1 - 0.0000 -
2949.05/2959.75 c 2960 5411945 2637904 1 - 0.0000 -
2954.13/2964.80 c 2965 5421647 2641878 1 - 0.0000 -
2959.10/2969.85 c 2970 5431169 2646203 1 - 0.0000 -
2964.19/2974.90 c 2975 5440565 2650454 1 - 0.0000 -
2969.17/2979.95 c 2980 5449701 2655249 1 - 0.0000 -
2974.26/2985.00 c 2985 5459287 2660735 1 - 0.0000 -
2979.24/2990.06 c 2990 5468313 2666193 1 - 0.0000 -
2984.22/2995.10 c 2995 5477693 2670799 1 - 0.0000 -
2989.30/3000.15 c 3000 5486217 2675856 1 - 0.0000 -
2994.38/3005.20 c 3005 5495596 2681045 1 - 0.0000 -
2999.35/3010.25 c 3010 5504707 2685923 1 - 0.0000 -
3004.43/3015.30 c 3015 5514265 2690414 1 - 0.0000 -
3009.40/3020.35 c 3020 5523841 2694787 1 - 0.0000 -
3014.48/3025.40 c 3025 5533001 2699780 1 - 0.0000 -
3019.46/3030.45 c 3030 5542333 2704147 1 - 0.0000 -
3024.54/3035.50 c 3036 5551934 2708558 1 - 0.0000 -
3029.52/3040.55 c 3041 5561451 2712891 1 - 0.0000 -
3034.60/3045.60 c 3046 5570997 2717499 1 - 0.0000 -
3039.57/3050.65 c 3051 5580477 2721526 1 - 0.0000 -
3044.65/3055.70 c 3056 5589766 2726008 1 - 0.0000 -
3049.63/3060.75 c 3061 5599288 2731058 1 - 0.0000 -
3054.70/3065.80 c 3066 5609069 2735604 1 - 0.0000 -
3059.68/3070.85 c 3071 5618345 2740949 1 - 0.0000 -
3064.76/3075.90 c 3076 5627684 2745959 1 - 0.0000 -
3069.74/3080.95 c 3081 5637307 2750937 1 - 0.0000 -
3074.82/3086.00 c 3086 5646898 2755826 1 - 0.0000 -
3079.79/3091.05 c 3091 5656281 2760885 1 - 0.0000 -
3084.78/3096.10 c 3096 5665683 2765686 1 - 0.0000 -
3089.86/3101.15 c 3101 5675056 2770750 1 - 0.0000 -
3094.93/3106.20 c 3106 5684469 2775593 1 - 0.0000 -
3099.91/3111.25 c 3111 5694136 2780011 1 - 0.0000 -
3105.00/3116.30 c 3116 5703934 2784543 1 - 0.0000 -
3109.98/3121.35 c 3121 5713681 2789286 1 - 0.0000 -
3115.06/3126.40 c 3126 5723371 2793339 1 - 0.0000 -
3120.04/3131.45 c 3131 5732915 2797529 1 - 0.0000 -
3125.13/3136.50 c 3137 5742241 2801808 1 - 0.0000 -
3130.11/3141.55 c 3142 5750874 2807266 1 - 0.0000 -
3135.19/3146.60 c 3147 5759926 2812455 1 - 0.0000 -
3140.17/3151.65 c 3152 5769186 2817534 1 - 0.0000 -
3145.25/3156.70 c 3157 5778463 2822626 1 - 0.0000 -
3150.23/3161.75 c 3162 5788053 2827740 1 - 0.0000 -
3155.32/3166.80 c 3167 5797658 2832401 1 - 0.0000 -
3160.29/3171.85 c 3172 5807241 2836820 1 - 0.0000 -
3165.38/3176.90 c 3177 5816640 2842188 1 - 0.0000 -
3170.36/3181.95 c 3182 5826148 2847213 1 - 0.0000 -
3175.45/3187.00 c 3187 5835929 2851705 1 - 0.0000 -
3180.42/3192.05 c 3192 5845210 2856443 1 - 0.0000 -
3185.41/3197.10 c 3197 5854819 2861827 1 - 0.0000 -
3190.49/3202.15 c 3202 5864447 2866767 1 - 0.0000 -
3195.56/3207.20 c 3207 5873247 2871813 1 - 0.0000 -
3200.55/3212.25 c 3212 5882540 2876899 1 - 0.0000 -
3205.63/3217.30 c 3217 5891730 2881209 1 - 0.0000 -
3210.61/3222.35 c 3222 5900749 2885812 1 - 0.0000 -
3215.69/3227.40 c 3227 5910261 2890606 1 - 0.0000 -
3220.67/3232.45 c 3232 5919718 2895731 1 - 0.0000 -
3225.76/3237.50 c 3238 5929183 2900360 1 - 0.0000 -
3230.73/3242.55 c 3243 5938471 2905695 1 - 0.0000 -
3235.81/3247.60 c 3248 5947839 2910329 1 - 0.0000 -
3240.80/3252.65 c 3253 5956949 2914865 1 - 0.0000 -
3245.88/3257.70 c 3258 5966627 2919284 1 - 0.0000 -
3250.86/3262.75 c 3263 5975995 2923702 1 - 0.0000 -
3255.94/3267.80 c 3268 5985229 2927423 1 - 0.0000 -
3260.93/3272.85 c 3273 5994648 2931724 1 - 0.0000 -
3266.00/3277.90 c 3278 6004176 2936217 1 - 0.0000 -
3270.98/3282.95 c 3283 6013595 2940615 1 - 0.0000 -
3276.07/3288.00 c 3288 6022728 2945145 1 - 0.0000 -
3281.05/3293.05 c 3293 6031757 2949938 1 - 0.0000 -
3286.03/3298.10 c 3298 6040390 2954945 1 - 0.0000 -
3291.12/3303.15 c 3303 6049302 2959271 1 - 0.0000 -
3296.19/3308.20 c 3308 6058571 2963802 1 - 0.0000 -
3301.18/3313.25 c 3313 6067984 2967968 1 - 0.0000 -
3306.25/3318.30 c 3318 6077270 2972144 1 - 0.0000 -
3311.23/3323.35 c 3323 6086417 2976350 1 - 0.0000 -
3316.32/3328.40 c 3328 6095618 2980212 1 - 0.0000 -
3321.29/3333.45 c 3333 6104893 2984745 1 - 0.0000 -
3326.38/3338.50 c 3339 6113998 2989000 1 - 0.0000 -
3331.36/3343.55 c 3344 6123327 2993055 1 - 0.0000 -
3336.44/3348.60 c 3349 6132652 2996783 1 - 0.0000 -
3341.42/3353.65 c 3354 6141793 3000757 1 - 0.0000 -
3346.50/3358.70 c 3359 6151101 3005332 1 - 0.0000 -
3351.48/3363.75 c 3364 6160183 3009569 1 - 0.0000 -
3356.57/3368.80 c 3369 6169559 3013804 1 - 0.0000 -
3361.54/3373.85 c 3374 6178840 3018040 1 - 0.0000 -
3366.62/3378.90 c 3379 6188278 3022631 1 - 0.0000 -
3371.60/3383.95 c 3384 6197819 3026868 1 - 0.0000 -
3376.68/3389.00 c 3389 6207225 3030952 1 - 0.0000 -
3381.67/3394.05 c 3394 6216982 3035291 1 - 0.0000 -
3386.65/3399.10 c 3399 6226282 3039521 1 - 0.0000 -
3391.72/3404.15 c 3404 6235551 3043757 1 - 0.0000 -
3396.80/3409.20 c 3409 6244907 3048392 1 - 0.0000 -
3401.78/3414.25 c 3414 6254231 3052293 1 - 0.0000 -
3406.87/3419.30 c 3419 6263552 3056747 1 - 0.0000 -
3411.84/3424.35 c 3424 6272794 3060721 1 - 0.0000 -
3416.92/3429.40 c 3429 6281894 3065371 1 - 0.0000 -
3421.91/3434.45 c 3434 6290814 3069160 1 - 0.0000 -
3426.99/3439.50 c 3440 6299671 3072753 1 - 0.0000 -
3431.97/3444.55 c 3445 6308743 3076766 1 - 0.0000 -
3437.05/3449.60 c 3450 6318067 3081321 1 - 0.0000 -
3442.03/3454.65 c 3455 6327433 3085684 1 - 0.0000 -
3447.12/3459.70 c 3460 6336781 3089698 1 - 0.0000 -
3452.09/3464.75 c 3465 6345505 3093572 1 - 0.0000 -
3457.17/3469.80 c 3470 6354548 3098328 1 - 0.0000 -
3462.15/3474.85 c 3475 6363747 3102875 1 - 0.0000 -
3467.24/3479.90 c 3480 6372972 3106685 1 - 0.0000 -
3472.22/3484.95 c 3485 6382284 3110855 1 - 0.0000 -
3477.30/3490.00 c 3490 6391166 3114339 1 - 0.0000 -
3482.28/3495.05 c 3495 6400272 3118152 1 - 0.0000 -
3487.26/3500.10 c 3500 6409111 3121943 1 - 0.0000 -
3492.34/3505.15 c 3505 6417926 3125501 1 - 0.0000 -
3497.42/3510.20 c 3510 6426452 3129757 1 - 0.0000 -
3502.39/3515.25 c 3515 6435137 3135052 1 - 0.0000 -
3507.48/3520.30 c 3520 6443618 3140357 1 - 0.0000 -
3512.46/3525.35 c 3525 6452994 3145492 1 - 0.0000 -
3517.54/3530.40 c 3530 6462041 3150477 1 - 0.0000 -
3522.52/3535.45 c 3535 6470998 3155452 1 - 0.0000 -
3527.61/3540.50 c 3541 6480164 3160318 1 - 0.0000 -
3532.59/3545.55 c 3546 6489295 3164798 1 - 0.0000 -
3537.66/3550.60 c 3551 6498509 3168903 1 - 0.0000 -
3542.64/3555.65 c 3556 6507493 3173969 1 - 0.0000 -
3547.73/3560.70 c 3561 6516732 3178570 1 - 0.0000 -
3552.71/3565.75 c 3566 6525737 3183030 1 - 0.0000 -
3557.79/3570.80 c 3571 6534883 3187211 1 - 0.0000 -
3562.77/3575.85 c 3576 6543748 3191784 1 - 0.0000 -
3567.86/3580.90 c 3581 6552808 3196747 1 - 0.0000 -
3572.84/3585.95 c 3586 6562102 3201842 1 - 0.0000 -
3577.92/3591.00 c 3591 6571820 3206751 1 - 0.0000 -
3582.90/3596.05 c 3596 6581468 3211150 1 - 0.0000 -
3589.98/3603.14 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.98/3603.14 c Total Time : 3603.1500
3589.98/3603.14 c solving : 3603.1500
3589.98/3603.14 c presolving : 0.0135 (included in solving)
3589.98/3603.14 c B&B Tree :
3589.98/3603.14 c nodes (total) : 1
3589.98/3603.14 c Solution :
3589.98/3603.14 c Solutions found : 0
3589.98/3603.14 c Primal Bound : -
3589.98/3603.14 c Dual Bound : +0.00000000000000e+00
3589.98/3603.14 c Gap : -
3590.08/3603.21 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 (56069 MiB free)
memory of node 1: 64473 MiB (63352 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464506-1722385811/watcher-4464506-1722385811 -o /tmp/evaluation-result-4464506-1722385811/solver-4464506-1722385811 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722378597-31857 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464506-1722385811.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=36400, runsolver pid=36397
Current StackSize limit: 8192 KiB
[startup+0.10107 s]*
/proc/loadavg: 4.15 4.12 4.09 5/268 36403
/proc/meminfo: memFree=122264624/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=115016 memory=34580 CPUtime=0.09 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 5980 0 0 0 9 0 0 0 20 0 3 0 5183401 117776384 8645 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 28754 8645 2966 3035 0 12347 0
[pid=36400/tid=36402] ppid=36397 vsize=115016 memory=4026561586 CPUtime=0.07 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 2934 0 0 0 7 0 0 0 20 0 3 0 5183403 117776384 8645 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=115016 memory=232851243367 CPUtime=0 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5183403 117776384 8645 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 115016 KiB
Current children cumulated memory: 34580 KiB
[startup+0.205748 s]*
/proc/loadavg: 4.15 4.12 4.09 5/268 36403
/proc/meminfo: memFree=122263700/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=115016 memory=35372 CPUtime=0.19 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 6204 0 0 0 19 0 0 0 20 0 3 0 5183401 117776384 8843 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 28754 8843 2966 3035 0 12347 0
[pid=36400/tid=36402] ppid=36397 vsize=115016 memory=664970838410264707 CPUtime=0.17 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 3158 0 0 0 17 0 0 0 20 0 3 0 5183403 117776384 8843 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=115016 memory=17981 CPUtime=0 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5183403 117776384 8843 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 115016 KiB
Current children cumulated memory: 35372 KiB
[startup+0.305632 s]*
/proc/loadavg: 4.15 4.12 4.09 5/268 36403
/proc/meminfo: memFree=122258856/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=115016 memory=40388 CPUtime=0.3 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 7436 0 0 0 29 1 0 0 20 0 3 0 5183401 117776384 10097 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 28754 10097 2966 3035 0 13581 0
[pid=36400/tid=36402] ppid=36397 vsize=115016 memory=-5155627977339726725 CPUtime=0.27 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 4390 0 0 0 27 0 0 0 20 0 3 0 5183403 117776384 10097 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=115016 memory=0 CPUtime=0 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5183403 117776384 10097 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 115016 KiB
Current children cumulated memory: 40388 KiB
[startup+0.700216 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 36403
/proc/meminfo: memFree=122252336/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=115016 memory=46044 CPUtime=0.69 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 9135 0 0 0 68 1 0 0 20 0 3 0 5183401 117776384 11511 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 28754 11511 2966 3035 0 15592 0
[pid=36400/tid=36402] ppid=36397 vsize=115016 memory=0 CPUtime=0.66 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 6089 0 0 0 66 0 0 0 20 0 3 0 5183403 117776384 11511 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=115016 memory=0 CPUtime=0 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5183403 117776384 11511 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 115016 KiB
Current children cumulated memory: 46044 KiB
[startup+1.50019 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 36403
/proc/meminfo: memFree=122251076/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=115016 memory=48608 CPUtime=1.48 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 14841 0 0 0 147 1 0 0 20 0 3 0 5183401 117776384 12152 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 28754 12152 2966 3035 0 16191 0
[pid=36400/tid=36402] ppid=36397 vsize=115016 memory=0 CPUtime=1.46 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 11781 0 0 0 145 1 0 0 20 0 3 0 5183403 117776384 12152 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=115016 memory=0 CPUtime=0 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5183403 117776384 12152 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 115016 KiB
Current children cumulated memory: 48608 KiB
[startup+3.10559 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 36404
/proc/meminfo: memFree=122220872/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=115016 memory=51840 CPUtime=3.09 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 15818 0 0 0 307 2 0 0 20 0 3 0 5183401 117776384 12960 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 28754 12960 2966 3035 0 16472 0
[pid=36400/tid=36402] ppid=36397 vsize=115016 memory=2273 CPUtime=3.05 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 12755 0 0 0 304 1 0 0 20 0 3 0 5183403 117776384 12960 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=115016 memory=0 CPUtime=0 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5183403 117776384 12960 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 115016 KiB
Current children cumulated memory: 51840 KiB
[startup+6.30024 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 36404
/proc/meminfo: memFree=122213340/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=115016 memory=57840 CPUtime=6.27 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 23210 0 0 0 624 3 0 0 20 0 3 0 5183401 117776384 14460 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 28754 14460 2966 3035 0 17963 0
[pid=36400/tid=36402] ppid=36397 vsize=115016 memory=-5155627977339726725 CPUtime=6.24 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 20124 0 0 0 622 2 0 0 20 0 3 0 5183403 117776384 14460 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=115016 memory=55904 CPUtime=0 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5183403 117776384 14460 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 115016 KiB
Current children cumulated memory: 57840 KiB
[startup+12.7002 s]
/proc/loadavg: 4.19 4.13 4.10 5/267 36404
/proc/meminfo: memFree=122210616/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=115016 memory=60508 CPUtime=12.64 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 36290 0 0 0 1259 5 0 0 20 0 3 0 5183401 117776384 15127 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 28754 15127 3014 3035 0 18724 0
[pid=36400/tid=36402] ppid=36397 vsize=115016 memory=51840 CPUtime=12.61 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 33165 0 0 0 1257 4 0 0 20 0 3 0 5183403 117776384 15127 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=115016 memory=0 CPUtime=0 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5183403 117776384 15127 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 115016 KiB
Current children cumulated memory: 60508 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 4.09 5/267 36407
/proc/meminfo: memFree=122177712/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=115016 memory=81128 CPUtime=25.39 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 62726 0 0 0 2529 10 0 0 20 0 3 0 5183401 117776384 20282 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 28754 20282 3014 3035 0 23631 0
[pid=36400/tid=36402] ppid=36397 vsize=115016 memory=58520 CPUtime=25.37 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 59553 0 0 0 2527 10 0 0 20 0 3 0 5183403 117776384 20282 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=115016 memory=11728 CPUtime=0 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5183403 117776384 20282 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 115016 KiB
Current children cumulated memory: 81128 KiB
[startup+51.1053 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 36411
/proc/meminfo: memFree=122130916/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=180552 memory=122784 CPUtime=50.92 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 100390 0 0 0 5071 21 0 0 20 0 3 0 5183401 184885248 30696 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 45138 30696 3014 3035 0 33930 0
[pid=36400/tid=36402] ppid=36397 vsize=180552 memory=112424 CPUtime=50.88 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 97142 0 0 0 5068 20 0 0 20 0 3 0 5183403 184885248 30696 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=180552 memory=111172 CPUtime=0 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5183403 184885248 30696 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 180552 KiB
Current children cumulated memory: 122784 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/267 36420
/proc/meminfo: memFree=122054968/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=250712 memory=192584 CPUtime=101.93 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 170319 0 0 0 10149 44 0 0 20 0 3 0 5183401 256729088 48146 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 62678 48146 3014 3035 0 51616 0
[pid=36400/tid=36402] ppid=36397 vsize=250712 memory=188676 CPUtime=101.9 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 167000 0 0 0 10147 43 0 0 20 0 3 0 5183403 256729088 48146 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=250712 memory=187652 CPUtime=0 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5183403 256729088 48146 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 250712 KiB
Current children cumulated memory: 192584 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/267 36430
/proc/meminfo: memFree=121909888/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=319332 memory=267932 CPUtime=161.71 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 245976 0 0 0 16102 69 0 0 20 0 3 0 5183401 326995968 66983 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 79833 66983 3014 3035 0 70281 0
[pid=36400/tid=36402] ppid=36397 vsize=319332 memory=258540 CPUtime=161.69 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 242602 0 0 0 16100 69 0 0 20 0 3 0 5183403 326995968 66983 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=319332 memory=11728 CPUtime=0 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5183403 326995968 66983 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 319332 KiB
################
# More data... #
################
/proc/36400/statm: 922587 906955 3014 3035 0 915138 0
[pid=36400/tid=36402] ppid=36397 vsize=3690348 memory=11728 CPUtime=3389.7 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 3729508 0 0 0 337660 1310 0 0 20 0 3 0 5183403 3778916352 906955 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=3690348 memory=3616156 CPUtime=0.01 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 128 0 0 0 0 1 0 0 20 0 3 0 5183403 3778916352 906955 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 3389.93 s
Current children cumulated vsize: 3690348 KiB
Current children cumulated memory: 3627820 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.17 4.14 5/265 38090
/proc/meminfo: memFree=123388388/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=3759996 memory=3682512 CPUtime=3449.7 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 3793302 0 0 0 343633 1337 0 0 20 0 3 0 5183401 3850235904 920628 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 939999 920628 3014 3035 0 926349 0
[pid=36400/tid=36402] ppid=36397 vsize=3759996 memory=11728 CPUtime=3449.47 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 3788847 0 0 0 343613 1334 0 0 20 0 3 0 5183403 3850235904 920628 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=3759996 memory=12796 CPUtime=0.01 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 130 0 0 0 0 1 0 0 20 0 3 0 5183403 3850235904 920628 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 3449.7 s
Current children cumulated vsize: 3759996 KiB
Current children cumulated memory: 3682512 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/267 38271
/proc/meminfo: memFree=123299276/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=3828616 memory=3741444 CPUtime=3509.48 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 3869411 0 0 0 349585 1363 0 0 20 0 3 0 5183401 3920502784 935361 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 957154 935361 3014 3035 0 941090 0
[pid=36400/tid=36402] ppid=36397 vsize=3828616 memory=3736628 CPUtime=3509.24 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 3864952 0 0 0 349565 1359 0 0 20 0 3 0 5183403 3920502784 935361 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=3828616 memory=3736368 CPUtime=0.02 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 132 0 0 0 0 2 0 0 20 0 3 0 5183403 3920502784 935361 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 3509.48 s
Current children cumulated vsize: 3828616 KiB
Current children cumulated memory: 3741444 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/266 38282
/proc/meminfo: memFree=123251992/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=3898264 memory=3800796 CPUtime=3569.25 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 3901397 0 0 0 355542 1383 0 0 20 0 3 0 5183401 3991822336 950199 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 974566 950199 3014 3035 0 955352 0
[pid=36400/tid=36402] ppid=36397 vsize=3898264 memory=3800220 CPUtime=3569.01 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 3896912 0 0 0 355522 1379 0 0 20 0 3 0 5183403 3991822336 950199 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=3898264 memory=-7450760850116271991 CPUtime=0.02 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 5183403 3991822336 950199 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 3569.25 s
Current children cumulated vsize: 3898264 KiB
Current children cumulated memory: 3800796 KiB
[startup+3603.21 s]
# the end of solver process 36400 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3575.85 s, system=14.2424 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.15 4.14 4/258 38315
/proc/meminfo: memFree=123838388/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=3898264 memory=3803164 CPUtime=3570.95 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 3902932 0 0 0 355712 1383 0 0 20 0 3 0 5183401 3991822336 950791 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 974566 950791 3014 3035 0 955944 0
[pid=36400/tid=36402] ppid=36397 vsize=3898264 memory=11400 CPUtime=3570.7 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 3898447 0 0 0 355691 1379 0 0 20 0 3 0 5183403 3991822336 950791 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=3898264 memory=7510952627884039700 CPUtime=0.02 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 5183403 3991822336 950791 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 3570.95 s
Current children cumulated vsize: 3898264 KiB
Current children cumulated memory: 3803164 KiB
[startup+3596.8 s]
/proc/loadavg: 3.95 4.11 4.12 4/260 38374
/proc/meminfo: memFree=123819708/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=3901348 memory=3817724 CPUtime=3583.69 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 3909007 0 0 0 356982 1387 0 0 20 0 3 0 5183401 3994980352 954431 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 975337 954431 3014 3035 0 959579 0
[pid=36400/tid=36402] ppid=36397 vsize=3901348 memory=11728 CPUtime=3583.45 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 3904514 0 0 0 356962 1383 0 0 20 0 3 0 5183403 3994980352 954431 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=3901348 memory=3803616 CPUtime=0.02 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 5183403 3994980352 954431 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 3583.69 s
Current children cumulated vsize: 3901348 KiB
Current children cumulated memory: 3817724 KiB
[startup+3600 s]*
/proc/loadavg: 3.88 4.09 4.12 4/260 38374
/proc/meminfo: memFree=123846080/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=3869480 memory=3786952 CPUtime=3586.89 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 4183929 0 0 0 357287 1402 0 0 20 0 3 0 5183401 3962347520 946738 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 967370 946738 3014 3035 0 951884 0
[pid=36400/tid=36402] ppid=36397 vsize=3869480 memory=7686721470247706567 CPUtime=3586.64 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 4179482 0 0 0 357266 1398 0 0 20 0 3 0 5183403 3962347520 946738 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=3869480 memory=-4050210904893734803 CPUtime=0.02 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 5183403 3962347520 946738 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 3586.89 s
Current children cumulated vsize: 3869480 KiB
Current children cumulated memory: 3786952 KiB
[startup+3601.6 s]
/proc/loadavg: 3.88 4.09 4.12 4/260 38374
/proc/meminfo: memFree=123922104/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=3790324 memory=3707800 CPUtime=3588.48 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 4403168 0 0 0 357434 1414 0 0 20 0 3 0 5183401 3881291776 926950 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 947581 926950 3014 3035 0 932095 0
[pid=36400/tid=36402] ppid=36397 vsize=3790324 memory=5504 CPUtime=3588.24 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 4398679 0 0 0 357413 1411 0 0 20 0 3 0 5183403 3881291776 926950 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=3790324 memory=1892 CPUtime=0.02 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 5183403 3881291776 926950 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 3588.48 s
Current children cumulated vsize: 3790324 KiB
Current children cumulated memory: 3707800 KiB
[startup+3602.4 s]
/proc/loadavg: 3.88 4.09 4.12 4/260 38374
/proc/meminfo: memFree=123925280/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=3786212 memory=3703692 CPUtime=3589.28 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 4419244 0 0 0 357512 1416 0 0 20 0 3 0 5183401 3877081088 925923 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 946553 925923 3014 3035 0 931067 0
[pid=36400/tid=36402] ppid=36397 vsize=3786212 memory=2176 CPUtime=3589.03 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 4414750 0 0 0 357491 1412 0 0 20 0 3 0 5183403 3877081088 925923 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=3786212 memory=1596 CPUtime=0.02 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 5183403 3877081088 925923 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 3589.28 s
Current children cumulated vsize: 3786212 KiB
Current children cumulated memory: 3703692 KiB
[startup+3602.8 s]
/proc/loadavg: 3.88 4.09 4.12 4/260 38374
/proc/meminfo: memFree=123925280/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=3785184 memory=3702668 CPUtime=3589.67 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 4422815 0 0 0 357551 1416 0 0 20 0 3 0 5183401 3876028416 925667 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 946296 925667 3014 3035 0 930810 0
[pid=36400/tid=36402] ppid=36397 vsize=3785184 memory=11400 CPUtime=3589.44 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 4418321 0 0 0 357531 1413 0 0 20 0 3 0 5183403 3876028416 925667 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=3785184 memory=2792 CPUtime=0.02 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 5183403 3876028416 925667 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 3589.67 s
Current children cumulated vsize: 3785184 KiB
Current children cumulated memory: 3702668 KiB
[startup+3603.2 s]
/proc/loadavg: 3.81 4.07 4.11 5/260 38376
/proc/meminfo: memFree=123928208/131524600 swapFree=131071996/131071996
[pid=36400] ppid=36397 vsize=1425736 memory=1336328 CPUtime=3590.08 cores=1,3
/proc/36400/stat : 36400 (fscip) S 36397 36400 31845 0 -1 1077936128 4424525 0 0 0 357585 1423 0 0 20 0 3 0 5183401 1459953664 334594 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
/proc/36400/statm: 356434 334082 3014 3035 0 351111 0
[pid=36400/tid=36402] ppid=36397 vsize=1425736 memory=3808588 CPUtime=3589.83 cores=1,3
/proc/36400/task/36402/stat : 36402 (fscip) R 36397 36400 31845 0 -1 4194368 4420031 0 0 0 357564 1419 0 0 20 0 3 0 5183403 1459953664 333570 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
[pid=36400/tid=36403] ppid=36397 vsize=1425736 memory=3815480 CPUtime=0.02 cores=1,3
/proc/36400/task/36403/stat : 36403 (fscip) S 36397 36400 31845 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 5183403 1459953664 333058 134679101440 4194304 16623229 140727886191136 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45432832 140727886193686 140727886193802 140727886193802 140727886200816 0
Current children cumulated CPU time: 3590.08 s
Current children cumulated vsize: 1425736 KiB
Current children cumulated memory: 1336328 KiB
Child status: 0
Real time (s): 3603.21
CPU time (s): 3590.1
CPU user time (s): 3575.85
CPU system time (s): 14.2424
CPU usage (%): 99.636
Max. virtual memory (cumulated for all children) (KiB): 3901348
Max. memory (cumulated for all children) (KiB): 3818812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.85
system time used= 14.2424
maximum resident set size= 3818812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4425099
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= 11040
involuntary context switches= 4900
# summary of solver processes directly reported to runsolver:
# pid: 36400
# total CPU time (s): 3590.1
# total CPU user time (s): 3575.85
# total CPU system time (s): 14.2424
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94005 second user time and 16.6759 second system time
The end
Begin job on nodeC033 at 2024-07-31 02:30:11
IDJOB=4464506
IDBENCH=160380
IDSOLVER=3092
FILE ID=nodeC033/4464506-1722385811
RUNJOBID= nodeC033-1722378597-31857
SLURM_JOB_ID= 8249856
Free space on /tmp= 889968 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x40split.cnf-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-4464506-1722385811/watcher-4464506-1722385811 -o /tmp/evaluation-result-4464506-1722385811/solver-4464506-1722385811 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722378597-31857 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464506-1722385811.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cf360b30707fd718d5f3229c2f68be40
RANDOM SEED=483359291
nodeC033.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 : 3672.460
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.99
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 : 3666.604
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.79
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 : 3600.232
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.99
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 : 3676.278
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.79
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 : 3672.523
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.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3673.113
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.79
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 : 3600.123
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.99
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.364
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122288420 kB
MemAvailable: 122206948 kB
Buffers: 99896 kB
Cached: 653984 kB
SwapCached: 0 kB
Active: 305076 kB
Inactive: 8441912 kB
Active(anon): 1540 kB
Inactive(anon): 8012912 kB
Active(file): 303536 kB
Inactive(file): 429000 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 57920 kB
Writeback: 0 kB
AnonPages: 7993124 kB
Mapped: 125840 kB
Shmem: 21336 kB
KReclaimable: 51628 kB
Slab: 133048 kB
SReclaimable: 51628 kB
SUnreclaim: 81420 kB
KernelStack: 4240 kB
PageTables: 25288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4644024 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9696 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2711552 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: 283348 kB
DirectMap2M: 8927232 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC033 at 2024-07-31 03:30:14