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.30/0.40 c Default LC presolving (default).
0.30/0.40 c ** Before presolving: virtualMemUsedAtLc = 336432679, getVmSize() = 219885568, SCIPgetMemUsed() = 178929965, SCIPgetMemTotal() = 188635709, SCIPgetMemExternEstim() = 147796970
0.30/0.40 c ** set memory limit for presolving in LC to 8.79599e+12 for SCIP **
3.87/3.94 c ** Estimated virtualMemUsedAtSolver = 446183886, getVmSize() = 563908608, SCIPgetMemUsed() = 339673059, SCIPgetMemTotal() = 521478859, SCIPgetMemExternEstim() = 147796970
3.87/3.94 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
3.87/3.94 c Original Problem :
3.87/3.94 c Problem name : instance-4464911-1722390131
3.87/3.94 c Variables : 54241 (54241 binary, 0 integer, 0 implicit integer, 0 continuous)
3.87/3.94 c Constraints : 106338
3.87/3.94 c Objective sense : minimize
3.87/3.94 c Presolved Problem :
3.87/3.94 c Variables : 47836 (24475 binary, 0 integer, 23361 implicit integer, 0 continuous)
3.87/3.94 c Constraints : 75846
3.87/3.94 c Constraints : Number
3.87/3.94 c knapsack : 1
3.87/3.94 c setppc : 29073
3.87/3.94 c linear : 23386
3.87/3.94 c indicator : 23386
3.87/3.94 c ** Instance transfer method used: 0
4.08/4.15 c ** ParaScipInstance copy increased the number of variables. **
4.27/4.36 c LC is working with racing ramp-up and with rebuilding tree after racing.
4.27/4.36 c Nodes Active
4.27/4.36 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
46.44/46.60 c 47 2 1 1 - 0.0000 -
52.81/53.02 c 53 5 4 1 - 0.0000 -
59.48/59.73 c 60 5 6 1 - 0.0000 -
64.87/65.18 c 65 6 5 1 - 0.0000 -
70.95/71.22 c 71 7 6 1 - 0.0000 -
76.03/76.37 c 76 8 7 1 - 0.0000 -
81.72/82.01 c 82 10 9 1 - 0.0000 -
93.57/93.91 c 94 12 11 1 - 0.0000 -
101.14/101.56 c 102 14 11 1 - 0.0000 -
106.12/106.59 c 107 17 10 1 - 0.0000 -
111.31/111.71 c 112 19 12 1 - 0.0000 -
119.28/119.74 c 120 25 14 1 - 0.0000 -
126.75/127.22 c 127 27 14 1 - 0.0000 -
131.93/132.45 c 132 30 15 1 - 0.0000 -
137.02/137.51 c 138 34 19 1 - 0.0000 -
145.69/146.25 c 146 35 20 1 - 0.0000 -
151.37/151.99 c 152 41 23 1 - 0.0000 -
159.64/160.20 c 160 62 40 1 - 0.0000 -
166.53/167.18 c 167 82 51 1 - 0.0000 -
175.20/175.82 c 176 100 67 1 - 0.0000 -
180.28/180.91 c 181 112 72 1 - 0.0000 -
185.96/186.62 c 187 135 86 1 - 0.0000 -
193.63/194.33 c 194 159 102 1 - 0.0000 -
199.32/200.04 c 200 181 110 1 - 0.0000 -
205.19/205.92 c 206 222 128 1 - 0.0000 -
210.28/211.06 c 211 258 143 1 - 0.0000 -
216.05/216.86 c 217 322 169 1 - 0.0000 -
221.94/222.73 c 223 381 196 1 - 0.0000 -
227.31/228.19 c 228 447 228 1 - 0.0000 -
232.60/233.43 c 233 498 245 1 - 0.0000 -
238.07/238.94 c 239 581 273 1 - 0.0000 -
243.75/244.68 c 245 645 283 1 - 0.0000 -
249.33/250.22 c 250 682 294 1 - 0.0000 -
259.79/260.71 c 261 739 313 1 - 0.0000 -
264.88/265.80 c 266 759 326 1 - 0.0000 -
271.07/272.02 c 272 796 340 1 - 0.0000 -
276.34/277.31 c 277 841 361 1 - 0.0000 -
281.52/282.58 c 283 872 380 1 - 0.0000 -
289.40/290.46 c 290 899 390 1 - 0.0000 -
294.58/295.66 c 296 962 409 1 - 0.0000 -
300.16/301.28 c 301 1014 426 1 - 0.0000 -
305.54/306.60 c 307 1062 445 1 - 0.0000 -
311.52/312.66 c 313 1105 471 1 - 0.0000 -
317.60/318.74 c 319 1137 480 1 - 0.0000 -
322.99/324.14 c 324 1164 488 1 - 0.0000 -
328.97/330.18 c 330 1168 489 1 - 0.0000 -
335.34/336.58 c 337 1202 505 1 - 0.0000 -
341.32/342.52 c 343 1270 539 1 - 0.0000 -
346.50/347.72 c 348 1301 547 1 - 0.0000 -
351.78/353.04 c 353 1330 565 1 - 0.0000 -
357.36/358.63 c 359 1430 592 1 - 0.0000 -
363.43/364.72 c 365 1502 621 1 - 0.0000 -
366.74/368.07 c * 368 1533 636 1 885.0000 0.0000 -
394.95/396.31 c 396 1542 1 1 885.0000 0.0000 -
400.74/402.11 c 402 1568 27 1 885.0000 0.0000 -
406.62/408.04 c 408 1594 45 1 885.0000 0.0000 -
417.68/419.13 c 419 1638 61 1 885.0000 0.0000 -
425.85/427.34 c 427 1688 100 1 885.0000 0.0000 -
430.93/432.40 c 432 1696 104 1 885.0000 0.0000 -
436.91/438.49 c 438 1708 110 1 885.0000 0.0000 -
442.50/444.03 c 444 1743 123 1 885.0000 0.0000 -
451.06/452.68 c 453 1765 129 1 885.0000 0.0000 -
457.54/459.10 c 459 1773 133 1 885.0000 0.0000 -
465.51/467.14 c 467 1788 140 1 885.0000 0.0000 -
470.50/472.17 c 472 1824 154 1 885.0000 0.0000 -
475.97/477.67 c 478 1860 168 1 885.0000 0.0000 -
483.85/485.56 c 486 1884 178 1 885.0000 0.0000 -
489.82/491.59 c 492 1926 190 1 885.0000 0.0000 -
495.70/497.44 c 497 1973 215 1 885.0000 0.0000 -
505.07/506.84 c 507 1982 222 1 885.0000 0.0000 -
512.55/514.32 c 514 1989 227 1 885.0000 0.0000 -
517.63/519.48 c 519 2003 237 1 885.0000 0.0000 -
523.41/525.23 c 525 2035 249 1 885.0000 0.0000 -
529.09/530.96 c 531 2085 267 1 885.0000 0.0000 -
535.47/537.39 c 537 2088 268 1 885.0000 0.0000 -
540.85/542.75 c 543 2120 284 1 885.0000 0.0000 -
546.04/547.96 c 548 2148 302 1 885.0000 0.0000 -
552.31/554.27 c 554 2178 318 1 885.0000 0.0000 -
558.48/560.47 c 560 2207 335 1 885.0000 0.0000 -
573.33/575.36 c 575 2227 345 1 885.0000 0.0000 -
578.32/580.36 c 580 2256 356 1 885.0000 0.0000 -
586.78/588.82 c 589 2288 376 1 885.0000 0.0000 -
592.07/594.18 c 594 2300 382 1 885.0000 0.0000 -
601.24/603.38 c 603 2311 389 1 885.0000 0.0000 -
607.11/609.25 c 609 2338 400 1 885.0000 0.0000 -
617.89/620.04 c 620 2346 408 1 885.0000 0.0000 -
628.64/630.88 c 631 2359 417 1 885.0000 0.0000 -
634.83/637.02 c 637 2388 434 1 885.0000 0.0000 -
640.10/642.35 c 642 2410 440 1 885.0000 0.0000 -
651.87/654.18 c 654 2426 446 1 885.0000 0.0000 -
658.14/660.45 c 660 2455 459 1 885.0000 0.0000 -
663.52/665.84 c 666 2503 479 1 885.0000 0.0000 -
669.50/671.84 c 672 2528 490 1 885.0000 0.0000 -
675.48/677.87 c 678 2554 501 1 885.0000 0.0000 -
681.95/684.34 c 684 2593 530 1 885.0000 0.0000 -
689.93/692.36 c 692 2619 550 1 885.0000 0.0000 -
695.80/698.23 c 698 2652 569 1 885.0000 0.0000 -
700.89/703.36 c 703 2673 570 1 885.0000 0.0000 -
706.47/708.91 c 709 2720 585 1 885.0000 0.0000 -
711.46/713.99 c 714 2751 600 1 885.0000 0.0000 -
716.64/719.12 c 719 2791 614 1 885.0000 0.0000 -
721.71/724.28 c 724 2824 623 1 885.0000 0.0000 -
727.79/730.36 c 730 2862 637 1 885.0000 0.0000 -
733.07/735.67 c 736 2898 659 1 885.0000 0.0000 -
739.75/742.40 c 742 2953 684 1 885.0000 0.0000 -
744.93/747.51 c 748 2971 690 1 885.0000 0.0000 -
751.11/753.76 c 754 2978 693 1 885.0000 0.0000 -
757.09/759.76 c 760 3029 714 1 885.0000 0.0000 -
762.47/765.13 c 765 3055 732 1 885.0000 0.0000 -
769.55/772.24 c 772 3064 737 1 885.0000 0.0000 -
776.52/779.20 c 779 3067 738 1 885.0000 0.0000 -
781.81/784.50 c 784 3107 746 1 885.0000 0.0000 -
787.68/790.43 c 790 3174 769 1 885.0000 0.0000 -
796.75/799.59 c 800 3187 780 1 885.0000 0.0000 -
801.83/804.67 c 805 3220 793 1 885.0000 0.0000 -
813.29/816.14 c 816 3251 802 1 885.0000 0.0000 -
819.28/822.14 c 822 3270 809 1 885.0000 0.0000 -
822.79/825.61 c * 826 3281 814 1 636.0000 0.0000 -
824.96/827.88 c 828 3310 514 1 636.0000 0.0000 -
830.05/832.98 c 833 3348 534 1 636.0000 0.0000 -
835.43/838.32 c 838 3413 549 1 636.0000 0.0000 -
841.11/844.04 c 844 3480 572 1 636.0000 0.0000 -
848.48/851.40 c 851 3517 586 1 636.0000 0.0000 -
853.46/856.48 c 856 3546 596 1 636.0000 0.0000 -
860.64/863.63 c 864 3591 605 1 636.0000 0.0000 -
866.32/869.36 c 869 3628 616 1 636.0000 0.0000 -
871.69/874.73 c 875 3706 643 1 636.0000 0.0000 -
877.27/880.33 c 880 3745 659 1 636.0000 0.0000 -
884.45/887.54 c 888 3785 673 1 636.0000 0.0000 -
890.82/893.96 c 894 3819 687 1 636.0000 0.0000 -
899.29/902.43 c 902 3871 700 1 636.0000 0.0000 -
904.97/908.19 c 908 3941 720 1 636.0000 0.0000 -
910.25/913.46 c 913 4004 735 1 636.0000 0.0000 -
916.03/919.25 c 919 4094 773 1 636.0000 0.0000 -
921.40/924.62 c 925 4151 792 1 636.0000 0.0000 -
926.68/929.95 c 930 4220 807 1 636.0000 0.0000 -
932.36/935.62 c 936 4290 826 1 636.0000 0.0000 -
937.84/941.11 c 941 4360 845 1 636.0000 0.0000 -
943.42/946.74 c 947 4403 860 1 636.0000 0.0000 -
948.81/952.14 c 952 4459 873 1 636.0000 0.0000 -
955.08/958.41 c 958 4508 887 1 636.0000 0.0000 -
961.15/964.50 c 964 4534 897 1 636.0000 0.0000 -
967.83/971.22 c 971 4564 906 1 636.0000 0.0000 -
973.81/977.28 c 977 4579 911 1 636.0000 0.0000 -
982.97/986.41 c * 986 4601 919 1 524.0000 0.0000 -
982.97/986.41 c 986 4601 919 1 524.0000 0.0000 -
988.57/992.02 c 992 4637 675 1 524.0000 0.0000 -
993.56/997.03 c 997 4669 683 1 524.0000 0.0000 -
999.33/1002.81 c 1003 4718 696 1 524.0000 0.0000 -
1005.90/1009.48 c 1009 4782 705 1 524.0000 0.0000 -
1013.88/1017.43 c 1017 4803 714 1 524.0000 0.0000 -
1019.56/1023.12 c 1023 4814 716 1 524.0000 0.0000 -
1026.63/1030.21 c 1030 4832 725 1 524.0000 0.0000 -
1031.91/1035.51 c 1036 4853 733 1 524.0000 0.0000 -
1037.59/1041.24 c 1041 4940 755 1 524.0000 0.0000 -
1043.76/1047.41 c 1047 5006 778 1 524.0000 0.0000 -
1049.74/1053.42 c 1053 5052 787 1 524.0000 0.0000 -
1055.42/1059.16 c 1059 5090 800 1 524.0000 0.0000 -
1061.50/1065.23 c 1065 5135 809 1 524.0000 0.0000 -
1067.28/1071.06 c 1071 5211 835 1 524.0000 0.0000 -
1073.15/1076.96 c 1077 5269 852 1 524.0000 0.0000 -
1078.92/1082.79 c 1083 5315 870 1 524.0000 0.0000 -
1084.90/1088.70 c 1089 5393 888 1 524.0000 0.0000 -
1090.38/1094.22 c 1094 5488 911 1 524.0000 0.0000 -
1095.85/1099.71 c 1100 5553 932 1 524.0000 0.0000 -
1100.94/1104.85 c 1105 5557 936 1 524.0000 0.0000 -
1108.80/1112.70 c 1113 5637 957 1 524.0000 0.0000 -
1114.78/1118.77 c 1119 5690 974 1 524.0000 0.0000 -
1119.97/1123.97 c 1124 5725 984 1 524.0000 0.0000 -
1127.64/1131.66 c 1132 5755 991 1 524.0000 0.0000 -
1133.62/1137.69 c 1138 5826 1006 1 524.0000 0.0000 -
1139.48/1143.58 c 1144 5928 1031 1 524.0000 0.0000 -
1144.76/1148.80 c 1149 5994 1048 1 524.0000 0.0000 -
1154.23/1158.38 c 1158 6026 1064 1 524.0000 0.0000 -
1161.91/1166.00 c 1166 6079 1076 1 524.0000 0.0000 -
1168.87/1173.07 c 1173 6101 1083 1 524.0000 0.0000 -
1176.74/1180.99 c 1181 6144 1096 1 524.0000 0.0000 -
1182.12/1186.34 c 1186 6171 1099 1 524.0000 0.0000 -
1187.81/1192.07 c 1192 6190 1106 1 524.0000 0.0000 -
1192.99/1197.24 c 1197 6202 1112 1 524.0000 0.0000 -
1201.46/1205.75 c 1206 6217 1114 1 524.0000 0.0000 -
1206.64/1210.97 c 1211 6235 1118 1 524.0000 0.0000 -
1211.62/1215.99 c 1216 6254 1121 1 524.0000 0.0000 -
1217.10/1221.47 c 1221 6280 1128 1 524.0000 0.0000 -
1222.98/1227.36 c 1227 6309 1133 1 524.0000 0.0000 -
1232.44/1236.82 c 1237 6332 1139 1 524.0000 0.0000 -
1237.52/1241.92 c 1242 6379 1151 1 524.0000 0.0000 -
1242.91/1247.33 c 1247 6402 1154 1 524.0000 0.0000 -
1248.49/1252.93 c 1253 6475 1177 1 524.0000 0.0000 -
1250.97/1255.47 c * 1255 6483 1179 1 279.0000 0.0000 -
1253.48/1257.93 c 1258 6514 573 1 279.0000 0.0000 -
1258.76/1263.22 c 1263 6581 585 1 279.0000 0.0000 -
1263.84/1268.31 c 1268 6633 592 1 279.0000 0.0000 -
1269.32/1273.81 c 1274 6685 600 1 279.0000 0.0000 -
1276.18/1280.78 c 1281 6732 604 1 279.0000 0.0000 -
1281.96/1286.58 c 1287 6786 613 1 279.0000 0.0000 -
1287.44/1292.02 c 1292 6835 621 1 279.0000 0.0000 -
1292.71/1297.30 c 1297 6914 634 1 279.0000 0.0000 -
1298.69/1303.39 c 1303 6979 643 1 279.0000 0.0000 -
1304.26/1308.96 c 1309 7064 655 1 279.0000 0.0000 -
1309.35/1314.06 c 1314 7110 658 1 279.0000 0.0000 -
1315.13/1319.86 c 1320 7178 667 1 279.0000 0.0000 -
1320.31/1325.09 c 1325 7239 675 1 279.0000 0.0000 -
1326.07/1330.88 c 1331 7281 682 1 279.0000 0.0000 -
1331.75/1336.55 c 1337 7326 687 1 279.0000 0.0000 -
1337.63/1342.40 c 1342 7368 694 1 279.0000 0.0000 -
1343.31/1348.15 c 1348 7444 713 1 279.0000 0.0000 -
1349.09/1353.93 c 1354 7507 718 1 279.0000 0.0000 -
1354.66/1359.56 c 1360 7554 725 1 279.0000 0.0000 -
1360.14/1365.01 c 1365 7625 736 1 279.0000 0.0000 -
1366.01/1370.92 c 1371 7719 752 1 279.0000 0.0000 -
1371.29/1376.24 c 1376 7811 771 1 279.0000 0.0000 -
1380.06/1385.09 c 1385 7875 783 1 279.0000 0.0000 -
1385.23/1390.25 c 1390 7905 789 1 279.0000 0.0000 -
1390.51/1395.55 c 1396 7966 799 1 279.0000 0.0000 -
1395.99/1401.01 c 1401 8018 804 1 279.0000 0.0000 -
1401.67/1406.70 c 1407 8080 811 1 279.0000 0.0000 -
1406.84/1411.96 c 1412 8129 820 1 279.0000 0.0000 -
1412.61/1417.78 c 1418 8232 835 1 279.0000 0.0000 -
1417.90/1423.02 c 1423 8276 844 1 279.0000 0.0000 -
1423.77/1428.93 c 1429 8352 854 1 279.0000 0.0000 -
1429.55/1434.74 c 1435 8439 874 1 279.0000 0.0000 -
1434.93/1440.19 c 1440 8521 884 1 279.0000 0.0000 -
1440.80/1446.02 c 1446 8596 895 1 279.0000 0.0000 -
1446.18/1451.48 c 1451 8667 908 1 279.0000 0.0000 -
1451.25/1456.56 c 1457 8719 917 1 279.0000 0.0000 -
1456.83/1462.14 c 1462 8809 933 1 279.0000 0.0000 -
1462.51/1467.81 c 1468 8874 946 1 279.0000 0.0000 -
1467.79/1473.13 c 1473 8970 964 1 279.0000 0.0000 -
1473.36/1478.76 c 1479 9043 975 1 279.0000 0.0000 -
1479.34/1484.77 c 1485 9143 986 1 279.0000 0.0000 -
1485.01/1490.40 c 1490 9217 1003 1 279.0000 0.0000 -
1490.39/1495.83 c 1496 9292 1015 1 279.0000 0.0000 -
1495.57/1501.03 c 1501 9372 1027 1 279.0000 0.0000 -
1504.54/1510.02 c 1510 9390 1031 1 279.0000 0.0000 -
1511.91/1517.46 c 1517 9448 1037 1 279.0000 0.0000 -
1517.18/1522.76 c 1523 9539 1046 1 279.0000 0.0000 -
1521.67/1527.29 c * 1527 9580 1055 1 180.0000 0.0000 -
1522.97/1528.53 c 1529 9611 660 1 180.0000 0.0000 -
1528.05/1533.69 c 1534 9644 660 1 180.0000 0.0000 -
1533.43/1539.04 c 1539 9746 670 1 180.0000 0.0000 -
1538.71/1544.38 c 1544 9844 682 1 180.0000 0.0000 -
1543.98/1549.64 c 1550 9964 697 1 180.0000 0.0000 -
1549.26/1554.92 c 1555 10047 707 1 180.0000 0.0000 -
1554.93/1560.63 c 1561 10099 715 1 180.0000 0.0000 -
1560.32/1566.08 c 1566 10190 724 1 180.0000 0.0000 -
1565.99/1571.75 c 1572 10265 735 1 180.0000 0.0000 -
1571.27/1577.09 c 1577 10374 743 1 180.0000 0.0000 -
1576.65/1582.43 c 1582 10473 757 1 180.0000 0.0000 -
1583.02/1588.83 c 1589 10560 769 1 180.0000 0.0000 -
1588.39/1594.22 c 1594 10638 783 1 180.0000 0.0000 -
1593.37/1599.29 c 1599 10716 783 1 180.0000 0.0000 -
1598.75/1604.62 c 1605 10810 790 1 180.0000 0.0000 -
1605.72/1611.62 c 1612 10834 794 1 180.0000 0.0000 -
1611.10/1617.03 c 1617 10902 796 1 180.0000 0.0000 -
1617.08/1623.03 c 1623 10971 807 1 180.0000 0.0000 -
1622.85/1628.84 c 1629 11078 821 1 180.0000 0.0000 -
1628.14/1634.18 c 1634 11173 830 1 180.0000 0.0000 -
1635.00/1641.04 c 1641 11204 834 1 180.0000 0.0000 -
1640.48/1646.52 c 1647 11316 843 1 180.0000 0.0000 -
1646.15/1652.21 c 1652 11413 857 1 180.0000 0.0000 -
1651.72/1657.87 c 1658 11472 862 1 180.0000 0.0000 -
1657.01/1663.19 c 1663 11570 878 1 180.0000 0.0000 -
1662.48/1668.60 c 1669 11640 894 1 180.0000 0.0000 -
1668.05/1674.24 c 1674 11721 906 1 180.0000 0.0000 -
1673.23/1679.45 c 1679 11831 926 1 180.0000 0.0000 -
1678.51/1684.73 c 1685 11934 938 1 180.0000 0.0000 -
1683.79/1690.04 c 1690 12040 943 1 180.0000 0.0000 -
1689.17/1695.49 c 1695 12122 954 1 180.0000 0.0000 -
1690.37/1696.68 c * 1697 12122 954 1 152.0000 0.0000 -
1694.76/1701.10 c 1701 12192 836 1 152.0000 0.0000 -
1700.53/1706.87 c 1707 12289 847 1 152.0000 0.0000 -
1706.00/1712.31 c 1712 12403 857 1 152.0000 0.0000 -
1711.39/1717.70 c 1718 12531 869 1 152.0000 0.0000 -
1716.56/1722.90 c 1723 12629 875 1 152.0000 0.0000 -
1727.52/1733.90 c 1734 12682 883 1 152.0000 0.0000 -
1737.79/1744.28 c 1744 12750 889 1 152.0000 0.0000 -
1743.26/1749.78 c 1750 12856 897 1 152.0000 0.0000 -
1748.65/1755.15 c 1755 12974 911 1 152.0000 0.0000 -
1754.22/1760.70 c 1761 13021 911 1 152.0000 0.0000 -
1759.20/1765.77 c 1766 13043 912 1 152.0000 0.0000 -
1764.58/1771.19 c 1771 13146 924 1 152.0000 0.0000 -
1769.86/1776.41 c 1776 13252 932 1 152.0000 0.0000 -
1775.04/1781.65 c 1782 13331 938 1 152.0000 0.0000 -
1785.29/1791.97 c 1792 13392 942 1 152.0000 0.0000 -
1791.17/1797.82 c 1798 13440 946 1 152.0000 0.0000 -
1797.75/1804.47 c 1804 13526 956 1 152.0000 0.0000 -
1803.82/1810.59 c 1811 13570 959 1 152.0000 0.0000 -
1809.00/1815.75 c 1816 13626 965 1 152.0000 0.0000 -
1814.38/1821.15 c 1821 13677 967 1 152.0000 0.0000 -
1822.35/1829.13 c 1829 13695 969 1 152.0000 0.0000 -
1827.73/1834.55 c 1835 13755 970 1 152.0000 0.0000 -
1833.00/1839.88 c 1840 13818 981 1 152.0000 0.0000 -
1838.29/1845.15 c 1845 13919 992 1 152.0000 0.0000 -
1843.96/1850.80 c 1851 13975 998 1 152.0000 0.0000 -
1849.54/1856.49 c 1856 14065 1011 1 152.0000 0.0000 -
1855.31/1862.23 c 1862 14153 1014 1 152.0000 0.0000 -
1860.99/1867.92 c 1868 14263 1025 1 152.0000 0.0000 -
1866.47/1873.48 c 1873 14379 1035 1 152.0000 0.0000 -
1871.75/1878.72 c 1879 14488 1055 1 152.0000 0.0000 -
1876.93/1883.97 c 1884 14623 1080 1 152.0000 0.0000 -
1882.30/1889.39 c 1889 14692 1090 1 152.0000 0.0000 -
1887.78/1894.81 c 1895 14768 1099 1 152.0000 0.0000 -
1892.86/1899.93 c 1900 14842 1106 1 152.0000 0.0000 -
1898.34/1905.48 c 1905 14941 1121 1 152.0000 0.0000 -
1903.71/1910.83 c 1911 15066 1132 1 152.0000 0.0000 -
1909.10/1916.22 c 1916 15161 1150 1 152.0000 0.0000 -
1915.07/1922.24 c 1922 15248 1155 1 152.0000 0.0000 -
1922.46/1929.61 c 1930 15270 1161 1 152.0000 0.0000 -
1928.54/1935.75 c 1936 15290 1167 1 152.0000 0.0000 -
1935.02/1942.28 c 1942 15349 1177 1 152.0000 0.0000 -
1941.80/1949.06 c 1949 15403 1189 1 152.0000 0.0000 -
1947.19/1954.44 c 1954 15474 1204 1 152.0000 0.0000 -
1955.06/1962.37 c 1962 15525 1208 1 152.0000 0.0000 -
1960.64/1967.92 c 1968 15578 1212 1 152.0000 0.0000 -
1967.32/1974.60 c 1975 15599 1214 1 152.0000 0.0000 -
1974.89/1982.23 c 1982 15656 1224 1 152.0000 0.0000 -
1979.98/1987.35 c 1987 15706 1229 1 152.0000 0.0000 -
1985.36/1992.76 c 1993 15747 1235 1 152.0000 0.0000 -
1990.55/1997.99 c 1998 15794 1239 1 152.0000 0.0000 -
1995.93/2003.36 c 2003 15795 1238 1 152.0000 0.0000 -
2001.21/2008.68 c 2009 15901 1249 1 152.0000 0.0000 -
2007.30/2014.70 c 2015 16006 1259 1 152.0000 0.0000 -
2012.27/2019.76 c 2020 16068 1265 1 152.0000 0.0000 -
2018.75/2026.29 c 2026 16131 1275 1 152.0000 0.0000 -
2024.14/2031.66 c 2032 16206 1281 1 152.0000 0.0000 -
2033.21/2040.71 c 2041 16246 1290 1 152.0000 0.0000 -
2038.79/2046.35 c 2046 16281 1298 1 152.0000 0.0000 -
2045.38/2052.94 c 2053 16313 1304 1 152.0000 0.0000 -
2051.56/2059.19 c 2059 16332 1307 1 152.0000 0.0000 -
2060.04/2067.62 c 2068 16368 1307 1 152.0000 0.0000 -
2067.62/2075.24 c 2075 16393 1308 1 152.0000 0.0000 -
2072.99/2080.65 c 2081 16483 1318 1 152.0000 0.0000 -
2079.78/2087.47 c 2087 16559 1330 1 152.0000 0.0000 -
2087.15/2094.88 c 2095 16594 1338 1 152.0000 0.0000 -
2096.03/2103.76 c 2104 16666 1347 1 152.0000 0.0000 -
2102.31/2110.02 c 2110 16734 1353 1 152.0000 0.0000 -
2107.59/2115.39 c 2115 16856 1367 1 152.0000 0.0000 -
2115.27/2123.04 c 2123 16918 1372 1 152.0000 0.0000 -
2120.65/2128.48 c 2128 16965 1376 1 152.0000 0.0000 -
2126.33/2134.16 c 2134 17072 1388 1 152.0000 0.0000 -
2131.41/2139.28 c 2139 17173 1389 1 152.0000 0.0000 -
2138.09/2145.98 c 2146 17212 1395 1 152.0000 0.0000 -
2145.06/2152.97 c 2153 17239 1400 1 152.0000 0.0000 -
2152.84/2160.75 c 2161 17331 1406 1 152.0000 0.0000 -
2158.02/2165.97 c 2166 17389 1412 1 152.0000 0.0000 -
2165.80/2173.70 c 2174 17406 1413 1 152.0000 0.0000 -
2170.89/2178.87 c 2179 17452 1420 1 152.0000 0.0000 -
2176.57/2184.55 c 2185 17487 1424 1 152.0000 0.0000 -
2183.75/2191.72 c 2192 17559 1436 1 152.0000 0.0000 -
2189.03/2197.00 c 2197 17680 1449 1 152.0000 0.0000 -
2194.51/2202.55 c 2203 17816 1463 1 152.0000 0.0000 -
2200.29/2208.38 c 2208 17868 1472 1 152.0000 0.0000 -
2205.86/2213.91 c 2214 17978 1483 1 152.0000 0.0000 -
2211.35/2219.47 c 2219 18069 1491 1 152.0000 0.0000 -
2216.63/2224.72 c 2225 18113 1498 1 152.0000 0.0000 -
2222.11/2230.20 c 2230 18210 1505 1 152.0000 0.0000 -
2227.30/2235.48 c 2235 18271 1511 1 152.0000 0.0000 -
2232.78/2240.92 c 2241 18303 1517 1 152.0000 0.0000 -
2241.76/2249.99 c 2250 18356 1523 1 152.0000 0.0000 -
2248.63/2256.82 c 2257 18410 1532 1 152.0000 0.0000 -
2254.52/2262.79 c 2263 18531 1542 1 152.0000 0.0000 -
2259.90/2268.18 c 2268 18633 1548 1 152.0000 0.0000 -
2265.08/2273.34 c 2273 18753 1556 1 152.0000 0.0000 -
2270.26/2278.52 c 2279 18862 1568 1 152.0000 0.0000 -
2276.04/2284.35 c 2284 18906 1576 1 152.0000 0.0000 -
2281.43/2289.78 c 2290 18923 1580 1 152.0000 0.0000 -
2286.71/2295.05 c 2295 18982 1589 1 152.0000 0.0000 -
2291.98/2300.37 c 2300 19092 1602 1 152.0000 0.0000 -
2297.36/2305.79 c 2306 19211 1607 1 152.0000 0.0000 -
2304.44/2312.80 c 2313 19273 1613 1 152.0000 0.0000 -
2310.42/2318.85 c 2319 19328 1619 1 152.0000 0.0000 -
2315.91/2324.39 c 2324 19440 1625 1 152.0000 0.0000 -
2321.78/2330.28 c 2330 19503 1626 1 152.0000 0.0000 -
2327.67/2336.12 c 2336 19560 1638 1 152.0000 0.0000 -
2332.75/2341.24 c 2341 19702 1649 1 152.0000 0.0000 -
2337.83/2346.35 c 2346 19724 1648 1 152.0000 0.0000 -
2343.12/2351.69 c 2352 19825 1653 1 152.0000 0.0000 -
2348.40/2356.94 c 2357 19946 1663 1 152.0000 0.0000 -
2353.58/2362.17 c 2362 20008 1667 1 152.0000 0.0000 -
2359.06/2367.66 c 2368 20127 1679 1 152.0000 0.0000 -
2364.34/2372.97 c 2373 20219 1687 1 152.0000 0.0000 -
2369.53/2378.14 c 2378 20333 1696 1 152.0000 0.0000 -
2375.11/2383.72 c 2384 20432 1707 1 152.0000 0.0000 -
2380.98/2389.60 c 2390 20519 1715 1 152.0000 0.0000 -
2385.96/2394.63 c 2395 20613 1718 1 152.0000 0.0000 -
2391.25/2399.95 c 2400 20643 1720 1 152.0000 0.0000 -
2396.63/2405.36 c 2405 20766 1727 1 152.0000 0.0000 -
2401.71/2410.49 c 2410 20851 1731 1 152.0000 0.0000 -
2410.29/2419.04 c 2419 20943 1740 1 152.0000 0.0000 -
2417.76/2426.52 c 2427 21020 1749 1 152.0000 0.0000 -
2426.43/2435.21 c 2435 21118 1765 1 152.0000 0.0000 -
2431.62/2440.40 c 2440 21242 1775 1 152.0000 0.0000 -
2436.79/2445.66 c 2446 21359 1789 1 152.0000 0.0000 -
2442.78/2451.61 c 2452 21437 1789 1 152.0000 0.0000 -
2448.25/2457.18 c 2457 21562 1806 1 152.0000 0.0000 -
2453.73/2462.65 c 2463 21689 1820 1 152.0000 0.0000 -
2460.50/2469.43 c 2469 21805 1823 1 152.0000 0.0000 -
2466.38/2475.30 c 2475 21932 1843 1 152.0000 0.0000 -
2471.45/2480.41 c 2480 22070 1860 1 152.0000 0.0000 -
2477.04/2486.07 c 2486 22152 1865 1 152.0000 0.0000 -
2483.02/2492.03 c 2492 22256 1877 1 152.0000 0.0000 -
2488.29/2497.38 c 2497 22399 1897 1 152.0000 0.0000 -
2494.17/2503.24 c 2503 22481 1906 1 152.0000 0.0000 -
2499.35/2508.41 c 2508 22631 1920 1 152.0000 0.0000 -
2504.44/2513.56 c 2514 22765 1930 1 152.0000 0.0000 -
2509.82/2518.92 c 2519 22892 1943 1 152.0000 0.0000 -
2515.01/2524.18 c 2524 23026 1962 1 152.0000 0.0000 -
2520.28/2529.49 c 2530 23164 1977 1 152.0000 0.0000 -
2525.46/2534.69 c 2535 23293 1981 1 152.0000 0.0000 -
2530.74/2539.90 c 2540 23422 1994 1 152.0000 0.0000 -
2535.92/2545.18 c 2545 23533 1999 1 152.0000 0.0000 -
2542.59/2551.88 c 2552 23638 2007 1 152.0000 0.0000 -
2550.17/2559.46 c 2559 23706 2016 1 152.0000 0.0000 -
2555.36/2564.70 c 2565 23778 2022 1 152.0000 0.0000 -
2561.44/2570.70 c 2571 23852 2024 1 152.0000 0.0000 -
2566.73/2576.07 c 2576 23957 2032 1 152.0000 0.0000 -
2572.70/2582.05 c 2582 24088 2043 1 152.0000 0.0000 -
2580.57/2589.98 c 2590 24188 2051 1 152.0000 0.0000 -
2588.45/2597.89 c 2598 24288 2056 1 152.0000 0.0000 -
2595.43/2604.83 c 2605 24397 2059 1 152.0000 0.0000 -
2600.81/2610.24 c 2610 24504 2063 1 152.0000 0.0000 -
2606.60/2616.04 c 2616 24549 2070 1 152.0000 0.0000 -
2612.27/2621.78 c 2622 24621 2081 1 152.0000 0.0000 -
2618.06/2627.53 c 2628 24672 2082 1 152.0000 0.0000 -
2624.04/2633.51 c 2634 24753 2098 1 152.0000 0.0000 -
2631.22/2640.74 c 2641 24787 2099 1 152.0000 0.0000 -
2636.70/2646.29 c 2646 24912 2117 1 152.0000 0.0000 -
2641.87/2651.44 c 2651 24997 2124 1 152.0000 0.0000 -
2647.16/2656.77 c 2657 25111 2138 1 152.0000 0.0000 -
2652.44/2662.00 c 2662 25203 2153 1 152.0000 0.0000 -
2659.42/2669.06 c 2669 25253 2161 1 152.0000 0.0000 -
2665.09/2674.76 c 2675 25371 2168 1 152.0000 0.0000 -
2670.57/2680.28 c 2680 25482 2178 1 152.0000 0.0000 -
2676.26/2685.92 c 2686 25557 2180 1 152.0000 0.0000 -
2681.64/2691.31 c 2691 25662 2187 1 152.0000 0.0000 -
2687.01/2696.77 c 2697 25735 2195 1 152.0000 0.0000 -
2692.50/2702.24 c 2702 25803 2201 1 152.0000 0.0000 -
2697.67/2707.41 c 2707 25873 2201 1 152.0000 0.0000 -
2703.65/2713.42 c 2713 25961 2210 1 152.0000 0.0000 -
2708.83/2718.64 c 2719 26042 2219 1 152.0000 0.0000 -
2714.30/2724.11 c 2724 26130 2227 1 152.0000 0.0000 -
2719.78/2729.65 c 2730 26211 2238 1 152.0000 0.0000 -
2729.04/2738.93 c 2739 26282 2247 1 152.0000 0.0000 -
2734.32/2744.20 c 2744 26381 2258 1 152.0000 0.0000 -
2739.51/2749.42 c 2749 26491 2276 1 152.0000 0.0000 -
2744.69/2754.65 c 2755 26620 2290 1 152.0000 0.0000 -
2750.18/2760.11 c 2760 26713 2299 1 152.0000 0.0000 -
2755.24/2765.27 c 2765 26820 2298 1 152.0000 0.0000 -
2760.73/2770.71 c 2771 26909 2308 1 152.0000 0.0000 -
2765.81/2775.85 c 2776 27016 2316 1 152.0000 0.0000 -
2771.79/2781.81 c 2782 27108 2323 1 152.0000 0.0000 -
2777.17/2787.20 c 2787 27235 2331 1 152.0000 0.0000 -
2782.34/2792.49 c 2792 27335 2338 1 152.0000 0.0000 -
2787.62/2797.74 c 2798 27436 2346 1 152.0000 0.0000 -
2792.79/2802.97 c 2803 27539 2355 1 152.0000 0.0000 -
2797.98/2808.12 c 2808 27648 2368 1 152.0000 0.0000 -
2803.14/2813.32 c 2813 27756 2377 1 152.0000 0.0000 -
2808.43/2818.66 c 2819 27863 2386 1 152.0000 0.0000 -
2814.30/2824.50 c 2825 27945 2398 1 152.0000 0.0000 -
2819.58/2829.83 c 2830 28039 2406 1 152.0000 0.0000 -
2825.05/2835.30 c 2835 28153 2410 1 152.0000 0.0000 -
2830.23/2840.58 c 2841 28258 2420 1 152.0000 0.0000 -
2835.41/2845.79 c 2846 28365 2431 1 152.0000 0.0000 -
2840.79/2851.19 c 2851 28458 2446 1 152.0000 0.0000 -
2846.27/2856.63 c 2857 28563 2455 1 152.0000 0.0000 -
2851.55/2861.97 c 2862 28664 2462 1 152.0000 0.0000 -
2869.10/2879.58 c 2880 28732 2471 1 152.0000 0.0000 -
2874.28/2884.79 c 2885 28826 2479 1 152.0000 0.0000 -
2879.45/2889.95 c 2890 28926 2496 1 152.0000 0.0000 -
2884.64/2895.16 c 2895 29016 2506 1 152.0000 0.0000 -
2889.81/2900.36 c 2900 29109 2510 1 152.0000 0.0000 -
2895.09/2905.63 c 2906 29225 2515 1 152.0000 0.0000 -
2900.36/2910.98 c 2911 29339 2520 1 152.0000 0.0000 -
2903.74/2914.32 c * 2914 29369 2521 1 107.0000 0.0000 -
2906.25/2916.84 c 2917 29432 1591 1 107.0000 0.0000 -
2911.54/2922.11 c 2922 29563 1594 1 107.0000 0.0000 -
2916.60/2927.25 c 2927 29678 1596 1 107.0000 0.0000 -
2921.78/2932.43 c 2932 29806 1608 1 107.0000 0.0000 -
2926.85/2937.51 c 2938 29943 1615 1 107.0000 0.0000 -
2932.04/2942.72 c 2943 30040 1618 1 107.0000 0.0000 -
2940.70/2951.45 c 2951 30148 1618 1 107.0000 0.0000 -
2945.87/2956.63 c 2957 30293 1621 1 107.0000 0.0000 -
2951.05/2961.81 c 2962 30410 1625 1 107.0000 0.0000 -
2956.24/2967.02 c 2967 30549 1632 1 107.0000 0.0000 -
2961.80/2972.68 c 2973 30673 1635 1 107.0000 0.0000 -
2967.08/2977.92 c 2978 30782 1651 1 107.0000 0.0000 -
2972.35/2983.20 c 2983 30913 1664 1 107.0000 0.0000 -
2977.83/2988.72 c 2989 31021 1678 1 107.0000 0.0000 -
2983.30/2994.22 c 2994 31147 1692 1 107.0000 0.0000 -
2988.59/2999.54 c 3000 31269 1694 1 107.0000 0.0000 -
2993.86/3004.83 c 3005 31390 1691 1 107.0000 0.0000 -
2999.04/3010.09 c 3010 31508 1702 1 107.0000 0.0000 -
3004.31/3015.38 c 3015 31630 1716 1 107.0000 0.0000 -
3009.49/3020.55 c 3021 31737 1722 1 107.0000 0.0000 -
3014.66/3025.78 c 3026 31857 1731 1 107.0000 0.0000 -
3019.94/3031.02 c 3031 32008 1740 1 107.0000 0.0000 -
3025.12/3036.21 c 3036 32142 1742 1 107.0000 0.0000 -
3030.19/3041.39 c 3041 32306 1753 1 107.0000 0.0000 -
3039.86/3051.04 c 3051 32396 1751 1 107.0000 0.0000 -
3045.83/3057.07 c 3057 32502 1753 1 107.0000 0.0000 -
3051.11/3062.33 c 3062 32592 1749 1 107.0000 0.0000 -
3056.68/3067.97 c 3068 32632 1750 1 107.0000 0.0000 -
3062.66/3073.93 c 3074 32716 1750 1 107.0000 0.0000 -
3068.14/3079.44 c 3079 32832 1755 1 107.0000 0.0000 -
3073.21/3084.53 c 3085 32944 1762 1 107.0000 0.0000 -
3078.40/3089.70 c 3090 33062 1772 1 107.0000 0.0000 -
3084.67/3096.08 c 3096 33173 1777 1 107.0000 0.0000 -
3093.33/3104.76 c 3105 33207 1778 1 107.0000 0.0000 -
3098.71/3110.15 c 3110 33295 1780 1 107.0000 0.0000 -
3104.18/3115.68 c 3116 33336 1787 1 107.0000 0.0000 -
3110.16/3121.66 c 3122 33360 1789 1 107.0000 0.0000 -
3115.64/3127.11 c 3127 33440 1802 1 107.0000 0.0000 -
3121.71/3133.23 c 3133 33540 1805 1 107.0000 0.0000 -
3127.18/3138.70 c 3139 33629 1813 1 107.0000 0.0000 -
3132.56/3144.13 c 3144 33772 1821 1 107.0000 0.0000 -
3138.02/3149.69 c 3150 33862 1826 1 107.0000 0.0000 -
3143.51/3155.19 c 3155 33956 1831 1 107.0000 0.0000 -
3155.75/3167.44 c 3167 34032 1839 1 107.0000 0.0000 -
3162.53/3174.24 c 3174 34070 1846 1 107.0000 0.0000 -
3168.00/3179.72 c 3180 34158 1855 1 107.0000 0.0000 -
3173.58/3185.33 c 3185 34228 1857 1 107.0000 0.0000 -
3179.36/3191.16 c 3191 34301 1861 1 107.0000 0.0000 -
3184.54/3196.35 c 3196 34435 1870 1 107.0000 0.0000 -
3192.31/3204.13 c 3204 34545 1872 1 107.0000 0.0000 -
3197.79/3209.68 c 3210 34652 1877 1 107.0000 0.0000 -
3203.27/3215.19 c 3215 34771 1878 1 107.0000 0.0000 -
3209.16/3221.04 c 3221 34862 1885 1 107.0000 0.0000 -
3214.43/3226.32 c 3226 34962 1896 1 107.0000 0.0000 -
3219.80/3231.73 c 3232 35055 1910 1 107.0000 0.0000 -
3225.48/3237.45 c 3237 35138 1916 1 107.0000 0.0000 -
3231.16/3243.18 c 3243 35249 1923 1 107.0000 0.0000 -
3236.84/3248.87 c 3249 35369 1931 1 107.0000 0.0000 -
3246.50/3258.59 c 3259 35458 1936 1 107.0000 0.0000 -
3253.37/3265.40 c 3265 35558 1947 1 107.0000 0.0000 -
3258.95/3271.01 c 3271 35633 1956 1 107.0000 0.0000 -
3264.84/3276.97 c 3277 35665 1961 1 107.0000 0.0000 -
3270.21/3282.35 c 3282 35765 1973 1 107.0000 0.0000 -
3275.59/3287.73 c 3288 35907 1986 1 107.0000 0.0000 -
3280.67/3292.88 c 3293 35980 1993 1 107.0000 0.0000 -
3285.85/3298.00 c 3298 36095 2008 1 107.0000 0.0000 -
3291.11/3303.31 c 3303 36251 2020 1 107.0000 0.0000 -
3297.59/3309.88 c 3310 36301 2023 1 107.0000 0.0000 -
3302.78/3315.03 c 3315 36303 2025 1 107.0000 0.0000 -
3308.85/3321.14 c 3321 36422 2032 1 107.0000 0.0000 -
3314.73/3327.03 c 3327 36454 2032 1 107.0000 0.0000 -
3320.11/3332.42 c 3332 36563 2032 1 107.0000 0.0000 -
3325.48/3337.87 c 3338 36652 2040 1 107.0000 0.0000 -
3331.87/3344.27 c 3344 36740 2046 1 107.0000 0.0000 -
3337.25/3349.64 c 3350 36860 2049 1 107.0000 0.0000 -
3342.53/3354.94 c 3355 36981 2054 1 107.0000 0.0000 -
3347.71/3360.17 c 3360 37100 2071 1 107.0000 0.0000 -
3353.69/3366.14 c 3366 37203 2082 1 107.0000 0.0000 -
3358.87/3371.36 c 3371 37276 2089 1 107.0000 0.0000 -
3364.55/3377.01 c 3377 37331 2095 1 107.0000 0.0000 -
3371.43/3383.92 c 3384 37385 2100 1 107.0000 0.0000 -
3376.62/3389.10 c 3389 37399 2101 1 107.0000 0.0000 -
3383.51/3396.08 c 3396 37494 2115 1 107.0000 0.0000 -
3389.19/3401.78 c 3402 37510 2119 1 107.0000 0.0000 -
3394.57/3407.16 c 3407 37611 2131 1 107.0000 0.0000 -
3399.76/3412.34 c 3412 37731 2139 1 107.0000 0.0000 -
3405.84/3418.41 c 3418 37761 2139 1 107.0000 0.0000 -
3411.63/3424.27 c 3424 37819 2145 1 107.0000 0.0000 -
3417.52/3430.17 c 3430 37863 2146 1 107.0000 0.0000 -
3423.10/3435.72 c 3436 37953 2150 1 107.0000 0.0000 -
3431.27/3443.99 c 3444 38063 2163 1 107.0000 0.0000 -
3436.56/3449.29 c 3449 38129 2165 1 107.0000 0.0000 -
3442.34/3455.09 c 3455 38232 2172 1 107.0000 0.0000 -
3447.73/3460.49 c 3460 38367 2188 1 107.0000 0.0000 -
3452.91/3465.64 c 3466 38499 2194 1 107.0000 0.0000 -
3458.79/3471.58 c 3472 38590 2195 1 107.0000 0.0000 -
3464.28/3477.03 c 3477 38716 2213 1 107.0000 0.0000 -
3469.37/3482.15 c 3482 38763 2221 1 107.0000 0.0000 -
3476.64/3489.40 c 3489 38807 2227 1 107.0000 0.0000 -
3482.23/3495.07 c 3495 38864 2231 1 107.0000 0.0000 -
3488.32/3501.11 c 3501 38878 2228 1 107.0000 0.0000 -
3495.89/3508.76 c 3509 38935 2236 1 107.0000 0.0000 -
3500.98/3513.86 c 3514 38957 2238 1 107.0000 0.0000 -
3507.97/3520.80 c 3521 39006 2233 1 107.0000 0.0000 -
3513.25/3526.19 c 3526 39139 2242 1 107.0000 0.0000 -
3521.73/3534.69 c 3535 39246 2257 1 107.0000 0.0000 -
3527.01/3539.96 c 3540 39309 2260 1 107.0000 0.0000 -
3534.39/3547.39 c 3547 39382 2266 1 107.0000 0.0000 -
3541.87/3554.85 c 3555 39426 2269 1 107.0000 0.0000 -
3547.25/3560.21 c 3560 39563 2279 1 107.0000 0.0000 -
3553.14/3566.19 c 3566 39677 2290 1 107.0000 0.0000 -
3558.43/3571.40 c 3571 39824 2299 1 107.0000 0.0000 -
3563.71/3576.70 c 3577 39966 2322 1 107.0000 0.0000 -
3569.00/3582.04 c 3582 40080 2335 1 107.0000 0.0000 -
3574.28/3587.37 c 3587 40204 2347 1 107.0000 0.0000 -
3579.76/3592.82 c 3593 40328 2356 1 107.0000 0.0000 -
3585.75/3598.87 c 3599 40431 2365 0 107.0000 0.0000 -
3586.35/3599.48 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.35/3599.48 c Total Time : 3599.4800
3586.35/3599.48 c solving : 3599.4800
3586.35/3599.48 c presolving : 3.5356 (included in solving)
3586.35/3599.48 c B&B Tree :
3586.35/3599.48 c nodes (total) : 1
3586.35/3599.48 c Solution :
3586.35/3599.48 c Solutions found : 7
3586.35/3599.48 c Primal Bound : +1.07000000000000e+02
3586.35/3599.48 c Dual Bound : +0.00000000000000e+00
3586.35/3599.48 c Gap : infinite
3586.35/3599.48 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3586.44/3599.53 o 107
3586.44/3599.53 s SATISFIABLE
3586.44/3599.53 v x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071
3586.44/3599.53 v -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053
3586.44/3599.53 v -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035
3586.44/3599.53 v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
3586.44/3599.53 v x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000
3586.44/3599.53 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
3586.44/3599.53 v -x978 -x977 x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
3586.44/3599.53 v -x957 -x956 -x955 x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
3586.44/3599.53 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 x916
3586.44/3599.53 v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
3586.44/3599.53 v -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
3586.44/3599.53 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
3586.44/3599.53 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 x838 -x837 -x836 -x835 -x834 -x833 -x832
3586.44/3599.53 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
3586.44/3599.53 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
3586.44/3599.53 v -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
3586.44/3599.53 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748
3586.44/3599.53 v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 x732 -x731 -x730 -x729 -x728 -x727
3586.44/3599.53 v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706
3586.44/3599.53 v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
3586.44/3599.53 v -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
3586.44/3599.53 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 x644
3586.44/3599.53 v -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623
3586.44/3599.53 v -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 x604 -x603 -x602
3586.44/3599.53 v -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 x583 -x582 -x581
3586.44/3599.53 v -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560
3586.44/3599.53 v -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539
3586.44/3599.53 v -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 x521 -x520 -x519 -x518
3586.44/3599.53 v -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497
3586.44/3599.53 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476
3586.44/3599.53 v -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 x457 -x456 -x455
3586.44/3599.53 v -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434
3586.64/3599.78 v -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413
3586.64/3599.78 v -x412 x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392
3586.64/3599.78 v -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
3586.64/3599.78 v -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351
3586.64/3599.78 v -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330
3586.64/3599.78 v -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309
3586.64/3599.78 v -x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
3586.64/3599.78 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267
3586.64/3599.78 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246
3586.64/3599.78 v -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225
3586.64/3599.78 v -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204
3586.64/3599.78 v -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183
3586.64/3599.78 v -x182 -x181 -x180 -x179 -x178 -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162
3586.64/3599.78 v -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141
3586.64/3599.78 v -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120
3586.64/3599.78 v -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99
3586.64/3599.78 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
3586.64/3599.78 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49
3586.64/3599.78 v -x48 -x47 -x46 x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24
3586.64/3599.78 v -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1
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 (53409 MiB free)
memory of node 1: 64473 MiB (59428 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4464911-1722390131/watcher-4464911-1722390131 -o /tmp/evaluation-result-4464911-1722390131/solver-4464911-1722390131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722389892-37050 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464911-1722390131.wbo -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=37642, runsolver pid=37639
[startup+0.101555 s]*
/proc/loadavg: 4.21 3.10 3.22 5/264 37643
/proc/meminfo: memFree=115503196/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=64476 memory=52908 CPUtime=0.09 cores=5,7
/proc/37642/stat : 37642 (fscip) R 37639 37642 37037 0 -1 4194304 11162 0 0 0 8 1 0 0 20 0 1 0 5617664 66023424 13227 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 16119 13227 2347 3035 0 12515 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64476 KiB
Current children cumulated memory: 52908 KiB
[startup+0.205926 s]*
/proc/loadavg: 4.21 3.10 3.22 5/264 37643
/proc/meminfo: memFree=115465852/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=104048 memory=92588 CPUtime=0.19 cores=5,7
/proc/37642/stat : 37642 (fscip) R 37639 37642 37037 0 -1 4194304 21051 0 0 0 17 2 0 0 20 0 1 0 5617664 106545152 23147 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 26012 23147 2347 3035 0 22408 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 104048 KiB
Current children cumulated memory: 92588 KiB
[startup+0.305828 s]*
/proc/loadavg: 4.21 3.10 3.22 5/264 37643
/proc/meminfo: memFree=115391428/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=178192 memory=167252 CPUtime=0.3 cores=5,7
/proc/37642/stat : 37642 (fscip) R 37639 37642 37037 0 -1 4194304 39960 0 0 0 25 5 0 0 20 0 1 0 5617664 182468608 41813 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 44548 41813 2555 3035 0 40944 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 178192 KiB
Current children cumulated memory: 167252 KiB
[startup+0.700231 s]
/proc/loadavg: 4.21 3.10 3.22 5/264 37643
/proc/meminfo: memFree=115316064/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=328700 memory=315252 CPUtime=0.68 cores=5,7
/proc/37642/stat : 37642 (fscip) R 37639 37642 37037 0 -1 4194304 76956 0 0 0 57 11 0 0 20 0 1 0 5617664 336588800 78813 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 82175 78813 2598 3035 0 78571 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 328700 KiB
Current children cumulated memory: 315252 KiB
[startup+1.50019 s]
/proc/loadavg: 4.21 3.10 3.22 6/264 37643
/proc/meminfo: memFree=115175156/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=426020 memory=407088 CPUtime=1.49 cores=5,7
/proc/37642/stat : 37642 (fscip) R 37639 37642 37037 0 -1 4194304 106486 0 0 0 133 16 0 0 20 0 1 0 5617664 436244480 101772 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 106505 101772 2662 3035 0 102901 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 426020 KiB
Current children cumulated memory: 407088 KiB
[startup+3.10549 s]
/proc/loadavg: 4.21 3.10 3.22 6/264 37644
/proc/meminfo: memFree=115124232/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=450788 memory=431348 CPUtime=3.08 cores=5,7
/proc/37642/stat : 37642 (fscip) R 37639 37642 37037 0 -1 4194304 112712 0 0 0 291 17 0 0 20 0 1 0 5617664 461606912 107837 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 112697 107837 2662 3035 0 109093 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 450788 KiB
Current children cumulated memory: 431348 KiB
[startup+6.30022 s]
/proc/loadavg: 4.20 3.12 3.22 6/266 37646
/proc/meminfo: memFree=114672848/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=1071632 memory=894136 CPUtime=6.26 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 257858 0 0 0 589 37 0 0 20 0 3 0 5617664 1097351168 223534 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 267908 223534 2726 3035 0 249568 0
[pid=37642/tid=37645] ppid=37639 vsize=1071632 memory=7373346233410741608 CPUtime=2.12 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 103191 0 0 0 199 13 0 0 20 0 3 0 5618058 1097351168 223534 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
[pid=37642/tid=37646] ppid=37639 vsize=1071632 memory=-5155625804035877765 CPUtime=0 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5618101 1097351168 223534 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 1071632 KiB
Current children cumulated memory: 894136 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 3.13 3.22 6/266 37646
/proc/meminfo: memFree=114516260/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=1216852 memory=1035128 CPUtime=12.64 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 319491 0 0 0 1219 45 0 0 20 0 3 0 5617664 1246056448 258782 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 304213 258782 2870 3035 0 286643 0
[pid=37642/tid=37645] ppid=37639 vsize=1216852 memory=-5155625804035877765 CPUtime=8.5 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 164815 0 0 0 829 21 0 0 20 0 3 0 5618058 1246056448 258782 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
[pid=37642/tid=37646] ppid=37639 vsize=1216852 memory=1034972 CPUtime=0 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5618101 1246056448 258782 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1216852 KiB
Current children cumulated memory: 1035128 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 3.18 3.24 6/266 37649
/proc/meminfo: memFree=114485200/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=1235496 memory=1060904 CPUtime=25.41 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 410679 0 0 0 2490 51 0 0 20 0 3 0 5617664 1265147904 265226 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 308874 265226 2870 3035 0 304757 0
[pid=37642/tid=37645] ppid=37639 vsize=1235496 memory=1057020 CPUtime=21.27 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 255990 0 0 0 2100 27 0 0 20 0 3 0 5618058 1265147904 265226 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
[pid=37642/tid=37646] ppid=37639 vsize=1235496 memory=1057020 CPUtime=0 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 5618101 1265147904 265226 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1235496 KiB
Current children cumulated memory: 1060904 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 3.26 3.26 6/266 37652
/proc/meminfo: memFree=114262880/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=1532060 memory=1276796 CPUtime=50.92 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 609281 0 0 0 5025 67 0 0 20 0 3 0 5617664 1568829440 319199 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 383015 319199 2966 3035 0 373300 0
[pid=37642/tid=37645] ppid=37639 vsize=1532060 memory=1276620 CPUtime=46.78 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 454554 0 0 0 4635 43 0 0 20 0 3 0 5618058 1568829440 319199 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
[pid=37642/tid=37646] ppid=37639 vsize=1532060 memory=11592 CPUtime=0 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 3 0 5618101 1568829440 319199 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1532060 KiB
Current children cumulated memory: 1276796 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 3.39 3.31 6/265 37661
/proc/meminfo: memFree=114064560/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=1597596 memory=1356008 CPUtime=101.94 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 787951 0 0 0 10114 80 0 0 20 0 3 0 5617664 1635938304 339002 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 399399 339002 3014 3035 0 393877 0
[pid=37642/tid=37645] ppid=37639 vsize=1597596 memory=1356008 CPUtime=97.8 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 633156 0 0 0 9724 56 0 0 20 0 3 0 5618058 1635938304 339002 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
[pid=37642/tid=37646] ppid=37639 vsize=1597596 memory=1356008 CPUtime=0 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 5618101 1635938304 339002 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1597596 KiB
Current children cumulated memory: 1356008 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 3.54 3.37 6/265 37672
/proc/meminfo: memFree=114025272/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=1597596 memory=1358220 CPUtime=161.74 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 933002 0 0 0 16083 91 0 0 20 0 3 0 5617664 1635938304 339555 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 399399 339555 3014 3035 0 393877 0
[pid=37642/tid=37645] ppid=37639 vsize=1597596 memory=-7234306593025777021 CPUtime=157.59 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 778167 0 0 0 15693 66 0 0 20 0 3 0 5618058 1635938304 339555 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
[pid=37642/tid=37646] ppid=37639 vsize=1597596 memory=1357988 CPUtime=0 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 5618101 1635938304 339555 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 1597596 KiB
Current children cumulated memory: 1358220 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 3.64 3.41 6/263 37682
/proc/meminfo: memFree=113795020/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=1859740 memory=1581904 CPUtime=221.54 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 1105796 0 0 0 22048 106 0 0 20 0 3 0 5617664 1904373760 395476 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 464935 395476 3014 3035 0 454440 0
[pid=37642/tid=37645] ppid=37639 vsize=1859740 memory=1581864 CPUtime=217.39 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 950939 0 0 0 21658 81 0 0 20 0 3 0 5618058 1904373760 395476 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
[pid=37642/tid=37646] ppid=37639 vsize=1859740 memory=1581888 CPUtime=0 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 5618101 1904373760 395476 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 1859740 KiB
Current children cumulated memory: 1581904 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.72 3.46 6/263 37693
/proc/meminfo: memFree=113788556/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=1859740 memory=1583376 CPUtime=281.32 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 1192938 0 0 0 28019 113 0 0 20 0 3 0 5617664 1904373760 395844 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 464935 395844 3014 3035 0 454440 0
[pid=37642/tid=37645] ppid=37639 vsize=1859740 memory=1583376 CPUtime=277.18 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 1038055 0 0 0 27629 89 0 0 20 0 3 0 5618058 1904373760 395844 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
################
# More data... #
################
[pid=37642] ppid=37639 vsize=5376732 memory=4883852 CPUtime=3389.79 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 7824587 0 0 0 338238 741 0 0 20 0 3 0 5617664 5505773568 1220963 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 1344183 1220963 3334 3035 0 1333636 0
[pid=37642/tid=37645] ppid=37639 vsize=5376732 memory=4882840 CPUtime=3385.35 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 7598247 0 0 0 337830 705 0 0 20 0 3 0 5618058 5505773568 1220963 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
[pid=37642/tid=37646] ppid=37639 vsize=5376732 memory=4882840 CPUtime=0.04 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 216 0 0 0 1 3 0 0 20 0 3 0 5618101 5505773568 1220963 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 3389.79 s
Current children cumulated vsize: 5376732 KiB
Current children cumulated memory: 4883852 KiB
[startup+3462.3 s]
/proc/loadavg: 1.74 3.31 3.81 2/236 39533
/proc/meminfo: memFree=116595264/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=5376732 memory=4889148 CPUtime=3449.62 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 7922546 0 0 0 344215 747 0 0 20 0 3 0 5617664 5505773568 1222287 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 1344183 1222287 3334 3035 0 1333636 0
[pid=37642/tid=37645] ppid=37639 vsize=5376732 memory=4888336 CPUtime=3445.19 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 7696173 0 0 0 343807 712 0 0 20 0 3 0 5618058 5505773568 1222287 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
[pid=37642/tid=37646] ppid=37639 vsize=5376732 memory=4889120 CPUtime=0.04 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 218 0 0 0 1 3 0 0 20 0 3 0 5618101 5505773568 1222287 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 3449.62 s
Current children cumulated vsize: 5376732 KiB
Current children cumulated memory: 4889148 KiB
[startup+3522.3 s]
/proc/loadavg: 1.38 2.92 3.64 2/238 39548
/proc/meminfo: memFree=116593768/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=5376732 memory=4890352 CPUtime=3509.46 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 8018909 0 0 0 350192 754 0 0 20 0 3 0 5617664 5505773568 1222588 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 1344183 1222588 3334 3035 0 1333636 0
[pid=37642/tid=37645] ppid=37639 vsize=5376732 memory=4889848 CPUtime=3505.02 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 7792514 0 0 0 349784 718 0 0 20 0 3 0 5618058 5505773568 1222588 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
[pid=37642/tid=37646] ppid=37639 vsize=5376732 memory=11592 CPUtime=0.04 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 220 0 0 0 1 3 0 0 20 0 3 0 5618101 5505773568 1222588 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 3509.46 s
Current children cumulated vsize: 5376732 KiB
Current children cumulated memory: 4890352 KiB
[startup+3582.3 s]
/proc/loadavg: 1.19 2.58 3.47 2/238 39558
/proc/meminfo: memFree=116559820/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=5376732 memory=4923956 CPUtime=3569.29 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 8119999 0 0 0 356167 762 0 0 20 0 3 0 5617664 5505773568 1230989 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 1344183 1230989 3334 3035 0 1333636 0
[pid=37642/tid=37645] ppid=37639 vsize=5376732 memory=25936 CPUtime=3564.86 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 7893578 0 0 0 355760 726 0 0 20 0 3 0 5618058 5505773568 1230989 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
[pid=37642/tid=37646] ppid=37639 vsize=5376732 memory=11592 CPUtime=0.04 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 222 0 0 0 1 3 0 0 20 0 3 0 5618101 5505773568 1230989 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 3569.29 s
Current children cumulated vsize: 5376732 KiB
Current children cumulated memory: 4923956 KiB
[startup+3599.91 s]
# the end of solver process 37642 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3578.9 s, system=7.96337 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.19 2.58 3.47 2/238 39560
/proc/meminfo: memFree=116559804/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=5376732 memory=4923956 CPUtime=3570.99 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 8121062 0 0 0 356337 762 0 0 20 0 3 0 5617664 5505773568 1230989 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 1344183 1230989 3334 3035 0 1333636 0
[pid=37642/tid=37645] ppid=37639 vsize=5376732 memory=33016 CPUtime=3566.55 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 7894641 0 0 0 355929 726 0 0 20 0 3 0 5618058 5505773568 1230989 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
[pid=37642/tid=37646] ppid=37639 vsize=5376732 memory=4354872659533262498 CPUtime=0.04 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 222 0 0 0 1 3 0 0 20 0 3 0 5618101 5505773568 1230989 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 3570.99 s
Current children cumulated vsize: 5376732 KiB
Current children cumulated memory: 4923956 KiB
[startup+3590.4 s]
/proc/loadavg: 1.18 2.56 3.46 2/238 39560
/proc/meminfo: memFree=116418592/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=5507804 memory=5064840 CPUtime=3577.37 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 8177611 0 0 0 356967 770 0 0 20 0 3 0 5617664 5639991296 1266210 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 1376951 1266210 3334 3035 0 1366219 0
[pid=37642/tid=37645] ppid=37639 vsize=5507804 memory=4923956 CPUtime=3572.93 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 7951190 0 0 0 356559 734 0 0 20 0 3 0 5618058 5639991296 1266210 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
[pid=37642/tid=37646] ppid=37639 vsize=5507804 memory=4923956 CPUtime=0.04 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 222 0 0 0 1 3 0 0 20 0 3 0 5618101 5639991296 1266210 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 3577.37 s
Current children cumulated vsize: 5507804 KiB
Current children cumulated memory: 5064840 KiB
[startup+3596.8 s]
/proc/loadavg: 1.23 2.52 3.44 2/238 39562
/proc/meminfo: memFree=116408300/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=5507804 memory=5075008 CPUtime=3583.75 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 8182039 0 0 0 357605 770 0 0 20 0 3 0 5617664 5639991296 1268752 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 1376951 1268752 3334 3035 0 1366219 0
[pid=37642/tid=37645] ppid=37639 vsize=5507804 memory=0 CPUtime=3579.31 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 7955618 0 0 0 357197 734 0 0 20 0 3 0 5618058 5639991296 1268752 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
[pid=37642/tid=37646] ppid=37639 vsize=5507804 memory=4923956 CPUtime=0.04 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 222 0 0 0 1 3 0 0 20 0 3 0 5618101 5639991296 1268752 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 3583.75 s
Current children cumulated vsize: 5507804 KiB
Current children cumulated memory: 5075008 KiB
[startup+3598.4 s]
/proc/loadavg: 1.23 2.52 3.44 2/238 39562
/proc/meminfo: memFree=116408300/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=5507804 memory=5075008 CPUtime=3585.35 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 8192590 0 0 0 357764 771 0 0 20 0 3 0 5617664 5639991296 1268752 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 1376951 1268752 3334 3035 0 1366219 0
[pid=37642/tid=37645] ppid=37639 vsize=5507804 memory=8080 CPUtime=3580.91 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 7966169 0 0 0 357356 735 0 0 20 0 3 0 5618058 5639991296 1268752 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
[pid=37642/tid=37646] ppid=37639 vsize=5507804 memory=18260 CPUtime=0.04 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 222 0 0 0 1 3 0 0 20 0 3 0 5618101 5639991296 1268752 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 3585.35 s
Current children cumulated vsize: 5507804 KiB
Current children cumulated memory: 5075008 KiB
[startup+3599.2 s]
/proc/loadavg: 1.23 2.52 3.44 2/238 39562
/proc/meminfo: memFree=116408300/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=5507804 memory=5075008 CPUtime=3586.14 cores=5,7
/proc/37642/stat : 37642 (fscip) S 37639 37642 37037 0 -1 1077936128 8315537 0 0 0 357838 776 0 0 20 0 3 0 5617664 5639991296 1268752 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 1376951 1268752 3334 3035 0 1366219 0
[pid=37642/tid=37645] ppid=37639 vsize=5507804 memory=5075008 CPUtime=3581.7 cores=5,7
/proc/37642/task/37645/stat : 37645 (fscip) R 37639 37642 37037 0 -1 4194368 8089139 0 0 0 357430 740 0 0 20 0 3 0 5618058 5639991296 1268752 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
[pid=37642/tid=37646] ppid=37639 vsize=5507804 memory=12852 CPUtime=0.04 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 222 0 0 0 1 3 0 0 20 0 3 0 5618101 5639991296 1268752 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 3586.14 s
Current children cumulated vsize: 5507804 KiB
Current children cumulated memory: 5075008 KiB
[startup+3599.6 s]
/proc/loadavg: 1.23 2.52 3.44 2/238 39562
/proc/meminfo: memFree=116408300/131524600 swapFree=131071996/131071996
[pid=37642] ppid=37639 vsize=5320100 memory=4824840 CPUtime=3586.55 cores=5,7
/proc/37642/stat : 37642 (fscip) R 37639 37642 37037 0 -1 4194304 8387325 0 0 0 357875 780 0 0 20 0 2 0 5617664 5447782400 1206210 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
/proc/37642/statm: 1330025 1206210 3334 3035 0 1319366 0
[pid=37642/tid=37646] ppid=37639 vsize=5320100 memory=104 CPUtime=0.04 cores=5,7
/proc/37642/task/37646/stat : 37646 (fscip) S 37639 37642 37037 0 -1 1077936192 222 0 0 0 1 3 0 0 20 0 2 0 5618101 5447782400 1206210 134679101440 4194304 16623229 140723103127072 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30920704 140723103130644 140723103130760 140723103130760 140723103137776 0
Current children cumulated CPU time: 3586.55 s
Current children cumulated vsize: 5320100 KiB
Current children cumulated memory: 4824840 KiB
[startup+3599.8 s]*
/proc/loadavg: 1.23 2.52 3.44 2/237 39562
/proc/meminfo: memFree=117957836/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+3599.91 s]
/proc/loadavg: 1.23 2.52 3.44 2/237 39562
/proc/meminfo: memFree=117957836/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3599.91
CPU time (s): 3586.86
CPU user time (s): 3578.9
CPU system time (s): 7.96337
CPU usage (%): 99.6376
Max. virtual memory (cumulated for all children) (KiB): 5573340
Max. memory (cumulated for all children) (KiB): 5075008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.9
system time used= 7.96337
maximum resident set size= 5075008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8424554
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= 8535
involuntary context switches= 2871
# summary of solver processes directly reported to runsolver:
# pid: 37642
# total CPU time (s): 3586.86
# total CPU user time (s): 3578.9
# total CPU system time (s): 7.96337
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90092 second user time and 15.4036 second system time
The end
Begin job on nodeC035 at 2024-07-31 03:42:11
IDJOB=4464911
IDBENCH=143901
IDSOLVER=3093
FILE ID=nodeC035/4464911-1722390131
RUNJOBID= nodeC035-1722389892-37050
SLURM_JOB_ID= 8249868
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/academics/normalized-slangford-3-11_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4464911-1722390131/watcher-4464911-1722390131 -o /tmp/evaluation-result-4464911-1722390131/solver-4464911-1722390131 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722389892-37050 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464911-1722390131.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d1e83745c12c7ec680c949b5ab02beb5
RANDOM SEED=1002785015
nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.584
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.79
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 : 3676.286
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 : 7006.92
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.620
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.79
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 : 3601.037
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 : 7006.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.606
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.79
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 : 3677.943
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 : 7006.92
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.736
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.79
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 : 3667.441
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 : 7006.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 115547340 kB
MemAvailable: 123926428 kB
Buffers: 106260 kB
Cached: 9062672 kB
SwapCached: 0 kB
Active: 284660 kB
Inactive: 15104956 kB
Active(anon): 1548 kB
Inactive(anon): 6240472 kB
Active(file): 283112 kB
Inactive(file): 8864484 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29928 kB
Writeback: 52 kB
AnonPages: 6214912 kB
Mapped: 122308 kB
Shmem: 21336 kB
KReclaimable: 142628 kB
Slab: 234228 kB
SReclaimable: 142628 kB
SUnreclaim: 91600 kB
KernelStack: 4224 kB
PageTables: 21396 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4187972 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10240 kB
HardwareCorrupted: 0 kB
AnonHugePages: 823296 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: 254676 kB
DirectMap2M: 7907328 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 890048 MiB
End job on nodeC035 at 2024-07-31 04:42:11