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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 29667328, getVmSize() = 29667328, SCIPgetMemUsed() = 5718572, SCIPgetMemTotal() = 7858332, SCIPgetMemExternEstim() = 3844708
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.03 c ** Estimated virtualMemUsedAtSolver = 23119189, getVmSize() = 39690240, SCIPgetMemUsed() = 10352528, SCIPgetMemTotal() = 16816944, SCIPgetMemExternEstim() = 3844708
0.00/0.03 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.03 c Original Problem :
0.00/0.03 c Problem name : instance-4450000-1721406852
0.00/0.03 c Variables : 801 (801 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.03 c Constraints : 3202
0.00/0.03 c Objective sense : minimize
0.00/0.03 c Presolved Problem :
0.00/0.03 c Variables : 800 (800 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.03 c Constraints : 1600
0.00/0.03 c Constraints : Number
0.00/0.03 c linear : 1600
0.00/0.03 c ** Instance transfer method used: 0
0.00/0.04 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.04 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.04 c Nodes Active
0.00/0.04 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.66/5.77 c 6 2678 2126 1 - 0.0000 -
10.75/10.81 c 11 8593 6662 1 - 0.0000 -
15.73/15.86 c 16 14483 10299 1 - 0.0000 -
20.81/20.91 c 21 20412 14192 1 - 0.0000 -
25.79/25.96 c 26 26317 18234 1 - 0.0000 -
30.87/31.01 c 31 32208 22659 1 - 0.0000 -
35.85/36.06 c 36 38012 26689 1 - 0.0000 -
40.93/41.11 c 41 43977 30773 1 - 0.0000 -
45.92/46.16 c 46 49874 34802 1 - 0.0000 -
50.98/51.21 c 51 55733 38727 1 - 0.0000 -
55.97/56.26 c 56 61429 42638 1 - 0.0000 -
61.05/61.31 c 61 67109 46076 1 - 0.0000 -
66.03/66.35 c 66 72961 49561 1 - 0.0000 -
71.09/71.40 c 71 79048 53103 1 - 0.0000 -
76.07/76.45 c 76 84954 56401 1 - 0.0000 -
81.15/81.51 c 82 90895 60060 1 - 0.0000 -
86.13/86.56 c 87 96838 64079 1 - 0.0000 -
91.20/91.61 c 92 102561 67324 1 - 0.0000 -
96.18/96.66 c 97 107844 71079 1 - 0.0000 -
101.26/101.71 c 102 112805 74279 1 - 0.0000 -
106.24/106.76 c 107 117969 77615 1 - 0.0000 -
111.32/111.81 c 112 124225 80859 1 - 0.0000 -
116.29/116.86 c 117 129889 84302 1 - 0.0000 -
121.37/121.91 c 122 135122 87300 1 - 0.0000 -
126.35/126.96 c 127 140698 90383 1 - 0.0000 -
131.43/132.00 c 132 146094 93513 1 - 0.0000 -
136.41/137.05 c 137 152060 96934 1 - 0.0000 -
141.38/142.10 c 142 157767 100015 1 - 0.0000 -
146.47/147.15 c 147 163188 102894 1 - 0.0000 -
151.54/152.20 c 152 168706 106005 1 - 0.0000 -
156.52/157.26 c 157 174242 109099 1 - 0.0000 -
161.60/162.31 c 162 180032 112391 1 - 0.0000 -
166.58/167.36 c 167 186307 116014 1 - 0.0000 -
171.66/172.41 c 172 191632 118767 1 - 0.0000 -
176.64/177.46 c 177 197168 121625 1 - 0.0000 -
181.73/182.51 c 183 202634 124533 1 - 0.0000 -
186.71/187.57 c 188 207879 127659 1 - 0.0000 -
191.79/192.62 c 193 213164 131030 1 - 0.0000 -
196.76/197.67 c 198 218450 133507 1 - 0.0000 -
201.85/202.72 c 203 223870 136257 1 - 0.0000 -
206.82/207.77 c 208 229588 139281 1 - 0.0000 -
211.91/212.82 c 213 234901 142526 1 - 0.0000 -
216.89/217.87 c 218 240542 145517 1 - 0.0000 -
221.96/222.92 c 223 246079 148409 1 - 0.0000 -
226.94/227.97 c 228 251482 151533 1 - 0.0000 -
232.03/233.02 c 233 257270 154542 1 - 0.0000 -
237.01/238.07 c 238 262589 157438 1 - 0.0000 -
242.09/243.12 c 243 267638 160307 1 - 0.0000 -
247.06/248.17 c 248 272497 163116 1 - 0.0000 -
252.15/253.23 c 253 278015 166127 1 - 0.0000 -
257.13/258.28 c 258 283564 169225 1 - 0.0000 -
262.20/263.34 c 263 289308 172535 1 - 0.0000 -
267.18/268.39 c 268 294833 175519 1 - 0.0000 -
272.26/273.45 c 273 300679 178710 1 - 0.0000 -
277.24/278.49 c 278 306168 181367 1 - 0.0000 -
282.32/283.54 c 284 312263 183982 1 - 0.0000 -
287.30/288.59 c 289 318596 186976 1 - 0.0000 -
292.38/293.64 c 294 323760 189556 1 - 0.0000 -
297.36/298.69 c 299 329306 192304 1 - 0.0000 -
302.44/303.74 c 304 334539 195375 1 - 0.0000 -
307.42/308.79 c 309 339534 197775 1 - 0.0000 -
312.50/313.84 c 314 345594 200875 1 - 0.0000 -
317.48/318.89 c 319 351230 203814 1 - 0.0000 -
322.56/323.94 c 324 356900 206137 1 - 0.0000 -
327.64/329.00 c 329 362269 208569 1 - 0.0000 -
332.62/334.05 c 334 367929 211066 1 - 0.0000 -
337.60/339.10 c 339 373477 213620 1 - 0.0000 -
342.68/344.15 c 344 379313 216421 1 - 0.0000 -
347.75/349.21 c 349 385014 219350 1 - 0.0000 -
352.74/354.26 c 354 390509 222807 1 - 0.0000 -
357.82/359.31 c 359 395856 225696 1 - 0.0000 -
362.79/364.36 c 364 401726 228401 1 - 0.0000 -
367.88/369.41 c 369 406823 230843 1 - 0.0000 -
372.86/374.46 c 374 412519 233632 1 - 0.0000 -
377.93/379.51 c 380 418096 235896 1 - 0.0000 -
382.92/384.56 c 385 423945 238429 1 - 0.0000 -
388.00/389.63 c 390 429193 241483 1 - 0.0000 -
392.98/394.68 c 395 434916 244115 1 - 0.0000 -
398.05/399.73 c 400 440827 247358 1 - 0.0000 -
403.04/404.78 c 405 447429 249672 1 - 0.0000 -
408.11/409.83 c 410 452555 251791 1 - 0.0000 -
413.20/414.90 c 415 458286 254791 1 - 0.0000 -
418.18/419.96 c 420 463309 257531 1 - 0.0000 -
423.26/425.01 c 425 467786 260644 1 - 0.0000 -
428.24/430.06 c 430 472174 263099 1 - 0.0000 -
433.32/435.11 c 435 477194 265738 1 - 0.0000 -
438.30/440.16 c 440 482850 268433 1 - 0.0000 -
443.38/445.21 c 445 488245 271586 1 - 0.0000 -
448.36/450.26 c 450 492866 275149 1 - 0.0000 -
453.44/455.31 c 455 497687 278951 1 - 0.0000 -
458.42/460.36 c 460 502852 282502 1 - 0.0000 -
463.50/465.41 c 465 507363 285705 1 - 0.0000 -
468.48/470.46 c 470 512526 289172 1 - 0.0000 -
473.56/475.52 c 476 517398 292104 1 - 0.0000 -
478.54/480.58 c 481 522350 295281 1 - 0.0000 -
483.62/485.63 c 486 527320 298653 1 - 0.0000 -
488.60/490.68 c 491 531959 301726 1 - 0.0000 -
493.68/495.73 c 496 537054 304659 1 - 0.0000 -
498.66/500.78 c 501 541976 307920 1 - 0.0000 -
503.74/505.83 c 506 546931 310925 1 - 0.0000 -
508.72/510.89 c 511 552481 313048 1 - 0.0000 -
513.80/515.94 c 516 557376 316050 1 - 0.0000 -
518.79/520.99 c 521 562857 318578 1 - 0.0000 -
523.86/526.04 c 526 567890 321015 1 - 0.0000 -
528.85/531.09 c 531 573608 323659 1 - 0.0000 -
533.92/536.14 c 536 578710 326433 1 - 0.0000 -
539.00/541.20 c 541 584580 329131 1 - 0.0000 -
543.98/546.25 c 546 590240 331427 1 - 0.0000 -
549.06/551.31 c 551 595642 333887 1 - 0.0000 -
554.05/556.36 c 556 601112 336418 1 - 0.0000 -
559.12/561.41 c 561 606258 339048 1 - 0.0000 -
564.10/566.47 c 566 611203 341284 1 - 0.0000 -
569.18/571.52 c 572 615904 343671 1 - 0.0000 -
574.17/576.57 c 577 621339 345815 1 - 0.0000 -
579.25/581.65 c 582 626443 348113 1 - 0.0000 -
584.32/586.70 c 587 632039 350235 1 - 0.0000 -
589.30/591.76 c 592 638163 353058 1 - 0.0000 -
594.38/596.81 c 597 643497 355237 1 - 0.0000 -
599.36/601.86 c 602 648083 357428 1 - 0.0000 -
604.45/606.92 c 607 652096 359380 1 - 0.0000 -
609.43/611.97 c 612 656987 361666 1 - 0.0000 -
614.51/617.06 c 617 662212 363883 1 - 0.0000 -
619.59/622.11 c 622 667153 366364 1 - 0.0000 -
624.56/627.18 c 627 671973 368626 1 - 0.0000 -
629.65/632.22 c 632 677486 371585 1 - 0.0000 -
634.63/637.27 c 637 682102 374523 1 - 0.0000 -
639.71/642.32 c 642 686862 377087 1 - 0.0000 -
644.78/647.41 c 647 691341 379190 1 - 0.0000 -
649.76/652.46 c 652 696121 381165 1 - 0.0000 -
654.85/657.51 c 658 701091 383076 1 - 0.0000 -
659.83/662.56 c 663 705921 385013 1 - 0.0000 -
664.91/667.61 c 668 711009 387180 1 - 0.0000 -
669.88/672.66 c 673 716840 389471 1 - 0.0000 -
674.97/677.71 c 678 722244 391854 1 - 0.0000 -
679.95/682.76 c 683 726692 393973 1 - 0.0000 -
685.03/687.81 c 688 731280 396485 1 - 0.0000 -
690.01/692.86 c 693 735883 398744 1 - 0.0000 -
695.09/697.92 c 698 741461 401122 1 - 0.0000 -
700.07/702.97 c 703 746461 403049 1 - 0.0000 -
705.15/708.02 c 708 751608 405513 1 - 0.0000 -
710.13/713.07 c 713 756421 407828 1 - 0.0000 -
715.22/718.12 c 718 760974 410023 1 - 0.0000 -
720.19/723.17 c 723 765442 411742 1 - 0.0000 -
725.27/728.22 c 728 769545 413278 1 - 0.0000 -
730.25/733.27 c 733 774727 415147 1 - 0.0000 -
735.33/738.32 c 738 779472 417044 1 - 0.0000 -
740.41/743.40 c 743 784000 418903 1 - 0.0000 -
745.39/748.49 c 748 788791 421069 1 - 0.0000 -
750.47/753.54 c 754 793699 423197 1 - 0.0000 -
755.45/758.59 c 759 798632 425484 1 - 0.0000 -
760.53/763.64 c 764 803094 427659 1 - 0.0000 -
765.52/768.69 c 769 808548 430102 1 - 0.0000 -
770.59/773.74 c 774 813723 433095 1 - 0.0000 -
775.58/778.79 c 779 818976 435520 1 - 0.0000 -
780.66/783.87 c 784 824263 437581 1 - 0.0000 -
785.73/788.96 c 789 830250 439642 1 - 0.0000 -
790.81/794.08 c 794 834776 441492 1 - 0.0000 -
795.90/799.13 c 799 839837 443466 1 - 0.0000 -
800.88/804.19 c 804 844691 445946 1 - 0.0000 -
805.96/809.25 c 809 849620 448300 1 - 0.0000 -
811.03/814.30 c 814 854702 450640 1 - 0.0000 -
816.01/819.35 c 819 860230 453493 1 - 0.0000 -
821.09/824.40 c 824 865271 455653 1 - 0.0000 -
826.07/829.46 c 829 870340 458245 1 - 0.0000 -
831.15/834.52 c 835 875837 460698 1 - 0.0000 -
836.23/839.61 c 840 881042 462775 1 - 0.0000 -
841.21/844.66 c 845 886583 465284 1 - 0.0000 -
846.28/849.71 c 850 892540 467579 1 - 0.0000 -
851.27/854.76 c 855 898146 469719 1 - 0.0000 -
856.35/859.82 c 860 903202 471722 1 - 0.0000 -
861.33/864.88 c 865 907813 473897 1 - 0.0000 -
866.40/869.93 c 870 913877 476784 1 - 0.0000 -
871.49/875.02 c 875 919200 478886 1 - 0.0000 -
876.47/880.07 c 880 924579 480853 1 - 0.0000 -
881.55/885.12 c 885 930183 482752 1 - 0.0000 -
886.52/890.17 c 890 934329 484548 1 - 0.0000 -
891.60/895.23 c 895 939171 486641 1 - 0.0000 -
896.58/900.29 c 900 944044 489134 1 - 0.0000 -
901.66/905.34 c 905 948703 492113 1 - 0.0000 -
906.74/910.46 c 910 953982 495309 1 - 0.0000 -
911.82/915.52 c 916 959058 498271 1 - 0.0000 -
916.80/920.58 c 921 964110 501019 1 - 0.0000 -
921.88/925.63 c 926 968762 503567 1 - 0.0000 -
926.86/930.68 c 931 973592 506070 1 - 0.0000 -
931.94/935.73 c 936 978741 508766 1 - 0.0000 -
937.02/940.80 c 941 983560 511937 1 - 0.0000 -
942.00/945.85 c 946 988351 515093 1 - 0.0000 -
947.08/950.95 c 951 992983 517770 1 - 0.0000 -
952.16/956.00 c 956 997895 520645 1 - 0.0000 -
957.14/961.05 c 961 1003123 523729 1 - 0.0000 -
962.12/966.10 c 966 1007932 526150 1 - 0.0000 -
967.20/971.15 c 971 1012725 528760 1 - 0.0000 -
972.28/976.20 c 976 1017105 530996 1 - 0.0000 -
977.25/981.25 c 981 1022289 533531 1 - 0.0000 -
982.34/986.35 c 986 1027171 535840 1 - 0.0000 -
987.41/991.40 c 991 1032284 538562 1 - 0.0000 -
992.39/996.45 c 996 1037098 540676 1 - 0.0000 -
997.47/1001.50 c 1002 1041865 542779 1 - 0.0000 -
1002.45/1006.55 c 1007 1046531 544793 1 - 0.0000 -
1007.53/1011.60 c 1012 1051217 546941 1 - 0.0000 -
1012.50/1016.65 c 1017 1055878 548997 1 - 0.0000 -
1017.59/1021.70 c 1022 1061396 550997 1 - 0.0000 -
1022.57/1026.74 c 1027 1066053 552953 1 - 0.0000 -
1027.55/1031.79 c 1032 1070853 555043 1 - 0.0000 -
1032.63/1036.84 c 1037 1075770 557025 1 - 0.0000 -
1037.61/1041.89 c 1042 1080639 558958 1 - 0.0000 -
1042.68/1046.94 c 1047 1085614 561047 1 - 0.0000 -
1047.67/1051.99 c 1052 1090056 563096 1 - 0.0000 -
1052.75/1057.06 c 1057 1095367 565399 1 - 0.0000 -
1057.83/1062.17 c 1062 1100223 567492 1 - 0.0000 -
1062.91/1067.22 c 1067 1105688 569615 1 - 0.0000 -
1067.98/1072.32 c 1072 1110189 571375 1 - 0.0000 -
1072.96/1077.37 c 1077 1115511 573529 1 - 0.0000 -
1078.04/1082.42 c 1082 1120945 575693 1 - 0.0000 -
1083.03/1087.48 c 1087 1126013 577669 1 - 0.0000 -
1088.10/1092.53 c 1093 1130551 579704 1 - 0.0000 -
1093.08/1097.58 c 1098 1135386 581821 1 - 0.0000 -
1098.16/1102.66 c 1103 1139806 584197 1 - 0.0000 -
1103.24/1107.72 c 1108 1143909 585966 1 - 0.0000 -
1108.22/1112.77 c 1113 1148859 587758 1 - 0.0000 -
1113.30/1117.83 c 1118 1153031 589700 1 - 0.0000 -
1118.38/1122.90 c 1123 1158429 591971 1 - 0.0000 -
1123.37/1127.95 c 1128 1164189 594270 1 - 0.0000 -
1128.45/1133.00 c 1133 1170414 596641 1 - 0.0000 -
1133.42/1138.05 c 1138 1175187 598722 1 - 0.0000 -
1138.41/1143.10 c 1143 1180029 601044 1 - 0.0000 -
1143.48/1148.15 c 1148 1185525 603662 1 - 0.0000 -
1148.56/1153.20 c 1153 1192150 605802 1 - 0.0000 -
1153.54/1158.25 c 1158 1198418 608672 1 - 0.0000 -
1158.62/1163.30 c 1163 1204536 610869 1 - 0.0000 -
1163.60/1168.35 c 1168 1210673 613094 1 - 0.0000 -
1168.68/1173.40 c 1173 1217092 615163 1 - 0.0000 -
1173.66/1178.45 c 1178 1223792 617132 1 - 0.0000 -
1178.74/1183.50 c 1184 1230804 619440 1 - 0.0000 -
1183.72/1188.55 c 1189 1236415 621520 1 - 0.0000 -
1188.80/1193.60 c 1194 1241226 623199 1 - 0.0000 -
1193.88/1198.70 c 1199 1245615 625009 1 - 0.0000 -
1198.86/1203.75 c 1204 1250186 627166 1 - 0.0000 -
1203.94/1208.81 c 1209 1254664 629253 1 - 0.0000 -
1208.92/1213.86 c 1214 1259847 631513 1 - 0.0000 -
1214.01/1218.91 c 1219 1265305 633695 1 - 0.0000 -
1218.98/1223.96 c 1224 1269965 635431 1 - 0.0000 -
1224.17/1229.15 c 1229 1274581 637574 1 - 0.0000 -
1229.24/1234.23 c 1234 1279460 639679 1 - 0.0000 -
1234.22/1239.28 c 1239 1284236 641583 1 - 0.0000 -
1239.30/1244.33 c 1244 1288779 643291 1 - 0.0000 -
1244.28/1249.38 c 1249 1294834 645261 1 - 0.0000 -
1249.36/1254.43 c 1254 1300408 647142 1 - 0.0000 -
1254.34/1259.48 c 1259 1304741 648992 1 - 0.0000 -
1259.42/1264.53 c 1265 1309960 650756 1 - 0.0000 -
1264.40/1269.58 c 1270 1315343 652621 1 - 0.0000 -
1269.48/1274.66 c 1275 1320927 654485 1 - 0.0000 -
1274.56/1279.70 c 1280 1326160 656764 1 - 0.0000 -
1279.54/1284.75 c 1285 1331647 658550 1 - 0.0000 -
1284.62/1289.80 c 1290 1336297 660359 1 - 0.0000 -
1289.60/1294.85 c 1295 1340812 662301 1 - 0.0000 -
1294.67/1299.90 c 1300 1346032 664255 1 - 0.0000 -
1299.66/1304.95 c 1305 1351164 666180 1 - 0.0000 -
1304.74/1310.00 c 1310 1356325 668025 1 - 0.0000 -
1309.72/1315.05 c 1315 1361363 670163 1 - 0.0000 -
1314.80/1320.17 c 1320 1365885 672190 1 - 0.0000 -
1319.88/1325.28 c 1325 1370352 674182 1 - 0.0000 -
1324.95/1330.33 c 1330 1374897 676206 1 - 0.0000 -
1329.94/1335.38 c 1335 1380009 678390 1 - 0.0000 -
1335.01/1340.43 c 1340 1385307 681217 1 - 0.0000 -
1339.99/1345.48 c 1345 1389681 683153 1 - 0.0000 -
1345.07/1350.53 c 1351 1394942 685059 1 - 0.0000 -
1350.06/1355.58 c 1356 1399168 686976 1 - 0.0000 -
1355.13/1360.66 c 1361 1404150 689450 1 - 0.0000 -
1360.21/1365.71 c 1366 1410192 692351 1 - 0.0000 -
1365.19/1370.76 c 1371 1414767 694088 1 - 0.0000 -
1370.28/1375.85 c 1376 1419675 696044 1 - 0.0000 -
1375.35/1380.96 c 1381 1423492 698169 1 - 0.0000 -
1380.43/1386.01 c 1386 1428356 700330 1 - 0.0000 -
1385.41/1391.06 c 1391 1432872 702461 1 - 0.0000 -
1390.49/1396.11 c 1396 1437485 704409 1 - 0.0000 -
1395.46/1401.16 c 1401 1442683 706193 1 - 0.0000 -
1400.53/1406.21 c 1406 1447578 708308 1 - 0.0000 -
1405.62/1411.34 c 1411 1452537 710502 1 - 0.0000 -
1410.60/1416.40 c 1416 1457186 712830 1 - 0.0000 -
1415.68/1421.44 c 1421 1461118 714849 1 - 0.0000 -
1420.65/1426.49 c 1426 1465470 716829 1 - 0.0000 -
1425.84/1431.65 c 1432 1468891 718689 1 - 0.0000 -
1430.92/1436.74 c 1437 1471719 720290 1 - 0.0000 -
1435.90/1441.79 c 1442 1475907 721752 1 - 0.0000 -
1440.97/1446.84 c 1447 1480689 723556 1 - 0.0000 -
1446.15/1452.01 c 1452 1484937 725582 1 - 0.0000 -
1451.13/1457.09 c 1457 1489640 727759 1 - 0.0000 -
1456.22/1462.18 c 1462 1494668 729532 1 - 0.0000 -
1461.29/1467.23 c 1467 1499361 731214 1 - 0.0000 -
1466.28/1472.28 c 1472 1503766 733091 1 - 0.0000 -
1471.35/1477.35 c 1477 1506215 734885 1 - 0.0000 -
1476.53/1482.51 c 1483 1508731 736589 1 - 0.0000 -
1481.71/1487.73 c 1488 1512039 738540 1 - 0.0000 -
1486.79/1492.84 c 1493 1515109 740268 1 - 0.0000 -
1491.77/1497.89 c 1498 1521018 742359 1 - 0.0000 -
1496.96/1503.03 c 1503 1525623 744011 1 - 0.0000 -
1501.94/1508.07 c 1508 1530516 746157 1 - 0.0000 -
1507.01/1513.12 c 1513 1535663 748070 1 - 0.0000 -
1512.19/1518.37 c 1518 1540422 750348 1 - 0.0000 -
1517.26/1523.42 c 1523 1544828 752195 1 - 0.0000 -
1522.24/1528.47 c 1528 1549151 754004 1 - 0.0000 -
1527.32/1533.54 c 1534 1554235 755966 1 - 0.0000 -
1532.30/1538.59 c 1539 1559593 758094 1 - 0.0000 -
1537.38/1543.64 c 1544 1564587 759985 1 - 0.0000 -
1542.36/1548.69 c 1549 1569130 761985 1 - 0.0000 -
1547.44/1553.74 c 1554 1574020 764261 1 - 0.0000 -
1552.42/1558.79 c 1559 1578516 765943 1 - 0.0000 -
1557.60/1563.91 c 1564 1582976 767647 1 - 0.0000 -
1562.58/1568.96 c 1569 1588159 769689 1 - 0.0000 -
1567.66/1574.01 c 1574 1593072 771489 1 - 0.0000 -
1572.64/1579.06 c 1579 1598194 773505 1 - 0.0000 -
1577.72/1584.11 c 1584 1604253 775644 1 - 0.0000 -
1582.70/1589.18 c 1589 1608759 777498 1 - 0.0000 -
1587.87/1594.30 c 1594 1613253 779457 1 - 0.0000 -
1592.85/1599.35 c 1599 1619144 781899 1 - 0.0000 -
1598.03/1604.54 c 1605 1624302 784258 1 - 0.0000 -
1603.11/1609.60 c 1610 1628606 786083 1 - 0.0000 -
1608.08/1614.65 c 1615 1633526 788112 1 - 0.0000 -
1613.17/1619.72 c 1620 1638822 790369 1 - 0.0000 -
1618.15/1624.77 c 1625 1644727 792533 1 - 0.0000 -
1623.23/1629.82 c 1630 1649782 794598 1 - 0.0000 -
1628.20/1634.87 c 1635 1655891 797724 1 - 0.0000 -
1633.28/1639.92 c 1640 1660966 800577 1 - 0.0000 -
1638.27/1644.97 c 1645 1667350 802998 1 - 0.0000 -
1643.34/1650.02 c 1650 1673654 805556 1 - 0.0000 -
1648.32/1655.07 c 1655 1679383 807736 1 - 0.0000 -
1653.50/1660.21 c 1660 1684158 809754 1 - 0.0000 -
1658.58/1665.35 c 1665 1690261 812311 1 - 0.0000 -
1663.66/1670.41 c 1670 1695716 814156 1 - 0.0000 -
1668.64/1675.48 c 1675 1700462 816078 1 - 0.0000 -
1673.72/1680.58 c 1681 1704701 818067 1 - 0.0000 -
1678.80/1685.63 c 1686 1708884 819937 1 - 0.0000 -
1683.78/1690.68 c 1691 1714470 821964 1 - 0.0000 -
1688.86/1695.73 c 1696 1719363 824373 1 - 0.0000 -
1693.84/1700.78 c 1701 1724221 826171 1 - 0.0000 -
1698.92/1705.83 c 1706 1729600 827979 1 - 0.0000 -
1703.90/1710.88 c 1711 1734510 829560 1 - 0.0000 -
1708.97/1715.99 c 1716 1739239 831191 1 - 0.0000 -
1714.06/1721.03 c 1721 1743944 833129 1 - 0.0000 -
1719.05/1726.08 c 1726 1747834 834778 1 - 0.0000 -
1724.13/1731.13 c 1731 1752754 837006 1 - 0.0000 -
1729.10/1736.18 c 1736 1758138 838936 1 - 0.0000 -
1734.28/1741.30 c 1741 1761445 840800 1 - 0.0000 -
1739.26/1746.38 c 1746 1765335 843103 1 - 0.0000 -
1744.44/1751.55 c 1752 1768325 844996 1 - 0.0000 -
1749.62/1756.78 c 1757 1772248 847059 1 - 0.0000 -
1754.70/1761.84 c 1762 1775626 849058 1 - 0.0000 -
1759.79/1766.96 c 1767 1778477 851105 1 - 0.0000 -
1764.87/1772.06 c 1772 1782464 853481 1 - 0.0000 -
1770.14/1777.38 c 1777 1784673 855173 1 - 0.0000 -
1775.32/1782.50 c 1783 1787457 856975 1 - 0.0000 -
1780.41/1787.66 c 1788 1790063 858633 1 - 0.0000 -
1785.58/1792.82 c 1793 1792347 860378 1 - 0.0000 -
1790.77/1798.04 c 1798 1794632 862028 1 - 0.0000 -
1795.95/1803.22 c 1803 1797597 863957 1 - 0.0000 -
1801.03/1808.40 c 1808 1801263 865985 1 - 0.0000 -
1806.11/1813.44 c 1813 1804887 868226 1 - 0.0000 -
1811.19/1818.55 c 1819 1809202 870689 1 - 0.0000 -
1816.28/1823.60 c 1824 1812860 872888 1 - 0.0000 -
1821.26/1828.67 c 1829 1817840 875227 1 - 0.0000 -
1826.33/1833.73 c 1834 1822247 877408 1 - 0.0000 -
1831.41/1838.86 c 1839 1826444 879541 1 - 0.0000 -
1836.49/1843.91 c 1844 1829666 881668 1 - 0.0000 -
1841.48/1848.96 c 1849 1833762 883614 1 - 0.0000 -
1846.56/1854.08 c 1854 1838307 886008 1 - 0.0000 -
1851.74/1859.29 c 1859 1842215 888059 1 - 0.0000 -
1856.82/1864.35 c 1864 1846866 890135 1 - 0.0000 -
1861.99/1869.58 c 1870 1850620 892240 1 - 0.0000 -
1867.08/1874.63 c 1875 1854927 894389 1 - 0.0000 -
1872.06/1879.68 c 1880 1859148 896568 1 - 0.0000 -
1877.14/1884.73 c 1885 1864672 898626 1 - 0.0000 -
1882.12/1889.78 c 1890 1868798 900908 1 - 0.0000 -
1887.20/1894.83 c 1895 1873046 902986 1 - 0.0000 -
1892.29/1899.96 c 1900 1876566 905154 1 - 0.0000 -
1897.37/1905.07 c 1905 1879808 907329 1 - 0.0000 -
1902.45/1910.12 c 1910 1883563 909259 1 - 0.0000 -
1907.43/1915.18 c 1915 1887998 911400 1 - 0.0000 -
1912.50/1920.23 c 1920 1892290 913245 1 - 0.0000 -
1917.68/1925.46 c 1925 1895996 915470 1 - 0.0000 -
1922.76/1930.53 c 1931 1899455 917670 1 - 0.0000 -
1927.74/1935.58 c 1936 1903045 919902 1 - 0.0000 -
1932.82/1940.63 c 1941 1906314 921910 1 - 0.0000 -
1937.81/1945.68 c 1946 1909901 923819 1 - 0.0000 -
1942.89/1950.74 c 1951 1913855 925544 1 - 0.0000 -
1947.86/1955.78 c 1956 1919616 928059 1 - 0.0000 -
1953.15/1961.07 c 1961 1924421 930126 1 - 0.0000 -
1958.23/1966.12 c 1966 1929162 932171 1 - 0.0000 -
1963.22/1971.17 c 1971 1933472 934157 1 - 0.0000 -
1968.29/1976.24 c 1976 1936730 936243 1 - 0.0000 -
1973.26/1981.29 c 1981 1940145 938085 1 - 0.0000 -
1978.44/1986.41 c 1986 1944400 940033 1 - 0.0000 -
1983.42/1991.46 c 1991 1948684 942152 1 - 0.0000 -
1988.50/1996.51 c 1997 1952704 944057 1 - 0.0000 -
1993.49/2001.56 c 2002 1956562 946193 1 - 0.0000 -
1998.56/2006.64 c 2007 1961248 947884 1 - 0.0000 -
2003.55/2011.69 c 2012 1964969 949914 1 - 0.0000 -
2008.62/2016.75 c 2017 1969009 952267 1 - 0.0000 -
2013.70/2021.80 c 2022 1973297 954290 1 - 0.0000 -
2018.68/2026.85 c 2027 1978212 955918 1 - 0.0000 -
2023.77/2031.90 c 2032 1983083 957795 1 - 0.0000 -
2029.04/2037.24 c 2037 1985723 959711 1 - 0.0000 -
2034.22/2042.48 c 2042 1989227 961708 1 - 0.0000 -
2039.31/2047.53 c 2048 1993901 963532 1 - 0.0000 -
2044.29/2052.58 c 2053 1997181 965427 1 - 0.0000 -
2049.57/2057.85 c 2058 2000431 967450 1 - 0.0000 -
2054.64/2062.90 c 2063 2004794 969279 1 - 0.0000 -
2059.62/2067.95 c 2068 2008917 971283 1 - 0.0000 -
2064.70/2073.00 c 2073 2013416 973319 1 - 0.0000 -
2069.78/2078.19 c 2078 2017609 974881 1 - 0.0000 -
2074.86/2083.24 c 2083 2022158 976406 1 - 0.0000 -
2079.94/2088.35 c 2088 2027149 978101 1 - 0.0000 -
2085.12/2093.55 c 2094 2030305 980251 1 - 0.0000 -
2090.30/2098.78 c 2099 2033732 982393 1 - 0.0000 -
2095.48/2103.94 c 2104 2037708 984844 1 - 0.0000 -
2100.66/2109.12 c 2109 2041943 987206 1 - 0.0000 -
2105.73/2114.21 c 2114 2045813 989094 1 - 0.0000 -
2110.71/2119.26 c 2119 2049446 991134 1 - 0.0000 -
2115.78/2124.31 c 2124 2053208 992986 1 - 0.0000 -
2120.85/2129.42 c 2129 2057502 994915 1 - 0.0000 -
2125.83/2134.47 c 2134 2061639 997150 1 - 0.0000 -
2130.91/2139.57 c 2140 2065985 999099 1 - 0.0000 -
2135.98/2144.62 c 2145 2070784 1001026 1 - 0.0000 -
2140.95/2149.67 c 2150 2075139 1002694 1 - 0.0000 -
2146.03/2154.72 c 2155 2079211 1004467 1 - 0.0000 -
2151.00/2159.77 c 2160 2083271 1006301 1 - 0.0000 -
2156.29/2165.00 c 2165 2087524 1008671 1 - 0.0000 -
2161.26/2170.05 c 2170 2091419 1010834 1 - 0.0000 -
2166.23/2175.10 c 2175 2095410 1012809 1 - 0.0000 -
2171.31/2180.15 c 2180 2099841 1014637 1 - 0.0000 -
2176.37/2185.20 c 2185 2104261 1016307 1 - 0.0000 -
2181.36/2190.25 c 2190 2108671 1018457 1 - 0.0000 -
2186.42/2195.30 c 2195 2113760 1020680 1 - 0.0000 -
2191.50/2200.40 c 2200 2118209 1022850 1 - 0.0000 -
2196.58/2205.55 c 2206 2122293 1024787 1 - 0.0000 -
2201.55/2210.59 c 2211 2127011 1026277 1 - 0.0000 -
2206.62/2215.64 c 2216 2131921 1027913 1 - 0.0000 -
2211.60/2220.69 c 2221 2136566 1029323 1 - 0.0000 -
2216.67/2225.74 c 2226 2140705 1031014 1 - 0.0000 -
2221.65/2230.79 c 2231 2145375 1032508 1 - 0.0000 -
2226.73/2235.84 c 2236 2149831 1033948 1 - 0.0000 -
2231.70/2240.89 c 2241 2154424 1035708 1 - 0.0000 -
2236.77/2245.94 c 2246 2158161 1037511 1 - 0.0000 -
2241.75/2250.99 c 2251 2161831 1039347 1 - 0.0000 -
2246.82/2256.05 c 2256 2165820 1040615 1 - 0.0000 -
2252.00/2261.23 c 2261 2169987 1042613 1 - 0.0000 -
2257.07/2266.35 c 2266 2174110 1044176 1 - 0.0000 -
2262.14/2271.40 c 2271 2177882 1046138 1 - 0.0000 -
2267.12/2276.45 c 2276 2181996 1047856 1 - 0.0000 -
2272.29/2281.62 c 2282 2185605 1049629 1 - 0.0000 -
2277.27/2286.67 c 2287 2189690 1051066 1 - 0.0000 -
2282.34/2291.72 c 2292 2193552 1052599 1 - 0.0000 -
2287.32/2296.78 c 2297 2197393 1054466 1 - 0.0000 -
2292.49/2301.97 c 2302 2201247 1055925 1 - 0.0000 -
2297.57/2307.02 c 2307 2205636 1057763 1 - 0.0000 -
2302.66/2312.15 c 2312 2209333 1059346 1 - 0.0000 -
2307.72/2317.20 c 2317 2213486 1061257 1 - 0.0000 -
2312.71/2322.25 c 2322 2217895 1063229 1 - 0.0000 -
2317.79/2327.30 c 2327 2222278 1064833 1 - 0.0000 -
2322.76/2332.35 c 2332 2226131 1066716 1 - 0.0000 -
2327.85/2337.40 c 2337 2230300 1068518 1 - 0.0000 -
2332.92/2342.54 c 2343 2235002 1070254 1 - 0.0000 -
2337.91/2347.59 c 2348 2239028 1071664 1 - 0.0000 -
2342.98/2352.64 c 2353 2243589 1073325 1 - 0.0000 -
2348.07/2357.70 c 2358 2247072 1074987 1 - 0.0000 -
2353.05/2362.75 c 2363 2251428 1076804 1 - 0.0000 -
2358.13/2367.80 c 2368 2256375 1078659 1 - 0.0000 -
2363.11/2372.85 c 2373 2260379 1080218 1 - 0.0000 -
2368.19/2377.90 c 2378 2264805 1081987 1 - 0.0000 -
2373.28/2383.01 c 2383 2268531 1083939 1 - 0.0000 -
2378.65/2388.43 c 2388 2271148 1085616 1 - 0.0000 -
2383.83/2393.62 c 2394 2275378 1087528 1 - 0.0000 -
2389.01/2398.82 c 2399 2279663 1090132 1 - 0.0000 -
2394.30/2404.12 c 2404 2282964 1092191 1 - 0.0000 -
2399.28/2409.17 c 2409 2286659 1093988 1 - 0.0000 -
2404.35/2414.22 c 2414 2290587 1095483 1 - 0.0000 -
2409.33/2419.27 c 2419 2294792 1097518 1 - 0.0000 -
2414.41/2424.32 c 2424 2299838 1099181 1 - 0.0000 -
2419.39/2429.37 c 2429 2303905 1101203 1 - 0.0000 -
2424.47/2434.42 c 2434 2308788 1103274 1 - 0.0000 -
2429.45/2439.47 c 2439 2313536 1105368 1 - 0.0000 -
2434.53/2444.52 c 2445 2318528 1107372 1 - 0.0000 -
2439.51/2449.57 c 2450 2323849 1109473 1 - 0.0000 -
2444.60/2454.62 c 2455 2329280 1111434 1 - 0.0000 -
2449.58/2459.67 c 2460 2334964 1113619 1 - 0.0000 -
2454.66/2464.72 c 2465 2340648 1115677 1 - 0.0000 -
2459.64/2469.77 c 2470 2346732 1118522 1 - 0.0000 -
2464.92/2475.02 c 2475 2351425 1121042 1 - 0.0000 -
2470.09/2480.24 c 2480 2355739 1122886 1 - 0.0000 -
2475.07/2485.29 c 2485 2359882 1124317 1 - 0.0000 -
2480.16/2490.34 c 2490 2365539 1126367 1 - 0.0000 -
2485.24/2495.46 c 2495 2369937 1128237 1 - 0.0000 -
2490.32/2500.51 c 2501 2374095 1129874 1 - 0.0000 -
2495.29/2505.59 c 2506 2378321 1131312 1 - 0.0000 -
2500.38/2510.64 c 2511 2383209 1132805 1 - 0.0000 -
2505.35/2515.69 c 2516 2387811 1134605 1 - 0.0000 -
2510.44/2520.74 c 2521 2391987 1136073 1 - 0.0000 -
2515.42/2525.79 c 2526 2396165 1137711 1 - 0.0000 -
2520.50/2530.84 c 2531 2400111 1139434 1 - 0.0000 -
2525.48/2535.89 c 2536 2404402 1140940 1 - 0.0000 -
2530.56/2540.94 c 2541 2408334 1142614 1 - 0.0000 -
2535.54/2545.99 c 2546 2412896 1144237 1 - 0.0000 -
2540.62/2551.04 c 2551 2417458 1145883 1 - 0.0000 -
2545.60/2556.09 c 2556 2421536 1147326 1 - 0.0000 -
2550.69/2561.14 c 2561 2426370 1149158 1 - 0.0000 -
2555.67/2566.19 c 2566 2430527 1150479 1 - 0.0000 -
2560.74/2571.24 c 2571 2434712 1152192 1 - 0.0000 -
2565.82/2576.38 c 2576 2438411 1153675 1 - 0.0000 -
2570.91/2581.43 c 2581 2442936 1155475 1 - 0.0000 -
2575.89/2586.48 c 2586 2447194 1157196 1 - 0.0000 -
2580.97/2591.59 c 2592 2450729 1158715 1 - 0.0000 -
2586.05/2596.69 c 2597 2454767 1160322 1 - 0.0000 -
2591.12/2601.75 c 2602 2458208 1162131 1 - 0.0000 -
2596.30/2606.98 c 2607 2460908 1163656 1 - 0.0000 -
2601.39/2612.03 c 2612 2465326 1165144 1 - 0.0000 -
2606.37/2617.08 c 2617 2468808 1166647 1 - 0.0000 -
2611.46/2622.13 c 2622 2472748 1168040 1 - 0.0000 -
2616.43/2627.18 c 2627 2477046 1169752 1 - 0.0000 -
2621.51/2632.23 c 2632 2481308 1171126 1 - 0.0000 -
2626.69/2637.44 c 2637 2484932 1172509 1 - 0.0000 -
2631.77/2642.50 c 2643 2489166 1174258 1 - 0.0000 -
2636.85/2647.64 c 2648 2492661 1176108 1 - 0.0000 -
2642.03/2652.87 c 2653 2495475 1177899 1 - 0.0000 -
2647.22/2658.09 c 2658 2498045 1179800 1 - 0.0000 -
2652.99/2663.83 c 2664 2500216 1181482 1 - 0.0000 -
2658.08/2668.92 c 2669 2503822 1183745 1 - 0.0000 -
2663.05/2673.97 c 2674 2507458 1185841 1 - 0.0000 -
2668.34/2679.22 c 2679 2510569 1187893 1 - 0.0000 -
2673.62/2684.52 c 2685 2514087 1190167 1 - 0.0000 -
2678.60/2689.58 c 2690 2516472 1191816 1 - 0.0000 -
2683.78/2694.72 c 2695 2518904 1193646 1 - 0.0000 -
2688.86/2699.88 c 2700 2521358 1195272 1 - 0.0000 -
2693.94/2704.95 c 2705 2525003 1197383 1 - 0.0000 -
2699.13/2710.15 c 2710 2527246 1198800 1 - 0.0000 -
2704.20/2715.22 c 2715 2530523 1200658 1 - 0.0000 -
2709.29/2720.33 c 2720 2533497 1202490 1 - 0.0000 -
2714.36/2725.47 c 2725 2536581 1204467 1 - 0.0000 -
2719.54/2730.67 c 2731 2539689 1206295 1 - 0.0000 -
2724.82/2735.90 c 2736 2542432 1208179 1 - 0.0000 -
2729.81/2740.95 c 2741 2545395 1209911 1 - 0.0000 -
2734.89/2746.04 c 2746 2548655 1211755 1 - 0.0000 -
2739.87/2751.09 c 2751 2552650 1213821 1 - 0.0000 -
2745.15/2756.33 c 2756 2555604 1215586 1 - 0.0000 -
2750.23/2761.46 c 2761 2558573 1217325 1 - 0.0000 -
2755.31/2766.51 c 2767 2562656 1219725 1 - 0.0000 -
2760.60/2771.81 c 2772 2566409 1221827 1 - 0.0000 -
2765.67/2776.90 c 2777 2569711 1223909 1 - 0.0000 -
2770.66/2781.95 c 2782 2573040 1225931 1 - 0.0000 -
2775.85/2787.17 c 2787 2576435 1227769 1 - 0.0000 -
2781.02/2792.32 c 2792 2579722 1229539 1 - 0.0000 -
2786.00/2797.39 c 2797 2583319 1231500 1 - 0.0000 -
2791.08/2802.44 c 2802 2587157 1233502 1 - 0.0000 -
2796.16/2807.56 c 2808 2591252 1235802 1 - 0.0000 -
2801.34/2812.79 c 2813 2595276 1238019 1 - 0.0000 -
2806.42/2817.85 c 2818 2599176 1240060 1 - 0.0000 -
2811.40/2822.89 c 2823 2602237 1242016 1 - 0.0000 -
2816.48/2827.94 c 2828 2605301 1243556 1 - 0.0000 -
2821.57/2833.04 c 2833 2609391 1245798 1 - 0.0000 -
2826.84/2838.31 c 2838 2612916 1247649 1 - 0.0000 -
2832.33/2843.88 c 2844 2616192 1249751 1 - 0.0000 -
2837.41/2848.93 c 2849 2619715 1251584 1 - 0.0000 -
2842.39/2853.98 c 2854 2622729 1253362 1 - 0.0000 -
2847.47/2859.04 c 2859 2626770 1255187 1 - 0.0000 -
2852.65/2864.29 c 2864 2630889 1257040 1 - 0.0000 -
2858.02/2869.67 c 2870 2635156 1258962 1 - 0.0000 -
2863.20/2874.89 c 2875 2637961 1260696 1 - 0.0000 -
2868.28/2879.98 c 2880 2641837 1262827 1 - 0.0000 -
2873.36/2885.08 c 2885 2644348 1264376 1 - 0.0000 -
2878.45/2890.13 c 2890 2648629 1266484 1 - 0.0000 -
2883.43/2895.18 c 2895 2652861 1268323 1 - 0.0000 -
2888.51/2900.23 c 2900 2657172 1270220 1 - 0.0000 -
2893.68/2905.42 c 2905 2661442 1271987 1 - 0.0000 -
2898.66/2910.46 c 2910 2664913 1273517 1 - 0.0000 -
2903.75/2915.51 c 2916 2668934 1275131 1 - 0.0000 -
2908.72/2920.56 c 2921 2673059 1276785 1 - 0.0000 -
2914.00/2925.87 c 2926 2677230 1278787 1 - 0.0000 -
2919.29/2931.16 c 2931 2680924 1280360 1 - 0.0000 -
2924.37/2936.21 c 2936 2684776 1282156 1 - 0.0000 -
2929.54/2941.40 c 2941 2688844 1283893 1 - 0.0000 -
2934.52/2946.45 c 2946 2693260 1285819 1 - 0.0000 -
2939.61/2951.50 c 2952 2697474 1287574 1 - 0.0000 -
2944.58/2956.55 c 2957 2701754 1289457 1 - 0.0000 -
2949.66/2961.60 c 2962 2706423 1291548 1 - 0.0000 -
2954.64/2966.65 c 2967 2710660 1293486 1 - 0.0000 -
2959.72/2971.70 c 2972 2715071 1295103 1 - 0.0000 -
2964.70/2976.75 c 2977 2719501 1296666 1 - 0.0000 -
2969.78/2981.80 c 2982 2724007 1298364 1 - 0.0000 -
2974.76/2986.85 c 2987 2728062 1299864 1 - 0.0000 -
2979.84/2991.96 c 2992 2731876 1301290 1 - 0.0000 -
2984.92/2997.01 c 2997 2735752 1303177 1 - 0.0000 -
2989.90/3002.06 c 3002 2739257 1304918 1 - 0.0000 -
2994.98/3007.11 c 3007 2743697 1306512 1 - 0.0000 -
2999.96/3012.16 c 3012 2747627 1307837 1 - 0.0000 -
3005.03/3017.21 c 3017 2751850 1309491 1 - 0.0000 -
3010.02/3022.27 c 3022 2755959 1311431 1 - 0.0000 -
3015.09/3027.31 c 3027 2760534 1313775 1 - 0.0000 -
3020.07/3032.37 c 3032 2765131 1315739 1 - 0.0000 -
3025.15/3037.42 c 3037 2769821 1317359 1 - 0.0000 -
3030.14/3042.47 c 3042 2774575 1319084 1 - 0.0000 -
3035.21/3047.52 c 3048 2779514 1321033 1 - 0.0000 -
3040.19/3052.57 c 3053 2784694 1322757 1 - 0.0000 -
3045.27/3057.62 c 3058 2789107 1324689 1 - 0.0000 -
3050.25/3062.68 c 3063 2792776 1326309 1 - 0.0000 -
3055.33/3067.73 c 3068 2796694 1327944 1 - 0.0000 -
3060.31/3072.78 c 3073 2800659 1329464 1 - 0.0000 -
3065.38/3077.83 c 3078 2804740 1330881 1 - 0.0000 -
3070.36/3082.88 c 3083 2808436 1332603 1 - 0.0000 -
3075.43/3087.93 c 3088 2812531 1334032 1 - 0.0000 -
3080.41/3092.98 c 3093 2815935 1335666 1 - 0.0000 -
3085.49/3098.07 c 3098 2819999 1337395 1 - 0.0000 -
3090.57/3103.18 c 3103 2823904 1339110 1 - 0.0000 -
3095.64/3108.24 c 3108 2827588 1340622 1 - 0.0000 -
3100.72/3113.36 c 3113 2831449 1342316 1 - 0.0000 -
3105.80/3118.43 c 3118 2835711 1343811 1 - 0.0000 -
3110.78/3123.48 c 3123 2840272 1345330 1 - 0.0000 -
3115.86/3128.53 c 3129 2844703 1347232 1 - 0.0000 -
3120.84/3133.58 c 3134 2849230 1349075 1 - 0.0000 -
3125.91/3138.64 c 3139 2852649 1350724 1 - 0.0000 -
3130.90/3143.69 c 3144 2856367 1352035 1 - 0.0000 -
3135.97/3148.74 c 3149 2860462 1353343 1 - 0.0000 -
3140.95/3153.79 c 3154 2865112 1355201 1 - 0.0000 -
3146.03/3158.84 c 3159 2868650 1356771 1 - 0.0000 -
3151.01/3163.89 c 3164 2872176 1358354 1 - 0.0000 -
3156.29/3169.16 c 3169 2875199 1359954 1 - 0.0000 -
3161.36/3174.20 c 3174 2879577 1362167 1 - 0.0000 -
3166.34/3179.26 c 3179 2884367 1363741 1 - 0.0000 -
3171.52/3184.41 c 3184 2887561 1365188 1 - 0.0000 -
3176.60/3189.58 c 3190 2891602 1367040 1 - 0.0000 -
3181.68/3194.63 c 3195 2895273 1368728 1 - 0.0000 -
3186.66/3199.68 c 3200 2898905 1369813 1 - 0.0000 -
3191.73/3204.73 c 3205 2903068 1371722 1 - 0.0000 -
3196.71/3209.78 c 3210 2907790 1373830 1 - 0.0000 -
3201.80/3214.84 c 3215 2912110 1375311 1 - 0.0000 -
3206.77/3219.89 c 3220 2916343 1376937 1 - 0.0000 -
3211.85/3224.94 c 3225 2920894 1378451 1 - 0.0000 -
3216.83/3229.99 c 3230 2924781 1379934 1 - 0.0000 -
3221.91/3235.04 c 3235 2929040 1381800 1 - 0.0000 -
3226.99/3240.17 c 3240 2933157 1383947 1 - 0.0000 -
3232.06/3245.22 c 3245 2936695 1385357 1 - 0.0000 -
3237.04/3250.27 c 3250 2940821 1387149 1 - 0.0000 -
3242.12/3255.32 c 3255 2945075 1388504 1 - 0.0000 -
3247.09/3260.38 c 3260 2949173 1390006 1 - 0.0000 -
3252.37/3265.60 c 3266 2952946 1391698 1 - 0.0000 -
3257.35/3270.65 c 3271 2956877 1393471 1 - 0.0000 -
3262.44/3275.70 c 3276 2960943 1395155 1 - 0.0000 -
3267.41/3280.75 c 3281 2965318 1396597 1 - 0.0000 -
3272.49/3285.80 c 3286 2969334 1397990 1 - 0.0000 -
3277.67/3291.00 c 3291 2973346 1399419 1 - 0.0000 -
3282.65/3296.05 c 3296 2977546 1401115 1 - 0.0000 -
3287.83/3301.28 c 3301 2981595 1402889 1 - 0.0000 -
3293.00/3306.44 c 3306 2985781 1404500 1 - 0.0000 -
3297.99/3311.49 c 3312 2989518 1406327 1 - 0.0000 -
3303.06/3316.59 c 3317 2993302 1407680 1 - 0.0000 -
3308.15/3321.65 c 3322 2997236 1408954 1 - 0.0000 -
3313.13/3326.69 c 3327 3001333 1410505 1 - 0.0000 -
3318.20/3331.74 c 3332 3007037 1412121 1 - 0.0000 -
3323.18/3336.79 c 3337 3012416 1414184 1 - 0.0000 -
3328.26/3341.84 c 3342 3016608 1416109 1 - 0.0000 -
3333.24/3346.89 c 3347 3020306 1417609 1 - 0.0000 -
3338.42/3352.02 c 3352 3024538 1419419 1 - 0.0000 -
3343.40/3357.07 c 3357 3028557 1421300 1 - 0.0000 -
3348.48/3362.12 c 3362 3033026 1423207 1 - 0.0000 -
3353.46/3367.17 c 3367 3037038 1425021 1 - 0.0000 -
3358.53/3372.22 c 3372 3041360 1426679 1 - 0.0000 -
3363.60/3377.34 c 3377 3045959 1428387 1 - 0.0000 -
3368.58/3382.39 c 3382 3050073 1430026 1 - 0.0000 -
3373.77/3387.58 c 3388 3054185 1431742 1 - 0.0000 -
3378.84/3392.63 c 3393 3058568 1433364 1 - 0.0000 -
3383.83/3397.68 c 3398 3063152 1435157 1 - 0.0000 -
3388.91/3402.73 c 3403 3068285 1436994 1 - 0.0000 -
3393.88/3407.78 c 3408 3073463 1438579 1 - 0.0000 -
3398.96/3412.83 c 3413 3078851 1440173 1 - 0.0000 -
3403.93/3417.89 c 3418 3083704 1441834 1 - 0.0000 -
3409.01/3422.94 c 3423 3088649 1443634 1 - 0.0000 -
3414.00/3427.99 c 3428 3093147 1445378 1 - 0.0000 -
3419.08/3433.04 c 3433 3097315 1447082 1 - 0.0000 -
3424.05/3438.09 c 3438 3102268 1448650 1 - 0.0000 -
3429.14/3443.14 c 3443 3107539 1451517 1 - 0.0000 -
3434.12/3448.19 c 3448 3113232 1454200 1 - 0.0000 -
3439.19/3453.24 c 3453 3117511 1455977 1 - 0.0000 -
3444.27/3458.35 c 3458 3121120 1457706 1 - 0.0000 -
3449.35/3463.40 c 3463 3125608 1458994 1 - 0.0000 -
3454.33/3468.45 c 3468 3129051 1460701 1 - 0.0000 -
3459.42/3473.50 c 3474 3133160 1462204 1 - 0.0000 -
3464.50/3478.60 c 3479 3137531 1463833 1 - 0.0000 -
3469.47/3483.65 c 3484 3141923 1465560 1 - 0.0000 -
3474.55/3488.70 c 3489 3145669 1467378 1 - 0.0000 -
3479.53/3493.75 c 3494 3149943 1468653 1 - 0.0000 -
3484.60/3498.80 c 3499 3154769 1470329 1 - 0.0000 -
3489.59/3503.88 c 3504 3158789 1471910 1 - 0.0000 -
3494.88/3509.13 c 3509 3163008 1473442 1 - 0.0000 -
3499.86/3514.18 c 3514 3167308 1475155 1 - 0.0000 -
3504.93/3519.23 c 3519 3171456 1476388 1 - 0.0000 -
3510.11/3524.42 c 3524 3176282 1478046 1 - 0.0000 -
3515.09/3529.47 c 3529 3180380 1479587 1 - 0.0000 -
3520.17/3534.52 c 3535 3184471 1481008 1 - 0.0000 -
3525.15/3539.57 c 3540 3188276 1482499 1 - 0.0000 -
3530.23/3544.62 c 3545 3192483 1483834 1 - 0.0000 -
3535.21/3549.67 c 3550 3196037 1485414 1 - 0.0000 -
3540.29/3554.72 c 3555 3200378 1486750 1 - 0.0000 -
3545.26/3559.77 c 3560 3204513 1488123 1 - 0.0000 -
3550.35/3564.82 c 3565 3208745 1489489 1 - 0.0000 -
3555.32/3569.87 c 3570 3212761 1490925 1 - 0.0000 -
3560.40/3574.92 c 3575 3216325 1492308 1 - 0.0000 -
3565.39/3579.97 c 3580 3220524 1493892 1 - 0.0000 -
3570.47/3585.02 c 3585 3224619 1495105 1 - 0.0000 -
3575.45/3590.07 c 3590 3228721 1496476 1 - 0.0000 -
3580.53/3595.13 c 3595 3232464 1497822 1 - 0.0000 -
3588.08/3602.74 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.08/3602.74 c Total Time : 3602.7500
3588.08/3602.74 c solving : 3602.7500
3588.08/3602.74 c presolving : 0.0242 (included in solving)
3588.08/3602.74 c B&B Tree :
3588.08/3602.74 c nodes (total) : 1
3588.08/3602.74 c Solution :
3588.08/3602.74 c Solutions found : 0
3588.08/3602.74 c Primal Bound : -
3588.08/3602.74 c Dual Bound : +0.00000000000000e+00
3588.08/3602.74 c Gap : -
3588.08/3602.75 s UNKNOWN
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 (60959 MiB free)
memory of node 1: 64510 MiB (55778 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450000-1721406852/watcher-4450000-1721406852 -o /tmp/evaluation-result-4450000-1721406852/solver-4450000-1721406852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037848 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450000-1721406852.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1039961, runsolver pid=1039958
[startup+0.100088 s]*
/proc/loadavg: 4.08 4.11 4.09 5/266 1039976
/proc/meminfo: memFree=119468188/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=123160 memory=41984 CPUtime=0.1 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 8037 0 0 0 9 1 0 0 20 0 3 0 192853499 126115840 10496 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 30790 10496 2926 3032 0 13798 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=123160 memory=4026531971 CPUtime=0.05 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 2907 0 0 0 5 0 0 0 20 0 3 0 192853502 126115840 10496 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=123160 memory=15945 CPUtime=0 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192853503 126115840 10496 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 123160 KiB
Current children cumulated memory: 41984 KiB
[startup+0.205817 s]*
/proc/loadavg: 4.08 4.11 4.09 6/262 1039976
/proc/meminfo: memFree=119463232/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=123160 memory=49844 CPUtime=0.2 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 10221 0 0 0 19 1 0 0 20 0 3 0 192853499 126115840 12461 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 30790 12461 2926 3032 0 16149 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=123160 memory=3472328300254199927 CPUtime=0.15 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 5091 0 0 0 15 0 0 0 20 0 3 0 192853502 126115840 12461 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=123160 memory=15929 CPUtime=0 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192853503 126115840 12461 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 123160 KiB
Current children cumulated memory: 49844 KiB
[startup+0.305151 s]*
/proc/loadavg: 4.08 4.11 4.09 4/261 1039990
/proc/meminfo: memFree=119463092/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=123160 memory=49844 CPUtime=0.3 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 10227 0 0 0 29 1 0 0 20 0 3 0 192853499 126115840 12461 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 30790 12461 2926 3032 0 16149 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=123160 memory=8114539340110653761 CPUtime=0.25 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 5097 0 0 0 25 0 0 0 20 0 3 0 192853502 126115840 12461 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=123160 memory=0 CPUtime=0 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192853503 126115840 12461 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 123160 KiB
Current children cumulated memory: 49844 KiB
[startup+0.700203 s]
/proc/loadavg: 4.08 4.11 4.09 6/263 1040021
/proc/meminfo: memFree=119455992/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=123160 memory=62228 CPUtime=0.69 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 13349 0 0 0 67 2 0 0 20 0 3 0 192853499 126115840 15557 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 30790 15557 2926 3032 0 19263 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=123160 memory=0 CPUtime=0.64 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 8219 0 0 0 63 1 0 0 20 0 3 0 192853502 126115840 15557 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=123160 memory=0 CPUtime=0 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192853503 126115840 15557 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 123160 KiB
Current children cumulated memory: 62228 KiB
[startup+1.50019 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 1040024
/proc/meminfo: memFree=119337768/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=123160 memory=62388 CPUtime=1.49 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 14288 0 0 0 147 2 0 0 20 0 3 0 192853499 126115840 15597 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 30790 15597 2926 3032 0 19263 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=123160 memory=0 CPUtime=1.44 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 9158 0 0 0 143 1 0 0 20 0 3 0 192853502 126115840 15597 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=123160 memory=0 CPUtime=0 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 192853503 126115840 15597 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 123160 KiB
Current children cumulated memory: 62388 KiB
[startup+3.10562 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 1040072
/proc/meminfo: memFree=122717388/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=123160 memory=69260 CPUtime=3.08 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 25310 0 0 0 305 3 0 0 20 0 3 0 192853499 126115840 17315 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 30790 17315 2926 3032 0 20743 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=123160 memory=0 CPUtime=3.04 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 20164 0 0 0 302 2 0 0 20 0 3 0 192853502 126115840 17315 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=123160 memory=0 CPUtime=0 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 192853503 126115840 17315 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 123160 KiB
Current children cumulated memory: 69260 KiB
[startup+6.30019 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 1040120
/proc/meminfo: memFree=122640140/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=123160 memory=72548 CPUtime=6.27 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 34517 0 0 0 622 5 0 0 20 0 3 0 192853499 126115840 18137 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 30790 18137 2926 3032 0 21816 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=123160 memory=0 CPUtime=6.22 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 29352 0 0 0 618 4 0 0 20 0 3 0 192853502 126115840 18137 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=123160 memory=0 CPUtime=0 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 192853503 126115840 18137 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 123160 KiB
Current children cumulated memory: 72548 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.10 4.09 5/266 1040122
/proc/meminfo: memFree=122465964/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=123160 memory=83400 CPUtime=12.64 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 48456 0 0 0 1257 7 0 0 20 0 3 0 192853499 126115840 20850 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 30790 20850 2990 3032 0 24492 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=123160 memory=11400 CPUtime=12.6 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 43251 0 0 0 1253 7 0 0 20 0 3 0 192853502 126115840 20850 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=123160 memory=69260 CPUtime=0 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 192853503 126115840 20850 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 123160 KiB
Current children cumulated memory: 83400 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 4.10 4.09 5/267 1040126
/proc/meminfo: memFree=122400324/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=123160 memory=92716 CPUtime=25.39 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 72357 0 0 0 2526 13 0 0 20 0 3 0 192853499 126115840 23179 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 30790 23179 2990 3032 0 26788 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=123160 memory=2856 CPUtime=25.34 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 67085 0 0 0 2522 12 0 0 20 0 3 0 192853502 126115840 23179 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=123160 memory=92696 CPUtime=0 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 192853503 126115840 23179 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 123160 KiB
Current children cumulated memory: 92716 KiB
[startup+51.1057 s]
/proc/loadavg: 4.10 4.10 4.09 5/266 1040177
/proc/meminfo: memFree=122348552/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=188696 memory=123972 CPUtime=50.89 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 110005 0 0 0 5067 22 0 0 20 0 3 0 192853499 193224704 30993 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 47174 30993 2990 3032 0 34339 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=188696 memory=122920 CPUtime=50.85 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 104663 0 0 0 5063 22 0 0 20 0 3 0 192853502 193224704 30993 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=188696 memory=11400 CPUtime=0 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 192853503 193224704 30993 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 188696 KiB
Current children cumulated memory: 123972 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 1040184
/proc/meminfo: memFree=122183668/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=258652 memory=182404 CPUtime=101.86 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 163778 0 0 0 10149 37 0 0 20 0 3 0 192853499 264859648 45601 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 64663 45601 2990 3032 0 48752 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=258652 memory=168584 CPUtime=101.81 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 158383 0 0 0 10145 36 0 0 20 0 3 0 192853502 264859648 45601 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=258652 memory=166264 CPUtime=0 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 192853503 264859648 45601 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 258652 KiB
Current children cumulated memory: 182404 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 1040194
/proc/meminfo: memFree=122037856/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=333308 memory=248628 CPUtime=161.6 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 201985 0 0 0 16109 51 0 0 20 0 3 0 192853499 341307392 62157 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 83327 62157 2990 3032 0 64678 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=333308 memory=219548 CPUtime=161.55 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 196563 0 0 0 16105 50 0 0 20 0 3 0 192853502 341307392 62157 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=333308 memory=193408 CPUtime=0 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 192853503 341307392 62157 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 333308 KiB
################
# More data... #
################
/proc/1039961/statm: 720653 705033 2990 3032 0 712867 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=2882612 memory=2721788 CPUtime=3448.01 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 5414072 0 0 0 343840 961 0 0 20 0 3 0 192853502 2951794688 705033 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=2882612 memory=2798676 CPUtime=0.02 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 66 0 0 0 0 2 0 0 20 0 3 0 192853503 2951794688 705033 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 3448.25 s
Current children cumulated vsize: 2882612 KiB
Current children cumulated memory: 2820132 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/269 1042065
/proc/meminfo: memFree=118297376/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=2950204 memory=2859144 CPUtime=3508.02 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 5539681 0 0 0 349818 984 0 0 20 0 3 0 192853499 3021008896 714786 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 737551 714786 2990 3032 0 721199 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=2950204 memory=2820132 CPUtime=3507.76 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 5533456 0 0 0 349798 978 0 0 20 0 3 0 192853502 3021008896 714786 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=2950204 memory=2814492 CPUtime=0.02 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 67 0 0 0 0 2 0 0 20 0 3 0 192853503 3021008896 714786 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 3508.02 s
Current children cumulated vsize: 2950204 KiB
Current children cumulated memory: 2859144 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/268 1042075
/proc/meminfo: memFree=118244920/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=2979272 memory=2898300 CPUtime=3567.77 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 5696735 0 0 0 355775 1002 0 0 20 0 3 0 192853499 3050774528 724575 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 744818 724575 2990 3032 0 735872 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=2979272 memory=2878152 CPUtime=3567.52 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 5690495 0 0 0 355755 997 0 0 20 0 3 0 192853502 3050774528 724575 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=2979272 memory=11400 CPUtime=0.03 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 68 0 0 0 1 2 0 0 20 0 3 0 192853503 3050774528 724575 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 3567.77 s
Current children cumulated vsize: 2979272 KiB
Current children cumulated memory: 2898300 KiB
[startup+3602.77 s]
# the end of solver process 1039961 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.99 s, system=10.1763 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.13 4.09 5/268 1042077
/proc/meminfo: memFree=118244236/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=2979272 memory=2898684 CPUtime=3569.47 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 5697122 0 0 0 355944 1003 0 0 20 0 3 0 192853499 3050774528 724671 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 744818 724671 2990 3032 0 735968 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=2979272 memory=-7241642814537634412 CPUtime=3569.21 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 5690882 0 0 0 355924 997 0 0 20 0 3 0 192853502 3050774528 724671 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=2979272 memory=-6933350163988322498 CPUtime=0.03 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 68 0 0 0 1 2 0 0 20 0 3 0 192853503 3050774528 724671 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 3569.47 s
Current children cumulated vsize: 2979272 KiB
Current children cumulated memory: 2898684 KiB
[startup+3590.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 1042078
/proc/meminfo: memFree=118241276/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=2979272 memory=2902004 CPUtime=3575.84 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 5700359 0 0 0 356580 1004 0 0 20 0 3 0 192853499 3050774528 725501 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 744818 725501 2990 3032 0 736752 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=2979272 memory=2228 CPUtime=3575.58 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 5694118 0 0 0 356560 998 0 0 20 0 3 0 192853502 3050774528 725501 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=2979272 memory=2898884 CPUtime=0.03 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 68 0 0 0 1 2 0 0 20 0 3 0 192853503 3050774528 725501 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 3575.84 s
Current children cumulated vsize: 2979272 KiB
Current children cumulated memory: 2902004 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.12 4.09 5/268 1042080
/proc/meminfo: memFree=118237476/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=2979272 memory=2904128 CPUtime=3582.21 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 5701541 0 0 0 357216 1005 0 0 20 0 3 0 192853499 3050774528 726032 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 744818 726032 2990 3032 0 737280 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=2979272 memory=45960 CPUtime=3581.96 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 5695300 0 0 0 357196 1000 0 0 20 0 3 0 192853502 3050774528 726032 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=2979272 memory=164 CPUtime=0.03 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 68 0 0 0 1 2 0 0 20 0 3 0 192853503 3050774528 726032 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 3582.21 s
Current children cumulated vsize: 2979272 KiB
Current children cumulated memory: 2904128 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.12 4.09 5/268 1042080
/proc/meminfo: memFree=118236412/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=2979272 memory=2905160 CPUtime=3585.4 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 5708894 0 0 0 357534 1006 0 0 20 0 3 0 192853499 3050774528 726290 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 744818 726290 2990 3032 0 737536 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=2979272 memory=1904 CPUtime=3585.15 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 5703465 0 0 0 357514 1001 0 0 20 0 3 0 192853502 3050774528 726290 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=2979272 memory=5568 CPUtime=0.03 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 68 0 0 0 1 2 0 0 20 0 3 0 192853503 3050774528 726290 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 3585.4 s
Current children cumulated vsize: 2979272 KiB
Current children cumulated memory: 2905160 KiB
[startup+3601.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 1042106
/proc/meminfo: memFree=118693588/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=2966936 memory=2892880 CPUtime=3586.99 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 5793015 0 0 0 357688 1011 0 0 20 0 3 0 192853499 3038142464 723220 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 741734 723220 2990 3032 0 734452 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=2966936 memory=45960 CPUtime=3586.73 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 5786773 0 0 0 357668 1005 0 0 20 0 3 0 192853502 3038142464 723220 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=2966936 memory=-6734707480976198755 CPUtime=0.03 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 68 0 0 0 1 2 0 0 20 0 3 0 192853503 3038142464 723220 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 3586.99 s
Current children cumulated vsize: 2966936 KiB
Current children cumulated memory: 2892880 KiB
[startup+3602.4 s]
/proc/loadavg: 4.02 4.10 4.08 4/259 1042111
/proc/meminfo: memFree=118735996/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=2964880 memory=2890824 CPUtime=3587.79 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 5829338 0 0 0 357766 1013 0 0 20 0 3 0 192853499 3036037120 722706 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 741220 722706 2990 3032 0 733938 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=2964880 memory=-6734707480976198755 CPUtime=3587.53 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 5823094 0 0 0 357745 1008 0 0 20 0 3 0 192853502 3036037120 722706 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=2964880 memory=45960 CPUtime=0.03 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 69 0 0 0 1 2 0 0 20 0 3 0 192853503 3036037120 722706 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 3587.79 s
Current children cumulated vsize: 2964880 KiB
Current children cumulated memory: 2890824 KiB
[startup+3602.6 s]
/proc/loadavg: 4.02 4.10 4.08 4/259 1042111
/proc/meminfo: memFree=118735996/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=2964880 memory=2890824 CPUtime=3587.99 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 5830536 0 0 0 357786 1013 0 0 20 0 3 0 192853499 3036037120 722706 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 741220 722706 2990 3032 0 733938 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=2964880 memory=31608 CPUtime=3587.73 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 5824292 0 0 0 357765 1008 0 0 20 0 3 0 192853502 3036037120 722706 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=2964880 memory=18812 CPUtime=0.03 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 69 0 0 0 1 2 0 0 20 0 3 0 192853503 3036037120 722706 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 3587.99 s
Current children cumulated vsize: 2964880 KiB
Current children cumulated memory: 2890824 KiB
[startup+3602.7 s]
/proc/loadavg: 4.02 4.10 4.08 4/259 1042111
/proc/meminfo: memFree=118735996/131524600 swapFree=131071996/131071996
[pid=1039961] ppid=1039958 vsize=2954600 memory=2880544 CPUtime=3588.08 cores=0,2
/proc/1039961/stat : 1039961 (fscip) S 1039958 1039961 1035639 0 -1 1077936128 5831206 0 0 0 357795 1013 0 0 20 0 3 0 192853499 3025510400 720136 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
/proc/1039961/statm: 738650 720136 2990 3032 0 731368 0
[pid=1039961/tid=1039963] ppid=1039958 vsize=2954600 memory=2902580 CPUtime=3587.83 cores=0,2
/proc/1039961/task/1039963/stat : 1039963 (fscip) R 1039958 1039961 1035639 0 -1 4194368 5824962 0 0 0 357775 1008 0 0 20 0 3 0 192853502 3025510400 720136 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
[pid=1039961/tid=1039964] ppid=1039958 vsize=2954600 memory=13120 CPUtime=0.03 cores=0,2
/proc/1039961/task/1039964/stat : 1039964 (fscip) S 1039958 1039961 1035639 0 -1 1077936192 69 0 0 0 1 2 0 0 20 0 3 0 192853503 3025510400 720136 134679101440 4194304 16613245 140731962940560 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 32333824 140731962946579 140731962946695 140731962946695 140731962953712 0
Current children cumulated CPU time: 3588.08 s
Current children cumulated vsize: 2954600 KiB
Current children cumulated memory: 2880544 KiB
Child status: 0
Real time (s): 3602.77
CPU time (s): 3588.17
CPU user time (s): 3577.99
CPU system time (s): 10.1763
CPU usage (%): 99.5947
Max. virtual memory (cumulated for all children) (KiB): 2979272
Max. memory (cumulated for all children) (KiB): 2905212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.99
system time used= 10.1763
maximum resident set size= 2905212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5831608
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= 11067
involuntary context switches= 25156
# summary of solver processes directly reported to runsolver:
# pid: 1039961
# total CPU time (s): 3588.17
# total CPU user time (s): 3577.99
# total CPU system time (s): 10.1763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70282 second user time and 17.3866 second system time
The end
Begin job on nodeC031 at 2024-07-19 18:34:25
IDJOB=4450000
IDBENCH=160356
IDSOLVER=3064
FILE ID=nodeC031/4450000-1721406852
RUNJOBID= nodeC031-1721403263-1037848
SLURM_JOB_ID= 7545454
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x80split.cnf-plain.pb.metafix.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-4450000-1721406852/watcher-4450000-1721406852 -o /tmp/evaluation-result-4450000-1721406852/solver-4450000-1721406852 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721403263-1037848 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4450000-1721406852.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4bfcc12bbb5b471fba8851c094b6b9f6
RANDOM SEED=1424201622
nodeC031.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 : 3683.041
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.55
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 : 3617.425
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.11
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 : 3600.276
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.55
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 : 3601.658
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.11
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 : 3683.101
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.55
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 : 3673.094
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.11
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 : 3599.554
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.55
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 : 3600.121
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.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119551228 kB
MemAvailable: 126072120 kB
Buffers: 511652 kB
Cached: 6775168 kB
SwapCached: 0 kB
Active: 1046704 kB
Inactive: 10132452 kB
Active(anon): 1528 kB
Inactive(anon): 3936388 kB
Active(file): 1045176 kB
Inactive(file): 6196064 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 57116 kB
Writeback: 0 kB
AnonPages: 3886716 kB
Mapped: 131520 kB
Shmem: 45912 kB
KReclaimable: 238596 kB
Slab: 368280 kB
SReclaimable: 238596 kB
SUnreclaim: 129684 kB
KernelStack: 4128 kB
PageTables: 17060 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 3533904 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 72288 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1335296 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: 254676 kB
DirectMap2M: 39364608 kB
DirectMap1G: 96468992 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC031 at 2024-07-19 19:34:28