0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 39612416, getVmSize() = 39612416, SCIPgetMemUsed() = 14659489, SCIPgetMemTotal() = 17735513, SCIPgetMemExternEstim() = 7720528
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
3.99/4.10 c ** Estimated virtualMemUsedAtSolver = 49360825, getVmSize() = 90365952, SCIPgetMemUsed() = 45545654, SCIPgetMemTotal() = 66320710, SCIPgetMemExternEstim() = 7720528
3.99/4.10 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
3.99/4.10 c Original Problem :
3.99/4.10 c Problem name : instance-4464470-1722385794
3.99/4.10 c Variables : 3960 (3960 binary, 0 integer, 0 implicit integer, 0 continuous)
3.99/4.10 c Constraints : 4106
3.99/4.10 c Objective sense : minimize
3.99/4.10 c Presolved Problem :
3.99/4.10 c Variables : 3155 (3155 binary, 0 integer, 0 implicit integer, 0 continuous)
3.99/4.10 c Constraints : 3273
3.99/4.10 c Constraints : Number
3.99/4.10 c setppc : 667
3.99/4.10 c logicor : 2606
3.99/4.10 c ** Instance transfer method used: 0
4.09/4.11 c ** ParaScipInstance copy does not increase the number of variables. **
4.09/4.12 c LC is working with racing ramp-up and with rebuilding tree after racing.
4.09/4.12 c Nodes Active
4.09/4.12 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
27.61/27.76 c 28 2 1 1 - 0.0000 -
33.49/33.67 c 34 25 20 1 - 0.0000 -
38.57/38.75 c 39 53 26 1 - 0.0000 -
43.57/43.78 c 44 86 23 1 - 0.0000 -
49.45/49.67 c 50 122 29 1 - 0.0000 -
55.43/55.69 c 56 154 29 1 - 0.0000 -
61.21/61.49 c 61 197 26 1 - 0.0000 -
68.29/68.55 c 69 225 30 1 - 0.0000 -
73.68/73.98 c 74 303 32 1 - 0.0000 -
79.05/79.35 c 79 353 34 1 - 0.0000 -
84.34/84.66 c 85 434 39 1 - 0.0000 -
89.52/89.89 c 90 510 35 1 - 0.0000 -
94.91/95.25 c 95 595 36 1 - 0.0000 -
100.59/100.96 c 101 630 37 1 - 0.0000 -
105.98/106.32 c 106 666 37 1 - 0.0000 -
111.37/111.79 c 112 699 36 1 - 0.0000 -
117.26/117.63 c 118 741 32 1 - 0.0000 -
122.76/123.15 c 123 772 33 1 - 0.0000 -
128.43/128.82 c 129 812 33 1 - 0.0000 -
133.63/134.07 c 134 863 34 1 - 0.0000 -
138.81/139.26 c 139 912 35 1 - 0.0000 -
144.00/144.47 c 144 962 33 1 - 0.0000 -
149.39/149.80 c 150 1035 34 1 - 0.0000 -
155.07/155.50 c 156 1078 33 1 - 0.0000 -
160.67/161.17 c 161 1114 33 1 - 0.0000 -
166.15/166.64 c 167 1169 34 1 - 0.0000 -
171.74/172.23 c 172 1210 31 1 - 0.0000 -
177.12/177.63 c 178 1259 34 1 - 0.0000 -
183.00/183.59 c 184 1297 35 1 - 0.0000 -
188.28/188.80 c 189 1341 35 1 - 0.0000 -
193.97/194.58 c 195 1379 36 1 - 0.0000 -
199.35/199.96 c 200 1433 40 1 - 0.0000 -
205.24/205.86 c 206 1467 34 1 - 0.0000 -
210.91/211.56 c 212 1530 35 1 - 0.0000 -
216.80/217.47 c 217 1575 36 1 - 0.0000 -
223.18/223.82 c 224 1623 40 1 - 0.0000 -
245.32/246.03 c 246 1671 1 1 - 0.0000 -
251.19/251.98 c 252 1677 7 1 - 0.0000 -
259.17/259.96 c 260 1678 8 1 - 0.0000 -
264.76/265.57 c 266 1679 9 1 - 0.0000 -
272.25/273.02 c 273 1682 12 1 - 0.0000 -
278.91/279.77 c 280 1684 14 1 - 0.0000 -
332.85/333.87 c 334 1685 15 1 - 0.0000 -
346.31/347.32 c 347 1687 17 1 - 0.0000 -
357.28/358.32 c 358 1689 19 1 - 0.0000 -
366.07/367.18 c 367 1691 21 1 - 0.0000 -
373.33/374.48 c 374 1694 24 1 - 0.0000 -
379.61/380.76 c 381 1699 29 1 - 0.0000 -
385.20/386.33 c 386 1709 37 1 - 0.0000 -
390.89/392.04 c 392 1716 44 1 - 0.0000 -
395.87/397.10 c 397 1742 48 1 - 0.0000 -
401.64/402.85 c 403 1765 49 1 - 0.0000 -
407.42/408.68 c 409 1800 54 1 - 0.0000 -
412.92/414.15 c 414 1842 56 1 - 0.0000 -
418.29/419.56 c 420 1884 54 1 - 0.0000 -
423.68/424.91 c 425 1929 59 1 - 0.0000 -
429.07/430.37 c 430 1972 54 1 - 0.0000 -
434.45/435.72 c 436 2019 53 1 - 0.0000 -
439.75/441.07 c 441 2070 56 1 - 0.0000 -
445.02/446.31 c 446 2124 56 1 - 0.0000 -
450.31/451.68 c 452 2165 57 1 - 0.0000 -
455.89/457.28 c 457 2215 55 1 - 0.0000 -
461.47/462.81 c 463 2263 55 1 - 0.0000 -
467.17/468.51 c 468 2310 56 1 - 0.0000 -
472.45/473.82 c 474 2353 55 1 - 0.0000 -
477.94/479.30 c 479 2392 54 1 - 0.0000 -
483.52/484.99 c 485 2441 55 1 - 0.0000 -
489.30/490.77 c 491 2493 57 1 - 0.0000 -
495.08/496.58 c 497 2548 56 1 - 0.0000 -
500.58/502.06 c 502 2605 59 1 - 0.0000 -
505.96/507.43 c 507 2653 59 1 - 0.0000 -
511.15/512.66 c 513 2719 56 1 - 0.0000 -
516.44/517.98 c 518 2768 57 1 - 0.0000 -
522.02/523.51 c 524 2811 54 1 - 0.0000 -
527.41/528.98 c 529 2865 56 1 - 0.0000 -
533.39/534.95 c 535 2917 56 1 - 0.0000 -
538.78/540.37 c 540 2963 61 1 - 0.0000 -
544.17/545.76 c 546 3012 60 1 - 0.0000 -
549.66/551.26 c 551 3062 59 1 - 0.0000 -
555.05/556.65 c 557 3107 56 1 - 0.0000 -
560.34/561.91 c 562 3153 58 1 - 0.0000 -
565.83/567.41 c 567 3202 59 1 - 0.0000 -
571.53/573.17 c 573 3254 57 1 - 0.0000 -
576.80/578.45 c 578 3299 58 1 - 0.0000 -
582.29/583.93 c 584 3333 58 1 - 0.0000 -
588.17/589.89 c 590 3384 57 1 - 0.0000 -
594.16/595.89 c 596 3432 57 1 - 0.0000 -
599.55/601.24 c 601 3483 58 1 - 0.0000 -
605.04/606.78 c 607 3526 55 1 - 0.0000 -
610.92/612.60 c 613 3576 53 1 - 0.0000 -
616.32/618.11 c 618 3618 55 1 - 0.0000 -
621.90/623.61 c 624 3667 54 1 - 0.0000 -
627.19/628.98 c 629 3721 56 1 - 0.0000 -
632.67/634.45 c 634 3758 53 1 - 0.0000 -
638.06/639.82 c 640 3811 54 1 - 0.0000 -
643.45/645.26 c 645 3874 59 1 - 0.0000 -
648.84/650.68 c 651 3945 59 1 - 0.0000 -
654.52/656.31 c 656 4003 56 1 - 0.0000 -
660.22/662.04 c 662 4051 58 1 - 0.0000 -
665.40/667.27 c 667 4114 57 1 - 0.0000 -
670.98/672.83 c 673 4165 54 1 - 0.0000 -
676.67/678.53 c 679 4218 55 1 - 0.0000 -
682.28/684.11 c 684 4262 53 1 - 0.0000 -
687.95/689.89 c 690 4307 54 1 - 0.0000 -
693.34/695.23 c 695 4354 53 1 - 0.0000 -
699.24/701.14 c 701 4387 54 1 - 0.0000 -
704.81/706.74 c 707 4451 60 1 - 0.0000 -
710.60/712.55 c 713 4511 54 1 - 0.0000 -
716.20/718.17 c 718 4574 53 1 - 0.0000 -
721.97/723.99 c 724 4614 53 1 - 0.0000 -
727.46/729.48 c 729 4661 54 1 - 0.0000 -
732.74/734.76 c 735 4706 55 1 - 0.0000 -
738.14/740.16 c 740 4772 59 1 - 0.0000 -
743.22/745.28 c 745 4843 62 1 - 0.0000 -
748.60/750.63 c 751 4903 58 1 - 0.0000 -
754.10/756.17 c 756 4963 58 1 - 0.0000 -
760.19/762.23 c 762 5002 57 1 - 0.0000 -
765.57/767.66 c 768 5065 58 1 - 0.0000 -
770.97/773.05 c 773 5127 60 1 - 0.0000 -
776.55/778.62 c 779 5195 56 1 - 0.0000 -
782.05/784.14 c 784 5247 56 1 - 0.0000 -
787.82/789.98 c 790 5310 55 1 - 0.0000 -
793.30/795.48 c 795 5362 55 1 - 0.0000 -
798.90/801.09 c 801 5412 55 1 - 0.0000 -
804.28/806.49 c 806 5465 56 1 - 0.0000 -
809.67/811.86 c 812 5532 55 1 - 0.0000 -
815.05/817.27 c 817 5587 58 1 - 0.0000 -
820.44/822.68 c 823 5646 57 1 - 0.0000 -
825.84/828.11 c 828 5695 56 1 - 0.0000 -
831.41/833.60 c 834 5749 54 1 - 0.0000 -
837.20/839.44 c 839 5791 54 1 - 0.0000 -
843.08/845.30 c 845 5837 60 1 - 0.0000 -
848.37/850.63 c 851 5868 59 1 - 0.0000 -
853.95/856.21 c 856 5935 60 1 - 0.0000 -
859.44/861.70 c 862 5996 63 1 - 0.0000 -
864.53/866.86 c 867 6055 56 1 - 0.0000 -
870.11/872.46 c 872 6110 57 1 - 0.0000 -
875.50/877.86 c 878 6176 57 1 - 0.0000 -
880.90/883.21 c 883 6235 57 1 - 0.0000 -
886.58/888.90 c 889 6317 57 1 - 0.0000 -
892.17/894.52 c 895 6374 62 1 - 0.0000 -
897.55/899.95 c 900 6443 57 1 - 0.0000 -
903.14/905.56 c 906 6505 57 1 - 0.0000 -
908.43/910.82 c 911 6555 55 1 - 0.0000 -
914.02/916.40 c 916 6595 55 1 - 0.0000 -
919.50/921.95 c 922 6646 58 1 - 0.0000 -
924.99/927.41 c 927 6703 57 1 - 0.0000 -
930.27/932.78 c 933 6757 55 1 - 0.0000 -
936.06/938.55 c 939 6800 56 1 - 0.0000 -
941.56/944.03 c 944 6838 54 1 - 0.0000 -
946.73/949.21 c 949 6878 56 1 - 0.0000 -
952.32/954.85 c 955 6923 53 1 - 0.0000 -
958.11/960.69 c 961 6971 53 1 - 0.0000 -
963.61/966.18 c 966 7021 57 1 - 0.0000 -
968.88/971.41 c 971 7071 53 1 - 0.0000 -
974.49/977.06 c 977 7123 55 1 - 0.0000 -
980.36/982.96 c 983 7167 53 1 - 0.0000 -
985.65/988.25 c 988 7208 54 1 - 0.0000 -
990.94/993.57 c 994 7251 53 1 - 0.0000 -
996.63/999.26 c 999 7293 53 1 - 0.0000 -
1002.01/1004.63 c 1005 7347 51 1 - 0.0000 -
1007.41/1010.08 c 1010 7398 54 1 - 0.0000 -
1012.69/1015.35 c 1015 7445 51 1 - 0.0000 -
1018.27/1020.90 c 1021 7496 52 1 - 0.0000 -
1023.47/1026.16 c 1026 7536 54 1 - 0.0000 -
1029.24/1031.94 c 1032 7578 52 1 - 0.0000 -
1034.92/1037.68 c 1038 7622 54 1 - 0.0000 -
1040.90/1043.62 c 1044 7671 51 1 - 0.0000 -
1046.48/1049.25 c 1049 7722 54 1 - 0.0000 -
1051.77/1054.58 c 1055 7766 54 1 - 0.0000 -
1057.27/1060.06 c 1060 7818 52 1 - 0.0000 -
1063.03/1065.89 c 1066 7863 55 1 - 0.0000 -
1068.52/1071.39 c 1071 7907 53 1 - 0.0000 -
1074.01/1076.85 c 1077 7949 53 1 - 0.0000 -
1079.69/1082.54 c 1083 7987 53 1 - 0.0000 -
1085.47/1088.35 c 1088 8037 55 1 - 0.0000 -
1091.45/1094.36 c 1094 8071 55 1 - 0.0000 -
1096.74/1099.60 c 1100 8124 54 1 - 0.0000 -
1102.32/1105.22 c 1105 8167 55 1 - 0.0000 -
1107.81/1110.73 c 1111 8218 56 1 - 0.0000 -
1113.29/1116.28 c 1116 8258 56 1 - 0.0000 -
1118.87/1121.81 c 1122 8315 57 1 - 0.0000 -
1124.45/1127.41 c 1127 8360 54 1 - 0.0000 -
1129.94/1132.99 c 1133 8412 56 1 - 0.0000 -
1135.62/1138.69 c 1139 8454 54 1 - 0.0000 -
1141.40/1144.42 c 1144 8506 56 1 - 0.0000 -
1146.78/1149.85 c 1150 8551 55 1 - 0.0000 -
1152.37/1155.47 c 1155 8594 54 1 - 0.0000 -
1157.97/1161.08 c 1161 8639 53 1 - 0.0000 -
1163.64/1166.76 c 1167 8682 54 1 - 0.0000 -
1169.12/1172.21 c 1172 8726 54 1 - 0.0000 -
1174.92/1178.09 c 1178 8771 53 1 - 0.0000 -
1180.69/1183.87 c 1184 8815 53 1 - 0.0000 -
1186.47/1189.68 c 1190 8854 54 1 - 0.0000 -
1191.75/1194.98 c 1195 8909 53 1 - 0.0000 -
1197.14/1200.37 c 1200 8946 54 1 - 0.0000 -
1203.22/1206.42 c 1206 8994 54 1 - 0.0000 -
1208.70/1212.01 c 1212 9037 53 1 - 0.0000 -
1214.18/1217.49 c 1217 9085 53 1 - 0.0000 -
1219.97/1223.22 c 1223 9134 54 1 - 0.0000 -
1225.55/1228.80 c 1229 9198 56 1 - 0.0000 -
1231.04/1234.31 c 1234 9257 53 1 - 0.0000 -
1236.43/1239.71 c 1240 9304 54 1 - 0.0000 -
1242.42/1245.78 c 1246 9346 54 1 - 0.0000 -
1247.82/1251.19 c 1251 9391 55 1 - 0.0000 -
1253.59/1256.98 c 1257 9448 54 1 - 0.0000 -
1259.18/1262.58 c 1263 9484 54 1 - 0.0000 -
1264.68/1268.03 c 1268 9535 59 1 - 0.0000 -
1270.15/1273.50 c 1274 9580 54 1 - 0.0000 -
1275.75/1279.18 c 1279 9648 54 1 - 0.0000 -
1281.23/1284.63 c 1285 9692 56 1 - 0.0000 -
1286.91/1290.34 c 1290 9730 54 1 - 0.0000 -
1292.80/1296.29 c 1296 9785 55 1 - 0.0000 -
1298.29/1301.74 c 1302 9843 57 1 - 0.0000 -
1304.07/1307.55 c 1308 9873 55 1 - 0.0000 -
1309.47/1312.94 c 1313 9903 53 1 - 0.0000 -
1314.86/1318.38 c 1318 9946 54 1 - 0.0000 -
1320.44/1323.96 c 1324 9994 54 1 - 0.0000 -
1325.73/1329.27 c 1329 10044 54 1 - 0.0000 -
1331.22/1334.75 c 1335 10098 56 1 - 0.0000 -
1336.62/1340.14 c 1340 10154 54 1 - 0.0000 -
1342.29/1345.83 c 1346 10192 54 1 - 0.0000 -
1347.78/1351.38 c 1351 10267 55 1 - 0.0000 -
1353.86/1357.42 c 1357 10319 53 1 - 0.0000 -
1359.25/1362.84 c 1363 10357 53 1 - 0.0000 -
1364.64/1368.21 c 1368 10428 54 1 - 0.0000 -
1369.93/1373.59 c 1374 10479 53 1 - 0.0000 -
1375.91/1379.55 c 1380 10516 52 1 - 0.0000 -
1381.41/1385.10 c 1385 10568 54 1 - 0.0000 -
1386.88/1390.54 c 1391 10623 53 1 - 0.0000 -
1392.27/1395.91 c 1396 10677 51 1 - 0.0000 -
1397.87/1401.52 c 1402 10716 52 1 - 0.0000 -
1403.47/1407.19 c 1407 10771 57 1 - 0.0000 -
1409.35/1413.06 c 1413 10821 55 1 - 0.0000 -
1414.93/1418.60 c 1419 10860 56 1 - 0.0000 -
1420.43/1424.17 c 1424 10914 58 1 - 0.0000 -
1426.31/1430.08 c 1430 10959 55 1 - 0.0000 -
1431.79/1435.55 c 1436 11009 53 1 - 0.0000 -
1437.17/1440.97 c 1441 11060 52 1 - 0.0000 -
1443.27/1447.10 c 1447 11110 52 1 - 0.0000 -
1448.95/1452.71 c 1453 11150 52 1 - 0.0000 -
1454.25/1458.08 c 1458 11201 51 1 - 0.0000 -
1460.02/1463.84 c 1464 11234 52 1 - 0.0000 -
1465.71/1469.51 c 1470 11276 50 1 - 0.0000 -
1470.79/1474.60 c 1475 11301 51 1 - 0.0000 -
1476.29/1480.18 c 1480 11339 51 1 - 0.0000 -
1481.57/1485.40 c 1485 11384 52 1 - 0.0000 -
1486.76/1490.68 c 1491 11436 52 1 - 0.0000 -
1491.95/1495.88 c 1496 11485 51 1 - 0.0000 -
1497.63/1501.50 c 1502 11535 51 1 - 0.0000 -
1503.52/1507.44 c 1507 11563 51 1 - 0.0000 -
1509.01/1512.92 c 1513 11597 51 1 - 0.0000 -
1514.99/1519.01 c 1519 11628 52 1 - 0.0000 -
1520.57/1524.55 c 1525 11678 56 1 - 0.0000 -
1525.97/1529.91 c 1530 11757 53 1 - 0.0000 -
1531.76/1535.70 c 1536 11811 51 1 - 0.0000 -
1537.24/1541.21 c 1541 11842 50 1 - 0.0000 -
1543.14/1547.17 c 1547 11880 52 1 - 0.0000 -
1548.52/1552.52 c 1553 11934 52 1 - 0.0000 -
1554.20/1558.26 c 1558 11975 51 1 - 0.0000 -
1559.69/1563.74 c 1564 12033 51 1 - 0.0000 -
1565.58/1569.64 c 1570 12061 51 1 - 0.0000 -
1571.08/1575.18 c 1575 12111 51 1 - 0.0000 -
1576.45/1580.52 c 1581 12154 54 1 - 0.0000 -
1581.84/1585.93 c 1586 12201 55 1 - 0.0000 -
1587.04/1591.19 c 1591 12281 51 1 - 0.0000 -
1592.22/1596.37 c 1596 12349 49 1 - 0.0000 -
1597.92/1602.01 c 1602 12390 50 1 - 0.0000 -
1603.01/1607.15 c 1607 12421 51 1 - 0.0000 -
1608.18/1612.38 c 1612 12470 50 1 - 0.0000 -
1613.47/1617.67 c 1618 12521 51 1 - 0.0000 -
1618.86/1623.05 c 1623 12589 59 1 - 0.0000 -
1624.25/1628.47 c 1628 12710 54 1 - 0.0000 -
1629.43/1633.60 c 1634 12781 51 1 - 0.0000 -
1634.72/1639.01 c 1639 12843 53 1 - 0.0000 -
1640.30/1644.56 c 1645 12900 52 1 - 0.0000 -
1645.80/1650.04 c 1650 12951 51 1 - 0.0000 -
1651.08/1655.39 c 1655 13010 50 1 - 0.0000 -
1656.27/1660.59 c 1661 13059 53 1 - 0.0000 -
1661.76/1666.10 c 1666 13103 53 1 - 0.0000 -
1666.94/1671.28 c 1671 13154 52 1 - 0.0000 -
1672.53/1676.81 c 1677 13203 53 1 - 0.0000 -
1677.91/1682.24 c 1682 13255 51 1 - 0.0000 -
1683.60/1687.95 c 1688 13312 56 1 - 0.0000 -
1688.89/1693.20 c 1693 13362 52 1 - 0.0000 -
1694.27/1698.63 c 1699 13423 51 1 - 0.0000 -
1699.67/1704.03 c 1704 13514 52 1 - 0.0000 -
1704.95/1709.37 c 1709 13564 50 1 - 0.0000 -
1710.23/1714.69 c 1715 13608 50 1 - 0.0000 -
1715.74/1720.15 c 1720 13676 51 1 - 0.0000 -
1721.02/1725.42 c 1725 13728 51 1 - 0.0000 -
1726.31/1730.79 c 1731 13779 50 1 - 0.0000 -
1731.99/1736.48 c 1736 13830 51 1 - 0.0000 -
1737.88/1742.37 c 1742 13876 53 1 - 0.0000 -
1743.67/1748.11 c 1748 13948 51 1 - 0.0000 -
1749.04/1753.50 c 1754 13999 48 1 - 0.0000 -
1755.13/1759.65 c 1760 14035 48 1 - 0.0000 -
1760.91/1765.46 c 1765 14080 49 1 - 0.0000 -
1766.40/1770.94 c 1771 14149 48 1 - 0.0000 -
1772.29/1776.80 c 1777 14187 48 1 - 0.0000 -
1777.97/1782.55 c 1783 14258 49 1 - 0.0000 -
1783.36/1788.01 c 1788 14320 48 1 - 0.0000 -
1788.73/1793.30 c 1793 14368 48 1 - 0.0000 -
1793.92/1798.56 c 1799 14426 53 1 - 0.0000 -
1799.80/1804.42 c 1804 14483 52 1 - 0.0000 -
1805.19/1809.84 c 1810 14560 52 1 - 0.0000 -
1810.78/1815.48 c 1815 14642 54 1 - 0.0000 -
1816.07/1820.78 c 1821 14722 53 1 - 0.0000 -
1821.37/1826.07 c 1826 14791 52 1 - 0.0000 -
1826.95/1831.67 c 1832 14864 55 1 - 0.0000 -
1832.74/1837.43 c 1837 14932 55 1 - 0.0000 -
1838.33/1843.03 c 1843 14991 56 1 - 0.0000 -
1843.71/1848.43 c 1848 15035 54 1 - 0.0000 -
1849.19/1853.92 c 1854 15080 55 1 - 0.0000 -
1854.48/1859.20 c 1859 15137 54 1 - 0.0000 -
1859.77/1864.50 c 1864 15185 54 1 - 0.0000 -
1864.96/1869.72 c 1870 15238 53 1 - 0.0000 -
1870.94/1875.74 c 1876 15283 54 1 - 0.0000 -
1876.24/1881.08 c 1881 15339 54 1 - 0.0000 -
1882.33/1887.15 c 1887 15392 53 1 - 0.0000 -
1887.71/1892.50 c 1892 15448 51 1 - 0.0000 -
1893.40/1898.29 c 1898 15496 51 1 - 0.0000 -
1899.30/1904.12 c 1904 15543 52 1 - 0.0000 -
1904.67/1909.51 c 1910 15582 53 1 - 0.0000 -
1910.56/1915.49 c 1915 15626 53 1 - 0.0000 -
1916.04/1920.98 c 1921 15672 51 1 - 0.0000 -
1921.63/1926.55 c 1927 15736 53 1 - 0.0000 -
1927.23/1932.15 c 1932 15784 53 1 - 0.0000 -
1932.90/1937.88 c 1938 15830 53 1 - 0.0000 -
1938.89/1943.82 c 1944 15879 52 1 - 0.0000 -
1944.57/1949.52 c 1950 15918 53 1 - 0.0000 -
1949.86/1954.87 c 1955 15972 53 1 - 0.0000 -
1955.25/1960.22 c 1960 16009 52 1 - 0.0000 -
1960.84/1965.80 c 1966 16060 53 1 - 0.0000 -
1966.52/1971.52 c 1972 16119 52 1 - 0.0000 -
1971.81/1976.84 c 1977 16184 53 1 - 0.0000 -
1977.11/1982.14 c 1982 16226 55 1 - 0.0000 -
1982.49/1987.56 c 1988 16279 54 1 - 0.0000 -
1987.98/1993.03 c 1993 16337 54 1 - 0.0000 -
1993.46/1998.53 c 1999 16396 53 1 - 0.0000 -
1998.45/2003.56 c 2004 16431 54 1 - 0.0000 -
2004.13/2009.29 c 2009 16485 54 1 - 0.0000 -
2010.32/2015.43 c 2015 16538 53 1 - 0.0000 -
2015.61/2020.79 c 2021 16581 52 1 - 0.0000 -
2021.29/2026.44 c 2026 16641 52 1 - 0.0000 -
2026.79/2031.97 c 2032 16702 53 1 - 0.0000 -
2032.07/2037.27 c 2037 16765 54 1 - 0.0000 -
2037.56/2042.79 c 2043 16820 51 1 - 0.0000 -
2043.15/2048.33 c 2048 16867 52 1 - 0.0000 -
2048.44/2053.66 c 2054 16910 53 1 - 0.0000 -
2053.72/2058.98 c 2059 16961 53 1 - 0.0000 -
2059.20/2064.41 c 2064 17006 52 1 - 0.0000 -
2064.49/2069.76 c 2070 17050 54 1 - 0.0000 -
2069.89/2075.19 c 2075 17118 52 1 - 0.0000 -
2075.26/2080.53 c 2081 17167 51 1 - 0.0000 -
2080.55/2085.83 c 2086 17213 51 1 - 0.0000 -
2085.94/2091.29 c 2091 17270 52 1 - 0.0000 -
2091.52/2096.87 c 2097 17324 52 1 - 0.0000 -
2097.11/2102.47 c 2102 17376 52 1 - 0.0000 -
2102.71/2108.06 c 2108 17418 50 1 - 0.0000 -
2108.48/2113.81 c 2114 17467 53 1 - 0.0000 -
2114.16/2119.53 c 2120 17517 53 1 - 0.0000 -
2119.45/2124.87 c 2125 17578 50 1 - 0.0000 -
2125.03/2130.46 c 2130 17629 51 1 - 0.0000 -
2130.43/2135.81 c 2136 17687 51 1 - 0.0000 -
2135.81/2141.24 c 2141 17729 51 1 - 0.0000 -
2141.11/2146.57 c 2147 17781 51 1 - 0.0000 -
2146.70/2152.19 c 2152 17825 53 1 - 0.0000 -
2152.38/2157.88 c 2158 17872 50 1 - 0.0000 -
2158.26/2163.74 c 2164 17920 51 1 - 0.0000 -
2163.85/2169.39 c 2169 17965 52 1 - 0.0000 -
2169.34/2174.81 c 2175 18027 52 1 - 0.0000 -
2174.92/2180.43 c 2180 18087 52 1 - 0.0000 -
2180.52/2186.09 c 2186 18147 50 1 - 0.0000 -
2185.90/2191.47 c 2191 18196 51 1 - 0.0000 -
2191.08/2196.65 c 2197 18244 49 1 - 0.0000 -
2196.48/2202.08 c 2202 18300 53 1 - 0.0000 -
2202.15/2207.78 c 2208 18352 49 1 - 0.0000 -
2208.13/2213.77 c 2214 18395 50 1 - 0.0000 -
2213.81/2219.44 c 2219 18433 48 1 - 0.0000 -
2219.51/2225.19 c 2225 18487 52 1 - 0.0000 -
2225.28/2230.96 c 2231 18536 49 1 - 0.0000 -
2230.57/2236.27 c 2236 18592 53 1 - 0.0000 -
2235.75/2241.44 c 2241 18660 51 1 - 0.0000 -
2241.03/2246.73 c 2247 18718 51 1 - 0.0000 -
2246.44/2252.19 c 2252 18769 56 1 - 0.0000 -
2252.01/2257.72 c 2258 18835 54 1 - 0.0000 -
2257.30/2263.02 c 2263 18900 53 1 - 0.0000 -
2262.58/2268.34 c 2268 18956 51 1 - 0.0000 -
2268.06/2273.81 c 2274 19032 49 1 - 0.0000 -
2273.65/2279.45 c 2279 19086 50 1 - 0.0000 -
2279.43/2285.24 c 2285 19148 48 1 - 0.0000 -
2284.91/2290.72 c 2291 19216 55 1 - 0.0000 -
2290.21/2296.03 c 2296 19272 52 1 - 0.0000 -
2295.68/2301.52 c 2302 19340 52 1 - 0.0000 -
2301.06/2306.93 c 2307 19405 53 1 - 0.0000 -
2306.35/2312.26 c 2312 19463 52 1 - 0.0000 -
2311.53/2317.49 c 2317 19516 52 1 - 0.0000 -
2317.13/2323.06 c 2323 19566 53 1 - 0.0000 -
2322.80/2328.78 c 2329 19612 51 1 - 0.0000 -
2328.58/2334.56 c 2335 19659 53 1 - 0.0000 -
2334.27/2340.21 c 2340 19714 53 1 - 0.0000 -
2339.56/2345.59 c 2346 19755 50 1 - 0.0000 -
2345.15/2351.16 c 2351 19801 50 1 - 0.0000 -
2350.62/2356.68 c 2357 19862 53 1 - 0.0000 -
2355.91/2361.94 c 2362 19907 52 1 - 0.0000 -
2361.59/2367.64 c 2368 19953 54 1 - 0.0000 -
2366.98/2373.07 c 2373 20000 52 1 - 0.0000 -
2372.26/2378.38 c 2378 20042 52 1 - 0.0000 -
2377.64/2383.79 c 2384 20084 50 1 - 0.0000 -
2383.12/2389.27 c 2389 20135 51 1 - 0.0000 -
2388.69/2394.84 c 2395 20214 50 1 - 0.0000 -
2394.59/2400.70 c 2401 20248 51 1 - 0.0000 -
2399.77/2405.94 c 2406 20286 51 1 - 0.0000 -
2405.06/2411.27 c 2411 20333 49 1 - 0.0000 -
2410.55/2416.79 c 2417 20383 49 1 - 0.0000 -
2416.03/2422.25 c 2422 20454 48 1 - 0.0000 -
2421.22/2427.42 c 2427 20516 50 1 - 0.0000 -
2426.92/2433.17 c 2433 20565 51 1 - 0.0000 -
2432.19/2438.48 c 2438 20635 55 1 - 0.0000 -
2437.59/2443.83 c 2444 20685 52 1 - 0.0000 -
2443.17/2449.46 c 2449 20734 55 1 - 0.0000 -
2448.56/2454.87 c 2455 20790 57 1 - 0.0000 -
2453.86/2460.19 c 2460 20840 57 1 - 0.0000 -
2459.13/2465.42 c 2465 20888 53 1 - 0.0000 -
2464.52/2470.82 c 2471 20945 52 1 - 0.0000 -
2469.91/2476.23 c 2476 21012 55 1 - 0.0000 -
2475.39/2481.72 c 2482 21068 53 1 - 0.0000 -
2480.58/2487.01 c 2487 21125 54 1 - 0.0000 -
2485.96/2492.31 c 2492 21188 53 1 - 0.0000 -
2491.35/2497.73 c 2498 21248 53 1 - 0.0000 -
2496.83/2503.23 c 2503 21310 51 1 - 0.0000 -
2502.21/2508.68 c 2509 21373 50 1 - 0.0000 -
2507.72/2514.11 c 2514 21425 51 1 - 0.0000 -
2513.20/2519.63 c 2520 21477 53 1 - 0.0000 -
2518.39/2524.88 c 2525 21527 51 1 - 0.0000 -
2523.97/2530.49 c 2530 21580 52 1 - 0.0000 -
2529.26/2535.78 c 2536 21631 51 1 - 0.0000 -
2534.66/2541.19 c 2541 21695 51 1 - 0.0000 -
2540.13/2546.61 c 2547 21737 53 1 - 0.0000 -
2545.63/2552.15 c 2552 21797 51 1 - 0.0000 -
2550.91/2557.42 c 2557 21851 49 1 - 0.0000 -
2556.51/2563.04 c 2563 21905 53 1 - 0.0000 -
2562.49/2569.09 c 2569 21947 55 1 - 0.0000 -
2567.88/2574.40 c 2574 21985 53 1 - 0.0000 -
2573.36/2579.90 c 2580 22025 53 1 - 0.0000 -
2578.85/2585.44 c 2585 22078 56 1 - 0.0000 -
2584.34/2590.99 c 2591 22126 54 1 - 0.0000 -
2589.62/2596.29 c 2596 22167 55 1 - 0.0000 -
2595.01/2601.60 c 2602 22225 53 1 - 0.0000 -
2600.20/2606.80 c 2607 22271 53 1 - 0.0000 -
2605.59/2612.26 c 2612 22312 54 1 - 0.0000 -
2610.88/2617.58 c 2618 22358 54 1 - 0.0000 -
2616.16/2622.88 c 2623 22402 52 1 - 0.0000 -
2621.65/2628.35 c 2628 22440 52 1 - 0.0000 -
2626.94/2633.61 c 2634 22489 53 1 - 0.0000 -
2632.22/2638.93 c 2639 22545 51 1 - 0.0000 -
2637.51/2644.25 c 2644 22602 54 1 - 0.0000 -
2642.81/2649.56 c 2650 22658 52 1 - 0.0000 -
2648.31/2655.09 c 2655 22710 54 1 - 0.0000 -
2653.48/2660.27 c 2660 22761 53 1 - 0.0000 -
2659.17/2665.93 c 2666 22815 53 1 - 0.0000 -
2664.66/2671.42 c 2671 22862 52 1 - 0.0000 -
2669.94/2676.76 c 2677 22902 54 1 - 0.0000 -
2675.24/2682.04 c 2682 22949 51 1 - 0.0000 -
2680.52/2687.34 c 2687 23001 53 1 - 0.0000 -
2685.81/2692.64 c 2693 23051 51 1 - 0.0000 -
2691.49/2698.33 c 2698 23099 51 1 - 0.0000 -
2696.88/2703.79 c 2704 23144 52 1 - 0.0000 -
2702.47/2709.31 c 2709 23194 52 1 - 0.0000 -
2707.85/2714.79 c 2715 23241 53 1 - 0.0000 -
2713.44/2720.31 c 2720 23286 54 1 - 0.0000 -
2718.91/2725.87 c 2726 23363 51 1 - 0.0000 -
2724.21/2731.12 c 2731 23435 53 1 - 0.0000 -
2729.99/2736.95 c 2737 23482 54 1 - 0.0000 -
2735.19/2742.15 c 2742 23530 52 1 - 0.0000 -
2740.46/2747.46 c 2747 23583 53 1 - 0.0000 -
2745.75/2752.75 c 2753 23632 52 1 - 0.0000 -
2751.05/2758.08 c 2758 23694 50 1 - 0.0000 -
2756.42/2763.45 c 2763 23746 54 1 - 0.0000 -
2761.81/2768.82 c 2769 23801 51 1 - 0.0000 -
2767.69/2774.75 c 2775 23850 54 1 - 0.0000 -
2773.09/2780.15 c 2780 23919 53 1 - 0.0000 -
2778.36/2785.47 c 2785 23972 52 1 - 0.0000 -
2783.85/2790.90 c 2791 24024 52 1 - 0.0000 -
2789.63/2796.71 c 2797 24085 55 1 - 0.0000 -
2795.12/2802.20 c 2802 24148 54 1 - 0.0000 -
2800.51/2807.60 c 2808 24211 55 1 - 0.0000 -
2805.91/2813.01 c 2813 24283 56 1 - 0.0000 -
2811.29/2818.40 c 2818 24354 55 1 - 0.0000 -
2816.68/2823.83 c 2824 24411 54 1 - 0.0000 -
2822.16/2829.34 c 2829 24472 54 1 - 0.0000 -
2827.65/2834.89 c 2835 24524 58 1 - 0.0000 -
2833.24/2840.40 c 2840 24573 55 1 - 0.0000 -
2838.52/2845.79 c 2846 24617 55 1 - 0.0000 -
2844.00/2851.21 c 2851 24689 55 1 - 0.0000 -
2849.39/2856.62 c 2857 24737 55 1 - 0.0000 -
2854.57/2861.81 c 2862 24781 56 1 - 0.0000 -
2859.77/2867.08 c 2867 24855 53 1 - 0.0000 -
2865.26/2872.55 c 2873 24900 54 1 - 0.0000 -
2870.75/2878.06 c 2878 24948 54 1 - 0.0000 -
2876.22/2883.54 c 2884 24992 54 1 - 0.0000 -
2881.91/2889.23 c 2889 25040 50 1 - 0.0000 -
2887.39/2894.79 c 2895 25100 52 1 - 0.0000 -
2892.79/2900.14 c 2900 25145 51 1 - 0.0000 -
2898.37/2905.74 c 2906 25195 51 1 - 0.0000 -
2903.96/2911.36 c 2911 25235 49 1 - 0.0000 -
2909.24/2916.65 c 2917 25284 54 1 - 0.0000 -
2914.74/2922.14 c 2922 25326 52 1 - 0.0000 -
2920.22/2927.67 c 2928 25389 51 1 - 0.0000 -
2925.50/2932.93 c 2933 25427 55 1 - 0.0000 -
2930.99/2938.46 c 2938 25485 51 1 - 0.0000 -
2936.69/2944.17 c 2944 25554 52 1 - 0.0000 -
2942.06/2949.53 c 2950 25602 52 1 - 0.0000 -
2947.45/2954.97 c 2955 25652 52 1 - 0.0000 -
2952.83/2960.32 c 2960 25699 53 1 - 0.0000 -
2958.12/2965.68 c 2966 25758 50 1 - 0.0000 -
2963.62/2971.19 c 2971 25817 51 1 - 0.0000 -
2969.40/2976.94 c 2977 25880 52 1 - 0.0000 -
2974.89/2982.48 c 2982 25934 54 1 - 0.0000 -
2980.28/2987.86 c 2988 25980 52 1 - 0.0000 -
2985.76/2993.38 c 2993 26020 52 1 - 0.0000 -
2991.25/2998.84 c 2999 26075 51 1 - 0.0000 -
2996.55/3004.14 c 3004 26134 52 1 - 0.0000 -
3002.13/3009.73 c 3010 26196 52 1 - 0.0000 -
3007.43/3015.06 c 3015 26251 54 1 - 0.0000 -
3012.80/3020.46 c 3020 26303 54 1 - 0.0000 -
3018.29/3025.96 c 3026 26364 55 1 - 0.0000 -
3023.78/3031.40 c 3031 26407 52 1 - 0.0000 -
3029.26/3036.90 c 3037 26459 54 1 - 0.0000 -
3034.75/3042.44 c 3042 26529 52 1 - 0.0000 -
3040.35/3048.06 c 3048 26576 51 1 - 0.0000 -
3045.92/3053.66 c 3054 26616 55 1 - 0.0000 -
3051.20/3058.90 c 3059 26661 54 1 - 0.0000 -
3056.58/3064.30 c 3064 26709 54 1 - 0.0000 -
3061.77/3069.56 c 3070 26751 54 1 - 0.0000 -
3067.06/3074.82 c 3075 26804 53 1 - 0.0000 -
3072.26/3080.05 c 3080 26851 52 1 - 0.0000 -
3077.73/3085.56 c 3086 26882 53 1 - 0.0000 -
3083.33/3091.19 c 3091 26921 54 1 - 0.0000 -
3088.61/3096.49 c 3096 26959 52 1 - 0.0000 -
3094.21/3102.02 c 3102 27003 52 1 - 0.0000 -
3099.59/3107.40 c 3107 27054 55 1 - 0.0000 -
3104.97/3112.88 c 3113 27105 54 1 - 0.0000 -
3110.56/3118.46 c 3118 27168 59 1 - 0.0000 -
3115.75/3123.69 c 3124 27237 56 1 - 0.0000 -
3121.03/3128.94 c 3129 27310 57 1 - 0.0000 -
3126.23/3134.15 c 3134 27388 53 1 - 0.0000 -
3131.71/3139.69 c 3140 27444 53 1 - 0.0000 -
3137.00/3144.93 c 3145 27501 54 1 - 0.0000 -
3142.48/3150.40 c 3150 27557 58 1 - 0.0000 -
3148.08/3156.01 c 3156 27602 55 1 - 0.0000 -
3153.35/3161.36 c 3161 27666 55 1 - 0.0000 -
3158.63/3166.61 c 3167 27733 54 1 - 0.0000 -
3164.03/3172.02 c 3172 27781 54 1 - 0.0000 -
3169.20/3177.28 c 3177 27840 53 1 - 0.0000 -
3175.18/3183.27 c 3183 27885 52 1 - 0.0000 -
3180.87/3188.97 c 3189 27938 53 1 - 0.0000 -
3186.55/3194.69 c 3195 27979 52 1 - 0.0000 -
3191.94/3200.07 c 3200 28036 51 1 - 0.0000 -
3197.21/3205.33 c 3205 28096 53 1 - 0.0000 -
3202.70/3210.85 c 3211 28140 55 1 - 0.0000 -
3208.28/3216.45 c 3216 28189 54 1 - 0.0000 -
3213.98/3222.12 c 3222 28238 51 1 - 0.0000 -
3219.05/3227.28 c 3227 28289 52 1 - 0.0000 -
3224.43/3232.68 c 3233 28338 51 1 - 0.0000 -
3230.02/3238.27 c 3238 28381 52 1 - 0.0000 -
3235.40/3243.69 c 3244 28444 53 1 - 0.0000 -
3240.79/3249.01 c 3249 28495 52 1 - 0.0000 -
3246.78/3255.10 c 3255 28528 53 1 - 0.0000 -
3252.25/3260.55 c 3261 28579 54 1 - 0.0000 -
3258.03/3266.36 c 3266 28629 52 1 - 0.0000 -
3263.32/3271.65 c 3272 28685 52 1 - 0.0000 -
3269.11/3277.41 c 3277 28737 52 1 - 0.0000 -
3274.59/3282.92 c 3283 28799 52 1 - 0.0000 -
3280.17/3288.53 c 3289 28852 51 1 - 0.0000 -
3285.45/3293.88 c 3294 28899 52 1 - 0.0000 -
3291.14/3299.52 c 3300 28948 51 1 - 0.0000 -
3296.73/3305.18 c 3305 28985 50 1 - 0.0000 -
3302.20/3310.68 c 3311 29035 52 1 - 0.0000 -
3307.49/3315.98 c 3316 29089 50 1 - 0.0000 -
3312.87/3321.38 c 3321 29139 50 1 - 0.0000 -
3318.26/3326.76 c 3327 29187 50 1 - 0.0000 -
3323.84/3332.37 c 3332 29234 53 1 - 0.0000 -
3328.93/3337.44 c 3337 29287 52 1 - 0.0000 -
3334.22/3342.73 c 3343 29359 54 1 - 0.0000 -
3339.51/3348.04 c 3348 29418 53 1 - 0.0000 -
3344.68/3353.27 c 3353 29489 50 1 - 0.0000 -
3350.17/3358.76 c 3359 29541 50 1 - 0.0000 -
3355.46/3364.08 c 3364 29595 54 1 - 0.0000 -
3360.83/3369.46 c 3369 29642 55 1 - 0.0000 -
3366.82/3375.44 c 3375 29697 54 1 - 0.0000 -
3372.10/3380.73 c 3381 29746 53 1 - 0.0000 -
3377.68/3386.31 c 3386 29796 53 1 - 0.0000 -
3383.06/3391.76 c 3392 29843 52 1 - 0.0000 -
3388.75/3397.46 c 3397 29888 53 1 - 0.0000 -
3394.35/3403.07 c 3403 29941 52 1 - 0.0000 -
3399.83/3408.59 c 3409 29992 51 1 - 0.0000 -
3405.33/3414.08 c 3414 30042 51 1 - 0.0000 -
3410.60/3419.39 c 3419 30087 54 1 - 0.0000 -
3416.09/3424.86 c 3425 30148 51 1 - 0.0000 -
3421.58/3430.37 c 3430 30203 52 1 - 0.0000 -
3426.77/3435.57 c 3436 30255 53 1 - 0.0000 -
3432.15/3440.97 c 3441 30297 53 1 - 0.0000 -
3437.44/3446.22 c 3446 30356 54 1 - 0.0000 -
3442.93/3451.73 c 3452 30414 53 1 - 0.0000 -
3448.23/3457.05 c 3457 30479 52 1 - 0.0000 -
3453.31/3462.17 c 3462 30547 53 1 - 0.0000 -
3458.80/3467.66 c 3468 30605 51 1 - 0.0000 -
3464.30/3473.17 c 3473 30655 52 1 - 0.0000 -
3469.87/3478.73 c 3479 30711 54 1 - 0.0000 -
3475.26/3484.11 c 3484 30765 58 1 - 0.0000 -
3480.74/3489.65 c 3490 30821 60 1 - 0.0000 -
3485.92/3494.89 c 3495 30873 56 1 - 0.0000 -
3491.51/3500.43 c 3500 30926 55 1 - 0.0000 -
3496.79/3505.79 c 3506 30975 56 1 - 0.0000 -
3501.98/3510.99 c 3511 31027 56 1 - 0.0000 -
3507.36/3516.35 c 3516 31079 60 1 - 0.0000 -
3512.66/3521.63 c 3522 31139 56 1 - 0.0000 -
3517.95/3526.99 c 3527 31189 58 1 - 0.0000 -
3523.43/3532.40 c 3532 31240 59 1 - 0.0000 -
3529.03/3538.05 c 3538 31295 60 1 - 0.0000 -
3534.81/3543.84 c 3544 31347 60 1 - 0.0000 -
3540.19/3549.23 c 3549 31392 57 1 - 0.0000 -
3545.58/3554.63 c 3555 31436 57 1 - 0.0000 -
3551.26/3560.34 c 3560 31474 55 1 - 0.0000 -
3556.75/3565.81 c 3566 31528 53 1 - 0.0000 -
3562.05/3571.18 c 3571 31580 54 1 - 0.0000 -
3567.53/3576.68 c 3577 31634 54 1 - 0.0000 -
3572.93/3582.07 c 3582 31680 52 1 - 0.0000 -
3578.41/3587.55 c 3588 31732 52 1 - 0.0000 -
3583.70/3592.89 c 3593 31781 51 1 - 0.0000 -
3588.78/3598.01 c 3598 31841 52 0 - 0.0000 -
3588.90/3598.04 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.90/3598.04 c Total Time : 3598.0400
3588.90/3598.04 c solving : 3598.0400
3588.90/3598.04 c presolving : 4.0823 (included in solving)
3588.90/3598.04 c B&B Tree :
3588.90/3598.04 c nodes (total) : 1
3588.90/3598.04 c Solution :
3588.90/3598.04 c Solutions found : 0
3588.90/3598.04 c Primal Bound : -
3588.90/3598.04 c Dual Bound : +0.00000000000000e+00
3588.90/3598.04 c Gap : -
3588.90/3598.07 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (63530 MiB free)
memory of node 1: 64473 MiB (48878 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464470-1722385794/watcher-4464470-1722385794 -o /tmp/evaluation-result-4464470-1722385794/solver-4464470-1722385794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28008 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464470-1722385794.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32495, runsolver pid=32492
[startup+0.100091 s]*
/proc/loadavg: 4.16 4.27 4.20 5/248 32506
/proc/meminfo: memFree=115078560/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=45756 memory=34832 CPUtime=0.11 cores=4,6
/proc/32495/stat : 32495 (fscip) R 32492 32495 27997 0 -1 4194304 6729 0 0 0 10 1 0 0 20 0 1 0 4949778 46854144 8708 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 11439 8708 2662 3035 0 7835 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 45756 KiB
Current children cumulated memory: 34832 KiB
[startup+0.213386 s]*
/proc/loadavg: 4.16 4.27 4.20 5/248 32506
/proc/meminfo: memFree=115058036/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=45756 memory=34832 CPUtime=0.22 cores=4,6
/proc/32495/stat : 32495 (fscip) R 32492 32495 27997 0 -1 4194304 6729 0 0 0 21 1 0 0 20 0 1 0 4949778 46854144 8708 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 11439 8708 2662 3035 0 7835 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 45756 KiB
Current children cumulated memory: 34832 KiB
[startup+0.3127 s]*
/proc/loadavg: 4.16 4.27 4.20 6/248 32506
/proc/meminfo: memFree=115057896/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=45756 memory=34832 CPUtime=0.32 cores=4,6
/proc/32495/stat : 32495 (fscip) R 32492 32495 27997 0 -1 4194304 6729 0 0 0 31 1 0 0 20 0 1 0 4949778 46854144 8708 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 11439 8708 2662 3035 0 7835 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 45756 KiB
Current children cumulated memory: 34832 KiB
[startup+0.700312 s]
/proc/loadavg: 4.16 4.27 4.20 6/248 32506
/proc/meminfo: memFree=115048880/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=60280 memory=47956 CPUtime=0.69 cores=4,6
/proc/32495/stat : 32495 (fscip) R 32492 32495 27997 0 -1 4194304 10213 0 0 0 68 1 0 0 20 0 1 0 4949778 61726720 11989 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 15070 11989 2758 3035 0 11466 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 60280 KiB
Current children cumulated memory: 47956 KiB
[startup+1.50032 s]
/proc/loadavg: 4.16 4.27 4.20 5/248 32506
/proc/meminfo: memFree=115033324/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=61476 memory=49272 CPUtime=1.48 cores=4,6
/proc/32495/stat : 32495 (fscip) R 32492 32495 27997 0 -1 4194304 10509 0 0 0 147 1 0 0 20 0 1 0 4949778 62951424 12318 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 15369 12318 2758 3035 0 11765 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61476 KiB
Current children cumulated memory: 49272 KiB
[startup+3.11318 s]
/proc/loadavg: 4.15 4.27 4.19 5/248 32506
/proc/meminfo: memFree=115030276/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=61988 memory=49536 CPUtime=3.09 cores=4,6
/proc/32495/stat : 32495 (fscip) R 32492 32495 27997 0 -1 4194304 10615 0 0 0 308 1 0 0 20 0 1 0 4949778 63475712 12384 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 15497 12384 2758 3035 0 11893 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61988 KiB
Current children cumulated memory: 49536 KiB
[startup+6.30029 s]
/proc/loadavg: 4.15 4.27 4.19 5/252 32512
/proc/meminfo: memFree=114899060/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=188084 memory=120568 CPUtime=6.27 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 32626 0 0 0 622 5 0 0 20 0 3 0 4949778 192598016 30142 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 47021 30142 2950 3035 0 36529 0
[pid=32495/tid=32511] ppid=32492 vsize=188084 memory=0 CPUtime=2.17 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 16011 0 0 0 215 2 0 0 20 0 3 0 4950188 192598016 30142 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=188084 memory=11536 CPUtime=0 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4950190 192598016 30142 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 188084 KiB
Current children cumulated memory: 120568 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.27 4.19 5/252 32608
/proc/meminfo: memFree=115101276/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=261372 memory=158808 CPUtime=12.65 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 49143 0 0 0 1258 7 0 0 20 0 3 0 4949778 267644928 39702 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 65343 39702 2982 3035 0 46514 0
[pid=32495/tid=32511] ppid=32492 vsize=261372 memory=0 CPUtime=8.55 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 32515 0 0 0 851 4 0 0 20 0 3 0 4950188 267644928 39702 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=261372 memory=0 CPUtime=0 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4950190 267644928 39702 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 261372 KiB
Current children cumulated memory: 158808 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.25 4.19 5/252 32611
/proc/meminfo: memFree=115012960/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=255216 memory=160276 CPUtime=25.41 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 83662 0 0 0 2532 9 0 0 20 0 3 0 4949778 261341184 40069 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 63804 40069 2982 3035 0 46423 0
[pid=32495/tid=32511] ppid=32492 vsize=255216 memory=0 CPUtime=21.32 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 67018 0 0 0 2125 7 0 0 20 0 3 0 4950188 261341184 40069 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=255216 memory=158880 CPUtime=0 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4950190 261341184 40069 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 255216 KiB
Current children cumulated memory: 160276 KiB
[startup+51.1133 s]
/proc/loadavg: 4.07 4.23 4.18 5/256 32674
/proc/meminfo: memFree=114995528/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=255216 memory=163288 CPUtime=50.95 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 112007 0 0 0 5083 12 0 0 20 0 3 0 4949778 261341184 40822 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 63804 40822 3030 3035 0 48855 0
[pid=32495/tid=32511] ppid=32492 vsize=255216 memory=11536 CPUtime=46.85 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 95266 0 0 0 4675 10 0 0 20 0 3 0 4950188 261341184 40822 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=255216 memory=159072 CPUtime=0 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4950190 261341184 40822 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 255216 KiB
Current children cumulated memory: 163288 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.24 4.19 5/254 32730
/proc/meminfo: memFree=115053440/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=255216 memory=172508 CPUtime=101.99 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 167542 0 0 0 10182 17 0 0 20 0 3 0 4949778 261341184 43127 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 63804 43127 3030 3035 0 49404 0
[pid=32495/tid=32511] ppid=32492 vsize=255216 memory=171084 CPUtime=97.88 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 150661 0 0 0 9774 14 0 0 20 0 3 0 4950188 261341184 43127 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=255216 memory=11536 CPUtime=0 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 48 0 0 0 0 0 0 0 20 0 3 0 4950190 261341184 43127 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 255216 KiB
Current children cumulated memory: 172508 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.21 4.18 5/254 32741
/proc/meminfo: memFree=114960956/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=255216 memory=181420 CPUtime=161.86 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 208900 0 0 0 16165 21 0 0 20 0 3 0 4949778 261341184 45355 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 63804 45355 3030 3035 0 52960 0
[pid=32495/tid=32511] ppid=32492 vsize=255216 memory=11536 CPUtime=157.74 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 191889 0 0 0 15757 17 0 0 20 0 3 0 4950188 261341184 45355 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=255216 memory=37112 CPUtime=0 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 4950190 261341184 45355 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 255216 KiB
Current children cumulated memory: 181420 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/254 32752
/proc/meminfo: memFree=114881316/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=255216 memory=190868 CPUtime=221.68 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 236959 0 0 0 22145 23 0 0 20 0 3 0 4949778 261341184 47717 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 63804 47717 3030 3035 0 54329 0
[pid=32495/tid=32511] ppid=32492 vsize=255216 memory=186052 CPUtime=217.57 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 219891 0 0 0 21737 20 0 0 20 0 3 0 4950188 261341184 47717 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=255216 memory=16320 CPUtime=0 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 56 0 0 0 0 0 0 0 20 0 3 0 4950190 261341184 47717 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 255216 KiB
Current children cumulated memory: 190868 KiB
[startup+282.3 s]
/proc/loadavg: 4.17 4.18 4.17 5/254 32762
/proc/meminfo: memFree=114816976/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=253620 memory=199668 CPUtime=281.5 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 267380 0 0 0 28124 26 0 0 20 0 3 0 4949778 259706880 49917 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 63405 49917 3030 3035 0 57075 0
[pid=32495/tid=32511] ppid=32492 vsize=253620 memory=197748 CPUtime=277.38 cores=4,6
################
# More data... #
################
/proc/32495/statm: 79789 66723 3318 3035 0 69058 0
[pid=32495/tid=32511] ppid=32492 vsize=319156 memory=11536 CPUtime=3389.24 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 391464 0 0 0 338874 50 0 0 20 0 3 0 4950188 326815744 66723 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=319156 memory=-7379829155985187959 CPUtime=0.04 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 197 0 0 0 1 3 0 0 20 0 3 0 4950190 326815744 66723 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 3393.64 s
Current children cumulated vsize: 319156 KiB
Current children cumulated memory: 266892 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.11 5/252 34382
/proc/meminfo: memFree=126501928/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=319156 memory=266900 CPUtime=3453.5 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 415756 0 0 0 345283 67 0 0 20 0 3 0 4949778 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 79789 66725 3318 3035 0 69058 0
[pid=32495/tid=32511] ppid=32492 vsize=319156 memory=11536 CPUtime=3449.1 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 397376 0 0 0 344859 51 0 0 20 0 3 0 4950188 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=319156 memory=266900 CPUtime=0.04 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 201 0 0 0 1 3 0 0 20 0 3 0 4950190 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 319156 KiB
Current children cumulated memory: 266900 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.10 5/255 34566
/proc/meminfo: memFree=126482856/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=319156 memory=266900 CPUtime=3513.36 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 421151 0 0 0 351267 69 0 0 20 0 3 0 4949778 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 79789 66725 3318 3035 0 69058 0
[pid=32495/tid=32511] ppid=32492 vsize=319156 memory=266900 CPUtime=3508.94 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 402731 0 0 0 350842 52 0 0 20 0 3 0 4950188 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=319156 memory=266896 CPUtime=0.04 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 205 0 0 0 1 3 0 0 20 0 3 0 4950190 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 3513.36 s
Current children cumulated vsize: 319156 KiB
Current children cumulated memory: 266900 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.10 5/255 34577
/proc/meminfo: memFree=126465372/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=319156 memory=266900 CPUtime=3573.22 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 426862 0 0 0 357253 69 0 0 20 0 3 0 4949778 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 79789 66725 3318 3035 0 69058 0
[pid=32495/tid=32511] ppid=32492 vsize=319156 memory=266900 CPUtime=3568.81 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 408402 0 0 0 356828 53 0 0 20 0 3 0 4950188 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=319156 memory=11536 CPUtime=0.04 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 209 0 0 0 1 3 0 0 20 0 3 0 4950190 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 3573.22 s
Current children cumulated vsize: 319156 KiB
Current children cumulated memory: 266900 KiB
[startup+3598.08 s]
# the end of solver process 32495 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.26 s, system=0.710135 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.18 4.13 4.10 5/255 34579
/proc/meminfo: memFree=126464820/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=319156 memory=266900 CPUtime=3574.92 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 426872 0 0 0 357423 69 0 0 20 0 3 0 4949778 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 79789 66725 3318 3035 0 69058 0
[pid=32495/tid=32511] ppid=32492 vsize=319156 memory=-7091598779833474430 CPUtime=3570.51 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 408412 0 0 0 356998 53 0 0 20 0 3 0 4950188 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=319156 memory=2760 CPUtime=0.04 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 209 0 0 0 1 3 0 0 20 0 3 0 4950190 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 3574.92 s
Current children cumulated vsize: 319156 KiB
Current children cumulated memory: 266900 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.12 4.10 5/255 34579
/proc/meminfo: memFree=126461516/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=319156 memory=266900 CPUtime=3581.3 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 429134 0 0 0 358060 70 0 0 20 0 3 0 4949778 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 79789 66725 3318 3035 0 69058 0
[pid=32495/tid=32511] ppid=32492 vsize=319156 memory=11536 CPUtime=3576.88 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 410656 0 0 0 357635 53 0 0 20 0 3 0 4950188 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=319156 memory=5496 CPUtime=0.04 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 211 0 0 0 1 3 0 0 20 0 3 0 4950190 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 3581.3 s
Current children cumulated vsize: 319156 KiB
Current children cumulated memory: 266900 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.12 4.10 5/255 34580
/proc/meminfo: memFree=126460380/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=319156 memory=266900 CPUtime=3584.49 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 429187 0 0 0 358379 70 0 0 20 0 3 0 4949778 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 79789 66725 3318 3035 0 69058 0
[pid=32495/tid=32511] ppid=32492 vsize=319156 memory=-7379829155985187959 CPUtime=3580.07 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 410709 0 0 0 357954 53 0 0 20 0 3 0 4950188 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=319156 memory=16320 CPUtime=0.04 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 211 0 0 0 1 3 0 0 20 0 3 0 4950190 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 3584.49 s
Current children cumulated vsize: 319156 KiB
Current children cumulated memory: 266900 KiB
[startup+3595.2 s]
/proc/loadavg: 4.15 4.12 4.10 5/255 34581
/proc/meminfo: memFree=126459428/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=319156 memory=266900 CPUtime=3586.09 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 429293 0 0 0 358539 70 0 0 20 0 3 0 4949778 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 79789 66725 3318 3035 0 69058 0
[pid=32495/tid=32511] ppid=32492 vsize=319156 memory=266900 CPUtime=3581.67 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 410815 0 0 0 358114 53 0 0 20 0 3 0 4950188 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=319156 memory=11536 CPUtime=0.04 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 211 0 0 0 1 3 0 0 20 0 3 0 4950190 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 3586.09 s
Current children cumulated vsize: 319156 KiB
Current children cumulated memory: 266900 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.12 4.10 5/255 34581
/proc/meminfo: memFree=126459396/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=319156 memory=266900 CPUtime=3587.69 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 429311 0 0 0 358699 70 0 0 20 0 3 0 4949778 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 79789 66725 3318 3035 0 69058 0
[pid=32495/tid=32511] ppid=32492 vsize=319156 memory=140633402553073 CPUtime=3583.27 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 410832 0 0 0 358274 53 0 0 20 0 3 0 4950188 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=319156 memory=266900 CPUtime=0.04 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 211 0 0 0 1 3 0 0 20 0 3 0 4950190 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 3587.69 s
Current children cumulated vsize: 319156 KiB
Current children cumulated memory: 266900 KiB
[startup+3597.6 s]
/proc/loadavg: 4.15 4.12 4.10 5/255 34581
/proc/meminfo: memFree=126459412/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=319156 memory=266900 CPUtime=3588.48 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 429316 0 0 0 358778 70 0 0 20 0 3 0 4949778 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 79789 66725 3318 3035 0 69058 0
[pid=32495/tid=32511] ppid=32492 vsize=319156 memory=5496 CPUtime=3584.06 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 410837 0 0 0 358353 53 0 0 20 0 3 0 4950188 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=319156 memory=12856 CPUtime=0.04 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 211 0 0 0 1 3 0 0 20 0 3 0 4950190 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 3588.48 s
Current children cumulated vsize: 319156 KiB
Current children cumulated memory: 266900 KiB
[startup+3598 s]*
/proc/loadavg: 4.14 4.12 4.10 5/255 34581
/proc/meminfo: memFree=126459188/131655788 swapFree=131071728/131071996
[pid=32495] ppid=32492 vsize=319156 memory=266900 CPUtime=3588.9 cores=4,6
/proc/32495/stat : 32495 (fscip) S 32492 32495 27997 0 -1 1077936128 429439 0 0 0 358820 70 0 0 20 0 3 0 4949778 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
/proc/32495/statm: 79789 66725 3318 3035 0 69058 0
[pid=32495/tid=32511] ppid=32492 vsize=319156 memory=-7091598779833474430 CPUtime=3584.48 cores=4,6
/proc/32495/task/32511/stat : 32511 (fscip) R 32492 32495 27997 0 -1 4194368 410991 0 0 0 358395 53 0 0 20 0 3 0 4950188 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
[pid=32495/tid=32512] ppid=32492 vsize=319156 memory=-4050210904893603985 CPUtime=0.04 cores=4,6
/proc/32495/task/32512/stat : 32512 (fscip) S 32492 32495 27997 0 -1 1077936192 211 0 0 0 1 3 0 0 20 0 3 0 4950190 326815744 66725 134679101440 4194304 16623229 140728113888128 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54632448 140728113894422 140728113894538 140728113894538 140728113901552 0
Current children cumulated CPU time: 3588.9 s
Current children cumulated vsize: 319156 KiB
Current children cumulated memory: 266900 KiB
Child status: 0
Real time (s): 3598.08
CPU time (s): 3588.97
CPU user time (s): 3588.26
CPU system time (s): 0.710135
CPU usage (%): 99.7468
Max. virtual memory (cumulated for all children) (KiB): 319156
Max. memory (cumulated for all children) (KiB): 266900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.26
system time used= 0.710135
maximum resident set size= 266900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 430503
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= 10004
involuntary context switches= 2464
# summary of solver processes directly reported to runsolver:
# pid: 32495
# total CPU time (s): 3588.97
# total CPU user time (s): 3588.26
# total CPU system time (s): 0.710135
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3629 second user time and 35.8551 second system time
The end
Begin job on nodeC011 at 2024-07-31 02:29:54
IDJOB=4464470
IDBENCH=158382
IDSOLVER=3092
FILE ID=nodeC011/4464470-1722385794
RUNJOBID= nodeC011-1722378594-28008
SLURM_JOB_ID= 8249841
Free space on /tmp= 723600 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K72.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-4464470-1722385794/watcher-4464470-1722385794 -o /tmp/evaluation-result-4464470-1722385794/solver-4464470-1722385794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722378594-28008 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464470-1722385794.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e64e621864ff5f0b0d30a15b78ec6db8
RANDOM SEED=99795441
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.657
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.639
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.136
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.254
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.095
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3580.244
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.133
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.28
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.379
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.29
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 115107648 kB
MemAvailable: 116270196 kB
Buffers: 98872 kB
Cached: 1905940 kB
SwapCached: 12 kB
Active: 365908 kB
Inactive: 15720332 kB
Active(anon): 1940 kB
Inactive(anon): 14108992 kB
Active(file): 363968 kB
Inactive(file): 1611340 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 56072 kB
Writeback: 0 kB
AnonPages: 14075624 kB
Mapped: 116236 kB
Shmem: 29468 kB
KReclaimable: 54876 kB
Slab: 131488 kB
SReclaimable: 54876 kB
SUnreclaim: 76612 kB
KernelStack: 3828 kB
PageTables: 36548 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 9588568 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6912 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6289408 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: 156488 kB
DirectMap2M: 9185280 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC011 at 2024-07-31 03:29:53