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.21/0.22 c Default LC presolving (default).
0.21/0.23 c ** Before presolving: virtualMemUsedAtLc = 79771183, getVmSize() = 70897664, SCIPgetMemUsed() = 39572962, SCIPgetMemTotal() = 47245394, SCIPgetMemExternEstim() = 32525789
0.21/0.23 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.99/1.04 c ** Estimated virtualMemUsedAtSolver = 70504326, getVmSize() = 100225024, SCIPgetMemUsed() = 39973029, SCIPgetMemTotal() = 73230701, SCIPgetMemExternEstim() = 32525789
0.99/1.04 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.99/1.04 c Original Problem :
0.99/1.04 c Problem name : instance-4464121-1722382196
0.99/1.04 c Variables : 2025 (2025 binary, 0 integer, 0 implicit integer, 0 continuous)
0.99/1.04 c Constraints : 30912
0.99/1.04 c Objective sense : minimize
0.99/1.04 c Presolved Problem :
0.99/1.04 c Variables : 1431 (1431 binary, 0 integer, 0 implicit integer, 0 continuous)
0.99/1.04 c Constraints : 25952
0.99/1.04 c Constraints : Number
0.99/1.04 c setppc : 992
0.99/1.04 c and : 31
0.99/1.04 c logicor : 24929
0.99/1.04 c ** Instance transfer method used: 0
0.99/1.11 c ** ParaScipInstance copy does not increase the number of variables. **
1.11/1.19 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.11/1.19 c Nodes Active
1.11/1.19 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.98/2.07 c * 2 0 1 1 -17.0000 - -
59.04/59.27 c * 59 0 1 1 -18.0000 - -
59.04/59.27 c 59 0 1 1 -18.0000 - -
113.41/113.77 c * 114 0 1 1 -53.0000 - -
113.41/113.77 c 114 0 1 1 -53.0000 - -
151.02/151.48 c 151 2 1 1 -53.0000 -145.1262 173.82%
156.41/156.86 c 157 3 2 1 -53.0000 -145.1262 173.82%
163.79/164.27 c 164 5 4 1 -53.0000 -145.1262 173.82%
172.17/172.67 c 173 7 6 1 -53.0000 -145.1262 173.82%
178.67/179.12 c 179 9 8 1 -53.0000 -145.1262 173.82%
184.15/184.60 c 185 11 10 1 -53.0000 -145.1262 173.82%
192.03/192.55 c 193 12 11 1 -53.0000 -142.8043 169.44%
198.11/198.63 c 199 14 13 1 -53.0000 -142.8043 169.44%
205.00/205.56 c 206 15 14 1 -53.0000 -142.8043 169.44%
212.08/212.60 c 213 17 16 1 -53.0000 -142.8043 169.44%
222.16/222.70 c 223 21 18 1 -53.0000 -142.8043 169.44%
232.55/233.15 c 233 23 20 1 -53.0000 -141.8493 167.64%
241.92/242.51 c 243 25 22 1 -53.0000 -141.8493 167.64%
249.60/250.20 c 250 28 25 1 -53.0000 -141.8493 167.64%
255.49/256.18 c 256 30 27 1 -53.0000 -141.8493 167.64%
261.97/262.65 c 263 31 28 1 -53.0000 -141.8493 167.64%
316.95/317.78 c 318 32 29 1 -53.0000 -137.4765 159.39%
332.33/333.13 c 333 34 31 1 -53.0000 -137.4765 159.39%
337.60/338.42 c 338 36 33 1 -53.0000 -137.4765 159.39%
343.39/344.23 c 344 45 32 1 -53.0000 -137.4765 159.39%
351.67/352.57 c 353 51 36 1 -53.0000 -137.4765 159.39%
366.53/367.45 c 367 53 38 1 -53.0000 -134.8333 154.40%
372.23/373.18 c 373 68 37 1 -53.0000 -134.8333 154.40%
378.01/378.94 c 379 81 38 1 -53.0000 -134.8333 154.40%
383.70/384.60 c 385 102 35 1 -53.0000 -134.8333 154.40%
389.20/390.15 c 390 109 36 1 -53.0000 -134.8333 154.40%
394.77/395.77 c 396 118 37 1 -53.0000 -134.8333 154.40%
400.76/401.76 c 402 138 35 1 -53.0000 -134.8333 154.40%
406.34/407.38 c 407 149 36 1 -53.0000 -134.8333 154.40%
412.73/413.75 c 414 160 35 1 -53.0000 -134.8333 154.40%
418.03/419.05 c 419 170 35 1 -53.0000 -134.8333 154.40%
423.61/424.61 c 425 185 34 1 -53.0000 -134.8333 154.40%
433.49/434.53 c 435 192 35 1 -53.0000 -134.8333 154.40%
443.56/444.63 c 445 194 37 1 -53.0000 -134.8333 154.40%
451.24/452.32 c 452 203 38 1 -53.0000 -134.8333 154.40%
457.23/458.35 c 458 212 37 1 -53.0000 -134.8333 154.40%
466.02/467.16 c 467 214 39 1 -53.0000 -134.8333 154.40%
471.01/472.19 c * 472 216 41 1 -54.0000 -134.8333 149.69%
471.01/472.19 c 472 216 41 1 -54.0000 -134.8333 149.69%
477.58/478.70 c 479 229 40 1 -54.0000 -134.8333 149.69%
483.27/484.43 c 484 234 41 1 -54.0000 -134.8333 149.69%
489.96/491.12 c 491 241 42 1 -54.0000 -134.8333 149.69%
495.95/497.11 c 497 250 41 1 -54.0000 -134.8333 149.69%
502.53/503.78 c 504 256 43 1 -54.0000 -134.8333 149.69%
507.72/508.93 c 509 266 42 1 -54.0000 -134.8333 149.69%
512.82/514.05 c 514 271 43 1 -54.0000 -134.8333 149.69%
521.18/522.44 c 522 282 40 1 -54.0000 -134.8333 149.69%
526.37/527.60 c 528 284 42 1 -54.0000 -134.8333 149.69%
531.46/532.73 c 533 289 41 1 -54.0000 -134.8333 149.69%
537.14/538.44 c 538 292 44 1 -54.0000 -134.8333 149.69%
544.33/545.68 c 546 310 44 1 -54.0000 -134.8333 149.69%
550.32/551.62 c 552 325 45 1 -54.0000 -134.8333 149.69%
557.30/558.63 c 559 337 43 1 -54.0000 -134.8333 149.69%
562.39/563.79 c 564 343 45 1 -54.0000 -134.8333 149.69%
567.87/569.20 c 569 354 44 1 -54.0000 -134.8333 149.69%
572.97/574.33 c 574 368 44 1 -54.0000 -134.8333 149.69%
579.05/580.49 c 580 376 46 1 -54.0000 -134.8333 149.69%
584.54/585.96 c 586 380 44 1 -54.0000 -134.8333 149.69%
601.10/602.57 c 603 393 41 1 -54.0000 -134.8333 149.69%
608.38/609.88 c 610 395 43 1 -54.0000 -134.8333 149.69%
615.27/616.74 c 617 397 45 1 -54.0000 -134.8333 149.69%
629.83/631.34 c 631 401 45 1 -54.0000 -134.8333 149.69%
636.01/637.54 c 638 406 50 1 -54.0000 -134.8333 149.69%
641.21/642.73 c * 643 416 50 1 -62.0000 -134.8333 117.47%
641.21/642.73 c 643 416 50 1 -62.0000 -134.8333 117.47%
647.29/648.84 c 649 428 48 1 -62.0000 -134.8333 117.47%
652.77/654.34 c 654 441 51 1 -62.0000 -134.8333 117.47%
658.85/660.49 c 660 450 50 1 -62.0000 -134.8333 117.47%
664.73/666.39 c 666 472 48 1 -62.0000 -134.8333 117.47%
672.12/673.77 c 674 481 45 1 -62.0000 -134.8333 117.47%
678.30/679.97 c 680 490 46 1 -62.0000 -134.8333 117.47%
685.19/686.82 c 687 496 46 1 -62.0000 -134.8333 117.47%
690.58/692.21 c 692 503 45 1 -62.0000 -134.8333 117.47%
697.66/699.36 c 699 509 45 1 -62.0000 -134.8333 117.47%
705.84/707.53 c 708 510 46 1 -62.0000 -134.8333 117.47%
712.44/714.12 c 714 517 49 1 -62.0000 -134.8333 117.47%
718.90/720.66 c 721 526 46 1 -62.0000 -134.8333 117.47%
724.40/726.15 c 726 533 47 1 -62.0000 -134.8333 117.47%
734.08/735.89 c 736 538 46 1 -62.0000 -134.8333 117.47%
740.46/742.27 c 742 541 49 1 -62.0000 -134.8333 117.47%
746.15/747.95 c 748 553 49 1 -62.0000 -134.8333 117.47%
752.93/754.73 c 755 565 49 1 -62.0000 -134.8333 117.47%
759.23/761.10 c 761 572 48 1 -62.0000 -134.6964 117.25%
764.81/766.64 c 767 573 49 1 -62.0000 -134.6964 117.25%
771.99/773.82 c 774 574 50 1 -62.0000 -134.6964 117.25%
777.98/779.87 c 780 583 51 1 -62.0000 -134.6964 117.25%
784.56/786.43 c 786 592 50 1 -62.0000 -134.6964 117.25%
790.55/792.42 c 792 601 49 1 -62.0000 -134.6964 117.25%
803.23/805.16 c 805 607 49 1 -62.0000 -134.6964 117.25%
814.29/816.28 c 816 610 48 1 -62.0000 -134.6964 117.25%
821.19/823.11 c 823 614 52 1 -62.0000 -134.6964 117.25%
827.26/829.30 c 829 626 52 1 -62.0000 -134.6964 117.25%
834.65/836.61 c 837 636 50 1 -62.0000 -134.6964 117.25%
840.53/842.53 c 843 647 51 1 -62.0000 -134.6964 117.25%
848.21/850.28 c 850 660 48 1 -62.0000 -134.6964 117.25%
855.40/857.42 c 857 665 49 1 -62.0000 -134.6964 117.25%
861.18/863.28 c 863 677 47 1 -62.0000 -134.6964 117.25%
867.17/869.28 c 869 687 47 1 -62.0000 -134.6964 117.25%
874.65/876.79 c 877 692 46 1 -62.0000 -133.4444 115.23%
881.63/883.76 c 884 694 48 1 -62.0000 -133.4444 115.23%
888.21/890.37 c 890 696 50 1 -62.0000 -133.4444 115.23%
898.39/900.55 c 901 702 50 1 -62.0000 -133.4444 115.23%
904.98/907.19 c 907 705 53 1 -62.0000 -133.4444 115.23%
919.13/921.33 c 921 709 53 1 -62.0000 -133.4444 115.23%
925.01/927.23 c 927 713 57 1 -62.0000 -133.4444 115.23%
928.00/930.25 c * 930 717 57 1 -63.0000 -133.4444 111.82%
933.49/935.72 c 936 722 56 1 -63.0000 -131.6370 108.95%
949.35/951.62 c 952 724 58 1 -63.0000 -131.6370 108.95%
956.33/958.65 c 959 733 57 1 -63.0000 -131.6370 108.95%
961.51/963.84 c 964 739 57 1 -63.0000 -131.6370 108.95%
966.50/968.85 c 969 744 58 1 -63.0000 -131.6370 108.95%
971.69/974.04 c 974 754 56 1 -63.0000 -131.6370 108.95%
977.78/980.18 c 980 761 55 1 -63.0000 -131.6370 108.95%
985.76/988.11 c 988 765 53 1 -63.0000 -131.6370 108.95%
995.73/998.12 c 998 767 55 1 -63.0000 -131.6370 108.95%
998.51/1000.92 c * 1001 768 56 1 -64.0000 -131.6370 105.68%
1004.40/1006.84 c 1007 775 53 1 -64.0000 -131.6370 105.68%
1010.08/1012.51 c 1013 780 52 1 -64.0000 -131.6370 105.68%
1017.06/1019.51 c 1020 782 50 1 -64.0000 -131.6370 105.68%
1023.24/1025.70 c 1026 787 51 1 -64.0000 -131.6370 105.68%
1029.12/1031.69 c 1032 789 53 1 -64.0000 -131.6370 105.68%
1037.20/1039.79 c 1040 791 51 1 -64.0000 -131.6370 105.68%
1045.49/1048.08 c 1048 793 53 1 -64.0000 -131.5465 105.54%
1052.57/1055.19 c 1055 795 55 1 -64.0000 -131.5465 105.54%
1057.94/1060.51 c 1061 796 54 1 -64.0000 -131.5465 105.54%
1064.72/1067.37 c 1067 799 55 1 -64.0000 -131.5465 105.54%
1070.81/1073.41 c 1073 801 55 1 -64.0000 -131.5465 105.54%
1076.99/1079.70 c 1080 804 54 1 -64.0000 -131.5465 105.54%
1082.28/1084.93 c 1085 809 55 1 -64.0000 -131.5465 105.54%
1091.25/1093.97 c 1094 813 55 1 -64.0000 -130.5000 103.91%
1100.34/1103.09 c 1103 814 56 1 -64.0000 -130.5000 103.91%
1121.86/1124.69 c 1125 818 58 1 -64.0000 -130.5000 103.91%
1127.64/1130.45 c 1130 821 59 1 -64.0000 -130.5000 103.91%
1133.13/1136.01 c 1136 825 61 1 -64.0000 -130.5000 103.91%
1139.11/1141.99 c 1142 830 58 1 -64.0000 -130.5000 103.91%
1146.49/1149.30 c 1149 840 58 1 -64.0000 -130.5000 103.91%
1152.87/1155.75 c 1156 844 58 1 -64.0000 -130.5000 103.91%
1158.57/1161.41 c 1161 849 56 1 -64.0000 -130.5000 103.91%
1166.45/1169.30 c 1169 851 58 1 -64.0000 -130.5000 103.91%
1174.83/1177.77 c 1178 853 60 1 -64.0000 -129.2991 102.03%
1181.52/1184.47 c 1184 854 61 1 -64.0000 -129.2991 102.03%
1188.30/1191.22 c 1191 856 61 1 -64.0000 -129.2991 102.03%
1195.88/1198.88 c 1199 860 65 1 -64.0000 -129.2991 102.03%
1200.97/1203.90 c 1204 871 64 1 -64.0000 -129.2991 102.03%
1209.75/1212.76 c 1213 882 63 1 -64.0000 -128.7000 101.09%
1221.23/1224.22 c 1224 884 65 1 -64.0000 -128.7000 101.09%
1228.51/1231.50 c 1232 887 66 1 -64.0000 -128.7000 101.09%
1234.40/1237.43 c 1237 894 65 1 -64.0000 -128.7000 101.09%
1240.68/1243.71 c 1244 901 68 1 -64.0000 -128.7000 101.09%
1247.47/1250.59 c 1251 912 65 1 -64.0000 -128.5000 100.78%
1256.25/1259.35 c 1259 914 67 1 -64.0000 -128.5000 100.78%
1261.53/1264.68 c 1265 919 70 1 -64.0000 -128.5000 100.78%
1269.42/1272.54 c 1273 923 70 1 -64.0000 -127.9444 99.91%
1275.02/1278.16 c 1278 925 72 1 -64.0000 -127.9444 99.91%
1280.29/1283.43 c 1283 927 72 1 -64.0000 -127.9444 99.91%
1285.78/1288.90 c 1289 933 74 1 -64.0000 -127.9444 99.91%
1290.77/1294.01 c 1294 942 71 1 -64.0000 -127.9444 99.91%
1303.43/1306.62 c 1307 947 70 1 -64.0000 -127.9444 99.91%
1311.41/1314.61 c 1315 949 68 1 -64.0000 -127.9444 99.91%
1317.10/1320.36 c 1320 954 67 1 -64.0000 -127.9444 99.91%
1324.98/1328.24 c 1328 956 69 1 -64.0000 -127.9444 99.91%
1330.07/1333.35 c 1333 958 71 1 -64.0000 -127.9444 99.91%
1335.27/1338.59 c 1339 959 70 1 -64.0000 -127.9444 99.91%
1342.05/1345.31 c 1345 962 69 1 -64.0000 -127.9444 99.91%
1347.14/1350.50 c 1350 965 70 1 -64.0000 -127.9444 99.91%
1354.83/1358.13 c 1358 969 68 1 -64.0000 -127.9444 99.91%
1361.31/1364.63 c 1365 971 70 1 -64.0000 -127.9444 99.91%
1371.98/1375.33 c 1375 972 69 1 -64.0000 -127.9444 99.91%
1379.86/1383.23 c 1383 973 68 1 -64.0000 -127.9444 99.91%
1387.24/1390.64 c 1391 975 68 1 -64.0000 -127.9444 99.91%
1393.93/1397.36 c 1397 976 67 1 -64.0000 -127.9444 99.91%
1399.32/1402.70 c 1403 977 68 1 -64.0000 -127.9444 99.91%
1417.27/1420.78 c 1421 979 70 1 -64.0000 -127.9444 99.91%
1424.26/1427.70 c 1428 986 69 1 -64.0000 -127.9444 99.91%
1434.55/1438.05 c 1438 987 70 1 -64.0000 -127.9444 99.91%
1442.42/1445.94 c 1446 992 71 1 -64.0000 -127.9444 99.91%
1470.06/1473.66 c 1474 994 73 1 -64.0000 -127.9444 99.91%
1475.25/1478.84 c 1479 998 75 1 -64.0000 -127.9444 99.91%
1482.44/1486.05 c 1486 1007 74 1 -64.0000 -127.9444 99.91%
1491.11/1494.72 c 1495 1012 73 1 -64.0000 -127.3750 99.02%
1504.58/1508.26 c 1508 1014 75 1 -64.0000 -127.3750 99.02%
1511.76/1515.42 c 1515 1019 76 1 -64.0000 -127.3750 99.02%
1518.65/1522.36 c 1522 1027 76 1 -64.0000 -127.3750 99.02%
1530.34/1534.05 c 1534 1031 74 1 -64.0000 -127.3750 99.02%
1538.90/1542.61 c 1543 1032 73 1 -64.0000 -127.3750 99.02%
1551.98/1555.73 c 1556 1036 73 1 -64.0000 -127.3750 99.02%
1557.38/1561.11 c 1561 1040 73 1 -64.0000 -127.3750 99.02%
1565.05/1568.83 c 1569 1043 70 1 -64.0000 -127.3750 99.02%
1573.13/1576.98 c 1577 1045 72 1 -64.0000 -127.3750 99.02%
1581.01/1584.86 c 1585 1049 72 1 -64.0000 -127.3750 99.02%
1587.10/1590.92 c 1591 1050 71 1 -64.0000 -127.3750 99.02%
1594.58/1598.48 c 1598 1052 71 1 -64.0000 -127.0000 98.44%
1600.57/1604.43 c 1604 1054 73 1 -64.0000 -127.0000 98.44%
1611.04/1614.94 c * 1615 1054 73 1 -67.0000 -127.0000 89.55%
1611.04/1614.94 c 1615 1054 73 1 -67.0000 -127.0000 89.55%
1618.14/1622.01 c 1622 1057 72 1 -67.0000 -127.0000 89.55%
1625.61/1629.57 c 1630 1059 72 1 -67.0000 -127.0000 89.55%
1633.59/1637.51 c 1638 1062 73 1 -67.0000 -127.0000 89.55%
1644.86/1648.82 c 1649 1064 75 1 -67.0000 -127.0000 89.55%
1646.26/1650.28 c * 1650 1064 75 1 -68.0000 -127.0000 86.76%
1653.34/1657.34 c 1657 1068 73 1 -68.0000 -127.0000 86.76%
1661.15/1665.18 c 1665 1072 73 1 -68.0000 -126.6667 86.27%
1674.02/1678.08 c 1678 1074 75 1 -68.0000 -126.6667 86.27%
1680.59/1684.68 c 1685 1077 76 1 -68.0000 -126.6667 86.27%
1686.57/1690.67 c 1691 1078 75 1 -68.0000 -126.6667 86.27%
1692.56/1696.64 c 1697 1080 75 1 -68.0000 -126.6667 86.27%
1704.94/1709.10 c 1709 1081 76 1 -68.0000 -126.6667 86.27%
1711.52/1715.61 c 1716 1084 79 1 -68.0000 -126.6667 86.27%
1714.41/1718.58 c * 1719 1089 78 1 -70.0000 -126.6667 80.95%
1718.01/1722.16 c 1722 1092 77 1 -70.0000 -125.6429 79.49%
1726.99/1731.15 c 1731 1094 79 1 -70.0000 -125.6429 79.49%
1739.05/1743.20 c 1743 1096 79 1 -70.0000 -125.6429 79.49%
1747.03/1751.27 c 1751 1098 77 1 -70.0000 -125.6429 79.49%
1752.52/1756.75 c 1757 1103 78 1 -70.0000 -125.6429 79.49%
1759.82/1764.04 c 1764 1108 77 1 -70.0000 -125.6429 79.49%
1767.09/1771.33 c 1771 1110 77 1 -70.0000 -125.6429 79.49%
1776.17/1780.41 c 1780 1112 77 1 -70.0000 -125.6429 79.49%
1784.65/1789.01 c 1789 1115 80 1 -70.0000 -125.6429 79.49%
1791.84/1796.19 c 1796 1117 78 1 -70.0000 -125.6429 79.49%
1803.90/1808.25 c 1808 1119 78 1 -70.0000 -125.6429 79.49%
1809.29/1813.64 c 1814 1120 77 1 -70.0000 -125.6429 79.49%
1819.58/1823.99 c 1824 1124 79 1 -70.0000 -125.6429 79.49%
1829.85/1834.26 c 1834 1129 76 1 -70.0000 -125.6429 79.49%
1842.82/1847.22 c 1847 1130 75 1 -70.0000 -125.6429 79.49%
1852.10/1856.53 c 1857 1133 78 1 -70.0000 -125.6429 79.49%
1866.16/1870.63 c 1871 1135 76 1 -70.0000 -125.6429 79.49%
1876.04/1880.53 c 1881 1138 75 1 -70.0000 -125.6429 79.49%
1882.02/1886.55 c 1887 1140 77 1 -70.0000 -125.6429 79.49%
1888.01/1892.50 c 1893 1141 76 1 -70.0000 -125.6429 79.49%
1894.00/1898.51 c 1899 1143 76 1 -70.0000 -125.6429 79.49%
1904.38/1908.98 c 1909 1144 77 1 -70.0000 -125.6429 79.49%
1911.76/1916.39 c 1916 1154 77 1 -70.0000 -125.6429 79.49%
1917.46/1922.04 c 1922 1157 76 1 -70.0000 -125.6429 79.49%
1929.43/1934.02 c 1934 1161 74 1 -70.0000 -125.6429 79.49%
1938.00/1942.66 c 1943 1163 76 1 -70.0000 -125.5270 79.32%
1944.18/1948.80 c 1949 1165 78 1 -70.0000 -125.5270 79.32%
1963.85/1968.54 c 1969 1167 78 1 -70.0000 -125.5270 79.32%
1973.44/1978.19 c 1978 1172 79 1 -70.0000 -125.3333 79.05%
1997.57/2002.38 c 2002 1174 81 1 -70.0000 -125.3333 79.05%
2003.06/2007.83 c 2008 1178 83 1 -70.0000 -125.3333 79.05%
2011.44/2016.29 c 2016 1183 82 1 -70.0000 -125.2500 78.93%
2019.03/2023.87 c 2024 1186 83 1 -70.0000 -125.2500 78.93%
2029.10/2033.96 c 2034 1188 83 1 -70.0000 -125.2500 78.93%
2036.29/2041.12 c 2041 1191 82 1 -70.0000 -125.2500 78.93%
2044.36/2049.21 c 2049 1193 82 1 -70.0000 -125.2500 78.93%
2051.04/2055.94 c 2056 1195 82 1 -70.0000 -125.2500 78.93%
2059.33/2064.28 c 2064 1196 81 1 -70.0000 -125.2500 78.93%
2064.41/2069.30 c 2069 1199 82 1 -70.0000 -125.2500 78.93%
2073.29/2078.21 c 2078 1203 82 1 -70.0000 -125.1082 78.73%
2080.77/2085.73 c 2086 1206 83 1 -70.0000 -125.1082 78.73%
2088.96/2093.95 c 2094 1212 83 1 -70.0000 -124.7500 78.21%
2099.93/2104.99 c 2105 1214 85 1 -70.0000 -124.7500 78.21%
2115.01/2120.04 c 2120 1217 84 1 -70.0000 -124.7500 78.21%
2121.38/2126.44 c 2126 1219 84 1 -70.0000 -124.7500 78.21%
2127.37/2132.44 c 2132 1224 83 1 -70.0000 -124.7500 78.21%
2141.34/2146.47 c 2146 1226 83 1 -70.0000 -124.7500 78.21%
2153.32/2158.49 c 2158 1227 84 1 -70.0000 -124.7500 78.21%
2159.80/2164.92 c 2165 1230 83 1 -70.0000 -124.7500 78.21%
2167.29/2172.41 c 2172 1233 84 1 -70.0000 -124.7500 78.21%
2172.47/2177.61 c 2178 1236 85 1 -70.0000 -124.7500 78.21%
2199.01/2204.29 c 2204 1239 86 1 -70.0000 -124.7500 78.21%
2218.78/2224.04 c 2224 1248 85 1 -70.0000 -124.7500 78.21%
2225.95/2231.24 c 2231 1253 84 1 -70.0000 -124.7500 78.21%
2232.54/2237.84 c 2238 1257 84 1 -70.0000 -124.7500 78.21%
2239.22/2244.58 c 2245 1260 83 1 -70.0000 -124.7500 78.21%
2246.31/2251.69 c 2252 1263 82 1 -70.0000 -124.7500 78.21%
2253.39/2258.71 c 2259 1266 81 1 -70.0000 -124.7500 78.21%
2259.58/2264.93 c 2265 1268 81 1 -70.0000 -124.7500 78.21%
2266.26/2271.60 c 2272 1271 82 1 -70.0000 -124.7500 78.21%
2272.35/2277.79 c 2278 1274 81 1 -70.0000 -124.7500 78.21%
2279.43/2284.82 c 2285 1277 80 1 -70.0000 -124.7500 78.21%
2285.22/2290.64 c 2291 1282 79 1 -70.0000 -123.1875 75.98%
2299.19/2304.63 c 2305 1286 79 1 -70.0000 -123.1875 75.98%
2307.58/2313.08 c 2313 1288 79 1 -70.0000 -123.1875 75.98%
2313.67/2319.18 c 2319 1291 80 1 -70.0000 -123.1875 75.98%
2318.84/2324.35 c 2324 1292 79 1 -70.0000 -123.1875 75.98%
2324.03/2329.50 c 2330 1294 79 1 -70.0000 -123.1875 75.98%
2329.72/2335.26 c 2335 1297 78 1 -70.0000 -123.1875 75.98%
2336.70/2342.21 c 2342 1302 77 1 -70.0000 -123.1875 75.98%
2341.69/2347.22 c 2347 1303 78 1 -70.0000 -123.1875 75.98%
2353.37/2359.01 c 2359 1304 79 1 -70.0000 -123.1875 75.98%
2362.34/2367.92 c 2368 1307 80 1 -70.0000 -123.1875 75.98%
2372.33/2378.01 c 2378 1308 79 1 -70.0000 -123.1875 75.98%
2380.90/2386.54 c 2387 1312 79 1 -70.0000 -121.7222 73.89%
2385.99/2391.64 c 2392 1313 80 1 -70.0000 -121.7222 73.89%
2391.58/2397.26 c 2397 1314 81 1 -70.0000 -121.7222 73.89%
2400.47/2406.17 c 2406 1317 84 1 -70.0000 -121.7222 73.89%
2409.73/2415.46 c 2415 1319 86 1 -70.0000 -121.7222 73.89%
2418.71/2424.43 c 2424 1322 85 1 -70.0000 -121.5000 73.57%
2431.58/2437.31 c 2437 1324 87 1 -70.0000 -121.5000 73.57%
2440.16/2446.01 c 2446 1326 89 1 -70.0000 -121.5000 73.57%
2459.02/2464.83 c 2465 1328 89 1 -70.0000 -121.5000 73.57%
2467.00/2472.84 c 2473 1329 88 1 -70.0000 -121.5000 73.57%
2478.29/2484.11 c 2484 1331 88 1 -70.0000 -121.5000 73.57%
2494.64/2500.57 c 2501 1332 89 1 -70.0000 -121.5000 73.57%
2501.72/2507.69 c 2508 1335 88 1 -70.0000 -121.5000 73.57%
2510.11/2516.11 c 2516 1342 89 1 -70.0000 -121.4500 73.50%
2518.58/2524.52 c 2525 1344 91 1 -70.0000 -121.4500 73.50%
2528.07/2534.09 c 2534 1347 90 1 -70.0000 -121.4500 73.50%
2533.75/2539.77 c 2540 1349 92 1 -70.0000 -121.4500 73.50%
2539.05/2545.06 c 2545 1350 91 1 -70.0000 -121.4500 73.50%
2547.32/2553.31 c 2553 1352 91 1 -70.0000 -121.0000 72.86%
2558.39/2564.45 c 2564 1354 93 1 -70.0000 -121.0000 72.86%
2565.18/2571.29 c 2571 1356 93 1 -70.0000 -121.0000 72.86%
2572.36/2578.42 c 2578 1358 93 1 -70.0000 -121.0000 72.86%
2577.65/2583.74 c 2584 1359 92 1 -70.0000 -121.0000 72.86%
2582.84/2588.97 c 2589 1361 92 1 -70.0000 -121.0000 72.86%
2588.72/2594.89 c 2595 1362 93 1 -70.0000 -121.0000 72.86%
2594.11/2600.21 c 2600 1364 93 1 -70.0000 -121.0000 72.86%
2599.50/2605.68 c 2606 1367 92 1 -70.0000 -121.0000 72.86%
2607.18/2613.38 c 2613 1370 93 1 -70.0000 -121.0000 72.86%
2612.28/2618.45 c 2618 1371 92 1 -70.0000 -121.0000 72.86%
2626.64/2632.84 c 2633 1374 93 1 -70.0000 -121.0000 72.86%
2631.63/2637.87 c 2638 1377 92 1 -70.0000 -121.0000 72.86%
2638.12/2644.32 c 2644 1378 91 1 -70.0000 -121.0000 72.86%
2645.10/2651.33 c 2651 1382 91 1 -70.0000 -120.8750 72.68%
2654.08/2660.34 c 2660 1384 93 1 -70.0000 -120.8750 72.68%
2660.37/2666.64 c 2667 1386 93 1 -70.0000 -120.8750 72.68%
2666.45/2672.72 c 2673 1387 92 1 -70.0000 -120.8750 72.68%
2671.54/2677.89 c 2678 1388 93 1 -70.0000 -120.8750 72.68%
2681.73/2688.03 c 2688 1390 93 1 -70.0000 -120.8750 72.68%
2693.40/2699.70 c 2700 1391 94 1 -70.0000 -120.8750 72.68%
2699.69/2706.10 c 2706 1398 91 1 -70.0000 -120.8750 72.68%
2707.68/2714.06 c 2714 1402 89 1 -70.0000 -120.8750 72.68%
2715.25/2721.65 c 2722 1404 91 1 -70.0000 -120.8750 72.68%
2723.53/2729.99 c 2730 1405 90 1 -70.0000 -120.8750 72.68%
2729.92/2736.36 c 2736 1407 90 1 -70.0000 -120.8750 72.68%
2737.71/2744.16 c 2744 1408 89 1 -70.0000 -120.8750 72.68%
2746.59/2753.04 c 2753 1410 89 1 -70.0000 -120.8750 72.68%
2756.15/2762.66 c 2763 1412 89 1 -70.0000 -120.8750 72.68%
2769.02/2775.54 c 2776 1413 88 1 -70.0000 -120.8750 72.68%
2779.51/2786.04 c 2786 1415 88 1 -70.0000 -120.8750 72.68%
2792.48/2799.11 c 2799 1416 89 1 -70.0000 -120.8750 72.68%
2797.76/2804.34 c 2804 1418 91 1 -70.0000 -120.8750 72.68%
2802.85/2809.44 c 2809 1426 91 1 -70.0000 -120.8750 72.68%
2808.63/2815.29 c 2815 1433 94 1 -70.0000 -120.8750 72.68%
2814.02/2820.65 c 2821 1442 93 1 -70.0000 -120.8750 72.68%
2819.11/2825.76 c 2826 1451 92 1 -70.0000 -120.8750 72.68%
2824.80/2831.48 c 2831 1459 94 1 -70.0000 -120.8750 72.68%
2830.40/2837.04 c 2837 1462 93 1 -70.0000 -120.2143 71.73%
2838.67/2845.35 c 2845 1464 95 1 -70.0000 -120.2143 71.73%
2845.46/2852.13 c 2852 1465 94 1 -70.0000 -120.2143 71.73%
2850.94/2857.60 c 2858 1471 94 1 -70.0000 -120.2143 71.73%
2857.34/2864.08 c 2864 1480 93 1 -70.0000 -120.2143 71.73%
2864.61/2871.34 c 2871 1488 93 1 -70.0000 -120.2143 71.73%
2870.41/2877.19 c 2877 1495 92 1 -70.0000 -120.2143 71.73%
2877.59/2884.39 c 2884 1501 92 1 -70.0000 -120.2143 71.73%
2885.27/2892.06 c 2892 1507 90 1 -70.0000 -120.2143 71.73%
2891.75/2898.50 c 2899 1510 91 1 -70.0000 -120.2143 71.73%
2898.83/2905.64 c 2906 1515 92 1 -70.0000 -120.2143 71.73%
2905.62/2912.47 c 2912 1522 91 1 -70.0000 -120.0000 71.43%
2912.80/2919.63 c 2920 1524 93 1 -70.0000 -120.0000 71.43%
2918.20/2925.10 c 2925 1526 93 1 -70.0000 -120.0000 71.43%
2927.57/2934.47 c 2934 1527 92 1 -70.0000 -120.0000 71.43%
2942.25/2949.17 c 2949 1534 91 1 -70.0000 -120.0000 71.43%
2948.62/2955.56 c 2956 1535 90 1 -70.0000 -120.0000 71.43%
2954.81/2961.74 c 2962 1538 93 1 -70.0000 -120.0000 71.43%
2960.80/2967.71 c 2968 1552 93 1 -70.0000 -120.0000 71.43%
2966.68/2973.64 c 2974 1559 90 1 -70.0000 -120.0000 71.43%
2973.18/2980.19 c 2980 1561 90 1 -70.0000 -120.0000 71.43%
2982.44/2989.40 c 2989 1562 89 1 -70.0000 -120.0000 71.43%
2998.70/3005.72 c 3006 1564 89 1 -70.0000 -120.0000 71.43%
3005.69/3012.71 c 3013 1565 88 1 -70.0000 -120.0000 71.43%
3012.09/3019.17 c 3019 1567 90 1 -70.0000 -120.0000 71.43%
3018.36/3025.44 c 3025 1570 91 1 -70.0000 -120.0000 71.43%
3024.65/3031.78 c 3032 1580 91 1 -70.0000 -120.0000 71.43%
3030.94/3038.01 c 3038 1587 92 1 -70.0000 -120.0000 71.43%
3037.62/3044.71 c 3045 1595 92 1 -70.0000 -120.0000 71.43%
3044.11/3051.24 c 3051 1603 90 1 -70.0000 -120.0000 71.43%
3050.10/3057.24 c 3057 1607 90 1 -70.0000 -120.0000 71.43%
3055.08/3062.29 c 3062 1615 90 1 -70.0000 -120.0000 71.43%
3061.27/3068.43 c 3068 1619 90 1 -70.0000 -120.0000 71.43%
3067.06/3074.23 c 3074 1625 92 1 -70.0000 -120.0000 71.43%
3072.44/3079.60 c 3080 1632 91 1 -70.0000 -119.8333 71.19%
3079.43/3086.69 c 3087 1634 93 1 -70.0000 -119.8333 71.19%
3085.11/3092.35 c 3092 1640 91 1 -70.0000 -119.8333 71.19%
3091.40/3098.65 c 3099 1644 91 1 -70.0000 -119.8333 71.19%
3099.48/3106.70 c 3107 1653 88 1 -70.0000 -119.8333 71.19%
3108.77/3116.05 c 3116 1654 87 1 -70.0000 -119.8333 71.19%
3127.73/3135.05 c 3135 1655 88 1 -70.0000 -119.8333 71.19%
3132.82/3140.13 c 3140 1658 87 1 -70.0000 -119.8333 71.19%
3141.39/3148.73 c 3149 1660 89 1 -70.0000 -119.8333 71.19%
3146.69/3154.06 c 3154 1663 88 1 -70.0000 -119.8333 71.19%
3162.54/3169.95 c 3170 1665 86 1 -70.0000 -119.8333 71.19%
3167.93/3175.37 c 3175 1666 87 1 -70.0000 -119.8333 71.19%
3188.18/3195.64 c 3196 1669 88 1 -70.0000 -119.8333 71.19%
3194.17/3201.66 c 3202 1674 89 1 -70.0000 -119.8333 71.19%
3199.86/3207.33 c 3207 1677 88 1 -70.0000 -119.8333 71.19%
3208.04/3215.53 c 3216 1684 87 1 -70.0000 -119.8333 71.19%
3221.90/3229.48 c 3229 1685 86 1 -70.0000 -119.8333 71.19%
3237.87/3245.50 c 3246 1686 87 1 -70.0000 -119.8333 71.19%
3243.46/3251.04 c 3251 1688 89 1 -70.0000 -119.8333 71.19%
3249.24/3256.80 c 3257 1692 89 1 -70.0000 -119.8333 71.19%
3257.32/3264.91 c 3265 1698 89 1 -70.0000 -119.8333 71.19%
3263.02/3270.65 c 3271 1707 88 1 -70.0000 -119.8333 71.19%
3270.70/3278.37 c 3278 1710 87 1 -70.0000 -119.8333 71.19%
3278.78/3286.42 c 3286 1712 89 1 -70.0000 -119.8333 71.19%
3286.47/3294.14 c 3294 1714 87 1 -70.0000 -119.8333 71.19%
3300.13/3307.89 c 3308 1716 89 1 -70.0000 -119.8333 71.19%
3310.50/3318.22 c 3318 1727 86 1 -70.0000 -119.8333 71.19%
3318.29/3326.02 c 3326 1729 88 1 -70.0000 -119.8333 71.19%
3325.07/3332.89 c 3333 1730 87 1 -70.0000 -119.8333 71.19%
3333.27/3341.08 c 3341 1732 87 1 -70.0000 -119.8333 71.19%
3339.35/3347.15 c 3347 1734 89 1 -70.0000 -119.8333 71.19%
3345.52/3353.38 c 3353 1737 88 1 -70.0000 -119.8333 71.19%
3353.40/3361.22 c 3361 1740 87 1 -70.0000 -119.8333 71.19%
3361.49/3369.34 c 3369 1744 87 1 -70.0000 -119.8333 71.19%
3380.34/3388.27 c 3388 1748 87 1 -70.0000 -119.8333 71.19%
3387.03/3394.96 c 3395 1750 87 1 -70.0000 -119.8333 71.19%
3392.23/3400.17 c 3400 1756 91 1 -70.0000 -119.8333 71.19%
3398.60/3406.52 c 3407 1764 87 1 -70.0000 -119.8333 71.19%
3403.69/3411.61 c 3412 1774 87 1 -70.0000 -119.8333 71.19%
3410.67/3418.66 c 3419 1781 88 1 -70.0000 -119.8333 71.19%
3416.86/3424.89 c 3425 1792 89 1 -70.0000 -119.5000 70.71%
3425.54/3433.59 c 3434 1795 90 1 -70.0000 -119.5000 70.71%
3431.93/3439.95 c 3440 1797 90 1 -70.0000 -119.5000 70.71%
3443.70/3451.70 c 3452 1799 88 1 -70.0000 -119.5000 70.71%
3448.69/3456.78 c 3457 1801 90 1 -70.0000 -119.5000 70.71%
3458.17/3466.25 c 3466 1803 88 1 -70.0000 -119.5000 70.71%
3472.14/3480.29 c 3480 1805 90 1 -70.0000 -119.5000 70.71%
3479.12/3487.23 c 3487 1812 91 1 -70.0000 -119.5000 70.71%
3485.81/3494.01 c 3494 1815 90 1 -70.0000 -119.5000 70.71%
3492.18/3500.37 c 3500 1820 89 1 -70.0000 -119.5000 70.71%
3502.87/3511.06 c 3511 1825 88 1 -70.0000 -119.5000 70.71%
3508.54/3516.71 c 3517 1833 84 1 -70.0000 -119.0833 70.12%
3528.91/3537.15 c 3537 1836 83 1 -70.0000 -119.0833 70.12%
3535.28/3543.55 c 3544 1840 85 1 -70.0000 -119.0833 70.12%
3541.67/3549.96 c 3550 1842 87 1 -70.0000 -119.0000 70.00%
3548.15/3556.46 c 3556 1844 89 1 -70.0000 -119.0000 70.00%
3554.24/3562.56 c 3563 1849 88 1 -70.0000 -119.0000 70.00%
3559.33/3567.64 c 3568 1853 90 1 -70.0000 -119.0000 70.00%
3568.61/3576.94 c 3577 1862 87 1 -70.0000 -118.8500 69.79%
3573.81/3582.12 c 3582 1864 89 1 -70.0000 -118.8500 69.79%
3580.38/3588.71 c 3589 1868 87 1 -70.0000 -118.8500 69.79%
3586.47/3594.80 c 3595 1872 89 1 -70.0000 -118.8500 69.79%
3589.86/3598.20 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.86/3598.20 c Total Time : 3598.21
3589.86/3598.20 c solving : 3598.21
3589.86/3598.20 c presolving : 0.81 (included in solving)
3589.86/3598.20 c B&B Tree :
3589.86/3598.20 c nodes (total) : 1
3589.86/3598.20 c Solution :
3589.86/3598.20 c Solutions found : 11
3589.86/3598.20 c Primal Bound : -7.00000000000000e+01
3589.86/3598.20 c Dual Bound : -1.18850000000000e+02
3589.86/3598.20 c Gap : 69.78571 %
3589.86/3598.20 c * Warning: final gap: 6.97857e-01 is greater than SCIPepsilon: 1.00000e-09
3589.86/3598.22 o -70
3589.86/3598.22 s SATISFIABLE
3589.86/3598.22 v -x2025 -x2024 x2023 -x2022 -x2021 x2020 -x2019 x2018 -x2017 -x2016 x2015 -x2014 -x2013 x2012 -x2011 x2010 x2009 -x2008 -x2007 x2006
3589.86/3598.22 v x2005 -x2004 -x2003 x2002 -x2001 x2000 x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 x1990 x1989 x1988 -x1987
3589.86/3598.22 v -x1986 x1985 x1984 x1983 x1982 -x1981 -x1980 x1979 -x1978 -x1977 x1976 -x1975 x1974 -x1973 -x1972 -x1971 x1970 -x1969 x1968
3589.86/3598.22 v -x1967 -x1966 -x1965 x1964 -x1963 -x1962 -x1961 x1960 -x1959 -x1958 -x1957 -x1956 x1955 x1954 x1953 x1952 -x1951 -x1950
3589.86/3598.22 v x1949 x1948 -x1947 x1946 x1945 x1944 -x1943 -x1942 -x1941 -x1940 -x1939 x1938 x1937 -x1936 -x1935 x1934 x1933 -x1932 -x1931 x1930
3589.86/3598.22 v -x1929 -x1928 x1927 x1926 x1925 -x1924 -x1923 x1922 -x1921 -x1920 x1919 -x1918 -x1917 -x1916 -x1915 x1914 x1913 -x1912 x1911
3589.86/3598.22 v -x1910 x1909 x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 x1899 x1898 -x1897 -x1896 -x1895 x1894 -x1893
3589.86/3598.22 v -x1892 -x1891 x1890 x1889 x1888 x1887 x1886 x1885 x1884 -x1883 -x1882 x1881 x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874
3589.86/3598.22 v x1873 x1872 x1871 -x1870 -x1869 x1868 -x1867 -x1866 -x1865 -x1864 x1863 -x1862 -x1861 x1860 x1859 x1858 -x1857 -x1856 -x1855
3589.86/3598.22 v -x1854 -x1853 -x1852 x1851 -x1850 x1849 x1848 -x1847 -x1846 -x1845 x1844 -x1843 -x1842 x1841 -x1840 -x1839 x1838 x1837 -x1836
3589.86/3598.22 v x1835 -x1834 x1833 -x1832 -x1831 x1830 -x1829 x1828 -x1827 -x1826 x1825 -x1824 x1823 -x1822 -x1821 x1820 -x1819 x1818 x1817
3589.86/3598.22 v x1816 x1815 -x1814 -x1813 x1812 x1811 -x1810 -x1809 -x1808 -x1807 -x1806 x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798
3589.86/3598.22 v -x1797 -x1796 -x1795 -x1794 x1793 x1792 x1791 -x1790 x1789 x1788 x1787 x1786 x1785 -x1784 -x1783 -x1782 x1781 -x1780 -x1779
3589.86/3598.22 v x1778 x1777 x1776 x1775 x1774 x1773 -x1772 -x1771 x1770 -x1769 -x1768 -x1767 -x1766 x1765 x1764 -x1763 x1762 x1761 -x1760 -x1759
3589.86/3598.22 v -x1758 -x1757 -x1756 x1755 -x1754 -x1753 -x1752 x1751 -x1750 -x1749 x1748 x1747 -x1746 x1745 x1744 x1743 x1742 -x1741 x1740
3589.86/3598.22 v -x1739 x1738 -x1737 -x1736 -x1735 x1734 -x1733 -x1732 -x1731 -x1730 x1729 x1728 x1727 x1726 x1725 x1724 x1723 x1722 -x1721
3589.86/3598.22 v -x1720 x1719 x1718 -x1717 -x1716 x1715 -x1714 -x1713 -x1712 -x1711 x1710 -x1709 -x1708 x1707 x1706 x1705 -x1704 x1703 x1702
3589.86/3598.22 v -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 x1695 x1694 -x1693 -x1692 x1691 x1690 -x1689 -x1688 x1687 -x1686 x1685 x1684 x1683
3589.86/3598.22 v x1682 x1681 -x1680 -x1679 -x1678 x1677 x1676 -x1675 -x1674 x1673 x1672 x1671 -x1670 x1669 -x1668 -x1667 -x1666 -x1665 x1664
3589.86/3598.22 v x1663 -x1662 -x1661 -x1660 -x1659 -x1658 x1657 x1656 -x1655 -x1654 x1653 x1652 x1651 -x1650 -x1649 -x1648 x1647 x1646 x1645
3589.86/3598.22 v -x1644 x1643 x1642 x1641 -x1640 x1639 -x1638 -x1637 x1636 -x1635 x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626
3589.86/3598.22 v -x1625 -x1624 x1623 -x1622 -x1621 -x1620 x1619 x1618 -x1617 -x1616 x1615 x1614 -x1613 -x1612 x1611 x1610 x1609 x1608 -x1607
3589.86/3598.22 v -x1606 -x1605 -x1604 x1603 x1602 x1601 -x1600 -x1599 -x1598 -x1597 x1596 x1595 x1594 -x1593 -x1592 x1591 -x1590 -x1589 -x1588
3589.86/3598.22 v -x1587 x1586 x1585 -x1584 -x1583 x1582 -x1581 -x1580 x1579 x1578 -x1577 -x1576 -x1575 x1574 -x1573 -x1572 -x1571 x1570 -x1569
3589.86/3598.22 v x1568 -x1567 -x1566 -x1565 -x1564 x1563 -x1562 -x1561 -x1560 -x1559 -x1558 x1557 x1556 x1555 -x1554 -x1553 -x1552 x1551 x1550
3589.86/3598.22 v x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533 x1532
3589.86/3598.22 v x1531 x1530 -x1529 -x1528 x1527 -x1526 -x1525 x1524 -x1523 x1522 x1521 -x1520 -x1519 -x1518 x1517 -x1516 -x1515 -x1514 -x1513
3589.86/3598.22 v x1512 -x1511 x1510 x1509 -x1508 -x1507 x1506 x1505 x1504 x1503 x1502 x1501 -x1500 -x1499 x1498 x1497 x1496 x1495 x1494 -x1493
3589.86/3598.22 v -x1492 x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 x1484 -x1483 -x1482 x1481 x1480 x1479 -x1478 x1477 -x1476 -x1475 x1474
3589.86/3598.22 v x1473 -x1472 x1471 -x1470 x1469 x1468 -x1467 x1466 -x1465 -x1464 -x1463 x1462 x1461 -x1460 x1459 x1458 -x1457 -x1456 x1455
3589.86/3598.22 v -x1454 -x1453 x1452 x1451 -x1450 x1449 -x1448 -x1447 -x1446 x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 x1437 -x1436
3589.86/3598.22 v -x1435 x1434 -x1433 -x1432 -x1431 x1430 -x1429 x1428 x1427 x1426 -x1425 -x1424 x1423 -x1422 x1421 x1420 -x1419 -x1418 -x1417
3589.86/3598.22 v -x1416 x1415 x1414 -x1413 -x1412 -x1411 x1410 -x1409 -x1408 -x1407 x1406 x1405 -x1404 -x1403 -x1402 -x1401 x1400 -x1399
3589.86/3598.22 v -x1398 -x1397 -x1396 -x1395 x1394 -x1393 x1392 x1391 -x1390 x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 x1382 -x1381 -x1380
3589.86/3598.22 v -x1379 x1378 x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 x1362
3589.86/3598.22 v -x1361 -x1360 x1359 -x1358 -x1357 x1356 x1355 -x1354 -x1353 x1352 -x1351 x1350 x1349 -x1348 x1347 -x1346 -x1345 x1344 -x1343
3589.86/3598.22 v -x1342 -x1341 -x1340 -x1339 x1338 -x1337 -x1336 x1335 x1334 -x1333 x1332 -x1331 x1330 x1329 -x1328 x1327 -x1326 x1325 x1324
3589.86/3598.22 v -x1323 x1322 x1321 x1320 -x1319 x1318 -x1317 -x1316 x1315 x1314 -x1313 -x1312 x1311 x1310 -x1309 -x1308 -x1307 x1306 -x1305 -x1304
3589.86/3598.22 v x1303 -x1302 -x1301 x1300 -x1299 -x1298 -x1297 x1296 x1295 -x1294 x1293 x1292 x1291 x1290 -x1289 x1288 -x1287 -x1286 -x1285
3589.86/3598.22 v -x1284 x1283 -x1282 x1281 x1280 -x1279 x1278 -x1277 -x1276 x1275 -x1274 x1273 x1272 -x1271 -x1270 -x1269 x1268 -x1267 -x1266
3589.86/3598.22 v x1265 -x1264 x1263 x1262 -x1261 x1260 x1259 x1258 -x1257 x1256 -x1255 x1254 x1253 -x1252 x1251 x1250 -x1249 -x1248 -x1247
3589.86/3598.22 v x1246 x1245 x1244 -x1243 x1242 x1241 -x1240 -x1239 x1238 x1237 x1236 x1235 -x1234 -x1233 x1232 -x1231 -x1230 x1229 x1228 -x1227
3589.86/3598.22 v -x1226 -x1225 -x1224 x1223 -x1222 -x1221 x1220 -x1219 -x1218 x1217 -x1216 -x1215 x1214 -x1213 x1212 -x1211 -x1210 x1209
3589.86/3598.22 v -x1208 x1207 -x1206 -x1205 x1204 x1203 x1202 -x1201 -x1200 -x1199 x1198 x1197 x1196 -x1195 -x1194 -x1193 x1192 x1191 -x1190 -x1189
3589.86/3598.22 v x1188 -x1187 -x1186 -x1185 x1184 x1183 -x1182 -x1181 x1180 -x1179 -x1178 x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171
3589.86/3598.22 v -x1170 -x1169 x1168 -x1167 -x1166 x1165 -x1164 -x1163 -x1162 x1161 x1160 x1159 x1158 -x1157 x1156 x1155 -x1154 -x1153 -x1152
3589.86/3598.22 v -x1151 -x1150 -x1149 x1148 -x1147 -x1146 -x1145 -x1144 -x1143 x1142 -x1141 x1140 x1139 -x1138 x1137 -x1136 -x1135 x1134 -x1133
3589.86/3598.22 v -x1132 x1131 x1130 x1129 -x1128 x1127 -x1126 x1125 -x1124 x1123 x1122 x1121 x1120 -x1119 -x1118 x1117 x1116 x1115 x1114 -x1113
3589.86/3598.22 v x1112 -x1111 -x1110 x1109 x1108 x1107 -x1106 -x1105 -x1104 x1103 x1102 x1101 -x1100 -x1099 x1098 -x1097 -x1096 x1095 x1094
3589.86/3598.22 v -x1093 -x1092 x1091 x1090 -x1089 -x1088 x1087 x1086 x1085 -x1084 -x1083 x1082 -x1081 -x1080 x1079 x1078 x1077 -x1076 x1075
3589.86/3598.22 v x1074 -x1073 x1072 x1071 x1070 x1069 x1068 -x1067 x1066 -x1065 -x1064 x1063 -x1062 x1061 x1060 -x1059 -x1058 x1057 -x1056 -x1055
3589.86/3598.22 v x1054 -x1053 x1052 -x1051 -x1050 x1049 -x1048 x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 x1040 -x1039 x1038 -x1037
3589.86/3598.22 v -x1036 x1035 -x1034 -x1033 x1032 -x1031 x1030 x1029 -x1028 -x1027 -x1026 -x1025 x1024 -x1023 x1022 x1021 -x1020 -x1019 -x1018
3589.86/3598.22 v -x1017 x1016 -x1015 -x1014 x1013 x1012 -x1011 -x1010 x1009 x1008 -x1007 -x1006 x1005 x1004 -x1003 -x1002 -x1001 x1000 x999
3589.86/3598.22 v x998 x997 -x996 -x995 x994 x993 x992 x991 x990 x989 x988 -x987 -x986 x985 x984 x983 -x982 -x981 x980 -x979 -x978 x977 -x976 -x975
3589.86/3598.22 v -x974 -x973 -x972 x971 x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 x959 -x958 -x957 -x956 -x955 -x954
3589.86/3598.22 v -x953 -x952 -x951 x950 x949 x948 x947 x946 x945 x944 -x943 x942 x941 -x940 -x939 -x938 -x937 -x936 -x935 x934 -x933 x932 x931
3589.86/3598.22 v x930 x929 -x928 -x927 x926 x925 x924 x923 -x922 -x921 -x920 x919 -x918 x917 -x916 -x915 x914 x913 x912 x911 -x910 -x909 x908
3589.86/3598.22 v x907 -x906 x905 -x904 -x903 -x902 x901 -x900 -x899 x898 -x897 -x896 x895 x894 -x893 -x892 -x891 -x890 -x889 x888 -x887 -x886
3589.86/3598.22 v -x885 -x884 x883 -x882 x881 x880 -x879 -x878 x877 x876 -x875 -x874 -x873 -x872 x871 -x870 -x869 -x868 -x867 -x866 x865 -x864
3589.86/3598.22 v -x863 x862 x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 x852 x851 -x850 x849 -x848 -x847 x846 x845 x844 -x843 -x842
3589.86/3598.22 v x841 -x840 -x839 -x838 -x837 x836 x835 x834 x833 x832 -x831 -x830 x829 x828 x827 -x826 -x825 x824 x823 -x822 -x821 x820 x819
3589.86/3598.22 v x818 x817 -x816 -x815 -x814 -x813 -x812 -x811 x810 x809 x808 x807 x806 x805 x804 -x803 -x802 -x801 -x800 x799 x798 x797 -x796
3589.86/3598.22 v -x795 x794 -x793 x792 x791 x790 x789 x788 x787 -x786 -x785 -x784 -x783 x782 x781 -x780 -x779 x778 x777 x776 x775 x774 -x773
3589.86/3598.22 v -x772 x771 -x770 -x769 x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 x759 -x758 -x757 -x756 -x755 -x754 x753 -x752 -x751
3589.86/3598.22 v -x750 x749 x748 x747 -x746 -x745 x744 -x743 -x742 x741 x740 -x739 x738 x737 x736 x735 -x734 -x733 x732 x731 -x730 x729 x728
3589.86/3598.22 v x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 x718 -x717 x716 -x715 x714 x713 -x712 -x711 x710 x709 -x708 x707 -x706
3589.86/3598.22 v -x705 -x704 x703 -x702 x701 x700 x699 x698 -x697 -x696 x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 x687 -x686 -x685 -x684 -x683
3589.86/3598.22 v x682 -x681 -x680 -x679 x678 -x677 x676 -x675 -x674 -x673 -x672 x671 -x670 x669 -x668 x667 -x666 -x665 -x664 -x663 -x662
3589.86/3598.22 v -x661 -x660 -x659 x658 -x657 x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640
3589.86/3598.22 v -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619
3589.86/3598.22 v -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 x598
3589.86/3598.22 v -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 x585 -x584 -x583 -x582 -x581 x580 -x579 -x578 -x577
3589.86/3598.22 v -x576 -x575 x574 x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 x556 -x555
3589.86/3598.22 v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534
3589.86/3598.22 v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513 -x512
3589.86/3598.22 v -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491
3589.86/3598.22 v -x490 x489 -x488 -x487 -x486 -x485 x484 x483 -x482 -x481 x480 -x479 -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470
3589.86/3598.22 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449
3589.86/3598.22 v -x448 -x447 -x446 -x445 x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 x427
3589.86/3598.22 v -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406
3589.86/3598.22 v x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 x387 -x386 -x385
3589.86/3598.22 v -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363
3589.86/3598.22 v -x362 x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342
3589.86/3598.22 v x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320
3589.86/3598.22 v -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299
3589.86/3598.22 v -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 x286 -x285 x284 -x283 -x282 -x281 -x280 -x279 x278
3589.86/3598.22 v -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256
3589.86/3598.22 v -x255 x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235
3589.86/3598.22 v -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214
3589.86/3598.22 v x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 x200 x199 -x198 x197 -x196 -x195 -x194 -x193 -x192
3589.86/3598.22 v -x191 -x190 x189 -x188 -x187 x186 x185 x184 x183 -x182 -x181 -x180 x179 -x178 x177 -x176 x175 -x174 -x173 -x172 x171 -x170
3589.86/3598.22 v -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 x161 -x160 x159 x158 x157 x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148
3589.86/3598.22 v x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
3589.86/3598.22 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 x108 -x107 -x106 -x105
3589.86/3598.22 v x104 -x103 x102 x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 x88 x87 x86 -x85 -x84 -x83 -x82 -x81 -x80
3589.86/3598.27 v -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
3589.86/3598.27 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 x32 -x31 -x30 -x29
3589.86/3598.27 v x28 x27 -x26 x25 -x24 -x23 -x22 x21 -x20 x19 -x18 -x17 x16 x15 -x14 x13 x12 -x11 -x10 x9 -x8 x7 -x6 -x5 -x4 -x3 -x2 x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64096 MiB (62165 MiB free)
memory of node 1: 64473 MiB (63586 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464121-1722382196/watcher-4464121-1722382196 -o /tmp/evaluation-result-4464121-1722382196/solver-4464121-1722382196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722378594-28232 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464121-1722382196.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30478, runsolver pid=30475
[startup+0.100856 s]*
/proc/loadavg: 4.05 4.12 4.09 5/249 30479
/proc/meminfo: memFree=128746472/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=36892 memory=25212 CPUtime=0.1 cores=4,6
/proc/30478/stat : 30478 (fscip) R 30475 30478 28221 0 -1 4194304 4214 0 0 0 9 1 0 0 20 0 1 0 4590737 37777408 6303 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 9223 6303 2347 3035 0 5619 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36892 KiB
Current children cumulated memory: 25212 KiB
[startup+0.213041 s]*
/proc/loadavg: 4.05 4.12 4.09 4/245 30479
/proc/meminfo: memFree=128760984/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=68824 memory=57292 CPUtime=0.21 cores=4,6
/proc/30478/stat : 30478 (fscip) R 30475 30478 28221 0 -1 4194304 12211 0 0 0 18 3 0 0 20 0 1 0 4590737 70475776 14323 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 17206 14323 2555 3035 0 13602 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 68824 KiB
Current children cumulated memory: 57292 KiB
[startup+0.313405 s]*
/proc/loadavg: 4.05 4.12 4.09 6/244 30491
/proc/meminfo: memFree=128745468/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=74000 memory=61736 CPUtime=0.31 cores=4,6
/proc/30478/stat : 30478 (fscip) R 30475 30478 28221 0 -1 4194304 13245 0 0 0 28 3 0 0 20 0 1 0 4590737 75776000 15434 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 18500 15434 2614 3035 0 14896 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 74000 KiB
Current children cumulated memory: 61736 KiB
[startup+0.700343 s]
/proc/loadavg: 4.05 4.12 4.09 4/241 30510
/proc/meminfo: memFree=128737492/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=88920 memory=76972 CPUtime=0.68 cores=4,6
/proc/30478/stat : 30478 (fscip) R 30475 30478 28221 0 -1 4194304 19821 0 0 0 62 6 0 0 20 0 1 0 4590737 91054080 19243 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 22230 19243 2710 3035 0 18626 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88920 KiB
Current children cumulated memory: 76972 KiB
[startup+1.50086 s]
/proc/loadavg: 4.05 4.12 4.09 5/247 30527
/proc/meminfo: memFree=128670132/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=182524 memory=143360 CPUtime=1.48 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 40228 0 0 0 135 13 0 0 20 0 3 0 4590737 186904576 35840 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 45631 35840 2790 3035 0 39232 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 182524 KiB
Current children cumulated memory: 143360 KiB
[startup+3.11187 s]
/proc/loadavg: 4.04 4.12 4.08 5/250 30530
/proc/meminfo: memFree=128414948/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=248060 memory=206624 CPUtime=3.08 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 66347 0 0 0 290 18 0 0 20 0 3 0 4590737 254013440 51656 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 62015 51656 2950 3035 0 55500 0
[pid=30478/tid=30528] ppid=30475 vsize=248060 memory=198340509722 CPUtime=1.98 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 39323 0 0 0 188 10 0 0 20 0 3 0 4590841 254013440 51656 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=248060 memory=0 CPUtime=0 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4590856 254013440 51656 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 248060 KiB
Current children cumulated memory: 206624 KiB
[startup+6.30029 s]
/proc/loadavg: 4.04 4.12 4.08 5/252 30532
/proc/meminfo: memFree=128264220/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=248060 memory=206628 CPUtime=6.26 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 68353 0 0 0 608 18 0 0 20 0 3 0 4590737 254013440 51657 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 62015 51657 2950 3035 0 55500 0
[pid=30478/tid=30528] ppid=30475 vsize=248060 memory=5548 CPUtime=5.16 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 41323 0 0 0 506 10 0 0 20 0 3 0 4590841 254013440 51657 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=248060 memory=206628 CPUtime=0 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4590856 254013440 51657 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 248060 KiB
Current children cumulated memory: 206628 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.13 4.09 5/252 30533
/proc/meminfo: memFree=128171372/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=248060 memory=206936 CPUtime=12.64 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 83156 0 0 0 1245 19 0 0 20 0 3 0 4590737 254013440 51734 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 62015 51734 2966 3035 0 55500 0
[pid=30478/tid=30528] ppid=30475 vsize=248060 memory=11392 CPUtime=11.54 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 56120 0 0 0 1144 10 0 0 20 0 3 0 4590841 254013440 51734 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=248060 memory=12748 CPUtime=0 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4590856 254013440 51734 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 248060 KiB
Current children cumulated memory: 206936 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.13 4.09 5/252 30535
/proc/meminfo: memFree=128099260/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=248060 memory=214008 CPUtime=25.42 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 113904 0 0 0 2521 21 0 0 20 0 3 0 4590737 254013440 53502 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 62015 53502 2966 3035 0 57524 0
[pid=30478/tid=30528] ppid=30475 vsize=248060 memory=214008 CPUtime=24.31 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 86856 0 0 0 2419 12 0 0 20 0 3 0 4590841 254013440 53502 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=248060 memory=11392 CPUtime=0 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 4590856 254013440 53502 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 248060 KiB
Current children cumulated memory: 214008 KiB
[startup+51.1126 s]
/proc/loadavg: 4.12 4.13 4.09 5/254 30597
/proc/meminfo: memFree=128033048/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=313596 memory=253476 CPUtime=50.96 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 175489 0 0 0 5072 24 0 0 20 0 3 0 4590737 321122304 63369 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 78399 63369 2966 3035 0 70645 0
[pid=30478/tid=30528] ppid=30475 vsize=313596 memory=0 CPUtime=49.86 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 148428 0 0 0 4971 15 0 0 20 0 3 0 4590841 321122304 63369 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=313596 memory=11392 CPUtime=0 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 4590856 321122304 63369 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 313596 KiB
Current children cumulated memory: 253476 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.16 4.10 5/252 30606
/proc/meminfo: memFree=127891844/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=379132 memory=273764 CPUtime=102.04 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 212930 0 0 0 10177 27 0 0 20 0 3 0 4590737 388231168 68441 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 94783 68441 3014 3035 0 81995 0
[pid=30478/tid=30528] ppid=30475 vsize=379132 memory=273764 CPUtime=100.93 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 185501 0 0 0 10075 18 0 0 20 0 3 0 4590841 388231168 68441 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=379132 memory=273764 CPUtime=0 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 4590856 388231168 68441 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 379132 KiB
Current children cumulated memory: 273764 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/252 30618
/proc/meminfo: memFree=127847340/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=379132 memory=306168 CPUtime=161.9 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 246513 0 0 0 16161 29 0 0 20 0 3 0 4590737 388231168 76542 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 94783 76542 3014 3035 0 90504 0
[pid=30478/tid=30528] ppid=30475 vsize=379132 memory=273764 CPUtime=160.79 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 218667 0 0 0 16059 20 0 0 20 0 3 0 4590841 388231168 76542 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=379132 memory=11392 CPUtime=0 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 3 0 4590856 388231168 76542 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 379132 KiB
Current children cumulated memory: 306168 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/252 30629
/proc/meminfo: memFree=127844040/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=379132 memory=306180 CPUtime=221.76 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 261336 0 0 0 22146 30 0 0 20 0 3 0 4590737 388231168 76545 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 94783 76545 3014 3035 0 90504 0
[pid=30478/tid=30528] ppid=30475 vsize=379132 memory=306168 CPUtime=220.65 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 233451 0 0 0 22044 21 0 0 20 0 3 0 4590841 388231168 76545 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=379132 memory=1876 CPUtime=0 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 3 0 4590856 388231168 76545 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 379132 KiB
Current children cumulated memory: 306180 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 4.15 4.10 5/251 30640
/proc/meminfo: memFree=127840640/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=379132 memory=306204 CPUtime=281.62 cores=4,6
################
# More data... #
################
/proc/30478/statm: 160319 136243 3014 3035 0 150005 0
[pid=30478/tid=30528] ppid=30475 vsize=641276 memory=12880 CPUtime=3393.16 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 696853 0 0 0 339259 57 0 0 20 0 3 0 4590841 656666624 136243 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=641276 memory=544972 CPUtime=0.05 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 288 0 0 0 2 3 0 0 20 0 3 0 4590856 656666624 136243 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 3394.41 s
Current children cumulated vsize: 641276 KiB
Current children cumulated memory: 544972 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.14 5/248 32234
/proc/meminfo: memFree=125294812/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=641276 memory=544972 CPUtime=3454.28 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 739280 0 0 0 345353 75 0 0 20 0 3 0 4590737 656666624 136243 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 160319 136243 3014 3035 0 150005 0
[pid=30478/tid=30528] ppid=30475 vsize=641276 memory=12880 CPUtime=3453.02 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 709346 0 0 0 345244 58 0 0 20 0 3 0 4590841 656666624 136243 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=641276 memory=544972 CPUtime=0.05 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 294 0 0 0 2 3 0 0 20 0 3 0 4590856 656666624 136243 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 3454.28 s
Current children cumulated vsize: 641276 KiB
Current children cumulated memory: 544972 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.13 5/248 32244
/proc/meminfo: memFree=125266588/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=641276 memory=544980 CPUtime=3514.13 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 743269 0 0 0 351338 75 0 0 20 0 3 0 4590737 656666624 136245 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 160319 136245 3014 3035 0 150005 0
[pid=30478/tid=30528] ppid=30475 vsize=641276 memory=544980 CPUtime=3512.87 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 713310 0 0 0 351229 58 0 0 20 0 3 0 4590841 656666624 136245 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=641276 memory=12880 CPUtime=0.05 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 300 0 0 0 2 3 0 0 20 0 3 0 4590856 656666624 136245 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 3514.13 s
Current children cumulated vsize: 641276 KiB
Current children cumulated memory: 544980 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/249 32424
/proc/meminfo: memFree=125263520/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=641276 memory=544992 CPUtime=3574 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 752119 0 0 0 357324 76 0 0 20 0 3 0 4590737 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 160319 136248 3014 3035 0 150618 0
[pid=30478/tid=30528] ppid=30475 vsize=641276 memory=11392 CPUtime=3572.73 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 722124 0 0 0 357214 59 0 0 20 0 3 0 4590841 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=641276 memory=12356 CPUtime=0.05 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 306 0 0 0 2 3 0 0 20 0 3 0 4590856 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 3574 s
Current children cumulated vsize: 641276 KiB
Current children cumulated memory: 544992 KiB
[startup+3598.28 s]
# the end of solver process 30478 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.17 s, system=0.779494 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.11 4.13 5/249 32424
/proc/meminfo: memFree=125263056/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=641276 memory=544992 CPUtime=3575.71 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 752138 0 0 0 357495 76 0 0 20 0 3 0 4590737 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 160319 136248 3014 3035 0 150618 0
[pid=30478/tid=30528] ppid=30475 vsize=641276 memory=-7020104135748969343 CPUtime=3574.44 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 722143 0 0 0 357385 59 0 0 20 0 3 0 4590841 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=641276 memory=146406845187369 CPUtime=0.05 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 306 0 0 0 2 3 0 0 20 0 3 0 4590856 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 3575.71 s
Current children cumulated vsize: 641276 KiB
Current children cumulated memory: 544992 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.11 4.13 5/249 32424
/proc/meminfo: memFree=125263100/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=641276 memory=544992 CPUtime=3582.08 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 756681 0 0 0 358132 76 0 0 20 0 3 0 4590737 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 160319 136248 3014 3035 0 150618 0
[pid=30478/tid=30528] ppid=30475 vsize=641276 memory=4210468299899301532 CPUtime=3580.81 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 726686 0 0 0 358022 59 0 0 20 0 3 0 4590841 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=641276 memory=11392 CPUtime=0.05 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 306 0 0 0 2 3 0 0 20 0 3 0 4590856 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 3582.08 s
Current children cumulated vsize: 641276 KiB
Current children cumulated memory: 544992 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.11 4.13 5/249 32426
/proc/meminfo: memFree=125262736/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=641276 memory=544992 CPUtime=3585.27 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 756682 0 0 0 358451 76 0 0 20 0 3 0 4590737 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 160319 136248 3014 3035 0 150618 0
[pid=30478/tid=30528] ppid=30475 vsize=641276 memory=544992 CPUtime=3584 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 726687 0 0 0 358341 59 0 0 20 0 3 0 4590841 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=641276 memory=544992 CPUtime=0.05 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 306 0 0 0 2 3 0 0 20 0 3 0 4590856 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 3585.27 s
Current children cumulated vsize: 641276 KiB
Current children cumulated memory: 544992 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.11 4.13 5/249 32426
/proc/meminfo: memFree=125261668/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=641276 memory=544992 CPUtime=3588.46 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 756682 0 0 0 358770 76 0 0 20 0 3 0 4590737 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 160319 136248 3014 3035 0 150618 0
[pid=30478/tid=30528] ppid=30475 vsize=641276 memory=544992 CPUtime=3587.19 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 726687 0 0 0 358660 59 0 0 20 0 3 0 4590841 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=641276 memory=-7380392105938608505 CPUtime=0.05 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 306 0 0 0 2 3 0 0 20 0 3 0 4590856 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 3588.46 s
Current children cumulated vsize: 641276 KiB
Current children cumulated memory: 544992 KiB
[startup+3597.6 s]
/proc/loadavg: 4.12 4.11 4.13 5/247 32472
/proc/meminfo: memFree=125828460/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=641276 memory=544992 CPUtime=3589.26 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 756734 0 0 0 358850 76 0 0 20 0 3 0 4590737 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 160319 136248 3014 3035 0 150618 0
[pid=30478/tid=30528] ppid=30475 vsize=641276 memory=5548 CPUtime=3587.99 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 726739 0 0 0 358740 59 0 0 20 0 3 0 4590841 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=641276 memory=1876 CPUtime=0.05 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 306 0 0 0 2 3 0 0 20 0 3 0 4590856 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 3589.26 s
Current children cumulated vsize: 641276 KiB
Current children cumulated memory: 544992 KiB
[startup+3598 s]*
/proc/loadavg: 4.11 4.11 4.13 5/247 32472
/proc/meminfo: memFree=125782368/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=641276 memory=544992 CPUtime=3589.67 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 757256 0 0 0 358891 76 0 0 20 0 3 0 4590737 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 160319 136248 3014 3035 0 150618 0
[pid=30478/tid=30528] ppid=30475 vsize=641276 memory=-6000919472689801836 CPUtime=3588.4 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 727302 0 0 0 358781 59 0 0 20 0 3 0 4590841 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=641276 memory=2728 CPUtime=0.05 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 306 0 0 0 2 3 0 0 20 0 3 0 4590856 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 3589.67 s
Current children cumulated vsize: 641276 KiB
Current children cumulated memory: 544992 KiB
[startup+3598.2 s]
/proc/loadavg: 4.11 4.11 4.13 5/247 32472
/proc/meminfo: memFree=125782368/131655788 swapFree=131071996/131071996
[pid=30478] ppid=30475 vsize=641276 memory=544992 CPUtime=3589.86 cores=4,6
/proc/30478/stat : 30478 (fscip) S 30475 30478 28221 0 -1 1077936128 759519 0 0 0 358910 76 0 0 20 0 3 0 4590737 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
/proc/30478/statm: 160319 136248 3014 3035 0 150618 0
[pid=30478/tid=30528] ppid=30475 vsize=641276 memory=11464 CPUtime=3588.59 cores=4,6
/proc/30478/task/30528/stat : 30528 (fscip) R 30475 30478 28221 0 -1 4194368 729523 0 0 0 358800 59 0 0 20 0 3 0 4590841 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
[pid=30478/tid=30530] ppid=30475 vsize=641276 memory=11456 CPUtime=0.05 cores=4,6
/proc/30478/task/30530/stat : 30530 (fscip) S 30475 30478 28221 0 -1 1077936192 306 0 0 0 2 3 0 0 20 0 3 0 4590856 656666624 136248 134679101440 4194304 16623229 140725603961952 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 41127936 140725603963926 140725603964042 140725603964042 140725603971056 0
Current children cumulated CPU time: 3589.86 s
Current children cumulated vsize: 641276 KiB
Current children cumulated memory: 544992 KiB
Child status: 0
Real time (s): 3598.28
CPU time (s): 3589.95
CPU user time (s): 3589.17
CPU system time (s): 0.779494
CPU usage (%): 99.7686
Max. virtual memory (cumulated for all children) (KiB): 641276
Max. memory (cumulated for all children) (KiB): 544992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.17
system time used= 0.779494
maximum resident set size= 544992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 763187
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= 5724
involuntary context switches= 2393
# summary of solver processes directly reported to runsolver:
# pid: 30478
# total CPU time (s): 3589.95
# total CPU user time (s): 3589.17
# total CPU system time (s): 0.779494
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1973 second user time and 33.5632 second system time
The end
Begin job on nodeC004 at 2024-07-31 01:29:56
IDJOB=4464121
IDBENCH=148793
IDSOLVER=3092
FILE ID=nodeC004/4464121-1722382196
RUNJOBID= nodeC004-1722378594-28232
SLURM_JOB_ID= 8249834
Free space on /tmp= 723696 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB09/OPT-LIN/featureSubscription/normalized-50-750-false-45-90-4-5000opt.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-4464121-1722382196/watcher-4464121-1722382196 -o /tmp/evaluation-result-4464121-1722382196/solver-4464121-1722382196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722378594-28232 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464121-1722382196.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 267318dc6252912ba1edb3875073cd29
RANDOM SEED=99795441
nodeC004.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 : 3050.536
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.85
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 : 1265.710
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.39
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.288
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.85
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.288
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.39
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.234
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.85
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 : 3226.922
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.39
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.241
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.85
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.268
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128775580 kB
MemAvailable: 129719076 kB
Buffers: 91744 kB
Cached: 1687008 kB
SwapCached: 0 kB
Active: 251352 kB
Inactive: 2198524 kB
Active(anon): 1432 kB
Inactive(anon): 691020 kB
Active(file): 249920 kB
Inactive(file): 1507504 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 115636 kB
Writeback: 60 kB
AnonPages: 670500 kB
Mapped: 123180 kB
Shmem: 21320 kB
KReclaimable: 52540 kB
Slab: 128272 kB
SReclaimable: 52540 kB
SUnreclaim: 75732 kB
KernelStack: 3984 kB
PageTables: 10124 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 990064 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6848 kB
HardwareCorrupted: 0 kB
AnonHugePages: 258048 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: 172872 kB
DirectMap2M: 9168896 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 723652 MiB
End job on nodeC004 at 2024-07-31 02:29:55