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.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 24137728, getVmSize() = 24137728, SCIPgetMemUsed() = 1949822, SCIPgetMemTotal() = 2595630, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.01 c ** Estimated virtualMemUsedAtSolver = 16964266, getVmSize() = 26755072, SCIPgetMemUsed() = 2302067, SCIPgetMemTotal() = 4063931, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.01 c Original Problem :
0.00/0.01 c Problem name : instance-4464546-1722385801
0.00/0.01 c Variables : 282 (282 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 752
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 282 (282 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 752
0.00/0.01 c Constraints : Number
0.00/0.01 c logicor : 752
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.02 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.02 c Nodes Active
0.00/0.02 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.37/5.41 c 5 1239 189 1 - 0.0000 -
10.36/10.49 c 10 5321 4271 1 - 0.0000 -
15.44/15.55 c 16 9084 8034 1 - 0.0000 -
20.53/20.60 c 21 12748 11698 1 - 0.0000 -
25.51/25.69 c 26 16638 15582 1 - 0.0000 -
30.59/30.74 c 31 20497 19429 1 - 0.0000 -
35.57/35.79 c 36 25250 24174 1 - 0.0000 -
40.66/40.84 c 41 29733 28631 1 - 0.0000 -
45.65/45.89 c 46 34447 33252 1 - 0.0000 -
50.72/50.95 c 51 39001 37765 1 - 0.0000 -
55.82/56.01 c 56 43502 42210 1 - 0.0000 -
60.80/61.09 c 61 47787 46301 1 - 0.0000 -
65.98/66.21 c 66 51771 50285 1 - 0.0000 -
70.96/71.27 c 71 56107 54617 1 - 0.0000 -
76.04/76.32 c 76 60685 59098 1 - 0.0000 -
81.03/81.38 c 81 65026 63411 1 - 0.0000 -
86.12/86.43 c 86 69051 67418 1 - 0.0000 -
91.10/91.49 c 92 73261 71589 1 - 0.0000 -
96.18/96.55 c 97 77594 75917 1 - 0.0000 -
101.27/101.64 c 102 82092 80352 1 - 0.0000 -
106.24/106.69 c 107 86529 84677 1 - 0.0000 -
111.33/111.77 c 112 91024 89039 1 - 0.0000 -
116.42/116.81 c 117 95477 93454 1 - 0.0000 -
121.40/121.86 c 122 99976 97768 1 - 0.0000 -
126.48/126.93 c 127 104348 101894 1 - 0.0000 -
131.46/131.97 c 132 108794 106247 1 - 0.0000 -
136.55/137.03 c 137 113216 110543 1 - 0.0000 -
141.54/142.10 c 142 117489 114590 1 - 0.0000 -
146.63/147.16 c 147 121931 118686 1 - 0.0000 -
151.70/152.22 c 152 126262 122285 1 - 0.0000 -
156.79/157.30 c 157 131296 126035 1 - 0.0000 -
161.77/162.36 c 162 136319 129782 1 - 0.0000 -
166.86/167.41 c 167 141435 133584 1 - 0.0000 -
171.84/172.46 c 172 146784 137347 1 - 0.0000 -
176.92/177.56 c 178 151268 140655 1 - 0.0000 -
182.00/182.61 c 183 155458 144114 1 - 0.0000 -
186.99/187.66 c 188 159950 147679 1 - 0.0000 -
192.07/192.71 c 193 164762 151195 1 - 0.0000 -
197.05/197.76 c 198 169777 154756 1 - 0.0000 -
202.14/202.81 c 203 174719 158517 1 - 0.0000 -
207.13/207.86 c 208 179780 162082 1 - 0.0000 -
212.21/212.91 c 213 184863 165432 1 - 0.0000 -
217.20/217.96 c 218 190221 169413 1 - 0.0000 -
222.28/223.01 c 223 195323 173240 1 - 0.0000 -
227.26/228.07 c 228 200301 177180 1 - 0.0000 -
232.35/233.12 c 233 205625 181183 1 - 0.0000 -
237.43/238.21 c 238 208715 184212 1 - 0.0000 -
242.41/243.27 c 243 211931 187302 1 - 0.0000 -
247.49/248.35 c 248 215614 190549 1 - 0.0000 -
252.58/253.41 c 253 219179 193824 1 - 0.0000 -
257.56/258.47 c 258 222513 197003 1 - 0.0000 -
262.65/263.54 c 264 226611 200846 1 - 0.0000 -
267.63/268.59 c 269 231154 204936 1 - 0.0000 -
272.81/273.71 c 274 235689 208984 1 - 0.0000 -
277.80/278.77 c 279 240420 213029 1 - 0.0000 -
282.88/283.83 c 284 244978 217409 1 - 0.0000 -
287.96/288.91 c 289 249282 221518 1 - 0.0000 -
292.94/293.97 c 294 253921 225733 1 - 0.0000 -
298.03/299.03 c 299 258516 229971 1 - 0.0000 -
303.01/304.09 c 304 263245 234093 1 - 0.0000 -
308.10/309.16 c 309 267357 238202 1 - 0.0000 -
313.17/314.21 c 314 271622 242268 1 - 0.0000 -
318.16/319.29 c 319 276252 246527 1 - 0.0000 -
323.24/324.35 c 324 280957 250957 1 - 0.0000 -
328.31/329.42 c 329 285395 255278 1 - 0.0000 -
333.29/334.48 c 334 290278 259750 1 - 0.0000 -
338.35/339.54 c 340 294822 264117 1 - 0.0000 -
343.44/344.62 c 345 299181 268413 1 - 0.0000 -
348.51/349.71 c 350 304025 272768 1 - 0.0000 -
353.49/354.79 c 355 308896 277030 1 - 0.0000 -
358.57/359.83 c 360 313473 281425 1 - 0.0000 -
363.55/364.88 c 365 318067 285842 1 - 0.0000 -
368.62/369.93 c 370 322739 290172 1 - 0.0000 -
373.59/374.99 c 375 327245 294488 1 - 0.0000 -
378.68/380.07 c 380 331361 298270 1 - 0.0000 -
383.76/385.13 c 385 336068 302706 1 - 0.0000 -
388.74/390.18 c 390 340536 306936 1 - 0.0000 -
393.83/395.24 c 395 345078 311288 1 - 0.0000 -
398.91/400.30 c 400 349781 315739 1 - 0.0000 -
403.90/405.35 c 405 354448 320097 1 - 0.0000 -
408.98/410.46 c 410 358586 324204 1 - 0.0000 -
414.06/415.53 c 416 363140 328520 1 - 0.0000 -
419.15/420.60 c 421 367619 332697 1 - 0.0000 -
424.13/425.67 c 426 372194 337007 1 - 0.0000 -
429.21/430.73 c 431 376561 341176 1 - 0.0000 -
434.20/435.78 c 436 380568 345181 1 - 0.0000 -
439.29/440.86 c 441 385228 349575 1 - 0.0000 -
444.37/445.93 c 446 389604 353885 1 - 0.0000 -
449.45/451.02 c 451 394293 358210 1 - 0.0000 -
454.44/456.08 c 456 399065 362709 1 - 0.0000 -
459.53/461.15 c 461 403519 366943 1 - 0.0000 -
464.60/466.25 c 466 408024 371380 1 - 0.0000 -
469.58/471.29 c 471 412507 375801 1 - 0.0000 -
474.67/476.34 c 476 416507 379667 1 - 0.0000 -
479.74/481.41 c 481 420557 383680 1 - 0.0000 -
484.83/486.50 c 486 425049 388004 1 - 0.0000 -
489.81/491.55 c 492 429272 392083 1 - 0.0000 -
494.90/496.61 c 497 433801 396501 1 - 0.0000 -
499.88/501.69 c 502 438365 400733 1 - 0.0000 -
504.96/506.76 c 507 442791 405029 1 - 0.0000 -
510.04/511.87 c 512 447114 408981 1 - 0.0000 -
515.12/516.92 c 517 451673 413289 1 - 0.0000 -
520.11/521.97 c 522 456199 417721 1 - 0.0000 -
525.20/527.05 c 527 460846 422247 1 - 0.0000 -
530.28/532.14 c 532 465361 426524 1 - 0.0000 -
535.26/537.18 c 537 470046 430617 1 - 0.0000 -
540.35/542.24 c 542 474473 434967 1 - 0.0000 -
545.43/547.35 c 547 478697 439016 1 - 0.0000 -
550.51/552.44 c 552 483281 443265 1 - 0.0000 -
555.49/557.49 c 558 487715 447648 1 - 0.0000 -
560.58/562.54 c 563 492375 452094 1 - 0.0000 -
565.66/567.66 c 568 496906 456415 1 - 0.0000 -
570.74/572.72 c 573 501369 460794 1 - 0.0000 -
575.73/577.78 c 578 505773 465072 1 - 0.0000 -
580.81/582.84 c 583 510249 469533 1 - 0.0000 -
585.89/587.90 c 588 514872 474090 1 - 0.0000 -
590.87/592.96 c 593 519407 478361 1 - 0.0000 -
595.95/598.04 c 598 523941 482771 1 - 0.0000 -
601.04/603.14 c 603 528383 487185 1 - 0.0000 -
606.02/608.19 c 608 532906 491646 1 - 0.0000 -
611.10/613.29 c 613 537672 496342 1 - 0.0000 -
616.19/618.36 c 618 542191 500723 1 - 0.0000 -
621.27/623.42 c 623 546833 505188 1 - 0.0000 -
626.26/628.47 c 628 551117 509325 1 - 0.0000 -
631.34/633.53 c 634 555694 513671 1 - 0.0000 -
636.42/638.60 c 639 560139 517794 1 - 0.0000 -
641.51/643.72 c 644 564708 522250 1 - 0.0000 -
646.60/648.83 c 649 569234 526572 1 - 0.0000 -
651.58/653.89 c 654 573635 530788 1 - 0.0000 -
656.66/658.94 c 659 577974 535011 1 - 0.0000 -
661.75/664.08 c 664 582622 539393 1 - 0.0000 -
666.84/669.12 c 669 586765 543304 1 - 0.0000 -
671.91/674.21 c 674 591109 547603 1 - 0.0000 -
676.90/679.27 c 679 595694 551965 1 - 0.0000 -
681.98/684.38 c 684 600207 556319 1 - 0.0000 -
687.07/689.45 c 689 604803 560741 1 - 0.0000 -
692.15/694.57 c 695 609367 565092 1 - 0.0000 -
697.23/699.62 c 700 613765 569309 1 - 0.0000 -
702.22/704.68 c 705 618387 573796 1 - 0.0000 -
707.30/709.74 c 710 623215 578191 1 - 0.0000 -
712.39/714.81 c 715 627769 582298 1 - 0.0000 -
717.48/719.91 c 720 632375 586648 1 - 0.0000 -
722.56/725.00 c 725 637065 590996 1 - 0.0000 -
727.65/730.10 c 730 641808 595333 1 - 0.0000 -
732.73/735.20 c 735 646670 599302 1 - 0.0000 -
737.71/740.25 c 740 650813 602811 1 - 0.0000 -
742.80/745.32 c 745 655452 606999 1 - 0.0000 -
747.79/750.37 c 750 660396 611795 1 - 0.0000 -
752.87/755.48 c 755 665403 616369 1 - 0.0000 -
757.95/760.53 c 761 670281 620999 1 - 0.0000 -
763.24/765.84 c 766 675230 625688 1 - 0.0000 -
768.23/770.89 c 771 680115 629787 1 - 0.0000 -
773.31/775.94 c 776 684958 634079 1 - 0.0000 -
778.30/780.99 c 781 689787 638309 1 - 0.0000 -
783.38/786.04 c 786 694747 642792 1 - 0.0000 -
788.37/791.10 c 791 699514 646840 1 - 0.0000 -
793.46/796.18 c 796 704586 651601 1 - 0.0000 -
798.54/801.24 c 801 709071 655731 1 - 0.0000 -
803.62/806.31 c 806 713975 660249 1 - 0.0000 -
808.71/811.42 c 811 718547 664587 1 - 0.0000 -
813.69/816.47 c 816 723319 669089 1 - 0.0000 -
818.77/821.52 c 822 727976 673493 1 - 0.0000 -
823.76/826.59 c 827 732738 678198 1 - 0.0000 -
828.84/831.65 c 832 737508 682819 1 - 0.0000 -
833.93/836.76 c 837 742191 687391 1 - 0.0000 -
839.02/841.82 c 842 747221 691490 1 - 0.0000 -
844.10/846.91 c 847 751911 695931 1 - 0.0000 -
849.08/851.96 c 852 756660 700456 1 - 0.0000 -
854.17/857.04 c 857 761171 704886 1 - 0.0000 -
859.26/862.19 c 862 765782 709333 1 - 0.0000 -
864.34/867.24 c 867 770369 713906 1 - 0.0000 -
869.43/872.37 c 872 774735 718272 1 - 0.0000 -
874.52/877.46 c 877 779509 722989 1 - 0.0000 -
879.60/882.54 c 883 784491 727670 1 - 0.0000 -
884.68/887.63 c 888 789132 732133 1 - 0.0000 -
889.67/892.68 c 893 793826 736724 1 - 0.0000 -
894.75/897.76 c 898 798603 741283 1 - 0.0000 -
899.84/902.81 c 903 803094 745656 1 - 0.0000 -
904.92/907.99 c 908 807629 750170 1 - 0.0000 -
910.01/913.07 c 913 812439 754942 1 - 0.0000 -
915.10/918.15 c 918 816925 759292 1 - 0.0000 -
920.18/923.21 c 923 821238 763533 1 - 0.0000 -
925.16/928.28 c 928 825748 767943 1 - 0.0000 -
930.25/933.35 c 933 830274 772435 1 - 0.0000 -
935.33/938.40 c 938 834691 776736 1 - 0.0000 -
940.31/943.47 c 943 839328 781324 1 - 0.0000 -
945.40/948.55 c 949 844078 785533 1 - 0.0000 -
950.49/953.61 c 954 848784 790070 1 - 0.0000 -
955.57/958.73 c 959 853611 794588 1 - 0.0000 -
960.66/963.81 c 964 858214 798872 1 - 0.0000 -
965.74/968.91 c 969 863090 803662 1 - 0.0000 -
970.83/974.04 c 974 867781 808201 1 - 0.0000 -
975.91/979.11 c 979 872379 812754 1 - 0.0000 -
980.99/984.20 c 984 877271 817355 1 - 0.0000 -
985.97/989.29 c 989 881807 821839 1 - 0.0000 -
991.06/994.35 c 994 886621 826427 1 - 0.0000 -
996.14/999.45 c 999 891469 830828 1 - 0.0000 -
1001.23/1004.53 c 1005 895896 835007 1 - 0.0000 -
1006.22/1009.58 c 1010 900763 839501 1 - 0.0000 -
1011.30/1014.65 c 1015 905016 843751 1 - 0.0000 -
1016.39/1019.79 c 1020 909777 848195 1 - 0.0000 -
1021.47/1024.85 c 1025 914526 852886 1 - 0.0000 -
1026.56/1029.90 c 1030 919249 857430 1 - 0.0000 -
1031.54/1034.96 c 1035 923842 861932 1 - 0.0000 -
1036.63/1040.09 c 1040 928227 866190 1 - 0.0000 -
1041.72/1045.16 c 1045 932447 870404 1 - 0.0000 -
1046.80/1050.21 c 1050 936638 874593 1 - 0.0000 -
1051.78/1055.26 c 1055 941118 879056 1 - 0.0000 -
1056.87/1060.35 c 1060 945485 883191 1 - 0.0000 -
1061.95/1065.40 c 1065 950053 887442 1 - 0.0000 -
1066.94/1070.45 c 1070 954878 891789 1 - 0.0000 -
1072.13/1075.61 c 1076 959454 896054 1 - 0.0000 -
1077.11/1080.67 c 1081 964028 900191 1 - 0.0000 -
1082.20/1085.72 c 1086 968710 904550 1 - 0.0000 -
1087.28/1090.82 c 1091 973296 908861 1 - 0.0000 -
1092.26/1095.88 c 1096 978189 913589 1 - 0.0000 -
1097.35/1100.95 c 1101 982981 918050 1 - 0.0000 -
1102.43/1106.00 c 1106 987643 922398 1 - 0.0000 -
1107.42/1111.05 c 1111 992428 926657 1 - 0.0000 -
1112.51/1116.11 c 1116 997113 931094 1 - 0.0000 -
1117.50/1121.16 c 1121 1001891 935722 1 - 0.0000 -
1122.57/1126.22 c 1126 1006603 940130 1 - 0.0000 -
1127.56/1131.27 c 1131 1011282 944579 1 - 0.0000 -
1132.65/1136.37 c 1136 1016013 948795 1 - 0.0000 -
1137.83/1141.52 c 1142 1020993 953294 1 - 0.0000 -
1143.01/1146.71 c 1147 1025472 957591 1 - 0.0000 -
1148.10/1151.82 c 1152 1030206 961802 1 - 0.0000 -
1153.18/1156.96 c 1157 1034647 966078 1 - 0.0000 -
1158.27/1162.01 c 1162 1039298 970409 1 - 0.0000 -
1163.26/1167.06 c 1167 1044061 975015 1 - 0.0000 -
1168.34/1172.17 c 1172 1047938 978606 1 - 0.0000 -
1173.43/1177.23 c 1177 1052531 982770 1 - 0.0000 -
1178.40/1182.29 c 1182 1056817 986736 1 - 0.0000 -
1183.50/1187.39 c 1187 1061325 991007 1 - 0.0000 -
1188.58/1192.45 c 1192 1065067 994749 1 - 0.0000 -
1193.66/1197.50 c 1198 1069138 998820 1 - 0.0000 -
1198.65/1202.56 c 1203 1072920 1002602 1 - 0.0000 -
1203.73/1207.61 c 1208 1076858 1006540 1 - 0.0000 -
1208.92/1212.87 c 1213 1081013 1010695 1 - 0.0000 -
1214.00/1217.98 c 1218 1085168 1014811 1 - 0.0000 -
1219.19/1223.12 c 1223 1089951 1019100 1 - 0.0000 -
1224.18/1228.17 c 1228 1094448 1023057 1 - 0.0000 -
1229.26/1233.22 c 1233 1099140 1027232 1 - 0.0000 -
1234.25/1238.28 c 1238 1103259 1031157 1 - 0.0000 -
1239.43/1243.43 c 1243 1107631 1035301 1 - 0.0000 -
1244.51/1248.55 c 1249 1111839 1039125 1 - 0.0000 -
1249.60/1253.66 c 1254 1116331 1043289 1 - 0.0000 -
1254.69/1258.78 c 1259 1120746 1047241 1 - 0.0000 -
1259.77/1263.89 c 1264 1125062 1051254 1 - 0.0000 -
1264.86/1268.99 c 1269 1129496 1055347 1 - 0.0000 -
1269.94/1274.05 c 1274 1133865 1059187 1 - 0.0000 -
1275.03/1279.13 c 1279 1138262 1063395 1 - 0.0000 -
1280.02/1284.18 c 1284 1142732 1067459 1 - 0.0000 -
1285.10/1289.23 c 1289 1147395 1071524 1 - 0.0000 -
1290.18/1294.36 c 1294 1151523 1075471 1 - 0.0000 -
1295.37/1299.51 c 1300 1155966 1079513 1 - 0.0000 -
1300.35/1304.57 c 1305 1160328 1083589 1 - 0.0000 -
1305.44/1309.64 c 1310 1164824 1087675 1 - 0.0000 -
1310.52/1314.71 c 1315 1169353 1091881 1 - 0.0000 -
1315.50/1319.76 c 1320 1173887 1095903 1 - 0.0000 -
1320.59/1324.84 c 1325 1178160 1099983 1 - 0.0000 -
1325.68/1329.90 c 1330 1182823 1104121 1 - 0.0000 -
1330.66/1334.95 c 1335 1187339 1108080 1 - 0.0000 -
1335.75/1340.01 c 1340 1191880 1112285 1 - 0.0000 -
1340.74/1345.09 c 1345 1196301 1116543 1 - 0.0000 -
1345.82/1350.13 c 1350 1200941 1120923 1 - 0.0000 -
1350.81/1355.19 c 1355 1205302 1124929 1 - 0.0000 -
1355.89/1360.24 c 1360 1210006 1128827 1 - 0.0000 -
1360.97/1365.30 c 1365 1214467 1132969 1 - 0.0000 -
1365.96/1370.37 c 1370 1218957 1137152 1 - 0.0000 -
1371.04/1375.45 c 1375 1223464 1141303 1 - 0.0000 -
1376.13/1380.53 c 1381 1228179 1145512 1 - 0.0000 -
1381.12/1385.59 c 1386 1232675 1149541 1 - 0.0000 -
1386.20/1390.64 c 1391 1236868 1153558 1 - 0.0000 -
1391.18/1395.69 c 1396 1241555 1157865 1 - 0.0000 -
1396.27/1400.76 c 1401 1246309 1162168 1 - 0.0000 -
1401.36/1405.85 c 1406 1250737 1166375 1 - 0.0000 -
1406.44/1410.90 c 1411 1255333 1170415 1 - 0.0000 -
1411.53/1416.08 c 1416 1260181 1174749 1 - 0.0000 -
1416.62/1421.15 c 1421 1264535 1178856 1 - 0.0000 -
1421.60/1426.19 c 1426 1268888 1183020 1 - 0.0000 -
1426.68/1431.28 c 1431 1273403 1187353 1 - 0.0000 -
1431.87/1436.41 c 1436 1277835 1191407 1 - 0.0000 -
1436.85/1441.49 c 1442 1282439 1195511 1 - 0.0000 -
1442.04/1446.69 c 1447 1286877 1199635 1 - 0.0000 -
1447.12/1451.74 c 1452 1291112 1203556 1 - 0.0000 -
1452.11/1456.79 c 1457 1295490 1207674 1 - 0.0000 -
1457.39/1462.02 c 1462 1300198 1212020 1 - 0.0000 -
1462.58/1467.26 c 1467 1304758 1216345 1 - 0.0000 -
1467.76/1472.40 c 1472 1309179 1220287 1 - 0.0000 -
1472.75/1477.45 c 1477 1313684 1224508 1 - 0.0000 -
1477.83/1482.50 c 1483 1318048 1228168 1 - 0.0000 -
1482.82/1487.59 c 1488 1322431 1232121 1 - 0.0000 -
1488.00/1492.70 c 1493 1326869 1236238 1 - 0.0000 -
1492.98/1497.75 c 1498 1331364 1240302 1 - 0.0000 -
1498.06/1502.83 c 1503 1336069 1244586 1 - 0.0000 -
1503.05/1507.89 c 1508 1340385 1248637 1 - 0.0000 -
1508.24/1513.03 c 1513 1344877 1252903 1 - 0.0000 -
1513.21/1518.08 c 1518 1349425 1256990 1 - 0.0000 -
1518.29/1523.13 c 1523 1353652 1260935 1 - 0.0000 -
1523.47/1528.31 c 1528 1358097 1265132 1 - 0.0000 -
1528.45/1533.38 c 1533 1362296 1269017 1 - 0.0000 -
1533.63/1538.50 c 1539 1366663 1272815 1 - 0.0000 -
1538.61/1543.56 c 1544 1371000 1276633 1 - 0.0000 -
1543.69/1548.66 c 1549 1375507 1280703 1 - 0.0000 -
1548.87/1553.82 c 1554 1380028 1284895 1 - 0.0000 -
1553.95/1558.91 c 1559 1384684 1288933 1 - 0.0000 -
1558.93/1563.99 c 1564 1388929 1292928 1 - 0.0000 -
1564.11/1569.16 c 1569 1393288 1297041 1 - 0.0000 -
1569.20/1574.21 c 1574 1397682 1300920 1 - 0.0000 -
1574.18/1579.27 c 1579 1402184 1305190 1 - 0.0000 -
1579.26/1584.31 c 1584 1406478 1309287 1 - 0.0000 -
1584.25/1589.36 c 1589 1411048 1313450 1 - 0.0000 -
1589.33/1594.49 c 1594 1415693 1317854 1 - 0.0000 -
1594.42/1599.58 c 1600 1420292 1321835 1 - 0.0000 -
1599.51/1604.69 c 1605 1425033 1326142 1 - 0.0000 -
1604.59/1609.75 c 1610 1429368 1329964 1 - 0.0000 -
1609.68/1614.88 c 1615 1433622 1333995 1 - 0.0000 -
1614.76/1619.94 c 1620 1437827 1337983 1 - 0.0000 -
1619.85/1625.04 c 1625 1442221 1342183 1 - 0.0000 -
1624.94/1630.10 c 1630 1446626 1346342 1 - 0.0000 -
1630.02/1635.27 c 1635 1450942 1350570 1 - 0.0000 -
1635.10/1640.32 c 1640 1455043 1354423 1 - 0.0000 -
1640.09/1645.39 c 1645 1459408 1358640 1 - 0.0000 -
1645.17/1650.45 c 1650 1463768 1362655 1 - 0.0000 -
1650.26/1655.50 c 1656 1468360 1366852 1 - 0.0000 -
1655.24/1660.55 c 1661 1472722 1371086 1 - 0.0000 -
1660.33/1665.60 c 1666 1477113 1375180 1 - 0.0000 -
1665.42/1670.79 c 1671 1481721 1379709 1 - 0.0000 -
1670.49/1675.84 c 1676 1486244 1384042 1 - 0.0000 -
1675.69/1681.00 c 1681 1490691 1388241 1 - 0.0000 -
1680.67/1686.05 c 1686 1495028 1392353 1 - 0.0000 -
1685.75/1691.12 c 1691 1499211 1396336 1 - 0.0000 -
1690.74/1696.18 c 1696 1503448 1400232 1 - 0.0000 -
1695.82/1701.25 c 1701 1507899 1404174 1 - 0.0000 -
1700.91/1706.37 c 1706 1512128 1408194 1 - 0.0000 -
1706.00/1711.44 c 1711 1517565 1412265 1 - 0.0000 -
1711.08/1716.51 c 1717 1521825 1415697 1 - 0.0000 -
1716.27/1721.71 c 1722 1525831 1419563 1 - 0.0000 -
1721.25/1726.77 c 1727 1530407 1423641 1 - 0.0000 -
1726.43/1731.90 c 1732 1535004 1427965 1 - 0.0000 -
1731.41/1736.96 c 1737 1539193 1431986 1 - 0.0000 -
1736.51/1742.07 c 1742 1543881 1436296 1 - 0.0000 -
1741.59/1747.19 c 1747 1548476 1440488 1 - 0.0000 -
1746.77/1752.32 c 1752 1552875 1444472 1 - 0.0000 -
1751.76/1757.39 c 1757 1557141 1448422 1 - 0.0000 -
1756.85/1762.44 c 1762 1561648 1452175 1 - 0.0000 -
1761.93/1767.59 c 1768 1566061 1456120 1 - 0.0000 -
1767.12/1772.75 c 1773 1570439 1460120 1 - 0.0000 -
1772.20/1777.81 c 1778 1574897 1464211 1 - 0.0000 -
1777.19/1782.86 c 1783 1579377 1468468 1 - 0.0000 -
1782.27/1787.92 c 1788 1583763 1472385 1 - 0.0000 -
1787.46/1793.12 c 1793 1588297 1476474 1 - 0.0000 -
1792.54/1798.25 c 1798 1592641 1480482 1 - 0.0000 -
1797.62/1803.39 c 1803 1597229 1484654 1 - 0.0000 -
1802.71/1808.47 c 1808 1601449 1488423 1 - 0.0000 -
1807.80/1813.53 c 1814 1606098 1492656 1 - 0.0000 -
1812.88/1818.65 c 1819 1610413 1496476 1 - 0.0000 -
1818.06/1823.81 c 1824 1614983 1500785 1 - 0.0000 -
1823.15/1828.93 c 1829 1619431 1505016 1 - 0.0000 -
1828.13/1833.97 c 1834 1623861 1509232 1 - 0.0000 -
1833.22/1839.03 c 1839 1628297 1513405 1 - 0.0000 -
1838.20/1844.10 c 1844 1632424 1517224 1 - 0.0000 -
1843.38/1849.24 c 1849 1636816 1521286 1 - 0.0000 -
1848.37/1854.28 c 1854 1641117 1525303 1 - 0.0000 -
1853.45/1859.33 c 1859 1645663 1529665 1 - 0.0000 -
1858.54/1864.49 c 1864 1650183 1533953 1 - 0.0000 -
1863.62/1869.54 c 1870 1654619 1538178 1 - 0.0000 -
1868.71/1874.61 c 1875 1658951 1542375 1 - 0.0000 -
1873.79/1879.71 c 1880 1663399 1546718 1 - 0.0000 -
1878.88/1884.84 c 1885 1667912 1551206 1 - 0.0000 -
1883.96/1889.90 c 1890 1672255 1555521 1 - 0.0000 -
1888.95/1894.95 c 1895 1676924 1559909 1 - 0.0000 -
1894.03/1900.02 c 1900 1681158 1563885 1 - 0.0000 -
1899.02/1905.09 c 1905 1685282 1567665 1 - 0.0000 -
1904.11/1910.13 c 1910 1689209 1571288 1 - 0.0000 -
1909.09/1915.19 c 1915 1693685 1575380 1 - 0.0000 -
1914.28/1920.36 c 1920 1698261 1579686 1 - 0.0000 -
1919.46/1925.52 c 1926 1702924 1583960 1 - 0.0000 -
1924.44/1930.58 c 1931 1707536 1588326 1 - 0.0000 -
1929.63/1935.72 c 1936 1712077 1592813 1 - 0.0000 -
1934.71/1940.81 c 1941 1716523 1596795 1 - 0.0000 -
1939.90/1946.09 c 1946 1721043 1601313 1 - 0.0000 -
1945.09/1951.27 c 1951 1725311 1605526 1 - 0.0000 -
1950.37/1956.52 c 1957 1729426 1609593 1 - 0.0000 -
1955.36/1961.57 c 1962 1733692 1613595 1 - 0.0000 -
1960.44/1966.68 c 1967 1738001 1617478 1 - 0.0000 -
1965.62/1971.85 c 1972 1742436 1621520 1 - 0.0000 -
1970.71/1976.96 c 1977 1746694 1625277 1 - 0.0000 -
1975.80/1982.06 c 1982 1750962 1629426 1 - 0.0000 -
1980.88/1987.16 c 1987 1755151 1633466 1 - 0.0000 -
1985.96/1992.22 c 1992 1759484 1637655 1 - 0.0000 -
1990.95/1997.27 c 1997 1763861 1641647 1 - 0.0000 -
1996.03/2002.38 c 2002 1767647 1645342 1 - 0.0000 -
2001.12/2007.45 c 2007 1771815 1649291 1 - 0.0000 -
2006.30/2012.69 c 2013 1776523 1653596 1 - 0.0000 -
2011.39/2017.74 c 2018 1780846 1657748 1 - 0.0000 -
2016.57/2022.91 c 2023 1785575 1662321 1 - 0.0000 -
2021.56/2027.99 c 2028 1789967 1666486 1 - 0.0000 -
2026.75/2033.16 c 2033 1794169 1670512 1 - 0.0000 -
2031.93/2038.39 c 2038 1798580 1674690 1 - 0.0000 -
2037.02/2043.48 c 2043 1802893 1678813 1 - 0.0000 -
2042.10/2048.57 c 2049 1807125 1682730 1 - 0.0000 -
2047.18/2053.67 c 2054 1811284 1686596 1 - 0.0000 -
2052.27/2058.75 c 2059 1815665 1690680 1 - 0.0000 -
2057.45/2063.96 c 2064 1820071 1694844 1 - 0.0000 -
2062.64/2069.10 c 2069 1824395 1698785 1 - 0.0000 -
2067.63/2074.16 c 2074 1828745 1702876 1 - 0.0000 -
2072.71/2079.26 c 2079 1833386 1707008 1 - 0.0000 -
2077.79/2084.38 c 2084 1837451 1710939 1 - 0.0000 -
2082.88/2089.48 c 2089 1841887 1715130 1 - 0.0000 -
2088.07/2094.69 c 2095 1845999 1718961 1 - 0.0000 -
2093.24/2099.83 c 2100 1850193 1722923 1 - 0.0000 -
2098.33/2104.91 c 2105 1854386 1726859 1 - 0.0000 -
2103.32/2109.97 c 2110 1858607 1730844 1 - 0.0000 -
2108.41/2115.05 c 2115 1862775 1734676 1 - 0.0000 -
2113.39/2120.10 c 2120 1867211 1738846 1 - 0.0000 -
2118.48/2125.18 c 2125 1871395 1742647 1 - 0.0000 -
2123.56/2130.23 c 2130 1875461 1746501 1 - 0.0000 -
2128.74/2135.40 c 2135 1879317 1750349 1 - 0.0000 -
2133.73/2140.44 c 2140 1883925 1754819 1 - 0.0000 -
2138.81/2145.56 c 2146 1887805 1758504 1 - 0.0000 -
2143.90/2150.69 c 2151 1891866 1762264 1 - 0.0000 -
2149.09/2155.81 c 2156 1896375 1766547 1 - 0.0000 -
2154.07/2160.89 c 2161 1900758 1770671 1 - 0.0000 -
2159.15/2165.94 c 2166 1905149 1774535 1 - 0.0000 -
2164.24/2171.09 c 2171 1909382 1778411 1 - 0.0000 -
2169.43/2176.22 c 2176 1913705 1782292 1 - 0.0000 -
2174.51/2181.33 c 2181 1917805 1786166 1 - 0.0000 -
2179.59/2186.42 c 2186 1922006 1790080 1 - 0.0000 -
2184.58/2191.48 c 2191 1926072 1793867 1 - 0.0000 -
2189.76/2196.60 c 2197 1930207 1797683 1 - 0.0000 -
2194.73/2201.66 c 2202 1934303 1801342 1 - 0.0000 -
2199.81/2206.78 c 2207 1938190 1804924 1 - 0.0000 -
2204.89/2211.89 c 2212 1942382 1808715 1 - 0.0000 -
2209.97/2217.00 c 2217 1946361 1812463 1 - 0.0000 -
2215.06/2222.05 c 2222 1950761 1816353 1 - 0.0000 -
2220.04/2227.10 c 2227 1954661 1819919 1 - 0.0000 -
2225.22/2232.21 c 2232 1959020 1823823 1 - 0.0000 -
2230.20/2237.27 c 2237 1963575 1828090 1 - 0.0000 -
2235.28/2242.31 c 2242 1968127 1832242 1 - 0.0000 -
2240.36/2247.41 c 2247 1972303 1836114 1 - 0.0000 -
2245.34/2252.46 c 2252 1976747 1840228 1 - 0.0000 -
2250.42/2257.51 c 2258 1980766 1843925 1 - 0.0000 -
2255.39/2262.58 c 2263 1984779 1847845 1 - 0.0000 -
2260.48/2267.68 c 2268 1989181 1852001 1 - 0.0000 -
2265.56/2272.74 c 2273 1993471 1856136 1 - 0.0000 -
2270.74/2277.97 c 2278 1997609 1859994 1 - 0.0000 -
2275.82/2283.03 c 2283 2002214 1864095 1 - 0.0000 -
2280.91/2288.15 c 2288 2006487 1868131 1 - 0.0000 -
2285.98/2293.29 c 2293 2010767 1872156 1 - 0.0000 -
2291.16/2298.48 c 2298 2014847 1875955 1 - 0.0000 -
2296.34/2303.60 c 2304 2019047 1880032 1 - 0.0000 -
2301.42/2308.73 c 2309 2023190 1883983 1 - 0.0000 -
2306.40/2313.79 c 2314 2027404 1888029 1 - 0.0000 -
2311.48/2318.86 c 2319 2031523 1891935 1 - 0.0000 -
2316.56/2323.91 c 2324 2035442 1895431 1 - 0.0000 -
2321.54/2328.96 c 2329 2039599 1899429 1 - 0.0000 -
2326.63/2334.01 c 2334 2043887 1903640 1 - 0.0000 -
2331.90/2339.32 c 2339 2048062 1907530 1 - 0.0000 -
2336.89/2344.38 c 2344 2052166 1911590 1 - 0.0000 -
2342.06/2349.52 c 2350 2056244 1915482 1 - 0.0000 -
2347.15/2354.63 c 2355 2060412 1919334 1 - 0.0000 -
2352.32/2359.86 c 2360 2064923 1923222 1 - 0.0000 -
2357.41/2364.91 c 2365 2069184 1927267 1 - 0.0000 -
2362.38/2369.98 c 2370 2073111 1931055 1 - 0.0000 -
2367.46/2375.04 c 2375 2077214 1935028 1 - 0.0000 -
2372.64/2380.21 c 2380 2081565 1939242 1 - 0.0000 -
2377.63/2385.26 c 2385 2086035 1943274 1 - 0.0000 -
2382.70/2390.35 c 2390 2090527 1947672 1 - 0.0000 -
2387.88/2395.52 c 2396 2094707 1951814 1 - 0.0000 -
2392.86/2400.59 c 2401 2098926 1955843 1 - 0.0000 -
2398.04/2405.72 c 2406 2102924 1959782 1 - 0.0000 -
2403.12/2410.87 c 2411 2107248 1963682 1 - 0.0000 -
2408.21/2415.97 c 2416 2111466 1967684 1 - 0.0000 -
2413.38/2421.12 c 2421 2115559 1971574 1 - 0.0000 -
2418.37/2426.17 c 2426 2119566 1975496 1 - 0.0000 -
2423.55/2431.31 c 2431 2123741 1979353 1 - 0.0000 -
2428.63/2436.46 c 2436 2127748 1983225 1 - 0.0000 -
2433.70/2441.54 c 2442 2131801 1987129 1 - 0.0000 -
2438.69/2446.59 c 2447 2136055 1991116 1 - 0.0000 -
2443.76/2451.64 c 2452 2140113 1995073 1 - 0.0000 -
2448.84/2456.72 c 2457 2144182 1998881 1 - 0.0000 -
2453.92/2461.82 c 2462 2148547 2002913 1 - 0.0000 -
2459.00/2466.90 c 2467 2153047 2007005 1 - 0.0000 -
2464.09/2472.03 c 2472 2157307 2011046 1 - 0.0000 -
2469.07/2477.09 c 2477 2161712 2014809 1 - 0.0000 -
2474.15/2482.14 c 2482 2166144 2019104 1 - 0.0000 -
2479.14/2487.19 c 2487 2170325 2023229 1 - 0.0000 -
2484.31/2492.30 c 2492 2174584 2027295 1 - 0.0000 -
2489.29/2497.37 c 2497 2178835 2031454 1 - 0.0000 -
2494.36/2502.46 c 2502 2183185 2035729 1 - 0.0000 -
2499.65/2507.72 c 2508 2187441 2039568 1 - 0.0000 -
2504.73/2512.88 c 2513 2191568 2043267 1 - 0.0000 -
2509.81/2517.97 c 2518 2195687 2046914 1 - 0.0000 -
2515.09/2523.22 c 2523 2200033 2051152 1 - 0.0000 -
2520.07/2528.27 c 2528 2203763 2054789 1 - 0.0000 -
2525.15/2533.35 c 2533 2207810 2058828 1 - 0.0000 -
2530.33/2538.53 c 2539 2212044 2062979 1 - 0.0000 -
2535.51/2543.71 c 2544 2216232 2066924 1 - 0.0000 -
2540.59/2548.80 c 2549 2220274 2070858 1 - 0.0000 -
2545.67/2553.90 c 2554 2224555 2074969 1 - 0.0000 -
2550.65/2558.96 c 2559 2228693 2079069 1 - 0.0000 -
2555.74/2564.03 c 2564 2233205 2083372 1 - 0.0000 -
2560.82/2569.10 c 2569 2237398 2087165 1 - 0.0000 -
2565.79/2574.18 c 2574 2241395 2091115 1 - 0.0000 -
2570.97/2579.34 c 2579 2245553 2095050 1 - 0.0000 -
2576.05/2584.40 c 2584 2249794 2099021 1 - 0.0000 -
2581.03/2589.47 c 2589 2253951 2103019 1 - 0.0000 -
2586.12/2594.53 c 2595 2258207 2107067 1 - 0.0000 -
2591.19/2599.68 c 2600 2262132 2110932 1 - 0.0000 -
2596.28/2604.76 c 2605 2266362 2114955 1 - 0.0000 -
2601.35/2609.88 c 2610 2270572 2118623 1 - 0.0000 -
2606.54/2615.03 c 2615 2274808 2122556 1 - 0.0000 -
2611.71/2620.21 c 2620 2279204 2126936 1 - 0.0000 -
2616.81/2625.38 c 2625 2283301 2130973 1 - 0.0000 -
2621.89/2630.43 c 2630 2287562 2135159 1 - 0.0000 -
2627.07/2635.60 c 2636 2291678 2139082 1 - 0.0000 -
2632.06/2640.68 c 2641 2295705 2142981 1 - 0.0000 -
2637.15/2645.76 c 2646 2299689 2146895 1 - 0.0000 -
2642.33/2650.93 c 2651 2303707 2150758 1 - 0.0000 -
2647.42/2656.07 c 2656 2308110 2154490 1 - 0.0000 -
2652.60/2661.20 c 2661 2312077 2158189 1 - 0.0000 -
2657.59/2666.25 c 2666 2316207 2162201 1 - 0.0000 -
2662.67/2671.34 c 2671 2320119 2165831 1 - 0.0000 -
2667.86/2676.56 c 2677 2324406 2169883 1 - 0.0000 -
2672.94/2681.67 c 2682 2328425 2173577 1 - 0.0000 -
2678.12/2686.84 c 2687 2332629 2177657 1 - 0.0000 -
2683.21/2691.98 c 2692 2336723 2181560 1 - 0.0000 -
2688.30/2697.06 c 2697 2340786 2185443 1 - 0.0000 -
2693.39/2702.17 c 2702 2344916 2189352 1 - 0.0000 -
2698.47/2707.25 c 2707 2348929 2193337 1 - 0.0000 -
2703.55/2712.32 c 2712 2353176 2197458 1 - 0.0000 -
2708.63/2717.48 c 2717 2357235 2201255 1 - 0.0000 -
2713.82/2722.62 c 2723 2361154 2205025 1 - 0.0000 -
2718.91/2727.70 c 2728 2365204 2208869 1 - 0.0000 -
2724.00/2732.82 c 2733 2369271 2212858 1 - 0.0000 -
2729.07/2737.96 c 2738 2373501 2216842 1 - 0.0000 -
2734.17/2743.09 c 2743 2377384 2220553 1 - 0.0000 -
2739.34/2748.25 c 2748 2381569 2224362 1 - 0.0000 -
2744.53/2753.41 c 2753 2385721 2228256 1 - 0.0000 -
2749.62/2758.54 c 2759 2390107 2232449 1 - 0.0000 -
2754.80/2763.77 c 2764 2394392 2236410 1 - 0.0000 -
2759.89/2768.88 c 2769 2398419 2240330 1 - 0.0000 -
2764.97/2773.93 c 2774 2402644 2244454 1 - 0.0000 -
2770.16/2779.12 c 2779 2406245 2247980 1 - 0.0000 -
2775.15/2784.17 c 2784 2410529 2252089 1 - 0.0000 -
2780.23/2789.24 c 2789 2414526 2255893 1 - 0.0000 -
2785.31/2794.31 c 2794 2418476 2259651 1 - 0.0000 -
2790.30/2799.39 c 2799 2422498 2263577 1 - 0.0000 -
2795.49/2804.50 c 2805 2426471 2267447 1 - 0.0000 -
2800.48/2809.55 c 2810 2430472 2271245 1 - 0.0000 -
2805.55/2814.65 c 2815 2434411 2274982 1 - 0.0000 -
2810.84/2819.92 c 2820 2438301 2278835 1 - 0.0000 -
2815.93/2825.02 c 2825 2442356 2282627 1 - 0.0000 -
2820.91/2830.07 c 2830 2446150 2286332 1 - 0.0000 -
2826.00/2835.17 c 2835 2450379 2290199 1 - 0.0000 -
2831.18/2840.37 c 2840 2454211 2294020 1 - 0.0000 -
2836.57/2845.73 c 2846 2458473 2298249 1 - 0.0000 -
2841.75/2850.95 c 2851 2462559 2302123 1 - 0.0000 -
2846.84/2856.05 c 2856 2466582 2306043 1 - 0.0000 -
2851.93/2861.12 c 2861 2470844 2310062 1 - 0.0000 -
2856.92/2866.17 c 2866 2474659 2313627 1 - 0.0000 -
2862.09/2871.30 c 2871 2478842 2317698 1 - 0.0000 -
2867.08/2876.37 c 2876 2483081 2321782 1 - 0.0000 -
2872.16/2881.44 c 2881 2487277 2325898 1 - 0.0000 -
2877.25/2886.58 c 2887 2491067 2329636 1 - 0.0000 -
2882.33/2891.64 c 2892 2495176 2333556 1 - 0.0000 -
2887.42/2896.77 c 2897 2499595 2337608 1 - 0.0000 -
2892.50/2901.82 c 2902 2503691 2341524 1 - 0.0000 -
2897.49/2906.87 c 2907 2507986 2345354 1 - 0.0000 -
2902.67/2912.00 c 2912 2512221 2349288 1 - 0.0000 -
2907.76/2917.16 c 2917 2516278 2353017 1 - 0.0000 -
2912.94/2922.37 c 2922 2520123 2356730 1 - 0.0000 -
2918.03/2927.48 c 2927 2524123 2360354 1 - 0.0000 -
2923.11/2932.57 c 2933 2528052 2363710 1 - 0.0000 -
2928.19/2937.64 c 2938 2532099 2367404 1 - 0.0000 -
2933.28/2942.77 c 2943 2536292 2370801 1 - 0.0000 -
2938.37/2947.88 c 2948 2540008 2374360 1 - 0.0000 -
2943.46/2952.99 c 2953 2544212 2378426 1 - 0.0000 -
2948.55/2958.09 c 2958 2548025 2381952 1 - 0.0000 -
2953.83/2963.32 c 2963 2552158 2385807 1 - 0.0000 -
2959.01/2968.53 c 2969 2556205 2389767 1 - 0.0000 -
2964.09/2973.68 c 2974 2560504 2393965 1 - 0.0000 -
2969.18/2978.79 c 2979 2564035 2397264 1 - 0.0000 -
2974.37/2983.90 c 2984 2567934 2401056 1 - 0.0000 -
2979.45/2989.03 c 2989 2571954 2404885 1 - 0.0000 -
2984.54/2994.15 c 2994 2576071 2408866 1 - 0.0000 -
2989.72/2999.30 c 2999 2580187 2412593 1 - 0.0000 -
2994.71/3004.35 c 3004 2583728 2415939 1 - 0.0000 -
2999.89/3009.50 c 3010 2587883 2419571 1 - 0.0000 -
3005.08/3014.73 c 3015 2591845 2423277 1 - 0.0000 -
3010.06/3019.79 c 3020 2596181 2427281 1 - 0.0000 -
3015.24/3024.99 c 3025 2600255 2431284 1 - 0.0000 -
3020.52/3030.22 c 3030 2604464 2435144 1 - 0.0000 -
3025.51/3035.29 c 3035 2608613 2439123 1 - 0.0000 -
3030.60/3040.39 c 3040 2612726 2443042 1 - 0.0000 -
3035.68/3045.48 c 3045 2616962 2446951 1 - 0.0000 -
3040.86/3050.64 c 3051 2621240 2451037 1 - 0.0000 -
3045.95/3055.74 c 3056 2625433 2454584 1 - 0.0000 -
3051.04/3060.85 c 3061 2629533 2458038 1 - 0.0000 -
3056.12/3065.91 c 3066 2633466 2461539 1 - 0.0000 -
3061.11/3070.97 c 3071 2637522 2465505 1 - 0.0000 -
3066.20/3076.08 c 3076 2641695 2469300 1 - 0.0000 -
3071.28/3081.17 c 3081 2646106 2473482 1 - 0.0000 -
3076.46/3086.34 c 3086 2650004 2477182 1 - 0.0000 -
3081.54/3091.40 c 3091 2654214 2480689 1 - 0.0000 -
3086.53/3096.48 c 3096 2658149 2484328 1 - 0.0000 -
3091.62/3101.56 c 3102 2662087 2488095 1 - 0.0000 -
3096.80/3106.77 c 3107 2666403 2492218 1 - 0.0000 -
3101.88/3111.85 c 3112 2670509 2496051 1 - 0.0000 -
3106.98/3116.95 c 3117 2674337 2499718 1 - 0.0000 -
3112.06/3122.07 c 3122 2678432 2503650 1 - 0.0000 -
3117.15/3127.18 c 3127 2682411 2507377 1 - 0.0000 -
3122.23/3132.27 c 3132 2686625 2511210 1 - 0.0000 -
3127.32/3137.35 c 3137 2690647 2515070 1 - 0.0000 -
3132.40/3142.41 c 3142 2694750 2518915 1 - 0.0000 -
3137.39/3147.47 c 3147 2698437 2522384 1 - 0.0000 -
3142.47/3152.53 c 3153 2702368 2526103 1 - 0.0000 -
3147.66/3157.75 c 3158 2706573 2530084 1 - 0.0000 -
3152.74/3162.80 c 3163 2710771 2533884 1 - 0.0000 -
3157.73/3167.89 c 3168 2714768 2537586 1 - 0.0000 -
3163.02/3173.17 c 3173 2718823 2541459 1 - 0.0000 -
3168.10/3178.25 c 3178 2722906 2545257 1 - 0.0000 -
3173.18/3183.39 c 3183 2727041 2548877 1 - 0.0000 -
3178.27/3188.45 c 3188 2730929 2552501 1 - 0.0000 -
3183.35/3193.54 c 3194 2735001 2556159 1 - 0.0000 -
3188.44/3198.67 c 3199 2738937 2559856 1 - 0.0000 -
3193.52/3203.73 c 3204 2742835 2563526 1 - 0.0000 -
3198.61/3208.86 c 3209 2747051 2567571 1 - 0.0000 -
3203.80/3214.09 c 3214 2751193 2571618 1 - 0.0000 -
3208.98/3219.29 c 3219 2755288 2575484 1 - 0.0000 -
3214.16/3224.40 c 3224 2759298 2579293 1 - 0.0000 -
3219.15/3229.46 c 3229 2763521 2583141 1 - 0.0000 -
3224.33/3234.61 c 3235 2767673 2587110 1 - 0.0000 -
3229.32/3239.66 c 3240 2772075 2591124 1 - 0.0000 -
3234.41/3244.78 c 3245 2776147 2595133 1 - 0.0000 -
3239.49/3249.88 c 3250 2780174 2599000 1 - 0.0000 -
3244.68/3255.05 c 3255 2784211 2602908 1 - 0.0000 -
3249.86/3260.25 c 3260 2788499 2606993 1 - 0.0000 -
3254.94/3265.30 c 3265 2792760 2611090 1 - 0.0000 -
3260.03/3270.41 c 3270 2796992 2614965 1 - 0.0000 -
3265.02/3275.49 c 3275 2800902 2618796 1 - 0.0000 -
3270.30/3280.73 c 3281 2804853 2622696 1 - 0.0000 -
3275.38/3285.81 c 3286 2808748 2626538 1 - 0.0000 -
3280.36/3290.87 c 3291 2812581 2630341 1 - 0.0000 -
3285.64/3296.17 c 3296 2816495 2634055 1 - 0.0000 -
3290.72/3301.23 c 3301 2820206 2637472 1 - 0.0000 -
3295.81/3306.31 c 3306 2824231 2641010 1 - 0.0000 -
3300.99/3311.54 c 3312 2828597 2645103 1 - 0.0000 -
3306.06/3316.64 c 3317 2832727 2648950 1 - 0.0000 -
3311.14/3321.73 c 3322 2836575 2652712 1 - 0.0000 -
3316.32/3326.96 c 3327 2840747 2656493 1 - 0.0000 -
3321.41/3332.06 c 3332 2844915 2660497 1 - 0.0000 -
3326.58/3337.24 c 3337 2849118 2664551 1 - 0.0000 -
3331.56/3342.29 c 3342 2853121 2668508 1 - 0.0000 -
3336.64/3347.34 c 3347 2857346 2672460 1 - 0.0000 -
3341.72/3352.46 c 3352 2861391 2676352 1 - 0.0000 -
3346.80/3357.58 c 3358 2865176 2680007 1 - 0.0000 -
3351.88/3362.67 c 3363 2868984 2683712 1 - 0.0000 -
3357.06/3367.82 c 3368 2872800 2687390 1 - 0.0000 -
3362.15/3372.94 c 3373 2876986 2691377 1 - 0.0000 -
3367.22/3378.00 c 3378 2881282 2695354 1 - 0.0000 -
3372.31/3383.17 c 3383 2885219 2699016 1 - 0.0000 -
3377.39/3388.24 c 3388 2888989 2702459 1 - 0.0000 -
3382.48/3393.32 c 3393 2893041 2706042 1 - 0.0000 -
3387.57/3398.48 c 3398 2897176 2709997 1 - 0.0000 -
3392.65/3403.55 c 3404 2901258 2713785 1 - 0.0000 -
3397.93/3408.84 c 3409 2905308 2717631 1 - 0.0000 -
3402.92/3413.89 c 3414 2909443 2721604 1 - 0.0000 -
3408.10/3419.06 c 3419 2913641 2725690 1 - 0.0000 -
3413.19/3424.13 c 3424 2917333 2729171 1 - 0.0000 -
3418.36/3429.38 c 3429 2921692 2733344 1 - 0.0000 -
3423.55/3434.59 c 3435 2925406 2737003 1 - 0.0000 -
3428.64/3439.64 c 3440 2929683 2741145 1 - 0.0000 -
3433.83/3444.81 c 3445 2933929 2745049 1 - 0.0000 -
3438.81/3449.86 c 3450 2938208 2749023 1 - 0.0000 -
3443.90/3454.98 c 3455 2942371 2752793 1 - 0.0000 -
3448.99/3460.06 c 3460 2946122 2756326 1 - 0.0000 -
3454.07/3465.14 c 3465 2950514 2760016 1 - 0.0000 -
3459.15/3470.24 c 3470 2954517 2763663 1 - 0.0000 -
3464.34/3475.43 c 3475 2958850 2767782 1 - 0.0000 -
3469.62/3480.71 c 3481 2963039 2771818 1 - 0.0000 -
3474.61/3485.78 c 3486 2966954 2775472 1 - 0.0000 -
3479.89/3491.01 c 3491 2971219 2779561 1 - 0.0000 -
3484.88/3496.08 c 3496 2975191 2783404 1 - 0.0000 -
3489.96/3501.13 c 3501 2979288 2787376 1 - 0.0000 -
3495.04/3506.24 c 3506 2983371 2791047 1 - 0.0000 -
3500.12/3511.37 c 3511 2987727 2795162 1 - 0.0000 -
3505.31/3516.53 c 3517 2991638 2798865 1 - 0.0000 -
3510.50/3521.70 c 3522 2995473 2802605 1 - 0.0000 -
3515.59/3526.82 c 3527 2999561 2806346 1 - 0.0000 -
3520.87/3532.17 c 3532 3003583 2810157 1 - 0.0000 -
3526.05/3537.34 c 3537 3007316 2813629 1 - 0.0000 -
3531.14/3542.40 c 3542 3011478 2817259 1 - 0.0000 -
3536.22/3547.59 c 3548 3015707 2821174 1 - 0.0000 -
3541.41/3552.71 c 3553 3019935 2825402 1 - 0.0000 -
3546.50/3557.86 c 3558 3023928 2829391 1 - 0.0000 -
3551.58/3562.97 c 3563 3027906 2833352 1 - 0.0000 -
3556.77/3568.13 c 3568 3031810 2837206 1 - 0.0000 -
3562.05/3573.40 c 3573 3035851 2841222 1 - 0.0000 -
3567.03/3578.46 c 3578 3039807 2845114 1 - 0.0000 -
3572.12/3583.59 c 3584 3043679 2848946 1 - 0.0000 -
3577.20/3588.69 c 3589 3047725 2852932 1 - 0.0000 -
3582.39/3593.83 c 3594 3051666 2856821 1 - 0.0000 -
3589.48/3600.96 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.48/3600.96 c Total Time : 3600.9700
3589.48/3600.96 c solving : 3600.9700
3589.48/3600.97 c presolving : 0.0102 (included in solving)
3589.48/3600.97 c B&B Tree :
3589.48/3600.97 c nodes (total) : 1
3589.48/3600.97 c Solution :
3589.48/3600.97 c Solutions found : 0
3589.48/3600.97 c Primal Bound : -
3589.48/3600.97 c Dual Bound : +0.00000000000000e+00
3589.48/3600.97 c Gap : -
3589.48/3600.99 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: 63968 MiB (54402 MiB free)
memory of node 1: 64473 MiB (56704 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464546-1722385801/watcher-4464546-1722385801 -o /tmp/evaluation-result-4464546-1722385801/solver-4464546-1722385801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722378597-30625 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464546-1722385801.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=36472, runsolver pid=36469
[startup+0.100016 s]*
/proc/loadavg: 4.13 4.14 4.11 7/268 36478
/proc/meminfo: memFree=113682152/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=109988 memory=28884 CPUtime=0.09 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 4579 0 0 0 9 0 0 0 20 0 3 0 5184379 112627712 7221 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 27497 7221 2950 3035 0 10776 0
[pid=36472/tid=36474] ppid=36469 vsize=109988 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 2651 0 0 0 8 0 0 0 20 0 3 0 5184380 112627712 7221 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=109988 memory=18004 CPUtime=0 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184381 112627712 7221 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109988 KiB
Current children cumulated memory: 28884 KiB
[startup+0.205927 s]*
/proc/loadavg: 4.13 4.14 4.11 5/269 36533
/proc/meminfo: memFree=113753276/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=109988 memory=30204 CPUtime=0.2 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 4936 0 0 0 20 0 0 0 20 0 3 0 5184379 112627712 7551 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 27497 7551 2950 3035 0 10829 0
[pid=36472/tid=36474] ppid=36469 vsize=109988 memory=7234319700911194243 CPUtime=0.18 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 3008 0 0 0 18 0 0 0 20 0 3 0 5184380 112627712 7551 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=109988 memory=18004 CPUtime=0 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184381 112627712 7551 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109988 KiB
Current children cumulated memory: 30204 KiB
[startup+0.306024 s]*
/proc/loadavg: 4.13 4.14 4.11 4/265 36533
/proc/meminfo: memFree=113759848/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=109988 memory=35280 CPUtime=0.3 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 6166 0 0 0 29 1 0 0 20 0 3 0 5184379 112627712 8820 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 27497 8820 2966 3035 0 12374 0
[pid=36472/tid=36474] ppid=36469 vsize=109988 memory=4206468019014099040 CPUtime=0.28 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 4238 0 0 0 28 0 0 0 20 0 3 0 5184380 112627712 8820 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=109988 memory=-7305866044405677249 CPUtime=0 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184381 112627712 8820 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 109988 KiB
Current children cumulated memory: 35280 KiB
[startup+0.700259 s]
/proc/loadavg: 4.13 4.14 4.11 6/264 36550
/proc/meminfo: memFree=113759296/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=109988 memory=38976 CPUtime=0.69 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 7089 0 0 0 68 1 0 0 20 0 3 0 5184379 112627712 9744 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 27497 9744 2966 3035 0 13086 0
[pid=36472/tid=36474] ppid=36469 vsize=109988 memory=0 CPUtime=0.67 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 5161 0 0 0 67 0 0 0 20 0 3 0 5184380 112627712 9744 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=109988 memory=0 CPUtime=0 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184381 112627712 9744 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 109988 KiB
Current children cumulated memory: 38976 KiB
[startup+1.50026 s]
/proc/loadavg: 4.13 4.14 4.11 5/269 36583
/proc/meminfo: memFree=113740668/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=109988 memory=39692 CPUtime=1.49 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 10865 0 0 0 148 1 0 0 20 0 3 0 5184379 112627712 9923 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 27497 9923 2966 3035 0 13190 0
[pid=36472/tid=36474] ppid=36469 vsize=109988 memory=0 CPUtime=1.46 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 8922 0 0 0 146 0 0 0 20 0 3 0 5184380 112627712 9923 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=109988 memory=0 CPUtime=0 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184381 112627712 9923 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 109988 KiB
Current children cumulated memory: 39692 KiB
[startup+3.10567 s]
/proc/loadavg: 4.12 4.14 4.11 5/269 36583
/proc/meminfo: memFree=113733696/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=110680 memory=45420 CPUtime=3.08 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 13199 0 0 0 307 1 0 0 20 0 3 0 5184379 113336320 11355 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 27670 11355 2966 3035 0 14833 0
[pid=36472/tid=36474] ppid=36469 vsize=110680 memory=-5155625791184595845 CPUtime=3.07 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 11252 0 0 0 306 1 0 0 20 0 3 0 5184380 113336320 11355 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=110680 memory=0 CPUtime=0 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5184381 113336320 11355 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 110680 KiB
Current children cumulated memory: 45420 KiB
[startup+6.30021 s]
/proc/loadavg: 4.12 4.14 4.11 5/269 36583
/proc/meminfo: memFree=113701392/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=124784 memory=73152 CPUtime=6.27 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 28066 0 0 0 623 4 0 0 20 0 3 0 5184379 127778816 18288 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 31196 18288 3014 3035 0 21767 0
[pid=36472/tid=36474] ppid=36469 vsize=124784 memory=13012 CPUtime=6.25 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 26092 0 0 0 622 3 0 0 20 0 3 0 5184380 127778816 18288 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=124784 memory=73152 CPUtime=0 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5184381 127778816 18288 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 124784 KiB
Current children cumulated memory: 73152 KiB
[startup+12.7002 s]
/proc/loadavg: 4.18 4.15 4.11 5/269 36584
/proc/meminfo: memFree=113686944/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=124784 memory=76560 CPUtime=12.65 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 40554 0 0 0 1259 6 0 0 20 0 3 0 5184379 127778816 19140 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 31196 19140 3014 3035 0 22685 0
[pid=36472/tid=36474] ppid=36469 vsize=124784 memory=11408 CPUtime=12.63 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 38540 0 0 0 1257 6 0 0 20 0 3 0 5184380 127778816 19140 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=124784 memory=39240 CPUtime=0 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5184381 127778816 19140 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 124784 KiB
Current children cumulated memory: 76560 KiB
[startup+25.5003 s]
/proc/loadavg: 4.15 4.15 4.11 5/269 36586
/proc/meminfo: memFree=113656756/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=125748 memory=86992 CPUtime=25.41 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 68934 0 0 0 2530 11 0 0 20 0 3 0 5184379 128765952 21748 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 31437 21748 3014 3035 0 25474 0
[pid=36472/tid=36474] ppid=36469 vsize=125748 memory=84844 CPUtime=25.38 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 66840 0 0 0 2528 10 0 0 20 0 3 0 5184380 128765952 21748 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=125748 memory=139887621846961 CPUtime=0 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5184381 128765952 21748 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 125748 KiB
Current children cumulated memory: 86992 KiB
[startup+51.1056 s]
/proc/loadavg: 4.16 4.15 4.11 5/267 36591
/proc/meminfo: memFree=113601620/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=131192 memory=102508 CPUtime=50.93 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 97085 0 0 0 5076 17 0 0 20 0 3 0 5184379 134340608 25627 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 32798 25627 3014 3035 0 29098 0
[pid=36472/tid=36474] ppid=36469 vsize=131192 memory=100676 CPUtime=50.91 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 94889 0 0 0 5074 17 0 0 20 0 3 0 5184380 134340608 25627 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=131192 memory=99120 CPUtime=0 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 5184381 134340608 25627 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 131192 KiB
Current children cumulated memory: 102508 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/267 36601
/proc/meminfo: memFree=113482256/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=211932 memory=139644 CPUtime=101.97 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 143514 0 0 0 10168 29 0 0 20 0 3 0 5184379 217018368 34911 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 52983 34911 3014 3035 0 38840 0
[pid=36472/tid=36474] ppid=36469 vsize=211932 memory=11408 CPUtime=101.93 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 141218 0 0 0 10165 28 0 0 20 0 3 0 5184380 217018368 34911 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=211932 memory=138836 CPUtime=0 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 3 0 5184381 217018368 34911 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 211932 KiB
Current children cumulated memory: 139644 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/265 36657
/proc/meminfo: memFree=120253416/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=223128 memory=181088 CPUtime=161.77 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 183968 0 0 0 16132 45 0 0 20 0 3 0 5184379 228483072 45272 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 55782 45272 3014 3035 0 49083 0
[pid=36472/tid=36474] ppid=36469 vsize=223128 memory=179764 CPUtime=161.74 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 181613 0 0 0 16130 44 0 0 20 0 3 0 5184380 228483072 45272 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=223128 memory=-7378703256078343546 CPUtime=0 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 3 0 5184381 228483072 45272 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 223128 KiB
################
# More data... #
################
Current children cumulated memory: 2214648 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.16 4.11 8/266 38306
/proc/meminfo: memFree=114113416/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=2310592 memory=2248104 CPUtime=3391.45 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 2286463 0 0 0 338488 657 0 0 20 0 3 0 5184379 2366046208 562026 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 577648 562026 3014 3035 0 571274 0
[pid=36472/tid=36474] ppid=36469 vsize=2310592 memory=2222320 CPUtime=3391.22 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 2283186 0 0 0 338469 653 0 0 20 0 3 0 5184380 2366046208 562026 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=2310592 memory=2224724 CPUtime=0.02 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 149 0 0 0 1 1 0 0 20 0 3 0 5184381 2366046208 562026 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 3391.45 s
Current children cumulated vsize: 2310592 KiB
Current children cumulated memory: 2248104 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/266 38317
/proc/meminfo: memFree=114002432/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=2393568 memory=2283764 CPUtime=3451.28 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 2331027 0 0 0 344457 671 0 0 20 0 3 0 5184379 2451013632 570941 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 598392 570941 3014 3035 0 580041 0
[pid=36472/tid=36474] ppid=36469 vsize=2393568 memory=2222320 CPUtime=3451.04 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 2327733 0 0 0 344438 666 0 0 20 0 3 0 5184380 2451013632 570941 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=2393568 memory=2280600 CPUtime=0.02 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 151 0 0 0 1 1 0 0 20 0 3 0 5184381 2451013632 570941 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 3451.28 s
Current children cumulated vsize: 2393568 KiB
Current children cumulated memory: 2283764 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.18 4.11 5/267 38499
/proc/meminfo: memFree=113884092/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=2407940 memory=2316320 CPUtime=3511.1 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 2376684 0 0 0 350429 681 0 0 20 0 3 0 5184379 2465730560 579080 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 601985 579080 3014 3035 0 588178 0
[pid=36472/tid=36474] ppid=36469 vsize=2407940 memory=2268 CPUtime=3510.85 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 2373373 0 0 0 350409 676 0 0 20 0 3 0 5184380 2465730560 579080 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=2407940 memory=2314716 CPUtime=0.02 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 153 0 0 0 1 1 0 0 20 0 3 0 5184381 2465730560 579080 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 3511.1 s
Current children cumulated vsize: 2407940 KiB
Current children cumulated memory: 2316320 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.17 4.11 5/267 38509
/proc/meminfo: memFree=113767920/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=2421284 memory=2349604 CPUtime=3570.92 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 2415795 0 0 0 356400 692 0 0 20 0 3 0 5184379 2479394816 587401 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 605321 587401 3014 3035 0 595915 0
[pid=36472/tid=36474] ppid=36469 vsize=2421284 memory=2340300 CPUtime=3570.68 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 2412468 0 0 0 356381 687 0 0 20 0 3 0 5184380 2479394816 587401 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=2421284 memory=2349604 CPUtime=0.02 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 155 0 0 0 1 1 0 0 20 0 3 0 5184381 2479394816 587401 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 3570.92 s
Current children cumulated vsize: 2421284 KiB
Current children cumulated memory: 2349604 KiB
[startup+3601.01 s]
# the end of solver process 36472 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.29 s, system=7.29756 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.16 4.17 4.11 5/267 38509
/proc/meminfo: memFree=113765600/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=2421284 memory=2350656 CPUtime=3572.62 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 2416250 0 0 0 356570 692 0 0 20 0 3 0 5184379 2479394816 587664 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 605321 587664 3014 3035 0 596187 0
[pid=36472/tid=36474] ppid=36469 vsize=2421284 memory=-7090472879926634111 CPUtime=3572.38 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 2412923 0 0 0 356551 687 0 0 20 0 3 0 5184380 2479394816 587664 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=2421284 memory=-5155633680935826750 CPUtime=0.02 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 155 0 0 0 1 1 0 0 20 0 3 0 5184381 2479394816 587664 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 3572.62 s
Current children cumulated vsize: 2421284 KiB
Current children cumulated memory: 2350656 KiB
[startup+3590.4 s]
/proc/loadavg: 4.14 4.17 4.11 5/267 38509
/proc/meminfo: memFree=113757360/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=2422312 memory=2353000 CPUtime=3579 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 2420527 0 0 0 357207 693 0 0 20 0 3 0 5184379 2480447488 588250 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 605578 588250 3014 3035 0 596764 0
[pid=36472/tid=36474] ppid=36469 vsize=2422312 memory=2348576 CPUtime=3578.75 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 2417200 0 0 0 357187 688 0 0 20 0 3 0 5184380 2480447488 588250 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=2422312 memory=-5155633680935826750 CPUtime=0.02 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 155 0 0 0 1 1 0 0 20 0 3 0 5184381 2480447488 588250 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 3579 s
Current children cumulated vsize: 2422312 KiB
Current children cumulated memory: 2353000 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.16 4.11 5/267 38511
/proc/meminfo: memFree=113746108/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=2424368 memory=2356720 CPUtime=3585.38 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 2423657 0 0 0 357843 695 0 0 20 0 3 0 5184379 2482552832 589180 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 606092 589180 3014 3035 0 597694 0
[pid=36472/tid=36474] ppid=36469 vsize=2424368 memory=2347616 CPUtime=3585.14 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 2420330 0 0 0 357824 690 0 0 20 0 3 0 5184380 2482552832 589180 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=2424368 memory=11408 CPUtime=0.02 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 155 0 0 0 1 1 0 0 20 0 3 0 5184381 2482552832 589180 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 3585.38 s
Current children cumulated vsize: 2424368 KiB
Current children cumulated memory: 2356720 KiB
[startup+3598.4 s]
/proc/loadavg: 4.20 4.18 4.11 5/267 38511
/proc/meminfo: memFree=113741652/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=2424368 memory=2357296 CPUtime=3586.97 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 2553521 0 0 0 357996 701 0 0 20 0 3 0 5184379 2482552832 589324 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 606092 589324 3014 3035 0 597838 0
[pid=36472/tid=36474] ppid=36469 vsize=2424368 memory=2356720 CPUtime=3586.73 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 2550192 0 0 0 357977 696 0 0 20 0 3 0 5184380 2482552832 589324 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=2424368 memory=3137076 CPUtime=0.02 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 155 0 0 0 1 1 0 0 20 0 3 0 5184381 2482552832 589324 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 3586.97 s
Current children cumulated vsize: 2424368 KiB
Current children cumulated memory: 2357296 KiB
[startup+3600 s]*
/proc/loadavg: 4.20 4.18 4.11 5/267 38511
/proc/meminfo: memFree=114187168/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=1975808 memory=1908748 CPUtime=3588.58 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 2790097 0 0 0 358141 717 0 0 20 0 3 0 5184379 2023227392 477187 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 493952 477187 3014 3035 0 485698 0
[pid=36472/tid=36474] ppid=36469 vsize=1975808 memory=-7090472879926634111 CPUtime=3588.33 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 2786888 0 0 0 358121 712 0 0 20 0 3 0 5184380 2023227392 477187 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=1975808 memory=13724 CPUtime=0.02 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 155 0 0 0 1 1 0 0 20 0 3 0 5184381 2023227392 477187 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 3588.58 s
Current children cumulated vsize: 1975808 KiB
Current children cumulated memory: 1908748 KiB
[startup+3600.8 s]
/proc/loadavg: 4.20 4.18 4.11 5/267 38511
/proc/meminfo: memFree=114187168/131524600 swapFree=131071996/131071996
[pid=36472] ppid=36469 vsize=1612840 memory=1545780 CPUtime=3589.37 cores=1,3
/proc/36472/stat : 36472 (fscip) S 36469 36472 30613 0 -1 1077936128 2883386 0 0 0 358213 724 0 0 20 0 3 0 5184379 1651548160 386445 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
/proc/36472/statm: 403210 386445 3014 3035 0 394956 0
[pid=36472/tid=36474] ppid=36469 vsize=1612840 memory=-7378703256078343546 CPUtime=3589.12 cores=1,3
/proc/36472/task/36474/stat : 36474 (fscip) R 36469 36472 30613 0 -1 4194368 2880057 0 0 0 358193 719 0 0 20 0 3 0 5184380 1651548160 386445 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
[pid=36472/tid=36475] ppid=36469 vsize=1612840 memory=2065760 CPUtime=0.02 cores=1,3
/proc/36472/task/36475/stat : 36475 (fscip) S 36469 36472 30613 0 -1 1077936192 155 0 0 0 1 1 0 0 20 0 3 0 5184381 1651548160 386445 134679101440 4194304 16623229 140721407474160 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 31481856 140721407476758 140721407476874 140721407476874 140721407483888 0
Current children cumulated CPU time: 3589.37 s
Current children cumulated vsize: 1612840 KiB
Current children cumulated memory: 1545780 KiB
[startup+3601.01 s]*
/proc/loadavg: 4.20 4.18 4.11 5/268 38571
/proc/meminfo: memFree=116089192/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3601.01
CPU time (s): 3589.59
CPU user time (s): 3582.29
CPU system time (s): 7.29756
CPU usage (%): 99.6828
Max. virtual memory (cumulated for all children) (KiB): 2424368
Max. memory (cumulated for all children) (KiB): 2357296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.29
system time used= 7.29756
maximum resident set size= 2357296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2886868
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= 10792
involuntary context switches= 5067
# summary of solver processes directly reported to runsolver:
# pid: 36472
# total CPU time (s): 3589.59
# total CPU user time (s): 3582.29
# total CPU system time (s): 7.29756
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85942 second user time and 16.7603 second system time
The end
Begin job on nodeC034 at 2024-07-31 02:30:01
IDJOB=4464546
IDBENCH=159284
IDSOLVER=3092
FILE ID=nodeC034/4464546-1722385801
RUNJOBID= nodeC034-1722378597-30625
SLURM_JOB_ID= 8249857
Free space on /tmp= 889944 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n188-d3-i3-r2.cnf.gz-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-4464546-1722385801/watcher-4464546-1722385801 -o /tmp/evaluation-result-4464546-1722385801/solver-4464546-1722385801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722378597-30625 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464546-1722385801.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1c14f117e67441c2f256fb4d1e22e789
RANDOM SEED=2000602468
nodeC034.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 : 3676.777
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.51
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 : 3676.256
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 : 7005.49
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 : 3648.741
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.51
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 : 3666.264
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 : 7005.49
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 : 3668.481
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.51
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.291
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 : 7005.49
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 : 3602.455
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.51
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 : 3599.772
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 : 7005.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 113776104 kB
MemAvailable: 114090324 kB
Buffers: 100024 kB
Cached: 1046724 kB
SwapCached: 0 kB
Active: 325264 kB
Inactive: 16913108 kB
Active(anon): 1540 kB
Inactive(anon): 16111440 kB
Active(file): 323724 kB
Inactive(file): 801668 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56608 kB
Writeback: 0 kB
AnonPages: 16089744 kB
Mapped: 124888 kB
Shmem: 21336 kB
KReclaimable: 57304 kB
Slab: 137972 kB
SReclaimable: 57304 kB
SUnreclaim: 80668 kB
KernelStack: 4256 kB
PageTables: 41340 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 8825780 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3768320 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: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 889944 MiB
End job on nodeC034 at 2024-07-31 03:30:02