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.19/0.21 c Default LC presolving (default).
0.19/0.22 c ** Before presolving: virtualMemUsedAtLc = 176187445, getVmSize() = 124936192, SCIPgetMemUsed() = 86330644, SCIPgetMemTotal() = 97065508, SCIPgetMemExternEstim() = 79121937
0.19/0.22 c ** set memory limit for presolving in LC to 8.79604e+12 for SCIP **
1.87/1.90 c ** Estimated virtualMemUsedAtSolver = 293193016, getVmSize() = 397217792, SCIPgetMemUsed() = 205559500, SCIPgetMemTotal() = 360667588, SCIPgetMemExternEstim() = 79121937
1.87/1.90 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.87/1.90 c Original Problem :
1.87/1.90 c Problem name : instance-4464048-1722378594
1.87/1.90 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1.87/1.90 c Constraints : 81068
1.87/1.90 c Objective sense : minimize
1.87/1.90 c Presolved Problem :
1.87/1.90 c Variables : 1150 (1150 binary, 0 integer, 0 implicit integer, 0 continuous)
1.87/1.90 c Constraints : 81068
1.87/1.90 c Constraints : Number
1.87/1.90 c setppc : 81068
1.87/1.90 c ** Instance transfer method used: 0
1.98/2.01 c ** ParaScipInstance copy does not increase the number of variables. **
1.98/2.09 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.98/2.09 c Nodes Active
1.98/2.09 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
3.85/3.98 c * 4 0 1 1 -33.0000 - -
4.35/4.40 c * 4 0 1 1 -37.0000 - -
29.33/29.58 c 30 2 1 1 -37.0000 -50.0000 35.14%
36.32/36.52 c 37 12 11 1 -37.0000 -50.0000 35.14%
41.90/42.17 c 42 14 13 1 -37.0000 -50.0000 35.14%
48.08/48.35 c 48 22 21 1 -37.0000 -50.0000 35.14%
54.36/54.65 c 55 28 27 1 -37.0000 -50.0000 35.14%
60.76/61.08 c 61 32 31 1 -37.0000 -50.0000 35.14%
68.42/68.72 c 69 39 38 1 -37.0000 -50.0000 35.14%
69.12/69.48 c * 69 39 38 1 -38.0000 -50.0000 31.58%
74.29/74.61 c 75 48 47 1 -38.0000 -50.0000 31.58%
80.07/80.43 c 80 56 55 1 -38.0000 -50.0000 31.58%
87.74/88.17 c 88 74 73 1 -38.0000 -50.0000 31.58%
93.50/93.91 c 94 84 85 1 -38.0000 -50.0000 31.58%
98.48/98.92 c 99 89 88 1 -38.0000 -50.0000 31.58%
104.55/105.06 c 105 102 101 1 -38.0000 -50.0000 31.58%
109.12/109.68 c * 110 109 108 1 -39.0000 -50.0000 28.21%
110.91/111.41 c 111 120 116 1 -39.0000 -50.0000 28.21%
116.79/117.38 c 117 126 122 1 -39.0000 -50.0000 28.21%
125.15/125.76 c 126 140 134 1 -39.0000 -50.0000 28.21%
132.91/133.50 c 134 157 149 1 -39.0000 -50.0000 28.21%
139.98/140.67 c 141 167 159 1 -39.0000 -50.0000 28.21%
147.64/148.36 c 148 182 174 1 -39.0000 -50.0000 28.21%
154.41/155.16 c 155 220 208 1 -39.0000 -50.0000 28.21%
161.17/161.99 c 162 234 222 1 -39.0000 -50.0000 28.21%
166.26/167.02 c * 167 245 233 1 -40.0000 -50.0000 25.00%
166.26/167.02 c 167 245 233 1 -40.0000 -50.0000 25.00%
171.93/172.77 c 173 400 348 1 -40.0000 -50.0000 25.00%
176.90/177.77 c 178 476 396 1 -40.0000 -50.0000 25.00%
182.28/183.11 c 183 510 420 1 -40.0000 -50.0000 25.00%
189.05/189.90 c 190 532 442 1 -40.0000 -50.0000 25.00%
194.14/195.04 c 195 562 472 1 -40.0000 -50.0000 25.00%
199.62/200.54 c 201 622 510 1 -40.0000 -50.0000 25.00%
206.28/207.22 c 207 743 603 1 -40.0000 -50.0000 25.00%
211.96/212.96 c 213 791 635 1 -40.0000 -50.0000 25.00%
220.44/221.43 c 221 818 658 1 -40.0000 -50.0000 25.00%
226.52/227.52 c 228 855 687 1 -40.0000 -50.0000 25.00%
234.40/235.41 c 235 865 697 1 -40.0000 -50.0000 25.00%
240.37/241.45 c 241 918 750 1 -40.0000 -50.0000 25.00%
249.24/250.39 c 250 964 796 1 -40.0000 -50.0000 25.00%
255.32/256.41 c 256 1013 845 1 -40.0000 -50.0000 25.00%
261.20/262.35 c 262 1096 928 1 -40.0000 -50.0000 25.00%
270.17/271.30 c 271 1153 985 1 -40.0000 -50.0000 25.00%
277.75/278.99 c 279 1186 1018 1 -40.0000 -50.0000 25.00%
283.42/284.62 c 285 1237 1069 1 -40.0000 -50.0000 25.00%
291.90/293.11 c 293 1273 1105 1 -40.0000 -50.0000 25.00%
296.88/298.17 c 298 1300 1132 1 -40.0000 -50.0000 25.00%
302.55/303.80 c * 304 1324 1156 1 -41.0000 -50.0000 21.95%
302.55/303.80 c 304 1324 1156 1 -41.0000 -50.0000 21.95%
307.93/309.24 c 309 1364 1133 1 -41.0000 -50.0000 21.95%
316.61/317.98 c 318 1388 1157 1 -41.0000 -50.0000 21.95%
321.70/323.01 c 323 1408 1177 1 -41.0000 -50.0000 21.95%
328.27/329.68 c 330 1445 1214 1 -41.0000 -50.0000 21.95%
333.36/334.79 c 335 1459 1228 1 -41.0000 -50.0000 21.95%
340.83/342.30 c 342 1488 1257 1 -41.0000 -50.0000 21.95%
349.31/350.75 c 351 1505 1274 1 -41.0000 -50.0000 21.95%
355.48/356.96 c 357 1551 1320 1 -41.0000 -50.0000 21.95%
361.17/362.65 c 363 1599 1368 1 -41.0000 -50.0000 21.95%
370.44/371.97 c 372 1624 1393 1 -41.0000 -50.0000 21.95%
376.41/377.95 c 378 1662 1431 1 -41.0000 -50.0000 21.95%
382.79/384.39 c 384 1694 1463 1 -41.0000 -50.0000 21.95%
389.97/391.54 c 392 1726 1495 1 -41.0000 -50.0000 21.95%
399.64/401.26 c 401 1757 1526 1 -41.0000 -50.0000 21.95%
406.62/408.29 c 408 1794 1563 1 -41.0000 -50.0000 21.95%
411.80/413.42 c 413 1819 1588 1 -41.0000 -50.0000 21.95%
417.29/418.92 c 419 1849 1618 1 -41.0000 -50.0000 21.95%
423.66/425.33 c 425 1898 1667 1 -41.0000 -50.0000 21.95%
428.65/430.33 c 430 1917 1686 1 -41.0000 -50.0000 21.95%
434.63/436.31 c 436 1929 1698 1 -41.0000 -50.0000 21.95%
440.32/442.10 c 442 1986 1755 1 -41.0000 -50.0000 21.95%
446.19/447.94 c 448 2030 1799 1 -41.0000 -50.0000 21.95%
452.97/454.71 c 455 2046 1815 1 -41.0000 -50.0000 21.95%
458.35/460.14 c 460 2108 1875 1 -41.0000 -50.0000 21.95%
462.13/463.95 c * 464 2126 1893 1 -42.0000 -50.0000 19.05%
465.73/467.59 c 468 2134 1832 1 -42.0000 -50.0000 19.05%
474.90/476.75 c 477 2164 1862 1 -42.0000 -50.0000 19.05%
481.57/483.44 c 483 2195 1893 1 -42.0000 -50.0000 19.05%
487.15/489.09 c 489 2245 1941 1 -42.0000 -50.0000 19.05%
493.23/495.17 c 495 2253 1949 1 -42.0000 -50.0000 19.05%
500.01/501.97 c 502 2294 1988 1 -42.0000 -50.0000 19.05%
505.98/507.99 c 508 2367 2059 1 -42.0000 -50.0000 19.05%
511.66/513.60 c 514 2398 2090 1 -42.0000 -50.0000 19.05%
518.74/520.73 c 521 2423 2115 1 -42.0000 -50.0000 19.05%
527.81/529.89 c 530 2500 2190 1 -42.0000 -50.0000 19.05%
533.89/535.96 c 536 2527 2217 1 -42.0000 -50.0000 19.05%
539.87/541.96 c 542 2594 2282 1 -42.0000 -50.0000 19.05%
547.54/549.68 c 550 2643 2329 1 -42.0000 -50.0000 19.05%
553.63/555.79 c 556 2690 2370 1 -42.0000 -50.0000 19.05%
559.41/561.57 c 562 2762 2442 1 -42.0000 -50.0000 19.05%
564.99/567.13 c 567 2849 2525 1 -42.0000 -50.0000 19.05%
570.47/572.67 c 573 2909 2581 1 -42.0000 -50.0000 19.05%
576.15/578.35 c 578 2957 2629 1 -42.0000 -50.0000 19.05%
582.53/584.74 c 585 2977 2649 1 -42.0000 -50.0000 19.05%
587.93/590.15 c 590 3096 2762 1 -42.0000 -50.0000 19.05%
594.10/596.38 c 596 3124 2790 1 -42.0000 -50.0000 19.05%
603.37/605.63 c 606 3166 2830 1 -42.0000 -50.0000 19.05%
609.64/611.92 c 612 3234 2896 1 -42.0000 -50.0000 19.05%
616.03/618.32 c 618 3262 2922 1 -42.0000 -50.0000 19.05%
621.81/624.12 c 624 3298 2958 1 -42.0000 -50.0000 19.05%
628.39/630.73 c 631 3346 3006 1 -42.0000 -50.0000 19.05%
634.57/636.93 c 637 3364 3024 1 -42.0000 -50.0000 19.05%
645.75/648.18 c 648 3383 3043 1 -42.0000 -50.0000 19.05%
653.03/655.46 c 655 3402 3062 1 -42.0000 -50.0000 19.05%
659.01/661.48 c 661 3464 3124 1 -42.0000 -50.0000 19.05%
666.10/668.52 c 669 3485 3145 1 -42.0000 -50.0000 19.05%
672.48/674.90 c 675 3522 3182 1 -42.0000 -50.0000 19.05%
677.67/680.11 c 680 3566 3226 1 -42.0000 -50.0000 19.05%
682.85/685.37 c 685 3581 3241 1 -42.0000 -50.0000 19.05%
688.54/691.08 c 691 3673 3327 1 -42.0000 -50.0000 19.05%
694.62/697.18 c 697 3775 0 1 -42.0000 -50.0000 19.05%
711.08/713.64 c 714 3775 0 1 -42.0000 -50.0000 19.05%
716.56/719.15 c 719 3789 14 1 -42.0000 -50.0000 19.05%
721.54/724.20 c 724 3819 44 1 -42.0000 -50.0000 19.05%
728.72/731.36 c 731 3834 59 1 -42.0000 -50.0000 19.05%
734.60/737.22 c 737 3865 90 1 -42.0000 -50.0000 19.05%
740.09/742.77 c 743 3899 122 1 -42.0000 -50.0000 19.05%
751.05/753.70 c 754 3951 172 1 -42.0000 -50.0000 19.05%
756.04/758.76 c 759 3952 173 1 -42.0000 -50.0000 19.05%
761.52/764.28 c 764 3960 181 1 -42.0000 -50.0000 19.05%
768.81/771.50 c 772 3976 193 1 -42.0000 -50.0000 19.05%
775.29/778.00 c 778 3984 201 1 -42.0000 -50.0000 19.05%
780.47/783.20 c 783 4036 243 1 -42.0000 -50.0000 19.05%
791.04/793.84 c 794 4045 252 1 -42.0000 -50.0000 19.05%
796.53/799.33 c 799 4054 259 1 -42.0000 -50.0000 19.05%
802.32/805.11 c 805 4126 317 1 -42.0000 -50.0000 19.05%
807.60/810.42 c 810 4160 349 1 -42.0000 -50.0000 19.05%
812.78/815.61 c 816 4248 429 1 -42.0000 -50.0000 19.05%
818.35/821.24 c 821 4342 513 1 -42.0000 -50.0000 19.05%
825.04/827.98 c 828 4382 549 1 -42.0000 -50.0000 19.05%
830.23/833.14 c 833 4499 644 1 -42.0000 -50.0000 19.05%
835.41/838.35 c 838 4547 682 1 -42.0000 -50.0000 19.05%
841.19/844.17 c 844 4609 720 1 -42.0000 -50.0000 19.05%
846.68/849.65 c 850 4630 731 1 -42.0000 -50.0000 19.05%
851.86/854.86 c 855 4741 826 1 -42.0000 -50.0000 19.05%
860.84/863.83 c 864 4805 880 1 -42.0000 -50.0000 19.05%
866.62/869.63 c 870 4818 889 1 -42.0000 -50.0000 19.05%
874.10/877.14 c 877 4858 921 1 -42.0000 -50.0000 19.05%
879.28/882.36 c 882 4968 1019 1 -42.0000 -50.0000 19.05%
886.86/889.90 c 890 5062 1111 1 -42.0000 -50.0000 19.05%
897.13/900.22 c 900 5076 1121 1 -42.0000 -50.0000 19.05%
906.71/909.89 c 910 5087 1130 1 -42.0000 -50.0000 19.05%
912.09/915.29 c 915 5094 1137 1 -42.0000 -50.0000 19.05%
918.48/921.60 c 922 5109 1148 1 -42.0000 -50.0000 19.05%
924.26/927.43 c 927 5124 1157 1 -42.0000 -50.0000 19.05%
932.44/935.67 c 936 5127 1158 1 -42.0000 -50.0000 19.05%
938.93/942.14 c 942 5147 1172 1 -42.0000 -50.0000 19.05%
944.21/947.45 c 947 5175 1198 1 -42.0000 -50.0000 19.05%
954.18/957.45 c 957 5191 1214 1 -42.0000 -50.0000 19.05%
960.37/963.68 c 964 5217 1232 1 -42.0000 -50.0000 19.05%
971.04/974.38 c 974 5245 1256 1 -42.0000 -50.0000 19.05%
978.72/982.00 c 982 5283 1286 1 -42.0000 -50.0000 19.05%
985.80/989.14 c 989 5301 1302 1 -42.0000 -50.0000 19.05%
993.88/997.29 c 997 5324 1323 1 -42.0000 -50.0000 19.05%
1002.45/1005.88 c 1006 5413 1392 1 -42.0000 -50.0000 19.05%
1007.83/1011.25 c 1011 5507 1482 1 -42.0000 -50.0000 19.05%
1013.31/1016.71 c 1017 5557 1528 1 -42.0000 -50.0000 19.05%
1019.81/1023.23 c 1023 5575 1542 1 -42.0000 -50.0000 19.05%
1027.08/1030.58 c 1031 5608 1573 1 -42.0000 -50.0000 19.05%
1032.57/1036.06 c 1036 5630 1595 1 -42.0000 -50.0000 19.05%
1038.35/1041.87 c 1042 5644 1609 1 -42.0000 -50.0000 19.05%
1047.83/1051.37 c 1051 5654 1619 1 -42.0000 -50.0000 19.05%
1059.60/1063.11 c 1063 5685 1646 1 -42.0000 -50.0000 19.05%
1065.49/1069.03 c 1069 5695 1656 1 -42.0000 -50.0000 19.05%
1072.95/1076.55 c 1077 5720 1679 1 -42.0000 -50.0000 19.05%
1078.83/1082.45 c 1082 5730 1685 1 -42.0000 -50.0000 19.05%
1084.43/1088.01 c 1088 5743 1696 1 -42.0000 -50.0000 19.05%
1090.51/1094.14 c 1094 5753 1702 1 -42.0000 -50.0000 19.05%
1101.47/1105.12 c 1105 5765 1710 1 -42.0000 -50.0000 19.05%
1109.84/1113.51 c 1114 5771 1714 1 -42.0000 -50.0000 19.05%
1116.52/1120.29 c 1120 5783 1726 1 -42.0000 -50.0000 19.05%
1122.31/1126.04 c 1126 5816 1757 1 -42.0000 -50.0000 19.05%
1132.87/1136.61 c 1137 5841 1778 1 -42.0000 -50.0000 19.05%
1141.04/1144.83 c 1145 5934 1865 1 -42.0000 -50.0000 19.05%
1146.33/1150.17 c 1150 5937 1866 1 -42.0000 -50.0000 19.05%
1151.81/1155.65 c 1156 5996 1921 1 -42.0000 -50.0000 19.05%
1158.59/1162.48 c 1162 6031 1948 1 -42.0000 -50.0000 19.05%
1163.67/1167.54 c 1168 6081 1998 1 -42.0000 -50.0000 19.05%
1168.84/1172.78 c 1173 6184 2089 1 -42.0000 -50.0000 19.05%
1176.92/1180.82 c 1181 6198 2097 1 -42.0000 -50.0000 19.05%
1185.10/1189.06 c 1189 6204 2099 1 -42.0000 -50.0000 19.05%
1190.19/1194.13 c 1194 6240 2125 1 -42.0000 -50.0000 19.05%
1199.56/1203.59 c 1204 6262 2137 1 -42.0000 -50.0000 19.05%
1207.43/1211.47 c 1211 6278 2145 1 -42.0000 -50.0000 19.05%
1212.82/1216.83 c 1217 6373 2232 1 -42.0000 -50.0000 19.05%
1219.20/1223.21 c 1223 6458 2313 1 -42.0000 -50.0000 19.05%
1226.98/1231.03 c 1231 6480 2333 1 -42.0000 -50.0000 19.05%
1233.76/1237.89 c 1238 6495 2346 1 -42.0000 -50.0000 19.05%
1244.73/1248.83 c 1249 6517 2368 1 -42.0000 -50.0000 19.05%
1252.51/1256.65 c 1257 6534 2385 1 -42.0000 -50.0000 19.05%
1259.19/1263.39 c 1263 6544 2395 1 -42.0000 -50.0000 19.05%
1265.88/1270.07 c 1270 6569 2418 1 -42.0000 -50.0000 19.05%
1272.16/1276.38 c 1276 6592 2441 1 -42.0000 -50.0000 19.05%
1280.63/1284.83 c 1285 6687 2520 1 -42.0000 -50.0000 19.05%
1290.30/1294.58 c 1295 6697 2528 1 -42.0000 -50.0000 19.05%
1296.28/1300.54 c 1301 6702 2531 1 -42.0000 -50.0000 19.05%
1305.47/1309.72 c 1310 6707 2534 1 -42.0000 -50.0000 19.05%
1311.25/1315.53 c 1316 6757 2580 1 -42.0000 -50.0000 19.05%
1317.14/1321.42 c 1321 6795 2616 1 -42.0000 -50.0000 19.05%
1322.73/1327.03 c 1327 6799 2620 1 -42.0000 -50.0000 19.05%
1328.21/1332.58 c 1333 6807 2626 1 -42.0000 -50.0000 19.05%
1336.98/1341.32 c 1341 6823 2638 1 -42.0000 -50.0000 19.05%
1344.56/1348.99 c 1349 6834 2647 1 -42.0000 -50.0000 19.05%
1352.04/1356.49 c 1356 6899 2700 1 -42.0000 -50.0000 19.05%
1358.21/1362.68 c 1363 7000 2795 1 -42.0000 -50.0000 19.05%
1366.70/1371.16 c 1371 7006 2799 1 -42.0000 -50.0000 19.05%
1377.97/1382.44 c 1382 7016 2805 1 -42.0000 -50.0000 19.05%
1386.34/1390.82 c 1391 7021 2808 1 -42.0000 -50.0000 19.05%
1392.42/1396.95 c 1397 7072 2845 1 -42.0000 -50.0000 19.05%
1399.70/1404.25 c 1404 7117 2878 1 -42.0000 -50.0000 19.05%
1405.49/1410.04 c 1410 7145 2900 1 -42.0000 -50.0000 19.05%
1412.16/1416.73 c 1417 7199 2946 1 -42.0000 -50.0000 19.05%
1417.55/1422.12 c 1422 7215 2960 1 -42.0000 -50.0000 19.05%
1424.52/1429.12 c 1429 7307 3044 1 -42.0000 -50.0000 19.05%
1431.50/1436.19 c 1436 7322 3059 1 -42.0000 -50.0000 19.05%
1439.77/1444.44 c 1444 7378 3103 1 -42.0000 -50.0000 19.05%
1448.14/1452.80 c 1453 7379 3104 1 -42.0000 -50.0000 19.05%
1457.43/1462.16 c 1462 7386 3109 1 -42.0000 -50.0000 19.05%
1463.70/1468.43 c 1468 7391 3114 1 -42.0000 -50.0000 19.05%
1471.08/1475.88 c 1476 7430 3143 1 -42.0000 -50.0000 19.05%
1476.27/1481.00 c 1481 7456 3161 1 -42.0000 -50.0000 19.05%
1484.94/1489.75 c 1490 7544 3239 1 -42.0000 -50.0000 19.05%
1498.80/1503.60 c 1504 7573 3268 1 -42.0000 -50.0000 19.05%
1507.18/1512.07 c 1512 7584 3275 1 -42.0000 -50.0000 19.05%
1513.85/1518.79 c 1519 7623 3308 1 -42.0000 -50.0000 19.05%
1522.92/1527.88 c 1528 7674 3351 1 -42.0000 -50.0000 19.05%
1528.11/1533.06 c 1533 7695 3372 1 -42.0000 -50.0000 19.05%
1536.88/1541.82 c 1542 7721 3392 1 -42.0000 -50.0000 19.05%
1541.86/1546.86 c 1547 7740 3407 1 -42.0000 -50.0000 19.05%
1548.24/1553.23 c 1553 7819 3478 1 -42.0000 -50.0000 19.05%
1555.22/1560.20 c 1560 7909 3568 1 -42.0000 -50.0000 19.05%
1561.19/1566.21 c 1566 7959 3616 1 -42.0000 -50.0000 19.05%
1566.37/1571.47 c 1571 7988 3645 1 -42.0000 -50.0000 19.05%
1571.46/1576.56 c 1577 8001 3658 1 -42.0000 -50.0000 19.05%
1576.84/1581.96 c 1582 8039 3692 1 -42.0000 -50.0000 19.05%
1584.31/1589.49 c 1589 8067 3714 1 -42.0000 -50.0000 19.05%
1591.19/1596.35 c 1596 8126 3771 1 -42.0000 -50.0000 19.05%
1602.06/1607.21 c 1607 8138 3777 1 -42.0000 -50.0000 19.05%
1610.33/1615.50 c 1616 8184 3813 1 -42.0000 -50.0000 19.05%
1617.51/1622.75 c 1623 8195 3820 1 -42.0000 -50.0000 19.05%
1623.79/1629.09 c 1629 8199 3824 1 -42.0000 -50.0000 19.05%
1630.27/1635.53 c 1636 8228 3845 1 -42.0000 -50.0000 19.05%
1636.55/1641.84 c 1642 8232 3849 1 -42.0000 -50.0000 19.05%
1643.84/1649.18 c 1649 8240 3857 1 -42.0000 -50.0000 19.05%
1652.81/1658.10 c 1658 8248 3865 1 -42.0000 -50.0000 19.05%
1658.39/1663.76 c 1664 8291 3906 1 -42.0000 -50.0000 19.05%
1663.56/1668.99 c 1669 8404 4009 1 -42.0000 -50.0000 19.05%
1669.64/1675.00 c 1675 8434 4037 1 -42.0000 -50.0000 19.05%
1676.92/1682.39 c 1682 8539 4132 1 -42.0000 -50.0000 19.05%
1682.79/1688.26 c 1688 8588 4175 1 -42.0000 -50.0000 19.05%
1687.98/1693.44 c 1693 8683 4258 1 -42.0000 -50.0000 19.05%
1695.56/1701.08 c 1701 8698 4269 1 -42.0000 -50.0000 19.05%
1700.84/1706.32 c 1706 8722 4291 1 -42.0000 -50.0000 19.05%
1708.81/1714.33 c 1714 8748 4307 1 -42.0000 -50.0000 19.05%
1716.29/1721.85 c 1722 8767 4318 1 -42.0000 -50.0000 19.05%
1724.16/1729.70 c 1730 8784 4331 1 -42.0000 -50.0000 19.05%
1735.54/1741.11 c 1741 8867 4396 1 -42.0000 -50.0000 19.05%
1741.91/1747.57 c 1748 8892 4417 1 -42.0000 -50.0000 19.05%
1748.79/1754.44 c 1754 8908 4427 1 -42.0000 -50.0000 19.05%
1753.88/1759.53 c 1760 8933 4448 1 -42.0000 -50.0000 19.05%
1759.76/1765.45 c 1765 9007 4518 1 -42.0000 -50.0000 19.05%
1765.54/1771.25 c 1771 9038 4547 1 -42.0000 -50.0000 19.05%
1771.12/1776.82 c 1777 9060 4569 1 -42.0000 -50.0000 19.05%
1776.80/1782.54 c 1783 9098 4601 1 -42.0000 -50.0000 19.05%
1784.18/1789.95 c 1790 9114 4617 1 -42.0000 -50.0000 19.05%
1789.75/1795.50 c 1796 9224 4721 1 -42.0000 -50.0000 19.05%
1794.83/1800.62 c 1801 9322 4809 1 -42.0000 -50.0000 19.05%
1801.11/1806.94 c 1807 9336 4819 1 -42.0000 -50.0000 19.05%
1806.30/1812.19 c 1812 9411 4892 1 -42.0000 -50.0000 19.05%
1812.28/1818.13 c 1818 9512 4973 1 -42.0000 -50.0000 19.05%
1817.35/1823.23 c 1823 9567 5018 1 -42.0000 -50.0000 19.05%
1825.13/1831.00 c 1831 9614 5057 1 -42.0000 -50.0000 19.05%
1831.50/1837.49 c 1837 9627 5062 1 -42.0000 -50.0000 19.05%
1838.88/1844.86 c 1845 9632 5067 1 -42.0000 -50.0000 19.05%
1845.16/1851.16 c 1851 9655 5086 1 -42.0000 -50.0000 19.05%
1851.64/1857.63 c 1858 9684 5111 1 -42.0000 -50.0000 19.05%
1860.91/1866.95 c 1867 9720 5139 1 -42.0000 -50.0000 19.05%
1866.10/1872.19 c 1872 9779 5198 1 -42.0000 -50.0000 19.05%
1872.17/1878.29 c 1878 9816 5235 1 -42.0000 -50.0000 19.05%
1881.54/1887.64 c 1888 9862 5267 1 -42.0000 -50.0000 19.05%
1892.41/1898.50 c 1899 9902 5295 1 -42.0000 -50.0000 19.05%
1894.30/1900.48 c * 1900 9903 5296 1 -44.0000 -50.0000 13.64%
1899.29/1905.48 c 1905 9911 3876 1 -44.0000 -50.0000 13.64%
1904.67/1910.82 c 1911 9960 3897 1 -44.0000 -50.0000 13.64%
1909.86/1916.01 c 1916 10049 3972 1 -44.0000 -50.0000 13.64%
1915.12/1921.38 c 1921 10139 4038 1 -44.0000 -50.0000 13.64%
1926.79/1933.07 c 1933 10167 4060 1 -44.0000 -50.0000 13.64%
1934.67/1940.91 c 1941 10173 4062 1 -44.0000 -50.0000 13.64%
1941.75/1948.04 c 1948 10184 4071 1 -44.0000 -50.0000 13.64%
1948.63/1954.92 c 1955 10222 4095 1 -44.0000 -50.0000 13.64%
1956.40/1962.73 c 1963 10265 4120 1 -44.0000 -50.0000 13.64%
1963.79/1970.11 c 1970 10271 4124 1 -44.0000 -50.0000 13.64%
1971.76/1978.19 c 1978 10286 4135 1 -44.0000 -50.0000 13.64%
1977.14/1983.54 c 1984 10315 4150 1 -44.0000 -50.0000 13.64%
1982.22/1988.68 c 1989 10361 4178 1 -44.0000 -50.0000 13.64%
1992.60/1999.10 c 1999 10459 4254 1 -44.0000 -50.0000 13.64%
1999.68/2006.18 c 2006 10465 4258 1 -44.0000 -50.0000 13.64%
2009.55/2016.04 c 2016 10476 4261 1 -44.0000 -50.0000 13.64%
2020.01/2026.57 c 2027 10495 4270 1 -44.0000 -50.0000 13.64%
2028.69/2035.29 c 2035 10537 4304 1 -44.0000 -50.0000 13.64%
2037.96/2044.50 c 2044 10552 4313 1 -44.0000 -50.0000 13.64%
2046.03/2052.69 c 2053 10565 4320 1 -44.0000 -50.0000 13.64%
2051.41/2058.07 c 2058 10694 4407 1 -44.0000 -50.0000 13.64%
2060.08/2066.79 c 2067 10832 4471 1 -44.0000 -50.0000 13.64%
2067.86/2074.51 c 2075 10857 4474 1 -44.0000 -50.0000 13.64%
2073.04/2079.76 c 2080 10954 4565 1 -44.0000 -50.0000 13.64%
2079.32/2086.09 c 2086 11028 4625 1 -44.0000 -50.0000 13.64%
2087.78/2094.54 c 2095 11066 4651 1 -44.0000 -50.0000 13.64%
2093.77/2100.55 c 2101 11123 4688 1 -44.0000 -50.0000 13.64%
2104.14/2110.92 c 2111 11168 4707 1 -44.0000 -50.0000 13.64%
2109.32/2116.11 c 2116 11281 4788 1 -44.0000 -50.0000 13.64%
2117.19/2124.05 c 2124 11333 4826 1 -44.0000 -50.0000 13.64%
2122.87/2129.73 c 2130 11403 4876 1 -44.0000 -50.0000 13.64%
2127.95/2134.82 c 2135 11551 4976 1 -44.0000 -50.0000 13.64%
2133.64/2140.52 c 2141 11640 5039 1 -44.0000 -50.0000 13.64%
2138.82/2145.77 c 2146 11784 5139 1 -44.0000 -50.0000 13.64%
2145.80/2152.75 c 2153 11803 5142 1 -44.0000 -50.0000 13.64%
2150.98/2157.94 c 2158 11825 5162 1 -44.0000 -50.0000 13.64%
2156.18/2163.16 c 2163 11936 5239 1 -44.0000 -50.0000 13.64%
2161.25/2168.24 c 2168 12060 5343 1 -44.0000 -50.0000 13.64%
2168.13/2175.11 c 2175 12192 5431 1 -44.0000 -50.0000 13.64%
2173.21/2180.25 c 2180 12202 5435 1 -44.0000 -50.0000 13.64%
2178.49/2185.59 c 2186 12340 5513 1 -44.0000 -50.0000 13.64%
2184.46/2191.54 c 2192 12435 5560 1 -44.0000 -50.0000 13.64%
2194.24/2201.35 c 2201 12447 5568 1 -44.0000 -50.0000 13.64%
2201.01/2208.15 c 2208 12608 5643 1 -44.0000 -50.0000 13.64%
2206.49/2213.66 c 2214 12644 5663 1 -44.0000 -50.0000 13.64%
2211.67/2218.82 c 2219 12785 5770 1 -44.0000 -50.0000 13.64%
2216.75/2223.95 c 2224 12923 5880 1 -44.0000 -50.0000 13.64%
2223.43/2230.61 c 2231 12936 5889 1 -44.0000 -50.0000 13.64%
2228.82/2236.05 c 2236 12951 5900 1 -44.0000 -50.0000 13.64%
2235.19/2242.46 c 2242 12972 5911 1 -44.0000 -50.0000 13.64%
2243.47/2250.78 c 2251 13001 5934 1 -44.0000 -50.0000 13.64%
2250.54/2257.87 c 2258 13007 5938 1 -44.0000 -50.0000 13.64%
2256.13/2263.46 c 2263 13051 5966 1 -44.0000 -50.0000 13.64%
2261.72/2269.00 c 2269 13060 5971 1 -44.0000 -50.0000 13.64%
2268.39/2275.73 c 2276 13081 5978 1 -44.0000 -50.0000 13.64%
2274.37/2281.79 c 2282 13102 5989 1 -44.0000 -50.0000 13.64%
2280.76/2288.17 c 2288 13108 5991 1 -44.0000 -50.0000 13.64%
2292.22/2299.64 c 2300 13124 6001 1 -44.0000 -50.0000 13.64%
2302.19/2309.67 c 2310 13137 6006 1 -44.0000 -50.0000 13.64%
2312.36/2319.88 c 2320 13152 6009 1 -44.0000 -50.0000 13.64%
2317.75/2325.28 c 2325 13206 6043 1 -44.0000 -50.0000 13.64%
2323.62/2331.15 c 2331 13293 6114 1 -44.0000 -50.0000 13.64%
2331.59/2339.14 c 2339 13374 6185 1 -44.0000 -50.0000 13.64%
2337.97/2345.55 c 2346 13392 6199 1 -44.0000 -50.0000 13.64%
2344.35/2351.90 c 2352 13407 6210 1 -44.0000 -50.0000 13.64%
2352.63/2360.24 c 2360 13419 6218 1 -44.0000 -50.0000 13.64%
2357.91/2365.57 c 2366 13460 6239 1 -44.0000 -50.0000 13.64%
2363.69/2371.39 c 2371 13466 6241 1 -44.0000 -50.0000 13.64%
2370.17/2377.80 c 2378 13471 6244 1 -44.0000 -50.0000 13.64%
2379.44/2387.16 c 2387 13530 6271 1 -44.0000 -50.0000 13.64%
2388.62/2396.35 c 2396 13584 6303 1 -44.0000 -50.0000 13.64%
2396.49/2404.20 c 2404 13588 6303 1 -44.0000 -50.0000 13.64%
2402.97/2410.70 c 2411 13656 6355 1 -44.0000 -50.0000 13.64%
2408.85/2416.68 c 2417 13714 6393 1 -44.0000 -50.0000 13.64%
2418.13/2425.91 c 2426 13743 6414 1 -44.0000 -50.0000 13.64%
2423.41/2431.22 c 2431 13782 6437 1 -44.0000 -50.0000 13.64%
2429.39/2437.22 c 2437 13859 6488 1 -44.0000 -50.0000 13.64%
2434.87/2442.72 c 2443 13902 6515 1 -44.0000 -50.0000 13.64%
2440.86/2448.79 c 2449 13910 6515 1 -44.0000 -50.0000 13.64%
2447.53/2455.45 c 2455 13950 6541 1 -44.0000 -50.0000 13.64%
2459.39/2467.39 c 2467 14002 6569 1 -44.0000 -50.0000 13.64%
2466.97/2474.96 c 2475 14012 6577 1 -44.0000 -50.0000 13.64%
2473.25/2481.21 c 2481 14071 6604 1 -44.0000 -50.0000 13.64%
2478.73/2486.71 c 2487 14112 6625 1 -44.0000 -50.0000 13.64%
2484.41/2492.40 c 2492 14154 6653 1 -44.0000 -50.0000 13.64%
2490.30/2498.31 c 2498 14239 6704 1 -44.0000 -50.0000 13.64%
2498.97/2507.05 c 2507 14261 6720 1 -44.0000 -50.0000 13.64%
2504.35/2512.44 c 2512 14332 6773 1 -44.0000 -50.0000 13.64%
2510.43/2518.56 c 2519 14373 6798 1 -44.0000 -50.0000 13.64%
2516.20/2524.32 c 2524 14423 6826 1 -44.0000 -50.0000 13.64%
2522.29/2530.44 c 2530 14468 6857 1 -44.0000 -50.0000 13.64%
2529.06/2537.23 c 2537 14487 6866 1 -44.0000 -50.0000 13.64%
2534.54/2542.79 c 2543 14523 6894 1 -44.0000 -50.0000 13.64%
2540.63/2548.86 c 2549 14537 6904 1 -44.0000 -50.0000 13.64%
2547.30/2555.55 c 2556 14575 6932 1 -44.0000 -50.0000 13.64%
2553.39/2561.62 c 2562 14640 6991 1 -44.0000 -50.0000 13.64%
2558.57/2566.88 c 2567 14696 7037 1 -44.0000 -50.0000 13.64%
2563.65/2571.92 c 2572 14730 7063 1 -44.0000 -50.0000 13.64%
2569.13/2577.42 c 2577 14736 7069 1 -44.0000 -50.0000 13.64%
2577.40/2585.78 c 2586 14758 7085 1 -44.0000 -50.0000 13.64%
2583.38/2591.78 c 2592 14824 7143 1 -44.0000 -50.0000 13.64%
2592.76/2601.18 c 2601 14892 7203 1 -44.0000 -50.0000 13.64%
2603.72/2612.19 c 2612 14903 7212 1 -44.0000 -50.0000 13.64%
2614.39/2622.83 c 2623 14908 7217 1 -44.0000 -50.0000 13.64%
2620.37/2628.89 c 2629 14924 7223 1 -44.0000 -50.0000 13.64%
2627.75/2636.29 c 2636 14957 7250 1 -44.0000 -50.0000 13.64%
2637.32/2645.80 c 2646 14977 7260 1 -44.0000 -50.0000 13.64%
2642.41/2650.97 c 2651 15037 7302 1 -44.0000 -50.0000 13.64%
2650.58/2659.15 c 2659 15090 7333 1 -44.0000 -50.0000 13.64%
2655.67/2664.27 c 2664 15100 7337 1 -44.0000 -50.0000 13.64%
2661.35/2669.90 c 2670 15165 7382 1 -44.0000 -50.0000 13.64%
2667.13/2675.70 c 2676 15282 7463 1 -44.0000 -50.0000 13.64%
2675.41/2684.08 c 2684 15314 7483 1 -44.0000 -50.0000 13.64%
2680.69/2689.38 c 2689 15326 7489 1 -44.0000 -50.0000 13.64%
2687.67/2696.32 c 2696 15377 7516 1 -44.0000 -50.0000 13.64%
2693.15/2701.82 c 2702 15452 7571 1 -44.0000 -50.0000 13.64%
2698.14/2706.83 c 2707 15499 7604 1 -44.0000 -50.0000 13.64%
2704.42/2713.16 c 2713 15570 7647 1 -44.0000 -50.0000 13.64%
2709.69/2718.48 c 2718 15638 7693 1 -44.0000 -50.0000 13.64%
2714.98/2723.76 c 2724 15647 7702 1 -44.0000 -50.0000 13.64%
2724.25/2733.03 c 2733 15745 7782 1 -44.0000 -50.0000 13.64%
2729.33/2738.15 c 2738 15814 7829 1 -44.0000 -50.0000 13.64%
2736.31/2745.19 c 2745 15908 7907 1 -44.0000 -50.0000 13.64%
2741.39/2750.22 c 2750 15948 7935 1 -44.0000 -50.0000 13.64%
2746.67/2755.56 c 2756 16024 7993 1 -44.0000 -50.0000 13.64%
2752.55/2761.43 c 2761 16093 8028 1 -44.0000 -50.0000 13.64%
2758.33/2767.21 c 2767 16136 8055 1 -44.0000 -50.0000 13.64%
2763.72/2772.66 c 2773 16192 8095 1 -44.0000 -50.0000 13.64%
2769.70/2778.63 c 2779 16197 8098 1 -44.0000 -50.0000 13.64%
2775.09/2784.08 c 2784 16212 8107 1 -44.0000 -50.0000 13.64%
2783.65/2792.61 c 2793 16240 8123 1 -44.0000 -50.0000 13.64%
2793.82/2802.85 c 2803 16294 8155 1 -44.0000 -50.0000 13.64%
2801.69/2810.70 c 2811 16328 8179 1 -44.0000 -50.0000 13.64%
2806.68/2815.78 c 2816 16361 8202 1 -44.0000 -50.0000 13.64%
2820.44/2829.54 c 2830 16414 8225 1 -44.0000 -50.0000 13.64%
2825.62/2834.77 c 2835 16535 8324 1 -44.0000 -50.0000 13.64%
2832.49/2841.68 c 2842 16559 8344 1 -44.0000 -50.0000 13.64%
2838.37/2847.59 c 2848 16622 8377 1 -44.0000 -50.0000 13.64%
2843.66/2852.81 c 2853 16766 8493 1 -44.0000 -50.0000 13.64%
2852.83/2862.10 c 2862 16773 8498 1 -44.0000 -50.0000 13.64%
2857.91/2867.11 c 2867 16795 8510 1 -44.0000 -50.0000 13.64%
2864.89/2874.19 c 2874 16832 8537 1 -44.0000 -50.0000 13.64%
2871.07/2880.36 c 2880 16900 8581 1 -44.0000 -50.0000 13.64%
2876.95/2886.24 c 2886 16923 8592 1 -44.0000 -50.0000 13.64%
2882.63/2891.93 c 2892 16932 8601 1 -44.0000 -50.0000 13.64%
2888.02/2897.34 c 2897 16945 8612 1 -44.0000 -50.0000 13.64%
2898.10/2907.46 c 2907 16965 8628 1 -44.0000 -50.0000 13.64%
2906.67/2916.05 c 2916 17037 8684 1 -44.0000 -50.0000 13.64%
2913.35/2922.71 c 2923 17058 8695 1 -44.0000 -50.0000 13.64%
2920.13/2929.55 c 2930 17067 8698 1 -44.0000 -50.0000 13.64%
2925.72/2935.17 c 2935 17107 8726 1 -44.0000 -50.0000 13.64%
2931.99/2941.44 c 2941 17218 8799 1 -44.0000 -50.0000 13.64%
2939.57/2949.05 c 2949 17289 8840 1 -44.0000 -50.0000 13.64%
2945.35/2954.87 c 2955 17342 8879 1 -44.0000 -50.0000 13.64%
2951.73/2961.20 c 2961 17353 8888 1 -44.0000 -50.0000 13.64%
2961.00/2970.51 c 2971 17436 8943 1 -44.0000 -50.0000 13.64%
2969.67/2979.20 c 2979 17459 8954 1 -44.0000 -50.0000 13.64%
2976.56/2986.14 c 2986 17568 9031 1 -44.0000 -50.0000 13.64%
2983.54/2993.11 c 2993 17574 9033 1 -44.0000 -50.0000 13.64%
2989.12/2998.76 c 2999 17631 9058 1 -44.0000 -50.0000 13.64%
2994.60/3004.24 c 3004 17632 9059 1 -44.0000 -50.0000 13.64%
3001.98/3011.65 c 3012 17760 9143 1 -44.0000 -50.0000 13.64%
3009.26/3018.93 c 3019 17822 9199 1 -44.0000 -50.0000 13.64%
3014.44/3024.19 c 3024 17844 9215 1 -44.0000 -50.0000 13.64%
3020.02/3029.74 c 3030 17975 9308 1 -44.0000 -50.0000 13.64%
3025.90/3035.64 c 3036 18007 9328 1 -44.0000 -50.0000 13.64%
3031.08/3040.89 c 3041 18088 9395 1 -44.0000 -50.0000 13.64%
3036.96/3046.78 c 3047 18120 9423 1 -44.0000 -50.0000 13.64%
3042.74/3052.58 c 3053 18152 9453 1 -44.0000 -50.0000 13.64%
3047.84/3057.61 c 3058 18157 9458 1 -44.0000 -50.0000 13.64%
3053.52/3063.38 c 3063 18184 9479 1 -44.0000 -50.0000 13.64%
3059.40/3069.26 c 3069 18265 9536 1 -44.0000 -50.0000 13.64%
3067.47/3077.31 c 3077 18339 9578 1 -44.0000 -50.0000 13.64%
3072.76/3082.61 c 3083 18349 9582 1 -44.0000 -50.0000 13.64%
3077.94/3087.88 c 3088 18370 9591 1 -44.0000 -50.0000 13.64%
3085.23/3095.19 c 3095 18397 9606 1 -44.0000 -50.0000 13.64%
3095.59/3105.53 c 3106 18415 9616 1 -44.0000 -50.0000 13.64%
3100.87/3110.83 c 3111 18471 9656 1 -44.0000 -50.0000 13.64%
3108.06/3118.08 c 3118 18491 9672 1 -44.0000 -50.0000 13.64%
3113.43/3123.48 c 3123 18512 9683 1 -44.0000 -50.0000 13.64%
3124.30/3134.37 c 3134 18558 9717 1 -44.0000 -50.0000 13.64%
3130.88/3140.90 c 3141 18564 9721 1 -44.0000 -50.0000 13.64%
3138.46/3148.56 c 3149 18649 9766 1 -44.0000 -50.0000 13.64%
3148.04/3158.11 c 3158 18697 9798 1 -44.0000 -50.0000 13.64%
3153.42/3163.59 c 3164 18766 9849 1 -44.0000 -50.0000 13.64%
3160.20/3170.32 c 3170 18805 9870 1 -44.0000 -50.0000 13.64%
3165.38/3175.53 c 3176 18870 9911 1 -44.0000 -50.0000 13.64%
3170.77/3180.90 c 3181 18923 9948 1 -44.0000 -50.0000 13.64%
3175.96/3186.15 c 3186 18936 9959 1 -44.0000 -50.0000 13.64%
3182.53/3192.74 c 3193 18946 9965 1 -44.0000 -50.0000 13.64%
3190.51/3200.76 c 3201 18951 9968 1 -44.0000 -50.0000 13.64%
3197.19/3207.42 c 3207 18973 9980 1 -44.0000 -50.0000 13.64%
3203.77/3214.00 c 3214 19015 10000 1 -44.0000 -50.0000 13.64%
3212.04/3222.30 c 3222 19036 10013 1 -44.0000 -50.0000 13.64%
3217.33/3227.69 c 3228 19042 10015 1 -44.0000 -50.0000 13.64%
3228.10/3238.43 c 3238 19088 10051 1 -44.0000 -50.0000 13.64%
3234.08/3244.47 c 3244 19242 10145 1 -44.0000 -50.0000 13.64%
3243.45/3253.89 c 3254 19261 10160 1 -44.0000 -50.0000 13.64%
3250.03/3260.48 c 3260 19303 10188 1 -44.0000 -50.0000 13.64%
3256.02/3266.40 c 3266 19327 10200 1 -44.0000 -50.0000 13.64%
3264.90/3275.38 c 3275 19328 10199 1 -44.0000 -50.0000 13.64%
3270.58/3281.04 c 3281 19389 10228 1 -44.0000 -50.0000 13.64%
3276.46/3286.99 c 3287 19448 10257 1 -44.0000 -50.0000 13.64%
3283.64/3294.18 c 3294 19505 10300 1 -44.0000 -50.0000 13.64%
3289.71/3300.21 c 3300 19584 10337 1 -44.0000 -50.0000 13.64%
3294.80/3305.31 c 3305 19586 10337 1 -44.0000 -50.0000 13.64%
3302.08/3312.67 c 3313 19677 10394 1 -44.0000 -50.0000 13.64%
3310.25/3320.85 c 3321 19731 10424 1 -44.0000 -50.0000 13.64%
3318.52/3329.13 c 3329 19802 10483 1 -44.0000 -50.0000 13.64%
3326.60/3337.27 c 3337 19855 10514 1 -44.0000 -50.0000 13.64%
3332.18/3342.85 c 3343 19925 10562 1 -44.0000 -50.0000 13.64%
3339.36/3350.07 c 3350 19999 10636 1 -44.0000 -50.0000 13.64%
3346.23/3356.96 c 3357 20015 10652 1 -44.0000 -50.0000 13.64%
3351.81/3362.50 c 3363 20120 10745 1 -44.0000 -50.0000 13.64%
3358.58/3369.39 c 3369 20159 10782 1 -44.0000 -50.0000 13.64%
3363.77/3374.50 c 3374 20175 10796 1 -44.0000 -50.0000 13.64%
3369.65/3380.41 c 3380 20183 10800 1 -44.0000 -50.0000 13.64%
3377.63/3388.44 c 3388 20193 10806 1 -44.0000 -50.0000 13.64%
3383.32/3394.14 c 3394 20199 10808 1 -44.0000 -50.0000 13.64%
3388.30/3399.16 c 3399 20213 10818 1 -44.0000 -50.0000 13.64%
3393.58/3404.47 c 3404 20231 10834 1 -44.0000 -50.0000 13.64%
3401.27/3412.11 c 3412 20245 10844 1 -44.0000 -50.0000 13.64%
3406.54/3417.49 c 3417 20322 10905 1 -44.0000 -50.0000 13.64%
3416.91/3427.81 c 3428 20359 10932 1 -44.0000 -50.0000 13.64%
3422.59/3433.52 c 3434 20363 10936 1 -44.0000 -50.0000 13.64%
3428.28/3439.28 c 3439 20400 10965 1 -44.0000 -50.0000 13.64%
3434.16/3445.16 c 3445 20463 11020 1 -44.0000 -50.0000 13.64%
3443.43/3454.40 c 3454 20504 11055 1 -44.0000 -50.0000 13.64%
3451.40/3462.47 c 3462 20520 11065 1 -44.0000 -50.0000 13.64%
3457.69/3468.79 c 3469 20527 11070 1 -44.0000 -50.0000 13.64%
3465.26/3476.35 c 3476 20539 11078 1 -44.0000 -50.0000 13.64%
3470.84/3481.96 c 3482 20634 11169 1 -44.0000 -50.0000 13.64%
3476.62/3487.74 c 3488 20688 11223 1 -44.0000 -50.0000 13.64%
3485.79/3496.94 c 3497 20705 11238 1 -44.0000 -50.0000 13.64%
3492.08/3503.23 c 3503 20723 11252 1 -44.0000 -50.0000 13.64%
3500.55/3511.73 c 3512 20733 11256 1 -44.0000 -50.0000 13.64%
3506.34/3517.56 c 3518 20742 11259 1 -44.0000 -50.0000 13.64%
3511.93/3523.11 c 3523 20764 11273 1 -44.0000 -50.0000 13.64%
3518.21/3529.42 c 3529 20782 11285 1 -44.0000 -50.0000 13.64%
3523.50/3534.75 c 3535 20802 11299 1 -44.0000 -50.0000 13.64%
3532.37/3543.68 c 3544 20849 11338 1 -44.0000 -50.0000 13.64%
3537.95/3549.28 c 3549 20859 11344 1 -44.0000 -50.0000 13.64%
3544.34/3555.65 c 3556 20887 11366 1 -44.0000 -50.0000 13.64%
3557.60/3568.97 c 3569 20893 11370 1 -44.0000 -50.0000 13.64%
3563.98/3575.37 c 3575 20904 11379 1 -44.0000 -50.0000 13.64%
3570.97/3582.38 c 3582 20926 11393 1 -44.0000 -50.0000 13.64%
3578.84/3590.26 c 3590 20935 11402 1 -44.0000 -50.0000 13.64%
3585.52/3596.91 c 3597 20947 11412 1 -44.0000 -50.0000 13.64%
3586.91/3598.33 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.91/3598.33 c Total Time : 3598.34
3586.91/3598.33 c solving : 3598.34
3586.91/3598.33 c presolving : 1.69 (included in solving)
3586.91/3598.33 c B&B Tree :
3586.91/3598.33 c nodes (total) : 1
3586.91/3598.33 c Solution :
3586.91/3598.33 c Solutions found : 9
3586.91/3598.33 c Primal Bound : -4.40000000000000e+01
3586.91/3598.33 c Dual Bound : -5.00000000000000e+01
3586.91/3598.33 c Gap : 13.63636 %
3586.91/3598.33 c * Warning: final gap: 1.36364e-01 is greater than SCIPepsilon: 1.00000e-09
3586.91/3598.35 o -44
3586.91/3598.35 s SATISFIABLE
3586.91/3598.35 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28
3586.91/3598.35 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
3586.91/3598.35 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
3586.91/3598.35 v -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103
3586.91/3598.35 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
3586.91/3598.35 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
3586.91/3598.35 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
3586.91/3598.35 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
3586.91/3598.35 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
3586.91/3598.35 v -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
3586.91/3598.35 v -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
3586.91/3598.35 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
3586.91/3598.35 v -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291
3586.91/3598.35 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312
3586.91/3598.35 v -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333
3586.91/3598.35 v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354
3586.91/3598.35 v -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375
3586.91/3598.35 v -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
3586.91/3598.35 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417
3586.91/3598.35 v -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438
3586.91/3598.35 v -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459
3586.91/3598.35 v -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480
3586.91/3598.35 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501
3586.91/3598.35 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522
3586.91/3598.35 v -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543
3586.91/3598.35 v -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564
3586.91/3598.35 v -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
3586.91/3598.35 v -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606
3586.91/3598.35 v -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627
3586.91/3598.35 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648
3586.91/3598.35 v -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669
3586.91/3598.35 v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690
3587.02/3598.43 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 -x708 -x709 -x710 -x711
3587.02/3598.43 v -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732
3587.02/3598.43 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
3587.02/3598.43 v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773
3587.02/3598.43 v -x774 -x775 -x776 x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795
3587.02/3598.43 v -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 x813 -x814 -x815 -x816
3587.02/3598.43 v -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
3587.02/3598.43 v x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 x857 -x858
3587.02/3598.43 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878
3587.02/3598.43 v -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899
3587.02/3598.43 v -x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920
3587.02/3598.43 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941
3587.02/3598.43 v -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962
3587.02/3598.43 v -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983
3587.02/3598.43 v -x984 -x985 -x986 x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004
3587.02/3598.43 v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022
3587.02/3598.43 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
3587.02/3598.43 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058
3587.02/3598.43 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076
3587.02/3598.43 v -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093
3587.02/3598.43 v -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111
3587.02/3598.43 v -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
3587.02/3598.43 v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
3587.02/3598.43 v -x1148 -x1149 -x1150
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 (57214 MiB free)
memory of node 1: 64510 MiB (62576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464048-1722378594/watcher-4464048-1722378594 -o /tmp/evaluation-result-4464048-1722378594/solver-4464048-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722378594-30601 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464048-1722378594.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=30657, runsolver pid=30653
[startup+0.100857 s]*
/proc/loadavg: 0.14 0.13 0.09 4/255 30669
/proc/meminfo: memFree=122547460/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=60536 memory=48292 CPUtime=0.09 cores=4,6
/proc/30657/stat : 30657 (fscip) R 30653 30657 30590 0 -1 4194304 9948 0 0 0 8 1 0 0 20 0 1 0 4457709 61988864 12073 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 15134 12073 2347 3035 0 11530 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60536 KiB
Current children cumulated memory: 48292 KiB
[startup+0.20687 s]*
/proc/loadavg: 0.14 0.13 0.09 4/259 30676
/proc/meminfo: memFree=122431672/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=116256 memory=104980 CPUtime=0.19 cores=4,6
/proc/30657/stat : 30657 (fscip) R 30653 30657 30590 0 -1 4194304 24271 0 0 0 15 4 0 0 20 0 1 0 4457709 119046144 26179 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 29064 26179 2555 3035 0 25460 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 116256 KiB
Current children cumulated memory: 104980 KiB
[startup+0.305668 s]*
/proc/loadavg: 0.14 0.13 0.09 4/261 30678
/proc/meminfo: memFree=122390984/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=130068 memory=118400 CPUtime=0.29 cores=4,6
/proc/30657/stat : 30657 (fscip) R 30653 30657 30590 0 -1 4194304 27594 0 0 0 25 4 0 0 20 0 1 0 4457709 133189632 29600 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 32517 29600 2614 3035 0 28913 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 130068 KiB
Current children cumulated memory: 118400 KiB
[startup+0.700195 s]
/proc/loadavg: 0.14 0.13 0.09 4/260 30701
/proc/meminfo: memFree=122336112/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=157992 memory=145972 CPUtime=0.68 cores=4,6
/proc/30657/stat : 30657 (fscip) R 30653 30657 30590 0 -1 4194304 43273 0 0 0 61 7 0 0 20 0 1 0 4457709 161783808 36493 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 39498 36493 2710 3035 0 35894 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 157992 KiB
Current children cumulated memory: 145972 KiB
[startup+1.50021 s]
/proc/loadavg: 0.14 0.13 0.09 4/261 30726
/proc/meminfo: memFree=122286460/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=298416 memory=258720 CPUtime=1.47 cores=4,6
/proc/30657/stat : 30657 (fscip) R 30653 30657 30590 0 -1 4194304 56953 0 0 0 136 11 0 0 20 0 1 0 4457709 305577984 64680 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 74604 64680 2758 3035 0 71000 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 298416 KiB
Current children cumulated memory: 258720 KiB
[startup+3.10586 s]
/proc/loadavg: 0.45 0.20 0.12 5/268 30766
/proc/meminfo: memFree=121711492/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=604992 memory=512176 CPUtime=3.07 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 126989 0 0 0 285 22 0 0 20 0 3 0 4457709 619511808 128044 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 151248 128044 2790 3035 0 139391 0
[pid=30657/tid=30727] ppid=30653 vsize=604992 memory=198340509722 CPUtime=1.07 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 50733 0 0 0 101 6 0 0 20 0 3 0 4457900 619511808 128044 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=604992 memory=0 CPUtime=0 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4457919 619511808 128044 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 604992 KiB
Current children cumulated memory: 512176 KiB
[startup+6.30086 s]
/proc/loadavg: 0.45 0.20 0.12 9/268 30862
/proc/meminfo: memFree=120965932/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=930256 memory=781400 CPUtime=6.23 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 179059 0 0 0 592 31 0 0 20 0 3 0 4457709 952582144 195350 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 232564 195350 2998 3035 0 216629 0
[pid=30657/tid=30727] ppid=30653 vsize=930256 memory=2816 CPUtime=4.23 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 102671 0 0 0 408 15 0 0 20 0 3 0 4457900 952582144 195350 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=930256 memory=2583 CPUtime=0 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4457919 952582144 195350 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 930256 KiB
Current children cumulated memory: 781400 KiB
[startup+12.7002 s]
/proc/loadavg: 0.92 0.31 0.15 5/267 31111
/proc/meminfo: memFree=120201508/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=930256 memory=785940 CPUtime=12.59 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 235732 0 0 0 1224 35 0 0 20 0 3 0 4457709 952582144 196485 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 232564 196485 2998 3035 0 223459 0
[pid=30657/tid=30727] ppid=30653 vsize=930256 memory=785912 CPUtime=10.6 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 159342 0 0 0 1041 19 0 0 20 0 3 0 4457900 952582144 196485 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=930256 memory=4516 CPUtime=0 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4457919 952582144 196485 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 930256 KiB
Current children cumulated memory: 785940 KiB
[startup+25.5003 s]
/proc/loadavg: 1.47 0.44 0.20 5/267 31113
/proc/meminfo: memFree=118636456/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=1049264 memory=798676 CPUtime=25.35 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 297705 0 0 0 2495 40 0 0 20 0 3 0 4457709 1074446336 199669 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 262316 199669 2998 3035 0 256640 0
[pid=30657/tid=30727] ppid=30653 vsize=1049264 memory=796744 CPUtime=23.35 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 221303 0 0 0 2311 24 0 0 20 0 3 0 4457900 1074446336 199669 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=1049264 memory=796720 CPUtime=0 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4457919 1074446336 199669 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 1049264 KiB
Current children cumulated memory: 798676 KiB
[startup+51.1059 s]
/proc/loadavg: 2.33 0.73 0.30 5/265 31119
/proc/meminfo: memFree=115697092/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=1180336 memory=897316 CPUtime=50.88 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 376795 0 0 0 5041 47 0 0 20 0 3 0 4457709 1208664064 224329 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 295084 224329 2998 3035 0 282507 0
[pid=30657/tid=30727] ppid=30653 vsize=1180336 memory=897272 CPUtime=48.88 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 300280 0 0 0 4857 31 0 0 20 0 3 0 4457900 1208664064 224329 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=1180336 memory=12264 CPUtime=0 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 3 0 4457919 1208664064 224329 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1180336 KiB
Current children cumulated memory: 897316 KiB
[startup+102.3 s]
/proc/loadavg: 3.38 1.30 0.52 5/267 31132
/proc/meminfo: memFree=114808196/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=1311408 memory=937084 CPUtime=101.86 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 476004 0 0 0 10132 54 0 0 20 0 3 0 4457709 1342881792 234271 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 327852 234271 2998 3035 0 304867 0
[pid=30657/tid=30727] ppid=30653 vsize=1311408 memory=935936 CPUtime=99.87 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 399189 0 0 0 9948 39 0 0 20 0 3 0 4457900 1342881792 234271 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=1311408 memory=14436 CPUtime=0 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4457919 1342881792 234271 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 1311408 KiB
Current children cumulated memory: 937084 KiB
[startup+162.3 s]
/proc/loadavg: 3.87 1.82 0.75 5/268 31144
/proc/meminfo: memFree=114641720/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=1247628 memory=954792 CPUtime=161.58 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 577831 0 0 0 16097 61 0 0 20 0 3 0 4457709 1277571072 238698 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 311907 238698 2998 3035 0 305018 0
[pid=30657/tid=30727] ppid=30653 vsize=1247628 memory=938756 CPUtime=159.58 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 500797 0 0 0 15913 45 0 0 20 0 3 0 4457900 1277571072 238698 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=1247628 memory=11400 CPUtime=0 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 4457919 1277571072 238698 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 1247628 KiB
Current children cumulated memory: 954792 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 2.25 0.97 5/266 31154
/proc/meminfo: memFree=114522724/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=1321900 memory=1036752 CPUtime=221.33 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 705714 0 0 0 22061 72 0 0 20 0 3 0 4457709 1353625600 259188 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 330475 259188 2998 3035 0 323522 0
[pid=30657/tid=30727] ppid=30653 vsize=1321900 memory=1036708 CPUtime=219.33 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 628491 0 0 0 21877 56 0 0 20 0 3 0 4457900 1353625600 259188 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=1321900 memory=1036752 CPUtime=0 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 3 0 4457919 1353625600 259188 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 1321900 KiB
Current children cumulated memory: 1036752 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 2.60 1.17 5/266 31165
/proc/meminfo: memFree=114479948/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=1407160 memory=1066408 CPUtime=281.13 cores=4,6
################
# More data... #
################
[pid=30657] ppid=30653 vsize=3017536 memory=2314876 CPUtime=3391.49 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 4583503 0 0 0 338806 343 0 0 20 0 3 0 4457709 3089956864 578719 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 754384 578719 3302 3035 0 741265 0
[pid=30657/tid=30727] ppid=30653 vsize=3017536 memory=2310044 CPUtime=3389.36 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 4504683 0 0 0 338613 323 0 0 20 0 3 0 4457900 3089956864 578719 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=3017536 memory=2310044 CPUtime=0.03 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 4457919 3089956864 578719 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 3391.49 s
Current children cumulated vsize: 3017536 KiB
Current children cumulated memory: 2314876 KiB
[startup+3462.3 s]
/proc/loadavg: 4.61 4.25 4.08 5/265 32695
/proc/meminfo: memFree=112130512/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=3062440 memory=2331364 CPUtime=3451.3 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 4725048 0 0 0 344779 351 0 0 20 0 3 0 4457709 3135938560 582841 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 765610 582841 3302 3035 0 752491 0
[pid=30657/tid=30727] ppid=30653 vsize=3062440 memory=2310044 CPUtime=3449.17 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 4646225 0 0 0 344587 330 0 0 20 0 3 0 4457900 3135938560 582841 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=3062440 memory=2328624 CPUtime=0.03 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 175 0 0 0 1 2 0 0 20 0 3 0 4457919 3135938560 582841 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 3451.3 s
Current children cumulated vsize: 3062440 KiB
Current children cumulated memory: 2331364 KiB
[startup+3522.3 s]
/proc/loadavg: 4.28 4.22 4.08 5/267 32876
/proc/meminfo: memFree=112103356/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=3062440 memory=2345352 CPUtime=3511.12 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 4870287 0 0 0 350754 358 0 0 20 0 3 0 4457709 3135938560 586338 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 765610 586338 3302 3035 0 752491 0
[pid=30657/tid=30727] ppid=30653 vsize=3062440 memory=2341640 CPUtime=3508.99 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 4791436 0 0 0 350562 337 0 0 20 0 3 0 4457900 3135938560 586338 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=3062440 memory=16104 CPUtime=0.03 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 175 0 0 0 1 2 0 0 20 0 3 0 4457919 3135938560 586338 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 3511.12 s
Current children cumulated vsize: 3062440 KiB
Current children cumulated memory: 2345352 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.20 4.09 5/267 32886
/proc/meminfo: memFree=112043788/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=3155544 memory=2353928 CPUtime=3570.97 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 4877917 0 0 0 356737 360 0 0 20 0 3 0 4457709 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 788886 588482 3302 3035 0 775767 0
[pid=30657/tid=30727] ppid=30653 vsize=3155544 memory=-7236276917862753147 CPUtime=3568.82 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 4799039 0 0 0 356544 338 0 0 20 0 3 0 4457900 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=3155544 memory=54448 CPUtime=0.03 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 179 0 0 0 1 2 0 0 20 0 3 0 4457919 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 3570.97 s
Current children cumulated vsize: 3155544 KiB
Current children cumulated memory: 2353928 KiB
[startup+3598.46 s]
# the end of solver process 30657 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.43 s, system=3.66254 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.19 4.20 4.09 5/267 32886
/proc/meminfo: memFree=112043760/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=3155544 memory=2353928 CPUtime=3572.67 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 4878246 0 0 0 356907 360 0 0 20 0 3 0 4457709 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 788886 588482 3302 3035 0 775767 0
[pid=30657/tid=30727] ppid=30653 vsize=3155544 memory=-5155628016028314501 CPUtime=3570.52 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 4799368 0 0 0 356714 338 0 0 20 0 3 0 4457900 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=3155544 memory=-4050210904893341838 CPUtime=0.03 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 179 0 0 0 1 2 0 0 20 0 3 0 4457919 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 3572.67 s
Current children cumulated vsize: 3155544 KiB
Current children cumulated memory: 2353928 KiB
[startup+3590.4 s]
/proc/loadavg: 4.18 4.20 4.09 5/267 32887
/proc/meminfo: memFree=112043732/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=3155544 memory=2353928 CPUtime=3579.04 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 4880649 0 0 0 357544 360 0 0 20 0 3 0 4457709 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 788886 588482 3302 3035 0 775767 0
[pid=30657/tid=30727] ppid=30653 vsize=3155544 memory=2353928 CPUtime=3576.9 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 4801771 0 0 0 357352 338 0 0 20 0 3 0 4457900 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=3155544 memory=2353928 CPUtime=0.03 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 179 0 0 0 1 2 0 0 20 0 3 0 4457919 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 3579.04 s
Current children cumulated vsize: 3155544 KiB
Current children cumulated memory: 2353928 KiB
[startup+3593.6 s]
/proc/loadavg: 4.24 4.21 4.09 5/267 32887
/proc/meminfo: memFree=112043332/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=3155544 memory=2353928 CPUtime=3582.23 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 4880870 0 0 0 357863 360 0 0 20 0 3 0 4457709 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 788886 588482 3302 3035 0 775767 0
[pid=30657/tid=30727] ppid=30653 vsize=3155544 memory=2353928 CPUtime=3580.1 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 4801992 0 0 0 357671 339 0 0 20 0 3 0 4457900 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=3155544 memory=2353928 CPUtime=0.03 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 179 0 0 0 1 2 0 0 20 0 3 0 4457919 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 3582.23 s
Current children cumulated vsize: 3155544 KiB
Current children cumulated memory: 2353928 KiB
[startup+3596.8 s]
/proc/loadavg: 4.24 4.21 4.09 5/267 32887
/proc/meminfo: memFree=112043312/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=3155544 memory=2353928 CPUtime=3585.42 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 4881101 0 0 0 358182 360 0 0 20 0 3 0 4457709 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 788886 588482 3302 3035 0 775767 0
[pid=30657/tid=30727] ppid=30653 vsize=3155544 memory=14436 CPUtime=3583.29 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 4802223 0 0 0 357990 339 0 0 20 0 3 0 4457900 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=3155544 memory=2353928 CPUtime=0.03 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 179 0 0 0 1 2 0 0 20 0 3 0 4457919 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 3585.42 s
Current children cumulated vsize: 3155544 KiB
Current children cumulated memory: 2353928 KiB
[startup+3597.6 s]
/proc/loadavg: 4.24 4.21 4.09 5/266 32889
/proc/meminfo: memFree=112043228/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=3155544 memory=2353928 CPUtime=3586.22 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 4881180 0 0 0 358262 360 0 0 20 0 3 0 4457709 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 788886 588482 3302 3035 0 775767 0
[pid=30657/tid=30727] ppid=30653 vsize=3155544 memory=5612 CPUtime=3584.09 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 4802302 0 0 0 358070 339 0 0 20 0 3 0 4457900 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=3155544 memory=16104 CPUtime=0.03 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 179 0 0 0 1 2 0 0 20 0 3 0 4457919 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 3586.22 s
Current children cumulated vsize: 3155544 KiB
Current children cumulated memory: 2353928 KiB
[startup+3598 s]*
/proc/loadavg: 4.22 4.21 4.09 5/266 32889
/proc/meminfo: memFree=112043220/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=3155544 memory=2353928 CPUtime=3586.63 cores=4,6
/proc/30657/stat : 30657 (fscip) S 30653 30657 30590 0 -1 1077936128 4881408 0 0 0 358303 360 0 0 20 0 3 0 4457709 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 788886 588482 3302 3035 0 775767 0
[pid=30657/tid=30727] ppid=30653 vsize=3155544 memory=1744 CPUtime=3584.49 cores=4,6
/proc/30657/task/30727/stat : 30727 (fscip) R 30653 30657 30590 0 -1 4194368 4802531 0 0 0 358110 339 0 0 20 0 3 0 4457900 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
[pid=30657/tid=30734] ppid=30653 vsize=3155544 memory=5536 CPUtime=0.03 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 179 0 0 0 1 2 0 0 20 0 3 0 4457919 3231277056 588482 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 3586.63 s
Current children cumulated vsize: 3155544 KiB
Current children cumulated memory: 2353928 KiB
[startup+3598.4 s]
/proc/loadavg: 4.22 4.21 4.09 5/266 32889
/proc/meminfo: memFree=112043220/131524600 swapFree=131071216/131071996
[pid=30657] ppid=30653 vsize=1673776 memory=1364716 CPUtime=3587.02 cores=4,6
/proc/30657/stat : 30657 (fscip) R 30653 30657 30590 0 -1 4194304 4918774 0 0 0 358339 363 0 0 20 0 2 0 4457709 1713946624 341179 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
/proc/30657/statm: 418444 341179 3302 3035 0 410903 0
[pid=30657/tid=30734] ppid=30653 vsize=1673776 memory=54448 CPUtime=0.03 cores=4,6
/proc/30657/task/30734/stat : 30734 (fscip) S 30653 30657 30590 0 -1 1077936192 179 0 0 0 1 2 0 0 20 0 2 0 4457919 1713946624 341179 134679101440 4194304 16623229 140721641830016 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 53452800 140721641837590 140721641837706 140721641837706 140721641844720 0
Current children cumulated CPU time: 3587.02 s
Current children cumulated vsize: 1673776 KiB
Current children cumulated memory: 1364716 KiB
Child status: 0
Real time (s): 3598.46
CPU time (s): 3587.09
CPU user time (s): 3583.43
CPU system time (s): 3.66254
CPU usage (%): 99.684
Max. virtual memory (cumulated for all children) (KiB): 3155544
Max. memory (cumulated for all children) (KiB): 2353928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.43
system time used= 3.66254
maximum resident set size= 2353928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4920017
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= 6703
involuntary context switches= 3618
# summary of solver processes directly reported to runsolver:
# pid: 30657
# total CPU time (s): 3587.09
# total CPU user time (s): 3583.43
# total CPU system time (s): 3.66254
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32301 second user time and 16.8771 second system time
The end
Begin job on nodeC021 at 2024-07-31 00:29:54
IDJOB=4464048
IDBENCH=146677
IDSOLVER=3092
FILE ID=nodeC021/4464048-1722378594
RUNJOBID= nodeC021-1722378594-30601
SLURM_JOB_ID= 8249844
Free space on /tmp= 890024 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.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-4464048-1722378594/watcher-4464048-1722378594 -o /tmp/evaluation-result-4464048-1722378594/solver-4464048-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722378594-30601 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464048-1722378594.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 0bdb6411771ac9360fc2dcf9fc3ce2f6
RANDOM SEED=1497379858
nodeC021.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 : 3670.366
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.80
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 : 3689.809
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 : 3675.718
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.80
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 : 3695.010
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 : 3668.655
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.80
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 : 3642.503
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 : 3649.997
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.80
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 : 3664.634
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: 122665252 kB
MemAvailable: 129720624 kB
Buffers: 92548 kB
Cached: 7756280 kB
SwapCached: 56 kB
Active: 272572 kB
Inactive: 8017428 kB
Active(anon): 1472 kB
Inactive(anon): 460596 kB
Active(file): 271100 kB
Inactive(file): 7556832 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 87028 kB
Writeback: 0 kB
AnonPages: 434768 kB
Mapped: 98820 kB
Shmem: 21208 kB
KReclaimable: 134176 kB
Slab: 225824 kB
SReclaimable: 134176 kB
SUnreclaim: 91648 kB
KernelStack: 4144 kB
PageTables: 10040 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 639140 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8640 kB
HardwareCorrupted: 0 kB
AnonHugePages: 258048 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: 226004 kB
DirectMap2M: 15276032 kB
DirectMap1G: 120586240 kB
Free space on /tmp at the end= 889952 MiB
End job on nodeC021 at 2024-07-31 01:29:53