0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.09/0.17 c Default LC presolving (default).
0.09/0.17 c ** Before presolving: virtualMemUsedAtLc = 143841270, getVmSize() = 110329856, SCIPgetMemUsed() = 66935131, SCIPgetMemTotal() = 84386723, SCIPgetMemExternEstim() = 59454547
0.09/0.17 c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
1.18/1.21 c ** Estimated virtualMemUsedAtSolver = 197603628, getVmSize() = 281116672, SCIPgetMemUsed() = 130962208, SCIPgetMemTotal() = 236950896, SCIPgetMemExternEstim() = 59454547
1.18/1.21 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.18/1.21 c Original Problem :
1.18/1.21 c Problem name : instance-4449868-1721453233
1.18/1.21 c Variables : 589 (589 binary, 0 integer, 0 implicit integer, 0 continuous)
1.18/1.21 c Constraints : 58881
1.18/1.21 c Objective sense : minimize
1.18/1.21 c Presolved Problem :
1.18/1.21 c Variables : 570 (570 binary, 0 integer, 0 implicit integer, 0 continuous)
1.18/1.21 c Constraints : 58862
1.18/1.21 c Constraints : Number
1.18/1.21 c setppc : 19
1.18/1.21 c logicor : 58843
1.18/1.21 c ** Instance transfer method used: 0
1.18/1.28 c ** ParaScipInstance copy does not increase the number of variables. **
1.28/1.35 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.28/1.35 c Nodes Active
1.28/1.35 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.88/1.99 c * 2 0 1 1 18.0000 - -
1.98/2.06 c * 2 0 1 1 17.0000 - -
12.55/12.64 c 13 2 1 1 17.0000 0.0000 -
18.84/18.92 c 19 18 13 1 17.0000 0.0000 -
24.42/24.56 c 25 38 29 1 17.0000 0.0000 -
30.01/30.16 c 30 54 41 1 17.0000 0.0000 -
35.78/35.98 c 36 67 44 1 17.0000 0.0000 -
41.66/41.81 c 42 96 47 1 17.0000 0.0000 -
59.82/60.00 c 60 122 50 1 17.0000 0.0000 -
68.29/68.54 c 69 163 51 1 17.0000 0.0000 -
74.17/74.48 c 74 189 53 1 17.0000 0.0000 -
79.56/79.84 c 80 277 60 1 17.0000 0.0000 -
87.34/87.60 c 88 310 64 1 17.0000 0.0000 -
102.80/103.15 c 103 410 76 1 17.0000 0.0000 -
109.77/110.19 c 110 510 83 1 17.0000 0.0000 -
115.15/115.55 c 116 515 83 1 17.0000 0.0000 -
121.14/121.52 c 122 593 102 1 17.0000 0.0000 -
126.22/126.62 c 127 739 105 1 17.0000 0.0000 -
143.28/143.79 c 144 776 119 1 17.0000 0.0000 -
158.64/159.18 c 159 902 125 1 17.0000 0.0000 -
170.51/171.07 c 171 1062 136 1 17.0000 0.0000 -
176.28/176.84 c 177 1206 150 1 17.0000 0.0000 -
184.57/185.13 c 185 1233 153 1 17.0000 0.0000 -
190.64/191.21 c 191 1475 158 1 17.0000 0.0000 -
196.12/196.77 c 197 1480 161 1 17.0000 0.0000 -
201.72/202.38 c 202 1580 173 1 17.0000 0.0000 -
209.30/209.95 c 210 1582 173 1 17.0000 0.0000 -
218.86/219.54 c 220 1754 172 1 17.0000 0.0000 -
224.05/224.74 c 225 1848 178 1 17.0000 0.0000 -
230.03/230.72 c 231 2060 190 1 17.0000 0.0000 -
235.42/236.18 c 236 2089 193 1 17.0000 0.0000 -
240.90/241.61 c 242 2298 203 1 17.0000 0.0000 -
245.89/246.70 c 247 2524 205 1 17.0000 0.0000 -
251.57/252.32 c 252 2747 211 1 17.0000 0.0000 -
257.75/258.56 c 259 2781 220 1 17.0000 0.0000 -
267.12/267.92 c 268 2920 223 1 17.0000 0.0000 -
272.61/273.43 c 273 3115 231 1 17.0000 0.0000 -
280.49/281.32 c 281 3311 239 1 17.0000 0.0000 -
285.67/286.52 c 287 3326 240 1 17.0000 0.0000 -
290.76/291.68 c 292 3534 247 1 17.0000 0.0000 -
299.33/300.23 c 300 3726 251 1 17.0000 0.0000 -
309.30/310.21 c 310 3952 263 1 17.0000 0.0000 -
314.89/315.86 c 316 4189 273 1 17.0000 0.0000 -
327.45/328.49 c 328 4295 1 1 17.0000 0.0000 -
333.14/334.12 c 334 4332 38 1 17.0000 0.0000 -
339.21/340.23 c 340 4357 57 1 17.0000 0.0000 -
345.70/346.79 c 347 4389 79 1 17.0000 0.0000 -
352.48/353.56 c 354 4399 87 1 17.0000 0.0000 -
357.56/358.60 c 359 4412 96 1 17.0000 0.0000 -
362.65/363.72 c 364 4459 137 1 17.0000 0.0000 -
368.13/369.27 c 369 4518 184 1 17.0000 0.0000 -
373.72/374.85 c 375 4565 211 1 17.0000 0.0000 -
381.29/382.46 c 382 4628 249 1 17.0000 0.0000 -
386.28/387.49 c 387 4716 284 1 17.0000 0.0000 -
391.86/393.05 c 393 4778 304 1 17.0000 0.0000 -
397.44/398.65 c 399 4900 352 1 17.0000 0.0000 -
402.73/403.91 c 404 5086 421 1 17.0000 0.0000 -
408.11/409.36 c 409 5228 461 1 17.0000 0.0000 -
413.50/414.77 c 415 5388 501 1 17.0000 0.0000 -
418.98/420.28 c 420 5509 526 1 17.0000 0.0000 -
425.36/426.68 c 427 5630 551 1 17.0000 0.0000 -
430.44/431.74 c 432 5706 568 1 17.0000 0.0000 -
444.92/446.25 c 446 5747 572 1 17.0000 0.0000 -
450.71/452.07 c 452 5931 622 1 17.0000 0.0000 -
456.38/457.71 c 458 6101 669 1 17.0000 0.0000 -
461.47/462.82 c 463 6295 705 1 17.0000 0.0000 -
469.75/471.18 c 471 6462 738 1 17.0000 0.0000 -
475.03/476.49 c 476 6685 791 1 17.0000 0.0000 -
480.81/482.21 c 482 6731 800 1 17.0000 0.0000 -
498.76/500.26 c 500 7013 804 1 17.0000 0.0000 -
506.04/507.50 c 508 7261 821 1 17.0000 0.0000 -
512.64/514.12 c 514 7380 838 1 17.0000 0.0000 -
517.71/519.26 c 519 7688 884 1 17.0000 0.0000 -
523.80/525.32 c 525 7810 935 1 17.0000 0.0000 -
528.88/530.42 c 530 7990 1006 1 17.0000 0.0000 -
534.47/536.08 c 536 8230 1057 1 17.0000 0.0000 -
540.34/541.91 c 542 8630 1101 1 17.0000 0.0000 -
546.42/548.08 c 548 8950 1139 1 17.0000 0.0000 -
552.61/554.20 c 554 9067 1169 1 17.0000 0.0000 -
559.59/561.28 c 561 9162 1193 1 17.0000 0.0000 -
564.87/566.51 c 567 9431 1238 1 17.0000 0.0000 -
569.96/571.62 c 572 9664 1258 1 17.0000 0.0000 -
575.14/576.83 c 577 9989 1287 1 17.0000 0.0000 -
580.43/582.13 c 582 10273 1333 1 17.0000 0.0000 -
587.01/588.74 c 589 10451 1369 1 17.0000 0.0000 -
594.19/595.98 c 596 10573 1382 1 17.0000 0.0000 -
599.97/601.73 c 602 10688 1402 1 17.0000 0.0000 -
608.85/610.61 c 611 10817 1413 1 17.0000 0.0000 -
614.63/616.47 c 616 11257 1455 1 17.0000 0.0000 -
620.22/622.07 c 622 11512 1494 1 17.0000 0.0000 -
627.09/628.93 c 629 11806 1513 1 17.0000 0.0000 -
632.17/634.02 c 634 12225 1537 1 17.0000 0.0000 -
637.45/639.35 c 639 12602 1559 1 17.0000 0.0000 -
642.93/644.87 c 645 12939 1568 1 17.0000 0.0000 -
648.22/650.12 c 650 13294 1588 1 17.0000 0.0000 -
654.10/656.08 c 656 13569 1622 1 17.0000 0.0000 -
659.88/661.82 c 662 13851 1657 1 17.0000 0.0000 -
665.76/667.73 c 668 14188 1702 1 17.0000 0.0000 -
671.24/673.29 c 673 14479 1734 1 17.0000 0.0000 -
676.43/678.43 c 678 14627 1764 1 17.0000 0.0000 -
681.92/683.94 c 684 14825 1797 1 17.0000 0.0000 -
687.20/689.25 c 689 15136 1827 1 17.0000 0.0000 -
692.29/694.33 c 694 15450 1878 1 17.0000 0.0000 -
699.27/701.32 c 701 15649 1925 1 17.0000 0.0000 -
705.25/707.31 c 707 15787 1932 1 17.0000 0.0000 -
711.53/713.65 c 714 15913 1948 1 17.0000 0.0000 -
717.92/720.10 c 720 15942 1948 1 17.0000 0.0000 -
723.30/725.44 c 725 16334 1972 1 17.0000 0.0000 -
728.38/730.51 c 731 16790 1990 1 17.0000 0.0000 -
733.36/735.58 c 736 17293 2023 1 17.0000 0.0000 -
738.44/740.66 c 741 17784 2057 1 17.0000 0.0000 -
743.53/745.75 c 746 18132 2106 1 17.0000 0.0000 -
748.61/750.87 c 751 18488 2170 1 17.0000 0.0000 -
753.69/755.98 c 756 18756 2249 1 17.0000 0.0000 -
758.79/761.08 c 761 19022 2310 1 17.0000 0.0000 -
763.87/766.14 c 766 19374 2360 1 17.0000 0.0000 -
770.45/772.70 c 773 19611 2387 1 17.0000 0.0000 -
776.13/778.49 c 778 19792 2401 1 17.0000 0.0000 -
781.22/783.53 c 784 20166 2452 1 17.0000 0.0000 -
786.60/788.92 c 789 20596 2483 1 17.0000 0.0000 -
791.58/793.98 c 794 21094 2515 1 17.0000 0.0000 -
796.96/799.40 c 799 21348 2526 1 17.0000 0.0000 -
802.14/804.52 c 805 21770 2544 1 17.0000 0.0000 -
807.13/809.57 c 810 22227 2563 1 17.0000 0.0000 -
812.22/814.64 c 815 22669 2584 1 17.0000 0.0000 -
817.30/819.71 c 820 23003 2614 1 17.0000 0.0000 -
822.28/824.76 c 825 23321 2649 1 17.0000 0.0000 -
827.57/830.04 c 830 23683 2676 1 17.0000 0.0000 -
832.55/835.09 c 835 24188 2704 1 17.0000 0.0000 -
837.63/840.17 c 840 24599 2751 1 17.0000 0.0000 -
843.12/845.63 c 846 24995 2795 1 17.0000 0.0000 -
849.19/851.74 c 852 25265 2831 1 17.0000 0.0000 -
854.78/857.39 c 857 25409 2848 1 17.0000 0.0000 -
860.47/863.03 c 863 25728 2899 1 17.0000 0.0000 -
865.55/868.12 c 868 26013 2951 1 17.0000 0.0000 -
871.23/873.87 c 874 26327 2981 1 17.0000 0.0000 -
876.81/879.44 c 879 26736 3008 1 17.0000 0.0000 -
884.89/887.54 c 888 27133 3021 1 17.0000 0.0000 -
889.97/892.62 c 893 27220 3028 1 17.0000 0.0000 -
895.87/898.54 c 899 27353 3035 1 17.0000 0.0000 -
902.55/905.23 c 905 27486 3042 1 17.0000 0.0000 -
910.13/912.83 c 913 27615 3053 1 17.0000 0.0000 -
915.10/917.88 c 918 28053 3072 1 17.0000 0.0000 -
920.99/923.74 c 924 28312 3083 1 17.0000 0.0000 -
926.88/929.68 c 930 28402 3087 1 17.0000 0.0000 -
932.46/935.27 c 935 28491 3094 1 17.0000 0.0000 -
937.95/940.73 c 941 28621 3104 1 17.0000 0.0000 -
943.04/945.89 c 946 28750 3115 1 17.0000 0.0000 -
949.62/952.40 c 952 28885 3120 1 17.0000 0.0000 -
955.40/958.29 c 958 29020 3123 1 17.0000 0.0000 -
962.08/964.90 c 965 29154 3127 1 17.0000 0.0000 -
968.36/971.23 c 971 29288 3131 1 17.0000 0.0000 -
974.05/976.96 c 977 29422 3135 1 17.0000 0.0000 -
979.13/982.08 c 982 29880 3169 1 17.0000 0.0000 -
985.70/988.68 c 989 30282 3217 1 17.0000 0.0000 -
992.89/995.85 c 996 30367 3228 1 17.0000 0.0000 -
999.77/1002.79 c 1003 30494 3244 1 17.0000 0.0000 -
1007.05/1010.06 c 1010 30696 3256 1 17.0000 0.0000 -
1014.24/1017.29 c 1017 30826 3264 1 17.0000 0.0000 -
1019.32/1022.36 c 1022 30913 3269 1 17.0000 0.0000 -
1026.40/1029.40 c 1029 30974 3275 1 17.0000 0.0000 -
1031.78/1034.80 c 1035 31379 3326 1 17.0000 0.0000 -
1039.07/1042.12 c 1042 31582 3335 1 17.0000 0.0000 -
1045.06/1048.15 c 1048 31714 3341 1 17.0000 0.0000 -
1051.23/1054.39 c 1054 31846 3347 1 17.0000 0.0000 -
1056.72/1059.85 c 1060 31935 3350 1 17.0000 0.0000 -
1062.50/1065.69 c 1066 32073 3358 1 17.0000 0.0000 -
1068.19/1071.38 c 1071 32118 3359 1 17.0000 0.0000 -
1074.37/1077.58 c 1078 32248 3369 1 17.0000 0.0000 -
1084.25/1087.48 c 1087 32378 3379 1 17.0000 0.0000 -
1091.33/1094.55 c 1095 32506 3391 1 17.0000 0.0000 -
1096.32/1099.56 c 1100 32695 3402 1 17.0000 0.0000 -
1101.40/1104.65 c 1105 33074 3420 1 17.0000 0.0000 -
1106.48/1109.76 c 1110 33434 3432 1 17.0000 0.0000 -
1112.06/1115.36 c 1115 33544 3434 1 17.0000 0.0000 -
1118.45/1121.77 c 1122 33681 3437 1 17.0000 0.0000 -
1126.63/1129.93 c 1130 33815 3441 1 17.0000 0.0000 -
1131.72/1135.05 c 1135 33952 3448 1 17.0000 0.0000 -
1136.90/1140.27 c 1140 34083 3459 1 17.0000 0.0000 -
1143.98/1147.30 c 1147 34211 3471 1 17.0000 0.0000 -
1149.16/1152.58 c 1153 34350 3487 1 17.0000 0.0000 -
1154.85/1158.25 c 1158 34463 3493 1 17.0000 0.0000 -
1161.83/1165.27 c 1165 34509 3495 1 17.0000 0.0000 -
1168.71/1172.19 c 1172 34800 3510 1 17.0000 0.0000 -
1174.59/1178.02 c 1178 35240 3539 1 17.0000 0.0000 -
1179.87/1183.37 c 1183 35676 3555 1 17.0000 0.0000 -
1185.74/1189.22 c 1189 36016 3569 1 17.0000 0.0000 -
1191.53/1195.09 c 1195 36405 3600 1 17.0000 0.0000 -
1196.61/1200.15 c 1200 36848 3624 1 17.0000 0.0000 -
1203.88/1207.47 c 1207 37191 3642 1 17.0000 0.0000 -
1212.37/1215.96 c 1216 37368 3656 1 17.0000 0.0000 -
1218.25/1221.88 c 1222 37523 3670 1 17.0000 0.0000 -
1223.63/1227.26 c 1227 37609 3676 1 17.0000 0.0000 -
1230.31/1233.97 c 1234 37743 3686 1 17.0000 0.0000 -
1240.57/1244.27 c 1244 37833 3688 1 17.0000 0.0000 -
1246.46/1250.15 c 1250 38295 3711 1 17.0000 0.0000 -
1251.53/1255.20 c 1255 38688 3755 1 17.0000 0.0000 -
1256.60/1260.30 c 1260 39145 3780 1 17.0000 0.0000 -
1261.99/1265.71 c 1266 39525 3800 1 17.0000 0.0000 -
1267.56/1271.31 c 1271 39998 3819 1 17.0000 0.0000 -
1273.24/1277.08 c 1277 40314 3852 1 17.0000 0.0000 -
1280.71/1284.52 c 1285 40472 3873 1 17.0000 0.0000 -
1285.79/1289.61 c 1290 40922 3910 1 17.0000 0.0000 -
1291.57/1295.47 c 1295 41240 3952 1 17.0000 0.0000 -
1297.65/1301.51 c 1302 41412 3968 1 17.0000 0.0000 -
1303.12/1307.08 c 1307 41690 3980 1 17.0000 0.0000 -
1309.50/1313.43 c 1313 41888 3995 1 17.0000 0.0000 -
1315.09/1319.01 c 1319 42020 4001 1 17.0000 0.0000 -
1320.27/1324.21 c 1324 42182 4016 1 17.0000 0.0000 -
1327.74/1331.75 c 1332 42330 4020 1 17.0000 0.0000 -
1333.62/1337.64 c 1338 42428 4028 1 17.0000 0.0000 -
1339.11/1343.15 c 1343 42504 4032 1 17.0000 0.0000 -
1347.38/1351.42 c 1351 42638 4036 1 17.0000 0.0000 -
1354.25/1358.37 c 1358 42769 4047 1 17.0000 0.0000 -
1359.83/1363.95 c 1364 42852 4052 1 17.0000 0.0000 -
1366.31/1370.40 c 1370 42983 4059 1 17.0000 0.0000 -
1373.09/1377.24 c 1377 43074 4060 1 17.0000 0.0000 -
1378.98/1383.18 c 1383 43508 4094 1 17.0000 0.0000 -
1384.15/1388.36 c 1388 43902 4113 1 17.0000 0.0000 -
1389.43/1393.62 c 1394 44003 4116 1 17.0000 0.0000 -
1394.41/1398.66 c 1399 44088 4117 1 17.0000 0.0000 -
1401.59/1405.83 c 1406 44272 4133 1 17.0000 0.0000 -
1408.57/1412.81 c 1413 44367 4143 1 17.0000 0.0000 -
1414.85/1419.12 c 1419 44370 4143 1 17.0000 0.0000 -
1421.32/1425.67 c 1426 44555 4165 1 17.0000 0.0000 -
1428.10/1432.41 c 1432 44714 4169 1 17.0000 0.0000 -
1434.87/1439.22 c 1439 44822 4171 1 17.0000 0.0000 -
1443.75/1448.12 c 1448 44928 4177 1 17.0000 0.0000 -
1449.13/1453.54 c 1454 45237 4211 1 17.0000 0.0000 -
1454.20/1458.62 c 1459 45642 4226 1 17.0000 0.0000 -
1460.28/1464.76 c 1465 45729 4227 1 17.0000 0.0000 -
1465.36/1469.89 c 1470 46140 4242 1 17.0000 0.0000 -
1470.43/1474.97 c 1475 46615 4257 1 17.0000 0.0000 -
1475.51/1480.04 c 1480 47075 4281 1 17.0000 0.0000 -
1480.60/1485.12 c 1485 47480 4327 1 17.0000 0.0000 -
1485.58/1490.17 c 1490 47733 4401 1 17.0000 0.0000 -
1490.65/1495.22 c 1495 48243 4442 1 17.0000 0.0000 -
1499.53/1504.18 c 1504 48688 4463 1 17.0000 0.0000 -
1505.61/1510.28 c 1510 48778 4465 1 17.0000 0.0000 -
1511.00/1515.65 c 1516 48913 4470 1 17.0000 0.0000 -
1519.48/1524.16 c 1524 49074 4481 1 17.0000 0.0000 -
1525.66/1530.35 c 1530 49206 4489 1 17.0000 0.0000 -
1531.25/1535.92 c 1536 49295 4494 1 17.0000 0.0000 -
1537.73/1542.44 c 1542 49426 4501 1 17.0000 0.0000 -
1543.01/1547.73 c 1548 49471 4502 1 17.0000 0.0000 -
1549.40/1554.17 c 1554 49600 4513 1 17.0000 0.0000 -
1557.18/1561.96 c 1562 49736 4515 1 17.0000 0.0000 -
1562.26/1567.08 c 1567 50210 4551 1 17.0000 0.0000 -
1567.35/1572.19 c 1572 50648 4587 1 17.0000 0.0000 -
1573.33/1578.18 c 1578 50869 4653 1 17.0000 0.0000 -
1579.51/1584.36 c 1584 51011 4682 1 17.0000 0.0000 -
1585.69/1590.50 c 1590 51064 4686 1 17.0000 0.0000 -
1590.87/1595.75 c 1596 51429 4723 1 17.0000 0.0000 -
1596.15/1601.02 c 1601 51776 4757 1 17.0000 0.0000 -
1602.43/1607.31 c 1607 52172 4777 1 17.0000 0.0000 -
1607.51/1612.49 c 1612 52462 4806 1 17.0000 0.0000 -
1612.90/1617.85 c 1618 52719 4822 1 17.0000 0.0000 -
1617.98/1622.90 c 1623 53219 4833 1 17.0000 0.0000 -
1622.96/1627.97 c 1628 53646 4865 1 17.0000 0.0000 -
1628.15/1633.10 c 1633 53924 4948 1 17.0000 0.0000 -
1633.73/1638.78 c 1639 54144 5002 1 17.0000 0.0000 -
1640.30/1645.38 c 1645 54252 5020 1 17.0000 0.0000 -
1646.00/1651.00 c 1651 54442 5056 1 17.0000 0.0000 -
1653.77/1658.86 c 1659 54458 5061 1 17.0000 0.0000 -
1658.86/1663.97 c 1664 54751 5139 1 17.0000 0.0000 -
1663.94/1669.10 c 1669 55109 5208 1 17.0000 0.0000 -
1669.61/1674.79 c 1675 55211 5234 1 17.0000 0.0000 -
1675.40/1680.52 c 1681 55354 5273 1 17.0000 0.0000 -
1680.39/1685.57 c 1686 55693 5333 1 17.0000 0.0000 -
1685.46/1690.62 c 1691 56158 5367 1 17.0000 0.0000 -
1690.45/1695.67 c 1696 56701 5393 1 17.0000 0.0000 -
1695.93/1701.13 c 1701 57028 5396 1 17.0000 0.0000 -
1701.01/1706.21 c 1706 57514 5420 1 17.0000 0.0000 -
1706.10/1711.31 c 1711 58076 5443 1 17.0000 0.0000 -
1711.17/1716.43 c 1716 58621 5464 1 17.0000 0.0000 -
1716.36/1721.61 c 1722 59038 5494 1 17.0000 0.0000 -
1721.33/1726.67 c 1727 59504 5530 1 17.0000 0.0000 -
1726.42/1731.75 c 1732 59962 5557 1 17.0000 0.0000 -
1731.61/1736.93 c 1737 60420 5577 1 17.0000 0.0000 -
1736.98/1742.34 c 1742 60881 5593 1 17.0000 0.0000 -
1741.96/1747.39 c 1747 61359 5618 1 17.0000 0.0000 -
1747.15/1752.53 c 1753 61680 5647 1 17.0000 0.0000 -
1752.94/1758.35 c 1758 61739 5670 1 17.0000 0.0000 -
1758.52/1763.96 c 1764 61842 5726 1 17.0000 0.0000 -
1763.60/1769.09 c 1769 62057 5819 1 17.0000 0.0000 -
1768.69/1774.17 c 1774 62278 5904 1 17.0000 0.0000 -
1773.76/1779.26 c 1779 62579 5967 1 17.0000 0.0000 -
1778.85/1784.37 c 1784 62911 6030 1 17.0000 0.0000 -
1783.93/1789.43 c 1789 63168 6091 1 17.0000 0.0000 -
1788.92/1794.49 c 1794 63471 6152 1 17.0000 0.0000 -
1794.10/1799.65 c 1800 63718 6189 1 17.0000 0.0000 -
1799.68/1805.28 c 1805 63994 6241 1 17.0000 0.0000 -
1804.77/1810.39 c 1810 64261 6316 1 17.0000 0.0000 -
1809.96/1815.52 c 1816 64572 6367 1 17.0000 0.0000 -
1815.04/1820.64 c 1821 64848 6410 1 17.0000 0.0000 -
1820.62/1826.22 c 1826 65110 6455 1 17.0000 0.0000 -
1825.70/1831.31 c 1831 65351 6512 1 17.0000 0.0000 -
1830.79/1836.44 c 1836 65600 6602 1 17.0000 0.0000 -
1835.96/1841.63 c 1842 65845 6682 1 17.0000 0.0000 -
1841.05/1846.70 c 1847 66157 6734 1 17.0000 0.0000 -
1846.03/1851.75 c 1852 66569 6766 1 17.0000 0.0000 -
1852.51/1858.26 c 1858 66785 6791 1 17.0000 0.0000 -
1858.31/1864.08 c 1864 67009 6812 1 17.0000 0.0000 -
1863.49/1869.28 c 1869 67168 6823 1 17.0000 0.0000 -
1868.76/1874.59 c 1875 67509 6859 1 17.0000 0.0000 -
1873.86/1879.64 c 1880 67673 6876 1 17.0000 0.0000 -
1881.73/1887.57 c 1888 67801 6895 1 17.0000 0.0000 -
1887.72/1893.51 c 1894 67925 6913 1 17.0000 0.0000 -
1897.09/1902.98 c 1903 68086 6928 1 17.0000 0.0000 -
1905.87/1911.76 c 1912 68158 6941 1 17.0000 0.0000 -
1910.86/1916.78 c 1917 68259 6949 1 17.0000 0.0000 -
1916.44/1922.32 c 1922 68542 6980 1 17.0000 0.0000 -
1923.12/1929.00 c 1929 68732 7015 1 17.0000 0.0000 -
1928.40/1934.37 c 1934 69027 7055 1 17.0000 0.0000 -
1933.49/1939.47 c 1939 69358 7103 1 17.0000 0.0000 -
1939.07/1945.03 c 1945 69574 7118 1 17.0000 0.0000 -
1947.45/1953.48 c 1953 69739 7126 1 17.0000 0.0000 -
1954.23/1960.28 c 1960 69854 7135 1 17.0000 0.0000 -
1959.62/1965.69 c 1966 70009 7144 1 17.0000 0.0000 -
1965.70/1971.76 c 1972 70159 7156 1 17.0000 0.0000 -
1971.09/1977.11 c 1977 70263 7160 1 17.0000 0.0000 -
1977.46/1983.56 c 1984 70409 7178 1 17.0000 0.0000 -
1983.74/1989.85 c 1990 70556 7193 1 17.0000 0.0000 -
1992.61/1998.79 c 1999 70671 7210 1 17.0000 0.0000 -
1998.81/2004.94 c 2005 70822 7221 1 17.0000 0.0000 -
2004.00/2010.18 c 2010 70915 7223 1 17.0000 0.0000 -
2009.98/2016.11 c 2016 70967 7225 1 17.0000 0.0000 -
2014.96/2021.16 c 2021 71341 7248 1 17.0000 0.0000 -
2020.04/2026.27 c 2026 71749 7266 1 17.0000 0.0000 -
2025.12/2031.33 c 2031 72261 7287 1 17.0000 0.0000 -
2030.11/2036.39 c 2036 72767 7305 1 17.0000 0.0000 -
2035.19/2041.45 c 2041 73253 7340 1 17.0000 0.0000 -
2040.37/2046.60 c 2047 73504 7361 1 17.0000 0.0000 -
2045.36/2051.68 c 2052 73981 7379 1 17.0000 0.0000 -
2050.44/2056.74 c 2057 74447 7403 1 17.0000 0.0000 -
2055.52/2061.81 c 2062 74811 7425 1 17.0000 0.0000 -
2060.51/2066.87 c 2067 75271 7455 1 17.0000 0.0000 -
2065.59/2071.98 c 2072 75706 7481 1 17.0000 0.0000 -
2070.78/2077.14 c 2077 76102 7498 1 17.0000 0.0000 -
2078.36/2084.70 c 2085 76221 7510 1 17.0000 0.0000 -
2083.84/2090.23 c 2090 76543 7541 1 17.0000 0.0000 -
2089.13/2095.59 c 2096 76850 7588 1 17.0000 0.0000 -
2099.20/2105.60 c 2106 77039 7607 1 17.0000 0.0000 -
2104.69/2111.17 c 2111 77211 7640 1 17.0000 0.0000 -
2110.47/2116.97 c 2117 77388 7671 1 17.0000 0.0000 -
2115.46/2121.98 c 2122 77502 7689 1 17.0000 0.0000 -
2120.85/2127.36 c 2127 77730 7712 1 17.0000 0.0000 -
2126.43/2132.90 c 2133 77972 7762 1 17.0000 0.0000 -
2131.42/2137.95 c 2138 78133 7797 1 17.0000 0.0000 -
2136.79/2143.31 c 2143 78441 7853 1 17.0000 0.0000 -
2141.89/2148.42 c 2148 78720 7905 1 17.0000 0.0000 -
2146.96/2153.51 c 2154 79000 7938 1 17.0000 0.0000 -
2155.46/2162.00 c 2162 79236 7961 1 17.0000 0.0000 -
2162.13/2168.72 c 2169 79380 7987 1 17.0000 0.0000 -
2168.62/2175.26 c 2175 79391 7990 1 17.0000 0.0000 -
2173.60/2180.28 c 2180 79543 8011 1 17.0000 0.0000 -
2179.39/2186.05 c 2186 79659 8032 1 17.0000 0.0000 -
2186.47/2193.19 c 2193 79874 8070 1 17.0000 0.0000 -
2191.85/2198.56 c 2199 80010 8086 1 17.0000 0.0000 -
2197.74/2204.41 c 2204 80110 8099 1 17.0000 0.0000 -
2205.12/2211.88 c 2212 80176 8111 1 17.0000 0.0000 -
2211.00/2217.75 c 2218 80300 8129 1 17.0000 0.0000 -
2216.19/2222.99 c 2223 80550 8166 1 17.0000 0.0000 -
2221.27/2228.08 c 2228 80860 8203 1 17.0000 0.0000 -
2229.36/2236.17 c 2236 80994 8219 1 17.0000 0.0000 -
2235.35/2242.16 c 2242 81246 8259 1 17.0000 0.0000 -
2241.02/2247.83 c 2248 81344 8279 1 17.0000 0.0000 -
2246.01/2252.89 c 2253 81685 8332 1 17.0000 0.0000 -
2251.19/2258.02 c 2258 81930 8448 1 17.0000 0.0000 -
2256.28/2263.10 c 2263 82236 8508 1 17.0000 0.0000 -
2261.36/2268.23 c 2268 82568 8566 1 17.0000 0.0000 -
2266.45/2273.30 c 2273 82809 8647 1 17.0000 0.0000 -
2271.53/2278.44 c 2278 83114 8710 1 17.0000 0.0000 -
2276.61/2283.52 c 2284 83414 8760 1 17.0000 0.0000 -
2281.81/2288.74 c 2289 83727 8802 1 17.0000 0.0000 -
2286.89/2293.82 c 2294 84119 8829 1 17.0000 0.0000 -
2293.47/2300.40 c 2300 84552 8859 1 17.0000 0.0000 -
2299.06/2306.04 c 2306 84813 8874 1 17.0000 0.0000 -
2306.34/2313.30 c 2313 84972 8886 1 17.0000 0.0000 -
2312.13/2319.17 c 2319 85075 8896 1 17.0000 0.0000 -
2317.30/2324.32 c 2324 85229 8906 1 17.0000 0.0000 -
2323.59/2330.68 c 2331 85385 8912 1 17.0000 0.0000 -
2328.68/2335.73 c 2336 85787 8944 1 17.0000 0.0000 -
2334.96/2342.08 c 2342 86168 8970 1 17.0000 0.0000 -
2340.94/2348.03 c 2348 86271 8975 1 17.0000 0.0000 -
2347.92/2355.00 c 2355 86372 8982 1 17.0000 0.0000 -
2353.29/2360.49 c 2360 86477 8987 1 17.0000 0.0000 -
2359.77/2366.94 c 2367 86631 8997 1 17.0000 0.0000 -
2366.86/2374.10 c 2374 86737 8999 1 17.0000 0.0000 -
2374.04/2381.20 c 2381 86881 9014 1 17.0000 0.0000 -
2380.12/2387.34 c 2387 87089 9025 1 17.0000 0.0000 -
2387.19/2394.49 c 2394 87295 9037 1 17.0000 0.0000 -
2393.27/2400.57 c 2401 87582 9053 1 17.0000 0.0000 -
2398.45/2405.73 c 2406 87900 9127 1 17.0000 0.0000 -
2403.53/2410.81 c 2411 88193 9200 1 17.0000 0.0000 -
2408.83/2416.19 c 2416 88507 9248 1 17.0000 0.0000 -
2417.89/2425.22 c 2425 88761 9278 1 17.0000 0.0000 -
2423.88/2431.27 c 2431 88905 9283 1 17.0000 0.0000 -
2430.35/2437.78 c 2438 89029 9295 1 17.0000 0.0000 -
2435.84/2443.27 c 2443 89226 9318 1 17.0000 0.0000 -
2440.92/2448.33 c 2448 89426 9328 1 17.0000 0.0000 -
2445.91/2453.40 c 2453 89907 9339 1 17.0000 0.0000 -
2451.09/2458.50 c 2458 90316 9363 1 17.0000 0.0000 -
2456.07/2463.59 c 2464 90785 9406 1 17.0000 0.0000 -
2461.16/2468.64 c 2469 91246 9419 1 17.0000 0.0000 -
2466.23/2473.72 c 2474 91705 9436 1 17.0000 0.0000 -
2471.63/2479.15 c 2479 92049 9480 1 17.0000 0.0000 -
2476.70/2484.22 c 2484 92306 9526 1 17.0000 0.0000 -
2481.88/2489.45 c 2489 92588 9573 1 17.0000 0.0000 -
2486.97/2494.54 c 2495 92961 9605 1 17.0000 0.0000 -
2492.05/2499.60 c 2500 93340 9626 1 17.0000 0.0000 -
2497.03/2504.69 c 2505 93665 9658 1 17.0000 0.0000 -
2502.11/2509.79 c 2510 94057 9697 1 17.0000 0.0000 -
2508.50/2516.14 c 2516 94333 9733 1 17.0000 0.0000 -
2513.98/2521.65 c 2522 94436 9736 1 17.0000 0.0000 -
2519.96/2527.66 c 2528 94654 9744 1 17.0000 0.0000 -
2525.35/2533.07 c 2533 94837 9765 1 17.0000 0.0000 -
2531.72/2539.40 c 2539 95027 9770 1 17.0000 0.0000 -
2536.70/2544.44 c 2544 95200 9779 1 17.0000 0.0000 -
2543.98/2551.74 c 2552 95392 9791 1 17.0000 0.0000 -
2553.55/2561.35 c 2561 95498 9793 1 17.0000 0.0000 -
2558.64/2566.46 c 2566 95947 9823 1 17.0000 0.0000 -
2564.72/2572.57 c 2573 96204 9836 1 17.0000 0.0000 -
2570.40/2578.29 c 2578 96459 9864 1 17.0000 0.0000 -
2579.37/2587.26 c 2587 96839 9890 1 17.0000 0.0000 -
2584.45/2592.37 c 2592 97207 9920 1 17.0000 0.0000 -
2589.53/2597.43 c 2597 97560 9954 1 17.0000 0.0000 -
2595.31/2603.20 c 2603 97711 9985 1 17.0000 0.0000 -
2600.30/2608.24 c 2608 97822 9998 1 17.0000 0.0000 -
2606.28/2614.26 c 2614 97949 10004 1 17.0000 0.0000 -
2611.46/2619.40 c 2619 98002 10005 1 17.0000 0.0000 -
2616.55/2624.53 c 2625 98432 10034 1 17.0000 0.0000 -
2621.63/2629.62 c 2630 98777 10079 1 17.0000 0.0000 -
2626.72/2634.75 c 2635 99138 10145 1 17.0000 0.0000 -
2633.80/2641.83 c 2642 99452 10200 1 17.0000 0.0000 -
2639.88/2647.91 c 2648 99660 10210 1 17.0000 0.0000 -
2646.75/2654.83 c 2655 99766 10212 1 17.0000 0.0000 -
2652.33/2660.45 c 2660 99976 10218 1 17.0000 0.0000 -
2658.62/2666.79 c 2667 100187 10223 1 17.0000 0.0000 -
2669.49/2677.62 c 2678 100354 10227 1 17.0000 0.0000 -
2675.37/2683.54 c 2684 100674 10233 1 17.0000 0.0000 -
2680.45/2688.60 c 2689 101104 10246 1 17.0000 0.0000 -
2685.63/2693.87 c 2694 101398 10312 1 17.0000 0.0000 -
2690.82/2699.00 c 2699 101640 10377 1 17.0000 0.0000 -
2695.80/2704.02 c 2704 101863 10420 1 17.0000 0.0000 -
2701.58/2709.84 c 2710 102088 10451 1 17.0000 0.0000 -
2707.17/2715.40 c 2715 102502 10486 1 17.0000 0.0000 -
2712.15/2720.45 c 2720 102941 10516 1 17.0000 0.0000 -
2717.23/2725.54 c 2726 103356 10553 1 17.0000 0.0000 -
2722.32/2730.61 c 2731 103773 10593 1 17.0000 0.0000 -
2727.30/2735.66 c 2736 104261 10630 1 17.0000 0.0000 -
2732.39/2740.71 c 2741 104784 10651 1 17.0000 0.0000 -
2737.38/2745.76 c 2746 105267 10687 1 17.0000 0.0000 -
2743.56/2752.00 c 2752 105486 10720 1 17.0000 0.0000 -
2748.65/2757.04 c 2757 105911 10760 1 17.0000 0.0000 -
2753.74/2762.12 c 2762 106414 10791 1 17.0000 0.0000 -
2758.72/2767.18 c 2767 106902 10832 1 17.0000 0.0000 -
2763.80/2772.24 c 2772 107419 10886 1 17.0000 0.0000 -
2768.89/2777.30 c 2777 107916 10909 1 17.0000 0.0000 -
2773.87/2782.35 c 2782 108371 10946 1 17.0000 0.0000 -
2778.95/2787.46 c 2787 108881 10972 1 17.0000 0.0000 -
2784.14/2792.61 c 2793 109353 11013 1 17.0000 0.0000 -
2789.23/2797.71 c 2798 109785 11037 1 17.0000 0.0000 -
2794.21/2802.79 c 2803 110286 11052 1 17.0000 0.0000 -
2799.29/2807.84 c 2808 110742 11072 1 17.0000 0.0000 -
2804.38/2812.90 c 2813 111199 11083 1 17.0000 0.0000 -
2811.66/2820.27 c 2820 111459 11087 1 17.0000 0.0000 -
2816.75/2825.39 c 2825 111891 11105 1 17.0000 0.0000 -
2821.83/2830.48 c 2830 112359 11126 1 17.0000 0.0000 -
2826.92/2835.58 c 2836 112848 11149 1 17.0000 0.0000 -
2832.00/2840.69 c 2841 113340 11175 1 17.0000 0.0000 -
2837.08/2845.78 c 2846 113590 11223 1 17.0000 0.0000 -
2844.67/2853.38 c 2853 113816 11291 1 17.0000 0.0000 -
2849.96/2858.68 c 2859 113865 11296 1 17.0000 0.0000 -
2855.64/2864.33 c 2864 114046 11321 1 17.0000 0.0000 -
2861.23/2869.94 c 2870 114220 11338 1 17.0000 0.0000 -
2866.31/2875.01 c 2875 114682 11368 1 17.0000 0.0000 -
2871.30/2880.10 c 2880 115094 11396 1 17.0000 0.0000 -
2878.08/2886.82 c 2887 115180 11423 1 17.0000 0.0000 -
2883.16/2891.94 c 2892 115322 11458 1 17.0000 0.0000 -
2888.15/2896.98 c 2897 115369 11465 1 17.0000 0.0000 -
2893.84/2902.66 c 2903 115519 11480 1 17.0000 0.0000 -
2899.02/2907.89 c 2908 115898 11509 1 17.0000 0.0000 -
2904.10/2912.95 c 2913 116380 11538 1 17.0000 0.0000 -
2909.20/2918.00 c 2918 116850 11584 1 17.0000 0.0000 -
2914.18/2923.07 c 2923 117371 11603 1 17.0000 0.0000 -
2919.37/2928.25 c 2928 117886 11621 1 17.0000 0.0000 -
2924.45/2933.36 c 2933 118407 11650 1 17.0000 0.0000 -
2929.53/2938.41 c 2938 118908 11675 1 17.0000 0.0000 -
2934.51/2943.47 c 2943 119406 11701 1 17.0000 0.0000 -
2939.61/2948.53 c 2949 119848 11731 1 17.0000 0.0000 -
2945.09/2954.06 c 2954 120076 11813 1 17.0000 0.0000 -
2950.17/2959.19 c 2959 120312 11890 1 17.0000 0.0000 -
2955.36/2964.31 c 2964 120571 11954 1 17.0000 0.0000 -
2960.54/2969.53 c 2970 120779 12002 1 17.0000 0.0000 -
2966.13/2975.15 c 2975 121109 12032 1 17.0000 0.0000 -
2971.41/2980.46 c 2980 121479 12060 1 17.0000 0.0000 -
2976.50/2985.52 c 2986 121878 12088 1 17.0000 0.0000 -
2981.48/2990.57 c 2991 122298 12107 1 17.0000 0.0000 -
2986.97/2996.05 c 2996 122482 12118 1 17.0000 0.0000 -
2992.85/3001.95 c 3002 122643 12135 1 17.0000 0.0000 -
2998.04/3007.18 c 3007 122843 12181 1 17.0000 0.0000 -
3004.03/3013.17 c 3013 123012 12221 1 17.0000 0.0000 -
3009.11/3018.27 c 3018 123453 12259 1 17.0000 0.0000 -
3014.19/3023.37 c 3023 123840 12308 1 17.0000 0.0000 -
3019.58/3028.78 c 3029 123949 12334 1 17.0000 0.0000 -
3025.07/3034.29 c 3034 124074 12351 1 17.0000 0.0000 -
3030.55/3039.76 c 3040 124221 12377 1 17.0000 0.0000 -
3035.94/3045.11 c 3045 124631 12430 1 17.0000 0.0000 -
3040.93/3050.16 c 3050 125106 12472 1 17.0000 0.0000 -
3046.01/3055.23 c 3055 125563 12518 1 17.0000 0.0000 -
3050.99/3060.29 c 3060 125820 12617 1 17.0000 0.0000 -
3056.18/3065.43 c 3065 126139 12679 1 17.0000 0.0000 -
3061.47/3070.77 c 3071 126341 12711 1 17.0000 0.0000 -
3066.87/3076.12 c 3076 126563 12736 1 17.0000 0.0000 -
3074.74/3084.05 c 3084 126789 12765 1 17.0000 0.0000 -
3080.02/3089.32 c 3089 127219 12792 1 17.0000 0.0000 -
3085.11/3094.49 c 3094 127659 12816 1 17.0000 0.0000 -
3090.30/3099.60 c 3100 128168 12857 1 17.0000 0.0000 -
3095.38/3104.71 c 3105 128689 12885 1 17.0000 0.0000 -
3100.37/3109.78 c 3110 129231 12905 1 17.0000 0.0000 -
3105.46/3114.84 c 3115 129805 12928 1 17.0000 0.0000 -
3110.74/3120.14 c 3120 130214 12981 1 17.0000 0.0000 -
3115.82/3125.23 c 3125 130610 13045 1 17.0000 0.0000 -
3121.31/3130.75 c 3131 130830 13083 1 17.0000 0.0000 -
3126.40/3135.82 c 3136 131253 13114 1 17.0000 0.0000 -
3131.48/3140.91 c 3141 131663 13150 1 17.0000 0.0000 -
3136.47/3145.96 c 3146 132081 13190 1 17.0000 0.0000 -
3141.56/3151.04 c 3151 132539 13233 1 17.0000 0.0000 -
3150.55/3160.09 c 3160 132553 13235 1 17.0000 0.0000 -
3155.63/3165.15 c 3165 132901 13284 1 17.0000 0.0000 -
3162.31/3171.83 c 3172 133172 13339 1 17.0000 0.0000 -
3168.40/3177.91 c 3178 133435 13373 1 17.0000 0.0000 -
3173.38/3182.96 c 3183 133894 13431 1 17.0000 0.0000 -
3178.67/3188.25 c 3188 133924 13433 1 17.0000 0.0000 -
3184.25/3193.86 c 3194 134287 13479 1 17.0000 0.0000 -
3189.34/3198.92 c 3199 134656 13526 1 17.0000 0.0000 -
3194.43/3204.00 c 3204 134999 13560 1 17.0000 0.0000 -
3205.10/3214.78 c 3215 135137 13569 1 17.0000 0.0000 -
3212.98/3222.62 c 3223 135299 13593 1 17.0000 0.0000 -
3217.98/3227.63 c 3228 135530 13619 1 17.0000 0.0000 -
3223.06/3232.74 c 3233 136034 13653 1 17.0000 0.0000 -
3228.14/3237.84 c 3238 136468 13687 1 17.0000 0.0000 -
3233.23/3242.95 c 3243 136982 13714 1 17.0000 0.0000 -
3238.32/3248.00 c 3248 137472 13745 1 17.0000 0.0000 -
3243.30/3253.05 c 3253 137963 13778 1 17.0000 0.0000 -
3248.28/3258.10 c 3258 138512 13809 1 17.0000 0.0000 -
3253.47/3263.21 c 3263 139082 13836 1 17.0000 0.0000 -
3258.45/3268.28 c 3268 139635 13879 1 17.0000 0.0000 -
3263.54/3273.34 c 3273 140159 13932 1 17.0000 0.0000 -
3268.62/3278.40 c 3278 140584 13969 1 17.0000 0.0000 -
3273.71/3283.53 c 3284 141074 13999 1 17.0000 0.0000 -
3278.79/3288.61 c 3289 141629 14031 1 17.0000 0.0000 -
3283.77/3293.68 c 3294 142192 14072 1 17.0000 0.0000 -
3290.75/3300.62 c 3301 142307 14095 1 17.0000 0.0000 -
3295.73/3305.68 c 3306 142822 14127 1 17.0000 0.0000 -
3300.91/3310.82 c 3311 143266 14187 1 17.0000 0.0000 -
3305.90/3315.88 c 3316 143807 14206 1 17.0000 0.0000 -
3310.98/3320.93 c 3321 144308 14230 1 17.0000 0.0000 -
3320.06/3330.01 c 3330 144845 14272 1 17.0000 0.0000 -
3325.14/3335.13 c 3335 145419 14306 1 17.0000 0.0000 -
3330.72/3340.75 c 3341 145742 14400 1 17.0000 0.0000 -
3335.80/3345.82 c 3346 146080 14491 1 17.0000 0.0000 -
3340.79/3350.87 c 3351 146631 14530 1 17.0000 0.0000 -
3345.87/3355.95 c 3356 147202 14552 1 17.0000 0.0000 -
3350.96/3361.01 c 3361 147580 14584 1 17.0000 0.0000 -
3355.95/3366.06 c 3366 147985 14611 1 17.0000 0.0000 -
3361.03/3371.12 c 3371 148474 14631 1 17.0000 0.0000 -
3366.00/3376.17 c 3376 148953 14648 1 17.0000 0.0000 -
3374.09/3384.23 c 3384 148959 14648 1 17.0000 0.0000 -
3380.67/3390.82 c 3391 149121 14654 1 17.0000 0.0000 -
3385.65/3395.85 c 3396 149175 14656 1 17.0000 0.0000 -
3390.84/3401.05 c 3401 149283 14660 1 17.0000 0.0000 -
3395.83/3406.08 c 3406 149393 14662 1 17.0000 0.0000 -
3402.01/3412.24 c 3412 149557 14666 1 17.0000 0.0000 -
3407.29/3417.53 c 3418 149760 14676 1 17.0000 0.0000 -
3414.28/3424.57 c 3425 149978 14682 1 17.0000 0.0000 -
3419.96/3430.27 c 3430 150278 14697 1 17.0000 0.0000 -
3425.54/3435.88 c 3436 150526 14705 1 17.0000 0.0000 -
3432.42/3442.76 c 3443 150537 14706 1 17.0000 0.0000 -
3437.50/3447.81 c 3448 151005 14731 1 17.0000 0.0000 -
3442.49/3452.86 c 3453 151571 14783 1 17.0000 0.0000 -
3447.78/3458.18 c 3458 151870 14842 1 17.0000 0.0000 -
3455.95/3466.39 c 3466 152065 14871 1 17.0000 0.0000 -
3462.23/3472.68 c 3473 152277 14883 1 17.0000 0.0000 -
3469.31/3479.79 c 3480 152383 14889 1 17.0000 0.0000 -
3474.99/3485.42 c 3485 152846 14911 1 17.0000 0.0000 -
3479.97/3490.47 c 3490 153359 14947 1 17.0000 0.0000 -
3485.76/3496.26 c 3496 153478 14971 1 17.0000 0.0000 -
3490.84/3501.32 c 3501 153992 15030 1 17.0000 0.0000 -
3495.82/3506.39 c 3506 154466 15068 1 17.0000 0.0000 -
3504.60/3515.18 c 3515 154690 15083 1 17.0000 0.0000 -
3509.69/3520.25 c 3520 155168 15125 1 17.0000 0.0000 -
3514.77/3525.37 c 3525 155514 15187 1 17.0000 0.0000 -
3519.85/3530.47 c 3530 156044 15205 1 17.0000 0.0000 -
3525.04/3535.68 c 3536 156476 15243 1 17.0000 0.0000 -
3530.12/3540.74 c 3541 156991 15300 1 17.0000 0.0000 -
3535.20/3545.85 c 3546 157462 15337 1 17.0000 0.0000 -
3540.28/3550.91 c 3551 157944 15369 1 17.0000 0.0000 -
3545.47/3556.12 c 3556 158479 15388 1 17.0000 0.0000 -
3550.46/3561.17 c 3561 159018 15411 1 17.0000 0.0000 -
3555.62/3566.33 c 3566 159517 15441 1 17.0000 0.0000 -
3560.81/3571.50 c 3572 159879 15486 1 17.0000 0.0000 -
3567.50/3578.28 c 3578 160259 15530 1 17.0000 0.0000 -
3572.58/3583.33 c 3583 160693 15557 1 17.0000 0.0000 -
3578.97/3589.78 c 3590 160967 15568 1 17.0000 0.0000 -
3585.75/3596.51 c 3597 161131 15572 1 17.0000 0.0000 -
3589.44/3600.22 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.44/3600.22 c Total Time : 3600.2100
3589.44/3600.22 c solving : 3600.2100
3589.44/3600.22 c presolving : 1.0322 (included in solving)
3589.44/3600.22 c B&B Tree :
3589.44/3600.22 c nodes (total) : 1
3589.44/3600.22 c Solution :
3589.44/3600.22 c Solutions found : 2
3589.44/3600.22 c Primal Bound : +1.70000000000000e+01
3589.44/3600.22 c Dual Bound : +0.00000000000000e+00
3589.44/3600.22 c Gap : infinite
3589.44/3600.22 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3589.44/3600.27 o 17
3589.44/3600.27 s SATISFIABLE
3589.44/3600.27 v x589 -x588 -x587 x586 -x585 x584 -x583 x582 -x581 x580 -x579 x578 -x577 x576 -x575 x574 -x573 x572 -x571 x570 -x569 x568 -x567
3589.44/3600.27 v x566 -x565 x564 -x563 x562 -x561 x560 -x559 x558 -x557 x556 -x555 x554 -x553 x552 x171 x170 -x169 x168 -x167 -x166 x165 -x164
3589.44/3600.27 v -x163 -x162 x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 -x144 x143 -x142
3589.44/3600.27 v -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 -x122 -x121
3589.44/3600.27 v -x120 -x119 -x118 -x117 x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100
3589.44/3600.27 v -x99 -x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75
3589.44/3600.27 v -x74 -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
3589.44/3600.27 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
3589.44/3600.27 v -x23 -x22 -x21 -x20 -x19 x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 -x551 -x532 -x513
3589.44/3600.27 v -x494 -x475 -x456 -x437 -x418 -x399 -x380 -x361 -x342 -x323 -x304 -x285 -x266 -x247 -x228 -x209 -x550 -x531 -x512 -x493 -x474
3589.44/3600.27 v -x455 -x436 -x417 -x398 -x379 -x360 -x341 -x322 -x303 -x284 -x265 -x246 -x227 -x208 -x549 -x530 -x511 -x492 -x473 -x454 -x435
3589.44/3600.27 v -x416 -x397 -x378 -x359 -x340 -x321 -x302 -x283 -x264 -x245 -x226 -x207 -x548 -x529 -x510 -x491 -x472 -x453 -x434 -x415 -x396
3589.44/3600.27 v -x377 -x358 -x339 -x320 -x301 -x282 -x263 -x244 -x225 -x206 -x547 -x528 -x509 -x490 -x471 -x452 -x433 -x414 -x395 -x376 -x357
3589.44/3600.27 v -x338 -x319 -x300 -x281 -x262 -x243 -x224 -x205 -x546 -x527 -x508 -x489 -x470 -x451 -x432 -x413 -x394 -x375 -x356 -x337 -x318
3589.44/3600.27 v -x299 -x280 -x261 -x242 -x223 -x204 -x545 -x526 -x507 -x488 -x469 -x450 -x431 -x412 -x393 -x374 -x355 -x336 -x317 -x298
3589.44/3600.27 v -x279 -x260 -x241 -x222 -x203 -x544 -x525 -x506 -x487 -x468 -x449 -x430 -x411 -x392 -x373 -x354 -x335 -x316 -x297 -x278 -x259
3589.44/3600.27 v -x240 -x221 -x202 -x543 -x524 -x505 -x486 -x467 -x448 -x429 -x410 -x391 -x372 -x353 -x334 -x315 -x296 -x277 -x258 -x239 -x220
3589.44/3600.27 v -x201 -x542 -x523 -x504 -x485 -x466 -x447 -x428 -x409 -x390 -x371 -x352 -x333 -x314 -x295 -x276 -x257 -x238 -x219 -x200 -x541
3589.44/3600.27 v -x522 -x503 -x484 -x465 -x446 -x427 -x408 -x389 -x370 -x351 -x332 -x313 -x294 -x275 -x256 -x237 -x218 -x199 -x540 -x521 -x502
3589.44/3600.27 v -x483 -x464 -x445 -x426 -x407 -x388 -x369 -x350 -x331 -x312 -x293 -x274 -x255 -x236 -x217 -x198 -x539 -x520 -x501 -x482 -x463
3589.44/3600.27 v -x444 -x425 -x406 -x387 -x368 -x349 -x330 -x311 -x292 -x273 -x254 -x235 -x216 -x197 -x538 -x519 -x500 -x481 -x462 -x443
3589.44/3600.27 v -x424 -x405 -x386 -x367 -x348 -x329 -x310 -x291 -x272 -x253 -x234 -x215 -x196 -x537 -x518 -x499 -x480 -x461 -x442 -x423 -x404
3589.44/3600.27 v -x385 -x366 -x347 -x328 -x309 -x290 -x271 -x252 -x233 -x214 -x195 -x536 -x517 -x498 -x479 -x460 -x441 -x422 -x403 -x384 -x365
3589.44/3600.27 v -x346 -x327 -x308 -x289 -x270 -x251 -x232 -x213 -x194 x535 -x516 -x497 -x478 -x459 -x440 -x421 -x402 -x383 -x364 -x345 -x326
3589.44/3600.27 v -x307 -x288 -x269 -x250 -x231 -x212 -x193 -x534 x515 x496 x477 x458 x439 x420 x401 x382 x363 x344 x325 x306 x287 x268 x249
3589.44/3600.27 v x230 x211 x192 -x533 -x514 -x495 -x476 -x457 -x438 -x419 -x400 -x381 -x362 -x343 -x324 -x305 -x286 -x267 -x248 -x229 -x210 -x191
3589.44/3600.27 v x190 x189 x188 x187 x186 x185 x184 x183 x182 x181 x180 x179 x178 x177 x176 x175 -x174 -x173 x172
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 (60770 MiB free)
memory of node 1: 64510 MiB (61509 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4449868-1721453233/watcher-4449868-1721453233 -o /tmp/evaluation-result-4449868-1721453233/solver-4449868-1721453233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721446720-1059846 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449868-1721453233.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
Current StackSize limit: 8192 KiB
solver pid=1065817, runsolver pid=1065814
[startup+0.100104 s]*
/proc/loadavg: 4.13 4.12 4.09 5/262 1065818
/proc/meminfo: memFree=125178628/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=56832 memory=46780 CPUtime=0.09 cores=1,3
/proc/1065817/stat : 1065817 (fscip) R 1065814 1065817 1059834 0 -1 4194304 9543 0 0 0 8 1 0 0 20 0 1 0 197490722 58195968 11695 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 14208 11695 2558 3032 0 10608 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56832 KiB
Current children cumulated memory: 46780 KiB
[startup+0.205988 s]*
/proc/loadavg: 4.13 4.12 4.09 5/262 1065818
/proc/meminfo: memFree=125127032/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=109380 memory=96856 CPUtime=0.19 cores=1,3
/proc/1065817/stat : 1065817 (fscip) R 1065814 1065817 1059834 0 -1 4194304 22009 0 0 0 17 2 0 0 20 0 1 0 197490722 112005120 24214 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 27345 24214 2606 3032 0 23745 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109380 KiB
Current children cumulated memory: 96856 KiB
[startup+0.305893 s]*
/proc/loadavg: 4.13 4.12 4.09 5/262 1065818
/proc/meminfo: memFree=125087340/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=149204 memory=136404 CPUtime=0.29 cores=1,3
/proc/1065817/stat : 1065817 (fscip) R 1065814 1065817 1059834 0 -1 4194304 31982 0 0 0 25 4 0 0 20 0 1 0 197490722 152784896 34101 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 37301 34101 2654 3032 0 33701 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 149204 KiB
Current children cumulated memory: 136404 KiB
[startup+0.700239 s]
/proc/loadavg: 4.13 4.12 4.09 6/262 1065818
/proc/meminfo: memFree=125111708/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=206636 memory=180328 CPUtime=0.68 cores=1,3
/proc/1065817/stat : 1065817 (fscip) R 1065814 1065817 1059834 0 -1 4194304 42635 0 0 0 62 6 0 0 20 0 1 0 197490722 211595264 45082 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 51659 45082 2734 3032 0 48059 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 206636 KiB
Current children cumulated memory: 180328 KiB
[startup+1.50024 s]
/proc/loadavg: 4.13 4.12 4.09 5/262 1065818
/proc/meminfo: memFree=124983156/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=423060 memory=348396 CPUtime=1.49 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 83939 0 0 0 136 13 0 0 20 0 3 0 197490722 433213440 87099 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 105765 87099 2782 3032 0 95870 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 423060 KiB
Current children cumulated memory: 348396 KiB
[startup+3.10611 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 1065820
/proc/meminfo: memFree=124805796/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=488596 memory=418128 CPUtime=3.09 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 119393 0 0 0 291 18 0 0 20 0 3 0 197490722 500322304 104532 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 122149 104532 2910 3032 0 113153 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=488596 memory=198340509722 CPUtime=1.8 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 59827 0 0 0 172 8 0 0 20 0 3 0 197490843 500322304 104532 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=488596 memory=0 CPUtime=0 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 197490857 500322304 104532 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 488596 KiB
Current children cumulated memory: 418128 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.12 4.09 5/264 1065821
/proc/meminfo: memFree=124785488/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=554132 memory=440280 CPUtime=6.27 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 143935 0 0 0 607 20 0 0 20 0 3 0 197490722 567431168 110070 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 138533 110070 2910 3032 0 122769 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=554132 memory=0 CPUtime=4.99 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 84367 0 0 0 489 10 0 0 20 0 3 0 197490843 567431168 110070 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=554132 memory=0 CPUtime=0 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 197490857 567431168 110070 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 554132 KiB
Current children cumulated memory: 440280 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 1065823
/proc/meminfo: memFree=124680276/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=685204 memory=543384 CPUtime=12.65 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 195765 0 0 0 1240 25 0 0 20 0 3 0 197490722 701648896 135846 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 171301 135846 2926 3032 0 158197 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=685204 memory=0 CPUtime=11.37 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 136161 0 0 0 1122 15 0 0 20 0 3 0 197490843 701648896 135846 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=685204 memory=537732 CPUtime=0 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 197490857 701648896 135846 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 685204 KiB
Current children cumulated memory: 543384 KiB
[startup+25.5003 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 1065824
/proc/meminfo: memFree=124658212/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=685204 memory=544352 CPUtime=25.41 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 239102 0 0 0 2514 27 0 0 20 0 3 0 197490722 701648896 136088 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 171301 136088 2974 3032 0 160886 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=685204 memory=11588 CPUtime=24.13 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 179458 0 0 0 2396 17 0 0 20 0 3 0 197490843 701648896 136088 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=685204 memory=11588 CPUtime=0 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 197490857 701648896 136088 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 685204 KiB
Current children cumulated memory: 544352 KiB
[startup+51.106 s]
/proc/loadavg: 4.11 4.12 4.09 5/264 1065997
/proc/meminfo: memFree=124603472/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=685204 memory=568108 CPUtime=50.94 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 318051 0 0 0 5061 33 0 0 20 0 3 0 197490722 701648896 142027 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 171301 142027 2974 3032 0 166810 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=685204 memory=11588 CPUtime=49.66 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 258342 0 0 0 4943 23 0 0 20 0 3 0 197490843 701648896 142027 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=685204 memory=568108 CPUtime=0 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 197490857 701648896 142027 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 685204 KiB
Current children cumulated memory: 568108 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 1066005
/proc/meminfo: memFree=124498248/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=750740 memory=617320 CPUtime=101.99 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 422354 0 0 0 10158 41 0 0 20 0 3 0 197490722 768757760 154330 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 187685 154330 2990 3032 0 180075 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=750740 memory=617320 CPUtime=100.71 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 362556 0 0 0 10039 32 0 0 20 0 3 0 197490843 768757760 154330 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=750740 memory=617320 CPUtime=0 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 197490857 768757760 154330 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 750740 KiB
Current children cumulated memory: 617320 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 1066016
/proc/meminfo: memFree=124420452/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=819936 memory=632332 CPUtime=161.83 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 515150 0 0 0 16133 50 0 0 20 0 3 0 197490722 839614464 158083 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 204984 158083 2990 3032 0 189258 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=819936 memory=-6807887676285750631 CPUtime=160.54 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 455280 0 0 0 16014 40 0 0 20 0 3 0 197490843 839614464 158083 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=819936 memory=629608 CPUtime=0 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 197490857 839614464 158083 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 819936 KiB
Current children cumulated memory: 632332 KiB
[startup+222.3 s]
/proc/loadavg: 4.48 4.22 4.13 5/267 1066088
/proc/meminfo: memFree=124370976/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=819936 memory=636508 CPUtime=221.66 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 578864 0 0 0 22111 55 0 0 20 0 3 0 197490722 839614464 159127 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 204984 159127 2990 3032 0 192834 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=819936 memory=632348 CPUtime=220.37 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 518923 0 0 0 21992 45 0 0 20 0 3 0 197490843 839614464 159127 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=819936 memory=47212 CPUtime=0 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 197490857 839614464 159127 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 819936 KiB
Current children cumulated memory: 636508 KiB
[startup+282.3 s]
/proc/loadavg: 4.34 4.24 4.14 5/267 1066098
/proc/meminfo: memFree=124243612/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=845120 memory=686936 CPUtime=281.48 cores=1,3
################
# More data... #
################
/proc/1065817/statm: 442026 391938 2990 3032 0 431133 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=1768104 memory=1577332 CPUtime=3390.65 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 3768841 0 0 0 338713 352 0 0 20 0 3 0 197490843 1810538496 391938 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=1768104 memory=1567752 CPUtime=0.03 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 172 0 0 0 1 2 0 0 20 0 3 0 197490857 1810538496 391938 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 3392.14 s
Current children cumulated vsize: 1768104 KiB
Current children cumulated memory: 1567752 KiB
[startup+3462.3 s]
/proc/loadavg: 2.07 2.48 3.26 3/247 1067405
/proc/meminfo: memFree=123373612/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=1768104 memory=1567752 CPUtime=3451.96 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 3835077 0 0 0 344826 370 0 0 20 0 3 0 197490722 1810538496 391938 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 442026 391938 2990 3032 0 431133 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=1768104 memory=1577332 CPUtime=3450.48 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 3773772 0 0 0 344693 355 0 0 20 0 3 0 197490843 1810538496 391938 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=1768104 memory=1567752 CPUtime=0.03 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 176 0 0 0 1 2 0 0 20 0 3 0 197490857 1810538496 391938 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 3451.96 s
Current children cumulated vsize: 1768104 KiB
Current children cumulated memory: 1567752 KiB
[startup+3522.3 s]
/proc/loadavg: 2.13 2.42 3.19 3/246 1067799
/proc/meminfo: memFree=123233140/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=1768104 memory=1645292 CPUtime=3511.78 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 3856561 0 0 0 350803 375 0 0 20 0 3 0 197490722 1810538496 411323 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 442026 411323 2990 3032 0 437227 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=1768104 memory=1567752 CPUtime=3510.3 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 3795233 0 0 0 350671 359 0 0 20 0 3 0 197490843 1810538496 411323 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=1768104 memory=1645204 CPUtime=0.03 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 178 0 0 0 1 2 0 0 20 0 3 0 197490857 1810538496 411323 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 3511.78 s
Current children cumulated vsize: 1768104 KiB
Current children cumulated memory: 1645292 KiB
[startup+3582.3 s]
/proc/loadavg: 2.05 2.34 3.11 3/246 1067809
/proc/meminfo: memFree=123175260/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=1833640 memory=1654852 CPUtime=3571.59 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 3869815 0 0 0 356779 380 0 0 20 0 3 0 197490722 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 458410 413713 2990 3032 0 444150 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=1833640 memory=11588 CPUtime=3570.1 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 3808468 0 0 0 356646 364 0 0 20 0 3 0 197490843 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=1833640 memory=47392 CPUtime=0.03 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 178 0 0 0 1 2 0 0 20 0 3 0 197490857 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 3571.59 s
Current children cumulated vsize: 1833640 KiB
Current children cumulated memory: 1654852 KiB
[startup+3600.27 s]
# the end of solver process 1065817 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.71 s, system=3.82102 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.04 2.34 3.11 3/246 1067810
/proc/meminfo: memFree=123175140/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=1833640 memory=1654852 CPUtime=3573.29 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 3869868 0 0 0 356949 380 0 0 20 0 3 0 197490722 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 458410 413713 2990 3032 0 444150 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=1833640 memory=20436 CPUtime=3571.8 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 3808521 0 0 0 356816 364 0 0 20 0 3 0 197490843 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=1833640 memory=1401355746855116858 CPUtime=0.03 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 178 0 0 0 1 2 0 0 20 0 3 0 197490857 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 3573.29 s
Current children cumulated vsize: 1833640 KiB
Current children cumulated memory: 1654852 KiB
[startup+3590.4 s]
/proc/loadavg: 2.04 2.33 3.10 3/246 1067812
/proc/meminfo: memFree=123169328/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=1833640 memory=1654852 CPUtime=3579.66 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 3870404 0 0 0 357586 380 0 0 20 0 3 0 197490722 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 458410 413713 2990 3032 0 444150 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=1833640 memory=1654852 CPUtime=3578.18 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 3809053 0 0 0 357454 364 0 0 20 0 3 0 197490843 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=1833640 memory=1654852 CPUtime=0.03 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 197490857 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 3579.66 s
Current children cumulated vsize: 1833640 KiB
Current children cumulated memory: 1654852 KiB
[startup+3596.8 s]
/proc/loadavg: 2.12 2.34 3.10 3/246 1067812
/proc/meminfo: memFree=123159988/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=1833640 memory=1654852 CPUtime=3586.05 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 3870632 0 0 0 358225 380 0 0 20 0 3 0 197490722 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 458410 413713 2990 3032 0 444150 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=1833640 memory=1654852 CPUtime=3584.56 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 3809281 0 0 0 358092 364 0 0 20 0 3 0 197490843 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=1833640 memory=1654852 CPUtime=0.03 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 197490857 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 3586.05 s
Current children cumulated vsize: 1833640 KiB
Current children cumulated memory: 1654852 KiB
[startup+3598.4 s]
/proc/loadavg: 2.12 2.34 3.10 3/246 1067813
/proc/meminfo: memFree=123159616/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=1833640 memory=1654852 CPUtime=3587.65 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 3870930 0 0 0 358385 380 0 0 20 0 3 0 197490722 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 458410 413713 2990 3032 0 444150 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=1833640 memory=16112 CPUtime=3586.16 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 3809579 0 0 0 358252 364 0 0 20 0 3 0 197490843 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=1833640 memory=2340 CPUtime=0.03 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 197490857 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 3587.65 s
Current children cumulated vsize: 1833640 KiB
Current children cumulated memory: 1654852 KiB
[startup+3599.2 s]
/proc/loadavg: 2.11 2.34 3.09 3/246 1067813
/proc/meminfo: memFree=123156568/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=1833640 memory=1654852 CPUtime=3588.44 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 3871027 0 0 0 358464 380 0 0 20 0 3 0 197490722 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 458410 413713 2990 3032 0 444150 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=1833640 memory=11588 CPUtime=3586.95 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 3809666 0 0 0 358331 364 0 0 20 0 3 0 197490843 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=1833640 memory=47392 CPUtime=0.03 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 197490857 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 3588.44 s
Current children cumulated vsize: 1833640 KiB
Current children cumulated memory: 1654852 KiB
[startup+3600 s]*
/proc/loadavg: 2.11 2.34 3.09 3/246 1067813
/proc/meminfo: memFree=123156568/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=1833640 memory=1654852 CPUtime=3589.25 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 3871060 0 0 0 358545 380 0 0 20 0 3 0 197490722 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 458410 413713 2990 3032 0 444150 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=1833640 memory=27416 CPUtime=3587.76 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 3809699 0 0 0 358412 364 0 0 20 0 3 0 197490843 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=1833640 memory=2752 CPUtime=0.03 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 197490857 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 3589.25 s
Current children cumulated vsize: 1833640 KiB
Current children cumulated memory: 1654852 KiB
[startup+3600.2 s]
/proc/loadavg: 2.11 2.34 3.09 3/246 1067813
/proc/meminfo: memFree=123156568/131524600 swapFree=131071996/131071996
[pid=1065817] ppid=1065814 vsize=1833640 memory=1654852 CPUtime=3589.44 cores=1,3
/proc/1065817/stat : 1065817 (fscip) S 1065814 1065817 1059834 0 -1 1077936128 3874611 0 0 0 358564 380 0 0 20 0 3 0 197490722 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
/proc/1065817/statm: 458410 413713 2990 3032 0 444150 0
[pid=1065817/tid=1065819] ppid=1065814 vsize=1833640 memory=100 CPUtime=3587.95 cores=1,3
/proc/1065817/task/1065819/stat : 1065819 (fscip) R 1065814 1065817 1059834 0 -1 4194368 3813311 0 0 0 358431 364 0 0 20 0 3 0 197490843 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
[pid=1065817/tid=1065820] ppid=1065814 vsize=1833640 memory=5680 CPUtime=0.03 cores=1,3
/proc/1065817/task/1065820/stat : 1065820 (fscip) S 1065814 1065817 1059834 0 -1 1077936192 180 0 0 0 1 2 0 0 20 0 3 0 197490857 1877647360 413713 134679101440 4194304 16613245 140730640574672 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 31625216 140730640577555 140730640577671 140730640577671 140730640584688 0
Current children cumulated CPU time: 3589.44 s
Current children cumulated vsize: 1833640 KiB
Current children cumulated memory: 1654852 KiB
Child status: 0
Real time (s): 3600.27
CPU time (s): 3589.53
CPU user time (s): 3585.71
CPU system time (s): 3.82102
CPU usage (%): 99.7015
Max. virtual memory (cumulated for all children) (KiB): 1833640
Max. memory (cumulated for all children) (KiB): 1671652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.71
system time used= 3.82102
maximum resident set size= 1671652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3880440
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= 8800
involuntary context switches= 1584
# summary of solver processes directly reported to runsolver:
# pid: 1065817
# total CPU time (s): 3589.53
# total CPU user time (s): 3585.71
# total CPU system time (s): 3.82102
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.93305 second user time and 18.0987 second system time
The end
Begin job on nodeC029 at 2024-07-20 07:27:26
IDJOB=4449868
IDBENCH=176150
IDSOLVER=3064
FILE ID=nodeC029/4449868-1721453233
RUNJOBID= nodeC029-1721446720-1059846
SLURM_JOB_ID= 7545672
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=19-t=2.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-4449868-1721453233/watcher-4449868-1721453233 -o /tmp/evaluation-result-4449868-1721453233/solver-4449868-1721453233 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721446720-1059846 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4449868-1721453233.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9b7954cd6dc14b590c17dd19cf5c91cb
RANDOM SEED=1995829751
nodeC029.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 : 3679.098
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.09
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 : 3678.532
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.98
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.188
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.09
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 : 3668.402
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.98
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 : 3679.095
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.09
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 : 3685.836
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.98
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.128
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.09
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 : 3626.974
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.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125214828 kB
MemAvailable: 128104760 kB
Buffers: 542540 kB
Cached: 3162252 kB
SwapCached: 0 kB
Active: 1055252 kB
Inactive: 4566964 kB
Active(anon): 1464 kB
Inactive(anon): 1961880 kB
Active(file): 1053788 kB
Inactive(file): 2605084 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 30008 kB
Writeback: 148 kB
AnonPages: 1916220 kB
Mapped: 145884 kB
Shmem: 45912 kB
KReclaimable: 141412 kB
Slab: 260052 kB
SReclaimable: 141412 kB
SUnreclaim: 118640 kB
KernelStack: 4176 kB
PageTables: 13212 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1670476 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72032 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1222656 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: 281300 kB
DirectMap2M: 36192256 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC029 at 2024-07-20 08:27:27