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.23/0.28 c Default LC presolving (default).
0.23/0.28 c ** Before presolving: virtualMemUsedAtLc = 103976371, getVmSize() = 90001408, SCIPgetMemUsed() = 60899193, SCIPgetMemTotal() = 66346161, SCIPgetMemExternEstim() = 37630210
0.23/0.28 c ** set memory limit for presolving in LC to 8.79606e+12 for SCIP **
0.69/0.74 c ** Estimated virtualMemUsedAtSolver = 91743404, getVmSize() = 127094784, SCIPgetMemUsed() = 66153841, SCIPgetMemTotal() = 99984897, SCIPgetMemExternEstim() = 37630210
0.69/0.74 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.69/0.74 c Original Problem :
0.69/0.74 c Problem name : instance-4464799-1722382194
0.69/0.74 c Variables : 19183 (500 binary, 0 integer, 18683 implicit integer, 0 continuous)
0.69/0.74 c Constraints : 19683
0.69/0.74 c Objective sense : minimize
0.69/0.74 c Presolved Problem :
0.69/0.74 c Variables : 500 (500 binary, 0 integer, 0 implicit integer, 0 continuous)
0.69/0.74 c Constraints : 18683
0.69/0.74 c Constraints : Number
0.69/0.74 c setppc : 18683
0.69/0.74 c ** Instance transfer method used: 0
0.69/0.78 c ** ParaScipInstance copy does not increase the number of variables. **
0.79/0.83 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.79/0.83 c Nodes Active
0.79/0.83 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.27/1.37 c * 1 0 1 1 -25.0000 - -
1.27/1.39 c * 1 0 1 1 -34.0000 - -
1.37/1.46 c * 1 0 1 1 -36.0000 - -
48.83/49.07 c 49 2 1 1 -36.0000 -102.7523 185.42%
54.10/54.39 c 54 3 2 1 -36.0000 -102.7523 185.42%
63.57/63.84 c 64 4 3 1 -36.0000 -102.7523 185.42%
75.93/76.24 c 76 5 4 1 -36.0000 -102.7523 185.42%
81.11/81.40 c 81 6 5 1 -36.0000 -102.6830 185.23%
91.38/91.73 c 92 7 6 1 -36.0000 -102.5991 185.00%
98.46/98.80 c 99 8 7 1 -36.0000 -102.5991 185.00%
108.53/108.97 c 109 10 9 1 -36.0000 -102.5991 185.00%
118.79/119.27 c 119 12 11 1 -36.0000 -102.0222 183.40%
125.08/125.50 c 126 18 17 1 -36.0000 -101.5028 181.95%
131.16/131.60 c 132 19 18 1 -36.0000 -101.5028 181.95%
138.24/138.75 c 139 22 21 1 -36.0000 -101.5028 181.95%
143.43/143.93 c 144 26 25 1 -36.0000 -101.5028 181.95%
149.21/149.74 c 150 28 27 1 -36.0000 -101.5028 181.95%
154.29/154.85 c 155 36 35 1 -36.0000 -101.5028 181.95%
161.07/161.66 c 162 40 39 1 -36.0000 -101.5028 181.95%
167.15/167.78 c 168 47 46 1 -36.0000 -101.5028 181.95%
175.62/176.20 c 176 50 49 1 -36.0000 -101.5028 181.95%
180.81/181.41 c 181 62 61 1 -36.0000 -101.5028 181.95%
187.79/188.42 c 188 70 69 1 -36.0000 -101.5028 181.95%
193.38/194.08 c 194 77 76 1 -36.0000 -100.4872 179.13%
198.95/199.65 c 200 81 80 1 -36.0000 -100.4872 179.13%
204.93/205.60 c 206 94 93 1 -36.0000 -100.4872 179.13%
210.61/211.35 c 211 101 100 1 -36.0000 -100.4872 179.13%
219.09/219.83 c 220 109 108 1 -36.0000 -100.4782 179.11%
224.97/225.76 c 226 119 118 1 -36.0000 -100.4782 179.11%
230.55/231.37 c 231 125 124 1 -36.0000 -100.4782 179.11%
238.72/239.56 c 240 134 133 1 -36.0000 -100.2782 178.55%
244.70/245.54 c 246 146 145 1 -36.0000 -99.9688 177.69%
250.39/251.27 c 251 152 151 1 -36.0000 -99.9688 177.69%
257.66/258.52 c 259 164 163 1 -36.0000 -99.9230 177.56%
265.43/266.34 c 266 174 173 1 -36.0000 -99.9230 177.56%
270.82/271.73 c 272 184 183 1 -36.0000 -99.9230 177.56%
276.80/277.73 c 278 197 196 1 -36.0000 -99.7292 177.03%
283.97/284.99 c 285 201 202 1 -36.0000 -99.7292 177.03%
290.07/291.07 c 291 212 211 1 -36.0000 -99.7292 177.03%
299.04/300.04 c 300 225 224 1 -36.0000 -99.6924 176.92%
306.30/307.33 c 307 237 236 1 -36.0000 -99.6924 176.92%
312.29/313.35 c 313 251 250 1 -36.0000 -99.6924 176.92%
317.47/318.56 c 319 254 253 1 -36.0000 -99.6121 176.70%
323.84/324.97 c 325 264 263 1 -36.0000 -99.6121 176.70%
328.95/330.02 c 330 281 280 1 -36.0000 -99.6121 176.70%
334.72/335.84 c 336 289 288 1 -36.0000 -99.5411 176.50%
342.89/344.05 c 344 302 301 1 -36.0000 -99.5411 176.50%
348.17/349.36 c 349 313 314 1 -36.0000 -99.4390 176.22%
354.65/355.88 c 356 319 318 1 -36.0000 -99.4390 176.22%
361.84/363.08 c 363 334 333 1 -36.0000 -99.4390 176.22%
367.51/368.73 c 369 344 343 1 -36.0000 -99.4304 176.20%
373.09/374.39 c 374 352 351 1 -36.0000 -99.4304 176.20%
378.27/379.52 c 380 364 363 1 -36.0000 -99.4304 176.20%
384.94/386.24 c 386 374 373 1 -36.0000 -99.3089 175.86%
391.43/392.74 c 393 385 384 1 -36.0000 -99.3089 175.86%
396.61/397.97 c 398 399 398 1 -36.0000 -99.3089 175.86%
402.49/403.85 c 404 410 409 1 -36.0000 -99.2482 175.69%
407.68/409.01 c 409 416 415 1 -36.0000 -99.2482 175.69%
414.26/415.66 c 416 426 425 1 -36.0000 -99.2482 175.69%
419.54/420.97 c 421 437 436 1 -36.0000 -99.2171 175.60%
425.02/426.44 c 426 452 451 1 -36.0000 -99.2171 175.60%
431.40/432.81 c 433 463 462 1 -36.0000 -99.1692 175.47%
437.98/439.47 c 439 472 471 1 -36.0000 -99.1692 175.47%
443.06/444.56 c 445 478 477 1 -36.0000 -99.1692 175.47%
449.34/450.83 c 451 493 494 1 -36.0000 -99.0432 175.12%
454.92/456.45 c 456 502 501 1 -36.0000 -99.0432 175.12%
460.61/462.18 c 462 515 514 1 -36.0000 -99.0060 175.02%
466.08/467.67 c 468 530 531 1 -36.0000 -99.0060 175.02%
472.66/474.22 c 474 544 543 1 -36.0000 -98.9872 174.96%
477.64/479.26 c 479 553 552 1 -36.0000 -98.9209 174.78%
483.22/484.80 c 485 572 571 1 -36.0000 -98.9094 174.75%
488.71/490.31 c 490 581 580 1 -36.0000 -98.9094 174.75%
493.79/495.42 c 495 591 590 1 -36.0000 -98.9094 174.75%
500.77/502.44 c 502 608 607 1 -36.0000 -98.8334 174.54%
506.15/507.84 c 508 620 619 1 -36.0000 -98.7789 174.39%
512.44/514.18 c 514 635 634 1 -36.0000 -98.7387 174.27%
518.21/519.95 c 520 648 647 1 -36.0000 -98.7387 174.27%
523.99/525.71 c 526 660 659 1 -36.0000 -98.6666 174.07%
529.17/530.96 c 531 675 674 1 -36.0000 -98.6507 174.03%
534.54/536.37 c 536 694 693 1 -36.0000 -98.6395 174.00%
541.23/543.01 c 543 714 713 1 -36.0000 -98.6151 173.93%
546.31/548.17 c 548 734 733 1 -36.0000 -98.5734 173.81%
551.59/553.43 c 553 752 751 1 -36.0000 -98.5645 173.79%
557.28/559.13 c 559 764 763 1 -36.0000 -98.5645 173.79%
563.26/565.18 c 565 776 775 1 -36.0000 -98.5598 173.78%
570.14/572.02 c 572 792 791 1 -36.0000 -98.4669 173.52%
576.12/578.09 c 578 806 805 1 -36.0000 -98.4669 173.52%
581.10/583.11 c 583 823 824 1 -36.0000 -98.3686 173.25%
587.36/589.37 c 589 844 843 1 -36.0000 -98.3518 173.20%
592.94/594.97 c 595 866 865 1 -36.0000 -98.2910 173.03%
599.04/601.05 c 601 883 882 1 -36.0000 -98.2729 172.98%
604.51/606.55 c 607 905 904 1 -36.0000 -98.2255 172.85%
610.29/612.38 c 612 922 921 1 -36.0000 -98.2234 172.84%
615.67/617.73 c 618 942 941 1 -36.0000 -98.0009 172.22%
621.35/623.45 c 623 953 952 1 -36.0000 -97.9733 172.15%
627.53/629.65 c 630 966 965 1 -36.0000 -97.9344 172.04%
633.02/635.13 c 635 981 980 1 -36.0000 -97.8000 171.67%
639.39/641.52 c 642 990 989 1 -36.0000 -97.7388 171.50%
645.58/647.72 c 648 1008 1007 1 -36.0000 -97.5498 170.97%
652.25/654.47 c 654 1022 1021 1 -36.0000 -97.5082 170.86%
657.85/660.04 c 660 1028 1027 1 -36.0000 -97.5082 170.86%
663.21/665.46 c 665 1045 1044 1 -36.0000 -97.2295 170.08%
676.67/678.99 c 679 1051 1 1 -36.0000 -97.2295 170.08%
682.35/684.64 c 685 1052 2 1 -36.0000 -97.2295 170.08%
691.03/693.31 c 693 1054 4 1 -36.0000 -97.2295 170.08%
697.01/699.35 c 699 1058 8 1 -36.0000 -97.2295 170.08%
702.29/704.61 c 705 1059 9 1 -36.0000 -97.2295 170.08%
710.17/712.57 c 713 1061 11 1 -36.0000 -97.2295 170.08%
715.55/718.01 c 718 1062 12 1 -36.0000 -97.2295 170.08%
720.83/723.23 c 723 1065 15 1 -36.0000 -97.2295 170.08%
726.31/728.70 c 729 1068 18 1 -36.0000 -97.2295 170.08%
731.99/734.41 c 734 1071 21 1 -36.0000 -97.2295 170.08%
739.47/741.98 c 742 1080 30 1 -36.0000 -97.2295 170.08%
744.44/746.99 c 747 1096 46 1 -36.0000 -97.2295 170.08%
750.22/752.74 c 753 1108 58 1 -36.0000 -97.2295 170.08%
756.30/758.84 c 759 1120 70 1 -36.0000 -97.2295 170.08%
762.28/764.83 c 765 1145 95 1 -36.0000 -97.2295 170.08%
767.58/770.19 c 770 1149 99 1 -36.0000 -97.2295 170.08%
772.75/775.38 c 775 1162 112 1 -36.0000 -97.2295 170.08%
779.23/781.83 c 782 1173 123 1 -36.0000 -97.2295 170.08%
784.31/786.97 c 787 1182 132 1 -36.0000 -97.2295 170.08%
791.79/794.40 c 794 1196 146 1 -36.0000 -97.2295 170.08%
797.67/800.34 c 800 1211 161 1 -36.0000 -97.2295 170.08%
804.46/807.18 c 807 1225 175 1 -36.0000 -97.2295 170.08%
810.34/813.07 c 813 1241 191 1 -36.0000 -97.2295 170.08%
815.51/818.21 c 818 1258 208 1 -36.0000 -97.2295 170.08%
821.69/824.45 c 824 1272 222 1 -36.0000 -97.2295 170.08%
826.97/829.73 c 830 1287 237 1 -36.0000 -97.2295 170.08%
832.75/835.57 c 836 1301 251 1 -36.0000 -97.2295 170.08%
838.83/841.66 c 842 1315 265 1 -36.0000 -97.2295 170.08%
844.71/847.56 c 848 1330 280 1 -36.0000 -97.2295 170.08%
849.90/852.75 c 853 1334 284 1 -36.0000 -97.2295 170.08%
855.78/858.69 c 859 1353 303 1 -36.0000 -97.2295 170.08%
861.56/864.45 c 864 1369 319 1 -36.0000 -97.2295 170.08%
867.55/870.42 c 870 1383 333 1 -36.0000 -97.2295 170.08%
872.83/875.73 c 876 1395 345 1 -36.0000 -97.2295 170.08%
878.81/881.77 c 882 1405 355 1 -36.0000 -97.2295 170.08%
884.39/887.35 c 887 1418 368 1 -36.0000 -97.2295 170.08%
890.19/893.18 c 893 1426 376 1 -36.0000 -97.2295 170.08%
896.45/899.42 c 899 1442 392 1 -36.0000 -97.2295 170.08%
902.44/905.41 c 905 1463 413 1 -36.0000 -97.2295 170.08%
908.22/911.29 c 911 1476 426 1 -36.0000 -97.2295 170.08%
913.80/916.83 c 917 1494 444 1 -36.0000 -97.2295 170.08%
919.68/922.72 c 923 1512 462 1 -36.0000 -97.2295 170.08%
925.66/928.76 c 929 1525 475 1 -36.0000 -97.2295 170.08%
930.96/934.09 c 934 1543 493 1 -36.0000 -97.2295 170.08%
937.93/941.10 c 941 1554 504 1 -36.0000 -97.2295 170.08%
943.40/946.58 c 947 1569 519 1 -36.0000 -97.2295 170.08%
948.58/951.73 c 952 1578 528 1 -36.0000 -97.2295 170.08%
954.06/957.28 c 957 1589 539 1 -36.0000 -97.2295 170.08%
959.34/962.53 c 963 1598 548 1 -36.0000 -97.2295 170.08%
964.83/968.09 c 968 1613 563 1 -36.0000 -97.2295 170.08%
970.30/973.59 c 974 1632 582 1 -36.0000 -97.2295 170.08%
976.28/979.54 c 980 1652 602 1 -36.0000 -97.2295 170.08%
982.26/985.54 c 986 1671 621 1 -36.0000 -97.2295 170.08%
987.64/990.92 c 991 1674 624 1 -36.0000 -97.2295 170.08%
993.62/996.94 c 997 1689 639 1 -36.0000 -97.2295 170.08%
999.50/1002.80 c 1003 1700 650 1 -36.0000 -97.2295 170.08%
1004.58/1007.99 c 1008 1717 667 1 -36.0000 -97.2295 170.08%
1010.45/1013.80 c 1014 1737 687 1 -36.0000 -97.2295 170.08%
1016.43/1019.84 c 1020 1749 699 1 -36.0000 -97.2295 170.08%
1021.51/1024.97 c 1025 1765 715 1 -36.0000 -97.2295 170.08%
1027.39/1030.89 c 1031 1787 737 1 -36.0000 -97.2295 170.08%
1033.47/1036.90 c 1037 1812 762 1 -36.0000 -97.2295 170.08%
1039.26/1042.75 c 1043 1835 785 1 -36.0000 -97.2295 170.08%
1045.13/1048.67 c 1049 1859 809 1 -36.0000 -97.2295 170.08%
1050.21/1053.77 c 1054 1878 828 1 -36.0000 -97.2295 170.08%
1056.19/1059.78 c 1060 1903 853 1 -36.0000 -97.2295 170.08%
1062.16/1065.76 c 1066 1928 878 1 -36.0000 -97.2295 170.08%
1068.04/1071.62 c 1072 1952 902 1 -36.0000 -97.2295 170.08%
1073.92/1077.56 c 1078 1979 929 1 -36.0000 -97.2295 170.08%
1079.61/1083.25 c 1083 2004 954 1 -36.0000 -97.2295 170.08%
1085.40/1089.04 c 1089 2032 982 1 -36.0000 -97.2295 170.08%
1090.77/1094.42 c 1094 2060 1010 1 -36.0000 -97.2295 170.08%
1096.65/1100.36 c 1100 2082 1032 1 -36.0000 -97.2295 170.08%
1102.14/1105.81 c 1106 2108 1058 1 -36.0000 -97.2295 170.08%
1107.62/1111.33 c 1111 2132 1082 1 -36.0000 -97.2295 170.08%
1113.31/1117.07 c 1117 2158 1108 1 -36.0000 -97.2295 170.08%
1118.98/1122.73 c 1123 2182 1132 1 -36.0000 -97.2295 170.08%
1124.86/1128.69 c 1129 2207 1157 1 -36.0000 -97.2295 170.08%
1130.84/1134.65 c 1135 2233 1183 1 -36.0000 -97.2295 170.08%
1137.02/1140.88 c 1141 2257 1207 1 -36.0000 -97.2295 170.08%
1142.51/1146.33 c 1146 2279 1229 1 -36.0000 -97.2295 170.08%
1147.99/1151.85 c 1152 2307 1257 1 -36.0000 -97.2295 170.08%
1155.27/1159.13 c 1159 2325 1275 1 -36.0000 -97.2295 170.08%
1162.64/1166.56 c 1167 2344 1294 1 -36.0000 -97.2295 170.08%
1168.23/1172.17 c 1172 2357 1307 1 -36.0000 -97.2295 170.08%
1173.90/1177.86 c 1178 2373 1323 1 -36.0000 -97.2295 170.08%
1179.09/1183.06 c 1183 2383 1333 1 -36.0000 -97.2295 170.08%
1185.56/1189.59 c 1190 2399 1349 1 -36.0000 -97.2295 170.08%
1191.44/1195.48 c 1195 2417 1367 1 -36.0000 -97.2295 170.08%
1196.63/1200.68 c 1201 2433 1383 1 -36.0000 -97.2295 170.08%
1202.81/1206.86 c 1207 2457 1407 1 -36.0000 -97.2295 170.08%
1209.69/1213.74 c 1214 2471 1421 1 -36.0000 -97.2295 170.08%
1215.37/1219.48 c 1219 2500 1450 1 -36.0000 -97.2295 170.08%
1221.35/1225.41 c 1225 2512 1462 1 -36.0000 -97.2295 170.08%
1226.93/1231.03 c 1231 2533 1483 1 -36.0000 -97.2295 170.08%
1232.02/1236.12 c 1236 2552 1502 1 -36.0000 -97.2295 170.08%
1237.09/1241.27 c 1241 2564 1514 1 -36.0000 -97.2295 170.08%
1242.17/1246.34 c 1246 2586 1536 1 -36.0000 -97.2295 170.08%
1248.25/1252.45 c 1252 2618 1568 1 -36.0000 -97.2295 170.08%
1254.14/1258.34 c 1258 2652 1602 1 -36.0000 -97.2295 170.08%
1261.12/1265.32 c 1265 2677 1627 1 -36.0000 -97.2295 170.08%
1266.99/1271.28 c 1271 2709 1659 1 -36.0000 -97.2295 170.08%
1272.97/1277.27 c 1277 2726 1676 1 -36.0000 -97.2295 170.08%
1278.77/1283.02 c 1283 2746 1696 1 -36.0000 -97.2295 170.08%
1283.86/1288.14 c 1288 2764 1714 1 -36.0000 -97.2295 170.08%
1289.63/1293.94 c 1294 2790 1740 1 -36.0000 -97.2295 170.08%
1296.90/1301.20 c 1301 2804 1754 1 -36.0000 -97.2295 170.08%
1302.70/1307.03 c 1307 2835 1785 1 -36.0000 -97.2295 170.08%
1309.16/1313.50 c 1314 2862 1812 1 -36.0000 -97.2295 170.08%
1314.94/1319.36 c 1319 2878 1828 1 -36.0000 -97.2295 170.08%
1320.93/1325.32 c 1325 2916 1866 1 -36.0000 -97.2295 170.08%
1327.01/1331.48 c 1331 2933 1883 1 -36.0000 -97.2295 170.08%
1333.70/1338.16 c 1338 2964 1914 1 -36.0000 -97.2295 170.08%
1339.46/1343.91 c 1344 3004 1954 1 -36.0000 -97.2295 170.08%
1345.45/1349.93 c 1350 3043 1993 1 -36.0000 -97.2295 170.08%
1351.93/1356.48 c 1356 3065 2015 1 -36.0000 -97.2295 170.08%
1357.71/1362.28 c 1362 3097 2047 1 -36.0000 -97.2295 170.08%
1363.60/1368.12 c 1368 3111 2061 1 -36.0000 -97.2295 170.08%
1369.28/1373.82 c 1374 3152 2102 1 -36.0000 -97.2295 170.08%
1375.16/1379.70 c 1380 3186 2136 1 -36.0000 -97.2295 170.08%
1381.55/1386.14 c 1386 3222 2172 1 -36.0000 -97.2295 170.08%
1387.02/1391.67 c 1392 3261 2211 1 -36.0000 -97.2295 170.08%
1392.41/1397.08 c 1397 3286 2236 1 -36.0000 -97.2295 170.08%
1398.27/1402.91 c 1403 3324 2274 1 -36.0000 -97.2295 170.08%
1403.37/1408.05 c 1408 3344 2294 1 -36.0000 -97.2295 170.08%
1409.05/1413.73 c 1414 3389 2339 1 -36.0000 -97.2295 170.08%
1415.44/1420.15 c 1420 3424 2374 1 -36.0000 -97.2295 170.08%
1421.31/1426.02 c 1426 3471 2421 1 -36.0000 -97.2295 170.08%
1426.88/1431.69 c 1432 3511 2461 1 -36.0000 -97.2295 170.08%
1433.16/1437.99 c 1438 3543 2493 1 -36.0000 -97.2295 170.08%
1439.15/1443.90 c 1444 3583 2533 1 -36.0000 -97.2295 170.08%
1444.53/1449.38 c 1449 3613 2563 1 -36.0000 -97.2295 170.08%
1450.11/1454.98 c 1455 3643 2593 1 -36.0000 -97.2295 170.08%
1456.80/1461.68 c 1462 3688 2638 1 -36.0000 -97.2295 170.08%
1462.87/1467.71 c 1468 3718 2668 1 -36.0000 -97.2295 170.08%
1469.05/1473.91 c 1474 3754 2704 1 -36.0000 -97.2295 170.08%
1474.15/1479.09 c 1479 3782 2732 1 -36.0000 -97.2295 170.08%
1480.12/1485.11 c 1485 3812 2762 1 -36.0000 -97.2295 170.08%
1485.90/1490.81 c 1491 3834 2784 1 -36.0000 -97.2295 170.08%
1491.09/1496.01 c 1496 3859 2809 1 -36.0000 -97.2295 170.08%
1496.76/1501.71 c 1502 3908 2858 1 -36.0000 -97.2295 170.08%
1502.54/1507.54 c 1508 3947 2897 1 -36.0000 -97.2295 170.08%
1509.14/1514.13 c 1514 3965 2915 1 -36.0000 -97.2295 170.08%
1514.90/1519.92 c 1520 3991 2941 1 -36.0000 -97.2295 170.08%
1520.29/1525.36 c 1525 4020 2970 1 -36.0000 -97.2295 170.08%
1525.47/1530.50 c 1530 4031 2981 1 -36.0000 -97.2295 170.08%
1531.25/1536.37 c 1536 4067 3017 1 -36.0000 -97.2295 170.08%
1537.05/1542.17 c 1542 4114 3064 1 -36.0000 -97.2295 170.08%
1543.72/1548.86 c 1549 4131 3081 1 -36.0000 -97.2295 170.08%
1548.80/1553.97 c 1554 4147 3097 1 -36.0000 -97.2295 170.08%
1554.28/1559.48 c 1559 4167 3117 1 -36.0000 -97.2295 170.08%
1559.77/1565.01 c 1565 4180 3130 1 -36.0000 -97.2295 170.08%
1565.95/1571.20 c 1571 4235 3185 1 -36.0000 -97.2295 170.08%
1571.42/1576.61 c 1577 4293 3243 1 -36.0000 -97.2295 170.08%
1578.30/1583.56 c 1584 4325 3275 1 -36.0000 -97.2295 170.08%
1584.18/1589.44 c 1589 4375 3325 1 -36.0000 -97.2295 170.08%
1589.36/1594.63 c 1595 4393 3343 1 -36.0000 -97.2295 170.08%
1595.54/1600.81 c 1601 4446 3396 1 -36.0000 -97.2295 170.08%
1601.53/1606.80 c 1607 4483 3433 1 -36.0000 -97.2295 170.08%
1607.20/1612.55 c 1613 4525 3475 1 -36.0000 -97.2295 170.08%
1614.88/1620.23 c 1620 4547 3497 1 -36.0000 -97.2295 170.08%
1620.86/1626.28 c 1626 4592 3542 1 -36.0000 -97.2295 170.08%
1625.95/1631.37 c 1631 4639 3589 1 -36.0000 -97.2295 170.08%
1631.93/1637.32 c 1637 4669 3619 1 -36.0000 -97.2295 170.08%
1637.81/1643.20 c 1643 4709 3659 1 -36.0000 -97.2295 170.08%
1644.29/1649.73 c 1650 4749 3699 1 -36.0000 -97.2295 170.08%
1650.47/1655.94 c 1656 4794 3744 1 -36.0000 -97.2295 170.08%
1655.95/1661.42 c 1661 4832 3782 1 -36.0000 -97.2295 170.08%
1662.33/1667.82 c 1668 4857 3807 1 -36.0000 -97.2295 170.08%
1667.82/1673.30 c 1673 4882 3832 1 -36.0000 -97.2295 170.08%
1673.09/1678.65 c 1679 4921 3871 1 -36.0000 -97.2295 170.08%
1679.68/1685.29 c 1685 4961 3911 1 -36.0000 -97.2295 170.08%
1685.47/1691.04 c 1691 4991 3941 1 -36.0000 -97.2295 170.08%
1690.94/1696.50 c 1696 5022 3972 1 -36.0000 -97.2295 170.08%
1697.32/1702.94 c 1703 5082 4032 1 -36.0000 -97.2295 170.08%
1702.80/1708.49 c 1708 5137 4085 1 -36.0000 -97.2295 170.08%
1707.89/1713.53 c 1714 5171 4119 1 -36.0000 -97.2295 170.08%
1713.07/1718.78 c 1719 5203 4149 1 -36.0000 -97.2295 170.08%
1720.25/1726.01 c 1726 5238 4184 1 -36.0000 -97.2295 170.08%
1725.82/1731.57 c 1732 5257 4203 1 -36.0000 -97.2295 170.08%
1731.80/1737.53 c 1738 5298 4244 1 -36.0000 -97.2295 170.08%
1737.78/1743.52 c 1744 5338 4282 1 -36.0000 -97.2295 170.08%
1743.87/1749.60 c 1750 5389 4329 1 -36.0000 -97.2295 170.08%
1748.95/1754.70 c 1755 5412 4352 1 -36.0000 -97.2295 170.08%
1754.13/1759.94 c 1760 5430 4370 1 -36.0000 -97.2295 170.08%
1759.91/1765.73 c 1766 5488 4422 1 -36.0000 -97.2295 170.08%
1765.89/1771.79 c 1772 5552 4480 1 -36.0000 -97.2295 170.08%
1771.88/1777.77 c 1778 5582 4508 1 -36.0000 -97.2295 170.08%
1778.76/1784.68 c 1785 5626 4550 1 -36.0000 -97.2295 170.08%
1784.63/1790.50 c 1790 5685 4607 1 -36.0000 -97.2295 170.08%
1789.62/1795.57 c 1796 5700 4620 1 -36.0000 -97.2295 170.08%
1796.12/1802.06 c 1802 5725 4641 1 -36.0000 -97.2295 170.08%
1801.88/1807.88 c 1808 5762 4672 1 -36.0000 -97.2295 170.08%
1806.97/1813.01 c 1813 5816 4716 1 -36.0000 -97.2295 170.08%
1812.94/1818.90 c 1819 5863 4757 1 -36.0000 -97.2295 170.08%
1819.02/1825.08 c 1825 5891 4783 1 -36.0000 -97.2295 170.08%
1824.69/1830.79 c 1831 5956 4840 1 -36.0000 -97.2295 170.08%
1830.57/1836.66 c 1837 6029 4899 1 -36.0000 -97.2295 170.08%
1835.66/1841.72 c 1842 6037 4907 1 -36.0000 -97.2295 170.08%
1841.45/1847.54 c 1848 6073 4941 1 -36.0000 -97.2295 170.08%
1846.73/1852.85 c 1853 6090 4958 1 -36.0000 -97.2295 170.08%
1851.81/1857.91 c 1858 6127 4989 1 -36.0000 -97.2295 170.08%
1857.49/1863.67 c 1864 6162 5018 1 -36.0000 -97.2295 170.08%
1863.17/1869.33 c 1869 6189 5045 1 -36.0000 -97.2295 170.08%
1869.35/1875.55 c 1876 6208 5064 1 -36.0000 -97.2295 170.08%
1875.24/1881.42 c 1881 6273 5117 1 -36.0000 -97.2295 170.08%
1880.22/1886.48 c 1886 6299 5141 1 -36.0000 -97.2295 170.08%
1885.41/1891.65 c 1892 6325 5165 1 -36.0000 -97.2295 170.08%
1891.28/1897.58 c 1898 6346 5184 1 -36.0000 -97.2295 170.08%
1896.47/1902.74 c 1903 6382 5220 1 -36.0000 -97.2295 170.08%
1902.86/1909.18 c 1909 6402 5240 1 -36.0000 -97.2295 170.08%
1909.03/1915.34 c 1915 6432 5270 1 -36.0000 -97.2295 170.08%
1914.02/1920.39 c 1920 6471 5309 1 -36.0000 -97.1313 169.81%
1919.30/1925.60 c 1926 6511 5349 1 -36.0000 -97.0557 169.60%
1924.49/1930.89 c 1931 6546 5384 1 -36.0000 -96.9851 169.40%
1931.17/1937.50 c 1938 6605 5429 1 -36.0000 -96.9851 169.40%
1937.45/1943.88 c 1944 6701 5483 1 -36.0000 -96.9851 169.40%
1943.13/1949.51 c 1950 6738 5516 1 -36.0000 -96.9649 169.35%
1949.01/1955.40 c 1955 6771 5539 1 -36.0000 -96.9649 169.35%
1954.99/1961.45 c 1961 6849 5595 1 -36.0000 -96.9552 169.32%
1960.37/1966.87 c 1967 6895 5627 1 -36.0000 -96.9552 169.32%
1965.56/1972.10 c 1972 6941 5663 1 -36.0000 -96.9552 169.32%
1971.04/1977.56 c 1978 6998 5704 1 -36.0000 -96.9552 169.32%
1977.42/1983.97 c 1984 7055 5747 1 -36.0000 -96.9178 169.22%
1983.30/1989.88 c 1990 7102 5784 1 -36.0000 -96.9178 169.22%
1988.68/1995.22 c 1995 7151 5821 1 -36.0000 -96.8792 169.11%
1995.57/2002.16 c 2002 7223 5869 1 -36.0000 -96.8746 169.10%
2000.74/2007.34 c 2007 7297 5921 1 -36.0000 -96.8557 169.04%
2005.83/2012.47 c 2012 7346 5952 1 -36.0000 -96.8361 168.99%
2011.21/2017.83 c 2018 7388 5986 1 -36.0000 -96.8280 168.97%
2017.29/2023.90 c 2024 7446 6030 1 -36.0000 -96.8102 168.92%
2022.27/2028.96 c 2029 7513 6079 1 -36.0000 -96.8102 168.92%
2027.76/2034.49 c 2034 7573 6119 1 -36.0000 -96.8058 168.90%
2034.24/2040.99 c 2041 7607 6143 1 -36.0000 -96.8058 168.90%
2039.81/2046.55 c 2047 7678 6190 1 -36.0000 -96.8058 168.90%
2046.19/2052.90 c 2053 7716 6220 1 -36.0000 -96.8058 168.90%
2052.07/2058.87 c 2059 7755 6255 1 -36.0000 -96.7863 168.85%
2057.45/2064.23 c 2064 7790 6282 1 -36.0000 -96.7863 168.85%
2062.74/2069.58 c 2070 7849 6333 1 -36.0000 -96.7863 168.85%
2070.11/2076.91 c 2077 7906 6374 1 -36.0000 -96.6723 168.53%
2076.39/2083.22 c 2083 7990 6426 1 -36.0000 -96.6723 168.53%
2081.87/2088.74 c 2089 8049 6467 1 -36.0000 -96.6723 168.53%
2087.66/2094.53 c 2095 8108 6506 1 -36.0000 -96.6723 168.53%
2093.26/2100.19 c 2100 8165 6557 1 -36.0000 -96.6641 168.51%
2098.53/2105.45 c 2105 8202 6590 1 -36.0000 -96.6641 168.51%
2103.71/2110.61 c 2111 8256 6630 1 -36.0000 -96.6420 168.45%
2109.39/2116.36 c 2116 8322 6682 1 -36.0000 -96.6420 168.45%
2114.68/2121.69 c 2122 8344 6698 1 -36.0000 -96.6096 168.36%
2120.46/2127.49 c 2127 8401 6743 1 -36.0000 -96.6096 168.36%
2126.63/2133.66 c 2134 8463 6783 1 -36.0000 -96.6096 168.36%
2131.72/2138.76 c 2139 8521 6823 1 -36.0000 -96.6096 168.36%
2138.40/2145.43 c 2145 8592 6874 1 -36.0000 -96.6096 168.36%
2144.58/2151.67 c 2152 8628 6900 1 -36.0000 -96.6096 168.36%
2150.26/2157.35 c 2157 8653 6919 1 -36.0000 -96.6096 168.36%
2155.95/2163.05 c 2163 8707 6959 1 -36.0000 -96.5624 168.23%
2163.62/2170.70 c 2171 8772 7000 1 -36.0000 -96.5624 168.23%
2169.01/2176.15 c 2176 8828 7044 1 -36.0000 -96.5059 168.07%
2174.58/2181.78 c 2182 8857 7067 1 -36.0000 -96.5033 168.06%
2179.88/2187.08 c 2187 8898 7094 1 -36.0000 -96.5033 168.06%
2185.15/2192.37 c 2192 8939 7127 1 -36.0000 -96.4948 168.04%
2191.13/2198.38 c 2198 8990 7162 1 -36.0000 -96.4948 168.04%
2197.01/2204.23 c 2204 9016 7186 1 -36.0000 -96.4621 167.95%
2203.59/2210.85 c 2211 9037 7203 1 -36.0000 -96.4621 167.95%
2208.78/2216.02 c 2216 9070 7230 1 -36.0000 -96.4621 167.95%
2215.06/2222.34 c 2222 9102 7258 1 -36.0000 -96.4621 167.95%
2221.04/2228.36 c 2228 9158 7302 1 -36.0000 -96.4621 167.95%
2226.12/2233.48 c 2233 9197 7333 1 -36.0000 -96.4320 167.87%
2231.50/2238.82 c 2239 9267 7379 1 -36.0000 -96.4320 167.87%
2236.59/2243.91 c 2244 9327 7431 1 -36.0000 -96.4320 167.87%
2241.97/2249.34 c 2249 9378 7470 1 -36.0000 -96.4320 167.87%
2248.85/2256.20 c 2256 9411 7495 1 -36.0000 -96.4320 167.87%
2253.82/2261.26 c 2261 9468 7540 1 -36.0000 -96.4016 167.78%
2259.31/2266.75 c 2267 9508 7574 1 -36.0000 -96.3896 167.75%
2265.19/2272.69 c 2273 9550 7602 1 -36.0000 -96.3896 167.75%
2271.16/2278.69 c 2279 9586 7624 1 -36.0000 -96.3495 167.64%
2276.65/2284.19 c 2284 9639 7663 1 -36.0000 -96.3495 167.64%
2282.02/2289.58 c 2290 9684 7696 1 -36.0000 -96.3169 167.55%
2288.01/2295.54 c 2296 9707 7711 1 -36.0000 -96.3169 167.55%
2294.40/2302.01 c 2302 9723 7725 1 -36.0000 -96.3169 167.55%
2301.36/2308.97 c 2309 9747 7743 1 -36.0000 -96.2736 167.43%
2307.34/2314.92 c 2315 9777 7763 1 -36.0000 -96.2736 167.43%
2312.44/2320.07 c 2320 9800 7784 1 -36.0000 -96.2736 167.43%
2318.20/2325.87 c 2326 9836 7812 1 -36.0000 -96.2736 167.43%
2323.28/2330.98 c 2331 9866 7836 1 -36.0000 -96.2736 167.43%
2329.47/2337.18 c 2337 9906 7866 1 -36.0000 -96.2322 167.31%
2335.14/2342.86 c 2343 9965 7905 1 -36.0000 -96.2315 167.31%
2340.82/2348.58 c 2349 10051 7965 1 -36.0000 -96.2315 167.31%
2346.11/2353.83 c 2354 10095 8001 1 -36.0000 -96.2099 167.25%
2351.59/2359.35 c 2359 10139 8035 1 -36.0000 -96.2099 167.25%
2357.07/2364.84 c 2365 10199 8083 1 -36.0000 -96.2099 167.25%
2362.06/2369.87 c 2370 10262 8130 1 -36.0000 -96.2011 167.23%
2368.04/2375.85 c 2376 10304 8160 1 -36.0000 -96.1663 167.13%
2373.72/2381.55 c 2382 10361 8207 1 -36.0000 -96.1663 167.13%
2379.10/2386.97 c 2387 10405 8243 1 -36.0000 -96.1654 167.13%
2385.38/2393.24 c 2393 10455 8285 1 -36.0000 -96.1654 167.13%
2391.57/2399.45 c 2399 10498 8318 1 -36.0000 -96.1334 167.04%
2398.34/2406.28 c 2406 10534 8342 1 -36.0000 -96.1334 167.04%
2404.24/2412.12 c 2412 10599 8391 1 -36.0000 -96.1226 167.01%
2409.41/2417.35 c 2417 10655 8435 1 -36.0000 -96.1085 166.97%
2414.90/2422.82 c 2423 10712 8478 1 -36.0000 -96.1085 166.97%
2420.58/2428.54 c 2429 10767 8525 1 -36.0000 -96.0673 166.85%
2426.08/2434.06 c 2434 10804 8552 1 -36.0000 -96.0583 166.83%
2433.23/2441.22 c 2441 10843 8585 1 -36.0000 -96.0583 166.83%
2439.03/2447.07 c 2447 10876 8604 1 -36.0000 -96.0568 166.82%
2444.50/2452.53 c 2453 10920 8634 1 -36.0000 -96.0568 166.82%
2450.48/2458.56 c 2459 10988 8686 1 -36.0000 -96.0402 166.78%
2455.97/2464.04 c 2464 11034 8720 1 -36.0000 -96.0402 166.78%
2461.24/2469.38 c 2469 11092 8764 1 -36.0000 -96.0402 166.78%
2467.53/2475.61 c 2476 11146 8806 1 -36.0000 -96.0116 166.70%
2472.81/2480.95 c 2481 11208 8848 1 -36.0000 -96.0116 166.70%
2478.19/2486.33 c 2486 11269 8897 1 -36.0000 -96.0116 166.70%
2483.77/2491.97 c 2492 11341 8951 1 -36.0000 -95.9788 166.61%
2489.65/2497.82 c 2498 11377 8975 1 -36.0000 -95.9788 166.61%
2495.24/2503.41 c 2503 11448 9024 1 -36.0000 -95.9788 166.61%
2500.42/2508.60 c 2509 11507 9073 1 -36.0000 -95.9771 166.60%
2506.10/2514.39 c 2514 11563 9119 1 -36.0000 -95.9686 166.58%
2511.68/2519.91 c 2520 11620 9162 1 -36.0000 -95.9686 166.58%
2518.77/2527.10 c 2527 11672 9200 1 -36.0000 -95.9686 166.58%
2523.94/2532.22 c 2532 11719 9225 1 -36.0000 -95.9686 166.58%
2529.43/2537.75 c 2538 11788 9268 1 -36.0000 -95.9125 166.42%
2535.42/2543.74 c 2544 11842 9300 1 -36.0000 -95.8770 166.32%
2541.20/2549.52 c 2550 11887 9329 1 -36.0000 -95.8770 166.32%
2546.48/2554.86 c 2555 11935 9357 1 -36.0000 -95.8651 166.29%
2552.15/2560.55 c 2561 12019 9413 1 -36.0000 -95.8328 166.20%
2558.13/2566.58 c 2567 12096 9464 1 -36.0000 -95.8097 166.14%
2563.91/2572.37 c 2572 12164 9504 1 -36.0000 -95.8005 166.11%
2569.29/2577.75 c 2578 12201 9525 1 -36.0000 -95.7985 166.11%
2575.68/2584.17 c 2584 12235 9547 1 -36.0000 -95.7985 166.11%
2580.76/2589.20 c 2589 12263 9567 1 -36.0000 -95.7985 166.11%
2586.14/2594.66 c 2595 12329 9613 1 -36.0000 -95.7985 166.11%
2591.73/2600.26 c 2600 12386 9650 1 -36.0000 -95.7985 166.11%
2597.01/2605.55 c 2606 12437 9683 1 -36.0000 -95.7823 166.06%
2602.60/2611.12 c 2611 12490 9722 1 -36.0000 -95.6954 165.82%
2609.77/2618.37 c 2618 12522 9744 1 -36.0000 -95.6954 165.82%
2615.75/2624.36 c 2624 12565 9771 1 -36.0000 -95.6941 165.82%
2621.14/2629.73 c 2630 12604 9794 1 -36.0000 -95.6053 165.57%
2628.21/2636.86 c 2637 12688 9848 1 -36.0000 -95.6053 165.57%
2634.59/2643.22 c 2643 12711 9867 1 -36.0000 -95.6053 165.57%
2641.07/2649.78 c 2650 12753 9893 1 -36.0000 -95.6053 165.57%
2642.48/2651.12 c * 2651 12778 9904 1 -37.0000 -95.6053 158.39%
2646.96/2655.64 c 2656 12814 9681 1 -37.0000 -95.6035 158.39%
2652.35/2661.10 c 2661 12870 9713 1 -37.0000 -95.6035 158.39%
2658.33/2667.01 c 2667 12937 9752 1 -37.0000 -95.5705 158.30%
2664.10/2672.82 c 2673 13020 9793 1 -37.0000 -95.5003 158.11%
2669.39/2678.19 c 2678 13100 9839 1 -37.0000 -95.4683 158.02%
2675.27/2684.08 c 2684 13147 9864 1 -37.0000 -95.4683 158.02%
2682.04/2690.84 c 2691 13199 9894 1 -37.0000 -95.4066 157.86%
2687.33/2696.16 c 2696 13249 9922 1 -37.0000 -95.4066 157.86%
2692.42/2701.21 c 2701 13290 9947 1 -37.0000 -95.3803 157.78%
2700.30/2709.18 c 2709 13321 9962 1 -37.0000 -95.3803 157.78%
2705.87/2714.71 c 2715 13378 9991 1 -37.0000 -95.3803 157.78%
2711.55/2720.47 c 2720 13444 10035 1 -37.0000 -95.3744 157.77%
2717.93/2726.80 c 2727 13500 10071 1 -37.0000 -95.3709 157.76%
2723.81/2732.72 c 2733 13561 10104 1 -37.0000 -95.3709 157.76%
2731.29/2740.20 c 2740 13586 10121 1 -37.0000 -95.3709 157.76%
2736.97/2745.99 c 2746 13648 10155 1 -37.0000 -95.3709 157.76%
2743.07/2752.11 c 2752 13718 10197 1 -37.0000 -95.3652 157.74%
2749.83/2758.85 c 2759 13764 10225 1 -37.0000 -95.3652 157.74%
2756.51/2765.58 c 2766 13799 10246 1 -37.0000 -95.3652 157.74%
2762.01/2771.04 c 2771 13831 10268 1 -37.0000 -95.3652 157.74%
2767.68/2776.70 c 2777 13854 10279 1 -37.0000 -95.3523 157.71%
2772.76/2781.86 c 2782 13909 10310 1 -37.0000 -95.3523 157.71%
2778.64/2787.76 c 2788 13961 10340 1 -37.0000 -95.3523 157.71%
2784.13/2793.25 c 2793 14044 10389 1 -37.0000 -95.3460 157.69%
2789.60/2798.74 c 2799 14095 10418 1 -37.0000 -95.3460 157.69%
2795.19/2804.33 c 2804 14204 10481 1 -37.0000 -95.2938 157.55%
2800.28/2809.42 c 2809 14257 10516 1 -37.0000 -95.2883 157.54%
2805.46/2814.65 c 2815 14321 10548 1 -37.0000 -95.2883 157.54%
2810.74/2819.90 c 2820 14355 10568 1 -37.0000 -95.2883 157.54%
2817.12/2826.36 c 2826 14445 10616 1 -37.0000 -95.2883 157.54%
2822.80/2832.02 c 2832 14548 10665 1 -37.0000 -95.2671 157.48%
2828.18/2837.45 c 2837 14627 10714 1 -37.0000 -95.2671 157.48%
2834.06/2843.34 c 2843 14713 10764 1 -37.0000 -95.2637 157.47%
2839.14/2848.43 c 2848 14750 10785 1 -37.0000 -95.2594 157.46%
2844.33/2853.62 c 2854 14798 10815 1 -37.0000 -95.2594 157.46%
2849.51/2858.87 c 2859 14864 10859 1 -37.0000 -95.2594 157.46%
2854.89/2864.21 c 2864 14891 10874 1 -37.0000 -95.2582 157.45%
2860.48/2869.82 c 2870 14927 10892 1 -37.0000 -95.2582 157.45%
2865.67/2875.06 c 2875 14998 10935 1 -37.0000 -95.2566 157.45%
2871.34/2880.70 c 2881 15091 10984 1 -37.0000 -95.2480 157.43%
2878.63/2888.08 c 2888 15159 11028 1 -37.0000 -95.2480 157.43%
2884.61/2894.07 c 2894 15194 11047 1 -37.0000 -95.2480 157.43%
2889.88/2899.36 c 2899 15273 11098 1 -37.0000 -95.2480 157.43%
2895.46/2904.99 c 2905 15313 11120 1 -37.0000 -95.2480 157.43%
2900.55/2910.03 c 2910 15360 11147 1 -37.0000 -95.2480 157.43%
2905.83/2915.36 c 2915 15385 11160 1 -37.0000 -95.2480 157.43%
2911.21/2920.70 c 2921 15491 11222 1 -37.0000 -95.2004 157.30%
2916.29/2925.84 c 2926 15556 11263 1 -37.0000 -95.2000 157.30%
2922.17/2931.74 c 2932 15635 11310 1 -37.0000 -95.1879 157.26%
2927.85/2937.41 c 2937 15714 11359 1 -37.0000 -95.1879 157.26%
2933.45/2943.10 c 2943 15758 11383 1 -37.0000 -95.1879 157.26%
2939.32/2948.93 c 2949 15855 11440 1 -37.0000 -95.1879 157.26%
2944.70/2954.34 c 2954 15923 11478 1 -37.0000 -95.1748 157.23%
2950.18/2959.82 c 2960 16001 11520 1 -37.0000 -95.1748 157.23%
2956.76/2966.49 c 2966 16046 11549 1 -37.0000 -95.1748 157.23%
2962.25/2971.97 c 2972 16072 11563 1 -37.0000 -95.1748 157.23%
2969.83/2979.54 c 2980 16128 11597 1 -37.0000 -95.1414 157.14%
2975.11/2984.84 c 2985 16192 11631 1 -37.0000 -95.1414 157.14%
2980.99/2990.77 c 2991 16246 11663 1 -37.0000 -95.1414 157.14%
2988.07/2997.84 c 2998 16287 11692 1 -37.0000 -95.1146 157.07%
2993.15/3002.96 c 3003 16327 11714 1 -37.0000 -95.1146 157.07%
2998.64/3008.45 c 3008 16338 11719 1 -37.0000 -95.1146 157.07%
3005.71/3015.56 c 3016 16384 11741 1 -37.0000 -95.1146 157.07%
3011.39/3021.27 c 3021 16406 11751 1 -37.0000 -95.1146 157.07%
3017.67/3027.55 c 3028 16460 11783 1 -37.0000 -95.1146 157.07%
3022.66/3032.58 c 3033 16511 11820 1 -37.0000 -95.1146 157.07%
3027.74/3037.64 c 3038 16553 11848 1 -37.0000 -95.1146 157.07%
3033.43/3043.39 c 3043 16600 11881 1 -37.0000 -95.1146 157.07%
3038.81/3048.70 c 3049 16698 11935 1 -37.0000 -95.1146 157.07%
3044.30/3054.22 c 3054 16739 11962 1 -37.0000 -95.0647 156.93%
3049.78/3059.70 c 3060 16793 11994 1 -37.0000 -95.0647 156.93%
3054.96/3065.01 c 3065 16840 12023 1 -37.0000 -95.0598 156.92%
3060.34/3070.32 c 3070 16864 12041 1 -37.0000 -95.0598 156.92%
3066.03/3076.05 c 3076 16891 12054 1 -37.0000 -95.0598 156.92%
3072.70/3082.76 c 3083 16930 12073 1 -37.0000 -95.0598 156.92%
3078.19/3088.25 c 3088 16985 12106 1 -37.0000 -95.0598 156.92%
3083.78/3093.85 c 3094 17054 12141 1 -37.0000 -95.0598 156.92%
3089.07/3099.19 c 3099 17148 12195 1 -37.0000 -95.0594 156.92%
3095.14/3105.26 c 3105 17203 12230 1 -37.0000 -95.0333 156.85%
3101.22/3111.37 c 3111 17262 12269 1 -37.0000 -95.0333 156.85%
3108.39/3118.50 c 3118 17300 12289 1 -37.0000 -95.0150 156.80%
3113.48/3123.61 c 3124 17328 12303 1 -37.0000 -95.0150 156.80%
3119.26/3129.48 c 3129 17374 12329 1 -37.0000 -95.0150 156.80%
3125.85/3136.07 c 3136 17395 12344 1 -37.0000 -95.0150 156.80%
3131.42/3141.61 c 3142 17420 12359 1 -37.0000 -95.0150 156.80%
3137.30/3147.50 c 3148 17457 12384 1 -37.0000 -95.0150 156.80%
3143.28/3153.50 c 3154 17501 12414 1 -37.0000 -95.0150 156.80%
3149.07/3159.36 c 3159 17551 12438 1 -37.0000 -95.0150 156.80%
3155.04/3165.34 c 3165 17636 12487 1 -37.0000 -94.9964 156.75%
3162.32/3172.66 c 3173 17693 12526 1 -37.0000 -94.9887 156.73%
3168.30/3178.65 c 3179 17730 12545 1 -37.0000 -94.9850 156.72%
3173.99/3184.38 c 3184 17810 12591 1 -37.0000 -94.9227 156.55%
3179.85/3190.28 c 3190 17853 12614 1 -37.0000 -94.9227 156.55%
3187.03/3197.45 c 3197 17896 12639 1 -37.0000 -94.9079 156.51%
3194.20/3204.60 c 3205 17966 12677 1 -37.0000 -94.9079 156.51%
3200.29/3210.73 c 3211 18034 12711 1 -37.0000 -94.8886 156.46%
3205.47/3215.94 c 3216 18103 12754 1 -37.0000 -94.8886 156.46%
3211.05/3221.54 c 3222 18130 12767 1 -37.0000 -94.8886 156.46%
3218.54/3229.10 c 3229 18174 12793 1 -37.0000 -94.8886 156.46%
3224.01/3234.52 c 3235 18215 12812 1 -37.0000 -94.8886 156.46%
3229.19/3239.70 c 3240 18291 12854 1 -37.0000 -94.8793 156.43%
3234.67/3245.22 c 3245 18333 12880 1 -37.0000 -94.8793 156.43%
3240.16/3250.72 c 3251 18407 12930 1 -37.0000 -94.8269 156.29%
3246.04/3256.65 c 3257 18450 12959 1 -37.0000 -94.8269 156.29%
3251.44/3262.04 c 3262 18529 13012 1 -37.0000 -94.8269 156.29%
3257.01/3267.67 c 3268 18620 13069 1 -37.0000 -94.8249 156.28%
3263.50/3274.13 c 3274 18676 13105 1 -37.0000 -94.8084 156.24%
3268.88/3279.54 c 3280 18727 13138 1 -37.0000 -94.8084 156.24%
3274.16/3284.81 c 3285 18793 13180 1 -37.0000 -94.8078 156.24%
3279.24/3289.96 c 3290 18866 13229 1 -37.0000 -94.8078 156.24%
3285.02/3295.71 c 3296 18952 13283 1 -37.0000 -94.8078 156.24%
3290.60/3301.39 c 3301 19030 13323 1 -37.0000 -94.8078 156.24%
3295.79/3306.58 c 3307 19106 13369 1 -37.0000 -94.8006 156.22%
3301.17/3311.92 c 3312 19174 13409 1 -37.0000 -94.7666 156.13%
3306.45/3317.20 c 3317 19256 13455 1 -37.0000 -94.7456 156.07%
3313.93/3324.72 c 3325 19359 13512 1 -37.0000 -94.7456 156.07%
3320.01/3330.88 c 3331 19443 13550 1 -37.0000 -94.7456 156.07%
3325.10/3335.95 c 3336 19474 13569 1 -37.0000 -94.7456 156.07%
3330.98/3341.82 c 3342 19538 13601 1 -37.0000 -94.7456 156.07%
3336.96/3347.82 c 3348 19615 13644 1 -37.0000 -94.7456 156.07%
3342.34/3353.29 c 3353 19675 13672 1 -37.0000 -94.7456 156.07%
3347.72/3358.67 c 3359 19735 13704 1 -37.0000 -94.7456 156.07%
3353.11/3364.10 c 3364 19832 13751 1 -37.0000 -94.7456 156.07%
3358.38/3369.34 c 3369 19871 13772 1 -37.0000 -94.7456 156.07%
3363.76/3374.72 c 3375 19938 13807 1 -37.0000 -94.7456 156.07%
3371.05/3382.06 c 3382 20025 13850 1 -37.0000 -94.7396 156.05%
3376.43/3387.42 c 3387 20089 13880 1 -37.0000 -94.7396 156.05%
3381.71/3392.72 c 3393 20180 13931 1 -37.0000 -94.7396 156.05%
3388.10/3399.19 c 3399 20252 13967 1 -37.0000 -94.6999 155.95%
3393.47/3404.50 c 3404 20351 14020 1 -37.0000 -94.6999 155.95%
3398.46/3409.57 c 3410 20375 14032 1 -37.0000 -94.6999 155.95%
3404.54/3415.67 c 3416 20411 14046 1 -37.0000 -94.6457 155.80%
3409.72/3420.81 c 3421 20457 14068 1 -37.0000 -94.6457 155.80%
3415.40/3426.57 c 3427 20544 14109 1 -37.0000 -94.6457 155.80%
3421.38/3432.53 c 3433 20619 14146 1 -37.0000 -94.6457 155.80%
3426.77/3437.99 c 3438 20697 14188 1 -37.0000 -94.6197 155.73%
3432.45/3443.61 c 3444 20748 14215 1 -37.0000 -94.6197 155.73%
3438.43/3449.62 c 3450 20779 14236 1 -37.0000 -94.6197 155.73%
3444.82/3456.07 c 3456 20830 14269 1 -37.0000 -94.6136 155.71%
3450.49/3461.75 c 3462 20901 14304 1 -37.0000 -94.6136 155.71%
3455.68/3466.93 c 3467 21008 14357 1 -37.0000 -94.6136 155.71%
3461.46/3472.73 c 3473 21103 14406 1 -37.0000 -94.6136 155.71%
3466.75/3478.09 c 3478 21159 14436 1 -37.0000 -94.6136 155.71%
3471.92/3483.27 c 3483 21247 14484 1 -37.0000 -94.5999 155.68%
3477.40/3488.73 c 3489 21336 14531 1 -37.0000 -94.5676 155.59%
3484.58/3495.93 c 3496 21404 14573 1 -37.0000 -94.5667 155.59%
3490.07/3501.46 c 3501 21520 14633 1 -37.0000 -94.5667 155.59%
3495.26/3506.68 c 3507 21566 14661 1 -37.0000 -94.5667 155.59%
3500.34/3511.79 c 3512 21587 14672 1 -37.0000 -94.5360 155.50%
3506.32/3517.76 c 3518 21661 14706 1 -37.0000 -94.5360 155.50%
3511.61/3523.02 c 3523 21725 14744 1 -37.0000 -94.5274 155.48%
3516.59/3528.04 c 3528 21756 14763 1 -37.0000 -94.5267 155.48%
3521.68/3533.14 c 3533 21839 14804 1 -37.0000 -94.5178 155.45%
3527.16/3538.62 c 3539 21885 14832 1 -37.0000 -94.5178 155.45%
3532.84/3544.30 c 3544 21934 14857 1 -37.0000 -94.5178 155.45%
3538.02/3549.58 c 3550 22007 14888 1 -37.0000 -94.5178 155.45%
3543.40/3554.98 c 3555 22058 14909 1 -37.0000 -94.5045 155.42%
3549.08/3560.61 c 3561 22109 14932 1 -37.0000 -94.5045 155.42%
3554.27/3565.80 c 3566 22136 14945 1 -37.0000 -94.5045 155.42%
3560.35/3571.97 c 3572 22208 14983 1 -37.0000 -94.5026 155.41%
3565.54/3577.18 c 3577 22265 15016 1 -37.0000 -94.5026 155.41%
3571.02/3582.69 c 3583 22366 15065 1 -37.0000 -94.5026 155.41%
3576.51/3588.12 c 3588 22429 15100 1 -37.0000 -94.4972 155.40%
3582.58/3594.20 c 3594 22540 15151 1 -37.0000 -94.4397 155.24%
3586.56/3598.24 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.56/3598.24 c Total Time : 3598.22
3586.56/3598.24 c solving : 3598.22
3586.56/3598.24 c presolving : 0.45 (included in solving)
3586.56/3598.24 c B&B Tree :
3586.56/3598.24 c nodes (total) : 1
3586.56/3598.24 c Solution :
3586.56/3598.24 c Solutions found : 5
3586.56/3598.24 c Primal Bound : -3.70000000000000e+01
3586.56/3598.24 c Dual Bound : -9.44396720440846e+01
3586.56/3598.24 c Gap : 155.24236 %
3586.56/3598.24 c * Warning: final gap: 1.55242e+00 is greater than SCIPepsilon: 1.00000e-09
3586.66/3598.32 o -37
3586.66/3598.32 s SATISFIABLE
3586.66/3598.32 v -x500 -x499 -x498 -x497 -x496 x495 -x494 -x493 -x492 -x491 x490 -x489 x488 -x487 -x486 x485 x484 -x483 -x482 -x481 -x480 -x479
3586.66/3598.32 v -x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 x470 x469 x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457
3586.66/3598.32 v x456 -x455 -x454 -x453 -x452 x451 -x450 -x449 x448 x447 -x446 x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 x437 -x436 -x435
3586.66/3598.32 v -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 x423 -x422 -x421 -x420 -x419 x418 -x417 -x416 x415 x414 -x413
3586.66/3598.32 v -x412 -x411 -x410 -x409 -x408 -x407 x406 -x405 x404 -x403 -x402 -x401 x400 -x399 -x398 x397 -x396 -x395 x394 -x393 -x392
3586.66/3598.32 v -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 x382 -x381 -x380 -x379 x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371
3586.66/3598.32 v -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350
3586.66/3598.32 v -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329
3586.66/3598.32 v -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316 x315 -x314 x313 -x312 -x311 -x310 -x309 -x308
3586.66/3598.32 v -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286
3586.66/3598.32 v x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265
3586.66/3598.32 v -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244
3586.66/3598.32 v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224
3586.66/3598.32 v -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203
3586.66/3598.32 v -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 x182
3586.66/3598.32 v -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161
3586.66/3598.32 v -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140
3586.66/3598.32 v -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119
3586.66/3598.32 v -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98
3586.66/3598.32 v -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73
3586.66/3598.32 v -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48
3586.66/3598.32 v -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23
3586.66/3598.32 v -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 (61358 MiB free)
memory of node 1: 64473 MiB (57331 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464799-1722382194/watcher-4464799-1722382194 -o /tmp/evaluation-result-4464799-1722382194/solver-4464799-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722378594-30827 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464799-1722382194.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=32930, runsolver pid=32927
Current StackSize limit: 8192 KiB
[startup+0.100099 s]*
/proc/loadavg: 4.11 4.13 4.09 6/249 32941
/proc/meminfo: memFree=121479496/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=50264 memory=37920 CPUtime=0.1 cores=0,2
/proc/32930/stat : 32930 (fscip) R 32927 32930 30817 0 -1 4194304 7326 0 0 0 7 3 0 0 20 0 1 0 4815897 51470336 9480 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 12566 9480 2379 3035 0 8962 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50264 KiB
Current children cumulated memory: 37920 KiB
[startup+0.224414 s]*
/proc/loadavg: 4.11 4.13 4.09 5/251 32943
/proc/meminfo: memFree=121414500/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=80844 memory=70436 CPUtime=0.23 cores=0,2
/proc/32930/stat : 32930 (fscip) R 32927 32930 30817 0 -1 4194304 15396 0 0 0 17 6 0 0 20 0 1 0 4815897 82784256 17609 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 20211 17609 2587 3035 0 16607 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 80844 KiB
Current children cumulated memory: 70436 KiB
[startup+0.313845 s]*
/proc/loadavg: 4.11 4.13 4.09 4/247 32943
/proc/meminfo: memFree=122028880/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=97044 memory=85236 CPUtime=0.31 cores=0,2
/proc/32930/stat : 32930 (fscip) R 32927 32930 30817 0 -1 4194304 19088 0 0 0 24 7 0 0 20 0 1 0 4815897 99373056 21309 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 24261 21309 2630 3035 0 20657 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 97044 KiB
Current children cumulated memory: 85236 KiB
[startup+0.700329 s]
/proc/loadavg: 4.11 4.13 4.09 4/244 32951
/proc/meminfo: memFree=122000420/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=119232 memory=105264 CPUtime=0.69 cores=0,2
/proc/32930/stat : 32930 (fscip) R 32927 32930 30817 0 -1 4194304 24135 0 0 0 60 9 0 0 20 0 1 0 4815897 122093568 26316 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 29808 26316 2662 3035 0 26204 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 119232 KiB
Current children cumulated memory: 105264 KiB
[startup+1.5004 s]
/proc/loadavg: 4.10 4.13 4.09 4/243 32997
/proc/meminfo: memFree=121919268/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=207904 memory=167212 CPUtime=1.47 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 45176 0 0 0 133 14 0 0 20 0 3 0 4815897 212893696 41803 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 51976 41803 2934 3035 0 46572 0
[pid=32930/tid=32960] ppid=32927 vsize=207904 memory=0 CPUtime=0.69 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 16525 0 0 0 65 4 0 0 20 0 3 0 4815971 212893696 41803 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=207904 memory=12036 CPUtime=0 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4815980 212893696 41803 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 207904 KiB
Current children cumulated memory: 167212 KiB
[startup+3.11239 s]
/proc/loadavg: 4.10 4.13 4.09 6/251 33135
/proc/meminfo: memFree=121649288/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=273440 memory=186492 CPUtime=3.08 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 58829 0 0 0 292 16 0 0 20 0 3 0 4815897 280002560 46623 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 68360 46623 2950 3035 0 54532 0
[pid=32930/tid=32960] ppid=32927 vsize=273440 memory=12036 CPUtime=2.3 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 30173 0 0 0 224 6 0 0 20 0 3 0 4815971 280002560 46623 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=273440 memory=180440 CPUtime=0 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4815980 280002560 46623 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 273440 KiB
Current children cumulated memory: 186492 KiB
[startup+6.30037 s]
/proc/loadavg: 4.17 4.14 4.09 5/255 33141
/proc/meminfo: memFree=121309228/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=273440 memory=191984 CPUtime=6.26 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 70531 0 0 0 609 17 0 0 20 0 3 0 4815897 280002560 47996 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 68360 47996 2950 3035 0 59912 0
[pid=32930/tid=32960] ppid=32927 vsize=273440 memory=190492 CPUtime=5.48 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 41873 0 0 0 541 7 0 0 20 0 3 0 4815971 280002560 47996 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=273440 memory=12036 CPUtime=0 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4815980 280002560 47996 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 273440 KiB
Current children cumulated memory: 191984 KiB
[startup+12.7004 s]
/proc/loadavg: 4.16 4.14 4.09 5/256 33198
/proc/meminfo: memFree=121286688/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=273440 memory=196676 CPUtime=12.63 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 91863 0 0 0 1245 18 0 0 20 0 3 0 4815897 280002560 49169 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 68360 49169 2950 3035 0 62836 0
[pid=32930/tid=32960] ppid=32927 vsize=273440 memory=12036 CPUtime=11.85 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 63201 0 0 0 1177 8 0 0 20 0 3 0 4815971 280002560 49169 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=273440 memory=196072 CPUtime=0 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4815980 280002560 49169 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 273440 KiB
Current children cumulated memory: 196676 KiB
[startup+25.5004 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 33202
/proc/meminfo: memFree=121262276/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=338976 memory=206220 CPUtime=25.39 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 115200 0 0 0 2520 19 0 0 20 0 3 0 4815897 347111424 51555 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 84744 51555 2950 3035 0 65217 0
[pid=32930/tid=32960] ppid=32927 vsize=338976 memory=204872 CPUtime=24.62 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 86534 0 0 0 2452 10 0 0 20 0 3 0 4815971 347111424 51555 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=338976 memory=203484 CPUtime=0 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 4815980 347111424 51555 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 338976 KiB
Current children cumulated memory: 206220 KiB
[startup+51.1128 s]
/proc/loadavg: 4.15 4.14 4.09 5/254 33205
/proc/meminfo: memFree=121165108/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=338976 memory=239060 CPUtime=50.93 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 153077 0 0 0 5070 23 0 0 20 0 3 0 4815897 347111424 59765 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 84744 59765 2950 3035 0 74922 0
[pid=32930/tid=32960] ppid=32927 vsize=338976 memory=239028 CPUtime=50.15 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 124362 0 0 0 5002 13 0 0 20 0 3 0 4815971 347111424 59765 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=338976 memory=239028 CPUtime=0 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4815980 347111424 59765 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 338976 KiB
Current children cumulated memory: 239060 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 33213
/proc/meminfo: memFree=121128500/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=338976 memory=239252 CPUtime=101.95 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 161814 0 0 0 10171 24 0 0 20 0 3 0 4815897 347111424 59813 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 84744 59813 2998 3035 0 74922 0
[pid=32930/tid=32960] ppid=32927 vsize=338976 memory=239252 CPUtime=101.17 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 133057 0 0 0 10103 14 0 0 20 0 3 0 4815971 347111424 59813 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=338976 memory=239252 CPUtime=0 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 4815980 347111424 59813 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 338976 KiB
Current children cumulated memory: 239252 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 33225
/proc/meminfo: memFree=120988028/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=470048 memory=298896 CPUtime=161.77 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 206093 0 0 0 16149 28 0 0 20 0 3 0 4815897 481329152 74724 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 117512 74724 2998 3035 0 100011 0
[pid=32930/tid=32960] ppid=32927 vsize=470048 memory=275096 CPUtime=160.99 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 177263 0 0 0 16081 18 0 0 20 0 3 0 4815971 481329152 74724 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=470048 memory=2316 CPUtime=0 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 3 0 4815980 481329152 74724 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 470048 KiB
Current children cumulated memory: 298896 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/252 33235
/proc/meminfo: memFree=120899404/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=535584 memory=358048 CPUtime=221.58 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 249801 0 0 0 22126 32 0 0 20 0 3 0 4815897 548438016 89512 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 133896 89512 2998 3035 0 122235 0
[pid=32930/tid=32960] ppid=32927 vsize=535584 memory=357660 CPUtime=220.79 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 220935 0 0 0 22057 22 0 0 20 0 3 0 4815971 548438016 89512 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=535584 memory=12036 CPUtime=0 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 47 0 0 0 0 0 0 0 20 0 3 0 4815980 548438016 89512 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 535584 KiB
Current children cumulated memory: 358048 KiB
################
# More data... #
################
[pid=32930] ppid=32927 vsize=1633180 memory=1525004 CPUtime=3451.09 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 1358605 0 0 0 344957 152 0 0 20 0 3 0 4815897 1672376320 381251 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 408295 381251 3302 3035 0 390019 0
[pid=32930/tid=32960] ppid=32927 vsize=1633180 memory=14936 CPUtime=3450.05 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 1328440 0 0 0 344873 132 0 0 20 0 3 0 4815971 1672376320 381251 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=1633180 memory=7512129078726068846 CPUtime=0.05 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 166 0 0 0 2 3 0 0 20 0 3 0 4815980 1672376320 381251 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 3451.09 s
Current children cumulated vsize: 1633180 KiB
Current children cumulated memory: 1525004 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/254 34972
/proc/meminfo: memFree=118532756/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=1633180 memory=1527408 CPUtime=3510.9 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 1363342 0 0 0 350937 153 0 0 20 0 3 0 4815897 1672376320 381852 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 408295 381852 3302 3035 0 390019 0
[pid=32930/tid=32960] ppid=32927 vsize=1633180 memory=1525032 CPUtime=3509.86 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 1333153 0 0 0 350853 133 0 0 20 0 3 0 4815971 1672376320 381852 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=1633180 memory=1527188 CPUtime=0.05 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 168 0 0 0 2 3 0 0 20 0 3 0 4815980 1672376320 381852 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 3510.9 s
Current children cumulated vsize: 1633180 KiB
Current children cumulated memory: 1527408 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/254 34983
/proc/meminfo: memFree=118484252/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=1633180 memory=1563328 CPUtime=3570.72 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 1376858 0 0 0 356915 157 0 0 20 0 3 0 4815897 1672376320 390832 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 408295 390832 3302 3035 0 399042 0
[pid=32930/tid=32960] ppid=32927 vsize=1633180 memory=1530496 CPUtime=3569.66 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 1346646 0 0 0 356830 136 0 0 20 0 3 0 4815971 1672376320 390832 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=1633180 memory=12036 CPUtime=0.05 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 170 0 0 0 2 3 0 0 20 0 3 0 4815980 1672376320 390832 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 3570.72 s
Current children cumulated vsize: 1633180 KiB
Current children cumulated memory: 1563328 KiB
[startup+3598.34 s]
# the end of solver process 32930 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.09 s, system=1.62285 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.12 4.12 5/254 34983
/proc/meminfo: memFree=118484228/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=1633180 memory=1563328 CPUtime=3572.43 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 1376906 0 0 0 357086 157 0 0 20 0 3 0 4815897 1672376320 390832 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 408295 390832 3302 3035 0 399042 0
[pid=32930/tid=32960] ppid=32927 vsize=1633180 memory=-7595720463122261373 CPUtime=3571.37 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 1346694 0 0 0 357001 136 0 0 20 0 3 0 4815971 1672376320 390832 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=1633180 memory=4572165843995750049 CPUtime=0.05 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 170 0 0 0 2 3 0 0 20 0 3 0 4815980 1672376320 390832 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 3572.43 s
Current children cumulated vsize: 1633180 KiB
Current children cumulated memory: 1563328 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.12 5/254 34985
/proc/meminfo: memFree=118483896/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=1633180 memory=1563496 CPUtime=3578.79 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 1377581 0 0 0 357722 157 0 0 20 0 3 0 4815897 1672376320 390874 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 408295 390874 3302 3035 0 399042 0
[pid=32930/tid=32960] ppid=32927 vsize=1633180 memory=14936 CPUtime=3577.74 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 1347369 0 0 0 357637 137 0 0 20 0 3 0 4815971 1672376320 390874 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=1633180 memory=12744 CPUtime=0.05 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 170 0 0 0 2 3 0 0 20 0 3 0 4815980 1672376320 390874 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 3578.79 s
Current children cumulated vsize: 1633180 KiB
Current children cumulated memory: 1563496 KiB
[startup+3593.6 s]
/proc/loadavg: 4.12 4.11 4.12 5/254 34985
/proc/meminfo: memFree=118483896/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=1633180 memory=1563516 CPUtime=3581.98 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 1377841 0 0 0 358041 157 0 0 20 0 3 0 4815897 1672376320 390879 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 408295 390879 3302 3035 0 399042 0
[pid=32930/tid=32960] ppid=32927 vsize=1633180 memory=1563496 CPUtime=3580.93 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 1347629 0 0 0 357956 137 0 0 20 0 3 0 4815971 1672376320 390879 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=1633180 memory=1563496 CPUtime=0.05 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 170 0 0 0 2 3 0 0 20 0 3 0 4815980 1672376320 390879 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 3581.98 s
Current children cumulated vsize: 1633180 KiB
Current children cumulated memory: 1563516 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.11 4.12 5/254 34986
/proc/meminfo: memFree=118483280/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=1633180 memory=1563904 CPUtime=3585.17 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 1378382 0 0 0 358360 157 0 0 20 0 3 0 4815897 1672376320 390976 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 408295 390976 3302 3035 0 399042 0
[pid=32930/tid=32960] ppid=32927 vsize=1633180 memory=32912 CPUtime=3584.12 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 1348170 0 0 0 358275 137 0 0 20 0 3 0 4815971 1672376320 390976 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=1633180 memory=1563880 CPUtime=0.05 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 170 0 0 0 2 3 0 0 20 0 3 0 4815980 1672376320 390976 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 3585.17 s
Current children cumulated vsize: 1633180 KiB
Current children cumulated memory: 1563904 KiB
[startup+3597.6 s]
/proc/loadavg: 4.11 4.11 4.12 5/254 34986
/proc/meminfo: memFree=118483280/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=1633180 memory=1563908 CPUtime=3585.96 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 1378461 0 0 0 358439 157 0 0 20 0 3 0 4815897 1672376320 390977 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 408295 390977 3302 3035 0 399042 0
[pid=32930/tid=32960] ppid=32927 vsize=1633180 memory=5548 CPUtime=3584.92 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 1348249 0 0 0 358355 137 0 0 20 0 3 0 4815971 1672376320 390977 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=1633180 memory=15860 CPUtime=0.05 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 170 0 0 0 2 3 0 0 20 0 3 0 4815980 1672376320 390977 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 3585.96 s
Current children cumulated vsize: 1633180 KiB
Current children cumulated memory: 1563908 KiB
[startup+3598 s]*
/proc/loadavg: 4.11 4.11 4.12 5/254 34986
/proc/meminfo: memFree=118483252/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=1633180 memory=1563916 CPUtime=3586.37 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 1378638 0 0 0 358480 157 0 0 20 0 3 0 4815897 1672376320 390979 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 408295 390979 3302 3035 0 399042 0
[pid=32930/tid=32960] ppid=32927 vsize=1633180 memory=-7595720463122261373 CPUtime=3585.33 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 1348449 0 0 0 358396 137 0 0 20 0 3 0 4815971 1672376320 390979 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=1633180 memory=4572165843995750049 CPUtime=0.05 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 170 0 0 0 2 3 0 0 20 0 3 0 4815980 1672376320 390979 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 3586.37 s
Current children cumulated vsize: 1633180 KiB
Current children cumulated memory: 1563916 KiB
[startup+3598.2 s]
/proc/loadavg: 4.11 4.11 4.12 5/254 34986
/proc/meminfo: memFree=118483252/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=1633180 memory=1563916 CPUtime=3586.56 cores=0,2
/proc/32930/stat : 32930 (fscip) S 32927 32930 30817 0 -1 1077936128 1400174 0 0 0 358498 158 0 0 20 0 3 0 4815897 1672376320 390979 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 408295 390979 3302 3035 0 399042 0
[pid=32930/tid=32960] ppid=32927 vsize=1633180 memory=1563904 CPUtime=3585.52 cores=0,2
/proc/32930/task/32960/stat : 32960 (fscip) R 32927 32930 30817 0 -1 4194368 1369960 0 0 0 358414 138 0 0 20 0 3 0 4815971 1672376320 390979 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
[pid=32930/tid=32968] ppid=32927 vsize=1633180 memory=2708 CPUtime=0.05 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 170 0 0 0 2 3 0 0 20 0 3 0 4815980 1672376320 390979 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 3586.56 s
Current children cumulated vsize: 1633180 KiB
Current children cumulated memory: 1563916 KiB
[startup+3598.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/254 34986
/proc/meminfo: memFree=118483252/131655788 swapFree=131071996/131071996
[pid=32930] ppid=32927 vsize=1103904 memory=1049496 CPUtime=3586.66 cores=0,2
/proc/32930/stat : 32930 (fscip) R 32927 32930 30817 0 -1 4194304 1402417 0 0 0 358507 159 0 0 20 0 2 0 4815897 1130397696 262374 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
/proc/32930/statm: 275976 262374 3302 3035 0 266723 0
[pid=32930/tid=32968] ppid=32927 vsize=1103904 memory=1563496 CPUtime=0.05 cores=0,2
/proc/32930/task/32968/stat : 32968 (fscip) S 32927 32930 30817 0 -1 1077936192 170 0 0 0 2 3 0 0 20 0 2 0 4815980 1130397696 262374 134679101440 4194304 16623229 140723793683376 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 38506496 140723793691670 140723793691786 140723793691786 140723793698800 0
Current children cumulated CPU time: 3586.66 s
Current children cumulated vsize: 1103904 KiB
Current children cumulated memory: 1049496 KiB
Child status: 0
Real time (s): 3598.34
CPU time (s): 3586.71
CPU user time (s): 3585.09
CPU system time (s): 1.62285
CPU usage (%): 99.6769
Max. virtual memory (cumulated for all children) (KiB): 1633180
Max. memory (cumulated for all children) (KiB): 1563916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.09
system time used= 1.62285
maximum resident set size= 1563916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1403195
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= 8751
involuntary context switches= 24571
# summary of solver processes directly reported to runsolver:
# pid: 32930
# total CPU time (s): 3586.71
# total CPU user time (s): 3585.09
# total CPU system time (s): 1.62285
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6158 second user time and 32.3044 second system time
The end
Begin job on nodeC006 at 2024-07-31 01:29:54
IDJOB=4464799
IDBENCH=148534
IDSOLVER=3092
FILE ID=nodeC006/4464799-1722382194
RUNJOBID= nodeC006-1722378594-30827
SLURM_JOB_ID= 8249836
Free space on /tmp= 723728 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_1.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-4464799-1722382194/watcher-4464799-1722382194 -o /tmp/evaluation-result-4464799-1722382194/solver-4464799-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1722378594-30827 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464799-1722382194.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 2a4ebf3c72122f3b44af8d9c3b5c44b1
RANDOM SEED=1453536771
nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.165
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.196
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.38
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.418
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.46
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.165
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.38
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.306
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.46
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 : 3651.657
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.38
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.165
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.46
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.391
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.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 121552952 kB
MemAvailable: 129271984 kB
Buffers: 97868 kB
Cached: 8389804 kB
SwapCached: 0 kB
Active: 267280 kB
Inactive: 9257288 kB
Active(anon): 1372 kB
Inactive(anon): 1056880 kB
Active(file): 265908 kB
Inactive(file): 8200408 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 85780 kB
Writeback: 0 kB
AnonPages: 1027492 kB
Mapped: 109892 kB
Shmem: 21320 kB
KReclaimable: 185828 kB
Slab: 273384 kB
SReclaimable: 185828 kB
SUnreclaim: 87556 kB
KernelStack: 3856 kB
PageTables: 10988 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 874100 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7072 kB
HardwareCorrupted: 0 kB
AnonHugePages: 858112 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: 232264 kB
DirectMap2M: 16449536 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 723696 MiB
End job on nodeC006 at 2024-07-31 02:29:52