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.22/0.32 c Default LC presolving (default).
0.22/0.32 c ** Before presolving: virtualMemUsedAtLc = 152939641, getVmSize() = 114827264, SCIPgetMemUsed() = 80829137, SCIPgetMemTotal() = 87886081, SCIPgetMemExternEstim() = 65053560
0.22/0.32 c ** set memory limit for presolving in LC to 8.79605e+12 for SCIP **
1.68/1.72 c ** Estimated virtualMemUsedAtSolver = 235210447, getVmSize() = 322785280, SCIPgetMemUsed() = 156443791, SCIPgetMemTotal() = 287762111, SCIPgetMemExternEstim() = 65053560
1.68/1.72 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.68/1.72 c Original Problem :
1.68/1.72 c Problem name : instance-4464941-1722390219
1.68/1.72 c Variables : 24656 (24656 binary, 0 integer, 0 implicit integer, 0 continuous)
1.68/1.72 c Constraints : 46163
1.68/1.72 c Objective sense : minimize
1.68/1.72 c Presolved Problem :
1.68/1.72 c Variables : 47487 (24656 binary, 0 integer, 22831 implicit integer, 0 continuous)
1.68/1.72 c Constraints : 46163
1.68/1.72 c Constraints : Number
1.68/1.72 c knapsack : 1
1.68/1.72 c setppc : 450
1.68/1.72 c linear : 22856
1.68/1.72 c indicator : 22856
1.68/1.72 c ** Instance transfer method used: 0
1.78/1.88 c ** ParaScipInstance copy increased the number of variables. **
2.17/2.20 c LC is working with racing ramp-up and with rebuilding tree after racing.
2.17/2.20 c Nodes Active
2.17/2.20 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.73/5.88 c * 6 0 1 1 5714.0000 - -
5.73/5.88 c 6 0 1 1 5714.0000 - -
131.91/132.41 c * 132 0 1 1 2360.0000 - -
131.91/132.41 c 132 0 1 1 2360.0000 - -
148.27/148.89 c 149 2 1 1 2360.0000 0.0000 -
158.34/158.91 c 159 4 3 1 2360.0000 0.0000 -
164.62/165.29 c 165 7 6 1 2360.0000 0.0000 -
172.00/172.66 c 173 10 9 1 2360.0000 0.0000 -
179.98/180.62 c 181 13 12 1 2360.0000 0.0000 -
186.37/187.09 c 187 15 14 1 2360.0000 0.0000 -
201.01/201.73 c 202 17 16 1 2360.0000 0.0000 -
207.41/208.14 c 208 19 18 1 2360.0000 0.0000 -
214.78/215.55 c 216 22 21 1 2360.0000 0.0000 -
220.27/221.06 c 221 24 23 1 2360.0000 0.0000 -
227.14/228.01 c 228 32 31 1 2360.0000 0.0000 -
240.99/241.89 c 242 34 33 1 2360.0000 0.0000 -
243.99/244.85 c * 245 34 33 1 1431.0000 0.0000 -
260.97/261.82 c 262 41 40 1 1431.0000 0.0000 -
268.74/269.69 c 270 42 41 1 1431.0000 0.0000 -
272.43/273.34 c * 273 42 41 1 1225.0000 0.0000 -
280.32/281.23 c 281 45 44 1 1225.0000 0.0000 -
287.99/288.94 c 289 51 50 1 1225.0000 0.0000 -
295.19/296.15 c 296 55 54 1 1225.0000 0.0000 -
300.55/301.57 c 302 59 58 1 1225.0000 0.0000 -
306.54/307.54 c 308 65 64 1 1225.0000 0.0000 -
312.72/313.73 c 314 69 68 1 1225.0000 0.0000 -
319.90/320.94 c 321 73 72 1 1225.0000 0.0000 -
330.86/331.91 c 332 77 76 1 1225.0000 0.0000 -
339.54/340.63 c 341 84 83 1 1225.0000 0.0000 -
377.22/378.48 c 378 85 84 1 1225.0000 0.0000 -
382.30/383.50 c 384 86 85 1 1225.0000 0.0000 -
388.78/390.09 c 390 88 87 1 1225.0000 0.0000 -
398.03/399.32 c 399 92 91 1 1225.0000 0.0000 -
407.30/408.69 c 409 96 95 1 1225.0000 0.0000 -
417.87/419.21 c 419 97 96 1 1225.0000 0.0000 -
440.70/442.16 c 442 99 98 1 1225.0000 0.0000 -
447.25/448.79 c 449 102 101 1 1225.0000 0.0000 -
458.72/460.20 c 460 104 103 1 1225.0000 0.0000 -
465.09/466.61 c 467 106 105 1 1225.0000 0.0000 -
478.56/480.19 c 480 112 111 1 1225.0000 0.0000 -
484.54/486.19 c 486 116 115 1 1225.0000 0.0000 -
490.61/492.23 c * 492 118 117 1 1212.0000 0.0000 -
490.61/492.23 c 492 118 117 1 1212.0000 0.0000 -
495.92/497.50 c 498 124 123 1 1212.0000 0.0000 -
501.90/503.57 c 504 125 124 1 1212.0000 0.0000 -
507.28/508.96 c 509 128 127 1 1212.0000 0.0000 -
515.25/516.90 c 517 134 133 1 1212.0000 0.0000 -
521.53/523.23 c 523 140 139 1 1212.0000 0.0000 -
527.01/528.75 c 529 144 143 1 1212.0000 0.0000 -
533.49/535.24 c 535 150 149 1 1212.0000 0.0000 -
538.77/540.50 c 540 156 155 1 1212.0000 0.0000 -
549.25/551.03 c 551 160 159 1 1212.0000 0.0000 -
562.69/564.59 c 565 164 163 1 1212.0000 0.0000 -
601.94/603.91 c 604 170 169 1 1212.0000 0.0000 -
608.62/610.66 c 611 176 175 1 1212.0000 0.0000 -
649.59/651.75 c 652 180 179 1 1212.0000 0.0000 -
664.23/666.47 c 666 183 182 1 1212.0000 0.0000 -
673.10/675.32 c 675 187 186 1 1212.0000 0.0000 -
678.48/680.76 c 681 190 189 1 1212.0000 0.0000 -
683.67/685.93 c 686 194 193 1 1212.0000 0.0000 -
690.15/692.49 c 692 198 197 1 1212.0000 0.0000 -
695.33/697.65 c 698 200 199 1 1212.0000 0.0000 -
700.30/702.66 c 703 202 201 1 1212.0000 0.0000 -
706.99/709.39 c 709 206 205 1 1212.0000 0.0000 -
713.96/716.32 c 716 208 207 1 1212.0000 0.0000 -
791.21/793.83 c 794 210 209 1 1212.0000 0.0000 -
799.58/802.20 c 802 211 210 1 1212.0000 0.0000 -
908.51/911.51 c 912 214 213 1 1212.0000 0.0000 -
920.67/923.76 c 924 215 214 1 1212.0000 0.0000 -
928.35/931.44 c 931 217 216 1 1212.0000 0.0000 -
934.04/937.12 c 937 219 218 1 1212.0000 0.0000 -
940.21/943.35 c 943 222 221 1 1212.0000 0.0000 -
945.38/948.54 c 949 225 224 1 1212.0000 0.0000 -
971.50/974.72 c 975 229 228 1 1212.0000 0.0000 -
977.79/981.01 c 981 231 230 1 1212.0000 0.0000 -
985.46/988.74 c 989 234 233 1 1212.0000 0.0000 -
991.94/995.24 c 995 238 237 1 1212.0000 0.0000 -
1007.71/1011.06 c 1011 241 240 1 1212.0000 0.0000 -
1022.76/1026.19 c * 1026 242 241 1 1007.0000 0.0000 -
1022.76/1026.19 c 1026 242 241 1 1007.0000 0.0000 -
1035.14/1038.54 c 1039 250 249 1 1007.0000 0.0000 -
1040.43/1043.81 c 1044 254 253 1 1007.0000 0.0000 -
1048.99/1052.49 c 1052 258 257 1 1007.0000 0.0000 -
1057.58/1061.10 c 1061 262 261 1 1007.0000 0.0000 -
1063.26/1066.71 c 1067 266 265 1 1007.0000 0.0000 -
1068.55/1072.09 c 1072 269 268 1 1007.0000 0.0000 -
1087.99/1091.58 c 1092 271 270 1 1007.0000 0.0000 -
1094.48/1098.03 c 1098 275 274 1 1007.0000 0.0000 -
1103.45/1107.07 c 1107 277 276 1 1007.0000 0.0000 -
1108.83/1112.49 c 1112 281 280 1 1007.0000 0.0000 -
1115.61/1119.27 c * 1119 282 281 1 960.0000 0.0000 -
1115.61/1119.27 c 1119 282 281 1 960.0000 0.0000 -
1121.22/1124.88 c 1125 288 287 1 960.0000 0.0000 -
1129.89/1133.53 c 1134 292 291 1 960.0000 0.0000 -
1137.77/1141.44 c 1141 297 296 1 960.0000 0.0000 -
1148.74/1152.41 c 1152 303 302 1 960.0000 0.0000 -
1154.72/1158.44 c 1158 310 309 1 960.0000 0.0000 -
1160.00/1163.77 c 1164 314 313 1 960.0000 0.0000 -
1165.88/1169.65 c 1170 318 317 1 960.0000 0.0000 -
1171.57/1175.38 c 1175 324 323 1 960.0000 0.0000 -
1179.26/1183.11 c 1183 332 331 1 960.0000 0.0000 -
1186.02/1189.82 c 1190 338 337 1 960.0000 0.0000 -
1193.59/1197.43 c 1197 344 343 1 960.0000 0.0000 -
1199.08/1202.97 c 1203 348 347 1 960.0000 0.0000 -
1204.17/1208.06 c 1208 354 353 1 960.0000 0.0000 -
1211.45/1215.30 c 1215 362 361 1 960.0000 0.0000 -
1217.73/1221.60 c 1222 368 367 1 960.0000 0.0000 -
1224.80/1228.70 c 1229 372 371 1 960.0000 0.0000 -
1229.89/1233.80 c 1234 376 375 1 960.0000 0.0000 -
1235.87/1239.86 c 1240 382 381 1 960.0000 0.0000 -
1242.35/1246.32 c 1246 388 387 1 960.0000 0.0000 -
1251.62/1255.66 c 1256 392 391 1 960.0000 0.0000 -
1256.90/1260.92 c 1261 399 398 1 960.0000 0.0000 -
1263.91/1267.92 c * 1268 400 399 1 911.0000 0.0000 -
1263.91/1267.92 c 1268 400 399 1 911.0000 0.0000 -
1270.59/1274.63 c 1275 407 406 1 911.0000 0.0000 -
1277.98/1282.04 c 1282 412 411 1 911.0000 0.0000 -
1286.64/1290.73 c 1291 418 417 1 911.0000 0.0000 -
1293.41/1297.53 c 1298 419 418 1 911.0000 0.0000 -
1299.50/1303.64 c 1304 425 424 1 911.0000 0.0000 -
1306.08/1310.27 c 1310 428 427 1 911.0000 0.0000 -
1310.46/1314.66 c * 1315 428 427 1 907.0000 0.0000 -
1319.86/1324.10 c 1324 431 430 1 907.0000 0.0000 -
1326.63/1330.86 c 1331 435 434 1 907.0000 0.0000 -
1333.31/1337.55 c 1338 440 439 1 907.0000 0.0000 -
1338.09/1342.38 c * 1342 440 439 1 886.0000 0.0000 -
1340.69/1344.97 c 1345 444 443 1 886.0000 0.0000 -
1346.58/1350.81 c 1351 445 444 1 886.0000 0.0000 -
1351.66/1355.96 c 1356 450 449 1 886.0000 0.0000 -
1360.03/1364.37 c 1364 456 455 1 886.0000 0.0000 -
1365.61/1369.99 c 1370 462 461 1 886.0000 0.0000 -
1371.19/1375.51 c 1376 467 466 1 886.0000 0.0000 -
1377.38/1381.76 c 1382 472 471 1 886.0000 0.0000 -
1383.16/1387.52 c 1388 477 476 1 886.0000 0.0000 -
1388.34/1392.74 c 1393 480 479 1 886.0000 0.0000 -
1393.63/1398.07 c 1398 484 483 1 886.0000 0.0000 -
1399.10/1403.54 c 1404 490 489 1 886.0000 0.0000 -
1405.79/1410.20 c 1410 498 497 1 886.0000 0.0000 -
1412.27/1416.77 c * 1417 499 500 1 870.0000 0.0000 -
1412.27/1416.77 c 1417 499 500 1 870.0000 0.0000 -
1413.39/1417.82 c * 1418 499 500 1 863.0000 0.0000 -
1419.59/1424.10 c 1424 507 506 1 863.0000 0.0000 -
1430.35/1434.83 c 1435 509 508 1 863.0000 0.0000 -
1436.13/1440.61 c 1441 512 511 1 863.0000 0.0000 -
1442.01/1446.50 c 1446 518 517 1 863.0000 0.0000 -
1453.59/1458.16 c 1458 524 523 1 863.0000 0.0000 -
1461.05/1465.60 c 1466 526 525 1 863.0000 0.0000 -
1473.11/1477.70 c 1478 530 529 1 863.0000 0.0000 -
1478.79/1483.41 c 1483 537 536 1 863.0000 0.0000 -
1503.72/1508.48 c 1508 538 539 1 863.0000 0.0000 -
1513.79/1518.59 c 1519 540 539 1 863.0000 0.0000 -
1523.76/1528.53 c * 1529 540 541 1 852.0000 0.0000 -
1523.76/1528.53 c 1529 540 541 1 852.0000 0.0000 -
1525.18/1529.91 c * 1530 540 541 1 850.0000 0.0000 -
1539.45/1544.24 c 1544 544 543 1 850.0000 0.0000 -
1545.53/1550.31 c 1550 545 544 1 850.0000 0.0000 -
1550.71/1555.53 c 1556 548 547 1 850.0000 0.0000 -
1573.16/1578.03 c 1578 549 548 1 850.0000 0.0000 -
1583.61/1588.54 c 1589 551 550 1 850.0000 0.0000 -
1602.65/1607.60 c 1608 555 554 1 850.0000 0.0000 -
1611.92/1616.98 c 1617 557 556 1 850.0000 0.0000 -
1617.12/1622.11 c 1622 561 560 1 850.0000 0.0000 -
1623.49/1628.50 c 1628 568 567 1 850.0000 0.0000 -
1628.47/1633.51 c 1634 572 571 1 850.0000 0.0000 -
1643.82/1648.92 c 1649 580 579 1 850.0000 0.0000 -
1650.29/1655.43 c 1655 582 581 1 850.0000 0.0000 -
1657.38/1662.59 c 1663 584 583 1 850.0000 0.0000 -
1663.87/1669.11 c 1669 588 587 1 850.0000 0.0000 -
1681.70/1686.90 c 1687 591 590 1 850.0000 0.0000 -
1688.68/1693.92 c 1694 599 598 1 850.0000 0.0000 -
1702.14/1707.40 c 1707 604 603 1 850.0000 0.0000 -
1707.12/1712.46 c 1712 607 606 1 850.0000 0.0000 -
1717.80/1723.19 c 1723 608 607 1 850.0000 0.0000 -
1725.07/1730.43 c 1730 610 609 1 850.0000 0.0000 -
1730.66/1736.06 c 1736 614 613 1 850.0000 0.0000 -
1737.22/1742.66 c 1743 619 618 1 850.0000 0.0000 -
1742.81/1748.23 c 1748 624 623 1 850.0000 0.0000 -
1749.70/1755.11 c 1755 630 629 1 850.0000 0.0000 -
1757.76/1763.22 c 1763 634 633 1 850.0000 0.0000 -
1801.83/1807.49 c 1807 637 636 1 850.0000 0.0000 -
1817.49/1823.18 c 1823 638 637 1 850.0000 0.0000 -
1830.84/1836.54 c 1837 639 638 1 850.0000 0.0000 -
1841.33/1847.10 c 1847 640 639 1 850.0000 0.0000 -
1904.24/1910.16 c 1910 641 640 1 850.0000 0.0000 -
1924.27/1930.24 c 1930 642 641 1 850.0000 0.0000 -
1946.20/1952.20 c 1952 643 642 1 850.0000 0.0000 -
1966.34/1972.42 c 1972 644 643 1 850.0000 0.0000 -
1985.99/1992.13 c 1992 645 644 1 850.0000 0.0000 -
1996.75/2002.95 c 2003 646 645 1 850.0000 0.0000 -
2005.12/2011.35 c 2011 647 646 1 850.0000 0.0000 -
2110.57/2117.03 c 2117 648 647 1 850.0000 0.0000 -
2136.69/2143.26 c 2143 649 648 1 850.0000 0.0000 -
2155.34/2161.97 c 2162 650 649 1 850.0000 0.0000 -
2167.32/2173.99 c 2174 651 650 1 850.0000 0.0000 -
2246.23/2253.04 c 2253 652 651 1 850.0000 0.0000 -
2273.35/2280.24 c 2280 653 652 1 850.0000 0.0000 -
2302.76/2309.76 c 2310 654 653 1 850.0000 0.0000 -
2319.02/2326.10 c 2326 655 654 1 850.0000 0.0000 -
2330.27/2337.38 c 2337 656 655 1 850.0000 0.0000 -
2340.75/2347.87 c 2348 657 656 1 850.0000 0.0000 -
2346.94/2354.04 c 2354 658 657 1 850.0000 0.0000 -
2436.11/2443.46 c 2443 659 658 1 850.0000 0.0000 -
2459.44/2466.86 c 2467 660 659 1 850.0000 0.0000 -
2479.31/2486.74 c 2487 661 660 1 850.0000 0.0000 -
2494.76/2502.25 c 2502 662 661 1 850.0000 0.0000 -
2631.86/2639.61 c 2640 663 662 1 850.0000 0.0000 -
2670.18/2678.10 c 2678 664 663 1 850.0000 0.0000 -
2690.81/2698.74 c 2699 665 664 1 850.0000 0.0000 -
2703.88/2711.88 c 2712 666 665 1 850.0000 0.0000 -
2718.54/2726.55 c 2727 667 666 1 850.0000 0.0000 -
2841.56/2849.84 c 2850 668 667 1 850.0000 0.0000 -
2870.80/2879.17 c 2879 669 668 1 850.0000 0.0000 -
2883.67/2892.04 c 2892 670 669 1 850.0000 0.0000 -
3039.95/3048.72 c 3049 672 671 1 850.0000 0.0000 -
3065.38/3074.26 c 3074 673 672 1 850.0000 0.0000 -
3088.24/3097.18 c 3097 674 673 1 850.0000 0.0000 -
3107.57/3116.59 c 3117 675 674 1 850.0000 0.0000 -
3116.06/3125.06 c 3125 676 675 1 850.0000 0.0000 -
3260.16/3269.55 c 3270 677 676 1 850.0000 0.0000 -
3296.07/3305.55 c 3306 678 677 1 850.0000 0.0000 -
3324.19/3333.77 c 3334 679 678 1 850.0000 0.0000 -
3354.42/3364.01 c 3364 680 679 1 850.0000 0.0000 -
3376.65/3386.35 c 3386 681 680 1 850.0000 0.0000 -
3387.12/3396.89 c 3397 682 681 1 850.0000 0.0000 -
3499.72/3509.74 c 3510 683 682 1 850.0000 0.0000 -
3532.24/3542.35 c 3542 684 683 1 850.0000 0.0000 -
3551.09/3561.22 c 3561 685 684 1 850.0000 0.0000 -
3564.56/3574.73 c 3575 686 685 1 850.0000 0.0000 -
3570.35/3580.57 c 3581 687 686 1 850.0000 0.0000 -
3582.02/3592.20 c 3592 688 687 1 850.0000 0.0000 -
3588.60/3598.84 c 3599 688 687 0 850.0000 0.0000 -
3589.29/3599.50 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.29/3599.50 c Total Time : 3599.5000
3589.29/3599.50 c solving : 3599.5000
3589.29/3599.50 c presolving : 1.3999 (included in solving)
3589.29/3599.50 c B&B Tree :
3589.29/3599.50 c nodes (total) : 1
3589.29/3599.50 c Solution :
3589.29/3599.50 c Solutions found : 14
3589.29/3599.50 c Primal Bound : +8.50000000000000e+02
3589.29/3599.50 c Dual Bound : +0.00000000000000e+00
3589.29/3599.50 c Gap : infinite
3589.29/3599.50 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3589.29/3599.53 o 850
3589.29/3599.53 s SATISFIABLE
3589.29/3599.53 v x1800 -x1799 -x1798 -x1797 -x1796 x1795 -x1794 -x1793 -x1792 -x1791 x1790 -x1789 -x1788 -x1787 x1786 -x1785 -x1784 -x1783 -x1782
3589.29/3599.53 v x1781 -x1780 -x1779 x1778 -x1777 x1776 -x1775 -x1774 -x1773 -x1772 x1771 -x1770 -x1769 -x1768 x1767 -x1766 -x1765 x1764 -x1763
3589.29/3599.53 v -x1762 -x1761 x1760 -x1759 -x1758 -x1757 x1756 -x1755 -x1754 -x1753 -x1752 -x1751 x1750 -x1749 x1748 -x1747 -x1746 -x1745
3589.29/3599.53 v -x1744 -x1743 -x1742 x1741 x1740 -x1739 -x1738 -x1737 x1736 -x1735 -x1734 -x1733 -x1732 x1731 -x1730 -x1729 -x1728 x1727 -x1726
3589.29/3599.53 v -x1725 -x1724 -x1723 -x1722 x1721 -x1720 -x1719 -x1718 x1717 x1716 -x1715 -x1714 -x1713 -x1712 x1711 -x1710 -x1709 -x1708
3589.29/3599.53 v -x1707 x1706 -x1705 -x1704 -x1703 x1702 -x1701 x1700 -x1699 -x1698 -x1697 x1696 -x1695 -x1694 -x1693 -x1692 x1691 -x1690 -x1689
3589.29/3599.53 v -x1688 -x1687 -x1686 x1685 -x1684 x1683 -x1682 -x1681 x1680 -x1679 -x1678 -x1677 x1676 -x1675 -x1674 -x1673 -x1672 -x1671
3589.29/3599.53 v x1670 -x1669 -x1668 x1667 -x1666 -x1665 -x1664 x1663 -x1662 -x1661 x1660 -x1659 -x1658 -x1657 -x1656 x1655 -x1654 -x1653 -x1652
3589.29/3599.53 v -x1651 x1650 -x1649 -x1648 -x1647 x1646 -x1645 -x1644 -x1643 -x1642 x1641 x1640 -x1639 -x1638 -x1637 -x1636 x1635 -x1634
3589.29/3599.53 v -x1633 -x1632 x1631 -x1630 -x1629 -x1628 -x1627 x1626 -x1625 -x1624 -x1623 x1622 -x1621 -x1620 -x1619 -x1618 x1617 x1616 -x1615
3589.29/3599.53 v -x1614 -x1613 x1612 -x1611 -x1610 -x1609 x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 x1601 x1600 -x1599 -x1598 -x1597
3589.29/3599.53 v x1596 -x1595 -x1594 -x1593 -x1592 x1591 -x1590 -x1589 -x1588 -x1587 x1586 -x1585 -x1584 -x1583 -x1582 x1581 -x1580 -x1579 -x1578
3589.29/3599.53 v x1577 x1576 -x1575 -x1574 -x1573 x1572 -x1571 -x1570 -x1569 -x1568 x1567 -x1566 -x1565 x1564 -x1563 -x1562 -x1561 x1560 -x1559
3589.29/3599.53 v -x1558 -x1557 x1556 -x1555 -x1554 -x1553 x1552 -x1551 -x1550 -x1549 -x1548 -x1547 x1546 -x1545 -x1544 x1543 -x1542 -x1541
3589.29/3599.53 v -x1540 x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533 -x1532 -x1531 x1530 -x1529 x1528 -x1527 -x1526 -x1525 x1524 -x1523 -x1522
3589.29/3599.53 v -x1521 x1520 -x1519 -x1518 -x1517 x1516 -x1515 -x1514 -x1513 x1512 -x1511 -x1510 -x1509 -x1508 -x1507 x1506 -x1505 x1504
3589.29/3599.53 v -x1503 -x1502 -x1501 x1500 -x1499 -x1498 -x1497 x1496 -x1495 -x1494 -x1493 -x1492 -x1491 x1490 -x1489 -x1488 -x1487 x1486 -x1485
3589.29/3599.53 v -x1484 -x1483 x1482 -x1481 x1480 -x1479 -x1478 -x1477 -x1476 -x1475 x1474 -x1473 -x1472 -x1471 -x1470 x1469 -x1468 -x1467
3589.29/3599.53 v x1466 -x1465 -x1464 -x1463 x1462 -x1461 -x1460 -x1459 -x1458 x1457 x1456 -x1455 -x1454 -x1453 -x1452 x1451 -x1450 -x1449 -x1448
3589.29/3599.53 v -x1447 -x1446 x1445 x1444 -x1443 -x1442 -x1441 x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 x1433 -x1432 -x1431 x1430
3589.29/3599.53 v -x1429 -x1428 x1427 -x1426 -x1425 -x1424 -x1423 -x1422 x1421 -x1420 -x1419 -x1418 x1417 -x1416 -x1415 -x1414 x1413 -x1412 x1411
3589.29/3599.53 v -x1410 -x1409 -x1408 x1407 -x1406 -x1405 -x1404 -x1403 x1402 -x1401 -x1400 -x1399 -x1398 x1397 x1396 -x1395 -x1394 -x1393
3589.29/3599.53 v -x1392 -x1391 x1390 -x1389 -x1388 -x1387 -x1386 x1385 -x1384 -x1383 -x1382 x1381 x1380 -x1379 -x1378 -x1377 -x1376 x1375 -x1374
3589.29/3599.53 v -x1373 x1372 -x1371 -x1370 -x1369 -x1368 -x1367 x1366 -x1365 -x1364 -x1363 -x1362 x1361 -x1360 -x1359 -x1358 x1357 x1356
3589.29/3599.53 v -x1355 -x1354 -x1353 -x1352 x1351 -x1350 -x1349 -x1348 -x1347 -x1346 x1345 -x1344 -x1343 -x1342 x1341 -x1340 -x1339 -x1338 x1337
3589.29/3599.53 v x1336 -x1335 -x1334 -x1333 -x1332 x1331 -x1330 -x1329 -x1328 -x1327 x1326 -x1325 x1324 -x1323 -x1322 -x1321 -x1320 x1319
3589.29/3599.53 v -x1318 -x1317 x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 x1309 -x1308 x1307 -x1306 -x1305 -x1304 -x1303 x1302 -x1301 -x1300
3589.29/3599.53 v x1299 -x1298 -x1297 x1296 -x1295 -x1294 -x1293 x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 x1285 -x1284 -x1283 -x1282
3589.29/3599.53 v x1281 x1280 -x1279 -x1278 -x1277 -x1276 -x1275 x1274 -x1273 -x1272 x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 -x1263
3589.29/3599.53 v -x1262 x1261 -x1260 x1259 -x1258 -x1257 -x1256 x1255 -x1254 -x1253 -x1252 x1251 -x1250 -x1249 -x1248 -x1247 -x1246 x1245
3589.29/3599.53 v -x1244 x1243 -x1242 -x1241 -x1240 x1239 -x1238 -x1237 -x1236 x1235 -x1234 -x1233 -x1232 x1231 -x1230 -x1229 -x1228 -x1227 x1226
3589.29/3599.53 v -x1225 -x1224 x1223 -x1222 -x1221 -x1220 -x1219 -x1218 x1217 -x1216 -x1215 x1214 -x1213 -x1212 x1211 -x1210 -x1209 -x1208
3589.29/3599.53 v -x1207 x1206 -x1205 -x1204 x1203 -x1202 -x1201 -x1200 x1199 -x1198 -x1197 -x1196 x1195 -x1194 -x1193 -x1192 x1191 -x1190 -x1189
3589.29/3599.53 v -x1188 -x1187 x1186 -x1185 -x1184 -x1183 x1182 -x1181 -x1180 x1179 -x1178 -x1177 x1176 -x1175 -x1174 -x1173 -x1172 -x1171
3589.29/3599.53 v x1170 -x1169 -x1168 -x1167 -x1166 x1165 -x1164 -x1163 x1162 -x1161 -x1160 -x1159 -x1158 x1157 -x1156 -x1155 x1154 -x1153 -x1152
3589.29/3599.53 v -x1151 x1150 -x1149 -x1148 -x1147 x1146 -x1145 -x1144 x1143 -x1142 -x1141 -x1140 x1139 -x1138 -x1137 -x1136 -x1135 -x1134
3589.29/3599.53 v x1133 -x1132 -x1131 x1130 -x1129 -x1128 -x1127 x1126 -x1125 -x1124 -x1123 x1122 -x1121 -x1120 -x1119 -x1118 x1117 x1116 -x1115
3589.29/3599.53 v -x1114 -x1113 x1112 -x1111 -x1110 -x1109 -x1108 -x1107 x1106 -x1105 -x1104 x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097
3589.29/3599.53 v -x1096 x1095 -x1094 -x1093 -x1092 -x1091 -x1090 x1089 -x1088 -x1087 -x1086 x1085 -x1084 -x1083 -x1082 x1081 -x1080 -x1079 -x1078
3589.29/3599.53 v x1077 -x1076 -x1075 x1074 -x1073 -x1072 -x1071 x1070 -x1069 -x1068 -x1067 x1066 -x1065 -x1064 -x1063 -x1062 x1061 x1060 -x1059
3589.29/3599.53 v -x1058 -x1057 -x1056 -x1055 -x1054 x1053 -x1052 x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042 x1041
3589.29/3599.53 v -x1040 -x1039 -x1038 x1037 -x1036 -x1035 x1034 -x1033 -x1032 x1031 -x1030 -x1029 -x1028 -x1027 x1026 -x1025 -x1024 -x1023
3589.29/3599.53 v x1022 -x1021 -x1020 x1019 -x1018 -x1017 -x1016 x1015 -x1014 -x1013 -x1012 x1011 -x1010 -x1009 -x1008 -x1007 x1006 -x1005 -x1004
3589.29/3599.53 v -x1003 -x1002 x1001 -x1000 -x999 -x998 x997 -x996 -x995 -x994 x993 -x992 x991 -x990 -x989 -x988 -x987 -x986 x985 -x984 -x983
3589.29/3599.53 v -x982 x981 -x980 -x979 -x978 x977 -x976 -x975 -x974 x973 -x972 x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 x963 -x962 -x961
3589.29/3599.53 v -x960 -x959 -x958 x957 -x956 -x955 -x954 x953 -x952 -x951 x950 -x949 -x948 x947 -x946 -x945 -x944 -x943 -x942 x941 -x940
3589.29/3599.53 v -x939 x938 -x937 x936 -x935 -x934 -x933 -x932 -x931 x930 -x929 -x928 x927 -x926 -x925 -x924 -x923 x922 -x921 x920 -x919 -x918
3589.29/3599.53 v -x917 -x916 -x915 x914 -x913 x912 -x911 -x910 -x909 -x908 -x907 -x906 x905 -x904 x903 -x902 -x901 x900 -x899 -x898 -x897 x896
3589.29/3599.53 v -x895 -x894 -x893 -x892 -x891 x890 -x889 -x888 -x887 -x886 x885 -x884 -x883 -x882 x881 -x880 -x879 -x878 x877 -x876 -x875 -x874
3589.29/3599.53 v x873 -x872 -x871 x870 -x869 x868 -x867 -x866 -x865 -x864 -x863 -x862 x861 -x860 x859 -x858 -x857 x856 -x855 -x854 -x853
3589.29/3599.53 v -x852 -x851 x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 x841 x840 -x839 -x838 -x837 -x836 x835 -x834 -x833 -x832 x831
3589.29/3599.53 v -x830 -x829 -x828 -x827 -x826 x825 -x824 -x823 -x822 x821 -x820 -x819 -x818 x817 -x816 -x815 -x814 x813 x812 -x811 -x810 -x809
3589.29/3599.53 v -x808 -x807 x806 -x805 -x804 x803 -x802 -x801 -x800 x799 -x798 -x797 -x796 -x795 x794 -x793 -x792 -x791 -x790 x789 -x788 -x787
3589.29/3599.53 v -x786 x785 -x784 -x783 x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 x774 -x773 -x772 -x771 -x770 x769 -x768 -x767 x766
3589.29/3599.53 v -x765 -x764 x763 -x762 -x761 x760 -x759 -x758 -x757 -x756 -x755 x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 x746 -x745 -x744
3589.29/3599.53 v -x743 x742 -x741 -x740 -x739 x738 -x737 x736 -x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 -x726 x725 -x724 x723 -x722
3589.29/3599.53 v -x721 -x720 x719 -x718 -x717 x716 -x715 -x714 -x713 -x712 -x711 x710 -x709 -x708 -x707 x706 -x705 -x704 -x703 -x702 x701 -x700
3589.29/3599.53 v -x699 x698 -x697 x696 -x695 -x694 -x693 -x692 x691 -x690 -x689 x688 -x687 -x686 -x685 -x684 x683 -x682 -x681 -x680 -x679
3589.29/3599.53 v -x678 x677 x676 -x675 -x674 -x673 x672 -x671 -x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 x660 -x659 -x658 -x657
3589.29/3599.53 v -x656 x655 -x654 -x653 -x652 x651 -x650 -x649 -x648 x647 -x646 -x645 -x644 -x643 x642 -x641 x640 -x639 -x638 -x637 -x636 -x635
3589.29/3599.53 v -x634 x633 -x632 x631 -x630 -x629 -x628 -x627 x626 -x625 x624 -x623 -x622 -x621 -x620 x619 -x618 -x617 -x616 -x615 x614 -x613
3589.29/3599.53 v -x612 x611 -x610 -x609 -x608 -x607 -x606 x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 x597 -x596 -x595 x594 -x593 -x592
3589.29/3599.53 v -x591 -x590 x589 -x588 x587 -x586 -x585 x584 -x583 -x582 -x581 x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 x570
3589.29/3599.53 v -x569 -x568 -x567 x566 -x565 -x564 -x563 x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 x554 -x553 -x552 x551 -x550 -x549 -x548
3589.50/3599.74 v -x547 -x546 x545 -x544 -x543 -x542 x541 -x540 -x539 -x538 x537 x536 -x535 -x534 -x533 -x532 -x531 x530 -x529 -x528 -x527
3589.50/3599.74 v -x526 x525 -x524 x523 -x522 -x521 -x520 x519 -x518 -x517 -x516 x515 -x514 -x513 x512 -x511 -x510 -x509 x508 -x507 -x506 -x505
3589.50/3599.74 v x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 x490 -x489 x488 -x487 -x486 -x485 -x484 -x483
3589.50/3599.74 v -x482 x481 -x480 x479 -x478 -x477 -x476 x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 -x467 x466 -x465 -x464 -x463 -x462 x461
3589.50/3599.74 v -x460 x459 -x458 -x457 -x456 x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 x447 -x446 -x445 -x444 x443 -x442 -x441 x440 -x439
3589.50/3599.74 v -x438 -x437 -x436 -x435 x434 -x433 x432 -x431 -x430 -x429 -x428 -x427 x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 x418
3589.50/3599.74 v -x417 -x416 -x415 x414 -x413 -x412 -x411 x410 -x409 -x408 x407 -x406 -x405 -x404 -x403 -x402 x401 x400 -x399 -x398 -x397 -x396
3589.50/3599.74 v x395 -x394 -x393 -x392 -x391 x390 -x389 x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 x380 -x379 -x378 -x377 -x376 -x375 -x374
3589.50/3599.74 v x373 -x372 x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 -x363 -x362 x361 -x360 x359 -x358 -x357 -x356 -x355 -x354 x353
3589.50/3599.74 v -x352 -x351 x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 x342 -x341 x340 -x339 -x338 -x337 x336 -x335 -x334 -x333 x332 -x331
3589.50/3599.74 v -x330 -x329 -x328 -x327 x326 -x325 -x324 x323 -x322 -x321 -x320 x319 -x318 -x317 x316 -x315 -x314 -x313 x312 -x311 -x310 -x309
3589.50/3599.74 v -x308 -x307 x306 -x305 -x304 -x303 -x302 x301 -x300 x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 x287
3589.50/3599.74 v -x286 -x285 -x284 -x283 x282 -x281 -x280 -x279 -x278 x277 -x276 x275 -x274 -x273 -x272 x271 -x270 -x269 -x268 -x267 -x266
3589.50/3599.74 v x265 x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 x248 -x247 -x246 -x245 x244
3589.50/3599.74 v -x243 -x242 -x241 -x240 x239 -x238 -x237 x236 -x235 -x234 -x233 -x232 -x231 x230 -x229 -x228 -x227 x226 -x225 x224 -x223 -x222
3589.50/3599.74 v -x221 -x220 x219 -x218 -x217 x216 -x215 -x214 -x213 -x212 -x211 x210 -x209 -x208 x207 -x206 -x205 -x204 x203 -x202 -x201 x200
3589.50/3599.74 v -x199 -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 x181 -x180 -x179
3589.50/3599.74 v x178 -x177 -x176 -x175 -x174 x173 -x172 x171 -x170 -x169 -x168 -x167 -x166 x165 -x164 -x163 -x162 x161 -x160 x159 -x158 -x157
3589.50/3599.74 v -x156 -x155 x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 x146 -x145 -x144 -x143 -x142 x141 x140 -x139 -x138 -x137 -x136 -x135
3589.50/3599.74 v x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 x117 -x116 -x115 -x114
3589.50/3599.74 v x113 -x112 x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103 -x102 x101 -x100 -x99 x98 -x97 -x96 -x95 x94 -x93 -x92 -x91 x90
3589.50/3599.74 v -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 x69 -x68 -x67 -x66 x65 -x64
3589.50/3599.74 v x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 x45 -x44 -x43 x42 -x41 x40 -x39 -x38 -x37
3589.50/3599.74 v -x36 -x35 -x34 x33 -x32 -x31 -x30 x29 -x28 x27 -x26 -x25 -x24 -x23 x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11
3589.50/3599.74 v -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 (58624 MiB free)
memory of node 1: 64510 MiB (60745 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4464941-1722390219/watcher-4464941-1722390219 -o /tmp/evaluation-result-4464941-1722390219/solver-4464941-1722390219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722390200-35659 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464941-1722390219.wbo -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=35965, runsolver pid=35962
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 1.96 2.21 3.10 5/244 35966
/proc/meminfo: memFree=122171704/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=46216 memory=34460 CPUtime=0.1 cores=1,3
/proc/35965/stat : 35965 (fscip) R 35962 35965 35647 0 -1 4194304 6478 0 0 0 8 2 0 0 20 0 1 0 5618801 47325184 8615 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 11554 8615 2347 3035 0 7950 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46216 KiB
Current children cumulated memory: 34460 KiB
[startup+0.214132 s]*
/proc/loadavg: 1.96 2.21 3.10 5/244 35966
/proc/meminfo: memFree=122145972/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=76580 memory=65180 CPUtime=0.22 cores=1,3
/proc/35965/stat : 35965 (fscip) R 35962 35965 35647 0 -1 4194304 14237 0 0 0 18 4 0 0 20 0 1 0 5618801 78417920 16295 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 19145 16295 2555 3035 0 15541 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 76580 KiB
Current children cumulated memory: 65180 KiB
[startup+0.314121 s]*
/proc/loadavg: 1.96 2.21 3.10 5/244 35966
/proc/meminfo: memFree=122106548/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=115344 memory=102300 CPUtime=0.32 cores=1,3
/proc/35965/stat : 35965 (fscip) R 35962 35965 35647 0 -1 4194304 23435 0 0 0 25 7 0 0 20 0 1 0 5618801 118112256 25575 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 28836 25575 2598 3035 0 25232 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 115344 KiB
Current children cumulated memory: 102300 KiB
[startup+0.700354 s]
/proc/loadavg: 1.96 2.21 3.10 5/244 35966
/proc/meminfo: memFree=121911084/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=204484 memory=188216 CPUtime=0.69 cores=1,3
/proc/35965/stat : 35965 (fscip) R 35962 35965 35647 0 -1 4194304 44945 0 0 0 58 11 0 0 20 0 1 0 5618801 209391616 47054 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 51121 47054 2630 3035 0 47517 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 204484 KiB
Current children cumulated memory: 188216 KiB
[startup+1.50032 s]
/proc/loadavg: 1.96 2.21 3.10 5/237 35971
/proc/meminfo: memFree=121643608/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=215548 memory=196440 CPUtime=1.49 cores=1,3
/proc/35965/stat : 35965 (fscip) R 35962 35965 35647 0 -1 4194304 46992 0 0 0 137 12 0 0 20 0 1 0 5618801 220721152 49110 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 53887 49110 2662 3035 0 50283 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 215548 KiB
Current children cumulated memory: 196440 KiB
[startup+3.10909 s]
/proc/loadavg: 1.96 2.21 3.10 6/244 36014
/proc/meminfo: memFree=120231264/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=684636 memory=538860 CPUtime=3.06 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 142500 0 0 0 274 32 0 0 20 0 3 0 5618801 701067264 134715 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 171159 134715 2726 3035 0 159874 0
[pid=35965/tid=36013] ppid=35962 vsize=684636 memory=198340509722 CPUtime=1.18 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 60241 0 0 0 104 14 0 0 20 0 3 0 5618973 701067264 134715 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=684636 memory=11488 CPUtime=0 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5619022 701067264 134715 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 684636 KiB
Current children cumulated memory: 538860 KiB
[startup+6.30107 s]
/proc/loadavg: 2.21 2.26 3.11 6/244 36014
/proc/meminfo: memFree=118654820/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=818496 memory=662740 CPUtime=6.26 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 215076 0 0 0 585 41 0 0 20 0 3 0 5618801 838139904 165685 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 204624 165685 2886 3035 0 192278 0
[pid=35965/tid=36013] ppid=35962 vsize=818496 memory=233432 CPUtime=4.34 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 123084 0 0 0 413 21 0 0 20 0 3 0 5618973 838139904 165685 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=818496 memory=0 CPUtime=0 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5619022 838139904 165685 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 818496 KiB
Current children cumulated memory: 662740 KiB
[startup+12.7004 s]
/proc/loadavg: 2.35 2.29 3.12 5/246 36017
/proc/meminfo: memFree=117387852/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=884032 memory=719104 CPUtime=12.61 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 279811 0 0 0 1214 47 0 0 20 0 3 0 5618801 905248768 179776 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 221008 179776 2902 3035 0 210124 0
[pid=35965/tid=36013] ppid=35962 vsize=884032 memory=623592 CPUtime=10.69 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 187811 0 0 0 1042 27 0 0 20 0 3 0 5618973 905248768 179776 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=884032 memory=11488 CPUtime=0 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 5619022 905248768 179776 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 884032 KiB
Current children cumulated memory: 719104 KiB
[startup+25.5004 s]
/proc/loadavg: 2.72 2.38 3.13 5/246 36019
/proc/meminfo: memFree=117025232/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=884032 memory=725572 CPUtime=25.35 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 314417 0 0 0 2485 50 0 0 20 0 3 0 5618801 905248768 181393 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 221008 181393 2902 3035 0 211887 0
[pid=35965/tid=36013] ppid=35962 vsize=884032 memory=233432 CPUtime=23.44 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 222402 0 0 0 2314 30 0 0 20 0 3 0 5618973 905248768 181393 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=884032 memory=724020 CPUtime=0 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5619022 905248768 181393 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 884032 KiB
Current children cumulated memory: 725572 KiB
[startup+51.1144 s]
/proc/loadavg: 3.16 2.51 3.16 5/246 36023
/proc/meminfo: memFree=116944808/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=884032 memory=730416 CPUtime=50.85 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 350872 0 0 0 5030 55 0 0 20 0 3 0 5618801 905248768 182604 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 221008 182604 2902 3035 0 213134 0
[pid=35965/tid=36013] ppid=35962 vsize=884032 memory=-6000919472790726252 CPUtime=48.93 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 258836 0 0 0 4858 35 0 0 20 0 3 0 5618973 905248768 182604 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=884032 memory=729820 CPUtime=0 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 5619022 905248768 182604 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 884032 KiB
Current children cumulated memory: 730416 KiB
[startup+102.3 s]
/proc/loadavg: 3.76 2.77 3.21 5/248 36034
/proc/meminfo: memFree=116497268/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=1223164 memory=1035880 CPUtime=101.87 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 572184 0 0 0 10111 76 0 0 20 0 3 0 5618801 1252519936 258970 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 305791 258970 2998 3035 0 290355 0
[pid=35965/tid=36013] ppid=35962 vsize=1223164 memory=1035880 CPUtime=99.96 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 480134 0 0 0 9940 56 0 0 20 0 3 0 5618973 1252519936 258970 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=1223164 memory=16700 CPUtime=0 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 65 0 0 0 0 0 0 0 20 0 3 0 5619022 1252519936 258970 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 1223164 KiB
Current children cumulated memory: 1035880 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 3.01 3.27 5/245 36045
/proc/meminfo: memFree=116092300/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=1288700 memory=1140556 CPUtime=161.73 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 715316 0 0 0 16084 89 0 0 20 0 3 0 5618801 1319628800 285139 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 322175 285139 3014 3035 0 314999 0
[pid=35965/tid=36013] ppid=35962 vsize=1288700 memory=16700 CPUtime=159.79 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 613494 0 0 0 15911 68 0 0 20 0 3 0 5618973 1319628800 285139 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=1288700 memory=1140556 CPUtime=0 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 76 0 0 0 0 0 0 0 20 0 3 0 5619022 1319628800 285139 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 1288700 KiB
Current children cumulated memory: 1140556 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 3.23 3.33 5/245 36055
/proc/meminfo: memFree=116060892/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=1288700 memory=1147460 CPUtime=221.56 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 850636 0 0 0 22057 99 0 0 20 0 3 0 5618801 1319628800 286865 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 322175 286865 3014 3035 0 317702 0
[pid=35965/tid=36013] ppid=35962 vsize=1288700 memory=11488 CPUtime=219.61 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 748788 0 0 0 21884 77 0 0 20 0 3 0 5618973 1319628800 286865 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=1288700 memory=2448 CPUtime=0 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 79 0 0 0 0 0 0 0 20 0 3 0 5619022 1319628800 286865 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 1288700 KiB
Current children cumulated memory: 1147460 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 3.39 3.38 5/245 36066
/proc/meminfo: memFree=116059964/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=1288700 memory=1147948 CPUtime=281.41 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 957944 0 0 0 28034 107 0 0 20 0 3 0 5618801 1319628800 286987 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
################
# More data... #
################
/proc/loadavg: 2.11 2.09 2.16 3/230 37889
/proc/meminfo: memFree=124941636/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=1790808 memory=1584752 CPUtime=3452.45 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 3598490 0 0 0 344876 369 0 0 20 0 3 0 5618801 1833787392 396188 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 447702 396188 3030 3035 0 428843 0
[pid=35965/tid=36013] ppid=35962 vsize=1790808 memory=1574344 CPUtime=3450.13 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 3423559 0 0 0 344680 333 0 0 20 0 3 0 5618973 1833787392 396188 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=1790808 memory=11488 CPUtime=0.06 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 449 0 0 0 1 5 0 0 20 0 3 0 5619022 1833787392 396188 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 3452.45 s
Current children cumulated vsize: 1790808 KiB
Current children cumulated memory: 1584752 KiB
[startup+3522.3 s]
/proc/loadavg: 2.09 2.09 2.16 3/230 37899
/proc/meminfo: memFree=124903400/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=1790808 memory=1620688 CPUtime=3512.29 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 3621407 0 0 0 350857 372 0 0 20 0 3 0 5618801 1833787392 405172 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 447702 405172 3030 3035 0 439446 0
[pid=35965/tid=36013] ppid=35962 vsize=1790808 memory=1606164 CPUtime=3509.96 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 3446448 0 0 0 350661 335 0 0 20 0 3 0 5618973 1833787392 405172 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=1790808 memory=1620688 CPUtime=0.06 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 455 0 0 0 1 5 0 0 20 0 3 0 5619022 1833787392 405172 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 3512.29 s
Current children cumulated vsize: 1790808 KiB
Current children cumulated memory: 1620688 KiB
[startup+3582.3 s]
/proc/loadavg: 2.14 2.10 2.16 3/230 37910
/proc/meminfo: memFree=124870532/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=1790808 memory=1653124 CPUtime=3572.15 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 3624980 0 0 0 356842 373 0 0 20 0 3 0 5618801 1833787392 413281 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 447702 413281 3030 3035 0 439446 0
[pid=35965/tid=36013] ppid=35962 vsize=1790808 memory=12136 CPUtime=3569.82 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 3449995 0 0 0 356646 336 0 0 20 0 3 0 5618973 1833787392 413281 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=1790808 memory=104 CPUtime=0.06 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 460 0 0 0 1 5 0 0 20 0 3 0 5619022 1833787392 413281 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 3572.15 s
Current children cumulated vsize: 1790808 KiB
Current children cumulated memory: 1653124 KiB
[startup+3599.75 s]
# the end of solver process 35965 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.79 s, system=3.76669 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.13 2.10 2.16 3/230 37910
/proc/meminfo: memFree=124865936/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=1790808 memory=1657616 CPUtime=3573.85 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 3624984 0 0 0 357012 373 0 0 20 0 3 0 5618801 1833787392 414404 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 447702 414404 3030 3035 0 439446 0
[pid=35965/tid=36013] ppid=35962 vsize=1790808 memory=2212 CPUtime=3571.53 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 3449999 0 0 0 356817 336 0 0 20 0 3 0 5618973 1833787392 414404 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=1790808 memory=-7233808450367551678 CPUtime=0.06 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 460 0 0 0 1 5 0 0 20 0 3 0 5619022 1833787392 414404 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 3573.85 s
Current children cumulated vsize: 1790808 KiB
Current children cumulated memory: 1657616 KiB
[startup+3590.4 s]
/proc/loadavg: 2.12 2.10 2.16 3/231 37912
/proc/meminfo: memFree=124863536/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=1790808 memory=1657616 CPUtime=3580.22 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 3625033 0 0 0 357649 373 0 0 20 0 3 0 5618801 1833787392 414404 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 447702 414404 3030 3035 0 439446 0
[pid=35965/tid=36013] ppid=35962 vsize=1790808 memory=12136 CPUtime=3577.9 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 3450048 0 0 0 357454 336 0 0 20 0 3 0 5618973 1833787392 414404 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=1790808 memory=5448 CPUtime=0.06 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 460 0 0 0 1 5 0 0 20 0 3 0 5619022 1833787392 414404 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 3580.22 s
Current children cumulated vsize: 1790808 KiB
Current children cumulated memory: 1657616 KiB
[startup+3593.6 s]
/proc/loadavg: 2.12 2.10 2.16 3/231 37912
/proc/meminfo: memFree=124863500/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=1790808 memory=1657616 CPUtime=3583.42 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 3625805 0 0 0 357969 373 0 0 20 0 3 0 5618801 1833787392 414404 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 447702 414404 3030 3035 0 439446 0
[pid=35965/tid=36013] ppid=35962 vsize=1790808 memory=5500 CPUtime=3581.09 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 3450820 0 0 0 357773 336 0 0 20 0 3 0 5618973 1833787392 414404 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=1790808 memory=1840 CPUtime=0.06 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 460 0 0 0 1 5 0 0 20 0 3 0 5619022 1833787392 414404 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 3583.42 s
Current children cumulated vsize: 1790808 KiB
Current children cumulated memory: 1657616 KiB
[startup+3596.8 s]
/proc/loadavg: 2.11 2.09 2.15 3/231 37912
/proc/meminfo: memFree=124854652/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=1790808 memory=1666296 CPUtime=3586.61 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 3625805 0 0 0 358288 373 0 0 20 0 3 0 5618801 1833787392 416574 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 447702 416574 3030 3035 0 439446 0
[pid=35965/tid=36013] ppid=35962 vsize=1790808 memory=16700 CPUtime=3584.29 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 3450820 0 0 0 358093 336 0 0 20 0 3 0 5618973 1833787392 416574 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=1790808 memory=1666296 CPUtime=0.06 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 460 0 0 0 1 5 0 0 20 0 3 0 5619022 1833787392 416574 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 3586.61 s
Current children cumulated vsize: 1790808 KiB
Current children cumulated memory: 1666296 KiB
[startup+3598.4 s]
/proc/loadavg: 2.11 2.09 2.15 3/231 37914
/proc/meminfo: memFree=124854692/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=1790808 memory=1666296 CPUtime=3588.2 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 3626198 0 0 0 358447 373 0 0 20 0 3 0 5618801 1833787392 416574 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 447702 416574 3030 3035 0 439446 0
[pid=35965/tid=36013] ppid=35962 vsize=1790808 memory=2448 CPUtime=3585.88 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 3451213 0 0 0 358252 336 0 0 20 0 3 0 5618973 1833787392 416574 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=1790808 memory=2268 CPUtime=0.06 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 460 0 0 0 1 5 0 0 20 0 3 0 5619022 1833787392 416574 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 3588.2 s
Current children cumulated vsize: 1790808 KiB
Current children cumulated memory: 1666296 KiB
[startup+3599.2 s]
/proc/loadavg: 2.10 2.09 2.15 3/231 37914
/proc/meminfo: memFree=124928452/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=1716892 memory=1592380 CPUtime=3589 cores=1,3
/proc/35965/stat : 35965 (fscip) S 35962 35965 35647 0 -1 1077936128 3629560 0 0 0 358527 373 0 0 20 0 3 0 5618801 1758097408 398095 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 429223 398095 3030 3035 0 420967 0
[pid=35965/tid=36013] ppid=35962 vsize=1716892 memory=16700 CPUtime=3586.68 cores=1,3
/proc/35965/task/36013/stat : 36013 (fscip) R 35962 35965 35647 0 -1 4194368 3454572 0 0 0 358332 336 0 0 20 0 3 0 5618973 1758097408 398095 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
[pid=35965/tid=36014] ppid=35962 vsize=1716892 memory=12136 CPUtime=0.06 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 460 0 0 0 1 5 0 0 20 0 3 0 5619022 1758097408 398095 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 3589 s
Current children cumulated vsize: 1716892 KiB
Current children cumulated memory: 1592380 KiB
[startup+3599.6 s]
/proc/loadavg: 2.10 2.09 2.15 3/231 37914
/proc/meminfo: memFree=124928452/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=1511812 memory=1390372 CPUtime=3589.4 cores=1,3
/proc/35965/stat : 35965 (fscip) R 35962 35965 35647 0 -1 4194304 3634317 0 0 0 358566 374 0 0 20 0 2 0 5618801 1548095488 347593 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 377953 347593 3030 3035 0 373383 0
[pid=35965/tid=36014] ppid=35962 vsize=1511812 memory=38792 CPUtime=0.06 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 460 0 0 0 1 5 0 0 20 0 2 0 5619022 1548095488 347593 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 3589.4 s
Current children cumulated vsize: 1511812 KiB
Current children cumulated memory: 1390372 KiB
[startup+3599.7 s]
/proc/loadavg: 2.10 2.09 2.15 3/231 37914
/proc/meminfo: memFree=124928452/131655788 swapFree=131071996/131071996
[pid=35965] ppid=35962 vsize=1468944 memory=1347504 CPUtime=3589.5 cores=1,3
/proc/35965/stat : 35965 (fscip) R 35962 35965 35647 0 -1 4194304 3634596 0 0 0 358575 375 0 0 20 0 2 0 5618801 1504198656 336876 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
/proc/35965/statm: 367236 336876 3030 3035 0 362666 0
[pid=35965/tid=36014] ppid=35962 vsize=1468944 memory=11488 CPUtime=0.06 cores=1,3
/proc/35965/task/36014/stat : 36014 (fscip) S 35962 35965 35647 0 -1 1077936192 460 0 0 0 1 5 0 0 20 0 2 0 5619022 1504198656 336876 134679101440 4194304 16623229 140720794004448 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46637056 140720794006552 140720794006668 140720794006668 140720794013680 0
Current children cumulated CPU time: 3589.5 s
Current children cumulated vsize: 1468944 KiB
Current children cumulated memory: 1347504 KiB
Child status: 0
Real time (s): 3599.75
CPU time (s): 3589.55
CPU user time (s): 3585.79
CPU system time (s): 3.76669
CPU usage (%): 99.7168
Max. virtual memory (cumulated for all children) (KiB): 1790808
Max. memory (cumulated for all children) (KiB): 1666296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.79
system time used= 3.76669
maximum resident set size= 1666296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3636188
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= 4626
involuntary context switches= 2366
# summary of solver processes directly reported to runsolver:
# pid: 35965
# total CPU time (s): 3589.55
# total CPU user time (s): 3585.79
# total CPU system time (s): 3.76669
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7199 second user time and 36.5804 second system time
The end
Begin job on nodeC010 at 2024-07-31 03:43:39
IDJOB=4464941
IDBENCH=144113
IDSOLVER=3093
FILE ID=nodeC010/4464941-1722390219
RUNJOBID= nodeC010-1722390200-35659
SLURM_JOB_ID= 8249873
Free space on /tmp= 723648 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/coloring/normalized-le450-5a-4_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4464941-1722390219/watcher-4464941-1722390219 -o /tmp/evaluation-result-4464941-1722390219/solver-4464941-1722390219 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722390200-35659 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464941-1722390219.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f720b4722bfdee79227a462351755e1
RANDOM SEED=1433521335
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 : 3614.972
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 : 1324.154
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.319
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.128
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 : 3493.800
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 : 3661.281
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.163
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.273
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: 122253780 kB
MemAvailable: 125244200 kB
Buffers: 108812 kB
Cached: 3722144 kB
SwapCached: 0 kB
Active: 317716 kB
Inactive: 8636596 kB
Active(anon): 1964 kB
Inactive(anon): 5150912 kB
Active(file): 315752 kB
Inactive(file): 3485684 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 161812 kB
Writeback: 4 kB
AnonPages: 5123424 kB
Mapped: 125064 kB
Shmem: 29504 kB
KReclaimable: 58028 kB
Slab: 133672 kB
SReclaimable: 58028 kB
SUnreclaim: 75644 kB
KernelStack: 3920 kB
PageTables: 19024 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 5381364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7200 kB
HardwareCorrupted: 0 kB
AnonHugePages: 573440 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= 723720 MiB
End job on nodeC010 at 2024-07-31 04:43:39