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 = 24121344, getVmSize() = 24121344, SCIPgetMemUsed() = 1949742, 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 = 16953344, getVmSize() = 26738688, SCIPgetMemUsed() = 2301987, 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-4447580-1721357674
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.26/5.37 c 5 1416 366 1 - 0.0000 -
10.35/10.41 c 10 5655 4605 1 - 0.0000 -
15.32/15.49 c 15 9679 8629 1 - 0.0000 -
20.41/20.53 c 21 13828 12778 1 - 0.0000 -
25.49/25.61 c 26 17953 16897 1 - 0.0000 -
30.58/30.72 c 31 22676 21608 1 - 0.0000 -
35.56/35.76 c 36 27613 26525 1 - 0.0000 -
40.65/40.80 c 41 32646 31460 1 - 0.0000 -
45.62/45.85 c 46 37690 36454 1 - 0.0000 -
50.71/50.90 c 51 42602 41310 1 - 0.0000 -
55.70/55.96 c 56 47315 45829 1 - 0.0000 -
60.79/61.00 c 61 51706 50220 1 - 0.0000 -
65.77/66.06 c 66 56361 54871 1 - 0.0000 -
70.86/71.12 c 71 61448 59860 1 - 0.0000 -
75.94/76.20 c 76 66175 64544 1 - 0.0000 -
80.92/81.30 c 81 70595 68959 1 - 0.0000 -
86.01/86.34 c 86 75386 73711 1 - 0.0000 -
91.10/91.40 c 91 80291 78585 1 - 0.0000 -
96.08/96.45 c 96 85017 83210 1 - 0.0000 -
101.16/101.53 c 102 90147 88181 1 - 0.0000 -
106.15/106.59 c 107 95023 93003 1 - 0.0000 -
111.24/111.63 c 112 100001 97793 1 - 0.0000 -
116.22/116.69 c 117 104852 102388 1 - 0.0000 -
121.31/121.74 c 122 109723 107164 1 - 0.0000 -
126.39/126.82 c 127 114699 111917 1 - 0.0000 -
131.38/131.87 c 132 119307 116304 1 - 0.0000 -
136.47/136.94 c 137 124289 120619 1 - 0.0000 -
141.45/141.98 c 142 129586 124692 1 - 0.0000 -
146.54/147.04 c 147 134941 128901 1 - 0.0000 -
151.62/152.10 c 152 140868 133171 1 - 0.0000 -
156.60/157.16 c 157 146898 137412 1 - 0.0000 -
161.68/162.21 c 162 151724 141036 1 - 0.0000 -
166.66/167.27 c 167 156465 144971 1 - 0.0000 -
171.76/172.32 c 172 161772 149121 1 - 0.0000 -
176.74/177.37 c 177 167236 153108 1 - 0.0000 -
181.82/182.43 c 182 172917 157243 1 - 0.0000 -
186.81/187.49 c 187 178578 161371 1 - 0.0000 -
191.89/192.53 c 193 184382 165084 1 - 0.0000 -
196.88/197.58 c 198 190300 169463 1 - 0.0000 -
201.97/202.63 c 203 195969 173719 1 - 0.0000 -
206.95/207.69 c 208 201189 177940 1 - 0.0000 -
212.03/212.75 c 213 206411 181969 1 - 0.0000 -
217.12/217.80 c 218 209767 185210 1 - 0.0000 -
222.10/222.87 c 223 213243 188562 1 - 0.0000 -
227.19/227.93 c 228 217489 192310 1 - 0.0000 -
232.28/233.00 c 233 220934 195555 1 - 0.0000 -
237.27/238.06 c 238 224996 199361 1 - 0.0000 -
242.35/243.10 c 243 229958 203852 1 - 0.0000 -
247.34/248.15 c 248 234943 208277 1 - 0.0000 -
252.42/253.26 c 253 240012 212673 1 - 0.0000 -
257.50/258.32 c 258 245005 217436 1 - 0.0000 -
262.49/263.38 c 263 249891 221915 1 - 0.0000 -
267.57/268.43 c 268 254757 226535 1 - 0.0000 -
272.56/273.48 c 273 259820 231133 1 - 0.0000 -
277.65/278.57 c 279 264888 235736 1 - 0.0000 -
282.73/283.63 c 284 269301 240071 1 - 0.0000 -
287.82/288.74 c 289 274445 244871 1 - 0.0000 -
292.80/293.79 c 294 279395 249450 1 - 0.0000 -
297.89/298.85 c 299 284323 254206 1 - 0.0000 -
302.98/303.94 c 304 289600 259111 1 - 0.0000 -
307.96/308.99 c 309 294628 263961 1 - 0.0000 -
313.05/314.04 c 314 299300 268532 1 - 0.0000 -
318.03/319.10 c 319 304391 273098 1 - 0.0000 -
323.12/324.15 c 324 309592 277720 1 - 0.0000 -
328.20/329.21 c 329 314601 282523 1 - 0.0000 -
333.19/334.28 c 334 319545 287210 1 - 0.0000 -
338.27/339.39 c 339 324659 292033 1 - 0.0000 -
343.35/344.43 c 344 329449 296581 1 - 0.0000 -
348.34/349.48 c 349 334211 301043 1 - 0.0000 -
353.43/354.54 c 355 339209 305609 1 - 0.0000 -
358.51/359.69 c 360 344012 310290 1 - 0.0000 -
363.60/364.73 c 365 349079 315117 1 - 0.0000 -
368.68/369.80 c 370 354111 319798 1 - 0.0000 -
373.67/374.85 c 375 358505 324123 1 - 0.0000 -
378.75/379.91 c 380 363414 328780 1 - 0.0000 -
383.84/385.03 c 385 368275 333324 1 - 0.0000 -
388.93/390.14 c 390 373252 338017 1 - 0.0000 -
394.01/395.20 c 395 377849 342464 1 - 0.0000 -
399.00/400.26 c 400 382408 346850 1 - 0.0000 -
404.08/405.31 c 405 387261 351570 1 - 0.0000 -
409.16/410.41 c 410 392355 356428 1 - 0.0000 -
414.15/415.47 c 415 397211 361029 1 - 0.0000 -
419.23/420.54 c 421 402206 365662 1 - 0.0000 -
424.32/425.61 c 426 406884 370295 1 - 0.0000 -
429.30/430.66 c 431 411854 375154 1 - 0.0000 -
434.39/435.76 c 436 416379 379539 1 - 0.0000 -
439.48/440.82 c 441 420809 383932 1 - 0.0000 -
444.47/445.88 c 446 425651 388606 1 - 0.0000 -
449.66/451.05 c 451 430493 393260 1 - 0.0000 -
454.74/456.17 c 456 435626 398262 1 - 0.0000 -
459.82/461.23 c 461 440369 402616 1 - 0.0000 -
464.90/466.36 c 466 445173 407244 1 - 0.0000 -
469.99/471.40 c 471 450169 411875 1 - 0.0000 -
474.98/476.49 c 476 455120 416660 1 - 0.0000 -
480.06/481.54 c 482 460082 421527 1 - 0.0000 -
485.15/486.60 c 487 464980 426167 1 - 0.0000 -
490.13/491.65 c 492 470093 430664 1 - 0.0000 -
495.21/496.72 c 497 474761 435255 1 - 0.0000 -
500.30/501.80 c 502 479578 439802 1 - 0.0000 -
505.29/506.88 c 507 484367 444333 1 - 0.0000 -
510.37/511.94 c 512 489383 449245 1 - 0.0000 -
515.46/517.06 c 517 494343 453994 1 - 0.0000 -
520.55/522.16 c 522 499153 458624 1 - 0.0000 -
525.63/527.21 c 527 503713 463074 1 - 0.0000 -
530.71/532.31 c 532 508645 467929 1 - 0.0000 -
535.70/537.37 c 537 513498 472716 1 - 0.0000 -
540.79/542.43 c 542 518245 477288 1 - 0.0000 -
545.77/547.49 c 547 523103 481933 1 - 0.0000 -
550.86/552.53 c 553 527702 486504 1 - 0.0000 -
555.84/557.59 c 558 532539 491293 1 - 0.0000 -
560.92/562.64 c 563 537407 496101 1 - 0.0000 -
565.91/567.69 c 568 542239 500771 1 - 0.0000 -
571.00/572.76 c 573 547037 505392 1 - 0.0000 -
576.08/577.88 c 578 551644 509852 1 - 0.0000 -
581.27/583.00 c 583 556695 514492 1 - 0.0000 -
586.25/588.05 c 588 561306 518896 1 - 0.0000 -
591.35/593.17 c 593 566290 523780 1 - 0.0000 -
596.42/598.23 c 598 570724 528062 1 - 0.0000 -
601.41/603.28 c 603 575524 532609 1 - 0.0000 -
606.49/608.39 c 608 580093 537056 1 - 0.0000 -
611.58/613.49 c 614 585030 541622 1 - 0.0000 -
616.66/618.58 c 619 589413 545938 1 - 0.0000 -
621.75/623.62 c 624 594043 550398 1 - 0.0000 -
626.84/628.74 c 629 599083 555201 1 - 0.0000 -
631.81/633.78 c 634 603741 559744 1 - 0.0000 -
636.90/638.85 c 639 608669 564402 1 - 0.0000 -
641.99/643.90 c 644 613267 568846 1 - 0.0000 -
646.97/648.95 c 649 618119 573546 1 - 0.0000 -
652.07/654.01 c 654 623219 578195 1 - 0.0000 -
657.15/659.12 c 659 628079 582590 1 - 0.0000 -
662.13/664.18 c 664 633033 587306 1 - 0.0000 -
667.22/669.24 c 669 637959 591884 1 - 0.0000 -
672.30/674.30 c 674 643041 596389 1 - 0.0000 -
677.39/679.42 c 679 647529 600161 1 - 0.0000 -
682.37/684.48 c 684 651984 603944 1 - 0.0000 -
687.45/689.58 c 690 656714 608261 1 - 0.0000 -
692.53/694.66 c 695 661851 613246 1 - 0.0000 -
697.62/699.76 c 700 666817 617639 1 - 0.0000 -
702.71/704.83 c 705 671517 622217 1 - 0.0000 -
707.69/709.87 c 710 676174 626589 1 - 0.0000 -
712.78/714.93 c 715 681194 630805 1 - 0.0000 -
717.76/719.98 c 720 686043 635045 1 - 0.0000 -
722.85/725.05 c 725 690965 639458 1 - 0.0000 -
727.93/730.11 c 730 695829 643706 1 - 0.0000 -
732.92/735.18 c 735 700625 647929 1 - 0.0000 -
738.00/740.29 c 740 705602 652494 1 - 0.0000 -
743.08/745.39 c 745 710071 656692 1 - 0.0000 -
748.16/750.45 c 750 714881 661078 1 - 0.0000 -
753.25/755.51 c 756 719495 665478 1 - 0.0000 -
758.23/760.57 c 761 724338 670060 1 - 0.0000 -
763.32/765.67 c 766 729021 674526 1 - 0.0000 -
768.40/770.73 c 771 733706 679145 1 - 0.0000 -
773.39/775.77 c 776 738635 683886 1 - 0.0000 -
778.47/780.85 c 781 743118 688300 1 - 0.0000 -
783.46/785.89 c 786 748258 692451 1 - 0.0000 -
788.55/790.96 c 791 752848 696846 1 - 0.0000 -
793.64/796.08 c 796 757417 701213 1 - 0.0000 -
798.72/801.12 c 801 762095 705790 1 - 0.0000 -
803.70/806.18 c 806 766735 710286 1 - 0.0000 -
808.88/811.39 c 811 771109 714646 1 - 0.0000 -
813.97/816.47 c 816 775558 719095 1 - 0.0000 -
819.05/821.52 c 822 780289 723759 1 - 0.0000 -
824.04/826.57 c 827 785141 728286 1 - 0.0000 -
829.12/831.68 c 832 789983 732952 1 - 0.0000 -
834.20/836.74 c 837 794510 737392 1 - 0.0000 -
839.29/841.89 c 842 799242 741922 1 - 0.0000 -
844.38/846.94 c 847 803725 746287 1 - 0.0000 -
849.46/852.08 c 852 808360 750893 1 - 0.0000 -
854.54/857.17 c 857 813161 755652 1 - 0.0000 -
859.62/862.21 c 862 817532 759860 1 - 0.0000 -
864.60/867.29 c 867 821878 764170 1 - 0.0000 -
869.68/872.34 c 872 826393 768577 1 - 0.0000 -
874.67/877.39 c 877 830961 773110 1 - 0.0000 -
879.75/882.47 c 882 835346 777385 1 - 0.0000 -
884.83/887.51 c 888 840011 781984 1 - 0.0000 -
889.81/892.56 c 893 844786 786235 1 - 0.0000 -
894.90/897.64 c 898 849402 790680 1 - 0.0000 -
899.98/902.77 c 903 854365 795260 1 - 0.0000 -
905.05/907.86 c 908 858973 799622 1 - 0.0000 -
910.13/912.91 c 913 863736 804276 1 - 0.0000 -
915.12/917.97 c 918 868399 808819 1 - 0.0000 -
920.21/923.01 c 923 872974 813343 1 - 0.0000 -
925.19/928.06 c 928 877810 817894 1 - 0.0000 -
930.27/933.12 c 933 882235 822267 1 - 0.0000 -
935.25/938.18 c 938 887038 826817 1 - 0.0000 -
940.33/943.22 c 943 891820 831144 1 - 0.0000 -
945.41/948.31 c 948 896251 835354 1 - 0.0000 -
950.39/953.39 c 953 901141 839879 1 - 0.0000 -
955.58/958.51 c 959 905433 844161 1 - 0.0000 -
960.56/963.55 c 964 910245 848663 1 - 0.0000 -
965.64/968.65 c 969 914996 853356 1 - 0.0000 -
970.72/973.70 c 974 919677 857848 1 - 0.0000 -
975.80/978.84 c 979 924168 862258 1 - 0.0000 -
980.88/983.98 c 984 928571 866534 1 - 0.0000 -
985.96/989.05 c 989 932831 870786 1 - 0.0000 -
991.05/994.15 c 994 937063 875018 1 - 0.0000 -
996.13/999.20 c 999 941584 879519 1 - 0.0000 -
1001.11/1004.26 c 1004 946034 883730 1 - 0.0000 -
1006.19/1009.35 c 1009 950498 887887 1 - 0.0000 -
1011.27/1014.46 c 1014 955371 892232 1 - 0.0000 -
1016.36/1019.50 c 1020 959911 896482 1 - 0.0000 -
1021.33/1024.55 c 1025 964551 900705 1 - 0.0000 -
1026.42/1029.61 c 1030 969228 905068 1 - 0.0000 -
1031.40/1034.66 c 1035 973783 909308 1 - 0.0000 -
1036.48/1039.77 c 1040 978590 913976 1 - 0.0000 -
1041.56/1044.88 c 1045 983609 918678 1 - 0.0000 -
1046.65/1049.97 c 1050 988303 923011 1 - 0.0000 -
1051.72/1055.02 c 1055 992937 927166 1 - 0.0000 -
1056.71/1060.08 c 1060 997614 931589 1 - 0.0000 -
1061.80/1065.12 c 1065 1002400 936223 1 - 0.0000 -
1066.79/1070.17 c 1070 1007207 940734 1 - 0.0000 -
1071.86/1075.28 c 1075 1011950 945136 1 - 0.0000 -
1076.95/1080.37 c 1080 1016655 949437 1 - 0.0000 -
1082.13/1085.52 c 1086 1021395 953679 1 - 0.0000 -
1087.12/1090.58 c 1091 1025942 957948 1 - 0.0000 -
1092.30/1095.76 c 1096 1030597 962181 1 - 0.0000 -
1097.39/1100.80 c 1101 1035051 966479 1 - 0.0000 -
1102.38/1105.85 c 1106 1039745 970856 1 - 0.0000 -
1107.46/1110.91 c 1111 1044383 975337 1 - 0.0000 -
1112.56/1116.01 c 1116 1048231 978817 1 - 0.0000 -
1117.54/1121.06 c 1121 1052778 983017 1 - 0.0000 -
1122.62/1126.16 c 1126 1057055 986974 1 - 0.0000 -
1127.71/1131.22 c 1131 1061559 991241 1 - 0.0000 -
1132.69/1136.28 c 1136 1065150 994832 1 - 0.0000 -
1137.87/1141.48 c 1141 1069325 999007 1 - 0.0000 -
1143.06/1146.69 c 1147 1073308 1002990 1 - 0.0000 -
1148.25/1151.85 c 1152 1077285 1006967 1 - 0.0000 -
1153.33/1156.97 c 1157 1081323 1011005 1 - 0.0000 -
1158.52/1162.13 c 1162 1085677 1015317 1 - 0.0000 -
1163.51/1167.18 c 1167 1090182 1019301 1 - 0.0000 -
1168.58/1172.24 c 1172 1094795 1023381 1 - 0.0000 -
1173.57/1177.29 c 1177 1099384 1027446 1 - 0.0000 -
1178.76/1182.41 c 1182 1103614 1031421 1 - 0.0000 -
1183.84/1187.50 c 1188 1107811 1035466 1 - 0.0000 -
1188.93/1192.63 c 1193 1112065 1039351 1 - 0.0000 -
1194.01/1197.70 c 1198 1116486 1043436 1 - 0.0000 -
1199.10/1202.83 c 1203 1120768 1047263 1 - 0.0000 -
1204.08/1207.89 c 1208 1125062 1051254 1 - 0.0000 -
1209.27/1213.01 c 1213 1129511 1055362 1 - 0.0000 -
1214.26/1218.05 c 1218 1133846 1059168 1 - 0.0000 -
1219.35/1223.14 c 1223 1138256 1063389 1 - 0.0000 -
1224.42/1228.21 c 1228 1142712 1067439 1 - 0.0000 -
1229.51/1233.31 c 1233 1147394 1071523 1 - 0.0000 -
1234.49/1238.39 c 1238 1151444 1075392 1 - 0.0000 -
1239.58/1243.43 c 1243 1155790 1079351 1 - 0.0000 -
1244.66/1248.50 c 1249 1160157 1083418 1 - 0.0000 -
1249.65/1253.58 c 1254 1164691 1087564 1 - 0.0000 -
1254.84/1258.73 c 1259 1169122 1091650 1 - 0.0000 -
1259.92/1263.80 c 1264 1173679 1095695 1 - 0.0000 -
1264.91/1268.86 c 1269 1178023 1099871 1 - 0.0000 -
1269.99/1273.99 c 1274 1182575 1103966 1 - 0.0000 -
1275.08/1279.07 c 1279 1187119 1107860 1 - 0.0000 -
1280.17/1284.12 c 1284 1191626 1112035 1 - 0.0000 -
1285.24/1289.20 c 1289 1196065 1116307 1 - 0.0000 -
1290.22/1294.27 c 1294 1200678 1120722 1 - 0.0000 -
1295.30/1299.32 c 1299 1205005 1124681 1 - 0.0000 -
1300.49/1304.57 c 1305 1209802 1128631 1 - 0.0000 -
1305.57/1309.67 c 1310 1214345 1132864 1 - 0.0000 -
1310.65/1314.75 c 1315 1218804 1137005 1 - 0.0000 -
1315.73/1319.80 c 1320 1223186 1141113 1 - 0.0000 -
1320.81/1324.95 c 1325 1227927 1145266 1 - 0.0000 -
1325.89/1330.04 c 1330 1232543 1149421 1 - 0.0000 -
1331.08/1335.23 c 1335 1236849 1153539 1 - 0.0000 -
1336.16/1340.31 c 1340 1241509 1157827 1 - 0.0000 -
1341.14/1345.38 c 1345 1246256 1162118 1 - 0.0000 -
1346.22/1350.42 c 1350 1250617 1166267 1 - 0.0000 -
1351.30/1355.53 c 1356 1255258 1170340 1 - 0.0000 -
1356.38/1360.60 c 1361 1259889 1174473 1 - 0.0000 -
1361.46/1365.73 c 1366 1264289 1178622 1 - 0.0000 -
1366.64/1370.96 c 1371 1268781 1182913 1 - 0.0000 -
1371.73/1376.01 c 1376 1273278 1187228 1 - 0.0000 -
1376.91/1381.20 c 1381 1277754 1191326 1 - 0.0000 -
1381.88/1386.26 c 1386 1282199 1195309 1 - 0.0000 -
1386.97/1391.32 c 1391 1286477 1199256 1 - 0.0000 -
1391.95/1396.38 c 1396 1290875 1203344 1 - 0.0000 -
1397.03/1401.43 c 1401 1295188 1207393 1 - 0.0000 -
1402.01/1406.48 c 1406 1299682 1211524 1 - 0.0000 -
1407.21/1411.61 c 1412 1304160 1215823 1 - 0.0000 -
1412.19/1416.66 c 1417 1308550 1219661 1 - 0.0000 -
1417.28/1421.72 c 1422 1312953 1223917 1 - 0.0000 -
1422.26/1426.76 c 1427 1317338 1227583 1 - 0.0000 -
1427.35/1431.83 c 1432 1321657 1231439 1 - 0.0000 -
1432.43/1436.92 c 1437 1325974 1235377 1 - 0.0000 -
1437.42/1441.96 c 1442 1330451 1239563 1 - 0.0000 -
1442.51/1447.02 c 1447 1334989 1243637 1 - 0.0000 -
1447.49/1452.07 c 1452 1339351 1247641 1 - 0.0000 -
1452.58/1457.13 c 1457 1343708 1251761 1 - 0.0000 -
1457.76/1462.31 c 1462 1348242 1255960 1 - 0.0000 -
1462.74/1467.37 c 1467 1352537 1259922 1 - 0.0000 -
1467.93/1472.52 c 1473 1356777 1263856 1 - 0.0000 -
1473.02/1477.64 c 1478 1361200 1268030 1 - 0.0000 -
1478.10/1482.73 c 1483 1365604 1271899 1 - 0.0000 -
1483.18/1487.86 c 1488 1369708 1275481 1 - 0.0000 -
1488.27/1492.92 c 1493 1374228 1279492 1 - 0.0000 -
1493.25/1497.97 c 1498 1378608 1283536 1 - 0.0000 -
1498.34/1503.03 c 1503 1382993 1287630 1 - 0.0000 -
1503.33/1508.10 c 1508 1387277 1291379 1 - 0.0000 -
1508.51/1513.20 c 1513 1391493 1295352 1 - 0.0000 -
1513.50/1518.27 c 1518 1395861 1299359 1 - 0.0000 -
1518.58/1523.34 c 1523 1400349 1303430 1 - 0.0000 -
1523.67/1528.42 c 1528 1404876 1307736 1 - 0.0000 -
1528.65/1533.48 c 1533 1409209 1311807 1 - 0.0000 -
1533.84/1538.63 c 1539 1413734 1316048 1 - 0.0000 -
1538.93/1543.70 c 1544 1418275 1319991 1 - 0.0000 -
1543.91/1548.76 c 1549 1422986 1324351 1 - 0.0000 -
1549.00/1553.81 c 1554 1427528 1328264 1 - 0.0000 -
1554.08/1558.94 c 1559 1431668 1332107 1 - 0.0000 -
1559.17/1564.00 c 1564 1435744 1336061 1 - 0.0000 -
1564.16/1569.09 c 1569 1440002 1340091 1 - 0.0000 -
1569.43/1574.36 c 1574 1444713 1344477 1 - 0.0000 -
1574.52/1579.42 c 1579 1448966 1348608 1 - 0.0000 -
1579.71/1584.60 c 1585 1453090 1352678 1 - 0.0000 -
1584.79/1589.79 c 1590 1457411 1356741 1 - 0.0000 -
1589.88/1594.84 c 1595 1461626 1360780 1 - 0.0000 -
1594.86/1599.88 c 1600 1466159 1364866 1 - 0.0000 -
1599.95/1604.98 c 1605 1470561 1368959 1 - 0.0000 -
1605.04/1610.04 c 1610 1475042 1373187 1 - 0.0000 -
1610.12/1615.18 c 1615 1479456 1377483 1 - 0.0000 -
1615.21/1620.22 c 1620 1483813 1381732 1 - 0.0000 -
1620.19/1625.28 c 1625 1488318 1385970 1 - 0.0000 -
1625.28/1630.39 c 1630 1492837 1390263 1 - 0.0000 -
1630.36/1635.49 c 1636 1496979 1394255 1 - 0.0000 -
1635.54/1640.60 c 1641 1501301 1398250 1 - 0.0000 -
1640.63/1645.77 c 1646 1505529 1402121 1 - 0.0000 -
1645.71/1650.88 c 1651 1509923 1406130 1 - 0.0000 -
1650.80/1655.99 c 1656 1514528 1410081 1 - 0.0000 -
1655.89/1661.04 c 1661 1519659 1413723 1 - 0.0000 -
1660.88/1666.09 c 1666 1523371 1417170 1 - 0.0000 -
1665.96/1671.18 c 1671 1527775 1421231 1 - 0.0000 -
1671.14/1676.30 c 1676 1532352 1425528 1 - 0.0000 -
1676.23/1681.44 c 1681 1536706 1429570 1 - 0.0000 -
1681.41/1686.61 c 1687 1540954 1433716 1 - 0.0000 -
1686.40/1691.68 c 1692 1545612 1437949 1 - 0.0000 -
1691.68/1696.95 c 1697 1550182 1442154 1 - 0.0000 -
1696.78/1702.05 c 1702 1554608 1446132 1 - 0.0000 -
1701.76/1707.09 c 1707 1558708 1449901 1 - 0.0000 -
1706.85/1712.18 c 1712 1563391 1453587 1 - 0.0000 -
1711.92/1717.29 c 1717 1567863 1457683 1 - 0.0000 -
1717.01/1722.37 c 1722 1572018 1461548 1 - 0.0000 -
1722.10/1727.42 c 1727 1576281 1465493 1 - 0.0000 -
1727.08/1732.48 c 1732 1580603 1469576 1 - 0.0000 -
1732.27/1737.60 c 1738 1585072 1473594 1 - 0.0000 -
1737.25/1742.66 c 1743 1589539 1477539 1 - 0.0000 -
1742.44/1747.82 c 1748 1593942 1481715 1 - 0.0000 -
1747.52/1752.99 c 1753 1598481 1485710 1 - 0.0000 -
1752.71/1758.11 c 1758 1602800 1489632 1 - 0.0000 -
1757.79/1763.22 c 1763 1607324 1493728 1 - 0.0000 -
1762.87/1768.35 c 1768 1611595 1497472 1 - 0.0000 -
1767.86/1773.39 c 1773 1616000 1501726 1 - 0.0000 -
1772.94/1778.44 c 1778 1620578 1506139 1 - 0.0000 -
1778.04/1783.59 c 1784 1625022 1510377 1 - 0.0000 -
1783.22/1788.74 c 1789 1629489 1514538 1 - 0.0000 -
1788.30/1793.84 c 1794 1633795 1518387 1 - 0.0000 -
1793.29/1798.88 c 1799 1637743 1522162 1 - 0.0000 -
1798.38/1803.97 c 1804 1642209 1526395 1 - 0.0000 -
1803.46/1809.09 c 1809 1646576 1530527 1 - 0.0000 -
1808.65/1814.21 c 1814 1651188 1534896 1 - 0.0000 -
1813.63/1819.25 c 1819 1655538 1539084 1 - 0.0000 -
1818.71/1824.30 c 1824 1659786 1543194 1 - 0.0000 -
1823.80/1829.46 c 1829 1664184 1547503 1 - 0.0000 -
1828.88/1834.56 c 1835 1668625 1551919 1 - 0.0000 -
1834.07/1839.71 c 1840 1673234 1556458 1 - 0.0000 -
1839.16/1844.88 c 1845 1677781 1560689 1 - 0.0000 -
1844.24/1849.94 c 1850 1681831 1564556 1 - 0.0000 -
1849.33/1855.02 c 1855 1686030 1568340 1 - 0.0000 -
1854.42/1860.10 c 1860 1689985 1572064 1 - 0.0000 -
1859.50/1865.22 c 1865 1694559 1576205 1 - 0.0000 -
1864.58/1870.34 c 1870 1699126 1580428 1 - 0.0000 -
1869.67/1875.40 c 1875 1703696 1584726 1 - 0.0000 -
1874.65/1880.46 c 1880 1708076 1588847 1 - 0.0000 -
1879.94/1885.76 c 1886 1712657 1593294 1 - 0.0000 -
1885.02/1890.89 c 1891 1717327 1597599 1 - 0.0000 -
1890.22/1896.03 c 1896 1721671 1601941 1 - 0.0000 -
1895.39/1901.20 c 1901 1725604 1605819 1 - 0.0000 -
1900.38/1906.27 c 1906 1729842 1609964 1 - 0.0000 -
1905.47/1911.38 c 1911 1734104 1613968 1 - 0.0000 -
1910.55/1916.49 c 1916 1738397 1617844 1 - 0.0000 -
1915.83/1921.75 c 1922 1742723 1621790 1 - 0.0000 -
1920.92/1926.85 c 1927 1747126 1625688 1 - 0.0000 -
1926.01/1931.93 c 1932 1751358 1629804 1 - 0.0000 -
1930.99/1936.99 c 1937 1755511 1633821 1 - 0.0000 -
1936.08/1942.04 c 1942 1759779 1637915 1 - 0.0000 -
1941.16/1947.12 c 1947 1764229 1641991 1 - 0.0000 -
1946.25/1952.29 c 1952 1768014 1645682 1 - 0.0000 -
1951.44/1957.41 c 1957 1772135 1649611 1 - 0.0000 -
1956.52/1962.58 c 1963 1776668 1653738 1 - 0.0000 -
1961.70/1967.75 c 1968 1781154 1658056 1 - 0.0000 -
1966.79/1972.87 c 1973 1785758 1662495 1 - 0.0000 -
1971.88/1977.93 c 1978 1790246 1666765 1 - 0.0000 -
1976.97/1983.01 c 1983 1794337 1670680 1 - 0.0000 -
1982.04/1988.14 c 1988 1798553 1674663 1 - 0.0000 -
1987.13/1993.27 c 1993 1802853 1678773 1 - 0.0000 -
1992.22/1998.32 c 1998 1806985 1682614 1 - 0.0000 -
1997.30/2003.40 c 2003 1811054 1686366 1 - 0.0000 -
2002.39/2008.50 c 2009 1815450 1690506 1 - 0.0000 -
2007.47/2013.63 c 2014 1819904 1694677 1 - 0.0000 -
2012.66/2018.87 c 2019 1824134 1698575 1 - 0.0000 -
2017.74/2023.96 c 2024 1828581 1702724 1 - 0.0000 -
2022.83/2029.04 c 2029 1833206 1706832 1 - 0.0000 -
2027.92/2034.18 c 2034 1837297 1710785 1 - 0.0000 -
2033.00/2039.28 c 2039 1841752 1715004 1 - 0.0000 -
2038.08/2044.37 c 2044 1845594 1718565 1 - 0.0000 -
2043.17/2049.43 c 2049 1849884 1722624 1 - 0.0000 -
2048.15/2054.48 c 2054 1853951 1726451 1 - 0.0000 -
2053.24/2059.53 c 2060 1857990 1730227 1 - 0.0000 -
2058.22/2064.58 c 2065 1862089 1734023 1 - 0.0000 -
2063.41/2069.70 c 2070 1866600 1738323 1 - 0.0000 -
2068.39/2074.75 c 2075 1871002 1742364 1 - 0.0000 -
2073.48/2079.80 c 2080 1874779 1745819 1 - 0.0000 -
2078.46/2084.87 c 2085 1878604 1749636 1 - 0.0000 -
2083.55/2089.93 c 2090 1882993 1753957 1 - 0.0000 -
2088.64/2095.07 c 2095 1887060 1757783 1 - 0.0000 -
2093.73/2100.13 c 2100 1890895 1761305 1 - 0.0000 -
2098.71/2105.19 c 2105 1895277 1765463 1 - 0.0000 -
2103.80/2110.23 c 2110 1899557 1769556 1 - 0.0000 -
2108.88/2115.38 c 2115 1904096 1773586 1 - 0.0000 -
2114.06/2120.55 c 2121 1908406 1777568 1 - 0.0000 -
2119.14/2125.69 c 2126 1912667 1781329 1 - 0.0000 -
2124.33/2130.80 c 2131 1916801 1785238 1 - 0.0000 -
2129.41/2135.91 c 2136 1920909 1789100 1 - 0.0000 -
2134.50/2141.06 c 2141 1925169 1793008 1 - 0.0000 -
2139.60/2146.12 c 2146 1929273 1796841 1 - 0.0000 -
2144.68/2151.23 c 2151 1933227 1800313 1 - 0.0000 -
2149.66/2156.27 c 2156 1936917 1803840 1 - 0.0000 -
2154.75/2161.34 c 2161 1941027 1807369 1 - 0.0000 -
2159.84/2166.40 c 2166 1944984 1811190 1 - 0.0000 -
2164.82/2171.45 c 2171 1949084 1814945 1 - 0.0000 -
2169.90/2176.56 c 2177 1953307 1818646 1 - 0.0000 -
2174.99/2181.60 c 2182 1957593 1822468 1 - 0.0000 -
2179.98/2186.69 c 2187 1961937 1826646 1 - 0.0000 -
2185.36/2192.00 c 2192 1966674 1830887 1 - 0.0000 -
2190.35/2197.07 c 2197 1970777 1834753 1 - 0.0000 -
2195.42/2202.14 c 2202 1975096 1838682 1 - 0.0000 -
2200.60/2207.34 c 2207 1979420 1842625 1 - 0.0000 -
2205.68/2212.47 c 2212 1983419 1846531 1 - 0.0000 -
2210.76/2217.56 c 2218 1987515 1850436 1 - 0.0000 -
2215.84/2222.65 c 2223 1991804 1854528 1 - 0.0000 -
2221.02/2227.81 c 2228 1995851 1858342 1 - 0.0000 -
2226.11/2232.93 c 2233 2000378 1862557 1 - 0.0000 -
2231.09/2237.99 c 2238 2004538 1866326 1 - 0.0000 -
2236.28/2243.16 c 2243 2008799 1870335 1 - 0.0000 -
2241.35/2248.22 c 2248 2012921 1874183 1 - 0.0000 -
2246.33/2253.27 c 2253 2017075 1878106 1 - 0.0000 -
2251.39/2258.37 c 2258 2020959 1881867 1 - 0.0000 -
2256.55/2263.50 c 2264 2025146 1885852 1 - 0.0000 -
2261.59/2268.65 c 2269 2029393 1889991 1 - 0.0000 -
2266.65/2273.78 c 2274 2033448 1893605 1 - 0.0000 -
2271.70/2278.88 c 2279 2037381 1897248 1 - 0.0000 -
2276.94/2284.11 c 2284 2041711 1901468 1 - 0.0000 -
2281.90/2289.19 c 2289 2045844 1905332 1 - 0.0000 -
2286.94/2294.24 c 2294 2050047 1909490 1 - 0.0000 -
2292.09/2299.43 c 2299 2054022 1913389 1 - 0.0000 -
2297.14/2304.56 c 2305 2058123 1917181 1 - 0.0000 -
2302.20/2309.61 c 2310 2062186 1920933 1 - 0.0000 -
2307.15/2314.69 c 2315 2066493 1924600 1 - 0.0000 -
2312.30/2319.85 c 2320 2070626 1928695 1 - 0.0000 -
2317.48/2325.02 c 2325 2074704 1932642 1 - 0.0000 -
2322.47/2330.06 c 2330 2078791 1936579 1 - 0.0000 -
2327.55/2335.11 c 2335 2083109 1940687 1 - 0.0000 -
2332.54/2340.17 c 2340 2087582 1944751 1 - 0.0000 -
2337.62/2345.28 c 2345 2091998 1949107 1 - 0.0000 -
2342.81/2350.40 c 2350 2096132 1953182 1 - 0.0000 -
2347.99/2355.69 c 2356 2100229 1957101 1 - 0.0000 -
2353.08/2360.74 c 2361 2104348 1961196 1 - 0.0000 -
2358.16/2365.86 c 2366 2108591 1964940 1 - 0.0000 -
2363.24/2370.96 c 2371 2112758 1968925 1 - 0.0000 -
2368.34/2376.02 c 2376 2116558 1972573 1 - 0.0000 -
2373.52/2381.20 c 2381 2120674 1976604 1 - 0.0000 -
2378.60/2386.34 c 2386 2124569 1980174 1 - 0.0000 -
2383.68/2391.46 c 2391 2128733 1984201 1 - 0.0000 -
2388.76/2396.59 c 2397 2132984 1988240 1 - 0.0000 -
2393.85/2401.68 c 2402 2136929 1991910 1 - 0.0000 -
2399.03/2406.86 c 2407 2140944 1995891 1 - 0.0000 -
2404.21/2412.10 c 2412 2145262 1999911 1 - 0.0000 -
2409.39/2417.20 c 2417 2149747 2004085 1 - 0.0000 -
2414.47/2422.39 c 2422 2154222 2008050 1 - 0.0000 -
2419.65/2427.59 c 2428 2158639 2012133 1 - 0.0000 -
2424.83/2432.71 c 2433 2162771 2015792 1 - 0.0000 -
2429.91/2437.83 c 2438 2167298 2020258 1 - 0.0000 -
2435.20/2443.12 c 2443 2171632 2024492 1 - 0.0000 -
2440.18/2448.18 c 2448 2175819 2028470 1 - 0.0000 -
2445.35/2453.33 c 2453 2180046 2032665 1 - 0.0000 -
2450.43/2458.44 c 2458 2184191 2036675 1 - 0.0000 -
2455.52/2463.51 c 2464 2188291 2040303 1 - 0.0000 -
2460.60/2468.69 c 2469 2192349 2044042 1 - 0.0000 -
2465.68/2473.74 c 2474 2196433 2047558 1 - 0.0000 -
2470.66/2478.79 c 2479 2200605 2051718 1 - 0.0000 -
2475.95/2484.04 c 2484 2204312 2055338 1 - 0.0000 -
2481.12/2489.25 c 2489 2208284 2059293 1 - 0.0000 -
2486.30/2494.49 c 2494 2212451 2063356 1 - 0.0000 -
2491.38/2499.55 c 2500 2216476 2067152 1 - 0.0000 -
2496.46/2504.63 c 2505 2220501 2071085 1 - 0.0000 -
2501.54/2509.73 c 2510 2224718 2075132 1 - 0.0000 -
2506.63/2514.83 c 2515 2228745 2079121 1 - 0.0000 -
2511.71/2519.91 c 2520 2233154 2083323 1 - 0.0000 -
2516.79/2525.05 c 2525 2237321 2087088 1 - 0.0000 -
2521.87/2530.15 c 2530 2241241 2090961 1 - 0.0000 -
2526.95/2535.20 c 2535 2245340 2094837 1 - 0.0000 -
2532.04/2540.34 c 2540 2249523 2098750 1 - 0.0000 -
2537.11/2545.49 c 2546 2253588 2102697 1 - 0.0000 -
2542.30/2550.61 c 2551 2257686 2106561 1 - 0.0000 -
2547.37/2555.78 c 2556 2261661 2110480 1 - 0.0000 -
2552.45/2560.83 c 2561 2265688 2114330 1 - 0.0000 -
2557.53/2565.91 c 2566 2269771 2118024 1 - 0.0000 -
2562.52/2570.97 c 2571 2273951 2121772 1 - 0.0000 -
2567.71/2576.11 c 2576 2278328 2126066 1 - 0.0000 -
2572.68/2581.16 c 2581 2282256 2129959 1 - 0.0000 -
2577.86/2586.36 c 2586 2286464 2134079 1 - 0.0000 -
2583.04/2591.50 c 2592 2290516 2137944 1 - 0.0000 -
2588.12/2596.62 c 2597 2294368 2141707 1 - 0.0000 -
2593.11/2601.66 c 2602 2298505 2145717 1 - 0.0000 -
2598.18/2606.74 c 2607 2302255 2149430 1 - 0.0000 -
2603.17/2611.79 c 2612 2306522 2153139 1 - 0.0000 -
2608.35/2616.92 c 2617 2310516 2156686 1 - 0.0000 -
2613.43/2622.00 c 2622 2314510 2160519 1 - 0.0000 -
2618.41/2627.05 c 2627 2318530 2164307 1 - 0.0000 -
2623.50/2632.13 c 2632 2322542 2168079 1 - 0.0000 -
2628.58/2637.25 c 2637 2326479 2171724 1 - 0.0000 -
2633.67/2642.36 c 2642 2330401 2175538 1 - 0.0000 -
2638.75/2647.49 c 2648 2334642 2179542 1 - 0.0000 -
2643.94/2652.69 c 2653 2338711 2183508 1 - 0.0000 -
2649.02/2657.74 c 2658 2342649 2187150 1 - 0.0000 -
2654.21/2662.93 c 2663 2346582 2191012 1 - 0.0000 -
2659.30/2668.01 c 2668 2350853 2195155 1 - 0.0000 -
2664.48/2673.20 c 2673 2355145 2199250 1 - 0.0000 -
2669.66/2678.45 c 2678 2358991 2202923 1 - 0.0000 -
2674.75/2683.50 c 2684 2362852 2206523 1 - 0.0000 -
2679.93/2688.71 c 2689 2366796 2210432 1 - 0.0000 -
2684.92/2693.78 c 2694 2370761 2214295 1 - 0.0000 -
2690.00/2698.83 c 2699 2374902 2218194 1 - 0.0000 -
2694.99/2703.87 c 2704 2378682 2221727 1 - 0.0000 -
2700.07/2708.92 c 2709 2382722 2225427 1 - 0.0000 -
2705.06/2713.99 c 2714 2386908 2229386 1 - 0.0000 -
2710.15/2719.09 c 2719 2391139 2233422 1 - 0.0000 -
2715.23/2724.17 c 2724 2395086 2237095 1 - 0.0000 -
2720.41/2729.34 c 2729 2399161 2241072 1 - 0.0000 -
2725.50/2734.48 c 2734 2403429 2245208 1 - 0.0000 -
2730.58/2739.56 c 2740 2406905 2248601 1 - 0.0000 -
2735.77/2744.73 c 2745 2411205 2252676 1 - 0.0000 -
2740.96/2749.93 c 2750 2415132 2256499 1 - 0.0000 -
2746.04/2755.00 c 2755 2419003 2260178 1 - 0.0000 -
2751.13/2760.15 c 2760 2423046 2264122 1 - 0.0000 -
2756.21/2765.26 c 2765 2426914 2267879 1 - 0.0000 -
2761.29/2770.36 c 2770 2430976 2271711 1 - 0.0000 -
2766.38/2775.45 c 2775 2434827 2275398 1 - 0.0000 -
2771.46/2780.50 c 2780 2438664 2279174 1 - 0.0000 -
2776.44/2785.58 c 2786 2442469 2282740 1 - 0.0000 -
2781.54/2790.68 c 2791 2446483 2286562 1 - 0.0000 -
2786.62/2795.77 c 2796 2450443 2290263 1 - 0.0000 -
2791.80/2800.92 c 2801 2454235 2294044 1 - 0.0000 -
2796.99/2806.19 c 2806 2458470 2298246 1 - 0.0000 -
2802.18/2811.37 c 2811 2462385 2301949 1 - 0.0000 -
2807.26/2816.48 c 2816 2466291 2305758 1 - 0.0000 -
2812.45/2821.63 c 2822 2470444 2309690 1 - 0.0000 -
2817.43/2826.67 c 2827 2474204 2313188 1 - 0.0000 -
2822.52/2831.75 c 2832 2478247 2317118 1 - 0.0000 -
2827.60/2836.84 c 2837 2482366 2321124 1 - 0.0000 -
2832.69/2841.91 c 2842 2486671 2325292 1 - 0.0000 -
2837.77/2847.06 c 2847 2490406 2328975 1 - 0.0000 -
2842.86/2852.10 c 2852 2494170 2332568 1 - 0.0000 -
2847.94/2857.24 c 2857 2498626 2336682 1 - 0.0000 -
2853.12/2862.41 c 2862 2502754 2340655 1 - 0.0000 -
2858.30/2867.64 c 2868 2506962 2344519 1 - 0.0000 -
2863.39/2872.77 c 2873 2511210 2348350 1 - 0.0000 -
2868.57/2877.92 c 2878 2515211 2352102 1 - 0.0000 -
2873.57/2882.96 c 2883 2518954 2355618 1 - 0.0000 -
2878.65/2888.07 c 2888 2522881 2359116 1 - 0.0000 -
2883.74/2893.11 c 2893 2526527 2362504 1 - 0.0000 -
2888.82/2898.29 c 2898 2530657 2366047 1 - 0.0000 -
2894.10/2903.51 c 2904 2534804 2369539 1 - 0.0000 -
2899.19/2908.68 c 2909 2538505 2372969 1 - 0.0000 -
2904.26/2913.72 c 2914 2542493 2376789 1 - 0.0000 -
2909.45/2918.96 c 2919 2546448 2380505 1 - 0.0000 -
2914.54/2924.08 c 2924 2550507 2384255 1 - 0.0000 -
2919.73/2929.28 c 2929 2554507 2388108 1 - 0.0000 -
2924.91/2934.41 c 2934 2558545 2392030 1 - 0.0000 -
2929.90/2939.49 c 2940 2562271 2395558 1 - 0.0000 -
2935.17/2944.71 c 2945 2565875 2399040 1 - 0.0000 -
2940.27/2949.80 c 2950 2569972 2403049 1 - 0.0000 -
2945.45/2955.02 c 2955 2573792 2406655 1 - 0.0000 -
2950.43/2960.08 c 2960 2577907 2410541 1 - 0.0000 -
2955.62/2965.26 c 2965 2581724 2413959 1 - 0.0000 -
2960.70/2970.32 c 2970 2585572 2417567 1 - 0.0000 -
2965.68/2975.36 c 2975 2589263 2420913 1 - 0.0000 -
2970.77/2980.42 c 2980 2593506 2424688 1 - 0.0000 -
2975.86/2985.56 c 2986 2597517 2428613 1 - 0.0000 -
2980.94/2990.65 c 2991 2601306 2432299 1 - 0.0000 -
2986.02/2995.72 c 2996 2605629 2436166 1 - 0.0000 -
2991.02/3000.79 c 3001 2609519 2440019 1 - 0.0000 -
2996.20/3005.94 c 3006 2613726 2443996 1 - 0.0000 -
3001.29/3011.01 c 3011 2617972 2447905 1 - 0.0000 -
3006.27/3016.06 c 3016 2622041 2451706 1 - 0.0000 -
3011.35/3021.15 c 3021 2626153 2455174 1 - 0.0000 -
3016.44/3026.20 c 3026 2630213 2458602 1 - 0.0000 -
3021.42/3031.26 c 3031 2634167 2462234 1 - 0.0000 -
3026.50/3036.34 c 3036 2638304 2466205 1 - 0.0000 -
3031.59/3041.49 c 3042 2642843 2470299 1 - 0.0000 -
3036.67/3046.55 c 3047 2646847 2474206 1 - 0.0000 -
3041.76/3051.66 c 3052 2650623 2477739 1 - 0.0000 -
3046.94/3056.83 c 3057 2654873 2481244 1 - 0.0000 -
3052.03/3061.97 c 3062 2658869 2485035 1 - 0.0000 -
3057.12/3067.09 c 3067 2662992 2488909 1 - 0.0000 -
3062.30/3072.28 c 3072 2667368 2493078 1 - 0.0000 -
3067.38/3077.33 c 3077 2671258 2496800 1 - 0.0000 -
3072.47/3082.43 c 3082 2675171 2500531 1 - 0.0000 -
3077.55/3087.50 c 3088 2679214 2504342 1 - 0.0000 -
3082.54/3092.56 c 3093 2683091 2507999 1 - 0.0000 -
3087.62/3097.61 c 3098 2687264 2511849 1 - 0.0000 -
3092.81/3102.83 c 3103 2691477 2515887 1 - 0.0000 -
3097.89/3107.95 c 3108 2695434 2519524 1 - 0.0000 -
3103.09/3113.15 c 3113 2699375 2523313 1 - 0.0000 -
3108.36/3118.47 c 3118 2703572 2527125 1 - 0.0000 -
3113.44/3123.52 c 3124 2707507 2530932 1 - 0.0000 -
3118.53/3128.60 c 3129 2711778 2534841 1 - 0.0000 -
3123.61/3133.76 c 3134 2715902 2538681 1 - 0.0000 -
3128.70/3138.81 c 3139 2719611 2542206 1 - 0.0000 -
3133.69/3143.88 c 3144 2723641 2545983 1 - 0.0000 -
3138.77/3148.92 c 3149 2727860 2549579 1 - 0.0000 -
3143.75/3153.97 c 3154 2731751 2553260 1 - 0.0000 -
3148.84/3159.02 c 3159 2735719 2556794 1 - 0.0000 -
3153.93/3164.11 c 3164 2739516 2560427 1 - 0.0000 -
3159.11/3169.30 c 3169 2743645 2564255 1 - 0.0000 -
3164.19/3174.41 c 3174 2747821 2568338 1 - 0.0000 -
3169.28/3179.51 c 3180 2751874 2572260 1 - 0.0000 -
3174.26/3184.58 c 3185 2755701 2575874 1 - 0.0000 -
3179.35/3189.63 c 3190 2759703 2579692 1 - 0.0000 -
3184.43/3194.77 c 3195 2764057 2583632 1 - 0.0000 -
3189.72/3200.05 c 3200 2768366 2587793 1 - 0.0000 -
3194.80/3205.17 c 3205 2772725 2591772 1 - 0.0000 -
3199.88/3210.22 c 3210 2776811 2595781 1 - 0.0000 -
3204.97/3215.31 c 3215 2780877 2599661 1 - 0.0000 -
3209.96/3220.38 c 3220 2784784 2603475 1 - 0.0000 -
3215.05/3225.43 c 3225 2788935 2607389 1 - 0.0000 -
3220.13/3230.56 c 3231 2793373 2611613 1 - 0.0000 -
3225.22/3235.64 c 3236 2797603 2615576 1 - 0.0000 -
3230.30/3240.77 c 3241 2801467 2619358 1 - 0.0000 -
3235.38/3245.84 c 3246 2805454 2623297 1 - 0.0000 -
3240.37/3250.89 c 3251 2809302 2627092 1 - 0.0000 -
3245.56/3256.08 c 3256 2813313 2631015 1 - 0.0000 -
3250.65/3261.14 c 3261 2816997 2634549 1 - 0.0000 -
3255.63/3266.18 c 3266 2820796 2638026 1 - 0.0000 -
3260.70/3271.24 c 3271 2824963 2641581 1 - 0.0000 -
3265.89/3276.44 c 3276 2829047 2645545 1 - 0.0000 -
3270.98/3281.54 c 3282 2833222 2649421 1 - 0.0000 -
3276.16/3286.72 c 3287 2837142 2653176 1 - 0.0000 -
3281.25/3291.87 c 3292 2841194 2656931 1 - 0.0000 -
3286.34/3296.92 c 3297 2845427 2660974 1 - 0.0000 -
3291.42/3302.07 c 3302 2849473 2664886 1 - 0.0000 -
3296.51/3307.11 c 3307 2853489 2668876 1 - 0.0000 -
3301.49/3312.18 c 3312 2857677 2672791 1 - 0.0000 -
3306.58/3317.29 c 3317 2861814 2676773 1 - 0.0000 -
3311.76/3322.45 c 3322 2865532 2680357 1 - 0.0000 -
3316.84/3327.55 c 3328 2869307 2684011 1 - 0.0000 -
3321.93/3332.63 c 3333 2873009 2687599 1 - 0.0000 -
3327.12/3337.83 c 3338 2877267 2691658 1 - 0.0000 -
3332.20/3342.91 c 3343 2881676 2695710 1 - 0.0000 -
3337.29/3348.04 c 3348 2885457 2699251 1 - 0.0000 -
3342.38/3353.13 c 3353 2889307 2702725 1 - 0.0000 -
3347.56/3358.33 c 3358 2893348 2706349 1 - 0.0000 -
3352.74/3363.51 c 3364 2897554 2710360 1 - 0.0000 -
3357.73/3368.55 c 3369 2901675 2714166 1 - 0.0000 -
3362.91/3373.79 c 3374 2905572 2717895 1 - 0.0000 -
3367.99/3378.86 c 3379 2909791 2721943 1 - 0.0000 -
3373.08/3383.96 c 3384 2913933 2725952 1 - 0.0000 -
3378.27/3389.19 c 3389 2917827 2729665 1 - 0.0000 -
3383.45/3394.37 c 3394 2922061 2733713 1 - 0.0000 -
3388.54/3399.43 c 3399 2925756 2737353 1 - 0.0000 -
3393.53/3404.47 c 3404 2930029 2741445 1 - 0.0000 -
3398.61/3409.56 c 3410 2934095 2745195 1 - 0.0000 -
3403.69/3414.62 c 3415 2938421 2749236 1 - 0.0000 -
3408.78/3419.70 c 3420 2942551 2752971 1 - 0.0000 -
3413.76/3424.75 c 3425 2946232 2756430 1 - 0.0000 -
3418.85/3429.86 c 3430 2950700 2760193 1 - 0.0000 -
3423.93/3434.93 c 3435 2954779 2763913 1 - 0.0000 -
3429.02/3440.01 c 3440 2958879 2767811 1 - 0.0000 -
3434.12/3445.18 c 3445 2963039 2771818 1 - 0.0000 -
3439.20/3450.26 c 3450 2967069 2775587 1 - 0.0000 -
3444.37/3455.41 c 3455 2971219 2779561 1 - 0.0000 -
3449.36/3460.49 c 3460 2975201 2783414 1 - 0.0000 -
3454.45/3465.53 c 3466 2979350 2787438 1 - 0.0000 -
3459.53/3470.66 c 3471 2983451 2791127 1 - 0.0000 -
3464.62/3475.73 c 3476 2987751 2795186 1 - 0.0000 -
3469.71/3480.85 c 3481 2991704 2798931 1 - 0.0000 -
3474.78/3485.96 c 3486 2995689 2802821 1 - 0.0000 -
3479.87/3491.03 c 3491 2999685 2806458 1 - 0.0000 -
3485.06/3496.20 c 3496 3003583 2810157 1 - 0.0000 -
3490.14/3501.35 c 3501 3007331 2813644 1 - 0.0000 -
3495.23/3506.40 c 3506 3011459 2817248 1 - 0.0000 -
3500.32/3511.59 c 3512 3015706 2821173 1 - 0.0000 -
3505.50/3516.74 c 3517 3019945 2825412 1 - 0.0000 -
3510.59/3521.87 c 3522 3023912 2829375 1 - 0.0000 -
3515.67/3526.98 c 3527 3027913 2833359 1 - 0.0000 -
3520.87/3532.10 c 3532 3031811 2837207 1 - 0.0000 -
3526.04/3537.36 c 3537 3035851 2841222 1 - 0.0000 -
3531.23/3542.56 c 3543 3040015 2845322 1 - 0.0000 -
3536.31/3547.69 c 3548 3043853 2849120 1 - 0.0000 -
3541.49/3552.80 c 3553 3047902 2853109 1 - 0.0000 -
3546.58/3557.90 c 3558 3051742 2856897 1 - 0.0000 -
3551.57/3562.94 c 3563 3055736 2860867 1 - 0.0000 -
3556.66/3568.03 c 3568 3059859 2864930 1 - 0.0000 -
3561.84/3573.20 c 3573 3063743 2868785 1 - 0.0000 -
3566.82/3578.26 c 3578 3067349 2872378 1 - 0.0000 -
3572.11/3583.53 c 3584 3071254 2876185 1 - 0.0000 -
3577.19/3588.67 c 3589 3075416 2880314 1 - 0.0000 -
3582.28/3593.74 c 3594 3079003 2883769 1 - 0.0000 -
3587.67/3599.15 c 3599 3083312 2888045 1 - 0.0000 -
3591.25/3602.70 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.25/3602.70 c Total Time : 3602.7000
3591.25/3602.70 c solving : 3602.7000
3591.25/3602.70 c presolving : 0.0094 (included in solving)
3591.25/3602.70 c B&B Tree :
3591.25/3602.70 c nodes (total) : 1
3591.25/3602.70 c Solution :
3591.25/3602.70 c Solutions found : 0
3591.25/3602.70 c Primal Bound : -
3591.25/3602.70 c Dual Bound : +0.00000000000000e+00
3591.25/3602.70 c Gap : -
3591.25/3602.71 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 (62874 MiB free)
memory of node 1: 64473 MiB (63324 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447580-1721357674/watcher-4447580-1721357674 -o /tmp/evaluation-result-4447580-1721357674/solver-4447580-1721357674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982053 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447580-1721357674.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
solver pid=984189, runsolver pid=984186
Current StackSize limit: 8192 KiB
[startup+0.100992 s]*
/proc/loadavg: 4.24 4.22 4.16 3/244 984228
/proc/meminfo: memFree=129209872/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=109972 memory=30840 CPUtime=0.09 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 4575 0 0 0 9 0 0 0 20 0 3 0 187934461 112611328 7710 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 27493 7710 2926 3032 0 10776 0
[pid=984189/tid=984195] ppid=984186 vsize=109972 memory=4026532090 CPUtime=0.07 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 2649 0 0 0 7 0 0 0 20 0 3 0 187934462 112611328 7710 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=109972 memory=1656777 CPUtime=0 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934463 112611328 7710 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109972 KiB
Current children cumulated memory: 30840 KiB
[startup+0.205992 s]*
/proc/loadavg: 4.24 4.22 4.16 4/249 984262
/proc/meminfo: memFree=129199604/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=109972 memory=32160 CPUtime=0.19 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 4941 0 0 0 19 0 0 0 20 0 3 0 187934461 112611328 8040 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 27493 8040 2926 3032 0 10832 0
[pid=984189/tid=984195] ppid=984186 vsize=109972 memory=3461361995659371770 CPUtime=0.18 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 3015 0 0 0 18 0 0 0 20 0 3 0 187934462 112611328 8040 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=109972 memory=1656777 CPUtime=0 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934463 112611328 8040 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 109972 KiB
Current children cumulated memory: 32160 KiB
[startup+0.305382 s]*
/proc/loadavg: 4.24 4.22 4.16 5/257 984279
/proc/meminfo: memFree=129150932/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=109972 memory=38028 CPUtime=0.29 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 6377 0 0 0 29 0 0 0 20 0 3 0 187934461 112611328 9507 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 27493 9507 2942 3032 0 12569 0
[pid=984189/tid=984195] ppid=984186 vsize=109972 memory=-5155633492128327253 CPUtime=0.27 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 4452 0 0 0 27 0 0 0 20 0 3 0 187934462 112611328 9507 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=109972 memory=0 CPUtime=0 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934463 112611328 9507 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 109972 KiB
Current children cumulated memory: 38028 KiB
[startup+0.700212 s]
/proc/loadavg: 4.24 4.22 4.16 5/265 984291
/proc/meminfo: memFree=129126908/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=109972 memory=41196 CPUtime=0.68 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 7158 0 0 0 68 0 0 0 20 0 3 0 187934461 112611328 10299 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 27493 10299 2942 3032 0 13086 0
[pid=984189/tid=984195] ppid=984186 vsize=109972 memory=0 CPUtime=0.66 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 5232 0 0 0 66 0 0 0 20 0 3 0 187934462 112611328 10299 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=109972 memory=0 CPUtime=0 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934463 112611328 10299 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 109972 KiB
Current children cumulated memory: 41196 KiB
[startup+1.50025 s]
/proc/loadavg: 4.24 4.22 4.16 4/261 984291
/proc/meminfo: memFree=129131600/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=109972 memory=41680 CPUtime=1.48 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 11015 0 0 0 147 1 0 0 20 0 3 0 187934461 112611328 10420 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 27493 10420 2942 3032 0 13216 0
[pid=984189/tid=984195] ppid=984186 vsize=109972 memory=0 CPUtime=1.46 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 9076 0 0 0 146 0 0 0 20 0 3 0 187934462 112611328 10420 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=109972 memory=0 CPUtime=0 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187934463 112611328 10420 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 109972 KiB
Current children cumulated memory: 41680 KiB
[startup+3.10539 s]
/proc/loadavg: 4.14 4.20 4.15 5/265 984339
/proc/meminfo: memFree=129083376/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=110664 memory=48156 CPUtime=3.08 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 13394 0 0 0 307 1 0 0 20 0 3 0 187934461 113319936 12039 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 27666 12039 2942 3032 0 14832 0
[pid=984189/tid=984195] ppid=984186 vsize=110664 memory=0 CPUtime=3.06 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 11453 0 0 0 305 1 0 0 20 0 3 0 187934462 113319936 12039 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=110664 memory=129 CPUtime=0 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 187934463 113319936 12039 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 110664 KiB
Current children cumulated memory: 48156 KiB
[startup+6.30018 s]
/proc/loadavg: 4.14 4.20 4.15 5/265 984341
/proc/meminfo: memFree=129029204/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=124768 memory=76360 CPUtime=6.26 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 28028 0 0 0 624 2 0 0 20 0 3 0 187934461 127762432 19090 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 31192 19090 2942 3032 0 21769 0
[pid=984189/tid=984195] ppid=984186 vsize=124768 memory=0 CPUtime=6.24 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 26076 0 0 0 622 2 0 0 20 0 3 0 187934462 127762432 19090 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=124768 memory=-6514290174730615657 CPUtime=0 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 187934463 127762432 19090 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 124768 KiB
Current children cumulated memory: 76360 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.19 4.15 5/265 984341
/proc/meminfo: memFree=129005196/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=124768 memory=84620 CPUtime=12.64 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 42644 0 0 0 1260 4 0 0 20 0 3 0 187934461 127762432 21155 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 31192 21155 2990 3032 0 23987 0
[pid=984189/tid=984195] ppid=984186 vsize=124768 memory=0 CPUtime=12.63 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 40675 0 0 0 1259 4 0 0 20 0 3 0 187934462 127762432 21155 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=124768 memory=-6514290174730615657 CPUtime=0 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 187934463 127762432 21155 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 124768 KiB
Current children cumulated memory: 84620 KiB
[startup+25.5003 s]
/proc/loadavg: 4.10 4.18 4.15 5/265 984342
/proc/meminfo: memFree=128942456/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=124768 memory=93484 CPUtime=25.39 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 56140 0 0 0 2532 7 0 0 20 0 3 0 187934461 127762432 23371 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 31192 23371 2990 3032 0 25825 0
[pid=984189/tid=984195] ppid=984186 vsize=124768 memory=-6514290174730615657 CPUtime=25.37 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 54150 0 0 0 2530 7 0 0 20 0 3 0 187934462 127762432 23371 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=124768 memory=11608 CPUtime=0 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 187934463 127762432 23371 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 124768 KiB
Current children cumulated memory: 93484 KiB
[startup+51.1053 s]
/proc/loadavg: 4.19 4.20 4.16 5/263 984347
/proc/meminfo: memFree=128835856/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=194720 memory=106848 CPUtime=50.92 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 68672 0 0 0 5080 12 0 0 20 0 3 0 187934461 199393280 26712 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 48680 26712 2990 3032 0 29038 0
[pid=984189/tid=984195] ppid=984186 vsize=194720 memory=-6514290174730615657 CPUtime=50.89 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 66636 0 0 0 5078 11 0 0 20 0 3 0 187934462 199393280 26712 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=194720 memory=106120 CPUtime=0 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 187934463 199393280 26712 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 194720 KiB
Current children cumulated memory: 106848 KiB
[startup+102.3 s]
/proc/loadavg: 4.07 4.16 4.14 5/264 984739
/proc/meminfo: memFree=128623260/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=210952 memory=148920 CPUtime=101.96 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 87695 0 0 0 10175 21 0 0 20 0 3 0 187934461 216014848 37230 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 52738 37230 2990 3032 0 40065 0
[pid=984189/tid=984195] ppid=984186 vsize=210952 memory=-6514290174730615657 CPUtime=101.94 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 85629 0 0 0 10173 21 0 0 20 0 3 0 187934462 216014848 37230 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=210952 memory=11608 CPUtime=0 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 187934463 216014848 37230 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 210952 KiB
Current children cumulated memory: 148920 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/264 984749
/proc/meminfo: memFree=128385756/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=225080 memory=198804 CPUtime=161.78 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 113111 0 0 0 16146 32 0 0 20 0 3 0 187934461 230481920 49701 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 56270 49701 2990 3032 0 52487 0
[pid=984189/tid=984195] ppid=984186 vsize=225080 memory=-6514290174730615657 CPUtime=161.75 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 111014 0 0 0 16143 32 0 0 20 0 3 0 187934462 230481920 49701 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=225080 memory=191652 CPUtime=0 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 187934463 230481920 49701 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 225080 KiB
################
# More data... #
################
/proc/984189/statm: 600933 576530 2990 3032 0 584126 0
[pid=984189/tid=984195] ppid=984186 vsize=2403732 memory=6720666562396963442 CPUtime=3451.02 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 1984038 0 0 0 344475 627 0 0 20 0 3 0 187934462 2461421568 576530 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=2403732 memory=2304992 CPUtime=0.02 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 68 0 0 0 0 2 0 0 20 0 3 0 187934463 2461421568 576530 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 3451.26 s
Current children cumulated vsize: 2403732 KiB
Current children cumulated memory: 2306120 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.12 4.10 5/264 986149
/proc/meminfo: memFree=119602732/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=2421176 memory=2344624 CPUtime=3511.08 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 2010248 0 0 0 350465 643 0 0 20 0 3 0 187934461 2479284224 586156 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 605294 586156 2990 3032 0 592968 0
[pid=984189/tid=984195] ppid=984186 vsize=2421176 memory=2304992 CPUtime=3510.85 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 2007355 0 0 0 350448 637 0 0 20 0 3 0 187934462 2479284224 586156 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=2421176 memory=2268 CPUtime=0.02 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 69 0 0 0 0 2 0 0 20 0 3 0 187934463 2479284224 586156 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 3511.08 s
Current children cumulated vsize: 2421176 KiB
Current children cumulated memory: 2344624 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 986160
/proc/meminfo: memFree=119477052/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=2434532 memory=2375760 CPUtime=3570.92 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 2029984 0 0 0 356440 652 0 0 20 0 3 0 187934461 2492960768 593940 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 608633 593940 2990 3032 0 600708 0
[pid=984189/tid=984195] ppid=984186 vsize=2434532 memory=2369740 CPUtime=3570.68 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 2027076 0 0 0 356422 646 0 0 20 0 3 0 187934462 2492960768 593940 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=2434532 memory=2375760 CPUtime=0.02 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 70 0 0 0 0 2 0 0 20 0 3 0 187934463 2492960768 593940 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 3570.92 s
Current children cumulated vsize: 2434532 KiB
Current children cumulated memory: 2375760 KiB
[startup+3602.72 s]
# the end of solver process 984189 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.61 s, system=6.67208 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=119472552/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=2434532 memory=2375760 CPUtime=3572.61 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 2030046 0 0 0 356609 652 0 0 20 0 3 0 187934461 2492960768 593940 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 608633 593940 2990 3032 0 600708 0
[pid=984189/tid=984195] ppid=984186 vsize=2434532 memory=6720663242420798063 CPUtime=3572.38 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 2027138 0 0 0 356592 646 0 0 20 0 3 0 187934462 2492960768 593940 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=2434532 memory=-8549727003958230936 CPUtime=0.02 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 70 0 0 0 0 2 0 0 20 0 3 0 187934463 2492960768 593940 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 2434532 KiB
Current children cumulated memory: 2375760 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 986162
/proc/meminfo: memFree=119457864/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=2435560 memory=2379924 CPUtime=3578.99 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 2032723 0 0 0 357246 653 0 0 20 0 3 0 187934461 2494013440 594981 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 608890 594981 2990 3032 0 601749 0
[pid=984189/tid=984195] ppid=984186 vsize=2435560 memory=2377040 CPUtime=3578.75 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 2029815 0 0 0 357228 647 0 0 20 0 3 0 187934462 2494013440 594981 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=2435560 memory=11608 CPUtime=0.02 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 70 0 0 0 0 2 0 0 20 0 3 0 187934463 2494013440 594981 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 3578.99 s
Current children cumulated vsize: 2435560 KiB
Current children cumulated memory: 2379924 KiB
[startup+3596.8 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 986163
/proc/meminfo: memFree=119442916/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=2437612 memory=2383644 CPUtime=3585.37 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 2035149 0 0 0 357884 653 0 0 20 0 3 0 187934461 2496114688 595911 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 609403 595911 2990 3032 0 602679 0
[pid=984189/tid=984195] ppid=984186 vsize=2437612 memory=2382776 CPUtime=3585.13 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 2032241 0 0 0 357866 647 0 0 20 0 3 0 187934462 2496114688 595911 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=2437612 memory=4908 CPUtime=0.02 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 70 0 0 0 0 2 0 0 20 0 3 0 187934463 2496114688 595911 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 3585.37 s
Current children cumulated vsize: 2437612 KiB
Current children cumulated memory: 2383644 KiB
[startup+3600 s]*
/proc/loadavg: 4.14 4.11 4.09 5/264 986163
/proc/meminfo: memFree=119433176/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=2437612 memory=2385212 CPUtime=3588.56 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 2037748 0 0 0 358202 654 0 0 20 0 3 0 187934461 2496114688 596303 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 609403 596303 2990 3032 0 603071 0
[pid=984189/tid=984195] ppid=984186 vsize=2437612 memory=6720663242420798063 CPUtime=3588.32 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 2035404 0 0 0 358184 648 0 0 20 0 3 0 187934462 2496114688 596303 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=2437612 memory=-8549727003958230936 CPUtime=0.02 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 71 0 0 0 0 2 0 0 20 0 3 0 187934463 2496114688 596303 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 3588.56 s
Current children cumulated vsize: 2437612 KiB
Current children cumulated memory: 2385212 KiB
[startup+3601.6 s]
/proc/loadavg: 4.14 4.11 4.09 5/264 986163
/proc/meminfo: memFree=119536064/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=2081404 memory=2029016 CPUtime=3590.15 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 2149656 0 0 0 358354 661 0 0 20 0 3 0 187934461 2131357696 507254 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 520351 507254 2990 3032 0 514019 0
[pid=984189/tid=984195] ppid=984186 vsize=2081404 memory=2384552 CPUtime=3589.91 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 2146744 0 0 0 358336 655 0 0 20 0 3 0 187934462 2131357696 507254 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=2081404 memory=2385212 CPUtime=0.02 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 71 0 0 0 0 2 0 0 20 0 3 0 187934463 2131357696 507254 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 3590.15 s
Current children cumulated vsize: 2081404 KiB
Current children cumulated memory: 2029016 KiB
[startup+3602.4 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 986163
/proc/meminfo: memFree=120010932/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=1690472 memory=1638084 CPUtime=3590.96 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 2179734 0 0 0 358432 664 0 0 20 0 3 0 187934461 1731043328 409521 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 422618 409521 2990 3032 0 416286 0
[pid=984189/tid=984195] ppid=984186 vsize=1690472 memory=12384 CPUtime=3590.72 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 2176822 0 0 0 358414 658 0 0 20 0 3 0 187934462 1731043328 409521 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=1690472 memory=1968 CPUtime=0.02 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 71 0 0 0 0 2 0 0 20 0 3 0 187934463 1731043328 409521 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 3590.96 s
Current children cumulated vsize: 1690472 KiB
Current children cumulated memory: 1638084 KiB
[startup+3602.6 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 986163
/proc/meminfo: memFree=120010932/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=1545100 memory=1492712 CPUtime=3591.16 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 2184081 0 0 0 358451 665 0 0 20 0 3 0 187934461 1582182400 373178 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 386275 373178 2990 3032 0 379943 0
[pid=984189/tid=984195] ppid=984186 vsize=1545100 memory=2205504 CPUtime=3590.92 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 2181171 0 0 0 358433 659 0 0 20 0 3 0 187934462 1582182400 373178 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=1545100 memory=2268 CPUtime=0.02 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 71 0 0 0 0 2 0 0 20 0 3 0 187934463 1582182400 373178 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 3591.16 s
Current children cumulated vsize: 1545100 KiB
Current children cumulated memory: 1492712 KiB
[startup+3602.7 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 986163
/proc/meminfo: memFree=120010932/131524600 swapFree=131071996/131071996
[pid=984189] ppid=984186 vsize=1365660 memory=1330832 CPUtime=3591.25 cores=1,3
/proc/984189/stat : 984189 (fscip) S 984186 984189 982041 0 -1 1077936128 2185513 0 0 0 358460 665 0 0 20 0 3 0 187934461 1398435840 332708 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
/proc/984189/statm: 341159 332708 2990 3032 0 334827 0
[pid=984189/tid=984195] ppid=984186 vsize=1363612 memory=2309648 CPUtime=3591.01 cores=1,3
/proc/984189/task/984195/stat : 984195 (fscip) R 984186 984189 982041 0 -1 4194368 2182601 0 0 0 358442 659 0 0 20 0 3 0 187934462 1396338688 332223 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
[pid=984189/tid=984199] ppid=984186 vsize=1363612 memory=2375888 CPUtime=0.02 cores=1,3
/proc/984189/task/984199/stat : 984199 (fscip) S 984186 984189 982041 0 -1 1077936192 71 0 0 0 0 2 0 0 20 0 3 0 187934463 1396338688 332223 134679101440 4194304 16613245 140732066763584 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 54865920 140732066771988 140732066772104 140732066772104 140732066779120 0
Current children cumulated CPU time: 3591.25 s
Current children cumulated vsize: 1365660 KiB
Current children cumulated memory: 1330832 KiB
Child status: 0
Real time (s): 3602.72
CPU time (s): 3591.28
CPU user time (s): 3584.61
CPU system time (s): 6.67208
CPU usage (%): 99.6826
Max. virtual memory (cumulated for all children) (KiB): 2437612
Max. memory (cumulated for all children) (KiB): 2385212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.61
system time used= 6.67208
maximum resident set size= 2385212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2185804
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= 10840
involuntary context switches= 5571
# summary of solver processes directly reported to runsolver:
# pid: 984189
# total CPU time (s): 3591.28
# total CPU user time (s): 3584.61
# total CPU system time (s): 6.67208
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.91298 second user time and 16.8439 second system time
The end
Begin job on nodeC028 at 2024-07-19 04:54:47
IDJOB=4447580
IDBENCH=159284
IDSOLVER=3064
FILE ID=nodeC028/4447580-1721357674
RUNJOBID= nodeC028-1721354084-982053
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-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-4447580-1721357674/watcher-4447580-1721357674 -o /tmp/evaluation-result-4447580-1721357674/solver-4447580-1721357674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982053 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447580-1721357674.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1c14f117e67441c2f256fb4d1e22e789
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 : 3617.577
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 : 3587.822
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 : 3589.100
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 : 3663.642
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 : 3583.814
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 : 3641.543
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 : 3494.498
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 : 3598.220
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: 129198668 kB
MemAvailable: 129744588 kB
Buffers: 508056 kB
Cached: 879616 kB
SwapCached: 0 kB
Active: 1044236 kB
Inactive: 686080 kB
Active(anon): 1536 kB
Inactive(anon): 378844 kB
Active(file): 1042700 kB
Inactive(file): 307236 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28588 kB
Writeback: 16 kB
AnonPages: 339920 kB
Mapped: 106476 kB
Shmem: 37720 kB
KReclaimable: 71616 kB
Slab: 179256 kB
SReclaimable: 71616 kB
SUnreclaim: 107640 kB
KernelStack: 4028 kB
PageTables: 10164 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 881992 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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:49