0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.10 c Default LC presolving (default).
0.00/0.10 c ** Before presolving: virtualMemUsedAtLc = 108175843, getVmSize() = 102158336, SCIPgetMemUsed() = 75225286, SCIPgetMemTotal() = 79641134, SCIPgetMemExternEstim() = 28534709
0.00/0.10 c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
0.50/0.58 c ** Estimated virtualMemUsedAtSolver = 276060839, getVmSize() = 414658560, SCIPgetMemUsed() = 305760646, SCIPgetMemTotal() = 385556550, SCIPgetMemExternEstim() = 28534709
0.50/0.58 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.50/0.58 c Original Problem :
0.50/0.58 c Problem name : instance-4452520-1721430500
0.50/0.58 c Variables : 31248 (31248 binary, 0 integer, 0 implicit integer, 0 continuous)
0.50/0.58 c Constraints : 354
0.50/0.58 c Objective sense : minimize
0.50/0.58 c Presolved Problem :
0.50/0.58 c Variables : 29568 (29568 binary, 0 integer, 0 implicit integer, 0 continuous)
0.50/0.58 c Constraints : 186
0.50/0.58 c Constraints : Number
0.50/0.58 c knapsack : 9
0.50/0.58 c linear : 168
0.50/0.58 c logicor : 9
0.50/0.58 c ** Instance transfer method used: 0
0.59/0.63 c ** ParaScipInstance copy does not increase the number of variables. **
0.59/0.66 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.59/0.66 c Nodes Active
0.59/0.66 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
46.45/46.93 c 47 2 1 1 - 0.0000 -
52.62/53.11 c 53 27 28 1 - 0.0000 -
58.00/58.51 c 59 32 31 1 - 0.0000 -
64.07/64.68 c 65 45 44 1 - 0.0000 -
76.22/76.81 c 77 48 47 1 - 0.0000 -
81.41/82.03 c 82 62 61 1 - 0.0000 -
87.77/88.41 c 88 72 71 1 - 0.0000 -
93.46/94.18 c 94 78 77 1 - 0.0000 -
99.83/100.51 c 101 92 91 1 - 0.0000 -
106.70/107.47 c 107 102 101 1 - 0.0000 -
111.87/112.64 c 113 108 107 1 - 0.0000 -
117.35/118.12 c 118 138 137 1 - 0.0000 -
122.62/123.47 c 123 183 180 1 - 0.0000 -
128.59/129.48 c 129 229 226 1 - 0.0000 -
136.85/137.78 c 138 280 275 1 - 0.0000 -
142.13/143.08 c 143 340 317 1 - 0.0000 -
147.89/148.82 c 149 431 376 1 - 0.0000 -
153.87/154.80 c 155 455 400 1 - 0.0000 -
159.54/160.57 c 161 476 419 1 - 0.0000 -
164.62/165.61 c 166 502 445 1 - 0.0000 -
170.70/171.76 c 172 538 481 1 - 0.0000 -
175.78/176.80 c 177 564 505 1 - 0.0000 -
184.14/185.23 c 185 599 538 1 - 0.0000 -
191.40/192.51 c 193 609 548 1 - 0.0000 -
198.17/199.38 c 199 629 566 1 - 0.0000 -
204.74/205.92 c 206 652 587 1 - 0.0000 -
211.01/212.25 c 212 672 605 1 - 0.0000 -
216.20/217.46 c 217 692 625 1 - 0.0000 -
221.27/222.50 c 223 702 635 1 - 0.0000 -
227.75/229.01 c 229 772 678 1 - 0.0000 -
233.31/234.63 c 235 787 693 1 - 0.0000 -
239.99/241.35 c 241 803 709 1 - 0.0000 -
245.86/247.28 c 247 825 731 1 - 0.0000 -
251.73/253.18 c 253 883 787 1 - 0.0000 -
257.10/258.55 c 259 908 812 1 - 0.0000 -
262.28/263.72 c 264 925 829 1 - 0.0000 -
267.47/268.95 c 269 977 879 1 - 0.0000 -
273.04/274.54 c 275 1015 915 1 - 0.0000 -
278.32/279.82 c 280 1054 954 1 - 0.0000 -
284.39/285.96 c 286 1090 990 1 - 0.0000 -
289.57/291.11 c 291 1145 1021 1 - 0.0000 -
294.75/296.31 c 296 1163 1039 1 - 0.0000 -
299.72/301.34 c 301 1169 1045 1 - 0.0000 -
305.79/307.43 c 307 1229 1101 1 - 0.0000 -
311.47/313.18 c 313 1260 1132 1 - 0.0000 -
317.45/319.18 c 319 1304 1176 1 - 0.0000 -
324.01/325.71 c 326 1343 1207 1 - 0.0000 -
329.30/331.03 c 331 1372 1232 1 - 0.0000 -
335.07/336.86 c 337 1416 1275 1 - 0.0000 -
340.96/342.78 c 343 1440 1299 1 - 0.0000 -
346.04/347.89 c 348 1465 1324 1 - 0.0000 -
351.12/352.95 c 353 1496 1355 1 - 0.0000 -
356.21/358.00 c 358 1561 1404 1 - 0.0000 -
361.88/363.80 c 364 1595 1438 1 - 0.0000 -
367.36/369.27 c 369 1637 1478 1 - 0.0000 -
372.44/374.37 c 374 1675 1512 1 - 0.0000 -
377.53/379.47 c 379 1713 1544 1 - 0.0000 -
386.89/388.80 c 389 1748 1573 1 - 0.0000 -
391.97/393.99 c 394 1790 1607 1 - 0.0000 -
398.05/400.03 c 400 1829 1638 1 - 0.0000 -
403.63/405.63 c 406 1867 1665 1 - 0.0000 -
409.60/411.69 c 412 1919 1705 1 - 0.0000 -
415.39/417.46 c 417 2000 1778 1 - 0.0000 -
420.77/422.87 c 423 2035 1805 1 - 0.0000 -
426.95/429.02 c 429 2092 1844 1 - 0.0000 -
432.13/434.23 c 434 2156 1884 1 - 0.0000 -
438.50/440.64 c 441 2228 1936 1 - 0.0000 -
443.59/445.70 c 446 2254 1962 1 - 0.0000 -
448.97/451.19 c 451 2284 1986 1 - 0.0000 -
455.04/457.27 c 457 2352 2044 1 - 0.0000 -
464.41/466.67 c 467 2393 2083 1 - 0.0000 -
469.69/471.93 c 472 2435 2106 1 - 0.0000 -
474.87/477.18 c 477 2482 2141 1 - 0.0000 -
480.34/482.69 c 483 2531 2172 1 - 0.0000 -
485.84/488.17 c 488 2574 2213 1 - 0.0000 -
491.61/493.97 c 494 2650 2277 1 - 0.0000 -
496.79/499.12 c 499 2714 2321 1 - 0.0000 -
501.87/504.26 c 504 2742 2341 1 - 0.0000 -
507.55/509.98 c 510 2780 2377 1 - 0.0000 -
513.33/515.78 c 516 2807 2402 1 - 0.0000 -
518.41/520.81 c 521 2836 2431 1 - 0.0000 -
524.29/526.79 c 527 2862 2457 1 - 0.0000 -
529.97/532.49 c 532 2894 2487 1 - 0.0000 -
537.44/539.90 c 540 2922 2511 1 - 0.0000 -
543.41/545.94 c 546 2967 2554 1 - 0.0000 -
548.99/551.53 c 552 3009 2596 1 - 0.0000 -
554.28/556.80 c 557 3047 2634 1 - 0.0000 -
560.16/562.77 c 563 3095 2682 1 - 0.0000 -
566.14/568.70 c 569 3140 2727 1 - 0.0000 -
573.60/576.27 c 576 3180 2767 1 - 0.0000 -
578.59/581.27 c 581 3218 2803 1 - 0.0000 -
584.37/587.09 c 587 3263 2846 1 - 0.0000 -
589.85/592.51 c 593 3314 2895 1 - 0.0000 -
595.63/598.36 c 598 3358 2935 1 - 0.0000 -
601.91/604.67 c 605 3397 2972 1 - 0.0000 -
607.39/610.15 c 610 3428 2999 1 - 0.0000 -
612.77/615.58 c 616 3465 3030 1 - 0.0000 -
623.72/626.59 c 627 3489 3054 1 - 0.0000 -
629.32/632.10 c 632 3544 3099 1 - 0.0000 -
637.37/640.21 c 640 3573 3120 1 - 0.0000 -
642.86/645.77 c 646 3619 3164 1 - 0.0000 -
648.14/651.00 c 651 3653 3194 1 - 0.0000 -
654.71/657.60 c 658 3676 3217 1 - 0.0000 -
661.49/664.41 c 664 3702 3243 1 - 0.0000 -
667.37/670.36 c 670 3741 3282 1 - 0.0000 -
672.55/675.53 c 676 3788 3321 1 - 0.0000 -
678.13/681.16 c 681 3837 3364 1 - 0.0000 -
683.51/686.57 c 687 3865 3392 1 - 0.0000 -
688.89/691.93 c 692 3901 3428 1 - 0.0000 -
694.47/697.55 c 698 3943 3462 1 - 0.0000 -
700.75/703.88 c 704 3993 3512 1 - 0.0000 -
706.44/709.59 c 710 4035 3554 1 - 0.0000 -
712.41/715.52 c 716 4069 3588 1 - 0.0000 -
717.90/721.09 c 721 4131 3630 1 - 0.0000 -
723.78/726.96 c 727 4159 3658 1 - 0.0000 -
730.15/733.36 c 733 4194 3683 1 - 0.0000 -
735.63/738.82 c 739 4215 3704 1 - 0.0000 -
741.81/745.06 c 745 4225 3714 1 - 0.0000 -
746.90/750.14 c 750 4250 3739 1 - 0.0000 -
752.57/755.86 c 756 4295 3774 1 - 0.0000 -
758.45/761.79 c 762 4348 3802 1 - 0.0000 -
763.63/766.92 c 767 4369 3819 1 - 0.0000 -
769.00/772.30 c 772 4409 3855 1 - 0.0000 -
775.99/779.33 c 779 4435 3881 1 - 0.0000 -
781.37/784.79 c 785 4467 3913 1 - 0.0000 -
786.85/790.23 c 790 4493 3937 1 - 0.0000 -
792.62/796.08 c 796 4518 3962 1 - 0.0000 -
798.50/801.96 c 802 4567 4005 1 - 0.0000 -
804.38/807.82 c 808 4622 4035 1 - 0.0000 -
809.37/812.88 c 813 4642 4055 1 - 0.0000 -
814.84/818.37 c 818 4686 4097 1 - 0.0000 -
820.63/824.16 c 824 4727 4138 1 - 0.0000 -
829.68/833.24 c 833 4759 4170 1 - 0.0000 -
836.36/839.97 c 840 4798 4209 1 - 0.0000 -
842.44/846.02 c 846 4834 4241 1 - 0.0000 -
847.92/851.58 c 852 4847 4254 1 - 0.0000 -
853.81/857.41 c 857 4875 4282 1 - 0.0000 -
859.69/863.32 c 863 4909 4316 1 - 0.0000 -
864.87/868.56 c 869 4930 4337 1 - 0.0000 -
871.04/874.70 c 875 4976 4375 1 - 0.0000 -
876.52/880.28 c 880 5019 4414 1 - 0.0000 -
882.10/885.87 c 886 5047 4442 1 - 0.0000 -
888.88/892.63 c 893 5092 4476 1 - 0.0000 -
894.16/897.97 c 898 5148 4517 1 - 0.0000 -
899.54/903.37 c 903 5167 4536 1 - 0.0000 -
904.82/908.67 c 909 5184 4549 1 - 0.0000 -
910.01/913.89 c 914 5228 4583 1 - 0.0000 -
915.98/919.88 c 920 5276 4611 1 - 0.0000 -
921.56/925.48 c 925 5308 4643 1 - 0.0000 -
926.84/930.78 c 931 5329 4660 1 - 0.0000 -
932.72/936.62 c 937 5364 4695 1 - 0.0000 -
940.58/944.57 c 945 5384 4715 1 - 0.0000 -
946.17/950.15 c 950 5407 4738 1 - 0.0000 -
952.06/956.05 c 956 5439 4766 1 - 0.0000 -
957.73/961.75 c 962 5479 4792 1 - 0.0000 -
963.61/967.69 c 968 5520 4831 1 - 0.0000 -
968.89/972.92 c 973 5558 4869 1 - 0.0000 -
973.88/977.99 c 978 5576 4887 1 - 0.0000 -
980.45/984.53 c 985 5594 4905 1 - 0.0000 -
985.63/989.77 c 990 5617 4928 1 - 0.0000 -
991.51/995.68 c 996 5625 4936 1 - 0.0000 -
996.69/1000.81 c 1001 5658 4969 1 - 0.0000 -
1001.98/1006.18 c 1006 5687 4998 1 - 0.0000 -
1008.15/1012.39 c 1012 5729 5040 1 - 0.0000 -
1013.63/1017.85 c 1018 5755 5064 1 - 0.0000 -
1018.92/1023.11 c 1023 5789 5098 1 - 0.0000 -
1024.20/1028.44 c 1028 5822 5131 1 - 0.0000 -
1029.79/1034.06 c 1034 5849 5152 1 - 0.0000 -
1037.05/1041.36 c 1041 5854 5157 1 - 0.0000 -
1042.54/1046.82 c 1047 5879 5182 1 - 0.0000 -
1047.52/1051.82 c 1052 5894 5197 1 - 0.0000 -
1053.30/1057.66 c 1058 5927 5230 1 - 0.0000 -
1058.38/1062.72 c 1063 5959 5262 1 - 0.0000 -
1064.37/1068.70 c 1069 5998 5299 1 - 0.0000 -
1069.75/1074.16 c 1074 6053 5342 1 - 0.0000 -
1075.73/1080.15 c 1080 6079 5368 1 - 0.0000 -
1081.50/1085.94 c 1086 6110 5395 1 - 0.0000 -
1086.79/1091.23 c 1091 6147 5428 1 - 0.0000 -
1092.37/1096.86 c 1097 6185 5464 1 - 0.0000 -
1098.25/1102.77 c 1103 6220 5497 1 - 0.0000 -
1105.23/1109.71 c 1110 6246 5523 1 - 0.0000 -
1111.40/1115.97 c 1116 6262 5539 1 - 0.0000 -
1116.89/1121.42 c 1121 6308 5585 1 - 0.0000 -
1122.57/1127.11 c 1127 6342 5619 1 - 0.0000 -
1129.94/1134.52 c 1135 6363 5640 1 - 0.0000 -
1135.63/1140.26 c 1140 6388 5665 1 - 0.0000 -
1142.01/1146.62 c 1147 6431 5708 1 - 0.0000 -
1147.09/1151.71 c 1152 6458 5735 1 - 0.0000 -
1152.17/1156.86 c 1157 6481 5758 1 - 0.0000 -
1158.35/1163.04 c 1163 6518 5789 1 - 0.0000 -
1164.53/1169.24 c 1169 6552 5819 1 - 0.0000 -
1170.11/1174.81 c 1175 6592 5853 1 - 0.0000 -
1180.87/1185.68 c 1186 6627 5886 1 - 0.0000 -
1186.65/1191.49 c 1191 6667 5924 1 - 0.0000 -
1192.63/1197.48 c 1197 6719 5976 1 - 0.0000 -
1198.41/1203.24 c 1203 6762 6013 1 - 0.0000 -
1204.19/1209.08 c 1209 6820 6063 1 - 0.0000 -
1209.37/1214.28 c 1214 6849 6088 1 - 0.0000 -
1215.45/1220.35 c 1220 6882 6121 1 - 0.0000 -
1221.23/1226.13 c 1226 6901 6140 1 - 0.0000 -
1227.41/1232.33 c 1232 6929 6168 1 - 0.0000 -
1232.49/1237.48 c 1237 6946 6185 1 - 0.0000 -
1238.27/1243.26 c 1243 6958 6197 1 - 0.0000 -
1244.25/1249.23 c 1249 6986 6223 1 - 0.0000 -
1250.23/1255.24 c 1255 7013 6250 1 - 0.0000 -
1255.32/1260.35 c 1260 7034 6271 1 - 0.0000 -
1261.90/1266.95 c 1267 7053 6290 1 - 0.0000 -
1267.77/1272.89 c 1273 7086 6323 1 - 0.0000 -
1273.55/1278.68 c 1279 7118 6353 1 - 0.0000 -
1279.04/1284.19 c 1284 7152 6387 1 - 0.0000 -
1285.02/1290.17 c 1290 7184 6418 1 - 0.0000 -
1290.09/1295.21 c 1295 7215 6449 1 - 0.0000 -
1295.29/1300.45 c 1300 7250 6472 1 - 0.0000 -
1301.17/1306.35 c 1306 7269 6491 1 - 0.0000 -
1306.85/1312.09 c 1312 7300 6522 1 - 0.0000 -
1312.13/1317.30 c 1317 7324 6546 1 - 0.0000 -
1317.51/1322.70 c 1323 7366 6584 1 - 0.0000 -
1326.38/1331.69 c 1332 7392 6610 1 - 0.0000 -
1331.87/1337.14 c 1337 7437 6653 1 - 0.0000 -
1337.75/1343.03 c 1343 7470 6686 1 - 0.0000 -
1343.62/1348.97 c 1349 7510 6726 1 - 0.0000 -
1349.21/1354.54 c 1355 7530 6746 1 - 0.0000 -
1354.19/1359.59 c 1360 7555 6769 1 - 0.0000 -
1359.77/1365.19 c 1365 7583 6796 1 - 0.0000 -
1365.75/1371.10 c 1371 7605 6818 1 - 0.0000 -
1370.74/1376.12 c 1376 7646 6857 1 - 0.0000 -
1376.02/1381.48 c 1381 7679 6890 1 - 0.0000 -
1381.40/1386.84 c 1387 7697 6908 1 - 0.0000 -
1386.88/1392.34 c 1392 7728 6935 1 - 0.0000 -
1393.05/1398.57 c 1399 7740 6947 1 - 0.0000 -
1398.33/1403.84 c 1404 7768 6975 1 - 0.0000 -
1404.11/1409.67 c 1410 7799 7004 1 - 0.0000 -
1411.09/1416.65 c 1417 7825 7030 1 - 0.0000 -
1417.37/1422.96 c 1423 7852 7057 1 - 0.0000 -
1424.84/1430.46 c 1430 7868 7073 1 - 0.0000 -
1430.82/1436.45 c 1436 7892 7095 1 - 0.0000 -
1436.50/1442.16 c 1442 7946 7143 1 - 0.0000 -
1442.18/1447.84 c 1448 7989 7186 1 - 0.0000 -
1447.56/1453.20 c 1453 8028 7225 1 - 0.0000 -
1453.03/1458.75 c 1459 8081 7258 1 - 0.0000 -
1458.51/1464.22 c 1464 8115 7286 1 - 0.0000 -
1464.29/1470.05 c 1470 8218 7313 1 - 0.0000 -
1469.56/1475.39 c 1475 8348 7357 1 - 0.0000 -
1476.14/1481.97 c 1482 8396 7381 1 - 0.0000 -
1483.21/1489.08 c 1489 8457 7417 1 - 0.0000 -
1488.98/1494.86 c 1495 8489 7445 1 - 0.0000 -
1494.86/1500.76 c 1501 8558 7488 1 - 0.0000 -
1500.64/1506.58 c 1507 8595 7523 1 - 0.0000 -
1506.51/1512.40 c 1512 8678 7568 1 - 0.0000 -
1511.99/1517.95 c 1518 8721 7609 1 - 0.0000 -
1517.47/1523.44 c 1523 8764 7652 1 - 0.0000 -
1523.15/1529.19 c 1529 8804 7692 1 - 0.0000 -
1528.42/1534.47 c 1534 8843 7727 1 - 0.0000 -
1533.80/1539.83 c 1540 8883 7767 1 - 0.0000 -
1539.18/1545.23 c 1545 8929 7813 1 - 0.0000 -
1544.66/1550.71 c 1551 8965 7849 1 - 0.0000 -
1549.64/1555.73 c 1556 8998 7882 1 - 0.0000 -
1555.41/1561.54 c 1562 9027 7907 1 - 0.0000 -
1560.69/1566.86 c 1567 9073 7953 1 - 0.0000 -
1566.68/1572.84 c 1573 9114 7994 1 - 0.0000 -
1571.86/1578.05 c 1578 9150 8026 1 - 0.0000 -
1579.72/1585.96 c 1586 9178 8054 1 - 0.0000 -
1585.49/1591.72 c 1592 9230 8102 1 - 0.0000 -
1590.87/1597.13 c 1597 9270 8140 1 - 0.0000 -
1596.45/1602.77 c 1603 9337 8199 1 - 0.0000 -
1604.12/1610.42 c 1610 9358 8220 1 - 0.0000 -
1610.09/1616.48 c 1616 9381 8243 1 - 0.0000 -
1615.98/1622.38 c 1622 9438 8292 1 - 0.0000 -
1621.85/1628.20 c 1628 9486 8340 1 - 0.0000 -
1627.73/1634.19 c 1634 9520 8374 1 - 0.0000 -
1633.40/1639.81 c 1640 9561 8413 1 - 0.0000 -
1638.48/1644.90 c 1645 9606 8458 1 - 0.0000 -
1644.36/1650.82 c 1651 9646 8498 1 - 0.0000 -
1650.24/1656.70 c 1657 9671 8523 1 - 0.0000 -
1656.02/1662.59 c 1663 9705 8557 1 - 0.0000 -
1661.89/1668.45 c 1668 9777 8598 1 - 0.0000 -
1667.37/1673.96 c 1674 9793 8610 1 - 0.0000 -
1673.64/1680.25 c 1680 9814 8631 1 - 0.0000 -
1679.53/1686.17 c 1686 9848 8663 1 - 0.0000 -
1685.20/1691.85 c 1692 9887 8702 1 - 0.0000 -
1690.97/1697.66 c 1698 9922 8737 1 - 0.0000 -
1696.65/1703.37 c 1703 9957 8772 1 - 0.0000 -
1702.23/1708.92 c 1709 9990 8805 1 - 0.0000 -
1707.81/1714.58 c 1715 10026 8841 1 - 0.0000 -
1713.59/1720.36 c 1720 10064 8875 1 - 0.0000 -
1718.77/1725.57 c 1726 10212 9023 1 - 0.0000 -
1724.04/1730.83 c 1731 10348 9159 1 - 0.0000 -
1729.42/1736.23 c 1736 10453 9264 1 - 0.0000 -
1735.50/1742.31 c 1742 10486 9289 1 - 0.0000 -
1740.78/1747.63 c 1748 10538 9341 1 - 0.0000 -
1746.16/1753.10 c 1753 10581 9378 1 - 0.0000 -
1751.43/1758.34 c 1758 10690 9487 1 - 0.0000 -
1756.72/1763.60 c 1764 10839 9636 1 - 0.0000 -
1761.90/1768.83 c 1769 10937 9734 1 - 0.0000 -
1767.97/1774.92 c 1775 11016 9813 1 - 0.0000 -
1773.45/1780.45 c 1780 11069 9866 1 - 0.0000 -
1778.83/1785.88 c 1786 11112 9905 1 - 0.0000 -
1786.10/1793.13 c 1793 11133 9926 1 - 0.0000 -
1791.27/1798.34 c 1798 11171 9964 1 - 0.0000 -
1796.95/1804.02 c 1804 11232 10025 1 - 0.0000 -
1802.93/1810.07 c 1810 11287 10080 1 - 0.0000 -
1808.20/1815.39 c 1815 11314 10107 1 - 0.0000 -
1813.29/1820.48 c 1820 11364 10157 1 - 0.0000 -
1818.57/1825.79 c 1826 11399 10192 1 - 0.0000 -
1824.54/1831.75 c 1832 11454 10247 1 - 0.0000 -
1829.63/1836.83 c 1837 11496 10289 1 - 0.0000 -
1835.20/1842.45 c 1842 11540 10333 1 - 0.0000 -
1840.68/1847.95 c 1848 11593 10386 1 - 0.0000 -
1846.26/1853.54 c 1854 11632 10425 1 - 0.0000 -
1851.83/1859.15 c 1859 11690 10469 1 - 0.0000 -
1857.02/1864.37 c 1864 11732 10511 1 - 0.0000 -
1862.50/1869.81 c 1870 11783 10562 1 - 0.0000 -
1868.57/1875.92 c 1876 11848 10617 1 - 0.0000 -
1878.13/1885.53 c 1886 11914 10675 1 - 0.0000 -
1883.61/1891.01 c 1891 11944 10699 1 - 0.0000 -
1888.88/1896.37 c 1896 12004 10733 1 - 0.0000 -
1894.86/1902.38 c 1902 12018 10745 1 - 0.0000 -
1900.44/1907.93 c 1908 12064 10786 1 - 0.0000 -
1905.92/1913.42 c 1913 12207 10830 1 - 0.0000 -
1911.99/1919.58 c 1920 12279 10857 1 - 0.0000 -
1917.37/1924.98 c 1925 12315 10893 1 - 0.0000 -
1923.15/1930.70 c 1931 12355 10933 1 - 0.0000 -
1928.13/1935.72 c 1936 12393 10967 1 - 0.0000 -
1933.51/1941.13 c 1941 12439 11013 1 - 0.0000 -
1938.58/1946.21 c 1946 12464 11038 1 - 0.0000 -
1943.96/1951.62 c 1952 12496 11070 1 - 0.0000 -
1949.84/1957.53 c 1958 12562 11132 1 - 0.0000 -
1955.91/1963.60 c 1964 12612 11176 1 - 0.0000 -
1961.70/1969.47 c 1969 12645 11209 1 - 0.0000 -
1967.48/1975.27 c 1975 12674 11238 1 - 0.0000 -
1973.15/1980.98 c 1981 12712 11276 1 - 0.0000 -
1978.43/1986.21 c 1986 12760 11324 1 - 0.0000 -
1983.61/1991.43 c 1991 12778 11342 1 - 0.0000 -
1989.20/1997.03 c 1997 12812 11374 1 - 0.0000 -
1995.17/2003.06 c 2003 12852 11414 1 - 0.0000 -
2000.65/2008.56 c 2009 12909 11457 1 - 0.0000 -
2008.01/2015.94 c 2016 12922 11470 1 - 0.0000 -
2013.89/2021.84 c 2022 12965 11513 1 - 0.0000 -
2019.27/2027.23 c 2027 13007 11555 1 - 0.0000 -
2025.05/2033.07 c 2033 13061 11603 1 - 0.0000 -
2030.42/2038.44 c 2038 13099 11641 1 - 0.0000 -
2036.21/2044.29 c 2044 13145 11687 1 - 0.0000 -
2041.88/2049.98 c 2050 13180 11722 1 - 0.0000 -
2048.85/2056.94 c 2057 13210 11752 1 - 0.0000 -
2053.93/2062.00 c 2062 13240 11782 1 - 0.0000 -
2059.71/2067.87 c 2068 13288 11830 1 - 0.0000 -
2065.39/2073.58 c 2074 13326 11866 1 - 0.0000 -
2070.47/2078.67 c 2079 13364 11904 1 - 0.0000 -
2075.95/2084.18 c 2084 13398 11938 1 - 0.0000 -
2081.43/2089.64 c 2090 13453 11989 1 - 0.0000 -
2088.11/2096.32 c 2096 13490 12026 1 - 0.0000 -
2093.70/2101.99 c 2102 13561 12087 1 - 0.0000 -
2099.48/2107.73 c 2108 13616 12134 1 - 0.0000 -
2106.25/2114.55 c 2115 13664 12182 1 - 0.0000 -
2112.62/2120.90 c 2121 13702 12220 1 - 0.0000 -
2117.80/2126.10 c 2126 13734 12250 1 - 0.0000 -
2123.07/2131.43 c 2131 13772 12286 1 - 0.0000 -
2130.76/2139.18 c 2139 13827 12341 1 - 0.0000 -
2139.32/2147.73 c 2148 13855 12369 1 - 0.0000 -
2145.19/2153.62 c 2154 13906 12420 1 - 0.0000 -
2150.78/2159.27 c 2159 13952 12466 1 - 0.0000 -
2156.77/2165.21 c 2165 13998 12512 1 - 0.0000 -
2162.05/2170.50 c 2170 14048 12562 1 - 0.0000 -
2167.13/2175.69 c 2176 14084 12596 1 - 0.0000 -
2172.91/2181.49 c 2181 14119 12631 1 - 0.0000 -
2177.99/2186.53 c 2187 14156 12668 1 - 0.0000 -
2184.07/2192.67 c 2193 14195 12707 1 - 0.0000 -
2190.45/2199.05 c 2199 14257 12763 1 - 0.0000 -
2196.73/2205.35 c 2205 14295 12801 1 - 0.0000 -
2202.21/2210.89 c 2211 14344 12850 1 - 0.0000 -
2208.39/2217.05 c 2217 14394 12900 1 - 0.0000 -
2214.07/2222.79 c 2223 14441 12947 1 - 0.0000 -
2219.85/2228.59 c 2229 14473 12977 1 - 0.0000 -
2226.43/2235.19 c 2235 14508 13012 1 - 0.0000 -
2232.01/2240.74 c 2241 14558 13062 1 - 0.0000 -
2238.09/2246.87 c 2247 14594 13098 1 - 0.0000 -
2243.38/2252.19 c 2252 14639 13143 1 - 0.0000 -
2248.65/2257.40 c 2257 14669 13173 1 - 0.0000 -
2254.44/2263.29 c 2263 14718 13222 1 - 0.0000 -
2260.22/2269.03 c 2269 14751 13255 1 - 0.0000 -
2265.70/2274.54 c 2275 14790 13292 1 - 0.0000 -
2271.19/2280.08 c 2280 14829 13331 1 - 0.0000 -
2276.28/2285.16 c 2285 14861 13363 1 - 0.0000 -
2282.35/2291.21 c 2291 14900 13402 1 - 0.0000 -
2289.32/2298.20 c 2298 14920 13422 1 - 0.0000 -
2294.80/2303.70 c 2304 14965 13467 1 - 0.0000 -
2299.89/2308.84 c 2309 14999 13501 1 - 0.0000 -
2305.87/2314.80 c 2315 15049 13551 1 - 0.0000 -
2311.16/2320.17 c 2320 15089 13591 1 - 0.0000 -
2316.54/2325.50 c 2326 15114 13616 1 - 0.0000 -
2322.22/2331.22 c 2331 15152 13654 1 - 0.0000 -
2327.70/2336.73 c 2337 15188 13690 1 - 0.0000 -
2333.58/2342.64 c 2343 15247 13729 1 - 0.0000 -
2339.07/2348.16 c 2348 15292 13774 1 - 0.0000 -
2344.64/2353.71 c 2354 15355 13825 1 - 0.0000 -
2349.63/2358.73 c 2359 15383 13853 1 - 0.0000 -
2355.12/2364.24 c 2364 15421 13891 1 - 0.0000 -
2360.80/2369.92 c 2370 15485 13955 1 - 0.0000 -
2366.78/2375.94 c 2376 15508 13978 1 - 0.0000 -
2372.36/2381.55 c 2382 15551 14021 1 - 0.0000 -
2377.85/2387.01 c 2387 15599 14069 1 - 0.0000 -
2383.73/2392.92 c 2393 15627 14097 1 - 0.0000 -
2389.21/2398.44 c 2398 15664 14134 1 - 0.0000 -
2399.07/2408.37 c 2408 15704 14174 1 - 0.0000 -
2404.55/2413.85 c 2414 15737 14207 1 - 0.0000 -
2410.24/2419.53 c 2420 15785 14255 1 - 0.0000 -
2416.02/2425.35 c 2425 15839 14309 1 - 0.0000 -
2421.70/2431.01 c 2431 15872 14340 1 - 0.0000 -
2427.38/2436.77 c 2437 15908 14376 1 - 0.0000 -
2432.46/2441.83 c 2442 15929 14395 1 - 0.0000 -
2438.14/2447.57 c 2448 15973 14429 1 - 0.0000 -
2444.22/2453.63 c 2454 16010 14460 1 - 0.0000 -
2450.20/2459.61 c 2460 16052 14494 1 - 0.0000 -
2455.38/2464.89 c 2465 16079 14519 1 - 0.0000 -
2461.46/2470.92 c 2471 16122 14560 1 - 0.0000 -
2466.54/2476.00 c 2476 16177 14595 1 - 0.0000 -
2472.63/2482.12 c 2482 16267 14648 1 - 0.0000 -
2478.61/2488.13 c 2488 16374 14720 1 - 0.0000 -
2484.08/2493.66 c 2494 16417 14755 1 - 0.0000 -
2489.36/2498.92 c 2499 16450 14778 1 - 0.0000 -
2495.14/2504.72 c 2505 16499 14817 1 - 0.0000 -
2500.52/2510.16 c 2510 16552 14860 1 - 0.0000 -
2505.60/2515.28 c 2515 16595 14897 1 - 0.0000 -
2511.79/2521.43 c 2521 16635 14937 1 - 0.0000 -
2516.97/2526.67 c 2527 16733 14983 1 - 0.0000 -
2522.55/2532.29 c 2532 16766 15012 1 - 0.0000 -
2532.71/2542.43 c 2542 16782 15028 1 - 0.0000 -
2538.29/2548.08 c 2548 16893 15097 1 - 0.0000 -
2545.56/2555.37 c 2555 16933 15130 1 - 0.0000 -
2551.05/2560.83 c 2561 16971 15166 1 - 0.0000 -
2558.23/2568.01 c 2568 16995 15188 1 - 0.0000 -
2564.50/2574.35 c 2574 17014 15205 1 - 0.0000 -
2569.99/2579.84 c 2580 17032 15223 1 - 0.0000 -
2575.77/2585.63 c 2586 17051 15242 1 - 0.0000 -
2581.26/2591.11 c 2591 17089 15280 1 - 0.0000 -
2586.44/2596.35 c 2596 17128 15319 1 - 0.0000 -
2592.02/2601.91 c 2602 17169 15360 1 - 0.0000 -
2597.20/2607.18 c 2607 17226 15417 1 - 0.0000 -
2602.68/2612.68 c 2613 17268 15459 1 - 0.0000 -
2608.46/2618.47 c 2618 17303 15494 1 - 0.0000 -
2613.84/2623.90 c 2624 17333 15524 1 - 0.0000 -
2619.04/2629.08 c 2629 17372 15563 1 - 0.0000 -
2624.22/2634.25 c 2634 17405 15596 1 - 0.0000 -
2631.69/2641.76 c 2642 17435 15626 1 - 0.0000 -
2637.67/2647.70 c 2648 17478 15669 1 - 0.0000 -
2643.35/2653.43 c 2653 17525 15716 1 - 0.0000 -
2648.94/2659.07 c 2659 17568 15757 1 - 0.0000 -
2655.31/2665.41 c 2665 17620 15809 1 - 0.0000 -
2660.79/2670.94 c 2671 17665 15854 1 - 0.0000 -
2667.27/2677.48 c 2677 17704 15893 1 - 0.0000 -
2672.86/2683.02 c 2683 17750 15939 1 - 0.0000 -
2679.13/2689.32 c 2689 17798 15987 1 - 0.0000 -
2684.42/2694.65 c 2695 17840 16029 1 - 0.0000 -
2689.81/2700.08 c 2700 17880 16069 1 - 0.0000 -
2695.09/2705.39 c 2705 17928 16117 1 - 0.0000 -
2700.28/2710.54 c 2711 17972 16161 1 - 0.0000 -
2705.36/2715.63 c 2716 18006 16195 1 - 0.0000 -
2711.64/2721.94 c 2722 18042 16231 1 - 0.0000 -
2717.32/2727.66 c 2728 18082 16269 1 - 0.0000 -
2726.18/2736.58 c 2737 18119 16300 1 - 0.0000 -
2731.77/2742.13 c 2742 18174 16353 1 - 0.0000 -
2736.75/2747.17 c 2747 18211 16386 1 - 0.0000 -
2742.23/2752.64 c 2753 18281 16456 1 - 0.0000 -
2747.72/2758.14 c 2758 18335 16500 1 - 0.0000 -
2753.39/2763.82 c 2764 18379 16540 1 - 0.0000 -
2759.57/2770.07 c 2770 18410 16569 1 - 0.0000 -
2764.85/2775.37 c 2775 18439 16598 1 - 0.0000 -
2770.03/2780.58 c 2781 18519 16678 1 - 0.0000 -
2775.62/2786.12 c 2786 18552 16709 1 - 0.0000 -
2781.40/2791.92 c 2792 18597 16754 1 - 0.0000 -
2787.09/2797.61 c 2798 18636 16793 1 - 0.0000 -
2792.57/2803.13 c 2803 18680 16833 1 - 0.0000 -
2798.25/2808.89 c 2809 18762 16913 1 - 0.0000 -
2804.03/2814.64 c 2815 18796 16947 1 - 0.0000 -
2809.51/2820.16 c 2820 18829 16980 1 - 0.0000 -
2815.29/2825.96 c 2826 18884 17023 1 - 0.0000 -
2820.57/2831.25 c 2831 19008 17127 1 - 0.0000 -
2826.25/2836.95 c 2837 19096 17199 1 - 0.0000 -
2831.73/2842.40 c 2842 19132 17226 1 - 0.0000 -
2836.91/2847.60 c 2848 19152 17246 1 - 0.0000 -
2842.69/2853.48 c 2853 19260 17302 1 - 0.0000 -
2847.97/2858.70 c 2859 19383 17342 1 - 0.0000 -
2854.15/2864.92 c 2865 19407 17366 1 - 0.0000 -
2859.63/2870.47 c 2870 19459 17410 1 - 0.0000 -
2867.90/2878.70 c 2879 19480 17431 1 - 0.0000 -
2873.68/2884.55 c 2885 19510 17461 1 - 0.0000 -
2879.16/2890.03 c 2890 19555 17502 1 - 0.0000 -
2884.75/2895.61 c 2896 19598 17545 1 - 0.0000 -
2889.93/2900.80 c 2901 19637 17584 1 - 0.0000 -
2895.22/2906.11 c 2906 19674 17621 1 - 0.0000 -
2900.59/2911.50 c 2912 19716 17661 1 - 0.0000 -
2906.27/2917.23 c 2917 19785 17720 1 - 0.0000 -
2911.46/2922.46 c 2922 19821 17746 1 - 0.0000 -
2917.43/2928.43 c 2928 19911 17832 1 - 0.0000 -
2923.03/2934.09 c 2934 19994 17895 1 - 0.0000 -
2928.70/2939.78 c 2940 20101 17962 1 - 0.0000 -
2934.18/2945.29 c 2945 20210 18068 1 - 0.0000 -
2939.56/2950.60 c 2951 20295 18151 1 - 0.0000 -
2945.44/2956.55 c 2957 20354 18206 1 - 0.0000 -
2951.42/2962.52 c 2963 20378 18230 1 - 0.0000 -
2957.20/2968.34 c 2968 20432 18276 1 - 0.0000 -
2963.68/2974.86 c 2975 20522 18330 1 - 0.0000 -
2969.06/2980.21 c 2980 20602 18371 1 - 0.0000 -
2974.84/2986.02 c 2986 20705 18460 1 - 0.0000 -
2980.21/2991.41 c 2991 20800 18539 1 - 0.0000 -
2986.79/2998.04 c 2998 20854 18587 1 - 0.0000 -
2991.96/3003.23 c 3003 20936 18669 1 - 0.0000 -
2997.55/3008.82 c 3009 20998 18729 1 - 0.0000 -
3003.12/3014.47 c 3014 21114 18845 1 - 0.0000 -
3008.40/3019.78 c 3020 21211 18901 1 - 0.0000 -
3013.79/3025.17 c 3025 21270 18960 1 - 0.0000 -
3019.06/3030.42 c 3030 21330 19002 1 - 0.0000 -
3025.43/3036.81 c 3037 21362 19034 1 - 0.0000 -
3034.59/3046.08 c 3046 21408 19062 1 - 0.0000 -
3041.06/3052.56 c 3053 21432 19082 1 - 0.0000 -
3046.84/3058.37 c 3058 21494 19137 1 - 0.0000 -
3052.82/3064.34 c 3064 21548 19177 1 - 0.0000 -
3058.29/3069.80 c 3070 21640 19258 1 - 0.0000 -
3063.97/3075.56 c 3076 21690 19308 1 - 0.0000 -
3069.55/3081.15 c 3081 21719 19332 1 - 0.0000 -
3075.03/3086.67 c 3087 21748 19361 1 - 0.0000 -
3080.71/3092.39 c 3092 21777 19390 1 - 0.0000 -
3086.59/3098.26 c 3098 21814 19427 1 - 0.0000 -
3091.77/3103.43 c 3103 21888 19475 1 - 0.0000 -
3097.45/3109.19 c 3109 22005 19542 1 - 0.0000 -
3102.92/3114.68 c 3115 22161 19622 1 - 0.0000 -
3108.09/3119.83 c 3120 22345 19676 1 - 0.0000 -
3113.29/3125.03 c 3125 22532 19715 1 - 0.0000 -
3119.06/3130.89 c 3131 22701 19758 1 - 0.0000 -
3124.51/3136.32 c 3136 22862 19804 1 - 0.0000 -
3129.56/3141.41 c 3141 23080 19922 1 - 0.0000 -
3134.91/3146.81 c 3147 23257 19976 1 - 0.0000 -
3140.07/3152.03 c 3152 23388 20008 1 - 0.0000 -
3145.22/3157.27 c 3157 23607 20157 1 - 0.0000 -
3150.37/3162.46 c 3162 23677 20189 1 - 0.0000 -
3156.41/3168.56 c 3169 23780 20232 1 - 0.0000 -
3161.46/3173.70 c 3174 23920 20242 1 - 0.0000 -
3167.31/3179.54 c 3180 24032 20251 1 - 0.0000 -
3172.66/3184.90 c 3185 24151 20299 1 - 0.0000 -
3178.10/3190.40 c 3190 24253 20322 1 - 0.0000 -
3183.15/3195.53 c 3196 24347 20333 1 - 0.0000 -
3188.43/3200.89 c 3201 24474 20345 1 - 0.0000 -
3193.91/3206.39 c 3206 24541 20359 1 - 0.0000 -
3200.69/3213.13 c 3213 24582 20374 1 - 0.0000 -
3205.97/3218.42 c 3218 24705 20385 1 - 0.0000 -
3211.05/3223.53 c 3224 24814 20416 1 - 0.0000 -
3216.13/3228.66 c 3229 24945 20424 1 - 0.0000 -
3221.52/3234.09 c 3234 25081 20432 1 - 0.0000 -
3226.70/3239.25 c 3239 25162 20450 1 - 0.0000 -
3232.08/3244.66 c 3245 25290 20457 1 - 0.0000 -
3237.46/3250.04 c 3250 25382 20464 1 - 0.0000 -
3242.55/3255.16 c 3255 25508 20536 1 - 0.0000 -
3248.02/3260.61 c 3261 25549 20561 1 - 0.0000 -
3253.80/3266.43 c 3266 25612 20589 1 - 0.0000 -
3270.04/3282.76 c 3283 25726 20617 1 - 0.0000 -
3275.82/3288.58 c 3289 25820 20655 1 - 0.0000 -
3281.10/3293.89 c 3294 25916 20702 1 - 0.0000 -
3286.58/3299.32 c 3299 26055 20749 1 - 0.0000 -
3292.06/3304.81 c 3305 26196 20775 1 - 0.0000 -
3297.35/3310.15 c 3310 26315 20796 1 - 0.0000 -
3302.42/3315.27 c 3315 26402 20814 1 - 0.0000 -
3307.60/3320.43 c 3320 26517 20825 1 - 0.0000 -
3313.77/3326.61 c 3327 26632 20841 1 - 0.0000 -
3318.95/3331.85 c 3332 26775 20849 1 - 0.0000 -
3324.33/3337.28 c 3337 26874 20860 1 - 0.0000 -
3330.11/3343.05 c 3343 26938 20882 1 - 0.0000 -
3336.37/3349.37 c 3349 27043 20903 1 - 0.0000 -
3341.56/3354.54 c 3355 27170 20941 1 - 0.0000 -
3347.43/3360.45 c 3360 27275 20950 1 - 0.0000 -
3352.81/3365.87 c 3366 27383 20982 1 - 0.0000 -
3358.38/3371.42 c 3371 27477 21000 1 - 0.0000 -
3364.36/3377.43 c 3377 27590 21006 1 - 0.0000 -
3370.35/3383.45 c 3383 27676 21013 1 - 0.0000 -
3377.12/3390.22 c 3390 27789 21023 1 - 0.0000 -
3382.10/3395.23 c 3395 27866 21032 1 - 0.0000 -
3387.38/3400.50 c 3400 28003 21060 1 - 0.0000 -
3392.86/3406.00 c 3406 28116 21085 1 - 0.0000 -
3397.95/3411.14 c 3411 28218 21109 1 - 0.0000 -
3404.03/3417.29 c 3417 28302 21123 1 - 0.0000 -
3409.21/3422.49 c 3422 28403 21138 1 - 0.0000 -
3414.69/3427.93 c 3428 28544 21159 1 - 0.0000 -
3421.66/3434.94 c 3435 28632 21175 1 - 0.0000 -
3427.24/3440.58 c 3441 28766 21192 1 - 0.0000 -
3433.42/3446.71 c 3447 28872 21201 1 - 0.0000 -
3440.00/3453.33 c 3453 29006 21214 1 - 0.0000 -
3446.08/3459.43 c 3459 29035 21234 1 - 0.0000 -
3451.26/3464.66 c 3465 29162 21243 1 - 0.0000 -
3456.65/3470.00 c 3470 29307 21250 1 - 0.0000 -
3462.02/3475.47 c 3475 29411 21269 1 - 0.0000 -
3467.40/3480.88 c 3481 29542 21278 1 - 0.0000 -
3472.59/3486.05 c 3486 29685 21287 1 - 0.0000 -
3478.27/3491.73 c 3492 29782 21293 1 - 0.0000 -
3483.35/3496.83 c 3497 29902 21310 1 - 0.0000 -
3488.54/3502.10 c 3502 30020 21325 1 - 0.0000 -
3494.01/3507.58 c 3508 30132 21338 1 - 0.0000 -
3499.29/3512.89 c 3513 30265 21352 1 - 0.0000 -
3504.49/3518.04 c 3518 30409 21359 1 - 0.0000 -
3509.67/3523.24 c 3523 30540 21373 1 - 0.0000 -
3514.85/3528.43 c 3528 30649 21391 1 - 0.0000 -
3519.93/3533.58 c 3534 30783 21405 1 - 0.0000 -
3525.31/3538.90 c 3539 30896 21417 1 - 0.0000 -
3530.59/3544.25 c 3544 31032 21426 1 - 0.0000 -
3535.67/3549.36 c 3549 31150 21440 1 - 0.0000 -
3540.76/3554.48 c 3554 31239 21458 1 - 0.0000 -
3547.04/3560.78 c 3561 31342 21486 1 - 0.0000 -
3552.32/3566.01 c 3566 31414 21531 1 - 0.0000 -
3557.40/3571.18 c 3571 31502 21574 1 - 0.0000 -
3562.67/3576.42 c 3576 31603 21604 1 - 0.0000 -
3567.96/3581.77 c 3582 31712 21627 1 - 0.0000 -
3573.35/3587.14 c 3587 31831 21655 1 - 0.0000 -
3579.22/3593.07 c 3593 31912 21677 1 - 0.0000 -
3584.40/3598.21 c 3598 32036 21700 1 - 0.0000 -
3586.60/3600.46 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.60/3600.46 c Total Time : 3600.4600
3586.60/3600.46 c solving : 3600.4600
3586.60/3600.46 c presolving : 0.4853 (included in solving)
3586.60/3600.46 c B&B Tree :
3586.60/3600.46 c nodes (total) : 1
3586.60/3600.46 c Solution :
3586.60/3600.46 c Solutions found : 0
3586.60/3600.46 c Primal Bound : -
3586.60/3600.46 c Dual Bound : +0.00000000000000e+00
3586.60/3600.46 c Gap : -
3586.69/3600.50 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: 63968 MiB (61539 MiB free)
memory of node 1: 64473 MiB (61563 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452520-1721430500/watcher-4452520-1721430500 -o /tmp/evaluation-result-4452520-1721430500/solver-4452520-1721430500 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028660 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4452520-1721430500.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1034192, runsolver pid=1034189
Current StackSize limit: 8192 KiB
[startup+0.100098 s]*
/proc/loadavg: 4.12 4.13 4.09 5/261 1034193
/proc/meminfo: memFree=125980456/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=103168 memory=89704 CPUtime=0.09 cores=0,2
/proc/1034192/stat : 1034192 (fscip) R 1034189 1034192 1028650 0 -1 4194304 20211 0 0 0 7 2 0 0 20 0 1 0 195214941 105644032 22426 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 25792 22426 2574 3032 0 22192 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103168 KiB
Current children cumulated memory: 89704 KiB
[startup+0.205416 s]*
/proc/loadavg: 4.12 4.13 4.09 5/261 1034193
/proc/meminfo: memFree=125966512/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=118564 memory=101716 CPUtime=0.2 cores=0,2
/proc/1034192/stat : 1034192 (fscip) R 1034189 1034192 1028650 0 -1 4194304 26833 0 0 0 17 3 0 0 20 0 1 0 195214941 121409536 25429 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 29641 25429 2718 3032 0 26041 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 118564 KiB
Current children cumulated memory: 101716 KiB
[startup+0.305403 s]*
/proc/loadavg: 4.12 4.13 4.09 5/261 1034193
/proc/meminfo: memFree=125939056/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=148456 memory=128652 CPUtime=0.3 cores=0,2
/proc/1034192/stat : 1034192 (fscip) R 1034189 1034192 1028650 0 -1 4194304 31661 0 0 0 26 4 0 0 20 0 1 0 195214941 152018944 32163 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 37114 32163 2734 3032 0 33514 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 148456 KiB
Current children cumulated memory: 128652 KiB
[startup+0.701172 s]
/proc/loadavg: 4.12 4.13 4.09 5/261 1034193
/proc/meminfo: memFree=125791488/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=551944 memory=364140 CPUtime=0.69 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 97435 0 0 0 56 13 0 0 20 0 3 0 195214941 565190656 91035 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 137986 91035 2782 3032 0 118628 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 551944 KiB
Current children cumulated memory: 364140 KiB
[startup+1.50117 s]
/proc/loadavg: 4.11 4.13 4.09 5/263 1034195
/proc/meminfo: memFree=125650112/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=643816 memory=453304 CPUtime=1.48 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 119401 0 0 0 132 16 0 0 20 0 3 0 195214941 659267584 113326 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 160954 113326 2830 3032 0 143445 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=643816 memory=4148 CPUtime=0.85 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 38594 0 0 0 80 5 0 0 20 0 3 0 195215000 659267584 113326 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=643816 memory=11648 CPUtime=0 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 195215008 659267584 113326 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 643816 KiB
Current children cumulated memory: 453304 KiB
[startup+3.10616 s]
/proc/loadavg: 4.11 4.13 4.09 5/263 1034197
/proc/meminfo: memFree=125552832/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=713600 memory=515188 CPUtime=3.07 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 153209 0 0 0 288 19 0 0 20 0 3 0 195214941 730726400 128797 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 178400 128797 2910 3032 0 159414 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=713600 memory=15996 CPUtime=2.43 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 72398 0 0 0 235 8 0 0 20 0 3 0 195215000 730726400 128797 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=713600 memory=386380 CPUtime=0 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 195215008 730726400 128797 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 713600 KiB
Current children cumulated memory: 515188 KiB
[startup+6.30117 s]
/proc/loadavg: 4.18 4.14 4.10 5/263 1034197
/proc/meminfo: memFree=125506188/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=722208 memory=559620 CPUtime=6.23 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 169398 0 0 0 602 21 0 0 20 0 3 0 195214941 739540992 139905 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 180552 139905 2910 3032 0 170967 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=722208 memory=554140 CPUtime=5.6 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 88584 0 0 0 550 10 0 0 20 0 3 0 195215000 739540992 139905 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=722208 memory=0 CPUtime=0 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 195215008 739540992 139905 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 722208 KiB
Current children cumulated memory: 559620 KiB
[startup+12.7012 s]
/proc/loadavg: 4.17 4.14 4.10 5/263 1034197
/proc/meminfo: memFree=125475320/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=791640 memory=590748 CPUtime=12.57 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 212128 0 0 0 1232 25 0 0 20 0 3 0 195214941 810639360 147687 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 197910 147687 2910 3032 0 178880 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=791640 memory=590748 CPUtime=11.95 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 131308 0 0 0 1180 15 0 0 20 0 3 0 195215000 810639360 147687 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=791640 memory=241359075026 CPUtime=0 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 195215008 810639360 147687 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 12.57 s
Current children cumulated vsize: 791640 KiB
Current children cumulated memory: 590748 KiB
[startup+25.5012 s]
/proc/loadavg: 4.14 4.14 4.10 5/263 1034200
/proc/meminfo: memFree=125369296/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=862632 memory=695312 CPUtime=25.25 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 323542 0 0 0 2491 34 0 0 20 0 3 0 195214941 883335168 173828 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 215658 173828 2910 3032 0 210857 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=862632 memory=11648 CPUtime=24.62 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 242711 0 0 0 2439 23 0 0 20 0 3 0 195215000 883335168 173828 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=862632 memory=0 CPUtime=0 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 195215008 883335168 173828 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 862632 KiB
Current children cumulated memory: 695312 KiB
[startup+51.1054 s]
/proc/loadavg: 4.17 4.14 4.10 5/263 1034203
/proc/meminfo: memFree=125363252/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=862632 memory=695636 CPUtime=50.63 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 374534 0 0 0 5026 37 0 0 20 0 3 0 195214941 883335168 173909 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 215658 173909 2910 3032 0 210857 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=862632 memory=695516 CPUtime=50 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 293652 0 0 0 4974 26 0 0 20 0 3 0 195215000 883335168 173909 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=862632 memory=695516 CPUtime=0 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 195215008 883335168 173909 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 50.63 s
Current children cumulated vsize: 862632 KiB
Current children cumulated memory: 695636 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 1034215
/proc/meminfo: memFree=125255764/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=928168 memory=747956 CPUtime=101.62 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 498202 0 0 0 10115 47 0 0 20 0 3 0 195214941 950444032 186989 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 232042 186989 2958 3032 0 218421 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=928168 memory=747956 CPUtime=100.99 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 417251 0 0 0 10063 36 0 0 20 0 3 0 195215000 950444032 186989 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=928168 memory=31748 CPUtime=0 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 195215008 950444032 186989 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 101.62 s
Current children cumulated vsize: 928168 KiB
Current children cumulated memory: 747956 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 1034226
/proc/meminfo: memFree=125252164/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=928168 memory=749468 CPUtime=161.34 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 611833 0 0 0 16079 55 0 0 20 0 3 0 195214941 950444032 187367 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 232042 187367 2958 3032 0 218421 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=928168 memory=749452 CPUtime=160.7 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 530816 0 0 0 16026 44 0 0 20 0 3 0 195215000 950444032 187367 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=928168 memory=11648 CPUtime=0 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 195215008 950444032 187367 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 161.34 s
Current children cumulated vsize: 928168 KiB
Current children cumulated memory: 749468 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/264 1034236
/proc/meminfo: memFree=125234940/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=928168 memory=749476 CPUtime=221.07 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 666227 0 0 0 22047 60 0 0 20 0 3 0 195214941 950444032 187369 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 232042 187369 2958 3032 0 218421 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=928168 memory=749472 CPUtime=220.43 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 585153 0 0 0 21994 49 0 0 20 0 3 0 195215000 950444032 187369 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=928168 memory=749476 CPUtime=0 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 195215008 950444032 187369 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 221.07 s
Current children cumulated vsize: 928168 KiB
Current children cumulated memory: 749476 KiB
################
# More data... #
################
[pid=1034192] ppid=1034189 vsize=1191888 memory=1077312 CPUtime=3448.97 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 1441360 0 0 0 344718 179 0 0 20 0 3 0 195214941 1220493312 269328 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 297972 269328 2958 3032 0 285077 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=1191888 memory=46416 CPUtime=3448.14 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 1359364 0 0 0 344653 161 0 0 20 0 3 0 195215000 1220493312 269328 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=1191888 memory=1077284 CPUtime=0.04 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 144 0 0 0 1 3 0 0 20 0 3 0 195215008 1220493312 269328 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 3448.97 s
Current children cumulated vsize: 1191888 KiB
Current children cumulated memory: 1077312 KiB
[startup+3522.3 s]
/proc/loadavg: 2.20 3.23 3.79 3/245 1036121
/proc/meminfo: memFree=125197904/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=1191888 memory=1077312 CPUtime=3508.77 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 1450138 0 0 0 350696 181 0 0 20 0 3 0 195214941 1220493312 269328 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 297972 269328 2958 3032 0 285077 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=1191888 memory=46416 CPUtime=3507.93 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 1368125 0 0 0 350630 163 0 0 20 0 3 0 195215000 1220493312 269328 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=1191888 memory=1077312 CPUtime=0.04 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 145 0 0 0 1 3 0 0 20 0 3 0 195215008 1220493312 269328 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 3508.77 s
Current children cumulated vsize: 1191888 KiB
Current children cumulated memory: 1077312 KiB
[startup+3582.3 s]
/proc/loadavg: 2.18 3.04 3.69 3/244 1036132
/proc/meminfo: memFree=125098288/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=1191888 memory=1077372 CPUtime=3568.56 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 1458686 0 0 0 356673 183 0 0 20 0 3 0 195214941 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 297972 269343 2958 3032 0 285077 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=1191888 memory=46416 CPUtime=3567.71 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 1376654 0 0 0 356607 164 0 0 20 0 3 0 195215000 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=1191888 memory=11648 CPUtime=0.04 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 195215008 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 3568.56 s
Current children cumulated vsize: 1191888 KiB
Current children cumulated memory: 1077372 KiB
[startup+3600.51 s]
# the end of solver process 1034192 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.86 s, system=1.85496 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.18 3.04 3.69 3/244 1036134
/proc/meminfo: memFree=125098372/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=1191888 memory=1077372 CPUtime=3570.26 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 1458723 0 0 0 356843 183 0 0 20 0 3 0 195214941 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 297972 269343 2958 3032 0 285077 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=1191888 memory=33808 CPUtime=3569.42 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 1376690 0 0 0 356777 165 0 0 20 0 3 0 195215000 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=1191888 memory=34996 CPUtime=0.04 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 195215008 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 3570.26 s
Current children cumulated vsize: 1191888 KiB
Current children cumulated memory: 1077372 KiB
[startup+3590.4 s]
/proc/loadavg: 2.16 3.02 3.68 3/244 1036134
/proc/meminfo: memFree=125098312/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=1191888 memory=1077372 CPUtime=3576.63 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 1458950 0 0 0 357480 183 0 0 20 0 3 0 195214941 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 297972 269343 2958 3032 0 285077 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=1191888 memory=46416 CPUtime=3575.79 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 1376917 0 0 0 357414 165 0 0 20 0 3 0 195215000 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=1191888 memory=5432 CPUtime=0.04 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 195215008 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 3576.63 s
Current children cumulated vsize: 1191888 KiB
Current children cumulated memory: 1077372 KiB
[startup+3596.8 s]
/proc/loadavg: 2.15 3.00 3.67 3/244 1036135
/proc/meminfo: memFree=125098284/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=1191888 memory=1077372 CPUtime=3583 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 1459349 0 0 0 358117 183 0 0 20 0 3 0 195214941 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 297972 269343 2958 3032 0 285077 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=1191888 memory=1077372 CPUtime=3582.16 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 1377309 0 0 0 358051 165 0 0 20 0 3 0 195215000 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=1191888 memory=1077372 CPUtime=0.04 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 195215008 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 3583 s
Current children cumulated vsize: 1191888 KiB
Current children cumulated memory: 1077372 KiB
[startup+3598.4 s]
/proc/loadavg: 2.14 2.98 3.66 3/244 1036135
/proc/meminfo: memFree=125098284/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=1191888 memory=1077372 CPUtime=3584.6 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 1459382 0 0 0 358277 183 0 0 20 0 3 0 195214941 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 297972 269343 2958 3032 0 285077 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=1191888 memory=1077372 CPUtime=3583.76 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 1377333 0 0 0 358211 165 0 0 20 0 3 0 195215000 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=1191888 memory=1077372 CPUtime=0.04 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 195215008 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 3584.6 s
Current children cumulated vsize: 1191888 KiB
Current children cumulated memory: 1077372 KiB
[startup+3599.2 s]
/proc/loadavg: 2.14 2.98 3.66 3/244 1036135
/proc/meminfo: memFree=125098284/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=1191888 memory=1077372 CPUtime=3585.39 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 1459389 0 0 0 358356 183 0 0 20 0 3 0 195214941 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 297972 269343 2958 3032 0 285077 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=1191888 memory=11648 CPUtime=3584.55 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 1377340 0 0 0 358290 165 0 0 20 0 3 0 195215000 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=1191888 memory=46416 CPUtime=0.04 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 195215008 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 3585.39 s
Current children cumulated vsize: 1191888 KiB
Current children cumulated memory: 1077372 KiB
[startup+3600 s]*
/proc/loadavg: 2.14 2.98 3.66 3/244 1036135
/proc/meminfo: memFree=125098124/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=1191888 memory=1077372 CPUtime=3586.2 cores=0,2
/proc/1034192/stat : 1034192 (fscip) R 1034189 1034192 1028650 0 -1 1077936128 1459454 0 0 0 358437 183 0 0 20 0 3 0 195214941 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 297972 269343 2958 3032 0 285077 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=1191888 memory=-7240236539081626471 CPUtime=3585.36 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 1377405 0 0 0 358371 165 0 0 20 0 3 0 195215000 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=1191888 memory=-9044459746194447340 CPUtime=0.04 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 195215008 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 3586.2 s
Current children cumulated vsize: 1191888 KiB
Current children cumulated memory: 1077372 KiB
[startup+3600.4 s]
/proc/loadavg: 2.14 2.98 3.66 3/244 1036135
/proc/meminfo: memFree=125098124/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=1191888 memory=1077372 CPUtime=3586.6 cores=0,2
/proc/1034192/stat : 1034192 (fscip) S 1034189 1034192 1028650 0 -1 1077936128 1466533 0 0 0 358476 184 0 0 20 0 3 0 195214941 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 297972 269343 2958 3032 0 285077 0
[pid=1034192/tid=1034194] ppid=1034189 vsize=1191888 memory=32224 CPUtime=3585.75 cores=0,2
/proc/1034192/task/1034194/stat : 1034194 (fscip) R 1034189 1034192 1028650 0 -1 4194368 1384482 0 0 0 358410 165 0 0 20 0 3 0 195215000 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=1191888 memory=18984 CPUtime=0.04 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 3 0 195215008 1220493312 269343 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 3586.6 s
Current children cumulated vsize: 1191888 KiB
Current children cumulated memory: 1077372 KiB
[startup+3600.5 s]
/proc/loadavg: 2.14 2.98 3.66 3/244 1036135
/proc/meminfo: memFree=125098124/131524600 swapFree=131070704/131071996
[pid=1034192] ppid=1034189 vsize=1103328 memory=992716 CPUtime=3586.69 cores=0,2
/proc/1034192/stat : 1034192 (fscip) R 1034189 1034192 1028650 0 -1 4194304 1469718 0 0 0 358485 184 0 0 20 0 2 0 195214941 1129807872 248179 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
/proc/1034192/statm: 275832 248179 2958 3032 0 262937 0
[pid=1034192/tid=1034195] ppid=1034189 vsize=1103328 memory=1077372 CPUtime=0.04 cores=0,2
/proc/1034192/task/1034195/stat : 1034195 (fscip) S 1034189 1034192 1028650 0 -1 1077936192 146 0 0 0 1 3 0 0 20 0 2 0 195215008 1129807872 248179 134679101440 4194304 16613245 140724693930864 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 47214592 140724693939219 140724693939335 140724693939335 140724693946352 0
Current children cumulated CPU time: 3586.69 s
Current children cumulated vsize: 1103328 KiB
Current children cumulated memory: 992716 KiB
Child status: 0
Real time (s): 3600.51
CPU time (s): 3586.72
CPU user time (s): 3584.86
CPU system time (s): 1.85496
CPU usage (%): 99.6168
Max. virtual memory (cumulated for all children) (KiB): 1191888
Max. memory (cumulated for all children) (KiB): 1077372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.86
system time used= 1.85496
maximum resident set size= 1077372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1469818
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= 9192
involuntary context switches= 25889
# summary of solver processes directly reported to runsolver:
# pid: 1034192
# total CPU time (s): 3586.72
# total CPU user time (s): 3584.86
# total CPU system time (s): 1.85496
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.78391 second user time and 16.7427 second system time
The end
Begin job on nodeC023 at 2024-07-20 01:08:32
IDJOB=4452520
IDBENCH=164400
IDSOLVER=3064
FILE ID=nodeC023/4452520-1721430500
RUNJOBID= nodeC023-1721423005-1028660
SLURM_JOB_ID= 7545608
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-952987.0.d.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-4452520-1721430500/watcher-4452520-1721430500 -o /tmp/evaluation-result-4452520-1721430500/solver-4452520-1721430500 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721423005-1028660 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4452520-1721430500.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c2f3e0c6154609bf2d3178c0d208b6f5
RANDOM SEED=371883989
nodeC023.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 : 3662.117
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.61
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 : 3687.876
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 : 7005.48
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 : 3669.632
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.61
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 : 3600.221
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 : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.887
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.61
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 : 3687.909
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 : 7005.48
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 : 3609.459
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.61
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 : 3599.902
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 : 7005.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126058060 kB
MemAvailable: 128257136 kB
Buffers: 567308 kB
Cached: 2468000 kB
SwapCached: 80 kB
Active: 1199728 kB
Inactive: 3695352 kB
Active(anon): 1588 kB
Inactive(anon): 1903916 kB
Active(file): 1198140 kB
Inactive(file): 1791436 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070704 kB
Dirty: 29040 kB
Writeback: 32 kB
AnonPages: 1858900 kB
Mapped: 143272 kB
Shmem: 45728 kB
KReclaimable: 98644 kB
Slab: 192308 kB
SReclaimable: 98644 kB
SUnreclaim: 93664 kB
KernelStack: 4128 kB
PageTables: 12836 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1731180 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 33760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 968704 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: 316116 kB
DirectMap2M: 38254592 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890024 MiB
End job on nodeC023 at 2024-07-20 02:08:33