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.10 c Default LC presolving (default).
0.00/0.10 c ** Before presolving: virtualMemUsedAtLc = 49324032, getVmSize() = 49324032, SCIPgetMemUsed() = 23160258, SCIPgetMemTotal() = 26758738, SCIPgetMemExternEstim() = 15388628
0.00/0.10 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.21/0.31 c ** Estimated virtualMemUsedAtSolver = 37685930, getVmSize() = 63733760, SCIPgetMemUsed() = 25184251, SCIPgetMemTotal() = 39658227, SCIPgetMemExternEstim() = 15388628
0.21/0.31 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.21/0.31 c Original Problem :
0.21/0.31 c Problem name : instance-4464777-1722382194
0.21/0.31 c Variables : 7318 (1000 binary, 0 integer, 6318 implicit integer, 0 continuous)
0.21/0.31 c Constraints : 8819
0.21/0.31 c Objective sense : minimize
0.21/0.31 c Presolved Problem :
0.21/0.31 c Variables : 1000 (1000 binary, 0 integer, 0 implicit integer, 0 continuous)
0.21/0.31 c Constraints : 1501
0.21/0.31 c Constraints : Number
0.21/0.31 c knapsack : 1000
0.21/0.31 c setppc : 500
0.21/0.31 c linear : 1
0.21/0.31 c ** Instance transfer method used: 0
0.31/0.32 c ** ParaScipInstance copy does not increase the number of variables. **
0.31/0.33 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.31/0.33 c Nodes Active
0.31/0.33 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.37/1.47 c * 1 0 1 1 -87.0000 - -
3.45/3.55 c * 4 0 1 1 -94.0000 - -
125.50/125.98 c * 126 0 1 1 -110.0000 - -
125.50/125.98 c 126 0 1 1 -110.0000 - -
192.88/193.52 c 194 2 1 1 -110.0000 -243.8055 121.64%
232.27/233.06 c 233 3 2 1 -110.0000 -243.7034 121.55%
279.90/280.89 c 281 4 3 1 -110.0000 -243.7034 121.55%
307.12/308.19 c 308 5 4 1 -110.0000 -243.7034 121.55%
330.94/332.05 c 332 6 5 1 -110.0000 -243.7034 121.55%
355.55/356.73 c 357 7 6 1 -110.0000 -243.7034 121.55%
378.58/379.89 c 380 8 7 1 -110.0000 -243.7034 121.55%
401.21/402.50 c 402 9 8 1 -110.0000 -243.7034 121.55%
409.98/411.33 c 411 10 9 1 -110.0000 -243.7034 121.55%
415.95/417.34 c 417 12 11 1 -110.0000 -243.7034 121.55%
417.95/419.34 c * 419 12 11 1 -128.0000 -243.7034 90.39%
421.44/422.80 c 423 18 17 1 -128.0000 -243.7034 90.39%
444.27/445.79 c 446 25 24 1 -128.0000 -243.7034 90.39%
446.76/448.29 c * 448 25 24 1 -137.0000 -243.7034 77.89%
450.45/451.96 c 452 32 31 1 -137.0000 -243.7034 77.89%
460.63/462.12 c 462 36 35 1 -137.0000 -243.7034 77.89%
466.51/468.06 c 468 44 43 1 -137.0000 -243.7034 77.89%
474.28/475.83 c 476 47 46 1 -137.0000 -243.7034 77.89%
479.95/481.59 c 482 56 55 1 -137.0000 -243.7034 77.89%
494.42/496.09 c 496 58 57 1 -137.0000 -243.7034 77.89%
506.17/507.85 c 508 69 68 1 -137.0000 -243.7034 77.89%
520.72/522.41 c 522 76 75 1 -137.0000 -243.7034 77.89%
527.21/528.92 c 529 80 79 1 -137.0000 -243.7034 77.89%
548.14/549.91 c 550 91 90 1 -137.0000 -243.7034 77.89%
560.60/562.46 c 562 102 101 1 -137.0000 -243.7034 77.89%
567.19/569.08 c 569 103 102 1 -137.0000 -243.7034 77.89%
568.88/570.76 c * 571 103 102 1 -141.0000 -243.7034 72.84%
572.56/574.41 c 574 108 107 1 -141.0000 -243.7034 72.84%
577.55/579.45 c 579 114 113 1 -141.0000 -243.7034 72.84%
585.32/587.30 c 587 116 115 1 -141.0000 -243.7034 72.84%
590.81/592.79 c 593 122 121 1 -141.0000 -243.7034 72.84%
597.68/599.67 c 600 124 123 1 -141.0000 -243.7034 72.84%
603.07/605.10 c 605 125 124 1 -141.0000 -243.7034 72.84%
608.44/610.49 c 610 128 127 1 -141.0000 -243.7034 72.84%
617.42/619.41 c 619 130 129 1 -141.0000 -243.7034 72.84%
626.68/628.71 c 629 132 131 1 -141.0000 -243.7034 72.84%
633.76/635.80 c 636 136 135 1 -141.0000 -243.7034 72.84%
642.22/644.35 c 644 140 139 1 -141.0000 -243.7034 72.84%
676.97/679.24 c 679 142 141 1 -141.0000 -243.6715 72.82%
686.34/688.67 c 689 148 147 1 -141.0000 -243.6715 72.82%
691.42/693.72 c 694 152 151 1 -141.0000 -243.6715 72.82%
704.87/707.28 c 707 156 155 1 -141.0000 -243.6715 72.82%
716.44/718.80 c 719 157 156 1 -141.0000 -243.6715 72.82%
721.73/724.13 c 724 161 160 1 -141.0000 -243.6715 72.82%
727.30/729.77 c 730 164 163 1 -141.0000 -243.6234 72.78%
741.66/744.19 c 744 170 169 1 -141.0000 -243.6234 72.78%
746.93/749.45 c 749 171 170 1 -141.0000 -243.6234 72.78%
752.53/755.07 c 755 177 176 1 -141.0000 -243.6234 72.78%
758.90/761.48 c 761 180 181 1 -141.0000 -243.6234 72.78%
765.97/768.53 c 769 188 187 1 -141.0000 -243.6234 72.78%
774.24/776.84 c 777 191 190 1 -141.0000 -243.6234 72.78%
785.20/787.84 c 788 192 191 1 -141.0000 -243.6189 72.78%
792.88/795.58 c 796 197 196 1 -141.0000 -243.6189 72.78%
798.25/800.95 c 801 200 199 1 -141.0000 -243.6189 72.78%
805.44/808.16 c 808 209 208 1 -141.0000 -243.6189 72.78%
811.10/813.84 c 814 215 214 1 -141.0000 -243.6189 72.78%
821.96/824.78 c 825 223 222 1 -141.0000 -243.5287 72.72%
828.43/831.25 c 831 239 238 1 -141.0000 -243.5287 72.72%
834.51/837.39 c 837 251 250 1 -141.0000 -243.5287 72.72%
841.30/844.19 c 844 254 253 1 -141.0000 -243.4723 72.68%
846.57/849.40 c 849 260 259 1 -141.0000 -243.4723 72.68%
853.64/856.53 c 857 272 271 1 -141.0000 -243.4723 72.68%
865.30/868.27 c 868 278 277 1 -141.0000 -243.4723 72.68%
878.64/881.67 c 882 283 282 1 -141.0000 -243.3873 72.62%
886.71/889.78 c 890 291 290 1 -141.0000 -243.3873 72.62%
898.57/901.67 c 902 297 296 1 -141.0000 -243.3873 72.62%
904.64/907.73 c 908 299 298 1 -141.0000 -243.3873 72.62%
910.62/913.76 c 914 300 299 1 -141.0000 -243.3873 72.62%
916.49/919.62 c 920 305 304 1 -141.0000 -243.3873 72.62%
921.47/924.65 c 925 310 309 1 -141.0000 -243.3873 72.62%
933.13/936.36 c 936 313 312 1 -141.0000 -243.3175 72.57%
943.28/946.51 c 947 314 313 1 -141.0000 -243.3175 72.57%
953.64/956.96 c 957 325 324 1 -141.0000 -243.3175 72.57%
963.90/967.28 c 967 328 327 1 -141.0000 -243.3175 72.57%
969.28/972.68 c 973 330 329 1 -141.0000 -243.3175 72.57%
979.35/982.77 c 983 337 336 1 -141.0000 -243.3175 72.57%
990.51/993.99 c 994 341 340 1 -141.0000 -243.3175 72.57%
996.28/999.70 c 1000 342 341 1 -141.0000 -243.1616 72.46%
1007.55/1011.05 c 1011 343 342 1 -141.0000 -243.1616 72.46%
1016.00/1019.54 c 1020 346 345 1 -141.0000 -243.1616 72.46%
1025.26/1028.86 c 1029 348 347 1 -141.0000 -243.1616 72.46%
1030.55/1034.15 c 1034 353 352 1 -141.0000 -243.1616 72.46%
1042.20/1045.81 c 1046 359 358 1 -141.0000 -243.1616 72.46%
1047.69/1051.37 c 1051 360 359 1 -141.0000 -243.1616 72.46%
1060.84/1064.57 c 1065 365 364 1 -141.0000 -243.1616 72.46%
1068.91/1072.67 c 1073 367 366 1 -141.0000 -243.1616 72.46%
1090.72/1094.53 c 1095 372 371 1 -141.0000 -243.0662 72.39%
1098.09/1101.93 c 1102 373 372 1 -141.0000 -243.0662 72.39%
1109.44/1113.30 c 1113 380 379 1 -141.0000 -243.0662 72.39%
1115.92/1119.89 c 1120 386 385 1 -141.0000 -243.0662 72.39%
1121.89/1125.86 c 1126 392 391 1 -141.0000 -243.0662 72.39%
1127.08/1131.09 c 1131 394 393 1 -141.0000 -243.0662 72.39%
1133.65/1137.65 c 1138 398 397 1 -141.0000 -243.0662 72.39%
1139.22/1143.20 c 1143 399 398 1 -141.0000 -243.0662 72.39%
1145.20/1149.23 c 1149 403 402 1 -141.0000 -242.9686 72.32%
1152.77/1156.90 c 1157 425 424 1 -141.0000 -242.9686 72.32%
1163.33/1167.44 c 1167 435 434 1 -141.0000 -242.9686 72.32%
1168.41/1172.57 c 1173 460 459 1 -141.0000 -242.9686 72.32%
1174.08/1178.28 c 1178 682 485 1 -141.0000 -242.9686 72.32%
1179.16/1183.30 c 1183 686 489 1 -141.0000 -242.9686 72.32%
1195.51/1199.74 c 1200 693 496 1 -141.0000 -242.9686 72.32%
1200.58/1204.88 c 1205 854 497 1 -141.0000 -242.9686 72.32%
1206.66/1210.90 c 1211 860 503 1 -141.0000 -242.9686 72.32%
1212.63/1216.90 c 1217 925 504 1 -141.0000 -242.9507 72.31%
1218.21/1222.58 c 1223 1022 519 1 -141.0000 -242.9115 72.28%
1224.09/1228.45 c 1228 1028 525 1 -141.0000 -242.9115 72.28%
1230.68/1235.03 c 1235 1422 541 1 -141.0000 -242.8749 72.25%
1236.55/1240.93 c 1241 1429 548 1 -141.0000 -242.8749 72.25%
1250.10/1254.58 c 1255 1433 552 1 -141.0000 -242.8749 72.25%
1255.18/1259.64 c 1260 1478 557 1 -141.0000 -242.8749 72.25%
1262.36/1266.80 c 1267 1480 559 1 -141.0000 -242.8749 72.25%
1268.04/1272.56 c 1273 1603 566 1 -141.0000 -242.8749 72.25%
1278.11/1282.65 c 1283 1609 572 1 -141.0000 -242.8749 72.25%
1284.09/1288.67 c 1289 1674 579 1 -141.0000 -242.8414 72.23%
1291.66/1296.27 c 1296 1678 583 1 -141.0000 -242.8414 72.23%
1297.23/1301.84 c 1302 1862 599 1 -141.0000 -242.8414 72.23%
1306.91/1311.57 c 1312 1865 602 1 -141.0000 -242.8414 72.23%
1312.59/1317.27 c 1317 1952 613 1 -141.0000 -242.8287 72.22%
1321.47/1326.19 c 1326 1954 615 1 -141.0000 -242.8287 72.22%
1327.84/1332.53 c 1333 1964 625 1 -141.0000 -242.8287 72.22%
1334.12/1338.80 c 1339 1988 633 1 -141.0000 -242.8120 72.21%
1339.09/1343.87 c 1344 2013 640 1 -141.0000 -242.8039 72.20%
1348.07/1352.86 c 1353 2017 644 1 -141.0000 -242.8039 72.20%
1362.12/1366.90 c 1367 2024 651 1 -141.0000 -242.8039 72.20%
1367.50/1372.38 c 1372 2083 652 1 -141.0000 -242.7850 72.19%
1372.99/1377.89 c 1378 2093 662 1 -141.0000 -242.7850 72.19%
1394.41/1399.36 c 1399 2122 667 1 -141.0000 -242.7613 72.17%
1399.60/1404.53 c 1405 2128 673 1 -141.0000 -242.7613 72.17%
1407.47/1412.40 c 1412 2192 681 1 -141.0000 -242.7098 72.13%
1413.95/1418.94 c 1419 2202 691 1 -141.0000 -242.7098 72.13%
1419.92/1424.99 c 1425 2226 695 1 -141.0000 -242.7040 72.13%
1426.60/1431.68 c 1432 2227 696 1 -141.0000 -242.7040 72.13%
1432.10/1437.13 c 1437 2243 706 1 -141.0000 -242.6623 72.10%
1443.35/1448.48 c 1448 2246 709 1 -141.0000 -242.6623 72.10%
1449.94/1455.04 c 1455 2253 716 1 -141.0000 -242.6623 72.10%
1458.50/1463.64 c 1464 2492 733 1 -141.0000 -242.6404 72.09%
1464.38/1469.55 c 1470 2495 736 1 -141.0000 -242.6404 72.09%
1470.97/1476.14 c 1476 2504 745 1 -141.0000 -242.6404 72.09%
1477.03/1482.20 c 1482 2604 745 1 -141.0000 -242.6372 72.08%
1482.82/1488.07 c 1488 2614 755 1 -141.0000 -242.6372 72.08%
1495.07/1500.38 c 1500 2647 760 1 -141.0000 -242.6300 72.08%
1508.52/1513.88 c 1514 2654 767 1 -141.0000 -242.6300 72.08%
1513.61/1518.91 c 1519 2865 772 1 -141.0000 -242.6105 72.06%
1520.70/1526.10 c 1526 2866 773 1 -141.0000 -242.6105 72.06%
1526.36/1531.72 c 1532 2942 785 1 -141.0000 -242.5733 72.04%
1532.65/1538.04 c 1538 2954 797 1 -141.0000 -242.5733 72.04%
1538.53/1543.93 c 1544 3059 808 1 -141.0000 -242.5733 72.04%
1544.50/1549.99 c 1550 3203 822 1 -141.0000 -242.5706 72.04%
1550.18/1555.65 c 1556 3272 837 1 -141.0000 -242.5623 72.03%
1559.25/1564.72 c 1565 3275 840 1 -141.0000 -242.5623 72.03%
1570.02/1575.56 c 1576 3285 850 1 -141.0000 -242.5623 72.03%
1576.39/1581.99 c 1582 3315 864 1 -141.0000 -242.5450 72.02%
1581.77/1587.39 c 1587 3344 875 1 -141.0000 -242.5398 72.01%
1590.95/1596.54 c 1597 3364 879 1 -141.0000 -242.5374 72.01%
1596.82/1602.43 c 1602 3493 900 1 -141.0000 -242.5374 72.01%
1607.58/1613.20 c 1613 3746 901 1 -141.0000 -242.5258 72.00%
1620.15/1625.90 c 1626 3793 914 1 -141.0000 -242.5257 72.00%
1625.63/1631.35 c 1631 3805 926 1 -141.0000 -242.5257 72.00%
1631.11/1636.89 c 1637 3832 937 1 -141.0000 -242.4861 71.98%
1642.28/1648.08 c 1648 3904 939 1 -141.0000 -242.4861 71.98%
1655.03/1660.88 c 1661 3923 952 1 -141.0000 -242.4861 71.98%
1663.91/1669.79 c 1670 3952 967 1 -141.0000 -242.4847 71.97%
1680.55/1686.40 c 1686 3965 980 1 -141.0000 -242.4847 71.97%
1686.14/1692.09 c 1692 3984 983 1 -141.0000 -242.4805 71.97%
1691.50/1697.44 c 1697 4052 995 1 -141.0000 -242.4640 71.96%
1700.58/1706.53 c 1707 4055 998 1 -141.0000 -242.4640 71.96%
1705.56/1711.59 c 1712 4065 1008 1 -141.0000 -242.4640 71.96%
1711.73/1717.71 c 1718 4125 1016 1 -141.0000 -242.4617 71.96%
1717.91/1723.92 c 1724 4184 1037 1 -141.0000 -242.4604 71.96%
1723.29/1729.31 c 1729 4299 1048 1 -141.0000 -242.4604 71.96%
1730.46/1736.56 c 1737 4343 1048 1 -141.0000 -242.4298 71.94%
1736.14/1742.26 c 1742 4392 1065 1 -141.0000 -242.4144 71.93%
1743.22/1749.38 c 1749 4393 1066 1 -141.0000 -242.4144 71.93%
1748.60/1754.72 c 1755 4401 1074 1 -141.0000 -242.4144 71.93%
1761.06/1767.26 c 1767 4424 1079 1 -141.0000 -242.4090 71.92%
1766.85/1773.01 c 1773 4435 1090 1 -141.0000 -242.4090 71.92%
1772.52/1778.79 c 1779 4460 1101 1 -141.0000 -242.4058 71.92%
1777.69/1784.01 c 1784 4534 1107 1 -141.0000 -242.3775 71.90%
1783.47/1789.77 c 1790 4545 1118 1 -141.0000 -242.3775 71.90%
1788.86/1795.13 c 1795 4594 1133 1 -141.0000 -242.3626 71.89%
1799.51/1805.84 c 1806 4595 1134 1 -141.0000 -242.3626 71.89%
1804.99/1811.31 c 1811 4603 1136 1 -141.0000 -242.3393 71.87%
1810.87/1817.23 c 1817 4615 1148 1 -141.0000 -242.3393 71.87%
1817.84/1824.29 c 1824 4635 1160 1 -141.0000 -242.3286 71.86%
1827.41/1833.81 c 1834 4773 1160 1 -141.0000 -242.3286 71.86%
1832.89/1839.37 c 1839 4783 1170 1 -141.0000 -242.3286 71.86%
1838.97/1845.45 c 1845 4822 1171 1 -141.0000 -242.3165 71.86%
1845.15/1851.63 c 1852 4835 1184 1 -141.0000 -242.3165 71.86%
1852.92/1859.40 c 1859 4952 1181 1 -141.0000 -242.3066 71.85%
1859.89/1866.42 c 1866 4965 1194 1 -141.0000 -242.3066 71.85%
1865.77/1872.38 c 1872 4995 1210 1 -141.0000 -242.3054 71.85%
1873.24/1879.89 c 1880 5035 1224 1 -141.0000 -242.3009 71.84%
1883.01/1889.65 c 1890 5047 1226 1 -141.0000 -242.3009 71.84%
1888.59/1895.23 c 1895 5154 1237 1 -141.0000 -242.2960 71.84%
1893.89/1900.59 c 1901 5157 1240 1 -141.0000 -242.2960 71.84%
1900.16/1906.85 c 1907 5267 1256 1 -141.0000 -242.2612 71.82%
1906.14/1912.85 c 1913 5342 1261 1 -141.0000 -242.2610 71.82%
1921.40/1928.15 c 1928 5355 1274 1 -141.0000 -242.2610 71.82%
1928.17/1934.99 c 1935 5362 1269 1 -141.0000 -242.2569 71.81%
1933.26/1940.04 c 1940 5375 1282 1 -141.0000 -242.2569 71.81%
1938.63/1945.43 c 1945 5403 1286 1 -141.0000 -242.2569 71.81%
1943.90/1950.70 c 1951 5448 1287 1 -141.0000 -242.2569 71.81%
1950.20/1957.05 c 1957 5477 1294 1 -141.0000 -242.2512 71.81%
1955.97/1962.86 c 1963 5523 1304 1 -141.0000 -242.2494 71.81%
1961.74/1968.63 c 1969 5622 1307 1 -141.0000 -242.2479 71.81%
1967.82/1974.70 c 1975 5635 1320 1 -141.0000 -242.2479 71.81%
1974.11/1981.11 c 1981 5665 1334 1 -141.0000 -242.2368 71.80%
1979.19/1986.17 c 1986 5711 1342 1 -141.0000 -242.2260 71.79%
1984.56/1991.59 c 1992 5777 1354 1 -141.0000 -242.2254 71.79%
1996.92/2003.96 c 2004 5805 1364 1 -141.0000 -242.2254 71.79%
2014.17/2021.24 c 2021 5854 1377 1 -141.0000 -242.2103 71.78%
2020.44/2027.54 c 2028 5874 1389 1 -141.0000 -242.2051 71.78%
2026.32/2033.40 c 2033 6032 1405 1 -141.0000 -242.1987 71.77%
2034.50/2041.63 c 2042 6033 1406 1 -141.0000 -242.1987 71.77%
2039.58/2046.71 c 2047 6043 1416 1 -141.0000 -242.1987 71.77%
2045.16/2052.36 c 2052 6113 1420 1 -141.0000 -242.1885 71.76%
2050.34/2057.58 c 2058 6152 1429 1 -141.0000 -242.1755 71.76%
2058.02/2065.27 c 2065 6156 1433 1 -141.0000 -242.1755 71.76%
2073.66/2080.97 c 2081 6165 1442 1 -141.0000 -242.1755 71.76%
2080.64/2087.97 c 2088 6195 1458 1 -141.0000 -242.1748 71.76%
2086.32/2093.60 c 2094 6281 1468 1 -141.0000 -242.1737 71.75%
2092.40/2099.76 c 2100 6326 1479 1 -141.0000 -242.1625 71.75%
2098.37/2105.76 c 2106 6355 1494 1 -141.0000 -242.1453 71.73%
2104.55/2111.98 c 2112 6394 1503 1 -141.0000 -242.1421 71.73%
2110.53/2117.90 c 2118 6413 1514 1 -141.0000 -242.1419 71.73%
2116.21/2123.61 c 2124 6425 1526 1 -141.0000 -242.1419 71.73%
2121.19/2128.63 c 2129 6511 1540 1 -141.0000 -242.1377 71.73%
2126.58/2134.07 c 2134 6834 1551 1 -141.0000 -242.1333 71.73%
2131.86/2139.31 c 2139 6835 1552 1 -141.0000 -242.1333 71.73%
2137.34/2144.81 c 2145 6893 1562 1 -141.0000 -242.1312 71.72%
2142.52/2150.04 c 2150 7012 1579 1 -141.0000 -242.1312 71.72%
2149.60/2157.19 c 2157 7035 1594 1 -141.0000 -242.1310 71.72%
2157.36/2164.95 c 2165 7056 1595 1 -141.0000 -242.1293 71.72%
2165.44/2173.09 c 2173 7132 1611 1 -141.0000 -242.1269 71.72%
2170.53/2178.19 c 2178 7145 1624 1 -141.0000 -242.1269 71.72%
2177.30/2184.93 c 2185 7165 1636 1 -141.0000 -242.1248 71.72%
2183.17/2190.81 c 2191 7260 1643 1 -141.0000 -242.1203 71.72%
2188.85/2196.59 c 2197 7343 1656 1 -141.0000 -242.0866 71.69%
2194.24/2201.92 c 2202 7452 1677 1 -141.0000 -242.0837 71.69%
2202.42/2210.15 c 2210 7454 1679 1 -141.0000 -242.0837 71.69%
2207.41/2215.19 c 2215 7582 1691 1 -141.0000 -242.0837 71.69%
2212.47/2220.22 c 2220 7639 1690 1 -141.0000 -242.0832 71.69%
2223.44/2231.21 c 2231 7645 1696 1 -141.0000 -242.0832 71.69%
2228.52/2236.39 c 2236 7813 1716 1 -141.0000 -242.0746 71.68%
2234.50/2242.38 c 2242 7926 1725 1 -141.0000 -242.0721 71.68%
2240.48/2248.37 c 2248 8067 1748 1 -141.0000 -242.0682 71.68%
2245.86/2253.78 c 2254 8155 1764 1 -141.0000 -242.0622 71.68%
2256.92/2264.80 c 2265 8372 1781 1 -141.0000 -242.0618 71.68%
2262.00/2269.99 c 2270 8392 1795 1 -141.0000 -242.0587 71.67%
2267.58/2275.58 c 2276 8405 1808 1 -141.0000 -242.0587 71.67%
2276.95/2285.01 c 2285 8463 1810 1 -141.0000 -242.0587 71.67%
2282.74/2290.71 c 2291 8593 1832 1 -141.0000 -242.0587 71.67%
2289.51/2297.50 c 2298 8603 1830 1 -141.0000 -242.0491 71.67%
2295.29/2303.30 c 2303 8682 1839 1 -141.0000 -242.0489 71.67%
2300.87/2308.91 c 2309 8695 1852 1 -141.0000 -242.0489 71.67%
2307.24/2315.37 c 2315 8785 1872 1 -141.0000 -242.0474 71.66%
2314.41/2322.52 c 2323 8825 1884 1 -141.0000 -242.0463 71.66%
2323.29/2331.41 c 2331 8935 1890 1 -141.0000 -242.0434 71.66%
2328.76/2336.97 c 2337 9044 1905 1 -141.0000 -242.0402 71.66%
2334.65/2342.87 c 2343 9142 1919 1 -141.0000 -242.0374 71.66%
2339.72/2347.98 c 2348 9155 1932 1 -141.0000 -242.0374 71.66%
2344.91/2353.18 c 2353 9181 1938 1 -141.0000 -242.0350 71.66%
2353.67/2361.92 c 2362 9193 1938 1 -141.0000 -242.0299 71.65%
2367.92/2376.20 c 2376 9205 1950 1 -141.0000 -242.0299 71.65%
2373.71/2382.05 c 2382 9253 1964 1 -141.0000 -242.0262 71.65%
2379.69/2388.07 c 2388 9271 1974 1 -141.0000 -242.0098 71.64%
2385.35/2393.72 c 2394 9342 1993 1 -141.0000 -242.0026 71.63%
2390.74/2399.16 c 2399 9436 1999 1 -141.0000 -241.9979 71.63%
2397.21/2405.69 c 2406 9452 2009 1 -141.0000 -241.9958 71.63%
2402.79/2411.29 c 2411 9465 2022 1 -141.0000 -241.9958 71.63%
2409.47/2417.94 c 2418 9605 2030 1 -141.0000 -241.9895 71.62%
2414.85/2423.36 c 2423 9663 2040 1 -141.0000 -241.9857 71.62%
2420.42/2429.01 c 2429 9747 2050 1 -141.0000 -241.9816 71.62%
2425.81/2434.32 c 2434 9794 2065 1 -141.0000 -241.9792 71.62%
2431.60/2440.12 c 2440 9833 2082 1 -141.0000 -241.9632 71.61%
2436.67/2445.20 c 2445 9845 2094 1 -141.0000 -241.9632 71.61%
2442.65/2451.26 c 2451 9875 2102 1 -141.0000 -241.9602 71.60%
2448.13/2456.76 c 2457 9991 2120 1 -141.0000 -241.9570 71.60%
2457.10/2465.75 c 2466 10054 2137 1 -141.0000 -241.9547 71.60%
2462.77/2471.48 c 2471 10114 2153 1 -141.0000 -241.9538 71.60%
2469.36/2478.03 c 2478 10154 2165 1 -141.0000 -241.9528 71.60%
2474.63/2483.35 c 2483 10173 2178 1 -141.0000 -241.9506 71.60%
2489.48/2498.20 c 2498 10185 2190 1 -141.0000 -241.9506 71.60%
2495.56/2504.30 c 2504 10205 2200 1 -141.0000 -241.9441 71.59%
2504.43/2513.22 c 2513 10502 2205 1 -141.0000 -241.9392 71.59%
2510.22/2519.09 c 2519 10515 2218 1 -141.0000 -241.9392 71.59%
2520.19/2529.07 c 2529 10545 2232 1 -141.0000 -241.9266 71.58%
2525.17/2534.08 c 2534 10632 2253 1 -141.0000 -241.9200 71.57%
2532.33/2541.25 c 2541 10655 2270 1 -141.0000 -241.9156 71.57%
2538.30/2547.24 c 2547 10685 2282 1 -141.0000 -241.9121 71.57%
2543.39/2552.33 c 2552 10842 2279 1 -141.0000 -241.9101 71.57%
2548.37/2557.34 c 2557 10917 2280 1 -141.0000 -241.8906 71.55%
2554.25/2563.26 c 2563 10954 2293 1 -141.0000 -241.8879 71.55%
2559.93/2568.90 c 2569 11033 2298 1 -141.0000 -241.8848 71.55%
2565.31/2574.37 c 2574 11092 2313 1 -141.0000 -241.8845 71.55%
2570.59/2579.67 c 2580 11105 2326 1 -141.0000 -241.8845 71.55%
2575.58/2584.69 c 2585 11164 2339 1 -141.0000 -241.8802 71.55%
2581.07/2590.12 c 2590 11196 2347 1 -141.0000 -241.8799 71.55%
2586.44/2595.50 c 2596 11354 2343 1 -141.0000 -241.8769 71.54%
2600.19/2609.35 c 2609 11365 2354 1 -141.0000 -241.8769 71.54%
2606.17/2615.37 c 2615 11484 2361 1 -141.0000 -241.8747 71.54%
2611.96/2621.15 c 2621 11592 2381 1 -141.0000 -241.8739 71.54%
2621.62/2630.85 c 2631 11604 2393 1 -141.0000 -241.8739 71.54%
2627.20/2636.46 c 2636 11646 2401 1 -141.0000 -241.8706 71.54%
2637.26/2646.56 c 2647 11664 2411 1 -141.0000 -241.8617 71.53%
2643.24/2652.59 c 2653 11872 2425 1 -141.0000 -241.8553 71.53%
2648.53/2657.89 c 2658 11885 2438 1 -141.0000 -241.8553 71.53%
2655.20/2664.56 c 2665 11903 2442 1 -141.0000 -241.8530 71.53%
2660.39/2669.77 c 2670 12026 2459 1 -141.0000 -241.8530 71.53%
2665.78/2675.15 c 2675 12073 2474 1 -141.0000 -241.8516 71.53%
2671.45/2680.84 c 2681 12161 2486 1 -141.0000 -241.8484 71.52%
2676.93/2686.34 c 2686 12208 2501 1 -141.0000 -241.8468 71.52%
2682.31/2691.73 c 2692 12225 2512 1 -141.0000 -241.8241 71.51%
2688.00/2697.45 c 2697 12304 2527 1 -141.0000 -241.8225 71.51%
2693.28/2702.72 c 2703 12452 2549 1 -141.0000 -241.8150 71.50%
2698.36/2707.88 c 2708 12465 2562 1 -141.0000 -241.8150 71.50%
2704.65/2714.13 c 2714 12515 2576 1 -141.0000 -241.8129 71.50%
2711.12/2720.65 c 2721 12565 2594 1 -141.0000 -241.8126 71.50%
2726.36/2735.92 c 2736 12585 2606 1 -141.0000 -241.8116 71.50%
2732.74/2742.38 c 2742 12685 2612 1 -141.0000 -241.8114 71.50%
2738.54/2748.20 c 2748 12725 2624 1 -141.0000 -241.8063 71.49%
2745.51/2755.12 c 2755 12825 2634 1 -141.0000 -241.8053 71.49%
2751.18/2760.88 c 2761 12865 2644 1 -141.0000 -241.8034 71.49%
2757.37/2767.08 c 2767 12965 2660 1 -141.0000 -241.8014 71.49%
2763.24/2772.97 c 2773 12985 2672 1 -141.0000 -241.8007 71.49%
2772.70/2782.41 c 2782 13047 2684 1 -141.0000 -241.7997 71.49%
2777.79/2787.58 c 2788 13065 2694 1 -141.0000 -241.7938 71.48%
2783.66/2793.48 c 2793 13073 2702 1 -141.0000 -241.7938 71.48%
2794.93/2804.73 c 2805 13293 2714 1 -141.0000 -241.7909 71.48%
2800.01/2809.86 c 2810 13305 2726 1 -141.0000 -241.7909 71.48%
2806.09/2815.93 c 2816 13324 2739 1 -141.0000 -241.7886 71.48%
2812.86/2822.79 c 2823 13382 2743 1 -141.0000 -241.7776 71.47%
2819.34/2829.25 c 2829 13395 2756 1 -141.0000 -241.7776 71.47%
2825.72/2835.63 c 2836 13475 2770 1 -141.0000 -241.7758 71.47%
2834.50/2844.41 c 2844 13505 2770 1 -141.0000 -241.7758 71.47%
2839.97/2850.00 c 2850 13564 2781 1 -141.0000 -241.7661 71.47%
2847.55/2857.56 c 2858 13565 2782 1 -141.0000 -241.7661 71.47%
2853.54/2863.56 c 2864 13597 2796 1 -141.0000 -241.7658 71.47%
2859.52/2869.54 c 2870 13637 2808 1 -141.0000 -241.7593 71.46%
2864.79/2874.81 c 2875 13664 2817 1 -141.0000 -241.7592 71.46%
2878.84/2888.93 c 2889 13675 2828 1 -141.0000 -241.7592 71.46%
2888.31/2898.49 c 2898 13772 2839 1 -141.0000 -241.7576 71.46%
2899.88/2910.01 c 2910 13816 2843 1 -141.0000 -241.7576 71.46%
2905.35/2915.53 c 2916 13915 2860 1 -141.0000 -241.7522 71.46%
2910.53/2920.73 c 2921 13916 2861 1 -141.0000 -241.7522 71.46%
2916.82/2927.05 c 2927 13934 2873 1 -141.0000 -241.7489 71.45%
2923.39/2933.63 c 2934 13993 2890 1 -141.0000 -241.7476 71.45%
2929.97/2940.20 c 2940 14024 2903 1 -141.0000 -241.7408 71.45%
2935.35/2945.68 c 2946 14074 2915 1 -141.0000 -241.7407 71.45%
2941.43/2951.79 c 2952 14134 2929 1 -141.0000 -241.7401 71.45%
2948.50/2958.87 c 2959 14139 2934 1 -141.0000 -241.7401 71.45%
2954.48/2964.82 c 2965 14233 2946 1 -141.0000 -241.7389 71.45%
2960.86/2971.27 c 2971 14264 2959 1 -141.0000 -241.7360 71.44%
2966.54/2976.99 c 2977 14324 2977 1 -141.0000 -241.7330 71.44%
2973.02/2983.49 c 2983 14326 2979 1 -141.0000 -241.7330 71.44%
2978.80/2989.21 c 2989 14368 2995 1 -141.0000 -241.7323 71.44%
2984.60/2995.08 c 2995 14412 3013 1 -141.0000 -241.7305 71.44%
2989.97/3000.45 c 3000 14470 3029 1 -141.0000 -241.7305 71.44%
2999.84/3010.36 c 3010 14475 3034 1 -141.0000 -241.7305 71.44%
3005.71/3016.28 c 3016 14769 3052 1 -141.0000 -241.7305 71.44%
3011.09/3021.60 c 3022 14847 3070 1 -141.0000 -241.7266 71.44%
3016.37/3026.98 c 3027 14877 3084 1 -141.0000 -241.7246 71.44%
3022.25/3032.85 c 3033 14917 3098 1 -141.0000 -241.7211 71.43%
3027.64/3038.22 c 3038 14964 3103 1 -141.0000 -241.7206 71.43%
3033.22/3043.89 c 3044 15084 3119 1 -141.0000 -241.7148 71.43%
3040.79/3051.41 c 3051 15232 3135 1 -141.0000 -241.7094 71.43%
3046.39/3057.10 c 3057 15245 3148 1 -141.0000 -241.7094 71.43%
3051.56/3062.29 c 3062 15332 3167 1 -141.0000 -241.7074 71.42%
3062.92/3073.66 c 3074 15356 3173 1 -141.0000 -241.7014 71.42%
3068.31/3079.10 c 3079 15394 3185 1 -141.0000 -241.7008 71.42%
3073.40/3084.16 c 3084 15396 3187 1 -141.0000 -241.7008 71.42%
3078.96/3089.74 c 3090 15457 3204 1 -141.0000 -241.6945 71.41%
3085.54/3096.35 c 3096 15664 3221 1 -141.0000 -241.6941 71.41%
3091.52/3102.38 c 3102 15724 3229 1 -141.0000 -241.6893 71.41%
3096.60/3107.41 c 3107 15772 3243 1 -141.0000 -241.6884 71.41%
3103.19/3114.03 c 3114 15773 3244 1 -141.0000 -241.6884 71.41%
3108.87/3119.72 c 3120 15852 3259 1 -141.0000 -241.6881 71.41%
3122.62/3133.59 c 3134 15865 3272 1 -141.0000 -241.6881 71.41%
3132.98/3143.98 c 3144 15958 3287 1 -141.0000 -241.6872 71.41%
3139.17/3150.13 c 3150 16048 3301 1 -141.0000 -241.6844 71.41%
3149.23/3160.28 c 3160 16154 3323 1 -141.0000 -241.6842 71.41%
3154.31/3165.30 c 3165 16252 3331 1 -141.0000 -241.6787 71.40%
3159.59/3170.65 c 3171 16265 3344 1 -141.0000 -241.6787 71.40%
3165.68/3176.73 c 3177 16305 3358 1 -141.0000 -241.6774 71.40%
3172.15/3183.29 c 3183 16375 3372 1 -141.0000 -241.6765 71.40%
3178.04/3189.17 c 3189 16405 3390 1 -141.0000 -241.6754 71.40%
3186.80/3197.98 c 3198 16495 3394 1 -141.0000 -241.6749 71.40%
3192.78/3203.93 c 3204 16594 3403 1 -141.0000 -241.6740 71.40%
3199.87/3211.04 c 3211 16595 3404 1 -141.0000 -241.6740 71.40%
3205.14/3216.38 c 3216 16830 3417 1 -141.0000 -241.6740 71.40%
3213.21/3224.45 c 3224 16905 3416 1 -141.0000 -241.6726 71.40%
3219.49/3230.70 c 3231 16964 3431 1 -141.0000 -241.6677 71.40%
3224.67/3236.01 c 3236 17078 3455 1 -141.0000 -241.6677 71.40%
3230.14/3241.45 c 3241 17115 3470 1 -141.0000 -241.6670 71.40%
3236.61/3247.92 c 3248 17145 3488 1 -141.0000 -241.6661 71.39%
3251.16/3262.57 c 3263 17175 3498 1 -141.0000 -241.6658 71.39%
3256.65/3268.03 c 3268 17255 3510 1 -141.0000 -241.6630 71.39%
3262.63/3274.05 c 3274 17287 3524 1 -141.0000 -241.6612 71.39%
3270.09/3281.58 c 3282 17434 3533 1 -141.0000 -241.6612 71.39%
3275.47/3286.92 c 3287 17514 3547 1 -141.0000 -241.6588 71.39%
3280.95/3292.41 c 3292 17525 3558 1 -141.0000 -241.6588 71.39%
3287.14/3298.66 c 3299 17565 3572 1 -141.0000 -241.6572 71.39%
3292.42/3303.95 c 3304 17700 3573 1 -141.0000 -241.6523 71.38%
3303.08/3314.65 c 3315 17755 3586 1 -141.0000 -241.6500 71.38%
3308.27/3319.87 c 3320 17852 3597 1 -141.0000 -241.6477 71.38%
3323.01/3334.66 c 3335 17865 3610 1 -141.0000 -241.6477 71.38%
3332.28/3343.93 c 3344 17901 3620 1 -141.0000 -241.6426 71.38%
3338.16/3349.88 c 3350 17966 3629 1 -141.0000 -241.6418 71.38%
3343.94/3355.61 c 3356 18054 3643 1 -141.0000 -241.6418 71.38%
3349.23/3360.92 c 3361 18102 3659 1 -141.0000 -241.6394 71.38%
3354.42/3366.16 c 3366 18115 3672 1 -141.0000 -241.6394 71.38%
3359.89/3371.64 c 3372 18165 3688 1 -141.0000 -241.6384 71.37%
3370.15/3382.01 c 3382 18475 3690 1 -141.0000 -241.6383 71.37%
3376.24/3388.10 c 3388 18593 3706 1 -141.0000 -241.6350 71.37%
3381.61/3393.42 c 3393 18632 3721 1 -141.0000 -241.6335 71.37%
3386.69/3398.55 c 3399 18652 3733 1 -141.0000 -241.6324 71.37%
3395.06/3406.91 c 3407 18654 3735 1 -141.0000 -241.6324 71.37%
3401.25/3413.18 c 3413 18694 3751 1 -141.0000 -241.6311 71.37%
3406.42/3418.35 c 3418 18722 3759 1 -141.0000 -241.6306 71.37%
3412.40/3424.39 c 3424 18724 3761 1 -141.0000 -241.6306 71.37%
3420.77/3432.72 c 3433 18783 3776 1 -141.0000 -241.6300 71.37%
3425.95/3438.01 c 3438 18842 3793 1 -141.0000 -241.6271 71.37%
3431.72/3443.73 c 3444 18883 3806 1 -141.0000 -241.6254 71.37%
3436.90/3448.99 c 3449 18895 3818 1 -141.0000 -241.6254 71.37%
3446.27/3458.37 c 3458 18946 3823 1 -141.0000 -241.6218 71.36%
3451.45/3463.53 c 3464 19014 3837 1 -141.0000 -241.6197 71.36%
3456.43/3468.54 c 3469 19034 3849 1 -141.0000 -241.6176 71.36%
3469.08/3481.21 c 3481 19045 3860 1 -141.0000 -241.6176 71.36%
3475.35/3487.53 c 3488 19115 3882 1 -141.0000 -241.6042 71.35%
3480.73/3492.98 c 3493 19155 3892 1 -141.0000 -241.6002 71.35%
3487.40/3499.66 c 3500 19215 3906 1 -141.0000 -241.5993 71.35%
3497.87/3510.11 c 3510 19324 3913 1 -141.0000 -241.5963 71.34%
3503.24/3515.57 c 3516 19352 3925 1 -141.0000 -241.5939 71.34%
3508.62/3520.93 c 3521 19392 3943 1 -141.0000 -241.5922 71.34%
3514.39/3526.72 c 3527 19517 3958 1 -141.0000 -241.5922 71.34%
3519.68/3532.04 c 3532 19806 3977 1 -141.0000 -241.5908 71.34%
3525.05/3537.45 c 3537 20033 3988 1 -141.0000 -241.5908 71.34%
3532.52/3544.97 c 3545 20057 3996 1 -141.0000 -241.5891 71.34%
3537.71/3550.13 c 3550 20113 4006 1 -141.0000 -241.5888 71.34%
3543.47/3556.01 c 3556 20342 4031 1 -141.0000 -241.5888 71.34%
3558.53/3571.08 c 3571 20395 4046 1 -141.0000 -241.5884 71.34%
3564.40/3577.01 c 3577 20453 4060 1 -141.0000 -241.5880 71.34%
3570.37/3582.93 c 3583 20534 4067 1 -141.0000 -241.5869 71.34%
3575.46/3588.07 c 3588 20558 4075 1 -141.0000 -241.5853 71.34%
3580.94/3593.59 c 3594 20684 4087 1 -141.0000 -241.5812 71.33%
3585.62/3598.27 c SCIP Status : c solving was interrupted [hard time limit reached]
3585.62/3598.27 c Total Time : 3598.27
3585.62/3598.27 c solving : 3598.27
3585.62/3598.27 c presolving : 0.21 (included in solving)
3585.62/3598.27 c B&B Tree :
3585.62/3598.27 c nodes (total) : 1
3585.62/3598.27 c Solution :
3585.62/3598.27 c Solutions found : 7
3585.62/3598.27 c Primal Bound : -1.41000000000000e+02
3585.62/3598.27 c Dual Bound : -2.41581193649138e+02
3585.62/3598.27 c Gap : 71.33418 %
3585.62/3598.27 c * Warning: final gap: 7.13342e-01 is greater than SCIPepsilon: 1.00000e-09
3585.62/3598.27 o -141
3585.62/3598.27 s SATISFIABLE
3585.62/3598.27 v -x924 -x695 -x907 -x875 -x752 -x713 x910 -x845 -x665 x855 -x801 -x838 x663 -x688 x824 -x610 x911 -x637 -x586 -x958 x943 x705 -x936
3585.62/3598.27 v -x593 -x986 -x996 x906 -x654 -x697 -x763 -x878 x987 -x657 x577 -x983 x883 -x769 x956 x990 -x977 -x753 x742 x721 -x681 -x655
3585.62/3598.27 v -x951 -x912 -x745 -x672 -x978 x719 -x826 -x616 x792 -x848 -x575 x939 -x758 -x984 -x784 x718 -x766 -x850 x761 x633 x564 -x621
3585.62/3598.27 v -x642 -x775 x970 -x808 -x980 -x715 -x791 x768 -x947 x963 -x902 -x831 x813 -x558 -x604 -x594 x762 x892 x790 x972 -x901 -x786
3585.62/3598.27 v -x550 -x693 -x840 x779 x667 -x648 -x686 -x833 -x961 -x950 x976 -x573 x798 -x817 -x788 x649 -x634 -x609 -x584 -x834 -x804 -x959
3585.62/3598.27 v -x909 x749 -x704 -x658 -x581 -x846 -x760 x827 x962 x615 -x885 -x643 -x861 -x748 -x995 x579 -x542 -x899 x641 -x536 x617 -x723
3585.62/3598.27 v x886 -x973 -x793 x949 x732 x687 -x921 -x659 -x651 -x628 -x534 -x964 -x881 x545 x706 -x940 -x600 -x820 x533 -x756 -x714 x843
3585.62/3598.27 v x711 -x660 x913 x888 -x919 -x680 x994 -x889 -x795 -x735 -x582 -x946 -x608 x877 x985 -x770 -x701 -x630 -x555 -x967 -x596 x960
3585.62/3598.27 v -x948 -x669 -x646 -x603 -x700 x664 -x661 -x895 x934 x931 -x979 -x932 -x867 -x547 -x882 -x632 -x974 -x572 -x551 -x897 x683
3585.62/3598.27 v -x563 -x925 x759 -x750 -x717 -x703 x599 -x562 -x627 x821 -x525 -x635 -x554 -x537 x606 -x811 x812 -x923 -x569 -x844 -x890 -x741
3585.62/3598.27 v -x702 -x666 -x553 -x800 -x829 -x623 -x612 -x849 -x856 -x698 x853 -x734 -x526 -x670 -x955 x591 -x645 -x522 x954 x597 -x567 -x565
3585.62/3598.27 v -x773 -x1000 -x991 -x971 -x918 -x521 -x731 x707 x870 -x689 x629 -x539 -x640 -x944 x905 -x644 -x929 x819 x519 -x839 x726
3585.62/3598.27 v x685 x580 -x576 -x530 -x859 -x622 x908 x776 -x518 -x743 -x725 -x605 -x574 -x552 -x860 -x728 -x992 x674 -x988 -x915 -x535 -x694
3585.62/3598.27 v -x851 -x842 x729 -x765 -x516 -x682 -x638 -x989 -x880 -x556 -x952 -x746 -x619 x797 -x876 -x810 -x767 -x739 -x696 -x678 x841
3585.62/3598.27 v -x709 -x830 -x733 -x514 -x662 -x656 -x872 -x529 -x966 -x854 -x969 -x823 -x736 -x557 -x857 -x928 x772 -x618 -x744 -x708 -x639
3585.62/3598.27 v x613 -x520 -x941 -x620 -x945 -x690 x866 -x942 -x787 -x511 -x965 -x722 -x631 -x781 -x653 x818 -x903 -x598 -x602 -x968 x510 x873
3585.62/3598.27 v -x532 x571 x796 x587 x727 -x513 -x740 -x509 x982 -x862 x799 x774 -x747 -x684 -x601 x677 -x561 x933 -x900 x755 -x652 -x904 -x789
3585.62/3598.27 v -x508 x975 x879 x802 -x771 -x524 -x679 -x777 x809 -x588 -x751 x865 x935 -x868 -x815 -x891 -x832 x822 x647 x614 -x611 -x595
3585.62/3598.27 v -x589 -x546 -x583 x625 -x858 -x814 -x847 -x837 x506 x780 x738 -x507 x828 x585 -x926 x806 -x782 -x997 x671 -x505 -x896 x893
3585.62/3598.27 v -x720 -x549 -x540 -x981 -x592 -x527 -x914 -x871 -x816 -x825 -x699 -x538 -x785 -x504 -x937 x917 x864 -x710 -x676 -x675 -x578
3585.62/3598.27 v -x515 -x920 x874 x730 x543 x512 -x957 x894 x668 x570 -x503 x998 -x953 -x898 -x835 -x757 -x754 -x626 x566 -x559 -x523 -x803 x636
3585.62/3598.27 v -x624 x531 -x783 x930 x568 -x502 -x999 -x805 -x869 -x712 -x737 -x673 -x541 -x927 -x764 x560 -x691 -x528 -x501 x938 -x852 -x807
3585.62/3598.27 v -x724 -x716 -x692 -x607 x590 -x548 -x544 -x517 x863 -x922 -x650 -x993 -x836 -x794 x916 -x778 x887 x884 x500 x499 -x498 -x497
3585.62/3598.27 v x496 -x495 -x494 x493 x492 -x491 -x490 x489 x488 -x487 x486 -x485 -x484 x483 -x482 x481 -x480 x479 x478 -x477 -x476 -x475
3585.62/3598.27 v -x474 x473 -x472 -x471 -x470 x469 x468 x467 x466 -x465 x464 -x463 -x462 x461 -x460 -x459 x458 -x457 -x456 x455 -x454 x453 x452
3585.62/3598.27 v x451 -x450 -x449 x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 x440 -x439 -x438 -x437 x436 -x435 -x434 -x433 -x432 -x431
3585.62/3598.27 v -x430 -x429 x428 -x427 x426 -x425 x424 -x423 x422 x421 x420 -x419 -x418 -x417 -x416 x415 x414 -x413 x412 -x411 -x410 -x409 -x408
3585.62/3598.27 v -x407 -x406 -x405 x404 -x403 x402 x401 x400 x399 -x398 -x397 x396 x395 -x394 -x393 -x392 -x391 x390 x389 -x388 -x387 -x386
3585.62/3598.27 v -x385 -x384 -x383 x382 -x381 x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 x369 x368 -x367 -x366 -x365 -x364
3585.62/3598.27 v -x363 x362 -x361 -x360 -x359 x358 -x357 x356 -x355 -x354 -x353 -x352 x351 x350 x349 -x348 x347 -x346 -x345 x344 -x343 -x342
3585.62/3598.27 v -x341 -x340 -x339 x338 -x337 -x336 x335 x334 x333 x332 x331 x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 x320
3585.62/3598.27 v -x319 -x318 -x317 x316 x315 x314 -x313 -x312 x311 x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 x300 -x299 -x298
3585.71/3598.30 v -x297 -x296 -x295 x294 x293 -x292 -x291 -x290 -x289 -x288 -x287 x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 x278 x277 -x276
3585.71/3598.30 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255
3585.71/3598.30 v -x254 -x253 -x252 -x251 x250 -x249 -x248 -x247 x246 x245 x244 x243 -x242 x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 x233 -x232
3585.71/3598.30 v -x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211
3585.71/3598.30 v -x210 x209 -x208 -x207 -x206 -x205 -x204 x203 x202 -x201 -x200 -x199 x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 x189
3585.71/3598.30 v -x188 -x187 -x186 -x185 -x184 -x183 x182 -x181 -x180 x179 -x178 -x177 x176 x175 -x174 x173 x172 -x171 -x170 x169 -x168 -x167
3585.71/3598.30 v -x166 x165 -x164 -x163 x162 -x161 x160 -x159 x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145
3585.71/3598.30 v -x144 x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 x131 -x130 -x129 x128 -x127 -x126 -x125 -x124
3585.71/3598.30 v -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 x112 -x111 -x110 -x109 -x108 x107 -x106 -x105 x104 -x103 x102
3585.71/3598.30 v -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 x81 -x80 -x79 x78 -x77
3585.71/3598.30 v -x76 x75 -x74 x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51
3585.71/3598.30 v -x50 x49 -x48 x47 x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25
3585.71/3598.30 v x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3 x2 -x1
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: 64059 MiB (62030 MiB free)
memory of node 1: 64510 MiB (59534 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464777-1722382194/watcher-4464777-1722382194 -o /tmp/evaluation-result-4464777-1722382194/solver-4464777-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722378594-28870 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464777-1722382194.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=31105, runsolver pid=31102
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.99 4.55 4.27 6/241 31110
/proc/meminfo: memFree=124455028/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=50324 memory=39600 CPUtime=0.1 cores=0,2
/proc/31105/stat : 31105 (fscip) R 31102 31105 28860 0 -1 4194304 7516 0 0 0 9 1 0 0 20 0 1 0 4816372 51531776 9900 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 12581 9900 2614 3035 0 8977 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50324 KiB
Current children cumulated memory: 39600 KiB
[startup+0.213194 s]*
/proc/loadavg: 4.99 4.55 4.27 4/241 31120
/proc/meminfo: memFree=124449328/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=56300 memory=45200 CPUtime=0.21 cores=0,2
/proc/31105/stat : 31105 (fscip) R 31102 31105 28860 0 -1 4194304 8919 0 0 0 19 2 0 0 20 0 1 0 4816372 57651200 11300 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 14075 11300 2646 3035 0 10471 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56300 KiB
Current children cumulated memory: 45200 KiB
[startup+0.313204 s]*
/proc/loadavg: 4.99 4.55 4.27 5/240 31132
/proc/meminfo: memFree=124443972/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=73624 memory=52640 CPUtime=0.31 cores=0,2
/proc/31105/stat : 31105 (fscip) R 31102 31105 28860 0 -1 4194304 10894 0 0 0 29 2 0 0 20 0 2 0 4816372 75390976 13160 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 18406 13160 2710 3035 0 14801 0
[pid=31105/tid=31133] ppid=31102 vsize=73624 memory=-6000919498560465772 CPUtime=0 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 4816403 75390976 13160 134679101440 4194304 16623229 140723176372112 0 0 0 2147221247 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 73624 KiB
Current children cumulated memory: 52640 KiB
[startup+0.700338 s]
/proc/loadavg: 4.99 4.55 4.27 5/240 31144
/proc/meminfo: memFree=124424184/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=151580 memory=75728 CPUtime=0.67 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 16802 0 0 0 63 4 0 0 20 0 3 0 4816372 155217920 18932 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 37895 18932 2950 3035 0 22243 0
[pid=31105/tid=31133] ppid=31102 vsize=151580 memory=2448 CPUtime=0.34 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 5905 0 0 0 33 1 0 0 20 0 3 0 4816403 155217920 18932 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=151580 memory=11488 CPUtime=0 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4816406 155217920 18932 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 151580 KiB
Current children cumulated memory: 75728 KiB
[startup+1.50032 s]
/proc/loadavg: 4.99 4.55 4.27 5/246 31156
/proc/meminfo: memFree=124335776/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=158748 memory=83868 CPUtime=1.46 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 24441 0 0 0 141 5 0 0 20 0 3 0 4816372 162557952 20967 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 39687 20967 2998 3035 0 24853 0
[pid=31105/tid=31133] ppid=31102 vsize=158748 memory=11488 CPUtime=1.14 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 13292 0 0 0 112 2 0 0 20 0 3 0 4816403 162557952 20967 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=158748 memory=0 CPUtime=0 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4816406 162557952 20967 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 158748 KiB
Current children cumulated memory: 83868 KiB
[startup+3.113 s]
/proc/loadavg: 4.99 4.55 4.27 5/246 31204
/proc/meminfo: memFree=124124832/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=159316 memory=123440 CPUtime=3.07 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 35990 0 0 0 300 7 0 0 20 0 3 0 4816372 163139584 30860 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 39829 30860 2998 3035 0 34802 0
[pid=31105/tid=31133] ppid=31102 vsize=159316 memory=0 CPUtime=2.74 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 24840 0 0 0 270 4 0 0 20 0 3 0 4816403 163139584 30860 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=159316 memory=11488 CPUtime=0 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 4816406 163139584 30860 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 159316 KiB
Current children cumulated memory: 123440 KiB
[startup+6.30032 s]
/proc/loadavg: 4.91 4.54 4.27 5/246 31204
/proc/meminfo: memFree=123999928/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=228648 memory=158356 CPUtime=6.25 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 47957 0 0 0 616 9 0 0 20 0 3 0 4816372 234135552 39589 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 57162 39589 2998 3035 0 43660 0
[pid=31105/tid=31133] ppid=31102 vsize=228648 memory=126072 CPUtime=5.92 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 36798 0 0 0 586 6 0 0 20 0 3 0 4816403 234135552 39589 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=228648 memory=11488 CPUtime=0 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 4816406 234135552 39589 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 228648 KiB
Current children cumulated memory: 158356 KiB
[startup+12.7003 s]
/proc/loadavg: 5.00 4.57 4.28 5/246 31262
/proc/meminfo: memFree=123925888/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=295900 memory=214040 CPUtime=12.62 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 86344 0 0 0 1250 12 0 0 20 0 3 0 4816372 303001600 53510 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 73975 53510 2998 3035 0 57824 0
[pid=31105/tid=31133] ppid=31102 vsize=295900 memory=214040 CPUtime=12.31 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 75165 0 0 0 1221 10 0 0 20 0 3 0 4816403 303001600 53510 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=295900 memory=187068 CPUtime=0 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 4816406 303001600 53510 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 295900 KiB
Current children cumulated memory: 214040 KiB
[startup+25.5004 s]
/proc/loadavg: 4.84 4.55 4.28 5/246 31263
/proc/meminfo: memFree=123859780/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=361436 memory=277100 CPUtime=25.39 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 166962 0 0 0 2521 18 0 0 20 0 3 0 4816372 370110464 69275 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 90359 69275 2998 3035 0 73567 0
[pid=31105/tid=31133] ppid=31102 vsize=361436 memory=277100 CPUtime=25.06 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 155769 0 0 0 2491 15 0 0 20 0 3 0 4816403 370110464 69275 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=361436 memory=259864 CPUtime=0 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 4816406 370110464 69275 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 361436 KiB
Current children cumulated memory: 277100 KiB
[startup+51.1121 s]
/proc/loadavg: 4.51 4.50 4.27 5/245 31268
/proc/meminfo: memFree=123797364/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=426972 memory=330876 CPUtime=50.92 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 238304 0 0 0 5069 23 0 0 20 0 3 0 4816372 437219328 82719 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 106743 82719 2998 3035 0 86730 0
[pid=31105/tid=31133] ppid=31102 vsize=426972 memory=319000 CPUtime=50.6 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 227104 0 0 0 5039 21 0 0 20 0 3 0 4816403 437219328 82719 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=426972 memory=12136 CPUtime=0 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 4816406 437219328 82719 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 426972 KiB
Current children cumulated memory: 330876 KiB
[startup+102.3 s]
/proc/loadavg: 4.26 4.43 4.26 5/246 31277
/proc/meminfo: memFree=123760796/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=436948 memory=345488 CPUtime=101.97 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 306389 0 0 0 10169 28 0 0 20 0 3 0 4816372 447434752 86372 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 109237 86372 2998 3035 0 91803 0
[pid=31105/tid=31133] ppid=31102 vsize=436948 memory=7151835598093388398 CPUtime=101.64 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 295181 0 0 0 10139 25 0 0 20 0 3 0 4816403 447434752 86372 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=436948 memory=345488 CPUtime=0 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 50 0 0 0 0 0 0 0 20 0 3 0 4816406 447434752 86372 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 436948 KiB
Current children cumulated memory: 345488 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.38 4.25 5/248 31290
/proc/meminfo: memFree=123242824/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=436948 memory=349728 CPUtime=161.79 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 339323 0 0 0 16149 30 0 0 20 0 3 0 4816372 447434752 87432 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 109237 87432 2998 3035 0 92852 0
[pid=31105/tid=31133] ppid=31102 vsize=436948 memory=349712 CPUtime=161.46 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 327860 0 0 0 16119 27 0 0 20 0 3 0 4816403 447434752 87432 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=436948 memory=11488 CPUtime=0 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 62 0 0 0 0 0 0 0 20 0 3 0 4816406 447434752 87432 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 436948 KiB
Current children cumulated memory: 349728 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.32 4.24 5/248 31301
/proc/meminfo: memFree=123097192/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=436948 memory=349732 CPUtime=221.59 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 356596 0 0 0 22128 31 0 0 20 0 3 0 4816372 447434752 87433 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 109237 87433 2998 3035 0 92852 0
[pid=31105/tid=31133] ppid=31102 vsize=436948 memory=349728 CPUtime=221.27 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 345088 0 0 0 22098 29 0 0 20 0 3 0 4816403 447434752 87433 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
################
# More data... #
################
[pid=31105] ppid=31102 vsize=641724 memory=550856 CPUtime=3450.25 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 1566427 0 0 0 344887 138 0 0 20 0 3 0 4816372 657125376 137714 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 160431 137714 2998 3035 0 141109 0
[pid=31105/tid=31133] ppid=31102 vsize=641724 memory=-7596283413075682432 CPUtime=3449.74 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 1553698 0 0 0 344848 126 0 0 20 0 3 0 4816403 657125376 137714 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=641724 memory=550856 CPUtime=0.05 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 204 0 0 0 1 4 0 0 20 0 3 0 4816406 657125376 137714 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 3450.25 s
Current children cumulated vsize: 641724 KiB
Current children cumulated memory: 550856 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.17 4.21 5/252 33117
/proc/meminfo: memFree=117034552/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=641724 memory=557492 CPUtime=3510.01 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 1594926 0 0 0 350861 140 0 0 20 0 3 0 4816372 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 160431 139373 3030 3035 0 142672 0
[pid=31105/tid=31133] ppid=31102 vsize=641724 memory=550856 CPUtime=3509.49 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 1582181 0 0 0 350821 128 0 0 20 0 3 0 4816403 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=641724 memory=557492 CPUtime=0.05 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 205 0 0 0 1 4 0 0 20 0 3 0 4816406 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 3510.01 s
Current children cumulated vsize: 641724 KiB
Current children cumulated memory: 557492 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.16 4.19 5/252 33128
/proc/meminfo: memFree=116866572/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=641724 memory=557492 CPUtime=3569.77 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 1611607 0 0 0 356836 141 0 0 20 0 3 0 4816372 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 160431 139373 3030 3035 0 142672 0
[pid=31105/tid=31133] ppid=31102 vsize=641724 memory=557492 CPUtime=3569.25 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 1598842 0 0 0 356796 129 0 0 20 0 3 0 4816403 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=641724 memory=11488 CPUtime=0.05 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 209 0 0 0 1 4 0 0 20 0 3 0 4816406 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 3569.77 s
Current children cumulated vsize: 641724 KiB
Current children cumulated memory: 557492 KiB
[startup+3598.33 s]
# the end of solver process 31105 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.31 s, system=1.44871 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.16 4.19 5/252 33128
/proc/meminfo: memFree=116866572/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=641724 memory=557492 CPUtime=3571.48 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 1611665 0 0 0 357007 141 0 0 20 0 3 0 4816372 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 160431 139373 3030 3035 0 142672 0
[pid=31105/tid=31133] ppid=31102 vsize=641724 memory=-5155634574393043845 CPUtime=3570.96 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 1598900 0 0 0 356967 129 0 0 20 0 3 0 4816403 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=641724 memory=6736 CPUtime=0.05 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 209 0 0 0 1 4 0 0 20 0 3 0 4816406 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 3571.48 s
Current children cumulated vsize: 641724 KiB
Current children cumulated memory: 557492 KiB
[startup+3590.4 s]
/proc/loadavg: 4.06 4.15 4.19 5/252 33128
/proc/meminfo: memFree=116866576/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=641724 memory=557492 CPUtime=3577.84 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 1616165 0 0 0 357643 141 0 0 20 0 3 0 4816372 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 160431 139373 3030 3035 0 142672 0
[pid=31105/tid=31133] ppid=31102 vsize=641724 memory=11488 CPUtime=3577.32 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 1603399 0 0 0 357603 129 0 0 20 0 3 0 4816403 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=641724 memory=11488 CPUtime=0.05 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 210 0 0 0 1 4 0 0 20 0 3 0 4816406 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 3577.84 s
Current children cumulated vsize: 641724 KiB
Current children cumulated memory: 557492 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.17 4.20 5/252 33130
/proc/meminfo: memFree=116866596/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=641724 memory=557492 CPUtime=3581.04 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 1616971 0 0 0 357962 142 0 0 20 0 3 0 4816372 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 160431 139373 3030 3035 0 142672 0
[pid=31105/tid=31133] ppid=31102 vsize=641724 memory=557492 CPUtime=3580.5 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 1604204 0 0 0 357921 129 0 0 20 0 3 0 4816403 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=641724 memory=-7596283413075682432 CPUtime=0.05 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 210 0 0 0 1 4 0 0 20 0 3 0 4816406 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 3581.04 s
Current children cumulated vsize: 641724 KiB
Current children cumulated memory: 557492 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.17 4.20 5/252 33130
/proc/meminfo: memFree=116866596/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=641724 memory=557492 CPUtime=3584.23 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 1617014 0 0 0 358281 142 0 0 20 0 3 0 4816372 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 160431 139373 3030 3035 0 142672 0
[pid=31105/tid=31133] ppid=31102 vsize=641724 memory=11488 CPUtime=3583.69 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 1604247 0 0 0 358240 129 0 0 20 0 3 0 4816403 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=641724 memory=5500 CPUtime=0.05 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 210 0 0 0 1 4 0 0 20 0 3 0 4816406 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 3584.23 s
Current children cumulated vsize: 641724 KiB
Current children cumulated memory: 557492 KiB
[startup+3597.6 s]
/proc/loadavg: 4.12 4.16 4.20 5/252 33131
/proc/meminfo: memFree=116866520/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=641724 memory=557492 CPUtime=3585.02 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 1617180 0 0 0 358360 142 0 0 20 0 3 0 4816372 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 160431 139373 3030 3035 0 142672 0
[pid=31105/tid=31133] ppid=31102 vsize=641724 memory=12136 CPUtime=3584.49 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 1604413 0 0 0 358320 129 0 0 20 0 3 0 4816403 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=641724 memory=5448 CPUtime=0.05 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 210 0 0 0 1 4 0 0 20 0 3 0 4816406 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 3585.02 s
Current children cumulated vsize: 641724 KiB
Current children cumulated memory: 557492 KiB
[startup+3598 s]*
/proc/loadavg: 4.12 4.16 4.20 5/252 33131
/proc/meminfo: memFree=116866572/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=641724 memory=557492 CPUtime=3585.43 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 1617398 0 0 0 358401 142 0 0 20 0 3 0 4816372 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 160431 139373 3030 3035 0 142672 0
[pid=31105/tid=31133] ppid=31102 vsize=641724 memory=-5155634574393043845 CPUtime=3584.9 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 1604663 0 0 0 358361 129 0 0 20 0 3 0 4816403 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=641724 memory=4209624974480797339 CPUtime=0.05 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 210 0 0 0 1 4 0 0 20 0 3 0 4816406 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 3585.43 s
Current children cumulated vsize: 641724 KiB
Current children cumulated memory: 557492 KiB
[startup+3598.2 s]
/proc/loadavg: 4.12 4.16 4.20 5/252 33131
/proc/meminfo: memFree=116866572/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=641724 memory=557492 CPUtime=3585.62 cores=0,2
/proc/31105/stat : 31105 (fscip) S 31102 31105 28860 0 -1 1077936128 1619846 0 0 0 358420 142 0 0 20 0 3 0 4816372 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 160431 139373 3030 3035 0 142672 0
[pid=31105/tid=31133] ppid=31102 vsize=641724 memory=2027248 CPUtime=3585.1 cores=0,2
/proc/31105/task/31133/stat : 31133 (fscip) R 31102 31105 28860 0 -1 4194368 1607078 0 0 0 358380 130 0 0 20 0 3 0 4816403 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
[pid=31105/tid=31138] ppid=31102 vsize=641724 memory=2664 CPUtime=0.05 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 210 0 0 0 1 4 0 0 20 0 3 0 4816406 657125376 139373 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 3585.62 s
Current children cumulated vsize: 641724 KiB
Current children cumulated memory: 557492 KiB
[startup+3598.3 s]
/proc/loadavg: 4.12 4.16 4.20 5/252 33131
/proc/meminfo: memFree=116866572/131655788 swapFree=131071996/131071996
[pid=31105] ppid=31102 vsize=540916 memory=513784 CPUtime=3585.71 cores=0,2
/proc/31105/stat : 31105 (fscip) R 31102 31105 28860 0 -1 4194304 1621008 0 0 0 358429 142 0 0 20 0 2 0 4816372 553897984 128446 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
/proc/31105/statm: 135229 128446 3030 3035 0 130424 0
[pid=31105/tid=31138] ppid=31102 vsize=540916 memory=11488 CPUtime=0.05 cores=0,2
/proc/31105/task/31138/stat : 31138 (fscip) S 31102 31105 28860 0 -1 1077936192 210 0 0 0 1 4 0 0 20 0 2 0 4816406 553897984 128446 134679101440 4194304 16623229 140723176372112 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 45629440 140723176379418 140723176379534 140723176379534 140723176386544 0
Current children cumulated CPU time: 3585.71 s
Current children cumulated vsize: 540916 KiB
Current children cumulated memory: 513784 KiB
Child status: 0
Real time (s): 3598.33
CPU time (s): 3585.75
CPU user time (s): 3584.31
CPU system time (s): 1.44871
CPU usage (%): 99.6506
Max. virtual memory (cumulated for all children) (KiB): 641724
Max. memory (cumulated for all children) (KiB): 557492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.31
system time used= 1.44871
maximum resident set size= 557492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1621027
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= 6778
involuntary context switches= 24568
# summary of solver processes directly reported to runsolver:
# pid: 31105
# total CPU time (s): 3585.75
# total CPU user time (s): 3584.31
# total CPU system time (s): 1.44871
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7918 second user time and 35.9902 second system time
The end
Begin job on nodeC010 at 2024-07-31 01:29:54
IDJOB=4464777
IDBENCH=148665
IDSOLVER=3092
FILE ID=nodeC010/4464777-1722382194
RUNJOBID= nodeC010-1722378594-28870
SLURM_JOB_ID= 8249840
Free space on /tmp= 723688 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.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-4464777-1722382194/watcher-4464777-1722382194 -o /tmp/evaluation-result-4464777-1722382194/solver-4464777-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722378594-28870 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464777-1722382194.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d4235fe4c365567a817121803ba4630e
RANDOM SEED=1367756045
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1220.334
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3560.224
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.134
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.159
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.973
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3613.759
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.168
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.176
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124120348 kB
MemAvailable: 127006332 kB
Buffers: 92016 kB
Cached: 3635856 kB
SwapCached: 0 kB
Active: 256812 kB
Inactive: 6836532 kB
Active(anon): 1968 kB
Inactive(anon): 3392984 kB
Active(file): 254844 kB
Inactive(file): 3443548 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28352 kB
Writeback: 36 kB
AnonPages: 3361040 kB
Mapped: 128596 kB
Shmem: 29504 kB
KReclaimable: 55244 kB
Slab: 130748 kB
SReclaimable: 55244 kB
SUnreclaim: 75504 kB
KernelStack: 3940 kB
PageTables: 16048 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 2341096 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6976 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2623488 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: 146248 kB
DirectMap2M: 8146944 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 723628 MiB
End job on nodeC010 at 2024-07-31 02:29:53