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.09/0.17 c Default LC presolving (default).
0.09/0.17 c ** Before presolving: virtualMemUsedAtLc = 57458688, getVmSize() = 57458688, SCIPgetMemUsed() = 25588517, SCIPgetMemTotal() = 34708477, SCIPgetMemExternEstim() = 18919918
0.09/0.17 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.38/1.42 c ** Estimated virtualMemUsedAtSolver = 103139754, getVmSize() = 161157120, SCIPgetMemUsed() = 90624698, SCIPgetMemTotal() = 135789714, SCIPgetMemExternEstim() = 18919918
1.38/1.42 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
1.38/1.42 c Original Problem :
1.38/1.42 c Problem name : instance-4463962-1722378594
1.38/1.42 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
1.38/1.42 c Constraints : 16096
1.38/1.42 c Objective sense : minimize
1.38/1.42 c Presolved Problem :
1.38/1.42 c Variables : 1344 (1344 binary, 0 integer, 0 implicit integer, 0 continuous)
1.38/1.42 c Constraints : 16096
1.38/1.42 c Constraints : Number
1.38/1.42 c knapsack : 7496
1.38/1.42 c setppc : 2016
1.38/1.42 c logicor : 6584
1.38/1.42 c ** Instance transfer method used: 0
1.38/1.46 c ** ParaScipInstance copy does not increase the number of variables. **
1.48/1.53 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.48/1.53 c Nodes Active
1.48/1.53 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
72.64/72.92 c 73 2 1 1 - 96.0000 -
81.61/81.91 c 82 3 2 1 - 96.0000 -
94.17/94.54 c 95 4 3 1 - 96.0000 -
101.25/101.62 c 102 5 4 1 - 96.0000 -
108.83/109.26 c 109 6 5 1 - 96.0000 -
117.01/117.40 c 117 7 6 1 - 96.0000 -
124.89/125.35 c 125 8 7 1 - 96.0000 -
135.15/135.68 c 136 12 11 1 - 96.0000 -
149.01/149.55 c 150 27 26 1 - 96.0000 -
156.62/157.13 c 157 38 37 1 - 96.0000 -
162.19/162.78 c 163 43 42 1 - 96.0000 -
169.96/170.59 c 171 52 51 1 - 96.0000 -
176.14/176.77 c 177 63 62 1 - 96.0000 -
181.44/182.08 c 182 80 79 1 - 96.0000 -
188.91/189.53 c 190 84 83 1 - 96.0000 -
194.69/195.32 c 195 89 88 1 - 96.0000 -
200.88/201.53 c 202 97 96 1 - 96.0000 -
206.26/206.98 c 207 102 101 1 - 96.0000 -
212.24/213.01 c 213 105 104 1 - 96.0000 -
218.72/219.49 c 219 116 113 1 - 96.0000 -
226.31/227.10 c 227 137 134 1 - 96.0000 -
231.40/232.17 c 232 149 146 1 - 96.0000 -
239.86/240.64 c 241 164 161 1 - 96.0000 -
245.65/246.45 c 246 176 173 1 - 96.0000 -
253.43/254.29 c 254 194 191 1 - 96.0000 -
259.61/260.48 c 260 200 197 1 - 96.0000 -
268.98/269.89 c 270 210 207 1 - 96.0000 -
278.16/279.03 c 279 229 226 1 - 96.0000 -
284.03/284.96 c 285 243 240 1 - 96.0000 -
290.13/291.04 c 291 263 260 1 - 96.0000 -
300.98/301.94 c 302 270 267 1 - 96.0000 -
307.86/308.87 c 309 278 275 1 - 96.0000 -
317.24/318.21 c 318 291 288 1 - 96.0000 -
323.41/324.43 c 324 300 297 1 - 96.0000 -
334.18/335.24 c 335 307 304 1 - 96.0000 -
339.67/340.75 c 341 330 327 1 - 96.0000 -
345.35/346.40 c 346 348 345 1 - 96.0000 -
353.73/354.83 c 355 349 346 1 - 96.0000 -
358.92/360.10 c 360 364 361 1 - 96.0000 -
364.79/365.95 c 366 382 377 1 - 96.0000 -
370.27/371.40 c 371 397 392 1 - 96.0000 -
375.25/376.45 c 376 413 408 1 - 96.0000 -
384.13/385.33 c 385 416 411 1 - 96.0000 -
392.10/393.31 c 393 430 425 1 - 96.0000 -
398.28/399.50 c 400 436 431 1 - 96.0000 -
400.07/401.38 c * 401 443 438 1 190.0000 96.0000 97.92%
404.66/405.94 c 406 449 444 1 190.0000 96.0000 97.92%
412.63/413.98 c 414 456 451 1 190.0000 96.0000 97.92%
418.72/420.02 c 420 467 462 1 190.0000 96.0000 97.92%
425.39/426.78 c 427 470 465 1 190.0000 96.0000 97.92%
432.06/433.44 c 433 474 469 1 190.0000 96.0000 97.92%
437.66/439.06 c 439 478 473 1 190.0000 96.0000 97.92%
447.31/448.73 c 449 484 479 1 190.0000 96.0000 97.92%
455.89/457.37 c 457 488 483 1 190.0000 96.0000 97.92%
464.16/465.68 c 466 492 487 1 190.0000 96.0000 97.92%
470.04/471.57 c 472 508 503 1 190.0000 96.0000 97.92%
476.22/477.73 c 478 509 504 1 190.0000 96.0000 97.92%
483.30/484.89 c 485 512 507 1 190.0000 96.0000 97.92%
488.98/490.50 c 491 516 511 1 190.0000 96.0000 97.92%
494.86/496.42 c 496 523 518 1 190.0000 96.0000 97.92%
502.33/503.94 c 504 534 529 1 190.0000 96.0000 97.92%
509.11/510.75 c 511 541 536 1 190.0000 96.0000 97.92%
514.59/516.21 c 516 544 539 1 190.0000 96.0000 97.92%
521.17/522.83 c 523 548 543 1 190.0000 96.0000 97.92%
526.85/528.51 c 529 556 551 1 190.0000 96.0000 97.92%
531.83/533.55 c 534 564 559 1 190.0000 96.0000 97.92%
537.52/539.27 c 539 579 574 1 190.0000 96.0000 97.92%
545.19/546.90 c 547 595 590 1 190.0000 96.0000 97.92%
550.17/551.91 c 552 604 599 1 190.0000 96.0000 97.92%
558.55/560.36 c 560 607 602 1 190.0000 96.0000 97.92%
565.43/567.25 c 567 608 603 1 190.0000 96.0000 97.92%
571.90/573.71 c 574 612 607 1 190.0000 96.0000 97.92%
579.98/581.81 c 582 617 612 1 190.0000 96.0000 97.92%
594.93/596.85 c 597 637 632 1 190.0000 96.0000 97.92%
601.22/603.14 c 603 642 637 1 190.0000 96.0000 97.92%
607.21/609.13 c 609 658 653 1 190.0000 96.0000 97.92%
617.57/619.59 c 620 660 655 1 190.0000 96.0000 97.92%
624.45/626.45 c 626 678 673 1 190.0000 96.0000 97.92%
634.13/636.13 c 636 683 678 1 190.0000 96.0000 97.92%
639.40/641.48 c 641 703 696 1 190.0000 96.0000 97.92%
645.58/647.61 c 648 711 704 1 190.0000 96.0000 97.92%
653.25/655.37 c 655 723 716 1 190.0000 96.0000 97.92%
662.04/664.15 c 664 742 735 1 190.0000 96.0000 97.92%
667.70/669.83 c 670 752 745 1 190.0000 96.0000 97.92%
673.99/676.17 c 676 774 765 1 190.0000 96.0000 97.92%
680.46/682.64 c 683 782 773 1 190.0000 96.0000 97.92%
685.54/687.73 c 688 791 782 1 190.0000 96.0000 97.92%
691.52/693.70 c 694 798 789 1 190.0000 96.0000 97.92%
697.50/699.79 c 700 811 802 1 190.0000 96.0000 97.92%
703.38/705.61 c 706 815 806 1 190.0000 96.0000 97.92%
709.36/711.60 c 712 828 814 1 190.0000 96.0000 97.92%
714.44/716.71 c 717 832 818 1 190.0000 96.0000 97.92%
721.22/723.54 c 724 850 836 1 190.0000 96.0000 97.92%
727.71/730.05 c 730 861 845 1 190.0000 96.0000 97.92%
733.38/735.77 c 736 868 852 1 190.0000 96.0000 97.92%
739.26/741.61 c 742 884 868 1 190.0000 96.0000 97.92%
748.33/750.77 c 751 885 869 1 190.0000 96.0000 97.92%
754.41/756.81 c 757 886 870 1 190.0000 96.0000 97.92%
760.60/763.06 c 763 897 881 1 190.0000 96.0000 97.92%
769.67/772.13 c 772 910 894 1 190.0000 96.0000 97.92%
775.44/777.98 c 778 915 899 1 190.0000 96.0000 97.92%
780.92/783.45 c 783 926 910 1 190.0000 96.0000 97.92%
786.99/789.58 c 790 937 919 1 190.0000 96.0000 97.92%
793.08/795.63 c 796 942 924 1 190.0000 96.0000 97.92%
798.76/801.37 c 801 947 929 1 190.0000 96.0000 97.92%
806.04/808.61 c 809 967 949 1 190.0000 96.0000 97.92%
812.62/815.25 c 815 980 962 1 190.0000 96.0000 97.92%
817.90/820.53 c 821 983 965 1 190.0000 96.0000 97.92%
823.68/826.39 c 826 991 973 1 190.0000 96.0000 97.92%
829.86/832.55 c 833 1003 985 1 190.0000 96.0000 97.92%
836.45/839.17 c 839 1018 1000 1 190.0000 96.0000 97.92%
842.12/844.84 c 845 1033 1015 1 190.0000 96.0000 97.92%
847.90/850.65 c 851 1042 1024 1 190.0000 96.0000 97.92%
902.25/905.15 c 905 1050 1 1 190.0000 96.0000 97.92%
908.51/911.42 c 911 1051 2 1 190.0000 96.0000 97.92%
918.09/921.07 c 921 1057 8 1 190.0000 96.0000 97.92%
940.13/943.17 c 943 1060 11 1 190.0000 96.0000 97.92%
945.89/948.94 c 949 1072 23 1 190.0000 96.0000 97.92%
954.56/957.65 c 958 1076 27 1 190.0000 96.0000 97.92%
959.54/962.66 c 963 1080 31 1 190.0000 96.0000 97.92%
973.10/976.21 c 976 1087 38 1 190.0000 96.0000 97.92%
979.28/982.42 c 982 1096 47 1 190.0000 96.0000 97.92%
988.75/991.91 c 992 1099 50 1 190.0000 96.0000 97.92%
997.22/1000.49 c 1000 1110 61 1 190.0000 96.0000 97.92%
1003.11/1006.39 c 1006 1123 74 1 190.0000 96.0000 97.92%
1009.80/1013.06 c 1013 1125 76 1 190.0000 96.0000 97.92%
1015.07/1018.36 c 1018 1131 82 1 190.0000 96.0000 97.92%
1023.86/1027.18 c 1027 1141 92 1 190.0000 96.0000 97.92%
1030.42/1033.74 c 1034 1145 96 1 190.0000 96.0000 97.92%
1035.50/1038.86 c 1039 1156 107 1 190.0000 96.0000 97.92%
1041.80/1045.16 c 1045 1170 121 1 190.0000 96.0000 97.92%
1046.86/1050.22 c 1050 1181 132 1 190.0000 96.0000 97.92%
1052.55/1055.94 c 1056 1186 137 1 190.0000 96.0000 97.92%
1058.33/1061.74 c 1062 1204 155 1 190.0000 96.0000 97.92%
1064.51/1067.90 c 1068 1211 162 1 190.0000 96.0000 97.92%
1069.49/1072.97 c 1073 1228 179 1 190.0000 96.0000 97.92%
1075.37/1078.81 c 1079 1241 188 1 190.0000 96.0000 97.92%
1081.94/1085.40 c 1085 1264 211 1 190.0000 96.0000 97.92%
1087.13/1090.69 c 1091 1276 223 1 190.0000 96.0000 97.92%
1095.00/1098.55 c 1099 1290 237 1 190.0000 96.0000 97.92%
1100.49/1104.09 c 1104 1308 255 1 190.0000 96.0000 97.92%
1107.47/1111.06 c 1111 1327 272 1 190.0000 96.0000 97.92%
1113.56/1117.15 c 1117 1332 277 1 190.0000 96.0000 97.92%
1118.63/1122.27 c 1122 1339 284 1 190.0000 96.0000 97.92%
1128.31/1131.99 c 1132 1356 301 1 190.0000 96.0000 97.92%
1134.50/1138.15 c 1138 1357 302 1 190.0000 96.0000 97.92%
1140.27/1143.97 c 1144 1367 312 1 190.0000 96.0000 97.92%
1146.37/1150.01 c 1150 1378 323 1 190.0000 96.0000 97.92%
1153.23/1156.97 c 1157 1381 326 1 190.0000 96.0000 97.92%
1161.33/1165.08 c 1165 1384 329 1 190.0000 96.0000 97.92%
1166.80/1170.50 c 1170 1400 345 1 190.0000 96.0000 97.92%
1172.48/1176.22 c 1176 1409 354 1 190.0000 96.0000 97.92%
1177.87/1181.63 c 1182 1416 361 1 190.0000 96.0000 97.92%
1184.55/1188.33 c 1188 1429 374 1 190.0000 96.0000 97.92%
1191.93/1195.70 c 1196 1430 375 1 190.0000 96.0000 97.92%
1198.40/1202.25 c 1202 1440 385 1 190.0000 96.0000 97.92%
1203.99/1207.87 c 1208 1450 395 1 190.0000 96.0000 97.92%
1210.46/1214.31 c 1214 1456 401 1 190.0000 96.0000 97.92%
1218.74/1222.62 c 1223 1465 410 1 190.0000 96.0000 97.92%
1224.52/1228.40 c 1228 1475 420 1 190.0000 96.0000 97.92%
1229.91/1233.85 c 1234 1483 428 1 190.0000 96.0000 97.92%
1236.28/1240.24 c 1240 1490 435 1 190.0000 96.0000 97.92%
1242.96/1246.97 c 1247 1496 441 1 190.0000 96.0000 97.92%
1249.24/1253.21 c 1253 1505 450 1 190.0000 96.0000 97.92%
1262.90/1266.90 c 1267 1512 457 1 190.0000 96.0000 97.92%
1269.18/1273.26 c 1273 1520 465 1 190.0000 96.0000 97.92%
1274.66/1278.70 c 1279 1530 473 1 190.0000 96.0000 97.92%
1280.24/1284.36 c 1284 1536 479 1 190.0000 96.0000 97.92%
1285.82/1289.96 c 1290 1540 483 1 190.0000 96.0000 97.92%
1297.28/1301.40 c 1301 1545 488 1 190.0000 96.0000 97.92%
1311.24/1315.40 c 1315 1550 493 1 190.0000 96.0000 97.92%
1316.22/1320.42 c 1320 1551 494 1 190.0000 96.0000 97.92%
1323.70/1327.98 c 1328 1562 505 1 190.0000 96.0000 97.92%
1329.89/1334.12 c 1334 1571 514 1 190.0000 96.0000 97.92%
1335.46/1339.79 c 1340 1579 522 1 190.0000 96.0000 97.92%
1341.24/1345.58 c 1346 1585 528 1 190.0000 96.0000 97.92%
1346.32/1350.62 c 1351 1591 534 1 190.0000 96.0000 97.92%
1353.49/1357.80 c 1358 1596 539 1 190.0000 96.0000 97.92%
1360.47/1364.84 c 1365 1605 548 1 190.0000 96.0000 97.92%
1366.45/1370.88 c 1371 1613 556 1 190.0000 96.0000 97.92%
1374.23/1378.60 c 1379 1614 557 1 190.0000 96.0000 97.92%
1379.62/1384.02 c 1384 1617 560 1 190.0000 96.0000 97.92%
1385.39/1389.85 c 1390 1621 564 1 190.0000 96.0000 97.92%
1391.27/1395.71 c 1396 1629 572 1 190.0000 96.0000 97.92%
1400.04/1404.59 c 1405 1633 576 1 190.0000 96.0000 97.92%
1406.13/1410.64 c 1411 1639 582 1 190.0000 96.0000 97.92%
1411.41/1416.01 c 1416 1646 589 1 190.0000 96.0000 97.92%
1418.49/1423.10 c 1423 1651 594 1 190.0000 96.0000 97.92%
1425.95/1430.58 c 1431 1661 604 1 190.0000 96.0000 97.92%
1431.04/1435.63 c 1436 1672 613 1 190.0000 96.0000 97.92%
1438.71/1443.31 c 1443 1675 616 1 190.0000 96.0000 97.92%
1443.80/1448.41 c 1448 1682 623 1 190.0000 96.0000 97.92%
1449.68/1454.36 c 1454 1689 630 1 190.0000 96.0000 97.92%
1454.76/1459.40 c 1459 1697 638 1 190.0000 96.0000 97.92%
1460.64/1465.33 c 1465 1702 643 1 190.0000 96.0000 97.92%
1466.43/1471.16 c 1471 1709 650 1 190.0000 96.0000 97.92%
1472.20/1476.92 c 1477 1717 658 1 190.0000 96.0000 97.92%
1477.40/1482.15 c 1482 1725 666 1 190.0000 96.0000 97.92%
1483.16/1487.95 c 1488 1732 673 1 190.0000 96.0000 97.92%
1490.14/1494.98 c 1495 1735 676 1 190.0000 96.0000 97.92%
1495.62/1500.47 c 1500 1741 682 1 190.0000 96.0000 97.92%
1501.80/1506.60 c 1507 1747 688 1 190.0000 96.0000 97.92%
1516.05/1520.97 c 1521 1756 693 1 190.0000 96.0000 97.92%
1521.25/1526.11 c 1526 1761 698 1 190.0000 96.0000 97.92%
1527.82/1532.73 c 1533 1767 704 1 190.0000 96.0000 97.92%
1536.10/1541.01 c 1541 1774 711 1 190.0000 96.0000 97.92%
1542.18/1547.15 c 1547 1782 719 1 190.0000 96.0000 97.92%
1548.85/1553.80 c 1554 1783 720 1 190.0000 96.0000 97.92%
1554.15/1559.12 c 1559 1789 726 1 190.0000 96.0000 97.92%
1560.61/1565.69 c 1566 1798 735 1 190.0000 96.0000 97.92%
1565.69/1570.72 c 1571 1805 742 1 190.0000 96.0000 97.92%
1571.09/1576.14 c 1576 1811 748 1 190.0000 96.0000 97.92%
1577.96/1583.10 c 1583 1819 756 1 190.0000 96.0000 97.92%
1583.73/1588.81 c 1589 1826 763 1 190.0000 96.0000 97.92%
1589.41/1594.59 c 1595 1834 771 1 190.0000 96.0000 97.92%
1594.79/1599.95 c 1600 1841 778 1 190.0000 96.0000 97.92%
1602.77/1608.01 c 1608 1846 783 1 190.0000 96.0000 97.92%
1607.96/1613.19 c 1613 1852 789 1 190.0000 96.0000 97.92%
1613.94/1619.16 c 1619 1862 795 1 190.0000 96.0000 97.92%
1619.01/1624.21 c 1624 1868 801 1 190.0000 96.0000 97.92%
1625.40/1630.67 c 1631 1875 808 1 190.0000 96.0000 97.92%
1630.98/1636.27 c 1636 1880 813 1 190.0000 96.0000 97.92%
1636.27/1641.54 c 1642 1883 816 1 190.0000 96.0000 97.92%
1642.26/1647.53 c 1648 1890 823 1 190.0000 96.0000 97.92%
1647.45/1652.78 c 1653 1898 831 1 190.0000 96.0000 97.92%
1653.33/1658.69 c 1659 1904 837 1 190.0000 96.0000 97.92%
1658.62/1663.95 c 1664 1911 844 1 190.0000 96.0000 97.92%
1665.40/1670.78 c 1671 1914 847 1 190.0000 96.0000 97.92%
1671.18/1676.57 c 1677 1919 852 1 190.0000 96.0000 97.92%
1676.47/1681.80 c 1682 1929 858 1 190.0000 96.0000 97.92%
1681.45/1686.89 c 1687 1938 862 1 190.0000 96.0000 97.92%
1687.83/1693.27 c 1693 1941 865 1 190.0000 96.0000 97.92%
1692.92/1698.32 c 1698 1946 868 1 190.0000 96.0000 97.92%
1698.81/1704.27 c 1704 1956 878 1 190.0000 96.0000 97.92%
1705.29/1710.72 c 1711 1966 888 1 190.0000 96.0000 97.92%
1711.17/1716.62 c 1717 1971 893 1 190.0000 96.0000 97.92%
1716.67/1722.11 c 1722 1986 904 1 190.0000 96.0000 97.92%
1722.23/1727.77 c 1728 1994 909 1 190.0000 96.0000 97.92%
1729.31/1734.86 c 1735 2002 917 1 190.0000 96.0000 97.92%
1738.39/1743.97 c 1744 2008 923 1 190.0000 96.0000 97.92%
1745.17/1750.80 c 1751 2018 931 1 190.0000 96.0000 97.92%
1750.46/1756.02 c 1756 2023 936 1 190.0000 96.0000 97.92%
1755.73/1761.31 c 1761 2027 940 1 190.0000 96.0000 97.92%
1761.31/1766.97 c 1767 2033 946 1 190.0000 96.0000 97.92%
1768.40/1774.05 c 1774 2039 952 1 190.0000 96.0000 97.92%
1773.57/1779.22 c 1779 2043 956 1 190.0000 96.0000 97.92%
1779.85/1785.55 c 1786 2048 961 1 190.0000 96.0000 97.92%
1785.13/1790.86 c 1791 2059 972 1 190.0000 96.0000 97.92%
1794.50/1800.20 c 1800 2063 976 1 190.0000 96.0000 97.92%
1799.48/1805.27 c 1805 2069 982 1 190.0000 96.0000 97.92%
1807.96/1813.74 c 1814 2073 986 1 190.0000 96.0000 97.92%
1814.83/1820.62 c 1821 2082 995 1 190.0000 96.0000 97.92%
1820.11/1826.01 c 1826 2089 1002 1 190.0000 96.0000 97.92%
1825.99/1831.80 c 1832 2095 1008 1 190.0000 96.0000 97.92%
1831.47/1837.30 c 1837 2101 1014 1 190.0000 96.0000 97.92%
1838.05/1843.94 c 1844 2113 1026 1 190.0000 96.0000 97.92%
1845.03/1850.91 c 1851 2123 1036 1 190.0000 96.0000 97.92%
1851.72/1857.70 c 1858 2132 1045 1 190.0000 96.0000 97.92%
1857.80/1863.76 c 1864 2141 1054 1 190.0000 96.0000 97.92%
1863.38/1869.35 c 1869 2150 1063 1 190.0000 96.0000 97.92%
1868.87/1874.82 c 1875 2155 1068 1 190.0000 96.0000 97.92%
1874.35/1880.30 c 1880 2162 1075 1 190.0000 96.0000 97.92%
1879.43/1885.40 c 1885 2168 1081 1 190.0000 96.0000 97.92%
1886.03/1892.01 c 1892 2178 1091 1 190.0000 96.0000 97.92%
1892.30/1898.37 c 1898 2183 1096 1 190.0000 96.0000 97.92%
1898.68/1904.79 c 1905 2193 1106 1 190.0000 96.0000 97.92%
1903.98/1910.07 c 1910 2202 1115 1 190.0000 96.0000 97.92%
1909.96/1916.04 c 1916 2210 1123 1 190.0000 96.0000 97.92%
1915.05/1921.15 c 1921 2217 1130 1 190.0000 96.0000 97.92%
1920.82/1926.98 c 1927 2226 1139 1 190.0000 96.0000 97.92%
1927.60/1933.70 c 1934 2230 1143 1 190.0000 96.0000 97.92%
1934.00/1940.19 c 1940 2237 1150 1 190.0000 96.0000 97.92%
1939.99/1946.11 c 1946 2245 1158 1 190.0000 96.0000 97.92%
1945.66/1951.82 c 1952 2248 1161 1 190.0000 96.0000 97.92%
1951.25/1957.45 c 1957 2254 1167 1 190.0000 96.0000 97.92%
1957.13/1963.34 c 1963 2260 1173 1 190.0000 96.0000 97.92%
1967.31/1973.52 c 1974 2267 1180 1 190.0000 96.0000 97.92%
1973.39/1979.68 c 1980 2278 1185 1 190.0000 96.0000 97.92%
1979.17/1985.40 c 1985 2285 1192 1 190.0000 96.0000 97.92%
1984.56/1990.82 c 1991 2293 1200 1 190.0000 96.0000 97.92%
1990.54/1996.89 c 1997 2302 1209 1 190.0000 96.0000 97.92%
1997.12/2003.40 c 2003 2308 1215 1 190.0000 96.0000 97.92%
2005.10/2011.42 c 2011 2311 1218 1 190.0000 96.0000 97.92%
2010.09/2016.44 c 2016 2315 1222 1 190.0000 96.0000 97.92%
2016.37/2022.78 c 2023 2325 1232 1 190.0000 96.0000 97.92%
2022.85/2029.22 c 2029 2332 1239 1 190.0000 96.0000 97.92%
2028.94/2035.37 c 2035 2342 1249 1 190.0000 96.0000 97.92%
2034.13/2040.54 c 2041 2351 1258 1 190.0000 96.0000 97.92%
2040.51/2046.92 c 2047 2360 1267 1 190.0000 96.0000 97.92%
2046.79/2053.26 c 2053 2369 1276 1 190.0000 96.0000 97.92%
2052.08/2058.56 c 2059 2375 1282 1 190.0000 96.0000 97.92%
2058.36/2064.89 c 2065 2384 1291 1 190.0000 96.0000 97.92%
2064.15/2070.61 c 2071 2391 1298 1 190.0000 96.0000 97.92%
2069.94/2076.47 c 2076 2398 1305 1 190.0000 96.0000 97.92%
2075.12/2081.68 c 2082 2403 1310 1 190.0000 96.0000 97.92%
2080.62/2087.18 c 2087 2410 1317 1 190.0000 96.0000 97.92%
2087.09/2093.67 c 2094 2411 1318 1 190.0000 96.0000 97.92%
2093.27/2099.81 c 2100 2415 1322 1 190.0000 96.0000 97.92%
2098.47/2105.05 c 2105 2422 1329 1 190.0000 96.0000 97.92%
2106.14/2112.72 c 2113 2430 1337 1 190.0000 96.0000 97.92%
2111.22/2117.87 c 2118 2435 1342 1 190.0000 96.0000 97.92%
2121.10/2127.75 c 2128 2439 1346 1 190.0000 96.0000 97.92%
2126.29/2132.91 c 2133 2445 1352 1 190.0000 96.0000 97.92%
2131.49/2138.19 c 2138 2452 1359 1 190.0000 96.0000 97.92%
2138.05/2144.78 c 2145 2458 1365 1 190.0000 96.0000 97.92%
2144.24/2150.93 c 2151 2465 1372 1 190.0000 96.0000 97.92%
2149.92/2156.65 c 2157 2472 1379 1 190.0000 96.0000 97.92%
2157.00/2163.74 c 2164 2480 1387 1 190.0000 96.0000 97.92%
2162.09/2168.87 c 2169 2493 1398 1 190.0000 96.0000 97.92%
2167.40/2174.14 c 2174 2495 1400 1 190.0000 96.0000 97.92%
2175.16/2181.95 c 2182 2499 1404 1 190.0000 96.0000 97.92%
2180.45/2187.29 c 2187 2506 1411 1 190.0000 96.0000 97.92%
2185.93/2192.73 c 2193 2515 1418 1 190.0000 96.0000 97.92%
2191.91/2198.71 c 2199 2517 1420 1 190.0000 96.0000 97.92%
2197.59/2204.44 c 2204 2522 1425 1 190.0000 96.0000 97.92%
2203.07/2209.97 c 2210 2531 1434 1 190.0000 96.0000 97.92%
2209.76/2216.63 c 2217 2538 1441 1 190.0000 96.0000 97.92%
2214.84/2221.73 c 2222 2546 1449 1 190.0000 96.0000 97.92%
2222.14/2229.05 c 2229 2555 1458 1 190.0000 96.0000 97.92%
2227.41/2234.38 c 2234 2564 1465 1 190.0000 96.0000 97.92%
2233.40/2240.38 c 2240 2572 1473 1 190.0000 96.0000 97.92%
2239.10/2246.11 c 2246 2580 1481 1 190.0000 96.0000 97.92%
2244.37/2251.32 c 2251 2591 1490 1 190.0000 96.0000 97.92%
2249.55/2256.51 c 2257 2594 1493 1 190.0000 96.0000 97.92%
2255.94/2262.95 c 2263 2603 1502 1 190.0000 96.0000 97.92%
2261.92/2268.93 c 2269 2611 1510 1 190.0000 96.0000 97.92%
2267.21/2274.27 c 2274 2617 1516 1 190.0000 96.0000 97.92%
2273.00/2280.05 c 2280 2627 1526 1 190.0000 96.0000 97.92%
2279.17/2286.20 c 2286 2635 1534 1 190.0000 96.0000 97.92%
2285.26/2292.36 c 2292 2644 1543 1 190.0000 96.0000 97.92%
2292.64/2299.77 c 2300 2646 1545 1 190.0000 96.0000 97.92%
2298.62/2305.74 c 2306 2653 1550 1 190.0000 96.0000 97.92%
2303.81/2310.92 c 2311 2660 1557 1 190.0000 96.0000 97.92%
2310.69/2317.87 c 2318 2661 1558 1 190.0000 96.0000 97.92%
2318.37/2325.56 c 2326 2669 1566 1 190.0000 96.0000 97.92%
2324.25/2331.41 c 2331 2677 1574 1 190.0000 96.0000 97.92%
2329.75/2336.92 c 2337 2684 1581 1 190.0000 96.0000 97.92%
2335.14/2342.31 c 2342 2692 1589 1 190.0000 96.0000 97.92%
2341.01/2348.24 c 2348 2697 1594 1 190.0000 96.0000 97.92%
2346.99/2354.29 c 2354 2704 1601 1 190.0000 96.0000 97.92%
2356.78/2364.05 c 2364 2711 1608 1 190.0000 96.0000 97.92%
2362.35/2369.67 c 2370 2717 1614 1 190.0000 96.0000 97.92%
2368.53/2375.84 c 2376 2726 1623 1 190.0000 96.0000 97.92%
2374.61/2382.01 c 2382 2735 1632 1 190.0000 96.0000 97.92%
2380.89/2388.22 c 2388 2742 1639 1 190.0000 96.0000 97.92%
2386.97/2394.39 c 2394 2751 1648 1 190.0000 96.0000 97.92%
2392.86/2400.21 c 2400 2757 1654 1 190.0000 96.0000 97.92%
2398.04/2405.40 c 2405 2763 1660 1 190.0000 96.0000 97.92%
2406.32/2413.77 c 2414 2767 1664 1 190.0000 96.0000 97.92%
2412.31/2419.77 c 2420 2774 1671 1 190.0000 96.0000 97.92%
2418.20/2425.66 c 2426 2782 1679 1 190.0000 96.0000 97.92%
2425.98/2433.40 c 2433 2784 1681 1 190.0000 96.0000 97.92%
2432.46/2439.92 c 2440 2789 1686 1 190.0000 96.0000 97.92%
2438.84/2446.32 c 2446 2801 1698 1 190.0000 96.0000 97.92%
2448.53/2456.09 c 2456 2805 1702 1 190.0000 96.0000 97.92%
2453.80/2461.38 c 2461 2811 1708 1 190.0000 96.0000 97.92%
2460.50/2468.07 c 2468 2817 1714 1 190.0000 96.0000 97.92%
2466.27/2473.86 c 2474 2823 1720 1 190.0000 96.0000 97.92%
2472.35/2479.98 c 2480 2831 1728 1 190.0000 96.0000 97.92%
2479.33/2486.94 c 2487 2833 1730 1 190.0000 96.0000 97.92%
2485.22/2492.87 c 2493 2839 1736 1 190.0000 96.0000 97.92%
2491.00/2498.64 c 2499 2842 1739 1 190.0000 96.0000 97.92%
2498.08/2505.74 c 2506 2851 1748 1 190.0000 96.0000 97.92%
2504.26/2511.91 c 2512 2855 1752 1 190.0000 96.0000 97.92%
2509.84/2517.56 c 2518 2862 1759 1 190.0000 96.0000 97.92%
2516.02/2523.74 c 2524 2872 1769 1 190.0000 96.0000 97.92%
2522.20/2529.96 c 2530 2879 1776 1 190.0000 96.0000 97.92%
2527.58/2535.39 c 2535 2887 1784 1 190.0000 96.0000 97.92%
2532.67/2540.44 c 2540 2894 1791 1 190.0000 96.0000 97.92%
2539.37/2547.15 c 2547 2897 1794 1 190.0000 96.0000 97.92%
2544.35/2552.15 c 2552 2902 1799 1 190.0000 96.0000 97.92%
2550.12/2557.96 c 2558 2909 1806 1 190.0000 96.0000 97.92%
2557.20/2565.06 c 2565 2919 1816 1 190.0000 96.0000 97.92%
2564.57/2572.46 c 2572 2927 1824 1 190.0000 96.0000 97.92%
2570.05/2577.91 c 2578 2938 1835 1 190.0000 96.0000 97.92%
2576.24/2584.14 c 2584 2949 1846 1 190.0000 96.0000 97.92%
2581.91/2589.81 c 2590 2951 1848 1 190.0000 96.0000 97.92%
2587.89/2595.86 c 2596 2958 1855 1 190.0000 96.0000 97.92%
2593.27/2601.28 c 2601 2960 1857 1 190.0000 96.0000 97.92%
2598.86/2606.88 c 2607 2968 1865 1 190.0000 96.0000 97.92%
2604.54/2612.52 c 2613 2977 1874 1 190.0000 96.0000 97.92%
2609.62/2617.64 c 2618 2984 1881 1 190.0000 96.0000 97.92%
2616.11/2624.14 c 2624 2992 1889 1 190.0000 96.0000 97.92%
2621.99/2630.09 c 2630 2997 1894 1 190.0000 96.0000 97.92%
2628.46/2636.53 c 2637 3000 1895 1 190.0000 96.0000 97.92%
2634.34/2642.40 c 2642 3005 1900 1 190.0000 96.0000 97.92%
2640.52/2648.60 c 2649 3013 1908 1 190.0000 96.0000 97.92%
2645.81/2654.01 c 2654 3024 1919 1 190.0000 96.0000 97.92%
2655.67/2663.87 c 2664 3035 1930 1 190.0000 96.0000 97.92%
2663.15/2671.39 c 2671 3045 1940 1 190.0000 96.0000 97.92%
2669.24/2677.44 c 2677 3047 1942 1 190.0000 96.0000 97.92%
2674.23/2682.45 c 2682 3055 1950 1 190.0000 96.0000 97.92%
2679.71/2687.97 c 2688 3065 1960 1 190.0000 96.0000 97.92%
2685.20/2693.49 c 2693 3067 1962 1 190.0000 96.0000 97.92%
2690.68/2698.93 c 2699 3078 1971 1 190.0000 96.0000 97.92%
2695.97/2704.24 c 2704 3089 1982 1 190.0000 96.0000 97.92%
2701.45/2709.79 c 2710 3097 1990 1 190.0000 96.0000 97.92%
2706.64/2714.99 c 2715 3106 1999 1 190.0000 96.0000 97.92%
2713.02/2721.38 c 2721 3115 2008 1 190.0000 96.0000 97.92%
2719.20/2727.57 c 2728 3124 2017 1 190.0000 96.0000 97.92%
2724.99/2733.30 c 2733 3136 2029 1 190.0000 96.0000 97.92%
2733.78/2742.12 c 2742 3142 2035 1 190.0000 96.0000 97.92%
2744.14/2752.50 c 2753 3152 2045 1 190.0000 96.0000 97.92%
2750.42/2758.81 c 2759 3167 2056 1 190.0000 96.0000 97.92%
2758.00/2766.46 c 2766 3172 2061 1 190.0000 96.0000 97.92%
2763.48/2771.93 c 2772 3181 2070 1 190.0000 96.0000 97.92%
2769.68/2778.14 c 2778 3193 2080 1 190.0000 96.0000 97.92%
2774.75/2783.23 c 2783 3205 2090 1 190.0000 96.0000 97.92%
2780.65/2789.16 c 2789 3214 2099 1 190.0000 96.0000 97.92%
2786.53/2795.04 c 2795 3222 2107 1 190.0000 96.0000 97.92%
2793.90/2802.42 c 2802 3225 2110 1 190.0000 96.0000 97.92%
2800.89/2809.42 c 2809 3234 2119 1 190.0000 96.0000 97.92%
2805.98/2814.55 c 2815 3243 2128 1 190.0000 96.0000 97.92%
2811.26/2819.84 c 2820 3252 2137 1 190.0000 96.0000 97.92%
2817.94/2826.58 c 2827 3264 2149 1 190.0000 96.0000 97.92%
2824.03/2832.63 c 2833 3274 2159 1 190.0000 96.0000 97.92%
2829.61/2838.26 c 2838 3282 2167 1 190.0000 96.0000 97.92%
2835.69/2844.35 c 2844 3293 2178 1 190.0000 96.0000 97.92%
2843.07/2851.75 c 2852 3304 2189 1 190.0000 96.0000 97.92%
2848.66/2857.37 c 2857 3317 2202 1 190.0000 96.0000 97.92%
2855.04/2863.79 c 2864 3322 2207 1 190.0000 96.0000 97.92%
2860.34/2869.04 c 2869 3328 2213 1 190.0000 96.0000 97.92%
2866.32/2875.07 c 2875 3329 2214 1 190.0000 96.0000 97.92%
2872.59/2881.31 c 2881 3339 2224 1 190.0000 96.0000 97.92%
2879.66/2888.43 c 2888 3349 2234 1 190.0000 96.0000 97.92%
2885.84/2894.63 c 2895 3354 2239 1 190.0000 96.0000 97.92%
2891.82/2900.67 c 2901 3366 2251 1 190.0000 96.0000 97.92%
2897.60/2906.45 c 2906 3374 2259 1 190.0000 96.0000 97.92%
2903.08/2911.98 c 2912 3384 2269 1 190.0000 96.0000 97.92%
2912.46/2921.38 c 2921 3394 2279 1 190.0000 96.0000 97.92%
2922.83/2931.74 c 2932 3404 2289 1 190.0000 96.0000 97.92%
2928.13/2937.02 c 2937 3412 2297 1 190.0000 96.0000 97.92%
2933.60/2942.51 c 2943 3419 2304 1 190.0000 96.0000 97.92%
2939.20/2948.18 c 2948 3426 2311 1 190.0000 96.0000 97.92%
2945.47/2954.46 c 2954 3434 2319 1 190.0000 96.0000 97.92%
2955.15/2964.16 c 2964 3443 2328 1 190.0000 96.0000 97.92%
2963.81/2972.80 c 2973 3446 2331 1 190.0000 96.0000 97.92%
2971.58/2980.66 c 2981 3452 2337 1 190.0000 96.0000 97.92%
2980.26/2989.38 c 2989 3463 2346 1 190.0000 96.0000 97.92%
2986.74/2995.88 c 2996 3472 2355 1 190.0000 96.0000 97.92%
2992.42/3001.56 c 3002 3482 2365 1 190.0000 96.0000 97.92%
2997.61/3006.71 c 3007 3489 2372 1 190.0000 96.0000 97.92%
3003.59/3012.79 c 3013 3501 2384 1 190.0000 96.0000 97.92%
3010.06/3019.21 c 3019 3509 2392 1 190.0000 96.0000 97.92%
3015.65/3024.84 c 3025 3512 2395 1 190.0000 96.0000 97.92%
3025.31/3034.52 c 3035 3521 2404 1 190.0000 96.0000 97.92%
3031.49/3040.72 c 3041 3529 2412 1 190.0000 96.0000 97.92%
3037.38/3046.63 c 3047 3531 2414 1 190.0000 96.0000 97.92%
3046.55/3055.87 c 3056 3540 2423 1 190.0000 96.0000 97.92%
3052.43/3061.71 c 3062 3550 2433 1 190.0000 96.0000 97.92%
3057.91/3067.25 c 3067 3553 2436 1 190.0000 96.0000 97.92%
3063.70/3073.01 c 3073 3563 2446 1 190.0000 96.0000 97.92%
3068.87/3078.25 c 3078 3573 2454 1 190.0000 96.0000 97.92%
3074.06/3083.44 c 3083 3582 2463 1 190.0000 96.0000 97.92%
3079.76/3089.13 c 3089 3589 2470 1 190.0000 96.0000 97.92%
3085.03/3094.47 c 3094 3594 2475 1 190.0000 96.0000 97.92%
3094.51/3103.92 c 3104 3600 2481 1 190.0000 96.0000 97.92%
3103.48/3112.97 c 3113 3610 2491 1 190.0000 96.0000 97.92%
3109.07/3118.55 c 3119 3621 2502 1 190.0000 96.0000 97.92%
3115.45/3124.95 c 3125 3627 2508 1 190.0000 96.0000 97.92%
3122.03/3131.55 c 3132 3634 2515 1 190.0000 96.0000 97.92%
3127.91/3137.40 c 3137 3644 2525 1 190.0000 96.0000 97.92%
3133.40/3142.92 c 3143 3648 2529 1 190.0000 96.0000 97.92%
3138.60/3148.17 c 3148 3654 2535 1 190.0000 96.0000 97.92%
3144.59/3154.14 c 3154 3667 2544 1 190.0000 96.0000 97.92%
3151.15/3160.72 c 3161 3676 2553 1 190.0000 96.0000 97.92%
3156.64/3166.22 c 3166 3688 2565 1 190.0000 96.0000 97.92%
3162.12/3171.75 c 3172 3694 2571 1 190.0000 96.0000 97.92%
3166.11/3175.73 c * 3176 3699 2576 1 178.0000 96.0000 85.42%
3167.91/3177.52 c 3178 3703 2580 1 178.0000 96.0000 85.42%
3175.59/3185.21 c 3185 3712 2589 1 178.0000 96.0000 85.42%
3181.27/3190.90 c 3191 3721 2598 1 178.0000 96.0000 85.42%
3186.37/3196.07 c 3196 3730 2607 1 178.0000 96.0000 85.42%
3192.05/3201.76 c 3202 3740 2617 1 178.0000 96.0000 85.42%
3198.23/3207.93 c 3208 3750 2627 1 178.0000 96.0000 85.42%
3204.43/3214.13 c 3214 3761 2638 1 178.0000 96.0000 85.42%
3209.50/3219.26 c 3219 3770 2647 1 178.0000 96.0000 85.42%
3215.58/3225.30 c 3225 3778 2653 1 178.0000 96.0000 85.42%
3221.07/3230.88 c 3231 3791 2665 1 178.0000 96.0000 85.42%
3226.27/3236.01 c 3236 3798 2672 1 178.0000 96.0000 85.42%
3231.84/3241.64 c 3242 3810 2684 1 178.0000 96.0000 85.42%
3236.92/3246.76 c 3247 3816 2690 1 178.0000 96.0000 85.42%
3242.61/3252.42 c 3252 3825 2699 1 178.0000 96.0000 85.42%
3255.07/3264.93 c 3265 3836 2710 1 178.0000 96.0000 85.42%
3261.17/3271.02 c 3271 3846 2720 1 178.0000 96.0000 85.42%
3270.15/3280.04 c 3280 3854 2728 1 178.0000 96.0000 85.42%
3275.52/3285.40 c 3285 3860 2734 1 178.0000 96.0000 85.42%
3281.00/3290.91 c 3291 3871 2745 1 178.0000 96.0000 85.42%
3287.29/3297.25 c 3297 3881 2754 1 178.0000 96.0000 85.42%
3292.87/3302.82 c 3303 3884 2757 1 178.0000 96.0000 85.42%
3298.25/3308.20 c 3308 3891 2763 1 178.0000 96.0000 85.42%
3304.16/3314.13 c 3314 3899 2771 1 178.0000 96.0000 85.42%
3309.15/3319.14 c 3319 3906 2778 1 178.0000 96.0000 85.42%
3315.21/3325.21 c 3325 3914 2786 1 178.0000 96.0000 85.42%
3323.79/3333.88 c 3334 3926 2798 1 178.0000 96.0000 85.42%
3329.57/3339.67 c 3340 3935 2807 1 178.0000 96.0000 85.42%
3335.26/3345.32 c 3345 3946 2813 1 178.0000 96.0000 85.42%
3340.74/3350.84 c 3351 3955 2822 1 178.0000 96.0000 85.42%
3346.94/3357.05 c 3357 3966 2833 1 178.0000 96.0000 85.42%
3352.81/3362.98 c 3363 3969 2836 1 178.0000 96.0000 85.42%
3361.49/3371.62 c 3372 3976 2843 1 178.0000 96.0000 85.42%
3368.67/3378.83 c 3379 3986 2853 1 178.0000 96.0000 85.42%
3376.05/3386.26 c 3386 3994 2861 1 178.0000 96.0000 85.42%
3381.13/3391.34 c 3391 4002 2869 1 178.0000 96.0000 85.42%
3386.71/3396.91 c 3397 4007 2874 1 178.0000 96.0000 85.42%
3391.91/3402.18 c 3402 4013 2880 1 178.0000 96.0000 85.42%
3397.39/3407.64 c 3408 4015 2882 1 178.0000 96.0000 85.42%
3402.67/3412.93 c 3413 4025 2890 1 178.0000 96.0000 85.42%
3407.87/3418.11 c 3418 4035 2898 1 178.0000 96.0000 85.42%
3413.65/3423.98 c 3424 4038 2901 1 178.0000 96.0000 85.42%
3419.24/3429.54 c 3430 4045 2908 1 178.0000 96.0000 85.42%
3424.62/3434.97 c 3435 4055 2918 1 178.0000 96.0000 85.42%
3431.30/3441.62 c 3442 4057 2920 1 178.0000 96.0000 85.42%
3437.49/3447.87 c 3448 4065 2928 1 178.0000 96.0000 85.42%
3446.16/3456.54 c 3457 4068 2931 1 178.0000 96.0000 85.42%
3451.35/3461.79 c 3462 4074 2937 1 178.0000 96.0000 85.42%
3457.23/3467.65 c 3468 4083 2946 1 178.0000 96.0000 85.42%
3463.02/3473.49 c 3474 4091 2954 1 178.0000 96.0000 85.42%
3468.20/3478.67 c 3479 4098 2961 1 178.0000 96.0000 85.42%
3473.19/3483.67 c 3484 4105 2968 1 178.0000 96.0000 85.42%
3478.97/3489.45 c 3489 4111 2974 1 178.0000 96.0000 85.42%
3485.25/3495.78 c 3496 4121 2984 1 178.0000 96.0000 85.42%
3491.44/3501.97 c 3502 4131 2994 1 178.0000 96.0000 85.42%
3496.72/3507.22 c 3507 4138 3001 1 178.0000 96.0000 85.42%
3502.31/3512.87 c 3513 4147 3010 1 178.0000 96.0000 85.42%
3508.61/3519.17 c 3519 4153 3016 1 178.0000 96.0000 85.42%
3514.08/3524.64 c 3525 4160 3023 1 178.0000 96.0000 85.42%
3520.06/3530.63 c 3531 4166 3029 1 178.0000 96.0000 85.42%
3525.85/3536.43 c 3536 4176 3039 1 178.0000 96.0000 85.42%
3531.45/3542.05 c 3542 4183 3046 1 178.0000 96.0000 85.42%
3536.54/3547.19 c 3547 4191 3054 1 178.0000 96.0000 85.42%
3542.01/3552.63 c 3553 4199 3062 1 178.0000 96.0000 85.42%
3547.51/3558.16 c 3558 4207 3070 1 178.0000 96.0000 85.42%
3553.38/3564.11 c 3564 4213 3076 1 178.0000 96.0000 85.42%
3559.47/3570.16 c 3570 4220 3083 1 178.0000 96.0000 85.42%
3569.92/3580.65 c 3581 4227 3090 1 178.0000 96.0000 85.42%
3575.11/3585.83 c 3586 4231 3094 1 178.0000 96.0000 85.42%
3581.80/3592.54 c 3593 4239 3100 1 178.0000 96.0000 85.42%
3586.99/3597.77 c 3598 4247 3108 1 178.0000 96.0000 85.42%
3587.30/3598.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.30/3598.06 c Total Time : 3598.06
3587.30/3598.06 c solving : 3598.06
3587.30/3598.06 c presolving : 1.25 (included in solving)
3587.30/3598.06 c B&B Tree :
3587.30/3598.06 c nodes (total) : 1
3587.30/3598.06 c Solution :
3587.30/3598.06 c Solutions found : 2
3587.30/3598.06 c Primal Bound : +1.78000000000000e+02
3587.30/3598.06 c Dual Bound : +9.60000000000000e+01
3587.30/3598.06 c Gap : 85.41667 %
3587.30/3598.06 c * Warning: final gap: 8.54167e-01 is greater than SCIPepsilon: 1.00000e-09
3587.30/3598.07 o 178
3587.30/3598.07 s SATISFIABLE
3587.30/3598.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.30/3598.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.30/3598.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.30/3598.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
3587.30/3598.07 v -x275 -x211 x147 x83 x19 -x842 x778 -x714 x650 -x586 -x522 x458 x394 -x330 x266 x202 -x138 -x74 x10 -x895 -x831 -x767 -x703
3587.30/3598.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.30/3598.07 v -x126 -x62 -x893 -x829 -x765 -x701 -x637 -x573 -x509 -x445 -x381 -x317 -x253 x189 -x125 -x61 -x892 -x828 -x764 -x700 -x636
3587.30/3598.07 v -x572 -x508 -x444 -x380 -x316 x252 -x188 -x124 -x60 -x891 -x827 -x763 -x699 -x635 -x571 -x507 x443 -x379 -x315 -x251 -x187
3587.30/3598.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.30/3598.07 v -x505 -x441 -x377 -x313 -x249 -x185 -x121 -x57 -x888 -x824 -x760 -x696 -x632 -x568 -x504 -x440 -x376 -x312 -x248 -x184 -x120
3587.30/3598.07 v x56 -x886 -x822 -x758 x694 -x630 -x566 -x502 -x438 -x374 -x310 -x246 -x182 -x118 -x54 -x885 -x821 -x757 -x693 -x629 -x565
3587.30/3598.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.30/3598.07 v -x883 -x819 x755 -x691 -x627 -x563 -x499 -x435 -x371 -x307 -x243 -x179 -x115 -x51 -x882 -x818 -x754 -x690 -x626 -x562 x498
3587.30/3598.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.30/3598.07 v x816 -x752 -x688 -x624 -x560 -x496 -x432 -x368 -x304 -x240 -x176 -x112 -x48 -x879 -x815 -x751 -x687 -x623 -x559 -x495 -x431
3587.30/3598.07 v -x367 x303 -x239 -x175 -x111 -x47 -x877 -x813 -x749 -x685 -x621 x557 -x493 -x429 -x365 -x301 -x237 -x173 -x109 -x45 -x876
3587.30/3598.07 v -x812 -x748 -x684 -x620 -x556 -x492 -x428 -x364 -x300 -x236 -x172 x108 -x44 -x875 -x811 -x747 -x683 -x619 -x555 -x491 -x427
3587.30/3598.07 v -x363 -x299 -x235 -x171 -x107 x43 -x874 -x810 -x746 -x682 -x618 -x554 -x490 -x426 -x362 -x298 x234 -x170 -x106 -x42 -x873 -x809
3587.30/3598.07 v -x745 -x681 -x617 -x553 -x489 -x425 x361 -x297 -x233 -x169 -x105 -x41 -x872 -x808 x744 -x680 -x616 -x552 -x488 -x424 -x360
3587.30/3598.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.30/3598.07 v -x678 -x614 -x550 -x486 x422 -x358 -x294 -x230 -x166 -x102 -x38 -x868 -x804 -x740 -x676 x612 -x548 -x484 -x420 -x356 -x292
3587.30/3598.07 v -x228 -x164 -x100 -x36 -x867 -x803 -x739 -x675 -x611 -x547 -x483 -x419 -x355 -x291 -x227 -x163 x99 -x35 -x866 -x802 -x738
3587.30/3598.07 v -x674 -x610 -x546 -x482 -x418 -x354 -x290 -x226 -x162 -x98 x34 -x865 x801 -x737 -x673 -x609 -x545 -x481 -x417 -x353 -x289 -x225
3587.30/3598.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.30/3598.07 v -x543 -x479 x415 -x351 -x287 -x223 -x159 -x95 -x31 x862 -x798 -x734 -x670 -x606 -x542 -x478 -x414 -x350 -x286 -x222 -x158
3587.30/3598.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.30/3598.07 v -x475 -x411 -x347 -x283 -x219 x155 -x91 -x27 -x858 -x794 -x730 x666 -x602 -x538 -x474 -x410 -x346 -x282 -x218 -x154 -x90
3587.30/3598.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.30/3598.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.30/3598.07 v -x790 -x726 -x662 x598 -x534 -x470 -x406 -x342 -x278 -x214 -x150 -x86 -x22 -x853 -x789 -x725 x661 -x597 -x533 -x469 -x405
3587.30/3598.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.30/3598.07 v -x722 -x658 -x594 -x530 -x466 -x402 -x338 -x274 -x210 -x146 -x82 -x18 -x849 -x785 -x721 -x657 -x593 -x529 -x465 -x401 -x337
3587.30/3598.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.30/3598.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.30/3598.07 v -x142 -x78 -x14 x845 -x781 -x717 -x653 -x589 -x525 -x461 -x397 -x333 -x269 -x205 -x141 -x77 -x13 -x844 -x780 -x716 -x652
3587.30/3598.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.30/3598.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.30/3598.07 v -x456 -x392 -x328 -x264 -x200 -x136 -x72 -x8 -x839 -x775 -x711 -x647 -x583 -x519 -x455 -x391 -x327 -x263 -x199 -x135 x71
3587.30/3598.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.30/3598.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.30/3598.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.30/3598.07 v -x258 -x194 -x130 -x66 -x2 x1344 -x1343 x1342 -x1341 x1340 -x1339 x1338 x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 x1330
3587.30/3598.07 v -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312
3587.30/3598.07 v x1311 -x1310 -x1309 -x1308 x1307 -x1306 -x1305 -x1304 -x1303 x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 x1295 -x1294
3587.30/3598.07 v -x1293 -x1292 -x1291 -x1290 -x1289 x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 x1281 x1280 x1279 -x1278 -x1277 x1276 -x1275
3587.30/3598.07 v -x1274 -x1273 -x1272 -x1271 x1270 -x1269 -x1268 -x1267 x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 x1259 -x1258 -x1257
3587.30/3598.07 v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 x1240 -x1239
3587.30/3598.07 v x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220
3587.30/3598.07 v x1219 x1218 -x1217 x1216 -x1215 x1214 x1213 -x1212 -x1211 -x1210 x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 x1202
3587.30/3598.07 v -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 x1193 -x1192 -x1191 -x1190 x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183
3587.30/3598.07 v -x1182 x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 x1170 -x1169 x1168 -x1167 -x1166 -x1165
3587.30/3598.07 v -x1164 -x1163 -x1162 -x1161 x1160 -x1159 -x1158 -x1157 -x1156 x1155 x1154 -x1153 x1152 -x1151 x1150 -x1149 -x1148 -x1147
3587.30/3598.07 v -x1146 x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 x1129 -x1128
3587.30/3598.07 v -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110
3587.30/3598.07 v -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 x1096 -x1095 -x1094 -x1093 x1092
3587.30/3598.07 v -x1091 x1090 -x1089 x1088 x1087 -x1086 -x1085 -x1084 -x1083 -x1082 x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073
3587.30/3598.07 v x1072 -x1071 -x1070 -x1069 -x1068 x1067 -x1066 -x1065 -x1064 x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055
3587.30/3598.07 v -x1054 x1053 -x1052 -x1051 -x1050 -x1049 x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 x1039 -x1038 -x1037
3587.30/3598.07 v -x1036 -x1035 -x1034 -x1033 x1032 -x1031 -x1030 x1029 -x1028 -x1027 -x1026 -x1025 x1024 x1023 -x1022 x1021 -x1020 -x1019 -x1018
3587.30/3598.07 v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 x1011 -x1010 -x1009 x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000
3587.30/3598.07 v -x999 -x998 -x997 x996 -x995 -x994 -x993 -x992 -x991 -x990 x989 -x988 -x987 -x986 -x985 -x984 -x983 x982 -x981 -x980 -x979
3587.30/3598.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.30/3598.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.30/3598.07 v -x934 -x933 x932 -x931 -x930 -x929 -x928 -x927 -x926 x925 -x924 x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914
3587.40/3598.11 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: 64096 MiB (62096 MiB free)
memory of node 1: 64473 MiB (57550 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463962-1722378594/watcher-4463962-1722378594 -o /tmp/evaluation-result-4463962-1722378594/solver-4463962-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722378594-27296 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463962-1722378594.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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=27343, runsolver pid=27337
[startup+0.100453 s]*
/proc/loadavg: 0.12 0.09 0.09 5/245 27356
/proc/meminfo: memFree=122479012/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=36216 memory=26272 CPUtime=0.09 cores=5,7
/proc/27343/stat : 27343 (fscip) R 27337 27343 27283 0 -1 4194304 4309 0 0 0 8 1 0 0 20 0 1 0 4229538 37085184 6568 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 9054 6568 2555 3035 0 5450 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36216 KiB
Current children cumulated memory: 26272 KiB
[startup+0.215038 s]*
/proc/loadavg: 0.12 0.09 0.09 5/245 27356
/proc/meminfo: memFree=122417488/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=58024 memory=46616 CPUtime=0.21 cores=5,7
/proc/27343/stat : 27343 (fscip) R 27337 27343 27283 0 -1 4194304 9350 0 0 0 18 3 0 0 20 0 1 0 4229538 59416576 11654 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 14506 11654 2630 3035 0 10902 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 58024 KiB
Current children cumulated memory: 46616 KiB
[startup+0.31445 s]*
/proc/loadavg: 0.12 0.09 0.09 5/245 27356
/proc/meminfo: memFree=122387908/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=74956 memory=63724 CPUtime=0.31 cores=5,7
/proc/27343/stat : 27343 (fscip) R 27337 27343 27283 0 -1 4194304 15161 0 0 0 26 5 0 0 20 0 1 0 4229538 76754944 15931 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 18739 15931 2694 3035 0 15135 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 74956 KiB
Current children cumulated memory: 63724 KiB
[startup+0.700319 s]
/proc/loadavg: 0.12 0.09 0.09 5/247 27358
/proc/meminfo: memFree=122302980/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=74676 memory=64000 CPUtime=0.68 cores=5,7
/proc/27343/stat : 27343 (fscip) R 27337 27343 27283 0 -1 4194304 17270 0 0 0 62 6 0 0 20 0 1 0 4229538 76468224 16000 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 18669 16000 2726 3035 0 15065 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 74676 KiB
Current children cumulated memory: 64000 KiB
[startup+1.50045 s]
/proc/loadavg: 0.12 0.09 0.09 5/247 27358
/proc/meminfo: memFree=122258868/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=233884 memory=146004 CPUtime=1.48 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 33918 0 0 0 136 12 0 0 20 0 2 0 4229538 239497216 36501 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 58471 36501 2790 3035 0 40826 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 233884 KiB
Current children cumulated memory: 146004 KiB
[startup+3.11448 s]
/proc/loadavg: 0.12 0.09 0.09 5/251 27364
/proc/meminfo: memFree=121799472/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=307616 memory=225620 CPUtime=3.08 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 65469 0 0 0 288 20 0 0 20 0 3 0 4229538 314998784 56405 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 76904 56405 2902 3035 0 63167 0
[pid=27343/tid=27359] ppid=27337 vsize=307616 memory=198340509722 CPUtime=1.63 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 33871 0 0 0 155 8 0 0 20 0 3 0 4229681 314998784 56405 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=307616 memory=0 CPUtime=0 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 4229691 314998784 56405 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 307616 KiB
Current children cumulated memory: 225620 KiB
[startup+6.30033 s]
/proc/loadavg: 0.51 0.17 0.12 6/251 27412
/proc/meminfo: memFree=121420640/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=307616 memory=225784 CPUtime=6.25 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 67427 0 0 0 605 20 0 0 20 0 3 0 4229538 314998784 56446 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 76904 56446 2934 3035 0 63167 0
[pid=27343/tid=27359] ppid=27337 vsize=307616 memory=198340509722 CPUtime=4.8 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 35822 0 0 0 472 8 0 0 20 0 3 0 4229681 314998784 56446 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=307616 memory=172728 CPUtime=0 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 4229691 314998784 56446 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 307616 KiB
Current children cumulated memory: 225784 KiB
[startup+12.7003 s]
/proc/loadavg: 0.87 0.25 0.14 5/251 27506
/proc/meminfo: memFree=121085524/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=307616 memory=242752 CPUtime=12.62 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 91693 0 0 0 1241 21 0 0 20 0 3 0 4229538 314998784 60688 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 76904 60688 2966 3035 0 68213 0
[pid=27343/tid=27359] ppid=27337 vsize=307616 memory=242056 CPUtime=11.18 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 60079 0 0 0 1108 10 0 0 20 0 3 0 4229681 314998784 60688 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=307616 memory=242056 CPUtime=0 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 4229691 314998784 60688 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 307616 KiB
Current children cumulated memory: 242752 KiB
[startup+25.5004 s]
/proc/loadavg: 1.63 0.45 0.21 5/253 27511
/proc/meminfo: memFree=120530212/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=307616 memory=245664 CPUtime=25.39 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 117408 0 0 0 2516 23 0 0 20 0 3 0 4229538 314998784 61416 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 76904 61416 2966 3035 0 71240 0
[pid=27343/tid=27359] ppid=27337 vsize=307616 memory=243156 CPUtime=23.94 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 85784 0 0 0 2382 12 0 0 20 0 3 0 4229681 314998784 61416 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=307616 memory=12584 CPUtime=0 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 4229691 314998784 61416 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 307616 KiB
Current children cumulated memory: 245664 KiB
[startup+51.1141 s]
/proc/loadavg: 2.50 0.76 0.32 5/256 27574
/proc/meminfo: memFree=120374448/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=307616 memory=246448 CPUtime=50.92 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 144304 0 0 0 5067 25 0 0 20 0 3 0 4229538 314998784 61612 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 76904 61612 2966 3035 0 72537 0
[pid=27343/tid=27359] ppid=27337 vsize=307616 memory=11424 CPUtime=49.46 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 112661 0 0 0 4933 13 0 0 20 0 3 0 4229681 314998784 61612 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=307616 memory=246448 CPUtime=0 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 3 0 4229691 314998784 61612 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 307616 KiB
Current children cumulated memory: 246448 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.27 0.52 5/256 27585
/proc/meminfo: memFree=120235760/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=373152 memory=278904 CPUtime=101.95 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 175110 0 0 0 10167 28 0 0 20 0 3 0 4229538 382107648 69726 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 93288 69726 3030 3035 0 81016 0
[pid=27343/tid=27359] ppid=27337 vsize=373152 memory=12700 CPUtime=100.49 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 143390 0 0 0 10033 16 0 0 20 0 3 0 4229681 382107648 69726 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=373152 memory=11424 CPUtime=0 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 65 0 0 0 0 0 0 0 20 0 3 0 4229691 382107648 69726 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 373152 KiB
Current children cumulated memory: 278904 KiB
[startup+162.3 s]
/proc/loadavg: 3.94 1.82 0.76 5/256 27596
/proc/meminfo: memFree=120178044/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=373152 memory=290068 CPUtime=161.79 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 217939 0 0 0 16147 32 0 0 20 0 3 0 4229538 382107648 72517 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 93288 72517 3030 3035 0 83632 0
[pid=27343/tid=27359] ppid=27337 vsize=373152 memory=12700 CPUtime=160.33 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 186152 0 0 0 16013 20 0 0 20 0 3 0 4229681 382107648 72517 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=373152 memory=5488 CPUtime=0 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 79 0 0 0 0 0 0 0 20 0 3 0 4229691 382107648 72517 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 373152 KiB
Current children cumulated memory: 290068 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 2.25 0.97 5/256 27606
/proc/meminfo: memFree=120108392/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=373152 memory=291528 CPUtime=221.61 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 232410 0 0 0 22128 33 0 0 20 0 3 0 4229538 382107648 72882 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 93288 72882 3030 3035 0 83632 0
[pid=27343/tid=27359] ppid=27337 vsize=373152 memory=12736 CPUtime=220.16 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 200581 0 0 0 21995 21 0 0 20 0 3 0 4229681 382107648 72882 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=373152 memory=291512 CPUtime=0 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 81 0 0 0 0 0 0 0 20 0 3 0 4229691 382107648 72882 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 373152 KiB
Current children cumulated memory: 291528 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 2.58 1.17 5/254 27617
/proc/meminfo: memFree=119909852/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=438688 memory=335808 CPUtime=281.44 cores=5,7
################
# More data... #
################
[pid=27343] ppid=27337 vsize=598392 memory=516220 CPUtime=3451.95 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 434383 0 0 0 345128 67 0 0 20 0 3 0 4229538 612753408 129055 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 149598 129055 3334 3035 0 145484 0
[pid=27343/tid=27359] ppid=27337 vsize=598392 memory=513764 CPUtime=3450.3 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 401366 0 0 0 344983 47 0 0 20 0 3 0 4229681 612753408 129055 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=598392 memory=514568 CPUtime=0.04 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 242 0 0 0 1 3 0 0 20 0 3 0 4229691 612753408 129055 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 3451.95 s
Current children cumulated vsize: 598392 KiB
Current children cumulated memory: 516220 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/254 29349
/proc/meminfo: memFree=117725448/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=598392 memory=516240 CPUtime=3511.79 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 438456 0 0 0 351112 67 0 0 20 0 3 0 4229538 612753408 129060 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 149598 129060 3334 3035 0 145484 0
[pid=27343/tid=27359] ppid=27337 vsize=598392 memory=12700 CPUtime=3510.13 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 405423 0 0 0 350966 47 0 0 20 0 3 0 4229681 612753408 129060 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=598392 memory=516240 CPUtime=0.04 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 245 0 0 0 1 3 0 0 20 0 3 0 4229691 612753408 129060 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 3511.79 s
Current children cumulated vsize: 598392 KiB
Current children cumulated memory: 516240 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/254 29359
/proc/meminfo: memFree=117688352/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=598392 memory=516256 CPUtime=3571.62 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 442284 0 0 0 357094 68 0 0 20 0 3 0 4229538 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 149598 129064 3334 3035 0 145484 0
[pid=27343/tid=27359] ppid=27337 vsize=598392 memory=11424 CPUtime=3569.96 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 409234 0 0 0 356948 48 0 0 20 0 3 0 4229681 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=598392 memory=-7450480474651189117 CPUtime=0.04 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 249 0 0 0 1 3 0 0 20 0 3 0 4229691 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 3571.62 s
Current children cumulated vsize: 598392 KiB
Current children cumulated memory: 516256 KiB
[startup+3598.12 s]
# the end of solver process 27343 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.71 s, system=0.700996 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.18 4.15 4.10 5/254 29361
/proc/meminfo: memFree=117688140/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=598392 memory=516256 CPUtime=3573.33 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 442287 0 0 0 357265 68 0 0 20 0 3 0 4229538 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 149598 129064 3334 3035 0 145484 0
[pid=27343/tid=27359] ppid=27337 vsize=598392 memory=257191231646360 CPUtime=3571.67 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 409237 0 0 0 357119 48 0 0 20 0 3 0 4229681 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=598392 memory=257191231646360 CPUtime=0.04 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 249 0 0 0 1 3 0 0 20 0 3 0 4229691 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 3573.33 s
Current children cumulated vsize: 598392 KiB
Current children cumulated memory: 516256 KiB
[startup+3590.4 s]
/proc/loadavg: 4.17 4.15 4.09 5/253 29361
/proc/meminfo: memFree=117688228/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=598392 memory=516256 CPUtime=3579.71 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 442297 0 0 0 357902 69 0 0 20 0 3 0 4229538 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 149598 129064 3334 3035 0 145484 0
[pid=27343/tid=27359] ppid=27337 vsize=598392 memory=516256 CPUtime=3578.04 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 409247 0 0 0 357756 48 0 0 20 0 3 0 4229681 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=598392 memory=516256 CPUtime=0.04 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 249 0 0 0 1 3 0 0 20 0 3 0 4229691 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 3579.71 s
Current children cumulated vsize: 598392 KiB
Current children cumulated memory: 516256 KiB
[startup+3593.6 s]
/proc/loadavg: 4.17 4.15 4.09 5/253 29362
/proc/meminfo: memFree=117688268/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=598392 memory=516256 CPUtime=3582.9 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 442305 0 0 0 358221 69 0 0 20 0 3 0 4229538 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 149598 129064 3334 3035 0 145484 0
[pid=27343/tid=27359] ppid=27337 vsize=598392 memory=516256 CPUtime=3581.23 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 409255 0 0 0 358075 48 0 0 20 0 3 0 4229681 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=598392 memory=516256 CPUtime=0.04 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 249 0 0 0 1 3 0 0 20 0 3 0 4229691 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 3582.9 s
Current children cumulated vsize: 598392 KiB
Current children cumulated memory: 516256 KiB
[startup+3595.2 s]
/proc/loadavg: 4.15 4.14 4.09 5/253 29362
/proc/meminfo: memFree=117688284/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=598392 memory=516256 CPUtime=3584.49 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 442309 0 0 0 358380 69 0 0 20 0 3 0 4229538 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 149598 129064 3334 3035 0 145484 0
[pid=27343/tid=27359] ppid=27337 vsize=598392 memory=-7450480474651189117 CPUtime=3582.82 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 409259 0 0 0 358234 48 0 0 20 0 3 0 4229681 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=598392 memory=-7450480474651189117 CPUtime=0.04 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 249 0 0 0 1 3 0 0 20 0 3 0 4229691 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 3584.49 s
Current children cumulated vsize: 598392 KiB
Current children cumulated memory: 516256 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.14 4.09 5/253 29362
/proc/meminfo: memFree=117688268/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=598392 memory=516256 CPUtime=3586.09 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 442311 0 0 0 358540 69 0 0 20 0 3 0 4229538 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 149598 129064 3334 3035 0 145484 0
[pid=27343/tid=27359] ppid=27337 vsize=598392 memory=2704 CPUtime=3584.42 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 409261 0 0 0 358394 48 0 0 20 0 3 0 4229681 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=598392 memory=279978852058672 CPUtime=0.04 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 249 0 0 0 1 3 0 0 20 0 3 0 4229691 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 3586.09 s
Current children cumulated vsize: 598392 KiB
Current children cumulated memory: 516256 KiB
[startup+3597.6 s]
/proc/loadavg: 4.15 4.14 4.09 5/253 29362
/proc/meminfo: memFree=117688244/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=598392 memory=516256 CPUtime=3586.89 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 442319 0 0 0 358620 69 0 0 20 0 3 0 4229538 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 149598 129064 3334 3035 0 145484 0
[pid=27343/tid=27359] ppid=27337 vsize=598392 memory=516256 CPUtime=3585.22 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 409269 0 0 0 358474 48 0 0 20 0 3 0 4229681 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=598392 memory=11424 CPUtime=0.04 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 249 0 0 0 1 3 0 0 20 0 3 0 4229691 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 3586.89 s
Current children cumulated vsize: 598392 KiB
Current children cumulated memory: 516256 KiB
[startup+3598 s]*
/proc/loadavg: 4.15 4.14 4.09 5/253 29362
/proc/meminfo: memFree=117688252/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=598392 memory=516256 CPUtime=3587.3 cores=5,7
/proc/27343/stat : 27343 (fscip) S 27337 27343 27283 0 -1 1077936128 442372 0 0 0 358661 69 0 0 20 0 3 0 4229538 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 149598 129064 3334 3035 0 145484 0
[pid=27343/tid=27359] ppid=27337 vsize=598392 memory=-7306365286575334528 CPUtime=3585.63 cores=5,7
/proc/27343/task/27359/stat : 27359 (fscip) R 27337 27343 27283 0 -1 4194368 409321 0 0 0 358515 48 0 0 20 0 3 0 4229681 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
[pid=27343/tid=27360] ppid=27337 vsize=598392 memory=516256 CPUtime=0.04 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 249 0 0 0 1 3 0 0 20 0 3 0 4229691 612753408 129064 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 3587.3 s
Current children cumulated vsize: 598392 KiB
Current children cumulated memory: 516256 KiB
[startup+3598.11 s]
/proc/loadavg: 4.15 4.14 4.09 5/253 29362
/proc/meminfo: memFree=117688252/131655788 swapFree=131071472/131071996
[pid=27343] ppid=27337 vsize=428020 memory=363040 CPUtime=3587.4 cores=5,7
/proc/27343/stat : 27343 (fscip) R 27337 27343 27283 0 -1 4194304 445601 0 0 0 358671 69 0 0 20 0 2 0 4229538 438292480 90760 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
/proc/27343/statm: 107005 90760 3334 3035 0 102985 0
[pid=27343/tid=27360] ppid=27337 vsize=428020 memory=12736 CPUtime=0.04 cores=5,7
/proc/27343/task/27360/stat : 27360 (fscip) S 27337 27343 27283 0 -1 1077936192 249 0 0 0 1 3 0 0 20 0 2 0 4229691 438292480 90760 134679101440 4194304 16623229 140726229770816 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 39718912 140726229779478 140726229779594 140726229779594 140726229786608 0
Current children cumulated CPU time: 3587.4 s
Current children cumulated vsize: 428020 KiB
Current children cumulated memory: 363040 KiB
Child status: 0
Real time (s): 3598.12
CPU time (s): 3587.42
CPU user time (s): 3586.71
CPU system time (s): 0.700996
CPU usage (%): 99.7024
Max. virtual memory (cumulated for all children) (KiB): 598392
Max. memory (cumulated for all children) (KiB): 516256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.71
system time used= 0.700996
maximum resident set size= 516256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 445625
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= 7218
involuntary context switches= 1405
# summary of solver processes directly reported to runsolver:
# pid: 27343
# total CPU time (s): 3587.42
# total CPU user time (s): 3586.71
# total CPU system time (s): 0.700996
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.0857 second user time and 34.3179 second system time
The end
Begin job on nodeC012 at 2024-07-31 00:29:54
IDJOB=4463962
IDBENCH=147017
IDSOLVER=3092
FILE ID=nodeC012/4463962-1722378594
RUNJOBID= nodeC012-1722378594-27296
SLURM_JOB_ID= 8249842
Free space on /tmp= 723752 MiB
SOLVER NAME= FiberSCIP 2024-07-30
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-4463962-1722378594/watcher-4463962-1722378594 -o /tmp/evaluation-result-4463962-1722378594/solver-4463962-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722378594-27296 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4463962-1722378594.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 82a224b9434e58ca22c331a9d6eb0d67
RANDOM SEED=1497379858
nodeC012.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 : 1197.231
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.70
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 : 1197.206
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.37
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.208
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.70
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.310
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.37
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 : 1197.397
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.70
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 : 1197.451
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.37
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.206
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.70
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.206
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122525104 kB
MemAvailable: 130004996 kB
Buffers: 83224 kB
Cached: 8199440 kB
SwapCached: 48 kB
Active: 239676 kB
Inactive: 8392640 kB
Active(anon): 1316 kB
Inactive(anon): 369584 kB
Active(file): 238360 kB
Inactive(file): 8023056 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071472 kB
Dirty: 117444 kB
Writeback: 4 kB
AnonPages: 348944 kB
Mapped: 96980 kB
Shmem: 21248 kB
KReclaimable: 117348 kB
Slab: 200396 kB
SReclaimable: 117348 kB
SUnreclaim: 83048 kB
KernelStack: 3808 kB
PageTables: 9932 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 763844 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 223232 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: 199496 kB
DirectMap2M: 13336576 kB
DirectMap1G: 122683392 kB
Free space on /tmp at the end= 723664 MiB
End job on nodeC012 at 2024-07-31 01:29:53