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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 28311552, getVmSize() = 28311552, SCIPgetMemUsed() = 5087034, SCIPgetMemTotal() = 6568202, SCIPgetMemExternEstim() = 3364460
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.03 c ** Estimated virtualMemUsedAtSolver = 21777066, getVmSize() = 37019648, SCIPgetMemUsed() = 9166384, SCIPgetMemTotal() = 14185200, SCIPgetMemExternEstim() = 3364460
0.00/0.03 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.03 c Original Problem :
0.00/0.03 c Problem name : instance-4464507-1722385808
0.00/0.03 c Variables : 701 (701 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.03 c Constraints : 2802
0.00/0.03 c Objective sense : minimize
0.00/0.03 c Presolved Problem :
0.00/0.03 c Variables : 700 (700 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.03 c Constraints : 1400
0.00/0.03 c Constraints : Number
0.00/0.03 c linear : 1400
0.00/0.03 c ** Instance transfer method used: 0
0.00/0.03 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.04 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.04 c Nodes Active
0.00/0.04 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.56/5.63 c 6 3170 2148 1 - 0.0000 -
10.65/10.78 c 11 7410 4489 1 - 0.0000 -
15.73/15.89 c 16 12952 7133 1 - 0.0000 -
20.81/20.93 c 21 20740 10270 1 - 0.0000 -
25.79/25.98 c 26 28657 13456 1 - 0.0000 -
30.88/31.03 c 31 36680 17308 1 - 0.0000 -
35.87/36.08 c 36 44269 20686 1 - 0.0000 -
40.94/41.13 c 41 52090 23768 1 - 0.0000 -
45.93/46.18 c 46 59815 26344 1 - 0.0000 -
51.01/51.23 c 51 67529 29310 1 - 0.0000 -
55.99/56.28 c 56 75153 31939 1 - 0.0000 -
61.08/61.33 c 61 82882 34250 1 - 0.0000 -
66.05/66.38 c 66 90645 37624 1 - 0.0000 -
71.14/71.43 c 71 98639 40577 1 - 0.0000 -
76.12/76.48 c 76 106353 42113 1 - 0.0000 -
81.20/81.54 c 82 111651 44716 1 - 0.0000 -
86.29/86.60 c 87 117364 48537 1 - 0.0000 -
91.27/91.65 c 92 123100 53260 1 - 0.0000 -
96.35/96.70 c 97 128736 58147 1 - 0.0000 -
101.34/101.75 c 102 134977 63039 1 - 0.0000 -
106.42/106.80 c 107 141568 67931 1 - 0.0000 -
111.40/111.85 c 112 148136 72958 1 - 0.0000 -
116.49/116.90 c 117 154574 77774 1 - 0.0000 -
121.47/121.95 c 122 161405 82663 1 - 0.0000 -
126.55/127.00 c 127 167806 87483 1 - 0.0000 -
131.53/132.05 c 132 174899 92496 1 - 0.0000 -
136.63/137.10 c 137 182008 97329 1 - 0.0000 -
141.60/142.15 c 142 188741 102189 1 - 0.0000 -
146.68/147.20 c 147 195542 106957 1 - 0.0000 -
151.66/152.25 c 152 202348 111736 1 - 0.0000 -
156.75/157.30 c 157 209364 116218 1 - 0.0000 -
161.73/162.35 c 162 216198 120510 1 - 0.0000 -
166.81/167.40 c 167 223247 124810 1 - 0.0000 -
171.80/172.45 c 172 230276 129237 1 - 0.0000 -
176.88/177.51 c 178 236812 134016 1 - 0.0000 -
181.87/182.56 c 183 243258 138465 1 - 0.0000 -
186.95/187.61 c 188 250329 143005 1 - 0.0000 -
191.93/192.66 c 193 257234 147243 1 - 0.0000 -
197.02/197.71 c 198 264039 151054 1 - 0.0000 -
202.00/202.76 c 203 270798 155174 1 - 0.0000 -
207.08/207.81 c 208 277505 159414 1 - 0.0000 -
212.06/212.86 c 213 284167 163898 1 - 0.0000 -
217.15/217.91 c 218 291124 168190 1 - 0.0000 -
222.13/222.96 c 223 298176 172387 1 - 0.0000 -
227.21/228.01 c 228 305275 176629 1 - 0.0000 -
232.20/233.06 c 233 312400 180980 1 - 0.0000 -
237.28/238.11 c 238 319315 185362 1 - 0.0000 -
242.26/243.17 c 243 326402 189316 1 - 0.0000 -
247.34/248.22 c 248 333755 193500 1 - 0.0000 -
252.33/253.27 c 253 340999 197393 1 - 0.0000 -
257.41/258.32 c 258 347902 201465 1 - 0.0000 -
262.39/263.37 c 263 355038 205567 1 - 0.0000 -
267.47/268.42 c 268 361852 209897 1 - 0.0000 -
272.46/273.47 c 273 368686 214279 1 - 0.0000 -
277.54/278.52 c 279 375792 218468 1 - 0.0000 -
282.53/283.57 c 284 382760 222834 1 - 0.0000 -
287.61/288.62 c 289 389570 227045 1 - 0.0000 -
292.59/293.67 c 294 396793 231023 1 - 0.0000 -
297.67/298.72 c 299 403777 235188 1 - 0.0000 -
302.66/303.77 c 304 410757 239725 1 - 0.0000 -
307.75/308.82 c 309 417881 243998 1 - 0.0000 -
312.73/313.87 c 314 424811 248014 1 - 0.0000 -
317.81/318.92 c 319 431806 252320 1 - 0.0000 -
322.79/323.97 c 324 438930 256497 1 - 0.0000 -
327.87/329.02 c 329 445866 260751 1 - 0.0000 -
332.86/334.07 c 334 452676 265364 1 - 0.0000 -
337.94/339.12 c 339 459365 269593 1 - 0.0000 -
342.92/344.17 c 344 466438 273780 1 - 0.0000 -
348.00/349.22 c 349 473239 278407 1 - 0.0000 -
352.99/354.27 c 354 480117 282318 1 - 0.0000 -
358.07/359.32 c 359 487123 286666 1 - 0.0000 -
363.05/364.37 c 364 494371 290708 1 - 0.0000 -
368.14/369.44 c 369 501393 294439 1 - 0.0000 -
373.12/374.49 c 374 508329 298659 1 - 0.0000 -
378.20/379.54 c 380 515151 302954 1 - 0.0000 -
383.19/384.59 c 385 522686 307116 1 - 0.0000 -
388.26/389.64 c 390 529880 310830 1 - 0.0000 -
393.25/394.69 c 395 536840 315046 1 - 0.0000 -
398.33/399.74 c 400 543735 319015 1 - 0.0000 -
403.32/404.79 c 405 550737 322881 1 - 0.0000 -
408.40/409.84 c 410 557728 326908 1 - 0.0000 -
413.39/414.89 c 415 564577 330980 1 - 0.0000 -
418.47/419.94 c 420 571559 335032 1 - 0.0000 -
423.45/424.99 c 425 578438 339224 1 - 0.0000 -
428.53/430.04 c 430 585656 343649 1 - 0.0000 -
433.52/435.09 c 435 593331 348810 1 - 0.0000 -
438.60/440.14 c 440 600816 353597 1 - 0.0000 -
443.58/445.19 c 445 608311 357149 1 - 0.0000 -
448.66/450.24 c 450 615991 360855 1 - 0.0000 -
453.65/455.29 c 455 623274 364671 1 - 0.0000 -
458.72/460.34 c 460 630389 368702 1 - 0.0000 -
463.71/465.39 c 465 637351 372589 1 - 0.0000 -
468.80/470.44 c 470 644538 376490 1 - 0.0000 -
473.77/475.49 c 475 651340 380665 1 - 0.0000 -
478.86/480.54 c 481 658353 384492 1 - 0.0000 -
483.85/485.59 c 486 665220 388345 1 - 0.0000 -
488.92/490.64 c 491 672298 392073 1 - 0.0000 -
493.92/495.69 c 496 678739 396117 1 - 0.0000 -
499.00/500.74 c 501 685379 400807 1 - 0.0000 -
503.97/505.79 c 506 692212 405352 1 - 0.0000 -
509.06/510.84 c 511 698946 410010 1 - 0.0000 -
514.04/515.88 c 516 705820 414614 1 - 0.0000 -
519.13/520.93 c 521 712936 419236 1 - 0.0000 -
524.11/525.98 c 526 719920 423431 1 - 0.0000 -
529.20/531.03 c 531 726698 427661 1 - 0.0000 -
534.18/536.08 c 536 733558 431879 1 - 0.0000 -
539.26/541.13 c 541 740608 435752 1 - 0.0000 -
544.25/546.18 c 546 747488 439934 1 - 0.0000 -
549.33/551.23 c 551 755020 443528 1 - 0.0000 -
554.31/556.28 c 556 761808 447817 1 - 0.0000 -
559.40/561.33 c 561 768540 452008 1 - 0.0000 -
564.38/566.38 c 566 775570 455998 1 - 0.0000 -
569.46/571.43 c 571 782592 460106 1 - 0.0000 -
574.45/576.48 c 576 789748 463947 1 - 0.0000 -
579.53/581.53 c 582 797046 467815 1 - 0.0000 -
584.52/586.58 c 587 804215 471503 1 - 0.0000 -
589.60/591.63 c 592 811561 475078 1 - 0.0000 -
594.58/596.68 c 597 818909 478500 1 - 0.0000 -
599.67/601.73 c 602 826062 482430 1 - 0.0000 -
604.65/606.78 c 607 833011 486337 1 - 0.0000 -
609.74/611.83 c 612 840103 489751 1 - 0.0000 -
614.72/616.88 c 617 847168 493529 1 - 0.0000 -
619.80/621.93 c 622 854484 497111 1 - 0.0000 -
624.78/626.98 c 627 861423 501150 1 - 0.0000 -
629.87/632.03 c 632 868372 505067 1 - 0.0000 -
634.85/637.08 c 637 875601 509123 1 - 0.0000 -
639.94/642.13 c 642 882992 512421 1 - 0.0000 -
644.93/647.18 c 647 890369 515994 1 - 0.0000 -
650.00/652.23 c 652 897564 519460 1 - 0.0000 -
654.99/657.28 c 657 904449 523284 1 - 0.0000 -
660.06/662.33 c 662 911541 526850 1 - 0.0000 -
665.05/667.38 c 667 918782 530340 1 - 0.0000 -
670.13/672.43 c 672 925799 533684 1 - 0.0000 -
675.12/677.48 c 677 932778 537349 1 - 0.0000 -
680.20/682.53 c 683 939546 541597 1 - 0.0000 -
685.18/687.58 c 688 946795 545393 1 - 0.0000 -
690.26/692.63 c 693 954031 548992 1 - 0.0000 -
695.25/697.68 c 698 960913 552748 1 - 0.0000 -
700.34/702.73 c 703 968404 556246 1 - 0.0000 -
705.32/707.79 c 708 975299 559574 1 - 0.0000 -
710.40/712.84 c 713 982788 562824 1 - 0.0000 -
715.39/717.89 c 718 990852 566272 1 - 0.0000 -
720.47/722.94 c 723 998161 569064 1 - 0.0000 -
725.46/727.99 c 728 1005248 573331 1 - 0.0000 -
730.54/733.04 c 733 1012328 577158 1 - 0.0000 -
735.52/738.09 c 738 1019370 581182 1 - 0.0000 -
740.60/743.14 c 743 1026409 584960 1 - 0.0000 -
745.59/748.19 c 748 1033482 588590 1 - 0.0000 -
750.66/753.24 c 753 1040672 591913 1 - 0.0000 -
755.65/758.29 c 758 1047781 595278 1 - 0.0000 -
760.73/763.34 c 763 1054710 599473 1 - 0.0000 -
765.72/768.39 c 768 1061475 603827 1 - 0.0000 -
770.80/773.44 c 773 1068374 608021 1 - 0.0000 -
775.78/778.49 c 778 1075312 612077 1 - 0.0000 -
780.86/783.54 c 784 1082216 616197 1 - 0.0000 -
785.85/788.59 c 789 1089409 619776 1 - 0.0000 -
790.94/793.64 c 794 1096378 623545 1 - 0.0000 -
795.92/798.69 c 799 1103630 627155 1 - 0.0000 -
801.01/803.74 c 804 1110594 631246 1 - 0.0000 -
805.98/808.79 c 809 1117535 635229 1 - 0.0000 -
811.06/813.84 c 814 1124626 639177 1 - 0.0000 -
816.05/818.89 c 819 1131664 642741 1 - 0.0000 -
821.14/823.94 c 824 1138837 645863 1 - 0.0000 -
826.12/828.99 c 829 1146040 649747 1 - 0.0000 -
831.20/834.04 c 834 1153179 653361 1 - 0.0000 -
836.18/839.09 c 839 1160582 656719 1 - 0.0000 -
841.27/844.14 c 844 1168125 659938 1 - 0.0000 -
846.25/849.19 c 849 1175450 662976 1 - 0.0000 -
851.33/854.24 c 854 1182621 666157 1 - 0.0000 -
856.32/859.29 c 859 1190461 669497 1 - 0.0000 -
861.40/864.34 c 864 1197862 673029 1 - 0.0000 -
866.38/869.39 c 869 1205440 676305 1 - 0.0000 -
871.46/874.44 c 874 1212868 679155 1 - 0.0000 -
876.45/879.49 c 879 1220048 682575 1 - 0.0000 -
881.53/884.54 c 885 1227196 686338 1 - 0.0000 -
886.51/889.59 c 890 1234448 689529 1 - 0.0000 -
891.59/894.64 c 895 1241879 692953 1 - 0.0000 -
896.57/899.69 c 900 1248846 696550 1 - 0.0000 -
901.66/904.74 c 905 1255978 700252 1 - 0.0000 -
906.64/909.79 c 910 1263239 703898 1 - 0.0000 -
911.72/914.84 c 915 1270484 707342 1 - 0.0000 -
916.70/919.89 c 920 1278113 710602 1 - 0.0000 -
921.78/924.94 c 925 1285356 714329 1 - 0.0000 -
926.77/929.99 c 930 1292577 717736 1 - 0.0000 -
931.85/935.04 c 935 1299720 721334 1 - 0.0000 -
936.83/940.09 c 940 1307230 724484 1 - 0.0000 -
941.92/945.14 c 945 1314529 727565 1 - 0.0000 -
946.90/950.19 c 950 1321745 731274 1 - 0.0000 -
951.97/955.24 c 955 1329093 734384 1 - 0.0000 -
956.96/960.29 c 960 1336947 737322 1 - 0.0000 -
962.04/965.34 c 965 1344154 740211 1 - 0.0000 -
967.02/970.39 c 970 1352467 743130 1 - 0.0000 -
972.11/975.44 c 975 1360465 746210 1 - 0.0000 -
977.09/980.49 c 980 1367732 749569 1 - 0.0000 -
982.17/985.54 c 986 1375276 752248 1 - 0.0000 -
987.16/990.59 c 991 1382554 755497 1 - 0.0000 -
992.23/995.64 c 996 1389726 758731 1 - 0.0000 -
997.22/1000.69 c 1001 1396904 762092 1 - 0.0000 -
1002.30/1005.74 c 1006 1404602 765695 1 - 0.0000 -
1007.29/1010.79 c 1011 1412259 768742 1 - 0.0000 -
1012.37/1015.84 c 1016 1419526 771872 1 - 0.0000 -
1017.35/1020.89 c 1021 1426160 775710 1 - 0.0000 -
1022.43/1025.93 c 1026 1433185 779875 1 - 0.0000 -
1027.42/1030.98 c 1031 1440235 784203 1 - 0.0000 -
1032.51/1036.03 c 1036 1447077 787768 1 - 0.0000 -
1037.49/1041.08 c 1041 1453806 791877 1 - 0.0000 -
1042.57/1046.13 c 1046 1460652 795585 1 - 0.0000 -
1047.56/1051.18 c 1051 1467521 799570 1 - 0.0000 -
1052.63/1056.23 c 1056 1474599 803486 1 - 0.0000 -
1057.62/1061.28 c 1061 1481577 807275 1 - 0.0000 -
1062.70/1066.33 c 1066 1488592 810968 1 - 0.0000 -
1067.69/1071.38 c 1071 1495620 814734 1 - 0.0000 -
1072.77/1076.43 c 1076 1502858 817777 1 - 0.0000 -
1077.75/1081.48 c 1081 1510054 820629 1 - 0.0000 -
1082.83/1086.53 c 1087 1517299 823618 1 - 0.0000 -
1087.82/1091.58 c 1092 1525074 826671 1 - 0.0000 -
1092.90/1096.63 c 1097 1533261 828719 1 - 0.0000 -
1097.89/1101.68 c 1102 1540339 831941 1 - 0.0000 -
1102.97/1106.73 c 1107 1547450 835057 1 - 0.0000 -
1107.94/1111.78 c 1112 1554693 838712 1 - 0.0000 -
1113.03/1116.83 c 1117 1561815 841968 1 - 0.0000 -
1118.02/1121.88 c 1122 1569486 844800 1 - 0.0000 -
1123.10/1126.93 c 1127 1576833 847900 1 - 0.0000 -
1128.09/1131.98 c 1132 1585249 851017 1 - 0.0000 -
1133.17/1137.03 c 1137 1593037 853171 1 - 0.0000 -
1138.15/1142.08 c 1142 1600385 856537 1 - 0.0000 -
1143.24/1147.13 c 1147 1607742 860325 1 - 0.0000 -
1148.21/1152.18 c 1152 1614859 864042 1 - 0.0000 -
1153.29/1157.23 c 1157 1621674 867996 1 - 0.0000 -
1158.28/1162.29 c 1162 1628786 871496 1 - 0.0000 -
1163.36/1167.34 c 1167 1636039 874753 1 - 0.0000 -
1168.34/1172.39 c 1172 1642841 878828 1 - 0.0000 -
1173.43/1177.44 c 1177 1649583 882722 1 - 0.0000 -
1178.41/1182.49 c 1182 1656490 886601 1 - 0.0000 -
1183.49/1187.54 c 1188 1663500 890792 1 - 0.0000 -
1188.47/1192.59 c 1193 1670426 894785 1 - 0.0000 -
1193.56/1197.64 c 1198 1677381 898562 1 - 0.0000 -
1198.55/1202.69 c 1203 1684482 901823 1 - 0.0000 -
1203.62/1207.74 c 1208 1691958 904848 1 - 0.0000 -
1208.61/1212.79 c 1213 1699417 907987 1 - 0.0000 -
1213.69/1217.84 c 1218 1707118 910793 1 - 0.0000 -
1218.67/1222.89 c 1223 1714215 913889 1 - 0.0000 -
1223.75/1227.94 c 1228 1721409 917195 1 - 0.0000 -
1228.74/1232.99 c 1233 1728752 920341 1 - 0.0000 -
1233.82/1238.04 c 1238 1736213 923719 1 - 0.0000 -
1238.81/1243.09 c 1243 1743435 926830 1 - 0.0000 -
1243.89/1248.14 c 1248 1750605 930576 1 - 0.0000 -
1248.87/1253.19 c 1253 1757740 933713 1 - 0.0000 -
1253.95/1258.24 c 1258 1765276 936954 1 - 0.0000 -
1258.93/1263.29 c 1263 1772639 940019 1 - 0.0000 -
1264.01/1268.34 c 1268 1779781 943162 1 - 0.0000 -
1269.00/1273.39 c 1273 1787097 946374 1 - 0.0000 -
1274.09/1278.44 c 1278 1794336 949465 1 - 0.0000 -
1279.06/1283.49 c 1283 1801994 952547 1 - 0.0000 -
1284.15/1288.54 c 1289 1808874 956103 1 - 0.0000 -
1289.12/1293.59 c 1294 1816049 959462 1 - 0.0000 -
1294.21/1298.64 c 1299 1823439 962173 1 - 0.0000 -
1299.20/1303.69 c 1304 1830471 965534 1 - 0.0000 -
1304.28/1308.74 c 1309 1837698 968675 1 - 0.0000 -
1309.26/1313.79 c 1314 1844748 972166 1 - 0.0000 -
1314.34/1318.84 c 1319 1851411 975836 1 - 0.0000 -
1319.33/1323.89 c 1324 1858401 979831 1 - 0.0000 -
1324.41/1328.95 c 1329 1865112 983987 1 - 0.0000 -
1329.50/1334.00 c 1334 1871889 988281 1 - 0.0000 -
1334.47/1339.05 c 1339 1878727 992579 1 - 0.0000 -
1339.46/1344.10 c 1344 1885592 996618 1 - 0.0000 -
1344.54/1349.15 c 1349 1892443 1000617 1 - 0.0000 -
1349.62/1354.20 c 1354 1899340 1004691 1 - 0.0000 -
1354.60/1359.25 c 1359 1906232 1008509 1 - 0.0000 -
1359.69/1364.30 c 1364 1913171 1012195 1 - 0.0000 -
1364.67/1369.35 c 1369 1920014 1015869 1 - 0.0000 -
1369.75/1374.40 c 1374 1926996 1019862 1 - 0.0000 -
1374.74/1379.45 c 1379 1933941 1023361 1 - 0.0000 -
1379.81/1384.50 c 1384 1940930 1027249 1 - 0.0000 -
1384.79/1389.55 c 1390 1947909 1030948 1 - 0.0000 -
1389.88/1394.60 c 1395 1954719 1034932 1 - 0.0000 -
1394.86/1399.65 c 1400 1961801 1038928 1 - 0.0000 -
1399.94/1404.70 c 1405 1968897 1042641 1 - 0.0000 -
1404.92/1409.75 c 1410 1975864 1046195 1 - 0.0000 -
1410.00/1414.80 c 1415 1982724 1049883 1 - 0.0000 -
1414.99/1419.85 c 1420 1989619 1054177 1 - 0.0000 -
1420.07/1424.90 c 1425 1996970 1057556 1 - 0.0000 -
1425.05/1429.95 c 1430 2004190 1061033 1 - 0.0000 -
1430.13/1435.00 c 1435 2011404 1064167 1 - 0.0000 -
1435.11/1440.05 c 1440 2018712 1067452 1 - 0.0000 -
1440.11/1445.10 c 1445 2026150 1070437 1 - 0.0000 -
1445.19/1450.15 c 1450 2033716 1073662 1 - 0.0000 -
1450.27/1455.20 c 1455 2041309 1076823 1 - 0.0000 -
1455.25/1460.25 c 1460 2048759 1080133 1 - 0.0000 -
1460.33/1465.30 c 1465 2056190 1083675 1 - 0.0000 -
1465.31/1470.35 c 1470 2063708 1087263 1 - 0.0000 -
1470.40/1475.40 c 1475 2071021 1090472 1 - 0.0000 -
1475.39/1480.45 c 1480 2078373 1093972 1 - 0.0000 -
1480.47/1485.50 c 1486 2085937 1097261 1 - 0.0000 -
1485.45/1490.55 c 1491 2093380 1100538 1 - 0.0000 -
1490.54/1495.60 c 1496 2101043 1104130 1 - 0.0000 -
1495.52/1500.65 c 1501 2108751 1107374 1 - 0.0000 -
1500.60/1505.70 c 1506 2116447 1110351 1 - 0.0000 -
1505.58/1510.75 c 1511 2123684 1113967 1 - 0.0000 -
1510.67/1515.80 c 1516 2131145 1117417 1 - 0.0000 -
1515.66/1520.85 c 1521 2138651 1120660 1 - 0.0000 -
1520.74/1525.90 c 1526 2145977 1124379 1 - 0.0000 -
1525.72/1530.95 c 1531 2153439 1127556 1 - 0.0000 -
1530.81/1536.00 c 1536 2160882 1130502 1 - 0.0000 -
1535.79/1541.05 c 1541 2168245 1133901 1 - 0.0000 -
1540.77/1546.10 c 1546 2175536 1137383 1 - 0.0000 -
1545.86/1551.15 c 1551 2183130 1140269 1 - 0.0000 -
1550.93/1556.20 c 1556 2190474 1143452 1 - 0.0000 -
1555.92/1561.25 c 1561 2197708 1146516 1 - 0.0000 -
1561.00/1566.30 c 1566 2205237 1149743 1 - 0.0000 -
1565.99/1571.35 c 1571 2212679 1152705 1 - 0.0000 -
1571.07/1576.40 c 1576 2219916 1155992 1 - 0.0000 -
1576.05/1581.45 c 1581 2227592 1159243 1 - 0.0000 -
1581.14/1586.50 c 1586 2234851 1163157 1 - 0.0000 -
1586.13/1591.55 c 1592 2242149 1166427 1 - 0.0000 -
1591.20/1596.60 c 1597 2249217 1170679 1 - 0.0000 -
1596.20/1601.65 c 1602 2256206 1174763 1 - 0.0000 -
1601.28/1606.70 c 1607 2263221 1178771 1 - 0.0000 -
1606.26/1611.75 c 1612 2270467 1182760 1 - 0.0000 -
1611.34/1616.80 c 1617 2277472 1186564 1 - 0.0000 -
1616.33/1621.85 c 1622 2284558 1190414 1 - 0.0000 -
1621.41/1626.90 c 1627 2291449 1194559 1 - 0.0000 -
1626.39/1631.95 c 1632 2298324 1198611 1 - 0.0000 -
1631.48/1637.00 c 1637 2305427 1202627 1 - 0.0000 -
1636.46/1642.05 c 1642 2312541 1206790 1 - 0.0000 -
1641.54/1647.10 c 1647 2319702 1210644 1 - 0.0000 -
1646.53/1652.15 c 1652 2326799 1214212 1 - 0.0000 -
1651.61/1657.20 c 1657 2333761 1218096 1 - 0.0000 -
1656.59/1662.25 c 1662 2340897 1221688 1 - 0.0000 -
1661.67/1667.30 c 1667 2348127 1224898 1 - 0.0000 -
1666.66/1672.35 c 1672 2355498 1228238 1 - 0.0000 -
1671.74/1677.40 c 1677 2362735 1231382 1 - 0.0000 -
1676.72/1682.45 c 1682 2370082 1234755 1 - 0.0000 -
1681.81/1687.50 c 1688 2377080 1238483 1 - 0.0000 -
1686.79/1692.55 c 1693 2384261 1241697 1 - 0.0000 -
1691.87/1697.60 c 1698 2391393 1245204 1 - 0.0000 -
1696.87/1702.65 c 1703 2398497 1248604 1 - 0.0000 -
1701.94/1707.70 c 1708 2405210 1252811 1 - 0.0000 -
1706.93/1712.75 c 1713 2411933 1256912 1 - 0.0000 -
1712.01/1717.80 c 1718 2418736 1261325 1 - 0.0000 -
1716.99/1722.85 c 1723 2425765 1265029 1 - 0.0000 -
1722.08/1727.90 c 1728 2432376 1268700 1 - 0.0000 -
1727.07/1732.95 c 1733 2439296 1271657 1 - 0.0000 -
1732.15/1738.00 c 1738 2446585 1275197 1 - 0.0000 -
1737.14/1743.05 c 1743 2453818 1278189 1 - 0.0000 -
1742.12/1748.10 c 1748 2461255 1281394 1 - 0.0000 -
1747.20/1753.15 c 1753 2468616 1284494 1 - 0.0000 -
1752.27/1758.20 c 1758 2475910 1287867 1 - 0.0000 -
1757.26/1763.25 c 1763 2483092 1290933 1 - 0.0000 -
1762.34/1768.30 c 1768 2490404 1294143 1 - 0.0000 -
1767.33/1773.35 c 1773 2497813 1296979 1 - 0.0000 -
1772.41/1778.40 c 1778 2505097 1300416 1 - 0.0000 -
1777.39/1783.45 c 1783 2512199 1304123 1 - 0.0000 -
1782.48/1788.50 c 1788 2519430 1307031 1 - 0.0000 -
1787.47/1793.55 c 1794 2526920 1310328 1 - 0.0000 -
1792.54/1798.60 c 1799 2534190 1313592 1 - 0.0000 -
1797.53/1803.65 c 1804 2541394 1316838 1 - 0.0000 -
1802.62/1808.70 c 1809 2548599 1320220 1 - 0.0000 -
1807.59/1813.75 c 1814 2556105 1323308 1 - 0.0000 -
1812.68/1818.80 c 1819 2563533 1325658 1 - 0.0000 -
1817.66/1823.85 c 1824 2571181 1329279 1 - 0.0000 -
1822.74/1828.90 c 1829 2578741 1332131 1 - 0.0000 -
1827.73/1833.95 c 1834 2586247 1335557 1 - 0.0000 -
1832.82/1839.00 c 1839 2593521 1338402 1 - 0.0000 -
1837.80/1844.05 c 1844 2600336 1342533 1 - 0.0000 -
1842.78/1849.10 c 1849 2607694 1345625 1 - 0.0000 -
1847.86/1854.15 c 1854 2614881 1348582 1 - 0.0000 -
1852.94/1859.20 c 1859 2622329 1351340 1 - 0.0000 -
1857.93/1864.25 c 1864 2629778 1354184 1 - 0.0000 -
1863.01/1869.30 c 1869 2637124 1357232 1 - 0.0000 -
1868.00/1874.35 c 1874 2644594 1360088 1 - 0.0000 -
1873.08/1879.40 c 1879 2651787 1363069 1 - 0.0000 -
1878.06/1884.45 c 1884 2659247 1366306 1 - 0.0000 -
1883.14/1889.50 c 1890 2666302 1370148 1 - 0.0000 -
1888.12/1894.55 c 1895 2673453 1373707 1 - 0.0000 -
1893.21/1899.60 c 1900 2680570 1376695 1 - 0.0000 -
1898.19/1904.65 c 1905 2687926 1379552 1 - 0.0000 -
1903.28/1909.70 c 1910 2695053 1382717 1 - 0.0000 -
1908.26/1914.75 c 1915 2702448 1385772 1 - 0.0000 -
1913.35/1919.80 c 1920 2709739 1388907 1 - 0.0000 -
1918.33/1924.85 c 1925 2717171 1392010 1 - 0.0000 -
1923.41/1929.90 c 1930 2724661 1395068 1 - 0.0000 -
1928.40/1934.95 c 1935 2731688 1398076 1 - 0.0000 -
1933.49/1940.00 c 1940 2739472 1401339 1 - 0.0000 -
1938.47/1945.05 c 1945 2746738 1404734 1 - 0.0000 -
1943.45/1950.10 c 1950 2754158 1408020 1 - 0.0000 -
1948.53/1955.15 c 1955 2761241 1411336 1 - 0.0000 -
1953.61/1960.20 c 1960 2768375 1414641 1 - 0.0000 -
1958.59/1965.25 c 1965 2775746 1417427 1 - 0.0000 -
1963.68/1970.30 c 1970 2783809 1421098 1 - 0.0000 -
1968.66/1975.35 c 1975 2791140 1424742 1 - 0.0000 -
1973.75/1980.40 c 1980 2799224 1427720 1 - 0.0000 -
1978.72/1985.45 c 1985 2807288 1430374 1 - 0.0000 -
1983.81/1990.50 c 1990 2815428 1432713 1 - 0.0000 -
1988.79/1995.55 c 1996 2823162 1434127 1 - 0.0000 -
1993.88/2000.60 c 2001 2830174 1437369 1 - 0.0000 -
1998.86/2005.65 c 2006 2837455 1440304 1 - 0.0000 -
2003.94/2010.70 c 2011 2844822 1442987 1 - 0.0000 -
2008.93/2015.75 c 2016 2852315 1446019 1 - 0.0000 -
2014.01/2020.80 c 2021 2859399 1448763 1 - 0.0000 -
2018.99/2025.85 c 2026 2866758 1451921 1 - 0.0000 -
2024.08/2030.90 c 2031 2873741 1454751 1 - 0.0000 -
2029.06/2035.95 c 2036 2881215 1457572 1 - 0.0000 -
2034.15/2041.00 c 2041 2888673 1460445 1 - 0.0000 -
2039.13/2046.05 c 2046 2895994 1462812 1 - 0.0000 -
2044.12/2051.09 c 2051 2902936 1466652 1 - 0.0000 -
2049.20/2056.14 c 2056 2910142 1469724 1 - 0.0000 -
2054.18/2061.19 c 2061 2917396 1473338 1 - 0.0000 -
2059.25/2066.24 c 2066 2924481 1476309 1 - 0.0000 -
2064.24/2071.29 c 2071 2932007 1479298 1 - 0.0000 -
2069.32/2076.34 c 2076 2939265 1483072 1 - 0.0000 -
2074.31/2081.39 c 2081 2946542 1486142 1 - 0.0000 -
2079.39/2086.44 c 2086 2953963 1488571 1 - 0.0000 -
2084.37/2091.49 c 2091 2961630 1492573 1 - 0.0000 -
2089.46/2096.54 c 2097 2969526 1496268 1 - 0.0000 -
2094.44/2101.59 c 2102 2977126 1499501 1 - 0.0000 -
2099.53/2106.64 c 2107 2984677 1502636 1 - 0.0000 -
2104.51/2111.69 c 2112 2991908 1505697 1 - 0.0000 -
2109.59/2116.74 c 2117 2998979 1509605 1 - 0.0000 -
2114.58/2121.79 c 2122 3006318 1512950 1 - 0.0000 -
2119.66/2126.84 c 2127 3013889 1515555 1 - 0.0000 -
2124.64/2131.89 c 2132 3021181 1518439 1 - 0.0000 -
2129.73/2136.94 c 2137 3028170 1521739 1 - 0.0000 -
2134.72/2141.99 c 2142 3035428 1524658 1 - 0.0000 -
2139.80/2147.04 c 2147 3042772 1527864 1 - 0.0000 -
2144.78/2152.09 c 2152 3050036 1530845 1 - 0.0000 -
2149.87/2157.14 c 2157 3057268 1534086 1 - 0.0000 -
2154.84/2162.19 c 2162 3064459 1537459 1 - 0.0000 -
2159.92/2167.24 c 2167 3071719 1540668 1 - 0.0000 -
2164.91/2172.29 c 2172 3079031 1543577 1 - 0.0000 -
2170.00/2177.34 c 2177 3086320 1546790 1 - 0.0000 -
2174.97/2182.39 c 2182 3093521 1549947 1 - 0.0000 -
2180.06/2187.44 c 2187 3101245 1552418 1 - 0.0000 -
2185.04/2192.49 c 2192 3108118 1555267 1 - 0.0000 -
2190.12/2197.54 c 2198 3115211 1558760 1 - 0.0000 -
2195.11/2202.59 c 2203 3122284 1562264 1 - 0.0000 -
2200.19/2207.64 c 2208 3129483 1565198 1 - 0.0000 -
2205.18/2212.69 c 2213 3136681 1568484 1 - 0.0000 -
2210.26/2217.74 c 2218 3143918 1571584 1 - 0.0000 -
2215.25/2222.79 c 2223 3151415 1574357 1 - 0.0000 -
2220.33/2227.84 c 2228 3158877 1577181 1 - 0.0000 -
2225.32/2232.89 c 2233 3165866 1580657 1 - 0.0000 -
2230.39/2237.94 c 2238 3173202 1583982 1 - 0.0000 -
2235.38/2242.99 c 2243 3180738 1586564 1 - 0.0000 -
2240.47/2248.04 c 2248 3187870 1589523 1 - 0.0000 -
2245.45/2253.09 c 2253 3195131 1592386 1 - 0.0000 -
2250.53/2258.14 c 2258 3202572 1595642 1 - 0.0000 -
2255.51/2263.19 c 2263 3209903 1598640 1 - 0.0000 -
2260.59/2268.24 c 2268 3217129 1602075 1 - 0.0000 -
2265.57/2273.29 c 2273 3224370 1606003 1 - 0.0000 -
2270.66/2278.34 c 2278 3231495 1609783 1 - 0.0000 -
2275.64/2283.39 c 2283 3238659 1613208 1 - 0.0000 -
2280.73/2288.44 c 2288 3245754 1616988 1 - 0.0000 -
2285.71/2293.49 c 2293 3252936 1620735 1 - 0.0000 -
2290.79/2298.54 c 2299 3260123 1624385 1 - 0.0000 -
2295.78/2303.59 c 2304 3267243 1627681 1 - 0.0000 -
2300.86/2308.64 c 2309 3274416 1630929 1 - 0.0000 -
2305.85/2313.69 c 2314 3281632 1634219 1 - 0.0000 -
2310.93/2318.74 c 2319 3289006 1637055 1 - 0.0000 -
2315.91/2323.79 c 2324 3296173 1640215 1 - 0.0000 -
2321.00/2328.84 c 2329 3303230 1643111 1 - 0.0000 -
2325.98/2333.89 c 2334 3310374 1646195 1 - 0.0000 -
2331.07/2338.94 c 2339 3317688 1649385 1 - 0.0000 -
2336.05/2343.99 c 2344 3324875 1652274 1 - 0.0000 -
2341.13/2349.04 c 2349 3332007 1655604 1 - 0.0000 -
2346.11/2354.09 c 2354 3339342 1658846 1 - 0.0000 -
2351.20/2359.14 c 2359 3346527 1661788 1 - 0.0000 -
2356.19/2364.19 c 2364 3353748 1665302 1 - 0.0000 -
2361.26/2369.24 c 2369 3361039 1668201 1 - 0.0000 -
2366.24/2374.29 c 2374 3368624 1670935 1 - 0.0000 -
2371.32/2379.34 c 2379 3375736 1674046 1 - 0.0000 -
2376.31/2384.39 c 2384 3382936 1677425 1 - 0.0000 -
2381.39/2389.44 c 2389 3390289 1680283 1 - 0.0000 -
2386.38/2394.49 c 2394 3397493 1683534 1 - 0.0000 -
2391.46/2399.54 c 2400 3404460 1686634 1 - 0.0000 -
2396.45/2404.59 c 2405 3411611 1689948 1 - 0.0000 -
2401.52/2409.64 c 2410 3418619 1693671 1 - 0.0000 -
2406.51/2414.69 c 2415 3425631 1696884 1 - 0.0000 -
2411.59/2419.74 c 2420 3433197 1699557 1 - 0.0000 -
2416.68/2424.80 c 2425 3440368 1702506 1 - 0.0000 -
2421.67/2429.85 c 2430 3447389 1705692 1 - 0.0000 -
2426.75/2434.90 c 2435 3454580 1708676 1 - 0.0000 -
2431.73/2439.95 c 2440 3461805 1711598 1 - 0.0000 -
2436.82/2445.00 c 2445 3469490 1714588 1 - 0.0000 -
2441.80/2450.05 c 2450 3476653 1717889 1 - 0.0000 -
2446.78/2455.10 c 2455 3484107 1721020 1 - 0.0000 -
2451.86/2460.15 c 2460 3491672 1724230 1 - 0.0000 -
2456.94/2465.20 c 2465 3499692 1726434 1 - 0.0000 -
2461.93/2470.25 c 2470 3507517 1729943 1 - 0.0000 -
2467.01/2475.30 c 2475 3515566 1733768 1 - 0.0000 -
2471.99/2480.35 c 2480 3523425 1737058 1 - 0.0000 -
2477.07/2485.40 c 2485 3530993 1740236 1 - 0.0000 -
2482.06/2490.45 c 2490 3538400 1742859 1 - 0.0000 -
2487.15/2495.50 c 2496 3545704 1745850 1 - 0.0000 -
2492.13/2500.55 c 2501 3552794 1749427 1 - 0.0000 -
2497.21/2505.60 c 2506 3559964 1752235 1 - 0.0000 -
2502.20/2510.65 c 2511 3567457 1755109 1 - 0.0000 -
2507.28/2515.70 c 2516 3574905 1757962 1 - 0.0000 -
2512.26/2520.75 c 2521 3582687 1761263 1 - 0.0000 -
2517.35/2525.80 c 2526 3590524 1764940 1 - 0.0000 -
2522.33/2530.85 c 2531 3598192 1768334 1 - 0.0000 -
2527.41/2535.90 c 2536 3605701 1771360 1 - 0.0000 -
2532.39/2540.95 c 2541 3613294 1775074 1 - 0.0000 -
2537.47/2546.00 c 2546 3621153 1778470 1 - 0.0000 -
2542.46/2551.05 c 2551 3628693 1781348 1 - 0.0000 -
2547.45/2556.10 c 2556 3636235 1784793 1 - 0.0000 -
2552.53/2561.15 c 2561 3643856 1788173 1 - 0.0000 -
2557.61/2566.20 c 2566 3651548 1791277 1 - 0.0000 -
2562.59/2571.25 c 2571 3659119 1794276 1 - 0.0000 -
2567.67/2576.30 c 2576 3666350 1797499 1 - 0.0000 -
2572.66/2581.35 c 2581 3673807 1800246 1 - 0.0000 -
2577.74/2586.40 c 2586 3681280 1802735 1 - 0.0000 -
2582.73/2591.45 c 2591 3688121 1805540 1 - 0.0000 -
2587.81/2596.50 c 2596 3694918 1808511 1 - 0.0000 -
2592.80/2601.55 c 2602 3702070 1811352 1 - 0.0000 -
2597.88/2606.60 c 2607 3709021 1814481 1 - 0.0000 -
2602.86/2611.65 c 2612 3716335 1817423 1 - 0.0000 -
2607.94/2616.70 c 2617 3723695 1820117 1 - 0.0000 -
2612.93/2621.75 c 2622 3730981 1822810 1 - 0.0000 -
2618.00/2626.80 c 2627 3738346 1825723 1 - 0.0000 -
2622.99/2631.85 c 2632 3745538 1828434 1 - 0.0000 -
2628.08/2636.90 c 2637 3752556 1831813 1 - 0.0000 -
2633.06/2641.95 c 2642 3759506 1834858 1 - 0.0000 -
2638.14/2647.00 c 2647 3767203 1837138 1 - 0.0000 -
2643.12/2652.05 c 2652 3774823 1839494 1 - 0.0000 -
2648.11/2657.10 c 2657 3782286 1842069 1 - 0.0000 -
2653.20/2662.15 c 2662 3789525 1844995 1 - 0.0000 -
2658.27/2667.20 c 2667 3796618 1848152 1 - 0.0000 -
2663.25/2672.25 c 2672 3803669 1851719 1 - 0.0000 -
2668.34/2677.30 c 2677 3810633 1855513 1 - 0.0000 -
2673.32/2682.35 c 2682 3818021 1859231 1 - 0.0000 -
2678.40/2687.40 c 2687 3825443 1862364 1 - 0.0000 -
2683.39/2692.45 c 2692 3832444 1865639 1 - 0.0000 -
2688.47/2697.50 c 2698 3839492 1869316 1 - 0.0000 -
2693.46/2702.55 c 2703 3846954 1872104 1 - 0.0000 -
2698.54/2707.60 c 2708 3854011 1875503 1 - 0.0000 -
2703.52/2712.65 c 2713 3861635 1878292 1 - 0.0000 -
2708.61/2717.70 c 2718 3869661 1880423 1 - 0.0000 -
2713.59/2722.75 c 2723 3877179 1882349 1 - 0.0000 -
2718.68/2727.80 c 2728 3884170 1885472 1 - 0.0000 -
2723.66/2732.85 c 2733 3891283 1889041 1 - 0.0000 -
2728.74/2737.90 c 2738 3897915 1891892 1 - 0.0000 -
2733.72/2742.95 c 2743 3905078 1894978 1 - 0.0000 -
2738.80/2748.00 c 2748 3912184 1898207 1 - 0.0000 -
2743.80/2753.05 c 2753 3919318 1901439 1 - 0.0000 -
2748.78/2758.10 c 2758 3926431 1904418 1 - 0.0000 -
2753.86/2763.15 c 2763 3933632 1907448 1 - 0.0000 -
2758.93/2768.20 c 2768 3940557 1910837 1 - 0.0000 -
2763.92/2773.25 c 2773 3947663 1914671 1 - 0.0000 -
2769.00/2778.30 c 2778 3954866 1918080 1 - 0.0000 -
2773.99/2783.35 c 2783 3962037 1921122 1 - 0.0000 -
2779.07/2788.40 c 2788 3969390 1923809 1 - 0.0000 -
2784.05/2793.45 c 2793 3976658 1926866 1 - 0.0000 -
2789.14/2798.50 c 2798 3983993 1929363 1 - 0.0000 -
2794.12/2803.55 c 2804 3990991 1932403 1 - 0.0000 -
2799.20/2808.60 c 2809 3998054 1935559 1 - 0.0000 -
2804.19/2813.65 c 2814 4005405 1938027 1 - 0.0000 -
2809.27/2818.70 c 2819 4012489 1941240 1 - 0.0000 -
2814.26/2823.75 c 2824 4019642 1944077 1 - 0.0000 -
2819.34/2828.80 c 2829 4027139 1946952 1 - 0.0000 -
2824.32/2833.85 c 2834 4034600 1949908 1 - 0.0000 -
2829.40/2838.90 c 2839 4041963 1953063 1 - 0.0000 -
2834.39/2843.95 c 2844 4049198 1955855 1 - 0.0000 -
2839.47/2849.00 c 2849 4056609 1959042 1 - 0.0000 -
2844.46/2854.05 c 2854 4063677 1962014 1 - 0.0000 -
2849.44/2859.10 c 2859 4070921 1965153 1 - 0.0000 -
2854.52/2864.15 c 2864 4078374 1968291 1 - 0.0000 -
2859.60/2869.20 c 2869 4085596 1971341 1 - 0.0000 -
2864.59/2874.25 c 2874 4092609 1974466 1 - 0.0000 -
2869.67/2879.30 c 2879 4099810 1977448 1 - 0.0000 -
2874.65/2884.35 c 2884 4106919 1980684 1 - 0.0000 -
2879.73/2889.40 c 2889 4114234 1983466 1 - 0.0000 -
2884.71/2894.45 c 2894 4121460 1986397 1 - 0.0000 -
2889.79/2899.50 c 2900 4128607 1989394 1 - 0.0000 -
2894.79/2904.55 c 2905 4135471 1993003 1 - 0.0000 -
2899.87/2909.60 c 2910 4142981 1996184 1 - 0.0000 -
2904.85/2914.65 c 2915 4150235 1998770 1 - 0.0000 -
2909.93/2919.70 c 2920 4157541 2001718 1 - 0.0000 -
2914.91/2924.76 c 2925 4164350 2005000 1 - 0.0000 -
2920.00/2929.81 c 2930 4171367 2008200 1 - 0.0000 -
2924.99/2934.86 c 2935 4178976 2011381 1 - 0.0000 -
2930.06/2939.91 c 2940 4186023 2014685 1 - 0.0000 -
2935.06/2944.96 c 2945 4193345 2017703 1 - 0.0000 -
2940.13/2950.01 c 2950 4200403 2020850 1 - 0.0000 -
2945.12/2955.06 c 2955 4207493 2023819 1 - 0.0000 -
2950.21/2960.11 c 2960 4215034 2026772 1 - 0.0000 -
2955.19/2965.16 c 2965 4222380 2029394 1 - 0.0000 -
2960.27/2970.21 c 2970 4229400 2032512 1 - 0.0000 -
2965.25/2975.26 c 2975 4236837 2035292 1 - 0.0000 -
2970.34/2980.31 c 2980 4244073 2038056 1 - 0.0000 -
2975.32/2985.36 c 2985 4251142 2041459 1 - 0.0000 -
2980.40/2990.41 c 2990 4258241 2044737 1 - 0.0000 -
2985.38/2995.46 c 2995 4265332 2048102 1 - 0.0000 -
2990.47/3000.51 c 3001 4272683 2051027 1 - 0.0000 -
2995.45/3005.56 c 3006 4279647 2054118 1 - 0.0000 -
3000.54/3010.61 c 3011 4286730 2057360 1 - 0.0000 -
3005.51/3015.66 c 3016 4294403 2059962 1 - 0.0000 -
3010.60/3020.71 c 3021 4301421 2063056 1 - 0.0000 -
3015.59/3025.76 c 3026 4308570 2066122 1 - 0.0000 -
3020.67/3030.81 c 3031 4316066 2069131 1 - 0.0000 -
3025.65/3035.87 c 3036 4323406 2071517 1 - 0.0000 -
3030.74/3040.92 c 3041 4330922 2074451 1 - 0.0000 -
3035.72/3045.97 c 3046 4337685 2077692 1 - 0.0000 -
3040.80/3051.02 c 3051 4344376 2082225 1 - 0.0000 -
3045.79/3056.07 c 3056 4351443 2086097 1 - 0.0000 -
3050.87/3061.12 c 3061 4358204 2090302 1 - 0.0000 -
3055.86/3066.17 c 3066 4364926 2094377 1 - 0.0000 -
3060.94/3071.22 c 3071 4371673 2098654 1 - 0.0000 -
3065.92/3076.27 c 3076 4378645 2102506 1 - 0.0000 -
3071.00/3081.32 c 3081 4385526 2106279 1 - 0.0000 -
3075.99/3086.37 c 3086 4392362 2109987 1 - 0.0000 -
3081.07/3091.42 c 3091 4399207 2113894 1 - 0.0000 -
3086.05/3096.47 c 3096 4406099 2117717 1 - 0.0000 -
3091.14/3101.52 c 3102 4413096 2121337 1 - 0.0000 -
3096.12/3106.57 c 3107 4419968 2124950 1 - 0.0000 -
3101.21/3111.62 c 3112 4426954 2128735 1 - 0.0000 -
3106.19/3116.67 c 3117 4433907 2132231 1 - 0.0000 -
3111.28/3121.72 c 3122 4440621 2135632 1 - 0.0000 -
3116.25/3126.77 c 3127 4447399 2138608 1 - 0.0000 -
3121.33/3131.82 c 3132 4454242 2142428 1 - 0.0000 -
3126.32/3136.87 c 3137 4460928 2145610 1 - 0.0000 -
3131.41/3141.92 c 3142 4467627 2149257 1 - 0.0000 -
3136.39/3146.97 c 3147 4474396 2152551 1 - 0.0000 -
3141.48/3152.02 c 3152 4481131 2156148 1 - 0.0000 -
3146.45/3157.07 c 3157 4487937 2159353 1 - 0.0000 -
3151.54/3162.12 c 3162 4494728 2162619 1 - 0.0000 -
3156.53/3167.17 c 3167 4501516 2166064 1 - 0.0000 -
3161.60/3172.22 c 3172 4508178 2169221 1 - 0.0000 -
3166.58/3177.27 c 3177 4514865 2172331 1 - 0.0000 -
3171.67/3182.32 c 3182 4521493 2175813 1 - 0.0000 -
3176.66/3187.37 c 3187 4528026 2179136 1 - 0.0000 -
3181.74/3192.42 c 3192 4534584 2181972 1 - 0.0000 -
3186.71/3197.47 c 3197 4541180 2185111 1 - 0.0000 -
3191.80/3202.52 c 3203 4547661 2188844 1 - 0.0000 -
3196.78/3207.57 c 3208 4554358 2192181 1 - 0.0000 -
3201.87/3212.62 c 3213 4561273 2195609 1 - 0.0000 -
3206.85/3217.67 c 3218 4568002 2198977 1 - 0.0000 -
3211.93/3222.72 c 3223 4574653 2202110 1 - 0.0000 -
3216.92/3227.77 c 3228 4581111 2205212 1 - 0.0000 -
3222.00/3232.82 c 3233 4587881 2208513 1 - 0.0000 -
3226.99/3237.87 c 3238 4594721 2211621 1 - 0.0000 -
3232.07/3242.92 c 3243 4602482 2215393 1 - 0.0000 -
3237.05/3247.97 c 3248 4609818 2218489 1 - 0.0000 -
3242.13/3253.02 c 3253 4616862 2221521 1 - 0.0000 -
3247.12/3258.07 c 3258 4623845 2224675 1 - 0.0000 -
3252.20/3263.12 c 3263 4630783 2227714 1 - 0.0000 -
3257.18/3268.17 c 3268 4638035 2230401 1 - 0.0000 -
3262.27/3273.22 c 3273 4645408 2233535 1 - 0.0000 -
3267.24/3278.27 c 3278 4653367 2236240 1 - 0.0000 -
3272.33/3283.32 c 3283 4660643 2238837 1 - 0.0000 -
3277.32/3288.37 c 3288 4667691 2241862 1 - 0.0000 -
3282.39/3293.42 c 3293 4674635 2245190 1 - 0.0000 -
3287.38/3298.47 c 3298 4681379 2249278 1 - 0.0000 -
3292.46/3303.52 c 3304 4688140 2253293 1 - 0.0000 -
3297.45/3308.57 c 3309 4694688 2257420 1 - 0.0000 -
3302.53/3313.62 c 3314 4701540 2261240 1 - 0.0000 -
3307.51/3318.67 c 3319 4708330 2264881 1 - 0.0000 -
3312.60/3323.72 c 3324 4715156 2268403 1 - 0.0000 -
3317.58/3328.77 c 3329 4722110 2271794 1 - 0.0000 -
3322.67/3333.82 c 3334 4729037 2275493 1 - 0.0000 -
3327.65/3338.87 c 3339 4735990 2278852 1 - 0.0000 -
3332.73/3343.92 c 3344 4742935 2281859 1 - 0.0000 -
3337.72/3348.97 c 3349 4749701 2285157 1 - 0.0000 -
3342.80/3354.02 c 3354 4756557 2288601 1 - 0.0000 -
3347.78/3359.07 c 3359 4763190 2291526 1 - 0.0000 -
3352.87/3364.12 c 3364 4769885 2294697 1 - 0.0000 -
3357.85/3369.17 c 3369 4776822 2298212 1 - 0.0000 -
3362.93/3374.22 c 3374 4783704 2301485 1 - 0.0000 -
3367.91/3379.27 c 3379 4790736 2304758 1 - 0.0000 -
3373.00/3384.32 c 3384 4798347 2307772 1 - 0.0000 -
3377.98/3389.37 c 3389 4805271 2310729 1 - 0.0000 -
3383.06/3394.42 c 3394 4812389 2312932 1 - 0.0000 -
3388.05/3399.47 c 3399 4819530 2315845 1 - 0.0000 -
3393.13/3404.52 c 3405 4826847 2318980 1 - 0.0000 -
3398.11/3409.57 c 3410 4834073 2321705 1 - 0.0000 -
3403.19/3414.62 c 3415 4841153 2324504 1 - 0.0000 -
3408.17/3419.67 c 3420 4848214 2327600 1 - 0.0000 -
3413.26/3424.72 c 3425 4855333 2330225 1 - 0.0000 -
3418.24/3429.77 c 3430 4862345 2333382 1 - 0.0000 -
3423.33/3434.82 c 3435 4869588 2336179 1 - 0.0000 -
3428.31/3439.87 c 3440 4876737 2339142 1 - 0.0000 -
3433.39/3444.92 c 3445 4883889 2342060 1 - 0.0000 -
3438.38/3449.97 c 3450 4890750 2344665 1 - 0.0000 -
3443.46/3455.02 c 3455 4897861 2347973 1 - 0.0000 -
3448.44/3460.07 c 3460 4904924 2351883 1 - 0.0000 -
3453.53/3465.12 c 3465 4912002 2355524 1 - 0.0000 -
3458.51/3470.17 c 3470 4919016 2358279 1 - 0.0000 -
3463.59/3475.23 c 3475 4925940 2361115 1 - 0.0000 -
3468.57/3480.29 c 3480 4932757 2364808 1 - 0.0000 -
3473.65/3485.34 c 3485 4939829 2368447 1 - 0.0000 -
3478.64/3490.39 c 3490 4946889 2371352 1 - 0.0000 -
3483.72/3495.44 c 3495 4953820 2374361 1 - 0.0000 -
3488.71/3500.49 c 3500 4960609 2377742 1 - 0.0000 -
3493.79/3505.54 c 3506 4967592 2380750 1 - 0.0000 -
3498.77/3510.59 c 3511 4974575 2384165 1 - 0.0000 -
3503.86/3515.64 c 3516 4981460 2387482 1 - 0.0000 -
3508.84/3520.69 c 3521 4988495 2390185 1 - 0.0000 -
3513.92/3525.74 c 3526 4995696 2393445 1 - 0.0000 -
3518.90/3530.79 c 3531 5003019 2396710 1 - 0.0000 -
3523.99/3535.84 c 3536 5010139 2400061 1 - 0.0000 -
3528.97/3540.89 c 3541 5017089 2403584 1 - 0.0000 -
3534.06/3545.94 c 3546 5024102 2406614 1 - 0.0000 -
3539.04/3550.99 c 3551 5031099 2409880 1 - 0.0000 -
3544.13/3556.04 c 3556 5038146 2412926 1 - 0.0000 -
3549.10/3561.09 c 3561 5045391 2415641 1 - 0.0000 -
3554.20/3566.14 c 3566 5052571 2418613 1 - 0.0000 -
3559.17/3571.19 c 3571 5059807 2421535 1 - 0.0000 -
3564.25/3576.24 c 3576 5067692 2424839 1 - 0.0000 -
3569.24/3581.29 c 3581 5075576 2428297 1 - 0.0000 -
3574.32/3586.34 c 3586 5083324 2431092 1 - 0.0000 -
3579.29/3591.39 c 3591 5090316 2433636 1 - 0.0000 -
3584.38/3596.44 c 3596 5097216 2436685 1 - 0.0000 -
3591.15/3603.22 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.15/3603.22 c Total Time : 3603.2200
3591.15/3603.22 c solving : 3603.2200
3591.15/3603.22 c presolving : 0.0211 (included in solving)
3591.15/3603.22 c B&B Tree :
3591.15/3603.22 c nodes (total) : 1
3591.15/3603.22 c Solution :
3591.15/3603.22 c Solutions found : 0
3591.15/3603.22 c Primal Bound : -
3591.15/3603.22 c Dual Bound : +0.00000000000000e+00
3591.15/3603.22 c Gap : -
3591.15/3603.22 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: 63931 MiB (37844 MiB free)
memory of node 1: 64510 MiB (63533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464507-1722385808/watcher-4464507-1722385808 -o /tmp/evaluation-result-4464507-1722385808/solver-4464507-1722385808 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722378594-30928 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464507-1722385808.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=35441, runsolver pid=35438
Current StackSize limit: 8192 KiB
[startup+0.10053 s]*
/proc/loadavg: 4.10 4.16 4.12 5/267 35444
/proc/meminfo: memFree=103785308/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=120560 memory=36956 CPUtime=0.09 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 7110 0 0 0 9 0 0 0 20 0 3 0 5176395 123453440 9239 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 30140 9239 2966 3035 0 12887 0
[pid=35441/tid=35443] ppid=35438 vsize=120560 memory=4026561586 CPUtime=0.06 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 2651 0 0 0 6 0 0 0 20 0 3 0 5176398 123453440 9239 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=120560 memory=232851243367 CPUtime=0 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5176399 123453440 9239 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 120560 KiB
Current children cumulated memory: 36956 KiB
[startup+0.206534 s]*
/proc/loadavg: 4.10 4.16 4.12 5/267 35444
/proc/meminfo: memFree=103774556/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=120560 memory=44876 CPUtime=0.2 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 9081 0 0 0 19 1 0 0 20 0 3 0 5176395 123453440 11219 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 30140 11219 2966 3035 0 15229 0
[pid=35441/tid=35443] ppid=35438 vsize=120560 memory=664970838410264707 CPUtime=0.16 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 4622 0 0 0 16 0 0 0 20 0 3 0 5176398 123453440 11219 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=120560 memory=15960 CPUtime=0 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5176399 123453440 11219 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 120560 KiB
Current children cumulated memory: 44876 KiB
[startup+0.305708 s]*
/proc/loadavg: 4.10 4.16 4.12 5/267 35444
/proc/meminfo: memFree=103774192/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=120560 memory=44876 CPUtime=0.3 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 9114 0 0 0 29 1 0 0 20 0 3 0 5176395 123453440 11219 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 30140 11219 2966 3035 0 15229 0
[pid=35441/tid=35443] ppid=35438 vsize=120560 memory=-5155626903581191045 CPUtime=0.26 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 4655 0 0 0 26 0 0 0 20 0 3 0 5176398 123453440 11219 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=120560 memory=0 CPUtime=0 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5176399 123453440 11219 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 120560 KiB
Current children cumulated memory: 44876 KiB
[startup+0.700261 s]
/proc/loadavg: 4.10 4.16 4.12 5/267 35446
/proc/meminfo: memFree=103768816/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=121500 memory=59040 CPUtime=0.68 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 12862 0 0 0 67 1 0 0 20 0 3 0 5176395 124416000 14760 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 30375 14760 2966 3035 0 18736 0
[pid=35441/tid=35443] ppid=35438 vsize=121500 memory=0 CPUtime=0.64 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 8403 0 0 0 64 0 0 0 20 0 3 0 5176398 124416000 14760 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=121500 memory=0 CPUtime=0 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5176399 124416000 14760 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 121500 KiB
Current children cumulated memory: 59040 KiB
[startup+1.50026 s]
/proc/loadavg: 4.10 4.16 4.12 5/267 35446
/proc/meminfo: memFree=103759492/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=121500 memory=59844 CPUtime=1.47 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 18252 0 0 0 146 1 0 0 20 0 3 0 5176395 124416000 14961 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 30375 14961 2966 3035 0 18868 0
[pid=35441/tid=35443] ppid=35438 vsize=121500 memory=0 CPUtime=1.45 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 13793 0 0 0 144 1 0 0 20 0 3 0 5176398 124416000 14961 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=121500 memory=0 CPUtime=0 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5176399 124416000 14961 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 121500 KiB
Current children cumulated memory: 59844 KiB
[startup+3.10554 s]
/proc/loadavg: 4.17 4.17 4.12 5/267 35446
/proc/meminfo: memFree=103749908/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=122464 memory=64844 CPUtime=3.08 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 20599 0 0 0 306 2 0 0 20 0 3 0 5176395 125403136 16211 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 30616 16211 2966 3035 0 20072 0
[pid=35441/tid=35443] ppid=35438 vsize=122464 memory=2273 CPUtime=3.04 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 16124 0 0 0 303 1 0 0 20 0 3 0 5176398 125403136 16211 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=122464 memory=0 CPUtime=0 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5176399 125403136 16211 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 122464 KiB
Current children cumulated memory: 64844 KiB
[startup+6.30025 s]
/proc/loadavg: 4.17 4.17 4.12 5/270 35505
/proc/meminfo: memFree=103738640/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=122464 memory=75136 CPUtime=6.27 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 30981 0 0 0 623 4 0 0 20 0 3 0 5176395 125403136 18784 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 30616 18784 2966 3035 0 22645 0
[pid=35441/tid=35443] ppid=35438 vsize=122464 memory=-5155626903581191045 CPUtime=6.23 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 26486 0 0 0 620 3 0 0 20 0 3 0 5176398 125403136 18784 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=122464 memory=74732 CPUtime=0 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5176399 125403136 18784 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 122464 KiB
Current children cumulated memory: 75136 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.16 4.12 5/270 35507
/proc/meminfo: memFree=103723076/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=122464 memory=81304 CPUtime=12.64 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 48537 0 0 0 1258 6 0 0 20 0 3 0 5176395 125403136 20326 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 30616 20326 3014 3035 0 24303 0
[pid=35441/tid=35443] ppid=35438 vsize=122464 memory=64844 CPUtime=12.6 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 43999 0 0 0 1255 5 0 0 20 0 3 0 5176398 125403136 20326 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=122464 memory=0 CPUtime=0 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5176399 125403136 20326 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 122464 KiB
Current children cumulated memory: 81304 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.16 4.12 5/268 35508
/proc/meminfo: memFree=103703072/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=122464 memory=88224 CPUtime=25.4 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 69918 0 0 0 2530 10 0 0 20 0 3 0 5176395 125403136 22056 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 30616 22056 3014 3035 0 26078 0
[pid=35441/tid=35443] ppid=35438 vsize=122464 memory=75208 CPUtime=25.36 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 65329 0 0 0 2527 9 0 0 20 0 3 0 5176398 125403136 22056 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=122464 memory=11584 CPUtime=0 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5176399 125403136 22056 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 122464 KiB
Current children cumulated memory: 88224 KiB
[startup+51.1056 s]
/proc/loadavg: 4.16 4.16 4.12 5/268 35514
/proc/meminfo: memFree=103657696/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=188000 memory=102380 CPUtime=50.91 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 108861 0 0 0 5071 20 0 0 20 0 3 0 5176395 192512000 25595 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 47000 25595 3014 3035 0 30625 0
[pid=35441/tid=35443] ppid=35438 vsize=188000 memory=97632 CPUtime=50.87 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 104193 0 0 0 5068 19 0 0 20 0 3 0 5176398 192512000 25595 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=188000 memory=97632 CPUtime=0 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5176399 192512000 25595 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 188000 KiB
Current children cumulated memory: 102380 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.15 4.12 5/268 35522
/proc/meminfo: memFree=103540432/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=189028 memory=148600 CPUtime=101.94 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 160842 0 0 0 10159 35 0 0 20 0 3 0 5176395 193564672 37150 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 47257 37150 3014 3035 0 40785 0
[pid=35441/tid=35443] ppid=35438 vsize=189028 memory=145416 CPUtime=101.89 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 156096 0 0 0 10155 34 0 0 20 0 3 0 5176398 193564672 37150 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=189028 memory=143252 CPUtime=0 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5176399 193564672 37150 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 189028 KiB
Current children cumulated memory: 148600 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/267 35580
/proc/meminfo: memFree=110317252/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=320100 memory=224760 CPUtime=161.73 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 204847 0 0 0 16121 52 0 0 20 0 3 0 5176395 327782400 56190 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 80025 56190 3014 3035 0 59853 0
[pid=35441/tid=35443] ppid=35438 vsize=320100 memory=11584 CPUtime=161.68 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 200075 0 0 0 16117 51 0 0 20 0 3 0 5176398 327782400 56190 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=320100 memory=11584 CPUtime=0 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5176399 327782400 56190 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 320100 KiB
################
# More data... #
################
/proc/35441/statm: 806097 788520 3014 3035 0 798085 0
[pid=35441/tid=35443] ppid=35438 vsize=3224388 memory=11584 CPUtime=3390.67 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 3156604 0 0 0 338039 1028 0 0 20 0 3 0 5176398 3301773312 788520 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=3224388 memory=3149556 CPUtime=0.02 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 128 0 0 0 0 2 0 0 20 0 3 0 5176399 3301773312 788520 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 3390.93 s
Current children cumulated vsize: 3224388 KiB
Current children cumulated memory: 3154080 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.13 5/266 37212
/proc/meminfo: memFree=112154880/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=3294036 memory=3207560 CPUtime=3450.74 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 3231127 0 0 0 344021 1053 0 0 20 0 3 0 5176395 3373092864 801890 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 823509 801890 3014 3035 0 811442 0
[pid=35441/tid=35443] ppid=35438 vsize=3294036 memory=11584 CPUtime=3450.47 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 3225129 0 0 0 344000 1047 0 0 20 0 3 0 5176398 3373092864 801890 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=3294036 memory=11584 CPUtime=0.02 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 130 0 0 0 0 2 0 0 20 0 3 0 5176399 3373092864 801890 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 3450.74 s
Current children cumulated vsize: 3294036 KiB
Current children cumulated memory: 3207560 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/266 37392
/proc/meminfo: memFree=111713844/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=3360600 memory=3256904 CPUtime=3510.53 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 3305913 0 0 0 349982 1071 0 0 20 0 3 0 5176395 3441254400 814226 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 840150 814226 3014 3035 0 823661 0
[pid=35441/tid=35443] ppid=35438 vsize=3360600 memory=11584 CPUtime=3510.27 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 3299894 0 0 0 349961 1066 0 0 20 0 3 0 5176398 3441254400 814226 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=3360600 memory=3234064 CPUtime=0.02 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 132 0 0 0 0 2 0 0 20 0 3 0 5176399 3441254400 814226 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 3510.53 s
Current children cumulated vsize: 3360600 KiB
Current children cumulated memory: 3256904 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.16 4.13 5/267 37403
/proc/meminfo: memFree=111623256/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=3432304 memory=3308080 CPUtime=3570.33 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 3370045 0 0 0 355942 1091 0 0 20 0 3 0 5176395 3514679296 827020 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 858076 827020 3014 3035 0 835845 0
[pid=35441/tid=35443] ppid=35438 vsize=3432304 memory=3294860 CPUtime=3570.06 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 3364005 0 0 0 355921 1085 0 0 20 0 3 0 5176398 3514679296 827020 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=3432304 memory=-7378984731055054461 CPUtime=0.03 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 134 0 0 0 1 2 0 0 20 0 3 0 5176399 3514679296 827020 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 3570.33 s
Current children cumulated vsize: 3432304 KiB
Current children cumulated memory: 3308080 KiB
[startup+3603.3 s]
# the end of solver process 35441 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.9 s, system=11.3607 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.19 4.16 4.12 5/267 37403
/proc/meminfo: memFree=111608368/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=3432304 memory=3308584 CPUtime=3572.03 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 3370804 0 0 0 356112 1091 0 0 20 0 3 0 5176395 3514679296 827146 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 858076 827146 3014 3035 0 835941 0
[pid=35441/tid=35443] ppid=35438 vsize=3432304 memory=7686721470247706567 CPUtime=3571.76 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 3364764 0 0 0 356090 1086 0 0 20 0 3 0 5176398 3514679296 827146 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=3432304 memory=4786653074784153250 CPUtime=0.03 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 134 0 0 0 1 2 0 0 20 0 3 0 5176399 3514679296 827146 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 3572.03 s
Current children cumulated vsize: 3432304 KiB
Current children cumulated memory: 3308584 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.15 4.12 5/267 37405
/proc/meminfo: memFree=111595808/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=3432304 memory=3321080 CPUtime=3584.78 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 3385794 0 0 0 357382 1096 0 0 20 0 3 0 5176395 3514679296 830270 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 858076 830270 3014 3035 0 839063 0
[pid=35441/tid=35443] ppid=35438 vsize=3432304 memory=11584 CPUtime=3584.5 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 3379754 0 0 0 357360 1090 0 0 20 0 3 0 5176398 3514679296 830270 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=3432304 memory=3302408 CPUtime=0.03 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 134 0 0 0 1 2 0 0 20 0 3 0 5176399 3514679296 830270 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 3584.78 s
Current children cumulated vsize: 3432304 KiB
Current children cumulated memory: 3321080 KiB
[startup+3600 s]*
/proc/loadavg: 4.15 4.15 4.12 4/258 37436
/proc/meminfo: memFree=114549756/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=3429220 memory=3318572 CPUtime=3587.97 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 3679775 0 0 0 357685 1112 0 0 20 0 3 0 5176395 3511521280 829643 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 857305 829643 3014 3035 0 838404 0
[pid=35441/tid=35443] ppid=35438 vsize=3429220 memory=7686721470247706567 CPUtime=3587.7 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 3673776 0 0 0 357663 1107 0 0 20 0 3 0 5176398 3511521280 829643 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=3429220 memory=4786653074784153250 CPUtime=0.03 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 134 0 0 0 1 2 0 0 20 0 3 0 5176399 3511521280 829643 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 3587.97 s
Current children cumulated vsize: 3429220 KiB
Current children cumulated memory: 3318572 KiB
[startup+3601.6 s]
/proc/loadavg: 4.15 4.15 4.12 4/258 37437
/proc/meminfo: memFree=114549916/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=3429220 memory=3318572 CPUtime=3589.56 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 3877267 0 0 0 357833 1123 0 0 20 0 3 0 5176395 3511521280 829643 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 857305 829643 3014 3035 0 838404 0
[pid=35441/tid=35443] ppid=35438 vsize=3429220 memory=12936 CPUtime=3589.29 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 3871224 0 0 0 357811 1118 0 0 20 0 3 0 5176398 3511521280 829643 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=3429220 memory=11584 CPUtime=0.03 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 134 0 0 0 1 2 0 0 20 0 3 0 5176399 3511521280 829643 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 3589.56 s
Current children cumulated vsize: 3429220 KiB
Current children cumulated memory: 3318572 KiB
[startup+3602.4 s]
/proc/loadavg: 4.15 4.15 4.12 4/258 37437
/proc/meminfo: memFree=114549916/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=3426136 memory=3315492 CPUtime=3590.36 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 3951750 0 0 0 357908 1128 0 0 20 0 3 0 5176395 3508363264 828873 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 856534 828873 3014 3035 0 837633 0
[pid=35441/tid=35443] ppid=35438 vsize=3426136 memory=3318572 CPUtime=3590.08 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 3945705 0 0 0 357886 1122 0 0 20 0 3 0 5176398 3508363264 828873 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=3426136 memory=25996 CPUtime=0.03 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 134 0 0 0 1 2 0 0 20 0 3 0 5176399 3508363264 828873 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 3590.36 s
Current children cumulated vsize: 3426136 KiB
Current children cumulated memory: 3315492 KiB
[startup+3602.8 s]
/proc/loadavg: 4.15 4.15 4.12 4/258 37437
/proc/meminfo: memFree=114549916/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=3424080 memory=3313436 CPUtime=3590.76 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 3954923 0 0 0 357948 1128 0 0 20 0 3 0 5176395 3506257920 828359 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 856020 828359 3014 3035 0 837119 0
[pid=35441/tid=35443] ppid=35438 vsize=3424080 memory=15814 CPUtime=3590.48 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 3948877 0 0 0 357926 1122 0 0 20 0 3 0 5176398 3506257920 828359 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=3424080 memory=3295 CPUtime=0.03 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 134 0 0 0 1 2 0 0 20 0 3 0 5176399 3506257920 828359 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 3590.76 s
Current children cumulated vsize: 3424080 KiB
Current children cumulated memory: 3313436 KiB
[startup+3603.2 s]
/proc/loadavg: 4.06 4.13 4.12 4/258 37437
/proc/meminfo: memFree=114561196/131524600 swapFree=131071996/131071996
[pid=35441] ppid=35438 vsize=3373708 memory=3263064 CPUtime=3591.15 cores=1,3
/proc/35441/stat : 35441 (fscip) S 35438 35441 30916 0 -1 1077936128 3956031 0 0 0 357987 1128 0 0 20 0 3 0 5176395 3454676992 815766 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
/proc/35441/statm: 843427 815766 3014 3035 0 824526 0
[pid=35441/tid=35443] ppid=35438 vsize=3373708 memory=3316236 CPUtime=3590.89 cores=1,3
/proc/35441/task/35443/stat : 35443 (fscip) R 35438 35441 30916 0 -1 4194368 3949985 0 0 0 357966 1123 0 0 20 0 3 0 5176398 3454676992 815766 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
[pid=35441/tid=35444] ppid=35438 vsize=3373708 memory=3321656 CPUtime=0.03 cores=1,3
/proc/35441/task/35444/stat : 35444 (fscip) S 35438 35441 30916 0 -1 1077936192 134 0 0 0 1 2 0 0 20 0 3 0 5176399 3454676992 815766 134679101440 4194304 16623229 140730849604656 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44318720 140730849612822 140730849612938 140730849612938 140730849619952 0
Current children cumulated CPU time: 3591.15 s
Current children cumulated vsize: 3373708 KiB
Current children cumulated memory: 3263064 KiB
Child status: 0
Real time (s): 3603.3
CPU time (s): 3591.26
CPU user time (s): 3579.9
CPU system time (s): 11.3607
CPU usage (%): 99.666
Max. virtual memory (cumulated for all children) (KiB): 3432304
Max. memory (cumulated for all children) (KiB): 3321656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.9
system time used= 11.3607
maximum resident set size= 3321656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3957183
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= 10963
involuntary context switches= 5125
# summary of solver processes directly reported to runsolver:
# pid: 35441
# total CPU time (s): 3591.26
# total CPU user time (s): 3579.9
# total CPU system time (s): 11.3607
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34385 second user time and 17.9933 second system time
The end
Begin job on nodeC014 at 2024-07-31 02:30:08
IDJOB=4464507
IDBENCH=160366
IDSOLVER=3092
FILE ID=nodeC014/4464507-1722385808
RUNJOBID= nodeC014-1722378594-30928
SLURM_JOB_ID= 8249827
Free space on /tmp= 889876 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x70split.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-4464507-1722385808/watcher-4464507-1722385808 -o /tmp/evaluation-result-4464507-1722385808/solver-4464507-1722385808 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722378594-30928 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464507-1722385808.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= ab4f361084eaa55350d5ce36089ad752
RANDOM SEED=1765878430
nodeC014.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 : 3600.444
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.06
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.956
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 : 7007.10
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 : 3670.231
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.06
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 : 3675.626
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 : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.200
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.06
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 : 3672.902
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 : 7007.10
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.245
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.06
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.469
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 : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 103811312 kB
MemAvailable: 107112076 kB
Buffers: 104752 kB
Cached: 3991584 kB
SwapCached: 0 kB
Active: 399792 kB
Inactive: 26708412 kB
Active(anon): 1532 kB
Inactive(anon): 23031356 kB
Active(file): 398260 kB
Inactive(file): 3677056 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56892 kB
Writeback: 0 kB
AnonPages: 23011820 kB
Mapped: 124356 kB
Shmem: 21336 kB
KReclaimable: 130192 kB
Slab: 219980 kB
SReclaimable: 130192 kB
SUnreclaim: 89788 kB
KernelStack: 4252 kB
PageTables: 54508 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 12989468 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4347904 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: 189140 kB
DirectMap2M: 10070016 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC014 at 2024-07-31 03:30:11