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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 24129536, getVmSize() = 24129536, SCIPgetMemUsed() = 1906110, SCIPgetMemTotal() = 2595558, 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 = 16943786, getVmSize() = 26701824, SCIPgetMemUsed() = 2240557, SCIPgetMemTotal() = 4030061, 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-4447700-1721357676
0.00/0.01 c Variables : 273 (273 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 728
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 273 (273 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 728
0.00/0.01 c Constraints : Number
0.00/0.01 c logicor : 728
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.49 c 5 2051 1001 1 - 0.0000 -
10.45/10.58 c 11 6146 5096 1 - 0.0000 -
15.53/15.62 c 16 11080 10030 1 - 0.0000 -
20.51/20.69 c 21 16252 15202 1 - 0.0000 -
25.60/25.73 c 26 20692 19628 1 - 0.0000 -
30.58/30.78 c 31 25204 24116 1 - 0.0000 -
35.65/35.85 c 36 29536 28442 1 - 0.0000 -
40.74/40.95 c 41 34019 32919 1 - 0.0000 -
45.82/46.01 c 46 38766 37666 1 - 0.0000 -
50.80/51.07 c 51 43169 42060 1 - 0.0000 -
55.88/56.12 c 56 48082 46968 1 - 0.0000 -
60.96/61.21 c 61 53202 52070 1 - 0.0000 -
65.94/66.28 c 66 57831 56669 1 - 0.0000 -
71.02/71.32 c 71 62740 61552 1 - 0.0000 -
76.00/76.39 c 76 67893 66607 1 - 0.0000 -
81.08/81.47 c 81 73069 71761 1 - 0.0000 -
86.16/86.57 c 87 78373 77046 1 - 0.0000 -
91.25/91.61 c 92 83572 82192 1 - 0.0000 -
96.23/96.66 c 97 88855 87462 1 - 0.0000 -
101.31/101.72 c 102 93469 92076 1 - 0.0000 -
106.29/106.78 c 107 98916 97523 1 - 0.0000 -
111.37/111.83 c 112 104169 102755 1 - 0.0000 -
116.35/116.88 c 117 109014 107582 1 - 0.0000 -
121.43/121.95 c 122 113961 112490 1 - 0.0000 -
126.41/126.99 c 127 118275 116804 1 - 0.0000 -
131.49/132.03 c 132 123016 121522 1 - 0.0000 -
136.57/137.13 c 137 128002 126442 1 - 0.0000 -
141.55/142.19 c 142 132924 131239 1 - 0.0000 -
146.62/147.23 c 147 138183 136447 1 - 0.0000 -
151.60/152.28 c 152 143204 141422 1 - 0.0000 -
156.68/157.33 c 157 148275 146493 1 - 0.0000 -
161.66/162.38 c 162 153064 151261 1 - 0.0000 -
166.73/167.43 c 167 158143 156314 1 - 0.0000 -
171.72/172.48 c 172 163230 161380 1 - 0.0000 -
176.79/177.57 c 178 168191 166185 1 - 0.0000 -
181.86/182.62 c 183 173196 170838 1 - 0.0000 -
186.94/187.70 c 188 178461 175908 1 - 0.0000 -
192.02/192.83 c 193 183571 180715 1 - 0.0000 -
197.00/197.88 c 198 188521 185063 1 - 0.0000 -
202.08/202.93 c 203 193282 189179 1 - 0.0000 -
207.05/207.98 c 208 198304 193287 1 - 0.0000 -
212.14/213.02 c 213 203381 197741 1 - 0.0000 -
217.11/218.08 c 218 208472 202530 1 - 0.0000 -
222.19/223.16 c 223 213371 207351 1 - 0.0000 -
227.26/228.21 c 228 218494 212292 1 - 0.0000 -
232.24/233.26 c 233 223241 216811 1 - 0.0000 -
237.31/238.34 c 238 228280 221558 1 - 0.0000 -
242.29/243.39 c 243 233246 226306 1 - 0.0000 -
247.37/248.46 c 248 238161 231058 1 - 0.0000 -
252.45/253.50 c 254 243459 236296 1 - 0.0000 -
257.43/258.55 c 259 248806 241335 1 - 0.0000 -
262.51/263.64 c 264 253763 246231 1 - 0.0000 -
267.59/268.72 c 269 258861 251231 1 - 0.0000 -
272.57/273.77 c 274 263783 256006 1 - 0.0000 -
277.65/278.83 c 279 268775 260854 1 - 0.0000 -
282.63/283.88 c 284 273802 265824 1 - 0.0000 -
287.71/288.94 c 289 278814 270797 1 - 0.0000 -
292.79/294.00 c 294 284194 276098 1 - 0.0000 -
297.77/299.04 c 299 289584 281174 1 - 0.0000 -
302.85/304.11 c 304 295016 286390 1 - 0.0000 -
307.83/309.15 c 309 300433 291038 1 - 0.0000 -
312.90/314.20 c 314 305691 295721 1 - 0.0000 -
317.88/319.25 c 319 310870 300411 1 - 0.0000 -
322.96/324.31 c 324 316229 304929 1 - 0.0000 -
327.94/329.36 c 329 321282 309376 1 - 0.0000 -
333.03/334.46 c 334 326001 313836 1 - 0.0000 -
338.11/339.57 c 340 330953 318257 1 - 0.0000 -
343.19/344.63 c 345 336171 323147 1 - 0.0000 -
348.27/349.71 c 350 341556 327876 1 - 0.0000 -
353.25/354.79 c 355 346866 332512 1 - 0.0000 -
358.32/359.85 c 360 351867 337098 1 - 0.0000 -
363.30/364.89 c 365 356673 341420 1 - 0.0000 -
368.39/369.94 c 370 361786 346095 1 - 0.0000 -
373.46/375.00 c 375 366872 350971 1 - 0.0000 -
378.44/380.05 c 380 372059 355795 1 - 0.0000 -
383.53/385.14 c 385 377131 360539 1 - 0.0000 -
388.51/390.18 c 390 382302 365402 1 - 0.0000 -
393.58/395.26 c 395 387743 369922 1 - 0.0000 -
398.67/400.33 c 400 392832 374487 1 - 0.0000 -
403.75/405.42 c 405 397985 379416 1 - 0.0000 -
408.72/410.49 c 410 403370 384386 1 - 0.0000 -
413.81/415.54 c 416 408718 388954 1 - 0.0000 -
418.79/420.59 c 421 413752 393750 1 - 0.0000 -
423.87/425.65 c 426 418883 398546 1 - 0.0000 -
428.95/430.70 c 431 424173 403417 1 - 0.0000 -
433.93/435.75 c 436 429326 408236 1 - 0.0000 -
439.02/440.81 c 441 434541 413097 1 - 0.0000 -
444.10/445.90 c 446 439701 418017 1 - 0.0000 -
449.08/450.97 c 451 444915 423035 1 - 0.0000 -
454.17/456.04 c 456 450318 428210 1 - 0.0000 -
459.15/461.10 c 461 455403 432934 1 - 0.0000 -
464.23/466.16 c 466 460755 438183 1 - 0.0000 -
469.31/471.22 c 471 466115 443245 1 - 0.0000 -
474.29/476.28 c 476 471774 448347 1 - 0.0000 -
479.37/481.32 c 481 477419 453377 1 - 0.0000 -
484.35/486.38 c 486 482659 458317 1 - 0.0000 -
489.43/491.47 c 491 488049 463321 1 - 0.0000 -
494.51/496.53 c 497 493576 468307 1 - 0.0000 -
499.59/501.64 c 502 498656 473300 1 - 0.0000 -
504.58/506.69 c 507 504082 478210 1 - 0.0000 -
509.66/511.77 c 512 509633 483586 1 - 0.0000 -
514.74/516.83 c 517 515084 488899 1 - 0.0000 -
519.82/521.95 c 522 520406 494013 1 - 0.0000 -
524.91/527.01 c 527 525847 499218 1 - 0.0000 -
529.99/532.11 c 532 531276 504254 1 - 0.0000 -
535.07/537.23 c 537 536651 509493 1 - 0.0000 -
540.15/542.33 c 542 541858 514640 1 - 0.0000 -
545.13/547.39 c 547 546952 519514 1 - 0.0000 -
550.21/552.47 c 552 552084 524441 1 - 0.0000 -
555.29/557.55 c 558 557299 529425 1 - 0.0000 -
560.38/562.62 c 563 562899 534532 1 - 0.0000 -
565.36/567.67 c 568 568392 539828 1 - 0.0000 -
570.44/572.73 c 573 573466 544757 1 - 0.0000 -
575.42/577.78 c 578 578786 549854 1 - 0.0000 -
580.50/582.84 c 583 584056 554990 1 - 0.0000 -
585.58/587.91 c 588 589377 559904 1 - 0.0000 -
590.67/593.03 c 593 594609 564685 1 - 0.0000 -
595.65/598.07 c 598 599974 569537 1 - 0.0000 -
600.73/603.12 c 603 605046 574310 1 - 0.0000 -
605.71/608.17 c 608 610332 579464 1 - 0.0000 -
610.79/613.23 c 613 615653 584391 1 - 0.0000 -
615.77/618.27 c 618 620952 589535 1 - 0.0000 -
620.85/623.32 c 623 626325 594599 1 - 0.0000 -
625.83/628.37 c 628 631631 599797 1 - 0.0000 -
630.91/633.42 c 633 636809 604868 1 - 0.0000 -
636.00/638.55 c 639 641882 609752 1 - 0.0000 -
641.08/643.60 c 644 646939 614660 1 - 0.0000 -
646.06/648.67 c 649 652063 619573 1 - 0.0000 -
651.14/653.78 c 654 657498 624877 1 - 0.0000 -
656.23/658.87 c 659 662824 630007 1 - 0.0000 -
661.31/663.91 c 664 668205 635094 1 - 0.0000 -
666.39/669.03 c 669 673572 640351 1 - 0.0000 -
671.38/674.08 c 674 678895 645402 1 - 0.0000 -
676.46/679.16 c 679 684091 650404 1 - 0.0000 -
681.53/684.27 c 684 689271 655292 1 - 0.0000 -
686.61/689.33 c 689 694569 660490 1 - 0.0000 -
691.60/694.38 c 694 699842 665517 1 - 0.0000 -
696.67/699.47 c 699 705163 670672 1 - 0.0000 -
701.76/704.52 c 705 710373 675561 1 - 0.0000 -
706.83/709.64 c 710 715841 680795 1 - 0.0000 -
711.91/714.77 c 715 721049 685907 1 - 0.0000 -
717.10/719.92 c 720 726541 690943 1 - 0.0000 -
722.08/724.99 c 725 731723 695993 1 - 0.0000 -
727.17/730.03 c 730 737066 701017 1 - 0.0000 -
732.25/735.19 c 735 742524 706205 1 - 0.0000 -
737.33/740.24 c 740 747947 711564 1 - 0.0000 -
742.31/745.29 c 745 753277 716772 1 - 0.0000 -
747.39/750.36 c 750 758418 721590 1 - 0.0000 -
752.47/755.46 c 755 763673 726747 1 - 0.0000 -
757.55/760.52 c 761 768385 731403 1 - 0.0000 -
762.64/765.62 c 766 773552 736446 1 - 0.0000 -
767.62/770.68 c 771 778380 741209 1 - 0.0000 -
772.69/775.75 c 776 783201 745868 1 - 0.0000 -
777.77/780.81 c 781 788078 750623 1 - 0.0000 -
782.75/785.87 c 786 793114 755544 1 - 0.0000 -
787.84/790.99 c 791 798417 760472 1 - 0.0000 -
792.93/796.05 c 796 803723 765601 1 - 0.0000 -
798.01/801.15 c 801 808753 770517 1 - 0.0000 -
802.99/806.19 c 806 813938 775447 1 - 0.0000 -
808.06/811.26 c 811 819103 780445 1 - 0.0000 -
813.15/816.32 c 816 824292 785500 1 - 0.0000 -
818.13/821.36 c 821 829656 790662 1 - 0.0000 -
823.21/826.46 c 826 834862 795742 1 - 0.0000 -
828.29/831.53 c 832 840283 800777 1 - 0.0000 -
833.27/836.58 c 837 845338 805549 1 - 0.0000 -
838.36/841.66 c 842 850600 810744 1 - 0.0000 -
843.43/846.74 c 847 856217 815743 1 - 0.0000 -
848.52/851.81 c 852 861633 820862 1 - 0.0000 -
853.60/856.92 c 857 866881 825819 1 - 0.0000 -
858.58/861.99 c 862 872088 830611 1 - 0.0000 -
863.66/867.06 c 867 877322 835679 1 - 0.0000 -
868.75/872.11 c 872 882457 840486 1 - 0.0000 -
873.73/877.16 c 877 887778 845399 1 - 0.0000 -
878.80/882.23 c 882 892787 850196 1 - 0.0000 -
883.89/887.31 c 887 897965 855275 1 - 0.0000 -
888.87/892.35 c 892 902941 860109 1 - 0.0000 -
893.95/897.45 c 897 908031 865091 1 - 0.0000 -
899.03/902.56 c 903 913115 870169 1 - 0.0000 -
904.11/907.60 c 908 918238 875075 1 - 0.0000 -
909.20/912.75 c 913 923411 880168 1 - 0.0000 -
914.27/917.80 c 918 928618 885100 1 - 0.0000 -
919.26/922.87 c 923 933736 889763 1 - 0.0000 -
924.34/927.93 c 928 938972 894895 1 - 0.0000 -
929.43/933.00 c 933 944303 899992 1 - 0.0000 -
934.40/938.08 c 938 949733 904892 1 - 0.0000 -
939.58/943.20 c 943 955488 909886 1 - 0.0000 -
944.56/948.26 c 948 960535 914693 1 - 0.0000 -
949.64/953.33 c 953 965761 919593 1 - 0.0000 -
954.63/958.38 c 958 970911 924420 1 - 0.0000 -
959.70/963.48 c 963 975881 929220 1 - 0.0000 -
964.78/968.54 c 969 980967 934133 1 - 0.0000 -
969.86/973.65 c 974 986198 939291 1 - 0.0000 -
974.95/978.71 c 979 991491 944165 1 - 0.0000 -
980.03/983.82 c 984 996595 948912 1 - 0.0000 -
985.01/988.88 c 989 1001737 953757 1 - 0.0000 -
990.09/993.97 c 994 1006657 958513 1 - 0.0000 -
995.28/999.13 c 999 1011691 963479 1 - 0.0000 -
1000.36/1004.24 c 1004 1016809 968282 1 - 0.0000 -
1005.44/1009.39 c 1009 1021937 973259 1 - 0.0000 -
1010.52/1014.43 c 1014 1027314 978397 1 - 0.0000 -
1015.50/1019.48 c 1019 1032297 983086 1 - 0.0000 -
1020.58/1024.58 c 1025 1037319 987980 1 - 0.0000 -
1025.67/1029.62 c 1030 1042181 992770 1 - 0.0000 -
1030.65/1034.67 c 1035 1047298 997755 1 - 0.0000 -
1035.73/1039.79 c 1040 1052446 1002608 1 - 0.0000 -
1040.81/1044.85 c 1045 1057192 1007354 1 - 0.0000 -
1045.88/1049.93 c 1050 1062074 1012227 1 - 0.0000 -
1050.97/1055.00 c 1055 1067093 1017234 1 - 0.0000 -
1055.96/1060.08 c 1060 1072141 1022195 1 - 0.0000 -
1061.04/1065.15 c 1065 1077063 1027046 1 - 0.0000 -
1066.11/1070.21 c 1070 1082327 1032225 1 - 0.0000 -
1071.19/1075.40 c 1075 1087713 1037402 1 - 0.0000 -
1076.28/1080.46 c 1080 1092543 1042232 1 - 0.0000 -
1081.36/1085.57 c 1086 1097623 1047245 1 - 0.0000 -
1086.54/1090.70 c 1091 1102761 1052295 1 - 0.0000 -
1091.52/1095.77 c 1096 1107657 1057089 1 - 0.0000 -
1096.60/1100.82 c 1101 1112741 1062070 1 - 0.0000 -
1101.68/1105.93 c 1106 1117829 1067064 1 - 0.0000 -
1106.76/1111.00 c 1111 1122395 1071608 1 - 0.0000 -
1111.75/1116.04 c 1116 1127142 1076351 1 - 0.0000 -
1116.83/1121.13 c 1121 1131915 1080984 1 - 0.0000 -
1121.90/1126.24 c 1126 1136946 1085851 1 - 0.0000 -
1126.88/1131.29 c 1131 1141779 1090672 1 - 0.0000 -
1131.97/1136.34 c 1136 1146584 1095459 1 - 0.0000 -
1137.05/1141.40 c 1141 1151336 1100208 1 - 0.0000 -
1142.03/1146.47 c 1146 1156378 1105150 1 - 0.0000 -
1147.21/1151.64 c 1152 1161493 1110242 1 - 0.0000 -
1152.40/1156.80 c 1157 1166574 1115160 1 - 0.0000 -
1157.38/1161.87 c 1162 1171319 1119685 1 - 0.0000 -
1162.46/1166.94 c 1167 1176272 1124548 1 - 0.0000 -
1167.44/1171.98 c 1172 1181118 1129292 1 - 0.0000 -
1172.52/1177.05 c 1177 1186233 1134125 1 - 0.0000 -
1177.61/1182.11 c 1182 1191296 1139090 1 - 0.0000 -
1182.59/1187.16 c 1187 1196556 1144346 1 - 0.0000 -
1187.67/1192.21 c 1192 1201418 1149186 1 - 0.0000 -
1192.64/1197.26 c 1197 1206259 1154018 1 - 0.0000 -
1197.82/1202.41 c 1202 1211294 1158998 1 - 0.0000 -
1202.90/1207.52 c 1208 1216313 1163989 1 - 0.0000 -
1207.98/1212.60 c 1213 1221524 1169192 1 - 0.0000 -
1212.97/1217.64 c 1218 1226738 1174225 1 - 0.0000 -
1218.05/1222.70 c 1223 1231590 1178971 1 - 0.0000 -
1223.12/1227.85 c 1228 1236417 1183762 1 - 0.0000 -
1228.21/1232.96 c 1233 1241427 1188734 1 - 0.0000 -
1233.30/1238.03 c 1238 1246209 1193432 1 - 0.0000 -
1238.28/1243.08 c 1243 1251038 1198248 1 - 0.0000 -
1243.36/1248.18 c 1248 1255771 1202955 1 - 0.0000 -
1248.53/1253.30 c 1253 1260423 1207558 1 - 0.0000 -
1253.51/1258.36 c 1258 1265247 1212201 1 - 0.0000 -
1258.60/1263.49 c 1264 1270006 1216909 1 - 0.0000 -
1263.78/1268.64 c 1269 1275207 1222064 1 - 0.0000 -
1268.85/1273.70 c 1274 1279963 1226697 1 - 0.0000 -
1273.84/1278.77 c 1279 1284757 1231380 1 - 0.0000 -
1278.92/1283.82 c 1284 1289500 1235998 1 - 0.0000 -
1283.90/1288.87 c 1289 1294685 1240849 1 - 0.0000 -
1288.98/1293.92 c 1294 1299495 1245568 1 - 0.0000 -
1293.96/1298.97 c 1299 1304439 1250304 1 - 0.0000 -
1299.05/1304.02 c 1304 1309458 1255095 1 - 0.0000 -
1304.13/1309.14 c 1309 1314487 1260034 1 - 0.0000 -
1309.11/1314.19 c 1314 1319399 1264801 1 - 0.0000 -
1314.19/1319.24 c 1319 1324229 1269349 1 - 0.0000 -
1319.26/1324.30 c 1324 1329081 1273969 1 - 0.0000 -
1324.35/1329.41 c 1329 1333982 1278599 1 - 0.0000 -
1329.43/1334.50 c 1335 1338933 1283411 1 - 0.0000 -
1334.41/1339.58 c 1340 1343671 1288107 1 - 0.0000 -
1339.60/1344.71 c 1345 1348352 1292788 1 - 0.0000 -
1344.58/1349.76 c 1350 1353417 1297377 1 - 0.0000 -
1349.65/1354.81 c 1355 1358429 1302230 1 - 0.0000 -
1354.64/1359.86 c 1360 1363478 1306904 1 - 0.0000 -
1359.72/1364.91 c 1365 1368440 1311602 1 - 0.0000 -
1364.80/1370.03 c 1370 1373385 1316362 1 - 0.0000 -
1369.78/1375.07 c 1375 1378131 1321006 1 - 0.0000 -
1374.87/1380.15 c 1380 1382038 1324901 1 - 0.0000 -
1379.94/1385.21 c 1385 1386537 1329382 1 - 0.0000 -
1384.93/1390.29 c 1390 1391216 1334034 1 - 0.0000 -
1390.01/1395.37 c 1395 1395878 1338676 1 - 0.0000 -
1395.19/1400.50 c 1401 1400434 1343205 1 - 0.0000 -
1400.26/1405.63 c 1406 1405317 1348034 1 - 0.0000 -
1405.34/1410.79 c 1411 1410509 1353078 1 - 0.0000 -
1410.41/1415.88 c 1416 1415411 1357912 1 - 0.0000 -
1415.50/1420.96 c 1421 1420282 1362654 1 - 0.0000 -
1420.58/1426.01 c 1426 1425162 1367462 1 - 0.0000 -
1425.66/1431.18 c 1431 1429504 1371789 1 - 0.0000 -
1430.73/1436.29 c 1436 1434243 1376329 1 - 0.0000 -
1435.91/1441.42 c 1441 1439102 1380976 1 - 0.0000 -
1440.98/1446.52 c 1447 1443462 1385295 1 - 0.0000 -
1446.06/1451.62 c 1452 1448211 1389895 1 - 0.0000 -
1451.04/1456.67 c 1457 1453290 1394814 1 - 0.0000 -
1456.12/1461.72 c 1462 1458195 1399479 1 - 0.0000 -
1461.09/1466.77 c 1467 1462806 1403970 1 - 0.0000 -
1466.28/1471.92 c 1472 1467748 1408711 1 - 0.0000 -
1471.35/1477.08 c 1477 1472729 1413640 1 - 0.0000 -
1476.43/1482.18 c 1482 1477453 1418278 1 - 0.0000 -
1481.50/1487.25 c 1487 1482040 1422697 1 - 0.0000 -
1486.58/1492.35 c 1492 1486717 1427197 1 - 0.0000 -
1491.66/1497.41 c 1497 1491407 1431839 1 - 0.0000 -
1496.64/1502.46 c 1502 1496305 1436662 1 - 0.0000 -
1501.72/1507.57 c 1508 1500972 1441225 1 - 0.0000 -
1506.79/1512.63 c 1513 1505655 1445719 1 - 0.0000 -
1511.97/1517.81 c 1518 1510692 1450594 1 - 0.0000 -
1517.04/1522.92 c 1523 1515734 1455217 1 - 0.0000 -
1522.02/1527.96 c 1528 1520404 1459776 1 - 0.0000 -
1527.11/1533.08 c 1533 1525061 1464133 1 - 0.0000 -
1532.28/1538.27 c 1538 1529692 1468575 1 - 0.0000 -
1537.35/1543.32 c 1543 1534534 1472999 1 - 0.0000 -
1542.44/1548.42 c 1548 1539417 1477602 1 - 0.0000 -
1547.41/1553.49 c 1553 1543749 1481281 1 - 0.0000 -
1552.49/1558.54 c 1559 1548553 1485800 1 - 0.0000 -
1557.57/1563.62 c 1564 1553452 1490296 1 - 0.0000 -
1562.65/1568.79 c 1569 1558373 1495030 1 - 0.0000 -
1567.73/1573.86 c 1574 1563060 1499653 1 - 0.0000 -
1572.80/1578.91 c 1579 1567989 1504217 1 - 0.0000 -
1577.89/1584.02 c 1584 1573124 1509006 1 - 0.0000 -
1582.96/1589.10 c 1589 1578175 1513863 1 - 0.0000 -
1587.94/1594.19 c 1594 1582974 1518340 1 - 0.0000 -
1593.01/1599.24 c 1599 1587480 1522754 1 - 0.0000 -
1598.09/1604.30 c 1604 1592030 1527158 1 - 0.0000 -
1603.07/1609.36 c 1609 1596594 1531562 1 - 0.0000 -
1608.15/1614.46 c 1614 1601383 1536035 1 - 0.0000 -
1613.23/1619.56 c 1620 1606489 1540746 1 - 0.0000 -
1618.31/1624.64 c 1625 1611254 1545065 1 - 0.0000 -
1623.38/1629.72 c 1630 1616174 1549714 1 - 0.0000 -
1628.36/1634.77 c 1635 1620921 1553983 1 - 0.0000 -
1633.44/1639.84 c 1640 1625669 1558507 1 - 0.0000 -
1638.51/1644.95 c 1645 1630477 1563089 1 - 0.0000 -
1643.60/1650.01 c 1650 1635252 1567503 1 - 0.0000 -
1648.58/1655.05 c 1655 1640614 1571792 1 - 0.0000 -
1653.65/1660.16 c 1660 1645444 1575716 1 - 0.0000 -
1658.73/1665.24 c 1665 1650279 1580125 1 - 0.0000 -
1663.80/1670.31 c 1670 1655251 1584488 1 - 0.0000 -
1668.79/1675.37 c 1675 1660032 1588723 1 - 0.0000 -
1673.86/1680.44 c 1680 1665018 1593156 1 - 0.0000 -
1678.93/1685.55 c 1686 1670014 1598029 1 - 0.0000 -
1684.01/1690.61 c 1691 1674860 1602453 1 - 0.0000 -
1688.99/1695.68 c 1696 1679578 1607028 1 - 0.0000 -
1694.07/1700.78 c 1701 1684292 1611385 1 - 0.0000 -
1699.15/1705.82 c 1706 1689084 1615817 1 - 0.0000 -
1704.13/1710.87 c 1711 1693734 1620220 1 - 0.0000 -
1709.21/1715.92 c 1716 1698567 1624754 1 - 0.0000 -
1714.19/1720.99 c 1721 1703435 1629263 1 - 0.0000 -
1719.27/1726.06 c 1726 1708106 1633675 1 - 0.0000 -
1724.34/1731.19 c 1731 1713171 1638446 1 - 0.0000 -
1729.51/1736.34 c 1736 1718024 1643135 1 - 0.0000 -
1734.59/1741.40 c 1741 1722789 1647703 1 - 0.0000 -
1739.58/1746.47 c 1746 1727548 1652421 1 - 0.0000 -
1744.65/1751.52 c 1752 1732461 1657201 1 - 0.0000 -
1749.73/1756.62 c 1757 1737313 1661933 1 - 0.0000 -
1754.70/1761.67 c 1762 1742269 1666480 1 - 0.0000 -
1759.79/1766.72 c 1767 1747202 1671078 1 - 0.0000 -
1764.76/1771.79 c 1772 1751858 1675568 1 - 0.0000 -
1769.84/1776.84 c 1777 1756596 1679968 1 - 0.0000 -
1774.82/1781.89 c 1782 1761374 1684325 1 - 0.0000 -
1779.89/1786.95 c 1787 1765782 1688491 1 - 0.0000 -
1784.98/1792.02 c 1792 1770681 1692959 1 - 0.0000 -
1790.05/1797.15 c 1797 1775472 1697508 1 - 0.0000 -
1795.13/1802.29 c 1802 1780107 1702005 1 - 0.0000 -
1800.21/1807.33 c 1807 1784876 1706414 1 - 0.0000 -
1805.39/1812.50 c 1812 1789823 1710858 1 - 0.0000 -
1810.47/1817.65 c 1818 1794511 1715443 1 - 0.0000 -
1815.55/1822.74 c 1823 1799504 1720230 1 - 0.0000 -
1820.63/1827.81 c 1828 1804397 1724791 1 - 0.0000 -
1825.72/1832.90 c 1833 1809361 1729562 1 - 0.0000 -
1830.70/1837.95 c 1838 1814146 1734133 1 - 0.0000 -
1835.78/1843.03 c 1843 1818720 1738337 1 - 0.0000 -
1840.86/1848.10 c 1848 1823363 1742512 1 - 0.0000 -
1845.84/1853.19 c 1853 1828031 1746835 1 - 0.0000 -
1850.91/1858.25 c 1858 1832472 1751222 1 - 0.0000 -
1855.99/1863.31 c 1863 1836935 1755627 1 - 0.0000 -
1861.08/1868.41 c 1868 1841578 1760040 1 - 0.0000 -
1866.16/1873.57 c 1874 1846716 1764706 1 - 0.0000 -
1871.34/1878.75 c 1879 1851565 1769218 1 - 0.0000 -
1876.51/1883.97 c 1884 1856485 1773948 1 - 0.0000 -
1881.60/1889.06 c 1889 1861373 1778836 1 - 0.0000 -
1886.69/1894.18 c 1894 1866296 1783731 1 - 0.0000 -
1891.76/1899.29 c 1899 1870873 1787947 1 - 0.0000 -
1896.84/1904.34 c 1904 1875462 1792447 1 - 0.0000 -
1901.82/1909.39 c 1909 1880312 1796856 1 - 0.0000 -
1906.90/1914.45 c 1914 1884828 1801166 1 - 0.0000 -
1912.09/1919.60 c 1920 1889756 1805691 1 - 0.0000 -
1917.07/1924.66 c 1925 1894607 1810128 1 - 0.0000 -
1922.14/1929.74 c 1930 1899362 1814563 1 - 0.0000 -
1927.13/1934.79 c 1935 1904166 1818881 1 - 0.0000 -
1932.21/1939.85 c 1940 1908962 1823646 1 - 0.0000 -
1937.19/1944.89 c 1945 1914150 1828246 1 - 0.0000 -
1942.27/1949.97 c 1950 1918898 1832480 1 - 0.0000 -
1947.36/1955.02 c 1955 1923672 1836685 1 - 0.0000 -
1952.43/1960.17 c 1960 1928475 1841207 1 - 0.0000 -
1957.51/1965.23 c 1965 1933199 1845654 1 - 0.0000 -
1962.49/1970.27 c 1970 1938012 1850271 1 - 0.0000 -
1967.57/1975.34 c 1975 1942459 1854709 1 - 0.0000 -
1972.55/1980.39 c 1980 1946957 1859102 1 - 0.0000 -
1977.73/1985.53 c 1986 1951711 1863826 1 - 0.0000 -
1982.82/1990.67 c 1991 1956427 1868426 1 - 0.0000 -
1988.00/1995.80 c 1996 1961037 1872675 1 - 0.0000 -
1992.98/2000.89 c 2001 1965863 1877309 1 - 0.0000 -
1998.06/2005.93 c 2006 1970547 1881739 1 - 0.0000 -
2003.14/2011.03 c 2011 1975581 1886569 1 - 0.0000 -
2008.12/2016.08 c 2016 1980517 1891363 1 - 0.0000 -
2013.20/2021.13 c 2021 1985148 1895735 1 - 0.0000 -
2018.28/2026.20 c 2026 1989921 1900341 1 - 0.0000 -
2023.36/2031.30 c 2031 1994810 1904956 1 - 0.0000 -
2028.44/2036.41 c 2036 1999447 1909500 1 - 0.0000 -
2033.52/2041.57 c 2042 2004272 1914009 1 - 0.0000 -
2038.60/2046.62 c 2047 2008907 1918241 1 - 0.0000 -
2043.58/2051.67 c 2052 2013958 1922984 1 - 0.0000 -
2048.66/2056.74 c 2057 2018878 1927627 1 - 0.0000 -
2053.75/2061.80 c 2062 2023754 1931999 1 - 0.0000 -
2058.73/2066.86 c 2067 2028478 1936182 1 - 0.0000 -
2063.81/2071.97 c 2072 2033226 1940724 1 - 0.0000 -
2068.90/2077.04 c 2077 2037885 1945195 1 - 0.0000 -
2073.97/2082.13 c 2082 2042761 1949733 1 - 0.0000 -
2078.95/2087.18 c 2087 2047535 1954093 1 - 0.0000 -
2084.03/2092.23 c 2092 2052067 1958351 1 - 0.0000 -
2089.11/2097.35 c 2097 2056841 1962644 1 - 0.0000 -
2094.29/2102.51 c 2103 2061312 1967041 1 - 0.0000 -
2099.37/2107.60 c 2108 2066327 1971960 1 - 0.0000 -
2104.35/2112.67 c 2113 2071071 1976492 1 - 0.0000 -
2109.53/2117.81 c 2118 2075918 1981289 1 - 0.0000 -
2114.52/2122.89 c 2123 2080408 1985756 1 - 0.0000 -
2119.70/2128.00 c 2128 2085161 1990482 1 - 0.0000 -
2124.78/2133.13 c 2133 2089877 1994946 1 - 0.0000 -
2129.85/2138.20 c 2138 2094805 1999568 1 - 0.0000 -
2134.83/2143.25 c 2143 2099636 2004239 1 - 0.0000 -
2139.92/2148.31 c 2148 2104119 2008139 1 - 0.0000 -
2144.99/2153.47 c 2153 2109264 2012659 1 - 0.0000 -
2150.08/2158.52 c 2159 2114289 2017026 1 - 0.0000 -
2155.26/2163.72 c 2164 2119067 2021464 1 - 0.0000 -
2160.33/2168.86 c 2169 2123967 2025958 1 - 0.0000 -
2165.41/2173.95 c 2174 2128699 2030134 1 - 0.0000 -
2170.50/2179.03 c 2179 2133367 2034584 1 - 0.0000 -
2175.58/2184.11 c 2184 2138012 2039098 1 - 0.0000 -
2180.66/2189.20 c 2189 2142551 2043313 1 - 0.0000 -
2185.64/2194.27 c 2194 2147314 2047997 1 - 0.0000 -
2190.72/2199.33 c 2199 2151438 2051979 1 - 0.0000 -
2195.80/2204.46 c 2204 2156306 2056677 1 - 0.0000 -
2200.88/2209.57 c 2210 2161226 2061480 1 - 0.0000 -
2205.97/2214.62 c 2215 2166212 2065996 1 - 0.0000 -
2210.95/2219.67 c 2220 2170965 2070285 1 - 0.0000 -
2216.02/2224.72 c 2225 2175800 2074957 1 - 0.0000 -
2221.10/2229.84 c 2230 2180492 2079355 1 - 0.0000 -
2226.08/2234.89 c 2235 2185513 2083971 1 - 0.0000 -
2231.17/2239.96 c 2240 2190287 2088460 1 - 0.0000 -
2236.25/2245.00 c 2245 2194869 2092945 1 - 0.0000 -
2241.23/2250.07 c 2250 2199426 2097222 1 - 0.0000 -
2246.40/2255.26 c 2255 2204174 2101780 1 - 0.0000 -
2251.49/2260.34 c 2260 2208823 2106256 1 - 0.0000 -
2256.46/2265.39 c 2265 2213709 2110870 1 - 0.0000 -
2261.55/2270.44 c 2270 2218556 2115290 1 - 0.0000 -
2266.63/2275.51 c 2276 2223132 2119771 1 - 0.0000 -
2271.60/2280.59 c 2281 2227521 2124048 1 - 0.0000 -
2276.68/2285.70 c 2286 2232595 2128833 1 - 0.0000 -
2281.77/2290.75 c 2291 2237242 2133129 1 - 0.0000 -
2286.84/2295.81 c 2296 2241941 2137657 1 - 0.0000 -
2291.82/2300.85 c 2301 2246771 2142306 1 - 0.0000 -
2296.89/2305.90 c 2306 2251522 2146542 1 - 0.0000 -
2301.98/2311.02 c 2311 2256332 2151088 1 - 0.0000 -
2307.05/2316.16 c 2316 2260626 2155130 1 - 0.0000 -
2312.13/2321.28 c 2321 2265187 2159325 1 - 0.0000 -
2317.30/2326.40 c 2326 2269987 2163821 1 - 0.0000 -
2322.28/2331.48 c 2331 2274839 2168333 1 - 0.0000 -
2327.36/2336.53 c 2337 2279327 2172699 1 - 0.0000 -
2332.44/2341.65 c 2342 2284111 2177253 1 - 0.0000 -
2337.53/2346.70 c 2347 2288821 2181674 1 - 0.0000 -
2342.50/2351.74 c 2352 2293222 2185946 1 - 0.0000 -
2347.48/2356.79 c 2357 2297703 2190279 1 - 0.0000 -
2352.56/2361.84 c 2362 2302577 2194718 1 - 0.0000 -
2357.54/2366.89 c 2367 2307259 2199016 1 - 0.0000 -
2362.63/2371.96 c 2372 2311605 2203073 1 - 0.0000 -
2367.82/2377.18 c 2377 2316405 2207481 1 - 0.0000 -
2372.89/2382.23 c 2382 2320978 2211814 1 - 0.0000 -
2377.97/2387.39 c 2387 2325743 2216302 1 - 0.0000 -
2383.05/2392.49 c 2392 2330339 2220663 1 - 0.0000 -
2388.13/2397.59 c 2398 2334704 2224826 1 - 0.0000 -
2393.21/2402.64 c 2403 2339141 2228958 1 - 0.0000 -
2398.29/2407.70 c 2408 2343507 2233221 1 - 0.0000 -
2403.27/2412.75 c 2413 2348569 2237945 1 - 0.0000 -
2408.35/2417.86 c 2418 2353002 2242252 1 - 0.0000 -
2413.44/2422.95 c 2423 2357732 2246675 1 - 0.0000 -
2418.52/2428.04 c 2428 2362662 2251142 1 - 0.0000 -
2423.61/2433.14 c 2433 2367028 2255320 1 - 0.0000 -
2428.68/2438.22 c 2438 2371854 2259804 1 - 0.0000 -
2433.76/2443.33 c 2443 2376835 2264482 1 - 0.0000 -
2438.84/2448.47 c 2448 2381494 2268813 1 - 0.0000 -
2444.02/2453.65 c 2454 2386017 2273029 1 - 0.0000 -
2449.20/2458.84 c 2459 2390677 2277637 1 - 0.0000 -
2454.28/2463.92 c 2464 2395058 2281956 1 - 0.0000 -
2459.46/2469.10 c 2469 2399688 2286405 1 - 0.0000 -
2464.45/2474.16 c 2474 2404335 2290770 1 - 0.0000 -
2469.53/2479.23 c 2479 2408880 2295144 1 - 0.0000 -
2474.61/2484.36 c 2484 2413794 2299771 1 - 0.0000 -
2479.69/2489.44 c 2489 2418666 2304335 1 - 0.0000 -
2484.67/2494.49 c 2494 2423007 2308400 1 - 0.0000 -
2489.74/2499.56 c 2500 2427682 2312679 1 - 0.0000 -
2494.83/2504.62 c 2505 2432139 2316719 1 - 0.0000 -
2499.91/2509.72 c 2510 2437075 2321234 1 - 0.0000 -
2504.98/2514.86 c 2515 2441892 2325693 1 - 0.0000 -
2510.07/2519.91 c 2520 2446735 2330165 1 - 0.0000 -
2515.05/2524.96 c 2525 2451359 2334492 1 - 0.0000 -
2520.13/2530.02 c 2530 2456205 2339165 1 - 0.0000 -
2525.22/2535.19 c 2535 2460957 2343772 1 - 0.0000 -
2530.29/2540.24 c 2540 2465621 2348096 1 - 0.0000 -
2535.38/2545.35 c 2545 2470362 2352365 1 - 0.0000 -
2540.46/2550.40 c 2550 2474843 2356568 1 - 0.0000 -
2545.54/2555.58 c 2556 2479355 2360915 1 - 0.0000 -
2550.62/2560.62 c 2561 2484501 2365468 1 - 0.0000 -
2555.70/2565.74 c 2566 2489158 2369962 1 - 0.0000 -
2560.78/2570.85 c 2571 2493737 2374461 1 - 0.0000 -
2565.96/2576.01 c 2576 2498574 2379190 1 - 0.0000 -
2571.04/2581.17 c 2581 2503500 2384024 1 - 0.0000 -
2576.12/2586.29 c 2586 2508281 2388805 1 - 0.0000 -
2581.21/2591.36 c 2591 2513334 2393844 1 - 0.0000 -
2586.28/2596.43 c 2596 2517755 2398201 1 - 0.0000 -
2591.26/2601.49 c 2601 2522139 2402585 1 - 0.0000 -
2596.45/2606.64 c 2607 2526759 2407051 1 - 0.0000 -
2601.53/2611.71 c 2612 2531385 2411255 1 - 0.0000 -
2606.51/2616.76 c 2617 2536205 2415860 1 - 0.0000 -
2611.59/2621.81 c 2622 2541058 2420366 1 - 0.0000 -
2616.67/2626.90 c 2627 2545785 2424916 1 - 0.0000 -
2621.65/2631.94 c 2632 2550347 2428942 1 - 0.0000 -
2626.74/2637.04 c 2637 2554948 2433479 1 - 0.0000 -
2631.82/2642.18 c 2642 2559448 2437893 1 - 0.0000 -
2636.90/2647.28 c 2647 2564208 2442464 1 - 0.0000 -
2641.97/2652.32 c 2652 2569126 2447043 1 - 0.0000 -
2647.06/2657.43 c 2657 2573554 2451284 1 - 0.0000 -
2652.14/2662.55 c 2663 2578471 2455834 1 - 0.0000 -
2657.11/2667.59 c 2668 2582987 2460146 1 - 0.0000 -
2662.20/2672.64 c 2673 2587649 2464564 1 - 0.0000 -
2667.38/2677.89 c 2678 2592239 2468971 1 - 0.0000 -
2672.46/2682.99 c 2683 2597328 2473503 1 - 0.0000 -
2677.55/2688.03 c 2688 2602072 2477945 1 - 0.0000 -
2682.62/2693.12 c 2693 2607199 2482507 1 - 0.0000 -
2687.61/2698.17 c 2698 2611697 2486847 1 - 0.0000 -
2692.69/2703.24 c 2703 2616411 2491339 1 - 0.0000 -
2697.76/2708.35 c 2708 2620732 2495565 1 - 0.0000 -
2702.85/2713.45 c 2713 2625455 2500005 1 - 0.0000 -
2707.93/2718.56 c 2719 2630483 2504368 1 - 0.0000 -
2713.01/2723.63 c 2724 2634915 2508485 1 - 0.0000 -
2718.09/2728.75 c 2729 2639609 2512830 1 - 0.0000 -
2723.17/2733.81 c 2734 2644375 2517245 1 - 0.0000 -
2728.25/2738.94 c 2739 2649101 2521641 1 - 0.0000 -
2733.33/2744.08 c 2744 2653936 2526206 1 - 0.0000 -
2738.41/2749.16 c 2749 2658691 2530768 1 - 0.0000 -
2743.50/2754.26 c 2754 2663266 2535243 1 - 0.0000 -
2748.57/2759.32 c 2759 2667739 2539516 1 - 0.0000 -
2753.66/2764.41 c 2764 2672454 2544060 1 - 0.0000 -
2758.63/2769.48 c 2769 2677168 2548377 1 - 0.0000 -
2763.72/2774.52 c 2775 2681675 2552667 1 - 0.0000 -
2769.00/2779.80 c 2780 2686258 2557023 1 - 0.0000 -
2774.08/2784.93 c 2785 2690911 2561629 1 - 0.0000 -
2779.17/2790.01 c 2790 2695626 2566313 1 - 0.0000 -
2784.15/2795.07 c 2795 2700099 2570730 1 - 0.0000 -
2789.32/2800.20 c 2800 2704831 2575168 1 - 0.0000 -
2794.41/2805.35 c 2805 2709789 2579956 1 - 0.0000 -
2799.49/2810.41 c 2810 2714302 2584226 1 - 0.0000 -
2804.57/2815.55 c 2816 2719063 2588809 1 - 0.0000 -
2809.75/2820.71 c 2821 2723473 2593000 1 - 0.0000 -
2814.83/2825.87 c 2826 2727975 2597363 1 - 0.0000 -
2819.91/2830.98 c 2831 2732395 2601455 1 - 0.0000 -
2825.00/2836.09 c 2836 2736723 2605511 1 - 0.0000 -
2830.07/2841.19 c 2841 2741485 2610062 1 - 0.0000 -
2835.25/2846.34 c 2846 2746041 2614204 1 - 0.0000 -
2840.23/2851.39 c 2851 2750435 2618456 1 - 0.0000 -
2845.42/2856.55 c 2857 2755215 2622764 1 - 0.0000 -
2850.50/2861.62 c 2862 2759988 2627128 1 - 0.0000 -
2855.58/2866.77 c 2867 2764756 2631584 1 - 0.0000 -
2860.66/2871.85 c 2872 2769586 2636087 1 - 0.0000 -
2865.84/2877.01 c 2877 2774226 2640536 1 - 0.0000 -
2870.82/2882.05 c 2882 2778453 2644761 1 - 0.0000 -
2875.91/2887.13 c 2887 2782749 2648909 1 - 0.0000 -
2880.98/2892.24 c 2892 2787052 2653096 1 - 0.0000 -
2886.06/2897.33 c 2897 2791341 2657259 1 - 0.0000 -
2891.14/2902.48 c 2902 2795681 2661475 1 - 0.0000 -
2896.23/2907.58 c 2908 2799922 2665584 1 - 0.0000 -
2901.40/2912.70 c 2913 2804494 2670031 1 - 0.0000 -
2906.38/2917.79 c 2918 2808901 2674177 1 - 0.0000 -
2911.57/2922.91 c 2923 2813448 2678473 1 - 0.0000 -
2916.55/2927.98 c 2928 2818197 2682912 1 - 0.0000 -
2921.63/2933.06 c 2933 2822736 2687337 1 - 0.0000 -
2926.81/2938.20 c 2938 2827676 2692101 1 - 0.0000 -
2931.88/2943.38 c 2943 2832373 2696536 1 - 0.0000 -
2936.96/2948.42 c 2948 2836789 2700681 1 - 0.0000 -
2942.14/2953.60 c 2954 2841379 2705174 1 - 0.0000 -
2947.11/2958.66 c 2959 2845739 2709021 1 - 0.0000 -
2952.19/2963.78 c 2964 2850538 2713499 1 - 0.0000 -
2957.27/2968.82 c 2969 2855278 2718001 1 - 0.0000 -
2962.35/2973.93 c 2974 2859567 2721850 1 - 0.0000 -
2967.33/2978.97 c 2979 2863972 2726110 1 - 0.0000 -
2972.42/2984.02 c 2984 2868441 2730067 1 - 0.0000 -
2977.49/2989.10 c 2989 2872466 2733507 1 - 0.0000 -
2982.47/2994.15 c 2994 2876539 2737451 1 - 0.0000 -
2987.54/2999.20 c 2999 2881256 2741985 1 - 0.0000 -
2992.52/3004.26 c 3004 2885680 2746269 1 - 0.0000 -
2997.60/3009.34 c 3009 2889939 2750357 1 - 0.0000 -
3002.67/3014.40 c 3014 2894192 2754507 1 - 0.0000 -
3007.75/3019.58 c 3020 2898777 2758862 1 - 0.0000 -
3012.83/3024.67 c 3025 2903517 2763350 1 - 0.0000 -
3018.01/3029.86 c 3030 2908271 2767751 1 - 0.0000 -
3023.08/3034.97 c 3035 2912835 2772173 1 - 0.0000 -
3028.27/3040.10 c 3040 2917410 2776509 1 - 0.0000 -
3033.25/3045.17 c 3045 2921903 2780433 1 - 0.0000 -
3038.32/3050.22 c 3050 2926564 2784777 1 - 0.0000 -
3043.30/3055.28 c 3055 2930911 2788971 1 - 0.0000 -
3048.48/3060.43 c 3060 2935447 2793317 1 - 0.0000 -
3053.46/3065.47 c 3065 2939888 2797615 1 - 0.0000 -
3058.54/3070.52 c 3071 2944500 2802023 1 - 0.0000 -
3063.51/3075.57 c 3076 2949001 2806310 1 - 0.0000 -
3068.59/3080.63 c 3081 2953552 2810568 1 - 0.0000 -
3073.57/3085.67 c 3086 2957942 2814661 1 - 0.0000 -
3078.65/3090.72 c 3091 2962523 2819039 1 - 0.0000 -
3083.73/3095.81 c 3096 2967005 2823436 1 - 0.0000 -
3088.70/3100.87 c 3101 2971772 2827956 1 - 0.0000 -
3093.88/3106.06 c 3106 2976417 2832561 1 - 0.0000 -
3099.06/3111.21 c 3111 2980994 2837013 1 - 0.0000 -
3104.14/3116.35 c 3116 2985627 2841609 1 - 0.0000 -
3109.31/3121.50 c 3122 2990061 2845778 1 - 0.0000 -
3114.29/3126.57 c 3127 2994858 2850375 1 - 0.0000 -
3119.37/3131.66 c 3132 2999481 2854821 1 - 0.0000 -
3124.45/3136.73 c 3137 3003851 2859025 1 - 0.0000 -
3129.52/3141.80 c 3142 3008411 2863400 1 - 0.0000 -
3134.60/3146.91 c 3147 3012804 2867644 1 - 0.0000 -
3139.57/3151.95 c 3152 3017404 2872051 1 - 0.0000 -
3144.66/3157.01 c 3157 3022202 2876496 1 - 0.0000 -
3149.64/3162.08 c 3162 3027025 2880622 1 - 0.0000 -
3154.72/3167.14 c 3167 3031392 2884883 1 - 0.0000 -
3159.70/3172.19 c 3172 3035677 2889138 1 - 0.0000 -
3164.77/3177.27 c 3177 3040235 2893502 1 - 0.0000 -
3169.85/3182.33 c 3182 3044755 2897743 1 - 0.0000 -
3174.93/3187.44 c 3187 3049316 2902002 1 - 0.0000 -
3180.10/3192.64 c 3193 3053951 2906617 1 - 0.0000 -
3185.18/3197.72 c 3198 3058320 2910941 1 - 0.0000 -
3190.16/3202.78 c 3203 3062853 2915368 1 - 0.0000 -
3195.34/3207.90 c 3208 3067291 2919676 1 - 0.0000 -
3200.42/3213.03 c 3213 3071584 2923892 1 - 0.0000 -
3205.40/3218.08 c 3218 3076181 2928370 1 - 0.0000 -
3210.47/3223.18 c 3223 3080701 2932762 1 - 0.0000 -
3215.55/3228.23 c 3228 3085304 2937055 1 - 0.0000 -
3220.63/3233.31 c 3233 3089748 2941262 1 - 0.0000 -
3225.61/3238.36 c 3238 3094208 2945564 1 - 0.0000 -
3230.69/3243.49 c 3244 3098747 2949897 1 - 0.0000 -
3235.77/3248.54 c 3249 3103676 2954573 1 - 0.0000 -
3240.84/3253.61 c 3254 3108265 2959077 1 - 0.0000 -
3245.82/3258.67 c 3259 3113004 2963498 1 - 0.0000 -
3250.89/3263.73 c 3264 3117433 2967668 1 - 0.0000 -
3255.97/3268.80 c 3269 3122204 2972032 1 - 0.0000 -
3261.05/3273.96 c 3274 3126954 2976346 1 - 0.0000 -
3266.13/3279.00 c 3279 3131536 2980679 1 - 0.0000 -
3271.11/3284.05 c 3284 3135667 2984544 1 - 0.0000 -
3276.19/3289.10 c 3289 3140172 2988806 1 - 0.0000 -
3281.26/3294.21 c 3294 3144833 2992989 1 - 0.0000 -
3286.34/3299.36 c 3299 3149491 2997447 1 - 0.0000 -
3291.42/3304.40 c 3304 3154257 3001653 1 - 0.0000 -
3296.39/3309.48 c 3309 3158268 3005587 1 - 0.0000 -
3301.47/3314.54 c 3315 3162872 3009860 1 - 0.0000 -
3306.65/3319.76 c 3320 3167606 3014204 1 - 0.0000 -
3311.82/3324.90 c 3325 3172027 3018515 1 - 0.0000 -
3316.81/3329.95 c 3330 3176421 3022903 1 - 0.0000 -
3321.89/3335.00 c 3335 3180933 3027244 1 - 0.0000 -
3326.97/3340.12 c 3340 3185624 3031624 1 - 0.0000 -
3332.04/3345.22 c 3345 3189956 3035798 1 - 0.0000 -
3337.02/3350.26 c 3350 3194631 3039873 1 - 0.0000 -
3342.09/3355.32 c 3355 3199274 3044244 1 - 0.0000 -
3347.07/3360.36 c 3360 3203970 3048587 1 - 0.0000 -
3352.25/3365.50 c 3366 3208353 3052745 1 - 0.0000 -
3357.23/3370.55 c 3371 3212739 3056961 1 - 0.0000 -
3362.31/3375.68 c 3376 3217383 3061328 1 - 0.0000 -
3367.38/3380.77 c 3381 3221712 3065494 1 - 0.0000 -
3372.47/3385.86 c 3386 3226118 3069694 1 - 0.0000 -
3377.65/3391.04 c 3391 3230801 3074142 1 - 0.0000 -
3382.82/3396.23 c 3396 3235096 3078151 1 - 0.0000 -
3387.90/3401.37 c 3401 3239617 3082437 1 - 0.0000 -
3392.97/3406.49 c 3406 3244136 3086803 1 - 0.0000 -
3398.05/3411.53 c 3412 3248758 3091222 1 - 0.0000 -
3403.23/3416.73 c 3417 3253161 3095297 1 - 0.0000 -
3408.30/3421.80 c 3422 3257849 3099685 1 - 0.0000 -
3413.38/3426.93 c 3427 3262608 3103873 1 - 0.0000 -
3418.36/3431.99 c 3432 3267123 3108337 1 - 0.0000 -
3423.55/3437.13 c 3437 3271557 3112480 1 - 0.0000 -
3428.62/3442.25 c 3442 3276119 3116667 1 - 0.0000 -
3433.70/3447.37 c 3447 3280601 3120529 1 - 0.0000 -
3438.77/3452.43 c 3452 3284947 3124624 1 - 0.0000 -
3443.75/3457.48 c 3457 3289326 3128777 1 - 0.0000 -
3448.83/3462.55 c 3463 3293631 3132767 1 - 0.0000 -
3453.80/3467.59 c 3468 3298530 3137369 1 - 0.0000 -
3458.89/3472.64 c 3473 3303025 3141864 1 - 0.0000 -
3463.96/3477.70 c 3478 3307239 3146065 1 - 0.0000 -
3468.94/3482.75 c 3483 3311559 3150316 1 - 0.0000 -
3474.02/3487.84 c 3488 3315705 3154339 1 - 0.0000 -
3479.10/3492.94 c 3493 3320201 3158697 1 - 0.0000 -
3484.08/3497.98 c 3498 3324654 3162607 1 - 0.0000 -
3489.26/3503.11 c 3503 3329422 3167064 1 - 0.0000 -
3494.33/3508.26 c 3508 3333947 3171430 1 - 0.0000 -
3499.41/3513.34 c 3513 3338407 3175881 1 - 0.0000 -
3504.48/3518.47 c 3518 3343072 3180305 1 - 0.0000 -
3509.66/3523.63 c 3524 3347956 3184504 1 - 0.0000 -
3514.64/3528.69 c 3529 3352169 3188545 1 - 0.0000 -
3519.72/3533.74 c 3534 3356787 3192948 1 - 0.0000 -
3524.80/3538.82 c 3539 3361402 3197160 1 - 0.0000 -
3529.87/3543.94 c 3544 3365812 3201415 1 - 0.0000 -
3534.85/3548.98 c 3549 3370002 3205086 1 - 0.0000 -
3540.03/3554.10 c 3554 3374491 3209383 1 - 0.0000 -
3545.01/3559.17 c 3559 3379022 3213562 1 - 0.0000 -
3550.19/3564.34 c 3564 3383712 3217983 1 - 0.0000 -
3555.17/3569.39 c 3569 3388075 3222097 1 - 0.0000 -
3560.34/3574.52 c 3575 3392429 3226061 1 - 0.0000 -
3565.42/3579.64 c 3580 3397246 3230398 1 - 0.0000 -
3570.40/3584.69 c 3585 3401692 3234730 1 - 0.0000 -
3575.48/3589.76 c 3590 3406091 3238636 1 - 0.0000 -
3580.66/3594.91 c 3595 3410632 3242756 1 - 0.0000 -
3585.73/3600.09 c 3600 3414222 3246301 0 - 0.0000 -
3588.72/3603.06 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.72/3603.06 c Total Time : 3603.0600
3588.72/3603.06 c solving : 3603.0600
3588.72/3603.06 c presolving : 0.0094 (included in solving)
3588.72/3603.06 c B&B Tree :
3588.72/3603.06 c nodes (total) : 1
3588.72/3603.06 c Solution :
3588.72/3603.06 c Solutions found : 0
3588.72/3603.06 c Primal Bound : -
3588.72/3603.06 c Dual Bound : +0.00000000000000e+00
3588.72/3603.06 c Gap : -
3588.72/3603.08 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 (62829 MiB free)
memory of node 1: 64473 MiB (63276 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447700-1721357676/watcher-4447700-1721357676 -o /tmp/evaluation-result-4447700-1721357676/solver-4447700-1721357676 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982051 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447700-1721357676.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=984336, runsolver pid=984333
Current StackSize limit: 8192 KiB
[startup+0.100424 s]*
/proc/loadavg: 4.14 4.20 4.15 5/265 984339
/proc/meminfo: memFree=129115060/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=109936 memory=28004 CPUtime=0.09 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 4385 0 0 0 9 0 0 0 20 0 3 0 187934594 112574464 7001 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 27484 7001 2926 3032 0 10580 0
[pid=984336/tid=984338] ppid=984333 vsize=109936 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 2461 0 0 0 8 0 0 0 20 0 3 0 187934596 112574464 7001 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=109936 memory=232851243367 CPUtime=0 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934596 112574464 7001 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109936 KiB
Current children cumulated memory: 28004 KiB
[startup+0.205436 s]*
/proc/loadavg: 4.14 4.20 4.15 5/265 984339
/proc/meminfo: memFree=129112420/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=109936 memory=30908 CPUtime=0.19 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 5156 0 0 0 19 0 0 0 20 0 3 0 187934594 112574464 7727 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 27484 7727 2926 3032 0 11065 0
[pid=984336/tid=984338] ppid=984333 vsize=109936 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 3232 0 0 0 18 0 0 0 20 0 3 0 187934596 112574464 7727 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=109936 memory=1656803 CPUtime=0 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934596 112574464 7727 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109936 KiB
Current children cumulated memory: 30908 KiB
[startup+0.305411 s]*
/proc/loadavg: 4.14 4.20 4.15 5/265 984339
/proc/meminfo: memFree=129104236/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=112692 memory=37244 CPUtime=0.3 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 6735 0 0 0 29 1 0 0 20 0 3 0 187934594 115396608 9311 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 28173 9311 2926 3032 0 12775 0
[pid=984336/tid=984338] ppid=984333 vsize=112692 memory=-6514290174730615657 CPUtime=0.28 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 4811 0 0 0 28 0 0 0 20 0 3 0 187934596 115396608 9311 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=112692 memory=0 CPUtime=0 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934596 115396608 9311 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 112692 KiB
Current children cumulated memory: 37244 KiB
[startup+0.700224 s]
/proc/loadavg: 4.14 4.20 4.15 5/265 984339
/proc/meminfo: memFree=129097348/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=112692 memory=44432 CPUtime=0.69 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 8463 0 0 0 68 1 0 0 20 0 3 0 187934594 115396608 11108 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 28173 11108 2942 3032 0 14560 0
[pid=984336/tid=984338] ppid=984333 vsize=112692 memory=0 CPUtime=0.66 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 6539 0 0 0 66 0 0 0 20 0 3 0 187934596 115396608 11108 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=112692 memory=0 CPUtime=0 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934596 115396608 11108 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 112692 KiB
Current children cumulated memory: 44432 KiB
[startup+1.5002 s]
/proc/loadavg: 4.14 4.20 4.15 5/265 984339
/proc/meminfo: memFree=129094660/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=113496 memory=48104 CPUtime=1.49 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 13598 0 0 0 147 2 0 0 20 0 3 0 187934594 116219904 12026 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 28374 12026 2942 3032 0 15586 0
[pid=984336/tid=984338] ppid=984333 vsize=113496 memory=0 CPUtime=1.46 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 11661 0 0 0 145 1 0 0 20 0 3 0 187934596 116219904 12026 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=113496 memory=0 CPUtime=0 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934596 116219904 12026 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 113496 KiB
Current children cumulated memory: 48104 KiB
[startup+3.10505 s]
/proc/loadavg: 4.14 4.20 4.15 5/265 984339
/proc/meminfo: memFree=129052276/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=113496 memory=50428 CPUtime=3.08 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 15012 0 0 0 306 2 0 0 20 0 3 0 187934594 116219904 12607 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 28374 12607 2942 3032 0 16340 0
[pid=984336/tid=984338] ppid=984333 vsize=113496 memory=2273 CPUtime=3.06 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 13071 0 0 0 305 1 0 0 20 0 3 0 187934596 116219904 12607 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=113496 memory=0 CPUtime=0 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 187934596 116219904 12607 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 113496 KiB
Current children cumulated memory: 50428 KiB
[startup+6.30017 s]
/proc/loadavg: 4.12 4.19 4.15 5/265 984341
/proc/meminfo: memFree=129027396/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=114516 memory=61984 CPUtime=6.27 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 23023 0 0 0 624 3 0 0 20 0 3 0 187934594 117264384 15496 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 28629 15496 2990 3032 0 18889 0
[pid=984336/tid=984338] ppid=984333 vsize=114516 memory=-6514290174730615657 CPUtime=6.24 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 21059 0 0 0 622 2 0 0 20 0 3 0 187934596 117264384 15496 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=114516 memory=61972 CPUtime=0 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 187934596 117264384 15496 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 114516 KiB
Current children cumulated memory: 61984 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.19 4.15 5/265 984341
/proc/meminfo: memFree=128994252/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=117196 memory=68348 CPUtime=12.64 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 34839 0 0 0 1259 5 0 0 20 0 3 0 187934594 120008704 17087 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 29299 17087 2990 3032 0 20480 0
[pid=984336/tid=984338] ppid=984333 vsize=117196 memory=50444 CPUtime=12.62 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 32828 0 0 0 1258 4 0 0 20 0 3 0 187934596 120008704 17087 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=117196 memory=0 CPUtime=0 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 187934596 120008704 17087 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 117196 KiB
Current children cumulated memory: 68348 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.18 4.15 5/265 984344
/proc/meminfo: memFree=128935052/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=118280 memory=80132 CPUtime=25.4 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 60538 0 0 0 2530 10 0 0 20 0 3 0 187934594 121118720 20033 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 29570 20033 2990 3032 0 23459 0
[pid=984336/tid=984338] ppid=984333 vsize=118280 memory=65316 CPUtime=25.37 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 58460 0 0 0 2528 9 0 0 20 0 3 0 187934596 121118720 20033 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=118280 memory=11608 CPUtime=0 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 3 0 187934596 121118720 20033 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 118280 KiB
Current children cumulated memory: 80132 KiB
[startup+51.1049 s]
/proc/loadavg: 4.17 4.20 4.15 6/265 984363
/proc/meminfo: memFree=128828368/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=188004 memory=98052 CPUtime=50.9 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 92828 0 0 0 5073 17 0 0 20 0 3 0 187934594 192516096 24513 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 47001 24513 2990 3032 0 27802 0
[pid=984336/tid=984338] ppid=984333 vsize=188004 memory=92392 CPUtime=50.88 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 90664 0 0 0 5071 17 0 0 20 0 3 0 187934596 192516096 24513 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=188004 memory=91788 CPUtime=0 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 187934596 192516096 24513 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 188004 KiB
Current children cumulated memory: 98052 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.16 4.14 5/264 984739
/proc/meminfo: memFree=128619100/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=204364 memory=137120 CPUtime=101.91 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 142120 0 0 0 10161 30 0 0 20 0 3 0 187934594 209268736 34280 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 51091 34280 2990 3032 0 38027 0
[pid=984336/tid=984338] ppid=984333 vsize=204364 memory=133464 CPUtime=101.88 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 139869 0 0 0 10159 29 0 0 20 0 3 0 187934596 209268736 34280 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=204364 memory=132760 CPUtime=0 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 187934596 209268736 34280 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 204364 KiB
Current children cumulated memory: 137120 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/264 984749
/proc/meminfo: memFree=128379424/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=283188 memory=186916 CPUtime=161.66 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 186572 0 0 0 16122 44 0 0 20 0 3 0 187934594 289984512 46729 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 70797 46729 2990 3032 0 50708 0
[pid=984336/tid=984338] ppid=984333 vsize=283188 memory=177340 CPUtime=161.62 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 184263 0 0 0 16119 43 0 0 20 0 3 0 187934596 289984512 46729 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=283188 memory=11608 CPUtime=0 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 3 0 187934596 289984512 46729 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 283188 KiB
################
# More data... #
################
/proc/984336/statm: 639522 616815 2990 3032 0 623324 0
[pid=984336/tid=984338] ppid=984333 vsize=2558088 memory=2453476 CPUtime=3388.66 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 1908754 0 0 0 338142 724 0 0 20 0 3 0 187934596 2619482112 616815 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=2558088 memory=2460792 CPUtime=0.03 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 196 0 0 0 1 2 0 0 20 0 3 0 187934596 2619482112 616815 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 3388.89 s
Current children cumulated vsize: 2558088 KiB
Current children cumulated memory: 2467260 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 986138
/proc/meminfo: memFree=119742516/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=2578016 memory=2503916 CPUtime=3448.63 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 1946016 0 0 0 344121 742 0 0 20 0 3 0 187934594 2639888384 625979 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 644504 625979 2990 3032 0 633276 0
[pid=984336/tid=984338] ppid=984333 vsize=2578016 memory=2494596 CPUtime=3448.4 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 1942536 0 0 0 344104 736 0 0 20 0 3 0 187934596 2639888384 625979 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=2578016 memory=2499536 CPUtime=0.03 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 199 0 0 0 1 2 0 0 20 0 3 0 187934596 2639888384 625979 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 3448.63 s
Current children cumulated vsize: 2578016 KiB
Current children cumulated memory: 2503916 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.12 4.10 5/264 986149
/proc/meminfo: memFree=119600072/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=2596352 memory=2542780 CPUtime=3508.37 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 1980371 0 0 0 350083 754 0 0 20 0 3 0 187934594 2658664448 635695 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 649088 635695 2990 3032 0 642951 0
[pid=984336/tid=984338] ppid=984333 vsize=2596352 memory=2526508 CPUtime=3508.13 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 1976867 0 0 0 350065 748 0 0 20 0 3 0 187934596 2658664448 635695 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=2596352 memory=2536268 CPUtime=0.03 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 202 0 0 0 1 2 0 0 20 0 3 0 187934596 2658664448 635695 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 3508.37 s
Current children cumulated vsize: 2596352 KiB
Current children cumulated memory: 2542780 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 986160
/proc/meminfo: memFree=119473896/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=2677288 memory=2578740 CPUtime=3568.11 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 2016064 0 0 0 356046 765 0 0 20 0 3 0 187934594 2741542912 644685 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 669322 644685 2990 3032 0 651915 0
[pid=984336/tid=984338] ppid=984333 vsize=2677288 memory=11608 CPUtime=3567.87 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 2012540 0 0 0 356028 759 0 0 20 0 3 0 187934596 2741542912 644685 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=2677288 memory=2577908 CPUtime=0.03 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 205 0 0 0 1 2 0 0 20 0 3 0 187934596 2741542912 644685 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 3568.11 s
Current children cumulated vsize: 2677288 KiB
Current children cumulated memory: 2578740 KiB
[startup+3603.09 s]
# the end of solver process 984336 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.91 s, system=7.91155 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.08 4.10 4.09 5/264 986160
/proc/meminfo: memFree=119469472/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=2677288 memory=2579704 CPUtime=3569.81 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 2016625 0 0 0 356216 765 0 0 20 0 3 0 187934594 2741542912 644926 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 669322 644926 2990 3032 0 652155 0
[pid=984336/tid=984338] ppid=984333 vsize=2677288 memory=1968 CPUtime=3569.57 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 2013101 0 0 0 356198 759 0 0 20 0 3 0 187934596 2741542912 644926 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=2677288 memory=26084 CPUtime=0.03 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 205 0 0 0 1 2 0 0 20 0 3 0 187934596 2741542912 644926 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 3569.81 s
Current children cumulated vsize: 2677288 KiB
Current children cumulated memory: 2579704 KiB
[startup+3596.8 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 986163
/proc/meminfo: memFree=119440848/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=2682416 memory=2588656 CPUtime=3582.55 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 2026788 0 0 0 357487 768 0 0 20 0 3 0 187934594 2746793984 647164 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 670604 647164 2990 3032 0 654387 0
[pid=984336/tid=984338] ppid=984333 vsize=2682416 memory=11608 CPUtime=3582.31 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 2023264 0 0 0 357469 762 0 0 20 0 3 0 187934596 2746793984 647164 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=2682416 memory=2576184 CPUtime=0.03 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 205 0 0 0 1 2 0 0 20 0 3 0 187934596 2746793984 647164 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 3582.55 s
Current children cumulated vsize: 2682416 KiB
Current children cumulated memory: 2588656 KiB
[startup+3600 s]*
/proc/loadavg: 4.14 4.11 4.09 5/264 986163
/proc/meminfo: memFree=119668312/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=2683444 memory=2590388 CPUtime=3585.73 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 2030295 0 0 0 357805 768 0 0 20 0 3 0 187934594 2747846656 647597 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 670861 647597 2990 3032 0 654820 0
[pid=984336/tid=984338] ppid=984333 vsize=2683444 memory=6720663242420798063 CPUtime=3585.5 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 2027051 0 0 0 357787 763 0 0 20 0 3 0 187934596 2747846656 647597 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=2683444 memory=-8549727003958230936 CPUtime=0.03 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 205 0 0 0 1 2 0 0 20 0 3 0 187934596 2747846656 647597 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 3585.73 s
Current children cumulated vsize: 2683444 KiB
Current children cumulated memory: 2590388 KiB
[startup+3601.6 s]
/proc/loadavg: 4.13 4.11 4.09 4/257 986171
/proc/meminfo: memFree=121519368/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=2370244 memory=2277196 CPUtime=3587.32 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 2263205 0 0 0 357951 781 0 0 20 0 3 0 187934594 2427129856 569299 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 592561 569299 2990 3032 0 576520 0
[pid=984336/tid=984338] ppid=984333 vsize=2370244 memory=2590260 CPUtime=3587.09 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 2259674 0 0 0 357933 776 0 0 20 0 3 0 187934596 2427129856 569299 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=2370244 memory=11608 CPUtime=0.03 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 205 0 0 0 1 2 0 0 20 0 3 0 187934596 2427129856 569299 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 3587.32 s
Current children cumulated vsize: 2370244 KiB
Current children cumulated memory: 2277196 KiB
[startup+3602.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 986259
/proc/meminfo: memFree=123632360/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=2025280 memory=1932236 CPUtime=3588.12 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 2314482 0 0 0 358026 786 0 0 20 0 3 0 187934594 2073886720 483059 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 506320 483059 2990 3032 0 490279 0
[pid=984336/tid=984338] ppid=984333 vsize=2025280 memory=2590272 CPUtime=3587.88 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 2310951 0 0 0 358008 780 0 0 20 0 3 0 187934596 2073886720 483059 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=2025280 memory=2268 CPUtime=0.03 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 205 0 0 0 1 2 0 0 20 0 3 0 187934596 2073886720 483059 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 3588.12 s
Current children cumulated vsize: 2025280 KiB
Current children cumulated memory: 1932236 KiB
[startup+3602.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 986259
/proc/meminfo: memFree=123632360/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=1816120 memory=1723076 CPUtime=3588.52 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 2320029 0 0 0 358065 787 0 0 20 0 3 0 187934594 1859706880 430769 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 454030 430769 2990 3032 0 437989 0
[pid=984336/tid=984338] ppid=984333 vsize=1816120 memory=1656719 CPUtime=3588.28 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 2316498 0 0 0 358047 781 0 0 20 0 3 0 187934596 1859706880 430769 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=1816120 memory=1657299 CPUtime=0.03 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 205 0 0 0 1 2 0 0 20 0 3 0 187934596 1859706880 430769 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 3588.52 s
Current children cumulated vsize: 1816120 KiB
Current children cumulated memory: 1723076 KiB
[startup+3603 s]*
/proc/loadavg: 4.13 4.11 4.09 5/264 986259
/proc/meminfo: memFree=124062884/131524600 swapFree=131071996/131071996
[pid=984336] ppid=984333 vsize=1719916 memory=1626876 CPUtime=3588.72 cores=0,2
/proc/984336/stat : 984336 (fscip) S 984333 984336 982041 0 -1 1077936128 2323272 0 0 0 358085 787 0 0 20 0 3 0 187934594 1761193984 406719 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
/proc/984336/statm: 429979 406719 2990 3032 0 413938 0
[pid=984336/tid=984338] ppid=984333 vsize=1719916 memory=-6370454262608214889 CPUtime=3588.49 cores=0,2
/proc/984336/task/984338/stat : 984338 (fscip) R 984333 984336 982041 0 -1 4194368 2319741 0 0 0 358067 782 0 0 20 0 3 0 187934596 1761193984 406719 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
[pid=984336/tid=984339] ppid=984333 vsize=1719916 memory=28432 CPUtime=0.03 cores=0,2
/proc/984336/task/984339/stat : 984339 (fscip) S 984333 984336 982041 0 -1 1077936192 205 0 0 0 1 2 0 0 20 0 3 0 187934596 1761193984 406719 134679101440 4194304 16613245 140723207427040 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 43094016 140723207431188 140723207431304 140723207431304 140723207438320 0
Current children cumulated CPU time: 3588.72 s
Current children cumulated vsize: 1719916 KiB
Current children cumulated memory: 1626876 KiB
Child status: 0
Real time (s): 3603.09
CPU time (s): 3588.82
CPU user time (s): 3580.91
CPU system time (s): 7.91155
CPU usage (%): 99.604
Max. virtual memory (cumulated for all children) (KiB): 2683444
Max. memory (cumulated for all children) (KiB): 2590388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.91
system time used= 7.91155
maximum resident set size= 2590388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2324234
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= 10922
involuntary context switches= 24664
# summary of solver processes directly reported to runsolver:
# pid: 984336
# total CPU time (s): 3588.82
# total CPU user time (s): 3580.91
# total CPU system time (s): 7.91155
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50269 second user time and 14.6812 second system time
The end
Begin job on nodeC028 at 2024-07-19 04:54:48
IDJOB=4447700
IDBENCH=160024
IDSOLVER=3064
FILE ID=nodeC028/4447700-1721357676
RUNJOBID= nodeC028-1721354084-982051
SLURM_JOB_ID= 7542773
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r1.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-4447700-1721357676/watcher-4447700-1721357676 -o /tmp/evaluation-result-4447700-1721357676/solver-4447700-1721357676 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982051 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447700-1721357676.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c8e53a529ce10df137c21c2a3460ac47
RANDOM SEED=456538441
nodeC028.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 : 3660.517
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.56
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 : 3674.189
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.59
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 : 3673.205
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.56
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 : 3600.145
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.59
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.678
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.56
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 : 3674.188
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.59
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 : 3604.903
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.56
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.829
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129132616 kB
MemAvailable: 129678172 kB
Buffers: 508064 kB
Cached: 879164 kB
SwapCached: 0 kB
Active: 1008284 kB
Inactive: 788180 kB
Active(anon): 1536 kB
Inactive(anon): 445412 kB
Active(file): 1006748 kB
Inactive(file): 342768 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 113180 kB
Writeback: 16 kB
AnonPages: 406676 kB
Mapped: 142160 kB
Shmem: 37720 kB
KReclaimable: 71728 kB
Slab: 179044 kB
SReclaimable: 71728 kB
SUnreclaim: 107316 kB
KernelStack: 4208 kB
PageTables: 9828 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 801348 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 217088 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC028 at 2024-07-19 05:54:51