0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.09 c Default LC presolving (default).
0.00/0.09 c ** Before presolving: virtualMemUsedAtLc = 79771183, getVmSize() = 70881280, SCIPgetMemUsed() = 39572882, SCIPgetMemTotal() = 47245394, SCIPgetMemExternEstim() = 32525789
0.00/0.09 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.39/0.47 c ** Estimated virtualMemUsedAtSolver = 70504326, getVmSize() = 100093952, SCIPgetMemUsed() = 39972949, SCIPgetMemTotal() = 73230701, SCIPgetMemExternEstim() = 32525789
0.39/0.47 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.39/0.47 c Original Problem :
0.39/0.47 c Problem name : instance-4434789-1721122486
0.39/0.47 c Variables : 2025 (2025 binary, 0 integer, 0 implicit integer, 0 continuous)
0.39/0.47 c Constraints : 30912
0.39/0.47 c Objective sense : minimize
0.39/0.47 c Presolved Problem :
0.39/0.47 c Variables : 1431 (1431 binary, 0 integer, 0 implicit integer, 0 continuous)
0.39/0.47 c Constraints : 25952
0.39/0.47 c Constraints : Number
0.39/0.47 c setppc : 992
0.39/0.47 c and : 31
0.39/0.47 c logicor : 24929
0.39/0.47 c ** Instance transfer method used: 0
0.50/0.52 c ** ParaScipInstance copy does not increase the number of variables. **
0.50/0.55 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.50/0.55 c Nodes Active
0.50/0.55 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.89/0.95 c * 1 0 1 1 -17.0000 - -
57.04/57.28 c * 57 0 1 1 -18.0000 - -
57.04/57.28 c 57 0 1 1 -18.0000 - -
111.09/111.46 c * 111 0 1 1 -53.0000 - -
111.09/111.46 c 111 0 1 1 -53.0000 - -
148.19/148.67 c 149 2 1 1 -53.0000 -145.1262 173.82%
153.58/154.02 c 154 3 2 1 -53.0000 -145.1262 173.82%
160.86/161.38 c 161 5 4 1 -53.0000 -145.1262 173.82%
169.14/169.69 c 170 7 6 1 -53.0000 -145.1262 173.82%
175.52/176.08 c 176 9 8 1 -53.0000 -145.1262 173.82%
181.01/181.54 c 182 11 10 1 -53.0000 -145.1262 173.82%
188.89/189.42 c 189 12 11 1 -53.0000 -142.8043 169.44%
194.87/195.45 c 195 14 13 1 -53.0000 -142.8043 169.44%
201.75/202.32 c 202 15 14 1 -53.0000 -142.8043 169.44%
208.74/209.31 c 209 17 16 1 -53.0000 -142.8043 169.44%
218.71/219.34 c 219 21 18 1 -53.0000 -142.8043 169.44%
228.99/229.67 c 230 23 20 1 -53.0000 -141.8493 167.64%
238.26/238.90 c 239 25 22 1 -53.0000 -141.8493 167.64%
245.75/246.49 c 246 28 25 1 -53.0000 -141.8493 167.64%
251.73/252.42 c 252 30 27 1 -53.0000 -141.8493 167.64%
258.11/258.89 c 259 31 28 1 -53.0000 -141.8493 167.64%
312.58/313.49 c 313 32 29 1 -53.0000 -137.4765 159.39%
327.74/328.68 c 329 34 31 1 -53.0000 -137.4765 159.39%
333.03/333.91 c 334 36 33 1 -53.0000 -137.4765 159.39%
338.72/339.64 c 340 45 32 1 -53.0000 -137.4765 159.39%
346.90/347.86 c 348 51 36 1 -53.0000 -137.4765 159.39%
361.66/362.63 c 363 53 38 1 -53.0000 -134.8333 154.40%
367.34/368.31 c 368 68 37 1 -53.0000 -134.8333 154.40%
373.03/374.01 c 374 81 38 1 -53.0000 -134.8333 154.40%
378.62/379.61 c 380 102 35 1 -53.0000 -134.8333 154.40%
384.11/385.10 c 385 109 36 1 -53.0000 -134.8333 154.40%
389.59/390.68 c 391 118 37 1 -53.0000 -134.8333 154.40%
395.57/396.60 c 397 138 35 1 -53.0000 -134.8333 154.40%
401.06/402.17 c 402 149 36 1 -53.0000 -134.8333 154.40%
407.33/408.47 c 408 160 35 1 -53.0000 -134.8333 154.40%
412.62/413.74 c 414 171 34 1 -53.0000 -134.8333 154.40%
418.10/419.22 c 419 185 34 1 -53.0000 -134.8333 154.40%
427.88/429.06 c 429 192 35 1 -53.0000 -134.8333 154.40%
437.85/439.07 c 439 194 37 1 -53.0000 -134.8333 154.40%
445.43/446.68 c 447 203 38 1 -53.0000 -134.8333 154.40%
451.41/452.63 c 453 212 37 1 -53.0000 -134.8333 154.40%
460.08/461.33 c 461 214 39 1 -53.0000 -134.8333 154.40%
464.97/466.29 c * 466 216 41 1 -54.0000 -134.8333 149.69%
466.36/467.63 c 468 222 41 1 -54.0000 -134.8333 149.69%
471.45/472.72 c 473 229 40 1 -54.0000 -134.8333 149.69%
477.03/478.39 c 478 234 41 1 -54.0000 -134.8333 149.69%
483.72/485.01 c 485 241 42 1 -54.0000 -134.8333 149.69%
489.59/490.92 c 491 250 41 1 -54.0000 -134.8333 149.69%
496.17/497.51 c 498 256 43 1 -54.0000 -134.8333 149.69%
501.16/502.59 c 503 266 42 1 -54.0000 -134.8333 149.69%
506.24/507.67 c 508 271 43 1 -54.0000 -134.8333 149.69%
514.52/515.96 c 516 282 40 1 -54.0000 -134.8333 149.69%
519.61/521.07 c 521 284 42 1 -54.0000 -134.8333 149.69%
524.69/526.14 c 526 289 41 1 -54.0000 -134.8333 149.69%
530.27/531.79 c 532 292 44 1 -54.0000 -134.8333 149.69%
537.45/538.95 c 539 310 44 1 -54.0000 -134.8333 149.69%
543.33/544.83 c 545 325 45 1 -54.0000 -134.8333 149.69%
550.21/551.75 c 552 337 43 1 -54.0000 -134.8333 149.69%
555.29/556.86 c 557 343 45 1 -54.0000 -134.8333 149.69%
560.68/562.20 c 562 354 44 1 -54.0000 -134.8333 149.69%
566.17/567.72 c 568 369 45 1 -54.0000 -134.8333 149.69%
571.75/573.34 c 573 376 46 1 -54.0000 -134.8333 149.69%
577.14/578.74 c 579 380 44 1 -54.0000 -134.8333 149.69%
593.49/595.11 c 595 393 41 1 -54.0000 -134.8333 149.69%
600.67/602.39 c 602 395 43 1 -54.0000 -134.8333 149.69%
607.55/609.21 c 609 397 45 1 -54.0000 -134.8333 149.69%
622.00/623.70 c 624 401 45 1 -54.0000 -134.8333 149.69%
628.08/629.86 c 630 406 50 1 -54.0000 -134.8333 149.69%
633.17/634.99 c * 635 416 50 1 -62.0000 -134.8333 117.47%
633.17/634.99 c 635 416 50 1 -62.0000 -134.8333 117.47%
639.25/641.08 c 641 428 48 1 -62.0000 -134.8333 117.47%
644.73/646.56 c 647 441 51 1 -62.0000 -134.8333 117.47%
650.82/652.69 c 653 450 50 1 -62.0000 -134.8333 117.47%
656.70/658.58 c 659 472 48 1 -62.0000 -134.8333 117.47%
664.08/665.93 c 666 481 45 1 -62.0000 -134.8333 117.47%
670.27/672.12 c 672 490 46 1 -62.0000 -134.8333 117.47%
677.05/678.93 c 679 496 46 1 -62.0000 -134.8333 117.47%
682.44/684.31 c 684 503 45 1 -62.0000 -134.8333 117.47%
689.53/691.44 c 691 509 45 1 -62.0000 -134.8333 117.47%
697.60/699.59 c 700 510 46 1 -62.0000 -134.8333 117.47%
704.19/706.15 c 706 517 49 1 -62.0000 -134.8333 117.47%
710.67/712.66 c 713 526 46 1 -62.0000 -134.8333 117.47%
716.16/718.13 c 718 533 47 1 -62.0000 -134.8333 117.47%
725.83/727.86 c 728 538 46 1 -62.0000 -134.8333 117.47%
732.21/734.21 c 734 541 49 1 -62.0000 -134.8333 117.47%
737.80/739.87 c 740 553 49 1 -62.0000 -134.8333 117.47%
744.59/746.63 c 747 565 49 1 -62.0000 -134.8333 117.47%
750.87/752.99 c 753 572 48 1 -62.0000 -134.6964 117.25%
756.36/758.50 c 758 573 49 1 -62.0000 -134.6964 117.25%
763.54/765.67 c 766 574 50 1 -62.0000 -134.6964 117.25%
769.62/771.70 c 772 583 51 1 -62.0000 -134.6964 117.25%
776.10/778.25 c 778 592 50 1 -62.0000 -134.6964 117.25%
782.09/784.22 c 784 601 49 1 -62.0000 -134.6964 117.25%
794.76/796.96 c 797 607 49 1 -62.0000 -134.6964 117.25%
805.83/808.06 c 808 610 48 1 -62.0000 -134.6964 117.25%
812.61/814.89 c 815 614 52 1 -62.0000 -134.6964 117.25%
818.80/821.07 c 821 626 52 1 -62.0000 -134.6964 117.25%
826.07/828.37 c 828 636 50 1 -62.0000 -134.6964 117.25%
831.96/834.27 c 834 647 51 1 -62.0000 -134.6964 117.25%
839.74/842.00 c 842 660 48 1 -62.0000 -134.6964 117.25%
846.82/849.12 c 849 665 49 1 -62.0000 -134.6964 117.25%
852.60/854.95 c 855 677 47 1 -62.0000 -134.6964 117.25%
858.59/860.94 c 861 687 47 1 -62.0000 -134.6964 117.25%
866.07/868.43 c 868 692 46 1 -62.0000 -133.4444 115.23%
872.95/875.39 c 875 694 48 1 -62.0000 -133.4444 115.23%
879.64/882.00 c 882 696 50 1 -62.0000 -133.4444 115.23%
889.71/892.16 c 892 702 50 1 -62.0000 -133.4444 115.23%
896.29/898.78 c 899 705 53 1 -62.0000 -133.4444 115.23%
910.45/912.90 c 913 709 53 1 -62.0000 -133.4444 115.23%
916.34/918.80 c 919 713 57 1 -62.0000 -133.4444 115.23%
919.33/921.80 c * 922 717 57 1 -63.0000 -133.4444 111.82%
924.72/927.25 c 927 722 56 1 -63.0000 -131.6370 108.95%
940.48/943.05 c 943 724 58 1 -63.0000 -131.6370 108.95%
947.46/950.07 c 950 733 57 1 -63.0000 -131.6370 108.95%
952.64/955.24 c 955 739 57 1 -63.0000 -131.6370 108.95%
959.62/962.27 c 962 750 56 1 -63.0000 -131.6370 108.95%
964.81/967.43 c 967 755 55 1 -63.0000 -131.6370 108.95%
973.39/976.07 c 976 762 54 1 -63.0000 -131.6370 108.95%
979.07/981.75 c 982 766 54 1 -63.0000 -131.6370 108.95%
986.76/989.40 c 989 767 55 1 -63.0000 -131.6370 108.95%
989.55/992.20 c * 992 768 56 1 -64.0000 -131.6370 105.68%
995.34/998.10 c 998 775 53 1 -64.0000 -131.6370 105.68%
1001.02/1003.75 c 1004 780 52 1 -64.0000 -131.6370 105.68%
1008.00/1010.72 c 1011 782 50 1 -64.0000 -131.6370 105.68%
1014.08/1016.88 c 1017 787 51 1 -64.0000 -131.6370 105.68%
1020.07/1022.85 c 1023 789 53 1 -64.0000 -131.6370 105.68%
1028.16/1030.90 c 1031 791 51 1 -64.0000 -131.6370 105.68%
1036.34/1039.16 c 1039 793 53 1 -64.0000 -131.5465 105.54%
1043.41/1046.24 c 1046 795 55 1 -64.0000 -131.5465 105.54%
1048.70/1051.55 c 1052 796 54 1 -64.0000 -131.5465 105.54%
1055.48/1058.38 c 1058 799 55 1 -64.0000 -131.5465 105.54%
1061.46/1064.38 c 1064 801 55 1 -64.0000 -131.5465 105.54%
1067.75/1070.64 c 1071 804 54 1 -64.0000 -131.5465 105.54%
1072.93/1075.86 c 1076 809 55 1 -64.0000 -131.5465 105.54%
1081.91/1084.88 c 1085 813 55 1 -64.0000 -130.5000 103.91%
1091.09/1094.06 c 1094 814 56 1 -64.0000 -130.5000 103.91%
1112.64/1115.64 c 1116 818 58 1 -64.0000 -130.5000 103.91%
1118.32/1121.39 c 1121 821 59 1 -64.0000 -130.5000 103.91%
1123.91/1126.94 c 1127 825 61 1 -64.0000 -130.5000 103.91%
1129.89/1132.92 c 1133 830 58 1 -64.0000 -130.5000 103.91%
1137.08/1140.19 c 1140 840 58 1 -64.0000 -130.5000 103.91%
1143.56/1146.62 c 1147 844 58 1 -64.0000 -130.5000 103.91%
1149.15/1152.25 c 1152 849 56 1 -64.0000 -130.5000 103.91%
1157.03/1160.11 c 1160 851 58 1 -64.0000 -130.5000 103.91%
1165.50/1168.61 c 1169 853 60 1 -64.0000 -129.2991 102.03%
1172.19/1175.32 c 1175 854 61 1 -64.0000 -129.2991 102.03%
1178.87/1182.07 c 1182 856 61 1 -64.0000 -129.2991 102.03%
1186.55/1189.74 c 1190 860 65 1 -64.0000 -129.2991 102.03%
1191.54/1194.75 c 1195 871 64 1 -64.0000 -129.2991 102.03%
1200.41/1203.63 c 1204 882 63 1 -64.0000 -128.7000 101.09%
1211.89/1215.11 c 1215 884 65 1 -64.0000 -128.7000 101.09%
1219.17/1222.40 c 1222 887 66 1 -64.0000 -128.7000 101.09%
1225.05/1228.34 c 1228 894 65 1 -64.0000 -128.7000 101.09%
1231.33/1234.62 c 1235 901 68 1 -64.0000 -128.7000 101.09%
1238.12/1241.49 c 1241 912 65 1 -64.0000 -128.5000 100.78%
1246.89/1250.26 c 1250 914 67 1 -64.0000 -128.5000 100.78%
1252.18/1255.59 c 1256 919 70 1 -64.0000 -128.5000 100.78%
1260.06/1263.44 c 1263 923 70 1 -64.0000 -127.9444 99.91%
1265.65/1269.04 c 1269 925 72 1 -64.0000 -127.9444 99.91%
1270.84/1274.29 c 1274 927 72 1 -64.0000 -127.9444 99.91%
1276.32/1279.75 c 1280 933 74 1 -64.0000 -127.9444 99.91%
1281.41/1284.83 c 1285 942 71 1 -64.0000 -127.9444 99.91%
1293.98/1297.41 c 1297 947 70 1 -64.0000 -127.9444 99.91%
1301.86/1305.39 c 1305 949 68 1 -64.0000 -127.9444 99.91%
1307.65/1311.13 c 1311 954 67 1 -64.0000 -127.9444 99.91%
1315.42/1318.98 c 1319 956 69 1 -64.0000 -127.9444 99.91%
1320.51/1324.09 c 1324 958 71 1 -64.0000 -127.9444 99.91%
1325.79/1329.31 c 1329 959 70 1 -64.0000 -127.9444 99.91%
1332.48/1336.02 c 1336 962 69 1 -64.0000 -127.9444 99.91%
1337.57/1341.19 c 1341 965 70 1 -64.0000 -127.9444 99.91%
1345.15/1348.79 c 1349 969 68 1 -64.0000 -127.9444 99.91%
1351.64/1355.28 c 1355 971 70 1 -64.0000 -127.9444 99.91%
1362.31/1365.94 c 1366 972 69 1 -64.0000 -127.9444 99.91%
1370.19/1373.84 c 1374 973 68 1 -64.0000 -127.9444 99.91%
1377.57/1381.24 c 1381 975 68 1 -64.0000 -127.9444 99.91%
1384.26/1387.96 c 1388 976 67 1 -64.0000 -127.9444 99.91%
1389.54/1393.29 c 1393 977 68 1 -64.0000 -127.9444 99.91%
1407.60/1411.30 c 1411 979 70 1 -64.0000 -127.9444 99.91%
1414.48/1418.22 c 1418 986 69 1 -64.0000 -127.9444 99.91%
1424.75/1428.56 c 1429 987 70 1 -64.0000 -127.9444 99.91%
1432.63/1436.45 c 1436 992 71 1 -64.0000 -127.9444 99.91%
1460.17/1464.04 c 1464 994 73 1 -64.0000 -127.9444 99.91%
1465.26/1469.18 c 1469 998 75 1 -64.0000 -127.9444 99.91%
1472.44/1476.37 c 1476 1007 74 1 -64.0000 -127.9444 99.91%
1481.12/1485.04 c 1485 1012 73 1 -64.0000 -127.3750 99.02%
1494.58/1498.55 c 1499 1014 75 1 -64.0000 -127.3750 99.02%
1501.77/1505.70 c 1506 1019 76 1 -64.0000 -127.3750 99.02%
1508.65/1512.63 c 1513 1027 76 1 -64.0000 -127.3750 99.02%
1520.32/1524.30 c 1524 1031 74 1 -64.0000 -127.3750 99.02%
1528.79/1532.83 c 1533 1032 73 1 -64.0000 -127.3750 99.02%
1541.87/1545.92 c 1546 1036 73 1 -64.0000 -127.3750 99.02%
1547.25/1551.30 c 1551 1040 73 1 -64.0000 -127.3750 99.02%
1554.94/1559.02 c 1559 1043 70 1 -64.0000 -127.3750 99.02%
1563.02/1567.17 c 1567 1045 72 1 -64.0000 -127.3750 99.02%
1570.89/1575.05 c 1575 1049 72 1 -64.0000 -127.3750 99.02%
1576.88/1581.10 c 1581 1050 71 1 -64.0000 -127.3750 99.02%
1584.45/1588.67 c 1589 1052 71 1 -64.0000 -127.0000 98.44%
1590.44/1594.61 c 1595 1054 73 1 -64.0000 -127.0000 98.44%
1600.82/1605.10 c * 1605 1054 73 1 -67.0000 -127.0000 89.55%
1600.82/1605.10 c 1605 1054 73 1 -67.0000 -127.0000 89.55%
1607.90/1612.16 c 1612 1057 72 1 -67.0000 -127.0000 89.55%
1615.48/1619.72 c 1620 1059 72 1 -67.0000 -127.0000 89.55%
1623.36/1627.66 c 1628 1062 73 1 -67.0000 -127.0000 89.55%
1634.63/1638.96 c 1639 1064 75 1 -67.0000 -127.0000 89.55%
1636.13/1640.41 c * 1640 1064 75 1 -68.0000 -127.0000 86.76%
1643.11/1647.47 c 1647 1068 73 1 -68.0000 -127.0000 86.76%
1650.89/1655.29 c 1655 1072 73 1 -68.0000 -126.6667 86.27%
1663.86/1668.25 c 1668 1074 75 1 -68.0000 -126.6667 86.27%
1670.44/1674.85 c 1675 1077 76 1 -68.0000 -126.6667 86.27%
1676.42/1680.84 c 1681 1078 75 1 -68.0000 -126.6667 86.27%
1682.41/1686.80 c 1687 1080 75 1 -68.0000 -126.6667 86.27%
1694.78/1699.22 c 1699 1081 76 1 -68.0000 -126.6667 86.27%
1701.27/1705.70 c 1706 1084 79 1 -68.0000 -126.6667 86.27%
1704.16/1708.66 c * 1709 1089 78 1 -70.0000 -126.6667 80.95%
1707.75/1712.21 c 1712 1092 77 1 -70.0000 -125.6429 79.49%
1716.64/1721.19 c 1721 1094 79 1 -70.0000 -125.6429 79.49%
1728.70/1733.22 c 1733 1096 79 1 -70.0000 -125.6429 79.49%
1736.68/1741.29 c 1741 1098 77 1 -70.0000 -125.6429 79.49%
1742.16/1746.77 c 1747 1103 78 1 -70.0000 -125.6429 79.49%
1749.45/1754.05 c 1754 1108 77 1 -70.0000 -125.6429 79.49%
1756.73/1761.34 c 1761 1110 77 1 -70.0000 -125.6429 79.49%
1765.80/1770.41 c 1770 1112 77 1 -70.0000 -125.6429 79.49%
1774.39/1779.02 c 1779 1115 80 1 -70.0000 -125.6429 79.49%
1781.47/1786.19 c 1786 1117 78 1 -70.0000 -125.6429 79.49%
1793.53/1798.24 c 1798 1119 78 1 -70.0000 -125.6429 79.49%
1798.92/1803.61 c 1804 1120 77 1 -70.0000 -125.6429 79.49%
1809.19/1813.93 c 1814 1124 79 1 -70.0000 -125.6429 79.49%
1819.38/1824.19 c 1824 1129 76 1 -70.0000 -125.6429 79.49%
1832.34/1837.14 c 1837 1130 75 1 -70.0000 -125.6429 79.49%
1841.61/1846.43 c 1846 1133 78 1 -70.0000 -125.6429 79.49%
1855.68/1860.50 c 1861 1135 76 1 -70.0000 -125.6429 79.49%
1865.45/1870.37 c 1870 1138 75 1 -70.0000 -125.6429 79.49%
1871.44/1876.37 c 1876 1140 77 1 -70.0000 -125.6429 79.49%
1877.33/1882.28 c 1882 1141 76 1 -70.0000 -125.6429 79.49%
1883.31/1888.26 c 1888 1143 76 1 -70.0000 -125.6429 79.49%
1893.78/1898.75 c 1899 1144 77 1 -70.0000 -125.6429 79.49%
1901.17/1906.15 c 1906 1154 77 1 -70.0000 -125.6429 79.49%
1906.75/1911.79 c 1912 1157 76 1 -70.0000 -125.6429 79.49%
1918.72/1923.77 c 1924 1161 74 1 -70.0000 -125.6429 79.49%
1927.39/1932.43 c 1932 1163 76 1 -70.0000 -125.5270 79.32%
1933.48/1938.59 c 1939 1165 78 1 -70.0000 -125.5270 79.32%
1953.24/1958.30 c 1958 1167 78 1 -70.0000 -125.5270 79.32%
1962.81/1967.96 c 1968 1172 79 1 -70.0000 -125.3333 79.05%
1986.85/1992.08 c 1992 1174 81 1 -70.0000 -125.3333 79.05%
1992.33/1997.52 c 1998 1178 83 1 -70.0000 -125.3333 79.05%
2000.71/2005.97 c 2006 1183 82 1 -70.0000 -125.2500 78.93%
2008.29/2013.53 c 2014 1186 83 1 -70.0000 -125.2500 78.93%
2018.36/2023.62 c 2024 1188 83 1 -70.0000 -125.2500 78.93%
2025.45/2030.76 c 2031 1191 82 1 -70.0000 -125.2500 78.93%
2033.52/2038.83 c 2039 1193 82 1 -70.0000 -125.2500 78.93%
2040.21/2045.53 c 2046 1195 82 1 -70.0000 -125.2500 78.93%
2048.48/2053.85 c 2054 1196 81 1 -70.0000 -125.2500 78.93%
2053.47/2058.86 c 2059 1199 82 1 -70.0000 -125.2500 78.93%
2062.35/2067.75 c 2068 1203 82 1 -70.0000 -125.1082 78.73%
2069.84/2075.25 c 2075 1206 83 1 -70.0000 -125.1082 78.73%
2078.01/2083.45 c 2083 1212 83 1 -70.0000 -124.7500 78.21%
2088.98/2094.46 c 2094 1214 85 1 -70.0000 -124.7500 78.21%
2103.94/2109.45 c 2109 1217 84 1 -70.0000 -124.7500 78.21%
2110.33/2115.84 c 2116 1219 84 1 -70.0000 -124.7500 78.21%
2116.31/2121.81 c 2122 1224 83 1 -70.0000 -124.7500 78.21%
2130.29/2135.80 c 2136 1226 83 1 -70.0000 -124.7500 78.21%
2142.26/2147.81 c 2148 1227 84 1 -70.0000 -124.7500 78.21%
2148.64/2154.23 c 2154 1230 83 1 -70.0000 -124.7500 78.21%
2156.12/2161.72 c 2162 1233 84 1 -70.0000 -124.7500 78.21%
2161.30/2166.92 c 2167 1236 85 1 -70.0000 -124.7500 78.21%
2187.74/2193.49 c 2193 1239 86 1 -70.0000 -124.7500 78.21%
2207.40/2213.17 c 2213 1248 85 1 -70.0000 -124.7500 78.21%
2214.57/2220.38 c 2220 1253 84 1 -70.0000 -124.7500 78.21%
2221.16/2226.99 c 2227 1257 84 1 -70.0000 -124.7500 78.21%
2227.94/2233.73 c 2234 1260 83 1 -70.0000 -124.7500 78.21%
2235.02/2240.83 c 2241 1263 82 1 -70.0000 -124.7500 78.21%
2242.01/2247.87 c 2248 1266 81 1 -70.0000 -124.7500 78.21%
2248.20/2254.05 c 2254 1268 81 1 -70.0000 -124.7500 78.21%
2254.78/2260.69 c 2261 1271 82 1 -70.0000 -124.7500 78.21%
2260.96/2266.87 c 2267 1274 81 1 -70.0000 -124.7500 78.21%
2267.94/2273.89 c 2274 1277 80 1 -70.0000 -124.7500 78.21%
2273.83/2279.70 c 2280 1282 79 1 -70.0000 -123.1875 75.98%
2287.69/2293.67 c 2294 1286 79 1 -70.0000 -123.1875 75.98%
2296.18/2302.13 c 2302 1288 79 1 -70.0000 -123.1875 75.98%
2302.26/2308.22 c 2308 1291 80 1 -70.0000 -123.1875 75.98%
2307.44/2313.40 c 2313 1292 79 1 -70.0000 -123.1875 75.98%
2312.53/2318.55 c 2319 1294 79 1 -70.0000 -123.1875 75.98%
2318.32/2324.32 c 2324 1297 78 1 -70.0000 -123.1875 75.98%
2325.20/2331.26 c 2331 1302 77 1 -70.0000 -123.1875 75.98%
2330.19/2336.27 c 2336 1303 78 1 -70.0000 -123.1875 75.98%
2341.96/2348.07 c 2348 1304 79 1 -70.0000 -123.1875 75.98%
2350.83/2356.95 c 2357 1307 80 1 -70.0000 -123.1875 75.98%
2360.92/2367.00 c 2367 1308 79 1 -70.0000 -123.1875 75.98%
2369.39/2375.52 c 2376 1312 79 1 -70.0000 -121.7222 73.89%
2374.48/2380.62 c 2381 1313 80 1 -70.0000 -121.7222 73.89%
2380.06/2386.20 c 2386 1314 81 1 -70.0000 -121.7222 73.89%
2388.84/2395.09 c 2395 1317 84 1 -70.0000 -121.7222 73.89%
2398.11/2404.38 c 2404 1319 86 1 -70.0000 -121.7222 73.89%
2407.09/2413.34 c 2413 1322 85 1 -70.0000 -121.5000 73.57%
2419.96/2426.20 c 2426 1324 87 1 -70.0000 -121.5000 73.57%
2428.54/2434.89 c 2435 1326 89 1 -70.0000 -121.5000 73.57%
2447.40/2453.71 c 2454 1328 89 1 -70.0000 -121.5000 73.57%
2455.38/2461.71 c 2462 1329 88 1 -70.0000 -121.5000 73.57%
2466.55/2472.96 c 2473 1331 88 1 -70.0000 -121.5000 73.57%
2483.01/2489.43 c 2489 1332 89 1 -70.0000 -121.5000 73.57%
2490.09/2496.52 c 2497 1335 88 1 -70.0000 -121.5000 73.57%
2498.37/2504.88 c 2505 1342 89 1 -70.0000 -121.4500 73.50%
2506.75/2513.26 c 2513 1344 91 1 -70.0000 -121.4500 73.50%
2516.32/2522.82 c 2523 1347 90 1 -70.0000 -121.4500 73.50%
2522.01/2528.52 c 2529 1349 92 1 -70.0000 -121.4500 73.50%
2527.29/2533.81 c 2534 1350 91 1 -70.0000 -121.4500 73.50%
2535.48/2542.07 c 2542 1352 91 1 -70.0000 -121.0000 72.86%
2546.64/2553.27 c 2553 1354 93 1 -70.0000 -121.0000 72.86%
2553.54/2560.13 c 2560 1356 93 1 -70.0000 -121.0000 72.86%
2560.62/2567.28 c 2567 1358 93 1 -70.0000 -121.0000 72.86%
2566.01/2572.61 c 2573 1359 92 1 -70.0000 -121.0000 72.86%
2571.19/2577.84 c 2578 1361 92 1 -70.0000 -121.0000 72.86%
2577.08/2583.75 c 2584 1362 93 1 -70.0000 -121.0000 72.86%
2582.37/2589.08 c 2589 1364 93 1 -70.0000 -121.0000 72.86%
2587.85/2594.55 c 2595 1367 92 1 -70.0000 -121.0000 72.86%
2595.53/2602.24 c 2602 1370 93 1 -70.0000 -121.0000 72.86%
2600.62/2607.30 c 2607 1371 92 1 -70.0000 -121.0000 72.86%
2614.88/2621.68 c 2622 1374 93 1 -70.0000 -121.0000 72.86%
2619.97/2626.70 c 2627 1377 92 1 -70.0000 -121.0000 72.86%
2626.36/2633.15 c 2633 1378 91 1 -70.0000 -121.0000 72.86%
2633.34/2640.16 c 2640 1382 91 1 -70.0000 -120.8750 72.68%
2642.32/2649.18 c 2649 1384 93 1 -70.0000 -120.8750 72.68%
2648.60/2655.47 c 2655 1386 93 1 -70.0000 -120.8750 72.68%
2654.68/2661.54 c 2662 1387 92 1 -70.0000 -120.8750 72.68%
2659.87/2666.71 c 2667 1388 93 1 -70.0000 -120.8750 72.68%
2669.94/2676.81 c 2677 1390 93 1 -70.0000 -120.8750 72.68%
2681.52/2688.47 c 2688 1391 94 1 -70.0000 -120.8750 72.68%
2687.90/2694.85 c 2695 1398 91 1 -70.0000 -120.8750 72.68%
2695.88/2702.80 c 2703 1402 89 1 -70.0000 -120.8750 72.68%
2703.36/2710.39 c 2710 1404 91 1 -70.0000 -120.8750 72.68%
2711.74/2718.70 c 2719 1405 90 1 -70.0000 -120.8750 72.68%
2718.03/2725.06 c 2725 1407 90 1 -70.0000 -120.8750 72.68%
2725.81/2732.85 c 2733 1408 89 1 -70.0000 -120.8750 72.68%
2734.68/2741.72 c 2742 1410 89 1 -70.0000 -120.8750 72.68%
2744.26/2751.30 c 2751 1412 89 1 -70.0000 -120.8750 72.68%
2757.03/2764.17 c 2764 1413 88 1 -70.0000 -120.8750 72.68%
2767.50/2774.67 c 2775 1415 88 1 -70.0000 -120.8750 72.68%
2780.57/2787.73 c 2788 1416 89 1 -70.0000 -120.8750 72.68%
2785.75/2792.97 c 2793 1418 91 1 -70.0000 -120.8750 72.68%
2790.85/2798.03 c 2798 1426 91 1 -70.0000 -120.8750 72.68%
2796.63/2803.85 c 2804 1433 94 1 -70.0000 -120.8750 72.68%
2801.92/2809.19 c 2809 1442 93 1 -70.0000 -120.8750 72.68%
2807.00/2814.26 c 2814 1451 92 1 -70.0000 -120.8750 72.68%
2812.69/2819.96 c 2820 1459 94 1 -70.0000 -120.8750 72.68%
2818.27/2825.53 c 2826 1462 93 1 -70.0000 -120.2143 71.73%
2826.55/2833.85 c 2834 1464 95 1 -70.0000 -120.2143 71.73%
2833.34/2840.62 c 2841 1465 94 1 -70.0000 -120.2143 71.73%
2838.73/2846.10 c 2846 1471 94 1 -70.0000 -120.2143 71.73%
2845.21/2852.57 c 2853 1480 93 1 -70.0000 -120.2143 71.73%
2852.49/2859.83 c 2860 1488 93 1 -70.0000 -120.2143 71.73%
2858.28/2865.67 c 2866 1495 92 1 -70.0000 -120.2143 71.73%
2865.46/2872.88 c 2873 1501 92 1 -70.0000 -120.2143 71.73%
2873.14/2880.52 c 2881 1507 90 1 -70.0000 -120.2143 71.73%
2879.52/2886.97 c 2887 1510 91 1 -70.0000 -120.2143 71.73%
2886.71/2894.11 c 2894 1515 92 1 -70.0000 -120.2143 71.73%
2893.49/2900.95 c 2901 1522 91 1 -70.0000 -120.0000 71.43%
2900.68/2908.13 c 2908 1524 93 1 -70.0000 -120.0000 71.43%
2906.16/2913.60 c 2914 1526 93 1 -70.0000 -120.0000 71.43%
2915.43/2922.95 c 2923 1527 92 1 -70.0000 -120.0000 71.43%
2930.10/2937.61 c 2938 1534 91 1 -70.0000 -120.0000 71.43%
2936.49/2944.00 c 2944 1535 90 1 -70.0000 -120.0000 71.43%
2942.58/2950.17 c 2950 1538 93 1 -70.0000 -120.0000 71.43%
2948.56/2956.12 c 2956 1552 93 1 -70.0000 -120.0000 71.43%
2954.45/2962.04 c 2962 1559 90 1 -70.0000 -120.0000 71.43%
2960.93/2968.58 c 2969 1561 90 1 -70.0000 -120.0000 71.43%
2970.10/2977.79 c 2978 1562 89 1 -70.0000 -120.0000 71.43%
2986.37/2994.10 c 2994 1564 89 1 -70.0000 -120.0000 71.43%
2993.35/3001.09 c 3001 1565 88 1 -70.0000 -120.0000 71.43%
2999.83/3007.54 c 3008 1567 90 1 -70.0000 -120.0000 71.43%
3006.11/3013.80 c 3014 1570 91 1 -70.0000 -120.0000 71.43%
3012.40/3020.13 c 3020 1580 91 1 -70.0000 -120.0000 71.43%
3018.58/3026.34 c 3026 1587 92 1 -70.0000 -120.0000 71.43%
3025.27/3033.02 c 3033 1595 92 1 -70.0000 -120.0000 71.43%
3031.75/3039.54 c 3040 1603 90 1 -70.0000 -120.0000 71.43%
3037.73/3045.54 c 3046 1607 90 1 -70.0000 -120.0000 71.43%
3042.72/3050.59 c 3051 1615 90 1 -70.0000 -120.0000 71.43%
3048.90/3056.74 c 3057 1619 90 1 -70.0000 -120.0000 71.43%
3054.69/3062.53 c 3063 1625 92 1 -70.0000 -120.0000 71.43%
3060.07/3067.91 c 3068 1632 91 1 -70.0000 -119.8333 71.19%
3067.16/3075.01 c 3075 1634 93 1 -70.0000 -119.8333 71.19%
3072.74/3080.66 c 3081 1640 91 1 -70.0000 -119.8333 71.19%
3079.03/3086.96 c 3087 1644 91 1 -70.0000 -119.8333 71.19%
3087.01/3094.99 c 3095 1653 88 1 -70.0000 -119.8333 71.19%
3096.29/3104.28 c 3104 1654 87 1 -70.0000 -119.8333 71.19%
3115.15/3123.18 c 3123 1655 88 1 -70.0000 -119.8333 71.19%
3120.24/3128.26 c 3128 1658 87 1 -70.0000 -119.8333 71.19%
3128.81/3136.85 c 3137 1660 89 1 -70.0000 -119.8333 71.19%
3134.10/3142.19 c 3142 1663 88 1 -70.0000 -119.8333 71.19%
3149.96/3158.06 c 3158 1665 86 1 -70.0000 -119.8333 71.19%
3155.35/3163.49 c 3163 1666 87 1 -70.0000 -119.8333 71.19%
3175.69/3183.83 c 3184 1669 88 1 -70.0000 -119.8333 71.19%
3181.68/3189.85 c 3190 1674 89 1 -70.0000 -119.8333 71.19%
3187.36/3195.52 c 3196 1677 88 1 -70.0000 -119.8333 71.19%
3195.54/3203.72 c 3204 1684 87 1 -70.0000 -119.8333 71.19%
3209.41/3217.64 c 3218 1685 86 1 -70.0000 -119.8333 71.19%
3225.37/3233.65 c 3234 1686 87 1 -70.0000 -119.8333 71.19%
3230.95/3239.21 c 3239 1688 89 1 -70.0000 -119.8333 71.19%
3236.64/3244.97 c 3245 1692 89 1 -70.0000 -119.8333 71.19%
3244.73/3253.07 c 3253 1698 89 1 -70.0000 -119.8333 71.19%
3250.51/3258.80 c 3259 1707 88 1 -70.0000 -119.8333 71.19%
3258.19/3266.51 c 3267 1710 87 1 -70.0000 -119.8333 71.19%
3266.16/3274.55 c 3275 1712 89 1 -70.0000 -119.8333 71.19%
3273.84/3282.24 c 3282 1714 87 1 -70.0000 -119.8333 71.19%
3287.51/3295.98 c 3296 1716 89 1 -70.0000 -119.8333 71.19%
3297.79/3306.27 c 3306 1727 86 1 -70.0000 -119.8333 71.19%
3305.58/3314.04 c 3314 1729 88 1 -70.0000 -119.8333 71.19%
3312.36/3320.89 c 3321 1730 87 1 -70.0000 -119.8333 71.19%
3320.54/3329.07 c 3329 1732 87 1 -70.0000 -119.8333 71.19%
3326.63/3335.13 c 3335 1734 89 1 -70.0000 -119.8333 71.19%
3332.80/3341.32 c 3341 1737 88 1 -70.0000 -119.8333 71.19%
3340.59/3349.13 c 3349 1740 87 1 -70.0000 -119.8333 71.19%
3348.66/3357.23 c 3357 1744 87 1 -70.0000 -119.8333 71.19%
3367.42/3376.09 c 3376 1748 87 1 -70.0000 -119.8333 71.19%
3374.10/3382.74 c 3383 1750 87 1 -70.0000 -119.8333 71.19%
3379.29/3387.92 c 3388 1756 91 1 -70.0000 -119.8333 71.19%
3385.57/3394.22 c 3394 1764 87 1 -70.0000 -119.8333 71.19%
3390.66/3399.30 c 3399 1774 87 1 -70.0000 -119.8333 71.19%
3397.64/3406.34 c 3406 1781 88 1 -70.0000 -119.8333 71.19%
3403.83/3412.55 c 3413 1792 89 1 -70.0000 -119.5000 70.71%
3412.50/3421.23 c 3421 1795 90 1 -70.0000 -119.5000 70.71%
3418.79/3427.58 c 3428 1797 90 1 -70.0000 -119.5000 70.71%
3430.56/3439.31 c 3439 1799 88 1 -70.0000 -119.5000 70.71%
3435.55/3444.38 c 3444 1801 90 1 -70.0000 -119.5000 70.71%
3445.02/3453.82 c 3454 1803 88 1 -70.0000 -119.5000 70.71%
3458.99/3467.83 c 3468 1805 90 1 -70.0000 -119.5000 70.71%
3465.87/3474.76 c 3475 1812 91 1 -70.0000 -119.5000 70.71%
3472.55/3481.49 c 3481 1815 90 1 -70.0000 -119.5000 70.71%
3478.94/3487.83 c 3488 1820 89 1 -70.0000 -119.5000 70.71%
3489.61/3498.51 c 3499 1825 88 1 -70.0000 -119.5000 70.71%
3495.20/3504.16 c 3504 1833 84 1 -70.0000 -119.0833 70.12%
3515.54/3524.53 c 3525 1836 83 1 -70.0000 -119.0833 70.12%
3521.93/3530.91 c 3531 1840 85 1 -70.0000 -119.0833 70.12%
3528.31/3537.30 c 3537 1842 87 1 -70.0000 -119.0000 70.00%
3534.70/3543.78 c 3544 1844 89 1 -70.0000 -119.0000 70.00%
3540.78/3549.88 c 3550 1849 88 1 -70.0000 -119.0000 70.00%
3545.87/3554.94 c 3555 1853 90 1 -70.0000 -119.0000 70.00%
3555.14/3564.22 c 3564 1862 87 1 -70.0000 -118.8500 69.79%
3560.23/3569.39 c 3569 1864 89 1 -70.0000 -118.8500 69.79%
3566.81/3575.96 c 3576 1868 87 1 -70.0000 -118.8500 69.79%
3572.91/3582.00 c 3582 1872 89 1 -70.0000 -118.8500 69.79%
3579.38/3588.59 c 3589 1877 88 1 -70.0000 -118.8500 69.79%
3588.76/3597.95 c 3598 1882 87 1 -70.0000 -118.8438 69.78%
3591.06/3600.21 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.06/3600.21 c Total Time : 3600.22
3591.06/3600.21 c solving : 3600.22
3591.06/3600.21 c presolving : 0.39 (included in solving)
3591.06/3600.21 c B&B Tree :
3591.06/3600.21 c nodes (total) : 1
3591.06/3600.21 c Solution :
3591.06/3600.21 c Solutions found : 11
3591.06/3600.21 c Primal Bound : -7.00000000000000e+01
3591.06/3600.21 c Dual Bound : -1.18843750000000e+02
3591.06/3600.21 c Gap : 69.77679 %
3591.06/3600.21 c * Warning: final gap: 6.97768e-01 is greater than SCIPepsilon: 1.00000e-09
3591.06/3600.22 o -70
3591.06/3600.22 s SATISFIABLE
3591.06/3600.22 v -x2025 -x2024 x2023 -x2022 -x2021 x2020 -x2019 x2018 -x2017 -x2016 x2015 -x2014 -x2013 x2012 -x2011 x2010 x2009 -x2008 -x2007 x2006
3591.06/3600.22 v x2005 -x2004 -x2003 x2002 -x2001 x2000 x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 x1990 x1989 x1988 -x1987
3591.06/3600.22 v -x1986 x1985 x1984 x1983 x1982 -x1981 -x1980 x1979 -x1978 -x1977 x1976 -x1975 x1974 -x1973 -x1972 -x1971 x1970 -x1969 x1968
3591.06/3600.22 v -x1967 -x1966 -x1965 x1964 -x1963 -x1962 -x1961 x1960 -x1959 -x1958 -x1957 -x1956 x1955 x1954 x1953 x1952 -x1951 -x1950
3591.06/3600.22 v x1949 x1948 -x1947 x1946 x1945 x1944 -x1943 -x1942 -x1941 -x1940 -x1939 x1938 x1937 -x1936 -x1935 x1934 x1933 -x1932 -x1931 x1930
3591.06/3600.22 v -x1929 -x1928 x1927 x1926 x1925 -x1924 -x1923 x1922 -x1921 -x1920 x1919 -x1918 -x1917 -x1916 -x1915 x1914 x1913 -x1912 x1911
3591.06/3600.22 v -x1910 x1909 x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 x1899 x1898 -x1897 -x1896 -x1895 x1894 -x1893
3591.06/3600.22 v -x1892 -x1891 x1890 x1889 x1888 x1887 x1886 x1885 x1884 -x1883 -x1882 x1881 x1880 -x1879 -x1878 -x1877 -x1876 -x1875 -x1874
3591.06/3600.22 v x1873 x1872 x1871 -x1870 -x1869 x1868 -x1867 -x1866 -x1865 -x1864 x1863 -x1862 -x1861 x1860 x1859 x1858 -x1857 -x1856 -x1855
3591.06/3600.22 v -x1854 -x1853 -x1852 x1851 -x1850 x1849 x1848 -x1847 -x1846 -x1845 x1844 -x1843 -x1842 x1841 -x1840 -x1839 x1838 x1837 -x1836
3591.06/3600.22 v x1835 -x1834 x1833 -x1832 -x1831 x1830 -x1829 x1828 -x1827 -x1826 x1825 -x1824 x1823 -x1822 -x1821 x1820 -x1819 x1818 x1817
3591.06/3600.22 v x1816 x1815 -x1814 -x1813 x1812 x1811 -x1810 -x1809 -x1808 -x1807 -x1806 x1805 -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798
3591.06/3600.22 v -x1797 -x1796 -x1795 -x1794 x1793 x1792 x1791 -x1790 x1789 x1788 x1787 x1786 x1785 -x1784 -x1783 -x1782 x1781 -x1780 -x1779
3591.06/3600.22 v x1778 x1777 x1776 x1775 x1774 x1773 -x1772 -x1771 x1770 -x1769 -x1768 -x1767 -x1766 x1765 x1764 -x1763 x1762 x1761 -x1760 -x1759
3591.06/3600.22 v -x1758 -x1757 -x1756 x1755 -x1754 -x1753 -x1752 x1751 -x1750 -x1749 x1748 x1747 -x1746 x1745 x1744 x1743 x1742 -x1741 x1740
3591.06/3600.22 v -x1739 x1738 -x1737 -x1736 -x1735 x1734 -x1733 -x1732 -x1731 -x1730 x1729 x1728 x1727 x1726 x1725 x1724 x1723 x1722 -x1721
3591.06/3600.22 v -x1720 x1719 x1718 -x1717 -x1716 x1715 -x1714 -x1713 -x1712 -x1711 x1710 -x1709 -x1708 x1707 x1706 x1705 -x1704 x1703 x1702
3591.06/3600.22 v -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 x1695 x1694 -x1693 -x1692 x1691 x1690 -x1689 -x1688 x1687 -x1686 x1685 x1684 x1683
3591.06/3600.22 v x1682 x1681 -x1680 -x1679 -x1678 x1677 x1676 -x1675 -x1674 x1673 x1672 x1671 -x1670 x1669 -x1668 -x1667 -x1666 -x1665 x1664
3591.06/3600.22 v x1663 -x1662 -x1661 -x1660 -x1659 -x1658 x1657 x1656 -x1655 -x1654 x1653 x1652 x1651 -x1650 -x1649 -x1648 x1647 x1646 x1645
3591.06/3600.22 v -x1644 x1643 x1642 x1641 -x1640 x1639 -x1638 -x1637 x1636 -x1635 x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626
3591.06/3600.22 v -x1625 -x1624 x1623 -x1622 -x1621 -x1620 x1619 x1618 -x1617 -x1616 x1615 x1614 -x1613 -x1612 x1611 x1610 x1609 x1608 -x1607
3591.06/3600.22 v -x1606 -x1605 -x1604 x1603 x1602 x1601 -x1600 -x1599 -x1598 -x1597 x1596 x1595 x1594 -x1593 -x1592 x1591 -x1590 -x1589 -x1588
3591.06/3600.22 v -x1587 x1586 x1585 -x1584 -x1583 x1582 -x1581 -x1580 x1579 x1578 -x1577 -x1576 -x1575 x1574 -x1573 -x1572 -x1571 x1570 -x1569
3591.06/3600.22 v x1568 -x1567 -x1566 -x1565 -x1564 x1563 -x1562 -x1561 -x1560 -x1559 -x1558 x1557 x1556 x1555 -x1554 -x1553 -x1552 x1551 x1550
3591.06/3600.22 v x1549 -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 x1536 -x1535 -x1534 -x1533 x1532
3591.06/3600.22 v x1531 x1530 -x1529 -x1528 x1527 -x1526 -x1525 x1524 -x1523 x1522 x1521 -x1520 -x1519 -x1518 x1517 -x1516 -x1515 -x1514 -x1513
3591.06/3600.22 v x1512 -x1511 x1510 x1509 -x1508 -x1507 x1506 x1505 x1504 x1503 x1502 x1501 -x1500 -x1499 x1498 x1497 x1496 x1495 x1494 -x1493
3591.06/3600.22 v -x1492 x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 x1484 -x1483 -x1482 x1481 x1480 x1479 -x1478 x1477 -x1476 -x1475 x1474
3591.06/3600.22 v x1473 -x1472 x1471 -x1470 x1469 x1468 -x1467 x1466 -x1465 -x1464 -x1463 x1462 x1461 -x1460 x1459 x1458 -x1457 -x1456 x1455
3591.06/3600.22 v -x1454 -x1453 x1452 x1451 -x1450 x1449 -x1448 -x1447 -x1446 x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 x1437 -x1436
3591.06/3600.22 v -x1435 x1434 -x1433 -x1432 -x1431 x1430 -x1429 x1428 x1427 x1426 -x1425 -x1424 x1423 -x1422 x1421 x1420 -x1419 -x1418 -x1417
3591.06/3600.22 v -x1416 x1415 x1414 -x1413 -x1412 -x1411 x1410 -x1409 -x1408 -x1407 x1406 x1405 -x1404 -x1403 -x1402 -x1401 x1400 -x1399
3591.06/3600.22 v -x1398 -x1397 -x1396 -x1395 x1394 -x1393 x1392 x1391 -x1390 x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 x1382 -x1381 -x1380
3591.06/3600.22 v -x1379 x1378 x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 x1362
3591.06/3600.22 v -x1361 -x1360 x1359 -x1358 -x1357 x1356 x1355 -x1354 -x1353 x1352 -x1351 x1350 x1349 -x1348 x1347 -x1346 -x1345 x1344 -x1343
3591.06/3600.22 v -x1342 -x1341 -x1340 -x1339 x1338 -x1337 -x1336 x1335 x1334 -x1333 x1332 -x1331 x1330 x1329 -x1328 x1327 -x1326 x1325 x1324
3591.06/3600.22 v -x1323 x1322 x1321 x1320 -x1319 x1318 -x1317 -x1316 x1315 x1314 -x1313 -x1312 x1311 x1310 -x1309 -x1308 -x1307 x1306 -x1305 -x1304
3591.06/3600.22 v x1303 -x1302 -x1301 x1300 -x1299 -x1298 -x1297 x1296 x1295 -x1294 x1293 x1292 x1291 x1290 -x1289 x1288 -x1287 -x1286 -x1285
3591.06/3600.22 v -x1284 x1283 -x1282 x1281 x1280 -x1279 x1278 -x1277 -x1276 x1275 -x1274 x1273 x1272 -x1271 -x1270 -x1269 x1268 -x1267 -x1266
3591.06/3600.22 v x1265 -x1264 x1263 x1262 -x1261 x1260 x1259 x1258 -x1257 x1256 -x1255 x1254 x1253 -x1252 x1251 x1250 -x1249 -x1248 -x1247
3591.06/3600.22 v x1246 x1245 x1244 -x1243 x1242 x1241 -x1240 -x1239 x1238 x1237 x1236 x1235 -x1234 -x1233 x1232 -x1231 -x1230 x1229 x1228 -x1227
3591.06/3600.22 v -x1226 -x1225 -x1224 x1223 -x1222 -x1221 x1220 -x1219 -x1218 x1217 -x1216 -x1215 x1214 -x1213 x1212 -x1211 -x1210 x1209
3591.06/3600.22 v -x1208 x1207 -x1206 -x1205 x1204 x1203 x1202 -x1201 -x1200 -x1199 x1198 x1197 x1196 -x1195 -x1194 -x1193 x1192 x1191 -x1190 -x1189
3591.06/3600.22 v x1188 -x1187 -x1186 -x1185 x1184 x1183 -x1182 -x1181 x1180 -x1179 -x1178 x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171
3591.06/3600.22 v -x1170 -x1169 x1168 -x1167 -x1166 x1165 -x1164 -x1163 -x1162 x1161 x1160 x1159 x1158 -x1157 x1156 x1155 -x1154 -x1153 -x1152
3591.06/3600.22 v -x1151 -x1150 -x1149 x1148 -x1147 -x1146 -x1145 -x1144 -x1143 x1142 -x1141 x1140 x1139 -x1138 x1137 -x1136 -x1135 x1134 -x1133
3591.06/3600.22 v -x1132 x1131 x1130 x1129 -x1128 x1127 -x1126 x1125 -x1124 x1123 x1122 x1121 x1120 -x1119 -x1118 x1117 x1116 x1115 x1114 -x1113
3591.06/3600.22 v x1112 -x1111 -x1110 x1109 x1108 x1107 -x1106 -x1105 -x1104 x1103 x1102 x1101 -x1100 -x1099 x1098 -x1097 -x1096 x1095 x1094
3591.06/3600.22 v -x1093 -x1092 x1091 x1090 -x1089 -x1088 x1087 x1086 x1085 -x1084 -x1083 x1082 -x1081 -x1080 x1079 x1078 x1077 -x1076 x1075
3591.06/3600.22 v x1074 -x1073 x1072 x1071 x1070 x1069 x1068 -x1067 x1066 -x1065 -x1064 x1063 -x1062 x1061 x1060 -x1059 -x1058 x1057 -x1056 -x1055
3591.06/3600.22 v x1054 -x1053 x1052 -x1051 -x1050 x1049 -x1048 x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 x1040 -x1039 x1038 -x1037
3591.06/3600.22 v -x1036 x1035 -x1034 -x1033 x1032 -x1031 x1030 x1029 -x1028 -x1027 -x1026 -x1025 x1024 -x1023 x1022 x1021 -x1020 -x1019 -x1018
3591.06/3600.22 v -x1017 x1016 -x1015 -x1014 x1013 x1012 -x1011 -x1010 x1009 x1008 -x1007 -x1006 x1005 x1004 -x1003 -x1002 -x1001 x1000 x999
3591.06/3600.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
3591.06/3600.22 v -x974 -x973 -x972 x971 x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 x959 -x958 -x957 -x956 -x955 -x954
3591.06/3600.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
3591.06/3600.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
3591.06/3600.22 v x907 -x906 x905 -x904 -x903 -x902 x901 -x900 -x899 x898 -x897 -x896 x895 x894 -x893 -x892 -x891 -x890 -x889 x888 -x887 -x886
3591.06/3600.22 v -x885 -x884 x883 -x882 x881 x880 -x879 -x878 x877 x876 -x875 -x874 -x873 -x872 x871 -x870 -x869 -x868 -x867 -x866 x865 -x864
3591.06/3600.22 v -x863 x862 x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 x852 x851 -x850 x849 -x848 -x847 x846 x845 x844 -x843 -x842
3591.06/3600.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
3591.06/3600.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
3591.06/3600.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
3591.06/3600.22 v -x772 x771 -x770 -x769 x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 x759 -x758 -x757 -x756 -x755 -x754 x753 -x752 -x751
3591.06/3600.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
3591.06/3600.22 v x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 x718 -x717 x716 -x715 x714 x713 -x712 -x711 x710 x709 -x708 x707 -x706
3591.06/3600.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
3591.06/3600.22 v x682 -x681 -x680 -x679 x678 -x677 x676 -x675 -x674 -x673 -x672 x671 -x670 x669 -x668 x667 -x666 -x665 -x664 -x663 -x662
3591.06/3600.22 v -x661 -x660 -x659 x658 -x657 x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640
3591.06/3600.22 v -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619
3591.06/3600.22 v -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 x598
3591.06/3600.22 v -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 x585 -x584 -x583 -x582 -x581 x580 -x579 -x578 -x577
3591.06/3600.22 v -x576 -x575 x574 x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 x556 -x555
3591.06/3600.22 v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534
3591.06/3600.22 v -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 x513 -x512
3591.06/3600.22 v -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491
3591.06/3600.22 v -x490 x489 -x488 -x487 -x486 -x485 x484 x483 -x482 -x481 x480 -x479 -x478 -x477 -x476 -x475 -x474 x473 -x472 -x471 -x470
3591.06/3600.22 v -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449
3591.06/3600.22 v -x448 -x447 -x446 -x445 x444 -x443 -x442 x441 -x440 -x439 -x438 -x437 -x436 x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 x427
3591.06/3600.22 v -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 x416 x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406
3591.06/3600.22 v x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 x387 -x386 -x385
3591.06/3600.22 v -x384 -x383 x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363
3591.06/3600.22 v -x362 x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342
3591.06/3600.22 v x341 -x340 -x339 -x338 -x337 x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320
3591.06/3600.22 v -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299
3591.06/3600.22 v -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 x286 -x285 x284 -x283 -x282 -x281 -x280 -x279 x278
3591.06/3600.22 v -x277 -x276 -x275 -x274 x273 -x272 -x271 -x270 -x269 -x268 x267 -x266 -x265 -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256
3591.06/3600.22 v -x255 x254 x253 -x252 -x251 -x250 -x249 -x248 -x247 x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235
3591.06/3600.22 v -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x214
3591.06/3600.22 v x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 x205 -x204 -x203 -x202 -x201 x200 x199 -x198 x197 -x196 -x195 -x194 -x193 -x192
3591.06/3600.22 v -x191 -x190 x189 -x188 -x187 x186 x185 x184 x183 -x182 -x181 -x180 x179 -x178 x177 -x176 x175 -x174 -x173 -x172 x171 -x170
3591.06/3600.22 v -x169 -x168 -x167 -x166 -x165 -x164 x163 -x162 x161 -x160 x159 x158 x157 x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148
3591.06/3600.22 v x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126
3591.06/3600.22 v -x125 -x124 x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 x108 -x107 -x106 -x105
3591.06/3600.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
3591.06/3600.25 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
3591.06/3600.25 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
3591.06/3600.25 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: 63931 MiB (61020 MiB free)
memory of node 1: 64510 MiB (60955 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434789-1721122486/watcher-4434789-1721122486 -o /tmp/evaluation-result-4434789-1721122486/solver-4434789-1721122486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721122498-850733 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434789-1721122486.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=850776, runsolver pid=850773
[startup+0.110902 s]*
/proc/loadavg: 1.11 1.12 1.59 9/259 850795
/proc/meminfo: memFree=124748572/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=71520 memory=59324 CPUtime=0.1 cores=1,3
/proc/850776/stat : 850776 (fscip) R 850773 850776 850721 0 -1 4194304 12654 0 0 0 8 2 0 0 20 0 1 0 164418362 73236480 14831 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 17880 14831 2606 3032 0 14280 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 71520 KiB
Current children cumulated memory: 59324 KiB
[startup+0.205301 s]*
/proc/loadavg: 1.34 1.16 1.60 5/259 850795
/proc/meminfo: memFree=124562448/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=94780 memory=82116 CPUtime=0.2 cores=1,3
/proc/850776/stat : 850776 (fscip) R 850773 850776 850721 0 -1 4194304 20507 0 0 0 17 3 0 0 20 0 1 0 164418362 97054720 20529 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 23695 20529 2654 3032 0 20095 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 94780 KiB
Current children cumulated memory: 82116 KiB
[startup+0.305717 s]*
/proc/loadavg: 1.34 1.16 1.60 5/259 850795
/proc/meminfo: memFree=124550996/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=89132 memory=77132 CPUtime=0.29 cores=1,3
/proc/850776/stat : 850776 (fscip) R 850773 850776 850721 0 -1 4194304 20898 0 0 0 26 3 0 0 20 0 1 0 164418362 91271168 19283 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 22283 19283 2686 3032 0 18683 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 89132 KiB
Current children cumulated memory: 77132 KiB
[startup+0.70026 s]
/proc/loadavg: 1.34 1.16 1.60 5/260 850796
/proc/meminfo: memFree=124470612/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=182512 memory=141296 CPUtime=0.69 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 41286 0 0 0 63 6 0 0 20 0 3 0 164418362 186892288 35324 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 45628 35324 2782 3032 0 39233 0
[pid=850776/tid=850796] ppid=850773 vsize=182512 memory=5568 CPUtime=0.17 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 13241 0 0 0 16 1 0 0 20 0 3 0 164418410 186892288 35324 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 182512 KiB
Current children cumulated memory: 141296 KiB
[startup+1.50026 s]
/proc/loadavg: 1.34 1.16 1.60 5/261 850797
/proc/meminfo: memFree=124253420/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=248048 memory=204156 CPUtime=1.48 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 57280 0 0 0 140 8 0 0 20 0 3 0 164418362 254001152 51039 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 62012 51039 2894 3032 0 55501 0
[pid=850776/tid=850796] ppid=850773 vsize=248048 memory=5568 CPUtime=0.96 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 29235 0 0 0 93 3 0 0 20 0 3 0 164418410 254001152 51039 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=248048 memory=12340 CPUtime=0 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 164418418 254001152 51039 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 248048 KiB
Current children cumulated memory: 204156 KiB
[startup+3.10548 s]
/proc/loadavg: 1.34 1.16 1.60 5/267 850803
/proc/meminfo: memFree=123696104/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=248048 memory=204424 CPUtime=3.08 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 59329 0 0 0 300 8 0 0 20 0 3 0 164418362 254001152 51106 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 62012 51106 2910 3032 0 55501 0
[pid=850776/tid=850796] ppid=850773 vsize=248048 memory=-6224938309620251497 CPUtime=2.57 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 31277 0 0 0 253 4 0 0 20 0 3 0 164418410 254001152 51106 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=248048 memory=0 CPUtime=0 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 164418418 254001152 51106 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 248048 KiB
Current children cumulated memory: 204424 KiB
[startup+6.30023 s]
/proc/loadavg: 1.55 1.21 1.61 5/267 850803
/proc/meminfo: memFree=123694492/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=248048 memory=204488 CPUtime=6.28 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 63059 0 0 0 619 9 0 0 20 0 3 0 164418362 254001152 51122 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 62012 51122 2926 3032 0 55501 0
[pid=850776/tid=850796] ppid=850773 vsize=248048 memory=204424 CPUtime=5.76 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 35000 0 0 0 572 4 0 0 20 0 3 0 164418410 254001152 51122 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=248048 memory=-6224938309620251497 CPUtime=0 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 164418418 254001152 51122 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 248048 KiB
Current children cumulated memory: 204488 KiB
[startup+12.7002 s]
/proc/loadavg: 1.75 1.26 1.63 5/267 850805
/proc/meminfo: memFree=123692588/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=248048 memory=204688 CPUtime=12.66 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 75941 0 0 0 1256 10 0 0 20 0 3 0 164418362 254001152 51172 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 62012 51172 2926 3032 0 55501 0
[pid=850776/tid=850796] ppid=850773 vsize=248048 memory=204488 CPUtime=12.14 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 47868 0 0 0 1209 5 0 0 20 0 3 0 164418410 254001152 51172 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=248048 memory=204688 CPUtime=0 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 164418418 254001152 51172 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 248048 KiB
Current children cumulated memory: 204688 KiB
[startup+25.5003 s]
/proc/loadavg: 2.10 1.35 1.65 5/267 850806
/proc/meminfo: memFree=123672172/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=316652 memory=222880 CPUtime=25.42 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 119560 0 0 0 2529 13 0 0 20 0 3 0 164418362 324251648 55720 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 79163 55720 2926 3032 0 60504 0
[pid=850776/tid=850796] ppid=850773 vsize=316652 memory=213504 CPUtime=24.9 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 91478 0 0 0 2482 8 0 0 20 0 3 0 164418410 324251648 55720 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=316652 memory=212172 CPUtime=0 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 164418418 324251648 55720 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 316652 KiB
Current children cumulated memory: 222880 KiB
[startup+51.1058 s]
/proc/loadavg: 2.90 1.62 1.73 5/267 850811
/proc/meminfo: memFree=123637216/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=316652 memory=260788 CPUtime=50.96 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 180697 0 0 0 5080 16 0 0 20 0 3 0 164418362 324251648 65197 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 79163 65197 2926 3032 0 72038 0
[pid=850776/tid=850796] ppid=850773 vsize=316652 memory=256556 CPUtime=50.44 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 152594 0 0 0 5033 11 0 0 20 0 3 0 164418410 324251648 65197 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=316652 memory=250164 CPUtime=0 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 164418418 324251648 65197 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 316652 KiB
Current children cumulated memory: 260788 KiB
[startup+102.3 s]
/proc/loadavg: 3.52 1.99 1.85 5/264 850819
/proc/meminfo: memFree=123568876/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=382188 memory=290028 CPUtime=102.02 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 209973 0 0 0 10183 19 0 0 20 0 3 0 164418362 391360512 72507 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 95547 72507 2974 3032 0 81909 0
[pid=850776/tid=850796] ppid=850773 vsize=382188 memory=12340 CPUtime=101.49 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 181601 0 0 0 10136 13 0 0 20 0 3 0 164418410 391360512 72507 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=382188 memory=41440 CPUtime=0 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 164418418 391360512 72507 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 382188 KiB
Current children cumulated memory: 290028 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.39 2.00 5/263 850830
/proc/meminfo: memFree=123538180/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=382188 memory=319744 CPUtime=161.85 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 226112 0 0 0 16164 21 0 0 20 0 3 0 164418362 391360512 79936 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 95547 79936 2974 3032 0 90428 0
[pid=850776/tid=850796] ppid=850773 vsize=382188 memory=12340 CPUtime=161.34 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 197451 0 0 0 16118 16 0 0 20 0 3 0 164418410 391360512 79936 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=382188 memory=319744 CPUtime=0 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 75 0 0 0 0 0 0 0 20 0 3 0 164418418 391360512 79936 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 382188 KiB
Current children cumulated memory: 319744 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.70 2.13 5/263 850840
/proc/meminfo: memFree=123533768/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=382188 memory=321668 CPUtime=221.7 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 227445 0 0 0 22149 21 0 0 20 0 3 0 164418362 391360512 80417 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 95547 80417 2974 3032 0 90428 0
[pid=850776/tid=850796] ppid=850773 vsize=382188 memory=319720 CPUtime=221.18 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 198756 0 0 0 22102 16 0 0 20 0 3 0 164418410 391360512 80417 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=382188 memory=321668 CPUtime=0 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 82 0 0 0 0 0 0 0 20 0 3 0 164418418 391360512 80417 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 382188 KiB
################
# More data... #
################
/proc/850776/statm: 161134 143144 2974 3032 0 150030 0
[pid=850776/tid=850796] ppid=850773 vsize=644536 memory=572576 CPUtime=3393.01 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 448991 0 0 0 339262 39 0 0 20 0 3 0 164418410 660004864 143144 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=644536 memory=572576 CPUtime=0.04 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 371 0 0 0 1 3 0 0 20 0 3 0 164418418 660004864 143144 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 3393.65 s
Current children cumulated vsize: 644536 KiB
Current children cumulated memory: 572576 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.02 5/264 852604
/proc/meminfo: memFree=122883980/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=644536 memory=572576 CPUtime=3453.5 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 481211 0 0 0 345300 50 0 0 20 0 3 0 164418362 660004864 143144 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 161134 143144 2974 3032 0 150030 0
[pid=850776/tid=850796] ppid=850773 vsize=644536 memory=572576 CPUtime=3452.85 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 451159 0 0 0 345246 39 0 0 20 0 3 0 164418410 660004864 143144 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=644536 memory=572576 CPUtime=0.04 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 378 0 0 0 1 3 0 0 20 0 3 0 164418418 660004864 143144 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 3453.5 s
Current children cumulated vsize: 644536 KiB
Current children cumulated memory: 572576 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 852614
/proc/meminfo: memFree=122874452/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=644536 memory=572576 CPUtime=3513.35 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 482915 0 0 0 351285 50 0 0 20 0 3 0 164418362 660004864 143144 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 161134 143144 2974 3032 0 150643 0
[pid=850776/tid=850796] ppid=850773 vsize=644536 memory=572576 CPUtime=3512.71 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 452838 0 0 0 351231 40 0 0 20 0 3 0 164418410 660004864 143144 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=644536 memory=572576 CPUtime=0.04 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 385 0 0 0 1 3 0 0 20 0 3 0 164418418 660004864 143144 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 3513.35 s
Current children cumulated vsize: 644536 KiB
Current children cumulated memory: 572576 KiB
[startup+3582.3 s]
/proc/loadavg: 4.04 4.07 4.02 5/264 852625
/proc/meminfo: memFree=122855696/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=644536 memory=572580 CPUtime=3573.2 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 484388 0 0 0 357269 51 0 0 20 0 3 0 164418362 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 161134 143145 2974 3032 0 150643 0
[pid=850776/tid=850796] ppid=850773 vsize=644536 memory=572580 CPUtime=3572.55 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 454287 0 0 0 357215 40 0 0 20 0 3 0 164418410 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=644536 memory=6720663259667513198 CPUtime=0.04 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 392 0 0 0 1 3 0 0 20 0 3 0 164418418 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 3573.2 s
Current children cumulated vsize: 644536 KiB
Current children cumulated memory: 572580 KiB
[startup+3600.26 s]
# the end of solver process 850776 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.6 s, system=0.517609 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.04 4.07 4.02 5/264 852625
/proc/meminfo: memFree=122855760/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=644536 memory=572580 CPUtime=3574.9 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 484388 0 0 0 357439 51 0 0 20 0 3 0 164418362 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 161134 143145 2974 3032 0 150643 0
[pid=850776/tid=850796] ppid=850773 vsize=644536 memory=32960 CPUtime=3574.25 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 454287 0 0 0 357385 40 0 0 20 0 3 0 164418410 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=644536 memory=5568 CPUtime=0.04 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 392 0 0 0 1 3 0 0 20 0 3 0 164418418 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 3574.9 s
Current children cumulated vsize: 644536 KiB
Current children cumulated memory: 572580 KiB
[startup+3590.4 s]
/proc/loadavg: 4.04 4.07 4.01 5/264 852627
/proc/meminfo: memFree=122855360/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=644536 memory=572580 CPUtime=3581.28 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 484546 0 0 0 358077 51 0 0 20 0 3 0 164418362 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 161134 143145 2974 3032 0 150643 0
[pid=850776/tid=850796] ppid=850773 vsize=644536 memory=5492 CPUtime=3580.63 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 454441 0 0 0 358023 40 0 0 20 0 3 0 164418410 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=644536 memory=572580 CPUtime=0.04 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 3 0 164418418 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 3581.28 s
Current children cumulated vsize: 644536 KiB
Current children cumulated memory: 572580 KiB
[startup+3596.8 s]
/proc/loadavg: 4.18 4.10 4.02 5/264 852627
/proc/meminfo: memFree=122855300/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=644536 memory=572580 CPUtime=3587.66 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 484569 0 0 0 358715 51 0 0 20 0 3 0 164418362 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 161134 143145 2974 3032 0 150643 0
[pid=850776/tid=850796] ppid=850773 vsize=644536 memory=572580 CPUtime=3587.01 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 454464 0 0 0 358661 40 0 0 20 0 3 0 164418410 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=644536 memory=572580 CPUtime=0.04 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 3 0 164418418 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 3587.66 s
Current children cumulated vsize: 644536 KiB
Current children cumulated memory: 572580 KiB
[startup+3598.4 s]
/proc/loadavg: 4.18 4.10 4.02 5/264 852628
/proc/meminfo: memFree=122855296/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=644536 memory=572580 CPUtime=3589.26 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 484571 0 0 0 358875 51 0 0 20 0 3 0 164418362 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 161134 143145 2974 3032 0 150643 0
[pid=850776/tid=850796] ppid=850773 vsize=644536 memory=572580 CPUtime=3588.61 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 454466 0 0 0 358821 40 0 0 20 0 3 0 164418410 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=644536 memory=5492 CPUtime=0.04 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 3 0 164418418 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 3589.26 s
Current children cumulated vsize: 644536 KiB
Current children cumulated memory: 572580 KiB
[startup+3599.2 s]
/proc/loadavg: 4.18 4.10 4.02 5/264 852628
/proc/meminfo: memFree=122855400/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=644536 memory=572580 CPUtime=3590.06 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 484571 0 0 0 358955 51 0 0 20 0 3 0 164418362 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 161134 143145 2974 3032 0 150643 0
[pid=850776/tid=850796] ppid=850773 vsize=644536 memory=12340 CPUtime=3589.41 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 454466 0 0 0 358901 40 0 0 20 0 3 0 164418410 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=644536 memory=41440 CPUtime=0.04 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 3 0 164418418 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 3590.06 s
Current children cumulated vsize: 644536 KiB
Current children cumulated memory: 572580 KiB
[startup+3600 s]*
/proc/loadavg: 4.18 4.10 4.02 5/264 852628
/proc/meminfo: memFree=122855376/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=644536 memory=572580 CPUtime=3590.86 cores=1,3
/proc/850776/stat : 850776 (fscip) R 850773 850776 850721 0 -1 1077936128 484572 0 0 0 359035 51 0 0 20 0 3 0 164418362 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 161134 143145 2974 3032 0 150643 0
[pid=850776/tid=850796] ppid=850773 vsize=644536 memory=-6152880715582323562 CPUtime=3590.21 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 454467 0 0 0 358981 40 0 0 20 0 3 0 164418410 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=644536 memory=-8621784584993555355 CPUtime=0.04 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 3 0 164418418 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 3590.86 s
Current children cumulated vsize: 644536 KiB
Current children cumulated memory: 572580 KiB
[startup+3600.2 s]
/proc/loadavg: 4.18 4.10 4.02 5/264 852628
/proc/meminfo: memFree=122855376/131524600 swapFree=131071996/131071996
[pid=850776] ppid=850773 vsize=644536 memory=572580 CPUtime=3591.06 cores=1,3
/proc/850776/stat : 850776 (fscip) S 850773 850776 850721 0 -1 1077936128 484870 0 0 0 359055 51 0 0 20 0 3 0 164418362 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
/proc/850776/statm: 161134 143145 2974 3032 0 150643 0
[pid=850776/tid=850796] ppid=850773 vsize=644536 memory=2228 CPUtime=3590.41 cores=1,3
/proc/850776/task/850796/stat : 850796 (fscip) R 850773 850776 850721 0 -1 4194368 454764 0 0 0 359001 40 0 0 20 0 3 0 164418410 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
[pid=850776/tid=850797] ppid=850773 vsize=644536 memory=32260 CPUtime=0.04 cores=1,3
/proc/850776/task/850797/stat : 850797 (fscip) S 850773 850776 850721 0 -1 1077936192 394 0 0 0 1 3 0 0 20 0 3 0 164418418 660004864 143145 134679101440 4194304 16613245 140723742189952 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55963648 140723742192661 140723742192777 140723742192777 140723742199792 0
Current children cumulated CPU time: 3591.06 s
Current children cumulated vsize: 644536 KiB
Current children cumulated memory: 572580 KiB
Child status: 0
Real time (s): 3600.26
CPU time (s): 3591.12
CPU user time (s): 3590.6
CPU system time (s): 0.517609
CPU usage (%): 99.7462
Max. virtual memory (cumulated for all children) (KiB): 644536
Max. memory (cumulated for all children) (KiB): 572580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.6
system time used= 0.517609
maximum resident set size= 572580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 488716
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= 5674
involuntary context switches= 1811
# summary of solver processes directly reported to runsolver:
# pid: 850776
# total CPU time (s): 3591.12
# total CPU user time (s): 3590.6
# total CPU system time (s): 0.517609
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30908 second user time and 17.2641 second system time
The end
Begin job on nodeC033 at 2024-07-16 11:34:59
IDJOB=4434789
IDBENCH=148793
IDSOLVER=3064
FILE ID=nodeC033/4434789-1721122486
RUNJOBID= nodeC033-1721122498-850733
SLURM_JOB_ID= 7505674
Free space on /tmp= 890076 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4434789-1721122486/watcher-4434789-1721122486 -o /tmp/evaluation-result-4434789-1721122486/solver-4434789-1721122486 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721122498-850733 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434789-1721122486.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 267318dc6252912ba1edb3875073cd29
RANDOM SEED=1239536038
nodeC033.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3641.349
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3659.494
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3641.937
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.787
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3642.231
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.778
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.147
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.50
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3657.150
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.25
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124906712 kB
MemAvailable: 129652960 kB
Buffers: 430688 kB
Cached: 5096536 kB
SwapCached: 0 kB
Active: 685652 kB
Inactive: 5216620 kB
Active(anon): 1476 kB
Inactive(anon): 411300 kB
Active(file): 684176 kB
Inactive(file): 4805320 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 119200 kB
Writeback: 0 kB
AnonPages: 372396 kB
Mapped: 103636 kB
Shmem: 37716 kB
KReclaimable: 192800 kB
Slab: 310136 kB
SReclaimable: 192800 kB
SUnreclaim: 117336 kB
KernelStack: 3836 kB
PageTables: 9640 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 755356 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61952 kB
HardwareCorrupted: 0 kB
AnonHugePages: 247808 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: 262868 kB
DirectMap2M: 25724928 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889964 MiB
End job on nodeC033 at 2024-07-16 12:34:59