0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 27500544, getVmSize() = 27500544, SCIPgetMemUsed() = 3807500, SCIPgetMemTotal() = 5847772, SCIPgetMemExternEstim() = 1580917
0.00/0.00 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.01 c ** Estimated virtualMemUsedAtSolver = 22637226, getVmSize() = 40411136, SCIPgetMemUsed() = 11641138, SCIPgetMemTotal() = 17646842, SCIPgetMemExternEstim() = 1580917
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-4464583-1722386570
0.00/0.01 c Variables : 1201 (1201 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 601
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 1200 (1200 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 600
0.00/0.01 c Constraints : Number
0.00/0.01 c linear : 600
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.02 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.27/5.36 c 5 2376 2334 1 - 0.0000 -
10.36/10.42 c 10 6679 6376 1 - 0.0000 -
15.44/15.52 c 16 10062 9662 1 - 0.0000 -
20.53/20.62 c 21 13352 12776 1 - 0.0000 -
25.51/25.68 c 26 19236 18389 1 - 0.0000 -
30.59/30.75 c 31 24632 23231 1 - 0.0000 -
35.68/35.80 c 36 30075 28352 1 - 0.0000 -
40.66/40.86 c 41 35702 33584 1 - 0.0000 -
45.75/45.91 c 46 41139 38711 1 - 0.0000 -
50.73/50.95 c 51 46359 43270 1 - 0.0000 -
55.82/56.01 c 56 51758 48123 1 - 0.0000 -
60.81/61.07 c 61 57447 53370 1 - 0.0000 -
65.89/66.13 c 66 62914 58507 1 - 0.0000 -
70.87/71.18 c 71 68583 63758 1 - 0.0000 -
75.95/76.23 c 76 74019 68703 1 - 0.0000 -
80.93/81.28 c 81 79472 73992 1 - 0.0000 -
86.02/86.33 c 86 85289 79306 1 - 0.0000 -
91.00/91.38 c 91 91232 84741 1 - 0.0000 -
96.09/96.44 c 96 96961 89926 1 - 0.0000 -
101.17/101.50 c 102 102998 95300 1 - 0.0000 -
106.15/106.56 c 107 108898 100843 1 - 0.0000 -
111.24/111.61 c 112 115211 106532 1 - 0.0000 -
116.22/116.66 c 117 121639 112337 1 - 0.0000 -
121.30/121.73 c 122 127044 117318 1 - 0.0000 -
126.29/126.79 c 127 132461 122344 1 - 0.0000 -
131.37/131.84 c 132 137683 127392 1 - 0.0000 -
136.35/136.89 c 137 142839 132115 1 - 0.0000 -
141.43/141.96 c 142 147907 136925 1 - 0.0000 -
146.53/147.02 c 147 153406 142063 1 - 0.0000 -
151.51/152.07 c 152 159260 147579 1 - 0.0000 -
156.59/157.13 c 157 164832 152829 1 - 0.0000 -
161.58/162.17 c 162 170735 158404 1 - 0.0000 -
166.65/167.25 c 167 176157 163589 1 - 0.0000 -
171.74/172.31 c 172 181728 169014 1 - 0.0000 -
176.72/177.38 c 177 186873 173946 1 - 0.0000 -
181.81/182.44 c 182 192158 179014 1 - 0.0000 -
186.89/187.53 c 188 197290 183915 1 - 0.0000 -
191.88/192.59 c 193 203003 189106 1 - 0.0000 -
196.96/197.65 c 198 208330 194092 1 - 0.0000 -
202.05/202.70 c 203 214044 199570 1 - 0.0000 -
207.03/207.76 c 208 219796 205105 1 - 0.0000 -
212.11/212.83 c 213 225069 210079 1 - 0.0000 -
217.10/217.88 c 218 229977 214710 1 - 0.0000 -
222.18/222.93 c 223 234328 218837 1 - 0.0000 -
227.27/228.00 c 228 238390 222659 1 - 0.0000 -
232.25/233.06 c 233 242562 226596 1 - 0.0000 -
237.33/238.12 c 238 246806 230552 1 - 0.0000 -
242.41/243.20 c 243 250609 234198 1 - 0.0000 -
247.40/248.25 c 248 254397 237687 1 - 0.0000 -
252.49/253.30 c 253 258112 241141 1 - 0.0000 -
257.47/258.35 c 258 261815 244644 1 - 0.0000 -
262.55/263.41 c 263 265496 248087 1 - 0.0000 -
267.54/268.48 c 268 269052 251473 1 - 0.0000 -
272.62/273.53 c 274 272431 254550 1 - 0.0000 -
277.60/278.58 c 279 275601 257515 1 - 0.0000 -
282.69/283.65 c 284 279109 260680 1 - 0.0000 -
287.77/288.70 c 289 282947 264220 1 - 0.0000 -
292.75/293.76 c 294 286754 267787 1 - 0.0000 -
297.84/298.81 c 299 290827 271518 1 - 0.0000 -
302.82/303.87 c 304 294457 274877 1 - 0.0000 -
307.91/308.92 c 309 298220 278059 1 - 0.0000 -
312.89/313.97 c 314 301951 281419 1 - 0.0000 -
317.98/319.03 c 319 305797 284944 1 - 0.0000 -
322.96/324.09 c 324 309554 288435 1 - 0.0000 -
328.04/329.14 c 329 313088 291689 1 - 0.0000 -
333.03/334.19 c 334 316767 295083 1 - 0.0000 -
338.10/339.24 c 339 320562 298530 1 - 0.0000 -
343.19/344.32 c 344 324210 301860 1 - 0.0000 -
348.18/349.38 c 349 327856 305181 1 - 0.0000 -
353.26/354.43 c 354 331679 308701 1 - 0.0000 -
358.25/359.48 c 359 336006 312488 1 - 0.0000 -
363.32/364.57 c 365 339872 316016 1 - 0.0000 -
368.41/369.62 c 370 343476 319238 1 - 0.0000 -
373.39/374.67 c 375 347335 322842 1 - 0.0000 -
378.47/379.75 c 380 351062 326387 1 - 0.0000 -
383.56/384.81 c 385 354629 329634 1 - 0.0000 -
388.54/389.87 c 390 358206 332834 1 - 0.0000 -
393.63/394.93 c 395 361625 335969 1 - 0.0000 -
398.61/399.98 c 400 364848 338953 1 - 0.0000 -
403.70/405.03 c 405 367920 341779 1 - 0.0000 -
408.78/410.13 c 410 371367 344906 1 - 0.0000 -
413.76/415.18 c 415 374893 348041 1 - 0.0000 -
418.85/420.23 c 420 378408 351235 1 - 0.0000 -
423.93/425.30 c 425 382112 354490 1 - 0.0000 -
428.92/430.35 c 430 385403 357543 1 - 0.0000 -
433.99/435.40 c 435 388743 360708 1 - 0.0000 -
438.99/440.47 c 440 392095 363838 1 - 0.0000 -
444.07/445.51 c 446 395666 367180 1 - 0.0000 -
449.05/450.58 c 451 399276 370465 1 - 0.0000 -
454.13/455.62 c 456 402733 373693 1 - 0.0000 -
459.12/460.68 c 461 406110 376756 1 - 0.0000 -
464.20/465.74 c 466 409614 380039 1 - 0.0000 -
469.29/470.85 c 471 412892 383020 1 - 0.0000 -
474.37/475.90 c 476 416168 386069 1 - 0.0000 -
479.35/480.98 c 481 419868 389377 1 - 0.0000 -
484.45/486.04 c 486 423242 392385 1 - 0.0000 -
489.43/491.08 c 491 426428 395316 1 - 0.0000 -
494.51/496.19 c 496 429947 398389 1 - 0.0000 -
499.60/501.23 c 501 434425 402212 1 - 0.0000 -
504.58/506.28 c 506 438506 405842 1 - 0.0000 -
509.67/511.33 c 511 442671 409661 1 - 0.0000 -
514.65/516.38 c 516 446673 413291 1 - 0.0000 -
519.74/521.43 c 521 450867 417311 1 - 0.0000 -
524.72/526.49 c 526 454795 420749 1 - 0.0000 -
529.80/531.55 c 532 458869 424356 1 - 0.0000 -
534.79/536.59 c 537 462683 427799 1 - 0.0000 -
539.97/541.71 c 542 466518 431348 1 - 0.0000 -
544.95/546.77 c 547 469922 434485 1 - 0.0000 -
550.04/551.82 c 552 473419 437705 1 - 0.0000 -
555.12/556.91 c 557 476744 440706 1 - 0.0000 -
560.11/561.96 c 562 480553 443965 1 - 0.0000 -
565.20/567.06 c 567 484707 447775 1 - 0.0000 -
570.28/572.12 c 572 488858 451774 1 - 0.0000 -
575.27/577.18 c 577 493067 455713 1 - 0.0000 -
580.35/582.23 c 582 496964 459194 1 - 0.0000 -
585.43/587.32 c 587 500945 462916 1 - 0.0000 -
590.51/592.40 c 592 504909 466611 1 - 0.0000 -
595.50/597.46 c 597 508997 470395 1 - 0.0000 -
600.58/602.53 c 603 513066 474139 1 - 0.0000 -
605.57/607.57 c 608 516876 477571 1 - 0.0000 -
610.65/612.63 c 613 520361 480647 1 - 0.0000 -
615.74/617.74 c 618 524032 484042 1 - 0.0000 -
620.72/622.79 c 623 528286 488128 1 - 0.0000 -
625.90/627.90 c 628 532442 492160 1 - 0.0000 -
630.89/632.97 c 633 536432 495836 1 - 0.0000 -
635.97/638.02 c 638 540671 499797 1 - 0.0000 -
640.96/643.08 c 643 544877 503773 1 - 0.0000 -
646.05/648.15 c 648 548665 507264 1 - 0.0000 -
651.13/653.23 c 653 552177 510567 1 - 0.0000 -
656.21/658.34 c 658 556196 514382 1 - 0.0000 -
661.30/663.43 c 663 560455 518408 1 - 0.0000 -
666.28/668.48 c 668 564171 521709 1 - 0.0000 -
671.37/673.57 c 674 568029 525262 1 - 0.0000 -
676.44/678.62 c 679 571709 528521 1 - 0.0000 -
681.43/683.68 c 684 575560 532157 1 - 0.0000 -
686.52/688.73 c 689 579306 535698 1 - 0.0000 -
691.50/693.78 c 694 583057 539227 1 - 0.0000 -
696.59/698.87 c 699 587105 543103 1 - 0.0000 -
701.67/703.92 c 704 590369 546089 1 - 0.0000 -
706.77/709.03 c 709 593729 548978 1 - 0.0000 -
711.75/714.09 c 714 597118 552025 1 - 0.0000 -
716.83/719.14 c 719 600878 555559 1 - 0.0000 -
721.91/724.23 c 724 604357 558650 1 - 0.0000 -
727.00/729.31 c 729 608475 562417 1 - 0.0000 -
731.98/734.36 c 734 612521 566316 1 - 0.0000 -
737.06/739.41 c 739 616142 569706 1 - 0.0000 -
742.05/744.46 c 744 619937 573235 1 - 0.0000 -
747.14/749.54 c 750 623582 576644 1 - 0.0000 -
752.12/754.59 c 755 627245 579883 1 - 0.0000 -
757.21/759.69 c 760 631204 583336 1 - 0.0000 -
762.29/764.74 c 765 634724 586616 1 - 0.0000 -
767.27/769.79 c 770 638380 589884 1 - 0.0000 -
772.36/774.87 c 775 642243 593527 1 - 0.0000 -
777.44/779.92 c 780 646031 596991 1 - 0.0000 -
782.53/785.00 c 785 649476 600131 1 - 0.0000 -
787.51/790.06 c 790 653526 603795 1 - 0.0000 -
792.60/795.11 c 795 657630 607624 1 - 0.0000 -
797.68/800.26 c 800 661539 611179 1 - 0.0000 -
802.87/805.41 c 805 665437 614818 1 - 0.0000 -
807.85/810.48 c 810 669044 618155 1 - 0.0000 -
812.94/815.56 c 816 672350 621130 1 - 0.0000 -
818.02/820.64 c 821 675560 623899 1 - 0.0000 -
823.10/825.71 c 826 679046 627149 1 - 0.0000 -
828.09/830.78 c 831 682910 630643 1 - 0.0000 -
833.18/835.84 c 836 686330 633727 1 - 0.0000 -
838.26/840.90 c 841 690038 637194 1 - 0.0000 -
843.36/846.02 c 846 693847 640753 1 - 0.0000 -
848.34/851.09 c 851 697396 644055 1 - 0.0000 -
853.42/856.16 c 856 700939 647268 1 - 0.0000 -
858.51/861.21 c 861 704874 650888 1 - 0.0000 -
863.49/866.27 c 866 708695 654425 1 - 0.0000 -
868.58/871.34 c 871 712329 657760 1 - 0.0000 -
873.56/876.39 c 876 715979 661146 1 - 0.0000 -
878.64/881.47 c 881 719581 664566 1 - 0.0000 -
883.82/886.63 c 887 723318 667894 1 - 0.0000 -
888.81/891.67 c 892 727257 671643 1 - 0.0000 -
893.90/896.73 c 897 730679 674560 1 - 0.0000 -
898.98/901.84 c 902 734422 677953 1 - 0.0000 -
904.07/906.90 c 907 737877 681065 1 - 0.0000 -
909.05/911.97 c 912 740792 683591 1 - 0.0000 -
914.14/917.02 c 917 743815 686191 1 - 0.0000 -
919.23/922.11 c 922 746756 688791 1 - 0.0000 -
924.21/927.17 c 927 749831 691569 1 - 0.0000 -
929.30/932.23 c 932 753177 694416 1 - 0.0000 -
934.38/937.33 c 937 756204 697035 1 - 0.0000 -
939.46/942.45 c 942 759199 699687 1 - 0.0000 -
944.56/947.54 c 948 762730 702930 1 - 0.0000 -
949.64/952.65 c 953 766133 706080 1 - 0.0000 -
954.73/957.70 c 958 769736 709392 1 - 0.0000 -
959.71/962.75 c 963 772789 712202 1 - 0.0000 -
964.79/967.85 c 968 775865 715000 1 - 0.0000 -
969.88/972.95 c 973 778779 717594 1 - 0.0000 -
974.97/978.03 c 978 781442 719907 1 - 0.0000 -
979.95/983.09 c 983 784349 722503 1 - 0.0000 -
985.03/988.16 c 988 787385 725312 1 - 0.0000 -
990.11/993.22 c 993 790229 727906 1 - 0.0000 -
995.20/998.33 c 998 793459 730919 1 - 0.0000 -
1000.28/1003.45 c 1003 796295 733507 1 - 0.0000 -
1005.36/1008.51 c 1009 799227 736222 1 - 0.0000 -
1010.36/1013.56 c 1014 802101 738872 1 - 0.0000 -
1015.43/1018.63 c 1019 805383 741872 1 - 0.0000 -
1020.52/1023.70 c 1024 808402 744566 1 - 0.0000 -
1025.51/1028.76 c 1029 811571 747489 1 - 0.0000 -
1030.59/1033.82 c 1034 814365 749864 1 - 0.0000 -
1035.67/1038.95 c 1039 817129 752283 1 - 0.0000 -
1040.77/1044.01 c 1044 820039 755008 1 - 0.0000 -
1045.75/1049.09 c 1049 822809 757469 1 - 0.0000 -
1050.93/1054.20 c 1054 825883 760264 1 - 0.0000 -
1056.02/1059.34 c 1059 829068 763036 1 - 0.0000 -
1060.99/1064.39 c 1064 832296 765994 1 - 0.0000 -
1066.08/1069.46 c 1069 835248 768689 1 - 0.0000 -
1071.16/1074.50 c 1075 838168 771419 1 - 0.0000 -
1076.15/1079.56 c 1080 840772 773726 1 - 0.0000 -
1081.24/1084.62 c 1085 843386 775992 1 - 0.0000 -
1086.22/1089.68 c 1090 846365 778721 1 - 0.0000 -
1091.40/1094.83 c 1095 849065 781241 1 - 0.0000 -
1096.48/1099.94 c 1100 851776 783784 1 - 0.0000 -
1101.48/1104.99 c 1105 854496 786377 1 - 0.0000 -
1106.56/1110.06 c 1110 856985 788684 1 - 0.0000 -
1111.65/1115.12 c 1115 859616 791139 1 - 0.0000 -
1116.63/1120.18 c 1120 862135 793385 1 - 0.0000 -
1121.71/1125.26 c 1125 864653 795701 1 - 0.0000 -
1126.80/1130.35 c 1130 867172 798074 1 - 0.0000 -
1131.88/1135.41 c 1135 869859 800546 1 - 0.0000 -
1136.87/1140.48 c 1140 872367 802814 1 - 0.0000 -
1141.96/1145.60 c 1146 874902 805178 1 - 0.0000 -
1147.04/1150.67 c 1151 877805 807671 1 - 0.0000 -
1152.13/1155.75 c 1156 880513 810161 1 - 0.0000 -
1157.20/1160.83 c 1161 883320 812662 1 - 0.0000 -
1162.29/1165.92 c 1166 886196 815223 1 - 0.0000 -
1167.38/1171.00 c 1171 889012 817625 1 - 0.0000 -
1172.36/1176.06 c 1176 892348 820634 1 - 0.0000 -
1177.45/1181.12 c 1181 896337 824401 1 - 0.0000 -
1182.52/1186.21 c 1186 900154 827850 1 - 0.0000 -
1187.51/1191.29 c 1191 903362 830613 1 - 0.0000 -
1192.69/1196.41 c 1196 906871 833737 1 - 0.0000 -
1197.68/1201.48 c 1201 909992 836429 1 - 0.0000 -
1202.76/1206.59 c 1207 913230 839332 1 - 0.0000 -
1207.95/1211.71 c 1212 916332 842184 1 - 0.0000 -
1212.93/1216.77 c 1217 919557 845169 1 - 0.0000 -
1218.02/1221.86 c 1222 922807 848088 1 - 0.0000 -
1223.10/1226.93 c 1227 925794 850881 1 - 0.0000 -
1228.19/1232.00 c 1232 928884 853693 1 - 0.0000 -
1233.18/1237.05 c 1237 931662 856228 1 - 0.0000 -
1238.26/1242.11 c 1242 934348 858559 1 - 0.0000 -
1243.34/1247.24 c 1247 937536 861296 1 - 0.0000 -
1248.42/1252.31 c 1252 940499 863856 1 - 0.0000 -
1253.51/1257.46 c 1257 943180 866168 1 - 0.0000 -
1258.59/1262.52 c 1263 946255 868817 1 - 0.0000 -
1263.68/1267.62 c 1268 949379 871727 1 - 0.0000 -
1268.66/1272.68 c 1273 952262 874382 1 - 0.0000 -
1273.84/1277.88 c 1278 955462 877302 1 - 0.0000 -
1278.93/1282.93 c 1283 958672 880222 1 - 0.0000 -
1284.02/1288.04 c 1288 961742 882953 1 - 0.0000 -
1289.10/1293.11 c 1293 965194 886058 1 - 0.0000 -
1294.09/1298.15 c 1298 969011 889494 1 - 0.0000 -
1299.17/1303.26 c 1303 972750 892968 1 - 0.0000 -
1304.25/1308.33 c 1308 976447 896460 1 - 0.0000 -
1309.34/1313.45 c 1313 980712 900644 1 - 0.0000 -
1314.42/1318.50 c 1319 984820 904581 1 - 0.0000 -
1319.41/1323.55 c 1324 988404 907919 1 - 0.0000 -
1324.49/1328.60 c 1329 992761 911826 1 - 0.0000 -
1329.48/1333.65 c 1334 996659 915453 1 - 0.0000 -
1334.56/1338.74 c 1339 1000436 919055 1 - 0.0000 -
1339.64/1343.80 c 1344 1004098 922466 1 - 0.0000 -
1344.63/1348.86 c 1349 1007572 925645 1 - 0.0000 -
1349.70/1353.92 c 1354 1011258 928910 1 - 0.0000 -
1354.69/1358.97 c 1359 1014678 932008 1 - 0.0000 -
1359.78/1364.02 c 1364 1018144 935069 1 - 0.0000 -
1364.77/1369.09 c 1369 1021573 937938 1 - 0.0000 -
1369.94/1374.22 c 1374 1025098 941063 1 - 0.0000 -
1375.02/1379.33 c 1379 1028310 943956 1 - 0.0000 -
1380.00/1384.38 c 1384 1031748 947192 1 - 0.0000 -
1385.08/1389.43 c 1389 1035015 950183 1 - 0.0000 -
1390.07/1394.49 c 1394 1038385 953276 1 - 0.0000 -
1395.15/1399.58 c 1400 1041497 956074 1 - 0.0000 -
1400.24/1404.64 c 1405 1044702 958734 1 - 0.0000 -
1405.32/1409.75 c 1410 1048228 961873 1 - 0.0000 -
1410.39/1414.81 c 1415 1052090 965210 1 - 0.0000 -
1415.38/1419.85 c 1420 1055680 968479 1 - 0.0000 -
1420.47/1424.91 c 1425 1059338 971831 1 - 0.0000 -
1425.45/1429.99 c 1430 1063091 975131 1 - 0.0000 -
1430.54/1435.05 c 1435 1066600 978222 1 - 0.0000 -
1435.71/1440.21 c 1440 1069782 980823 1 - 0.0000 -
1440.80/1445.36 c 1445 1073484 984189 1 - 0.0000 -
1445.88/1450.42 c 1450 1077062 987148 1 - 0.0000 -
1450.87/1455.48 c 1455 1080532 990241 1 - 0.0000 -
1455.96/1460.52 c 1461 1084096 993274 1 - 0.0000 -
1460.94/1465.57 c 1466 1087728 996359 1 - 0.0000 -
1466.13/1470.70 c 1471 1091250 999280 1 - 0.0000 -
1471.21/1475.82 c 1476 1095250 1002930 1 - 0.0000 -
1476.29/1480.92 c 1481 1098952 1006307 1 - 0.0000 -
1481.28/1485.98 c 1486 1102213 1009205 1 - 0.0000 -
1486.47/1491.13 c 1491 1105575 1012240 1 - 0.0000 -
1491.45/1496.19 c 1496 1109043 1015314 1 - 0.0000 -
1496.53/1501.25 c 1501 1112860 1018686 1 - 0.0000 -
1501.61/1506.30 c 1506 1116381 1021774 1 - 0.0000 -
1506.80/1511.50 c 1512 1120067 1025095 1 - 0.0000 -
1511.78/1516.58 c 1517 1123539 1028154 1 - 0.0000 -
1516.87/1521.65 c 1522 1126572 1030897 1 - 0.0000 -
1521.95/1526.71 c 1527 1130036 1033995 1 - 0.0000 -
1526.93/1531.79 c 1532 1133477 1036989 1 - 0.0000 -
1532.11/1536.94 c 1537 1137093 1040126 1 - 0.0000 -
1537.10/1541.99 c 1542 1140711 1043501 1 - 0.0000 -
1542.20/1547.07 c 1547 1144168 1046675 1 - 0.0000 -
1547.28/1552.13 c 1552 1147603 1049696 1 - 0.0000 -
1552.26/1557.18 c 1557 1151313 1053071 1 - 0.0000 -
1557.34/1562.24 c 1562 1154444 1055632 1 - 0.0000 -
1562.43/1567.33 c 1567 1157889 1058718 1 - 0.0000 -
1567.41/1572.37 c 1572 1161098 1061607 1 - 0.0000 -
1572.50/1577.42 c 1577 1164041 1064111 1 - 0.0000 -
1577.48/1582.47 c 1582 1166961 1066793 1 - 0.0000 -
1582.56/1587.53 c 1588 1169837 1069219 1 - 0.0000 -
1587.64/1592.68 c 1593 1172759 1071687 1 - 0.0000 -
1592.73/1597.76 c 1598 1175934 1074499 1 - 0.0000 -
1597.81/1602.84 c 1603 1179132 1077379 1 - 0.0000 -
1602.90/1607.91 c 1608 1182502 1080406 1 - 0.0000 -
1607.88/1612.99 c 1613 1186017 1083645 1 - 0.0000 -
1612.97/1618.05 c 1618 1189124 1086501 1 - 0.0000 -
1618.15/1623.20 c 1623 1192594 1089578 1 - 0.0000 -
1623.13/1628.24 c 1628 1195762 1092342 1 - 0.0000 -
1628.22/1633.34 c 1633 1199609 1095418 1 - 0.0000 -
1633.30/1638.44 c 1638 1203009 1098496 1 - 0.0000 -
1638.39/1643.54 c 1644 1206558 1101616 1 - 0.0000 -
1643.47/1648.61 c 1649 1210079 1104863 1 - 0.0000 -
1648.46/1653.69 c 1654 1213653 1108050 1 - 0.0000 -
1653.54/1658.73 c 1659 1217097 1111162 1 - 0.0000 -
1658.52/1663.79 c 1664 1220322 1114099 1 - 0.0000 -
1663.61/1668.87 c 1669 1224060 1117680 1 - 0.0000 -
1668.70/1673.96 c 1674 1227716 1121050 1 - 0.0000 -
1673.78/1679.04 c 1679 1230974 1123942 1 - 0.0000 -
1678.86/1684.13 c 1684 1234312 1126894 1 - 0.0000 -
1683.94/1689.21 c 1689 1237125 1129287 1 - 0.0000 -
1688.93/1694.29 c 1694 1239986 1131832 1 - 0.0000 -
1694.02/1699.38 c 1699 1243049 1134513 1 - 0.0000 -
1699.09/1704.47 c 1704 1246390 1137344 1 - 0.0000 -
1704.18/1709.57 c 1710 1249352 1140073 1 - 0.0000 -
1709.27/1714.62 c 1715 1252608 1143169 1 - 0.0000 -
1714.35/1719.70 c 1720 1256102 1146465 1 - 0.0000 -
1719.34/1724.77 c 1725 1259279 1149440 1 - 0.0000 -
1724.42/1729.86 c 1730 1262127 1151846 1 - 0.0000 -
1729.50/1734.92 c 1735 1265335 1154752 1 - 0.0000 -
1734.49/1739.98 c 1740 1268755 1157877 1 - 0.0000 -
1739.57/1745.03 c 1745 1271947 1160808 1 - 0.0000 -
1744.56/1750.09 c 1750 1275048 1163698 1 - 0.0000 -
1749.73/1755.21 c 1755 1278312 1166753 1 - 0.0000 -
1754.82/1760.36 c 1760 1281612 1169742 1 - 0.0000 -
1760.00/1765.55 c 1766 1284688 1172455 1 - 0.0000 -
1765.09/1770.64 c 1771 1287668 1175128 1 - 0.0000 -
1770.18/1775.71 c 1776 1290955 1178247 1 - 0.0000 -
1775.25/1780.86 c 1781 1293914 1180943 1 - 0.0000 -
1780.34/1785.96 c 1786 1296708 1183282 1 - 0.0000 -
1785.43/1791.03 c 1791 1299402 1185635 1 - 0.0000 -
1790.51/1796.10 c 1796 1302665 1188594 1 - 0.0000 -
1795.50/1801.18 c 1801 1305675 1191169 1 - 0.0000 -
1800.58/1806.27 c 1806 1308629 1193757 1 - 0.0000 -
1805.66/1811.31 c 1811 1311705 1196537 1 - 0.0000 -
1810.75/1816.42 c 1816 1314226 1198728 1 - 0.0000 -
1815.83/1821.53 c 1822 1316743 1200841 1 - 0.0000 -
1820.92/1826.66 c 1827 1319931 1203641 1 - 0.0000 -
1826.01/1831.79 c 1832 1322588 1205948 1 - 0.0000 -
1831.08/1836.88 c 1837 1325179 1208196 1 - 0.0000 -
1836.18/1841.96 c 1842 1327713 1210501 1 - 0.0000 -
1841.27/1847.06 c 1847 1330734 1213143 1 - 0.0000 -
1846.34/1852.16 c 1852 1333672 1215775 1 - 0.0000 -
1851.43/1857.23 c 1857 1336535 1218303 1 - 0.0000 -
1856.52/1862.30 c 1862 1339348 1220868 1 - 0.0000 -
1861.60/1867.45 c 1867 1342070 1223259 1 - 0.0000 -
1866.69/1872.53 c 1873 1345126 1226163 1 - 0.0000 -
1871.67/1877.59 c 1878 1348036 1228795 1 - 0.0000 -
1876.76/1882.66 c 1883 1350756 1231213 1 - 0.0000 -
1881.85/1887.74 c 1888 1353395 1233499 1 - 0.0000 -
1887.14/1893.02 c 1893 1356196 1235959 1 - 0.0000 -
1892.22/1898.18 c 1898 1358618 1238124 1 - 0.0000 -
1897.30/1903.27 c 1903 1360993 1240096 1 - 0.0000 -
1902.59/1908.56 c 1909 1363540 1242303 1 - 0.0000 -
1907.78/1913.71 c 1914 1366235 1244716 1 - 0.0000 -
1912.86/1918.84 c 1919 1368895 1247008 1 - 0.0000 -
1917.94/1923.90 c 1924 1371628 1249303 1 - 0.0000 -
1923.04/1929.02 c 1929 1374659 1252170 1 - 0.0000 -
1928.13/1934.13 c 1934 1377494 1254759 1 - 0.0000 -
1933.20/1939.24 c 1939 1380065 1256904 1 - 0.0000 -
1938.29/1944.38 c 1944 1382881 1259539 1 - 0.0000 -
1943.37/1949.45 c 1949 1385233 1261427 1 - 0.0000 -
1948.45/1954.51 c 1955 1388105 1264026 1 - 0.0000 -
1953.55/1959.60 c 1960 1391063 1266786 1 - 0.0000 -
1958.63/1964.77 c 1965 1394204 1269825 1 - 0.0000 -
1963.71/1969.85 c 1970 1396652 1272065 1 - 0.0000 -
1968.80/1974.90 c 1975 1398968 1274085 1 - 0.0000 -
1973.78/1979.95 c 1980 1401191 1276112 1 - 0.0000 -
1978.87/1985.02 c 1985 1403598 1278215 1 - 0.0000 -
1983.86/1990.09 c 1990 1405795 1280049 1 - 0.0000 -
1989.03/1995.28 c 1995 1408024 1281984 1 - 0.0000 -
1994.13/2000.36 c 2000 1410266 1283976 1 - 0.0000 -
1999.20/2005.47 c 2005 1412532 1286094 1 - 0.0000 -
2004.29/2010.55 c 2011 1414730 1287964 1 - 0.0000 -
2009.37/2015.64 c 2016 1417109 1289980 1 - 0.0000 -
2014.46/2020.76 c 2021 1419200 1291905 1 - 0.0000 -
2019.64/2025.92 c 2026 1421272 1293702 1 - 0.0000 -
2024.73/2031.01 c 2031 1423445 1295454 1 - 0.0000 -
2029.81/2036.19 c 2036 1425772 1297464 1 - 0.0000 -
2034.89/2041.28 c 2041 1428502 1299892 1 - 0.0000 -
2039.98/2046.34 c 2046 1431102 1302263 1 - 0.0000 -
2045.05/2051.43 c 2051 1433593 1304476 1 - 0.0000 -
2050.14/2056.54 c 2057 1435853 1306402 1 - 0.0000 -
2055.22/2061.65 c 2062 1438216 1308374 1 - 0.0000 -
2060.31/2066.77 c 2067 1440444 1310324 1 - 0.0000 -
2065.38/2071.88 c 2072 1442877 1312431 1 - 0.0000 -
2070.47/2076.97 c 2077 1445648 1314982 1 - 0.0000 -
2075.85/2082.33 c 2082 1448086 1317003 1 - 0.0000 -
2080.83/2087.39 c 2087 1450915 1319435 1 - 0.0000 -
2085.92/2092.48 c 2092 1453677 1321836 1 - 0.0000 -
2091.00/2097.53 c 2098 1456464 1324296 1 - 0.0000 -
2096.18/2102.78 c 2103 1459235 1326670 1 - 0.0000 -
2101.27/2107.85 c 2108 1461993 1329103 1 - 0.0000 -
2106.55/2113.13 c 2113 1465039 1331918 1 - 0.0000 -
2111.63/2118.25 c 2118 1467948 1334552 1 - 0.0000 -
2116.81/2123.42 c 2123 1470700 1337110 1 - 0.0000 -
2121.80/2128.47 c 2128 1473451 1339467 1 - 0.0000 -
2126.98/2133.62 c 2134 1476204 1342027 1 - 0.0000 -
2132.06/2138.70 c 2139 1479021 1344635 1 - 0.0000 -
2137.04/2143.78 c 2144 1481810 1347031 1 - 0.0000 -
2142.13/2148.82 c 2149 1484746 1349670 1 - 0.0000 -
2147.20/2153.90 c 2154 1487425 1352065 1 - 0.0000 -
2152.19/2158.95 c 2159 1490666 1355019 1 - 0.0000 -
2157.27/2164.06 c 2164 1493895 1357869 1 - 0.0000 -
2162.45/2169.21 c 2169 1497247 1360965 1 - 0.0000 -
2167.43/2174.26 c 2174 1500513 1363919 1 - 0.0000 -
2172.51/2179.33 c 2179 1504123 1367355 1 - 0.0000 -
2177.49/2184.39 c 2184 1507347 1370408 1 - 0.0000 -
2182.58/2189.45 c 2189 1510689 1373634 1 - 0.0000 -
2187.67/2194.54 c 2195 1513748 1376506 1 - 0.0000 -
2192.74/2199.60 c 2200 1517187 1379736 1 - 0.0000 -
2197.82/2204.73 c 2205 1520799 1383150 1 - 0.0000 -
2202.91/2209.84 c 2210 1524269 1386248 1 - 0.0000 -
2207.89/2214.89 c 2215 1527754 1389481 1 - 0.0000 -
2212.98/2219.93 c 2220 1530861 1392301 1 - 0.0000 -
2218.06/2225.02 c 2225 1533904 1394643 1 - 0.0000 -
2223.05/2230.09 c 2230 1536707 1397132 1 - 0.0000 -
2228.13/2235.18 c 2235 1539642 1399593 1 - 0.0000 -
2233.21/2240.25 c 2240 1542395 1402245 1 - 0.0000 -
2238.28/2245.36 c 2245 1544998 1404496 1 - 0.0000 -
2243.37/2250.43 c 2250 1547696 1406792 1 - 0.0000 -
2248.35/2255.49 c 2255 1550642 1409237 1 - 0.0000 -
2253.44/2260.54 c 2261 1553897 1412095 1 - 0.0000 -
2258.52/2265.65 c 2266 1556853 1414762 1 - 0.0000 -
2263.60/2270.71 c 2271 1560029 1417647 1 - 0.0000 -
2268.78/2275.95 c 2276 1563306 1420659 1 - 0.0000 -
2273.88/2281.01 c 2281 1566345 1423303 1 - 0.0000 -
2279.05/2286.21 c 2286 1569489 1426058 1 - 0.0000 -
2284.03/2291.28 c 2291 1572567 1428897 1 - 0.0000 -
2289.12/2296.34 c 2296 1575513 1431364 1 - 0.0000 -
2294.20/2301.40 c 2301 1578318 1433830 1 - 0.0000 -
2299.18/2306.45 c 2306 1581369 1436423 1 - 0.0000 -
2304.27/2311.55 c 2312 1584464 1438967 1 - 0.0000 -
2309.35/2316.66 c 2317 1587268 1441330 1 - 0.0000 -
2314.43/2321.71 c 2322 1590080 1443683 1 - 0.0000 -
2319.51/2326.83 c 2327 1592846 1446046 1 - 0.0000 -
2324.59/2331.93 c 2332 1596027 1448882 1 - 0.0000 -
2329.78/2337.10 c 2337 1598937 1451305 1 - 0.0000 -
2334.77/2342.15 c 2342 1602213 1454099 1 - 0.0000 -
2339.84/2347.22 c 2347 1605286 1456713 1 - 0.0000 -
2344.81/2352.27 c 2352 1607952 1458920 1 - 0.0000 -
2349.90/2357.33 c 2357 1610876 1461411 1 - 0.0000 -
2354.89/2362.38 c 2362 1613888 1463925 1 - 0.0000 -
2359.96/2367.49 c 2368 1616900 1466568 1 - 0.0000 -
2365.05/2372.54 c 2373 1620204 1469354 1 - 0.0000 -
2370.13/2377.68 c 2378 1623320 1472304 1 - 0.0000 -
2375.22/2382.74 c 2383 1626716 1475547 1 - 0.0000 -
2380.30/2387.81 c 2388 1629393 1477968 1 - 0.0000 -
2385.28/2392.86 c 2393 1632499 1480758 1 - 0.0000 -
2390.37/2397.91 c 2398 1635354 1483192 1 - 0.0000 -
2395.35/2402.98 c 2403 1638059 1485466 1 - 0.0000 -
2400.54/2408.17 c 2408 1641474 1488607 1 - 0.0000 -
2405.71/2413.38 c 2413 1644490 1491195 1 - 0.0000 -
2410.90/2418.50 c 2418 1647217 1493543 1 - 0.0000 -
2415.88/2423.56 c 2424 1649954 1496036 1 - 0.0000 -
2420.97/2428.68 c 2429 1652956 1498725 1 - 0.0000 -
2426.05/2433.74 c 2434 1655932 1501327 1 - 0.0000 -
2431.14/2438.87 c 2439 1659347 1504398 1 - 0.0000 -
2436.33/2444.07 c 2444 1662365 1507112 1 - 0.0000 -
2441.71/2449.43 c 2449 1665612 1509992 1 - 0.0000 -
2446.99/2454.71 c 2455 1668581 1512701 1 - 0.0000 -
2452.07/2459.82 c 2460 1671651 1515435 1 - 0.0000 -
2457.05/2464.87 c 2465 1674499 1517734 1 - 0.0000 -
2462.25/2470.02 c 2470 1677168 1519883 1 - 0.0000 -
2467.42/2475.21 c 2475 1679854 1521957 1 - 0.0000 -
2472.51/2480.35 c 2480 1682472 1524063 1 - 0.0000 -
2477.59/2485.49 c 2486 1685052 1526297 1 - 0.0000 -
2482.68/2490.56 c 2491 1687714 1528725 1 - 0.0000 -
2487.76/2495.67 c 2496 1690526 1531270 1 - 0.0000 -
2492.84/2500.75 c 2501 1693181 1533570 1 - 0.0000 -
2497.92/2505.81 c 2506 1695754 1535647 1 - 0.0000 -
2503.11/2511.02 c 2511 1698457 1537946 1 - 0.0000 -
2508.10/2516.07 c 2516 1700961 1540048 1 - 0.0000 -
2513.28/2521.20 c 2521 1703648 1542365 1 - 0.0000 -
2518.27/2526.26 c 2526 1706394 1544701 1 - 0.0000 -
2523.44/2531.40 c 2531 1708983 1546795 1 - 0.0000 -
2528.43/2536.47 c 2536 1711938 1549430 1 - 0.0000 -
2533.61/2541.67 c 2542 1714555 1551690 1 - 0.0000 -
2538.80/2546.82 c 2547 1717318 1554093 1 - 0.0000 -
2543.99/2552.00 c 2552 1720233 1556456 1 - 0.0000 -
2549.07/2557.10 c 2557 1723425 1559250 1 - 0.0000 -
2554.06/2562.19 c 2562 1725888 1561276 1 - 0.0000 -
2559.23/2567.30 c 2567 1728608 1563341 1 - 0.0000 -
2564.32/2572.46 c 2572 1731209 1565587 1 - 0.0000 -
2569.50/2577.62 c 2578 1733996 1567968 1 - 0.0000 -
2574.48/2582.69 c 2583 1737098 1570844 1 - 0.0000 -
2579.67/2587.80 c 2588 1739854 1573205 1 - 0.0000 -
2584.75/2592.94 c 2593 1742593 1575560 1 - 0.0000 -
2589.94/2598.14 c 2598 1745065 1577608 1 - 0.0000 -
2595.02/2603.26 c 2603 1747622 1579660 1 - 0.0000 -
2600.10/2608.35 c 2608 1750322 1582090 1 - 0.0000 -
2605.28/2613.50 c 2614 1753060 1584317 1 - 0.0000 -
2610.37/2618.64 c 2619 1755890 1586829 1 - 0.0000 -
2615.45/2623.76 c 2624 1758394 1588842 1 - 0.0000 -
2620.54/2628.84 c 2629 1760902 1590945 1 - 0.0000 -
2625.52/2633.88 c 2634 1763745 1593445 1 - 0.0000 -
2630.61/2638.97 c 2639 1766289 1595531 1 - 0.0000 -
2635.70/2644.09 c 2644 1768938 1598022 1 - 0.0000 -
2640.88/2649.24 c 2649 1771952 1600779 1 - 0.0000 -
2645.95/2654.36 c 2654 1774901 1603531 1 - 0.0000 -
2651.04/2659.43 c 2659 1777498 1605700 1 - 0.0000 -
2656.12/2664.51 c 2665 1780078 1607876 1 - 0.0000 -
2661.11/2669.57 c 2670 1782241 1609629 1 - 0.0000 -
2666.29/2674.73 c 2675 1784831 1611706 1 - 0.0000 -
2671.38/2679.80 c 2680 1787454 1613924 1 - 0.0000 -
2676.46/2684.91 c 2685 1789691 1615760 1 - 0.0000 -
2681.45/2689.99 c 2690 1792201 1617851 1 - 0.0000 -
2686.54/2695.10 c 2695 1795066 1620604 1 - 0.0000 -
2691.61/2700.14 c 2700 1798208 1623274 1 - 0.0000 -
2696.69/2705.25 c 2705 1800804 1625473 1 - 0.0000 -
2701.78/2710.34 c 2710 1803107 1627474 1 - 0.0000 -
2706.86/2715.40 c 2715 1805365 1629556 1 - 0.0000 -
2711.95/2720.58 c 2721 1807664 1631645 1 - 0.0000 -
2717.13/2725.79 c 2726 1809924 1633488 1 - 0.0000 -
2722.31/2730.90 c 2731 1812591 1635923 1 - 0.0000 -
2727.40/2736.00 c 2736 1815138 1637929 1 - 0.0000 -
2732.39/2741.06 c 2741 1817649 1640139 1 - 0.0000 -
2737.47/2746.15 c 2746 1819800 1641807 1 - 0.0000 -
2742.65/2751.31 c 2751 1821950 1643584 1 - 0.0000 -
2747.64/2756.39 c 2756 1824455 1645837 1 - 0.0000 -
2752.82/2761.51 c 2762 1826948 1648038 1 - 0.0000 -
2757.90/2766.66 c 2767 1829496 1650226 1 - 0.0000 -
2763.08/2771.81 c 2772 1831772 1652206 1 - 0.0000 -
2768.16/2776.93 c 2777 1834087 1654236 1 - 0.0000 -
2773.15/2781.98 c 2782 1836162 1655854 1 - 0.0000 -
2778.34/2787.10 c 2787 1838931 1658502 1 - 0.0000 -
2783.42/2792.21 c 2792 1841191 1660258 1 - 0.0000 -
2788.50/2797.31 c 2797 1842873 1661433 1 - 0.0000 -
2793.59/2802.40 c 2802 1844837 1663134 1 - 0.0000 -
2798.67/2807.58 c 2808 1846688 1664752 1 - 0.0000 -
2803.75/2812.66 c 2813 1848751 1666403 1 - 0.0000 -
2808.84/2817.76 c 2818 1850524 1667831 1 - 0.0000 -
2814.32/2823.20 c 2823 1852524 1669633 1 - 0.0000 -
2819.51/2828.44 c 2828 1854334 1671087 1 - 0.0000 -
2824.59/2833.55 c 2834 1856395 1672895 1 - 0.0000 -
2829.68/2838.60 c 2839 1858568 1674678 1 - 0.0000 -
2834.66/2843.67 c 2844 1860571 1676393 1 - 0.0000 -
2839.75/2848.77 c 2849 1862719 1678250 1 - 0.0000 -
2844.83/2853.88 c 2854 1864760 1679970 1 - 0.0000 -
2849.92/2858.96 c 2859 1866994 1682037 1 - 0.0000 -
2855.01/2864.07 c 2864 1868995 1683683 1 - 0.0000 -
2860.18/2869.26 c 2869 1871008 1685401 1 - 0.0000 -
2865.27/2874.35 c 2874 1873000 1687206 1 - 0.0000 -
2870.35/2879.40 c 2879 1874914 1688748 1 - 0.0000 -
2875.33/2884.45 c 2884 1876806 1690225 1 - 0.0000 -
2880.52/2889.68 c 2890 1879047 1692078 1 - 0.0000 -
2885.61/2894.76 c 2895 1880945 1693757 1 - 0.0000 -
2890.79/2899.96 c 2900 1882803 1695343 1 - 0.0000 -
2895.87/2905.08 c 2905 1884665 1696893 1 - 0.0000 -
2901.06/2910.23 c 2910 1886668 1698604 1 - 0.0000 -
2906.24/2915.49 c 2915 1888630 1700206 1 - 0.0000 -
2911.42/2920.65 c 2921 1890415 1701662 1 - 0.0000 -
2916.51/2925.71 c 2926 1892203 1703039 1 - 0.0000 -
2921.60/2930.80 c 2931 1894050 1704555 1 - 0.0000 -
2926.58/2935.87 c 2936 1896518 1706874 1 - 0.0000 -
2931.66/2940.93 c 2941 1898960 1709077 1 - 0.0000 -
2936.75/2946.02 c 2946 1901105 1710937 1 - 0.0000 -
2941.83/2951.15 c 2951 1903453 1713065 1 - 0.0000 -
2947.01/2956.32 c 2956 1905559 1714972 1 - 0.0000 -
2952.00/2961.37 c 2961 1907569 1716668 1 - 0.0000 -
2957.17/2966.57 c 2967 1909764 1718557 1 - 0.0000 -
2962.36/2971.70 c 2972 1911952 1720471 1 - 0.0000 -
2967.34/2976.76 c 2977 1914135 1722409 1 - 0.0000 -
2972.53/2981.98 c 2982 1916365 1724332 1 - 0.0000 -
2977.62/2987.08 c 2987 1918271 1725884 1 - 0.0000 -
2982.70/2992.19 c 2992 1920410 1727690 1 - 0.0000 -
2987.88/2997.32 c 2997 1922386 1729489 1 - 0.0000 -
2992.97/3002.45 c 3002 1924962 1731898 1 - 0.0000 -
2998.05/3007.53 c 3008 1926907 1733435 1 - 0.0000 -
3003.14/3012.62 c 3013 1929082 1735421 1 - 0.0000 -
3008.22/3017.76 c 3018 1931299 1737395 1 - 0.0000 -
3013.30/3022.80 c 3023 1933392 1739141 1 - 0.0000 -
3018.50/3028.00 c 3028 1935649 1741059 1 - 0.0000 -
3023.67/3033.25 c 3033 1938236 1743277 1 - 0.0000 -
3028.85/3038.46 c 3038 1940358 1745106 1 - 0.0000 -
3033.94/3043.53 c 3044 1942555 1746951 1 - 0.0000 -
3038.92/3048.57 c 3049 1944760 1748844 1 - 0.0000 -
3044.20/3053.82 c 3054 1946847 1750580 1 - 0.0000 -
3049.19/3058.87 c 3059 1948980 1752509 1 - 0.0000 -
3054.27/3063.94 c 3064 1950902 1754137 1 - 0.0000 -
3059.37/3069.06 c 3069 1953208 1756106 1 - 0.0000 -
3064.44/3074.19 c 3074 1954933 1757592 1 - 0.0000 -
3069.52/3079.27 c 3079 1957225 1759591 1 - 0.0000 -
3074.61/3084.36 c 3084 1959646 1761724 1 - 0.0000 -
3079.70/3089.41 c 3089 1961982 1763815 1 - 0.0000 -
3084.68/3094.49 c 3094 1963716 1765325 1 - 0.0000 -
3090.16/3099.90 c 3100 1966032 1767383 1 - 0.0000 -
3095.15/3104.99 c 3105 1968120 1769247 1 - 0.0000 -
3100.34/3110.10 c 3110 1970072 1770752 1 - 0.0000 -
3105.32/3115.18 c 3115 1971787 1772187 1 - 0.0000 -
3110.40/3120.29 c 3120 1973852 1774063 1 - 0.0000 -
3115.49/3125.37 c 3125 1975858 1775778 1 - 0.0000 -
3120.67/3130.53 c 3131 1977842 1777514 1 - 0.0000 -
3125.76/3135.64 c 3136 1980104 1779503 1 - 0.0000 -
3130.83/3140.74 c 3141 1982355 1781463 1 - 0.0000 -
3135.92/3145.83 c 3146 1984351 1783156 1 - 0.0000 -
3141.01/3150.95 c 3151 1986502 1784999 1 - 0.0000 -
3146.29/3156.23 c 3156 1988614 1786799 1 - 0.0000 -
3151.47/3161.43 c 3161 1990424 1788358 1 - 0.0000 -
3156.55/3166.51 c 3167 1992286 1790031 1 - 0.0000 -
3161.64/3171.62 c 3172 1994189 1791694 1 - 0.0000 -
3166.82/3176.82 c 3177 1996259 1793575 1 - 0.0000 -
3172.02/3182.10 c 3182 1998024 1795016 1 - 0.0000 -
3177.19/3187.28 c 3187 2000026 1796812 1 - 0.0000 -
3182.27/3192.33 c 3192 2002372 1798947 1 - 0.0000 -
3187.46/3197.53 c 3198 2004396 1800746 1 - 0.0000 -
3192.54/3202.62 c 3203 2006210 1802352 1 - 0.0000 -
3197.62/3207.71 c 3208 2008295 1804241 1 - 0.0000 -
3202.71/3212.82 c 3213 2010215 1805913 1 - 0.0000 -
3207.80/3217.93 c 3218 2012381 1807753 1 - 0.0000 -
3212.88/3223.00 c 3223 2014546 1809459 1 - 0.0000 -
3217.96/3228.10 c 3228 2016436 1811086 1 - 0.0000 -
3223.14/3233.32 c 3233 2018356 1812501 1 - 0.0000 -
3228.12/3238.37 c 3238 2020237 1813894 1 - 0.0000 -
3233.50/3243.72 c 3244 2022212 1815450 1 - 0.0000 -
3238.59/3248.83 c 3249 2024442 1817173 1 - 0.0000 -
3243.78/3254.06 c 3254 2026764 1819250 1 - 0.0000 -
3248.86/3259.15 c 3259 2028450 1820565 1 - 0.0000 -
3253.94/3264.27 c 3264 2030446 1822254 1 - 0.0000 -
3259.03/3269.35 c 3269 2032363 1823980 1 - 0.0000 -
3264.11/3274.43 c 3274 2034454 1825790 1 - 0.0000 -
3269.19/3279.54 c 3280 2036641 1827669 1 - 0.0000 -
3274.17/3284.58 c 3285 2038514 1829303 1 - 0.0000 -
3279.26/3289.65 c 3290 2040714 1831281 1 - 0.0000 -
3284.34/3294.74 c 3295 2042669 1833003 1 - 0.0000 -
3289.53/3299.90 c 3300 2045020 1835153 1 - 0.0000 -
3294.61/3305.00 c 3305 2046976 1836851 1 - 0.0000 -
3299.59/3310.07 c 3310 2049056 1838715 1 - 0.0000 -
3304.68/3315.17 c 3315 2050970 1840329 1 - 0.0000 -
3309.76/3320.26 c 3320 2053071 1842101 1 - 0.0000 -
3314.84/3325.39 c 3325 2054849 1843570 1 - 0.0000 -
3319.93/3330.45 c 3330 2056768 1845272 1 - 0.0000 -
3325.01/3335.54 c 3336 2058536 1846772 1 - 0.0000 -
3330.10/3340.67 c 3341 2060266 1848099 1 - 0.0000 -
3335.18/3345.75 c 3346 2061961 1849493 1 - 0.0000 -
3340.26/3350.84 c 3351 2063872 1851182 1 - 0.0000 -
3345.44/3356.00 c 3356 2066065 1853207 1 - 0.0000 -
3350.43/3361.09 c 3361 2068105 1855035 1 - 0.0000 -
3355.51/3366.17 c 3366 2070212 1857027 1 - 0.0000 -
3360.58/3371.27 c 3371 2072234 1858908 1 - 0.0000 -
3365.67/3376.34 c 3376 2074170 1860598 1 - 0.0000 -
3370.75/3381.40 c 3381 2076242 1862523 1 - 0.0000 -
3375.84/3386.51 c 3387 2078096 1864215 1 - 0.0000 -
3380.92/3391.69 c 3392 2080569 1866547 1 - 0.0000 -
3386.01/3396.79 c 3397 2082883 1868672 1 - 0.0000 -
3391.10/3401.88 c 3402 2084746 1870155 1 - 0.0000 -
3396.28/3407.03 c 3407 2086606 1871753 1 - 0.0000 -
3401.46/3412.24 c 3412 2088860 1873649 1 - 0.0000 -
3406.64/3417.43 c 3417 2090759 1875175 1 - 0.0000 -
3411.73/3422.51 c 3423 2092656 1876930 1 - 0.0000 -
3416.71/3427.56 c 3428 2095190 1879260 1 - 0.0000 -
3421.79/3432.66 c 3433 2097208 1881081 1 - 0.0000 -
3426.88/3437.70 c 3438 2099139 1882546 1 - 0.0000 -
3431.96/3442.83 c 3443 2100801 1883704 1 - 0.0000 -
3437.14/3448.01 c 3448 2102757 1885413 1 - 0.0000 -
3442.13/3453.09 c 3453 2104768 1887056 1 - 0.0000 -
3447.22/3458.15 c 3458 2106696 1888546 1 - 0.0000 -
3452.39/3463.30 c 3463 2109078 1890653 1 - 0.0000 -
3457.57/3468.50 c 3468 2111506 1892917 1 - 0.0000 -
3462.56/3473.54 c 3474 2113723 1894834 1 - 0.0000 -
3467.65/3478.61 c 3479 2116103 1897073 1 - 0.0000 -
3472.62/3483.67 c 3484 2118517 1899313 1 - 0.0000 -
3477.71/3488.76 c 3489 2120660 1901046 1 - 0.0000 -
3482.90/3493.94 c 3494 2122908 1902978 1 - 0.0000 -
3487.98/3499.05 c 3499 2125200 1905039 1 - 0.0000 -
3493.07/3504.18 c 3504 2127303 1906877 1 - 0.0000 -
3498.25/3509.32 c 3509 2129373 1908619 1 - 0.0000 -
3503.53/3514.62 c 3515 2131244 1910200 1 - 0.0000 -
3508.61/3519.70 c 3520 2133722 1912398 1 - 0.0000 -
3513.60/3524.77 c 3525 2136029 1914455 1 - 0.0000 -
3518.68/3529.88 c 3530 2138212 1916288 1 - 0.0000 -
3523.87/3535.07 c 3535 2140450 1918290 1 - 0.0000 -
3528.96/3540.18 c 3540 2142794 1920228 1 - 0.0000 -
3534.03/3545.27 c 3545 2145195 1922356 1 - 0.0000 -
3539.11/3550.37 c 3550 2147757 1924756 1 - 0.0000 -
3544.30/3555.57 c 3556 2150297 1927164 1 - 0.0000 -
3549.38/3560.67 c 3561 2153116 1929737 1 - 0.0000 -
3554.46/3565.72 c 3566 2155672 1931928 1 - 0.0000 -
3559.55/3570.83 c 3571 2158124 1934193 1 - 0.0000 -
3564.73/3576.03 c 3576 2160936 1936810 1 - 0.0000 -
3569.82/3581.11 c 3581 2163424 1938997 1 - 0.0000 -
3574.91/3586.25 c 3586 2166051 1941336 1 - 0.0000 -
3579.99/3591.38 c 3591 2168337 1943351 1 - 0.0000 -
3585.07/3596.49 c 3596 2170546 1945155 1 - 0.0000 -
3589.16/3600.52 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.16/3600.52 c Total Time : 3600.5200
3589.16/3600.52 c solving : 3600.5200
3589.16/3600.52 c presolving : 0.0125 (included in solving)
3589.16/3600.52 c B&B Tree :
3589.16/3600.52 c nodes (total) : 1
3589.16/3600.52 c Solution :
3589.16/3600.52 c Solutions found : 0
3589.16/3600.52 c Primal Bound : -
3589.16/3600.52 c Dual Bound : +0.00000000000000e+00
3589.16/3600.52 c Gap : -
3589.16/3600.53 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 (60307 MiB free)
memory of node 1: 64473 MiB (45673 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464583-1722386570/watcher-4464583-1722386570 -o /tmp/evaluation-result-4464583-1722386570/solver-4464583-1722386570 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30205 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464583-1722386570.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=34903, runsolver pid=34900
[startup+0.100088 s]*
/proc/loadavg: 4.14 4.10 4.09 5/266 34906
/proc/meminfo: memFree=108488728/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=125380 memory=45388 CPUtime=0.09 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 9431 0 0 0 9 0 0 0 20 0 3 0 5257162 128389120 11347 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 31345 11347 2950 3035 0 15940 0
[pid=34903/tid=34905] ppid=34900 vsize=125380 memory=4026561586 CPUtime=0.07 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 4827 0 0 0 7 0 0 0 20 0 3 0 5257164 128389120 11347 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=125380 memory=228556276070 CPUtime=0 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5257165 128389120 11347 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 125380 KiB
Current children cumulated memory: 45388 KiB
[startup+0.205819 s]*
/proc/loadavg: 4.14 4.10 4.09 5/266 34906
/proc/meminfo: memFree=108484888/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=126408 memory=53272 CPUtime=0.2 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 11457 0 0 0 19 1 0 0 20 0 3 0 5257162 129441792 13318 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 31602 13318 2950 3035 0 17667 0
[pid=34903/tid=34905] ppid=34900 vsize=126408 memory=664970838410264707 CPUtime=0.17 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 6857 0 0 0 17 0 0 0 20 0 3 0 5257164 129441792 13318 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=126408 memory=572 CPUtime=0 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5257165 129441792 13318 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 53272 KiB
[startup+0.305818 s]*
/proc/loadavg: 4.14 4.10 4.09 5/266 34906
/proc/meminfo: memFree=108471616/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=126408 memory=63892 CPUtime=0.3 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 14080 0 0 0 29 1 0 0 20 0 3 0 5257162 129441792 15973 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 31602 15973 2966 3035 0 20570 0
[pid=34903/tid=34905] ppid=34900 vsize=126408 memory=-5155635712475294597 CPUtime=0.28 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 9476 0 0 0 27 1 0 0 20 0 3 0 5257164 129441792 15973 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=126408 memory=0 CPUtime=0 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5257165 129441792 15973 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 63892 KiB
[startup+0.700179 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 34906
/proc/meminfo: memFree=108469760/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=126408 memory=65736 CPUtime=0.69 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 14514 0 0 0 68 1 0 0 20 0 3 0 5257162 129441792 16434 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 31602 16434 2966 3035 0 20767 0
[pid=34903/tid=34905] ppid=34900 vsize=126408 memory=0 CPUtime=0.67 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 9910 0 0 0 66 1 0 0 20 0 3 0 5257164 129441792 16434 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=126408 memory=0 CPUtime=0 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5257165 129441792 16434 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 65736 KiB
[startup+1.50025 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 34906
/proc/meminfo: memFree=108469760/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=126408 memory=70196 CPUtime=1.49 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 22092 0 0 0 147 2 0 0 20 0 3 0 5257162 129441792 17549 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 31602 17549 2966 3035 0 21917 0
[pid=34903/tid=34905] ppid=34900 vsize=126408 memory=0 CPUtime=1.46 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 17481 0 0 0 145 1 0 0 20 0 3 0 5257164 129441792 17549 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=126408 memory=0 CPUtime=0 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5257165 129441792 17549 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 70196 KiB
[startup+3.10576 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 34908
/proc/meminfo: memFree=108462604/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=126408 memory=72888 CPUtime=3.09 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 23002 0 0 0 307 2 0 0 20 0 3 0 5257162 129441792 18222 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 31602 18222 2966 3035 0 22566 0
[pid=34903/tid=34905] ppid=34900 vsize=126408 memory=2273 CPUtime=3.07 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 18388 0 0 0 305 2 0 0 20 0 3 0 5257164 129441792 18222 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=126408 memory=0 CPUtime=0 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5257165 129441792 18222 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 72888 KiB
[startup+6.30024 s]
/proc/loadavg: 4.13 4.10 4.09 5/266 34908
/proc/meminfo: memFree=108454484/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=126408 memory=82356 CPUtime=6.27 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 33470 0 0 0 623 4 0 0 20 0 3 0 5257162 129441792 20589 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 31602 20589 2966 3035 0 24914 0
[pid=34903/tid=34905] ppid=34900 vsize=126408 memory=-5155635712475294597 CPUtime=6.24 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 28833 0 0 0 621 3 0 0 20 0 3 0 5257164 129441792 20589 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=126408 memory=80076 CPUtime=0 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5257165 129441792 20589 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 126408 KiB
Current children cumulated memory: 82356 KiB
[startup+12.7003 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 34909
/proc/meminfo: memFree=108439532/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=191944 memory=97672 CPUtime=12.65 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 60316 0 0 0 1258 7 0 0 20 0 3 0 5257162 196550656 24418 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 47986 24418 2966 3035 0 28768 0
[pid=34903/tid=34905] ppid=34900 vsize=191944 memory=72888 CPUtime=12.63 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 55642 0 0 0 1256 7 0 0 20 0 3 0 5257164 196550656 24418 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=191944 memory=0 CPUtime=0 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5257165 196550656 24418 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 191944 KiB
Current children cumulated memory: 97672 KiB
[startup+25.5003 s]
/proc/loadavg: 4.17 4.11 4.09 5/266 34911
/proc/meminfo: memFree=108429504/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=191944 memory=105596 CPUtime=25.41 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 97284 0 0 0 2529 12 0 0 20 0 3 0 5257162 196550656 26399 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 47986 26399 3014 3035 0 30623 0
[pid=34903/tid=34905] ppid=34900 vsize=191944 memory=90104 CPUtime=25.38 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 92560 0 0 0 2527 11 0 0 20 0 3 0 5257164 196550656 26399 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=191944 memory=12340 CPUtime=0 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5257165 196550656 26399 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 191944 KiB
Current children cumulated memory: 105596 KiB
[startup+51.1058 s]
/proc/loadavg: 4.11 4.10 4.09 5/266 34914
/proc/meminfo: memFree=108408228/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=201196 memory=126236 CPUtime=50.94 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 139114 0 0 0 5074 20 0 0 20 0 3 0 5257162 206024704 31559 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 50299 31559 3014 3035 0 35939 0
[pid=34903/tid=34905] ppid=34900 vsize=201196 memory=115560 CPUtime=50.91 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 134318 0 0 0 5072 19 0 0 20 0 3 0 5257164 206024704 31559 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=201196 memory=115548 CPUtime=0 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5257165 206024704 31559 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 201196 KiB
Current children cumulated memory: 126236 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/266 34926
/proc/meminfo: memFree=108354916/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=213016 memory=178576 CPUtime=101.96 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 195039 0 0 0 10161 35 0 0 20 0 3 0 5257162 218128384 44644 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 53254 44644 3014 3035 0 49182 0
[pid=34903/tid=34905] ppid=34900 vsize=213016 memory=166640 CPUtime=101.94 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 190171 0 0 0 10159 35 0 0 20 0 3 0 5257164 218128384 44644 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=213016 memory=166436 CPUtime=0 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 5257165 218128384 44644 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 213016 KiB
Current children cumulated memory: 178576 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/262 34936
/proc/meminfo: memFree=108297904/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=297056 memory=234968 CPUtime=161.77 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 260972 0 0 0 16124 53 0 0 20 0 3 0 5257162 304185344 58742 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 74264 58742 3014 3035 0 62823 0
[pid=34903/tid=34905] ppid=34900 vsize=297056 memory=226448 CPUtime=161.74 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 256027 0 0 0 16121 53 0 0 20 0 3 0 5257164 304185344 58742 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=297056 memory=12340 CPUtime=0 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5257165 304185344 58742 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 297056 KiB
################
# More data... #
################
/proc/34903/statm: 550335 530484 3014 3035 0 533796 0
[pid=34903/tid=34905] ppid=34900 vsize=2201340 memory=12340 CPUtime=3451.16 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 2584675 0 0 0 344460 656 0 0 20 0 3 0 5257164 2254172160 530484 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=2201340 memory=12680 CPUtime=0.02 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 132 0 0 0 0 2 0 0 20 0 3 0 5257165 2254172160 530484 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 3451.4 s
Current children cumulated vsize: 2201340 KiB
Current children cumulated memory: 2121936 KiB
[startup+3522.3 s]
/proc/loadavg: 3.12 3.11 3.32 4/254 36962
/proc/meminfo: memFree=123302832/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=2213644 memory=2145708 CPUtime=3511.2 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 2623175 0 0 0 350451 669 0 0 20 0 3 0 5257162 2266771456 536427 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 553411 536427 3014 3035 0 540054 0
[pid=34903/tid=34905] ppid=34900 vsize=2213644 memory=12680 CPUtime=3510.96 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 2617209 0 0 0 350433 663 0 0 20 0 3 0 5257164 2266771456 536427 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=2213644 memory=2145692 CPUtime=0.02 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 5257165 2266771456 536427 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 3511.2 s
Current children cumulated vsize: 2213644 KiB
Current children cumulated memory: 2145708 KiB
[startup+3582.3 s]
/proc/loadavg: 3.10 3.10 3.30 4/254 36972
/proc/meminfo: memFree=123277848/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=2225980 memory=2170264 CPUtime=3571.02 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 2655362 0 0 0 356423 679 0 0 20 0 3 0 5257162 2279403520 542566 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 556495 542566 3014 3035 0 548491 0
[pid=34903/tid=34905] ppid=34900 vsize=2225980 memory=2167500 CPUtime=3570.77 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 2649379 0 0 0 356404 673 0 0 20 0 3 0 5257164 2279403520 542566 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=2225980 memory=12680 CPUtime=0.02 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 5257165 2279403520 542566 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 3571.02 s
Current children cumulated vsize: 2225980 KiB
Current children cumulated memory: 2170264 KiB
[startup+3600.53 s]
# the end of solver process 34903 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.3 s, system=6.90568 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 3.10 3.10 3.30 4/254 36972
/proc/meminfo: memFree=123276544/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=2227008 memory=2171364 CPUtime=3572.71 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 2655743 0 0 0 356592 679 0 0 20 0 3 0 5257162 2280456192 542841 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 556752 542841 3014 3035 0 548748 0
[pid=34903/tid=34905] ppid=34900 vsize=2227008 memory=-7666933632230056063 CPUtime=3572.46 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 2649760 0 0 0 356573 673 0 0 20 0 3 0 5257164 2280456192 542841 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=2227008 memory=4428052854943149729 CPUtime=0.02 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 5257165 2280456192 542841 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 2227008 KiB
Current children cumulated memory: 2171364 KiB
[startup+3590.4 s]
/proc/loadavg: 3.08 3.10 3.29 4/254 36972
/proc/meminfo: memFree=123275476/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=2227008 memory=2172700 CPUtime=3579.09 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 2657186 0 0 0 357229 680 0 0 20 0 3 0 5257162 2280456192 543175 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 556752 543175 3014 3035 0 548748 0
[pid=34903/tid=34905] ppid=34900 vsize=2227008 memory=12400 CPUtime=3578.84 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 2651203 0 0 0 357210 674 0 0 20 0 3 0 5257164 2280456192 543175 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=2227008 memory=12680 CPUtime=0.02 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 5257165 2280456192 543175 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 3579.09 s
Current children cumulated vsize: 2227008 KiB
Current children cumulated memory: 2172700 KiB
[startup+3596.8 s]
/proc/loadavg: 3.07 3.09 3.29 4/254 36975
/proc/meminfo: memFree=123272428/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=2229064 memory=2175280 CPUtime=3585.47 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 2658359 0 0 0 357866 681 0 0 20 0 3 0 5257162 2282561536 543820 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 557266 543820 3014 3035 0 549262 0
[pid=34903/tid=34905] ppid=34900 vsize=2229064 memory=12680 CPUtime=3585.22 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 2652372 0 0 0 357847 675 0 0 20 0 3 0 5257164 2282561536 543820 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=2229064 memory=2175140 CPUtime=0.02 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 5257165 2282561536 543820 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 3585.47 s
Current children cumulated vsize: 2229064 KiB
Current children cumulated memory: 2175280 KiB
[startup+3598.4 s]
/proc/loadavg: 3.07 3.09 3.29 4/254 36975
/proc/meminfo: memFree=123272400/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=2229064 memory=2175432 CPUtime=3587.06 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 2673200 0 0 0 358024 682 0 0 20 0 3 0 5257162 2282561536 543858 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 557266 543858 3014 3035 0 549262 0
[pid=34903/tid=34905] ppid=34900 vsize=2229064 memory=12340 CPUtime=3586.82 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 2667206 0 0 0 358006 676 0 0 20 0 3 0 5257164 2282561536 543858 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=2229064 memory=2175432 CPUtime=0.02 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 5257165 2282561536 543858 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 3587.06 s
Current children cumulated vsize: 2229064 KiB
Current children cumulated memory: 2175432 KiB
[startup+3599.2 s]
/proc/loadavg: 3.07 3.09 3.29 4/254 36975
/proc/meminfo: memFree=123360380/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=2031688 memory=1978056 CPUtime=3587.86 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 2713224 0 0 0 358101 685 0 0 20 0 3 0 5257162 2080448512 494514 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 507922 494514 3014 3035 0 499918 0
[pid=34903/tid=34905] ppid=34900 vsize=2031688 memory=12340 CPUtime=3587.61 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 2707230 0 0 0 358082 679 0 0 20 0 3 0 5257164 2080448512 494514 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=2031688 memory=12680 CPUtime=0.02 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 5257165 2080448512 494514 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 3587.86 s
Current children cumulated vsize: 2031688 KiB
Current children cumulated memory: 1978056 KiB
[startup+3600 s]*
/proc/loadavg: 3.07 3.09 3.29 4/254 36975
/proc/meminfo: memFree=123606668/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=1753100 memory=1699468 CPUtime=3588.66 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 2724493 0 0 0 358180 686 0 0 20 0 3 0 5257162 1795174400 424867 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 438275 424867 3014 3035 0 430271 0
[pid=34903/tid=34905] ppid=34900 vsize=1753100 memory=12400 CPUtime=3588.41 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 2718499 0 0 0 358161 680 0 0 20 0 3 0 5257164 1795174400 424867 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=1753100 memory=2087024 CPUtime=0.02 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 5257165 1795174400 424867 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 3588.66 s
Current children cumulated vsize: 1753100 KiB
Current children cumulated memory: 1699468 KiB
[startup+3600.4 s]
/proc/loadavg: 3.07 3.09 3.29 4/254 36975
/proc/meminfo: memFree=123606668/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=1586564 memory=1532932 CPUtime=3589.06 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 2729524 0 0 0 358218 688 0 0 20 0 3 0 5257162 1624641536 383233 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 396641 383233 3014 3035 0 388637 0
[pid=34903/tid=34905] ppid=34900 vsize=1586564 memory=5596 CPUtime=3588.8 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 2723530 0 0 0 358199 681 0 0 20 0 3 0 5257164 1624641536 383233 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=1586564 memory=2175280 CPUtime=0.02 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 5257165 1624641536 383233 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 3589.06 s
Current children cumulated vsize: 1586564 KiB
Current children cumulated memory: 1532932 KiB
[startup+3600.5 s]
/proc/loadavg: 3.07 3.09 3.29 4/254 36975
/proc/meminfo: memFree=123606668/131524600 swapFree=131071996/131071996
[pid=34903] ppid=34900 vsize=1508436 memory=1454804 CPUtime=3589.16 cores=4,6
/proc/34903/stat : 34903 (fscip) S 34900 34903 30194 0 -1 1077936128 2729698 0 0 0 358228 688 0 0 20 0 3 0 5257162 1544638464 363701 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
/proc/34903/statm: 377109 363701 3014 3035 0 369105 0
[pid=34903/tid=34905] ppid=34900 vsize=1508436 memory=2171364 CPUtime=3588.91 cores=4,6
/proc/34903/task/34905/stat : 34905 (fscip) R 34900 34903 30194 0 -1 4194368 2723704 0 0 0 358209 682 0 0 20 0 3 0 5257164 1544638464 363701 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
[pid=34903/tid=34906] ppid=34900 vsize=1508436 memory=-7018978235842127488 CPUtime=0.02 cores=4,6
/proc/34903/task/34906/stat : 34906 (fscip) S 34900 34903 30194 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 5257165 1544638464 363701 134679101440 4194304 16623229 140730687449376 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 34435072 140730687456278 140730687456394 140730687456394 140730687463408 0
Current children cumulated CPU time: 3589.16 s
Current children cumulated vsize: 1508436 KiB
Current children cumulated memory: 1454804 KiB
Child status: 0
Real time (s): 3600.53
CPU time (s): 3589.2
CPU user time (s): 3582.3
CPU system time (s): 6.90568
CPU usage (%): 99.6853
Max. virtual memory (cumulated for all children) (KiB): 2229064
Max. memory (cumulated for all children) (KiB): 2175432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.3
system time used= 6.90568
maximum resident set size= 2178124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2730402
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= 11182
involuntary context switches= 4728
# summary of solver processes directly reported to runsolver:
# pid: 34903
# total CPU time (s): 3589.2
# total CPU user time (s): 3582.3
# total CPU system time (s): 6.90568
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.80372 second user time and 16.8656 second system time
The end
Begin job on nodeC026 at 2024-07-31 02:42:50
IDJOB=4464583
IDBENCH=162341
IDSOLVER=3092
FILE ID=nodeC026/4464583-1722386570
RUNJOBID= nodeC026-1722378594-30205
SLURM_JOB_ID= 8249849
Free space on /tmp= 889776 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x120split.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-4464583-1722386570/watcher-4464583-1722386570 -o /tmp/evaluation-result-4464583-1722386570/solver-4464583-1722386570 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30205 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464583-1722386570.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 71fa1afe6ec5716be864bdb24fc2dd76
RANDOM SEED=2017193718
nodeC026.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 : 3667.920
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 : 7000.59
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 : 3689.773
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
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 : 3601.134
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 : 7000.59
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.442
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
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 : 3671.794
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 : 7000.59
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 : 3689.806
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
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 : 3661.764
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 : 7000.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.443
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 108525244 kB
MemAvailable: 112839420 kB
Buffers: 103524 kB
Cached: 5024264 kB
SwapCached: 0 kB
Active: 505316 kB
Inactive: 21940160 kB
Active(anon): 1480 kB
Inactive(anon): 17337528 kB
Active(file): 503836 kB
Inactive(file): 4602632 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28184 kB
Writeback: 0 kB
AnonPages: 17315816 kB
Mapped: 124992 kB
Shmem: 21336 kB
KReclaimable: 95060 kB
Slab: 180112 kB
SReclaimable: 95060 kB
SUnreclaim: 85052 kB
KernelStack: 4192 kB
PageTables: 43596 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 12314944 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9856 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3207168 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: 205524 kB
DirectMap2M: 16345088 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 890000 MiB
End job on nodeC026 at 2024-07-31 03:42:50