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.39/0.50 c Default LC presolving (default).
0.50/0.51 c ** Before presolving: virtualMemUsedAtLc = 377347362, getVmSize() = 247476224, SCIPgetMemUsed() = 196293050, SCIPgetMemTotal() = 215015010, SCIPgetMemExternEstim() = 162332352
0.50/0.51 c ** set memory limit for presolving in LC to 8.79598e+12 for SCIP **
3.99/4.07 c ** Estimated virtualMemUsedAtSolver = 481269238, getVmSize() = 608968704, SCIPgetMemUsed() = 335382810, SCIPgetMemTotal() = 559571506, SCIPgetMemExternEstim() = 162332352
3.99/4.07 c ** set memory limit for solvers to 4.39803e+12 for each SCIP **
3.99/4.07 c Original Problem :
3.99/4.07 c Problem name : instance-4446440-1721334269
3.99/4.07 c Variables : 7085 (7085 binary, 0 integer, 0 implicit integer, 0 continuous)
3.99/4.07 c Constraints : 151483
3.99/4.07 c Objective sense : minimize
3.99/4.07 c Presolved Problem :
3.99/4.07 c Variables : 6660 (6660 binary, 0 integer, 0 implicit integer, 0 continuous)
3.99/4.07 c Constraints : 136271
3.99/4.07 c Constraints : Number
3.99/4.07 c knapsack : 15582
3.99/4.07 c setppc : 26788
3.99/4.07 c linear : 2
3.99/4.07 c logicor : 93899
3.99/4.07 c ** Instance transfer method used: 0
4.28/4.30 c ** ParaScipInstance copy does not increase the number of variables. **
4.38/4.48 c LC is working with racing ramp-up and with rebuilding tree after racing.
4.38/4.48 c Nodes Active
4.38/4.48 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
194.93/195.50 c 196 2 1 1 - 0.0000 -
205.89/206.53 c 207 17 14 1 - 0.0000 -
221.24/221.98 c 222 29 24 1 - 0.0000 -
237.10/237.88 c 238 31 26 1 - 0.0000 -
253.95/254.74 c 255 33 28 1 - 0.0000 -
259.84/260.60 c 261 35 30 1 - 0.0000 -
269.41/270.22 c 270 38 33 1 - 0.0000 -
284.06/284.90 c 285 40 35 1 - 0.0000 -
289.34/290.25 c 290 52 42 1 - 0.0000 -
295.32/296.26 c 296 82 72 1 - 0.0000 -
302.11/303.01 c 303 92 80 1 - 0.0000 -
307.78/308.70 c 309 127 113 1 - 0.0000 -
313.86/314.88 c 315 228 190 1 - 0.0000 -
322.43/323.42 c 323 261 198 1 - 0.0000 -
327.71/328.71 c 329 393 214 1 - 0.0000 -
332.79/333.88 c 334 611 200 1 - 0.0000 -
339.17/340.23 c 340 753 120 1 - 0.0000 -
349.24/350.39 c 350 771 123 1 - 0.0000 -
358.72/359.84 c 360 787 121 1 - 0.0000 -
364.69/365.89 c 366 804 128 1 - 0.0000 -
370.27/371.41 c 371 805 129 1 - 0.0000 -
377.46/378.63 c 379 834 130 1 - 0.0000 -
390.52/391.78 c 392 837 133 1 - 0.0000 -
396.10/397.38 c 397 853 149 1 - 0.0000 -
401.49/402.77 c 403 861 153 1 - 0.0000 -
407.27/408.51 c 409 875 165 1 - 0.0000 -
413.76/415.00 c 415 889 170 1 - 0.0000 -
418.95/420.26 c 420 904 174 1 - 0.0000 -
425.32/426.64 c 427 929 191 1 - 0.0000 -
431.20/432.56 c 433 942 198 1 - 0.0000 -
441.18/442.56 c 443 956 201 1 - 0.0000 -
451.15/452.52 c 453 968 209 1 - 0.0000 -
463.81/465.24 c 465 984 219 1 - 0.0000 -
472.49/473.95 c 474 994 218 1 - 0.0000 -
486.95/488.40 c 488 1008 222 1 - 0.0000 -
496.03/497.58 c 498 1021 229 1 - 0.0000 -
502.11/503.66 c 504 1037 243 1 - 0.0000 -
508.10/509.60 c 510 1048 249 1 - 0.0000 -
515.59/517.13 c 517 1060 261 1 - 0.0000 -
523.15/524.73 c 525 1072 273 1 - 0.0000 -
531.23/532.82 c 533 1077 278 1 - 0.0000 -
539.12/540.72 c 541 1078 279 1 - 0.0000 -
547.69/549.34 c 549 1087 288 1 - 0.0000 -
556.77/558.47 c 558 1103 292 1 - 0.0000 -
563.75/565.42 c 565 1129 295 1 - 0.0000 -
571.53/573.29 c 573 1142 297 1 - 0.0000 -
577.91/579.64 c 580 1156 307 1 - 0.0000 -
591.58/593.35 c 593 1175 309 1 - 0.0000 -
597.56/599.39 c 599 1183 312 1 - 0.0000 -
604.94/606.78 c 607 1188 315 1 - 0.0000 -
611.13/612.91 c 613 1209 336 1 - 0.0000 -
618.11/619.94 c 620 1220 347 1 - 0.0000 -
623.69/625.54 c 626 1226 353 1 - 0.0000 -
630.77/632.67 c 633 1242 361 1 - 0.0000 -
639.65/641.53 c 642 1262 381 1 - 0.0000 -
646.14/648.07 c 648 1272 390 1 - 0.0000 -
656.12/658.06 c 658 1284 401 1 - 0.0000 -
661.10/663.08 c 663 1294 410 1 - 0.0000 -
667.58/669.56 c 670 1307 423 1 - 0.0000 -
674.16/676.15 c 676 1329 442 1 - 0.0000 -
679.54/681.56 c 682 1345 458 1 - 0.0000 -
686.33/688.33 c 688 1362 473 1 - 0.0000 -
693.61/695.60 c 696 1385 488 1 - 0.0000 -
701.49/703.57 c 704 1389 490 1 - 0.0000 -
707.47/709.58 c 710 1394 495 1 - 0.0000 -
713.65/715.73 c 716 1399 500 1 - 0.0000 -
719.44/721.55 c 722 1408 509 1 - 0.0000 -
724.72/726.89 c 727 1417 516 1 - 0.0000 -
733.01/735.11 c 735 1422 519 1 - 0.0000 -
739.69/741.88 c 742 1433 530 1 - 0.0000 -
744.77/746.93 c 747 1438 535 1 - 0.0000 -
749.76/751.99 c 752 1443 540 1 - 0.0000 -
755.74/757.95 c 758 1448 545 1 - 0.0000 -
761.03/763.26 c 763 1456 553 1 - 0.0000 -
766.22/768.43 c 768 1461 558 1 - 0.0000 -
771.31/773.53 c 774 1465 562 1 - 0.0000 -
776.49/778.71 c 779 1473 570 1 - 0.0000 -
782.18/784.47 c 784 1485 580 1 - 0.0000 -
788.26/790.57 c 791 1508 597 1 - 0.0000 -
794.15/796.47 c 796 1516 605 1 - 0.0000 -
808.51/810.87 c 811 1518 607 1 - 0.0000 -
818.08/820.46 c 820 1536 616 1 - 0.0000 -
824.56/826.99 c 827 1549 625 1 - 0.0000 -
832.95/835.36 c 835 1554 629 1 - 0.0000 -
840.73/843.12 c 843 1567 640 1 - 0.0000 -
847.51/849.93 c 850 1582 650 1 - 0.0000 -
855.99/858.40 c 858 1597 665 1 - 0.0000 -
871.15/873.61 c 874 1604 670 1 - 0.0000 -
876.83/879.32 c 879 1608 673 1 - 0.0000 -
882.81/885.33 c 885 1624 689 1 - 0.0000 -
888.10/890.65 c 891 1643 708 1 - 0.0000 -
893.28/895.80 c 896 1653 717 1 - 0.0000 -
899.67/902.27 c 902 1663 727 1 - 0.0000 -
905.05/907.64 c 908 1693 747 1 - 0.0000 -
911.14/913.71 c 914 1707 761 1 - 0.0000 -
916.53/919.17 c 919 1718 772 1 - 0.0000 -
921.51/924.18 c 924 1729 783 1 - 0.0000 -
929.29/931.92 c 932 1752 797 1 - 0.0000 -
938.97/941.66 c 942 1768 809 1 - 0.0000 -
944.94/947.65 c 948 1783 824 1 - 0.0000 -
955.22/957.98 c 958 1790 831 1 - 0.0000 -
962.70/965.44 c 965 1796 837 1 - 0.0000 -
968.48/971.22 c 971 1816 857 1 - 0.0000 -
973.96/976.70 c 977 1832 873 1 - 0.0000 -
980.16/982.90 c 983 1849 880 1 - 0.0000 -
985.74/988.50 c 989 1874 901 1 - 0.0000 -
992.82/995.63 c 996 1884 909 1 - 0.0000 -
1020.54/1023.44 c 1023 1890 915 1 - 0.0000 -
1025.53/1028.49 c 1028 1909 934 1 - 0.0000 -
1030.82/1033.77 c 1034 1975 992 1 - 0.0000 -
1037.20/1040.17 c 1040 2108 1002 1 - 0.0000 -
1042.88/1045.89 c 1046 2202 1007 1 - 0.0000 -
1047.97/1050.92 c 1051 2317 1019 1 - 0.0000 -
1055.25/1058.23 c 1058 2370 1029 1 - 0.0000 -
1060.83/1063.85 c 1064 2467 1035 1 - 0.0000 -
1067.01/1070.03 c 1070 2606 1050 1 - 0.0000 -
1072.29/1075.37 c 1075 2675 1050 1 - 0.0000 -
1077.78/1080.89 c 1081 2749 1055 1 - 0.0000 -
1082.97/1086.08 c 1086 2912 1049 1 - 0.0000 -
1090.04/1093.11 c 1093 3033 1045 1 - 0.0000 -
1095.23/1098.37 c 1098 3175 1043 1 - 0.0000 -
1100.31/1103.47 c 1103 3316 1051 1 - 0.0000 -
1105.89/1109.01 c 1109 3445 1045 1 - 0.0000 -
1111.08/1114.23 c 1114 3607 1018 1 - 0.0000 -
1220.26/1223.70 c 1224 3653 1 1 - 0.0000 -
1226.05/1229.56 c 1230 3693 41 1 - 0.0000 -
1231.13/1234.69 c 1235 3710 58 1 - 0.0000 -
1237.22/1240.72 c 1241 3737 85 1 - 0.0000 -
1244.30/1247.83 c 1248 3741 89 1 - 0.0000 -
1251.59/1255.19 c 1255 3757 105 1 - 0.0000 -
1257.47/1261.05 c 1261 3760 108 1 - 0.0000 -
1264.74/1268.30 c 1268 3776 124 1 - 0.0000 -
1270.73/1274.37 c 1274 3778 126 1 - 0.0000 -
1276.32/1279.93 c 1280 3786 134 1 - 0.0000 -
1283.10/1286.70 c 1287 3801 149 1 - 0.0000 -
1289.08/1292.77 c 1293 3821 167 1 - 0.0000 -
1295.26/1298.98 c 1299 3882 220 1 - 0.0000 -
1302.14/1305.88 c 1306 3939 235 1 - 0.0000 -
1307.62/1311.39 c 1311 4048 253 1 - 0.0000 -
1313.80/1317.56 c 1318 4149 208 1 - 0.0000 -
1320.58/1324.34 c 1324 4214 251 1 - 0.0000 -
1325.75/1329.52 c 1330 4354 347 1 - 0.0000 -
1330.74/1334.59 c 1335 4504 489 1 - 0.0000 -
1335.82/1339.68 c 1340 4647 219 1 - 0.0000 -
1341.21/1345.06 c 1345 4765 259 1 - 0.0000 -
1346.49/1350.37 c 1350 4838 304 1 - 0.0000 -
1352.17/1356.10 c 1356 4935 379 1 - 0.0000 -
1357.35/1361.24 c 1361 5097 452 1 - 0.0000 -
1362.93/1366.87 c 1367 5217 311 1 - 0.0000 -
1369.61/1373.54 c 1374 5298 348 1 - 0.0000 -
1374.89/1378.80 c 1379 5451 378 1 - 0.0000 -
1380.28/1384.29 c 1384 5612 381 1 - 0.0000 -
1385.46/1389.47 c 1389 5760 241 1 - 0.0000 -
1390.55/1394.59 c 1395 5943 241 1 - 0.0000 -
1395.73/1399.75 c 1400 6098 267 1 - 0.0000 -
1401.01/1405.00 c 1405 6238 278 1 - 0.0000 -
1406.09/1410.12 c 1410 6425 242 1 - 0.0000 -
1411.38/1415.40 c 1415 6603 244 1 - 0.0000 -
1416.46/1420.59 c 1421 6780 232 1 - 0.0000 -
1421.54/1425.69 c 1426 6958 229 1 - 0.0000 -
1426.72/1430.86 c 1431 7074 260 1 - 0.0000 -
1432.30/1436.49 c 1436 7172 290 1 - 0.0000 -
1437.49/1441.62 c 1442 7223 321 1 - 0.0000 -
1444.17/1448.37 c 1448 7303 366 1 - 0.0000 -
1449.36/1453.52 c 1454 7373 407 1 - 0.0000 -
1454.53/1458.72 c 1459 7480 445 1 - 0.0000 -
1460.42/1464.63 c 1465 7566 485 1 - 0.0000 -
1466.30/1470.52 c 1471 7617 516 1 - 0.0000 -
1471.89/1476.17 c 1476 7659 548 1 - 0.0000 -
1478.37/1482.62 c 1483 7740 564 1 - 0.0000 -
1484.55/1488.85 c 1489 7841 574 1 - 0.0000 -
1490.03/1494.39 c 1494 7931 636 1 - 0.0000 -
1495.21/1499.52 c 1500 8095 697 1 - 0.0000 -
1500.80/1505.15 c 1505 8245 765 1 - 0.0000 -
1505.87/1510.24 c 1510 8404 866 1 - 0.0000 -
1510.96/1515.32 c 1515 8611 908 1 - 0.0000 -
1516.04/1520.46 c 1520 8814 736 1 - 0.0000 -
1521.23/1525.62 c 1526 8987 767 1 - 0.0000 -
1526.31/1530.73 c 1531 9168 595 1 - 0.0000 -
1531.39/1535.81 c 1536 9320 626 1 - 0.0000 -
1536.87/1541.34 c 1541 9453 599 1 - 0.0000 -
1542.35/1546.88 c 1547 9509 612 1 - 0.0000 -
1547.65/1552.17 c 1552 9554 613 1 - 0.0000 -
1553.72/1558.27 c 1558 9656 612 1 - 0.0000 -
1559.30/1563.84 c 1564 9770 600 1 - 0.0000 -
1564.98/1569.59 c 1570 9869 604 1 - 0.0000 -
1570.27/1574.81 c 1575 9996 609 1 - 0.0000 -
1575.45/1580.02 c 1580 10157 605 1 - 0.0000 -
1581.23/1585.83 c 1586 10271 606 1 - 0.0000 -
1586.81/1591.43 c 1591 10373 581 1 - 0.0000 -
1592.29/1596.93 c 1597 10469 586 1 - 0.0000 -
1597.38/1602.09 c 1602 10570 604 1 - 0.0000 -
1602.76/1607.46 c 1607 10672 613 1 - 0.0000 -
1608.14/1612.80 c 1613 10775 604 1 - 0.0000 -
1613.53/1618.25 c 1618 10862 650 1 - 0.0000 -
1621.31/1626.06 c 1626 10935 690 1 - 0.0000 -
1626.59/1631.32 c 1631 11024 714 1 - 0.0000 -
1633.57/1638.38 c 1638 11091 750 1 - 0.0000 -
1638.95/1643.78 c 1644 11113 770 1 - 0.0000 -
1646.64/1651.41 c 1651 11197 822 1 - 0.0000 -
1652.22/1657.00 c 1657 11286 858 1 - 0.0000 -
1657.59/1662.40 c 1662 11354 849 1 - 0.0000 -
1662.58/1667.48 c 1667 11464 878 1 - 0.0000 -
1668.46/1673.34 c 1673 11522 901 1 - 0.0000 -
1673.75/1678.61 c 1679 11632 923 1 - 0.0000 -
1679.03/1683.98 c 1684 11722 952 1 - 0.0000 -
1684.31/1689.23 c 1689 11817 971 1 - 0.0000 -
1689.40/1694.39 c 1694 11912 994 1 - 0.0000 -
1694.88/1699.87 c 1700 12016 998 1 - 0.0000 -
1700.06/1705.00 c 1705 12145 1008 1 - 0.0000 -
1705.54/1710.56 c 1711 12239 1016 1 - 0.0000 -
1710.92/1715.94 c 1716 12369 1018 1 - 0.0000 -
1716.20/1721.28 c 1721 12486 1024 1 - 0.0000 -
1721.79/1726.85 c 1727 12597 1030 1 - 0.0000 -
1727.27/1732.34 c 1732 12725 990 1 - 0.0000 -
1732.75/1737.87 c 1738 12819 1034 1 - 0.0000 -
1737.83/1742.98 c 1743 12938 1041 1 - 0.0000 -
1743.31/1748.47 c 1748 13050 1113 1 - 0.0000 -
1748.70/1753.84 c 1754 13207 1056 1 - 0.0000 -
1754.58/1759.79 c 1760 13323 1090 1 - 0.0000 -
1759.76/1764.93 c 1765 13444 1153 1 - 0.0000 -
1764.95/1770.17 c 1770 13587 1184 1 - 0.0000 -
1770.12/1775.36 c 1775 13717 1193 1 - 0.0000 -
1775.31/1780.55 c 1781 13828 1208 1 - 0.0000 -
1781.09/1786.37 c 1786 13960 1209 1 - 0.0000 -
1786.27/1791.56 c 1792 14091 1220 1 - 0.0000 -
1791.95/1797.27 c 1797 14140 1246 1 - 0.0000 -
1797.14/1802.45 c 1802 14262 1282 1 - 0.0000 -
1802.22/1807.57 c 1808 14429 1300 1 - 0.0000 -
1807.40/1812.70 c 1813 14542 1315 1 - 0.0000 -
1812.49/1817.80 c 1818 14650 1343 1 - 0.0000 -
1817.77/1823.19 c 1823 14765 1369 1 - 0.0000 -
1822.96/1828.38 c 1828 14876 1338 1 - 0.0000 -
1828.54/1833.99 c 1834 14978 1362 1 - 0.0000 -
1834.51/1839.99 c 1840 15097 1366 1 - 0.0000 -
1839.80/1845.28 c 1845 15205 1373 1 - 0.0000 -
1844.89/1850.37 c 1850 15376 1386 1 - 0.0000 -
1850.07/1855.55 c 1856 15518 1415 1 - 0.0000 -
1855.85/1861.35 c 1861 15637 1432 1 - 0.0000 -
1861.23/1866.75 c 1867 15758 1420 1 - 0.0000 -
1866.53/1872.00 c 1872 15868 1464 1 - 0.0000 -
1873.20/1878.72 c 1879 15942 1456 1 - 0.0000 -
1878.98/1884.52 c 1885 15995 1443 1 - 0.0000 -
1884.47/1890.00 c 1890 16098 1463 1 - 0.0000 -
1889.65/1895.26 c 1895 16193 1510 1 - 0.0000 -
1895.13/1900.72 c 1901 16281 1540 1 - 0.0000 -
1900.32/1905.97 c 1906 16403 1550 1 - 0.0000 -
1905.51/1911.16 c 1911 16498 1563 1 - 0.0000 -
1910.89/1916.53 c 1917 16586 1566 1 - 0.0000 -
1916.17/1921.81 c 1922 16692 1589 1 - 0.0000 -
1921.36/1927.07 c 1927 16780 1599 1 - 0.0000 -
1926.84/1932.52 c 1933 16882 1596 1 - 0.0000 -
1932.02/1937.76 c 1938 17002 1588 1 - 0.0000 -
1937.51/1943.27 c 1943 17111 1540 1 - 0.0000 -
1947.18/1952.99 c 1953 17139 1564 1 - 0.0000 -
1952.47/1958.23 c 1958 17175 1594 1 - 0.0000 -
1957.55/1963.37 c 1963 17227 1625 1 - 0.0000 -
1962.74/1968.50 c 1969 17315 1684 1 - 0.0000 -
1968.52/1974.38 c 1974 17381 1714 1 - 0.0000 -
1973.81/1979.69 c 1980 17467 1742 1 - 0.0000 -
1979.09/1984.94 c 1985 17568 1773 1 - 0.0000 -
1984.28/1990.19 c 1990 17675 1811 1 - 0.0000 -
1989.66/1995.53 c 1996 17771 1823 1 - 0.0000 -
1994.75/2000.61 c 2001 17865 1836 1 - 0.0000 -
2000.63/2006.52 c 2007 17963 1885 1 - 0.0000 -
2005.92/2011.85 c 2012 18042 1908 1 - 0.0000 -
2011.21/2017.11 c 2017 18135 1919 1 - 0.0000 -
2016.48/2022.42 c 2022 18211 1894 1 - 0.0000 -
2021.77/2027.73 c 2028 18318 1916 1 - 0.0000 -
2027.06/2033.02 c 2033 18409 1924 1 - 0.0000 -
2034.14/2040.11 c 2040 18457 1927 1 - 0.0000 -
2040.03/2046.07 c 2046 18477 1930 1 - 0.0000 -
2045.80/2051.82 c 2052 18521 1952 1 - 0.0000 -
2052.59/2058.65 c 2059 18523 1954 1 - 0.0000 -
2057.99/2064.07 c 2064 18527 1958 1 - 0.0000 -
2065.56/2071.63 c 2072 18539 1970 1 - 0.0000 -
2073.34/2079.40 c 2079 18540 1971 1 - 0.0000 -
2082.42/2088.56 c 2089 18556 1987 1 - 0.0000 -
2088.30/2094.43 c 2094 18573 2001 1 - 0.0000 -
2093.49/2099.63 c 2100 18710 2012 1 - 0.0000 -
2099.07/2105.24 c 2105 18809 2054 1 - 0.0000 -
2104.26/2110.44 c 2110 18937 1990 1 - 0.0000 -
2112.33/2118.56 c 2119 18978 1998 1 - 0.0000 -
2117.51/2123.79 c 2124 19012 2016 1 - 0.0000 -
2124.91/2131.10 c 2131 19030 2016 1 - 0.0000 -
2130.99/2137.20 c 2137 19063 2040 1 - 0.0000 -
2135.97/2142.26 c 2142 19165 2053 1 - 0.0000 -
2142.85/2149.17 c 2149 19223 2078 1 - 0.0000 -
2148.93/2155.25 c 2155 19249 2096 1 - 0.0000 -
2155.22/2161.51 c 2162 19263 2107 1 - 0.0000 -
2160.50/2166.87 c 2167 19309 2147 1 - 0.0000 -
2165.89/2172.20 c 2172 19385 2166 1 - 0.0000 -
2172.27/2178.62 c 2179 19433 2192 1 - 0.0000 -
2177.46/2183.89 c 2184 19571 2177 1 - 0.0000 -
2183.54/2189.93 c 2190 19645 2182 1 - 0.0000 -
2192.22/2198.68 c 2199 19649 2182 1 - 0.0000 -
2197.40/2203.83 c 2204 19787 2238 1 - 0.0000 -
2203.19/2209.64 c 2210 19875 2275 1 - 0.0000 -
2208.97/2215.45 c 2215 19901 2288 1 - 0.0000 -
2214.06/2220.57 c 2221 20042 2373 1 - 0.0000 -
2219.14/2225.63 c 2226 20230 2395 1 - 0.0000 -
2224.22/2230.76 c 2231 20413 2445 1 - 0.0000 -
2229.31/2235.86 c 2236 20586 2525 1 - 0.0000 -
2234.39/2240.97 c 2241 20766 2564 1 - 0.0000 -
2239.58/2246.16 c 2246 20949 2570 1 - 0.0000 -
2244.66/2251.27 c 2251 21152 2538 1 - 0.0000 -
2249.85/2256.43 c 2256 21314 2592 1 - 0.0000 -
2254.93/2261.56 c 2262 21516 2563 1 - 0.0000 -
2260.01/2266.67 c 2267 21714 2569 1 - 0.0000 -
2265.09/2271.75 c 2272 21890 2495 1 - 0.0000 -
2270.18/2276.81 c 2277 22067 2474 1 - 0.0000 -
2275.37/2282.06 c 2282 22213 2521 1 - 0.0000 -
2280.55/2287.20 c 2287 22386 2539 1 - 0.0000 -
2285.53/2292.29 c 2292 22558 2567 1 - 0.0000 -
2290.72/2297.45 c 2297 22706 2453 1 - 0.0000 -
2295.81/2302.58 c 2303 22820 2546 1 - 0.0000 -
2300.99/2307.73 c 2308 22923 2624 1 - 0.0000 -
2306.07/2312.86 c 2313 23064 2381 1 - 0.0000 -
2311.26/2318.03 c 2318 23178 2477 1 - 0.0000 -
2316.54/2323.31 c 2323 23307 2553 1 - 0.0000 -
2321.72/2328.59 c 2329 23400 2642 1 - 0.0000 -
2326.81/2333.68 c 2334 23516 2738 1 - 0.0000 -
2332.39/2339.28 c 2339 23647 2851 1 - 0.0000 -
2337.58/2344.49 c 2344 23787 2959 1 - 0.0000 -
2342.66/2349.58 c 2350 23937 3048 1 - 0.0000 -
2347.74/2354.69 c 2355 24114 3112 1 - 0.0000 -
2353.23/2360.12 c 2360 24255 3186 1 - 0.0000 -
2358.31/2365.27 c 2365 24413 3238 1 - 0.0000 -
2363.40/2370.37 c 2370 24575 3286 1 - 0.0000 -
2368.58/2375.57 c 2376 24747 3255 1 - 0.0000 -
2373.76/2380.74 c 2381 24902 3328 1 - 0.0000 -
2378.84/2385.86 c 2386 25073 2206 1 - 0.0000 -
2384.53/2391.55 c 2392 25128 2237 1 - 0.0000 -
2391.91/2398.92 c 2399 25155 2252 1 - 0.0000 -
2397.49/2404.52 c 2405 25194 2268 1 - 0.0000 -
2402.78/2409.80 c 2410 25258 2264 1 - 0.0000 -
2408.17/2415.29 c 2415 25346 2268 1 - 0.0000 -
2414.25/2421.34 c 2421 25436 2279 1 - 0.0000 -
2421.04/2428.16 c 2428 25541 2298 1 - 0.0000 -
2426.31/2433.45 c 2433 25613 2302 1 - 0.0000 -
2431.80/2438.97 c 2439 25703 2323 1 - 0.0000 -
2437.28/2444.46 c 2444 25843 2349 1 - 0.0000 -
2442.87/2450.05 c 2450 25911 2379 1 - 0.0000 -
2448.65/2455.88 c 2456 26043 2414 1 - 0.0000 -
2454.33/2461.52 c 2462 26169 2423 1 - 0.0000 -
2459.61/2466.84 c 2467 26279 2442 1 - 0.0000 -
2464.70/2471.90 c 2472 26414 2411 1 - 0.0000 -
2471.38/2478.62 c 2479 26527 2405 1 - 0.0000 -
2478.56/2485.87 c 2486 26613 2426 1 - 0.0000 -
2483.75/2491.09 c 2491 26767 2436 1 - 0.0000 -
2489.03/2496.36 c 2496 26911 2438 1 - 0.0000 -
2494.21/2501.59 c 2502 27064 2417 1 - 0.0000 -
2500.70/2508.05 c 2508 27181 2227 1 - 0.0000 -
2506.37/2513.75 c 2514 27327 2274 1 - 0.0000 -
2512.15/2519.55 c 2520 27395 2328 1 - 0.0000 -
2518.05/2525.40 c 2525 27513 2391 1 - 0.0000 -
2523.03/2530.49 c 2530 27602 2439 1 - 0.0000 -
2528.21/2535.69 c 2536 27754 2436 1 - 0.0000 -
2533.70/2541.17 c 2541 27840 2423 1 - 0.0000 -
2539.77/2547.27 c 2547 27960 2501 1 - 0.0000 -
2545.36/2552.84 c 2553 28048 2518 1 - 0.0000 -
2550.55/2558.10 c 2558 28175 2543 1 - 0.0000 -
2557.03/2564.50 c 2565 28224 2559 1 - 0.0000 -
2562.51/2570.00 c 2570 28253 2563 1 - 0.0000 -
2569.69/2577.22 c 2577 28352 2563 1 - 0.0000 -
2575.58/2583.13 c 2583 28502 2537 1 - 0.0000 -
2581.25/2588.84 c 2589 28657 2540 1 - 0.0000 -
2586.55/2594.16 c 2594 28795 2522 1 - 0.0000 -
2591.73/2599.31 c 2599 29013 2361 1 - 0.0000 -
2597.61/2605.22 c 2605 29067 2388 1 - 0.0000 -
2603.29/2610.95 c 2611 29148 2406 1 - 0.0000 -
2609.08/2616.71 c 2617 29270 2433 1 - 0.0000 -
2614.56/2622.20 c 2622 29308 2436 1 - 0.0000 -
2619.85/2627.57 c 2628 29443 2446 1 - 0.0000 -
2625.03/2632.74 c 2633 29574 2498 1 - 0.0000 -
2630.12/2637.89 c 2638 29695 2542 1 - 0.0000 -
2635.50/2643.28 c 2643 29769 2570 1 - 0.0000 -
2640.68/2648.46 c 2648 29909 2601 1 - 0.0000 -
2646.37/2654.14 c 2654 30042 2575 1 - 0.0000 -
2652.15/2659.96 c 2660 30161 2607 1 - 0.0000 -
2657.33/2665.15 c 2665 30285 2618 1 - 0.0000 -
2663.32/2671.19 c 2671 30415 2667 1 - 0.0000 -
2668.90/2676.70 c 2677 30499 2658 1 - 0.0000 -
2674.38/2682.21 c 2682 30625 2711 1 - 0.0000 -
2679.57/2687.47 c 2687 30770 2718 1 - 0.0000 -
2684.75/2692.63 c 2693 30897 2716 1 - 0.0000 -
2690.43/2698.33 c 2698 31013 2733 1 - 0.0000 -
2695.52/2703.46 c 2703 31161 2719 1 - 0.0000 -
2700.71/2708.68 c 2709 31337 2626 1 - 0.0000 -
2705.89/2713.82 c 2714 31442 2529 1 - 0.0000 -
2711.47/2719.49 c 2719 31576 2458 1 - 0.0000 -
2716.46/2724.49 c 2724 31617 2481 1 - 0.0000 -
2722.34/2730.33 c 2730 31692 2488 1 - 0.0000 -
2727.43/2735.47 c 2735 31856 2521 1 - 0.0000 -
2733.01/2741.08 c 2741 31995 2563 1 - 0.0000 -
2738.39/2746.46 c 2746 32130 2605 1 - 0.0000 -
2743.47/2751.56 c 2752 32256 2607 1 - 0.0000 -
2748.56/2756.66 c 2757 32389 2604 1 - 0.0000 -
2753.75/2761.81 c 2762 32535 2611 1 - 0.0000 -
2885.44/2893.82 c 2894 32669 2636 1 - 0.0000 -
2890.62/2899.02 c 2899 32791 2671 1 - 0.0000 -
2895.71/2904.13 c 2904 32922 2698 1 - 0.0000 -
2901.39/2909.81 c 2910 33073 2742 1 - 0.0000 -
2906.58/2915.07 c 2915 33205 2770 1 - 0.0000 -
2912.26/2920.71 c 2921 33342 2683 1 - 0.0000 -
2917.55/2926.04 c 2926 33469 2559 1 - 0.0000 -
2926.02/2934.51 c 2935 33497 2577 1 - 0.0000 -
2932.80/2941.36 c 2941 33544 2581 1 - 0.0000 -
2938.28/2946.84 c 2947 33576 2604 1 - 0.0000 -
2943.98/2952.56 c 2953 33624 2647 1 - 0.0000 -
2949.26/2957.84 c 2958 33752 2705 1 - 0.0000 -
2954.44/2963.09 c 2963 33915 2719 1 - 0.0000 -
2959.53/2968.19 c 2968 34068 2722 1 - 0.0000 -
2964.71/2973.37 c 2973 34241 2744 1 - 0.0000 -
2970.09/2978.74 c 2979 34376 2818 1 - 0.0000 -
2975.28/2983.95 c 2984 34549 2833 1 - 0.0000 -
2981.06/2989.74 c 2990 34688 2870 1 - 0.0000 -
2986.14/2994.84 c 2995 34872 2922 1 - 0.0000 -
2991.44/3000.15 c 3000 35061 2975 1 - 0.0000 -
2996.52/3005.26 c 3005 35280 3004 1 - 0.0000 -
3001.69/3010.41 c 3010 35495 3054 1 - 0.0000 -
3006.78/3015.56 c 3016 35739 3040 1 - 0.0000 -
3011.86/3020.68 c 3021 35983 3020 1 - 0.0000 -
3017.05/3025.82 c 3026 36212 3031 1 - 0.0000 -
3022.23/3031.01 c 3031 36449 3043 1 - 0.0000 -
3027.32/3036.15 c 3036 36680 3017 1 - 0.0000 -
3032.50/3041.31 c 3041 36891 3004 1 - 0.0000 -
3037.48/3046.39 c 3046 37101 2919 1 - 0.0000 -
3042.67/3051.52 c 3052 37322 2900 1 - 0.0000 -
3047.75/3056.62 c 3057 37542 2867 1 - 0.0000 -
3053.24/3062.16 c 3062 37724 2855 1 - 0.0000 -
3058.32/3067.23 c 3067 37908 2900 1 - 0.0000 -
3063.40/3072.32 c 3072 38116 2782 1 - 0.0000 -
3068.58/3077.51 c 3078 38280 2787 1 - 0.0000 -
3074.47/3083.43 c 3083 38447 2767 1 - 0.0000 -
3079.65/3088.63 c 3089 38612 2723 1 - 0.0000 -
3084.84/3093.86 c 3094 38786 2708 1 - 0.0000 -
3090.12/3099.14 c 3099 38894 2711 1 - 0.0000 -
3095.20/3104.29 c 3104 39052 2733 1 - 0.0000 -
3100.69/3109.73 c 3110 39201 2739 1 - 0.0000 -
3105.77/3114.89 c 3115 39308 2689 1 - 0.0000 -
3111.06/3120.17 c 3120 39434 2726 1 - 0.0000 -
3116.34/3125.48 c 3125 39584 2745 1 - 0.0000 -
3121.53/3130.66 c 3131 39715 2756 1 - 0.0000 -
3127.51/3136.69 c 3137 39780 2803 1 - 0.0000 -
3133.20/3142.34 c 3142 39833 2830 1 - 0.0000 -
3138.78/3147.93 c 3148 39903 2894 1 - 0.0000 -
3144.26/3153.49 c 3153 39978 2956 1 - 0.0000 -
3149.44/3158.64 c 3159 40156 3037 1 - 0.0000 -
3154.63/3163.83 c 3164 40359 3070 1 - 0.0000 -
3159.71/3168.97 c 3169 40555 3097 1 - 0.0000 -
3164.79/3174.04 c 3174 40764 3130 1 - 0.0000 -
3169.88/3179.19 c 3179 40978 3162 1 - 0.0000 -
3175.06/3184.33 c 3184 41183 3174 1 - 0.0000 -
3180.14/3189.41 c 3189 41395 3150 1 - 0.0000 -
3185.43/3194.75 c 3195 41576 2873 1 - 0.0000 -
3190.72/3200.00 c 3200 41694 2898 1 - 0.0000 -
3196.49/3205.82 c 3206 41753 2911 1 - 0.0000 -
3201.68/3211.09 c 3211 41855 2947 1 - 0.0000 -
3206.86/3216.29 c 3216 41975 2978 1 - 0.0000 -
3212.25/3221.66 c 3222 42106 2994 1 - 0.0000 -
3217.93/3227.31 c 3227 42250 3030 1 - 0.0000 -
3223.62/3233.06 c 3233 42410 3015 1 - 0.0000 -
3228.89/3238.36 c 3238 42527 3047 1 - 0.0000 -
3234.08/3243.57 c 3244 42690 3053 1 - 0.0000 -
3239.17/3248.67 c 3249 42802 3069 1 - 0.0000 -
3244.35/3253.83 c 3254 42919 3120 1 - 0.0000 -
3249.84/3259.38 c 3259 43010 3185 1 - 0.0000 -
3254.92/3264.47 c 3264 43193 3130 1 - 0.0000 -
3260.00/3269.56 c 3270 43346 3192 1 - 0.0000 -
3265.09/3274.68 c 3275 43552 3107 1 - 0.0000 -
3270.27/3279.85 c 3280 43714 3120 1 - 0.0000 -
3275.35/3284.98 c 3285 43889 3065 1 - 0.0000 -
3280.73/3290.31 c 3290 44017 3103 1 - 0.0000 -
3285.91/3295.51 c 3296 44158 3114 1 - 0.0000 -
3291.00/3300.68 c 3301 44339 3109 1 - 0.0000 -
3296.28/3305.90 c 3306 44527 3110 1 - 0.0000 -
3301.27/3310.98 c 3311 44671 3138 1 - 0.0000 -
3306.54/3316.29 c 3316 44814 3157 1 - 0.0000 -
3312.02/3321.70 c 3322 44979 3139 1 - 0.0000 -
3317.11/3326.86 c 3327 45110 3137 1 - 0.0000 -
3322.40/3332.17 c 3332 45223 3196 1 - 0.0000 -
3327.98/3337.72 c 3338 45350 3221 1 - 0.0000 -
3333.16/3343.00 c 3343 45469 3254 1 - 0.0000 -
3338.54/3348.36 c 3348 45604 3300 1 - 0.0000 -
3343.93/3353.78 c 3354 45739 3299 1 - 0.0000 -
3349.10/3358.94 c 3359 45844 3324 1 - 0.0000 -
3354.60/3364.43 c 3364 45983 3358 1 - 0.0000 -
3364.27/3374.13 c 3374 46134 3359 1 - 0.0000 -
3369.64/3379.59 c 3380 46219 3382 1 - 0.0000 -
3376.32/3386.23 c 3386 46323 3357 1 - 0.0000 -
3381.91/3391.83 c 3392 46349 3381 1 - 0.0000 -
3387.90/3397.89 c 3398 46355 3383 1 - 0.0000 -
3393.28/3403.21 c 3403 46466 3411 1 - 0.0000 -
3398.46/3408.45 c 3408 46584 3441 1 - 0.0000 -
3404.35/3414.31 c 3414 46676 3453 1 - 0.0000 -
3410.62/3420.64 c 3421 46693 3470 1 - 0.0000 -
3417.21/3427.24 c 3427 46744 3498 1 - 0.0000 -
3423.99/3434.06 c 3434 46762 3512 1 - 0.0000 -
3429.37/3439.43 c 3439 46796 3540 1 - 0.0000 -
3434.97/3445.06 c 3445 46846 3557 1 - 0.0000 -
3442.64/3452.70 c 3453 46918 3592 1 - 0.0000 -
3448.02/3458.15 c 3458 46957 3608 1 - 0.0000 -
3453.21/3463.32 c 3463 47027 3653 1 - 0.0000 -
3458.69/3468.83 c 3469 47108 3688 1 - 0.0000 -
3464.47/3474.66 c 3475 47196 3701 1 - 0.0000 -
3469.65/3479.81 c 3480 47313 3734 1 - 0.0000 -
3483.51/3493.78 c 3494 47399 3703 1 - 0.0000 -
3495.98/3506.29 c 3506 47416 3718 1 - 0.0000 -
3501.87/3512.18 c 3512 47475 3767 1 - 0.0000 -
3508.64/3518.93 c 3519 47537 3819 1 - 0.0000 -
3513.93/3524.29 c 3524 47636 3870 1 - 0.0000 -
3519.02/3529.36 c 3529 47683 3905 1 - 0.0000 -
3524.30/3534.63 c 3535 47778 3957 1 - 0.0000 -
3529.48/3539.88 c 3540 47914 4015 1 - 0.0000 -
3534.66/3545.07 c 3545 48079 4039 1 - 0.0000 -
3540.15/3550.55 c 3551 48193 4095 1 - 0.0000 -
3547.62/3558.08 c 3558 48273 4128 1 - 0.0000 -
3552.81/3563.28 c 3563 48422 4202 1 - 0.0000 -
3558.49/3568.96 c 3569 48573 4206 1 - 0.0000 -
3565.67/3576.12 c 3576 48716 4168 1 - 0.0000 -
3570.85/3581.33 c 3581 48750 4186 1 - 0.0000 -
3577.82/3588.37 c 3588 48807 4211 1 - 0.0000 -
3583.81/3594.34 c 3594 48855 4230 1 - 0.0000 -
3588.88/3599.47 c 3599 49013 4256 1 - 0.0000 -
3589.88/3600.40 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.88/3600.40 c Total Time : 3600.4000
3589.88/3600.40 c solving : 3600.4000
3589.88/3600.40 c presolving : 3.5697 (included in solving)
3589.88/3600.40 c B&B Tree :
3589.88/3600.40 c nodes (total) : 1
3589.88/3600.40 c Solution :
3589.88/3600.40 c Solutions found : 0
3589.88/3600.40 c Primal Bound : -
3589.88/3600.40 c Dual Bound : +0.00000000000000e+00
3589.88/3600.40 c Gap : -
3590.08/3600.60 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 (59556 MiB free)
memory of node 1: 64510 MiB (60524 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446440-1721334269/watcher-4446440-1721334269 -o /tmp/evaluation-result-4446440-1721334269/solver-4446440-1721334269 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721330666-1000264 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446440-1721334269.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1002354, runsolver pid=1002351
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 4.17 4.13 4.06 5/259 1002355
/proc/meminfo: memFree=122925216/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=54596 memory=42792 CPUtime=0.09 cores=5,7
/proc/1002354/stat : 1002354 (fscip) R 1002351 1002354 1000251 0 -1 4194304 8609 0 0 0 8 1 0 0 20 0 1 0 185588737 55906304 10698 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 13649 10698 2318 3032 0 10049 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54596 KiB
Current children cumulated memory: 42792 KiB
[startup+0.205659 s]*
/proc/loadavg: 4.17 4.13 4.06 5/259 1002355
/proc/meminfo: memFree=122896984/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=85104 memory=72720 CPUtime=0.2 cores=5,7
/proc/1002354/stat : 1002354 (fscip) R 1002351 1002354 1000251 0 -1 4194304 16122 0 0 0 18 2 0 0 20 0 1 0 185588737 87146496 18180 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 21276 18180 2318 3032 0 17676 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 85104 KiB
Current children cumulated memory: 72720 KiB
[startup+0.305696 s]*
/proc/loadavg: 4.17 4.13 4.06 5/259 1002355
/proc/meminfo: memFree=122827896/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=116992 memory=106784 CPUtime=0.3 cores=5,7
/proc/1002354/stat : 1002354 (fscip) R 1002351 1002354 1000251 0 -1 4194304 25116 0 0 0 27 3 0 0 20 0 1 0 185588737 119799808 26696 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 29248 26696 2542 3032 0 25648 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 116992 KiB
Current children cumulated memory: 106784 KiB
[startup+0.700238 s]
/proc/loadavg: 4.17 4.13 4.06 5/259 1002355
/proc/meminfo: memFree=122684832/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=248500 memory=234752 CPUtime=0.69 cores=5,7
/proc/1002354/stat : 1002354 (fscip) R 1002351 1002354 1000251 0 -1 4194304 57045 0 0 0 61 8 0 0 20 0 1 0 185588737 254464000 58688 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 62125 58688 2606 3032 0 58525 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 248500 KiB
Current children cumulated memory: 234752 KiB
[startup+1.50025 s]
/proc/loadavg: 4.17 4.13 4.06 5/260 1002358
/proc/meminfo: memFree=122515220/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=288400 memory=272448 CPUtime=1.48 cores=5,7
/proc/1002354/stat : 1002354 (fscip) R 1002351 1002354 1000251 0 -1 4194304 72620 0 0 0 136 12 0 0 20 0 1 0 185588737 295321600 68112 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 72100 68112 2686 3032 0 68500 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 288400 KiB
Current children cumulated memory: 272448 KiB
[startup+3.10565 s]
/proc/loadavg: 4.17 4.13 4.06 5/261 1002359
/proc/meminfo: memFree=122132640/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=427476 memory=398492 CPUtime=3.09 cores=5,7
/proc/1002354/stat : 1002354 (fscip) R 1002351 1002354 1000251 0 -1 4194304 90835 0 0 0 292 17 0 0 20 0 1 0 185588737 437735424 99623 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 106869 99623 2734 3032 0 103269 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 427476 KiB
Current children cumulated memory: 398492 KiB
[startup+6.30026 s]
/proc/loadavg: 4.16 4.12 4.06 5/263 1002361
/proc/meminfo: memFree=121182984/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=985252 memory=915720 CPUtime=6.26 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 185436 0 0 0 591 35 0 0 20 0 3 0 185588737 1008898048 228930 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 246313 228930 2782 3032 0 241777 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=985252 memory=-7952647673526772606 CPUtime=1.96 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 62768 0 0 0 186 10 0 0 20 0 3 0 185589145 1008898048 228930 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=985252 memory=921976 CPUtime=0 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 185589186 1008898048 228930 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 985252 KiB
Current children cumulated memory: 915720 KiB
[startup+12.7003 s]
/proc/loadavg: 4.14 4.12 4.06 5/263 1002362
/proc/meminfo: memFree=120849380/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=1392420 memory=1254152 CPUtime=12.64 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 222471 0 0 0 1220 44 0 0 20 0 3 0 185588737 1425838080 313538 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 348105 313538 2926 3032 0 333617 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=1392420 memory=11544 CPUtime=8.35 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 99799 0 0 0 815 20 0 0 20 0 3 0 185589145 1425838080 313538 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=1392420 memory=1254152 CPUtime=0 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 185589186 1425838080 313538 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1392420 KiB
Current children cumulated memory: 1254152 KiB
[startup+25.5003 s]
/proc/loadavg: 4.18 4.13 4.06 6/267 1002459
/proc/meminfo: memFree=120794064/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=1392420 memory=1277144 CPUtime=25.41 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 254559 0 0 0 2495 46 0 0 20 0 3 0 185588737 1425838080 319286 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 348105 319286 2926 3032 0 339514 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=1392420 memory=1277144 CPUtime=21.11 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 131883 0 0 0 2089 22 0 0 20 0 3 0 185589145 1425838080 319286 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=1392420 memory=1254152 CPUtime=0 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 185589186 1425838080 319286 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1392420 KiB
Current children cumulated memory: 1277144 KiB
[startup+51.1055 s]
/proc/loadavg: 4.20 4.14 4.06 5/262 1002752
/proc/meminfo: memFree=120768692/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=1457956 memory=1287212 CPUtime=50.95 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 313123 0 0 0 5044 51 0 0 20 0 3 0 185588737 1492946944 321803 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 364489 321803 2926 3032 0 348411 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=1457956 memory=1287212 CPUtime=46.65 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 190433 0 0 0 4638 27 0 0 20 0 3 0 185589145 1492946944 321803 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=1457956 memory=11544 CPUtime=0 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 185589186 1492946944 321803 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1457956 KiB
Current children cumulated memory: 1287212 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.13 4.06 5/262 1002760
/proc/meminfo: memFree=120696128/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=1523492 memory=1302000 CPUtime=102 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 384211 0 0 0 10144 56 0 0 20 0 3 0 185588737 1560055808 325500 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 380873 325500 2926 3032 0 360666 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=1523492 memory=1299948 CPUtime=97.69 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 261510 0 0 0 9738 31 0 0 20 0 3 0 185589145 1560055808 325500 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=1523492 memory=11544 CPUtime=0 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 185589186 1560055808 325500 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1523492 KiB
Current children cumulated memory: 1302000 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.06 5/262 1002770
/proc/meminfo: memFree=120498236/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=1523492 memory=1305184 CPUtime=161.82 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 429574 0 0 0 16122 60 0 0 20 0 3 0 185588737 1560055808 326296 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 380873 326296 2926 3032 0 368346 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=1523492 memory=1518028 CPUtime=157.52 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 306861 0 0 0 15716 36 0 0 20 0 3 0 185589145 1560055808 326296 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=1523492 memory=1305184 CPUtime=0 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 185589186 1560055808 326296 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1523492 KiB
Current children cumulated memory: 1305184 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/264 1002951
/proc/meminfo: memFree=120240064/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=1728000 memory=1472060 CPUtime=221.64 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 514128 0 0 0 22096 68 0 0 20 0 3 0 185588737 1769472000 368015 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 432000 368015 2990 3032 0 421578 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=1728000 memory=1309164 CPUtime=217.35 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 391326 0 0 0 21691 44 0 0 20 0 3 0 185589145 1769472000 368015 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=1728000 memory=1471628 CPUtime=0 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 185589186 1769472000 368015 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 1728000 KiB
Current children cumulated memory: 1472060 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.06 5/264 1002962
/proc/meminfo: memFree=120006856/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=1793536 memory=1474436 CPUtime=281.48 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 551666 0 0 0 28077 71 0 0 20 0 3 0 185588737 1836580864 368609 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 448384 368609 2990 3032 0 430390 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=1793536 memory=1472380 CPUtime=277.17 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 428857 0 0 0 27671 46 0 0 20 0 3 0 185589145 1836580864 368609 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
################
# More data... #
################
[pid=1002354] ppid=1002351 vsize=4690236 memory=2476556 CPUtime=3392.38 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 3470105 0 0 0 338731 507 0 0 20 0 3 0 185588737 4802801664 619139 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 1172559 619139 2990 3032 0 1155071 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=4690236 memory=2476368 CPUtime=3387.9 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 3342414 0 0 0 338314 476 0 0 20 0 3 0 185589145 4802801664 619139 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=4690236 memory=2476556 CPUtime=0.03 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 181 0 0 0 1 2 0 0 20 0 3 0 185589186 4802801664 619139 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 3392.38 s
Current children cumulated vsize: 4690236 KiB
Current children cumulated memory: 2476556 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 1004219
/proc/meminfo: memFree=115845196/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=4701936 memory=2477148 CPUtime=3452.21 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 3557539 0 0 0 344707 514 0 0 20 0 3 0 185588737 4814782464 619287 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 1175484 619287 2990 3032 0 1157996 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=4701936 memory=2476368 CPUtime=3447.72 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 3429750 0 0 0 344290 482 0 0 20 0 3 0 185589145 4814782464 619287 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=4701936 memory=2477148 CPUtime=0.03 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 185589186 4814782464 619287 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 3452.21 s
Current children cumulated vsize: 4701936 KiB
Current children cumulated memory: 2477148 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 1004230
/proc/meminfo: memFree=115841448/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=4701936 memory=2477156 CPUtime=3512.03 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 3580693 0 0 0 350687 516 0 0 20 0 3 0 185588737 4814782464 619289 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 1175484 619289 2990 3032 0 1157996 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=4701936 memory=2477148 CPUtime=3507.54 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 3452827 0 0 0 350270 484 0 0 20 0 3 0 185589145 4814782464 619289 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=4701936 memory=2477148 CPUtime=0.03 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 183 0 0 0 1 2 0 0 20 0 3 0 185589186 4814782464 619289 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 4701936 KiB
Current children cumulated memory: 2477156 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/266 1004242
/proc/meminfo: memFree=115840484/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=4701936 memory=2477808 CPUtime=3571.84 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 3653598 0 0 0 356662 522 0 0 20 0 3 0 185588737 4814782464 619452 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 1175484 619452 2990 3032 0 1157996 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=4701936 memory=2477808 CPUtime=3567.34 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 3525638 0 0 0 356244 490 0 0 20 0 3 0 185589145 4814782464 619452 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=4701936 memory=11544 CPUtime=0.03 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 185 0 0 0 1 2 0 0 20 0 3 0 185589186 4814782464 619452 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 3571.84 s
Current children cumulated vsize: 4701936 KiB
Current children cumulated memory: 2477808 KiB
[startup+3600.66 s]
# the end of solver process 1002354 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.8 s, system=5.35348 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.09 4.09 5/266 1004242
/proc/meminfo: memFree=115840524/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=4701936 memory=2477808 CPUtime=3573.54 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 3653669 0 0 0 356832 522 0 0 20 0 3 0 185588737 4814782464 619452 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 1175484 619452 2990 3032 0 1157996 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=4701936 memory=20576 CPUtime=3569.04 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 3525709 0 0 0 356414 490 0 0 20 0 3 0 185589145 4814782464 619452 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=4701936 memory=2477808 CPUtime=0.03 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 185 0 0 0 1 2 0 0 20 0 3 0 185589186 4814782464 619452 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 3573.54 s
Current children cumulated vsize: 4701936 KiB
Current children cumulated memory: 2477808 KiB
[startup+3590.4 s]
/proc/loadavg: 4.18 4.11 4.10 5/266 1004242
/proc/meminfo: memFree=115840508/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=4701936 memory=2477808 CPUtime=3579.92 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 3655553 0 0 0 357470 522 0 0 20 0 3 0 185588737 4814782464 619452 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 1175484 619452 2990 3032 0 1157996 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=4701936 memory=2477808 CPUtime=3575.43 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 3527586 0 0 0 357052 491 0 0 20 0 3 0 185589145 4814782464 619452 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=4701936 memory=2477808 CPUtime=0.03 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 185 0 0 0 1 2 0 0 20 0 3 0 185589186 4814782464 619452 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 3579.92 s
Current children cumulated vsize: 4701936 KiB
Current children cumulated memory: 2477808 KiB
[startup+3596.8 s]
/proc/loadavg: 4.17 4.11 4.09 5/262 1004336
/proc/meminfo: memFree=123805588/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=4714712 memory=2477836 CPUtime=3586.3 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 3661812 0 0 0 358107 523 0 0 20 0 3 0 185588737 4827865088 619459 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 1178678 619459 2990 3032 0 1161190 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=4714712 memory=2477808 CPUtime=3581.8 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 3533834 0 0 0 357689 491 0 0 20 0 3 0 185589145 4827865088 619459 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=4714712 memory=45552 CPUtime=0.04 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 185 0 0 0 1 3 0 0 20 0 3 0 185589186 4827865088 619459 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 3586.3 s
Current children cumulated vsize: 4714712 KiB
Current children cumulated memory: 2477836 KiB
[startup+3598.4 s]
/proc/loadavg: 4.17 4.11 4.09 5/262 1004336
/proc/meminfo: memFree=123803252/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=4714712 memory=2477836 CPUtime=3587.89 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 3662614 0 0 0 358266 523 0 0 20 0 3 0 185588737 4827865088 619459 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 1178678 619459 2990 3032 0 1161190 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=4714712 memory=11656 CPUtime=3583.39 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 3534636 0 0 0 357848 491 0 0 20 0 3 0 185589145 4827865088 619459 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=4714712 memory=5472 CPUtime=0.04 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 185 0 0 0 1 3 0 0 20 0 3 0 185589186 4827865088 619459 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 3587.89 s
Current children cumulated vsize: 4714712 KiB
Current children cumulated memory: 2477836 KiB
[startup+3600 s]*
/proc/loadavg: 4.16 4.10 4.09 5/262 1004336
/proc/meminfo: memFree=123796184/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=4714712 memory=2477836 CPUtime=3589.49 cores=5,7
/proc/1002354/stat : 1002354 (fscip) R 1002351 1002354 1000251 0 -1 1077936128 3662865 0 0 0 358426 523 0 0 20 0 3 0 185588737 4827865088 619459 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 1178678 619459 2990 3032 0 1161190 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=4714712 memory=7080 CPUtime=3584.99 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 3534886 0 0 0 358008 491 0 0 20 0 3 0 185589145 4827865088 619459 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=4714712 memory=-7525054809919154276 CPUtime=0.04 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 185 0 0 0 1 3 0 0 20 0 3 0 185589186 4827865088 619459 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 3589.49 s
Current children cumulated vsize: 4714712 KiB
Current children cumulated memory: 2477836 KiB
[startup+3600.4 s]
/proc/loadavg: 4.16 4.10 4.09 5/262 1004336
/proc/meminfo: memFree=123796184/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=4557348 memory=2320476 CPUtime=3589.88 cores=5,7
/proc/1002354/stat : 1002354 (fscip) S 1002351 1002354 1000251 0 -1 1077936128 3705224 0 0 0 358462 526 0 0 20 0 3 0 185588737 4666724352 581143 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 1139337 580631 2990 3032 0 1121849 0
[pid=1002354/tid=1002360] ppid=1002351 vsize=4557348 memory=2752 CPUtime=3585.38 cores=5,7
/proc/1002354/task/1002360/stat : 1002360 (fscip) R 1002351 1002354 1000251 0 -1 4194368 3577232 0 0 0 358044 494 0 0 20 0 3 0 185589145 4666724352 579607 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=4557348 memory=4640 CPUtime=0.04 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 185 0 0 0 1 3 0 0 20 0 3 0 185589186 4666724352 579607 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 3589.88 s
Current children cumulated vsize: 4557348 KiB
Current children cumulated memory: 2320476 KiB
[startup+3600.6 s]
/proc/loadavg: 4.16 4.10 4.09 5/262 1004336
/proc/meminfo: memFree=123796184/131524600 swapFree=131071996/131071996
[pid=1002354] ppid=1002351 vsize=2795624 memory=1994136 CPUtime=3590.08 cores=5,7
/proc/1002354/stat : 1002354 (fscip) R 1002351 1002354 1000251 0 -1 4194304 3749393 0 0 0 358479 529 0 0 20 0 2 0 185588737 2862718976 498534 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
/proc/1002354/statm: 698906 498534 2990 3032 0 682501 0
[pid=1002354/tid=1002361] ppid=1002351 vsize=2795624 memory=8020 CPUtime=0.04 cores=5,7
/proc/1002354/task/1002361/stat : 1002361 (fscip) S 1002351 1002354 1000251 0 -1 1077936192 185 0 0 0 1 3 0 0 20 0 2 0 185589186 2862718976 498534 134679101440 4194304 16613245 140732726175616 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28200960 140732726178835 140732726178951 140732726178951 140732726185968 0
Current children cumulated CPU time: 3590.08 s
Current children cumulated vsize: 2795624 KiB
Current children cumulated memory: 1994136 KiB
Child status: 0
Real time (s): 3600.66
CPU time (s): 3590.15
CPU user time (s): 3584.8
CPU system time (s): 5.35348
CPU usage (%): 99.7081
Max. virtual memory (cumulated for all children) (KiB): 4755772
Max. memory (cumulated for all children) (KiB): 2477836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.8
system time used= 5.35348
maximum resident set size= 2479856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3751972
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= 8452
involuntary context switches= 2334
# summary of solver processes directly reported to runsolver:
# pid: 1002354
# total CPU time (s): 3590.15
# total CPU user time (s): 3584.8
# total CPU system time (s): 5.35348
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45328 second user time and 17.2968 second system time
The end
Begin job on nodeC017 at 2024-07-18 22:24:41
IDJOB=4446440
IDBENCH=155596
IDSOLVER=3064
FILE ID=nodeC017/4446440-1721334269
RUNJOBID= nodeC017-1721330666-1000264
SLURM_JOB_ID= 7542711
Free space on /tmp= 889944 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-33.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-4446440-1721334269/watcher-4446440-1721334269 -o /tmp/evaluation-result-4446440-1721334269/solver-4446440-1721334269 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721330666-1000264 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4446440-1721334269.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 77ebcb4349d0c3a90733439946e4862a
RANDOM SEED=217732871
nodeC017.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 : 3680.086
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.46
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 : 3674.662
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.99
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 : 3600.019
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.46
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 : 3599.925
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.99
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 : 3680.136
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.46
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 : 3668.300
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.99
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 : 3600.037
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.46
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 : 3676.523
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.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122962680 kB
MemAvailable: 125547164 kB
Buffers: 537632 kB
Cached: 2864008 kB
SwapCached: 0 kB
Active: 1269044 kB
Inactive: 6631756 kB
Active(anon): 1568 kB
Inactive(anon): 4535316 kB
Active(file): 1267476 kB
Inactive(file): 2096440 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 133784 kB
Writeback: 0 kB
AnonPages: 4498304 kB
Mapped: 140432 kB
Shmem: 37720 kB
KReclaimable: 120428 kB
Slab: 234372 kB
SReclaimable: 120428 kB
SUnreclaim: 113944 kB
KernelStack: 4204 kB
PageTables: 18604 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3738620 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68160 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1064960 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: 287444 kB
DirectMap2M: 40380416 kB
DirectMap1G: 95420416 kB
Free space on /tmp at the end= 889960 MiB
End job on nodeC017 at 2024-07-18 23:24:42