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.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 51527680, getVmSize() = 51527680, SCIPgetMemUsed() = 23984396, SCIPgetMemTotal() = 29290284, SCIPgetMemExternEstim() = 12997052
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
8.07/8.14 c ** Estimated virtualMemUsedAtSolver = 87502144, getVmSize() = 143347712, SCIPgetMemUsed() = 84153828, SCIPgetMemTotal() = 118256164, SCIPgetMemExternEstim() = 12997052
8.07/8.14 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
8.07/8.14 c Original Problem :
8.07/8.14 c Problem name : instance-4464481-1722385793
8.07/8.14 c Variables : 6664 (6664 binary, 0 integer, 0 implicit integer, 0 continuous)
8.07/8.14 c Constraints : 6862
8.07/8.14 c Objective sense : minimize
8.07/8.14 c Presolved Problem :
8.07/8.14 c Variables : 5916 (5916 binary, 0 integer, 0 implicit integer, 0 continuous)
8.07/8.14 c Constraints : 6080
8.07/8.14 c Constraints : Number
8.07/8.14 c knapsack : 1
8.07/8.14 c setppc : 1294
8.07/8.14 c orbitope : 3
8.07/8.14 c logicor : 4782
8.07/8.14 c ** Instance transfer method used: 0
8.07/8.16 c ** ParaScipInstance copy increased the number of variables. **
8.07/8.17 c LC is working with racing ramp-up and with rebuilding tree after racing.
8.07/8.18 c Nodes Active
8.07/8.18 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
113.03/113.48 c 113 2 1 1 - 0.0000 -
119.31/119.71 c 120 7 6 1 - 0.0000 -
125.20/125.66 c 126 12 11 1 - 0.0000 -
131.68/132.12 c 132 16 15 1 - 0.0000 -
137.56/138.05 c 138 20 19 1 - 0.0000 -
143.84/144.30 c 144 29 20 1 - 0.0000 -
149.53/150.09 c 150 37 26 1 - 0.0000 -
157.70/158.24 c 158 52 25 1 - 0.0000 -
163.18/163.71 c 164 54 27 1 - 0.0000 -
185.22/185.84 c 186 55 28 1 - 0.0000 -
191.51/192.13 c 192 70 33 1 - 0.0000 -
197.49/198.11 c 198 76 39 1 - 0.0000 -
215.72/216.47 c 216 78 41 1 - 0.0000 -
221.99/222.77 c 223 82 45 1 - 0.0000 -
249.39/250.23 c 250 84 47 1 - 0.0000 -
254.48/255.39 c 255 88 51 1 - 0.0000 -
261.84/262.70 c 263 90 53 1 - 0.0000 -
273.40/274.33 c 274 95 56 1 - 0.0000 -
280.08/281.04 c 281 99 60 1 - 0.0000 -
285.25/286.28 c 286 102 63 1 - 0.0000 -
292.33/293.34 c 293 103 64 1 - 0.0000 -
306.99/308.01 c 308 107 68 1 - 0.0000 -
313.76/314.88 c 315 110 71 1 - 0.0000 -
322.92/324.07 c 324 112 73 1 - 0.0000 -
328.81/329.92 c 330 115 76 1 - 0.0000 -
334.99/336.17 c 336 116 77 1 - 0.0000 -
340.06/341.23 c 341 117 78 1 - 0.0000 -
351.12/352.36 c 352 120 81 1 - 0.0000 -
357.80/359.04 c 359 122 83 1 - 0.0000 -
372.06/373.35 c 373 126 85 1 - 0.0000 -
397.49/398.84 c 399 128 87 1 - 0.0000 -
403.07/404.49 c 404 132 91 1 - 0.0000 -
412.34/413.75 c 414 136 95 1 - 0.0000 -
419.82/421.23 c 421 137 96 1 - 0.0000 -
426.20/427.68 c 428 140 99 1 - 0.0000 -
437.37/438.84 c 439 142 101 1 - 0.0000 -
457.41/458.94 c 459 144 103 1 - 0.0000 -
464.79/466.38 c 466 146 105 1 - 0.0000 -
476.45/478.08 c 478 148 107 1 - 0.0000 -
484.13/485.79 c 486 150 109 1 - 0.0000 -
561.35/563.28 c 563 152 111 1 - 0.0000 -
567.82/569.76 c 570 154 113 1 - 0.0000 -
580.58/582.53 c 583 156 115 1 - 0.0000 -
588.45/590.41 c 590 158 117 1 - 0.0000 -
600.80/602.83 c 603 160 119 1 - 0.0000 -
606.88/608.93 c 609 163 122 1 - 0.0000 -
613.66/615.70 c 616 164 123 1 - 0.0000 -
620.34/622.48 c 622 167 126 1 - 0.0000 -
636.88/639.04 c 639 168 127 1 - 0.0000 -
642.26/644.46 c 644 170 129 1 - 0.0000 -
659.10/661.30 c 661 172 131 1 - 0.0000 -
665.88/668.11 c 668 184 127 1 - 0.0000 -
674.54/676.88 c 677 185 128 1 - 0.0000 -
685.00/687.32 c 687 186 129 1 - 0.0000 -
691.08/693.44 c 693 201 125 1 - 0.0000 -
696.76/699.18 c 699 215 127 1 - 0.0000 -
702.74/705.11 c 705 233 131 1 - 0.0000 -
708.01/710.47 c 710 240 136 1 - 0.0000 -
714.99/717.40 c 717 250 140 1 - 0.0000 -
720.78/723.27 c 723 260 144 1 - 0.0000 -
729.24/731.72 c 732 270 148 1 - 0.0000 -
735.02/737.51 c 738 278 154 1 - 0.0000 -
741.69/744.24 c 744 286 160 1 - 0.0000 -
746.77/749.37 c 749 294 162 1 - 0.0000 -
752.26/754.83 c 755 297 165 1 - 0.0000 -
760.53/763.17 c 763 302 168 1 - 0.0000 -
768.00/770.64 c 771 306 172 1 - 0.0000 -
773.58/776.20 c 776 310 176 1 - 0.0000 -
781.75/784.40 c 784 315 179 1 - 0.0000 -
786.93/789.63 c 790 320 182 1 - 0.0000 -
792.61/795.37 c 795 325 187 1 - 0.0000 -
799.58/802.34 c 802 330 190 1 - 0.0000 -
805.46/808.25 c 808 333 193 1 - 0.0000 -
811.64/814.46 c 814 337 197 1 - 0.0000 -
817.52/820.33 c 820 345 201 1 - 0.0000 -
822.80/825.68 c 826 348 204 1 - 0.0000 -
828.38/831.26 c 831 354 208 1 - 0.0000 -
838.84/841.72 c 842 358 212 1 - 0.0000 -
844.72/847.68 c 848 364 216 1 - 0.0000 -
853.09/856.09 c 856 370 222 1 - 0.0000 -
867.34/870.35 c 870 374 226 1 - 0.0000 -
873.02/876.07 c 876 379 227 1 - 0.0000 -
880.49/883.57 c 884 386 230 1 - 0.0000 -
886.66/889.77 c 890 390 232 1 - 0.0000 -
891.84/894.95 c 895 395 233 1 - 0.0000 -
897.93/901.06 c 901 404 236 1 - 0.0000 -
903.60/906.78 c 907 420 234 1 - 0.0000 -
915.46/918.68 c 919 428 236 1 - 0.0000 -
920.64/923.88 c 924 444 238 1 - 0.0000 -
938.07/941.39 c 941 446 240 1 - 0.0000 -
944.35/947.69 c 948 451 243 1 - 0.0000 -
957.81/961.19 c 961 462 246 1 - 0.0000 -
962.98/966.34 c 966 469 247 1 - 0.0000 -
968.76/972.19 c 972 482 246 1 - 0.0000 -
977.63/981.05 c 981 485 249 1 - 0.0000 -
982.91/986.36 c 986 505 249 1 - 0.0000 -
988.59/992.09 c 992 550 248 1 - 0.0000 -
993.87/997.37 c 997 559 251 1 - 0.0000 -
999.15/1002.64 c 1003 571 251 1 - 0.0000 -
1005.13/1008.63 c 1009 604 250 1 - 0.0000 -
1010.71/1014.27 c 1014 619 249 1 - 0.0000 -
1019.38/1022.93 c 1023 622 252 1 - 0.0000 -
1024.86/1028.44 c 1028 645 255 1 - 0.0000 -
1030.14/1033.73 c 1034 680 252 1 - 0.0000 -
1035.43/1039.03 c 1039 713 253 1 - 0.0000 -
1041.59/1045.29 c 1045 727 254 1 - 0.0000 -
1047.27/1050.91 c 1051 732 257 1 - 0.0000 -
1052.75/1056.42 c 1056 760 255 1 - 0.0000 -
1057.93/1061.67 c 1062 767 260 1 - 0.0000 -
1066.31/1070.07 c 1070 769 262 1 - 0.0000 -
1071.98/1075.71 c 1076 780 267 1 - 0.0000 -
1077.86/1081.65 c 1082 800 265 1 - 0.0000 -
1083.84/1087.69 c 1088 822 265 1 - 0.0000 -
1089.82/1093.61 c 1094 851 265 1 - 0.0000 -
1095.40/1099.22 c 1099 866 264 1 - 0.0000 -
1101.38/1105.23 c 1105 889 267 1 - 0.0000 -
1106.66/1110.55 c 1111 927 269 1 - 0.0000 -
1111.93/1115.82 c 1116 960 268 1 - 0.0000 -
1117.61/1121.56 c 1122 984 267 1 - 0.0000 -
1122.70/1126.64 c 1127 999 261 1 - 0.0000 -
1127.98/1131.93 c 1132 1024 268 1 - 0.0000 -
1133.86/1137.82 c 1138 1055 269 1 - 0.0000 -
1139.64/1143.60 c 1144 1093 269 1 - 0.0000 -
1145.12/1149.14 c 1149 1133 269 1 - 0.0000 -
1151.40/1155.46 c 1155 1164 268 1 - 0.0000 -
1159.07/1163.16 c 1163 1194 268 1 - 0.0000 -
1164.25/1168.37 c 1168 1219 269 1 - 0.0000 -
1169.82/1173.95 c 1174 1252 270 1 - 0.0000 -
1175.30/1179.41 c 1179 1284 272 1 - 0.0000 -
1180.58/1184.79 c 1185 1319 273 1 - 0.0000 -
1186.87/1191.10 c 1191 1354 272 1 - 0.0000 -
1193.04/1197.23 c 1197 1377 271 1 - 0.0000 -
1199.02/1203.25 c 1203 1405 271 1 - 0.0000 -
1205.10/1209.30 c 1209 1429 269 1 - 0.0000 -
1210.38/1214.67 c 1215 1459 271 1 - 0.0000 -
1216.15/1220.46 c 1220 1484 270 1 - 0.0000 -
1222.03/1226.34 c 1226 1508 270 1 - 0.0000 -
1228.01/1232.36 c 1232 1532 268 1 - 0.0000 -
1233.79/1238.13 c 1238 1557 269 1 - 0.0000 -
1239.47/1243.88 c 1244 1583 269 1 - 0.0000 -
1245.45/1249.86 c 1250 1596 272 1 - 0.0000 -
1251.33/1255.78 c 1256 1616 268 1 - 0.0000 -
1257.11/1261.51 c 1262 1633 267 1 - 0.0000 -
1262.69/1267.19 c 1267 1649 265 1 - 0.0000 -
1267.97/1272.42 c 1272 1666 264 1 - 0.0000 -
1272.95/1277.45 c 1277 1684 264 1 - 0.0000 -
1278.73/1283.26 c 1283 1699 263 1 - 0.0000 -
1284.41/1288.98 c 1289 1732 270 1 - 0.0000 -
1290.19/1294.79 c 1295 1751 269 1 - 0.0000 -
1295.47/1300.03 c 1300 1767 267 1 - 0.0000 -
1301.15/1305.78 c 1306 1780 268 1 - 0.0000 -
1307.43/1312.00 c 1312 1801 269 1 - 0.0000 -
1312.60/1317.28 c 1317 1815 265 1 - 0.0000 -
1322.47/1327.15 c 1327 1820 270 1 - 0.0000 -
1328.25/1332.90 c 1333 1834 270 1 - 0.0000 -
1334.22/1338.91 c 1339 1849 269 1 - 0.0000 -
1339.60/1344.32 c 1344 1864 270 1 - 0.0000 -
1345.48/1350.24 c 1350 1879 269 1 - 0.0000 -
1351.27/1356.02 c 1356 1892 270 1 - 0.0000 -
1357.05/1361.85 c 1362 1907 269 1 - 0.0000 -
1362.13/1366.96 c 1367 1921 267 1 - 0.0000 -
1367.22/1372.00 c 1372 1934 268 1 - 0.0000 -
1372.30/1377.10 c 1377 1945 269 1 - 0.0000 -
1379.76/1384.61 c 1385 1946 270 1 - 0.0000 -
1385.54/1390.49 c 1390 1964 274 1 - 0.0000 -
1390.82/1395.79 c 1396 1982 276 1 - 0.0000 -
1396.90/1401.84 c 1402 2009 271 1 - 0.0000 -
1401.88/1406.85 c 1407 2027 271 1 - 0.0000 -
1407.86/1412.86 c 1413 2052 274 1 - 0.0000 -
1412.94/1417.95 c 1418 2069 277 1 - 0.0000 -
1418.42/1423.45 c 1423 2093 275 1 - 0.0000 -
1425.00/1430.00 c 1430 2111 273 1 - 0.0000 -
1429.98/1435.06 c 1435 2129 275 1 - 0.0000 -
1435.95/1441.02 c 1441 2154 278 1 - 0.0000 -
1441.73/1446.88 c 1447 2174 276 1 - 0.0000 -
1447.92/1453.06 c 1453 2193 275 1 - 0.0000 -
1453.79/1458.99 c 1459 2206 276 1 - 0.0000 -
1459.77/1464.95 c 1465 2225 275 1 - 0.0000 -
1465.95/1471.11 c 1471 2245 271 1 - 0.0000 -
1471.23/1476.43 c 1476 2253 271 1 - 0.0000 -
1476.81/1482.04 c 1482 2256 272 1 - 0.0000 -
1490.15/1495.40 c 1495 2259 275 1 - 0.0000 -
1496.03/1501.36 c 1501 2275 277 1 - 0.0000 -
1510.48/1515.85 c 1516 2284 280 1 - 0.0000 -
1516.67/1522.05 c 1522 2303 283 1 - 0.0000 -
1522.65/1528.08 c 1528 2321 283 1 - 0.0000 -
1527.92/1533.33 c 1533 2331 283 1 - 0.0000 -
1539.68/1545.13 c 1545 2334 286 1 - 0.0000 -
1544.86/1550.39 c 1550 2347 287 1 - 0.0000 -
1550.14/1555.62 c 1556 2360 286 1 - 0.0000 -
1556.02/1561.53 c 1562 2381 287 1 - 0.0000 -
1561.20/1566.76 c 1567 2396 288 1 - 0.0000 -
1566.59/1572.11 c 1572 2408 286 1 - 0.0000 -
1572.46/1578.02 c 1578 2427 289 1 - 0.0000 -
1578.34/1583.94 c 1584 2452 288 1 - 0.0000 -
1584.31/1589.93 c 1590 2463 287 1 - 0.0000 -
1590.29/1595.99 c 1596 2464 288 1 - 0.0000 -
1596.17/1601.85 c 1602 2494 292 1 - 0.0000 -
1602.15/1607.88 c 1608 2528 290 1 - 0.0000 -
1608.32/1614.00 c 1614 2559 295 1 - 0.0000 -
1614.30/1620.03 c 1620 2580 292 1 - 0.0000 -
1620.19/1625.97 c 1626 2600 292 1 - 0.0000 -
1626.17/1631.98 c 1632 2629 289 1 - 0.0000 -
1632.16/1637.93 c 1638 2649 287 1 - 0.0000 -
1637.14/1642.97 c 1643 2656 288 1 - 0.0000 -
1645.72/1651.51 c 1652 2659 291 1 - 0.0000 -
1652.69/1658.59 c 1659 2676 292 1 - 0.0000 -
1658.88/1664.73 c 1665 2679 295 1 - 0.0000 -
1664.06/1669.95 c 1670 2702 298 1 - 0.0000 -
1669.94/1675.87 c 1676 2726 306 1 - 0.0000 -
1675.63/1681.56 c 1682 2753 303 1 - 0.0000 -
1681.31/1687.20 c 1687 2777 301 1 - 0.0000 -
1687.39/1693.39 c 1693 2796 306 1 - 0.0000 -
1692.98/1698.99 c 1699 2818 300 1 - 0.0000 -
1698.66/1704.69 c 1705 2840 300 1 - 0.0000 -
1704.35/1710.36 c 1710 2863 301 1 - 0.0000 -
1709.94/1715.91 c 1716 2882 298 1 - 0.0000 -
1717.51/1723.59 c 1724 2901 295 1 - 0.0000 -
1723.20/1729.23 c 1729 2908 296 1 - 0.0000 -
1729.18/1735.24 c 1735 2922 294 1 - 0.0000 -
1735.96/1742.02 c 1742 2933 295 1 - 0.0000 -
1741.64/1747.70 c 1748 2946 294 1 - 0.0000 -
1747.53/1753.61 c 1754 2976 297 1 - 0.0000 -
1753.21/1759.33 c 1759 2986 301 1 - 0.0000 -
1759.00/1765.15 c 1765 3015 298 1 - 0.0000 -
1764.68/1770.82 c 1771 3022 299 1 - 0.0000 -
1773.86/1780.09 c 1780 3024 301 1 - 0.0000 -
1779.84/1786.01 c 1786 3056 305 1 - 0.0000 -
1786.02/1792.28 c 1792 3083 302 1 - 0.0000 -
1792.10/1798.30 c 1798 3105 304 1 - 0.0000 -
1797.49/1803.73 c 1804 3113 306 1 - 0.0000 -
1802.97/1809.25 c 1809 3139 312 1 - 0.0000 -
1808.55/1814.89 c 1815 3159 309 1 - 0.0000 -
1813.84/1820.11 c 1820 3174 308 1 - 0.0000 -
1819.73/1826.00 c 1826 3202 306 1 - 0.0000 -
1825.00/1831.30 c 1831 3219 309 1 - 0.0000 -
1830.09/1836.40 c 1836 3244 312 1 - 0.0000 -
1835.68/1842.10 c 1842 3271 309 1 - 0.0000 -
1841.56/1847.99 c 1848 3282 312 1 - 0.0000 -
1847.54/1853.98 c 1854 3305 309 1 - 0.0000 -
1852.63/1859.06 c 1859 3326 310 1 - 0.0000 -
1857.72/1864.15 c 1864 3346 310 1 - 0.0000 -
1863.30/1869.79 c 1870 3373 313 1 - 0.0000 -
1868.59/1875.05 c 1875 3395 311 1 - 0.0000 -
1874.68/1881.16 c 1881 3419 313 1 - 0.0000 -
1880.75/1887.24 c 1887 3444 312 1 - 0.0000 -
1886.84/1893.30 c 1893 3469 311 1 - 0.0000 -
1892.42/1898.99 c 1899 3495 311 1 - 0.0000 -
1898.20/1904.74 c 1905 3522 310 1 - 0.0000 -
1904.68/1911.26 c 1911 3548 308 1 - 0.0000 -
1910.07/1916.63 c 1917 3564 312 1 - 0.0000 -
1916.05/1922.66 c 1923 3584 310 1 - 0.0000 -
1921.04/1927.69 c 1928 3600 312 1 - 0.0000 -
1926.02/1932.69 c 1933 3619 311 1 - 0.0000 -
1932.41/1939.05 c 1939 3636 310 1 - 0.0000 -
1937.99/1944.64 c 1945 3653 311 1 - 0.0000 -
1944.07/1950.71 c 1951 3673 311 1 - 0.0000 -
1950.15/1956.85 c 1957 3691 311 1 - 0.0000 -
1956.24/1962.94 c 1963 3710 310 1 - 0.0000 -
1962.02/1968.78 c 1969 3726 310 1 - 0.0000 -
1968.51/1975.28 c 1975 3741 309 1 - 0.0000 -
1974.09/1980.82 c 1981 3759 309 1 - 0.0000 -
1980.28/1987.00 c 1987 3777 313 1 - 0.0000 -
1985.95/1992.77 c 1993 3786 312 1 - 0.0000 -
1991.94/1998.76 c 1999 3806 312 1 - 0.0000 -
1997.92/2004.77 c 2005 3827 311 1 - 0.0000 -
2004.31/2011.12 c 2011 3848 312 1 - 0.0000 -
2010.29/2017.17 c 2017 3866 310 1 - 0.0000 -
2015.47/2022.32 c 2022 3879 309 1 - 0.0000 -
2021.65/2028.51 c 2029 3897 309 1 - 0.0000 -
2027.33/2034.28 c 2034 3917 309 1 - 0.0000 -
2033.32/2040.22 c 2040 3936 308 1 - 0.0000 -
2039.11/2046.07 c 2046 3951 309 1 - 0.0000 -
2044.99/2051.91 c 2052 3964 310 1 - 0.0000 -
2050.78/2057.76 c 2058 3976 308 1 - 0.0000 -
2056.16/2063.14 c 2063 3985 309 1 - 0.0000 -
2061.15/2068.16 c 2068 3994 308 1 - 0.0000 -
2066.23/2073.27 c 2073 4007 307 1 - 0.0000 -
2071.91/2078.96 c 2079 4034 306 1 - 0.0000 -
2077.20/2084.25 c 2084 4049 309 1 - 0.0000 -
2082.48/2089.51 c 2090 4064 308 1 - 0.0000 -
2087.97/2095.01 c 2095 4079 307 1 - 0.0000 -
2093.15/2100.26 c 2100 4095 307 1 - 0.0000 -
2098.94/2106.01 c 2106 4111 307 1 - 0.0000 -
2104.22/2111.30 c 2111 4128 306 1 - 0.0000 -
2109.60/2116.73 c 2117 4144 306 1 - 0.0000 -
2114.79/2121.94 c 2122 4159 307 1 - 0.0000 -
2120.27/2127.42 c 2127 4175 307 1 - 0.0000 -
2126.46/2133.65 c 2134 4188 306 1 - 0.0000 -
2131.44/2138.67 c 2139 4191 309 1 - 0.0000 -
2137.93/2145.11 c 2145 4192 310 1 - 0.0000 -
2143.11/2150.38 c 2150 4210 314 1 - 0.0000 -
2149.19/2156.41 c 2156 4231 313 1 - 0.0000 -
2155.08/2162.34 c 2162 4247 315 1 - 0.0000 -
2161.26/2168.56 c 2169 4263 315 1 - 0.0000 -
2166.25/2173.58 c 2174 4278 316 1 - 0.0000 -
2171.73/2179.03 c 2179 4304 314 1 - 0.0000 -
2177.32/2184.69 c 2185 4329 315 1 - 0.0000 -
2183.10/2190.44 c 2190 4351 315 1 - 0.0000 -
2188.49/2195.80 c 2196 4366 316 1 - 0.0000 -
2194.37/2201.71 c 2202 4379 313 1 - 0.0000 -
2199.45/2206.82 c 2207 4386 314 1 - 0.0000 -
2205.54/2212.92 c 2213 4405 313 1 - 0.0000 -
2210.63/2218.03 c 2218 4419 313 1 - 0.0000 -
2216.71/2224.13 c 2224 4443 313 1 - 0.0000 -
2221.89/2229.39 c 2229 4471 313 1 - 0.0000 -
2227.27/2234.79 c 2235 4502 316 1 - 0.0000 -
2233.16/2240.66 c 2241 4530 314 1 - 0.0000 -
2239.24/2246.73 c 2247 4563 315 1 - 0.0000 -
2245.32/2252.89 c 2253 4587 311 1 - 0.0000 -
2251.30/2258.80 c 2259 4607 313 1 - 0.0000 -
2256.99/2264.56 c 2265 4631 319 1 - 0.0000 -
2262.37/2269.92 c 2270 4649 317 1 - 0.0000 -
2268.35/2275.91 c 2276 4666 314 1 - 0.0000 -
2274.63/2282.28 c 2282 4689 317 1 - 0.0000 -
2280.33/2287.91 c 2288 4710 316 1 - 0.0000 -
2286.11/2293.71 c 2294 4738 318 1 - 0.0000 -
2291.59/2299.28 c 2299 4765 317 1 - 0.0000 -
2297.48/2305.10 c 2305 4792 320 1 - 0.0000 -
2302.96/2310.68 c 2311 4820 318 1 - 0.0000 -
2308.64/2316.36 c 2316 4844 320 1 - 0.0000 -
2314.22/2321.92 c 2322 4877 317 1 - 0.0000 -
2319.41/2327.16 c 2327 4897 317 1 - 0.0000 -
2325.59/2333.30 c 2333 4919 321 1 - 0.0000 -
2330.98/2338.75 c 2339 4947 323 1 - 0.0000 -
2336.66/2344.47 c 2344 4968 320 1 - 0.0000 -
2342.74/2350.51 c 2351 4996 318 1 - 0.0000 -
2347.83/2355.68 c 2356 5015 317 1 - 0.0000 -
2352.91/2360.70 c 2361 5030 318 1 - 0.0000 -
2358.51/2366.38 c 2366 5052 318 1 - 0.0000 -
2364.20/2372.09 c 2372 5075 319 1 - 0.0000 -
2369.78/2377.60 c 2378 5094 318 1 - 0.0000 -
2375.96/2383.83 c 2384 5113 321 1 - 0.0000 -
2381.54/2389.47 c 2389 5135 315 1 - 0.0000 -
2387.23/2395.17 c 2395 5157 315 1 - 0.0000 -
2393.41/2401.31 c 2401 5177 315 1 - 0.0000 -
2399.29/2407.28 c 2407 5195 315 1 - 0.0000 -
2404.67/2412.67 c 2413 5215 313 1 - 0.0000 -
2410.46/2418.42 c 2418 5227 311 1 - 0.0000 -
2415.54/2423.57 c 2424 5240 312 1 - 0.0000 -
2427.50/2435.50 c 2436 5244 314 1 - 0.0000 -
2433.49/2441.57 c 2442 5267 319 1 - 0.0000 -
2438.67/2446.76 c 2447 5282 316 1 - 0.0000 -
2444.66/2452.78 c 2453 5299 315 1 - 0.0000 -
2450.44/2458.52 c 2459 5320 316 1 - 0.0000 -
2456.62/2464.74 c 2465 5337 315 1 - 0.0000 -
2462.20/2470.39 c 2470 5358 314 1 - 0.0000 -
2468.09/2476.28 c 2476 5380 312 1 - 0.0000 -
2473.37/2481.51 c 2482 5391 315 1 - 0.0000 -
2479.26/2487.46 c 2487 5405 315 1 - 0.0000 -
2485.35/2493.52 c 2494 5414 312 1 - 0.0000 -
2490.53/2498.71 c 2499 5427 313 1 - 0.0000 -
2495.82/2504.04 c 2504 5442 312 1 - 0.0000 -
2500.90/2509.19 c 2509 5453 315 1 - 0.0000 -
2507.58/2515.86 c 2516 5465 313 1 - 0.0000 -
2513.26/2521.56 c 2522 5471 315 1 - 0.0000 -
2518.95/2527.28 c 2527 5482 316 1 - 0.0000 -
2524.33/2532.61 c 2533 5498 318 1 - 0.0000 -
2529.62/2537.97 c 2538 5515 317 1 - 0.0000 -
2535.71/2544.07 c 2544 5523 315 1 - 0.0000 -
2540.88/2549.21 c 2549 5531 315 1 - 0.0000 -
2546.37/2554.79 c 2555 5541 317 1 - 0.0000 -
2552.56/2560.96 c 2561 5549 319 1 - 0.0000 -
2558.14/2566.52 c 2567 5561 323 1 - 0.0000 -
2565.62/2574.03 c 2574 5574 322 1 - 0.0000 -
2571.10/2579.51 c 2580 5589 323 1 - 0.0000 -
2576.59/2585.02 c 2585 5603 323 1 - 0.0000 -
2581.97/2590.44 c 2590 5610 324 1 - 0.0000 -
2587.86/2596.31 c 2596 5626 326 1 - 0.0000 -
2593.34/2601.89 c 2602 5640 328 1 - 0.0000 -
2598.53/2607.02 c 2607 5653 331 1 - 0.0000 -
2604.21/2612.79 c 2613 5677 335 1 - 0.0000 -
2610.60/2619.14 c 2619 5698 332 1 - 0.0000 -
2616.58/2625.16 c 2625 5712 330 1 - 0.0000 -
2622.06/2630.64 c 2631 5724 330 1 - 0.0000 -
2628.44/2637.03 c 2637 5740 330 1 - 0.0000 -
2634.43/2643.03 c 2643 5751 329 1 - 0.0000 -
2640.41/2649.08 c 2649 5765 331 1 - 0.0000 -
2646.39/2655.03 c 2655 5778 330 1 - 0.0000 -
2652.77/2661.41 c 2661 5798 328 1 - 0.0000 -
2657.86/2666.59 c 2667 5808 326 1 - 0.0000 -
2663.95/2672.63 c 2673 5821 329 1 - 0.0000 -
2669.13/2677.88 c 2678 5836 328 1 - 0.0000 -
2675.71/2684.42 c 2684 5846 328 1 - 0.0000 -
2681.30/2690.09 c 2690 5853 327 1 - 0.0000 -
2686.88/2695.67 c 2696 5868 326 1 - 0.0000 -
2692.27/2701.03 c 2701 5884 326 1 - 0.0000 -
2698.25/2707.07 c 2707 5891 325 1 - 0.0000 -
2710.01/2718.83 c 2719 5894 328 1 - 0.0000 -
2715.20/2724.03 c 2724 5909 329 1 - 0.0000 -
2721.28/2730.14 c 2730 5932 330 1 - 0.0000 -
2726.36/2735.21 c 2735 5939 331 1 - 0.0000 -
2732.05/2740.90 c 2741 5955 335 1 - 0.0000 -
2737.03/2745.98 c 2746 5971 335 1 - 0.0000 -
2742.43/2751.33 c 2751 5984 332 1 - 0.0000 -
2747.61/2756.52 c 2757 5986 0 1 - 0.0000 -
2803.95/2813.02 c 2813 5986 0 1 - 0.0000 -
2825.48/2834.63 c 2835 5987 1 1 - 0.0000 -
2831.07/2840.27 c 2840 5989 3 1 - 0.0000 -
2837.05/2846.26 c 2846 5997 9 1 - 0.0000 -
2842.34/2851.57 c 2852 5999 11 1 - 0.0000 -
3199.31/3209.58 c 3210 6001 13 1 - 0.0000 -
3205.79/3216.05 c 3216 6002 14 1 - 0.0000 -
3211.67/3221.91 c 3222 6005 17 1 - 0.0000 -
3228.53/3238.88 c 3239 6007 17 1 - 0.0000 -
3241.30/3251.64 c 3252 6009 19 1 - 0.0000 -
3252.77/3263.15 c 3263 6011 21 1 - 0.0000 -
3265.63/3276.04 c 3276 6013 23 1 - 0.0000 -
3273.11/3283.58 c 3284 6015 25 1 - 0.0000 -
3291.05/3301.50 c 3302 6022 30 1 - 0.0000 -
3296.73/3307.23 c 3307 6043 37 1 - 0.0000 -
3302.42/3312.99 c 3313 6048 38 1 - 0.0000 -
3310.39/3320.99 c 3321 6049 39 1 - 0.0000 -
3336.42/3347.06 c 3347 6050 40 1 - 0.0000 -
3341.51/3352.16 c 3352 6073 39 1 - 0.0000 -
3347.40/3358.05 c 3358 6101 43 1 - 0.0000 -
3352.78/3363.44 c 3363 6133 47 1 - 0.0000 -
3358.66/3369.31 c 3369 6160 42 1 - 0.0000 -
3363.64/3374.35 c 3374 6177 41 1 - 0.0000 -
3379.50/3390.28 c 3390 6191 45 1 - 0.0000 -
3384.58/3395.37 c 3395 6205 47 1 - 0.0000 -
3390.56/3401.34 c 3401 6234 48 1 - 0.0000 -
3395.75/3406.53 c 3407 6252 54 1 - 0.0000 -
3401.34/3412.10 c 3412 6265 55 1 - 0.0000 -
3406.83/3417.66 c 3418 6286 54 1 - 0.0000 -
3412.71/3423.56 c 3424 6295 59 1 - 0.0000 -
3417.99/3428.82 c 3429 6310 60 1 - 0.0000 -
3423.68/3434.52 c 3435 6324 60 1 - 0.0000 -
3429.17/3440.02 c 3440 6341 63 1 - 0.0000 -
3435.04/3445.98 c 3446 6360 64 1 - 0.0000 -
3441.43/3452.37 c 3452 6382 64 1 - 0.0000 -
3447.01/3457.90 c 3458 6402 62 1 - 0.0000 -
3453.19/3464.19 c 3464 6420 62 1 - 0.0000 -
3459.08/3470.03 c 3470 6439 65 1 - 0.0000 -
3464.16/3475.18 c 3475 6455 65 1 - 0.0000 -
3469.95/3480.94 c 3481 6476 64 1 - 0.0000 -
3476.23/3487.24 c 3487 6495 63 1 - 0.0000 -
3481.61/3492.63 c 3493 6510 64 1 - 0.0000 -
3487.50/3498.51 c 3499 6526 64 1 - 0.0000 -
3493.09/3504.14 c 3504 6545 67 1 - 0.0000 -
3498.86/3509.97 c 3510 6565 63 1 - 0.0000 -
3505.34/3516.48 c 3516 6581 65 1 - 0.0000 -
3510.93/3522.08 c 3522 6604 66 1 - 0.0000 -
3516.02/3527.16 c 3527 6624 66 1 - 0.0000 -
3522.09/3533.26 c 3533 6654 64 1 - 0.0000 -
3528.37/3539.50 c 3540 6666 64 1 - 0.0000 -
3533.66/3544.84 c 3545 6680 66 1 - 0.0000 -
3539.74/3550.96 c 3551 6690 64 1 - 0.0000 -
3544.83/3556.03 c 3556 6707 67 1 - 0.0000 -
3550.21/3561.47 c 3561 6719 65 1 - 0.0000 -
3555.91/3567.12 c 3567 6732 66 1 - 0.0000 -
3561.29/3572.54 c 3573 6749 65 1 - 0.0000 -
3567.47/3578.79 c 3579 6771 67 1 - 0.0000 -
3573.45/3584.79 c 3585 6793 69 1 - 0.0000 -
3579.84/3591.17 c 3591 6818 68 1 - 0.0000 -
3585.82/3597.18 c 3597 6842 66 1 - 0.0000 -
3586.72/3598.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.72/3598.06 c Total Time : 3598.0700
3586.72/3598.06 c solving : 3598.0700
3586.72/3598.06 c presolving : 8.1009 (included in solving)
3586.72/3598.06 c B&B Tree :
3586.72/3598.06 c nodes (total) : 1
3586.72/3598.06 c Solution :
3586.72/3598.06 c Solutions found : 0
3586.72/3598.06 c Primal Bound : -
3586.72/3598.06 c Dual Bound : +0.00000000000000e+00
3586.72/3598.06 c Gap : -
3586.72/3598.09 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 (51850 MiB free)
memory of node 1: 64510 MiB (55858 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464481-1722385793/watcher-4464481-1722385793 -o /tmp/evaluation-result-4464481-1722385793/solver-4464481-1722385793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722378594-30601 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464481-1722385793.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=35346, runsolver pid=35343
Current StackSize limit: 8192 KiB
[startup+0.100096 s]*
/proc/loadavg: 4.06 4.11 4.09 5/266 35347
/proc/meminfo: memFree=110252912/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=62708 memory=51672 CPUtime=0.09 cores=4,6
/proc/35346/stat : 35346 (fscip) R 35343 35346 30590 0 -1 4194304 11464 0 0 0 8 1 0 0 20 0 1 0 5177586 64212992 12918 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 15677 12918 2662 3035 0 12073 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62708 KiB
Current children cumulated memory: 51672 KiB
[startup+0.20574 s]*
/proc/loadavg: 4.06 4.11 4.09 5/266 35347
/proc/meminfo: memFree=110249300/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=67036 memory=56200 CPUtime=0.2 cores=4,6
/proc/35346/stat : 35346 (fscip) R 35343 35346 30590 0 -1 4194304 13145 0 0 0 19 1 0 0 20 0 1 0 5177586 68644864 14050 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 16759 14050 2758 3035 0 13155 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 67036 KiB
Current children cumulated memory: 56200 KiB
[startup+0.305581 s]*
/proc/loadavg: 4.06 4.11 4.09 5/266 35347
/proc/meminfo: memFree=110235412/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=83204 memory=69284 CPUtime=0.3 cores=4,6
/proc/35346/stat : 35346 (fscip) R 35343 35346 30590 0 -1 4194304 16483 0 0 0 28 2 0 0 20 0 1 0 5177586 85200896 17321 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 20801 17321 2758 3035 0 17197 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 83204 KiB
Current children cumulated memory: 69284 KiB
[startup+0.700224 s]
/proc/loadavg: 4.06 4.11 4.09 5/266 35347
/proc/meminfo: memFree=110228552/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=90096 memory=76152 CPUtime=0.69 cores=4,6
/proc/35346/stat : 35346 (fscip) R 35343 35346 30590 0 -1 4194304 18222 0 0 0 67 2 0 0 20 0 1 0 5177586 92258304 19038 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 22524 19038 2774 3035 0 18920 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 90096 KiB
Current children cumulated memory: 76152 KiB
[startup+1.50023 s]
/proc/loadavg: 4.06 4.11 4.09 5/266 35347
/proc/meminfo: memFree=110228224/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=90096 memory=76152 CPUtime=1.48 cores=4,6
/proc/35346/stat : 35346 (fscip) R 35343 35346 30590 0 -1 4194304 18224 0 0 0 146 2 0 0 20 0 1 0 5177586 92258304 19038 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 22524 19038 2774 3035 0 18920 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90096 KiB
Current children cumulated memory: 76152 KiB
[startup+3.10558 s]
/proc/loadavg: 4.06 4.11 4.09 5/266 35347
/proc/meminfo: memFree=110227732/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=90096 memory=76676 CPUtime=3.08 cores=4,6
/proc/35346/stat : 35346 (fscip) R 35343 35346 30590 0 -1 4194304 18352 0 0 0 306 2 0 0 20 0 1 0 5177586 92258304 19169 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 22524 19169 2774 3035 0 18920 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 90096 KiB
Current children cumulated memory: 76676 KiB
[startup+6.30021 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 35347
/proc/meminfo: memFree=110226724/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=91120 memory=77732 CPUtime=6.27 cores=4,6
/proc/35346/stat : 35346 (fscip) R 35343 35346 30590 0 -1 4194304 18608 0 0 0 625 2 0 0 20 0 1 0 5177586 93306880 19433 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 22780 19433 2774 3035 0 19176 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 91120 KiB
Current children cumulated memory: 77732 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.11 4.09 5/268 35454
/proc/meminfo: memFree=112844928/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=298868 memory=184540 CPUtime=12.64 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 55017 0 0 0 1257 7 0 0 20 0 3 0 5177586 306040832 46135 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 74717 46135 2950 3035 0 55483 0
[pid=35346/tid=35405] ppid=35343 vsize=298868 memory=6018568718703826598 CPUtime=4.51 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 26068 0 0 0 448 3 0 0 20 0 3 0 5178401 306040832 46135 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=298868 memory=184296 CPUtime=0 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5178404 306040832 46135 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 298868 KiB
Current children cumulated memory: 184540 KiB
[startup+25.5002 s]
/proc/loadavg: 4.04 4.10 4.08 5/268 35456
/proc/meminfo: memFree=112826580/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=298868 memory=187448 CPUtime=25.4 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 69091 0 0 0 2532 8 0 0 20 0 3 0 5177586 306040832 46862 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 74717 46862 2966 3035 0 56186 0
[pid=35346/tid=35405] ppid=35343 vsize=298868 memory=5612 CPUtime=17.26 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 40121 0 0 0 1722 4 0 0 20 0 3 0 5178401 306040832 46862 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=298868 memory=187076 CPUtime=0 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 5178404 306040832 46862 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 298868 KiB
Current children cumulated memory: 187448 KiB
[startup+51.1055 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 35460
/proc/meminfo: memFree=112722444/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=369800 memory=254720 CPUtime=50.93 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 100295 0 0 0 5080 13 0 0 20 0 3 0 5177586 378675200 63680 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 92450 63680 2982 3035 0 73649 0
[pid=35346/tid=35405] ppid=35343 vsize=369800 memory=250760 CPUtime=42.79 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 71305 0 0 0 4270 9 0 0 20 0 3 0 5178401 378675200 63680 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=369800 memory=187688 CPUtime=0 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 3 0 5178404 378675200 63680 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 369800 KiB
Current children cumulated memory: 254720 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 35471
/proc/meminfo: memFree=112519576/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=369940 memory=270320 CPUtime=101.96 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 142538 0 0 0 10181 15 0 0 20 0 3 0 5177586 378818560 67580 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 92485 67580 2982 3035 0 76905 0
[pid=35346/tid=35405] ppid=35343 vsize=369940 memory=270296 CPUtime=93.83 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 113534 0 0 0 9372 11 0 0 20 0 3 0 5178401 378818560 67580 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=369940 memory=268328 CPUtime=0 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 5178404 378818560 67580 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 369940 KiB
Current children cumulated memory: 270320 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 35527
/proc/meminfo: memFree=115386012/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=369940 memory=271112 CPUtime=161.78 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 184091 0 0 0 16159 19 0 0 20 0 3 0 5177586 378818560 67778 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 92485 67778 3030 3035 0 79347 0
[pid=35346/tid=35405] ppid=35343 vsize=369940 memory=278632 CPUtime=153.65 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 155033 0 0 0 15350 15 0 0 20 0 3 0 5178401 378818560 67778 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=369940 memory=271112 CPUtime=0 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 5178404 378818560 67778 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 369940 KiB
Current children cumulated memory: 271112 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 35537
/proc/meminfo: memFree=115304060/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=369940 memory=273492 CPUtime=221.59 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 216325 0 0 0 22138 21 0 0 20 0 3 0 5177586 378818560 68373 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 92485 68373 3030 3035 0 79347 0
[pid=35346/tid=35405] ppid=35343 vsize=369940 memory=273492 CPUtime=213.45 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 187245 0 0 0 21328 17 0 0 20 0 3 0 5178401 378818560 68373 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=369940 memory=16104 CPUtime=0 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 79 0 0 0 0 0 0 0 20 0 3 0 5178404 378818560 68373 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 369940 KiB
Current children cumulated memory: 273492 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/261 35548
/proc/meminfo: memFree=115366480/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=369940 memory=273932 CPUtime=281.37 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 231174 0 0 0 28115 22 0 0 20 0 3 0 5177586 378818560 68483 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 92485 68483 3030 3035 0 79347 0
[pid=35346/tid=35405] ppid=35343 vsize=369940 memory=273492 CPUtime=273.23 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 202066 0 0 0 27305 18 0 0 20 0 3 0 5178401 378818560 68483 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=369940 memory=11400 CPUtime=0 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 86 0 0 0 0 0 0 0 20 0 3 0 5178404 378818560 68483 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 369940 KiB
################
# More data... #
################
/proc/35346/statm: 123940 103344 3334 3035 0 106772 0
[pid=35346/tid=35405] ppid=35343 vsize=495760 memory=413376 CPUtime=3383.28 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 563539 0 0 0 338270 58 0 0 20 0 3 0 5178401 507658240 103344 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=495760 memory=413376 CPUtime=0.03 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 274 0 0 0 1 2 0 0 20 0 3 0 5178404 507658240 103344 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 3391.56 s
Current children cumulated vsize: 495760 KiB
Current children cumulated memory: 413376 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/261 37170
/proc/meminfo: memFree=100944920/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=495760 memory=413376 CPUtime=3451.4 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 606040 0 0 0 345070 70 0 0 20 0 3 0 5177586 507658240 103344 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 123940 103344 3334 3035 0 106772 0
[pid=35346/tid=35405] ppid=35343 vsize=495760 memory=413376 CPUtime=3443.11 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 576002 0 0 0 344251 60 0 0 20 0 3 0 5178401 507658240 103344 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=495760 memory=413376 CPUtime=0.03 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 280 0 0 0 1 2 0 0 20 0 3 0 5178404 507658240 103344 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 3451.4 s
Current children cumulated vsize: 495760 KiB
Current children cumulated memory: 413376 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 37351
/proc/meminfo: memFree=100941336/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=495760 memory=413376 CPUtime=3511.23 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 610597 0 0 0 351052 71 0 0 20 0 3 0 5177586 507658240 103344 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 123940 103344 3334 3035 0 106772 0
[pid=35346/tid=35405] ppid=35343 vsize=495760 memory=413376 CPUtime=3502.94 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 580542 0 0 0 350233 61 0 0 20 0 3 0 5178401 507658240 103344 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=495760 memory=11400 CPUtime=0.03 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 282 0 0 0 1 2 0 0 20 0 3 0 5178404 507658240 103344 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 3511.23 s
Current children cumulated vsize: 495760 KiB
Current children cumulated memory: 413376 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 37361
/proc/meminfo: memFree=100938848/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=495760 memory=413428 CPUtime=3571.06 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 623562 0 0 0 357033 73 0 0 20 0 3 0 5177586 507658240 103357 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 123940 103357 3334 3035 0 106772 0
[pid=35346/tid=35405] ppid=35343 vsize=495760 memory=14648 CPUtime=3562.76 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 593485 0 0 0 356214 62 0 0 20 0 3 0 5178401 507658240 103357 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=495760 memory=33128 CPUtime=0.04 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 288 0 0 0 1 3 0 0 20 0 3 0 5178404 507658240 103357 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 3571.06 s
Current children cumulated vsize: 495760 KiB
Current children cumulated memory: 413428 KiB
[startup+3598.1 s]
# the end of solver process 35346 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.08 s, system=0.739487 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.11 4.09 5/263 37361
/proc/meminfo: memFree=100938976/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=495760 memory=413428 CPUtime=3572.76 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 623562 0 0 0 357203 73 0 0 20 0 3 0 5177586 507658240 103357 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 123940 103357 3334 3035 0 106772 0
[pid=35346/tid=35405] ppid=35343 vsize=495760 memory=7686721470247706567 CPUtime=3564.46 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 593485 0 0 0 356384 62 0 0 20 0 3 0 5178401 507658240 103357 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=495760 memory=4426365104594513565 CPUtime=0.04 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 288 0 0 0 1 3 0 0 20 0 3 0 5178404 507658240 103357 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 495760 KiB
Current children cumulated memory: 413428 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 37362
/proc/meminfo: memFree=100938968/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=495760 memory=413512 CPUtime=3579.14 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 624024 0 0 0 357841 73 0 0 20 0 3 0 5177586 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 123940 103378 3334 3035 0 106772 0
[pid=35346/tid=35405] ppid=35343 vsize=495760 memory=413428 CPUtime=3570.84 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 593947 0 0 0 357022 62 0 0 20 0 3 0 5178401 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=495760 memory=413428 CPUtime=0.04 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 288 0 0 0 1 3 0 0 20 0 3 0 5178404 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 3579.14 s
Current children cumulated vsize: 495760 KiB
Current children cumulated memory: 413512 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 37362
/proc/meminfo: memFree=100938824/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=495760 memory=413512 CPUtime=3582.33 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 624026 0 0 0 358160 73 0 0 20 0 3 0 5177586 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 123940 103378 3334 3035 0 106772 0
[pid=35346/tid=35405] ppid=35343 vsize=495760 memory=413512 CPUtime=3574.03 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 593949 0 0 0 357341 62 0 0 20 0 3 0 5178401 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=495760 memory=16104 CPUtime=0.04 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 288 0 0 0 1 3 0 0 20 0 3 0 5178404 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 3582.33 s
Current children cumulated vsize: 495760 KiB
Current children cumulated memory: 413512 KiB
[startup+3595.2 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 37362
/proc/meminfo: memFree=100938816/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=495760 memory=413512 CPUtime=3583.92 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 625324 0 0 0 358319 73 0 0 20 0 3 0 5177586 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 123940 103378 3334 3035 0 106772 0
[pid=35346/tid=35405] ppid=35343 vsize=495760 memory=12264 CPUtime=3575.62 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 595246 0 0 0 357500 62 0 0 20 0 3 0 5178401 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=495760 memory=-7451042325092983676 CPUtime=0.04 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 288 0 0 0 1 3 0 0 20 0 3 0 5178404 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 3583.92 s
Current children cumulated vsize: 495760 KiB
Current children cumulated memory: 413512 KiB
[startup+3596.8 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 37362
/proc/meminfo: memFree=100938816/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=495760 memory=413512 CPUtime=3585.52 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 625525 0 0 0 358479 73 0 0 20 0 3 0 5177586 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 123940 103378 3334 3035 0 106772 0
[pid=35346/tid=35405] ppid=35343 vsize=495760 memory=413428 CPUtime=3577.22 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 595445 0 0 0 357660 62 0 0 20 0 3 0 5178401 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=495760 memory=11400 CPUtime=0.04 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 290 0 0 0 1 3 0 0 20 0 3 0 5178404 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 3585.52 s
Current children cumulated vsize: 495760 KiB
Current children cumulated memory: 413512 KiB
[startup+3597.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 37362
/proc/meminfo: memFree=100938824/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=495760 memory=413512 CPUtime=3586.31 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 625529 0 0 0 358558 73 0 0 20 0 3 0 5177586 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 123940 103378 3334 3035 0 106772 0
[pid=35346/tid=35405] ppid=35343 vsize=495760 memory=1976 CPUtime=3578.02 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 595448 0 0 0 357740 62 0 0 20 0 3 0 5178401 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=495760 memory=7686721470247706567 CPUtime=0.04 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 290 0 0 0 1 3 0 0 20 0 3 0 5178404 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 3586.31 s
Current children cumulated vsize: 495760 KiB
Current children cumulated memory: 413512 KiB
[startup+3598 s]*
/proc/loadavg: 4.11 4.11 4.09 5/263 37364
/proc/meminfo: memFree=100938852/131524600 swapFree=131071216/131071996
[pid=35346] ppid=35343 vsize=495760 memory=413512 CPUtime=3586.72 cores=4,6
/proc/35346/stat : 35346 (fscip) S 35343 35346 30590 0 -1 1077936128 625577 0 0 0 358599 73 0 0 20 0 3 0 5177586 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
/proc/35346/statm: 123940 103378 3334 3035 0 106772 0
[pid=35346/tid=35405] ppid=35343 vsize=495760 memory=7686721470247706567 CPUtime=3578.42 cores=4,6
/proc/35346/task/35405/stat : 35405 (fscip) R 35343 35346 30590 0 -1 4194368 595642 0 0 0 357780 62 0 0 20 0 3 0 5178401 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
[pid=35346/tid=35406] ppid=35343 vsize=495760 memory=4426365104594513565 CPUtime=0.04 cores=4,6
/proc/35346/task/35406/stat : 35406 (fscip) S 35343 35346 30590 0 -1 1077936192 290 0 0 0 1 3 0 0 20 0 3 0 5178404 507658240 103378 134679101440 4194304 16623229 140724124380720 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 28590080 140724124382230 140724124382346 140724124382346 140724124389360 0
Current children cumulated CPU time: 3586.72 s
Current children cumulated vsize: 495760 KiB
Current children cumulated memory: 413512 KiB
Child status: 0
Real time (s): 3598.1
CPU time (s): 3586.82
CPU user time (s): 3586.08
CPU system time (s): 0.739487
CPU usage (%): 99.6865
Max. virtual memory (cumulated for all children) (KiB): 495760
Max. memory (cumulated for all children) (KiB): 413512
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.08
system time used= 0.739487
maximum resident set size= 413512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 628660
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= 7175
involuntary context switches= 3047
# summary of solver processes directly reported to runsolver:
# pid: 35346
# total CPU time (s): 3586.82
# total CPU user time (s): 3586.08
# total CPU system time (s): 0.739487
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.63195 second user time and 16.5389 second system time
The end
Begin job on nodeC021 at 2024-07-31 02:29:53
IDJOB=4464481
IDBENCH=158344
IDSOLVER=3092
FILE ID=nodeC021/4464481-1722385793
RUNJOBID= nodeC021-1722378594-30601
SLURM_JOB_ID= 8249844
Free space on /tmp= 889980 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.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-4464481-1722385793/watcher-4464481-1722385793 -o /tmp/evaluation-result-4464481-1722385793/solver-4464481-1722385793 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1722378594-30601 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464481-1722385793.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5359c0df8e4997707ebdbb5ef15bc818
RANDOM SEED=99795441
nodeC021.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 : 3668.711
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.80
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 : 3684.874
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.486
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.80
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.016
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3670.562
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.80
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 : 3684.936
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
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 : 3662.025
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.80
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.182
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.98
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 110294736 kB
MemAvailable: 117468448 kB
Buffers: 107980 kB
Cached: 7857892 kB
SwapCached: 56 kB
Active: 298228 kB
Inactive: 20332596 kB
Active(anon): 1520 kB
Inactive(anon): 12684636 kB
Active(file): 296708 kB
Inactive(file): 7647960 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 28756 kB
Writeback: 0 kB
AnonPages: 12657068 kB
Mapped: 126676 kB
Shmem: 21208 kB
KReclaimable: 137384 kB
Slab: 230004 kB
SReclaimable: 137384 kB
SUnreclaim: 92620 kB
KernelStack: 4304 kB
PageTables: 35244 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5162376 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8864 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5105664 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: 226004 kB
DirectMap2M: 15276032 kB
DirectMap1G: 120586240 kB
Free space on /tmp at the end= 889808 MiB
End job on nodeC021 at 2024-07-31 03:29:51