0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 23977984, getVmSize() = 23977984, SCIPgetMemUsed() = 2088532, SCIPgetMemTotal() = 2480276, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.03 c ** Estimated virtualMemUsedAtSolver = 17713834, getVmSize() = 29163520, SCIPgetMemUsed() = 4676471, SCIPgetMemTotal() = 6509335, SCIPgetMemExternEstim() = 1048576
0.00/0.03 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.03 c Original Problem :
0.00/0.03 c Problem name : instance-4464501-1722385810
0.00/0.03 c Variables : 421 (421 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.03 c Constraints : 562
0.00/0.03 c Objective sense : minimize
0.00/0.03 c Presolved Problem :
0.00/0.03 c Variables : 420 (420 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.03 c Constraints : 210
0.00/0.03 c Constraints : Number
0.00/0.03 c linear : 210
0.00/0.03 c ** Instance transfer method used: 0
0.00/0.03 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.04 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.04 c Nodes Active
0.00/0.04 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.27/5.36 c 5 3644 2368 1 - 0.0000 -
10.35/10.43 c 10 19850 10185 1 - 0.0000 -
15.33/15.47 c 15 34928 18036 1 - 0.0000 -
20.41/20.51 c 21 49639 25952 1 - 0.0000 -
25.39/25.56 c 26 65775 34268 1 - 0.0000 -
30.47/30.61 c 31 80739 41227 1 - 0.0000 -
35.46/35.65 c 36 96055 48272 1 - 0.0000 -
40.53/40.70 c 41 111185 55588 1 - 0.0000 -
45.52/45.75 c 46 128386 62175 1 - 0.0000 -
50.59/50.80 c 51 143432 68953 1 - 0.0000 -
55.57/55.85 c 56 157649 75832 1 - 0.0000 -
60.66/60.90 c 61 171917 83420 1 - 0.0000 -
65.63/65.94 c 66 186488 91913 1 - 0.0000 -
70.62/70.99 c 71 203086 101242 1 - 0.0000 -
75.70/76.04 c 76 217142 107944 1 - 0.0000 -
80.69/81.09 c 81 231217 115409 1 - 0.0000 -
85.77/86.14 c 86 249606 121343 1 - 0.0000 -
90.75/91.19 c 91 265755 126772 1 - 0.0000 -
95.82/96.24 c 96 284650 131855 1 - 0.0000 -
100.79/101.29 c 101 297823 139414 1 - 0.0000 -
105.88/106.34 c 106 311608 146397 1 - 0.0000 -
110.86/111.39 c 111 323037 153583 1 - 0.0000 -
115.93/116.44 c 116 337186 160852 1 - 0.0000 -
120.92/121.49 c 122 352333 167036 1 - 0.0000 -
126.00/126.54 c 127 367994 173460 1 - 0.0000 -
130.98/131.59 c 132 382938 178101 1 - 0.0000 -
136.06/136.64 c 137 400335 182136 1 - 0.0000 -
141.04/141.69 c 142 417076 186952 1 - 0.0000 -
146.12/146.74 c 147 429287 194452 1 - 0.0000 -
151.11/151.79 c 152 440680 200958 1 - 0.0000 -
156.19/156.84 c 157 452410 206036 1 - 0.0000 -
161.16/161.89 c 162 464763 210499 1 - 0.0000 -
166.24/166.94 c 167 476880 215994 1 - 0.0000 -
171.23/171.99 c 172 487825 221788 1 - 0.0000 -
176.31/177.04 c 177 498763 227741 1 - 0.0000 -
181.30/182.09 c 182 508748 233368 1 - 0.0000 -
186.37/187.14 c 187 519080 238833 1 - 0.0000 -
191.35/192.19 c 192 529333 244436 1 - 0.0000 -
196.43/197.24 c 197 539464 250538 1 - 0.0000 -
201.40/202.29 c 202 549292 256018 1 - 0.0000 -
206.49/207.34 c 207 560158 260949 1 - 0.0000 -
211.47/212.39 c 212 570401 266176 1 - 0.0000 -
216.55/217.44 c 217 579360 271972 1 - 0.0000 -
221.53/222.49 c 222 587667 277724 1 - 0.0000 -
226.61/227.54 c 228 596853 282777 1 - 0.0000 -
231.59/232.59 c 233 606474 286181 1 - 0.0000 -
236.67/237.64 c 238 616608 290946 1 - 0.0000 -
241.65/242.69 c 243 626129 295725 1 - 0.0000 -
247.34/248.39 c 248 634679 78242 1 - 0.0000 -
252.41/253.44 c 253 648001 60154 1 - 0.0000 -
257.40/258.48 c 258 660889 65147 1 - 0.0000 -
262.48/263.53 c 264 671285 69287 1 - 0.0000 -
267.46/268.58 c 269 681454 65818 1 - 0.0000 -
272.54/273.63 c 274 691971 68326 1 - 0.0000 -
277.52/278.68 c 279 701741 70095 1 - 0.0000 -
282.60/283.73 c 284 712551 72176 1 - 0.0000 -
287.59/288.78 c 289 722106 73905 1 - 0.0000 -
292.66/293.83 c 294 731433 75678 1 - 0.0000 -
297.64/298.88 c 299 740934 77171 1 - 0.0000 -
302.72/303.93 c 304 750219 79150 1 - 0.0000 -
307.71/308.98 c 309 759381 80793 1 - 0.0000 -
312.79/314.03 c 314 768180 82075 1 - 0.0000 -
317.77/319.08 c 319 777305 83822 1 - 0.0000 -
322.85/324.13 c 324 787116 85323 1 - 0.0000 -
327.83/329.18 c 329 797087 86441 1 - 0.0000 -
332.90/334.23 c 334 806816 87736 1 - 0.0000 -
337.88/339.28 c 339 818417 89604 1 - 0.0000 -
342.97/344.33 c 344 831297 91018 1 - 0.0000 -
347.94/349.38 c 349 841141 91802 1 - 0.0000 -
353.03/354.43 c 354 849870 92589 1 - 0.0000 -
358.01/359.48 c 359 858841 93608 1 - 0.0000 -
363.09/364.53 c 365 867275 94248 1 - 0.0000 -
368.08/369.58 c 370 874095 93892 1 - 0.0000 -
373.15/374.63 c 375 881714 93934 1 - 0.0000 -
378.13/379.68 c 380 889350 94083 1 - 0.0000 -
383.22/384.73 c 385 897255 94038 1 - 0.0000 -
388.19/389.78 c 390 907269 94695 1 - 0.0000 -
393.28/394.83 c 395 916335 95206 1 - 0.0000 -
398.26/399.88 c 400 922831 95236 1 - 0.0000 -
403.35/404.93 c 405 928768 95922 1 - 0.0000 -
408.32/409.98 c 410 934375 96107 1 - 0.0000 -
413.41/415.03 c 415 940116 96346 1 - 0.0000 -
418.39/420.08 c 420 946941 97013 1 - 0.0000 -
423.47/425.13 c 425 953321 97507 1 - 0.0000 -
428.46/430.18 c 430 958860 97623 1 - 0.0000 -
433.53/435.23 c 435 965813 99036 1 - 0.0000 -
438.51/440.28 c 440 972226 100865 1 - 0.0000 -
443.59/445.33 c 445 979094 101892 1 - 0.0000 -
448.57/450.38 c 450 985240 102482 1 - 0.0000 -
453.65/455.43 c 455 991414 103217 1 - 0.0000 -
458.63/460.48 c 460 997825 103630 1 - 0.0000 -
463.72/465.53 c 466 1005824 104756 1 - 0.0000 -
468.70/470.58 c 471 1014985 106220 1 - 0.0000 -
473.78/475.63 c 476 1022809 107016 1 - 0.0000 -
478.76/480.68 c 481 1031240 108379 1 - 0.0000 -
483.85/485.75 c 486 1038293 108824 1 - 0.0000 -
488.92/490.80 c 491 1047489 109820 1 - 0.0000 -
493.91/495.85 c 496 1055392 110912 1 - 0.0000 -
498.99/500.90 c 501 1063591 111477 1 - 0.0000 -
503.97/505.95 c 506 1071741 112088 1 - 0.0000 -
508.94/511.01 c 511 1080236 113032 1 - 0.0000 -
514.03/516.05 c 516 1087319 113527 1 - 0.0000 -
519.02/521.10 c 521 1095370 113370 1 - 0.0000 -
524.10/526.15 c 526 1103551 113719 1 - 0.0000 -
529.17/531.20 c 531 1110608 114840 1 - 0.0000 -
534.15/536.26 c 536 1116639 115975 1 - 0.0000 -
539.23/541.31 c 541 1122547 116568 1 - 0.0000 -
544.21/546.36 c 546 1130587 118090 1 - 0.0000 -
549.30/551.41 c 551 1137446 119709 1 - 0.0000 -
554.27/556.46 c 556 1143318 120860 1 - 0.0000 -
559.36/561.51 c 562 1150478 122051 1 - 0.0000 -
564.34/566.56 c 567 1158150 123351 1 - 0.0000 -
569.43/571.61 c 572 1164738 123747 1 - 0.0000 -
574.41/576.66 c 577 1171440 124463 1 - 0.0000 -
579.48/581.71 c 582 1177999 125456 1 - 0.0000 -
584.47/586.76 c 587 1185093 126498 1 - 0.0000 -
589.55/591.81 c 592 1192766 128262 1 - 0.0000 -
594.53/596.86 c 597 1200039 129144 1 - 0.0000 -
599.62/601.91 c 602 1206884 130062 1 - 0.0000 -
604.59/606.96 c 607 1214666 131399 1 - 0.0000 -
609.68/612.01 c 612 1224035 133749 1 - 0.0000 -
614.66/617.06 c 617 1232345 134501 1 - 0.0000 -
619.74/622.12 c 622 1242670 135431 1 - 0.0000 -
624.73/627.17 c 627 1251881 136121 1 - 0.0000 -
629.80/632.22 c 632 1261946 136419 1 - 0.0000 -
634.78/637.27 c 637 1271304 136832 1 - 0.0000 -
639.86/642.32 c 642 1278820 136764 1 - 0.0000 -
644.84/647.37 c 647 1286547 136023 1 - 0.0000 -
649.92/652.42 c 652 1296476 136574 1 - 0.0000 -
654.90/657.47 c 657 1305859 137588 1 - 0.0000 -
659.99/662.52 c 663 1315695 138707 1 - 0.0000 -
664.97/667.57 c 668 1324754 139337 1 - 0.0000 -
670.04/672.62 c 673 1333482 140147 1 - 0.0000 -
675.03/677.67 c 678 1342006 139836 1 - 0.0000 -
680.10/682.72 c 683 1352475 140198 1 - 0.0000 -
685.08/687.77 c 688 1362689 140547 1 - 0.0000 -
690.16/692.82 c 693 1371799 140837 1 - 0.0000 -
695.13/697.87 c 698 1380740 141189 1 - 0.0000 -
700.21/702.92 c 703 1390458 141492 1 - 0.0000 -
705.19/707.97 c 708 1398776 142057 1 - 0.0000 -
710.27/713.02 c 713 1407378 142713 1 - 0.0000 -
715.25/718.07 c 718 1415273 142896 1 - 0.0000 -
720.34/723.12 c 723 1421561 143220 1 - 0.0000 -
725.31/728.17 c 728 1428804 143561 1 - 0.0000 -
730.38/733.22 c 733 1437864 143749 1 - 0.0000 -
735.37/738.27 c 738 1446517 143905 1 - 0.0000 -
740.45/743.32 c 743 1451404 144426 1 - 0.0000 -
745.43/748.37 c 748 1455676 144735 1 - 0.0000 -
750.51/753.42 c 753 1460713 144895 1 - 0.0000 -
755.49/758.47 c 758 1465980 145299 1 - 0.0000 -
760.58/763.52 c 764 1471258 145825 1 - 0.0000 -
765.56/768.57 c 769 1476904 146416 1 - 0.0000 -
770.64/773.62 c 774 1482956 146875 1 - 0.0000 -
775.62/778.67 c 779 1488456 147239 1 - 0.0000 -
780.70/783.72 c 784 1494243 147894 1 - 0.0000 -
785.69/788.77 c 789 1499187 148561 1 - 0.0000 -
790.77/793.82 c 794 1503719 149001 1 - 0.0000 -
795.75/798.87 c 799 1508567 148808 1 - 0.0000 -
800.84/803.92 c 804 1512747 148859 1 - 0.0000 -
805.82/808.97 c 809 1517720 148959 1 - 0.0000 -
810.91/814.02 c 814 1522237 149150 1 - 0.0000 -
815.89/819.07 c 819 1526242 148811 1 - 0.0000 -
820.98/824.12 c 824 1533657 150000 1 - 0.0000 -
825.95/829.17 c 829 1542304 151591 1 - 0.0000 -
831.02/834.22 c 834 1550508 153088 1 - 0.0000 -
836.00/839.27 c 839 1557923 154338 1 - 0.0000 -
841.09/844.32 c 844 1565100 155304 1 - 0.0000 -
846.07/849.37 c 849 1572063 155465 1 - 0.0000 -
851.14/854.42 c 854 1579875 157084 1 - 0.0000 -
856.12/859.47 c 859 1587853 158088 1 - 0.0000 -
861.21/864.52 c 865 1595728 159151 1 - 0.0000 -
866.19/869.57 c 870 1602603 159585 1 - 0.0000 -
871.27/874.62 c 875 1609756 160529 1 - 0.0000 -
876.25/879.67 c 880 1616656 161010 1 - 0.0000 -
881.34/884.72 c 885 1621332 160165 1 - 0.0000 -
886.31/889.77 c 890 1625656 159266 1 - 0.0000 -
891.39/894.82 c 895 1630571 158767 1 - 0.0000 -
896.38/899.87 c 900 1636814 158941 1 - 0.0000 -
901.46/904.92 c 905 1643731 159308 1 - 0.0000 -
906.45/909.97 c 910 1650557 159729 1 - 0.0000 -
911.53/915.02 c 915 1657031 160121 1 - 0.0000 -
916.51/920.07 c 920 1663742 160457 1 - 0.0000 -
921.60/925.12 c 925 1670061 160778 1 - 0.0000 -
926.58/930.17 c 930 1676588 161122 1 - 0.0000 -
931.64/935.22 c 935 1683287 161285 1 - 0.0000 -
936.63/940.27 c 940 1689995 161743 1 - 0.0000 -
941.71/945.32 c 945 1696869 161967 1 - 0.0000 -
946.69/950.37 c 950 1703861 162271 1 - 0.0000 -
951.76/955.42 c 955 1710590 162109 1 - 0.0000 -
956.75/960.47 c 960 1717165 162128 1 - 0.0000 -
961.83/965.52 c 966 1724216 162083 1 - 0.0000 -
966.82/970.57 c 971 1731074 162062 1 - 0.0000 -
971.90/975.62 c 976 1737863 162047 1 - 0.0000 -
976.88/980.67 c 981 1744640 162027 1 - 0.0000 -
981.96/985.72 c 986 1751551 162077 1 - 0.0000 -
986.95/990.77 c 991 1759066 162213 1 - 0.0000 -
992.03/995.82 c 996 1765646 162057 1 - 0.0000 -
997.01/1000.87 c 1001 1771298 161663 1 - 0.0000 -
1002.09/1005.92 c 1006 1777956 161989 1 - 0.0000 -
1007.08/1010.97 c 1011 1785318 162314 1 - 0.0000 -
1012.17/1016.02 c 1016 1791871 162807 1 - 0.0000 -
1017.15/1021.07 c 1021 1799240 163078 1 - 0.0000 -
1022.23/1026.12 c 1026 1806754 163429 1 - 0.0000 -
1027.22/1031.17 c 1031 1813613 163873 1 - 0.0000 -
1032.29/1036.22 c 1036 1820554 164255 1 - 0.0000 -
1037.27/1041.27 c 1041 1827961 164730 1 - 0.0000 -
1042.35/1046.32 c 1046 1834436 165373 1 - 0.0000 -
1047.34/1051.37 c 1051 1841224 165728 1 - 0.0000 -
1052.43/1056.42 c 1056 1847369 166160 1 - 0.0000 -
1057.41/1061.47 c 1061 1853373 166463 1 - 0.0000 -
1062.50/1066.52 c 1067 1860422 166712 1 - 0.0000 -
1067.47/1071.57 c 1072 1866049 167072 1 - 0.0000 -
1072.56/1076.62 c 1077 1871493 167423 1 - 0.0000 -
1077.54/1081.68 c 1082 1876853 167954 1 - 0.0000 -
1082.63/1086.73 c 1087 1881901 168389 1 - 0.0000 -
1087.61/1091.78 c 1092 1886642 168768 1 - 0.0000 -
1092.70/1096.83 c 1097 1891571 168624 1 - 0.0000 -
1097.67/1101.88 c 1102 1896857 168659 1 - 0.0000 -
1102.75/1106.93 c 1107 1901557 168499 1 - 0.0000 -
1107.74/1111.98 c 1112 1905589 167883 1 - 0.0000 -
1112.83/1117.03 c 1117 1909579 167383 1 - 0.0000 -
1117.82/1122.08 c 1122 1913626 166780 1 - 0.0000 -
1122.90/1127.13 c 1127 1917027 165824 1 - 0.0000 -
1127.88/1132.18 c 1132 1922000 165862 1 - 0.0000 -
1132.95/1137.23 c 1137 1926833 166201 1 - 0.0000 -
1137.94/1142.28 c 1142 1931873 166533 1 - 0.0000 -
1143.02/1147.33 c 1147 1938096 166939 1 - 0.0000 -
1148.00/1152.38 c 1152 1943542 167161 1 - 0.0000 -
1153.09/1157.43 c 1157 1949728 167873 1 - 0.0000 -
1158.07/1162.48 c 1162 1956600 168207 1 - 0.0000 -
1163.15/1167.53 c 1168 1962911 168804 1 - 0.0000 -
1168.14/1172.58 c 1173 1968901 169190 1 - 0.0000 -
1173.22/1177.63 c 1178 1974614 169554 1 - 0.0000 -
1178.21/1182.68 c 1183 1980601 170447 1 - 0.0000 -
1183.28/1187.73 c 1188 1986645 171938 1 - 0.0000 -
1188.27/1192.78 c 1193 1991993 172260 1 - 0.0000 -
1193.36/1197.83 c 1198 1997274 172545 1 - 0.0000 -
1198.33/1202.88 c 1203 2002898 172898 1 - 0.0000 -
1203.43/1207.93 c 1208 2008686 173408 1 - 0.0000 -
1208.41/1212.98 c 1213 2014496 173932 1 - 0.0000 -
1213.49/1218.03 c 1218 2019967 174232 1 - 0.0000 -
1218.47/1223.08 c 1223 2024897 174109 1 - 0.0000 -
1223.55/1228.13 c 1228 2029942 174128 1 - 0.0000 -
1228.53/1233.18 c 1233 2034641 174415 1 - 0.0000 -
1233.61/1238.23 c 1238 2039302 175031 1 - 0.0000 -
1238.59/1243.28 c 1243 2045357 176465 1 - 0.0000 -
1243.68/1248.33 c 1248 2051236 177767 1 - 0.0000 -
1248.66/1253.38 c 1253 2056251 178233 1 - 0.0000 -
1253.74/1258.43 c 1258 2061965 179010 1 - 0.0000 -
1258.72/1263.48 c 1263 2067035 179727 1 - 0.0000 -
1263.81/1268.53 c 1269 2071801 180075 1 - 0.0000 -
1268.79/1273.58 c 1274 2077139 180414 1 - 0.0000 -
1273.88/1278.63 c 1279 2082467 180813 1 - 0.0000 -
1278.85/1283.68 c 1284 2087939 181125 1 - 0.0000 -
1283.94/1288.73 c 1289 2093456 181283 1 - 0.0000 -
1288.93/1293.78 c 1294 2100251 182155 1 - 0.0000 -
1294.01/1298.83 c 1299 2106411 182833 1 - 0.0000 -
1298.99/1303.88 c 1304 2112388 183324 1 - 0.0000 -
1304.07/1308.93 c 1309 2118707 184214 1 - 0.0000 -
1309.05/1313.98 c 1314 2124359 184739 1 - 0.0000 -
1314.15/1319.03 c 1319 2130740 185167 1 - 0.0000 -
1319.13/1324.08 c 1324 2135971 185662 1 - 0.0000 -
1324.22/1329.13 c 1329 2141861 186307 1 - 0.0000 -
1329.20/1334.18 c 1334 2147457 186782 1 - 0.0000 -
1334.26/1339.23 c 1339 2153176 187162 1 - 0.0000 -
1339.25/1344.28 c 1344 2158881 187774 1 - 0.0000 -
1344.32/1349.33 c 1349 2164789 188330 1 - 0.0000 -
1349.30/1354.38 c 1354 2169555 188462 1 - 0.0000 -
1354.38/1359.43 c 1359 2174946 188218 1 - 0.0000 -
1359.37/1364.48 c 1364 2179951 188281 1 - 0.0000 -
1364.45/1369.53 c 1370 2185253 188199 1 - 0.0000 -
1369.43/1374.58 c 1375 2190536 188077 1 - 0.0000 -
1374.52/1379.63 c 1380 2196279 188572 1 - 0.0000 -
1379.50/1384.68 c 1385 2201664 188784 1 - 0.0000 -
1384.59/1389.73 c 1390 2206821 188785 1 - 0.0000 -
1389.57/1394.78 c 1395 2211332 188396 1 - 0.0000 -
1394.65/1399.83 c 1400 2215629 187783 1 - 0.0000 -
1399.63/1404.88 c 1405 2219926 187920 1 - 0.0000 -
1404.70/1409.93 c 1410 2225263 188259 1 - 0.0000 -
1409.68/1414.98 c 1415 2230023 188542 1 - 0.0000 -
1414.77/1420.03 c 1420 2235031 188975 1 - 0.0000 -
1419.75/1425.08 c 1425 2240723 189335 1 - 0.0000 -
1424.84/1430.13 c 1430 2245828 189594 1 - 0.0000 -
1429.82/1435.18 c 1435 2251085 190248 1 - 0.0000 -
1434.90/1440.23 c 1440 2257647 190236 1 - 0.0000 -
1439.88/1445.28 c 1445 2263584 190711 1 - 0.0000 -
1444.96/1450.33 c 1450 2269672 191142 1 - 0.0000 -
1449.93/1455.38 c 1455 2274879 191393 1 - 0.0000 -
1455.01/1460.43 c 1460 2281531 192514 1 - 0.0000 -
1460.00/1465.48 c 1465 2287449 192783 1 - 0.0000 -
1465.08/1470.53 c 1471 2293664 193499 1 - 0.0000 -
1470.07/1475.58 c 1476 2299977 193576 1 - 0.0000 -
1475.15/1480.63 c 1481 2305595 193787 1 - 0.0000 -
1480.13/1485.68 c 1486 2310908 194212 1 - 0.0000 -
1485.21/1490.73 c 1491 2316354 194228 1 - 0.0000 -
1490.20/1495.78 c 1496 2322642 194552 1 - 0.0000 -
1495.28/1500.83 c 1501 2328294 194699 1 - 0.0000 -
1500.26/1505.88 c 1506 2333161 194592 1 - 0.0000 -
1505.34/1510.93 c 1511 2337623 194192 1 - 0.0000 -
1510.34/1515.98 c 1516 2342719 193674 1 - 0.0000 -
1515.42/1521.03 c 1521 2346979 193177 1 - 0.0000 -
1520.41/1526.08 c 1526 2351395 192759 1 - 0.0000 -
1525.48/1531.13 c 1531 2357349 192979 1 - 0.0000 -
1530.47/1536.18 c 1536 2364501 193402 1 - 0.0000 -
1535.54/1541.23 c 1541 2370605 193603 1 - 0.0000 -
1540.53/1546.28 c 1546 2376543 193951 1 - 0.0000 -
1545.61/1551.33 c 1551 2382130 194215 1 - 0.0000 -
1550.60/1556.38 c 1556 2387381 194708 1 - 0.0000 -
1555.67/1561.43 c 1561 2392211 194821 1 - 0.0000 -
1560.66/1566.48 c 1566 2397170 194994 1 - 0.0000 -
1565.75/1571.53 c 1572 2403927 195467 1 - 0.0000 -
1570.73/1576.59 c 1577 2408656 195527 1 - 0.0000 -
1575.81/1581.64 c 1582 2411956 195282 1 - 0.0000 -
1580.80/1586.69 c 1587 2415129 194991 1 - 0.0000 -
1585.88/1591.76 c 1592 2417531 194515 1 - 0.0000 -
1590.97/1596.81 c 1597 2420956 194583 1 - 0.0000 -
1595.96/1601.86 c 1602 2425114 195460 1 - 0.0000 -
1601.03/1606.92 c 1607 2428341 195931 1 - 0.0000 -
1606.02/1611.97 c 1612 2432665 196811 1 - 0.0000 -
1611.12/1617.02 c 1617 2437261 197707 1 - 0.0000 -
1616.10/1622.07 c 1622 2441445 198651 1 - 0.0000 -
1621.19/1627.12 c 1627 2445183 199409 1 - 0.0000 -
1626.18/1632.17 c 1632 2449804 200343 1 - 0.0000 -
1631.24/1637.22 c 1637 2453661 200630 1 - 0.0000 -
1636.22/1642.27 c 1642 2457372 200491 1 - 0.0000 -
1641.32/1647.32 c 1647 2462185 201503 1 - 0.0000 -
1646.30/1652.37 c 1652 2466862 202038 1 - 0.0000 -
1651.37/1657.42 c 1657 2471219 202189 1 - 0.0000 -
1656.36/1662.47 c 1662 2475481 202368 1 - 0.0000 -
1661.44/1667.52 c 1668 2479974 202382 1 - 0.0000 -
1666.43/1672.57 c 1673 2484627 202275 1 - 0.0000 -
1671.51/1677.62 c 1678 2489485 202317 1 - 0.0000 -
1676.50/1682.67 c 1683 2495110 202544 1 - 0.0000 -
1681.58/1687.72 c 1688 2500440 202519 1 - 0.0000 -
1686.57/1692.77 c 1693 2505216 202522 1 - 0.0000 -
1691.65/1697.82 c 1698 2509753 202928 1 - 0.0000 -
1696.64/1702.87 c 1703 2514280 203351 1 - 0.0000 -
1701.72/1707.92 c 1708 2520134 203715 1 - 0.0000 -
1706.71/1712.97 c 1713 2525625 204010 1 - 0.0000 -
1711.79/1718.02 c 1718 2530642 204413 1 - 0.0000 -
1716.78/1723.07 c 1723 2535947 204967 1 - 0.0000 -
1721.86/1728.12 c 1728 2540801 205372 1 - 0.0000 -
1726.85/1733.17 c 1733 2546039 205569 1 - 0.0000 -
1731.92/1738.22 c 1738 2550708 206085 1 - 0.0000 -
1736.90/1743.27 c 1743 2556941 206495 1 - 0.0000 -
1741.98/1748.32 c 1748 2562313 206826 1 - 0.0000 -
1746.97/1753.37 c 1753 2566757 206937 1 - 0.0000 -
1752.05/1758.42 c 1758 2571662 207265 1 - 0.0000 -
1757.03/1763.47 c 1763 2576701 207912 1 - 0.0000 -
1762.12/1768.52 c 1769 2581230 208598 1 - 0.0000 -
1767.10/1773.57 c 1774 2585539 209286 1 - 0.0000 -
1772.19/1778.62 c 1779 2590785 209384 1 - 0.0000 -
1777.17/1783.67 c 1784 2595812 209855 1 - 0.0000 -
1782.25/1788.72 c 1789 2599844 210188 1 - 0.0000 -
1787.24/1793.77 c 1794 2603564 210269 1 - 0.0000 -
1792.32/1798.82 c 1799 2607885 210432 1 - 0.0000 -
1797.30/1803.87 c 1804 2613986 210974 1 - 0.0000 -
1802.38/1808.92 c 1809 2620191 211375 1 - 0.0000 -
1807.36/1813.97 c 1814 2626185 211914 1 - 0.0000 -
1812.45/1819.02 c 1819 2631475 212718 1 - 0.0000 -
1817.44/1824.07 c 1824 2636833 213461 1 - 0.0000 -
1822.52/1829.12 c 1829 2642337 214250 1 - 0.0000 -
1827.51/1834.17 c 1834 2648082 214479 1 - 0.0000 -
1832.58/1839.22 c 1839 2653229 215129 1 - 0.0000 -
1837.56/1844.28 c 1844 2658097 215699 1 - 0.0000 -
1842.65/1849.32 c 1849 2663512 216404 1 - 0.0000 -
1847.62/1854.37 c 1854 2668417 216565 1 - 0.0000 -
1852.70/1859.42 c 1859 2672400 216829 1 - 0.0000 -
1857.69/1864.47 c 1864 2676904 217096 1 - 0.0000 -
1862.77/1869.52 c 1870 2682224 217317 1 - 0.0000 -
1867.76/1874.57 c 1875 2686596 217426 1 - 0.0000 -
1872.84/1879.62 c 1880 2690802 217573 1 - 0.0000 -
1877.82/1884.67 c 1885 2695027 217657 1 - 0.0000 -
1882.91/1889.72 c 1890 2699956 217813 1 - 0.0000 -
1887.90/1894.77 c 1895 2704345 217948 1 - 0.0000 -
1892.97/1899.82 c 1900 2708666 218118 1 - 0.0000 -
1897.96/1904.87 c 1905 2713064 218322 1 - 0.0000 -
1903.04/1909.92 c 1910 2717937 218632 1 - 0.0000 -
1908.02/1914.97 c 1915 2722681 219065 1 - 0.0000 -
1913.11/1920.02 c 1920 2727380 219765 1 - 0.0000 -
1918.09/1925.07 c 1925 2732717 220300 1 - 0.0000 -
1923.18/1930.12 c 1930 2737252 220553 1 - 0.0000 -
1928.16/1935.17 c 1935 2741095 221016 1 - 0.0000 -
1933.23/1940.22 c 1940 2744710 221422 1 - 0.0000 -
1938.22/1945.27 c 1945 2749066 221977 1 - 0.0000 -
1943.30/1950.32 c 1950 2753376 222452 1 - 0.0000 -
1948.29/1955.37 c 1955 2757849 222924 1 - 0.0000 -
1953.37/1960.42 c 1960 2762215 223424 1 - 0.0000 -
1958.35/1965.47 c 1965 2766747 223872 1 - 0.0000 -
1963.43/1970.52 c 1971 2771006 224348 1 - 0.0000 -
1968.42/1975.57 c 1976 2775179 224785 1 - 0.0000 -
1973.50/1980.62 c 1981 2779496 225198 1 - 0.0000 -
1978.49/1985.67 c 1986 2784113 225632 1 - 0.0000 -
1983.57/1990.72 c 1991 2789006 226108 1 - 0.0000 -
1988.56/1995.77 c 1996 2793188 226939 1 - 0.0000 -
1993.63/2000.82 c 2001 2797629 228085 1 - 0.0000 -
1998.62/2005.87 c 2006 2802146 228929 1 - 0.0000 -
2003.71/2010.92 c 2011 2806962 229917 1 - 0.0000 -
2008.70/2015.97 c 2016 2811361 230935 1 - 0.0000 -
2013.78/2021.02 c 2021 2815796 232128 1 - 0.0000 -
2018.77/2026.07 c 2026 2820271 233374 1 - 0.0000 -
2023.85/2031.13 c 2031 2824917 233791 1 - 0.0000 -
2028.83/2036.17 c 2036 2829040 234181 1 - 0.0000 -
2033.90/2041.22 c 2041 2832920 234610 1 - 0.0000 -
2038.88/2046.27 c 2046 2836644 234979 1 - 0.0000 -
2043.96/2051.32 c 2051 2842116 235276 1 - 0.0000 -
2048.94/2056.37 c 2056 2846406 235451 1 - 0.0000 -
2054.02/2061.42 c 2061 2850467 235525 1 - 0.0000 -
2059.00/2066.47 c 2066 2854016 235337 1 - 0.0000 -
2064.08/2071.52 c 2072 2859426 235417 1 - 0.0000 -
2069.06/2076.57 c 2077 2863420 236009 1 - 0.0000 -
2074.13/2081.62 c 2082 2867027 236413 1 - 0.0000 -
2079.11/2086.67 c 2087 2872148 236773 1 - 0.0000 -
2084.20/2091.72 c 2092 2878487 236999 1 - 0.0000 -
2089.17/2096.77 c 2097 2885722 237304 1 - 0.0000 -
2094.25/2101.82 c 2102 2891815 237616 1 - 0.0000 -
2099.23/2106.87 c 2107 2898143 237856 1 - 0.0000 -
2104.31/2111.92 c 2112 2904012 238052 1 - 0.0000 -
2109.29/2116.97 c 2117 2909692 238363 1 - 0.0000 -
2114.37/2122.02 c 2122 2916027 238511 1 - 0.0000 -
2119.35/2127.07 c 2127 2922316 238742 1 - 0.0000 -
2124.44/2132.12 c 2132 2928735 238921 1 - 0.0000 -
2129.43/2137.17 c 2137 2934794 239146 1 - 0.0000 -
2134.49/2142.22 c 2142 2941354 239337 1 - 0.0000 -
2139.48/2147.27 c 2147 2948019 239547 1 - 0.0000 -
2144.56/2152.32 c 2152 2954223 239750 1 - 0.0000 -
2149.54/2157.37 c 2157 2960081 240084 1 - 0.0000 -
2154.63/2162.42 c 2162 2964699 240465 1 - 0.0000 -
2159.61/2167.47 c 2167 2968813 240822 1 - 0.0000 -
2164.70/2172.52 c 2173 2972762 241164 1 - 0.0000 -
2169.67/2177.57 c 2178 2977339 241594 1 - 0.0000 -
2174.76/2182.62 c 2183 2981830 241987 1 - 0.0000 -
2179.75/2187.67 c 2188 2986541 242417 1 - 0.0000 -
2184.82/2192.72 c 2193 2990888 242788 1 - 0.0000 -
2189.81/2197.77 c 2198 2995634 243209 1 - 0.0000 -
2194.90/2202.82 c 2203 3000406 243588 1 - 0.0000 -
2199.88/2207.87 c 2208 3004847 243974 1 - 0.0000 -
2204.96/2212.92 c 2213 3009439 244377 1 - 0.0000 -
2209.95/2217.97 c 2218 3014248 244838 1 - 0.0000 -
2215.04/2223.02 c 2223 3019336 245285 1 - 0.0000 -
2220.02/2228.07 c 2228 3024282 245689 1 - 0.0000 -
2225.11/2233.12 c 2233 3028476 246080 1 - 0.0000 -
2230.09/2238.17 c 2238 3032534 246489 1 - 0.0000 -
2235.16/2243.22 c 2243 3036994 246883 1 - 0.0000 -
2240.15/2248.27 c 2248 3041247 247278 1 - 0.0000 -
2245.23/2253.32 c 2253 3045831 247746 1 - 0.0000 -
2250.20/2258.37 c 2258 3050527 248226 1 - 0.0000 -
2255.29/2263.42 c 2263 3054914 248650 1 - 0.0000 -
2260.27/2268.47 c 2268 3059810 249197 1 - 0.0000 -
2265.36/2273.52 c 2274 3064957 249766 1 - 0.0000 -
2270.34/2278.57 c 2279 3070011 250312 1 - 0.0000 -
2275.43/2283.62 c 2284 3074599 250748 1 - 0.0000 -
2280.41/2288.67 c 2289 3078980 251218 1 - 0.0000 -
2285.49/2293.72 c 2294 3083832 251753 1 - 0.0000 -
2290.47/2298.77 c 2299 3088841 252316 1 - 0.0000 -
2295.56/2303.82 c 2304 3093992 252903 1 - 0.0000 -
2300.55/2308.87 c 2309 3098833 253455 1 - 0.0000 -
2305.63/2313.92 c 2314 3103455 253978 1 - 0.0000 -
2310.61/2318.97 c 2319 3108358 254492 1 - 0.0000 -
2315.70/2324.02 c 2324 3113134 255204 1 - 0.0000 -
2320.68/2329.07 c 2329 3117556 255969 1 - 0.0000 -
2325.77/2334.12 c 2334 3121407 256611 1 - 0.0000 -
2330.76/2339.17 c 2339 3125863 257269 1 - 0.0000 -
2335.83/2344.22 c 2344 3130604 258064 1 - 0.0000 -
2340.81/2349.27 c 2349 3134807 258724 1 - 0.0000 -
2345.90/2354.32 c 2354 3139520 259363 1 - 0.0000 -
2350.88/2359.37 c 2359 3143540 260111 1 - 0.0000 -
2355.97/2364.42 c 2364 3146387 259968 1 - 0.0000 -
2360.95/2369.47 c 2369 3148814 259696 1 - 0.0000 -
2366.04/2374.53 c 2375 3151199 259434 1 - 0.0000 -
2371.02/2379.58 c 2380 3154743 260051 1 - 0.0000 -
2376.10/2384.63 c 2385 3158775 260990 1 - 0.0000 -
2381.09/2389.68 c 2390 3162379 261261 1 - 0.0000 -
2386.17/2394.73 c 2395 3166054 261368 1 - 0.0000 -
2391.16/2399.78 c 2400 3169535 261560 1 - 0.0000 -
2396.25/2404.83 c 2405 3172607 261662 1 - 0.0000 -
2401.23/2409.88 c 2410 3175573 261792 1 - 0.0000 -
2406.31/2414.93 c 2415 3179114 261988 1 - 0.0000 -
2411.30/2419.98 c 2420 3182765 262100 1 - 0.0000 -
2416.40/2425.04 c 2425 3186318 262225 1 - 0.0000 -
2421.37/2430.09 c 2430 3189664 262278 1 - 0.0000 -
2426.46/2435.14 c 2435 3192915 262254 1 - 0.0000 -
2431.45/2440.19 c 2440 3195229 261684 1 - 0.0000 -
2436.52/2445.24 c 2445 3199615 261985 1 - 0.0000 -
2441.50/2450.29 c 2450 3203600 262053 1 - 0.0000 -
2446.59/2455.34 c 2455 3207800 262217 1 - 0.0000 -
2451.58/2460.39 c 2460 3212091 262351 1 - 0.0000 -
2456.65/2465.44 c 2465 3216539 263027 1 - 0.0000 -
2461.64/2470.49 c 2470 3221072 263726 1 - 0.0000 -
2466.73/2475.54 c 2476 3225502 264324 1 - 0.0000 -
2471.71/2480.59 c 2481 3228700 264197 1 - 0.0000 -
2476.80/2485.64 c 2486 3233451 264899 1 - 0.0000 -
2481.78/2490.69 c 2491 3237647 265093 1 - 0.0000 -
2486.86/2495.74 c 2496 3242040 265150 1 - 0.0000 -
2491.85/2500.79 c 2501 3246464 265232 1 - 0.0000 -
2496.93/2505.84 c 2506 3251548 265269 1 - 0.0000 -
2501.92/2510.89 c 2511 3256786 265333 1 - 0.0000 -
2507.00/2515.94 c 2516 3262069 265379 1 - 0.0000 -
2511.99/2520.99 c 2521 3266547 265454 1 - 0.0000 -
2517.08/2526.04 c 2526 3271044 265311 1 - 0.0000 -
2522.07/2531.09 c 2531 3276790 265417 1 - 0.0000 -
2527.15/2536.14 c 2536 3282496 265494 1 - 0.0000 -
2532.14/2541.19 c 2541 3288423 265582 1 - 0.0000 -
2537.21/2546.24 c 2546 3294153 265693 1 - 0.0000 -
2542.19/2551.29 c 2551 3299968 265808 1 - 0.0000 -
2547.28/2556.34 c 2556 3305398 265864 1 - 0.0000 -
2552.37/2561.40 c 2561 3309076 265631 1 - 0.0000 -
2557.34/2566.45 c 2566 3312627 265888 1 - 0.0000 -
2562.43/2571.50 c 2572 3317005 266125 1 - 0.0000 -
2567.41/2576.55 c 2577 3322370 266578 1 - 0.0000 -
2572.50/2581.60 c 2582 3327834 267069 1 - 0.0000 -
2577.49/2586.65 c 2587 3332934 267415 1 - 0.0000 -
2582.57/2591.70 c 2592 3337868 267800 1 - 0.0000 -
2587.55/2596.75 c 2597 3341778 268225 1 - 0.0000 -
2592.64/2601.80 c 2602 3345713 268673 1 - 0.0000 -
2597.62/2606.85 c 2607 3349699 269037 1 - 0.0000 -
2602.71/2611.90 c 2612 3354119 269525 1 - 0.0000 -
2607.69/2616.95 c 2617 3358291 269945 1 - 0.0000 -
2612.67/2622.01 c 2622 3362074 270354 1 - 0.0000 -
2617.77/2627.05 c 2627 3365982 270719 1 - 0.0000 -
2622.74/2632.10 c 2632 3369895 271151 1 - 0.0000 -
2627.83/2637.15 c 2637 3373778 271519 1 - 0.0000 -
2632.90/2642.20 c 2642 3377654 271837 1 - 0.0000 -
2637.88/2647.25 c 2647 3381316 272175 1 - 0.0000 -
2642.97/2652.30 c 2652 3385375 272556 1 - 0.0000 -
2647.95/2657.35 c 2657 3389014 272925 1 - 0.0000 -
2653.04/2662.40 c 2662 3392884 273231 1 - 0.0000 -
2658.03/2667.45 c 2667 3396829 273632 1 - 0.0000 -
2663.11/2672.50 c 2673 3400142 273477 1 - 0.0000 -
2668.09/2677.56 c 2678 3403594 273328 1 - 0.0000 -
2673.17/2682.61 c 2683 3407873 273691 1 - 0.0000 -
2678.15/2687.66 c 2688 3412147 274078 1 - 0.0000 -
2683.24/2692.71 c 2693 3416360 274536 1 - 0.0000 -
2688.22/2697.76 c 2698 3420565 274872 1 - 0.0000 -
2693.31/2702.81 c 2703 3424450 275161 1 - 0.0000 -
2698.29/2707.86 c 2708 3428539 275527 1 - 0.0000 -
2703.38/2712.91 c 2713 3432321 275825 1 - 0.0000 -
2708.36/2717.96 c 2718 3436245 276043 1 - 0.0000 -
2713.45/2723.01 c 2723 3440114 276442 1 - 0.0000 -
2718.44/2728.06 c 2728 3443893 276733 1 - 0.0000 -
2723.52/2733.11 c 2733 3447451 277330 1 - 0.0000 -
2728.50/2738.16 c 2738 3451261 277558 1 - 0.0000 -
2733.57/2743.21 c 2743 3455208 277922 1 - 0.0000 -
2738.56/2748.26 c 2748 3459021 278284 1 - 0.0000 -
2743.64/2753.31 c 2753 3462707 278464 1 - 0.0000 -
2748.63/2758.36 c 2758 3466063 278619 1 - 0.0000 -
2753.71/2763.41 c 2763 3470099 279086 1 - 0.0000 -
2758.70/2768.46 c 2768 3474160 279486 1 - 0.0000 -
2763.78/2773.51 c 2774 3478305 279865 1 - 0.0000 -
2768.76/2778.56 c 2779 3482416 280255 1 - 0.0000 -
2773.85/2783.61 c 2784 3486461 280651 1 - 0.0000 -
2778.83/2788.66 c 2789 3490446 280973 1 - 0.0000 -
2783.91/2793.71 c 2794 3494229 281354 1 - 0.0000 -
2788.90/2798.76 c 2799 3498331 281718 1 - 0.0000 -
2793.98/2803.81 c 2804 3502136 282074 1 - 0.0000 -
2798.96/2808.86 c 2809 3506240 282504 1 - 0.0000 -
2804.04/2813.91 c 2814 3510298 282934 1 - 0.0000 -
2809.03/2818.96 c 2819 3514088 283335 1 - 0.0000 -
2814.12/2824.01 c 2824 3517997 283712 1 - 0.0000 -
2819.10/2829.06 c 2829 3522109 284119 1 - 0.0000 -
2824.19/2834.11 c 2834 3526161 284535 1 - 0.0000 -
2829.17/2839.16 c 2839 3530331 284834 1 - 0.0000 -
2834.24/2844.21 c 2844 3534002 285230 1 - 0.0000 -
2839.23/2849.26 c 2849 3537961 285703 1 - 0.0000 -
2844.31/2854.31 c 2854 3541701 286082 1 - 0.0000 -
2849.30/2859.36 c 2859 3545394 286474 1 - 0.0000 -
2854.38/2864.41 c 2864 3549203 286849 1 - 0.0000 -
2859.36/2869.46 c 2869 3552985 287257 1 - 0.0000 -
2864.45/2874.51 c 2875 3557007 287712 1 - 0.0000 -
2869.43/2879.56 c 2880 3561201 288162 1 - 0.0000 -
2874.51/2884.61 c 2885 3565462 288630 1 - 0.0000 -
2879.50/2889.66 c 2890 3569641 289033 1 - 0.0000 -
2884.58/2894.71 c 2895 3573802 289502 1 - 0.0000 -
2889.56/2899.76 c 2900 3577933 289991 1 - 0.0000 -
2894.65/2904.81 c 2905 3581892 290323 1 - 0.0000 -
2899.63/2909.86 c 2910 3585866 290739 1 - 0.0000 -
2904.71/2914.91 c 2915 3589963 291151 1 - 0.0000 -
2909.70/2919.97 c 2920 3593963 291563 1 - 0.0000 -
2914.79/2925.02 c 2925 3597977 291972 1 - 0.0000 -
2919.77/2930.07 c 2930 3601956 292406 1 - 0.0000 -
2924.86/2935.12 c 2935 3605983 292851 1 - 0.0000 -
2929.84/2940.17 c 2940 3609882 293300 1 - 0.0000 -
2934.91/2945.22 c 2945 3613839 293770 1 - 0.0000 -
2939.90/2950.27 c 2950 3617844 294255 1 - 0.0000 -
2944.98/2955.32 c 2955 3621869 294706 1 - 0.0000 -
2949.96/2960.37 c 2960 3626005 295194 1 - 0.0000 -
2955.04/2965.42 c 2965 3629795 295510 1 - 0.0000 -
2960.03/2970.47 c 2970 3632420 295497 1 - 0.0000 -
2965.11/2975.52 c 2976 3635333 295627 1 - 0.0000 -
2970.09/2980.57 c 2981 3637713 295627 1 - 0.0000 -
2975.18/2985.63 c 2986 3640622 295752 1 - 0.0000 -
2980.16/2990.68 c 2991 3643435 295858 1 - 0.0000 -
2985.25/2995.73 c 2996 3646263 295893 1 - 0.0000 -
2990.24/3000.78 c 3001 3649230 295981 1 - 0.0000 -
2995.31/3005.83 c 3006 3652056 296002 1 - 0.0000 -
3000.30/3010.88 c 3011 3654958 296053 1 - 0.0000 -
3005.38/3015.93 c 3016 3658335 296139 1 - 0.0000 -
3010.37/3020.98 c 3021 3661620 296190 1 - 0.0000 -
3015.46/3026.03 c 3026 3664732 296246 1 - 0.0000 -
3020.44/3031.08 c 3031 3668045 296309 1 - 0.0000 -
3025.53/3036.13 c 3036 3671496 296420 1 - 0.0000 -
3030.52/3041.18 c 3041 3674716 296461 1 - 0.0000 -
3035.58/3046.23 c 3046 3677911 296541 1 - 0.0000 -
3040.57/3051.28 c 3051 3681092 296566 1 - 0.0000 -
3045.65/3056.33 c 3056 3684333 296650 1 - 0.0000 -
3050.64/3061.38 c 3061 3687491 296742 1 - 0.0000 -
3055.72/3066.43 c 3066 3690756 296833 1 - 0.0000 -
3060.71/3071.48 c 3071 3693929 296889 1 - 0.0000 -
3065.80/3076.53 c 3077 3696984 296947 1 - 0.0000 -
3070.78/3081.58 c 3082 3700154 297039 1 - 0.0000 -
3075.87/3086.63 c 3087 3703450 297088 1 - 0.0000 -
3080.85/3091.68 c 3092 3706454 297135 1 - 0.0000 -
3085.94/3096.73 c 3097 3709667 297156 1 - 0.0000 -
3090.91/3101.78 c 3102 3712849 297204 1 - 0.0000 -
3096.01/3106.83 c 3107 3716232 297281 1 - 0.0000 -
3100.99/3111.88 c 3112 3719337 297312 1 - 0.0000 -
3106.07/3116.93 c 3117 3722455 297332 1 - 0.0000 -
3111.06/3121.98 c 3122 3725502 297365 1 - 0.0000 -
3116.15/3127.03 c 3127 3728662 297413 1 - 0.0000 -
3121.13/3132.08 c 3132 3731986 297519 1 - 0.0000 -
3126.22/3137.14 c 3137 3734990 297618 1 - 0.0000 -
3131.20/3142.19 c 3142 3737999 297673 1 - 0.0000 -
3136.28/3147.24 c 3147 3741218 297839 1 - 0.0000 -
3141.26/3152.29 c 3152 3744378 297867 1 - 0.0000 -
3146.34/3157.34 c 3157 3747429 297950 1 - 0.0000 -
3151.33/3162.39 c 3162 3750612 298070 1 - 0.0000 -
3156.41/3167.44 c 3167 3753792 298222 1 - 0.0000 -
3161.39/3172.49 c 3172 3757194 298367 1 - 0.0000 -
3166.47/3177.55 c 3178 3760611 298440 1 - 0.0000 -
3171.55/3182.60 c 3183 3763850 298500 1 - 0.0000 -
3176.54/3187.65 c 3188 3767209 298621 1 - 0.0000 -
3181.62/3192.70 c 3193 3770528 298696 1 - 0.0000 -
3186.61/3197.75 c 3198 3774047 298748 1 - 0.0000 -
3191.69/3202.80 c 3203 3777581 298834 1 - 0.0000 -
3196.67/3207.85 c 3208 3781003 298892 1 - 0.0000 -
3201.74/3212.90 c 3213 3784432 298954 1 - 0.0000 -
3206.73/3217.95 c 3218 3788146 299020 1 - 0.0000 -
3211.71/3223.01 c 3223 3792912 299211 1 - 0.0000 -
3216.80/3228.05 c 3228 3797221 299370 1 - 0.0000 -
3221.79/3233.10 c 3233 3801407 299574 1 - 0.0000 -
3226.87/3238.15 c 3238 3805601 299723 1 - 0.0000 -
3231.93/3243.20 c 3243 3809139 299914 1 - 0.0000 -
3236.93/3248.25 c 3248 3813109 299989 1 - 0.0000 -
3242.00/3253.30 c 3253 3816931 300100 1 - 0.0000 -
3246.98/3258.35 c 3258 3820870 300301 1 - 0.0000 -
3252.07/3263.40 c 3263 3824922 300419 1 - 0.0000 -
3257.04/3268.45 c 3268 3828928 300410 1 - 0.0000 -
3262.13/3273.50 c 3274 3833682 300509 1 - 0.0000 -
3267.11/3278.55 c 3279 3838517 300627 1 - 0.0000 -
3272.19/3283.60 c 3284 3843302 300650 1 - 0.0000 -
3277.17/3288.65 c 3289 3848122 300679 1 - 0.0000 -
3282.24/3293.70 c 3294 3853155 300891 1 - 0.0000 -
3287.23/3298.75 c 3299 3857959 301265 1 - 0.0000 -
3292.30/3303.80 c 3304 3862792 301648 1 - 0.0000 -
3297.29/3308.85 c 3309 3867773 301986 1 - 0.0000 -
3302.37/3313.90 c 3314 3873049 302450 1 - 0.0000 -
3307.36/3318.95 c 3319 3878484 303062 1 - 0.0000 -
3312.33/3324.01 c 3324 3883770 303704 1 - 0.0000 -
3317.42/3329.05 c 3329 3889800 304301 1 - 0.0000 -
3322.40/3334.10 c 3334 3896061 304939 1 - 0.0000 -
3327.49/3339.15 c 3339 3901874 305176 1 - 0.0000 -
3332.56/3344.20 c 3344 3907815 305245 1 - 0.0000 -
3337.54/3349.25 c 3349 3914014 305455 1 - 0.0000 -
3342.62/3354.30 c 3354 3920419 305721 1 - 0.0000 -
3347.60/3359.35 c 3359 3925300 305628 1 - 0.0000 -
3352.67/3364.40 c 3364 3930680 306694 1 - 0.0000 -
3357.66/3369.45 c 3369 3936962 308239 1 - 0.0000 -
3362.74/3374.50 c 3375 3945348 311343 1 - 0.0000 -
3367.72/3379.55 c 3380 3953709 314021 1 - 0.0000 -
3372.80/3384.60 c 3385 3962457 316369 1 - 0.0000 -
3377.78/3389.65 c 3390 3971062 318604 1 - 0.0000 -
3382.86/3394.70 c 3395 3980202 320443 1 - 0.0000 -
3387.84/3399.75 c 3400 3989960 322551 1 - 0.0000 -
3392.92/3404.80 c 3405 3999363 324207 1 - 0.0000 -
3397.89/3409.85 c 3410 4008417 325773 1 - 0.0000 -
3402.98/3414.90 c 3415 4018119 327238 1 - 0.0000 -
3407.96/3419.95 c 3420 4028574 328847 1 - 0.0000 -
3412.94/3425.01 c 3425 4037347 328996 1 - 0.0000 -
3418.03/3430.05 c 3430 4042538 328041 1 - 0.0000 -
3423.01/3435.10 c 3435 4050621 328507 1 - 0.0000 -
3428.10/3440.15 c 3440 4057681 328373 1 - 0.0000 -
3433.17/3445.20 c 3445 4064321 328578 1 - 0.0000 -
3438.16/3450.25 c 3450 4070061 327767 1 - 0.0000 -
3443.24/3455.30 c 3455 4073882 326499 1 - 0.0000 -
3448.22/3460.35 c 3460 4078239 325690 1 - 0.0000 -
3453.30/3465.40 c 3465 4085502 327107 1 - 0.0000 -
3458.29/3470.45 c 3470 4094130 329376 1 - 0.0000 -
3463.36/3475.50 c 3476 4101967 329880 1 - 0.0000 -
3468.35/3480.55 c 3481 4108937 329978 1 - 0.0000 -
3473.43/3485.60 c 3486 4116199 330438 1 - 0.0000 -
3478.42/3490.65 c 3491 4123482 330931 1 - 0.0000 -
3483.49/3495.70 c 3496 4131160 331388 1 - 0.0000 -
3488.48/3500.75 c 3501 4139279 331817 1 - 0.0000 -
3493.56/3505.80 c 3506 4146722 332296 1 - 0.0000 -
3498.55/3510.85 c 3511 4154606 332715 1 - 0.0000 -
3503.63/3515.90 c 3516 4162348 333199 1 - 0.0000 -
3508.61/3520.95 c 3521 4169725 333678 1 - 0.0000 -
3513.59/3526.01 c 3526 4177123 333967 1 - 0.0000 -
3518.68/3531.05 c 3531 4188513 335972 1 - 0.0000 -
3523.66/3536.10 c 3536 4197531 336722 1 - 0.0000 -
3528.75/3541.15 c 3541 4206547 337254 1 - 0.0000 -
3533.81/3546.20 c 3546 4215555 337556 1 - 0.0000 -
3538.80/3551.25 c 3551 4224331 337667 1 - 0.0000 -
3543.88/3556.30 c 3556 4232122 337557 1 - 0.0000 -
3548.87/3561.35 c 3561 4242196 339821 1 - 0.0000 -
3553.95/3566.49 c 3566 4248629 339032 1 - 0.0000 -
3559.03/3571.54 c 3572 4256149 340346 1 - 0.0000 -
3564.01/3576.59 c 3577 4263453 341798 1 - 0.0000 -
3569.09/3581.64 c 3582 4270555 343470 1 - 0.0000 -
3574.07/3586.69 c 3587 4276552 344230 1 - 0.0000 -
3579.15/3591.74 c 3592 4282572 345106 1 - 0.0000 -
3584.14/3596.79 c 3597 4287565 345006 1 - 0.0000 -
3586.03/3598.65 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.03/3598.65 c Total Time : 3598.6600
3586.03/3598.65 c solving : 3598.6600
3586.03/3598.65 c presolving : 0.0166 (included in solving)
3586.03/3598.65 c B&B Tree :
3586.03/3598.65 c nodes (total) : 1
3586.03/3598.65 c Solution :
3586.03/3598.65 c Solutions found : 0
3586.03/3598.65 c Primal Bound : -
3586.03/3598.65 c Dual Bound : +0.00000000000000e+00
3586.03/3598.65 c Gap : -
3586.03/3598.66 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (61381 MiB free)
memory of node 1: 64473 MiB (57505 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464501-1722385810/watcher-4464501-1722385810 -o /tmp/evaluation-result-4464501-1722385810/solver-4464501-1722385810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28500 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464501-1722385810.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=33078, runsolver pid=33075
[startup+0.100103 s]*
/proc/loadavg: 4.11 4.16 4.14 5/251 33081
/proc/meminfo: memFree=121726848/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=112184 memory=23724 CPUtime=0.1 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 3405 0 0 0 9 1 0 0 20 0 3 0 5177980 114876416 5931 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 28046 5931 2854 3035 0 9545 0
[pid=33078/tid=33080] ppid=33075 vsize=112184 memory=4026561586 CPUtime=0.06 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 1172 0 0 0 6 0 0 0 20 0 3 0 5177984 114876416 5931 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=112184 memory=232851243367 CPUtime=0 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5177985 114876416 5931 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112184 KiB
Current children cumulated memory: 23724 KiB
[startup+0.212311 s]*
/proc/loadavg: 4.11 4.16 4.14 5/251 33081
/proc/meminfo: memFree=121721276/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=112184 memory=29684 CPUtime=0.21 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 4773 0 0 0 20 1 0 0 20 0 3 0 5177980 114876416 7421 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 28046 7421 2966 3035 0 11229 0
[pid=33078/tid=33080] ppid=33075 vsize=112184 memory=664970838410264707 CPUtime=0.17 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 2540 0 0 0 17 0 0 0 20 0 3 0 5177984 114876416 7421 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=112184 memory=3730 CPUtime=0 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5177985 114876416 7421 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112184 KiB
Current children cumulated memory: 29684 KiB
[startup+0.313941 s]*
/proc/loadavg: 4.11 4.16 4.14 5/251 33081
/proc/meminfo: memFree=121719120/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=112184 memory=31220 CPUtime=0.31 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 5336 0 0 0 30 1 0 0 20 0 3 0 5177980 114876416 7805 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 28046 7805 2966 3035 0 11636 0
[pid=33078/tid=33080] ppid=33075 vsize=112184 memory=-5155630185003445125 CPUtime=0.27 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 3103 0 0 0 27 0 0 0 20 0 3 0 5177984 114876416 7805 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=112184 memory=0 CPUtime=0 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5177985 114876416 7805 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 112184 KiB
Current children cumulated memory: 31220 KiB
[startup+0.700402 s]
/proc/loadavg: 4.11 4.16 4.14 5/251 33081
/proc/meminfo: memFree=121715464/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=112184 memory=35068 CPUtime=0.69 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 6979 0 0 0 67 2 0 0 20 0 3 0 5177980 114876416 8767 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 28046 8767 2966 3035 0 12275 0
[pid=33078/tid=33080] ppid=33075 vsize=112184 memory=0 CPUtime=0.65 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 4746 0 0 0 64 1 0 0 20 0 3 0 5177984 114876416 8767 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=112184 memory=0 CPUtime=0 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5177985 114876416 8767 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 112184 KiB
Current children cumulated memory: 35068 KiB
[startup+1.50041 s]
/proc/loadavg: 4.10 4.15 4.14 5/251 33081
/proc/meminfo: memFree=121713932/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=112184 memory=35224 CPUtime=1.48 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 11055 0 0 0 146 2 0 0 20 0 3 0 5177980 114876416 8806 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 28046 8806 2966 3035 0 12503 0
[pid=33078/tid=33080] ppid=33075 vsize=112184 memory=0 CPUtime=1.44 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 8802 0 0 0 143 1 0 0 20 0 3 0 5177984 114876416 8806 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=112184 memory=0 CPUtime=0 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5177985 114876416 8806 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 112184 KiB
Current children cumulated memory: 35224 KiB
[startup+3.11392 s]
/proc/loadavg: 4.10 4.15 4.14 5/251 33081
/proc/meminfo: memFree=121712568/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=112184 memory=36576 CPUtime=3.09 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 11524 0 0 0 307 2 0 0 20 0 3 0 5177980 114876416 9144 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 28046 9144 2966 3035 0 12667 0
[pid=33078/tid=33080] ppid=33075 vsize=112184 memory=2273 CPUtime=3.05 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 9268 0 0 0 304 1 0 0 20 0 3 0 5177984 114876416 9144 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=112184 memory=0 CPUtime=0 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5177985 114876416 9144 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 112184 KiB
Current children cumulated memory: 36576 KiB
[startup+6.30037 s]
/proc/loadavg: 4.10 4.15 4.14 5/251 33083
/proc/meminfo: memFree=121707344/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=112184 memory=41864 CPUtime=6.27 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 17412 0 0 0 623 4 0 0 20 0 3 0 5177980 114876416 10466 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 28046 10466 3014 3035 0 13854 0
[pid=33078/tid=33080] ppid=33075 vsize=112184 memory=39464 CPUtime=6.23 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 15135 0 0 0 620 3 0 0 20 0 3 0 5177984 114876416 10466 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=112184 memory=-5155630185003445125 CPUtime=0 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5177985 114876416 10466 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 112184 KiB
Current children cumulated memory: 41864 KiB
[startup+12.7004 s]
/proc/loadavg: 4.09 4.15 4.14 5/251 33083
/proc/meminfo: memFree=121511788/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=113084 memory=46744 CPUtime=12.64 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 27304 0 0 0 1258 6 0 0 20 0 3 0 5177980 115798016 11686 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 28271 11686 3014 3035 0 15137 0
[pid=33078/tid=33080] ppid=33075 vsize=113084 memory=45380 CPUtime=12.6 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 24982 0 0 0 1255 5 0 0 20 0 3 0 5177984 115798016 11686 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=113084 memory=4049862206270213380 CPUtime=0 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5177985 115798016 11686 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 113084 KiB
Current children cumulated memory: 46744 KiB
[startup+25.5004 s]
/proc/loadavg: 4.15 4.16 4.14 5/251 33086
/proc/meminfo: memFree=121306496/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=114948 memory=65816 CPUtime=25.39 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 43878 0 0 0 2526 13 0 0 20 0 3 0 5177980 117706752 16454 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 28737 16454 3014 3035 0 19981 0
[pid=33078/tid=33080] ppid=33075 vsize=114948 memory=0 CPUtime=25.35 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 41493 0 0 0 2523 12 0 0 20 0 3 0 5177984 117706752 16454 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=114948 memory=11440 CPUtime=0 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5177985 117706752 16454 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 114948 KiB
Current children cumulated memory: 65816 KiB
[startup+51.1136 s]
/proc/loadavg: 4.49 4.24 4.17 5/251 33147
/proc/meminfo: memFree=121237800/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=185016 memory=95148 CPUtime=50.9 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 74624 0 0 0 5065 25 0 0 20 0 3 0 5177980 189456384 23787 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 46254 23787 3014 3035 0 27026 0
[pid=33078/tid=33080] ppid=33075 vsize=185016 memory=52188 CPUtime=50.86 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 72151 0 0 0 5062 24 0 0 20 0 3 0 5177984 189456384 23787 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=185016 memory=91888 CPUtime=0 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5177985 189456384 23787 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 185016 KiB
Current children cumulated memory: 95148 KiB
[startup+102.3 s]
/proc/loadavg: 4.61 4.32 4.20 5/251 33155
/proc/meminfo: memFree=121173184/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=196288 memory=156380 CPUtime=101.9 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 134932 0 0 0 10134 56 0 0 20 0 3 0 5177980 200998912 39095 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 49072 39095 3014 3035 0 42539 0
[pid=33078/tid=33080] ppid=33075 vsize=196288 memory=148868 CPUtime=101.84 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 132374 0 0 0 10130 54 0 0 20 0 3 0 5177984 200998912 39095 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=196288 memory=142916 CPUtime=0 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5177985 200998912 39095 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 196288 KiB
Current children cumulated memory: 156380 KiB
[startup+162.3 s]
/proc/loadavg: 4.29 4.28 4.19 5/253 33169
/proc/meminfo: memFree=119796408/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=283196 memory=214044 CPUtime=161.66 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 194850 0 0 0 16075 91 0 0 20 0 3 0 5177980 289992704 53511 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 70799 53511 3014 3035 0 57297 0
[pid=33078/tid=33080] ppid=33075 vsize=283196 memory=187252 CPUtime=161.61 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 192245 0 0 0 16071 90 0 0 20 0 3 0 5177984 289992704 53511 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=283196 memory=11440 CPUtime=0 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5177985 289992704 53511 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 283196 KiB
################
# More data... #
################
/proc/33078/statm: 143127 122804 3014 3035 0 125553 0
[pid=33078/tid=33080] ppid=33075 vsize=572508 memory=481184 CPUtime=3390.08 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 1855349 0 0 0 338167 841 0 0 20 0 3 0 5177984 586248192 122804 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=572508 memory=490988 CPUtime=0.04 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 135 0 0 0 1 3 0 0 20 0 3 0 5177985 586248192 122804 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 3390.43 s
Current children cumulated vsize: 572508 KiB
Current children cumulated memory: 491216 KiB
[startup+3462.3 s]
/proc/loadavg: 4.45 4.30 4.18 5/251 35031
/proc/meminfo: memFree=123564312/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=572508 memory=500680 CPUtime=3450.21 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 1871554 0 0 0 344155 866 0 0 20 0 3 0 5177980 586248192 125170 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 143127 125170 3014 3035 0 128822 0
[pid=33078/tid=33080] ppid=33075 vsize=572508 memory=481184 CPUtime=3449.84 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 1867225 0 0 0 344129 855 0 0 20 0 3 0 5177984 586248192 125170 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=572508 memory=11440 CPUtime=0.04 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 137 0 0 0 1 3 0 0 20 0 3 0 5177985 586248192 125170 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 3450.21 s
Current children cumulated vsize: 572508 KiB
Current children cumulated memory: 500680 KiB
[startup+3522.3 s]
/proc/loadavg: 4.23 4.26 4.18 5/252 35211
/proc/meminfo: memFree=123542584/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=573536 memory=506016 CPUtime=3510 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 1879596 0 0 0 350117 883 0 0 20 0 3 0 5177980 587300864 126504 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 143384 126504 3014 3035 0 129079 0
[pid=33078/tid=33080] ppid=33075 vsize=573536 memory=11440 CPUtime=3509.64 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 1875237 0 0 0 350092 872 0 0 20 0 3 0 5177984 587300864 126504 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=573536 memory=506016 CPUtime=0.04 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 139 0 0 0 1 3 0 0 20 0 3 0 5177985 587300864 126504 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 3510 s
Current children cumulated vsize: 573536 KiB
Current children cumulated memory: 506016 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.22 4.17 4/245 35231
/proc/meminfo: memFree=123858584/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=573536 memory=517660 CPUtime=3569.79 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 1890783 0 0 0 356078 901 0 0 20 0 3 0 5177980 587300864 129415 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 143384 129415 3014 3035 0 131673 0
[pid=33078/tid=33080] ppid=33075 vsize=573536 memory=2276 CPUtime=3569.42 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 1886393 0 0 0 356052 890 0 0 20 0 3 0 5177984 587300864 129415 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=573536 memory=5528 CPUtime=0.04 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 141 0 0 0 1 3 0 0 20 0 3 0 5177985 587300864 129415 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 3569.79 s
Current children cumulated vsize: 573536 KiB
Current children cumulated memory: 517660 KiB
[startup+3598.67 s]
# the end of solver process 33078 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.05 s, system=9.06283 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.22 4.17 4/243 35255
/proc/meminfo: memFree=123886300/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=573536 memory=517804 CPUtime=3571.49 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 1890860 0 0 0 356248 901 0 0 20 0 3 0 5177980 587300864 129451 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 143384 129451 3014 3035 0 131737 0
[pid=33078/tid=33080] ppid=33075 vsize=573536 memory=7686721470247706567 CPUtime=3571.12 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 1886470 0 0 0 356222 890 0 0 20 0 3 0 5177984 587300864 129451 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=573536 memory=6944656575208382560 CPUtime=0.04 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 141 0 0 0 1 3 0 0 20 0 3 0 5177985 587300864 129451 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 3571.49 s
Current children cumulated vsize: 573536 KiB
Current children cumulated memory: 517804 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.22 4.17 3/234 35286
/proc/meminfo: memFree=127092956/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=573536 memory=518888 CPUtime=3577.86 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 1892037 0 0 0 356883 903 0 0 20 0 3 0 5177980 587300864 129722 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 143384 129722 3014 3035 0 131977 0
[pid=33078/tid=33080] ppid=33075 vsize=573536 memory=518044 CPUtime=3577.48 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 1887643 0 0 0 356857 891 0 0 20 0 3 0 5177984 587300864 129722 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=573536 memory=11440 CPUtime=0.04 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 143 0 0 0 1 3 0 0 20 0 3 0 5177985 587300864 129722 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 3577.86 s
Current children cumulated vsize: 573536 KiB
Current children cumulated memory: 518888 KiB
[startup+3593.6 s]
/proc/loadavg: 3.94 4.18 4.16 3/234 35286
/proc/meminfo: memFree=127092980/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=573536 memory=518888 CPUtime=3581.05 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 1892050 0 0 0 357201 904 0 0 20 0 3 0 5177980 587300864 129722 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 143384 129722 3014 3035 0 131977 0
[pid=33078/tid=33080] ppid=33075 vsize=573536 memory=518044 CPUtime=3580.67 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 1887656 0 0 0 357175 892 0 0 20 0 3 0 5177984 587300864 129722 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=573536 memory=-7667778057160188281 CPUtime=0.04 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 143 0 0 0 1 3 0 0 20 0 3 0 5177985 587300864 129722 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 3581.05 s
Current children cumulated vsize: 573536 KiB
Current children cumulated memory: 518888 KiB
[startup+3596.8 s]
/proc/loadavg: 3.94 4.18 4.16 3/234 35288
/proc/meminfo: memFree=127092960/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=573536 memory=518888 CPUtime=3584.24 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 1892056 0 0 0 357520 904 0 0 20 0 3 0 5177980 587300864 129722 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 143384 129722 3014 3035 0 131977 0
[pid=33078/tid=33080] ppid=33075 vsize=573536 memory=516760 CPUtime=3583.86 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 1887662 0 0 0 357494 892 0 0 20 0 3 0 5177984 587300864 129722 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=573536 memory=518888 CPUtime=0.04 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 143 0 0 0 1 3 0 0 20 0 3 0 5177985 587300864 129722 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 3584.24 s
Current children cumulated vsize: 573536 KiB
Current children cumulated memory: 518888 KiB
[startup+3597.6 s]
/proc/loadavg: 3.79 4.15 4.15 3/234 35288
/proc/meminfo: memFree=127092944/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=573536 memory=519008 CPUtime=3585.04 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 1892061 0 0 0 357600 904 0 0 20 0 3 0 5177980 587300864 129752 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 143384 129752 3014 3035 0 131977 0
[pid=33078/tid=33080] ppid=33075 vsize=573536 memory=5528 CPUtime=3584.65 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 1887667 0 0 0 357573 892 0 0 20 0 3 0 5177984 587300864 129752 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=573536 memory=16104 CPUtime=0.04 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 143 0 0 0 1 3 0 0 20 0 3 0 5177985 587300864 129752 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 3585.04 s
Current children cumulated vsize: 573536 KiB
Current children cumulated memory: 519008 KiB
[startup+3598.4 s]
/proc/loadavg: 3.79 4.15 4.15 3/234 35288
/proc/meminfo: memFree=127092388/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=573536 memory=519264 CPUtime=3585.84 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 1900129 0 0 0 357679 905 0 0 20 0 3 0 5177980 587300864 129816 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 143384 129816 3014 3035 0 133993 0
[pid=33078/tid=33080] ppid=33075 vsize=573536 memory=11440 CPUtime=3585.45 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 1895734 0 0 0 357652 893 0 0 20 0 3 0 5177984 587300864 129816 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=573536 memory=12968 CPUtime=0.04 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 143 0 0 0 1 3 0 0 20 0 3 0 5177985 587300864 129816 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 3585.84 s
Current children cumulated vsize: 573536 KiB
Current children cumulated memory: 519264 KiB
[startup+3598.6 s]
/proc/loadavg: 3.79 4.15 4.15 3/234 35288
/proc/meminfo: memFree=127092388/131655788 swapFree=131071996/131071996
[pid=33078] ppid=33075 vsize=573536 memory=519264 CPUtime=3586.03 cores=1,3
/proc/33078/stat : 33078 (fscip) S 33075 33078 28487 0 -1 1077936128 1901635 0 0 0 357698 905 0 0 20 0 3 0 5177980 587300864 129816 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
/proc/33078/statm: 143384 129816 3014 3035 0 133993 0
[pid=33078/tid=33080] ppid=33075 vsize=573536 memory=12672 CPUtime=3585.65 cores=1,3
/proc/33078/task/33080/stat : 33080 (fscip) R 33075 33078 28487 0 -1 4194368 1897240 0 0 0 357672 893 0 0 20 0 3 0 5177984 587300864 129816 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
[pid=33078/tid=33081] ppid=33075 vsize=573536 memory=519008 CPUtime=0.04 cores=1,3
/proc/33078/task/33081/stat : 33081 (fscip) S 33075 33078 28487 0 -1 1077936192 143 0 0 0 1 3 0 0 20 0 3 0 5177985 587300864 129816 134679101440 4194304 16623229 140735024513088 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 53665792 140735024522262 140735024522378 140735024522378 140735024529392 0
Current children cumulated CPU time: 3586.03 s
Current children cumulated vsize: 573536 KiB
Current children cumulated memory: 519264 KiB
Child status: 0
Real time (s): 3598.67
CPU time (s): 3586.11
CPU user time (s): 3577.05
CPU system time (s): 9.06283
CPU usage (%): 99.6511
Max. virtual memory (cumulated for all children) (KiB): 573536
Max. memory (cumulated for all children) (KiB): 519264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.05
system time used= 9.06283
maximum resident set size= 525684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1902113
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= 11119
involuntary context switches= 2372
# summary of solver processes directly reported to runsolver:
# pid: 33078
# total CPU time (s): 3586.11
# total CPU user time (s): 3577.05
# total CPU system time (s): 9.06283
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0103 second user time and 36.4318 second system time
The end
Begin job on nodeC005 at 2024-07-31 02:30:10
IDJOB=4464501
IDBENCH=160368
IDSOLVER=3092
FILE ID=nodeC005/4464501-1722385810
RUNJOBID= nodeC005-1722378594-28500
SLURM_JOB_ID= 8249835
Free space on /tmp= 723664 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x70split.cnf-extracted.pb.metafix.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464501-1722385810/watcher-4464501-1722385810 -o /tmp/evaluation-result-4464501-1722385810/solver-4464501-1722385810 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722378594-28500 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464501-1722385810.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a8733c4376293f538673445107eeff72
RANDOM SEED=292526229
nodeC005.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 : 0xb00001f
cpu MHz : 3673.316
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.212
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.421
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1396.752
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 3491.863
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 3561.981
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
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 : 0xb00001f
cpu MHz : 1197.381
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.72
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 : 0xb00001f
cpu MHz : 1197.343
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121740092 kB
MemAvailable: 123876040 kB
Buffers: 101984 kB
Cached: 2839728 kB
SwapCached: 0 kB
Active: 297040 kB
Inactive: 9110420 kB
Active(anon): 1476 kB
Inactive(anon): 6485604 kB
Active(file): 295564 kB
Inactive(file): 2624816 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 91148 kB
Writeback: 0 kB
AnonPages: 6465828 kB
Mapped: 123232 kB
Shmem: 21320 kB
KReclaimable: 111536 kB
Slab: 194324 kB
SReclaimable: 111536 kB
SUnreclaim: 82788 kB
KernelStack: 4000 kB
PageTables: 22116 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 4699328 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2308096 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: 187208 kB
DirectMap2M: 14397440 kB
DirectMap1G: 121634816 kB
Free space on /tmp at the end= 723728 MiB
End job on nodeC005 at 2024-07-31 03:30:09