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.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 53399552, getVmSize() = 53399552, SCIPgetMemUsed() = 26292386, SCIPgetMemTotal() = 31068714, SCIPgetMemExternEstim() = 14191280
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
7.14/7.28 c ** Estimated virtualMemUsedAtSolver = 94460366, getVmSize() = 152723456, SCIPgetMemUsed() = 91236149, SCIPgetMemTotal() = 127499269, SCIPgetMemExternEstim() = 14191280
7.14/7.28 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
7.14/7.28 c Original Problem :
7.14/7.28 c Problem name : instance-4447100-1721347761
7.14/7.28 c Variables : 7276 (7276 binary, 0 integer, 0 implicit integer, 0 continuous)
7.14/7.28 c Constraints : 7492
7.14/7.28 c Objective sense : minimize
7.14/7.28 c Presolved Problem :
7.14/7.28 c Variables : 6521 (6521 binary, 0 integer, 0 implicit integer, 0 continuous)
7.14/7.28 c Constraints : 6694
7.14/7.28 c Constraints : Number
7.14/7.28 c setppc : 1422
7.14/7.28 c orbitope : 3
7.14/7.28 c logicor : 5269
7.14/7.28 c ** Instance transfer method used: 0
7.24/7.30 c ** ParaScipInstance copy increased the number of variables. **
7.24/7.31 c LC is working with racing ramp-up and with rebuilding tree after racing.
7.24/7.31 c Nodes Active
7.24/7.31 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
125.46/126.19 c 126 2 1 1 - 0.0000 -
133.23/133.93 c 134 4 1 1 - 0.0000 -
142.10/142.89 c 143 12 9 1 - 0.0000 -
150.28/151.01 c 151 13 10 1 - 0.0000 -
158.05/158.86 c 159 16 13 1 - 0.0000 -
164.64/165.42 c 165 18 15 1 - 0.0000 -
169.72/170.54 c 171 21 18 1 - 0.0000 -
176.10/176.95 c 177 24 19 1 - 0.0000 -
182.08/182.94 c 183 27 18 1 - 0.0000 -
187.46/188.36 c 188 46 21 1 - 0.0000 -
192.94/193.82 c 194 62 19 1 - 0.0000 -
198.82/199.79 c 200 71 20 1 - 0.0000 -
205.30/206.23 c 206 91 20 1 - 0.0000 -
211.58/212.52 c 213 96 17 1 - 0.0000 -
217.86/218.83 c 219 100 19 1 - 0.0000 -
224.15/225.12 c 225 110 17 1 - 0.0000 -
230.72/231.72 c 232 112 17 1 - 0.0000 -
236.11/237.14 c 237 113 18 1 - 0.0000 -
242.39/243.44 c 243 117 18 1 - 0.0000 -
247.78/248.86 c 249 124 19 1 - 0.0000 -
253.16/254.22 c 254 127 20 1 - 0.0000 -
258.54/259.60 c 260 133 20 1 - 0.0000 -
272.39/273.55 c 274 134 21 1 - 0.0000 -
278.17/279.32 c 279 147 20 1 - 0.0000 -
284.14/285.38 c 285 151 20 1 - 0.0000 -
289.62/290.83 c 291 161 22 1 - 0.0000 -
295.40/296.69 c 297 172 21 1 - 0.0000 -
301.58/302.87 c 303 186 21 1 - 0.0000 -
307.66/308.90 c 309 199 20 1 - 0.0000 -
312.84/314.15 c 314 208 19 1 - 0.0000 -
319.72/321.04 c 321 217 20 1 - 0.0000 -
326.09/327.41 c 327 227 20 1 - 0.0000 -
331.57/332.91 c 333 236 19 1 - 0.0000 -
338.65/340.00 c 340 243 18 1 - 0.0000 -
346.12/347.52 c 348 247 20 1 - 0.0000 -
353.10/354.51 c 355 256 19 1 - 0.0000 -
358.38/359.88 c 360 262 19 1 - 0.0000 -
363.86/365.33 c 365 267 20 1 - 0.0000 -
371.24/372.73 c 373 276 19 1 - 0.0000 -
376.82/378.36 c 378 283 20 1 - 0.0000 -
382.31/383.89 c 384 295 22 1 - 0.0000 -
388.99/390.57 c 391 308 25 1 - 0.0000 -
394.97/396.59 c 397 316 23 1 - 0.0000 -
403.04/404.67 c 405 321 19 1 - 0.0000 -
408.72/410.35 c 410 327 19 1 - 0.0000 -
419.79/421.40 c 421 329 19 1 - 0.0000 -
425.17/426.81 c 427 336 20 1 - 0.0000 -
431.46/433.19 c 433 344 20 1 - 0.0000 -
436.83/438.56 c 439 352 20 1 - 0.0000 -
443.01/444.75 c 445 358 22 1 - 0.0000 -
449.49/451.28 c 451 371 21 1 - 0.0000 -
455.57/457.37 c 457 380 20 1 - 0.0000 -
461.54/463.30 c 463 387 21 1 - 0.0000 -
467.42/469.26 c 469 400 22 1 - 0.0000 -
475.39/477.21 c 477 406 22 1 - 0.0000 -
481.97/483.84 c 484 417 25 1 - 0.0000 -
487.74/489.66 c 490 427 25 1 - 0.0000 -
493.02/494.91 c 495 437 23 1 - 0.0000 -
498.70/500.69 c 501 445 21 1 - 0.0000 -
504.88/506.89 c 507 451 21 1 - 0.0000 -
511.17/513.17 c 513 458 20 1 - 0.0000 -
516.85/518.82 c 519 469 21 1 - 0.0000 -
522.92/524.91 c 525 474 22 1 - 0.0000 -
528.01/530.04 c 530 482 22 1 - 0.0000 -
533.09/535.12 c 535 492 20 1 - 0.0000 -
538.16/540.25 c 540 495 21 1 - 0.0000 -
543.84/545.98 c 546 501 21 1 - 0.0000 -
549.92/552.06 c 552 505 21 1 - 0.0000 -
555.31/557.40 c 557 509 21 1 - 0.0000 -
561.68/563.84 c 564 522 22 1 - 0.0000 -
567.56/569.79 c 570 534 22 1 - 0.0000 -
573.54/575.79 c 576 541 23 1 - 0.0000 -
581.31/583.50 c 584 555 21 1 - 0.0000 -
587.58/589.87 c 590 570 22 1 - 0.0000 -
594.16/596.42 c 596 581 21 1 - 0.0000 -
599.94/602.27 c 602 587 21 1 - 0.0000 -
605.32/607.63 c 608 599 23 1 - 0.0000 -
611.10/613.40 c 613 611 23 1 - 0.0000 -
616.38/618.79 c 619 623 25 1 - 0.0000 -
622.85/625.22 c 625 633 25 1 - 0.0000 -
628.33/630.76 c 631 643 25 1 - 0.0000 -
633.91/636.31 c 636 658 26 1 - 0.0000 -
641.29/643.74 c 644 663 23 1 - 0.0000 -
646.67/649.16 c 649 669 29 1 - 0.0000 -
651.74/654.29 c 654 681 27 1 - 0.0000 -
657.63/660.18 c 660 693 25 1 - 0.0000 -
663.20/665.78 c 666 700 24 1 - 0.0000 -
669.48/672.00 c 672 710 24 1 - 0.0000 -
676.14/678.78 c 679 718 24 1 - 0.0000 -
681.24/683.87 c 684 734 22 1 - 0.0000 -
686.92/689.56 c 690 742 24 1 - 0.0000 -
692.00/694.63 c 695 748 24 1 - 0.0000 -
697.68/700.38 c 700 756 24 1 - 0.0000 -
703.27/705.93 c 706 770 24 1 - 0.0000 -
708.75/711.48 c 711 776 24 1 - 0.0000 -
714.03/716.77 c 717 786 26 1 - 0.0000 -
719.71/722.43 c 722 794 26 1 - 0.0000 -
725.50/728.23 c 728 803 27 1 - 0.0000 -
730.58/733.34 c 733 811 25 1 - 0.0000 -
735.96/738.70 c 739 818 24 1 - 0.0000 -
741.54/744.34 c 744 826 26 1 - 0.0000 -
747.53/750.39 c 750 838 26 1 - 0.0000 -
753.21/756.02 c 756 849 25 1 - 0.0000 -
758.50/761.36 c 761 859 25 1 - 0.0000 -
764.48/767.34 c 767 866 24 1 - 0.0000 -
770.86/773.76 c 774 873 23 1 - 0.0000 -
776.44/779.37 c 779 883 23 1 - 0.0000 -
782.02/784.97 c 785 890 22 1 - 0.0000 -
787.70/790.60 c 791 897 23 1 - 0.0000 -
792.69/795.66 c 796 903 21 1 - 0.0000 -
797.97/800.90 c 801 907 21 1 - 0.0000 -
805.45/808.48 c 808 912 22 1 - 0.0000 -
811.03/814.02 c 814 914 22 1 - 0.0000 -
817.01/820.04 c 820 919 21 1 - 0.0000 -
833.46/836.55 c 837 921 21 1 - 0.0000 -
839.24/842.38 c 842 925 23 1 - 0.0000 -
844.52/847.65 c 848 929 21 1 - 0.0000 -
850.71/853.82 c 854 933 21 1 - 0.0000 -
855.70/858.86 c 859 938 20 1 - 0.0000 -
861.18/864.36 c 864 943 21 1 - 0.0000 -
866.36/869.57 c 870 949 21 1 - 0.0000 -
872.74/875.98 c 876 955 21 1 - 0.0000 -
877.73/880.99 c 881 961 21 1 - 0.0000 -
883.01/886.23 c 886 967 21 1 - 0.0000 -
888.30/891.52 c 892 976 22 1 - 0.0000 -
893.38/896.60 c 897 983 21 1 - 0.0000 -
899.16/902.42 c 902 990 20 1 - 0.0000 -
919.20/922.55 c 923 996 20 1 - 0.0000 -
926.98/930.31 c 930 1004 22 1 - 0.0000 -
933.06/936.43 c 936 1007 21 1 - 0.0000 -
938.75/942.11 c 942 1011 21 1 - 0.0000 -
943.83/947.25 c 947 1022 20 1 - 0.0000 -
950.40/953.88 c 954 1028 20 1 - 0.0000 -
956.29/959.74 c 960 1034 20 1 - 0.0000 -
961.87/965.35 c 965 1038 22 1 - 0.0000 -
967.05/970.56 c 971 1040 20 1 - 0.0000 -
972.14/975.68 c 976 1045 21 1 - 0.0000 -
978.12/981.61 c 982 1054 20 1 - 0.0000 -
984.10/987.66 c 988 1061 21 1 - 0.0000 -
991.08/994.69 c 995 1073 23 1 - 0.0000 -
996.16/999.76 c 1000 1081 19 1 - 0.0000 -
1003.34/1006.95 c 1007 1084 20 1 - 0.0000 -
1009.02/1012.63 c 1013 1092 22 1 - 0.0000 -
1015.10/1018.72 c 1019 1100 22 1 - 0.0000 -
1020.20/1023.88 c 1024 1107 23 1 - 0.0000 -
1025.88/1029.51 c 1030 1117 25 1 - 0.0000 -
1031.86/1035.50 c 1036 1129 25 1 - 0.0000 -
1038.64/1042.34 c 1042 1135 23 1 - 0.0000 -
1044.33/1048.07 c 1048 1144 23 1 - 0.0000 -
1050.10/1053.84 c 1054 1150 23 1 - 0.0000 -
1055.29/1059.01 c 1059 1162 23 1 - 0.0000 -
1060.67/1064.44 c 1064 1174 21 1 - 0.0000 -
1066.75/1070.55 c 1071 1182 19 1 - 0.0000 -
1072.73/1076.58 c 1077 1189 18 1 - 0.0000 -
1078.02/1081.80 c 1082 1193 18 1 - 0.0000 -
1084.49/1088.34 c 1088 1199 20 1 - 0.0000 -
1089.68/1093.52 c 1094 1204 21 1 - 0.0000 -
1095.46/1099.34 c 1099 1212 21 1 - 0.0000 -
1100.94/1104.88 c 1105 1218 21 1 - 0.0000 -
1106.92/1110.83 c 1111 1231 20 1 - 0.0000 -
1112.71/1116.67 c 1117 1237 20 1 - 0.0000 -
1118.39/1122.35 c 1122 1241 20 1 - 0.0000 -
1124.87/1128.85 c 1129 1247 20 1 - 0.0000 -
1130.66/1134.67 c 1135 1253 20 1 - 0.0000 -
1136.15/1140.12 c 1140 1262 23 1 - 0.0000 -
1141.42/1145.46 c 1145 1269 22 1 - 0.0000 -
1147.30/1151.31 c 1151 1274 23 1 - 0.0000 -
1154.78/1158.85 c 1159 1286 23 1 - 0.0000 -
1161.36/1165.41 c 1165 1292 23 1 - 0.0000 -
1166.64/1170.71 c 1171 1298 25 1 - 0.0000 -
1173.32/1177.41 c 1177 1306 23 1 - 0.0000 -
1178.31/1182.46 c 1182 1308 23 1 - 0.0000 -
1183.59/1187.71 c 1188 1318 27 1 - 0.0000 -
1189.17/1193.36 c 1193 1326 27 1 - 0.0000 -
1194.46/1198.63 c 1199 1334 29 1 - 0.0000 -
1199.74/1203.98 c 1204 1347 26 1 - 0.0000 -
1205.62/1209.80 c 1210 1360 27 1 - 0.0000 -
1210.61/1214.87 c 1215 1369 28 1 - 0.0000 -
1217.09/1221.30 c 1221 1378 25 1 - 0.0000 -
1222.17/1226.43 c 1226 1382 21 1 - 0.0000 -
1227.45/1231.72 c 1232 1391 24 1 - 0.0000 -
1233.23/1237.54 c 1238 1401 24 1 - 0.0000 -
1239.01/1243.35 c 1243 1408 27 1 - 0.0000 -
1244.50/1248.82 c 1249 1419 26 1 - 0.0000 -
1249.59/1253.90 c 1254 1428 25 1 - 0.0000 -
1254.58/1258.91 c 1259 1436 23 1 - 0.0000 -
1259.77/1264.11 c 1264 1441 26 1 - 0.0000 -
1265.94/1270.36 c 1270 1455 24 1 - 0.0000 -
1272.52/1276.92 c 1277 1468 27 1 - 0.0000 -
1277.71/1282.13 c 1282 1476 23 1 - 0.0000 -
1282.69/1287.17 c 1287 1485 22 1 - 0.0000 -
1288.17/1292.65 c 1293 1492 21 1 - 0.0000 -
1295.95/1300.42 c 1300 1500 21 1 - 0.0000 -
1300.93/1305.45 c 1305 1504 23 1 - 0.0000 -
1306.71/1311.27 c 1311 1514 23 1 - 0.0000 -
1312.19/1316.74 c 1317 1519 24 1 - 0.0000 -
1317.18/1321.76 c 1322 1528 23 1 - 0.0000 -
1322.36/1326.98 c 1327 1532 23 1 - 0.0000 -
1327.65/1332.24 c 1332 1536 25 1 - 0.0000 -
1333.13/1337.70 c 1338 1543 28 1 - 0.0000 -
1338.71/1343.31 c 1343 1557 28 1 - 0.0000 -
1344.30/1348.94 c 1349 1568 25 1 - 0.0000 -
1349.88/1354.51 c 1355 1580 27 1 - 0.0000 -
1356.96/1361.60 c 1362 1586 25 1 - 0.0000 -
1362.54/1367.24 c 1367 1594 25 1 - 0.0000 -
1369.72/1374.42 c 1374 1602 25 1 - 0.0000 -
1376.20/1380.96 c 1381 1609 26 1 - 0.0000 -
1381.48/1386.27 c 1386 1617 26 1 - 0.0000 -
1387.17/1391.92 c 1392 1625 24 1 - 0.0000 -
1392.25/1397.06 c 1397 1631 24 1 - 0.0000 -
1397.34/1402.14 c 1402 1635 24 1 - 0.0000 -
1404.32/1409.12 c 1409 1642 25 1 - 0.0000 -
1410.99/1415.87 c 1416 1650 25 1 - 0.0000 -
1418.88/1423.70 c 1424 1657 26 1 - 0.0000 -
1424.86/1429.76 c 1430 1661 24 1 - 0.0000 -
1430.15/1435.06 c 1435 1666 23 1 - 0.0000 -
1435.33/1440.23 c 1440 1673 22 1 - 0.0000 -
1441.81/1446.75 c 1447 1682 21 1 - 0.0000 -
1447.49/1452.47 c 1452 1686 21 1 - 0.0000 -
1452.87/1457.81 c 1458 1696 21 1 - 0.0000 -
1459.65/1464.68 c 1465 1700 21 1 - 0.0000 -
1464.74/1469.72 c 1470 1704 21 1 - 0.0000 -
1470.92/1475.93 c 1476 1710 21 1 - 0.0000 -
1477.19/1482.25 c 1482 1716 21 1 - 0.0000 -
1482.98/1488.07 c 1488 1726 23 1 - 0.0000 -
1489.15/1494.29 c 1494 1732 21 1 - 0.0000 -
1494.34/1499.42 c 1499 1736 21 1 - 0.0000 -
1500.52/1505.67 c 1506 1747 22 1 - 0.0000 -
1507.69/1512.85 c 1513 1755 20 1 - 0.0000 -
1513.17/1518.35 c 1518 1760 21 1 - 0.0000 -
1518.86/1524.00 c 1524 1765 22 1 - 0.0000 -
1525.63/1530.87 c 1531 1773 18 1 - 0.0000 -
1531.21/1536.41 c 1536 1781 18 1 - 0.0000 -
1536.90/1542.18 c 1542 1789 18 1 - 0.0000 -
1543.58/1548.88 c 1549 1795 18 1 - 0.0000 -
1549.06/1554.33 c 1554 1806 19 1 - 0.0000 -
1555.24/1560.53 c 1561 1817 18 1 - 0.0000 -
1562.02/1567.36 c 1567 1829 16 1 - 0.0000 -
1567.61/1572.98 c 1573 1831 18 1 - 0.0000 -
1576.38/1581.74 c 1582 1833 20 1 - 0.0000 -
1581.77/1587.18 c 1587 1841 18 1 - 0.0000 -
1587.15/1592.59 c 1593 1846 19 1 - 0.0000 -
1592.82/1598.23 c 1598 1852 19 1 - 0.0000 -
1598.81/1604.28 c 1604 1856 21 1 - 0.0000 -
1604.79/1610.22 c 1610 1859 20 1 - 0.0000 -
1609.98/1615.48 c 1615 1865 20 1 - 0.0000 -
1615.26/1620.73 c 1621 1873 20 1 - 0.0000 -
1620.35/1625.85 c 1626 1879 22 1 - 0.0000 -
1627.42/1632.90 c 1633 1890 21 1 - 0.0000 -
1632.41/1637.95 c 1638 1897 22 1 - 0.0000 -
1638.39/1643.90 c 1644 1907 22 1 - 0.0000 -
1644.17/1649.76 c 1650 1915 24 1 - 0.0000 -
1651.35/1656.95 c 1657 1925 22 1 - 0.0000 -
1657.54/1663.19 c 1663 1933 24 1 - 0.0000 -
1663.42/1669.04 c 1669 1942 23 1 - 0.0000 -
1668.40/1674.07 c 1674 1956 23 1 - 0.0000 -
1673.78/1679.47 c 1679 1966 21 1 - 0.0000 -
1680.06/1685.70 c 1686 1970 21 1 - 0.0000 -
1685.64/1691.39 c 1691 1975 20 1 - 0.0000 -
1691.23/1696.92 c 1697 1979 22 1 - 0.0000 -
1696.90/1702.64 c 1703 1988 23 1 - 0.0000 -
1702.99/1708.75 c 1709 1997 22 1 - 0.0000 -
1708.38/1714.16 c 1714 2009 22 1 - 0.0000 -
1714.16/1719.98 c 1720 2022 21 1 - 0.0000 -
1719.74/1725.58 c 1726 2034 21 1 - 0.0000 -
1725.92/1731.71 c 1732 2041 22 1 - 0.0000 -
1731.11/1736.93 c 1737 2043 22 1 - 0.0000 -
1737.09/1742.99 c 1743 2050 23 1 - 0.0000 -
1742.18/1748.03 c 1748 2054 25 1 - 0.0000 -
1747.86/1753.75 c 1754 2063 24 1 - 0.0000 -
1753.94/1759.87 c 1760 2070 24 1 - 0.0000 -
1760.52/1766.45 c 1766 2073 23 1 - 0.0000 -
1766.90/1772.85 c 1773 2075 21 1 - 0.0000 -
1772.09/1778.00 c 1778 2077 23 1 - 0.0000 -
1777.07/1783.06 c 1783 2082 22 1 - 0.0000 -
1785.04/1791.00 c 1791 2086 22 1 - 0.0000 -
1791.32/1797.30 c 1797 2093 21 1 - 0.0000 -
1797.20/1803.24 c 1803 2094 20 1 - 0.0000 -
1802.49/1808.54 c 1809 2097 21 1 - 0.0000 -
1808.07/1814.17 c 1814 2104 22 1 - 0.0000 -
1815.15/1821.29 c 1821 2112 22 1 - 0.0000 -
1821.93/1828.01 c 1828 2124 22 1 - 0.0000 -
1829.50/1835.64 c 1836 2135 23 1 - 0.0000 -
1835.19/1841.32 c 1841 2144 22 1 - 0.0000 -
1841.97/1848.19 c 1848 2152 24 1 - 0.0000 -
1848.64/1854.82 c 1855 2163 23 1 - 0.0000 -
1856.42/1862.64 c 1863 2170 22 1 - 0.0000 -
1862.60/1868.83 c 1869 2174 22 1 - 0.0000 -
1868.28/1874.59 c 1875 2180 24 1 - 0.0000 -
1876.16/1882.45 c 1882 2188 20 1 - 0.0000 -
1883.14/1889.44 c 1889 2192 22 1 - 0.0000 -
1889.12/1895.49 c 1896 2196 22 1 - 0.0000 -
1894.80/1901.18 c 1901 2202 22 1 - 0.0000 -
1900.58/1906.97 c 1907 2210 22 1 - 0.0000 -
1908.56/1914.95 c 1915 2215 21 1 - 0.0000 -
1913.85/1920.21 c 1920 2216 22 1 - 0.0000 -
1919.42/1925.81 c 1926 2222 22 1 - 0.0000 -
1926.80/1933.23 c 1933 2230 22 1 - 0.0000 -
1931.89/1938.36 c 1938 2235 23 1 - 0.0000 -
1937.08/1943.59 c 1944 2242 22 1 - 0.0000 -
1945.25/1951.77 c 1952 2251 23 1 - 0.0000 -
1950.64/1957.13 c 1957 2256 24 1 - 0.0000 -
1956.71/1963.25 c 1963 2267 23 1 - 0.0000 -
1962.50/1969.06 c 1969 2273 21 1 - 0.0000 -
1968.98/1975.54 c 1976 2279 23 1 - 0.0000 -
1974.46/1981.04 c 1981 2287 23 1 - 0.0000 -
1980.74/1987.31 c 1987 2297 23 1 - 0.0000 -
1986.02/1992.63 c 1993 2305 25 1 - 0.0000 -
1991.51/1998.12 c 1998 2316 24 1 - 0.0000 -
1997.39/2004.05 c 2004 2326 22 1 - 0.0000 -
2003.67/2010.31 c 2010 2332 22 1 - 0.0000 -
2009.05/2015.72 c 2016 2341 21 1 - 0.0000 -
2016.23/2022.92 c 2023 2351 21 1 - 0.0000 -
2021.51/2028.29 c 2028 2357 21 1 - 0.0000 -
2028.59/2035.36 c 2035 2364 24 1 - 0.0000 -
2033.68/2040.46 c 2040 2374 22 1 - 0.0000 -
2038.96/2045.71 c 2046 2379 23 1 - 0.0000 -
2044.94/2051.71 c 2052 2386 22 1 - 0.0000 -
2052.22/2059.00 c 2059 2397 19 1 - 0.0000 -
2060.09/2066.97 c 2067 2400 20 1 - 0.0000 -
2065.28/2072.10 c 2072 2409 19 1 - 0.0000 -
2070.26/2077.15 c 2077 2417 19 1 - 0.0000 -
2076.05/2082.92 c 2083 2422 18 1 - 0.0000 -
2081.63/2088.56 c 2089 2433 19 1 - 0.0000 -
2088.71/2095.60 c 2096 2440 20 1 - 0.0000 -
2097.38/2104.34 c 2104 2447 17 1 - 0.0000 -
2103.56/2110.51 c 2111 2449 17 1 - 0.0000 -
2109.54/2116.51 c 2117 2459 19 1 - 0.0000 -
2115.52/2122.51 c 2123 2471 19 1 - 0.0000 -
2120.60/2127.67 c 2128 2485 19 1 - 0.0000 -
2127.28/2134.37 c 2134 2496 18 1 - 0.0000 -
2132.36/2139.41 c 2139 2503 19 1 - 0.0000 -
2138.65/2145.78 c 2146 2513 19 1 - 0.0000 -
2143.94/2151.04 c 2151 2521 17 1 - 0.0000 -
2148.93/2156.08 c 2156 2529 19 1 - 0.0000 -
2154.40/2161.52 c 2162 2537 19 1 - 0.0000 -
2159.79/2166.92 c 2167 2545 17 1 - 0.0000 -
2166.77/2173.92 c 2174 2548 18 1 - 0.0000 -
2174.74/2181.90 c 2182 2554 20 1 - 0.0000 -
2179.83/2187.10 c 2187 2559 19 1 - 0.0000 -
2186.60/2193.80 c 2194 2566 20 1 - 0.0000 -
2192.18/2199.48 c 2199 2573 19 1 - 0.0000 -
2198.87/2206.16 c 2206 2575 19 1 - 0.0000 -
2207.14/2214.48 c 2214 2578 0 1 - 0.0000 -
2274.65/2282.11 c 2282 2578 0 1 - 0.0000 -
2291.78/2299.33 c 2299 2579 1 1 - 0.0000 -
2297.97/2305.51 c 2306 2581 3 1 - 0.0000 -
2329.48/2337.13 c 2337 2585 7 1 - 0.0000 -
2340.24/2347.90 c 2348 2586 8 1 - 0.0000 -
2358.29/2366.09 c 2366 2587 9 1 - 0.0000 -
2414.62/2422.52 c 2423 2589 11 1 - 0.0000 -
2463.17/2471.26 c 2471 2590 12 1 - 0.0000 -
2781.24/2790.21 c 2790 2591 13 1 - 0.0000 -
2901.08/2910.44 c 2910 2592 14 1 - 0.0000 -
2907.07/2916.48 c 2916 2593 15 1 - 0.0000 -
2960.62/2970.10 c 2970 2594 16 1 - 0.0000 -
3493.05/3504.12 c 3504 2596 18 1 - 0.0000 -
3500.33/3511.47 c 3511 2597 19 1 - 0.0000 -
3511.69/3522.89 c 3523 2600 20 1 - 0.0000 -
3517.98/3529.16 c 3529 2603 23 1 - 0.0000 -
3524.66/3535.84 c 3536 2605 25 1 - 0.0000 -
3533.43/3544.61 c 3545 2607 27 1 - 0.0000 -
3545.69/3556.93 c 3557 2609 29 1 - 0.0000 -
3588.67/3600.00 c 3600 2610 30 0 - 0.0000 -
3588.67/3600.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.67/3600.05 c Total Time : 3600.0400
3588.67/3600.05 c solving : 3600.0400
3588.67/3600.05 c presolving : 7.2392 (included in solving)
3588.67/3600.05 c B&B Tree :
3588.67/3600.05 c nodes (total) : 1
3588.67/3600.05 c Solution :
3588.67/3600.05 c Solutions found : 0
3588.67/3600.05 c Primal Bound : -
3588.67/3600.05 c Dual Bound : +0.00000000000000e+00
3588.67/3600.05 c Gap : -
3588.67/3600.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: 63931 MiB (62143 MiB free)
memory of node 1: 64510 MiB (63016 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447100-1721347761/watcher-4447100-1721347761 -o /tmp/evaluation-result-4447100-1721347761/solver-4447100-1721347761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721340572-980428 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447100-1721347761.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
Current StackSize limit: 8192 KiB
solver pid=984773, runsolver pid=984769
[startup+0.100154 s]*
/proc/loadavg: 4.06 4.11 4.09 5/253 984792
/proc/meminfo: memFree=128063736/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=64868 memory=53508 CPUtime=0.09 cores=0,2
/proc/984773/stat : 984773 (fscip) R 984769 984773 980418 0 -1 4194304 12063 0 0 0 7 2 0 0 20 0 1 0 186936290 66424832 13377 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 16217 13377 2638 3032 0 12617 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64868 KiB
Current children cumulated memory: 53508 KiB
[startup+0.20515 s]*
/proc/loadavg: 4.06 4.11 4.09 5/256 984800
/proc/meminfo: memFree=127987840/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=62120 memory=51084 CPUtime=0.19 cores=0,2
/proc/984773/stat : 984773 (fscip) R 984769 984773 980418 0 -1 4194304 12063 0 0 0 17 2 0 0 20 0 1 0 186936290 63610880 12771 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 15530 12771 2686 3032 0 11930 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62120 KiB
Current children cumulated memory: 51084 KiB
[startup+0.30614 s]*
/proc/loadavg: 4.06 4.11 4.09 5/256 984800
/proc/meminfo: memFree=127973296/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=70072 memory=58592 CPUtime=0.29 cores=0,2
/proc/984773/stat : 984773 (fscip) R 984769 984773 980418 0 -1 4194304 13930 0 0 0 27 2 0 0 20 0 1 0 186936290 71753728 14648 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 17518 14648 2718 3032 0 13918 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 70072 KiB
Current children cumulated memory: 58592 KiB
[startup+0.700199 s]
/proc/loadavg: 4.06 4.11 4.09 5/256 984800
/proc/meminfo: memFree=127913180/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=92352 memory=78528 CPUtime=0.67 cores=0,2
/proc/984773/stat : 984773 (fscip) R 984769 984773 980418 0 -1 4194304 19052 0 0 0 64 3 0 0 20 0 1 0 186936290 94568448 19632 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 23088 19632 2734 3032 0 19488 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 92352 KiB
Current children cumulated memory: 78528 KiB
[startup+1.50023 s]
/proc/loadavg: 4.05 4.11 4.09 5/256 984800
/proc/meminfo: memFree=127909832/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=92352 memory=78528 CPUtime=1.47 cores=0,2
/proc/984773/stat : 984773 (fscip) R 984769 984773 980418 0 -1 4194304 19052 0 0 0 144 3 0 0 20 0 1 0 186936290 94568448 19632 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 23088 19632 2734 3032 0 19488 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 92352 KiB
Current children cumulated memory: 78528 KiB
[startup+3.10553 s]
/proc/loadavg: 4.05 4.11 4.09 5/254 984846
/proc/meminfo: memFree=128207608/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=93476 memory=80376 CPUtime=3.07 cores=0,2
/proc/984773/stat : 984773 (fscip) R 984769 984773 980418 0 -1 4194304 19460 0 0 0 304 3 0 0 20 0 1 0 186936290 95719424 20094 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 23369 20094 2734 3032 0 19769 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 93476 KiB
Current children cumulated memory: 80376 KiB
[startup+6.30022 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 984848
/proc/meminfo: memFree=128135868/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=93476 memory=81564 CPUtime=6.24 cores=0,2
/proc/984773/stat : 984773 (fscip) R 984769 984773 980418 0 -1 4194304 19499 0 0 0 621 3 0 0 20 0 1 0 186936290 95719424 20391 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 23369 20391 2734 3032 0 19769 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 93476 KiB
Current children cumulated memory: 81564 KiB
[startup+12.7011 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 984855
/proc/meminfo: memFree=127777316/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=311300 memory=204532 CPUtime=12.6 cores=0,2
/proc/984773/stat : 984773 (fscip) S 984769 984773 980418 0 -1 1077936128 67568 0 0 0 1251 9 0 0 20 0 3 0 186936290 318771200 51133 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 77825 51133 2910 3032 0 60630 0
[pid=984773/tid=984849] ppid=984769 vsize=311300 memory=0 CPUtime=5.34 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 35718 0 0 0 531 3 0 0 20 0 3 0 186937019 318771200 51133 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=311300 memory=11400 CPUtime=0 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 186937022 318771200 51133 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 311300 KiB
Current children cumulated memory: 204532 KiB
[startup+25.5011 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 984857
/proc/meminfo: memFree=127726776/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=313248 memory=209212 CPUtime=25.28 cores=0,2
/proc/984773/stat : 984773 (fscip) S 984769 984773 980418 0 -1 1077936128 77271 0 0 0 2519 9 0 0 20 0 3 0 186936290 320765952 52303 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 78312 52303 2926 3032 0 61629 0
[pid=984773/tid=984849] ppid=984769 vsize=313248 memory=207248 CPUtime=18.03 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 45400 0 0 0 1799 4 0 0 20 0 3 0 186937019 320765952 52303 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=313248 memory=207248 CPUtime=0 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 186937022 320765952 52303 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 313248 KiB
Current children cumulated memory: 209212 KiB
[startup+51.1054 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 984865
/proc/meminfo: memFree=127489316/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=385464 memory=313004 CPUtime=50.7 cores=0,2
/proc/984773/stat : 984773 (fscip) S 984769 984773 980418 0 -1 1077936128 120444 0 0 0 5055 15 0 0 20 0 3 0 186936290 394715136 78251 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 96366 78251 2942 3032 0 85544 0
[pid=984773/tid=984849] ppid=984769 vsize=385464 memory=312868 CPUtime=43.45 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 88556 0 0 0 4335 10 0 0 20 0 3 0 186937019 394715136 78251 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=385464 memory=214632 CPUtime=0 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 186937022 394715136 78251 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 50.7 s
Current children cumulated vsize: 385464 KiB
Current children cumulated memory: 313004 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 984875
/proc/meminfo: memFree=127391552/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=385464 memory=317144 CPUtime=101.73 cores=0,2
/proc/984773/stat : 984773 (fscip) S 984769 984773 980418 0 -1 1077936128 148877 0 0 0 10155 18 0 0 20 0 3 0 186936290 394715136 79286 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 96366 79286 2942 3032 0 85544 0
[pid=984773/tid=984849] ppid=984769 vsize=385464 memory=317144 CPUtime=94.47 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 116979 0 0 0 9435 12 0 0 20 0 3 0 186937019 394715136 79286 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=385464 memory=8471 CPUtime=0 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 3 0 186937022 394715136 79286 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 101.73 s
Current children cumulated vsize: 385464 KiB
Current children cumulated memory: 317144 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.13 4.10 5/264 984885
/proc/meminfo: memFree=127379452/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=385464 memory=320012 CPUtime=161.54 cores=0,2
/proc/984773/stat : 984773 (fscip) S 984769 984773 980418 0 -1 1077936128 164458 0 0 0 16134 20 0 0 20 0 3 0 186936290 394715136 80003 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 96366 80003 2990 3032 0 90553 0
[pid=984773/tid=984849] ppid=984769 vsize=385464 memory=317420 CPUtime=154.29 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 132510 0 0 0 15414 15 0 0 20 0 3 0 186937019 394715136 80003 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=385464 memory=319264 CPUtime=0 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 74 0 0 0 0 0 0 0 20 0 3 0 186937022 394715136 80003 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 161.54 s
Current children cumulated vsize: 385464 KiB
Current children cumulated memory: 320012 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 4.13 4.10 5/264 984895
/proc/meminfo: memFree=127364448/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=385464 memory=326816 CPUtime=221.35 cores=0,2
/proc/984773/stat : 984773 (fscip) S 984769 984773 980418 0 -1 1077936128 165403 0 0 0 22114 21 0 0 20 0 3 0 186936290 394715136 81704 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 96366 81704 2990 3032 0 90553 0
[pid=984773/tid=984849] ppid=984769 vsize=385464 memory=6720669852442575468 CPUtime=214.09 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 133434 0 0 0 21394 15 0 0 20 0 3 0 186937019 394715136 81704 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=385464 memory=326816 CPUtime=0 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 80 0 0 0 0 0 0 0 20 0 3 0 186937022 394715136 81704 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 221.35 s
Current children cumulated vsize: 385464 KiB
Current children cumulated memory: 326816 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/264 984908
/proc/meminfo: memFree=127350172/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=385464 memory=326816 CPUtime=281.15 cores=0,2
/proc/984773/stat : 984773 (fscip) S 984769 984773 980418 0 -1 1077936128 166340 0 0 0 28093 22 0 0 20 0 3 0 186936290 394715136 81704 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 96366 81704 2990 3032 0 90553 0
[pid=984773/tid=984849] ppid=984769 vsize=385464 memory=326816 CPUtime=273.89 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 134348 0 0 0 27373 16 0 0 20 0 3 0 186937019 394715136 81704 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=385464 memory=326816 CPUtime=0 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 86 0 0 0 0 0 0 0 20 0 3 0 186937022 394715136 81704 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 281.15 s
Current children cumulated vsize: 385464 KiB
################
# More data... #
################
/proc/984773/statm: 127530 107713 3310 3032 0 111245 0
[pid=984773/tid=984849] ppid=984769 vsize=510120 memory=44432 CPUtime=3384.2 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 342135 0 0 0 338370 50 0 0 20 0 3 0 186937019 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=510120 memory=11400 CPUtime=0.02 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 353 0 0 0 1 1 0 0 20 0 3 0 186937022 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 3391.55 s
Current children cumulated vsize: 510120 KiB
Current children cumulated memory: 430852 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 986665
/proc/meminfo: memFree=126983360/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=510120 memory=430852 CPUtime=3451.37 cores=0,2
/proc/984773/stat : 984773 (fscip) S 984769 984773 980418 0 -1 1077936128 375378 0 0 0 345078 59 0 0 20 0 3 0 186936290 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 127530 107713 3310 3032 0 111245 0
[pid=984773/tid=984849] ppid=984769 vsize=510120 memory=44432 CPUtime=3444.02 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 342510 0 0 0 344352 50 0 0 20 0 3 0 186937019 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=510120 memory=11400 CPUtime=0.02 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 359 0 0 0 1 1 0 0 20 0 3 0 186937022 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 3451.37 s
Current children cumulated vsize: 510120 KiB
Current children cumulated memory: 430852 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/263 986676
/proc/meminfo: memFree=126981992/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=510120 memory=430852 CPUtime=3511.19 cores=0,2
/proc/984773/stat : 984773 (fscip) S 984769 984773 980418 0 -1 1077936128 376124 0 0 0 351060 59 0 0 20 0 3 0 186936290 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 127530 107713 3310 3032 0 111245 0
[pid=984773/tid=984849] ppid=984769 vsize=510120 memory=44432 CPUtime=3503.84 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 343233 0 0 0 350334 50 0 0 20 0 3 0 186937019 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=510120 memory=6720669852442575468 CPUtime=0.02 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 366 0 0 0 1 1 0 0 20 0 3 0 186937022 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 3511.19 s
Current children cumulated vsize: 510120 KiB
Current children cumulated memory: 430852 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 986688
/proc/meminfo: memFree=126980884/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=510120 memory=430852 CPUtime=3571.02 cores=0,2
/proc/984773/stat : 984773 (fscip) S 984769 984773 980418 0 -1 1077936128 376824 0 0 0 357042 60 0 0 20 0 3 0 186936290 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 127530 107713 3310 3032 0 111245 0
[pid=984773/tid=984849] ppid=984769 vsize=510120 memory=-9044459746194447340 CPUtime=3563.66 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 343925 0 0 0 356316 50 0 0 20 0 3 0 186937019 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=510120 memory=11400 CPUtime=0.02 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 372 0 0 0 1 1 0 0 20 0 3 0 186937022 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 3571.02 s
Current children cumulated vsize: 510120 KiB
Current children cumulated memory: 430852 KiB
[startup+3600.08 s]
# the end of solver process 984773 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.14 s, system=0.610458 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.10 4.09 5/264 986688
/proc/meminfo: memFree=126980884/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=510120 memory=430852 CPUtime=3572.72 cores=0,2
/proc/984773/stat : 984773 (fscip) S 984769 984773 980418 0 -1 1077936128 376824 0 0 0 357212 60 0 0 20 0 3 0 186936290 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 127530 107713 3310 3032 0 111245 0
[pid=984773/tid=984849] ppid=984769 vsize=510120 memory=8036 CPUtime=3565.36 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 343925 0 0 0 356486 50 0 0 20 0 3 0 186937019 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=510120 memory=-9044459746194447340 CPUtime=0.02 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 372 0 0 0 1 1 0 0 20 0 3 0 186937022 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 3572.72 s
Current children cumulated vsize: 510120 KiB
Current children cumulated memory: 430852 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 986688
/proc/meminfo: memFree=126980544/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=510120 memory=430852 CPUtime=3579.1 cores=0,2
/proc/984773/stat : 984773 (fscip) S 984769 984773 980418 0 -1 1077936128 376824 0 0 0 357850 60 0 0 20 0 3 0 186936290 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 127530 107713 3310 3032 0 111245 0
[pid=984773/tid=984849] ppid=984769 vsize=510120 memory=430852 CPUtime=3571.74 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 343925 0 0 0 357124 50 0 0 20 0 3 0 186937019 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=510120 memory=430852 CPUtime=0.02 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 372 0 0 0 1 1 0 0 20 0 3 0 186937022 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 3579.1 s
Current children cumulated vsize: 510120 KiB
Current children cumulated memory: 430852 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 986689
/proc/meminfo: memFree=126980572/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=510120 memory=430852 CPUtime=3585.48 cores=0,2
/proc/984773/stat : 984773 (fscip) S 984769 984773 980418 0 -1 1077936128 377273 0 0 0 358488 60 0 0 20 0 3 0 186936290 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 127530 107713 3310 3032 0 111245 0
[pid=984773/tid=984849] ppid=984769 vsize=510120 memory=12740 CPUtime=3578.12 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 344372 0 0 0 357762 50 0 0 20 0 3 0 186937019 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=510120 memory=430852 CPUtime=0.02 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 374 0 0 0 1 1 0 0 20 0 3 0 186937022 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 3585.48 s
Current children cumulated vsize: 510120 KiB
Current children cumulated memory: 430852 KiB
[startup+3598.4 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 986689
/proc/meminfo: memFree=126980572/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=510120 memory=430852 CPUtime=3587.07 cores=0,2
/proc/984773/stat : 984773 (fscip) S 984769 984773 980418 0 -1 1077936128 377283 0 0 0 358647 60 0 0 20 0 3 0 186936290 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 127530 107713 3310 3032 0 111245 0
[pid=984773/tid=984849] ppid=984769 vsize=510120 memory=12740 CPUtime=3579.71 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 344382 0 0 0 357921 50 0 0 20 0 3 0 186937019 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=510120 memory=5448 CPUtime=0.02 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 374 0 0 0 1 1 0 0 20 0 3 0 186937022 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 3587.07 s
Current children cumulated vsize: 510120 KiB
Current children cumulated memory: 430852 KiB
[startup+3599.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 986689
/proc/meminfo: memFree=126980244/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=510120 memory=430852 CPUtime=3587.87 cores=0,2
/proc/984773/stat : 984773 (fscip) S 984769 984773 980418 0 -1 1077936128 377295 0 0 0 358727 60 0 0 20 0 3 0 186936290 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 127530 107713 3310 3032 0 111245 0
[pid=984773/tid=984849] ppid=984769 vsize=510120 memory=12740 CPUtime=3580.51 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 344394 0 0 0 358001 50 0 0 20 0 3 0 186937019 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=510120 memory=44432 CPUtime=0.02 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 374 0 0 0 1 1 0 0 20 0 3 0 186937022 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 3587.87 s
Current children cumulated vsize: 510120 KiB
Current children cumulated memory: 430852 KiB
[startup+3599.6 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 986689
/proc/meminfo: memFree=126980244/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=510120 memory=430852 CPUtime=3588.27 cores=0,2
/proc/984773/stat : 984773 (fscip) S 984769 984773 980418 0 -1 1077936128 377295 0 0 0 358767 60 0 0 20 0 3 0 186936290 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 127530 107713 3310 3032 0 111245 0
[pid=984773/tid=984849] ppid=984769 vsize=510120 memory=5600 CPUtime=3580.91 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 344394 0 0 0 358041 50 0 0 20 0 3 0 186937019 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=510120 memory=21236 CPUtime=0.02 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 374 0 0 0 1 1 0 0 20 0 3 0 186937022 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 3588.27 s
Current children cumulated vsize: 510120 KiB
Current children cumulated memory: 430852 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.09 4.09 5/264 986689
/proc/meminfo: memFree=126980244/131524600 swapFree=131071996/131071996
[pid=984773] ppid=984769 vsize=510120 memory=430852 CPUtime=3588.67 cores=0,2
/proc/984773/stat : 984773 (fscip) R 984769 984773 980418 0 -1 1077936128 377392 0 0 0 358807 60 0 0 20 0 3 0 186936290 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
/proc/984773/statm: 127530 107713 3310 3032 0 111245 0
[pid=984773/tid=984849] ppid=984769 vsize=510120 memory=-5155634780447454526 CPUtime=3581.31 cores=0,2
/proc/984773/task/984849/stat : 984849 (fscip) R 984769 984773 980418 0 -1 4194368 344491 0 0 0 358081 50 0 0 20 0 3 0 186937019 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
[pid=984773/tid=984850] ppid=984769 vsize=510120 memory=-9044459746194447340 CPUtime=0.02 cores=0,2
/proc/984773/task/984850/stat : 984850 (fscip) S 984769 984773 980418 0 -1 1077936192 374 0 0 0 1 1 0 0 20 0 3 0 186937022 522362880 107713 134679101440 4194304 16613245 140725422313136 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 25493504 140725422318612 140725422318728 140725422318728 140725422325744 0
Current children cumulated CPU time: 3588.67 s
Current children cumulated vsize: 510120 KiB
Current children cumulated memory: 430852 KiB
Child status: 0
Real time (s): 3600.08
CPU time (s): 3588.75
CPU user time (s): 3588.14
CPU system time (s): 0.610458
CPU usage (%): 99.6855
Max. virtual memory (cumulated for all children) (KiB): 510120
Max. memory (cumulated for all children) (KiB): 430852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.14
system time used= 0.610458
maximum resident set size= 430852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 378627
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= 6003
involuntary context switches= 24784
# summary of solver processes directly reported to runsolver:
# pid: 984773
# total CPU time (s): 3588.75
# total CPU user time (s): 3588.14
# total CPU system time (s): 0.610458
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.81857 second user time and 15.6967 second system time
The end
Begin job on nodeC015 at 2024-07-19 02:09:33
IDJOB=4447100
IDBENCH=158360
IDSOLVER=3064
FILE ID=nodeC015/4447100-1721347761
RUNJOBID= nodeC015-1721340572-980428
SLURM_JOB_ID= 7542724
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K107.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-4447100-1721347761/watcher-4447100-1721347761 -o /tmp/evaluation-result-4447100-1721347761/solver-4447100-1721347761 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721340572-980428 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447100-1721347761.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 86c4e69ec1b5c87cf6b12225bb221f99
RANDOM SEED=2128500327
nodeC015.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 : 3600.259
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 : 3670.023
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3647.755
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 : 3620.169
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3624.051
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 : 3614.208
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
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 : 3654.866
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 : 3649.817
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128158968 kB
MemAvailable: 129345008 kB
Buffers: 512872 kB
Cached: 1499824 kB
SwapCached: 0 kB
Active: 1650164 kB
Inactive: 1082908 kB
Active(anon): 1532 kB
Inactive(anon): 756232 kB
Active(file): 1648632 kB
Inactive(file): 326676 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28844 kB
Writeback: 0 kB
AnonPages: 718364 kB
Mapped: 118384 kB
Shmem: 37720 kB
KReclaimable: 100756 kB
Slab: 213360 kB
SReclaimable: 100756 kB
SUnreclaim: 112604 kB
KernelStack: 3984 kB
PageTables: 10100 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 868144 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68224 kB
HardwareCorrupted: 0 kB
AnonHugePages: 548864 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: 291540 kB
DirectMap2M: 38279168 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC015 at 2024-07-19 03:09:33