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 = 26443776, getVmSize() = 26443776, SCIPgetMemUsed() = 3698293, SCIPgetMemTotal() = 4860717, SCIPgetMemExternEstim() = 2307915
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 = 19920213, getVmSize() = 33316864, SCIPgetMemUsed() = 6508842, SCIPgetMemTotal() = 10464186, SCIPgetMemExternEstim() = 2307915
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-4464503-1722385811
0.00/0.02 c Variables : 481 (481 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 1922
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 480 (480 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 960
0.00/0.02 c Constraints : Number
0.00/0.02 c linear : 960
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.03 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03 c Nodes Active
0.00/0.03 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.37/5.43 c 5 3335 1641 1 - 0.0000 -
10.35/10.48 c 10 11718 3415 1 - 0.0000 -
15.43/15.53 c 16 20195 4670 1 - 0.0000 -
20.42/20.57 c 21 28821 5469 1 - 0.0000 -
25.50/25.62 c 26 37401 6683 1 - 0.0000 -
30.48/30.67 c 31 46139 10611 1 - 0.0000 -
35.56/35.72 c 36 54942 12838 1 - 0.0000 -
40.54/40.77 c 41 63119 15277 1 - 0.0000 -
45.62/45.82 c 46 71749 17927 1 - 0.0000 -
50.60/50.87 c 51 79665 19432 1 - 0.0000 -
55.68/55.92 c 56 87481 20641 1 - 0.0000 -
60.66/60.97 c 61 95174 21647 1 - 0.0000 -
65.75/66.01 c 66 103145 23168 1 - 0.0000 -
70.72/71.06 c 71 110631 23959 1 - 0.0000 -
75.81/76.11 c 76 118423 26278 1 - 0.0000 -
80.80/81.16 c 81 126764 27527 1 - 0.0000 -
85.87/86.21 c 86 135381 30521 1 - 0.0000 -
90.85/91.26 c 91 143177 24459 1 - 0.0000 -
95.93/96.31 c 96 150932 28227 1 - 0.0000 -
100.92/101.36 c 101 159136 30187 1 - 0.0000 -
106.00/106.41 c 106 167216 30681 1 - 0.0000 -
110.98/111.46 c 111 175037 32432 1 - 0.0000 -
116.06/116.51 c 117 183474 35187 1 - 0.0000 -
121.04/121.56 c 122 192059 39032 1 - 0.0000 -
126.12/126.61 c 127 201767 41994 1 - 0.0000 -
131.11/131.66 c 132 210312 45337 1 - 0.0000 -
136.18/136.72 c 137 219823 48792 1 - 0.0000 -
141.17/141.76 c 142 229227 51460 1 - 0.0000 -
146.25/146.81 c 147 238498 53769 1 - 0.0000 -
151.23/151.86 c 152 248040 55657 1 - 0.0000 -
156.31/156.91 c 157 257737 57719 1 - 0.0000 -
161.29/161.96 c 162 267183 59809 1 - 0.0000 -
166.38/167.01 c 167 276469 61956 1 - 0.0000 -
171.36/172.06 c 172 285825 65794 1 - 0.0000 -
176.44/177.11 c 177 295364 69164 1 - 0.0000 -
181.43/182.16 c 182 304875 72681 1 - 0.0000 -
186.51/187.21 c 187 314185 76321 1 - 0.0000 -
191.48/192.26 c 192 323548 79823 1 - 0.0000 -
196.57/197.31 c 197 332527 84327 1 - 0.0000 -
201.54/202.36 c 202 341523 89032 1 - 0.0000 -
206.63/207.41 c 207 350738 92811 1 - 0.0000 -
211.61/212.46 c 212 360362 95832 1 - 0.0000 -
216.69/217.51 c 218 370034 98943 1 - 0.0000 -
221.68/222.56 c 223 379660 102053 1 - 0.0000 -
226.75/227.61 c 228 389145 105341 1 - 0.0000 -
231.73/232.67 c 233 398115 109475 1 - 0.0000 -
236.82/237.71 c 238 407302 113084 1 - 0.0000 -
241.80/242.76 c 243 415999 118049 1 - 0.0000 -
246.88/247.81 c 248 424853 122645 1 - 0.0000 -
251.86/252.86 c 253 433806 127083 1 - 0.0000 -
256.95/257.91 c 258 442698 131033 1 - 0.0000 -
261.93/262.96 c 263 451600 134842 1 - 0.0000 -
267.02/268.01 c 268 460902 139244 1 - 0.0000 -
272.00/273.06 c 273 470092 142734 1 - 0.0000 -
277.08/278.11 c 278 479612 145259 1 - 0.0000 -
282.06/283.16 c 283 489062 148216 1 - 0.0000 -
287.13/288.21 c 288 497408 152786 1 - 0.0000 -
292.12/293.26 c 293 505904 157137 1 - 0.0000 -
297.20/298.31 c 298 514761 161499 1 - 0.0000 -
302.17/303.36 c 303 523737 165312 1 - 0.0000 -
307.26/308.41 c 308 532827 169500 1 - 0.0000 -
312.24/313.46 c 313 542378 174073 1 - 0.0000 -
317.32/318.51 c 319 551951 177675 1 - 0.0000 -
322.30/323.56 c 324 561072 181620 1 - 0.0000 -
327.39/328.61 c 329 570511 185306 1 - 0.0000 -
332.36/333.66 c 334 580010 189141 1 - 0.0000 -
337.45/338.71 c 339 589284 192829 1 - 0.0000 -
342.43/343.76 c 344 598455 196761 1 - 0.0000 -
347.52/348.81 c 349 607684 200974 1 - 0.0000 -
352.49/353.86 c 354 616922 204838 1 - 0.0000 -
357.57/358.91 c 359 626281 208795 1 - 0.0000 -
362.55/363.96 c 364 635737 212850 1 - 0.0000 -
367.64/369.01 c 369 645112 216311 1 - 0.0000 -
372.62/374.06 c 374 654290 219790 1 - 0.0000 -
377.71/379.11 c 379 663834 223675 1 - 0.0000 -
382.69/384.16 c 384 673184 227627 1 - 0.0000 -
387.76/389.21 c 389 682667 231355 1 - 0.0000 -
392.75/394.26 c 394 692181 234909 1 - 0.0000 -
397.82/399.31 c 399 701567 238935 1 - 0.0000 -
402.81/404.36 c 404 710899 242559 1 - 0.0000 -
407.88/409.41 c 409 719997 245795 1 - 0.0000 -
412.87/414.46 c 414 729468 249704 1 - 0.0000 -
417.95/419.51 c 420 738947 253128 1 - 0.0000 -
422.93/424.56 c 425 748252 256925 1 - 0.0000 -
428.02/429.61 c 430 757651 260953 1 - 0.0000 -
432.99/434.66 c 435 766693 264623 1 - 0.0000 -
438.08/439.71 c 440 776182 267830 1 - 0.0000 -
443.06/444.76 c 445 785635 271763 1 - 0.0000 -
448.14/449.81 c 450 794939 275231 1 - 0.0000 -
453.12/454.86 c 455 804271 278505 1 - 0.0000 -
458.20/459.91 c 460 813685 282176 1 - 0.0000 -
463.18/464.96 c 465 823218 286798 1 - 0.0000 -
468.27/470.01 c 470 832893 291606 1 - 0.0000 -
473.25/475.06 c 475 842454 296054 1 - 0.0000 -
478.33/480.11 c 480 852261 300397 1 - 0.0000 -
483.31/485.16 c 485 861928 304619 1 - 0.0000 -
488.39/490.21 c 490 871583 308999 1 - 0.0000 -
493.37/495.26 c 495 881440 312762 1 - 0.0000 -
498.45/500.31 c 500 891259 316439 1 - 0.0000 -
503.43/505.38 c 505 901101 319855 1 - 0.0000 -
508.51/510.43 c 510 910948 323033 1 - 0.0000 -
513.49/515.48 c 515 920846 325705 1 - 0.0000 -
518.57/520.53 c 521 930179 328800 1 - 0.0000 -
523.56/525.58 c 526 939613 331240 1 - 0.0000 -
528.64/530.63 c 531 949313 333102 1 - 0.0000 -
533.62/535.68 c 536 958319 336349 1 - 0.0000 -
538.70/540.73 c 541 967365 339296 1 - 0.0000 -
543.69/545.78 c 546 976544 342132 1 - 0.0000 -
548.76/550.83 c 551 985804 343845 1 - 0.0000 -
553.74/555.88 c 556 995432 346985 1 - 0.0000 -
558.83/560.93 c 561 1004774 349085 1 - 0.0000 -
563.81/565.98 c 566 1014264 351967 1 - 0.0000 -
568.89/571.03 c 571 1024010 354357 1 - 0.0000 -
573.87/576.08 c 576 1033619 357641 1 - 0.0000 -
578.96/581.13 c 581 1042968 359866 1 - 0.0000 -
583.94/586.18 c 586 1052511 362538 1 - 0.0000 -
589.02/591.23 c 591 1061783 366101 1 - 0.0000 -
594.00/596.28 c 596 1071180 368793 1 - 0.0000 -
599.07/601.33 c 601 1080781 372139 1 - 0.0000 -
604.05/606.38 c 606 1090594 374804 1 - 0.0000 -
609.14/611.43 c 611 1099462 379113 1 - 0.0000 -
614.12/616.48 c 616 1108685 382789 1 - 0.0000 -
619.20/621.53 c 622 1117976 385572 1 - 0.0000 -
624.18/626.58 c 627 1127195 388093 1 - 0.0000 -
629.26/631.63 c 632 1136635 390386 1 - 0.0000 -
634.25/636.68 c 637 1145732 393101 1 - 0.0000 -
639.33/641.73 c 642 1154809 396419 1 - 0.0000 -
644.31/646.78 c 647 1164336 399301 1 - 0.0000 -
649.38/651.83 c 652 1173589 402684 1 - 0.0000 -
654.37/656.88 c 657 1183021 405232 1 - 0.0000 -
659.44/661.93 c 662 1192711 408148 1 - 0.0000 -
664.43/666.98 c 667 1202326 410364 1 - 0.0000 -
669.52/672.03 c 672 1211757 414068 1 - 0.0000 -
674.50/677.08 c 677 1221271 417924 1 - 0.0000 -
679.58/682.13 c 682 1231077 420332 1 - 0.0000 -
684.56/687.18 c 687 1240560 423006 1 - 0.0000 -
689.63/692.24 c 692 1250144 425501 1 - 0.0000 -
694.61/697.28 c 697 1259226 428083 1 - 0.0000 -
699.69/702.33 c 702 1268420 430456 1 - 0.0000 -
704.68/707.38 c 707 1277964 433138 1 - 0.0000 -
709.75/712.43 c 712 1287357 435891 1 - 0.0000 -
714.74/717.48 c 717 1296539 438730 1 - 0.0000 -
719.82/722.53 c 723 1305930 441037 1 - 0.0000 -
724.80/727.58 c 728 1315662 442219 1 - 0.0000 -
729.88/732.63 c 733 1324822 444597 1 - 0.0000 -
734.86/737.68 c 738 1334211 447248 1 - 0.0000 -
739.94/742.73 c 743 1343596 448916 1 - 0.0000 -
744.93/747.79 c 748 1352897 451594 1 - 0.0000 -
750.00/752.83 c 753 1362318 454148 1 - 0.0000 -
754.99/757.88 c 758 1371904 456365 1 - 0.0000 -
760.07/762.93 c 763 1381793 458946 1 - 0.0000 -
765.05/767.98 c 768 1391172 461102 1 - 0.0000 -
770.13/773.03 c 773 1400606 463706 1 - 0.0000 -
775.12/778.08 c 778 1409664 467025 1 - 0.0000 -
780.20/783.13 c 783 1418746 470976 1 - 0.0000 -
785.18/788.18 c 788 1427558 474677 1 - 0.0000 -
790.25/793.23 c 793 1436995 478230 1 - 0.0000 -
795.23/798.28 c 798 1446334 480475 1 - 0.0000 -
800.32/803.33 c 803 1455759 483541 1 - 0.0000 -
805.30/808.38 c 808 1465157 486760 1 - 0.0000 -
810.38/813.43 c 813 1474583 490867 1 - 0.0000 -
815.36/818.48 c 818 1484033 494506 1 - 0.0000 -
820.44/823.53 c 824 1493312 497109 1 - 0.0000 -
825.42/828.58 c 829 1502397 499725 1 - 0.0000 -
830.50/833.63 c 834 1511557 502384 1 - 0.0000 -
835.49/838.68 c 839 1520923 504953 1 - 0.0000 -
840.57/843.73 c 844 1530110 507369 1 - 0.0000 -
845.55/848.78 c 849 1539230 510211 1 - 0.0000 -
850.63/853.83 c 854 1548763 512394 1 - 0.0000 -
855.61/858.88 c 859 1557940 514675 1 - 0.0000 -
860.69/863.93 c 864 1567047 517499 1 - 0.0000 -
865.67/868.98 c 869 1576348 522249 1 - 0.0000 -
870.76/874.03 c 874 1585703 526960 1 - 0.0000 -
875.74/879.08 c 879 1594969 531415 1 - 0.0000 -
880.83/884.13 c 884 1603999 536142 1 - 0.0000 -
885.81/889.18 c 889 1613602 540278 1 - 0.0000 -
890.89/894.23 c 894 1622893 544135 1 - 0.0000 -
895.86/899.28 c 899 1632390 547013 1 - 0.0000 -
900.94/904.33 c 904 1641911 550403 1 - 0.0000 -
905.92/909.38 c 909 1651272 552456 1 - 0.0000 -
911.01/914.43 c 914 1661092 554714 1 - 0.0000 -
915.99/919.48 c 919 1670349 557275 1 - 0.0000 -
921.07/924.53 c 925 1679665 560890 1 - 0.0000 -
926.05/929.58 c 930 1689006 563645 1 - 0.0000 -
931.13/934.63 c 935 1698194 568309 1 - 0.0000 -
936.12/939.68 c 940 1706823 573340 1 - 0.0000 -
941.20/944.73 c 945 1715833 578468 1 - 0.0000 -
946.18/949.78 c 950 1724890 583265 1 - 0.0000 -
951.25/954.83 c 955 1734112 587775 1 - 0.0000 -
956.23/959.88 c 960 1743234 592821 1 - 0.0000 -
961.32/964.93 c 965 1752242 597964 1 - 0.0000 -
966.29/969.98 c 970 1761468 603165 1 - 0.0000 -
971.39/975.03 c 975 1770573 608095 1 - 0.0000 -
976.36/980.08 c 980 1779950 612454 1 - 0.0000 -
981.44/985.13 c 985 1789495 617011 1 - 0.0000 -
986.43/990.18 c 990 1798942 621722 1 - 0.0000 -
991.50/995.23 c 995 1808344 626718 1 - 0.0000 -
996.48/1000.28 c 1000 1817569 631561 1 - 0.0000 -
1001.56/1005.33 c 1005 1826978 636466 1 - 0.0000 -
1006.55/1010.38 c 1010 1836296 641328 1 - 0.0000 -
1011.63/1015.43 c 1015 1845504 646117 1 - 0.0000 -
1016.60/1020.49 c 1020 1854914 650625 1 - 0.0000 -
1021.69/1025.53 c 1026 1864262 654752 1 - 0.0000 -
1026.67/1030.58 c 1031 1873596 659169 1 - 0.0000 -
1031.75/1035.63 c 1036 1883056 663787 1 - 0.0000 -
1036.73/1040.68 c 1041 1892427 667349 1 - 0.0000 -
1041.82/1045.73 c 1046 1901702 671571 1 - 0.0000 -
1046.80/1050.78 c 1051 1911011 676135 1 - 0.0000 -
1051.87/1055.83 c 1056 1920620 680606 1 - 0.0000 -
1056.85/1060.88 c 1061 1930068 685326 1 - 0.0000 -
1061.93/1065.93 c 1066 1939363 690056 1 - 0.0000 -
1066.91/1070.98 c 1071 1948772 694755 1 - 0.0000 -
1072.00/1076.03 c 1076 1958163 699490 1 - 0.0000 -
1076.98/1081.08 c 1081 1967461 703885 1 - 0.0000 -
1082.06/1086.13 c 1086 1976737 708543 1 - 0.0000 -
1087.04/1091.18 c 1091 1986092 713173 1 - 0.0000 -
1092.12/1096.23 c 1096 1995470 717982 1 - 0.0000 -
1097.10/1101.28 c 1101 2004925 722720 1 - 0.0000 -
1102.18/1106.33 c 1106 2014123 726866 1 - 0.0000 -
1107.16/1111.38 c 1111 2023290 731015 1 - 0.0000 -
1112.24/1116.43 c 1116 2032592 735395 1 - 0.0000 -
1117.23/1121.48 c 1121 2041842 739799 1 - 0.0000 -
1122.30/1126.53 c 1127 2051643 744332 1 - 0.0000 -
1127.28/1131.58 c 1132 2060969 747901 1 - 0.0000 -
1132.36/1136.63 c 1137 2070408 752153 1 - 0.0000 -
1137.34/1141.68 c 1142 2079963 756348 1 - 0.0000 -
1142.42/1146.73 c 1147 2089395 761003 1 - 0.0000 -
1147.40/1151.78 c 1152 2098775 766162 1 - 0.0000 -
1152.49/1156.83 c 1157 2108199 771384 1 - 0.0000 -
1157.47/1161.88 c 1162 2117452 775623 1 - 0.0000 -
1162.55/1166.93 c 1167 2126654 780240 1 - 0.0000 -
1167.53/1171.98 c 1172 2135632 784798 1 - 0.0000 -
1172.61/1177.03 c 1177 2144678 788886 1 - 0.0000 -
1177.60/1182.08 c 1182 2153797 792874 1 - 0.0000 -
1182.68/1187.13 c 1187 2163370 797190 1 - 0.0000 -
1187.66/1192.18 c 1192 2172961 801360 1 - 0.0000 -
1192.74/1197.23 c 1197 2183052 805964 1 - 0.0000 -
1197.72/1202.28 c 1202 2193448 810499 1 - 0.0000 -
1202.81/1207.33 c 1207 2203720 815317 1 - 0.0000 -
1207.79/1212.38 c 1212 2213807 819641 1 - 0.0000 -
1212.88/1217.43 c 1217 2224121 824137 1 - 0.0000 -
1217.86/1222.48 c 1222 2234099 828458 1 - 0.0000 -
1222.94/1227.53 c 1228 2243868 832795 1 - 0.0000 -
1227.93/1232.58 c 1233 2254001 837566 1 - 0.0000 -
1233.01/1237.63 c 1238 2264048 841907 1 - 0.0000 -
1237.99/1242.68 c 1243 2274219 846386 1 - 0.0000 -
1243.08/1247.73 c 1248 2284551 850729 1 - 0.0000 -
1248.06/1252.78 c 1253 2294614 855310 1 - 0.0000 -
1253.14/1257.83 c 1258 2304776 859823 1 - 0.0000 -
1258.12/1262.88 c 1263 2315221 864000 1 - 0.0000 -
1263.21/1267.93 c 1268 2325360 868529 1 - 0.0000 -
1268.19/1272.98 c 1273 2335342 872320 1 - 0.0000 -
1273.28/1278.03 c 1278 2345173 875835 1 - 0.0000 -
1278.27/1283.08 c 1283 2355276 880291 1 - 0.0000 -
1283.34/1288.13 c 1288 2365020 885116 1 - 0.0000 -
1288.33/1293.18 c 1293 2374759 890337 1 - 0.0000 -
1293.41/1298.23 c 1298 2384570 894922 1 - 0.0000 -
1298.40/1303.28 c 1303 2394697 899305 1 - 0.0000 -
1303.48/1308.33 c 1308 2404768 904184 1 - 0.0000 -
1308.46/1313.38 c 1313 2414698 909711 1 - 0.0000 -
1313.54/1318.43 c 1318 2424800 914987 1 - 0.0000 -
1318.52/1323.48 c 1323 2435109 919869 1 - 0.0000 -
1323.61/1328.53 c 1329 2445480 924599 1 - 0.0000 -
1328.60/1333.58 c 1334 2455506 929589 1 - 0.0000 -
1333.68/1338.63 c 1339 2465690 934483 1 - 0.0000 -
1338.66/1343.68 c 1344 2475851 939575 1 - 0.0000 -
1343.74/1348.73 c 1349 2485951 944529 1 - 0.0000 -
1348.73/1353.78 c 1354 2496074 949422 1 - 0.0000 -
1353.81/1358.83 c 1359 2506151 954099 1 - 0.0000 -
1358.79/1363.88 c 1364 2516249 958132 1 - 0.0000 -
1363.88/1368.93 c 1369 2526340 962546 1 - 0.0000 -
1368.86/1373.98 c 1374 2536463 966903 1 - 0.0000 -
1373.95/1379.03 c 1379 2546583 971450 1 - 0.0000 -
1378.94/1384.08 c 1384 2556647 975653 1 - 0.0000 -
1384.02/1389.13 c 1389 2566785 980495 1 - 0.0000 -
1389.00/1394.18 c 1394 2576597 985477 1 - 0.0000 -
1394.08/1399.23 c 1399 2586734 990017 1 - 0.0000 -
1399.07/1404.28 c 1404 2596730 994513 1 - 0.0000 -
1404.15/1409.33 c 1409 2606652 998872 1 - 0.0000 -
1409.13/1414.38 c 1414 2616802 1003220 1 - 0.0000 -
1414.21/1419.43 c 1419 2627500 1007422 1 - 0.0000 -
1419.20/1424.48 c 1424 2637675 1012206 1 - 0.0000 -
1424.28/1429.53 c 1430 2647863 1016667 1 - 0.0000 -
1429.26/1434.58 c 1435 2657979 1021182 1 - 0.0000 -
1434.34/1439.63 c 1440 2667832 1025610 1 - 0.0000 -
1439.33/1444.68 c 1445 2677930 1030174 1 - 0.0000 -
1444.42/1449.73 c 1450 2688080 1034107 1 - 0.0000 -
1449.40/1454.78 c 1455 2698083 1038298 1 - 0.0000 -
1454.48/1459.83 c 1460 2708016 1042718 1 - 0.0000 -
1459.47/1464.88 c 1465 2717846 1047069 1 - 0.0000 -
1464.55/1469.93 c 1470 2727899 1051497 1 - 0.0000 -
1469.53/1474.98 c 1475 2738066 1055912 1 - 0.0000 -
1474.62/1480.03 c 1480 2748084 1060051 1 - 0.0000 -
1479.60/1485.08 c 1485 2758165 1064347 1 - 0.0000 -
1484.69/1490.13 c 1490 2767741 1069323 1 - 0.0000 -
1489.66/1495.18 c 1495 2777831 1074177 1 - 0.0000 -
1494.75/1500.23 c 1500 2787974 1078521 1 - 0.0000 -
1499.73/1505.28 c 1505 2798074 1082890 1 - 0.0000 -
1504.81/1510.35 c 1510 2807999 1087462 1 - 0.0000 -
1509.80/1515.39 c 1515 2817635 1092367 1 - 0.0000 -
1514.88/1520.44 c 1520 2827593 1096730 1 - 0.0000 -
1519.86/1525.49 c 1526 2837457 1101400 1 - 0.0000 -
1524.94/1530.54 c 1531 2847282 1106349 1 - 0.0000 -
1529.93/1535.59 c 1536 2857302 1111310 1 - 0.0000 -
1535.01/1540.64 c 1541 2867065 1115842 1 - 0.0000 -
1539.99/1545.69 c 1546 2876767 1120758 1 - 0.0000 -
1545.07/1550.74 c 1551 2886566 1125043 1 - 0.0000 -
1550.06/1555.79 c 1556 2896334 1128823 1 - 0.0000 -
1555.14/1560.84 c 1561 2906186 1133047 1 - 0.0000 -
1560.12/1565.89 c 1566 2915960 1137528 1 - 0.0000 -
1565.20/1570.94 c 1571 2925772 1142981 1 - 0.0000 -
1570.18/1575.99 c 1576 2935684 1148142 1 - 0.0000 -
1575.27/1581.04 c 1581 2945527 1152762 1 - 0.0000 -
1580.25/1586.09 c 1586 2955563 1157253 1 - 0.0000 -
1585.34/1591.14 c 1591 2965595 1162472 1 - 0.0000 -
1590.32/1596.19 c 1596 2975419 1167305 1 - 0.0000 -
1595.40/1601.24 c 1601 2985256 1172320 1 - 0.0000 -
1600.39/1606.29 c 1606 2995130 1177023 1 - 0.0000 -
1605.47/1611.34 c 1611 3005047 1182141 1 - 0.0000 -
1610.45/1616.39 c 1616 3014935 1186599 1 - 0.0000 -
1615.54/1621.44 c 1621 3024997 1191194 1 - 0.0000 -
1620.52/1626.49 c 1626 3034871 1196074 1 - 0.0000 -
1625.60/1631.54 c 1632 3044634 1201025 1 - 0.0000 -
1630.58/1636.59 c 1637 3054678 1205720 1 - 0.0000 -
1635.67/1641.64 c 1642 3064467 1210140 1 - 0.0000 -
1640.65/1646.69 c 1647 3074546 1214819 1 - 0.0000 -
1645.74/1651.74 c 1652 3084349 1219487 1 - 0.0000 -
1650.72/1656.79 c 1657 3094355 1223635 1 - 0.0000 -
1655.80/1661.84 c 1662 3104104 1228427 1 - 0.0000 -
1660.79/1666.89 c 1667 3113861 1233463 1 - 0.0000 -
1665.87/1671.94 c 1672 3123581 1238193 1 - 0.0000 -
1670.85/1676.99 c 1677 3133521 1242850 1 - 0.0000 -
1675.94/1682.04 c 1682 3143560 1247244 1 - 0.0000 -
1680.92/1687.09 c 1687 3153347 1252041 1 - 0.0000 -
1686.00/1692.14 c 1692 3163201 1256745 1 - 0.0000 -
1690.98/1697.19 c 1697 3172934 1261586 1 - 0.0000 -
1696.07/1702.24 c 1702 3182852 1266637 1 - 0.0000 -
1701.04/1707.29 c 1707 3192554 1271400 1 - 0.0000 -
1706.13/1712.34 c 1712 3202411 1276078 1 - 0.0000 -
1711.11/1717.39 c 1717 3212291 1280878 1 - 0.0000 -
1716.20/1722.44 c 1722 3222124 1285649 1 - 0.0000 -
1721.18/1727.49 c 1728 3232081 1290375 1 - 0.0000 -
1726.26/1732.54 c 1733 3241874 1294716 1 - 0.0000 -
1731.24/1737.59 c 1738 3251728 1299601 1 - 0.0000 -
1736.33/1742.64 c 1743 3261730 1304264 1 - 0.0000 -
1741.31/1747.69 c 1748 3271688 1308812 1 - 0.0000 -
1746.39/1752.74 c 1753 3281416 1313418 1 - 0.0000 -
1751.38/1757.79 c 1758 3291426 1318643 1 - 0.0000 -
1756.46/1762.84 c 1763 3301446 1323685 1 - 0.0000 -
1761.45/1767.89 c 1768 3311402 1328590 1 - 0.0000 -
1766.53/1772.94 c 1773 3321169 1333361 1 - 0.0000 -
1771.51/1777.99 c 1778 3331271 1337979 1 - 0.0000 -
1776.59/1783.04 c 1783 3341346 1342485 1 - 0.0000 -
1781.58/1788.09 c 1788 3351309 1346656 1 - 0.0000 -
1786.67/1793.14 c 1793 3360728 1351923 1 - 0.0000 -
1791.65/1798.19 c 1798 3370510 1357190 1 - 0.0000 -
1796.73/1803.24 c 1803 3380310 1362285 1 - 0.0000 -
1801.71/1808.29 c 1808 3390099 1367092 1 - 0.0000 -
1806.79/1813.34 c 1813 3399899 1371610 1 - 0.0000 -
1811.77/1818.39 c 1818 3409831 1376551 1 - 0.0000 -
1816.86/1823.44 c 1823 3419668 1381058 1 - 0.0000 -
1821.84/1828.49 c 1828 3429332 1386032 1 - 0.0000 -
1826.93/1833.54 c 1834 3438902 1390598 1 - 0.0000 -
1831.91/1838.59 c 1839 3448751 1395670 1 - 0.0000 -
1836.99/1843.64 c 1844 3458453 1400554 1 - 0.0000 -
1841.98/1848.69 c 1849 3468272 1405558 1 - 0.0000 -
1847.06/1853.74 c 1854 3478155 1409986 1 - 0.0000 -
1852.04/1858.79 c 1859 3487890 1414139 1 - 0.0000 -
1857.12/1863.84 c 1864 3497647 1418272 1 - 0.0000 -
1862.11/1868.89 c 1869 3507342 1422796 1 - 0.0000 -
1867.19/1873.94 c 1874 3516961 1427892 1 - 0.0000 -
1872.17/1878.99 c 1879 3526752 1432915 1 - 0.0000 -
1877.26/1884.04 c 1884 3536407 1437661 1 - 0.0000 -
1882.24/1889.09 c 1889 3545952 1442515 1 - 0.0000 -
1887.33/1894.14 c 1894 3555437 1447514 1 - 0.0000 -
1892.31/1899.19 c 1899 3565069 1452398 1 - 0.0000 -
1897.39/1904.24 c 1904 3574839 1457449 1 - 0.0000 -
1902.37/1909.29 c 1909 3584794 1462337 1 - 0.0000 -
1907.45/1914.34 c 1914 3594651 1466803 1 - 0.0000 -
1912.44/1919.39 c 1919 3604106 1471282 1 - 0.0000 -
1917.53/1924.44 c 1924 3613763 1475725 1 - 0.0000 -
1922.50/1929.49 c 1930 3623674 1479742 1 - 0.0000 -
1927.59/1934.54 c 1935 3633408 1484112 1 - 0.0000 -
1932.57/1939.59 c 1940 3643210 1488583 1 - 0.0000 -
1937.65/1944.64 c 1945 3652532 1493734 1 - 0.0000 -
1942.64/1949.69 c 1950 3662139 1498498 1 - 0.0000 -
1947.72/1954.74 c 1955 3671822 1502327 1 - 0.0000 -
1952.70/1959.79 c 1960 3681277 1507035 1 - 0.0000 -
1957.78/1964.84 c 1965 3690762 1511710 1 - 0.0000 -
1962.77/1969.89 c 1970 3700372 1516460 1 - 0.0000 -
1967.85/1974.95 c 1975 3709726 1520852 1 - 0.0000 -
1972.83/1979.99 c 1980 3719212 1525465 1 - 0.0000 -
1977.92/1985.04 c 1985 3728819 1529986 1 - 0.0000 -
1982.91/1990.09 c 1990 3738477 1534216 1 - 0.0000 -
1987.99/1995.14 c 1995 3748135 1538426 1 - 0.0000 -
1992.97/2000.19 c 2000 3757772 1542934 1 - 0.0000 -
1998.05/2005.24 c 2005 3767421 1547455 1 - 0.0000 -
2003.03/2010.29 c 2010 3776989 1551770 1 - 0.0000 -
2008.11/2015.34 c 2015 3786425 1556415 1 - 0.0000 -
2013.10/2020.39 c 2020 3795903 1560941 1 - 0.0000 -
2018.18/2025.44 c 2025 3805517 1565164 1 - 0.0000 -
2023.17/2030.49 c 2030 3815215 1569284 1 - 0.0000 -
2028.24/2035.54 c 2036 3825108 1573888 1 - 0.0000 -
2033.23/2040.59 c 2041 3834729 1578430 1 - 0.0000 -
2038.31/2045.64 c 2046 3844331 1582960 1 - 0.0000 -
2043.30/2050.69 c 2051 3853889 1587362 1 - 0.0000 -
2048.38/2055.74 c 2056 3863788 1591905 1 - 0.0000 -
2053.37/2060.79 c 2061 3873375 1596175 1 - 0.0000 -
2058.45/2065.84 c 2066 3883049 1600807 1 - 0.0000 -
2063.42/2070.89 c 2071 3892523 1605742 1 - 0.0000 -
2068.52/2075.94 c 2076 3902063 1610398 1 - 0.0000 -
2073.50/2080.99 c 2081 3911523 1615253 1 - 0.0000 -
2078.58/2086.04 c 2086 3921081 1619717 1 - 0.0000 -
2083.56/2091.09 c 2091 3930776 1624214 1 - 0.0000 -
2088.65/2096.14 c 2096 3940235 1629030 1 - 0.0000 -
2093.63/2101.19 c 2101 3949955 1633820 1 - 0.0000 -
2098.71/2106.24 c 2106 3959599 1638783 1 - 0.0000 -
2103.70/2111.29 c 2111 3969197 1643681 1 - 0.0000 -
2108.78/2116.34 c 2116 3978784 1648043 1 - 0.0000 -
2113.76/2121.39 c 2121 3988423 1652434 1 - 0.0000 -
2118.84/2126.44 c 2126 3997568 1657452 1 - 0.0000 -
2123.82/2131.49 c 2132 4006980 1662245 1 - 0.0000 -
2128.91/2136.54 c 2137 4016468 1667170 1 - 0.0000 -
2133.89/2141.59 c 2142 4025767 1672361 1 - 0.0000 -
2138.97/2146.64 c 2147 4035245 1677305 1 - 0.0000 -
2143.96/2151.69 c 2152 4044842 1681520 1 - 0.0000 -
2149.04/2156.74 c 2157 4054269 1685949 1 - 0.0000 -
2154.02/2161.79 c 2162 4063755 1690217 1 - 0.0000 -
2159.11/2166.84 c 2167 4073443 1694412 1 - 0.0000 -
2164.08/2171.89 c 2172 4083229 1699028 1 - 0.0000 -
2169.17/2176.94 c 2177 4092818 1703797 1 - 0.0000 -
2174.16/2181.99 c 2182 4102330 1708892 1 - 0.0000 -
2179.24/2187.04 c 2187 4111902 1713288 1 - 0.0000 -
2184.23/2192.09 c 2192 4121342 1717761 1 - 0.0000 -
2189.31/2197.14 c 2197 4130747 1722304 1 - 0.0000 -
2194.29/2202.19 c 2202 4140093 1726890 1 - 0.0000 -
2199.37/2207.24 c 2207 4149498 1731473 1 - 0.0000 -
2204.35/2212.29 c 2212 4159000 1736255 1 - 0.0000 -
2209.44/2217.34 c 2217 4168504 1740786 1 - 0.0000 -
2214.42/2222.39 c 2222 4177846 1745473 1 - 0.0000 -
2219.51/2227.44 c 2227 4187235 1749934 1 - 0.0000 -
2224.49/2232.49 c 2232 4196740 1754085 1 - 0.0000 -
2229.57/2237.54 c 2238 4206222 1758240 1 - 0.0000 -
2234.56/2242.59 c 2243 4215725 1762452 1 - 0.0000 -
2239.64/2247.64 c 2248 4225331 1766913 1 - 0.0000 -
2244.62/2252.69 c 2253 4234867 1771291 1 - 0.0000 -
2249.71/2257.74 c 2258 4244393 1775647 1 - 0.0000 -
2254.69/2262.79 c 2263 4254072 1779858 1 - 0.0000 -
2259.78/2267.84 c 2268 4263399 1784898 1 - 0.0000 -
2264.76/2272.89 c 2273 4272894 1789789 1 - 0.0000 -
2269.84/2277.94 c 2278 4282469 1794530 1 - 0.0000 -
2274.82/2282.99 c 2283 4292130 1799453 1 - 0.0000 -
2279.91/2288.04 c 2288 4301666 1804046 1 - 0.0000 -
2284.89/2293.09 c 2293 4311441 1808674 1 - 0.0000 -
2289.98/2298.14 c 2298 4321294 1813030 1 - 0.0000 -
2294.96/2303.19 c 2303 4330808 1817985 1 - 0.0000 -
2300.04/2308.24 c 2308 4340092 1822744 1 - 0.0000 -
2305.02/2313.29 c 2313 4349399 1827646 1 - 0.0000 -
2310.10/2318.34 c 2318 4358767 1832385 1 - 0.0000 -
2315.08/2323.39 c 2323 4368122 1837126 1 - 0.0000 -
2320.17/2328.44 c 2328 4377519 1841953 1 - 0.0000 -
2325.25/2333.50 c 2334 4387028 1846774 1 - 0.0000 -
2330.24/2338.54 c 2339 4396657 1851529 1 - 0.0000 -
2335.22/2343.59 c 2344 4406436 1855350 1 - 0.0000 -
2340.30/2348.64 c 2349 4416222 1859429 1 - 0.0000 -
2345.28/2353.69 c 2354 4425838 1864201 1 - 0.0000 -
2350.37/2358.74 c 2359 4435743 1868289 1 - 0.0000 -
2355.35/2363.79 c 2364 4445375 1872177 1 - 0.0000 -
2360.43/2368.84 c 2369 4454789 1876991 1 - 0.0000 -
2365.41/2373.89 c 2374 4464349 1881691 1 - 0.0000 -
2370.49/2378.94 c 2379 4473994 1886962 1 - 0.0000 -
2375.47/2383.99 c 2384 4483577 1891839 1 - 0.0000 -
2380.56/2389.04 c 2389 4493202 1896504 1 - 0.0000 -
2385.55/2394.09 c 2394 4503128 1901318 1 - 0.0000 -
2390.63/2399.14 c 2399 4512862 1905963 1 - 0.0000 -
2395.61/2404.19 c 2404 4522734 1910866 1 - 0.0000 -
2400.69/2409.25 c 2409 4532510 1915520 1 - 0.0000 -
2405.67/2414.29 c 2414 4542118 1920218 1 - 0.0000 -
2410.75/2419.34 c 2419 4551805 1924855 1 - 0.0000 -
2415.75/2424.39 c 2424 4561571 1929712 1 - 0.0000 -
2420.83/2429.44 c 2429 4571602 1934215 1 - 0.0000 -
2425.81/2434.49 c 2434 4581544 1938999 1 - 0.0000 -
2430.89/2439.54 c 2440 4591371 1943545 1 - 0.0000 -
2435.87/2444.59 c 2445 4601011 1948340 1 - 0.0000 -
2440.96/2449.64 c 2450 4611020 1952881 1 - 0.0000 -
2445.95/2454.69 c 2455 4620610 1957416 1 - 0.0000 -
2451.03/2459.74 c 2460 4630415 1961970 1 - 0.0000 -
2456.01/2464.79 c 2465 4640317 1965761 1 - 0.0000 -
2461.10/2469.84 c 2470 4650415 1969529 1 - 0.0000 -
2466.08/2474.89 c 2475 4660156 1973528 1 - 0.0000 -
2471.17/2479.94 c 2480 4669949 1978101 1 - 0.0000 -
2476.15/2484.99 c 2485 4679620 1982920 1 - 0.0000 -
2481.24/2490.04 c 2490 4689504 1987427 1 - 0.0000 -
2486.23/2495.09 c 2495 4699487 1991729 1 - 0.0000 -
2491.31/2500.14 c 2500 4709311 1995871 1 - 0.0000 -
2496.29/2505.19 c 2505 4719058 1999831 1 - 0.0000 -
2501.37/2510.24 c 2510 4728924 2004366 1 - 0.0000 -
2506.36/2515.29 c 2515 4738500 2008678 1 - 0.0000 -
2511.44/2520.34 c 2520 4748374 2012738 1 - 0.0000 -
2516.42/2525.39 c 2525 4758236 2017484 1 - 0.0000 -
2521.50/2530.44 c 2530 4768015 2022121 1 - 0.0000 -
2526.49/2535.49 c 2536 4777744 2026649 1 - 0.0000 -
2531.58/2540.54 c 2541 4787600 2031200 1 - 0.0000 -
2536.56/2545.59 c 2546 4797154 2035796 1 - 0.0000 -
2541.64/2550.64 c 2551 4806679 2040548 1 - 0.0000 -
2546.62/2555.69 c 2556 4816176 2045330 1 - 0.0000 -
2551.71/2560.74 c 2561 4825714 2050239 1 - 0.0000 -
2556.70/2565.79 c 2566 4835604 2054896 1 - 0.0000 -
2561.78/2570.84 c 2571 4845415 2059587 1 - 0.0000 -
2566.76/2575.89 c 2576 4855009 2063971 1 - 0.0000 -
2571.85/2580.94 c 2581 4864536 2069067 1 - 0.0000 -
2576.83/2585.99 c 2586 4874012 2073937 1 - 0.0000 -
2581.92/2591.04 c 2591 4883583 2078858 1 - 0.0000 -
2586.90/2596.09 c 2596 4893176 2083370 1 - 0.0000 -
2591.99/2601.14 c 2601 4902775 2088280 1 - 0.0000 -
2596.97/2606.19 c 2606 4912354 2093313 1 - 0.0000 -
2602.05/2611.24 c 2611 4922133 2098318 1 - 0.0000 -
2607.04/2616.29 c 2616 4931633 2103157 1 - 0.0000 -
2612.12/2621.34 c 2621 4941542 2107589 1 - 0.0000 -
2617.10/2626.39 c 2626 4951332 2112118 1 - 0.0000 -
2622.19/2631.44 c 2631 4961169 2116473 1 - 0.0000 -
2627.17/2636.49 c 2636 4970979 2120664 1 - 0.0000 -
2632.25/2641.54 c 2642 4980691 2124931 1 - 0.0000 -
2637.24/2646.59 c 2647 4990370 2129075 1 - 0.0000 -
2642.33/2651.64 c 2652 5000095 2133697 1 - 0.0000 -
2647.30/2656.69 c 2657 5009613 2138429 1 - 0.0000 -
2652.39/2661.74 c 2662 5019268 2143280 1 - 0.0000 -
2657.37/2666.79 c 2667 5028957 2148141 1 - 0.0000 -
2662.46/2671.84 c 2672 5038644 2152836 1 - 0.0000 -
2667.44/2676.89 c 2677 5048175 2157634 1 - 0.0000 -
2672.52/2681.94 c 2682 5057757 2162265 1 - 0.0000 -
2677.51/2686.99 c 2687 5067413 2166834 1 - 0.0000 -
2682.59/2692.04 c 2692 5077134 2171356 1 - 0.0000 -
2687.58/2697.09 c 2697 5086682 2176294 1 - 0.0000 -
2692.67/2702.14 c 2702 5096162 2181410 1 - 0.0000 -
2697.65/2707.19 c 2707 5105930 2186246 1 - 0.0000 -
2702.73/2712.24 c 2712 5115596 2191129 1 - 0.0000 -
2707.71/2717.29 c 2717 5125289 2196546 1 - 0.0000 -
2712.80/2722.34 c 2722 5135011 2201286 1 - 0.0000 -
2717.79/2727.39 c 2727 5144496 2206284 1 - 0.0000 -
2722.86/2732.44 c 2732 5153903 2211171 1 - 0.0000 -
2727.85/2737.49 c 2738 5163353 2216162 1 - 0.0000 -
2732.93/2742.54 c 2743 5172873 2221239 1 - 0.0000 -
2737.92/2747.59 c 2748 5182655 2226017 1 - 0.0000 -
2743.00/2752.64 c 2753 5191921 2230995 1 - 0.0000 -
2747.98/2757.69 c 2758 5201566 2235783 1 - 0.0000 -
2753.07/2762.74 c 2763 5211510 2240473 1 - 0.0000 -
2758.06/2767.79 c 2768 5221638 2245190 1 - 0.0000 -
2763.14/2772.84 c 2773 5231464 2249980 1 - 0.0000 -
2768.13/2777.89 c 2778 5241375 2253981 1 - 0.0000 -
2773.20/2782.94 c 2783 5251186 2258009 1 - 0.0000 -
2778.19/2787.99 c 2788 5260937 2262361 1 - 0.0000 -
2783.28/2793.04 c 2793 5270842 2266377 1 - 0.0000 -
2788.26/2798.09 c 2798 5280755 2270725 1 - 0.0000 -
2793.35/2803.14 c 2803 5290613 2275055 1 - 0.0000 -
2798.33/2808.19 c 2808 5300609 2279390 1 - 0.0000 -
2803.41/2813.24 c 2813 5310029 2283260 1 - 0.0000 -
2808.40/2818.29 c 2818 5319889 2287519 1 - 0.0000 -
2813.48/2823.34 c 2823 5329680 2291704 1 - 0.0000 -
2818.46/2828.39 c 2828 5339448 2295888 1 - 0.0000 -
2823.55/2833.44 c 2833 5349136 2299810 1 - 0.0000 -
2828.53/2838.49 c 2838 5358873 2303624 1 - 0.0000 -
2833.62/2843.54 c 2844 5368529 2307840 1 - 0.0000 -
2838.59/2848.59 c 2849 5378459 2311969 1 - 0.0000 -
2843.69/2853.64 c 2854 5388280 2316731 1 - 0.0000 -
2848.66/2858.69 c 2859 5397981 2321422 1 - 0.0000 -
2853.75/2863.74 c 2864 5407819 2326305 1 - 0.0000 -
2858.74/2868.79 c 2869 5417381 2330858 1 - 0.0000 -
2863.82/2873.84 c 2874 5427130 2335541 1 - 0.0000 -
2868.81/2878.89 c 2879 5436807 2339852 1 - 0.0000 -
2873.89/2883.94 c 2884 5446323 2344326 1 - 0.0000 -
2878.87/2888.99 c 2889 5455978 2348870 1 - 0.0000 -
2883.96/2894.04 c 2894 5465510 2353927 1 - 0.0000 -
2888.94/2899.09 c 2899 5475154 2358457 1 - 0.0000 -
2894.03/2904.14 c 2904 5484713 2362963 1 - 0.0000 -
2899.01/2909.19 c 2909 5494525 2367414 1 - 0.0000 -
2904.09/2914.24 c 2914 5504308 2371545 1 - 0.0000 -
2909.07/2919.29 c 2919 5513950 2376246 1 - 0.0000 -
2914.16/2924.34 c 2924 5523830 2380496 1 - 0.0000 -
2919.15/2929.39 c 2929 5533372 2384951 1 - 0.0000 -
2924.23/2934.44 c 2934 5542897 2389787 1 - 0.0000 -
2929.21/2939.49 c 2940 5552251 2394126 1 - 0.0000 -
2934.29/2944.54 c 2945 5561881 2398510 1 - 0.0000 -
2939.28/2949.59 c 2950 5571588 2403005 1 - 0.0000 -
2944.36/2954.64 c 2955 5581289 2407450 1 - 0.0000 -
2949.34/2959.69 c 2960 5590941 2412110 1 - 0.0000 -
2954.43/2964.74 c 2965 5600222 2416507 1 - 0.0000 -
2959.51/2969.80 c 2970 5609815 2421088 1 - 0.0000 -
2964.50/2974.85 c 2975 5619482 2425379 1 - 0.0000 -
2969.58/2979.90 c 2980 5629081 2429752 1 - 0.0000 -
2974.57/2984.95 c 2985 5638541 2434136 1 - 0.0000 -
2979.66/2990.00 c 2990 5648357 2438913 1 - 0.0000 -
2984.65/2995.05 c 2995 5657910 2443223 1 - 0.0000 -
2989.73/3000.10 c 3000 5667433 2447952 1 - 0.0000 -
2994.71/3005.15 c 3005 5677061 2452271 1 - 0.0000 -
2999.79/3010.20 c 3010 5686192 2456076 1 - 0.0000 -
3004.77/3015.25 c 3015 5695788 2460264 1 - 0.0000 -
3009.86/3020.30 c 3020 5705318 2464693 1 - 0.0000 -
3014.84/3025.36 c 3025 5714711 2469154 1 - 0.0000 -
3019.93/3030.41 c 3030 5724134 2473450 1 - 0.0000 -
3024.91/3035.46 c 3035 5733659 2477688 1 - 0.0000 -
3029.99/3040.51 c 3041 5743384 2482058 1 - 0.0000 -
3034.97/3045.56 c 3046 5752566 2486018 1 - 0.0000 -
3040.06/3050.61 c 3051 5762001 2490805 1 - 0.0000 -
3045.05/3055.66 c 3056 5771351 2495639 1 - 0.0000 -
3050.12/3060.71 c 3061 5780928 2500290 1 - 0.0000 -
3055.11/3065.76 c 3066 5790564 2504415 1 - 0.0000 -
3060.19/3070.81 c 3071 5799875 2509035 1 - 0.0000 -
3065.18/3075.86 c 3076 5809567 2513890 1 - 0.0000 -
3070.26/3080.91 c 3081 5819224 2518272 1 - 0.0000 -
3075.25/3085.96 c 3086 5828854 2522274 1 - 0.0000 -
3080.34/3091.01 c 3091 5838524 2526529 1 - 0.0000 -
3085.32/3096.06 c 3096 5848132 2530626 1 - 0.0000 -
3090.41/3101.11 c 3101 5857750 2535637 1 - 0.0000 -
3095.39/3106.16 c 3106 5867412 2540016 1 - 0.0000 -
3100.46/3111.21 c 3111 5877219 2544647 1 - 0.0000 -
3105.45/3116.26 c 3116 5886815 2548836 1 - 0.0000 -
3110.53/3121.32 c 3121 5896483 2552834 1 - 0.0000 -
3115.52/3126.36 c 3126 5906016 2557384 1 - 0.0000 -
3120.60/3131.41 c 3131 5915807 2562018 1 - 0.0000 -
3125.59/3136.46 c 3136 5925764 2566464 1 - 0.0000 -
3130.67/3141.51 c 3142 5935562 2570572 1 - 0.0000 -
3135.65/3146.56 c 3147 5945248 2575051 1 - 0.0000 -
3140.73/3151.61 c 3152 5954778 2579194 1 - 0.0000 -
3145.73/3156.66 c 3157 5963860 2582896 1 - 0.0000 -
3150.81/3161.71 c 3162 5973224 2587248 1 - 0.0000 -
3155.79/3166.76 c 3167 5982588 2591684 1 - 0.0000 -
3160.87/3171.81 c 3172 5992599 2595778 1 - 0.0000 -
3165.86/3176.86 c 3177 6002252 2599602 1 - 0.0000 -
3170.94/3181.91 c 3182 6011815 2603934 1 - 0.0000 -
3175.93/3186.96 c 3187 6021458 2608187 1 - 0.0000 -
3181.01/3192.01 c 3192 6031209 2612317 1 - 0.0000 -
3186.00/3197.06 c 3197 6040713 2616055 1 - 0.0000 -
3191.08/3202.11 c 3202 6050334 2620451 1 - 0.0000 -
3196.06/3207.16 c 3207 6059863 2624535 1 - 0.0000 -
3201.14/3212.21 c 3212 6069399 2628761 1 - 0.0000 -
3206.13/3217.26 c 3217 6079028 2633148 1 - 0.0000 -
3211.22/3222.31 c 3222 6088429 2637693 1 - 0.0000 -
3216.19/3227.36 c 3227 6098061 2641758 1 - 0.0000 -
3221.28/3232.41 c 3232 6107753 2645533 1 - 0.0000 -
3226.27/3237.46 c 3237 6117300 2649658 1 - 0.0000 -
3231.35/3242.51 c 3243 6126749 2654878 1 - 0.0000 -
3236.34/3247.56 c 3248 6136096 2659183 1 - 0.0000 -
3241.42/3252.61 c 3253 6145578 2663335 1 - 0.0000 -
3246.41/3257.66 c 3258 6154931 2667743 1 - 0.0000 -
3251.49/3262.71 c 3263 6164303 2672068 1 - 0.0000 -
3256.47/3267.76 c 3268 6173709 2676331 1 - 0.0000 -
3261.56/3272.81 c 3273 6183345 2680403 1 - 0.0000 -
3266.53/3277.86 c 3278 6192923 2684259 1 - 0.0000 -
3271.62/3282.91 c 3283 6202418 2688629 1 - 0.0000 -
3276.60/3287.96 c 3288 6212067 2692963 1 - 0.0000 -
3281.69/3293.01 c 3293 6221722 2697239 1 - 0.0000 -
3286.67/3298.06 c 3298 6231297 2701365 1 - 0.0000 -
3291.76/3303.11 c 3303 6240849 2705576 1 - 0.0000 -
3296.75/3308.16 c 3308 6250335 2709793 1 - 0.0000 -
3301.83/3313.21 c 3313 6259822 2713866 1 - 0.0000 -
3306.81/3318.26 c 3318 6269474 2717768 1 - 0.0000 -
3311.89/3323.31 c 3323 6279184 2721421 1 - 0.0000 -
3316.87/3328.36 c 3328 6288843 2725534 1 - 0.0000 -
3321.96/3333.41 c 3333 6298502 2729336 1 - 0.0000 -
3326.94/3338.46 c 3338 6308115 2733742 1 - 0.0000 -
3332.02/3343.51 c 3344 6317299 2737505 1 - 0.0000 -
3337.01/3348.56 c 3349 6326765 2741524 1 - 0.0000 -
3342.09/3353.61 c 3354 6336477 2745761 1 - 0.0000 -
3347.08/3358.66 c 3359 6345714 2749843 1 - 0.0000 -
3352.16/3363.71 c 3364 6355325 2754016 1 - 0.0000 -
3357.15/3368.76 c 3369 6364799 2758091 1 - 0.0000 -
3362.23/3373.81 c 3374 6374077 2762096 1 - 0.0000 -
3367.21/3378.86 c 3379 6383539 2765586 1 - 0.0000 -
3372.30/3383.91 c 3384 6393090 2769871 1 - 0.0000 -
3377.28/3388.96 c 3389 6402764 2774410 1 - 0.0000 -
3382.37/3394.01 c 3394 6412442 2778956 1 - 0.0000 -
3387.35/3399.06 c 3399 6422197 2783073 1 - 0.0000 -
3392.44/3404.11 c 3404 6431932 2787128 1 - 0.0000 -
3397.43/3409.16 c 3409 6441531 2790712 1 - 0.0000 -
3402.50/3414.22 c 3414 6451012 2795036 1 - 0.0000 -
3407.49/3419.26 c 3419 6460791 2799025 1 - 0.0000 -
3412.57/3424.31 c 3424 6470500 2803172 1 - 0.0000 -
3417.55/3429.36 c 3429 6479960 2807134 1 - 0.0000 -
3422.63/3434.41 c 3434 6489485 2811712 1 - 0.0000 -
3427.62/3439.46 c 3439 6498819 2816358 1 - 0.0000 -
3432.70/3444.51 c 3445 6508094 2820887 1 - 0.0000 -
3437.68/3449.56 c 3450 6517678 2825165 1 - 0.0000 -
3442.77/3454.61 c 3455 6527241 2829719 1 - 0.0000 -
3447.76/3459.66 c 3460 6536593 2834459 1 - 0.0000 -
3452.84/3464.71 c 3465 6546108 2838884 1 - 0.0000 -
3457.82/3469.76 c 3470 6555624 2842834 1 - 0.0000 -
3462.90/3474.81 c 3475 6565272 2847251 1 - 0.0000 -
3467.89/3479.86 c 3480 6574718 2852348 1 - 0.0000 -
3472.97/3484.91 c 3485 6584049 2856867 1 - 0.0000 -
3477.96/3489.96 c 3490 6593457 2861112 1 - 0.0000 -
3483.05/3495.01 c 3495 6602995 2865668 1 - 0.0000 -
3488.03/3500.06 c 3500 6612431 2870068 1 - 0.0000 -
3493.12/3505.11 c 3505 6621722 2874378 1 - 0.0000 -
3498.10/3510.16 c 3510 6630960 2879050 1 - 0.0000 -
3503.18/3515.21 c 3515 6640064 2883989 1 - 0.0000 -
3508.16/3520.26 c 3520 6649528 2889204 1 - 0.0000 -
3513.25/3525.31 c 3525 6658732 2893981 1 - 0.0000 -
3518.23/3530.36 c 3530 6667991 2899021 1 - 0.0000 -
3523.31/3535.41 c 3535 6677238 2903957 1 - 0.0000 -
3528.30/3540.46 c 3540 6686554 2908392 1 - 0.0000 -
3533.38/3545.51 c 3546 6695780 2913352 1 - 0.0000 -
3538.37/3550.56 c 3551 6705140 2918048 1 - 0.0000 -
3543.45/3555.61 c 3556 6714571 2922339 1 - 0.0000 -
3548.44/3560.66 c 3561 6724008 2926977 1 - 0.0000 -
3553.52/3565.71 c 3566 6733717 2931009 1 - 0.0000 -
3558.50/3570.76 c 3571 6743214 2935109 1 - 0.0000 -
3563.59/3575.81 c 3576 6752659 2938973 1 - 0.0000 -
3568.57/3580.87 c 3581 6762180 2943539 1 - 0.0000 -
3573.65/3585.91 c 3586 6771851 2947630 1 - 0.0000 -
3578.64/3590.96 c 3591 6781368 2951508 1 - 0.0000 -
3583.72/3596.02 c 3596 6791082 2955892 1 - 0.0000 -
3590.70/3603.02 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.70/3603.02 c Total Time : 3603.0200
3590.70/3603.02 c solving : 3603.0200
3590.70/3603.02 c presolving : 0.0166 (included in solving)
3590.70/3603.02 c B&B Tree :
3590.70/3603.02 c nodes (total) : 1
3590.70/3603.02 c Solution :
3590.70/3603.02 c Solutions found : 0
3590.70/3603.02 c Primal Bound : -
3590.70/3603.02 c Dual Bound : +0.00000000000000e+00
3590.70/3603.02 c Gap : -
3590.70/3603.08 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 (44580 MiB free)
memory of node 1: 64473 MiB (54646 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464503-1722385811/watcher-4464503-1722385811 -o /tmp/evaluation-result-4464503-1722385811/solver-4464503-1722385811 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722378594-31128 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464503-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=36121, runsolver pid=36118
Current StackSize limit: 8192 KiB
[startup+0.100202 s]*
/proc/loadavg: 4.11 4.13 4.13 5/268 36124
/proc/meminfo: memFree=101582840/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=116636 memory=38076 CPUtime=0.09 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 6887 0 0 0 8 1 0 0 20 0 3 0 5180970 119435264 9519 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 29159 9519 2966 3035 0 13385 0
[pid=36121/tid=36123] ppid=36118 vsize=116636 memory=4026561586 CPUtime=0.06 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 3533 0 0 0 6 0 0 0 20 0 3 0 5180973 119435264 9519 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=116636 memory=232851243367 CPUtime=0 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5180973 119435264 9519 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 116636 KiB
Current children cumulated memory: 38076 KiB
[startup+0.205973 s]*
/proc/loadavg: 4.11 4.13 4.13 5/268 36124
/proc/meminfo: memFree=101582532/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=116636 memory=38076 CPUtime=0.2 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 6913 0 0 0 19 1 0 0 20 0 3 0 5180970 119435264 9519 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 29159 9519 2966 3035 0 13385 0
[pid=36121/tid=36123] ppid=36118 vsize=116636 memory=664970838410264707 CPUtime=0.17 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 3559 0 0 0 17 0 0 0 20 0 3 0 5180973 119435264 9519 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=116636 memory=90257 CPUtime=0 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5180973 119435264 9519 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 116636 KiB
Current children cumulated memory: 38076 KiB
[startup+0.305773 s]*
/proc/loadavg: 4.11 4.13 4.13 5/268 36124
/proc/meminfo: memFree=101580684/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=116636 memory=39924 CPUtime=0.3 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 7373 0 0 0 29 1 0 0 20 0 3 0 5180970 119435264 9981 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 29159 9981 2966 3035 0 13545 0
[pid=36121/tid=36123] ppid=36118 vsize=116636 memory=-5155626912221391749 CPUtime=0.27 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 4019 0 0 0 27 0 0 0 20 0 3 0 5180973 119435264 9981 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=116636 memory=0 CPUtime=0 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5180973 119435264 9981 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 116636 KiB
Current children cumulated memory: 39924 KiB
[startup+0.70024 s]
/proc/loadavg: 4.11 4.13 4.13 5/268 36124
/proc/meminfo: memFree=101571584/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=117576 memory=48636 CPUtime=0.68 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 9556 0 0 0 67 1 0 0 20 0 3 0 5180970 120397824 12159 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 29394 12159 2966 3035 0 15775 0
[pid=36121/tid=36123] ppid=36118 vsize=117576 memory=0 CPUtime=0.65 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 6202 0 0 0 65 0 0 0 20 0 3 0 5180973 120397824 12159 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=117576 memory=0 CPUtime=0 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5180973 120397824 12159 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 117576 KiB
Current children cumulated memory: 48636 KiB
[startup+1.50025 s]
/proc/loadavg: 4.10 4.12 4.13 5/268 36124
/proc/meminfo: memFree=101571224/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=117576 memory=50636 CPUtime=1.48 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 15363 0 0 0 147 1 0 0 20 0 3 0 5180970 120397824 12659 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 29394 12659 2966 3035 0 16492 0
[pid=36121/tid=36123] ppid=36118 vsize=117576 memory=0 CPUtime=1.45 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 11996 0 0 0 144 1 0 0 20 0 3 0 5180973 120397824 12659 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=117576 memory=0 CPUtime=0 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5180973 120397824 12659 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 117576 KiB
Current children cumulated memory: 50636 KiB
[startup+3.10588 s]
/proc/loadavg: 4.10 4.12 4.13 5/268 36125
/proc/meminfo: memFree=101564656/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=117576 memory=54804 CPUtime=3.08 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 18708 0 0 0 305 3 0 0 20 0 3 0 5180970 120397824 13701 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 29394 13701 2966 3035 0 17246 0
[pid=36121/tid=36123] ppid=36118 vsize=117576 memory=2273 CPUtime=3.05 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 15338 0 0 0 303 2 0 0 20 0 3 0 5180973 120397824 13701 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=117576 memory=0 CPUtime=0 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5180973 120397824 13701 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 117576 KiB
Current children cumulated memory: 54804 KiB
[startup+6.30024 s]
/proc/loadavg: 4.09 4.12 4.13 5/268 36125
/proc/meminfo: memFree=101561288/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=117576 memory=59864 CPUtime=6.26 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 26808 0 0 0 622 4 0 0 20 0 3 0 5180970 120397824 14966 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 29394 14966 3014 3035 0 18463 0
[pid=36121/tid=36123] ppid=36118 vsize=117576 memory=-5155626912221391749 CPUtime=6.24 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 23415 0 0 0 620 4 0 0 20 0 3 0 5180973 120397824 14966 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=117576 memory=58400 CPUtime=0 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5180973 120397824 14966 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 117576 KiB
Current children cumulated memory: 59864 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.12 4.13 5/268 36125
/proc/meminfo: memFree=101553428/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=117576 memory=67016 CPUtime=12.64 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 40181 0 0 0 1256 8 0 0 20 0 3 0 5180970 120397824 16754 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 29394 16754 3014 3035 0 20477 0
[pid=36121/tid=36123] ppid=36118 vsize=117576 memory=54804 CPUtime=12.61 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 36749 0 0 0 1253 8 0 0 20 0 3 0 5180973 120397824 16754 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=117576 memory=0 CPUtime=0 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5180973 120397824 16754 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 117576 KiB
Current children cumulated memory: 67016 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.12 4.13 5/268 36128
/proc/meminfo: memFree=101548300/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=117576 memory=72100 CPUtime=25.4 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 58422 0 0 0 2526 14 0 0 20 0 3 0 5180970 120397824 18025 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 29394 18025 3014 3035 0 21690 0
[pid=36121/tid=36123] ppid=36118 vsize=117576 memory=61020 CPUtime=25.36 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 54946 0 0 0 2523 13 0 0 20 0 3 0 5180973 120397824 18025 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=117576 memory=11436 CPUtime=0 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5180973 120397824 18025 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 117576 KiB
Current children cumulated memory: 72100 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 4.12 4.13 5/267 36132
/proc/meminfo: memFree=101530728/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=183112 memory=89044 CPUtime=50.9 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 89734 0 0 0 5066 24 0 0 20 0 3 0 5180970 187506688 22261 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 45778 22261 3014 3035 0 25874 0
[pid=36121/tid=36123] ppid=36118 vsize=183112 memory=88948 CPUtime=50.88 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 86177 0 0 0 5064 24 0 0 20 0 3 0 5180973 187506688 22261 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=183112 memory=88948 CPUtime=0 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5180973 187506688 22261 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 183112 KiB
Current children cumulated memory: 89044 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/267 36141
/proc/meminfo: memFree=101499064/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=183112 memory=119464 CPUtime=101.91 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 132512 0 0 0 10150 41 0 0 20 0 3 0 5180970 187506688 29866 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 45778 29866 3014 3035 0 33281 0
[pid=36121/tid=36123] ppid=36118 vsize=183112 memory=118520 CPUtime=101.87 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 128904 0 0 0 10147 40 0 0 20 0 3 0 5180973 187506688 29866 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=183112 memory=118520 CPUtime=0 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 5180973 187506688 29866 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 183112 KiB
Current children cumulated memory: 119464 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/266 36198
/proc/meminfo: memFree=108413188/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=248648 memory=165016 CPUtime=161.69 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 175526 0 0 0 16109 60 0 0 20 0 3 0 5180970 254615552 41254 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 62162 41254 3014 3035 0 44871 0
[pid=36121/tid=36123] ppid=36118 vsize=248648 memory=11436 CPUtime=161.65 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 171866 0 0 0 16105 60 0 0 20 0 3 0 5180973 254615552 41254 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=248648 memory=164492 CPUtime=0 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5180973 254615552 41254 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 248648 KiB
################
# More data... #
################
/proc/36121/statm: 880053 849839 3014 3035 0 856513 0
[pid=36121/tid=36123] ppid=36118 vsize=3520212 memory=3332732 CPUtime=3390.39 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 2906825 0 0 0 337706 1333 0 0 20 0 3 0 5180973 3604697088 849839 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=3520212 memory=3389124 CPUtime=0.02 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 128 0 0 0 1 1 0 0 20 0 3 0 5180973 3604697088 849839 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 3390.64 s
Current children cumulated vsize: 3520212 KiB
Current children cumulated memory: 3399356 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.15 4.17 5/265 38112
/proc/meminfo: memFree=102937264/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=3525352 memory=3462040 CPUtime=3450.44 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 2947555 0 0 0 343688 1356 0 0 20 0 3 0 5180970 3609960448 865510 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 881338 865510 3014 3035 0 872162 0
[pid=36121/tid=36123] ppid=36118 vsize=3525352 memory=3332732 CPUtime=3450.19 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 2943041 0 0 0 343665 1354 0 0 20 0 3 0 5180973 3609960448 865510 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=3525352 memory=3455836 CPUtime=0.02 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 130 0 0 0 1 1 0 0 20 0 3 0 5180973 3609960448 865510 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 3450.44 s
Current children cumulated vsize: 3525352 KiB
Current children cumulated memory: 3462040 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/265 38290
/proc/meminfo: memFree=102875588/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=3592944 memory=3519808 CPUtime=3510.25 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 2991613 0 0 0 349647 1378 0 0 20 0 3 0 5180970 3679174656 879952 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 898236 879952 3014 3035 0 886581 0
[pid=36121/tid=36123] ppid=36118 vsize=3592944 memory=3491796 CPUtime=3510 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 2987091 0 0 0 349624 1376 0 0 20 0 3 0 5180973 3679174656 879952 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=3592944 memory=3481860 CPUtime=0.02 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 130 0 0 0 1 1 0 0 20 0 3 0 5180973 3679174656 879952 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 3510.25 s
Current children cumulated vsize: 3592944 KiB
Current children cumulated memory: 3519808 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/265 38301
/proc/meminfo: memFree=102806096/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=3662592 memory=3584292 CPUtime=3570.07 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 3029089 0 0 0 355609 1398 0 0 20 0 3 0 5180970 3750494208 896073 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 915648 896073 3014 3035 0 902683 0
[pid=36121/tid=36123] ppid=36118 vsize=3662592 memory=3546440 CPUtime=3569.8 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 3024557 0 0 0 355585 1395 0 0 20 0 3 0 5180973 3750494208 896073 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=3662592 memory=5420 CPUtime=0.02 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 132 0 0 0 1 1 0 0 20 0 3 0 5180973 3750494208 896073 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 3570.07 s
Current children cumulated vsize: 3662592 KiB
Current children cumulated memory: 3584292 KiB
[startup+3603.09 s]
# the end of solver process 36121 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.4 s, system=14.4045 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.14 4.16 5/265 38302
/proc/meminfo: memFree=102805676/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=3662592 memory=3584616 CPUtime=3571.76 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 3030484 0 0 0 355778 1398 0 0 20 0 3 0 5180970 3750494208 896154 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 915648 896154 3014 3035 0 902763 0
[pid=36121/tid=36123] ppid=36118 vsize=3662592 memory=-7378421781101634174 CPUtime=3571.51 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 3025952 0 0 0 355755 1396 0 0 20 0 3 0 5180973 3750494208 896154 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=3662592 memory=7510952627884039700 CPUtime=0.02 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 132 0 0 0 1 1 0 0 20 0 3 0 5180973 3750494208 896154 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 3571.76 s
Current children cumulated vsize: 3662592 KiB
Current children cumulated memory: 3584616 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.13 4.16 5/268 38363
/proc/meminfo: memFree=102794200/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=3663620 memory=3595516 CPUtime=3584.52 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 3039272 0 0 0 357048 1404 0 0 20 0 3 0 5180970 3751546880 898879 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 915905 898879 3014 3035 0 905484 0
[pid=36121/tid=36123] ppid=36118 vsize=3663620 memory=3587792 CPUtime=3584.26 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 3034730 0 0 0 357025 1401 0 0 20 0 3 0 5180973 3751546880 898879 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=3663620 memory=12272 CPUtime=0.02 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 134 0 0 0 1 1 0 0 20 0 3 0 5180973 3751546880 898879 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 3584.52 s
Current children cumulated vsize: 3663620 KiB
Current children cumulated memory: 3595516 KiB
[startup+3600 s]*
/proc/loadavg: 4.08 4.13 4.16 5/268 38363
/proc/meminfo: memFree=102791208/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=3663620 memory=3596480 CPUtime=3587.72 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 3345689 0 0 0 357352 1420 0 0 20 0 3 0 5180970 3751546880 899120 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 915905 899120 3014 3035 0 905724 0
[pid=36121/tid=36123] ppid=36118 vsize=3663620 memory=-7378421781101634174 CPUtime=3587.45 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 3341187 0 0 0 357328 1417 0 0 20 0 3 0 5180973 3751546880 899120 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=3663620 memory=-7161750856329951683 CPUtime=0.02 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 134 0 0 0 1 1 0 0 20 0 3 0 5180973 3751546880 899120 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 3587.72 s
Current children cumulated vsize: 3663620 KiB
Current children cumulated memory: 3596480 KiB
[startup+3601.6 s]
/proc/loadavg: 4.08 4.13 4.16 5/268 38363
/proc/meminfo: memFree=102794508/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=3654368 memory=3587236 CPUtime=3589.3 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 3531700 0 0 0 357499 1431 0 0 20 0 3 0 5180970 3742072832 896809 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 913592 896809 3014 3035 0 903411 0
[pid=36121/tid=36123] ppid=36118 vsize=3654368 memory=11436 CPUtime=3589.05 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 3527161 0 0 0 357476 1429 0 0 20 0 3 0 5180973 3742072832 896809 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=3654368 memory=3597508 CPUtime=0.02 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 134 0 0 0 1 1 0 0 20 0 3 0 5180973 3742072832 896809 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 3589.3 s
Current children cumulated vsize: 3654368 KiB
Current children cumulated memory: 3587236 KiB
[startup+3602.4 s]
/proc/loadavg: 4.07 4.13 4.16 5/268 38363
/proc/meminfo: memFree=102811508/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=3517152 memory=3450164 CPUtime=3590.11 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 3548328 0 0 0 357578 1433 0 0 20 0 3 0 5180970 3601563648 862541 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 879288 862541 3014 3035 0 869107 0
[pid=36121/tid=36123] ppid=36118 vsize=3517152 memory=3596480 CPUtime=3589.84 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 3543784 0 0 0 357554 1430 0 0 20 0 3 0 5180973 3601563648 862541 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=3517152 memory=-7594876038192127615 CPUtime=0.02 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 134 0 0 0 1 1 0 0 20 0 3 0 5180973 3601563648 862541 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 3590.11 s
Current children cumulated vsize: 3517152 KiB
Current children cumulated memory: 3450164 KiB
[startup+3602.8 s]
/proc/loadavg: 4.07 4.13 4.16 5/268 38363
/proc/meminfo: memFree=102811508/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=3509956 memory=3442972 CPUtime=3590.5 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 3554522 0 0 0 357617 1433 0 0 20 0 3 0 5180970 3594194944 860743 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 877489 860743 3014 3035 0 867308 0
[pid=36121/tid=36123] ppid=36118 vsize=3509956 memory=87689 CPUtime=3590.25 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 3549978 0 0 0 357594 1431 0 0 20 0 3 0 5180973 3594194944 860743 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=3509956 memory=90766 CPUtime=0.02 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 134 0 0 0 1 1 0 0 20 0 3 0 5180973 3594194944 860743 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 3590.5 s
Current children cumulated vsize: 3509956 KiB
Current children cumulated memory: 3442972 KiB
[startup+3603 s]*
/proc/loadavg: 4.07 4.13 4.16 5/268 38365
/proc/meminfo: memFree=102954044/131524600 swapFree=131071996/131071996
[pid=36121] ppid=36118 vsize=3487340 memory=3420356 CPUtime=3590.7 cores=1,3
/proc/36121/stat : 36121 (fscip) S 36118 36121 31114 0 -1 1077936128 3555905 0 0 0 357637 1433 0 0 20 0 3 0 5180970 3571036160 855089 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
/proc/36121/statm: 871835 855089 3014 3035 0 861654 0
[pid=36121/tid=36123] ppid=36118 vsize=3487340 memory=-7378421781101634174 CPUtime=3590.45 cores=1,3
/proc/36121/task/36123/stat : 36123 (fscip) R 36118 36121 31114 0 -1 4194368 3551361 0 0 0 357614 1431 0 0 20 0 3 0 5180973 3571036160 855089 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
[pid=36121/tid=36124] ppid=36118 vsize=3487340 memory=-7161750856329951683 CPUtime=0.02 cores=1,3
/proc/36121/task/36124/stat : 36124 (fscip) S 36118 36121 31114 0 -1 1077936192 134 0 0 0 1 1 0 0 20 0 3 0 5180973 3571036160 855089 134679101440 4194304 16623229 140723122364080 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 41644032 140723122369558 140723122369674 140723122369674 140723122376688 0
Current children cumulated CPU time: 3590.7 s
Current children cumulated vsize: 3487340 KiB
Current children cumulated memory: 3420356 KiB
Child status: 0
Real time (s): 3603.09
CPU time (s): 3590.8
CPU user time (s): 3576.4
CPU system time (s): 14.4045
CPU usage (%): 99.659
Max. virtual memory (cumulated for all children) (KiB): 3664648
Max. memory (cumulated for all children) (KiB): 3597508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.4
system time used= 14.4045
maximum resident set size= 3597508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3556619
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= 10977
involuntary context switches= 5210
# summary of solver processes directly reported to runsolver:
# pid: 36121
# total CPU time (s): 3590.8
# total CPU user time (s): 3576.4
# total CPU system time (s): 14.4045
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1841 second user time and 16.9567 second system time
The end
Begin job on nodeC025 at 2024-07-31 02:30:11
IDJOB=4464503
IDBENCH=160378
IDSOLVER=3092
FILE ID=nodeC025/4464503-1722385811
RUNJOBID= nodeC025-1722378594-31128
SLURM_JOB_ID= 8249848
Free space on /tmp= 889792 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x80split.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-4464503-1722385811/watcher-4464503-1722385811 -o /tmp/evaluation-result-4464503-1722385811/solver-4464503-1722385811 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722378594-31128 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464503-1722385811.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 66026fe28787f3770fd653fb30d65540
RANDOM SEED=1390683433
nodeC025.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 : 3665.621
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 : 7000.10
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 : 3665.395
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.090
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 : 7000.10
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 : 3677.339
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.632
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 : 7000.10
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 : 3676.251
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.291
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 : 7000.10
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.447
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 101609500 kB
MemAvailable: 107949728 kB
Buffers: 100800 kB
Cached: 7013320 kB
SwapCached: 0 kB
Active: 489760 kB
Inactive: 28772844 kB
Active(anon): 1584 kB
Inactive(anon): 22168240 kB
Active(file): 488176 kB
Inactive(file): 6604604 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28208 kB
Writeback: 0 kB
AnonPages: 22147316 kB
Mapped: 125628 kB
Shmem: 21336 kB
KReclaimable: 174540 kB
Slab: 265076 kB
SReclaimable: 174540 kB
SUnreclaim: 90536 kB
KernelStack: 4316 kB
PageTables: 52916 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 14274440 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9792 kB
HardwareCorrupted: 0 kB
AnonHugePages: 7284736 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: 248532 kB
DirectMap2M: 11059200 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 889840 MiB
End job on nodeC025 at 2024-07-31 03:30:14