0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 24403968, getVmSize() = 24403968, SCIPgetMemUsed() = 2311269, SCIPgetMemTotal() = 2823893, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.01 c ** Estimated virtualMemUsedAtSolver = 18366464, getVmSize() = 30695424, SCIPgetMemUsed() = 5276275, SCIPgetMemTotal() = 8102355, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.01 c Original Problem :
0.00/0.01 c Problem name : instance-4448000-1721361283
0.00/0.01 c Variables : 481 (481 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 640
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 480 (480 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 240
0.00/0.01 c Constraints : Number
0.00/0.01 c linear : 240
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.07/5.16 c 5 2544 606 1 - 0.0000 -
10.16/10.23 c 10 13679 5860 1 - 0.0000 -
15.14/15.28 c 15 27893 11275 1 - 0.0000 -
20.22/20.33 c 20 41022 16876 1 - 0.0000 -
25.20/25.38 c 25 55041 22853 1 - 0.0000 -
30.28/30.43 c 30 70296 29240 1 - 0.0000 -
35.26/35.47 c 35 84938 35266 1 - 0.0000 -
40.35/40.52 c 41 99028 40324 1 - 0.0000 -
45.32/45.57 c 46 113377 45412 1 - 0.0000 -
50.41/50.62 c 51 126036 50121 1 - 0.0000 -
55.39/55.67 c 56 137589 55599 1 - 0.0000 -
60.46/60.72 c 61 150174 62446 1 - 0.0000 -
65.43/65.77 c 66 163570 69854 1 - 0.0000 -
70.51/70.82 c 71 177883 76710 1 - 0.0000 -
75.48/75.87 c 76 190333 81865 1 - 0.0000 -
80.56/80.92 c 81 200805 84716 1 - 0.0000 -
85.54/85.97 c 86 213386 90495 1 - 0.0000 -
90.62/91.02 c 91 226557 97458 1 - 0.0000 -
95.60/96.07 c 96 238494 101803 1 - 0.0000 -
100.67/101.13 c 101 251279 106837 1 - 0.0000 -
105.65/106.18 c 106 264268 113194 1 - 0.0000 -
110.72/111.22 c 111 277369 120196 1 - 0.0000 -
115.70/116.27 c 116 289242 126753 1 - 0.0000 -
120.78/121.32 c 121 300281 130454 1 - 0.0000 -
125.75/126.37 c 126 313179 136559 1 - 0.0000 -
130.82/131.41 c 131 325768 142994 1 - 0.0000 -
135.81/136.46 c 136 335177 149266 1 - 0.0000 -
140.88/141.52 c 142 345696 156316 1 - 0.0000 -
145.86/146.56 c 147 356652 162528 1 - 0.0000 -
150.93/151.61 c 152 366812 166828 1 - 0.0000 -
155.91/156.66 c 157 376962 169474 1 - 0.0000 -
160.99/161.71 c 162 388380 174277 1 - 0.0000 -
165.97/166.76 c 167 397534 181891 1 - 0.0000 -
171.05/171.81 c 172 408886 189287 1 - 0.0000 -
176.02/176.86 c 177 419413 194495 1 - 0.0000 -
181.11/181.91 c 182 429366 198315 1 - 0.0000 -
186.08/186.96 c 187 437460 200771 1 - 0.0000 -
191.17/192.01 c 192 447860 206034 1 - 0.0000 -
196.15/197.06 c 197 458816 213648 1 - 0.0000 -
201.23/202.11 c 202 471141 221482 1 - 0.0000 -
206.21/207.16 c 207 484248 228871 1 - 0.0000 -
211.29/212.21 c 212 498091 236198 1 - 0.0000 -
216.26/217.26 c 217 508604 238790 1 - 0.0000 -
221.35/222.31 c 222 517025 239829 1 - 0.0000 -
226.33/227.36 c 227 528040 247223 1 - 0.0000 -
231.41/232.41 c 232 538829 250672 1 - 0.0000 -
236.39/237.47 c 237 549145 255900 1 - 0.0000 -
241.46/242.51 c 243 558307 260493 1 - 0.0000 -
246.44/247.56 c 248 567253 264456 1 - 0.0000 -
251.53/252.61 c 253 577951 269476 1 - 0.0000 -
256.51/257.66 c 258 587244 274881 1 - 0.0000 -
261.59/262.71 c 263 598836 281152 1 - 0.0000 -
266.56/267.76 c 268 612190 288633 1 - 0.0000 -
271.65/272.81 c 273 625170 295824 1 - 0.0000 -
276.62/277.86 c 278 636068 301230 1 - 0.0000 -
281.70/282.91 c 283 646362 306460 1 - 0.0000 -
286.69/287.96 c 288 653896 308478 1 - 0.0000 -
291.78/293.01 c 293 659630 308522 1 - 0.0000 -
296.75/298.06 c 298 666731 310091 1 - 0.0000 -
301.84/303.11 c 303 678361 314773 1 - 0.0000 -
306.82/308.16 c 308 689670 320162 1 - 0.0000 -
311.90/313.21 c 313 699172 324426 1 - 0.0000 -
316.88/318.26 c 318 708402 329051 1 - 0.0000 -
321.96/323.31 c 323 718228 333816 1 - 0.0000 -
326.95/328.36 c 328 728125 338305 1 - 0.0000 -
332.03/333.41 c 333 736941 342277 1 - 0.0000 -
337.01/338.46 c 338 746533 346550 1 - 0.0000 -
342.10/343.52 c 344 754543 351198 1 - 0.0000 -
347.08/348.57 c 349 763159 358215 1 - 0.0000 -
352.15/353.61 c 354 771956 364021 1 - 0.0000 -
357.14/358.66 c 359 782064 368605 1 - 0.0000 -
362.23/363.71 c 364 793094 374417 1 - 0.0000 -
367.21/368.76 c 369 804149 379729 1 - 0.0000 -
372.29/373.81 c 374 814558 384893 1 - 0.0000 -
377.27/378.86 c 379 824554 389200 1 - 0.0000 -
382.35/383.91 c 384 832130 391061 1 - 0.0000 -
387.34/388.96 c 389 839950 393132 1 - 0.0000 -
392.42/394.01 c 394 847999 395324 1 - 0.0000 -
397.41/399.06 c 399 856682 398997 1 - 0.0000 -
402.49/404.12 c 404 866836 404082 1 - 0.0000 -
407.48/409.16 c 409 877716 409579 1 - 0.0000 -
412.55/414.21 c 414 888402 414788 1 - 0.0000 -
417.53/419.27 c 419 897274 420152 1 - 0.0000 -
422.61/424.31 c 424 907244 426469 1 - 0.0000 -
427.60/429.36 c 429 915636 430690 1 - 0.0000 -
432.68/434.41 c 434 922938 433468 1 - 0.0000 -
437.66/439.46 c 439 930946 438161 1 - 0.0000 -
442.74/444.51 c 445 941460 444775 1 - 0.0000 -
447.73/449.56 c 450 950895 449907 1 - 0.0000 -
452.81/454.61 c 455 960225 454522 1 - 0.0000 -
457.79/459.66 c 460 968861 457403 1 - 0.0000 -
462.87/464.71 c 465 977385 460983 1 - 0.0000 -
467.85/469.77 c 470 986497 466027 1 - 0.0000 -
472.94/474.81 c 475 995940 470731 1 - 0.0000 -
477.92/479.87 c 480 1005251 476053 1 - 0.0000 -
483.00/484.91 c 485 1014562 481215 1 - 0.0000 -
487.99/489.96 c 490 1023461 486028 1 - 0.0000 -
493.07/495.01 c 495 1033053 490241 1 - 0.0000 -
498.05/500.06 c 500 1043455 494945 1 - 0.0000 -
503.13/505.11 c 505 1053672 500675 1 - 0.0000 -
508.12/510.17 c 510 1062223 504634 1 - 0.0000 -
513.19/515.22 c 515 1070082 507687 1 - 0.0000 -
518.18/520.26 c 520 1078603 512028 1 - 0.0000 -
523.26/525.32 c 525 1087417 516654 1 - 0.0000 -
528.24/530.36 c 530 1096345 521818 1 - 0.0000 -
533.32/535.41 c 535 1103397 526014 1 - 0.0000 -
538.31/540.46 c 540 1111650 530404 1 - 0.0000 -
543.39/545.51 c 546 1120221 535532 1 - 0.0000 -
548.37/550.56 c 551 1129031 540410 1 - 0.0000 -
553.46/555.61 c 556 1136784 543596 1 - 0.0000 -
558.44/560.66 c 561 1143883 545886 1 - 0.0000 -
563.52/565.72 c 566 1151538 548895 1 - 0.0000 -
568.50/570.76 c 571 1159378 552644 1 - 0.0000 -
573.58/575.81 c 576 1165888 554962 1 - 0.0000 -
578.56/580.86 c 581 1172955 558775 1 - 0.0000 -
583.65/585.91 c 586 1180414 562371 1 - 0.0000 -
588.63/590.96 c 591 1188463 565301 1 - 0.0000 -
593.72/596.01 c 596 1195936 568099 1 - 0.0000 -
598.71/601.06 c 601 1203315 570529 1 - 0.0000 -
603.79/606.11 c 606 1211209 573340 1 - 0.0000 -
608.77/611.16 c 611 1218769 576944 1 - 0.0000 -
613.85/616.21 c 616 1225746 580575 1 - 0.0000 -
618.83/621.27 c 621 1232684 584645 1 - 0.0000 -
623.91/626.31 c 626 1238691 586654 1 - 0.0000 -
628.90/631.36 c 631 1244994 589291 1 - 0.0000 -
633.98/636.42 c 636 1251047 593158 1 - 0.0000 -
638.96/641.46 c 641 1257040 596392 1 - 0.0000 -
644.05/646.52 c 647 1262880 599045 1 - 0.0000 -
649.03/651.56 c 652 1268043 600791 1 - 0.0000 -
654.11/656.61 c 657 1275323 604367 1 - 0.0000 -
659.09/661.66 c 662 1282808 608367 1 - 0.0000 -
664.18/666.71 c 667 1289712 611571 1 - 0.0000 -
669.16/671.76 c 672 1296588 614989 1 - 0.0000 -
674.24/676.81 c 677 1302952 618444 1 - 0.0000 -
679.23/681.86 c 682 1310503 621913 1 - 0.0000 -
684.31/686.91 c 687 1317442 625132 1 - 0.0000 -
689.29/691.96 c 692 1324270 628484 1 - 0.0000 -
694.38/697.01 c 697 1330801 631035 1 - 0.0000 -
699.36/702.06 c 702 1337150 633388 1 - 0.0000 -
704.45/707.11 c 707 1343712 636420 1 - 0.0000 -
709.42/712.16 c 712 1350525 639820 1 - 0.0000 -
714.51/717.21 c 717 1356688 642580 1 - 0.0000 -
719.49/722.26 c 722 1363582 645999 1 - 0.0000 -
724.57/727.31 c 727 1370076 649483 1 - 0.0000 -
729.56/732.37 c 732 1374853 651611 1 - 0.0000 -
734.64/737.42 c 737 1380685 656377 1 - 0.0000 -
739.63/742.47 c 742 1386277 660576 1 - 0.0000 -
744.71/747.54 c 748 1391294 662981 1 - 0.0000 -
749.69/752.59 c 753 1396170 664881 1 - 0.0000 -
754.77/757.63 c 758 1400596 666442 1 - 0.0000 -
759.76/762.68 c 763 1405757 668418 1 - 0.0000 -
764.84/767.73 c 768 1410402 670067 1 - 0.0000 -
769.82/772.79 c 773 1416181 672037 1 - 0.0000 -
774.90/777.83 c 778 1421154 673296 1 - 0.0000 -
779.88/782.89 c 783 1425989 674726 1 - 0.0000 -
784.97/787.93 c 788 1430561 676281 1 - 0.0000 -
789.95/792.98 c 793 1437594 679824 1 - 0.0000 -
795.04/798.03 c 798 1444443 683369 1 - 0.0000 -
800.02/803.08 c 803 1450405 685756 1 - 0.0000 -
805.10/808.13 c 808 1456415 688620 1 - 0.0000 -
810.09/813.18 c 813 1461995 691493 1 - 0.0000 -
815.16/818.23 c 818 1468150 694474 1 - 0.0000 -
820.15/823.28 c 823 1474553 697560 1 - 0.0000 -
825.23/828.33 c 828 1481299 701068 1 - 0.0000 -
830.22/833.38 c 833 1487707 704019 1 - 0.0000 -
835.29/838.44 c 838 1494184 707572 1 - 0.0000 -
840.28/843.48 c 843 1500405 710017 1 - 0.0000 -
845.37/848.53 c 849 1507613 713678 1 - 0.0000 -
850.35/853.58 c 854 1514110 717126 1 - 0.0000 -
855.43/858.63 c 859 1518027 720233 1 - 0.0000 -
860.41/863.69 c 864 1523894 724037 1 - 0.0000 -
865.49/868.74 c 869 1529277 728593 1 - 0.0000 -
870.47/873.79 c 874 1535440 732480 1 - 0.0000 -
875.56/878.84 c 879 1540408 734451 1 - 0.0000 -
880.54/883.89 c 884 1546723 737983 1 - 0.0000 -
885.62/888.95 c 889 1553915 742066 1 - 0.0000 -
890.72/894.00 c 894 1559878 745703 1 - 0.0000 -
895.70/899.05 c 899 1565646 749682 1 - 0.0000 -
900.68/904.09 c 904 1571462 753733 1 - 0.0000 -
905.77/909.15 c 909 1577711 757924 1 - 0.0000 -
910.84/914.20 c 914 1583678 761957 1 - 0.0000 -
915.82/919.25 c 919 1589149 764913 1 - 0.0000 -
920.90/924.30 c 924 1594221 767563 1 - 0.0000 -
925.89/929.36 c 929 1598912 770086 1 - 0.0000 -
930.97/934.40 c 934 1604625 773536 1 - 0.0000 -
935.96/939.45 c 939 1611158 777014 1 - 0.0000 -
941.04/944.50 c 945 1616125 779347 1 - 0.0000 -
946.02/949.56 c 950 1620645 781187 1 - 0.0000 -
951.10/954.63 c 955 1624432 782519 1 - 0.0000 -
956.09/959.68 c 960 1628005 783661 1 - 0.0000 -
961.17/964.73 c 965 1631391 784753 1 - 0.0000 -
966.16/969.78 c 970 1634879 785778 1 - 0.0000 -
971.25/974.82 c 975 1638470 786261 1 - 0.0000 -
976.22/979.87 c 980 1642392 787060 1 - 0.0000 -
981.31/984.93 c 985 1645972 787798 1 - 0.0000 -
986.29/989.99 c 990 1649639 788805 1 - 0.0000 -
991.38/995.04 c 995 1653358 790060 1 - 0.0000 -
996.37/1000.09 c 1000 1656915 791064 1 - 0.0000 -
1001.45/1005.15 c 1005 1660464 792097 1 - 0.0000 -
1006.53/1010.20 c 1010 1663824 792859 1 - 0.0000 -
1011.51/1015.25 c 1015 1669515 795701 1 - 0.0000 -
1016.50/1020.29 c 1020 1676198 798792 1 - 0.0000 -
1021.57/1025.35 c 1025 1681754 801494 1 - 0.0000 -
1026.66/1030.40 c 1030 1687664 804579 1 - 0.0000 -
1031.64/1035.45 c 1035 1693723 807726 1 - 0.0000 -
1036.62/1040.49 c 1040 1699720 810834 1 - 0.0000 -
1041.70/1045.54 c 1046 1705388 813767 1 - 0.0000 -
1046.70/1050.59 c 1051 1711328 816731 1 - 0.0000 -
1051.77/1055.65 c 1056 1717041 819739 1 - 0.0000 -
1056.86/1060.70 c 1061 1722525 822275 1 - 0.0000 -
1061.84/1065.74 c 1066 1727995 825068 1 - 0.0000 -
1066.83/1070.79 c 1071 1733077 827411 1 - 0.0000 -
1071.91/1075.84 c 1076 1738022 829937 1 - 0.0000 -
1076.90/1080.89 c 1081 1742605 832206 1 - 0.0000 -
1081.98/1085.94 c 1086 1747632 834974 1 - 0.0000 -
1087.06/1091.00 c 1091 1752007 836566 1 - 0.0000 -
1092.05/1096.04 c 1096 1757019 838524 1 - 0.0000 -
1097.03/1101.09 c 1101 1762001 840204 1 - 0.0000 -
1102.11/1106.14 c 1106 1766955 842606 1 - 0.0000 -
1107.09/1111.19 c 1111 1772022 844931 1 - 0.0000 -
1112.17/1116.25 c 1116 1776481 846826 1 - 0.0000 -
1117.26/1121.31 c 1121 1781164 848950 1 - 0.0000 -
1122.24/1126.37 c 1126 1785566 850739 1 - 0.0000 -
1127.32/1131.42 c 1131 1790021 852738 1 - 0.0000 -
1132.30/1136.49 c 1136 1794858 854986 1 - 0.0000 -
1137.38/1141.53 c 1142 1799529 857330 1 - 0.0000 -
1142.37/1146.58 c 1147 1804007 859281 1 - 0.0000 -
1147.45/1151.63 c 1152 1809135 862090 1 - 0.0000 -
1152.43/1156.68 c 1157 1813321 863995 1 - 0.0000 -
1157.52/1161.73 c 1162 1817880 865963 1 - 0.0000 -
1162.51/1166.78 c 1167 1823396 869144 1 - 0.0000 -
1167.58/1171.83 c 1172 1827524 870403 1 - 0.0000 -
1172.57/1176.88 c 1177 1832028 872356 1 - 0.0000 -
1177.64/1181.95 c 1182 1836154 873631 1 - 0.0000 -
1182.63/1186.99 c 1187 1839700 874996 1 - 0.0000 -
1187.72/1192.04 c 1192 1845323 879291 1 - 0.0000 -
1192.70/1197.09 c 1197 1851347 883348 1 - 0.0000 -
1197.78/1202.14 c 1202 1857616 887876 1 - 0.0000 -
1202.76/1207.19 c 1207 1864001 891994 1 - 0.0000 -
1207.83/1212.24 c 1212 1869525 893628 1 - 0.0000 -
1212.82/1217.29 c 1217 1873331 893704 1 - 0.0000 -
1217.90/1222.34 c 1222 1879260 896389 1 - 0.0000 -
1222.99/1227.40 c 1227 1885306 899271 1 - 0.0000 -
1227.97/1232.44 c 1232 1891765 902740 1 - 0.0000 -
1233.05/1237.50 c 1238 1896902 903755 1 - 0.0000 -
1238.03/1242.54 c 1243 1901485 905208 1 - 0.0000 -
1243.01/1247.59 c 1248 1906027 906723 1 - 0.0000 -
1248.09/1252.65 c 1253 1912184 909632 1 - 0.0000 -
1253.07/1257.69 c 1258 1917395 913721 1 - 0.0000 -
1258.16/1262.74 c 1263 1923718 918223 1 - 0.0000 -
1263.14/1267.79 c 1268 1929418 921488 1 - 0.0000 -
1268.22/1272.84 c 1273 1934844 924172 1 - 0.0000 -
1273.20/1277.89 c 1278 1939871 926125 1 - 0.0000 -
1278.28/1282.94 c 1283 1945164 928207 1 - 0.0000 -
1283.27/1287.99 c 1288 1950084 929749 1 - 0.0000 -
1288.35/1293.04 c 1293 1954850 931259 1 - 0.0000 -
1293.33/1298.09 c 1298 1959974 933145 1 - 0.0000 -
1298.41/1303.14 c 1303 1966750 936676 1 - 0.0000 -
1303.40/1308.19 c 1308 1973637 940154 1 - 0.0000 -
1308.47/1313.25 c 1313 1979907 944037 1 - 0.0000 -
1313.46/1318.29 c 1318 1987375 949010 1 - 0.0000 -
1318.54/1323.34 c 1323 1994011 952898 1 - 0.0000 -
1323.52/1328.39 c 1328 2001331 956548 1 - 0.0000 -
1328.60/1333.44 c 1333 2007684 959118 1 - 0.0000 -
1333.59/1338.49 c 1338 2015411 963694 1 - 0.0000 -
1338.67/1343.55 c 1344 2022258 967349 1 - 0.0000 -
1343.65/1348.59 c 1349 2029273 971895 1 - 0.0000 -
1348.73/1353.64 c 1354 2035559 974528 1 - 0.0000 -
1353.71/1358.69 c 1359 2043205 979171 1 - 0.0000 -
1358.79/1363.74 c 1364 2050777 983706 1 - 0.0000 -
1363.78/1368.79 c 1369 2057847 986608 1 - 0.0000 -
1368.86/1373.85 c 1374 2063883 988630 1 - 0.0000 -
1373.84/1378.89 c 1379 2070535 991830 1 - 0.0000 -
1378.93/1383.94 c 1384 2077368 994969 1 - 0.0000 -
1383.91/1389.00 c 1389 2085096 999675 1 - 0.0000 -
1388.99/1394.04 c 1394 2091952 1003338 1 - 0.0000 -
1393.98/1399.09 c 1399 2098462 1005965 1 - 0.0000 -
1399.05/1404.14 c 1404 2106571 1009700 1 - 0.0000 -
1404.04/1409.20 c 1409 2112780 1011540 1 - 0.0000 -
1409.12/1414.24 c 1414 2118686 1013070 1 - 0.0000 -
1414.20/1419.30 c 1419 2124923 1016656 1 - 0.0000 -
1419.18/1424.34 c 1424 2131594 1020836 1 - 0.0000 -
1424.17/1429.39 c 1429 2139271 1025244 1 - 0.0000 -
1429.25/1434.45 c 1434 2145953 1027553 1 - 0.0000 -
1434.23/1439.49 c 1440 2152271 1029322 1 - 0.0000 -
1439.31/1444.55 c 1445 2158135 1030385 1 - 0.0000 -
1444.29/1449.59 c 1450 2165888 1033511 1 - 0.0000 -
1449.37/1454.64 c 1455 2174148 1037309 1 - 0.0000 -
1454.36/1459.69 c 1460 2182074 1041075 1 - 0.0000 -
1459.44/1464.74 c 1465 2190337 1044841 1 - 0.0000 -
1464.42/1469.79 c 1470 2198701 1048840 1 - 0.0000 -
1469.51/1474.84 c 1475 2206964 1052798 1 - 0.0000 -
1474.48/1479.89 c 1480 2214583 1056848 1 - 0.0000 -
1479.57/1484.94 c 1485 2222084 1060958 1 - 0.0000 -
1484.56/1489.99 c 1490 2230257 1064990 1 - 0.0000 -
1489.64/1495.04 c 1495 2237520 1068746 1 - 0.0000 -
1494.62/1500.09 c 1500 2245150 1074013 1 - 0.0000 -
1499.70/1505.15 c 1505 2253405 1079039 1 - 0.0000 -
1504.69/1510.19 c 1510 2260027 1081564 1 - 0.0000 -
1509.76/1515.24 c 1515 2267496 1085914 1 - 0.0000 -
1514.75/1520.29 c 1520 2275143 1089246 1 - 0.0000 -
1519.83/1525.34 c 1525 2282846 1093008 1 - 0.0000 -
1524.82/1530.39 c 1530 2290201 1096898 1 - 0.0000 -
1529.89/1535.44 c 1535 2297799 1101170 1 - 0.0000 -
1534.88/1540.49 c 1540 2304840 1105220 1 - 0.0000 -
1539.97/1545.54 c 1546 2312255 1109002 1 - 0.0000 -
1544.95/1550.59 c 1551 2319701 1113337 1 - 0.0000 -
1550.03/1555.64 c 1556 2326171 1116939 1 - 0.0000 -
1555.01/1560.69 c 1561 2334350 1121217 1 - 0.0000 -
1560.10/1565.74 c 1566 2339394 1121422 1 - 0.0000 -
1565.08/1570.79 c 1571 2346067 1125276 1 - 0.0000 -
1570.16/1575.84 c 1576 2352231 1127881 1 - 0.0000 -
1575.14/1580.89 c 1581 2358180 1130496 1 - 0.0000 -
1580.22/1585.95 c 1586 2363772 1132425 1 - 0.0000 -
1585.21/1590.99 c 1591 2370212 1135291 1 - 0.0000 -
1590.30/1596.04 c 1596 2375623 1138321 1 - 0.0000 -
1595.28/1601.09 c 1601 2383750 1142544 1 - 0.0000 -
1600.36/1606.14 c 1606 2390516 1145706 1 - 0.0000 -
1605.44/1611.20 c 1611 2397252 1148009 1 - 0.0000 -
1610.42/1616.24 c 1616 2401397 1147991 1 - 0.0000 -
1615.51/1621.30 c 1621 2406843 1150661 1 - 0.0000 -
1620.49/1626.35 c 1626 2413810 1154630 1 - 0.0000 -
1625.57/1631.40 c 1631 2420833 1158669 1 - 0.0000 -
1630.56/1636.45 c 1636 2426108 1160889 1 - 0.0000 -
1635.64/1641.50 c 1642 2430666 1162417 1 - 0.0000 -
1640.62/1646.55 c 1647 2434947 1163457 1 - 0.0000 -
1645.71/1651.60 c 1652 2440528 1166020 1 - 0.0000 -
1650.70/1656.65 c 1657 2446720 1168984 1 - 0.0000 -
1655.78/1661.70 c 1662 2453048 1172195 1 - 0.0000 -
1660.76/1666.75 c 1667 2458862 1175311 1 - 0.0000 -
1665.85/1671.80 c 1672 2463147 1176132 1 - 0.0000 -
1670.82/1676.86 c 1677 2469382 1178719 1 - 0.0000 -
1675.91/1681.91 c 1682 2474552 1180670 1 - 0.0000 -
1680.89/1686.95 c 1687 2480081 1183069 1 - 0.0000 -
1685.97/1692.00 c 1692 2485665 1185835 1 - 0.0000 -
1690.96/1697.05 c 1697 2492569 1188992 1 - 0.0000 -
1696.04/1702.10 c 1702 2498027 1190922 1 - 0.0000 -
1701.02/1707.15 c 1707 2502694 1192199 1 - 0.0000 -
1706.10/1712.20 c 1712 2508028 1194324 1 - 0.0000 -
1711.08/1717.25 c 1717 2513880 1196722 1 - 0.0000 -
1716.17/1722.31 c 1722 2519351 1198870 1 - 0.0000 -
1721.15/1727.36 c 1727 2524043 1200103 1 - 0.0000 -
1726.24/1732.42 c 1732 2530093 1202924 1 - 0.0000 -
1731.22/1737.46 c 1737 2536579 1205836 1 - 0.0000 -
1736.30/1742.51 c 1743 2541195 1207066 1 - 0.0000 -
1741.28/1747.56 c 1748 2547128 1209570 1 - 0.0000 -
1746.37/1752.62 c 1753 2551577 1210576 1 - 0.0000 -
1751.36/1757.66 c 1758 2557394 1212948 1 - 0.0000 -
1756.44/1762.71 c 1763 2563202 1215245 1 - 0.0000 -
1761.42/1767.77 c 1768 2568165 1217152 1 - 0.0000 -
1766.50/1772.81 c 1773 2573834 1219866 1 - 0.0000 -
1771.48/1777.86 c 1778 2579082 1221865 1 - 0.0000 -
1776.57/1782.92 c 1783 2584199 1224295 1 - 0.0000 -
1781.55/1787.96 c 1788 2589454 1226616 1 - 0.0000 -
1786.64/1793.01 c 1793 2595337 1229047 1 - 0.0000 -
1791.62/1798.06 c 1798 2601834 1231611 1 - 0.0000 -
1796.70/1803.11 c 1803 2608367 1234387 1 - 0.0000 -
1801.69/1808.16 c 1808 2614474 1237101 1 - 0.0000 -
1806.77/1813.22 c 1813 2619860 1239316 1 - 0.0000 -
1811.75/1818.26 c 1818 2625156 1241835 1 - 0.0000 -
1816.83/1823.31 c 1823 2630462 1244742 1 - 0.0000 -
1821.82/1828.36 c 1828 2635183 1247365 1 - 0.0000 -
1826.90/1833.42 c 1833 2640138 1249762 1 - 0.0000 -
1831.88/1838.46 c 1838 2643868 1251225 1 - 0.0000 -
1836.97/1843.51 c 1844 2648996 1253701 1 - 0.0000 -
1841.95/1848.56 c 1849 2653778 1255740 1 - 0.0000 -
1847.03/1853.61 c 1854 2658987 1257895 1 - 0.0000 -
1852.02/1858.66 c 1859 2663952 1259996 1 - 0.0000 -
1857.10/1863.72 c 1864 2668867 1262380 1 - 0.0000 -
1862.08/1868.78 c 1869 2673372 1264302 1 - 0.0000 -
1867.17/1873.82 c 1874 2677872 1266089 1 - 0.0000 -
1872.15/1878.87 c 1879 2683258 1268762 1 - 0.0000 -
1877.23/1883.92 c 1884 2687634 1270226 1 - 0.0000 -
1882.22/1888.98 c 1889 2692779 1272857 1 - 0.0000 -
1887.31/1894.03 c 1894 2697762 1275091 1 - 0.0000 -
1892.29/1899.08 c 1899 2702753 1277958 1 - 0.0000 -
1897.37/1904.13 c 1904 2707138 1279752 1 - 0.0000 -
1902.36/1909.18 c 1909 2711785 1281413 1 - 0.0000 -
1907.43/1914.23 c 1914 2717183 1283913 1 - 0.0000 -
1912.42/1919.29 c 1919 2722001 1286057 1 - 0.0000 -
1917.50/1924.34 c 1924 2727053 1288437 1 - 0.0000 -
1922.49/1929.39 c 1929 2733102 1291417 1 - 0.0000 -
1927.57/1934.44 c 1934 2737625 1293177 1 - 0.0000 -
1932.55/1939.48 c 1939 2743585 1296399 1 - 0.0000 -
1937.63/1944.53 c 1945 2748504 1298389 1 - 0.0000 -
1942.61/1949.58 c 1950 2752273 1299619 1 - 0.0000 -
1947.70/1954.64 c 1955 2757089 1302162 1 - 0.0000 -
1952.79/1959.70 c 1960 2761698 1304250 1 - 0.0000 -
1957.76/1964.76 c 1965 2765583 1306088 1 - 0.0000 -
1962.85/1969.80 c 1970 2771205 1309141 1 - 0.0000 -
1967.84/1974.86 c 1975 2775664 1310821 1 - 0.0000 -
1972.92/1979.90 c 1980 2779076 1311870 1 - 0.0000 -
1977.90/1984.95 c 1985 2783187 1313824 1 - 0.0000 -
1983.00/1990.02 c 1990 2787735 1315943 1 - 0.0000 -
1987.97/1995.07 c 1995 2792101 1318082 1 - 0.0000 -
1993.06/2000.12 c 2000 2796970 1320658 1 - 0.0000 -
1998.04/2005.19 c 2005 2800332 1321816 1 - 0.0000 -
2003.12/2010.25 c 2010 2803969 1323203 1 - 0.0000 -
2008.10/2015.29 c 2015 2808844 1325652 1 - 0.0000 -
2013.19/2020.35 c 2020 2813102 1327522 1 - 0.0000 -
2018.18/2025.39 c 2025 2818344 1330493 1 - 0.0000 -
2023.25/2030.44 c 2030 2820953 1330831 1 - 0.0000 -
2028.24/2035.50 c 2036 2824502 1332254 1 - 0.0000 -
2033.33/2040.55 c 2041 2828302 1333830 1 - 0.0000 -
2038.31/2045.59 c 2046 2832183 1335679 1 - 0.0000 -
2043.39/2050.64 c 2051 2837073 1338486 1 - 0.0000 -
2048.38/2055.69 c 2056 2841369 1340563 1 - 0.0000 -
2053.46/2060.74 c 2061 2844494 1341397 1 - 0.0000 -
2058.44/2065.79 c 2066 2848625 1343108 1 - 0.0000 -
2063.53/2070.84 c 2071 2853230 1345527 1 - 0.0000 -
2068.61/2075.90 c 2076 2857167 1347709 1 - 0.0000 -
2073.59/2080.95 c 2081 2861270 1349957 1 - 0.0000 -
2078.68/2086.01 c 2086 2865616 1352359 1 - 0.0000 -
2083.66/2091.06 c 2091 2868284 1353123 1 - 0.0000 -
2088.75/2096.10 c 2096 2872359 1355638 1 - 0.0000 -
2093.73/2101.15 c 2101 2876317 1357440 1 - 0.0000 -
2098.81/2106.21 c 2106 2879692 1359193 1 - 0.0000 -
2103.80/2111.25 c 2111 2884078 1361958 1 - 0.0000 -
2108.88/2116.31 c 2116 2888447 1364465 1 - 0.0000 -
2113.86/2121.35 c 2121 2892164 1365772 1 - 0.0000 -
2118.95/2126.42 c 2126 2896096 1367648 1 - 0.0000 -
2123.93/2131.47 c 2131 2900101 1369517 1 - 0.0000 -
2129.02/2136.53 c 2137 2904321 1371765 1 - 0.0000 -
2134.00/2141.57 c 2142 2908724 1374089 1 - 0.0000 -
2139.08/2146.62 c 2147 2913182 1376522 1 - 0.0000 -
2144.07/2151.68 c 2152 2917977 1379103 1 - 0.0000 -
2149.15/2156.74 c 2157 2923147 1381654 1 - 0.0000 -
2154.13/2161.79 c 2162 2926913 1382665 1 - 0.0000 -
2159.22/2166.84 c 2167 2929960 1383247 1 - 0.0000 -
2164.20/2171.88 c 2172 2932285 1383639 1 - 0.0000 -
2169.29/2176.93 c 2177 2934425 1383800 1 - 0.0000 -
2174.27/2181.99 c 2182 2937842 1385124 1 - 0.0000 -
2179.36/2187.04 c 2187 2943029 1387994 1 - 0.0000 -
2184.34/2192.10 c 2192 2949005 1391005 1 - 0.0000 -
2189.43/2197.14 c 2197 2953141 1391614 1 - 0.0000 -
2194.41/2202.19 c 2202 2958811 1394328 1 - 0.0000 -
2199.49/2207.25 c 2207 2963021 1396415 1 - 0.0000 -
2204.47/2212.29 c 2212 2967418 1398415 1 - 0.0000 -
2209.56/2217.34 c 2217 2971689 1400321 1 - 0.0000 -
2214.54/2222.39 c 2222 2974866 1401263 1 - 0.0000 -
2219.62/2227.45 c 2227 2978032 1402170 1 - 0.0000 -
2224.61/2232.49 c 2232 2981862 1403844 1 - 0.0000 -
2229.70/2237.54 c 2238 2985762 1405386 1 - 0.0000 -
2234.78/2242.60 c 2243 2989386 1406851 1 - 0.0000 -
2239.76/2247.65 c 2248 2993492 1408838 1 - 0.0000 -
2244.85/2252.72 c 2253 2997158 1410535 1 - 0.0000 -
2249.83/2257.77 c 2258 3001264 1412246 1 - 0.0000 -
2254.91/2262.82 c 2263 3004509 1413296 1 - 0.0000 -
2259.90/2267.87 c 2268 3008523 1415098 1 - 0.0000 -
2264.99/2272.94 c 2273 3012208 1416710 1 - 0.0000 -
2269.96/2278.00 c 2278 3016359 1418706 1 - 0.0000 -
2275.06/2283.05 c 2283 3019767 1419872 1 - 0.0000 -
2280.14/2288.11 c 2288 3023664 1421751 1 - 0.0000 -
2285.12/2293.16 c 2293 3027853 1423679 1 - 0.0000 -
2290.20/2298.21 c 2298 3031707 1425090 1 - 0.0000 -
2295.19/2303.25 c 2303 3035563 1427060 1 - 0.0000 -
2300.27/2308.32 c 2308 3039549 1428974 1 - 0.0000 -
2305.25/2313.37 c 2313 3043379 1430699 1 - 0.0000 -
2310.34/2318.41 c 2318 3047483 1432703 1 - 0.0000 -
2315.32/2323.46 c 2323 3051897 1435079 1 - 0.0000 -
2320.40/2328.51 c 2329 3056184 1436346 1 - 0.0000 -
2325.39/2333.56 c 2334 3060778 1438146 1 - 0.0000 -
2330.47/2338.61 c 2339 3064928 1440268 1 - 0.0000 -
2335.46/2343.67 c 2344 3068512 1441489 1 - 0.0000 -
2340.54/2348.72 c 2349 3072666 1443897 1 - 0.0000 -
2345.52/2353.76 c 2354 3076386 1445713 1 - 0.0000 -
2350.61/2358.81 c 2359 3080489 1447430 1 - 0.0000 -
2355.59/2363.87 c 2364 3084843 1449677 1 - 0.0000 -
2360.68/2368.92 c 2369 3088756 1451224 1 - 0.0000 -
2365.65/2373.96 c 2374 3092593 1452920 1 - 0.0000 -
2370.74/2379.03 c 2379 3096855 1454921 1 - 0.0000 -
2375.72/2384.07 c 2384 3101163 1456966 1 - 0.0000 -
2380.81/2389.12 c 2389 3105306 1459047 1 - 0.0000 -
2385.79/2394.18 c 2394 3109306 1460754 1 - 0.0000 -
2390.87/2399.22 c 2399 3113150 1462353 1 - 0.0000 -
2395.86/2404.27 c 2404 3117568 1464427 1 - 0.0000 -
2400.94/2409.33 c 2409 3121743 1466419 1 - 0.0000 -
2405.93/2414.37 c 2414 3125822 1468362 1 - 0.0000 -
2411.01/2419.42 c 2419 3129517 1469952 1 - 0.0000 -
2416.09/2424.50 c 2425 3133340 1471642 1 - 0.0000 -
2421.08/2429.55 c 2430 3137600 1473586 1 - 0.0000 -
2426.16/2434.61 c 2435 3141762 1475663 1 - 0.0000 -
2431.14/2439.65 c 2440 3145856 1477707 1 - 0.0000 -
2436.23/2444.71 c 2445 3149832 1479197 1 - 0.0000 -
2441.21/2449.75 c 2450 3153618 1480946 1 - 0.0000 -
2446.30/2454.80 c 2455 3157543 1482818 1 - 0.0000 -
2451.28/2459.86 c 2460 3161872 1484606 1 - 0.0000 -
2456.36/2464.91 c 2465 3165712 1486308 1 - 0.0000 -
2461.34/2469.95 c 2470 3169458 1488032 1 - 0.0000 -
2466.42/2475.00 c 2475 3173417 1489959 1 - 0.0000 -
2471.40/2480.05 c 2480 3176572 1491341 1 - 0.0000 -
2476.48/2485.10 c 2485 3179988 1492878 1 - 0.0000 -
2481.56/2490.20 c 2490 3182833 1494987 1 - 0.0000 -
2486.53/2495.24 c 2495 3186471 1496738 1 - 0.0000 -
2491.51/2500.29 c 2500 3190897 1498767 1 - 0.0000 -
2496.59/2505.35 c 2505 3195404 1500949 1 - 0.0000 -
2501.57/2510.39 c 2510 3199218 1502503 1 - 0.0000 -
2506.64/2515.44 c 2515 3202807 1504036 1 - 0.0000 -
2511.73/2520.50 c 2521 3206048 1505484 1 - 0.0000 -
2516.71/2525.56 c 2526 3209084 1506024 1 - 0.0000 -
2521.79/2530.61 c 2531 3211675 1506395 1 - 0.0000 -
2526.77/2535.67 c 2536 3213844 1506602 1 - 0.0000 -
2531.85/2540.72 c 2541 3215748 1506926 1 - 0.0000 -
2536.92/2545.80 c 2546 3219300 1508366 1 - 0.0000 -
2541.90/2550.85 c 2551 3222962 1510033 1 - 0.0000 -
2546.98/2555.90 c 2556 3226875 1511702 1 - 0.0000 -
2551.96/2560.95 c 2561 3230343 1513196 1 - 0.0000 -
2557.05/2566.00 c 2566 3233847 1514942 1 - 0.0000 -
2562.03/2571.06 c 2571 3236809 1516191 1 - 0.0000 -
2567.11/2576.12 c 2576 3239591 1517742 1 - 0.0000 -
2572.08/2581.18 c 2581 3243175 1520179 1 - 0.0000 -
2577.16/2586.23 c 2586 3246818 1522816 1 - 0.0000 -
2582.14/2591.29 c 2591 3249951 1524618 1 - 0.0000 -
2587.21/2596.34 c 2596 3252634 1525592 1 - 0.0000 -
2592.19/2601.39 c 2601 3256070 1527811 1 - 0.0000 -
2597.27/2606.43 c 2606 3259667 1529869 1 - 0.0000 -
2602.25/2611.48 c 2611 3263078 1531781 1 - 0.0000 -
2607.33/2616.54 c 2617 3267149 1533782 1 - 0.0000 -
2612.41/2621.60 c 2622 3270136 1535017 1 - 0.0000 -
2617.39/2626.64 c 2627 3272553 1535950 1 - 0.0000 -
2622.37/2631.69 c 2632 3275088 1537023 1 - 0.0000 -
2627.45/2636.75 c 2637 3277257 1537360 1 - 0.0000 -
2632.53/2641.81 c 2642 3279034 1537344 1 - 0.0000 -
2637.51/2646.86 c 2647 3281012 1537588 1 - 0.0000 -
2642.59/2651.91 c 2652 3283292 1538318 1 - 0.0000 -
2647.57/2656.95 c 2657 3285244 1538727 1 - 0.0000 -
2652.65/2662.01 c 2662 3287139 1539159 1 - 0.0000 -
2657.63/2667.06 c 2667 3289172 1539739 1 - 0.0000 -
2662.71/2672.11 c 2672 3292779 1541405 1 - 0.0000 -
2667.69/2677.15 c 2677 3296431 1543173 1 - 0.0000 -
2672.77/2682.20 c 2682 3299838 1544666 1 - 0.0000 -
2677.74/2687.26 c 2687 3302982 1545609 1 - 0.0000 -
2682.82/2692.31 c 2692 3305866 1546549 1 - 0.0000 -
2687.80/2697.37 c 2697 3309193 1548418 1 - 0.0000 -
2692.88/2702.43 c 2702 3312235 1550711 1 - 0.0000 -
2697.85/2707.48 c 2707 3315303 1553242 1 - 0.0000 -
2702.94/2712.54 c 2713 3318413 1554904 1 - 0.0000 -
2707.92/2717.59 c 2718 3321975 1556901 1 - 0.0000 -
2713.00/2722.63 c 2723 3325697 1559156 1 - 0.0000 -
2717.97/2727.69 c 2728 3329092 1561191 1 - 0.0000 -
2723.05/2732.73 c 2733 3332275 1563107 1 - 0.0000 -
2728.03/2737.79 c 2738 3335626 1564391 1 - 0.0000 -
2733.11/2742.83 c 2743 3338405 1565395 1 - 0.0000 -
2738.09/2747.88 c 2748 3341146 1566226 1 - 0.0000 -
2743.17/2752.94 c 2753 3343697 1566916 1 - 0.0000 -
2748.15/2757.99 c 2758 3346029 1567530 1 - 0.0000 -
2753.23/2763.05 c 2763 3348705 1568087 1 - 0.0000 -
2758.22/2768.09 c 2768 3350951 1568340 1 - 0.0000 -
2763.30/2773.15 c 2773 3352836 1568321 1 - 0.0000 -
2768.37/2778.21 c 2778 3355032 1568673 1 - 0.0000 -
2773.36/2783.26 c 2783 3356992 1568899 1 - 0.0000 -
2778.43/2788.30 c 2788 3359819 1569979 1 - 0.0000 -
2783.41/2793.35 c 2793 3363541 1571589 1 - 0.0000 -
2788.48/2798.41 c 2798 3367038 1572938 1 - 0.0000 -
2793.47/2803.47 c 2803 3370265 1574395 1 - 0.0000 -
2798.55/2808.51 c 2809 3373295 1575582 1 - 0.0000 -
2803.53/2813.58 c 2814 3376703 1577255 1 - 0.0000 -
2808.60/2818.63 c 2819 3379818 1578540 1 - 0.0000 -
2813.59/2823.69 c 2824 3383449 1580400 1 - 0.0000 -
2818.67/2828.74 c 2829 3386584 1581934 1 - 0.0000 -
2823.64/2833.78 c 2834 3389636 1583101 1 - 0.0000 -
2828.72/2838.84 c 2839 3393220 1584738 1 - 0.0000 -
2833.70/2843.89 c 2844 3396718 1586997 1 - 0.0000 -
2838.78/2848.94 c 2849 3400314 1588871 1 - 0.0000 -
2843.76/2853.99 c 2854 3403595 1590386 1 - 0.0000 -
2848.85/2859.05 c 2859 3406141 1591179 1 - 0.0000 -
2853.83/2864.10 c 2864 3408223 1591526 1 - 0.0000 -
2858.90/2869.15 c 2869 3411076 1592756 1 - 0.0000 -
2863.97/2874.20 c 2874 3414375 1594196 1 - 0.0000 -
2868.95/2879.26 c 2879 3417247 1595107 1 - 0.0000 -
2874.04/2884.34 c 2884 3419899 1596833 1 - 0.0000 -
2879.01/2889.39 c 2889 3423315 1598779 1 - 0.0000 -
2884.09/2894.44 c 2894 3426742 1600724 1 - 0.0000 -
2889.17/2899.51 c 2900 3430275 1602676 1 - 0.0000 -
2894.15/2904.55 c 2905 3433567 1603990 1 - 0.0000 -
2899.23/2909.60 c 2910 3436901 1604796 1 - 0.0000 -
2904.21/2914.66 c 2915 3439748 1605445 1 - 0.0000 -
2909.29/2919.70 c 2920 3442698 1606377 1 - 0.0000 -
2914.27/2924.75 c 2925 3445616 1607270 1 - 0.0000 -
2919.35/2929.80 c 2930 3449683 1609451 1 - 0.0000 -
2924.33/2934.86 c 2935 3453307 1611573 1 - 0.0000 -
2929.40/2939.91 c 2940 3456428 1613292 1 - 0.0000 -
2934.39/2944.96 c 2945 3458875 1614161 1 - 0.0000 -
2939.47/2950.02 c 2950 3461187 1614858 1 - 0.0000 -
2944.45/2955.06 c 2955 3464435 1616426 1 - 0.0000 -
2949.53/2960.11 c 2960 3468158 1618125 1 - 0.0000 -
2954.51/2965.16 c 2965 3471813 1619716 1 - 0.0000 -
2959.59/2970.21 c 2970 3475769 1621856 1 - 0.0000 -
2964.56/2975.26 c 2975 3479733 1623788 1 - 0.0000 -
2969.64/2980.31 c 2980 3483506 1625770 1 - 0.0000 -
2974.62/2985.38 c 2985 3486759 1627075 1 - 0.0000 -
2979.70/2990.47 c 2990 3489651 1628537 1 - 0.0000 -
2984.78/2995.53 c 2996 3492897 1630103 1 - 0.0000 -
2989.76/3000.57 c 3001 3496029 1631594 1 - 0.0000 -
2994.84/3005.62 c 3006 3499216 1632992 1 - 0.0000 -
2999.82/3010.69 c 3011 3502792 1634682 1 - 0.0000 -
3004.89/3015.73 c 3016 3505798 1636194 1 - 0.0000 -
3009.98/3020.81 c 3021 3508190 1638158 1 - 0.0000 -
3014.95/3025.87 c 3026 3511574 1640594 1 - 0.0000 -
3020.03/3030.93 c 3031 3515379 1643005 1 - 0.0000 -
3025.01/3035.97 c 3036 3518618 1644590 1 - 0.0000 -
3030.10/3041.04 c 3041 3522036 1646269 1 - 0.0000 -
3035.07/3046.08 c 3046 3525667 1648483 1 - 0.0000 -
3040.16/3051.13 c 3051 3529172 1650477 1 - 0.0000 -
3045.23/3056.20 c 3056 3532315 1652102 1 - 0.0000 -
3050.21/3061.25 c 3061 3534867 1653342 1 - 0.0000 -
3055.29/3066.30 c 3066 3537559 1654697 1 - 0.0000 -
3060.27/3071.35 c 3071 3540304 1656060 1 - 0.0000 -
3065.35/3076.40 c 3076 3543242 1657011 1 - 0.0000 -
3070.32/3081.44 c 3081 3545772 1657615 1 - 0.0000 -
3075.30/3086.50 c 3086 3548093 1657986 1 - 0.0000 -
3080.39/3091.55 c 3092 3550584 1658585 1 - 0.0000 -
3085.47/3096.60 c 3097 3552893 1659098 1 - 0.0000 -
3090.45/3101.66 c 3102 3555341 1659618 1 - 0.0000 -
3095.53/3106.71 c 3107 3557657 1660070 1 - 0.0000 -
3100.51/3111.76 c 3112 3560393 1660628 1 - 0.0000 -
3105.58/3116.81 c 3117 3563427 1662094 1 - 0.0000 -
3110.57/3121.86 c 3122 3567034 1663768 1 - 0.0000 -
3115.64/3126.91 c 3127 3570797 1665535 1 - 0.0000 -
3120.62/3131.96 c 3132 3574605 1667305 1 - 0.0000 -
3125.71/3137.02 c 3137 3578561 1669328 1 - 0.0000 -
3130.69/3142.06 c 3142 3582507 1671236 1 - 0.0000 -
3135.77/3147.11 c 3147 3585766 1672588 1 - 0.0000 -
3140.74/3152.16 c 3152 3589041 1674206 1 - 0.0000 -
3145.82/3157.23 c 3157 3592626 1675882 1 - 0.0000 -
3150.80/3162.28 c 3162 3596469 1677724 1 - 0.0000 -
3155.88/3167.33 c 3167 3599739 1679407 1 - 0.0000 -
3160.86/3172.37 c 3172 3603047 1680916 1 - 0.0000 -
3165.94/3177.43 c 3177 3606324 1682397 1 - 0.0000 -
3170.92/3182.48 c 3182 3609674 1683907 1 - 0.0000 -
3175.99/3187.52 c 3188 3613072 1685351 1 - 0.0000 -
3180.98/3192.58 c 3193 3616583 1686861 1 - 0.0000 -
3186.05/3197.63 c 3198 3620102 1688460 1 - 0.0000 -
3191.03/3202.69 c 3203 3623733 1690274 1 - 0.0000 -
3196.11/3207.75 c 3208 3627367 1692076 1 - 0.0000 -
3201.19/3212.80 c 3213 3630775 1693596 1 - 0.0000 -
3206.17/3217.87 c 3218 3634373 1695327 1 - 0.0000 -
3211.25/3222.91 c 3223 3637781 1696984 1 - 0.0000 -
3216.23/3227.96 c 3228 3641240 1698595 1 - 0.0000 -
3221.31/3233.02 c 3233 3644454 1700008 1 - 0.0000 -
3226.39/3238.11 c 3238 3647687 1702261 1 - 0.0000 -
3231.37/3243.15 c 3243 3650565 1703190 1 - 0.0000 -
3236.45/3248.21 c 3248 3653853 1705179 1 - 0.0000 -
3241.44/3253.26 c 3253 3656961 1706349 1 - 0.0000 -
3246.52/3258.31 c 3258 3660461 1708010 1 - 0.0000 -
3251.51/3263.36 c 3263 3663894 1709621 1 - 0.0000 -
3256.60/3268.42 c 3268 3667189 1710693 1 - 0.0000 -
3261.58/3273.47 c 3273 3670521 1712240 1 - 0.0000 -
3266.66/3278.52 c 3279 3673883 1714046 1 - 0.0000 -
3271.64/3283.57 c 3284 3676737 1715282 1 - 0.0000 -
3276.73/3288.62 c 3289 3679945 1716676 1 - 0.0000 -
3281.72/3293.68 c 3294 3683188 1718102 1 - 0.0000 -
3286.79/3298.73 c 3299 3686325 1719534 1 - 0.0000 -
3291.78/3303.77 c 3304 3689170 1720826 1 - 0.0000 -
3296.86/3308.82 c 3309 3692282 1721914 1 - 0.0000 -
3301.85/3313.87 c 3314 3694966 1723049 1 - 0.0000 -
3306.93/3318.94 c 3319 3698259 1724538 1 - 0.0000 -
3311.91/3323.98 c 3324 3701290 1726024 1 - 0.0000 -
3317.00/3329.05 c 3329 3704111 1727286 1 - 0.0000 -
3322.09/3334.11 c 3334 3707229 1728421 1 - 0.0000 -
3327.07/3339.15 c 3339 3710770 1729912 1 - 0.0000 -
3332.15/3344.21 c 3344 3714064 1731477 1 - 0.0000 -
3337.14/3349.25 c 3349 3717137 1732819 1 - 0.0000 -
3342.22/3354.33 c 3354 3720185 1734384 1 - 0.0000 -
3347.20/3359.38 c 3359 3723039 1736076 1 - 0.0000 -
3352.29/3364.43 c 3364 3725928 1736838 1 - 0.0000 -
3357.38/3369.50 c 3370 3729451 1738397 1 - 0.0000 -
3362.35/3374.56 c 3375 3733199 1739849 1 - 0.0000 -
3367.44/3379.61 c 3380 3736553 1741553 1 - 0.0000 -
3372.42/3384.67 c 3385 3740003 1743124 1 - 0.0000 -
3377.51/3389.71 c 3390 3743256 1744898 1 - 0.0000 -
3382.50/3394.78 c 3395 3747015 1746266 1 - 0.0000 -
3387.58/3399.83 c 3400 3749465 1747396 1 - 0.0000 -
3392.56/3404.87 c 3405 3752123 1748706 1 - 0.0000 -
3397.64/3409.93 c 3410 3755069 1750176 1 - 0.0000 -
3402.74/3415.00 c 3415 3757915 1751425 1 - 0.0000 -
3407.72/3420.05 c 3420 3760667 1752560 1 - 0.0000 -
3412.80/3425.12 c 3425 3763051 1753386 1 - 0.0000 -
3417.79/3430.17 c 3430 3765539 1754669 1 - 0.0000 -
3422.87/3435.23 c 3435 3768351 1755820 1 - 0.0000 -
3427.85/3440.29 c 3440 3770944 1757040 1 - 0.0000 -
3432.94/3445.34 c 3445 3773523 1758217 1 - 0.0000 -
3438.02/3450.42 c 3450 3776412 1759411 1 - 0.0000 -
3443.00/3455.47 c 3455 3779022 1760587 1 - 0.0000 -
3448.09/3460.53 c 3461 3781705 1761782 1 - 0.0000 -
3453.07/3465.57 c 3466 3784373 1762992 1 - 0.0000 -
3458.16/3470.63 c 3471 3787138 1764678 1 - 0.0000 -
3463.14/3475.69 c 3476 3789243 1765341 1 - 0.0000 -
3468.23/3480.74 c 3481 3791779 1766444 1 - 0.0000 -
3473.21/3485.78 c 3486 3794332 1767577 1 - 0.0000 -
3478.30/3490.84 c 3491 3797236 1768938 1 - 0.0000 -
3483.38/3495.91 c 3496 3799754 1770412 1 - 0.0000 -
3488.36/3500.97 c 3501 3802482 1771511 1 - 0.0000 -
3493.45/3506.03 c 3506 3805156 1772606 1 - 0.0000 -
3498.44/3511.10 c 3511 3807400 1773651 1 - 0.0000 -
3503.52/3516.16 c 3516 3809752 1775011 1 - 0.0000 -
3508.60/3521.24 c 3521 3811461 1775491 1 - 0.0000 -
3513.68/3526.31 c 3526 3813642 1776611 1 - 0.0000 -
3518.67/3531.35 c 3531 3815729 1777550 1 - 0.0000 -
3523.75/3536.40 c 3536 3818030 1778548 1 - 0.0000 -
3528.74/3541.45 c 3541 3820485 1779704 1 - 0.0000 -
3533.82/3546.53 c 3547 3822728 1780805 1 - 0.0000 -
3538.81/3551.57 c 3552 3825153 1781865 1 - 0.0000 -
3543.89/3556.64 c 3557 3827505 1782809 1 - 0.0000 -
3548.87/3561.69 c 3562 3830095 1783970 1 - 0.0000 -
3553.96/3566.74 c 3567 3832633 1785102 1 - 0.0000 -
3558.95/3571.79 c 3572 3835225 1786367 1 - 0.0000 -
3564.03/3576.86 c 3577 3837896 1787463 1 - 0.0000 -
3569.11/3581.91 c 3582 3840744 1788602 1 - 0.0000 -
3574.09/3586.97 c 3587 3843504 1790179 1 - 0.0000 -
3579.18/3592.02 c 3592 3845841 1791080 1 - 0.0000 -
3584.17/3597.07 c 3597 3848348 1792175 1 - 0.0000 -
3589.05/3601.95 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.05/3601.95 c Total Time : 3601.9500
3589.05/3601.95 c solving : 3601.9500
3589.05/3601.95 c presolving : 0.0070 (included in solving)
3589.05/3601.95 c B&B Tree :
3589.05/3601.95 c nodes (total) : 1
3589.05/3601.95 c Solution :
3589.05/3601.95 c Solutions found : 0
3589.05/3601.95 c Primal Bound : -
3589.05/3601.95 c Dual Bound : +0.00000000000000e+00
3589.05/3601.95 c Gap : -
3589.05/3601.97 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 (62781 MiB free)
memory of node 1: 64473 MiB (63279 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448000-1721361283/watcher-4448000-1721361283 -o /tmp/evaluation-result-4448000-1721361283/solver-4448000-1721361283 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982054 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448000-1721361283.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=986354, runsolver pid=986351
[startup+0.100092 s]*
/proc/loadavg: 4.12 4.10 4.09 5/264 986357
/proc/meminfo: memFree=129066104/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=113696 memory=32696 CPUtime=0.09 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 5013 0 0 0 9 0 0 0 20 0 3 0 188295298 116424704 8174 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 28424 8174 2926 3032 0 11369 0
[pid=986354/tid=986356] ppid=986351 vsize=113696 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 2513 0 0 0 8 0 0 0 20 0 3 0 188295299 116424704 8174 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=113696 memory=232851243367 CPUtime=0 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188295300 116424704 8174 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 113696 KiB
Current children cumulated memory: 32696 KiB
[startup+0.20581 s]*
/proc/loadavg: 4.12 4.10 4.09 5/264 986357
/proc/meminfo: memFree=129063560/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=113696 memory=33576 CPUtime=0.2 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 5733 0 0 0 20 0 0 0 20 0 3 0 188295298 116424704 8394 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 28424 8394 2926 3032 0 11760 0
[pid=986354/tid=986356] ppid=986351 vsize=113696 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 3233 0 0 0 19 0 0 0 20 0 3 0 188295299 116424704 8394 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=113696 memory=1656803 CPUtime=0 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188295300 116424704 8394 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 113696 KiB
Current children cumulated memory: 33576 KiB
[startup+0.30573 s]*
/proc/loadavg: 4.12 4.10 4.09 5/264 986357
/proc/meminfo: memFree=129062044/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=113696 memory=35416 CPUtime=0.29 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 6489 0 0 0 29 0 0 0 20 0 3 0 188295298 116424704 8854 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 28424 8854 2942 3032 0 12115 0
[pid=986354/tid=986356] ppid=986351 vsize=113696 memory=-6370172787631504235 CPUtime=0.28 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 3989 0 0 0 28 0 0 0 20 0 3 0 188295299 116424704 8854 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=113696 memory=0 CPUtime=0 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188295300 116424704 8854 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 113696 KiB
Current children cumulated memory: 35416 KiB
[startup+0.700231 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 986357
/proc/meminfo: memFree=129060840/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=113696 memory=36948 CPUtime=0.69 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 7538 0 0 0 68 1 0 0 20 0 3 0 188295298 116424704 9237 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 28424 9237 2942 3032 0 12408 0
[pid=986354/tid=986356] ppid=986351 vsize=113696 memory=0 CPUtime=0.67 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 5038 0 0 0 67 0 0 0 20 0 3 0 188295299 116424704 9237 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=113696 memory=0 CPUtime=0 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188295300 116424704 9237 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113696 KiB
Current children cumulated memory: 36948 KiB
[startup+1.50024 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 986357
/proc/meminfo: memFree=129058460/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=113696 memory=39336 CPUtime=1.48 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 12898 0 0 0 147 1 0 0 20 0 3 0 188295298 116424704 9834 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 28424 9834 2942 3032 0 12981 0
[pid=986354/tid=986356] ppid=986351 vsize=113696 memory=0 CPUtime=1.47 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 10382 0 0 0 146 1 0 0 20 0 3 0 188295299 116424704 9834 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=113696 memory=0 CPUtime=0 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188295300 116424704 9834 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 113696 KiB
Current children cumulated memory: 39336 KiB
[startup+3.10556 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 986357
/proc/meminfo: memFree=129047032/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=113696 memory=44900 CPUtime=3.09 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 16278 0 0 0 307 2 0 0 20 0 3 0 188295298 116424704 11225 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 28424 11225 2942 3032 0 14341 0
[pid=986354/tid=986356] ppid=986351 vsize=113696 memory=2273 CPUtime=3.07 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 13760 0 0 0 306 1 0 0 20 0 3 0 188295299 116424704 11225 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=113696 memory=0 CPUtime=0 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 188295300 116424704 11225 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 113696 KiB
Current children cumulated memory: 44900 KiB
[startup+6.30023 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 986357
/proc/meminfo: memFree=129031472/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=113696 memory=53812 CPUtime=6.26 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 27201 0 0 0 624 2 0 0 20 0 3 0 188295298 116424704 13453 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 28424 13453 2942 3032 0 16538 0
[pid=986354/tid=986356] ppid=986351 vsize=113696 memory=-6370172787631504235 CPUtime=6.25 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 24656 0 0 0 623 2 0 0 20 0 3 0 188295299 116424704 13453 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=113696 memory=52928 CPUtime=0 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 188295300 116424704 13453 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 113696 KiB
Current children cumulated memory: 53812 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 986358
/proc/meminfo: memFree=128999396/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=113696 memory=62300 CPUtime=12.64 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 41161 0 0 0 1259 5 0 0 20 0 3 0 188295298 116424704 15575 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 28424 15575 2990 3032 0 18608 0
[pid=986354/tid=986356] ppid=986351 vsize=113696 memory=45160 CPUtime=12.63 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 38574 0 0 0 1258 5 0 0 20 0 3 0 188295299 116424704 15575 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=113696 memory=0 CPUtime=0 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 188295300 116424704 15575 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 113696 KiB
Current children cumulated memory: 62300 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 986360
/proc/meminfo: memFree=128958780/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=113696 memory=74284 CPUtime=25.4 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 59278 0 0 0 2529 11 0 0 20 0 3 0 188295298 116424704 18571 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 28424 18571 2990 3032 0 21785 0
[pid=986354/tid=986356] ppid=986351 vsize=113696 memory=55252 CPUtime=25.38 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 56633 0 0 0 2527 11 0 0 20 0 3 0 188295299 116424704 18571 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=113696 memory=11608 CPUtime=0 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 188295300 116424704 18571 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 113696 KiB
Current children cumulated memory: 74284 KiB
[startup+51.1057 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 986750
/proc/meminfo: memFree=128891368/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=179232 memory=96108 CPUtime=50.91 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 93907 0 0 0 5068 23 0 0 20 0 3 0 188295298 183533568 24027 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 44808 24027 2990 3032 0 27122 0
[pid=986354/tid=986356] ppid=986351 vsize=179232 memory=96040 CPUtime=50.89 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 91183 0 0 0 5066 23 0 0 20 0 3 0 188295299 183533568 24027 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=179232 memory=96028 CPUtime=0 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 188295300 183533568 24027 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 179232 KiB
Current children cumulated memory: 96108 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 986758
/proc/meminfo: memFree=128761924/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=179232 memory=142396 CPUtime=101.86 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 147996 0 0 0 10140 46 0 0 20 0 3 0 188295298 183533568 35599 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 44808 35599 2990 3032 0 40420 0
[pid=986354/tid=986356] ppid=986351 vsize=179232 memory=136180 CPUtime=101.84 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 145194 0 0 0 10138 46 0 0 20 0 3 0 188295299 183533568 35599 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=179232 memory=136168 CPUtime=0 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 188295300 183533568 35599 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 179232 KiB
Current children cumulated memory: 142396 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 986770
/proc/meminfo: memFree=128620140/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=245796 memory=195912 CPUtime=161.59 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 196047 0 0 0 16088 71 0 0 20 0 3 0 188295298 251695104 48978 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 61449 48978 2990 3032 0 51968 0
[pid=986354/tid=986356] ppid=986351 vsize=245796 memory=163176 CPUtime=161.57 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 193193 0 0 0 16086 71 0 0 20 0 3 0 188295299 251695104 48978 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=245796 memory=162760 CPUtime=0 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 188295300 251695104 48978 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 245796 KiB
################
# More data... #
################
/proc/986354/statm: 354489 345434 2990 3032 0 348926 0
[pid=986354/tid=986356] ppid=986351 vsize=1417956 memory=1353220 CPUtime=3449.64 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 1157052 0 0 0 344265 699 0 0 20 0 3 0 188295299 1451986944 345434 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=1417956 memory=5616 CPUtime=0.02 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 66 0 0 0 0 2 0 0 20 0 3 0 188295300 1451986944 345434 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 3449.89 s
Current children cumulated vsize: 1417956 KiB
Current children cumulated memory: 1381736 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.16 4.15 5/264 988230
/proc/meminfo: memFree=122359504/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=1484520 memory=1393304 CPUtime=3509.7 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 1178437 0 0 0 350257 713 0 0 20 0 3 0 188295298 1520148480 348326 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 371130 348326 2990 3032 0 351858 0
[pid=986354/tid=986356] ppid=986351 vsize=1484520 memory=1353220 CPUtime=3509.45 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 1174711 0 0 0 350240 705 0 0 20 0 3 0 188295299 1520148480 348326 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=1484520 memory=1393304 CPUtime=0.02 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 67 0 0 0 0 2 0 0 20 0 3 0 188295300 1520148480 348326 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 3509.7 s
Current children cumulated vsize: 1484520 KiB
Current children cumulated memory: 1393304 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/264 988241
/proc/meminfo: memFree=122270224/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=1484520 memory=1400356 CPUtime=3569.51 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 1196481 0 0 0 356230 721 0 0 20 0 3 0 188295298 1520148480 350089 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 371130 350089 2990 3032 0 353566 0
[pid=986354/tid=986356] ppid=986351 vsize=1484520 memory=1353220 CPUtime=3569.25 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 1192737 0 0 0 356213 712 0 0 20 0 3 0 188295299 1520148480 350089 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=1484520 memory=2688 CPUtime=0.02 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 68 0 0 0 0 2 0 0 20 0 3 0 188295300 1520148480 350089 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 3569.51 s
Current children cumulated vsize: 1484520 KiB
Current children cumulated memory: 1400356 KiB
[startup+3601.98 s]
# the end of solver process 986354 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.79 s, system=7.34523 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.14 4.14 5/264 988241
/proc/meminfo: memFree=122264152/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=1484520 memory=1402240 CPUtime=3571.21 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 1197041 0 0 0 356400 721 0 0 20 0 3 0 188295298 1520148480 350560 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 371130 350560 2990 3032 0 354046 0
[pid=986354/tid=986356] ppid=986351 vsize=1484520 memory=11524 CPUtime=3570.96 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 1193297 0 0 0 356383 713 0 0 20 0 3 0 188295299 1520148480 350560 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=1484520 memory=1400356 CPUtime=0.02 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 68 0 0 0 0 2 0 0 20 0 3 0 188295300 1520148480 350560 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 3571.21 s
Current children cumulated vsize: 1484520 KiB
Current children cumulated memory: 1402240 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.14 4.14 5/264 988243
/proc/meminfo: memFree=122256704/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=1484520 memory=1403000 CPUtime=3577.59 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 1202241 0 0 0 357037 722 0 0 20 0 3 0 188295298 1520148480 350750 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 371130 350750 2990 3032 0 354222 0
[pid=986354/tid=986356] ppid=986351 vsize=1484520 memory=11608 CPUtime=3577.34 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 1198483 0 0 0 357020 714 0 0 20 0 3 0 188295299 1520148480 350750 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=1484520 memory=1400356 CPUtime=0.02 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 68 0 0 0 0 2 0 0 20 0 3 0 188295300 1520148480 350750 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 3577.59 s
Current children cumulated vsize: 1484520 KiB
Current children cumulated memory: 1403000 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.14 4.14 5/264 988243
/proc/meminfo: memFree=122250448/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=1484520 memory=1403520 CPUtime=3583.96 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 1202709 0 0 0 357674 722 0 0 20 0 3 0 188295298 1520148480 350880 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 371130 350880 2990 3032 0 354350 0
[pid=986354/tid=986356] ppid=986351 vsize=1484520 memory=1400356 CPUtime=3583.71 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 1198951 0 0 0 357657 714 0 0 20 0 3 0 188295299 1520148480 350880 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=1484520 memory=6720661051987608173 CPUtime=0.02 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 68 0 0 0 0 2 0 0 20 0 3 0 188295300 1520148480 350880 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 3583.96 s
Current children cumulated vsize: 1484520 KiB
Current children cumulated memory: 1403520 KiB
[startup+3600 s]*
/proc/loadavg: 4.01 4.12 4.13 3/247 988306
/proc/meminfo: memFree=126681652/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=1484520 memory=1404108 CPUtime=3587.16 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 1214383 0 0 0 357993 723 0 0 20 0 3 0 188295298 1520148480 351027 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 371130 351027 2990 3032 0 354494 0
[pid=986354/tid=986356] ppid=986351 vsize=1484520 memory=6720661039052440173 CPUtime=3586.91 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 1211017 0 0 0 357976 715 0 0 20 0 3 0 188295299 1520148480 351027 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=1484520 memory=-8549727008118979992 CPUtime=0.02 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 68 0 0 0 0 2 0 0 20 0 3 0 188295300 1520148480 351027 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 3587.16 s
Current children cumulated vsize: 1484520 KiB
Current children cumulated memory: 1404108 KiB
[startup+3600.8 s]
/proc/loadavg: 4.01 4.12 4.13 3/247 988306
/proc/meminfo: memFree=126681652/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=1484520 memory=1404108 CPUtime=3587.95 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 1306863 0 0 0 358067 728 0 0 20 0 3 0 188295298 1520148480 351027 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 371130 351027 2990 3032 0 354494 0
[pid=986354/tid=986356] ppid=986351 vsize=1484520 memory=39104 CPUtime=3587.7 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 1303127 0 0 0 358050 720 0 0 20 0 3 0 188295299 1520148480 351027 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=1484520 memory=32020 CPUtime=0.02 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 68 0 0 0 0 2 0 0 20 0 3 0 188295300 1520148480 351027 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 3587.95 s
Current children cumulated vsize: 1484520 KiB
Current children cumulated memory: 1404108 KiB
[startup+3601.6 s]
/proc/loadavg: 4.01 4.12 4.13 3/246 988306
/proc/meminfo: memFree=126681796/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=1480540 memory=1400256 CPUtime=3588.76 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 1359210 0 0 0 358145 731 0 0 20 0 3 0 188295298 1516072960 350064 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 370135 350064 2990 3032 0 353499 0
[pid=986354/tid=986356] ppid=986351 vsize=1480540 memory=1404044 CPUtime=3588.49 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 1355450 0 0 0 358127 722 0 0 20 0 3 0 188295299 1516072960 350064 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=1480540 memory=1403520 CPUtime=0.02 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 68 0 0 0 0 2 0 0 20 0 3 0 188295300 1516072960 350064 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 3588.76 s
Current children cumulated vsize: 1480540 KiB
Current children cumulated memory: 1400256 KiB
[startup+3601.8 s]
/proc/loadavg: 4.01 4.12 4.13 3/246 988306
/proc/meminfo: memFree=126681796/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=1480540 memory=1400256 CPUtime=3588.95 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 1363336 0 0 0 358164 731 0 0 20 0 3 0 188295298 1516072960 350064 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 370135 350064 2990 3032 0 353499 0
[pid=986354/tid=986356] ppid=986351 vsize=1480540 memory=6720661051987608173 CPUtime=3588.7 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 1359576 0 0 0 358147 723 0 0 20 0 3 0 188295299 1516072960 350064 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=1480540 memory=104 CPUtime=0.02 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 68 0 0 0 0 2 0 0 20 0 3 0 188295300 1516072960 350064 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 3588.95 s
Current children cumulated vsize: 1480540 KiB
Current children cumulated memory: 1400256 KiB
[startup+3601.9 s]
/proc/loadavg: 4.01 4.12 4.13 3/246 988306
/proc/meminfo: memFree=126681796/131524600 swapFree=131071996/131071996
[pid=986354] ppid=986351 vsize=1480540 memory=1400256 CPUtime=3589.05 cores=5,7
/proc/986354/stat : 986354 (fscip) S 986351 986354 982041 0 -1 1077936128 1363948 0 0 0 358174 731 0 0 20 0 3 0 188295298 1516072960 350064 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
/proc/986354/statm: 370135 350064 2990 3032 0 353499 0
[pid=986354/tid=986356] ppid=986351 vsize=1480540 memory=11608 CPUtime=3588.8 cores=5,7
/proc/986354/task/986356/stat : 986356 (fscip) R 986351 986354 982041 0 -1 4194368 1360188 0 0 0 358157 723 0 0 20 0 3 0 188295299 1516072960 350064 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
[pid=986354/tid=986357] ppid=986351 vsize=1480540 memory=16184 CPUtime=0.02 cores=5,7
/proc/986354/task/986357/stat : 986357 (fscip) S 986351 986354 982041 0 -1 1077936192 68 0 0 0 0 2 0 0 20 0 3 0 188295300 1516072960 350064 134679101440 4194304 16613245 140731250613072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 51847168 140731250615316 140731250615432 140731250615432 140731250622448 0
Current children cumulated CPU time: 3589.05 s
Current children cumulated vsize: 1480540 KiB
Current children cumulated memory: 1400256 KiB
Child status: 0
Real time (s): 3601.98
CPU time (s): 3589.14
CPU user time (s): 3581.79
CPU system time (s): 7.34523
CPU usage (%): 99.6435
Max. virtual memory (cumulated for all children) (KiB): 1484520
Max. memory (cumulated for all children) (KiB): 1404108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.79
system time used= 7.34523
maximum resident set size= 1404108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1364302
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= 10971
involuntary context switches= 4679
# summary of solver processes directly reported to runsolver:
# pid: 986354
# total CPU time (s): 3589.14
# total CPU user time (s): 3581.79
# total CPU system time (s): 7.34523
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.95286 second user time and 16.9694 second system time
The end
Begin job on nodeC028 at 2024-07-19 05:54:55
IDJOB=4448000
IDBENCH=160355
IDSOLVER=3064
FILE ID=nodeC028/4448000-1721361283
RUNJOBID= nodeC028-1721354084-982054
SLURM_JOB_ID= 7542773
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x80split.cnf-extracted.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-4448000-1721361283/watcher-4448000-1721361283 -o /tmp/evaluation-result-4448000-1721361283/solver-4448000-1721361283 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982054 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4448000-1721361283.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 42530f8fa6d5232445304732efe45d63
RANDOM SEED=1451482711
nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.783
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.393
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.018
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.352
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.835
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.190
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.089
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.888
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129087184 kB
MemAvailable: 129655016 kB
Buffers: 512904 kB
Cached: 896352 kB
SwapCached: 0 kB
Active: 1013148 kB
Inactive: 828188 kB
Active(anon): 1536 kB
Inactive(anon): 468256 kB
Active(file): 1011612 kB
Inactive(file): 359932 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113392 kB
Writeback: 64 kB
AnonPages: 429288 kB
Mapped: 142084 kB
Shmem: 37720 kB
KReclaimable: 72220 kB
Slab: 179508 kB
SReclaimable: 72220 kB
SUnreclaim: 107288 kB
KernelStack: 4176 kB
PageTables: 10244 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 834216 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 227328 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC028 at 2024-07-19 06:54:57