0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.06 c Default LC presolving (default).
0.00/0.06 c ** Before presolving: virtualMemUsedAtLc = 57442304, getVmSize() = 57442304, SCIPgetMemUsed() = 25588437, SCIPgetMemTotal() = 34708477, SCIPgetMemExternEstim() = 18919918
0.00/0.06 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.58/0.62 c ** Estimated virtualMemUsedAtSolver = 103139754, getVmSize() = 161144832, SCIPgetMemUsed() = 90624618, SCIPgetMemTotal() = 135789714, SCIPgetMemExternEstim() = 18919918
0.58/0.62 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.58/0.62 c Original Problem :
0.58/0.62 c Problem name : instance-4434630-1721067094
0.58/0.62 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
0.58/0.62 c Constraints : 16096
0.58/0.62 c Objective sense : minimize
0.58/0.62 c Presolved Problem :
0.58/0.62 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
0.58/0.62 c Constraints : 16096
0.58/0.62 c Constraints : Number
0.58/0.62 c knapsack : 7496
0.58/0.62 c setppc : 2016
0.58/0.62 c logicor : 6584
0.58/0.63 c ** Instance transfer method used: 0
0.58/0.66 c ** ParaScipInstance copy does not increase the number of variables. **
0.58/0.68 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.58/0.68 c Nodes Active
0.58/0.68 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
70.04/70.75 c 71 2 1 1 - 96.0000 -
78.96/79.78 c 80 3 2 1 - 96.0000 -
91.44/92.38 c 92 4 3 1 - 96.0000 -
98.58/99.50 c 100 5 4 1 - 96.0000 -
106.11/107.16 c 107 6 5 1 - 96.0000 -
114.23/115.31 c 115 7 6 1 - 96.0000 -
122.06/123.28 c 123 8 7 1 - 96.0000 -
132.27/133.58 c 134 12 11 1 - 96.0000 -
145.88/147.28 c 147 27 26 1 - 96.0000 -
153.45/154.80 c 155 38 37 1 - 96.0000 -
159.04/160.45 c 160 43 42 1 - 96.0000 -
166.81/168.22 c 168 52 51 1 - 96.0000 -
172.99/174.40 c 174 63 62 1 - 96.0000 -
178.17/179.69 c 180 80 79 1 - 96.0000 -
185.65/187.11 c 187 84 83 1 - 96.0000 -
191.33/192.88 c 193 89 88 1 - 96.0000 -
197.41/198.98 c 199 97 96 1 - 96.0000 -
202.89/204.42 c 204 102 101 1 - 96.0000 -
208.87/210.45 c 210 105 104 1 - 96.0000 -
215.25/216.86 c 217 116 113 1 - 96.0000 -
222.83/224.44 c 224 137 134 1 - 96.0000 -
227.81/229.47 c 229 149 146 1 - 96.0000 -
236.28/237.96 c 238 164 161 1 - 96.0000 -
242.06/243.77 c 244 176 173 1 - 96.0000 -
249.93/251.60 c 252 194 191 1 - 96.0000 -
256.01/257.79 c 258 200 197 1 - 96.0000 -
265.48/267.28 c 267 210 207 1 - 96.0000 -
274.66/276.48 c 276 229 226 1 - 96.0000 -
280.63/282.44 c 282 243 240 1 - 96.0000 -
286.71/288.59 c 289 263 260 1 - 96.0000 -
297.68/299.55 c 300 270 267 1 - 96.0000 -
304.56/306.45 c 306 278 275 1 - 96.0000 -
313.92/315.89 c 316 291 288 1 - 96.0000 -
320.20/322.14 c 322 300 297 1 - 96.0000 -
330.97/332.98 c 333 307 304 1 - 96.0000 -
336.54/338.53 c 339 330 327 1 - 96.0000 -
342.22/344.21 c 344 348 345 1 - 96.0000 -
350.49/352.59 c 353 349 346 1 - 96.0000 -
355.77/357.87 c 358 364 361 1 - 96.0000 -
361.65/363.74 c 364 382 377 1 - 96.0000 -
367.14/369.22 c 369 397 392 1 - 96.0000 -
372.12/374.27 c 374 413 408 1 - 96.0000 -
380.90/383.05 c 383 416 411 1 - 96.0000 -
388.87/391.04 c 391 430 425 1 - 96.0000 -
395.04/397.21 c 397 436 431 1 - 96.0000 -
396.84/399.09 c * 399 443 438 1 190.0000 96.0000 97.92%
401.42/403.66 c 404 449 444 1 190.0000 96.0000 97.92%
409.39/411.68 c 412 456 451 1 190.0000 96.0000 97.92%
415.47/417.74 c 418 467 462 1 190.0000 96.0000 97.92%
422.05/424.33 c 424 470 465 1 190.0000 96.0000 97.92%
428.75/431.01 c 431 474 469 1 190.0000 96.0000 97.92%
434.22/436.55 c 437 478 473 1 190.0000 96.0000 97.92%
443.80/446.12 c 446 484 479 1 190.0000 96.0000 97.92%
452.36/454.74 c 455 488 483 1 190.0000 96.0000 97.92%
460.54/462.99 c 463 492 487 1 190.0000 96.0000 97.92%
466.42/468.89 c 469 508 503 1 190.0000 96.0000 97.92%
472.50/474.90 c 475 509 504 1 190.0000 96.0000 97.92%
479.58/482.09 c 482 512 507 1 190.0000 96.0000 97.92%
485.16/487.61 c 488 516 511 1 190.0000 96.0000 97.92%
491.04/493.56 c 494 523 518 1 190.0000 96.0000 97.92%
498.52/501.03 c 501 534 529 1 190.0000 96.0000 97.92%
505.29/507.84 c 508 541 536 1 190.0000 96.0000 97.92%
510.68/513.25 c 513 544 539 1 190.0000 96.0000 97.92%
517.36/519.90 c 520 548 543 1 190.0000 96.0000 97.92%
523.04/525.60 c 526 556 551 1 190.0000 96.0000 97.92%
528.02/530.66 c 531 564 559 1 190.0000 96.0000 97.92%
533.70/536.39 c 536 579 574 1 190.0000 96.0000 97.92%
541.39/544.03 c 544 595 590 1 190.0000 96.0000 97.92%
547.37/550.00 c 550 606 601 1 190.0000 96.0000 97.92%
554.64/557.36 c 557 607 602 1 190.0000 96.0000 97.92%
561.52/564.22 c 564 608 603 1 190.0000 96.0000 97.92%
567.91/570.60 c 571 612 607 1 190.0000 96.0000 97.92%
575.88/578.67 c 579 617 612 1 190.0000 96.0000 97.92%
590.83/593.65 c 594 637 632 1 190.0000 96.0000 97.92%
597.01/599.88 c 600 642 637 1 190.0000 96.0000 97.92%
602.99/605.81 c 606 658 653 1 190.0000 96.0000 97.92%
613.26/616.15 c 616 660 655 1 190.0000 96.0000 97.92%
620.03/622.98 c 623 678 673 1 190.0000 96.0000 97.92%
629.60/632.56 c 633 683 678 1 190.0000 96.0000 97.92%
634.99/637.90 c 638 703 696 1 190.0000 96.0000 97.92%
641.07/644.05 c 644 711 704 1 190.0000 96.0000 97.92%
648.65/651.64 c 652 723 716 1 190.0000 96.0000 97.92%
657.32/660.38 c 660 742 735 1 190.0000 96.0000 97.92%
663.01/666.06 c 666 752 745 1 190.0000 96.0000 97.92%
669.38/672.42 c 672 774 765 1 190.0000 96.0000 97.92%
675.86/678.91 c 679 782 773 1 190.0000 96.0000 97.92%
680.95/684.01 c 684 791 782 1 190.0000 96.0000 97.92%
686.83/689.97 c 690 798 789 1 190.0000 96.0000 97.92%
692.91/696.06 c 696 811 802 1 190.0000 96.0000 97.92%
698.59/701.79 c 702 815 806 1 190.0000 96.0000 97.92%
704.67/707.81 c 708 828 814 1 190.0000 96.0000 97.92%
709.75/712.94 c 713 832 818 1 190.0000 96.0000 97.92%
716.53/719.76 c 720 850 836 1 190.0000 96.0000 97.92%
723.01/726.28 c 726 861 845 1 190.0000 96.0000 97.92%
728.80/732.03 c 732 868 852 1 190.0000 96.0000 97.92%
734.57/737.89 c 738 884 868 1 190.0000 96.0000 97.92%
743.65/746.94 c 747 885 869 1 190.0000 96.0000 97.92%
749.63/752.92 c 753 886 870 1 190.0000 96.0000 97.92%
755.82/759.18 c 759 897 881 1 190.0000 96.0000 97.92%
764.89/768.27 c 768 910 894 1 190.0000 96.0000 97.92%
770.77/774.14 c 774 915 899 1 190.0000 96.0000 97.92%
776.25/779.61 c 780 926 910 1 190.0000 96.0000 97.92%
782.33/785.74 c 786 937 919 1 190.0000 96.0000 97.92%
788.41/791.80 c 792 942 924 1 190.0000 96.0000 97.92%
794.09/797.55 c 798 947 929 1 190.0000 96.0000 97.92%
801.36/804.80 c 805 967 949 1 190.0000 96.0000 97.92%
807.95/811.44 c 811 980 962 1 190.0000 96.0000 97.92%
813.23/816.73 c 817 983 965 1 190.0000 96.0000 97.92%
819.02/822.58 c 823 991 973 1 190.0000 96.0000 97.92%
825.20/828.72 c 829 1003 985 1 190.0000 96.0000 97.92%
831.78/835.33 c 835 1018 1000 1 190.0000 96.0000 97.92%
837.46/841.01 c 841 1033 1015 1 190.0000 96.0000 97.92%
843.23/846.80 c 847 1042 1024 1 190.0000 96.0000 97.92%
897.28/901.03 c 901 1050 1 1 190.0000 96.0000 97.92%
903.55/907.31 c 907 1051 2 1 190.0000 96.0000 97.92%
913.12/916.98 c 917 1057 8 1 190.0000 96.0000 97.92%
935.16/939.07 c 939 1060 11 1 190.0000 96.0000 97.92%
940.94/944.84 c 945 1072 23 1 190.0000 96.0000 97.92%
949.71/953.62 c 954 1076 27 1 190.0000 96.0000 97.92%
955.69/959.67 c 960 1081 32 1 190.0000 96.0000 97.92%
968.05/972.02 c 972 1087 38 1 190.0000 96.0000 97.92%
974.22/978.26 c 978 1096 47 1 190.0000 96.0000 97.92%
983.58/987.67 c 988 1099 50 1 190.0000 96.0000 97.92%
992.06/996.16 c 996 1110 61 1 190.0000 96.0000 97.92%
997.94/1002.08 c 1002 1123 74 1 190.0000 96.0000 97.92%
1004.51/1008.69 c 1009 1125 76 1 190.0000 96.0000 97.92%
1009.90/1014.01 c 1014 1131 82 1 190.0000 96.0000 97.92%
1018.56/1022.79 c 1023 1141 92 1 190.0000 96.0000 97.92%
1025.24/1029.40 c 1029 1145 96 1 190.0000 96.0000 97.92%
1030.32/1034.54 c 1035 1156 107 1 190.0000 96.0000 97.92%
1036.59/1040.86 c 1041 1170 121 1 190.0000 96.0000 97.92%
1041.67/1045.96 c 1046 1181 132 1 190.0000 96.0000 97.92%
1047.35/1051.69 c 1052 1186 137 1 190.0000 96.0000 97.92%
1053.23/1057.52 c 1058 1204 155 1 190.0000 96.0000 97.92%
1059.41/1063.70 c 1064 1211 162 1 190.0000 96.0000 97.92%
1064.39/1068.77 c 1069 1228 179 1 190.0000 96.0000 97.92%
1070.27/1074.63 c 1075 1241 188 1 190.0000 96.0000 97.92%
1076.84/1081.23 c 1081 1264 211 1 190.0000 96.0000 97.92%
1082.12/1086.53 c 1087 1276 223 1 190.0000 96.0000 97.92%
1089.89/1094.39 c 1094 1290 237 1 190.0000 96.0000 97.92%
1095.47/1099.93 c 1100 1308 255 1 190.0000 96.0000 97.92%
1102.45/1106.93 c 1107 1327 272 1 190.0000 96.0000 97.92%
1108.53/1113.03 c 1113 1332 277 1 190.0000 96.0000 97.92%
1113.61/1118.17 c 1118 1339 284 1 190.0000 96.0000 97.92%
1123.17/1127.78 c 1128 1356 301 1 190.0000 96.0000 97.92%
1129.24/1133.83 c 1134 1357 302 1 190.0000 96.0000 97.92%
1135.02/1139.67 c 1140 1367 312 1 190.0000 96.0000 97.92%
1141.10/1145.71 c 1146 1378 323 1 190.0000 96.0000 97.92%
1148.07/1152.70 c 1153 1381 326 1 190.0000 96.0000 97.92%
1155.75/1160.48 c 1160 1384 329 1 190.0000 96.0000 97.92%
1161.22/1165.93 c 1166 1400 345 1 190.0000 96.0000 97.92%
1166.90/1171.66 c 1172 1409 354 1 190.0000 96.0000 97.92%
1172.29/1177.09 c 1177 1416 361 1 190.0000 96.0000 97.92%
1178.96/1183.75 c 1184 1429 374 1 190.0000 96.0000 97.92%
1186.03/1190.84 c 1191 1430 375 1 190.0000 96.0000 97.92%
1192.62/1197.40 c 1197 1440 385 1 190.0000 96.0000 97.92%
1198.20/1203.03 c 1203 1450 395 1 190.0000 96.0000 97.92%
1204.57/1209.48 c 1209 1456 401 1 190.0000 96.0000 97.92%
1212.94/1217.82 c 1218 1465 410 1 190.0000 96.0000 97.92%
1218.72/1223.60 c 1224 1475 420 1 190.0000 96.0000 97.92%
1224.11/1229.07 c 1229 1483 428 1 190.0000 96.0000 97.92%
1230.48/1235.46 c 1235 1490 435 1 190.0000 96.0000 97.92%
1237.25/1242.21 c 1242 1496 441 1 190.0000 96.0000 97.92%
1243.43/1248.47 c 1248 1505 450 1 190.0000 96.0000 97.92%
1256.98/1262.09 c 1262 1512 457 1 190.0000 96.0000 97.92%
1263.35/1268.48 c 1268 1520 465 1 190.0000 96.0000 97.92%
1268.84/1273.94 c 1274 1530 473 1 190.0000 96.0000 97.92%
1274.52/1279.61 c 1280 1536 479 1 190.0000 96.0000 97.92%
1279.80/1284.99 c 1285 1540 483 1 190.0000 96.0000 97.92%
1291.15/1296.30 c 1296 1545 488 1 190.0000 96.0000 97.92%
1304.91/1310.14 c 1310 1550 493 1 190.0000 96.0000 97.92%
1309.89/1315.18 c 1315 1551 494 1 190.0000 96.0000 97.92%
1317.45/1322.75 c 1323 1562 505 1 190.0000 96.0000 97.92%
1323.63/1328.90 c 1329 1571 514 1 190.0000 96.0000 97.92%
1329.32/1334.60 c 1335 1579 522 1 190.0000 96.0000 97.92%
1335.09/1340.42 c 1340 1585 528 1 190.0000 96.0000 97.92%
1340.08/1345.47 c 1345 1591 534 1 190.0000 96.0000 97.92%
1347.25/1352.67 c 1353 1596 539 1 190.0000 96.0000 97.92%
1354.32/1359.72 c 1360 1605 548 1 190.0000 96.0000 97.92%
1360.30/1365.77 c 1366 1613 556 1 190.0000 96.0000 97.92%
1367.97/1373.40 c 1373 1614 557 1 190.0000 96.0000 97.92%
1373.25/1378.72 c 1379 1617 560 1 190.0000 96.0000 97.92%
1379.03/1384.56 c 1385 1621 564 1 190.0000 96.0000 97.92%
1384.91/1390.44 c 1390 1629 572 1 190.0000 96.0000 97.92%
1393.77/1399.35 c 1399 1633 576 1 190.0000 96.0000 97.92%
1399.85/1405.42 c 1405 1639 582 1 190.0000 96.0000 97.92%
1405.23/1410.81 c 1411 1646 589 1 190.0000 96.0000 97.92%
1412.30/1417.92 c 1418 1651 594 1 190.0000 96.0000 97.92%
1419.78/1425.43 c 1425 1661 604 1 190.0000 96.0000 97.92%
1424.76/1430.49 c 1430 1672 613 1 190.0000 96.0000 97.92%
1432.44/1438.12 c 1438 1675 616 1 190.0000 96.0000 97.92%
1437.51/1443.23 c 1443 1682 623 1 190.0000 96.0000 97.92%
1443.40/1449.17 c 1449 1689 630 1 190.0000 96.0000 97.92%
1448.47/1454.23 c 1454 1697 638 1 190.0000 96.0000 97.92%
1454.36/1460.15 c 1460 1702 643 1 190.0000 96.0000 97.92%
1460.13/1465.98 c 1466 1709 650 1 190.0000 96.0000 97.92%
1465.91/1471.76 c 1472 1717 658 1 190.0000 96.0000 97.92%
1471.19/1477.01 c 1477 1725 666 1 190.0000 96.0000 97.92%
1476.96/1482.81 c 1483 1732 673 1 190.0000 96.0000 97.92%
1483.84/1489.78 c 1490 1735 676 1 190.0000 96.0000 97.92%
1489.33/1495.27 c 1495 1741 682 1 190.0000 96.0000 97.92%
1495.51/1501.42 c 1501 1747 688 1 190.0000 96.0000 97.92%
1509.66/1515.67 c 1516 1756 693 1 190.0000 96.0000 97.92%
1514.85/1520.81 c 1521 1761 698 1 190.0000 96.0000 97.92%
1521.43/1527.43 c 1527 1767 704 1 190.0000 96.0000 97.92%
1529.60/1535.69 c 1536 1774 711 1 190.0000 96.0000 97.92%
1535.78/1541.87 c 1542 1782 719 1 190.0000 96.0000 97.92%
1542.36/1548.42 c 1548 1783 720 1 190.0000 96.0000 97.92%
1547.64/1553.75 c 1554 1789 726 1 190.0000 96.0000 97.92%
1554.22/1560.35 c 1560 1798 735 1 190.0000 96.0000 97.92%
1559.20/1565.39 c 1565 1805 742 1 190.0000 96.0000 97.92%
1564.69/1570.83 c 1571 1811 748 1 190.0000 96.0000 97.92%
1571.67/1577.80 c 1578 1819 756 1 190.0000 96.0000 97.92%
1577.35/1583.53 c 1584 1826 763 1 190.0000 96.0000 97.92%
1583.13/1589.34 c 1589 1834 771 1 190.0000 96.0000 97.92%
1588.52/1594.70 c 1595 1841 778 1 190.0000 96.0000 97.92%
1596.50/1602.71 c 1603 1846 783 1 190.0000 96.0000 97.92%
1601.68/1607.91 c 1608 1852 789 1 190.0000 96.0000 97.92%
1607.56/1613.88 c 1614 1862 795 1 190.0000 96.0000 97.92%
1612.65/1618.93 c 1619 1868 801 1 190.0000 96.0000 97.92%
1619.12/1625.41 c 1625 1875 808 1 190.0000 96.0000 97.92%
1624.71/1631.01 c 1631 1880 813 1 190.0000 96.0000 97.92%
1629.89/1636.24 c 1636 1883 816 1 190.0000 96.0000 97.92%
1635.87/1642.26 c 1642 1890 823 1 190.0000 96.0000 97.92%
1641.15/1647.53 c 1648 1898 831 1 190.0000 96.0000 97.92%
1647.03/1653.48 c 1653 1904 837 1 190.0000 96.0000 97.92%
1652.31/1658.75 c 1659 1911 844 1 190.0000 96.0000 97.92%
1658.99/1665.48 c 1665 1914 847 1 190.0000 96.0000 97.92%
1664.78/1671.29 c 1671 1919 852 1 190.0000 96.0000 97.92%
1670.06/1676.51 c 1677 1929 858 1 190.0000 96.0000 97.92%
1675.14/1681.62 c 1682 1938 862 1 190.0000 96.0000 97.92%
1681.53/1688.02 c 1688 1941 865 1 190.0000 96.0000 97.92%
1687.80/1694.30 c 1694 1950 872 1 190.0000 96.0000 97.92%
1693.69/1700.23 c 1700 1959 881 1 190.0000 96.0000 97.92%
1698.87/1705.46 c 1705 1966 888 1 190.0000 96.0000 97.92%
1704.75/1711.38 c 1711 1971 893 1 190.0000 96.0000 97.92%
1710.23/1716.88 c 1717 1986 904 1 190.0000 96.0000 97.92%
1715.92/1722.55 c 1723 1994 909 1 190.0000 96.0000 97.92%
1722.99/1729.67 c 1730 2002 917 1 190.0000 96.0000 97.92%
1731.96/1738.69 c 1739 2008 923 1 190.0000 96.0000 97.92%
1738.84/1745.53 c 1746 2018 931 1 190.0000 96.0000 97.92%
1744.02/1750.77 c 1751 2023 936 1 190.0000 96.0000 97.92%
1749.31/1756.07 c 1756 2027 940 1 190.0000 96.0000 97.92%
1754.99/1761.74 c 1762 2033 946 1 190.0000 96.0000 97.92%
1762.07/1768.84 c 1769 2039 952 1 190.0000 96.0000 97.92%
1767.15/1773.91 c 1774 2043 956 1 190.0000 96.0000 97.92%
1773.43/1780.25 c 1780 2048 961 1 190.0000 96.0000 97.92%
1778.71/1785.55 c 1786 2059 972 1 190.0000 96.0000 97.92%
1787.89/1794.71 c 1795 2063 976 1 190.0000 96.0000 97.92%
1792.87/1799.79 c 1800 2069 982 1 190.0000 96.0000 97.92%
1801.35/1808.25 c 1808 2073 986 1 190.0000 96.0000 97.92%
1808.23/1815.14 c 1815 2082 995 1 190.0000 96.0000 97.92%
1813.61/1820.52 c 1821 2089 1002 1 190.0000 96.0000 97.92%
1819.39/1826.30 c 1826 2095 1008 1 190.0000 96.0000 97.92%
1824.78/1831.79 c 1832 2101 1014 1 190.0000 96.0000 97.92%
1831.46/1838.44 c 1838 2113 1026 1 190.0000 96.0000 97.92%
1837.04/1844.02 c 1844 2122 1035 1 190.0000 96.0000 97.92%
1842.22/1849.26 c 1849 2128 1041 1 190.0000 96.0000 97.92%
1848.20/1855.23 c 1855 2137 1050 1 190.0000 96.0000 97.92%
1853.78/1860.81 c 1861 2145 1058 1 190.0000 96.0000 97.92%
1858.97/1866.09 c 1866 2152 1065 1 190.0000 96.0000 97.92%
1864.25/1871.34 c 1871 2158 1071 1 190.0000 96.0000 97.92%
1869.43/1876.59 c 1877 2163 1076 1 190.0000 96.0000 97.92%
1875.41/1882.55 c 1883 2173 1086 1 190.0000 96.0000 97.92%
1882.20/1889.38 c 1889 2180 1093 1 190.0000 96.0000 97.92%
1888.18/1895.35 c 1895 2187 1100 1 190.0000 96.0000 97.92%
1894.16/1901.37 c 1901 2196 1109 1 190.0000 96.0000 97.92%
1899.95/1907.15 c 1907 2206 1119 1 190.0000 96.0000 97.92%
1906.62/1913.80 c 1914 2215 1128 1 190.0000 96.0000 97.92%
1912.00/1919.24 c 1919 2222 1135 1 190.0000 96.0000 97.92%
1921.07/1928.37 c 1928 2230 1143 1 190.0000 96.0000 97.92%
1927.55/1934.86 c 1935 2237 1150 1 190.0000 96.0000 97.92%
1933.43/1940.79 c 1941 2245 1158 1 190.0000 96.0000 97.92%
1939.21/1946.52 c 1947 2248 1161 1 190.0000 96.0000 97.92%
1944.81/1952.15 c 1952 2254 1167 1 190.0000 96.0000 97.92%
1950.69/1958.05 c 1958 2260 1173 1 190.0000 96.0000 97.92%
1960.66/1968.10 c 1968 2267 1180 1 190.0000 96.0000 97.92%
1966.83/1974.26 c 1974 2278 1185 1 190.0000 96.0000 97.92%
1972.52/1979.98 c 1980 2285 1192 1 190.0000 96.0000 97.92%
1978.00/1985.41 c 1985 2293 1200 1 190.0000 96.0000 97.92%
1983.98/1991.48 c 1991 2302 1209 1 190.0000 96.0000 97.92%
1990.56/1998.00 c 1998 2308 1215 1 190.0000 96.0000 97.92%
1998.43/2005.93 c 2006 2311 1218 1 190.0000 96.0000 97.92%
2003.42/2010.96 c 2011 2315 1222 1 190.0000 96.0000 97.92%
2009.80/2017.32 c 2017 2325 1232 1 190.0000 96.0000 97.92%
2016.18/2023.78 c 2024 2332 1239 1 190.0000 96.0000 97.92%
2022.36/2029.96 c 2030 2342 1249 1 190.0000 96.0000 97.92%
2027.54/2035.14 c 2035 2351 1258 1 190.0000 96.0000 97.92%
2033.92/2041.52 c 2042 2360 1267 1 190.0000 96.0000 97.92%
2040.21/2047.87 c 2048 2369 1276 1 190.0000 96.0000 97.92%
2045.49/2053.19 c 2053 2375 1282 1 190.0000 96.0000 97.92%
2051.87/2059.52 c 2060 2384 1291 1 190.0000 96.0000 97.92%
2057.55/2065.26 c 2065 2391 1298 1 190.0000 96.0000 97.92%
2063.44/2071.11 c 2071 2398 1305 1 190.0000 96.0000 97.92%
2068.61/2076.33 c 2076 2403 1310 1 190.0000 96.0000 97.92%
2074.10/2081.83 c 2082 2410 1317 1 190.0000 96.0000 97.92%
2080.48/2088.28 c 2088 2411 1318 1 190.0000 96.0000 97.92%
2086.66/2094.44 c 2094 2415 1322 1 190.0000 96.0000 97.92%
2091.84/2099.69 c 2100 2422 1329 1 190.0000 96.0000 97.92%
2099.52/2107.39 c 2107 2430 1337 1 190.0000 96.0000 97.92%
2104.70/2112.55 c 2113 2435 1342 1 190.0000 96.0000 97.92%
2114.37/2122.28 c 2122 2439 1346 1 190.0000 96.0000 97.92%
2119.55/2127.44 c 2127 2445 1352 1 190.0000 96.0000 97.92%
2124.84/2132.74 c 2133 2452 1359 1 190.0000 96.0000 97.92%
2131.42/2139.34 c 2139 2458 1365 1 190.0000 96.0000 97.92%
2137.60/2145.51 c 2146 2465 1372 1 190.0000 96.0000 97.92%
2143.28/2151.25 c 2151 2472 1379 1 190.0000 96.0000 97.92%
2150.36/2158.35 c 2158 2480 1387 1 190.0000 96.0000 97.92%
2155.44/2163.49 c 2163 2493 1398 1 190.0000 96.0000 97.92%
2160.73/2168.70 c 2169 2495 1400 1 190.0000 96.0000 97.92%
2168.30/2176.39 c 2176 2499 1404 1 190.0000 96.0000 97.92%
2173.69/2181.72 c 2182 2506 1411 1 190.0000 96.0000 97.92%
2179.07/2187.15 c 2187 2515 1418 1 190.0000 96.0000 97.92%
2184.96/2193.07 c 2193 2517 1420 1 190.0000 96.0000 97.92%
2190.73/2198.82 c 2199 2522 1425 1 190.0000 96.0000 97.92%
2196.22/2204.35 c 2204 2531 1434 1 190.0000 96.0000 97.92%
2202.91/2211.02 c 2211 2538 1441 1 190.0000 96.0000 97.92%
2207.99/2216.14 c 2216 2546 1449 1 190.0000 96.0000 97.92%
2215.26/2223.47 c 2223 2555 1458 1 190.0000 96.0000 97.92%
2220.64/2228.80 c 2229 2564 1465 1 190.0000 96.0000 97.92%
2226.62/2234.81 c 2235 2572 1473 1 190.0000 96.0000 97.92%
2232.30/2240.54 c 2241 2580 1481 1 190.0000 96.0000 97.92%
2237.49/2245.78 c 2246 2591 1490 1 190.0000 96.0000 97.92%
2242.67/2250.97 c 2251 2594 1493 1 190.0000 96.0000 97.92%
2249.15/2257.44 c 2257 2603 1502 1 190.0000 96.0000 97.92%
2255.13/2263.43 c 2263 2611 1510 1 190.0000 96.0000 97.92%
2260.41/2268.79 c 2269 2617 1516 1 190.0000 96.0000 97.92%
2266.20/2274.59 c 2275 2627 1526 1 190.0000 96.0000 97.92%
2272.38/2280.75 c 2281 2635 1534 1 190.0000 96.0000 97.92%
2278.56/2286.94 c 2287 2644 1543 1 190.0000 96.0000 97.92%
2285.83/2294.24 c 2294 2646 1545 1 190.0000 96.0000 97.92%
2291.82/2300.23 c 2300 2653 1550 1 190.0000 96.0000 97.92%
2297.00/2305.40 c 2305 2660 1557 1 190.0000 96.0000 97.92%
2303.78/2312.25 c 2312 2661 1558 1 190.0000 96.0000 97.92%
2311.45/2319.96 c 2320 2669 1566 1 190.0000 96.0000 97.92%
2317.34/2325.81 c 2326 2677 1574 1 190.0000 96.0000 97.92%
2322.82/2331.33 c 2331 2684 1581 1 190.0000 96.0000 97.92%
2328.20/2336.72 c 2337 2692 1589 1 190.0000 96.0000 97.92%
2334.08/2342.67 c 2343 2697 1594 1 190.0000 96.0000 97.92%
2340.16/2348.76 c 2349 2704 1601 1 190.0000 96.0000 97.92%
2349.74/2358.39 c 2358 2711 1608 1 190.0000 96.0000 97.92%
2355.43/2364.03 c 2364 2717 1614 1 190.0000 96.0000 97.92%
2361.60/2370.22 c 2370 2726 1623 1 190.0000 96.0000 97.92%
2366.59/2375.23 c 2375 2733 1630 1 190.0000 96.0000 97.92%
2372.67/2381.34 c 2381 2741 1638 1 190.0000 96.0000 97.92%
2378.55/2387.28 c 2387 2749 1646 1 190.0000 96.0000 97.92%
2384.03/2392.78 c 2393 2754 1651 1 190.0000 96.0000 97.92%
2391.11/2399.85 c 2400 2763 1660 1 190.0000 96.0000 97.92%
2399.28/2408.08 c 2408 2767 1664 1 190.0000 96.0000 97.92%
2405.96/2414.76 c 2415 2775 1672 1 190.0000 96.0000 97.92%
2411.14/2419.94 c 2420 2782 1679 1 190.0000 96.0000 97.92%
2418.92/2427.71 c 2428 2784 1681 1 190.0000 96.0000 97.92%
2425.40/2434.25 c 2434 2789 1686 1 190.0000 96.0000 97.92%
2431.78/2440.67 c 2441 2801 1698 1 190.0000 96.0000 97.92%
2441.35/2450.27 c 2450 2805 1702 1 190.0000 96.0000 97.92%
2446.63/2455.56 c 2456 2811 1708 1 190.0000 96.0000 97.92%
2453.30/2462.28 c 2462 2817 1714 1 190.0000 96.0000 97.92%
2459.09/2468.04 c 2468 2823 1720 1 190.0000 96.0000 97.92%
2465.17/2474.17 c 2474 2831 1728 1 190.0000 96.0000 97.92%
2472.05/2481.10 c 2481 2833 1730 1 190.0000 96.0000 97.92%
2478.03/2487.02 c 2487 2839 1736 1 190.0000 96.0000 97.92%
2483.71/2492.78 c 2493 2842 1739 1 190.0000 96.0000 97.92%
2490.79/2499.88 c 2500 2851 1748 1 190.0000 96.0000 97.92%
2496.97/2506.06 c 2506 2855 1752 1 190.0000 96.0000 97.92%
2502.65/2511.72 c 2512 2862 1759 1 190.0000 96.0000 97.92%
2508.83/2517.91 c 2518 2872 1769 1 190.0000 96.0000 97.92%
2515.03/2524.14 c 2524 2879 1776 1 190.0000 96.0000 97.92%
2520.40/2529.59 c 2530 2887 1784 1 190.0000 96.0000 97.92%
2525.49/2534.65 c 2535 2894 1791 1 190.0000 96.0000 97.92%
2532.07/2541.25 c 2541 2897 1794 1 190.0000 96.0000 97.92%
2537.05/2546.28 c 2546 2902 1799 1 190.0000 96.0000 97.92%
2542.84/2552.09 c 2552 2909 1806 1 190.0000 96.0000 97.92%
2550.01/2559.21 c 2559 2919 1816 1 190.0000 96.0000 97.92%
2557.39/2566.62 c 2567 2927 1824 1 190.0000 96.0000 97.92%
2562.78/2572.08 c 2572 2938 1835 1 190.0000 96.0000 97.92%
2569.05/2578.31 c 2578 2949 1846 1 190.0000 96.0000 97.92%
2574.63/2583.93 c 2584 2951 1848 1 190.0000 96.0000 97.92%
2580.61/2589.98 c 2590 2958 1855 1 190.0000 96.0000 97.92%
2586.00/2595.32 c 2595 2960 1857 1 190.0000 96.0000 97.92%
2591.58/2600.93 c 2601 2968 1865 1 190.0000 96.0000 97.92%
2597.16/2606.58 c 2607 2977 1874 1 190.0000 96.0000 97.92%
2602.35/2611.71 c 2612 2984 1881 1 190.0000 96.0000 97.92%
2608.83/2618.22 c 2618 2992 1889 1 190.0000 96.0000 97.92%
2614.71/2624.18 c 2624 2997 1894 1 190.0000 96.0000 97.92%
2620.99/2630.44 c 2630 3000 1895 1 190.0000 96.0000 97.92%
2626.77/2636.24 c 2636 3005 1900 1 190.0000 96.0000 97.92%
2632.95/2642.47 c 2642 3013 1908 1 190.0000 96.0000 97.92%
2638.33/2647.89 c 2648 3024 1919 1 190.0000 96.0000 97.92%
2648.10/2657.66 c 2658 3035 1930 1 190.0000 96.0000 97.92%
2655.59/2665.19 c 2665 3045 1940 1 190.0000 96.0000 97.92%
2661.86/2671.42 c 2671 3047 1942 1 190.0000 96.0000 97.92%
2666.85/2676.44 c 2676 3055 1950 1 190.0000 96.0000 97.92%
2672.33/2681.97 c 2682 3065 1960 1 190.0000 96.0000 97.92%
2677.71/2687.35 c 2687 3067 1962 1 190.0000 96.0000 97.92%
2683.10/2692.79 c 2693 3078 1971 1 190.0000 96.0000 97.92%
2688.48/2698.10 c 2698 3089 1982 1 190.0000 96.0000 97.92%
2693.96/2703.64 c 2704 3097 1990 1 190.0000 96.0000 97.92%
2699.14/2708.85 c 2709 3106 1999 1 190.0000 96.0000 97.92%
2705.52/2715.24 c 2715 3115 2008 1 190.0000 96.0000 97.92%
2711.71/2721.44 c 2721 3124 2017 1 190.0000 96.0000 97.92%
2717.40/2727.15 c 2727 3136 2029 1 190.0000 96.0000 97.92%
2726.17/2735.92 c 2736 3142 2035 1 190.0000 96.0000 97.92%
2736.34/2746.19 c 2746 3152 2045 1 190.0000 96.0000 97.92%
2742.72/2752.51 c 2753 3167 2056 1 190.0000 96.0000 97.92%
2750.20/2760.02 c 2760 3172 2061 1 190.0000 96.0000 97.92%
2755.58/2765.49 c 2765 3181 2070 1 190.0000 96.0000 97.92%
2761.86/2771.73 c 2772 3193 2080 1 190.0000 96.0000 97.92%
2766.94/2776.81 c 2777 3205 2090 1 190.0000 96.0000 97.92%
2772.82/2782.76 c 2783 3214 2099 1 190.0000 96.0000 97.92%
2778.70/2788.66 c 2789 3222 2107 1 190.0000 96.0000 97.92%
2785.88/2795.88 c 2796 3225 2110 1 190.0000 96.0000 97.92%
2792.86/2802.89 c 2803 3234 2119 1 190.0000 96.0000 97.92%
2798.05/2808.02 c 2808 3243 2128 1 190.0000 96.0000 97.92%
2803.33/2813.33 c 2813 3252 2137 1 190.0000 96.0000 97.92%
2810.02/2820.08 c 2820 3264 2149 1 190.0000 96.0000 97.92%
2816.10/2826.14 c 2826 3274 2159 1 190.0000 96.0000 97.92%
2821.67/2831.76 c 2832 3282 2167 1 190.0000 96.0000 97.92%
2827.75/2837.86 c 2838 3293 2178 1 190.0000 96.0000 97.92%
2833.64/2843.76 c 2844 3306 2189 1 190.0000 96.0000 97.92%
2838.72/2848.88 c 2849 3314 2197 1 190.0000 96.0000 97.92%
2845.50/2855.61 c 2856 3320 2203 1 190.0000 96.0000 97.92%
2852.48/2862.65 c 2863 3330 2213 1 190.0000 96.0000 97.92%
2858.46/2868.62 c 2869 3344 2227 1 190.0000 96.0000 97.92%
2864.64/2874.83 c 2875 3357 2240 1 190.0000 96.0000 97.92%
2871.82/2882.08 c 2882 3365 2248 1 190.0000 96.0000 97.92%
2879.90/2890.16 c 2890 3372 2255 1 190.0000 96.0000 97.92%
2885.58/2895.89 c 2896 3381 2262 1 190.0000 96.0000 97.92%
2890.87/2901.16 c 2901 3394 2275 1 190.0000 96.0000 97.92%
2896.75/2907.02 c 2907 3406 2287 1 190.0000 96.0000 97.92%
2902.62/2912.96 c 2913 3417 2296 1 190.0000 96.0000 97.92%
2908.31/2918.66 c 2919 3432 2311 1 190.0000 96.0000 97.92%
2913.49/2923.82 c 2924 3442 2321 1 190.0000 96.0000 97.92%
2919.47/2929.80 c 2930 3450 2329 1 190.0000 96.0000 97.92%
2924.66/2935.04 c 2935 3462 2341 1 190.0000 96.0000 97.92%
2929.74/2940.16 c 2940 3471 2350 1 190.0000 96.0000 97.92%
2939.41/2949.83 c 2950 3474 2353 1 190.0000 96.0000 97.92%
2945.09/2955.50 c 2956 3488 2361 1 190.0000 96.0000 97.92%
2950.87/2961.35 c 2961 3497 2370 1 190.0000 96.0000 97.92%
2957.05/2967.52 c 2968 3505 2378 1 190.0000 96.0000 97.92%
2958.15/2968.63 c * 2969 3505 2378 1 180.0000 96.0000 87.50%
2963.23/2973.77 c 2974 3515 2388 1 180.0000 96.0000 87.50%
2968.72/2979.21 c 2979 3524 2397 1 180.0000 96.0000 87.50%
2975.19/2985.72 c 2986 3533 2406 1 180.0000 96.0000 87.50%
2981.78/2992.32 c 2992 3535 2408 1 180.0000 96.0000 87.50%
2987.36/2997.95 c 2998 3544 2417 1 180.0000 96.0000 87.50%
2992.45/3003.08 c 3003 3553 2426 1 180.0000 96.0000 87.50%
2998.62/3009.27 c 3009 3567 2440 1 180.0000 96.0000 87.50%
3005.11/3015.75 c 3016 3576 2449 1 180.0000 96.0000 87.50%
3010.40/3021.01 c 3021 3587 2460 1 180.0000 96.0000 87.50%
3015.48/3026.13 c 3026 3597 2468 1 180.0000 96.0000 87.50%
3025.55/3036.20 c 3036 3604 2475 1 180.0000 96.0000 87.50%
3030.83/3041.53 c 3042 3614 2485 1 180.0000 96.0000 87.50%
3037.32/3048.04 c 3048 3620 2491 1 180.0000 96.0000 87.50%
3043.30/3054.03 c 3054 3628 2499 1 180.0000 96.0000 87.50%
3049.28/3060.04 c 3060 3639 2509 1 180.0000 96.0000 87.50%
3054.56/3065.32 c 3065 3648 2518 1 180.0000 96.0000 87.50%
3059.84/3070.67 c 3071 3657 2527 1 180.0000 96.0000 87.50%
3065.72/3076.50 c 3076 3667 2537 1 180.0000 96.0000 87.50%
3071.80/3082.61 c 3083 3678 2548 1 180.0000 96.0000 87.50%
3078.88/3089.76 c 3090 3684 2554 1 180.0000 96.0000 87.50%
3086.46/3097.38 c 3097 3694 2564 1 180.0000 96.0000 87.50%
3091.74/3102.64 c 3103 3704 2574 1 180.0000 96.0000 87.50%
3097.72/3108.66 c 3109 3714 2584 1 180.0000 96.0000 87.50%
3104.40/3115.32 c 3115 3719 2589 1 180.0000 96.0000 87.50%
3110.48/3121.40 c 3121 3729 2599 1 180.0000 96.0000 87.50%
3116.36/3127.36 c 3127 3739 2609 1 180.0000 96.0000 87.50%
3121.85/3132.84 c 3133 3749 2619 1 180.0000 96.0000 87.50%
3126.93/3137.99 c 3138 3754 2624 1 180.0000 96.0000 87.50%
3132.41/3143.43 c 3143 3757 2627 1 180.0000 96.0000 87.50%
3137.70/3148.72 c 3149 3766 2636 1 180.0000 96.0000 87.50%
3143.68/3154.76 c 3155 3774 2644 1 180.0000 96.0000 87.50%
3150.66/3161.72 c 3162 3784 2654 1 180.0000 96.0000 87.50%
3155.95/3167.06 c 3167 3793 2663 1 180.0000 96.0000 87.50%
3161.72/3172.85 c 3173 3803 2673 1 180.0000 96.0000 87.50%
3167.91/3179.05 c 3179 3812 2681 1 180.0000 96.0000 87.50%
3173.58/3184.75 c 3185 3819 2688 1 180.0000 96.0000 87.50%
3178.57/3189.79 c 3190 3827 2695 1 180.0000 96.0000 87.50%
3184.35/3195.58 c 3196 3834 2702 1 180.0000 96.0000 87.50%
3189.64/3200.87 c 3201 3843 2711 1 180.0000 96.0000 87.50%
3195.52/3206.72 c 3207 3849 2717 1 180.0000 96.0000 87.50%
3201.30/3212.55 c 3213 3859 2727 1 180.0000 96.0000 87.50%
3206.98/3218.20 c 3218 3867 2735 1 180.0000 96.0000 87.50%
3212.06/3223.35 c 3223 3873 2739 1 180.0000 96.0000 87.50%
3217.55/3228.83 c 3229 3882 2748 1 180.0000 96.0000 87.50%
3223.04/3234.38 c 3234 3890 2756 1 180.0000 96.0000 87.50%
3228.72/3240.10 c 3240 3894 2760 1 180.0000 96.0000 87.50%
3235.00/3246.38 c 3246 3899 2765 1 180.0000 96.0000 87.50%
3240.38/3251.72 c 3252 3908 2774 1 180.0000 96.0000 87.50%
3246.96/3258.31 c 3258 3914 2780 1 180.0000 96.0000 87.50%
3252.65/3264.03 c 3264 3922 2788 1 180.0000 96.0000 87.50%
3262.12/3273.51 c 3274 3928 2794 1 180.0000 96.0000 87.50%
3268.40/3279.82 c 3280 3934 2798 1 180.0000 96.0000 87.50%
3276.08/3287.50 c 3288 3943 2807 1 180.0000 96.0000 87.50%
3281.76/3293.26 c 3293 3953 2817 1 180.0000 96.0000 87.50%
3286.84/3298.32 c 3298 3961 2823 1 180.0000 96.0000 87.50%
3294.92/3306.40 c 3306 3968 2830 1 180.0000 96.0000 87.50%
3302.60/3314.12 c 3314 3973 2835 1 180.0000 96.0000 87.50%
3308.58/3320.16 c 3320 3980 2842 1 180.0000 96.0000 87.50%
3314.16/3325.79 c 3326 3987 2849 1 180.0000 96.0000 87.50%
3321.44/3333.03 c 3333 3998 2860 1 180.0000 96.0000 87.50%
3328.02/3339.67 c 3340 4009 2871 1 180.0000 96.0000 87.50%
3334.20/3345.84 c 3346 4018 2880 1 180.0000 96.0000 87.50%
3339.39/3351.06 c 3351 4022 2882 1 180.0000 96.0000 87.50%
3345.26/3356.98 c 3357 4029 2889 1 180.0000 96.0000 87.50%
3351.14/3362.83 c 3363 4040 2898 1 180.0000 96.0000 87.50%
3356.62/3368.37 c 3368 4047 2905 1 180.0000 96.0000 87.50%
3363.10/3374.89 c 3375 4056 2914 1 180.0000 96.0000 87.50%
3370.18/3381.92 c 3382 4063 2921 1 180.0000 96.0000 87.50%
3375.37/3387.17 c 3387 4068 2926 1 180.0000 96.0000 87.50%
3385.54/3397.35 c 3397 4074 2932 1 180.0000 96.0000 87.50%
3391.32/3403.17 c 3403 4082 2940 1 180.0000 96.0000 87.50%
3397.50/3409.32 c 3409 4091 2949 1 180.0000 96.0000 87.50%
3402.88/3414.71 c 3415 4100 2958 1 180.0000 96.0000 87.50%
3408.27/3420.14 c 3420 4104 2962 1 180.0000 96.0000 87.50%
3413.65/3425.55 c 3426 4112 2970 1 180.0000 96.0000 87.50%
3419.74/3431.60 c 3432 4122 2980 1 180.0000 96.0000 87.50%
3425.92/3437.82 c 3438 4131 2989 1 180.0000 96.0000 87.50%
3432.00/3443.94 c 3444 4140 2996 1 180.0000 96.0000 87.50%
3438.78/3450.77 c 3451 4150 3006 1 180.0000 96.0000 87.50%
3445.16/3457.17 c 3457 4158 3014 1 180.0000 96.0000 87.50%
3450.94/3462.94 c 3463 4163 3019 1 180.0000 96.0000 87.50%
3457.62/3469.64 c 3470 4167 3023 1 180.0000 96.0000 87.50%
3461.61/3473.60 c * 3474 4168 3024 1 176.0000 96.0000 83.33%
3462.61/3474.66 c 3475 4175 3031 1 176.0000 96.0000 83.33%
3468.59/3480.67 c 3481 4183 3039 1 176.0000 96.0000 83.33%
3475.76/3487.86 c 3488 4191 3047 1 176.0000 96.0000 83.33%
3481.14/3493.22 c 3493 4199 3055 1 176.0000 96.0000 83.33%
3486.52/3498.60 c 3499 4205 3061 1 176.0000 96.0000 83.33%
3492.60/3504.76 c 3505 4211 3067 1 176.0000 96.0000 83.33%
3498.88/3511.04 c 3511 4219 3075 1 176.0000 96.0000 83.33%
3505.45/3517.66 c 3518 4225 3081 1 176.0000 96.0000 83.33%
3511.24/3523.47 c 3523 4232 3088 1 176.0000 96.0000 83.33%
3522.10/3534.37 c 3534 4234 3090 1 176.0000 96.0000 83.33%
3528.08/3540.35 c 3540 4243 3099 1 176.0000 96.0000 83.33%
3533.76/3546.07 c 3546 4250 3104 1 176.0000 96.0000 83.33%
3539.04/3551.34 c 3551 4261 3115 1 176.0000 96.0000 83.33%
3545.61/3557.99 c 3558 4266 3120 1 176.0000 96.0000 83.33%
3550.80/3563.10 c 3563 4274 3128 1 176.0000 96.0000 83.33%
3561.66/3574.05 c 3574 4284 3136 1 176.0000 96.0000 83.33%
3567.13/3579.55 c 3580 4292 3144 1 176.0000 96.0000 83.33%
3575.20/3587.60 c 3588 4297 3149 1 176.0000 96.0000 83.33%
3580.19/3592.66 c 3593 4306 3158 1 176.0000 96.0000 83.33%
3586.47/3598.90 c 3599 4312 3164 1 176.0000 96.0000 83.33%
3587.57/3600.07 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.57/3600.07 c Total Time : 3600.05
3587.57/3600.07 c solving : 3600.05
3587.57/3600.07 c presolving : 0.56 (included in solving)
3587.57/3600.07 c B&B Tree :
3587.57/3600.07 c nodes (total) : 1
3587.57/3600.07 c Solution :
3587.57/3600.07 c Solutions found : 3
3587.57/3600.07 c Primal Bound : +1.76000000000000e+02
3587.57/3600.07 c Dual Bound : +9.60000000000000e+01
3587.57/3600.07 c Gap : 83.33333 %
3587.57/3600.07 c * Warning: final gap: 8.33333e-01 is greater than SCIPepsilon: 1.00000e-09
3587.57/3600.07 o 176
3587.57/3600.07 s SATISFIABLE
3587.57/3600.07 v x833 x769 x705 -x641 x577 -x513 -x449 x385 x321 -x257 x193 -x129 -x65 -x1 -x896 -x832 x768 x704 -x640 x576 -x512 x448 -x384 -x320
3587.57/3600.07 v x256 x192 x128 -x64 -x887 x823 -x759 x695 x631 -x567 -x503 -x439 x375 x311 -x247 x183 x119 -x55 -x878 -x814 x750 x686 x622
3587.57/3600.07 v -x558 x494 -x430 -x366 -x302 x238 x174 -x110 x46 -x869 -x805 -x741 x677 -x613 x549 x485 -x421 -x357 x293 x229 -x165 x101 x37
3587.57/3600.07 v x860 -x796 -x732 -x668 x604 x540 -x476 x412 x348 x284 -x220 -x156 -x92 x28 x851 x787 x723 -x659 -x595 -x531 x467 x403 x339 -x275
3587.57/3600.07 v -x211 x147 -x83 -x19 x842 x778 -x714 -x650 -x586 x522 x458 -x394 -x330 x266 -x202 -x138 x74 x10 -x895 -x831 -x767 -x703
3587.57/3600.07 v x639 -x575 -x511 -x447 -x383 -x319 -x255 -x191 -x127 -x63 -x894 -x830 -x766 -x702 -x638 -x574 x510 -x446 -x382 -x318 -x254 -x190
3587.57/3600.07 v -x126 -x62 -x893 -x829 -x765 -x701 -x637 -x573 -x509 -x445 -x381 x317 -x253 -x189 -x125 -x61 -x892 -x828 -x764 -x700 -x636
3587.57/3600.07 v -x572 -x508 -x444 x380 -x316 -x252 -x188 -x124 -x60 -x891 x827 -x763 -x699 -x635 -x571 -x507 -x443 -x379 -x315 -x251 -x187
3587.57/3600.07 v -x123 -x59 -x890 -x826 -x762 -x698 -x634 -x570 -x506 -x442 -x378 -x314 -x250 -x186 -x122 x58 x889 -x825 -x761 -x697 -x633 -x569
3587.57/3600.07 v -x505 -x441 -x377 -x313 -x249 -x185 -x121 -x57 -x888 -x824 -x760 -x696 -x632 -x568 -x504 -x440 -x376 -x312 x248 -x184 -x120
3587.57/3600.07 v -x56 -x886 -x822 x758 -x694 -x630 -x566 -x502 -x438 -x374 -x310 -x246 -x182 -x118 -x54 -x885 -x821 -x757 -x693 -x629 -x565
3587.57/3600.07 v -x501 -x437 -x373 -x309 -x245 -x181 -x117 x53 -x884 -x820 -x756 -x692 -x628 x564 -x500 -x436 -x372 -x308 -x244 -x180 -x116 -x52
3587.57/3600.07 v x883 -x819 -x755 -x691 -x627 -x563 -x499 -x435 -x371 -x307 -x243 -x179 -x115 -x51 -x882 -x818 -x754 -x690 -x626 -x562 x498
3587.57/3600.07 v -x434 -x370 -x306 -x242 -x178 -x114 -x50 -x881 -x817 -x753 -x689 -x625 -x561 -x497 x433 -x369 -x305 -x241 -x177 -x113 -x49 -x880
3587.57/3600.07 v -x816 -x752 -x688 -x624 -x560 -x496 -x432 -x368 -x304 -x240 -x176 x112 -x48 -x879 -x815 -x751 -x687 -x623 -x559 -x495 -x431
3587.57/3600.07 v -x367 x303 -x239 -x175 -x111 -x47 -x877 -x813 -x749 -x685 -x621 x557 -x493 -x429 -x365 -x301 -x237 -x173 -x109 -x45 x876
3587.57/3600.07 v -x812 -x748 -x684 -x620 -x556 -x492 -x428 -x364 -x300 -x236 -x172 -x108 -x44 -x875 -x811 -x747 -x683 -x619 -x555 -x491 x427 -x363
3587.57/3600.07 v -x299 -x235 -x171 -x107 -x43 -x874 x810 -x746 -x682 -x618 -x554 -x490 -x426 -x362 -x298 -x234 -x170 -x106 -x42 -x873 -x809
3587.57/3600.07 v -x745 -x681 -x617 -x553 -x489 -x425 x361 -x297 -x233 -x169 -x105 -x41 -x872 -x808 -x744 -x680 -x616 -x552 -x488 x424 -x360
3587.57/3600.07 v -x296 -x232 -x168 -x104 -x40 -x871 x807 -x743 -x679 -x615 -x551 -x487 -x423 -x359 -x295 -x231 -x167 -x103 -x39 -x870 -x806 -x742
3587.57/3600.07 v -x678 -x614 -x550 -x486 -x422 -x358 -x294 -x230 x166 -x102 -x38 -x868 -x804 -x740 -x676 x612 -x548 -x484 -x420 -x356 -x292
3587.57/3600.07 v -x228 -x164 -x100 -x36 -x867 -x803 -x739 -x675 -x611 -x547 -x483 -x419 x355 -x291 -x227 -x163 -x99 -x35 x866 -x802 -x738 -x674
3587.57/3600.07 v -x610 -x546 -x482 -x418 -x354 -x290 -x226 -x162 -x98 -x34 -x865 -x801 x737 -x673 -x609 -x545 -x481 -x417 -x353 -x289 -x225
3587.57/3600.07 v -x161 -x97 -x33 -x864 -x800 x736 -x672 -x608 -x544 -x480 -x416 -x352 -x288 -x224 -x160 -x96 -x32 -x863 -x799 -x735 x671 -x607
3587.57/3600.07 v -x543 -x479 -x415 -x351 -x287 -x223 -x159 -x95 -x31 -x862 -x798 -x734 -x670 -x606 -x542 -x478 -x414 -x350 -x286 x222 -x158
3587.57/3600.07 v -x94 -x30 -x861 -x797 -x733 -x669 -x605 -x541 x477 -x413 -x349 -x285 -x221 -x157 -x93 -x29 -x859 -x795 -x731 -x667 -x603 -x539
3587.57/3600.07 v -x475 -x411 -x347 -x283 -x219 x155 -x91 -x27 -x858 -x794 -x730 -x666 -x602 -x538 -x474 -x410 -x346 -x282 -x218 -x154 x90
3587.57/3600.07 v -x26 -x857 x793 -x729 -x665 -x601 -x537 -x473 -x409 -x345 -x281 -x217 -x153 -x89 -x25 -x856 -x792 -x728 -x664 -x600 x536 -x472
3587.57/3600.07 v -x408 -x344 -x280 -x216 -x152 -x88 -x24 -x855 -x791 -x727 -x663 -x599 -x535 -x471 -x407 -x343 -x279 -x215 -x151 x87 -x23 -x854
3587.57/3600.07 v -x790 -x726 x662 -x598 -x534 -x470 -x406 -x342 -x278 -x214 -x150 -x86 -x22 -x853 -x789 -x725 -x661 -x597 -x533 -x469 -x405
3587.57/3600.07 v -x341 -x277 x213 -x149 -x85 -x21 -x852 -x788 -x724 -x660 -x596 -x532 -x468 -x404 -x340 -x276 -x212 -x148 -x84 x20 -x850 -x786
3587.57/3600.07 v -x722 -x658 -x594 -x530 -x466 -x402 -x338 x274 -x210 -x146 -x82 -x18 -x849 -x785 -x721 -x657 x593 -x529 -x465 -x401 -x337
3587.57/3600.07 v -x273 -x209 -x145 -x81 -x17 -x848 -x784 -x720 -x656 -x592 -x528 -x464 -x400 -x336 -x272 -x208 x144 -x80 -x16 -x847 -x783 -x719
3587.57/3600.07 v -x655 -x591 -x527 -x463 -x399 x335 -x271 -x207 -x143 -x79 -x15 -x846 -x782 -x718 -x654 x590 -x526 -x462 -x398 -x334 -x270 -x206
3587.57/3600.07 v -x142 -x78 -x14 -x845 -x781 -x717 x653 -x589 -x525 -x461 -x397 -x333 -x269 -x205 -x141 -x77 -x13 -x844 -x780 -x716 -x652
3587.57/3600.07 v -x588 -x524 -x460 x396 -x332 -x268 -x204 -x140 -x76 -x12 -x843 -x779 x715 -x651 -x587 -x523 -x459 -x395 -x331 -x267 -x203 -x139
3587.57/3600.07 v -x75 -x11 -x841 -x777 -x713 -x649 -x585 -x521 -x457 -x393 -x329 -x265 x201 -x137 -x73 -x9 -x840 -x776 -x712 x648 -x584 -x520
3587.57/3600.07 v -x456 -x392 -x328 -x264 -x200 -x136 -x72 -x8 -x839 -x775 -x711 -x647 -x583 -x519 -x455 -x391 -x327 -x263 -x199 x135 -x71
3587.57/3600.07 v -x7 -x838 -x774 -x710 -x646 -x582 -x518 -x454 -x390 -x326 -x262 -x198 -x134 -x70 x6 -x837 -x773 -x709 -x645 -x581 -x517 -x453
3587.57/3600.07 v -x389 -x325 -x261 -x197 -x133 x69 -x5 -x836 -x772 -x708 -x644 -x580 -x516 -x452 -x388 -x324 x260 -x196 -x132 -x68 -x4 -x835
3587.57/3600.07 v -x771 -x707 -x643 -x579 -x515 x451 -x387 -x323 -x259 -x195 -x131 -x67 -x3 -x834 -x770 -x706 -x642 -x578 x514 -x450 -x386 -x322
3587.57/3600.07 v -x258 -x194 -x130 -x66 -x2 x1344 x1343 x1342 -x1341 x1340 x1339 -x1338 x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 x1330
3587.57/3600.07 v -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 x1320 -x1319 -x1318 -x1317 x1316 -x1315 -x1314 -x1313 -x1312
3587.57/3600.07 v -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 x1303 x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 x1295 -x1294 -x1293
3587.57/3600.07 v -x1292 -x1291 -x1290 -x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 x1281 x1280 x1279 -x1278 x1277 -x1276 x1275
3587.57/3600.07 v -x1274 x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 x1259 -x1258 -x1257 -x1256
3587.57/3600.07 v -x1255 -x1254 -x1253 x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 x1242 -x1241 -x1240 -x1239 -x1238
3587.57/3600.07 v -x1237 -x1236 -x1235 -x1234 x1233 -x1232 x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220
3587.57/3600.07 v x1219 x1218 x1217 x1216 -x1215 -x1214 x1213 -x1212 -x1211 -x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 x1202 -x1201
3587.57/3600.07 v -x1200 -x1199 -x1198 -x1197 -x1196 x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 x1186 -x1185 -x1184 -x1183
3587.57/3600.07 v -x1182 -x1181 -x1180 -x1179 x1178 -x1177 -x1176 -x1175 x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165
3587.57/3600.07 v x1164 -x1163 -x1162 -x1161 x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 x1153 x1152 x1151 -x1150 x1149 -x1148 -x1147 -x1146
3587.57/3600.07 v x1145 -x1144 -x1143 -x1142 x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 x1131 -x1130 -x1129 -x1128
3587.57/3600.07 v -x1127 x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 x1114 x1113 -x1112 -x1111 -x1110
3587.57/3600.07 v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 x1096 -x1095 -x1094 -x1093 -x1092
3587.57/3600.07 v x1091 -x1090 x1089 -x1088 x1087 -x1086 -x1085 -x1084 x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 x1073
3587.57/3600.07 v -x1072 -x1071 -x1070 -x1069 -x1068 x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 x1058 -x1057 -x1056 -x1055
3587.57/3600.07 v -x1054 x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 x1038 -x1037
3587.57/3600.07 v -x1036 x1035 -x1034 -x1033 -x1032 -x1031 -x1030 x1029 -x1028 -x1027 x1026 x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
3587.57/3600.07 v x1017 -x1016 -x1015 -x1014 x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 x1002 -x1001 -x1000
3587.57/3600.07 v -x999 x998 -x997 -x996 -x995 -x994 -x993 x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 x983 -x982 -x981 -x980 -x979
3587.57/3600.07 v -x978 -x977 -x976 x975 -x974 -x973 -x972 -x971 -x970 -x969 x968 -x967 x966 x965 x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957
3587.57/3600.07 v -x956 -x955 -x954 x953 -x952 -x951 -x950 -x949 -x948 -x947 x946 -x945 -x944 -x943 -x942 -x941 -x940 x939 -x938 -x937 x936 -x935
3587.57/3600.07 v -x934 -x933 -x932 -x931 x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 x918 -x917 -x916 -x915 -x914
3587.57/3600.08 v -x913 x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 x904 x903 -x902 x901 -x900 x899 x898 -x897
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 (60802 MiB free)
memory of node 1: 64510 MiB (61758 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434630-1721067094/watcher-4434630-1721067094 -o /tmp/evaluation-result-4434630-1721067094/solver-4434630-1721067094 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721064102-809918 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434630-1721067094.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=812183, runsolver pid=812180
[startup+0.100919 s]*
/proc/loadavg: 4.17 4.12 4.06 5/261 812184
/proc/meminfo: memFree=125457880/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=65144 memory=53636 CPUtime=0.09 cores=0,2
/proc/812183/stat : 812183 (fscip) R 812180 812183 809908 0 -1 4194304 10610 0 0 0 8 1 0 0 20 0 1 0 158879095 66707456 13409 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 16286 13409 2638 3032 0 12686 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65144 KiB
Current children cumulated memory: 53636 KiB
[startup+0.205602 s]*
/proc/loadavg: 4.17 4.12 4.06 5/261 812184
/proc/meminfo: memFree=125447484/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=74608 memory=63852 CPUtime=0.2 cores=0,2
/proc/812183/stat : 812183 (fscip) R 812180 812183 809908 0 -1 4194304 17245 0 0 0 17 3 0 0 20 0 1 0 158879095 76398592 15963 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 18652 15963 2702 3032 0 15052 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74608 KiB
Current children cumulated memory: 63852 KiB
[startup+0.305576 s]*
/proc/loadavg: 4.17 4.12 4.06 5/261 812184
/proc/meminfo: memFree=125445016/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=77320 memory=66668 CPUtime=0.3 cores=0,2
/proc/812183/stat : 812183 (fscip) R 812180 812183 809908 0 -1 4194304 17937 0 0 0 27 3 0 0 20 0 1 0 158879095 79175680 16667 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 19330 16667 2750 3032 0 15730 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77320 KiB
Current children cumulated memory: 66668 KiB
[startup+0.700904 s]
/proc/loadavg: 4.17 4.12 4.06 5/261 812184
/proc/meminfo: memFree=125401444/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=242068 memory=162856 CPUtime=0.69 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 39735 0 0 0 62 7 0 0 20 0 3 0 158879095 247877632 40714 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 60517 40714 2798 3032 0 47406 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 242068 KiB
Current children cumulated memory: 162856 KiB
[startup+1.5009 s]
/proc/loadavg: 4.17 4.12 4.06 5/263 812186
/proc/meminfo: memFree=125312496/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=307604 memory=224932 CPUtime=1.48 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 57701 0 0 0 139 9 0 0 20 0 3 0 158879095 314986496 56233 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 76901 56233 2878 3032 0 63169 0
[pid=812183/tid=812185] ppid=812180 vsize=307604 memory=4220 CPUtime=0.82 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 24645 0 0 0 79 3 0 0 20 0 3 0 158879158 314986496 56233 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=307604 memory=2220 CPUtime=0 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 158879164 314986496 56233 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 307604 KiB
Current children cumulated memory: 224932 KiB
[startup+3.1059 s]
/proc/loadavg: 4.15 4.12 4.06 5/263 812186
/proc/meminfo: memFree=125286716/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=307604 memory=225092 CPUtime=3.06 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 66426 0 0 0 297 9 0 0 20 0 3 0 158879095 314986496 56273 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 76901 56273 2910 3032 0 63169 0
[pid=812183/tid=812185] ppid=812180 vsize=307604 memory=2220 CPUtime=2.41 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 33363 0 0 0 238 3 0 0 20 0 3 0 158879158 314986496 56273 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=307604 memory=184392 CPUtime=0 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 158879164 314986496 56273 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 307604 KiB
Current children cumulated memory: 225092 KiB
[startup+6.3009 s]
/proc/loadavg: 4.15 4.12 4.06 5/263 812186
/proc/meminfo: memFree=125286624/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=307604 memory=225092 CPUtime=6.23 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 70760 0 0 0 614 9 0 0 20 0 3 0 158879095 314986496 56273 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 76901 56273 2910 3032 0 63169 0
[pid=812183/tid=812185] ppid=812180 vsize=307604 memory=12316 CPUtime=5.58 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 37690 0 0 0 555 3 0 0 20 0 3 0 158879158 314986496 56273 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=307604 memory=225092 CPUtime=0 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 158879164 314986496 56273 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 307604 KiB
Current children cumulated memory: 225092 KiB
[startup+12.7009 s]
/proc/loadavg: 4.13 4.11 4.06 5/263 812188
/proc/meminfo: memFree=125269200/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=307604 memory=242856 CPUtime=12.58 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 97349 0 0 0 1247 11 0 0 20 0 3 0 158879095 314986496 60714 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 76901 60714 2926 3032 0 68851 0
[pid=812183/tid=812185] ppid=812180 vsize=307604 memory=242524 CPUtime=11.92 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 64271 0 0 0 1187 5 0 0 20 0 3 0 158879158 314986496 60714 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=307604 memory=2273 CPUtime=0 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 158879164 314986496 60714 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 307604 KiB
Current children cumulated memory: 242856 KiB
[startup+25.5009 s]
/proc/loadavg: 4.11 4.11 4.06 5/263 812189
/proc/meminfo: memFree=125264816/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=307604 memory=244892 CPUtime=25.26 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 125825 0 0 0 2514 12 0 0 20 0 3 0 158879095 314986496 61223 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 76901 61223 2926 3032 0 71214 0
[pid=812183/tid=812185] ppid=812180 vsize=307604 memory=244892 CPUtime=24.6 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 92743 0 0 0 2454 6 0 0 20 0 3 0 158879158 314986496 61223 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=307604 memory=244856 CPUtime=0 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 158879164 314986496 61223 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 307604 KiB
Current children cumulated memory: 244892 KiB
[startup+51.1059 s]
/proc/loadavg: 4.13 4.12 4.06 5/263 812195
/proc/meminfo: memFree=125264656/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=307604 memory=244992 CPUtime=50.63 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 149540 0 0 0 5049 14 0 0 20 0 3 0 158879095 314986496 61248 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 76901 61248 2926 3032 0 72352 0
[pid=812183/tid=812185] ppid=812180 vsize=307604 memory=244992 CPUtime=49.98 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 116444 0 0 0 4990 8 0 0 20 0 3 0 158879158 314986496 61248 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=307604 memory=12316 CPUtime=0 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 158879164 314986496 61248 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 50.63 s
Current children cumulated vsize: 307604 KiB
Current children cumulated memory: 244992 KiB
[startup+102.301 s]
/proc/loadavg: 4.10 4.11 4.06 5/263 812203
/proc/meminfo: memFree=125231324/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=373140 memory=277984 CPUtime=101.35 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 187753 0 0 0 10118 17 0 0 20 0 3 0 158879095 382095360 69496 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 93285 69496 2942 3032 0 81014 0
[pid=812183/tid=812185] ppid=812180 vsize=373140 memory=277984 CPUtime=100.7 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 154579 0 0 0 10059 11 0 0 20 0 3 0 158879158 382095360 69496 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=373140 memory=277984 CPUtime=0 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 158879164 382095360 69496 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 101.35 s
Current children cumulated vsize: 373140 KiB
Current children cumulated memory: 277984 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.07 5/263 812214
/proc/meminfo: memFree=125219528/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=373140 memory=289348 CPUtime=160.93 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 224526 0 0 0 16073 20 0 0 20 0 3 0 158879095 382095360 72337 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 93285 72337 2990 3032 0 83631 0
[pid=812183/tid=812185] ppid=812180 vsize=373140 memory=278176 CPUtime=160.27 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 191268 0 0 0 16013 14 0 0 20 0 3 0 158879158 382095360 72337 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=373140 memory=289348 CPUtime=0 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 67 0 0 0 0 0 0 0 20 0 3 0 158879164 382095360 72337 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 160.93 s
Current children cumulated vsize: 373140 KiB
Current children cumulated memory: 289348 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/264 812225
/proc/meminfo: memFree=125218668/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=373140 memory=289552 CPUtime=220.73 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 240652 0 0 0 22053 20 0 0 20 0 3 0 158879095 382095360 72388 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 93285 72388 2990 3032 0 83631 0
[pid=812183/tid=812185] ppid=812180 vsize=373140 memory=12316 CPUtime=220.07 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 207360 0 0 0 21993 14 0 0 20 0 3 0 158879158 382095360 72388 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=373140 memory=289552 CPUtime=0 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 69 0 0 0 0 0 0 0 20 0 3 0 158879164 382095360 72388 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 220.73 s
Current children cumulated vsize: 373140 KiB
Current children cumulated memory: 289552 KiB
################
# More data... #
################
/proc/812183/statm: 142437 123915 3310 3032 0 130266 0
[pid=812183/tid=812185] ppid=812180 vsize=569748 memory=495660 CPUtime=3389.73 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 339896 0 0 0 338934 39 0 0 20 0 3 0 158879158 583421952 123915 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=569748 memory=495660 CPUtime=0.03 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 261 0 0 0 1 2 0 0 20 0 3 0 158879164 583421952 123915 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 3390.52 s
Current children cumulated vsize: 569748 KiB
Current children cumulated memory: 495660 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 814137
/proc/meminfo: memFree=124098028/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=569748 memory=495660 CPUtime=3450.34 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 376086 0 0 0 344982 52 0 0 20 0 3 0 158879095 583421952 123915 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 142437 123915 3310 3032 0 130266 0
[pid=812183/tid=812185] ppid=812180 vsize=569748 memory=495660 CPUtime=3449.54 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 340991 0 0 0 344915 39 0 0 20 0 3 0 158879158 583421952 123915 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=569748 memory=12316 CPUtime=0.03 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 267 0 0 0 1 2 0 0 20 0 3 0 158879164 583421952 123915 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 3450.34 s
Current children cumulated vsize: 569748 KiB
Current children cumulated memory: 495660 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/262 814147
/proc/meminfo: memFree=124079904/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=569748 memory=495908 CPUtime=3510.14 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 377486 0 0 0 350962 52 0 0 20 0 3 0 158879095 583421952 123977 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 142437 123977 3310 3032 0 130266 0
[pid=812183/tid=812185] ppid=812180 vsize=569748 memory=495908 CPUtime=3509.35 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 342182 0 0 0 350895 40 0 0 20 0 3 0 158879158 583421952 123977 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=569748 memory=495660 CPUtime=0.03 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 272 0 0 0 1 2 0 0 20 0 3 0 158879164 583421952 123977 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 3510.14 s
Current children cumulated vsize: 569748 KiB
Current children cumulated memory: 495908 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 814162
/proc/meminfo: memFree=124068100/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=569748 memory=495972 CPUtime=3569.92 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 378756 0 0 0 356939 53 0 0 20 0 3 0 158879095 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 142437 123993 3310 3032 0 130266 0
[pid=812183/tid=812185] ppid=812180 vsize=569748 memory=495972 CPUtime=3569.13 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 343427 0 0 0 356872 41 0 0 20 0 3 0 158879158 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=569748 memory=495972 CPUtime=0.03 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 274 0 0 0 1 2 0 0 20 0 3 0 158879164 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 3569.92 s
Current children cumulated vsize: 569748 KiB
Current children cumulated memory: 495972 KiB
[startup+3600.09 s]
# the end of solver process 812183 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.11 s, system=0.547539 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.10 4.10 4.09 5/264 814162
/proc/meminfo: memFree=124068016/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=569748 memory=495972 CPUtime=3571.62 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 378756 0 0 0 357109 53 0 0 20 0 3 0 158879095 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 142437 123993 3310 3032 0 130266 0
[pid=812183/tid=812185] ppid=812180 vsize=569748 memory=6720661043414186860 CPUtime=3570.83 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 343427 0 0 0 357042 41 0 0 20 0 3 0 158879158 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=569748 memory=-7450492716546810239 CPUtime=0.03 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 274 0 0 0 1 2 0 0 20 0 3 0 158879164 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 569748 KiB
Current children cumulated memory: 495972 KiB
[startup+3590.4 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 814163
/proc/meminfo: memFree=124066896/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=569748 memory=495972 CPUtime=3578 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 378860 0 0 0 357746 54 0 0 20 0 3 0 158879095 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 142437 123993 3310 3032 0 130266 0
[pid=812183/tid=812185] ppid=812180 vsize=569748 memory=495972 CPUtime=3577.2 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 343521 0 0 0 357679 41 0 0 20 0 3 0 158879158 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=569748 memory=495972 CPUtime=0.03 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 274 0 0 0 1 2 0 0 20 0 3 0 158879164 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 3578 s
Current children cumulated vsize: 569748 KiB
Current children cumulated memory: 495972 KiB
[startup+3596.8 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 814163
/proc/meminfo: memFree=124065792/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=569748 memory=495972 CPUtime=3584.38 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 379089 0 0 0 358384 54 0 0 20 0 3 0 158879095 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 142437 123993 3310 3032 0 130266 0
[pid=812183/tid=812185] ppid=812180 vsize=569748 memory=495972 CPUtime=3583.58 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 343740 0 0 0 358317 41 0 0 20 0 3 0 158879158 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=569748 memory=40760 CPUtime=0.03 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 274 0 0 0 1 2 0 0 20 0 3 0 158879164 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 3584.38 s
Current children cumulated vsize: 569748 KiB
Current children cumulated memory: 495972 KiB
[startup+3598.4 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 814163
/proc/meminfo: memFree=124065652/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=569748 memory=495972 CPUtime=3585.97 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 379089 0 0 0 358543 54 0 0 20 0 3 0 158879095 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 142437 123993 3310 3032 0 130266 0
[pid=812183/tid=812185] ppid=812180 vsize=569748 memory=-7450492716546810239 CPUtime=3585.17 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 343740 0 0 0 358476 41 0 0 20 0 3 0 158879158 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=569748 memory=12316 CPUtime=0.03 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 274 0 0 0 1 2 0 0 20 0 3 0 158879164 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 3585.97 s
Current children cumulated vsize: 569748 KiB
Current children cumulated memory: 495972 KiB
[startup+3599.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 814163
/proc/meminfo: memFree=124064644/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=569748 memory=495972 CPUtime=3586.77 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 379089 0 0 0 358623 54 0 0 20 0 3 0 158879095 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 142437 123993 3310 3032 0 130266 0
[pid=812183/tid=812185] ppid=812180 vsize=569748 memory=12316 CPUtime=3585.97 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 343740 0 0 0 358556 41 0 0 20 0 3 0 158879158 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=569748 memory=40760 CPUtime=0.03 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 274 0 0 0 1 2 0 0 20 0 3 0 158879164 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 3586.77 s
Current children cumulated vsize: 569748 KiB
Current children cumulated memory: 495972 KiB
[startup+3599.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 814163
/proc/meminfo: memFree=124064644/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=569748 memory=495972 CPUtime=3587.17 cores=0,2
/proc/812183/stat : 812183 (fscip) S 812180 812183 809908 0 -1 1077936128 379089 0 0 0 358663 54 0 0 20 0 3 0 158879095 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 142437 123993 3310 3032 0 130266 0
[pid=812183/tid=812185] ppid=812180 vsize=569748 memory=5492 CPUtime=3586.37 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 343740 0 0 0 358596 41 0 0 20 0 3 0 158879158 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=569748 memory=15976 CPUtime=0.03 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 274 0 0 0 1 2 0 0 20 0 3 0 158879164 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 3587.17 s
Current children cumulated vsize: 569748 KiB
Current children cumulated memory: 495972 KiB
[startup+3600 s]*
/proc/loadavg: 4.08 4.09 4.09 5/264 814165
/proc/meminfo: memFree=124064476/131524600 swapFree=131071996/131071996
[pid=812183] ppid=812180 vsize=569748 memory=495972 CPUtime=3587.57 cores=0,2
/proc/812183/stat : 812183 (fscip) R 812180 812183 809908 0 -1 1077936128 379643 0 0 0 358703 54 0 0 20 0 3 0 158879095 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
/proc/812183/statm: 142437 123993 3310 3032 0 130266 0
[pid=812183/tid=812185] ppid=812180 vsize=569748 memory=19296 CPUtime=3586.77 cores=0,2
/proc/812183/task/812185/stat : 812185 (fscip) R 812180 812183 809908 0 -1 4194368 344297 0 0 0 358636 41 0 0 20 0 3 0 158879158 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
[pid=812183/tid=812186] ppid=812180 vsize=569748 memory=25948 CPUtime=0.03 cores=0,2
/proc/812183/task/812186/stat : 812186 (fscip) S 812180 812183 809908 0 -1 1077936192 274 0 0 0 1 2 0 0 20 0 3 0 158879164 583421952 123993 134679101440 4194304 16613245 140731460084480 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 36216832 140731460092949 140731460093065 140731460093065 140731460100080 0
Current children cumulated CPU time: 3587.57 s
Current children cumulated vsize: 569748 KiB
Current children cumulated memory: 495972 KiB
Child status: 0
Real time (s): 3600.09
CPU time (s): 3587.66
CPU user time (s): 3587.11
CPU system time (s): 0.547539
CPU usage (%): 99.6548
Max. virtual memory (cumulated for all children) (KiB): 569748
Max. memory (cumulated for all children) (KiB): 495972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.11
system time used= 0.547539
maximum resident set size= 495972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382708
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= 7254
involuntary context switches= 26153
# summary of solver processes directly reported to runsolver:
# pid: 812183
# total CPU time (s): 3587.66
# total CPU user time (s): 3587.11
# total CPU system time (s): 0.547539
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92879 second user time and 16.1636 second system time
The end
Begin job on nodeC033 at 2024-07-15 20:11:46
IDJOB=4434630
IDBENCH=147017
IDSOLVER=3064
FILE ID=nodeC033/4434630-1721067094
RUNJOBID= nodeC033-1721064102-809918
SLURM_JOB_ID= 7505520
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/ttp/normalized-circ8_3.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-4434630-1721067094/watcher-4434630-1721067094 -o /tmp/evaluation-result-4434630-1721067094/solver-4434630-1721067094 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721064102-809918 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434630-1721067094.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=1269501642
nodeC033.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 : 3674.842
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.50
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 : 3681.087
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.25
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 : 3662.659
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.50
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.092
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.25
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.076
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.50
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 : 3681.089
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.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.012
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.50
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 : 3599.772
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.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125502156 kB
MemAvailable: 128469916 kB
Buffers: 385228 kB
Cached: 3388620 kB
SwapCached: 0 kB
Active: 637472 kB
Inactive: 4726196 kB
Active(anon): 1556 kB
Inactive(anon): 1625972 kB
Active(file): 635916 kB
Inactive(file): 3100224 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29460 kB
Writeback: 24 kB
AnonPages: 1588000 kB
Mapped: 139124 kB
Shmem: 37716 kB
KReclaimable: 142532 kB
Slab: 252552 kB
SReclaimable: 142532 kB
SUnreclaim: 110020 kB
KernelStack: 4240 kB
PageTables: 12200 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1446612 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 60320 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1396736 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: 256724 kB
DirectMap2M: 25731072 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC033 at 2024-07-15 21:11:46