0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 44351488, getVmSize() = 44351488, SCIPgetMemUsed() = 18694273, SCIPgetMemTotal() = 22058905, SCIPgetMemExternEstim() = 11381264
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.20/0.26 c ** Estimated virtualMemUsedAtSolver = 36286464, getVmSize() = 64507904, SCIPgetMemUsed() = 22360757, SCIPgetMemTotal() = 40412725, SCIPgetMemExternEstim() = 11381264
0.20/0.26 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.20/0.26 c Original Problem :
0.20/0.26 c Problem name : instance-4464659-1722386404
0.20/0.26 c Variables : 3968 (3968 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.26 c Constraints : 7856
0.20/0.26 c Objective sense : minimize
0.20/0.26 c Presolved Problem :
0.20/0.26 c Variables : 3213 (3213 binary, 0 integer, 0 implicit integer, 0 continuous)
0.20/0.26 c Constraints : 6531
0.20/0.26 c Constraints : Number
0.20/0.26 c and : 37
0.20/0.26 c xor : 1
0.20/0.26 c linear : 1299
0.20/0.26 c logicor : 5194
0.20/0.26 c ** Instance transfer method used: 0
0.20/0.27 c ** ParaScipInstance copy does not increase the number of variables. **
0.20/0.29 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.20/0.29 c Nodes Active
0.20/0.29 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
34.96/35.11 c 35 2 1 1 - 0.0000 -
44.32/44.51 c 45 25 24 1 - 0.0000 -
54.49/54.73 c 55 32 31 1 - 0.0000 -
60.07/60.37 c 60 35 34 1 - 0.0000 -
201.98/202.75 c 203 42 41 1 - 0.0000 -
208.67/209.46 c 209 48 47 1 - 0.0000 -
217.94/218.77 c 219 55 54 1 - 0.0000 -
225.01/225.80 c 226 62 61 1 - 0.0000 -
230.79/231.66 c 232 68 67 1 - 0.0000 -
238.45/239.36 c 239 75 74 1 - 0.0000 -
244.73/245.63 c 246 78 77 1 - 0.0000 -
250.10/251.00 c 251 85 84 1 - 0.0000 -
255.68/256.60 c 257 88 87 1 - 0.0000 -
263.65/264.66 c 265 95 94 1 - 0.0000 -
274.41/275.44 c 275 102 101 1 - 0.0000 -
279.79/280.83 c 281 105 104 1 - 0.0000 -
284.77/285.86 c 286 112 111 1 - 0.0000 -
289.96/291.00 c 291 118 117 1 - 0.0000 -
295.34/296.42 c 296 127 126 1 - 0.0000 -
303.31/304.43 c 304 148 147 1 - 0.0000 -
314.16/315.38 c 315 172 171 1 - 0.0000 -
321.74/322.96 c 323 178 177 1 - 0.0000 -
329.11/330.36 c 330 192 191 1 - 0.0000 -
335.69/336.91 c 337 212 211 1 - 0.0000 -
341.77/343.05 c 343 243 242 1 - 0.0000 -
347.74/349.03 c 349 276 275 1 - 0.0000 -
353.02/354.30 c 354 346 343 1 - 0.0000 -
357.99/359.31 c 359 358 355 1 - 0.0000 -
363.28/364.69 c 365 364 361 1 - 0.0000 -
372.24/373.64 c 374 369 366 1 - 0.0000 -
380.21/381.68 c 382 377 374 1 - 0.0000 -
386.29/387.71 c 388 382 379 1 - 0.0000 -
392.16/393.61 c 394 401 398 1 - 0.0000 -
397.35/398.83 c 399 414 411 1 - 0.0000 -
402.93/404.41 c 404 430 427 1 - 0.0000 -
408.71/410.25 c 410 448 445 1 - 0.0000 -
414.69/416.22 c 416 469 466 1 - 0.0000 -
420.97/422.57 c 423 482 479 1 - 0.0000 -
428.24/429.84 c 430 488 485 1 - 0.0000 -
434.62/436.26 c 436 496 493 1 - 0.0000 -
440.70/442.36 c 442 511 508 1 - 0.0000 -
446.38/448.00 c 448 535 532 1 - 0.0000 -
453.45/455.15 c 455 548 545 1 - 0.0000 -
459.92/461.69 c 462 568 565 1 - 0.0000 -
466.00/467.73 c 468 588 585 1 - 0.0000 -
472.78/474.50 c 474 608 605 1 - 0.0000 -
478.56/480.39 c 480 640 637 1 - 0.0000 -
487.82/489.61 c 490 668 665 1 - 0.0000 -
498.38/500.26 c 500 700 697 1 - 0.0000 -
504.17/506.02 c 506 708 705 1 - 0.0000 -
510.14/512.05 c 512 750 747 1 - 0.0000 -
516.72/518.62 c 519 760 757 1 - 0.0000 -
521.90/523.81 c 524 794 791 1 - 0.0000 -
529.27/531.27 c 531 816 813 1 - 0.0000 -
535.85/537.87 c 538 824 821 1 - 0.0000 -
541.63/543.66 c 544 849 846 1 - 0.0000 -
546.72/548.71 c 549 893 890 1 - 0.0000 -
551.80/553.85 c 554 972 969 1 - 0.0000 -
558.27/560.37 c 560 992 989 1 - 0.0000 -
564.35/566.40 c 566 1008 1005 1 - 0.0000 -
570.93/573.01 c 573 1028 1025 1 - 0.0000 -
576.70/578.80 c 579 1048 1045 1 - 0.0000 -
585.77/587.90 c 588 1060 1057 1 - 0.0000 -
591.75/593.99 c 594 1084 1081 1 - 0.0000 -
598.02/600.24 c 600 1100 1097 1 - 0.0000 -
603.11/605.37 c 605 1129 1126 1 - 0.0000 -
608.90/611.15 c 611 1178 1175 1 - 0.0000 -
614.57/616.88 c 617 1188 1185 1 - 0.0000 -
619.85/622.19 c 622 1225 1222 1 - 0.0000 -
625.03/627.38 c 627 1248 1245 1 - 0.0000 -
630.21/632.59 c 633 1280 1277 1 - 0.0000 -
635.89/638.26 c 638 1331 1328 1 - 0.0000 -
641.37/643.78 c 644 1360 1357 1 - 0.0000 -
646.45/648.81 c 649 1399 1396 1 - 0.0000 -
651.74/654.12 c 654 1412 1409 1 - 0.0000 -
656.91/659.30 c 659 1438 1435 1 - 0.0000 -
666.98/669.48 c 669 1472 1469 1 - 0.0000 -
672.56/675.09 c 675 1507 1504 1 - 0.0000 -
679.63/682.17 c 682 1532 1529 1 - 0.0000 -
687.21/689.70 c 690 1572 1569 1 - 0.0000 -
692.69/695.28 c 695 1576 1573 1 - 0.0000 -
697.87/700.40 c 700 1592 1589 1 - 0.0000 -
704.15/706.70 c 707 1654 1651 1 - 0.0000 -
709.44/712.09 c 712 1669 1666 1 - 0.0000 -
715.00/717.62 c 718 1685 1682 1 - 0.0000 -
720.78/723.40 c 723 1697 1694 1 - 0.0000 -
726.77/729.43 c 729 1732 1729 1 - 0.0000 -
732.25/734.92 c 735 1744 1741 1 - 0.0000 -
952.07/955.50 c 956 1756 1753 1 - 0.0000 -
959.74/963.28 c 963 1760 1757 1 - 0.0000 -
967.12/970.63 c 971 1780 1777 1 - 0.0000 -
974.89/978.42 c 978 1792 1789 1 - 0.0000 -
981.97/985.50 c 986 1808 1805 1 - 0.0000 -
990.83/994.46 c 994 1840 1837 1 - 0.0000 -
996.21/999.81 c 1000 1891 1888 1 - 0.0000 -
1002.49/1006.12 c 1006 1912 1909 1 - 0.0000 -
1008.57/1012.24 c 1012 1948 1945 1 - 0.0000 -
1014.85/1018.59 c 1019 1964 1961 1 - 0.0000 -
1020.73/1024.46 c 1024 1996 1993 1 - 0.0000 -
1027.00/1030.71 c 1031 2012 2009 1 - 0.0000 -
1032.48/1036.28 c 1036 2024 2021 1 - 0.0000 -
1038.16/1041.98 c 1042 2033 2030 1 - 0.0000 -
1044.83/1048.65 c 1049 2056 2053 1 - 0.0000 -
1050.12/1053.92 c 1054 2060 2057 1 - 0.0000 -
1057.70/1061.56 c 1062 2096 2093 1 - 0.0000 -
1064.77/1068.69 c 1069 2112 2109 1 - 0.0000 -
1070.84/1074.79 c 1075 2143 2140 1 - 0.0000 -
1077.02/1080.96 c 1081 2159 2156 1 - 0.0000 -
1085.68/1089.63 c 1090 2192 2189 1 - 0.0000 -
1091.46/1095.48 c 1095 2224 2221 1 - 0.0000 -
1096.94/1100.98 c 1101 2245 2242 1 - 0.0000 -
1103.91/1107.98 c 1108 2292 2289 1 - 0.0000 -
1109.99/1114.06 c 1114 2332 2329 1 - 0.0000 -
1115.27/1119.39 c 1119 2336 2333 1 - 0.0000 -
1123.44/1127.53 c 1128 2372 2369 1 - 0.0000 -
1130.11/1134.27 c 1134 2388 2385 1 - 0.0000 -
1135.48/1139.65 c 1140 2415 2412 1 - 0.0000 -
1140.76/1144.92 c 1145 2427 2424 1 - 0.0000 -
1146.24/1150.44 c 1150 2451 2448 1 - 0.0000 -
1153.82/1158.01 c 1158 2468 2465 1 - 0.0000 -
1159.69/1163.90 c 1164 2485 2482 1 - 0.0000 -
1165.56/1169.84 c 1170 2500 2497 1 - 0.0000 -
1172.43/1176.70 c 1177 2520 2517 1 - 0.0000 -
1178.51/1182.84 c 1183 2554 2551 1 - 0.0000 -
1185.19/1189.52 c 1190 2564 2561 1 - 0.0000 -
1195.44/1199.88 c 1200 2600 2597 1 - 0.0000 -
1201.32/1205.76 c 1206 2609 2606 1 - 0.0000 -
1206.50/1211.00 c 1211 2625 2622 1 - 0.0000 -
1211.58/1216.06 c 1216 2639 2636 1 - 0.0000 -
1217.35/1221.86 c 1222 2676 2673 1 - 0.0000 -
1223.13/1227.68 c 1228 2707 2704 1 - 0.0000 -
1229.00/1233.51 c 1234 2730 2727 1 - 0.0000 -
1239.27/1243.86 c 1244 2740 2737 1 - 0.0000 -
1245.14/1249.71 c 1250 2762 2759 1 - 0.0000 -
1252.11/1256.79 c 1257 2792 2789 1 - 0.0000 -
1260.08/1264.71 c 1265 2855 2852 1 - 0.0000 -
1270.84/1275.53 c 1276 2880 2877 1 - 0.0000 -
1276.81/1281.51 c 1282 2898 2895 1 - 0.0000 -
1282.99/1287.79 c 1288 2921 2918 1 - 0.0000 -
1289.16/1293.93 c 1294 2942 2939 1 - 0.0000 -
1294.74/1299.57 c 1300 2950 2947 1 - 0.0000 -
1303.21/1308.09 c 1308 2975 2972 1 - 0.0000 -
1308.68/1313.58 c 1314 2999 2996 1 - 0.0000 -
1313.86/1318.73 c 1319 3016 3013 1 - 0.0000 -
1319.94/1324.81 c 1325 3041 3038 1 - 0.0000 -
1326.22/1331.11 c 1331 3050 3047 1 - 0.0000 -
1331.69/1336.64 c 1337 3089 3086 1 - 0.0000 -
1338.07/1343.01 c 1343 3100 3097 1 - 0.0000 -
1343.44/1348.43 c 1348 3140 3137 1 - 0.0000 -
1350.31/1355.36 c 1355 3160 3157 1 - 0.0000 -
1356.59/1361.62 c 1362 3190 3187 1 - 0.0000 -
1364.16/1369.26 c 1369 3200 3197 1 - 0.0000 -
1370.04/1375.11 c 1375 3239 3236 1 - 0.0000 -
1377.80/1382.90 c 1383 3255 3252 1 - 0.0000 -
1383.38/1388.59 c 1389 3309 3306 1 - 0.0000 -
1390.86/1396.03 c 1396 3345 3342 1 - 0.0000 -
1397.63/1402.85 c 1403 3365 3362 1 - 0.0000 -
1405.50/1410.78 c 1411 3385 3382 1 - 0.0000 -
1412.07/1417.36 c 1417 3420 3417 1 - 0.0000 -
1417.85/1423.13 c 1423 3455 3452 1 - 0.0000 -
1423.13/1428.44 c 1428 3493 3490 1 - 0.0000 -
1428.81/1434.16 c 1434 3500 3497 1 - 0.0000 -
1434.58/1439.97 c 1440 3517 3514 1 - 0.0000 -
1440.36/1445.79 c 1446 3580 3577 1 - 0.0000 -
1447.23/1452.60 c 1453 3615 3612 1 - 0.0000 -
1453.20/1458.60 c 1459 3630 3627 1 - 0.0000 -
1458.98/1464.47 c 1464 3657 3654 1 - 0.0000 -
1464.06/1469.51 c 1470 3675 3672 1 - 0.0000 -
1469.64/1475.13 c 1475 3682 3679 1 - 0.0000 -
1474.72/1480.26 c 1480 3691 3688 1 - 0.0000 -
1480.50/1486.04 c 1486 3710 3707 1 - 0.0000 -
1487.57/1493.11 c 1493 3730 3727 1 - 0.0000 -
1493.45/1499.02 c 1499 3764 3761 1 - 0.0000 -
1499.72/1505.30 c 1505 3784 3781 1 - 0.0000 -
1505.79/1511.49 c 1511 3822 3819 1 - 0.0000 -
1511.67/1517.33 c 1517 3837 3834 1 - 0.0000 -
1517.74/1523.44 c 1523 3840 3837 1 - 0.0000 -
1523.62/1529.40 c 1529 3867 3864 1 - 0.0000 -
1530.69/1536.46 c 1536 3895 3892 1 - 0.0000 -
1537.37/1543.14 c 1543 3910 3907 1 - 0.0000 -
1542.74/1548.58 c 1549 3933 3930 1 - 0.0000 -
1549.51/1555.33 c 1555 3950 3947 1 - 0.0000 -
1554.59/1560.49 c 1560 3965 3962 1 - 0.0000 -
1559.87/1565.70 c 1566 3993 3990 1 - 0.0000 -
1564.95/1570.87 c 1571 4006 4003 1 - 0.0000 -
1570.53/1576.43 c 1576 4022 4019 1 - 0.0000 -
1577.40/1583.31 c 1583 4045 4042 1 - 0.0000 -
1584.57/1590.55 c 1591 4070 4067 1 - 0.0000 -
1591.74/1597.71 c 1598 4120 4117 1 - 0.0000 -
1599.21/1605.20 c 1605 4145 4142 1 - 0.0000 -
1604.89/1610.93 c 1611 4165 4162 1 - 0.0000 -
1610.77/1616.86 c 1617 4184 4181 1 - 0.0000 -
1617.34/1623.43 c 1623 4195 4192 1 - 0.0000 -
1622.73/1628.85 c 1629 4219 4216 1 - 0.0000 -
1629.10/1635.23 c 1635 4235 4232 1 - 0.0000 -
1634.08/1640.27 c 1640 4251 4248 1 - 0.0000 -
1641.06/1647.26 c 1647 4270 4267 1 - 0.0000 -
1647.73/1653.96 c 1654 4290 4287 1 - 0.0000 -
1653.70/1659.95 c 1660 4310 4307 1 - 0.0000 -
1662.77/1669.06 c 1669 4345 4342 1 - 0.0000 -
1668.45/1674.76 c 1675 4363 4360 1 - 0.0000 -
1673.92/1680.29 c 1680 4383 4380 1 - 0.0000 -
1679.80/1686.11 c 1686 4407 4404 1 - 0.0000 -
1688.17/1694.51 c 1695 4440 4437 1 - 0.0000 -
1693.25/1699.69 c 1700 4464 4461 1 - 0.0000 -
1698.42/1704.87 c 1705 4478 4475 1 - 0.0000 -
1703.71/1710.17 c 1710 4494 4491 1 - 0.0000 -
1711.27/1717.71 c 1718 4525 4522 1 - 0.0000 -
1717.35/1723.85 c 1724 4544 4541 1 - 0.0000 -
1722.63/1729.16 c 1729 4579 4576 1 - 0.0000 -
1728.90/1735.45 c 1735 4590 4587 1 - 0.0000 -
1735.48/1742.05 c 1742 4605 4602 1 - 0.0000 -
1741.65/1748.23 c 1748 4630 4627 1 - 0.0000 -
1750.72/1757.35 c 1757 4655 4652 1 - 0.0000 -
1756.70/1763.30 c 1763 4687 4684 1 - 0.0000 -
1761.98/1768.68 c 1769 4700 4697 1 - 0.0000 -
1770.25/1776.99 c 1777 4715 4712 1 - 0.0000 -
1776.23/1782.98 c 1783 4726 4723 1 - 0.0000 -
1781.42/1788.17 c 1788 4738 4735 1 - 0.0000 -
1789.88/1796.65 c 1797 4760 4757 1 - 0.0000 -
1795.86/1802.65 c 1803 4798 4795 1 - 0.0000 -
1802.43/1809.24 c 1809 4820 4817 1 - 0.0000 -
1807.61/1814.45 c 1814 4845 4842 1 - 0.0000 -
1816.87/1823.74 c 1824 4875 4872 1 - 0.0000 -
1822.65/1829.53 c 1830 4880 4877 1 - 0.0000 -
1828.14/1835.09 c 1835 4912 4909 1 - 0.0000 -
1834.32/1841.21 c 1841 4928 4925 1 - 0.0000 -
1841.59/1848.58 c 1849 4955 4952 1 - 0.0000 -
1851.16/1858.12 c 1858 4965 4962 1 - 0.0000 -
1857.83/1864.85 c 1865 4990 4987 1 - 0.0000 -
1863.02/1870.09 c 1870 5037 5034 1 - 0.0000 -
1869.00/1876.03 c 1876 5050 5047 1 - 0.0000 -
1874.27/1881.31 c 1881 5060 5057 1 - 0.0000 -
1881.35/1888.49 c 1888 5075 5072 1 - 0.0000 -
1887.93/1895.01 c 1895 5095 5092 1 - 0.0000 -
1893.01/1900.14 c 1900 5112 5109 1 - 0.0000 -
1899.68/1906.89 c 1907 5140 5137 1 - 0.0000 -
1904.87/1912.01 c 1912 5158 5155 1 - 0.0000 -
1910.74/1917.93 c 1918 5200 5197 1 - 0.0000 -
1916.72/1923.99 c 1924 5215 5212 1 - 0.0000 -
1928.18/1935.46 c 1935 5235 5232 1 - 0.0000 -
1934.06/1941.30 c 1941 5251 5248 1 - 0.0000 -
1942.43/1949.79 c 1950 5260 5257 1 - 0.0000 -
1948.21/1955.51 c 1956 5270 5267 1 - 0.0000 -
1953.89/1961.27 c 1961 5290 5287 1 - 0.0000 -
1959.88/1967.24 c 1967 5300 5297 1 - 0.0000 -
1965.96/1973.30 c 1973 5328 5325 1 - 0.0000 -
1972.84/1980.29 c 1980 5350 5347 1 - 0.0000 -
1979.31/1986.77 c 1987 5407 5404 1 - 0.0000 -
1986.09/1993.59 c 1994 5444 5441 1 - 0.0000 -
1991.97/1999.43 c 1999 5460 5457 1 - 0.0000 -
1998.74/2006.22 c 2006 5483 5480 1 - 0.0000 -
2004.92/2012.49 c 2012 5495 5492 1 - 0.0000 -
2011.30/2018.89 c 2019 5515 5512 1 - 0.0000 -
2016.68/2024.22 c 2024 5544 5541 1 - 0.0000 -
2023.16/2030.74 c 2031 5560 5557 1 - 0.0000 -
2029.54/2037.15 c 2037 5598 5595 1 - 0.0000 -
2037.31/2044.97 c 2045 5625 5622 1 - 0.0000 -
2045.18/2052.85 c 2053 5635 5632 1 - 0.0000 -
2051.46/2059.14 c 2059 5671 5668 1 - 0.0000 -
2056.93/2064.69 c 2065 5679 5676 1 - 0.0000 -
2063.21/2070.99 c 2071 5685 5682 1 - 0.0000 -
2069.30/2077.05 c 2077 5728 5725 1 - 0.0000 -
2075.97/2083.71 c 2084 5735 5732 1 - 0.0000 -
2082.14/2089.90 c 2090 5750 5747 1 - 0.0000 -
2087.23/2095.08 c 2095 5755 5752 1 - 0.0000 -
2092.31/2100.12 c 2100 5775 5772 1 - 0.0000 -
2098.59/2106.47 c 2106 5805 5802 1 - 0.0000 -
2104.17/2112.02 c 2112 5832 5829 1 - 0.0000 -
2113.24/2121.15 c 2121 5875 5872 1 - 0.0000 -
2119.51/2127.46 c 2127 5936 5933 1 - 0.0000 -
2124.69/2132.66 c 2133 5970 5967 1 - 0.0000 -
2129.77/2137.75 c 2138 5993 5990 1 - 0.0000 -
2135.45/2143.47 c 2143 6000 5997 1 - 0.0000 -
2141.15/2149.19 c 2149 6016 6013 1 - 0.0000 -
2148.92/2156.92 c 2157 6050 6047 1 - 0.0000 -
2154.10/2162.19 c 2162 6061 6058 1 - 0.0000 -
2159.38/2167.44 c 2167 6087 6084 1 - 0.0000 -
2165.16/2173.26 c 2173 6120 6117 1 - 0.0000 -
2172.93/2181.05 c 2181 6155 6152 1 - 0.0000 -
2180.40/2188.54 c 2189 6185 6182 1 - 0.0000 -
2188.28/2196.49 c 2196 6200 6197 1 - 0.0000 -
2194.35/2202.50 c 2202 6226 6223 1 - 0.0000 -
2199.74/2207.97 c 2208 6255 6252 1 - 0.0000 -
2205.02/2213.23 c 2213 6265 6262 1 - 0.0000 -
2210.70/2218.91 c 2219 6275 6272 1 - 0.0000 -
2216.18/2224.47 c 2224 6300 6297 1 - 0.0000 -
2223.15/2231.41 c 2231 6330 6327 1 - 0.0000 -
2228.33/2236.62 c 2237 6350 6347 1 - 0.0000 -
2234.01/2242.30 c 2242 6391 6388 1 - 0.0000 -
2239.39/2247.74 c 2248 6409 6406 1 - 0.0000 -
2244.87/2253.23 c 2253 6435 6432 1 - 0.0000 -
2252.55/2260.93 c 2261 6485 6482 1 - 0.0000 -
2257.63/2266.02 c 2266 6518 6515 1 - 0.0000 -
2263.41/2271.81 c 2272 6535 6532 1 - 0.0000 -
2268.59/2277.05 c 2277 6560 6557 1 - 0.0000 -
2274.57/2283.08 c 2283 6572 6569 1 - 0.0000 -
2279.95/2288.42 c 2288 6590 6587 1 - 0.0000 -
2287.63/2296.17 c 2296 6600 6597 1 - 0.0000 -
2293.10/2301.62 c 2302 6625 6622 1 - 0.0000 -
2298.88/2307.45 c 2307 6640 6637 1 - 0.0000 -
2306.95/2315.53 c 2316 6675 6672 1 - 0.0000 -
2313.83/2322.47 c 2322 6705 6702 1 - 0.0000 -
2319.91/2328.57 c 2329 6732 6729 1 - 0.0000 -
2330.27/2338.95 c 2339 6750 6747 1 - 0.0000 -
2336.55/2345.23 c 2345 6775 6772 1 - 0.0000 -
2341.73/2350.48 c 2350 6780 6777 1 - 0.0000 -
2347.81/2356.55 c 2357 6785 6782 1 - 0.0000 -
2353.49/2362.26 c 2362 6811 6808 1 - 0.0000 -
2361.46/2370.21 c 2370 6835 6832 1 - 0.0000 -
2367.54/2376.33 c 2376 6867 6864 1 - 0.0000 -
2372.92/2381.73 c 2382 6882 6879 1 - 0.0000 -
2382.69/2391.50 c 2392 6890 6887 1 - 0.0000 -
2387.98/2396.84 c 2397 6899 6896 1 - 0.0000 -
2396.35/2405.26 c 2405 6935 6932 1 - 0.0000 -
2401.43/2410.32 c 2410 6957 6954 1 - 0.0000 -
2406.41/2415.34 c 2415 6974 6971 1 - 0.0000 -
2411.59/2420.59 c 2421 6990 6987 1 - 0.0000 -
2417.87/2426.87 c 2427 7010 7007 1 - 0.0000 -
2423.16/2432.11 c 2432 7024 7021 1 - 0.0000 -
2428.53/2437.51 c 2438 7050 7047 1 - 0.0000 -
2434.71/2443.78 c 2444 7075 7072 1 - 0.0000 -
2439.99/2449.02 c 2449 7100 7097 1 - 0.0000 -
2446.37/2455.41 c 2455 7155 7152 1 - 0.0000 -
2451.55/2460.66 c 2461 7182 7179 1 - 0.0000 -
2457.03/2466.15 c 2466 7200 7197 1 - 0.0000 -
2462.91/2472.10 c 2472 7225 7222 1 - 0.0000 -
2468.89/2478.07 c 2478 7251 7248 1 - 0.0000 -
2474.57/2483.75 c 2484 7284 7281 1 - 0.0000 -
2480.25/2489.44 c 2489 7295 7292 1 - 0.0000 -
2486.83/2496.02 c 2496 7309 7306 1 - 0.0000 -
2492.30/2501.57 c 2502 7331 7328 1 - 0.0000 -
2499.68/2508.96 c 2509 7340 7337 1 - 0.0000 -
2506.86/2516.14 c 2516 7350 7347 1 - 0.0000 -
2512.53/2521.86 c 2522 7373 7370 1 - 0.0000 -
2519.52/2528.80 c 2529 7385 7382 1 - 0.0000 -
2525.99/2535.31 c 2535 7415 7412 1 - 0.0000 -
2531.17/2540.52 c 2541 7438 7435 1 - 0.0000 -
2537.15/2546.53 c 2547 7472 7469 1 - 0.0000 -
2543.82/2553.26 c 2553 7485 7482 1 - 0.0000 -
2548.81/2558.28 c 2558 7517 7514 1 - 0.0000 -
2556.38/2565.85 c 2566 7525 7522 1 - 0.0000 -
2562.36/2571.84 c 2572 7540 7537 1 - 0.0000 -
2568.64/2578.15 c 2578 7545 7542 1 - 0.0000 -
2574.22/2583.76 c 2584 7589 7586 1 - 0.0000 -
2580.99/2590.57 c 2591 7620 7617 1 - 0.0000 -
2587.27/2596.80 c 2597 7643 7640 1 - 0.0000 -
2592.56/2602.15 c 2602 7655 7652 1 - 0.0000 -
2599.13/2608.75 c 2609 7685 7682 1 - 0.0000 -
2605.01/2614.68 c 2615 7700 7697 1 - 0.0000 -
2611.89/2621.59 c 2622 7755 7752 1 - 0.0000 -
2620.26/2629.97 c 2630 7775 7772 1 - 0.0000 -
2625.54/2635.27 c 2635 7790 7787 1 - 0.0000 -
2631.32/2641.03 c 2641 7804 7801 1 - 0.0000 -
2636.99/2646.70 c 2647 7862 7859 1 - 0.0000 -
2642.07/2651.81 c 2652 7875 7872 1 - 0.0000 -
2650.64/2660.40 c 2660 7885 7882 1 - 0.0000 -
2656.52/2666.35 c 2666 7908 7905 1 - 0.0000 -
2661.60/2671.46 c 2671 7925 7922 1 - 0.0000 -
2669.78/2679.69 c 2680 7975 7972 1 - 0.0000 -
2674.86/2684.73 c 2685 8000 7997 1 - 0.0000 -
2680.34/2690.20 c 2690 8014 8011 1 - 0.0000 -
2687.71/2697.64 c 2698 8075 8072 1 - 0.0000 -
2695.29/2705.21 c 2705 8110 8107 1 - 0.0000 -
2702.07/2712.00 c 2712 8135 8132 1 - 0.0000 -
2708.64/2718.65 c 2719 8180 8177 1 - 0.0000 -
2714.62/2724.62 c 2725 8194 8191 1 - 0.0000 -
2719.90/2729.93 c 2730 8205 8202 1 - 0.0000 -
2725.09/2735.16 c 2735 8235 8232 1 - 0.0000 -
2731.26/2741.33 c 2741 8260 8257 1 - 0.0000 -
2740.93/2751.04 c 2751 8310 8307 1 - 0.0000 -
2746.71/2756.81 c 2757 8325 8322 1 - 0.0000 -
2751.99/2762.13 c 2762 8340 8337 1 - 0.0000 -
2757.87/2768.10 c 2768 8355 8352 1 - 0.0000 -
2763.65/2773.83 c 2774 8382 8379 1 - 0.0000 -
2769.63/2779.82 c 2780 8412 8409 1 - 0.0000 -
2776.01/2786.22 c 2786 8472 8469 1 - 0.0000 -
2781.80/2792.00 c 2792 8481 8478 1 - 0.0000 -
2787.67/2797.93 c 2798 8528 8525 1 - 0.0000 -
2792.65/2802.98 c 2803 8531 8528 1 - 0.0000 -
2800.03/2810.36 c 2810 8550 8547 1 - 0.0000 -
2805.21/2815.52 c 2816 8596 8593 1 - 0.0000 -
2811.28/2821.68 c 2822 8630 8627 1 - 0.0000 -
2819.26/2829.65 c 2830 8645 8642 1 - 0.0000 -
2824.64/2835.05 c 2835 8687 8684 1 - 0.0000 -
2831.21/2841.63 c 2842 8710 8707 1 - 0.0000 -
2838.28/2848.75 c 2849 8720 8717 1 - 0.0000 -
2843.86/2854.38 c 2854 8782 8779 1 - 0.0000 -
2850.44/2860.93 c 2861 8805 8802 1 - 0.0000 -
2856.11/2866.62 c 2867 8881 8878 1 - 0.0000 -
2864.78/2875.31 c 2875 8915 8912 1 - 0.0000 -
2870.76/2881.31 c 2881 8936 8933 1 - 0.0000 -
2878.44/2889.02 c 2889 8970 8967 1 - 0.0000 -
2890.08/2900.75 c 2901 8990 8987 1 - 0.0000 -
2895.47/2906.18 c 2906 9015 9012 1 - 0.0000 -
2901.34/2912.07 c 2912 9057 9054 1 - 0.0000 -
2907.11/2917.82 c 2918 9075 9072 1 - 0.0000 -
2914.58/2925.33 c 2925 9125 9122 1 - 0.0000 -
2920.36/2931.19 c 2931 9160 9157 1 - 0.0000 -
2927.83/2938.63 c 2939 9180 9177 1 - 0.0000 -
2932.81/2943.69 c 2944 9218 9215 1 - 0.0000 -
2938.48/2949.36 c 2949 9234 9231 1 - 0.0000 -
2947.65/2958.54 c 2959 9255 9252 1 - 0.0000 -
2955.32/2966.27 c 2966 9305 9302 1 - 0.0000 -
2961.49/2972.41 c 2972 9351 9348 1 - 0.0000 -
2967.17/2978.17 c 2978 9413 9410 1 - 0.0000 -
2973.94/2984.91 c 2985 9425 9422 1 - 0.0000 -
2979.71/2990.76 c 2991 9465 9462 1 - 0.0000 -
2986.29/2997.37 c 2997 9490 9487 1 - 0.0000 -
2993.96/3005.03 c 3005 9500 9497 1 - 0.0000 -
3002.32/3013.46 c 3013 9525 9522 1 - 0.0000 -
3007.71/3018.83 c 3019 9562 9559 1 - 0.0000 -
3013.29/3024.40 c 3024 9575 9572 1 - 0.0000 -
3021.06/3032.25 c 3032 9615 9612 1 - 0.0000 -
3026.44/3037.67 c 3038 9625 9622 1 - 0.0000 -
3032.61/3043.84 c 3044 9640 9637 1 - 0.0000 -
3037.79/3049.01 c 3049 9658 9655 1 - 0.0000 -
3045.06/3056.38 c 3056 9695 9692 1 - 0.0000 -
3050.34/3061.69 c 3062 9724 9721 1 - 0.0000 -
3055.82/3067.12 c 3067 9739 9736 1 - 0.0000 -
3061.80/3073.17 c 3073 9753 9750 1 - 0.0000 -
3070.95/3082.37 c 3082 9785 9782 1 - 0.0000 -
3076.64/3088.06 c 3088 9801 9798 1 - 0.0000 -
3084.10/3095.51 c 3096 9830 9827 1 - 0.0000 -
3089.28/3100.73 c 3101 9871 9868 1 - 0.0000 -
3097.45/3108.99 c 3109 9900 9897 1 - 0.0000 -
3103.92/3115.43 c 3115 9920 9917 1 - 0.0000 -
3113.28/3124.81 c 3125 9940 9937 1 - 0.0000 -
3119.16/3130.73 c 3131 9959 9956 1 - 0.0000 -
3126.53/3138.11 c 3138 9985 9982 1 - 0.0000 -
3132.01/3143.69 c 3144 10005 10002 1 - 0.0000 -
3137.39/3149.05 c 3149 10068 10065 1 - 0.0000 -
3143.36/3155.02 c 3155 10100 10097 1 - 0.0000 -
3148.64/3160.36 c 3160 10161 10158 1 - 0.0000 -
3154.82/3166.51 c 3167 10180 10177 1 - 0.0000 -
3160.10/3171.81 c 3172 10206 10203 1 - 0.0000 -
3167.87/3179.67 c 3180 10250 10247 1 - 0.0000 -
3173.55/3185.37 c 3185 10274 10271 1 - 0.0000 -
3179.53/3191.30 c 3191 10313 10310 1 - 0.0000 -
3185.91/3197.70 c 3198 10340 10337 1 - 0.0000 -
3191.09/3202.96 c 3203 10360 10357 1 - 0.0000 -
3196.77/3208.67 c 3209 10391 10388 1 - 0.0000 -
3202.25/3214.14 c 3214 10435 10432 1 - 0.0000 -
3211.32/3223.28 c 3223 10460 10457 1 - 0.0000 -
3217.70/3229.69 c 3230 10465 10462 1 - 0.0000 -
3223.09/3235.00 c 3235 10511 10508 1 - 0.0000 -
3229.66/3241.68 c 3242 10525 10522 1 - 0.0000 -
3235.84/3247.81 c 3248 10548 10545 1 - 0.0000 -
3243.71/3255.73 c 3256 10590 10587 1 - 0.0000 -
3249.59/3261.69 c 3262 10612 10609 1 - 0.0000 -
3258.16/3270.27 c 3270 10630 10627 1 - 0.0000 -
3263.64/3275.71 c 3276 10645 10642 1 - 0.0000 -
3269.62/3281.70 c 3282 10665 10662 1 - 0.0000 -
3275.30/3287.45 c 3287 10688 10685 1 - 0.0000 -
3280.89/3293.07 c 3293 10764 10761 1 - 0.0000 -
3286.36/3298.53 c 3299 10790 10787 1 - 0.0000 -
3294.04/3306.27 c 3306 10800 10797 1 - 0.0000 -
3299.22/3311.49 c 3311 10843 10840 1 - 0.0000 -
3304.40/3316.69 c 3317 10855 10852 1 - 0.0000 -
3309.89/3322.13 c 3322 10865 10862 1 - 0.0000 -
3316.06/3328.33 c 3328 10928 10925 1 - 0.0000 -
3321.84/3334.13 c 3334 10960 10957 1 - 0.0000 -
3327.72/3340.02 c 3340 11007 11004 1 - 0.0000 -
3334.80/3347.12 c 3347 11015 11012 1 - 0.0000 -
3340.38/3352.75 c 3353 11025 11022 1 - 0.0000 -
3346.35/3358.74 c 3359 11052 11049 1 - 0.0000 -
3353.43/3365.87 c 3366 11100 11097 1 - 0.0000 -
3360.31/3372.70 c 3373 11120 11117 1 - 0.0000 -
3365.59/3378.04 c 3378 11138 11135 1 - 0.0000 -
3371.47/3383.97 c 3384 11152 11149 1 - 0.0000 -
3377.05/3389.52 c 3390 11176 11173 1 - 0.0000 -
3382.23/3394.76 c 3395 11200 11197 1 - 0.0000 -
3387.21/3399.79 c 3400 11215 11212 1 - 0.0000 -
3392.99/3405.53 c 3406 11230 11227 1 - 0.0000 -
3398.77/3411.35 c 3411 11291 11288 1 - 0.0000 -
3404.46/3417.03 c 3417 11310 11307 1 - 0.0000 -
3410.34/3422.93 c 3423 11339 11336 1 - 0.0000 -
3417.01/3429.62 c 3430 11369 11366 1 - 0.0000 -
3423.39/3436.10 c 3436 11374 11371 1 - 0.0000 -
3429.27/3441.99 c 3442 11392 11389 1 - 0.0000 -
3434.65/3447.34 c 3447 11419 11416 1 - 0.0000 -
3441.02/3453.75 c 3454 11461 11458 1 - 0.0000 -
3447.90/3460.69 c 3461 11472 11469 1 - 0.0000 -
3453.69/3466.49 c 3466 11483 11480 1 - 0.0000 -
3458.77/3471.55 c 3472 11499 11496 1 - 0.0000 -
3464.75/3477.54 c 3478 11538 11535 1 - 0.0000 -
3473.12/3485.92 c 3486 11549 11546 1 - 0.0000 -
3478.31/3491.11 c 3491 11582 11579 1 - 0.0000 -
3484.09/3496.98 c 3497 11607 11604 1 - 0.0000 -
3490.37/3503.20 c 3503 11634 11631 1 - 0.0000 -
3497.45/3510.30 c 3510 11654 11651 1 - 0.0000 -
3502.53/3515.42 c 3515 11660 11657 1 - 0.0000 -
3508.51/3521.41 c 3521 11687 11684 1 - 0.0000 -
3514.69/3527.64 c 3528 11699 11696 1 - 0.0000 -
3520.08/3533.00 c 3533 11718 11715 1 - 0.0000 -
3525.96/3538.96 c 3539 11753 11750 1 - 0.0000 -
3532.24/3545.27 c 3545 11769 11766 1 - 0.0000 -
3537.52/3550.53 c 3551 11797 11794 1 - 0.0000 -
3544.80/3557.83 c 3558 11847 11844 1 - 0.0000 -
3549.88/3562.95 c 3563 11863 11860 1 - 0.0000 -
3555.46/3568.59 c 3569 11874 11871 1 - 0.0000 -
3561.55/3574.68 c 3575 11909 11906 1 - 0.0000 -
3567.03/3580.10 c 3580 11924 11921 1 - 0.0000 -
3573.71/3586.88 c 3587 11939 11936 1 - 0.0000 -
3579.09/3592.22 c 3592 11965 11962 1 - 0.0000 -
3584.98/3598.14 c 3598 11974 11971 0 - 0.0000 -
3584.98/3598.18 c SCIP Status : c solving was interrupted [hard time limit reached]
3584.98/3598.18 c Total Time : 3598.1800
3584.98/3598.18 c solving : 3598.1800
3584.98/3598.18 c presolving : 0.2277 (included in solving)
3584.98/3598.18 c B&B Tree :
3584.98/3598.18 c nodes (total) : 1
3584.98/3598.18 c Solution :
3584.98/3598.18 c Solutions found : 0
3584.98/3598.18 c Primal Bound : -
3584.98/3598.18 c Dual Bound : +0.00000000000000e+00
3584.98/3598.18 c Gap : -
3584.98/3598.19 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 (58432 MiB free)
memory of node 1: 64510 MiB (62850 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464659-1722386404/watcher-4464659-1722386404 -o /tmp/evaluation-result-4464659-1722386404/solver-4464659-1722386404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722378594-28845 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464659-1722386404.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=34041, runsolver pid=34038
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.14 4.14 4.12 6/259 34042
/proc/meminfo: memFree=124161564/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=52756 memory=42132 CPUtime=0.09 cores=0,2
/proc/34041/stat : 34041 (fscip) R 34038 34041 28833 0 -1 4194304 9197 0 0 0 8 1 0 0 20 0 1 0 5238873 54022144 10533 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 13189 10533 2726 3035 0 9585 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 52756 KiB
Current children cumulated memory: 42132 KiB
[startup+0.205592 s]*
/proc/loadavg: 4.14 4.14 4.12 5/259 34042
/proc/meminfo: memFree=124159496/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=54468 memory=43512 CPUtime=0.2 cores=0,2
/proc/34041/stat : 34041 (fscip) R 34038 34041 28833 0 -1 4194304 9522 0 0 0 19 1 0 0 20 0 1 0 5238873 55775232 10878 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 13617 10878 2742 3035 0 10013 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 54468 KiB
Current children cumulated memory: 43512 KiB
[startup+0.313816 s]*
/proc/loadavg: 4.14 4.14 4.12 5/261 34044
/proc/meminfo: memFree=124128808/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=150264 memory=73784 CPUtime=0.31 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 19040 0 0 0 28 3 0 0 20 0 3 0 5238873 153870336 18446 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 37566 18446 2790 3035 0 23166 0
[pid=34041/tid=34043] ppid=34038 vsize=150264 memory=-5155626903648365445 CPUtime=0.03 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 5714 0 0 0 2 1 0 0 20 0 3 0 5238899 153870336 18446 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=150264 memory=0 CPUtime=0 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5238902 153870336 18446 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 150264 KiB
Current children cumulated memory: 73784 KiB
[startup+0.700238 s]
/proc/loadavg: 4.14 4.14 4.12 5/261 34044
/proc/meminfo: memFree=124107640/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=151292 memory=97280 CPUtime=0.68 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 24764 0 0 0 64 4 0 0 20 0 3 0 5238873 154923008 24320 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 37823 24320 2966 3035 0 28844 0
[pid=34041/tid=34043] ppid=34038 vsize=151292 memory=5560 CPUtime=0.4 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 11438 0 0 0 38 2 0 0 20 0 3 0 5238899 154923008 24320 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=151292 memory=417 CPUtime=0 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5238902 154923008 24320 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 151292 KiB
Current children cumulated memory: 97280 KiB
[startup+1.50024 s]
/proc/loadavg: 4.14 4.14 4.12 5/261 34044
/proc/meminfo: memFree=124078496/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=216828 memory=124912 CPUtime=1.47 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 35110 0 0 0 142 5 0 0 20 0 3 0 5238873 222031872 31228 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 54207 31228 2966 3035 0 37201 0
[pid=34041/tid=34043] ppid=34038 vsize=216828 memory=417 CPUtime=1.19 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 21777 0 0 0 116 3 0 0 20 0 3 0 5238899 222031872 31228 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=216828 memory=0 CPUtime=0 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5238902 222031872 31228 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 216828 KiB
Current children cumulated memory: 124912 KiB
[startup+3.10525 s]
/proc/loadavg: 4.13 4.14 4.12 5/261 34044
/proc/meminfo: memFree=124078500/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=216828 memory=124920 CPUtime=3.07 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 41906 0 0 0 301 6 0 0 20 0 3 0 5238873 222031872 31230 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 54207 31230 2966 3035 0 37201 0
[pid=34041/tid=34043] ppid=34038 vsize=216828 memory=-5155626903648365445 CPUtime=2.8 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 28573 0 0 0 276 4 0 0 20 0 3 0 5238899 222031872 31230 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=216828 memory=0 CPUtime=0 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5238902 222031872 31230 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 216828 KiB
Current children cumulated memory: 124920 KiB
[startup+6.30022 s]
/proc/loadavg: 4.13 4.14 4.12 5/261 34044
/proc/meminfo: memFree=124078396/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=216828 memory=125052 CPUtime=6.25 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 53126 0 0 0 619 6 0 0 20 0 3 0 5238873 222031872 31263 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 54207 31263 2966 3035 0 37201 0
[pid=34041/tid=34043] ppid=34038 vsize=216828 memory=11584 CPUtime=5.98 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 39790 0 0 0 594 4 0 0 20 0 3 0 5238899 222031872 31263 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=216828 memory=11584 CPUtime=0 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 5238902 222031872 31263 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 216828 KiB
Current children cumulated memory: 125052 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.12 5/261 34046
/proc/meminfo: memFree=124077780/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=216828 memory=125336 CPUtime=12.63 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 71198 0 0 0 1256 7 0 0 20 0 3 0 5238873 222031872 31334 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 54207 31334 2966 3035 0 37201 0
[pid=34041/tid=34043] ppid=34038 vsize=216828 memory=125048 CPUtime=12.36 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 57849 0 0 0 1231 5 0 0 20 0 3 0 5238899 222031872 31334 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=216828 memory=-5155626903648365445 CPUtime=0 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 5238902 222031872 31334 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 216828 KiB
Current children cumulated memory: 125336 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.13 4.12 5/261 34047
/proc/meminfo: memFree=124073216/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=218564 memory=128944 CPUtime=25.39 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 94904 0 0 0 2530 9 0 0 20 0 3 0 5238873 223809536 32236 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 54641 32236 2966 3035 0 37635 0
[pid=34041/tid=34043] ppid=34038 vsize=218564 memory=11584 CPUtime=25.12 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 81545 0 0 0 2505 7 0 0 20 0 3 0 5238899 223809536 32236 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=218564 memory=11584 CPUtime=0 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 5238902 223809536 32236 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 218564 KiB
Current children cumulated memory: 128944 KiB
[startup+51.1057 s]
/proc/loadavg: 4.12 4.13 4.12 5/264 34058
/proc/meminfo: memFree=124039792/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=218564 memory=151892 CPUtime=50.91 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 139357 0 0 0 5079 12 0 0 20 0 3 0 5238873 223809536 37973 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 54641 37973 2966 3035 0 44739 0
[pid=34041/tid=34043] ppid=34038 vsize=218564 memory=7156623802907845221 CPUtime=50.63 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 125920 0 0 0 5053 10 0 0 20 0 3 0 5238899 223809536 37973 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=218564 memory=11584 CPUtime=0 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 3 0 5238902 223809536 37973 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 218564 KiB
Current children cumulated memory: 151892 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.11 4.11 5/265 34067
/proc/meminfo: memFree=124037448/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=218564 memory=152096 CPUtime=101.94 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 162223 0 0 0 10180 14 0 0 20 0 3 0 5238873 223809536 38024 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 54641 38024 3014 3035 0 44739 0
[pid=34041/tid=34043] ppid=34038 vsize=218564 memory=11584 CPUtime=101.66 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 148738 0 0 0 10154 12 0 0 20 0 3 0 5238899 223809536 38024 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=218564 memory=-7667496582183476861 CPUtime=0 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 68 0 0 0 0 0 0 0 20 0 3 0 5238902 223809536 38024 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 218564 KiB
Current children cumulated memory: 152096 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/265 34077
/proc/meminfo: memFree=124035348/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=218564 memory=152096 CPUtime=161.73 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 170624 0 0 0 16159 14 0 0 20 0 3 0 5238873 223809536 38024 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 54641 38024 3014 3035 0 44739 0
[pid=34041/tid=34043] ppid=34038 vsize=218564 memory=152096 CPUtime=161.46 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 157126 0 0 0 16134 12 0 0 20 0 3 0 5238899 223809536 38024 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=218564 memory=16168 CPUtime=0 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 81 0 0 0 0 0 0 0 20 0 3 0 5238902 223809536 38024 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 218564 KiB
Current children cumulated memory: 152096 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.17 4.13 5/267 34712
/proc/meminfo: memFree=126113844/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=218564 memory=152100 CPUtime=221.52 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 180406 0 0 0 22137 15 0 0 20 0 3 0 5238873 223809536 38025 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
################
# More data... #
################
/proc/34041/statm: 71261 51654 3014 3035 0 54041 0
[pid=34041/tid=34043] ppid=34038 vsize=285044 memory=205304 CPUtime=3449.2 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 347489 0 0 0 344877 43 0 0 20 0 3 0 5238899 291885056 51654 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=285044 memory=206580 CPUtime=0.03 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 288 0 0 0 1 2 0 0 20 0 3 0 5238902 291885056 51654 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 3449.6 s
Current children cumulated vsize: 285044 KiB
Current children cumulated memory: 206616 KiB
[startup+3522.3 s]
/proc/loadavg: 2.69 3.17 3.62 3/245 36570
/proc/meminfo: memFree=126355160/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=285044 memory=207528 CPUtime=3509.41 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 363196 0 0 0 350891 50 0 0 20 0 3 0 5238873 291885056 51882 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 71261 51882 3014 3035 0 54172 0
[pid=34041/tid=34043] ppid=34038 vsize=285044 memory=13172 CPUtime=3509 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 348576 0 0 0 350857 43 0 0 20 0 3 0 5238899 291885056 51882 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=285044 memory=207528 CPUtime=0.03 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 290 0 0 0 1 2 0 0 20 0 3 0 5238902 291885056 51882 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 3509.41 s
Current children cumulated vsize: 285044 KiB
Current children cumulated memory: 207528 KiB
[startup+3582.3 s]
/proc/loadavg: 2.25 2.95 3.51 3/245 36581
/proc/meminfo: memFree=126353320/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=285044 memory=208656 CPUtime=3569.22 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 364470 0 0 0 356872 50 0 0 20 0 3 0 5238873 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 71261 52164 3030 3035 0 54481 0
[pid=34041/tid=34043] ppid=34038 vsize=285044 memory=11584 CPUtime=3568.81 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 349830 0 0 0 356838 43 0 0 20 0 3 0 5238899 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=285044 memory=11584 CPUtime=0.03 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5238902 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 3569.22 s
Current children cumulated vsize: 285044 KiB
Current children cumulated memory: 208656 KiB
[startup+3598.2 s]
# the end of solver process 34041 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.58 s, system=0.508662 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.23 2.94 3.51 3/245 36581
/proc/meminfo: memFree=126353336/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=285044 memory=208656 CPUtime=3570.92 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 364471 0 0 0 357042 50 0 0 20 0 3 0 5238873 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 71261 52164 3030 3035 0 54481 0
[pid=34041/tid=34043] ppid=34038 vsize=285044 memory=-7163093423917982592 CPUtime=3570.51 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 349831 0 0 0 357008 43 0 0 20 0 3 0 5238899 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=285044 memory=2820 CPUtime=0.03 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5238902 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 3570.92 s
Current children cumulated vsize: 285044 KiB
Current children cumulated memory: 208656 KiB
[startup+3590.4 s]
/proc/loadavg: 2.21 2.92 3.50 3/245 36582
/proc/meminfo: memFree=126348036/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=285044 memory=208656 CPUtime=3577.3 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 364480 0 0 0 357680 50 0 0 20 0 3 0 5238873 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 71261 52164 3030 3035 0 54481 0
[pid=34041/tid=34043] ppid=34038 vsize=285044 memory=208656 CPUtime=3576.88 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 349840 0 0 0 357645 43 0 0 20 0 3 0 5238899 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=285044 memory=5560 CPUtime=0.03 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5238902 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 3577.3 s
Current children cumulated vsize: 285044 KiB
Current children cumulated memory: 208656 KiB
[startup+3593.6 s]
/proc/loadavg: 2.28 2.92 3.50 3/245 36582
/proc/meminfo: memFree=126348028/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=285044 memory=208656 CPUtime=3580.49 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 364481 0 0 0 357999 50 0 0 20 0 3 0 5238873 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 71261 52164 3030 3035 0 54481 0
[pid=34041/tid=34043] ppid=34038 vsize=285044 memory=208656 CPUtime=3580.07 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 349841 0 0 0 357964 43 0 0 20 0 3 0 5238899 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=285044 memory=208656 CPUtime=0.03 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5238902 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 3580.49 s
Current children cumulated vsize: 285044 KiB
Current children cumulated memory: 208656 KiB
[startup+3595.2 s]
/proc/loadavg: 2.28 2.92 3.50 3/245 36582
/proc/meminfo: memFree=126348036/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=285044 memory=208656 CPUtime=3582.08 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 364481 0 0 0 358158 50 0 0 20 0 3 0 5238873 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 71261 52164 3030 3035 0 54481 0
[pid=34041/tid=34043] ppid=34038 vsize=285044 memory=-7667496582183476861 CPUtime=3581.67 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 349841 0 0 0 358124 43 0 0 20 0 3 0 5238899 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=285044 memory=-7667496582183476861 CPUtime=0.03 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5238902 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 3582.08 s
Current children cumulated vsize: 285044 KiB
Current children cumulated memory: 208656 KiB
[startup+3596.8 s]
/proc/loadavg: 2.28 2.92 3.50 3/245 36582
/proc/meminfo: memFree=126348008/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=285044 memory=208656 CPUtime=3583.68 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 364482 0 0 0 358318 50 0 0 20 0 3 0 5238873 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 71261 52164 3030 3035 0 54481 0
[pid=34041/tid=34043] ppid=34038 vsize=285044 memory=11584 CPUtime=3583.26 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 349842 0 0 0 358283 43 0 0 20 0 3 0 5238899 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=285044 memory=208656 CPUtime=0.03 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5238902 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 3583.68 s
Current children cumulated vsize: 285044 KiB
Current children cumulated memory: 208656 KiB
[startup+3597.6 s]
/proc/loadavg: 2.28 2.92 3.50 3/245 36582
/proc/meminfo: memFree=126348008/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=285044 memory=208656 CPUtime=3584.48 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 364482 0 0 0 358398 50 0 0 20 0 3 0 5238873 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 71261 52164 3030 3035 0 54481 0
[pid=34041/tid=34043] ppid=34038 vsize=285044 memory=11584 CPUtime=3584.06 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 349842 0 0 0 358363 43 0 0 20 0 3 0 5238899 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=285044 memory=13172 CPUtime=0.03 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5238902 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 3584.48 s
Current children cumulated vsize: 285044 KiB
Current children cumulated memory: 208656 KiB
[startup+3598 s]*
/proc/loadavg: 2.25 2.91 3.49 3/245 36582
/proc/meminfo: memFree=126348000/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=285044 memory=208656 CPUtime=3584.88 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 364482 0 0 0 358438 50 0 0 20 0 3 0 5238873 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 71261 52164 3030 3035 0 54481 0
[pid=34041/tid=34043] ppid=34038 vsize=285044 memory=-7163093423917982592 CPUtime=3584.47 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 349842 0 0 0 358404 43 0 0 20 0 3 0 5238899 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=285044 memory=4210754172922523298 CPUtime=0.03 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5238902 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 3584.88 s
Current children cumulated vsize: 285044 KiB
Current children cumulated memory: 208656 KiB
[startup+3598.11 s]
/proc/loadavg: 2.25 2.91 3.49 3/245 36582
/proc/meminfo: memFree=126348000/131524600 swapFree=131071996/131071996
[pid=34041] ppid=34038 vsize=285044 memory=208656 CPUtime=3584.98 cores=0,2
/proc/34041/stat : 34041 (fscip) S 34038 34041 28833 0 -1 1077936128 364482 0 0 0 358448 50 0 0 20 0 3 0 5238873 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
/proc/34041/statm: 71261 52164 3030 3035 0 54481 0
[pid=34041/tid=34043] ppid=34038 vsize=285044 memory=208656 CPUtime=3584.57 cores=0,2
/proc/34041/task/34043/stat : 34043 (fscip) R 34038 34041 28833 0 -1 4194368 349842 0 0 0 358414 43 0 0 20 0 3 0 5238899 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
[pid=34041/tid=34044] ppid=34038 vsize=285044 memory=208656 CPUtime=0.03 cores=0,2
/proc/34041/task/34044/stat : 34044 (fscip) S 34038 34041 28833 0 -1 1077936192 292 0 0 0 1 2 0 0 20 0 3 0 5238902 291885056 52164 134679101440 4194304 16623229 140733763914944 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 43241472 140733763920918 140733763921034 140733763921034 140733763928048 0
Current children cumulated CPU time: 3584.98 s
Current children cumulated vsize: 285044 KiB
Current children cumulated memory: 208656 KiB
Child status: 0
Real time (s): 3598.2
CPU time (s): 3585.08
CPU user time (s): 3584.58
CPU system time (s): 0.508662
CPU usage (%): 99.6355
Max. virtual memory (cumulated for all children) (KiB): 285044
Max. memory (cumulated for all children) (KiB): 208656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.58
system time used= 0.508662
maximum resident set size= 208828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365340
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= 6948
involuntary context switches= 24568
# summary of solver processes directly reported to runsolver:
# pid: 34041
# total CPU time (s): 3585.08
# total CPU user time (s): 3584.58
# total CPU system time (s): 0.508662
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96598 second user time and 16.5092 second system time
The end
Begin job on nodeC022 at 2024-07-31 02:40:04
IDJOB=4464659
IDBENCH=162326
IDSOLVER=3092
FILE ID=nodeC022/4464659-1722386404
RUNJOBID= nodeC022-1722378594-28845
SLURM_JOB_ID= 8249845
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size80-round21-6.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-4464659-1722386404/watcher-4464659-1722386404 -o /tmp/evaluation-result-4464659-1722386404/solver-4464659-1722386404 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722378594-28845 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464659-1722386404.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3275beafb3ca308b178248aae5ff03d5
RANDOM SEED=1765878430
nodeC022.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 : 3657.653
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 : 7000.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 : 3683.568
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 : 7007.42
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 : 3673.528
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 : 7000.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 : 3600.725
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 : 7007.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3668.896
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 : 7000.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 : 3683.570
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 : 7007.42
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.620
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 : 7000.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 : 3600.498
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 : 7007.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124194180 kB
MemAvailable: 127119904 kB
Buffers: 107572 kB
Cached: 3622180 kB
SwapCached: 0 kB
Active: 284260 kB
Inactive: 6499292 kB
Active(anon): 1508 kB
Inactive(anon): 3073300 kB
Active(file): 282752 kB
Inactive(file): 3425992 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28336 kB
Writeback: 16 kB
AnonPages: 3053540 kB
Mapped: 123908 kB
Shmem: 21336 kB
KReclaimable: 113256 kB
Slab: 201584 kB
SReclaimable: 113256 kB
SUnreclaim: 88328 kB
KernelStack: 4204 kB
PageTables: 15512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3351580 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9760 kB
HardwareCorrupted: 0 kB
AnonHugePages: 618496 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: 295636 kB
DirectMap2M: 19400704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC022 at 2024-07-31 03:40:02