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 = 25833472, getVmSize() = 25833472, SCIPgetMemUsed() = 3547276, SCIPgetMemTotal() = 4308540, SCIPgetMemExternEstim() = 1798769
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 = 20458154, getVmSize() = 35540992, SCIPgetMemUsed() = 8427168, SCIPgetMemTotal() = 12795744, SCIPgetMemExternEstim() = 1798769
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-4447970-1721361279
0.00/0.01 c Variables : 801 (801 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 1118
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 800 (800 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 400
0.00/0.01 c Constraints : Number
0.00/0.01 c linear : 400
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.17/5.28 c 5 2588 2376 1 - 0.0000 -
10.26/10.37 c 10 6656 5948 1 - 0.0000 -
15.34/15.42 c 15 14232 12387 1 - 0.0000 -
20.32/20.47 c 20 22266 18447 1 - 0.0000 -
25.42/25.52 c 26 30873 24518 1 - 0.0000 -
30.39/30.58 c 31 38256 30792 1 - 0.0000 -
35.48/35.63 c 36 46040 37384 1 - 0.0000 -
40.46/40.69 c 41 53686 43832 1 - 0.0000 -
45.55/45.74 c 46 61752 50341 1 - 0.0000 -
50.54/50.79 c 51 69959 56930 1 - 0.0000 -
55.61/55.84 c 56 77252 63403 1 - 0.0000 -
60.60/60.89 c 61 84983 69713 1 - 0.0000 -
65.69/65.93 c 66 93227 75809 1 - 0.0000 -
70.67/70.99 c 71 100489 81885 1 - 0.0000 -
75.76/76.04 c 76 109084 87892 1 - 0.0000 -
80.74/81.09 c 81 117189 94330 1 - 0.0000 -
85.82/86.14 c 86 123715 100003 1 - 0.0000 -
90.81/91.19 c 91 130820 106039 1 - 0.0000 -
95.88/96.24 c 96 138869 112395 1 - 0.0000 -
100.87/101.29 c 101 146510 117667 1 - 0.0000 -
105.95/106.34 c 106 154053 123306 1 - 0.0000 -
110.93/111.39 c 111 161765 128838 1 - 0.0000 -
116.02/116.44 c 116 168700 134816 1 - 0.0000 -
121.00/121.49 c 122 175665 140621 1 - 0.0000 -
126.08/126.54 c 127 183603 146241 1 - 0.0000 -
131.07/131.59 c 132 190338 151564 1 - 0.0000 -
136.15/136.64 c 137 197416 157000 1 - 0.0000 -
141.13/141.69 c 142 204270 162727 1 - 0.0000 -
146.22/146.74 c 147 211495 168326 1 - 0.0000 -
151.20/151.79 c 152 218449 173963 1 - 0.0000 -
156.28/156.84 c 157 225246 179932 1 - 0.0000 -
161.27/161.89 c 162 231834 185319 1 - 0.0000 -
166.36/166.95 c 167 239202 190668 1 - 0.0000 -
171.44/172.00 c 172 246536 196370 1 - 0.0000 -
176.42/177.06 c 177 253167 201841 1 - 0.0000 -
181.50/182.11 c 182 260060 207259 1 - 0.0000 -
186.49/187.16 c 187 267021 211836 1 - 0.0000 -
191.56/192.21 c 192 273294 217021 1 - 0.0000 -
196.55/197.26 c 197 279759 222225 1 - 0.0000 -
201.64/202.31 c 202 286708 226926 1 - 0.0000 -
206.61/207.36 c 207 292833 232118 1 - 0.0000 -
211.70/212.41 c 212 299402 237441 1 - 0.0000 -
216.68/217.46 c 217 305204 242291 1 - 0.0000 -
221.76/222.51 c 223 311308 247253 1 - 0.0000 -
226.75/227.56 c 228 317640 252051 1 - 0.0000 -
231.84/232.62 c 233 324052 256688 1 - 0.0000 -
236.82/237.68 c 238 330057 261477 1 - 0.0000 -
241.91/242.73 c 243 336518 265960 1 - 0.0000 -
246.99/247.80 c 248 342122 270527 1 - 0.0000 -
251.97/252.85 c 253 347282 274998 1 - 0.0000 -
257.05/257.90 c 258 352783 279562 1 - 0.0000 -
262.04/262.95 c 263 358254 284241 1 - 0.0000 -
267.12/268.00 c 268 364251 289522 1 - 0.0000 -
272.11/273.06 c 273 370135 293967 1 - 0.0000 -
277.19/278.11 c 278 375367 298344 1 - 0.0000 -
282.17/283.16 c 283 380838 302655 1 - 0.0000 -
287.25/288.21 c 288 386382 307280 1 - 0.0000 -
292.24/293.27 c 293 391812 311815 1 - 0.0000 -
297.32/298.33 c 298 397350 316459 1 - 0.0000 -
302.40/303.41 c 303 402737 320970 1 - 0.0000 -
307.39/308.46 c 308 408586 325376 1 - 0.0000 -
312.47/313.51 c 314 414376 329583 1 - 0.0000 -
317.45/318.57 c 319 419792 334397 1 - 0.0000 -
322.54/323.62 c 324 425540 339257 1 - 0.0000 -
327.52/328.67 c 329 431416 343973 1 - 0.0000 -
332.61/333.72 c 334 436979 348093 1 - 0.0000 -
337.59/338.77 c 339 443113 351251 1 - 0.0000 -
342.68/343.84 c 344 448235 355093 1 - 0.0000 -
347.76/348.91 c 349 453802 359429 1 - 0.0000 -
352.74/353.96 c 354 459070 363189 1 - 0.0000 -
357.82/359.01 c 359 464116 367332 1 - 0.0000 -
362.81/364.06 c 364 469244 371600 1 - 0.0000 -
367.89/369.11 c 369 474443 375979 1 - 0.0000 -
372.88/374.16 c 374 479494 379855 1 - 0.0000 -
377.96/379.21 c 379 484397 383919 1 - 0.0000 -
382.94/384.26 c 384 489562 387600 1 - 0.0000 -
388.03/389.31 c 389 494057 391141 1 - 0.0000 -
393.01/394.37 c 394 498783 395012 1 - 0.0000 -
398.10/399.41 c 399 503178 398931 1 - 0.0000 -
403.08/404.46 c 404 507859 402929 1 - 0.0000 -
408.16/409.51 c 410 512602 406340 1 - 0.0000 -
413.15/414.57 c 415 517224 409968 1 - 0.0000 -
418.23/419.64 c 420 521795 413323 1 - 0.0000 -
423.22/424.69 c 425 526183 416789 1 - 0.0000 -
428.30/429.74 c 430 531042 421002 1 - 0.0000 -
433.29/434.79 c 435 535854 425333 1 - 0.0000 -
438.38/439.85 c 440 540460 428940 1 - 0.0000 -
443.46/444.90 c 445 545309 432833 1 - 0.0000 -
448.44/449.97 c 450 550333 436564 1 - 0.0000 -
453.54/455.02 c 455 554807 440453 1 - 0.0000 -
458.53/460.07 c 460 559393 444144 1 - 0.0000 -
463.61/465.12 c 465 563888 448040 1 - 0.0000 -
468.59/470.17 c 470 568492 451947 1 - 0.0000 -
473.67/475.22 c 475 573032 455586 1 - 0.0000 -
478.66/480.27 c 480 577375 459212 1 - 0.0000 -
483.75/485.33 c 485 581827 462741 1 - 0.0000 -
488.83/490.40 c 490 585772 466138 1 - 0.0000 -
493.81/495.45 c 495 589862 469455 1 - 0.0000 -
498.90/500.54 c 501 593753 472432 1 - 0.0000 -
503.99/505.60 c 506 598238 476232 1 - 0.0000 -
508.97/510.65 c 511 602749 479742 1 - 0.0000 -
514.06/515.70 c 516 606884 482444 1 - 0.0000 -
519.05/520.76 c 521 610884 485697 1 - 0.0000 -
524.13/525.82 c 526 615027 489226 1 - 0.0000 -
529.11/530.87 c 531 619225 492580 1 - 0.0000 -
534.19/535.92 c 536 623081 495869 1 - 0.0000 -
539.17/540.97 c 541 626941 499351 1 - 0.0000 -
544.25/546.04 c 546 631174 503169 1 - 0.0000 -
549.25/551.10 c 551 635398 506568 1 - 0.0000 -
554.32/556.15 c 556 639922 510407 1 - 0.0000 -
559.41/561.20 c 561 644429 513951 1 - 0.0000 -
564.39/566.28 c 566 648426 517092 1 - 0.0000 -
569.48/571.33 c 571 653117 520825 1 - 0.0000 -
574.46/576.38 c 576 657469 524265 1 - 0.0000 -
579.54/581.43 c 581 662090 528408 1 - 0.0000 -
584.52/586.49 c 586 666410 531129 1 - 0.0000 -
589.61/591.54 c 592 670686 534880 1 - 0.0000 -
594.59/596.59 c 597 674855 538113 1 - 0.0000 -
599.67/601.65 c 602 679388 541608 1 - 0.0000 -
604.76/606.70 c 607 684527 545507 1 - 0.0000 -
609.74/611.76 c 612 689048 548706 1 - 0.0000 -
614.82/616.82 c 617 693541 552309 1 - 0.0000 -
619.81/621.89 c 622 697611 555767 1 - 0.0000 -
624.89/626.94 c 627 702168 559521 1 - 0.0000 -
629.88/631.99 c 632 706280 563129 1 - 0.0000 -
634.96/637.04 c 637 710704 567023 1 - 0.0000 -
640.04/642.12 c 642 714955 570354 1 - 0.0000 -
645.03/647.17 c 647 719521 573989 1 - 0.0000 -
650.11/652.22 c 652 723952 577361 1 - 0.0000 -
655.08/657.28 c 657 728687 581443 1 - 0.0000 -
660.18/662.33 c 662 733282 585370 1 - 0.0000 -
665.15/667.40 c 667 737696 588668 1 - 0.0000 -
670.24/672.44 c 672 741785 592265 1 - 0.0000 -
675.32/677.50 c 678 746743 596162 1 - 0.0000 -
680.30/682.55 c 683 751238 599896 1 - 0.0000 -
685.39/687.62 c 688 756094 604267 1 - 0.0000 -
690.38/692.68 c 693 760939 608490 1 - 0.0000 -
695.46/697.73 c 698 766283 612842 1 - 0.0000 -
700.44/702.78 c 703 771167 616982 1 - 0.0000 -
705.53/707.87 c 708 776406 620619 1 - 0.0000 -
710.61/712.92 c 713 781369 624795 1 - 0.0000 -
715.60/717.97 c 718 786166 629291 1 - 0.0000 -
720.68/723.02 c 723 791309 632952 1 - 0.0000 -
725.66/728.07 c 728 796436 637044 1 - 0.0000 -
730.74/733.12 c 733 800961 640603 1 - 0.0000 -
735.73/738.17 c 738 805650 644764 1 - 0.0000 -
740.81/743.22 c 743 810422 648721 1 - 0.0000 -
745.79/748.28 c 748 814728 652213 1 - 0.0000 -
750.87/753.33 c 753 819197 655977 1 - 0.0000 -
755.86/758.38 c 758 823569 659875 1 - 0.0000 -
760.94/763.43 c 763 828459 664143 1 - 0.0000 -
765.93/768.49 c 768 833534 668452 1 - 0.0000 -
771.01/773.54 c 774 838447 672663 1 - 0.0000 -
775.99/778.59 c 779 842579 675680 1 - 0.0000 -
781.07/783.67 c 784 847132 678882 1 - 0.0000 -
786.16/788.72 c 789 851846 682882 1 - 0.0000 -
791.14/793.77 c 794 856670 686683 1 - 0.0000 -
796.23/798.85 c 799 861650 690529 1 - 0.0000 -
801.30/803.90 c 804 866702 694052 1 - 0.0000 -
806.30/808.95 c 809 871507 697977 1 - 0.0000 -
811.38/814.01 c 814 876163 701866 1 - 0.0000 -
816.37/819.05 c 819 880916 705414 1 - 0.0000 -
821.36/824.10 c 824 885374 709116 1 - 0.0000 -
826.44/829.15 c 829 890226 713130 1 - 0.0000 -
831.52/834.20 c 834 895207 717190 1 - 0.0000 -
836.50/839.25 c 839 900275 721074 1 - 0.0000 -
841.59/844.31 c 844 905677 725691 1 - 0.0000 -
846.57/849.36 c 849 910554 729633 1 - 0.0000 -
851.66/854.48 c 854 915229 732934 1 - 0.0000 -
856.74/859.56 c 860 919897 736708 1 - 0.0000 -
861.83/864.60 c 865 924653 740736 1 - 0.0000 -
866.82/869.67 c 870 929012 744343 1 - 0.0000 -
871.90/874.72 c 875 933346 747500 1 - 0.0000 -
876.89/879.77 c 880 937773 751011 1 - 0.0000 -
881.97/884.82 c 885 942295 753909 1 - 0.0000 -
886.95/889.89 c 890 947060 757197 1 - 0.0000 -
892.04/894.94 c 895 951233 759855 1 - 0.0000 -
897.02/899.99 c 900 955405 763205 1 - 0.0000 -
902.11/905.04 c 905 959938 766378 1 - 0.0000 -
907.10/910.09 c 910 964614 770223 1 - 0.0000 -
912.19/915.14 c 915 968791 773541 1 - 0.0000 -
917.26/920.21 c 920 972557 776642 1 - 0.0000 -
922.25/925.26 c 925 977008 780435 1 - 0.0000 -
927.33/930.33 c 930 981126 783692 1 - 0.0000 -
932.32/935.38 c 935 985536 787692 1 - 0.0000 -
937.41/940.43 c 940 989524 790498 1 - 0.0000 -
942.39/945.49 c 945 993409 794046 1 - 0.0000 -
947.48/950.53 c 951 997734 797558 1 - 0.0000 -
952.46/955.58 c 956 1003162 801698 1 - 0.0000 -
957.55/960.63 c 961 1007151 804418 1 - 0.0000 -
962.54/965.68 c 966 1011597 807786 1 - 0.0000 -
967.62/970.74 c 971 1015396 810931 1 - 0.0000 -
972.70/975.80 c 976 1019005 813655 1 - 0.0000 -
977.69/980.86 c 981 1022930 816425 1 - 0.0000 -
982.78/985.91 c 986 1027639 819300 1 - 0.0000 -
987.76/990.96 c 991 1031696 822372 1 - 0.0000 -
992.85/996.01 c 996 1035382 825171 1 - 0.0000 -
997.84/1001.10 c 1001 1039107 827991 1 - 0.0000 -
1002.92/1006.15 c 1006 1042995 830628 1 - 0.0000 -
1008.00/1011.20 c 1011 1046180 833208 1 - 0.0000 -
1012.99/1016.25 c 1016 1049538 836034 1 - 0.0000 -
1018.07/1021.31 c 1021 1052968 838757 1 - 0.0000 -
1023.06/1026.38 c 1026 1056194 841416 1 - 0.0000 -
1028.14/1031.43 c 1031 1059572 844089 1 - 0.0000 -
1033.13/1036.49 c 1036 1063287 846705 1 - 0.0000 -
1038.21/1041.54 c 1042 1066572 849416 1 - 0.0000 -
1043.30/1046.61 c 1047 1070455 852771 1 - 0.0000 -
1048.29/1051.65 c 1052 1074200 855634 1 - 0.0000 -
1053.38/1056.70 c 1057 1077506 858253 1 - 0.0000 -
1058.36/1061.77 c 1062 1080867 860551 1 - 0.0000 -
1063.44/1066.84 c 1067 1083889 862703 1 - 0.0000 -
1068.43/1071.89 c 1072 1087230 865706 1 - 0.0000 -
1073.52/1076.97 c 1077 1090734 868542 1 - 0.0000 -
1078.61/1082.03 c 1082 1095008 872233 1 - 0.0000 -
1083.59/1087.09 c 1087 1098607 874990 1 - 0.0000 -
1088.67/1092.14 c 1092 1101801 877357 1 - 0.0000 -
1093.76/1097.21 c 1097 1104997 879191 1 - 0.0000 -
1098.74/1102.28 c 1102 1108385 881937 1 - 0.0000 -
1103.82/1107.33 c 1107 1111477 884351 1 - 0.0000 -
1108.81/1112.38 c 1112 1114615 886481 1 - 0.0000 -
1113.90/1117.45 c 1117 1118352 889120 1 - 0.0000 -
1118.99/1122.53 c 1123 1121292 891306 1 - 0.0000 -
1124.07/1127.61 c 1128 1124245 893514 1 - 0.0000 -
1129.06/1132.66 c 1133 1127423 895918 1 - 0.0000 -
1134.15/1137.71 c 1138 1131444 898388 1 - 0.0000 -
1139.13/1142.76 c 1143 1134488 900837 1 - 0.0000 -
1144.21/1147.82 c 1148 1138632 904059 1 - 0.0000 -
1149.20/1152.87 c 1153 1141967 906690 1 - 0.0000 -
1154.29/1157.92 c 1158 1145255 909052 1 - 0.0000 -
1159.28/1162.98 c 1163 1148754 911888 1 - 0.0000 -
1164.36/1168.03 c 1168 1151450 913703 1 - 0.0000 -
1169.35/1173.09 c 1173 1154933 916675 1 - 0.0000 -
1174.44/1178.16 c 1178 1158603 919241 1 - 0.0000 -
1179.51/1183.22 c 1183 1161589 921580 1 - 0.0000 -
1184.49/1188.28 c 1188 1164532 924112 1 - 0.0000 -
1189.58/1193.34 c 1193 1167571 926278 1 - 0.0000 -
1194.56/1198.39 c 1198 1170595 928551 1 - 0.0000 -
1199.65/1203.46 c 1203 1174129 931283 1 - 0.0000 -
1204.73/1208.51 c 1209 1177242 933436 1 - 0.0000 -
1209.72/1213.57 c 1214 1180393 935529 1 - 0.0000 -
1214.81/1218.62 c 1219 1183320 937892 1 - 0.0000 -
1219.89/1223.70 c 1224 1186032 939747 1 - 0.0000 -
1224.88/1228.75 c 1229 1188674 941893 1 - 0.0000 -
1229.97/1233.82 c 1234 1191700 944429 1 - 0.0000 -
1234.95/1238.87 c 1239 1195002 947059 1 - 0.0000 -
1240.03/1243.96 c 1244 1198181 949529 1 - 0.0000 -
1245.12/1249.01 c 1249 1201394 952096 1 - 0.0000 -
1250.21/1254.11 c 1254 1204167 954439 1 - 0.0000 -
1255.19/1259.17 c 1259 1206580 956319 1 - 0.0000 -
1260.27/1264.24 c 1264 1209430 958594 1 - 0.0000 -
1265.36/1269.34 c 1269 1212070 960602 1 - 0.0000 -
1270.35/1274.39 c 1274 1214683 962390 1 - 0.0000 -
1275.43/1279.44 c 1279 1217812 964547 1 - 0.0000 -
1280.51/1284.53 c 1285 1221027 967251 1 - 0.0000 -
1285.60/1289.63 c 1290 1224217 969613 1 - 0.0000 -
1290.68/1294.75 c 1295 1226882 971878 1 - 0.0000 -
1295.76/1299.81 c 1300 1229859 974421 1 - 0.0000 -
1300.75/1304.89 c 1305 1232776 976819 1 - 0.0000 -
1305.84/1309.94 c 1310 1235882 979512 1 - 0.0000 -
1310.92/1315.00 c 1315 1238554 981507 1 - 0.0000 -
1315.91/1320.08 c 1320 1241652 983851 1 - 0.0000 -
1321.00/1325.13 c 1325 1244349 986174 1 - 0.0000 -
1325.98/1330.19 c 1330 1246795 987900 1 - 0.0000 -
1331.06/1335.28 c 1335 1249424 990077 1 - 0.0000 -
1336.14/1340.36 c 1340 1251972 992110 1 - 0.0000 -
1341.23/1345.42 c 1345 1254632 994310 1 - 0.0000 -
1346.21/1350.49 c 1350 1257688 996744 1 - 0.0000 -
1351.30/1355.59 c 1356 1260833 999005 1 - 0.0000 -
1356.39/1360.64 c 1361 1263744 1000957 1 - 0.0000 -
1361.47/1365.71 c 1366 1266317 1002612 1 - 0.0000 -
1366.45/1370.78 c 1371 1270116 1005572 1 - 0.0000 -
1371.54/1375.86 c 1376 1272750 1007829 1 - 0.0000 -
1376.63/1380.97 c 1381 1275200 1009858 1 - 0.0000 -
1381.71/1386.04 c 1386 1277844 1011879 1 - 0.0000 -
1386.70/1391.09 c 1391 1280551 1014077 1 - 0.0000 -
1391.78/1396.15 c 1396 1283107 1015913 1 - 0.0000 -
1396.87/1401.23 c 1401 1285568 1017970 1 - 0.0000 -
1401.95/1406.37 c 1406 1287543 1019525 1 - 0.0000 -
1407.03/1411.45 c 1411 1289728 1021123 1 - 0.0000 -
1412.12/1416.50 c 1417 1291791 1022521 1 - 0.0000 -
1417.10/1421.57 c 1422 1294218 1024304 1 - 0.0000 -
1422.19/1426.63 c 1427 1296886 1026431 1 - 0.0000 -
1427.28/1431.71 c 1432 1299499 1028602 1 - 0.0000 -
1432.26/1436.75 c 1437 1301982 1030594 1 - 0.0000 -
1437.35/1441.87 c 1442 1305213 1032646 1 - 0.0000 -
1442.43/1446.96 c 1447 1307901 1034610 1 - 0.0000 -
1447.52/1452.02 c 1452 1310366 1036722 1 - 0.0000 -
1452.61/1457.11 c 1457 1312894 1038713 1 - 0.0000 -
1457.59/1462.16 c 1462 1315423 1040670 1 - 0.0000 -
1462.68/1467.28 c 1467 1317707 1042439 1 - 0.0000 -
1467.77/1472.32 c 1472 1320492 1044771 1 - 0.0000 -
1472.74/1477.37 c 1477 1323443 1047366 1 - 0.0000 -
1477.83/1482.43 c 1482 1325869 1048773 1 - 0.0000 -
1482.91/1487.52 c 1488 1328232 1050543 1 - 0.0000 -
1488.00/1492.64 c 1493 1330665 1052708 1 - 0.0000 -
1493.09/1497.71 c 1498 1332528 1053884 1 - 0.0000 -
1498.08/1502.78 c 1503 1335014 1056295 1 - 0.0000 -
1503.16/1507.84 c 1508 1337552 1058618 1 - 0.0000 -
1508.24/1512.91 c 1513 1339854 1060158 1 - 0.0000 -
1513.34/1518.02 c 1518 1342121 1062008 1 - 0.0000 -
1518.42/1523.11 c 1523 1345025 1064615 1 - 0.0000 -
1523.40/1528.19 c 1528 1348137 1067388 1 - 0.0000 -
1528.49/1533.24 c 1533 1350191 1068813 1 - 0.0000 -
1533.57/1538.35 c 1538 1353000 1071342 1 - 0.0000 -
1538.66/1543.43 c 1543 1355965 1073900 1 - 0.0000 -
1543.74/1548.51 c 1549 1358359 1075917 1 - 0.0000 -
1548.72/1553.57 c 1554 1360749 1077965 1 - 0.0000 -
1553.82/1558.64 c 1559 1363555 1079981 1 - 0.0000 -
1558.90/1563.72 c 1564 1365991 1081823 1 - 0.0000 -
1563.89/1568.77 c 1569 1368388 1083306 1 - 0.0000 -
1568.97/1573.82 c 1574 1370472 1084599 1 - 0.0000 -
1573.96/1578.89 c 1579 1372510 1085826 1 - 0.0000 -
1579.05/1583.95 c 1584 1374771 1087860 1 - 0.0000 -
1584.03/1588.99 c 1589 1377083 1089756 1 - 0.0000 -
1589.13/1594.09 c 1594 1379264 1091541 1 - 0.0000 -
1594.21/1599.13 c 1599 1381759 1093250 1 - 0.0000 -
1599.29/1604.24 c 1604 1384475 1095393 1 - 0.0000 -
1604.37/1609.31 c 1609 1386970 1097508 1 - 0.0000 -
1609.46/1614.41 c 1614 1389504 1099699 1 - 0.0000 -
1614.45/1619.49 c 1620 1391802 1101380 1 - 0.0000 -
1619.53/1624.55 c 1625 1394060 1103326 1 - 0.0000 -
1624.62/1629.60 c 1630 1396266 1105049 1 - 0.0000 -
1629.61/1634.67 c 1635 1399008 1106953 1 - 0.0000 -
1634.69/1639.74 c 1640 1401575 1108821 1 - 0.0000 -
1639.78/1644.84 c 1645 1404337 1110428 1 - 0.0000 -
1644.87/1649.90 c 1650 1407435 1112920 1 - 0.0000 -
1649.85/1654.96 c 1655 1410665 1115296 1 - 0.0000 -
1654.95/1660.02 c 1660 1413652 1116915 1 - 0.0000 -
1659.93/1665.06 c 1665 1416473 1118123 1 - 0.0000 -
1665.01/1670.11 c 1670 1419374 1120483 1 - 0.0000 -
1670.09/1675.20 c 1675 1421730 1122255 1 - 0.0000 -
1675.08/1680.29 c 1680 1424154 1124078 1 - 0.0000 -
1680.16/1685.37 c 1685 1426170 1125641 1 - 0.0000 -
1685.26/1690.43 c 1690 1428610 1127578 1 - 0.0000 -
1690.24/1695.49 c 1696 1431276 1129880 1 - 0.0000 -
1695.33/1700.55 c 1701 1434316 1131996 1 - 0.0000 -
1700.41/1705.64 c 1706 1436890 1133670 1 - 0.0000 -
1705.40/1710.69 c 1711 1439874 1136455 1 - 0.0000 -
1710.48/1715.75 c 1716 1442292 1138440 1 - 0.0000 -
1715.57/1720.80 c 1721 1444700 1140404 1 - 0.0000 -
1720.56/1725.88 c 1726 1447218 1142650 1 - 0.0000 -
1725.64/1730.94 c 1731 1449664 1144691 1 - 0.0000 -
1730.74/1736.00 c 1736 1451655 1145954 1 - 0.0000 -
1735.82/1741.13 c 1741 1453559 1147375 1 - 0.0000 -
1740.91/1746.21 c 1746 1455943 1149555 1 - 0.0000 -
1745.89/1751.27 c 1751 1458230 1151543 1 - 0.0000 -
1750.98/1756.32 c 1756 1460295 1153200 1 - 0.0000 -
1755.96/1761.38 c 1761 1462649 1155144 1 - 0.0000 -
1761.05/1766.45 c 1766 1464836 1156564 1 - 0.0000 -
1766.14/1771.58 c 1772 1467334 1158506 1 - 0.0000 -
1771.22/1776.66 c 1777 1469782 1160417 1 - 0.0000 -
1776.31/1781.77 c 1782 1471690 1161921 1 - 0.0000 -
1781.39/1786.82 c 1787 1474045 1163848 1 - 0.0000 -
1786.38/1791.88 c 1792 1476251 1165712 1 - 0.0000 -
1791.47/1796.94 c 1797 1478448 1167432 1 - 0.0000 -
1796.56/1802.02 c 1802 1480998 1169775 1 - 0.0000 -
1801.55/1807.09 c 1807 1483976 1172641 1 - 0.0000 -
1806.64/1812.19 c 1812 1486123 1174322 1 - 0.0000 -
1811.72/1817.27 c 1817 1488450 1176292 1 - 0.0000 -
1816.80/1822.33 c 1822 1490464 1177701 1 - 0.0000 -
1821.89/1827.43 c 1827 1492678 1179517 1 - 0.0000 -
1826.88/1832.49 c 1832 1494796 1181273 1 - 0.0000 -
1831.96/1837.56 c 1838 1496626 1182545 1 - 0.0000 -
1837.05/1842.67 c 1843 1498550 1183770 1 - 0.0000 -
1842.14/1847.75 c 1848 1500596 1185447 1 - 0.0000 -
1847.23/1852.84 c 1853 1502718 1187124 1 - 0.0000 -
1852.21/1857.89 c 1858 1504714 1188787 1 - 0.0000 -
1857.29/1862.98 c 1863 1506515 1190237 1 - 0.0000 -
1862.39/1868.06 c 1868 1508735 1191770 1 - 0.0000 -
1867.47/1873.14 c 1873 1510702 1193335 1 - 0.0000 -
1872.55/1878.23 c 1878 1512849 1195221 1 - 0.0000 -
1877.74/1883.40 c 1883 1515157 1196993 1 - 0.0000 -
1882.82/1888.50 c 1889 1517238 1198916 1 - 0.0000 -
1887.91/1893.61 c 1894 1519652 1200760 1 - 0.0000 -
1892.90/1898.69 c 1899 1521834 1202507 1 - 0.0000 -
1897.98/1903.78 c 1904 1523713 1203917 1 - 0.0000 -
1903.07/1908.88 c 1909 1525658 1205322 1 - 0.0000 -
1908.15/1913.97 c 1914 1527633 1206613 1 - 0.0000 -
1913.25/1919.07 c 1919 1530098 1208568 1 - 0.0000 -
1918.33/1924.19 c 1924 1532078 1210043 1 - 0.0000 -
1923.42/1929.25 c 1929 1534001 1211690 1 - 0.0000 -
1928.50/1934.32 c 1934 1535603 1212610 1 - 0.0000 -
1933.58/1939.44 c 1939 1537560 1214330 1 - 0.0000 -
1938.67/1944.52 c 1945 1539510 1215983 1 - 0.0000 -
1943.76/1949.61 c 1950 1541888 1218223 1 - 0.0000 -
1948.85/1954.74 c 1955 1543922 1219965 1 - 0.0000 -
1953.93/1959.84 c 1960 1546301 1221886 1 - 0.0000 -
1959.02/1964.92 c 1965 1548726 1223838 1 - 0.0000 -
1964.11/1970.05 c 1970 1550794 1225241 1 - 0.0000 -
1969.19/1975.15 c 1975 1552870 1226820 1 - 0.0000 -
1974.27/1980.27 c 1980 1555317 1228461 1 - 0.0000 -
1979.46/1985.40 c 1985 1557428 1230075 1 - 0.0000 -
1984.44/1990.45 c 1990 1559524 1231431 1 - 0.0000 -
1989.53/1995.53 c 1996 1561515 1232909 1 - 0.0000 -
1994.61/2000.62 c 2001 1563310 1234247 1 - 0.0000 -
1999.70/2005.70 c 2006 1565189 1235668 1 - 0.0000 -
2004.69/2010.78 c 2011 1566981 1236754 1 - 0.0000 -
2009.77/2015.84 c 2016 1569170 1238455 1 - 0.0000 -
2014.86/2020.92 c 2021 1571261 1240111 1 - 0.0000 -
2019.95/2026.00 c 2026 1573305 1241726 1 - 0.0000 -
2024.94/2031.05 c 2031 1575203 1242943 1 - 0.0000 -
2029.92/2036.10 c 2036 1577757 1244821 1 - 0.0000 -
2035.01/2041.19 c 2041 1580345 1246728 1 - 0.0000 -
2040.09/2046.24 c 2046 1582642 1248579 1 - 0.0000 -
2045.08/2051.30 c 2051 1584324 1249789 1 - 0.0000 -
2050.16/2056.35 c 2056 1586123 1251177 1 - 0.0000 -
2055.25/2061.44 c 2061 1588243 1252756 1 - 0.0000 -
2060.34/2066.50 c 2067 1590227 1254181 1 - 0.0000 -
2065.32/2071.57 c 2072 1591997 1255418 1 - 0.0000 -
2070.40/2076.62 c 2077 1593993 1257086 1 - 0.0000 -
2075.40/2081.69 c 2082 1596470 1259178 1 - 0.0000 -
2080.47/2086.77 c 2087 1598371 1260786 1 - 0.0000 -
2085.56/2091.84 c 2092 1600075 1262072 1 - 0.0000 -
2090.54/2096.89 c 2097 1601930 1263714 1 - 0.0000 -
2095.62/2101.99 c 2102 1604010 1265506 1 - 0.0000 -
2100.70/2107.06 c 2107 1605376 1266413 1 - 0.0000 -
2105.79/2112.14 c 2112 1607080 1267651 1 - 0.0000 -
2110.87/2117.25 c 2117 1608702 1268873 1 - 0.0000 -
2115.95/2122.31 c 2122 1610624 1270289 1 - 0.0000 -
2120.93/2127.38 c 2127 1612476 1271601 1 - 0.0000 -
2126.02/2132.46 c 2132 1614109 1272825 1 - 0.0000 -
2131.10/2137.58 c 2138 1616653 1275238 1 - 0.0000 -
2136.18/2142.64 c 2143 1619273 1277593 1 - 0.0000 -
2141.26/2147.70 c 2148 1621415 1279461 1 - 0.0000 -
2146.23/2152.75 c 2153 1623430 1281119 1 - 0.0000 -
2151.32/2157.88 c 2158 1625269 1282582 1 - 0.0000 -
2156.50/2163.01 c 2163 1627239 1284211 1 - 0.0000 -
2161.59/2168.12 c 2168 1629258 1285819 1 - 0.0000 -
2166.66/2173.25 c 2173 1631158 1287312 1 - 0.0000 -
2171.75/2178.36 c 2178 1632883 1288856 1 - 0.0000 -
2176.83/2183.44 c 2183 1634638 1290405 1 - 0.0000 -
2181.91/2188.55 c 2189 1636328 1291832 1 - 0.0000 -
2186.99/2193.63 c 2194 1638398 1293441 1 - 0.0000 -
2192.07/2198.72 c 2199 1640373 1295226 1 - 0.0000 -
2197.05/2203.79 c 2204 1642010 1296672 1 - 0.0000 -
2202.24/2208.98 c 2209 1643935 1298150 1 - 0.0000 -
2207.32/2214.07 c 2214 1645732 1299471 1 - 0.0000 -
2212.41/2219.15 c 2219 1647578 1301032 1 - 0.0000 -
2217.48/2224.27 c 2224 1649229 1302376 1 - 0.0000 -
2222.57/2229.33 c 2229 1651116 1303972 1 - 0.0000 -
2227.65/2234.41 c 2234 1652832 1305349 1 - 0.0000 -
2232.64/2239.49 c 2240 1654863 1306809 1 - 0.0000 -
2237.72/2244.56 c 2245 1656942 1308701 1 - 0.0000 -
2242.81/2249.61 c 2250 1658856 1310277 1 - 0.0000 -
2247.79/2254.69 c 2255 1660557 1311432 1 - 0.0000 -
2252.87/2259.79 c 2260 1662402 1312801 1 - 0.0000 -
2257.96/2264.87 c 2265 1664436 1314211 1 - 0.0000 -
2263.04/2269.92 c 2270 1666208 1315277 1 - 0.0000 -
2268.02/2274.99 c 2275 1667844 1316612 1 - 0.0000 -
2273.11/2280.07 c 2280 1670143 1318510 1 - 0.0000 -
2278.20/2285.11 c 2285 1672251 1320279 1 - 0.0000 -
2283.18/2290.17 c 2290 1673761 1321249 1 - 0.0000 -
2288.25/2295.21 c 2295 1675508 1322582 1 - 0.0000 -
2293.35/2300.33 c 2300 1677470 1324102 1 - 0.0000 -
2298.42/2305.43 c 2305 1679493 1325691 1 - 0.0000 -
2303.51/2310.51 c 2311 1681689 1327428 1 - 0.0000 -
2308.59/2315.64 c 2316 1683996 1329102 1 - 0.0000 -
2313.68/2320.70 c 2321 1686416 1331010 1 - 0.0000 -
2318.66/2325.77 c 2326 1688395 1332614 1 - 0.0000 -
2323.75/2330.84 c 2331 1690662 1334730 1 - 0.0000 -
2328.83/2335.90 c 2336 1692640 1336290 1 - 0.0000 -
2333.82/2340.97 c 2341 1694187 1337336 1 - 0.0000 -
2338.91/2346.03 c 2346 1696230 1338789 1 - 0.0000 -
2343.89/2351.08 c 2351 1698016 1339984 1 - 0.0000 -
2348.98/2356.15 c 2356 1700431 1341872 1 - 0.0000 -
2354.06/2361.21 c 2361 1702781 1343974 1 - 0.0000 -
2359.14/2366.33 c 2366 1704929 1345828 1 - 0.0000 -
2364.12/2371.39 c 2371 1707203 1347858 1 - 0.0000 -
2369.21/2376.46 c 2376 1709045 1349117 1 - 0.0000 -
2374.29/2381.51 c 2382 1710909 1350761 1 - 0.0000 -
2379.28/2386.59 c 2387 1713294 1352468 1 - 0.0000 -
2384.36/2391.66 c 2392 1715480 1354259 1 - 0.0000 -
2389.45/2396.75 c 2397 1717412 1355745 1 - 0.0000 -
2394.53/2401.84 c 2402 1719600 1357649 1 - 0.0000 -
2399.62/2406.94 c 2407 1722135 1359434 1 - 0.0000 -
2404.60/2411.99 c 2412 1724585 1361626 1 - 0.0000 -
2409.70/2417.04 c 2417 1727023 1363501 1 - 0.0000 -
2414.68/2422.10 c 2422 1729738 1365848 1 - 0.0000 -
2419.76/2427.16 c 2427 1732033 1367559 1 - 0.0000 -
2424.84/2432.23 c 2432 1734032 1368906 1 - 0.0000 -
2429.92/2437.30 c 2437 1736743 1370943 1 - 0.0000 -
2434.90/2442.35 c 2442 1739670 1372757 1 - 0.0000 -
2440.00/2447.45 c 2447 1741720 1374267 1 - 0.0000 -
2445.08/2452.55 c 2453 1744362 1376382 1 - 0.0000 -
2450.16/2457.64 c 2458 1746972 1378835 1 - 0.0000 -
2455.14/2462.69 c 2463 1749531 1380888 1 - 0.0000 -
2460.23/2467.78 c 2468 1751738 1382660 1 - 0.0000 -
2465.31/2472.84 c 2473 1754005 1384496 1 - 0.0000 -
2470.40/2477.91 c 2478 1756291 1386352 1 - 0.0000 -
2475.37/2482.97 c 2483 1758794 1388609 1 - 0.0000 -
2480.46/2488.02 c 2488 1761066 1390080 1 - 0.0000 -
2485.44/2493.10 c 2493 1763603 1392148 1 - 0.0000 -
2490.52/2498.17 c 2498 1766027 1394044 1 - 0.0000 -
2495.60/2503.22 c 2503 1768548 1396213 1 - 0.0000 -
2500.69/2508.32 c 2508 1770942 1398054 1 - 0.0000 -
2505.77/2513.40 c 2513 1773054 1399542 1 - 0.0000 -
2510.75/2518.49 c 2518 1775471 1401703 1 - 0.0000 -
2515.84/2523.55 c 2524 1777780 1403572 1 - 0.0000 -
2520.92/2528.65 c 2529 1780342 1405412 1 - 0.0000 -
2526.01/2533.72 c 2534 1783132 1407952 1 - 0.0000 -
2531.09/2538.81 c 2539 1785662 1410010 1 - 0.0000 -
2536.08/2543.89 c 2544 1787589 1411250 1 - 0.0000 -
2541.16/2548.94 c 2549 1790082 1413368 1 - 0.0000 -
2546.25/2554.03 c 2554 1792821 1415278 1 - 0.0000 -
2551.24/2559.08 c 2559 1795257 1417016 1 - 0.0000 -
2556.32/2564.13 c 2564 1798536 1419469 1 - 0.0000 -
2561.40/2569.23 c 2569 1801211 1421295 1 - 0.0000 -
2566.47/2574.33 c 2574 1804154 1423206 1 - 0.0000 -
2571.46/2579.38 c 2579 1806799 1425276 1 - 0.0000 -
2576.55/2584.46 c 2584 1809156 1426901 1 - 0.0000 -
2581.63/2589.52 c 2590 1811507 1428630 1 - 0.0000 -
2586.71/2594.61 c 2595 1814503 1431297 1 - 0.0000 -
2591.70/2599.67 c 2600 1817020 1433178 1 - 0.0000 -
2596.79/2604.72 c 2605 1819574 1435196 1 - 0.0000 -
2601.77/2609.78 c 2610 1822267 1437333 1 - 0.0000 -
2606.85/2614.83 c 2615 1825209 1439156 1 - 0.0000 -
2611.94/2619.90 c 2620 1828301 1441436 1 - 0.0000 -
2616.92/2624.95 c 2625 1831325 1444216 1 - 0.0000 -
2622.00/2630.01 c 2630 1834366 1446448 1 - 0.0000 -
2626.99/2635.07 c 2635 1837460 1449076 1 - 0.0000 -
2632.08/2640.12 c 2640 1840528 1451639 1 - 0.0000 -
2637.06/2645.18 c 2645 1843385 1454030 1 - 0.0000 -
2642.13/2650.24 c 2650 1846266 1456508 1 - 0.0000 -
2647.12/2655.29 c 2655 1849209 1459261 1 - 0.0000 -
2652.20/2660.37 c 2660 1852089 1461611 1 - 0.0000 -
2657.28/2665.44 c 2665 1854882 1464138 1 - 0.0000 -
2662.36/2670.53 c 2671 1857944 1466711 1 - 0.0000 -
2667.44/2675.60 c 2676 1861022 1468587 1 - 0.0000 -
2672.43/2680.65 c 2681 1863667 1470438 1 - 0.0000 -
2677.51/2685.74 c 2686 1866531 1472509 1 - 0.0000 -
2682.49/2690.78 c 2691 1869494 1475093 1 - 0.0000 -
2687.57/2695.83 c 2696 1872702 1477725 1 - 0.0000 -
2692.55/2700.88 c 2701 1875969 1479875 1 - 0.0000 -
2697.62/2705.93 c 2706 1878620 1481213 1 - 0.0000 -
2702.71/2711.01 c 2711 1881949 1483784 1 - 0.0000 -
2707.69/2716.08 c 2716 1885622 1486578 1 - 0.0000 -
2712.78/2721.13 c 2721 1889674 1489068 1 - 0.0000 -
2717.85/2726.20 c 2726 1893144 1491556 1 - 0.0000 -
2722.83/2731.25 c 2731 1896421 1493527 1 - 0.0000 -
2727.91/2736.33 c 2736 1899738 1495534 1 - 0.0000 -
2732.89/2741.40 c 2741 1902695 1496942 1 - 0.0000 -
2737.98/2746.44 c 2746 1905525 1498322 1 - 0.0000 -
2742.95/2751.49 c 2752 1907652 1498542 1 - 0.0000 -
2748.04/2756.54 c 2757 1910111 1498890 1 - 0.0000 -
2753.01/2761.59 c 2762 1912275 1499297 1 - 0.0000 -
2758.10/2766.64 c 2767 1914605 1499657 1 - 0.0000 -
2763.08/2771.69 c 2772 1916792 1499999 1 - 0.0000 -
2768.16/2776.74 c 2777 1919124 1500373 1 - 0.0000 -
2773.14/2781.79 c 2782 1921346 1500632 1 - 0.0000 -
2778.23/2786.84 c 2787 1923717 1500916 1 - 0.0000 -
2783.31/2791.90 c 2792 1926375 1501899 1 - 0.0000 -
2788.29/2796.95 c 2797 1929046 1503770 1 - 0.0000 -
2793.37/2802.03 c 2802 1931440 1505353 1 - 0.0000 -
2798.35/2807.08 c 2807 1933867 1506834 1 - 0.0000 -
2803.53/2812.20 c 2812 1936281 1508437 1 - 0.0000 -
2808.52/2817.25 c 2817 1938605 1510054 1 - 0.0000 -
2813.59/2822.33 c 2822 1940997 1512055 1 - 0.0000 -
2818.58/2827.38 c 2827 1943644 1513933 1 - 0.0000 -
2823.66/2832.46 c 2832 1946150 1516035 1 - 0.0000 -
2828.74/2837.51 c 2838 1948879 1517693 1 - 0.0000 -
2833.73/2842.56 c 2843 1951369 1519574 1 - 0.0000 -
2838.81/2847.61 c 2848 1954371 1521340 1 - 0.0000 -
2843.80/2852.69 c 2853 1957148 1522679 1 - 0.0000 -
2848.88/2857.74 c 2858 1959211 1523623 1 - 0.0000 -
2853.98/2862.83 c 2863 1961672 1525440 1 - 0.0000 -
2859.05/2867.91 c 2868 1963917 1527292 1 - 0.0000 -
2864.14/2873.00 c 2873 1966337 1528733 1 - 0.0000 -
2869.14/2878.07 c 2878 1968502 1530119 1 - 0.0000 -
2874.22/2883.15 c 2883 1969859 1530640 1 - 0.0000 -
2879.30/2888.20 c 2888 1972442 1532756 1 - 0.0000 -
2884.28/2893.27 c 2893 1974857 1534433 1 - 0.0000 -
2889.37/2898.37 c 2898 1977009 1535824 1 - 0.0000 -
2894.45/2903.44 c 2903 1979190 1537360 1 - 0.0000 -
2899.54/2908.54 c 2909 1982045 1539483 1 - 0.0000 -
2904.53/2913.59 c 2914 1984638 1540697 1 - 0.0000 -
2909.61/2918.64 c 2919 1986551 1541770 1 - 0.0000 -
2914.70/2923.72 c 2924 1988972 1543709 1 - 0.0000 -
2919.68/2928.77 c 2929 1991262 1545411 1 - 0.0000 -
2924.76/2933.84 c 2934 1993534 1546751 1 - 0.0000 -
2929.85/2938.90 c 2939 1995861 1547701 1 - 0.0000 -
2934.84/2943.96 c 2944 1998183 1549238 1 - 0.0000 -
2939.92/2949.06 c 2949 2000112 1550477 1 - 0.0000 -
2945.01/2954.13 c 2954 2002279 1551557 1 - 0.0000 -
2950.00/2959.18 c 2959 2004379 1553275 1 - 0.0000 -
2955.07/2964.23 c 2964 2007109 1555628 1 - 0.0000 -
2960.06/2969.28 c 2969 2009495 1557274 1 - 0.0000 -
2965.14/2974.34 c 2974 2012247 1558983 1 - 0.0000 -
2970.23/2979.42 c 2979 2014740 1560979 1 - 0.0000 -
2975.21/2984.47 c 2984 2017194 1563079 1 - 0.0000 -
2980.30/2989.56 c 2990 2019743 1564865 1 - 0.0000 -
2985.38/2994.60 c 2995 2022697 1567405 1 - 0.0000 -
2990.47/2999.70 c 3000 2025560 1569749 1 - 0.0000 -
2995.45/3004.78 c 3005 2028132 1571638 1 - 0.0000 -
3000.54/3009.84 c 3010 2030726 1573460 1 - 0.0000 -
3005.62/3014.96 c 3015 2033258 1575019 1 - 0.0000 -
3010.71/3020.04 c 3020 2035460 1576647 1 - 0.0000 -
3015.69/3025.09 c 3025 2037974 1578019 1 - 0.0000 -
3020.88/3030.22 c 3030 2040522 1579542 1 - 0.0000 -
3025.86/3035.28 c 3035 2042832 1581223 1 - 0.0000 -
3030.94/3040.33 c 3040 2045061 1582658 1 - 0.0000 -
3036.03/3045.41 c 3045 2047094 1583895 1 - 0.0000 -
3041.02/3050.49 c 3050 2049377 1585396 1 - 0.0000 -
3046.10/3055.58 c 3056 2051454 1586910 1 - 0.0000 -
3051.19/3060.64 c 3061 2053517 1588539 1 - 0.0000 -
3056.28/3065.70 c 3066 2055530 1589893 1 - 0.0000 -
3061.26/3070.78 c 3071 2057413 1591061 1 - 0.0000 -
3066.34/3075.84 c 3076 2059763 1593295 1 - 0.0000 -
3071.43/3080.90 c 3081 2062278 1595436 1 - 0.0000 -
3076.52/3086.05 c 3086 2064642 1597181 1 - 0.0000 -
3081.61/3091.11 c 3091 2067326 1599532 1 - 0.0000 -
3086.59/3096.18 c 3096 2069629 1601245 1 - 0.0000 -
3091.67/3101.23 c 3101 2072074 1602976 1 - 0.0000 -
3096.75/3106.31 c 3106 2074298 1604352 1 - 0.0000 -
3101.74/3111.36 c 3111 2076533 1605915 1 - 0.0000 -
3106.82/3116.43 c 3116 2078780 1607510 1 - 0.0000 -
3111.91/3121.52 c 3122 2081248 1609184 1 - 0.0000 -
3116.89/3126.59 c 3127 2083486 1610351 1 - 0.0000 -
3121.98/3131.66 c 3132 2085835 1612247 1 - 0.0000 -
3127.07/3136.71 c 3137 2088094 1613568 1 - 0.0000 -
3132.05/3141.77 c 3142 2090329 1614772 1 - 0.0000 -
3137.14/3146.82 c 3147 2092021 1615290 1 - 0.0000 -
3142.22/3151.91 c 3152 2093990 1616182 1 - 0.0000 -
3147.21/3156.99 c 3157 2096778 1617083 1 - 0.0000 -
3152.30/3162.04 c 3162 2098896 1618455 1 - 0.0000 -
3157.38/3167.11 c 3167 2100644 1619546 1 - 0.0000 -
3162.46/3172.21 c 3172 2102787 1620953 1 - 0.0000 -
3167.45/3177.26 c 3177 2105403 1623020 1 - 0.0000 -
3172.54/3182.37 c 3182 2107894 1625149 1 - 0.0000 -
3177.62/3187.43 c 3187 2110581 1627306 1 - 0.0000 -
3182.62/3192.48 c 3192 2112936 1629355 1 - 0.0000 -
3187.70/3197.55 c 3198 2115025 1630807 1 - 0.0000 -
3192.79/3202.63 c 3203 2117407 1632803 1 - 0.0000 -
3197.77/3207.69 c 3208 2119497 1634605 1 - 0.0000 -
3202.86/3212.76 c 3213 2121741 1636398 1 - 0.0000 -
3207.94/3217.81 c 3218 2124534 1638206 1 - 0.0000 -
3212.93/3222.89 c 3223 2126241 1639253 1 - 0.0000 -
3218.02/3227.94 c 3228 2128345 1640714 1 - 0.0000 -
3223.11/3233.01 c 3233 2130287 1641947 1 - 0.0000 -
3228.20/3238.14 c 3238 2131940 1643039 1 - 0.0000 -
3233.27/3243.22 c 3243 2133805 1644334 1 - 0.0000 -
3238.26/3248.28 c 3248 2136084 1646295 1 - 0.0000 -
3243.35/3253.33 c 3253 2138160 1647674 1 - 0.0000 -
3248.44/3258.41 c 3258 2140474 1649213 1 - 0.0000 -
3253.42/3263.46 c 3263 2142685 1650651 1 - 0.0000 -
3258.60/3268.61 c 3269 2144610 1651769 1 - 0.0000 -
3263.60/3273.67 c 3274 2146593 1653498 1 - 0.0000 -
3268.68/3278.73 c 3279 2148751 1655111 1 - 0.0000 -
3273.76/3283.80 c 3284 2151087 1657056 1 - 0.0000 -
3278.75/3288.87 c 3289 2153017 1658326 1 - 0.0000 -
3283.84/3293.97 c 3294 2154943 1659922 1 - 0.0000 -
3288.94/3299.04 c 3299 2157172 1661432 1 - 0.0000 -
3294.02/3304.12 c 3304 2158914 1662530 1 - 0.0000 -
3299.00/3309.18 c 3309 2160718 1663704 1 - 0.0000 -
3304.09/3314.25 c 3314 2162363 1664738 1 - 0.0000 -
3309.17/3319.33 c 3319 2164457 1666253 1 - 0.0000 -
3314.26/3324.40 c 3324 2166888 1668220 1 - 0.0000 -
3319.34/3329.50 c 3330 2169305 1670104 1 - 0.0000 -
3324.33/3334.57 c 3335 2171930 1672417 1 - 0.0000 -
3329.42/3339.61 c 3340 2174297 1673927 1 - 0.0000 -
3334.40/3344.67 c 3345 2176232 1675012 1 - 0.0000 -
3339.49/3349.72 c 3350 2178734 1676863 1 - 0.0000 -
3344.48/3354.79 c 3355 2180499 1677929 1 - 0.0000 -
3349.56/3359.84 c 3360 2182385 1679297 1 - 0.0000 -
3354.54/3364.89 c 3365 2184587 1681013 1 - 0.0000 -
3359.63/3369.98 c 3370 2186253 1682205 1 - 0.0000 -
3364.72/3375.06 c 3375 2188301 1683598 1 - 0.0000 -
3369.80/3380.14 c 3380 2190400 1685153 1 - 0.0000 -
3374.88/3385.23 c 3385 2192116 1686421 1 - 0.0000 -
3379.88/3390.29 c 3390 2193917 1687777 1 - 0.0000 -
3384.96/3395.38 c 3395 2196112 1689563 1 - 0.0000 -
3390.04/3400.46 c 3400 2198292 1691126 1 - 0.0000 -
3395.13/3405.51 c 3406 2200169 1692470 1 - 0.0000 -
3400.11/3410.56 c 3411 2201930 1693723 1 - 0.0000 -
3405.20/3415.62 c 3416 2203932 1695083 1 - 0.0000 -
3410.18/3420.68 c 3421 2206438 1697249 1 - 0.0000 -
3415.27/3425.73 c 3426 2207918 1698161 1 - 0.0000 -
3420.26/3430.78 c 3431 2209637 1699536 1 - 0.0000 -
3425.35/3435.85 c 3436 2211606 1701081 1 - 0.0000 -
3430.43/3440.94 c 3441 2213601 1702751 1 - 0.0000 -
3435.52/3446.04 c 3446 2215172 1703719 1 - 0.0000 -
3440.69/3451.20 c 3451 2217177 1705532 1 - 0.0000 -
3445.68/3456.26 c 3456 2219284 1707368 1 - 0.0000 -
3450.76/3461.36 c 3461 2221559 1709389 1 - 0.0000 -
3455.85/3466.46 c 3466 2224179 1711819 1 - 0.0000 -
3460.94/3471.52 c 3472 2226296 1713575 1 - 0.0000 -
3465.92/3476.58 c 3477 2228414 1715656 1 - 0.0000 -
3471.00/3481.64 c 3482 2230493 1717628 1 - 0.0000 -
3475.99/3486.69 c 3487 2233248 1720116 1 - 0.0000 -
3481.07/3491.75 c 3492 2235326 1721370 1 - 0.0000 -
3486.16/3496.80 c 3497 2237322 1722733 1 - 0.0000 -
3491.15/3501.88 c 3502 2239575 1724512 1 - 0.0000 -
3496.23/3506.93 c 3507 2241482 1725663 1 - 0.0000 -
3501.22/3511.99 c 3512 2243589 1727711 1 - 0.0000 -
3506.30/3517.06 c 3517 2245733 1729488 1 - 0.0000 -
3511.39/3522.13 c 3522 2247996 1730969 1 - 0.0000 -
3516.47/3527.21 c 3527 2250024 1732502 1 - 0.0000 -
3521.46/3532.27 c 3532 2251922 1733358 1 - 0.0000 -
3526.54/3537.37 c 3537 2253784 1734603 1 - 0.0000 -
3531.63/3542.44 c 3542 2255618 1735653 1 - 0.0000 -
3536.62/3547.48 c 3547 2257553 1736871 1 - 0.0000 -
3541.70/3552.55 c 3553 2259226 1737759 1 - 0.0000 -
3546.69/3557.59 c 3558 2261080 1738950 1 - 0.0000 -
3551.78/3562.65 c 3563 2262783 1739984 1 - 0.0000 -
3556.86/3567.74 c 3568 2264896 1741438 1 - 0.0000 -
3561.85/3572.79 c 3573 2266844 1742574 1 - 0.0000 -
3566.93/3577.84 c 3578 2268964 1743679 1 - 0.0000 -
3572.02/3582.90 c 3583 2270773 1744622 1 - 0.0000 -
3577.00/3587.96 c 3588 2272152 1745043 1 - 0.0000 -
3582.09/3593.04 c 3593 2274128 1746124 1 - 0.0000 -
3587.07/3598.09 c 3598 2276001 1747598 1 - 0.0000 -
3590.95/3601.93 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.95/3601.93 c Total Time : 3601.9400
3590.95/3601.93 c solving : 3601.9400
3590.95/3601.93 c presolving : 0.0119 (included in solving)
3590.95/3601.93 c B&B Tree :
3590.95/3601.93 c nodes (total) : 1
3590.95/3601.93 c Solution :
3590.95/3601.93 c Solutions found : 0
3590.95/3601.93 c Primal Bound : -
3590.95/3601.93 c Dual Bound : +0.00000000000000e+00
3590.95/3601.93 c Gap : -
3590.95/3601.95 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61014 MiB free)
memory of node 1: 64510 MiB (62859 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447970-1721361279/watcher-4447970-1721361279 -o /tmp/evaluation-result-4447970-1721361279/solver-4447970-1721361279 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721361246-1011503 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447970-1721361279.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=1011676, runsolver pid=1011673
[startup+0.100086 s]*
/proc/loadavg: 2.68 2.27 3.08 5/267 1011679
/proc/meminfo: memFree=126819040/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=118960 memory=38036 CPUtime=0.1 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 6843 0 0 0 9 1 0 0 20 0 3 0 188292072 121815040 9509 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 29740 9509 2926 3032 0 13719 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=118960 memory=4026561586 CPUtime=0.07 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 3302 0 0 0 7 0 0 0 20 0 3 0 188292074 121815040 9509 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=118960 memory=237146210664 CPUtime=0 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188292074 121815040 9509 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 118960 KiB
Current children cumulated memory: 38036 KiB
[startup+0.20567 s]*
/proc/loadavg: 2.68 2.27 3.08 5/267 1011679
/proc/meminfo: memFree=126813160/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=118960 memory=43240 CPUtime=0.2 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 8345 0 0 0 19 1 0 0 20 0 3 0 188292072 121815040 10810 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 29740 10810 2926 3032 0 15063 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=118960 memory=6876556183782621315 CPUtime=0.18 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 4804 0 0 0 17 1 0 0 20 0 3 0 188292074 121815040 10810 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=118960 memory=19020 CPUtime=0 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188292074 121815040 10810 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 118960 KiB
Current children cumulated memory: 43240 KiB
[startup+0.305637 s]*
/proc/loadavg: 2.68 2.27 3.08 5/267 1011679
/proc/meminfo: memFree=126810948/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=118960 memory=45348 CPUtime=0.3 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 8919 0 0 0 29 1 0 0 20 0 3 0 188292072 121815040 11337 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 29740 11337 2926 3032 0 15470 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=118960 memory=-7880590079455158399 CPUtime=0.28 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 5378 0 0 0 27 1 0 0 20 0 3 0 188292074 121815040 11337 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=118960 memory=0 CPUtime=0 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188292074 121815040 11337 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 118960 KiB
Current children cumulated memory: 45348 KiB
[startup+0.700189 s]
/proc/loadavg: 2.68 2.27 3.08 5/267 1011679
/proc/meminfo: memFree=126808848/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=118960 memory=48988 CPUtime=0.68 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 10774 0 0 0 67 1 0 0 20 0 3 0 188292072 121815040 12247 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 29740 12247 2926 3032 0 16677 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=118960 memory=0 CPUtime=0.66 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 7233 0 0 0 65 1 0 0 20 0 3 0 188292074 121815040 12247 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=118960 memory=0 CPUtime=0 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188292074 121815040 12247 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 118960 KiB
Current children cumulated memory: 48988 KiB
[startup+1.50023 s]
/proc/loadavg: 2.79 2.30 3.08 5/267 1011679
/proc/meminfo: memFree=126804060/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=118960 memory=53824 CPUtime=1.48 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 18893 0 0 0 146 2 0 0 20 0 3 0 188292072 121815040 13456 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 29740 13456 2942 3032 0 17329 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=118960 memory=0 CPUtime=1.46 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 15337 0 0 0 144 2 0 0 20 0 3 0 188292074 121815040 13456 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=118960 memory=0 CPUtime=0 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188292074 121815040 13456 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 118960 KiB
Current children cumulated memory: 53824 KiB
[startup+3.10551 s]
/proc/loadavg: 2.79 2.30 3.08 5/267 1011679
/proc/meminfo: memFree=126793364/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=118960 memory=58016 CPUtime=3.08 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 23765 0 0 0 305 3 0 0 20 0 3 0 188292072 121815040 14504 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 29740 14504 2942 3032 0 18392 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=118960 memory=0 CPUtime=3.06 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 20206 0 0 0 303 3 0 0 20 0 3 0 188292074 121815040 14504 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=118960 memory=3472566934076747765 CPUtime=0 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 188292074 121815040 14504 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 118960 KiB
Current children cumulated memory: 58016 KiB
[startup+6.30023 s]
/proc/loadavg: 2.89 2.32 3.09 5/267 1011679
/proc/meminfo: memFree=126780704/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=118960 memory=63140 CPUtime=6.28 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 44647 0 0 0 621 7 0 0 20 0 3 0 188292072 121815040 15785 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 29740 15785 2942 3032 0 19666 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=118960 memory=0 CPUtime=6.25 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 41065 0 0 0 619 6 0 0 20 0 3 0 188292074 121815040 15785 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=118960 memory=11604 CPUtime=0 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 188292074 121815040 15785 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 118960 KiB
Current children cumulated memory: 63140 KiB
[startup+12.7002 s]
/proc/loadavg: 3.06 2.37 3.10 5/267 1011680
/proc/meminfo: memFree=126755172/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=118960 memory=75328 CPUtime=12.66 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 69365 0 0 0 1256 10 0 0 20 0 3 0 188292072 121815040 18832 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 29740 18832 2990 3032 0 23034 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=118960 memory=11604 CPUtime=12.63 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 65747 0 0 0 1254 9 0 0 20 0 3 0 188292074 121815040 18832 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=118960 memory=46536 CPUtime=0 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 188292074 121815040 18832 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 118960 KiB
Current children cumulated memory: 75328 KiB
[startup+25.5002 s]
/proc/loadavg: 3.20 2.42 3.11 5/267 1012064
/proc/meminfo: memFree=126722376/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=118960 memory=79344 CPUtime=25.42 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 92932 0 0 0 2526 16 0 0 20 0 3 0 188292072 121815040 19836 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 29740 19836 2990 3032 0 23791 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=118960 memory=79324 CPUtime=25.38 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 89259 0 0 0 2523 15 0 0 20 0 3 0 188292074 121815040 19836 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=118960 memory=11604 CPUtime=0 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 188292074 121815040 19836 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 118960 KiB
Current children cumulated memory: 79344 KiB
[startup+51.1055 s]
/proc/loadavg: 3.52 2.58 3.14 5/265 1012068
/proc/meminfo: memFree=126629632/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=184496 memory=106668 CPUtime=50.94 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 130107 0 0 0 5069 25 0 0 20 0 3 0 188292072 188923904 26667 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 46124 26667 2990 3032 0 30269 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=184496 memory=11604 CPUtime=50.91 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 126355 0 0 0 5067 24 0 0 20 0 3 0 188292074 188923904 26667 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=184496 memory=103044 CPUtime=0 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 188292074 188923904 26667 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 184496 KiB
Current children cumulated memory: 106668 KiB
[startup+102.3 s]
/proc/loadavg: 3.83 2.81 3.19 5/265 1012078
/proc/meminfo: memFree=126440344/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=251060 memory=168908 CPUtime=101.96 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 195808 0 0 0 10153 43 0 0 20 0 3 0 188292072 257085440 42227 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 62765 42227 2990 3032 0 45974 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=251060 memory=154116 CPUtime=101.94 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 191973 0 0 0 10151 43 0 0 20 0 3 0 188292074 257085440 42227 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=251060 memory=11604 CPUtime=0 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 188292074 257085440 42227 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 251060 KiB
Current children cumulated memory: 168908 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 3.05 3.25 5/265 1012090
/proc/meminfo: memFree=126238456/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=317624 memory=231004 CPUtime=161.77 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 253025 0 0 0 16117 60 0 0 20 0 3 0 188292072 325246976 57751 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 79406 57751 2990 3032 0 61461 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=317624 memory=199868 CPUtime=161.74 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 249107 0 0 0 16114 60 0 0 20 0 3 0 188292074 325246976 57751 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=317624 memory=220384 CPUtime=0 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 188292074 325246976 57751 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 317624 KiB
################
# More data... #
################
/proc/1011676/statm: 423003 402707 2990 3032 0 407097 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=1692012 memory=1574992 CPUtime=3451.52 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 1664451 0 0 0 344604 548 0 0 20 0 3 0 188292074 1732620288 402707 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=1692012 memory=1608948 CPUtime=0.02 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 134 0 0 0 1 1 0 0 20 0 3 0 188292074 1732620288 402707 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 3451.77 s
Current children cumulated vsize: 1692012 KiB
Current children cumulated memory: 1610828 KiB
[startup+3522.3 s]
/proc/loadavg: 4.77 4.39 4.17 5/264 1013489
/proc/meminfo: memFree=121332604/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=1692012 memory=1627264 CPUtime=3511.58 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 1687031 0 0 0 350598 560 0 0 20 0 3 0 188292072 1732620288 406816 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 423003 406816 2990 3032 0 411145 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=1692012 memory=1610828 CPUtime=3511.34 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 1682101 0 0 0 350579 555 0 0 20 0 3 0 188292074 1732620288 406816 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=1692012 memory=46536 CPUtime=0.02 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 136 0 0 0 1 1 0 0 20 0 3 0 188292074 1732620288 406816 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 3511.58 s
Current children cumulated vsize: 1692012 KiB
Current children cumulated memory: 1627264 KiB
[startup+3582.3 s]
/proc/loadavg: 4.32 4.33 4.16 5/264 1013645
/proc/meminfo: memFree=124894192/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=1692012 memory=1638504 CPUtime=3571.42 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 1703229 0 0 0 356575 567 0 0 20 0 3 0 188292072 1732620288 409626 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 423003 409626 2990 3032 0 414323 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=1692012 memory=-7880590079455420541 CPUtime=3571.17 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 1698281 0 0 0 356556 561 0 0 20 0 3 0 188292074 1732620288 409626 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=1692012 memory=1638504 CPUtime=0.02 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 138 0 0 0 1 1 0 0 20 0 3 0 188292074 1732620288 409626 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 3571.42 s
Current children cumulated vsize: 1692012 KiB
Current children cumulated memory: 1638504 KiB
[startup+3601.95 s]
# the end of solver process 1011676 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.27 s, system=5.7524 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.32 4.33 4.16 5/264 1013645
/proc/meminfo: memFree=124891484/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=1692012 memory=1638504 CPUtime=3573.12 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 1703505 0 0 0 356745 567 0 0 20 0 3 0 188292072 1732620288 409626 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 423003 409626 2990 3032 0 414323 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=1692012 memory=32568 CPUtime=3572.87 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 1698557 0 0 0 356726 561 0 0 20 0 3 0 188292074 1732620288 409626 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=1692012 memory=33308 CPUtime=0.02 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 138 0 0 0 1 1 0 0 20 0 3 0 188292074 1732620288 409626 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 3573.12 s
Current children cumulated vsize: 1692012 KiB
Current children cumulated memory: 1638504 KiB
[startup+3590.4 s]
/proc/loadavg: 4.30 4.32 4.16 5/264 1013646
/proc/meminfo: memFree=124874972/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=1692012 memory=1639408 CPUtime=3579.49 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 1707577 0 0 0 357382 567 0 0 20 0 3 0 188292072 1732620288 409852 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 423003 409852 2990 3032 0 414547 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=1692012 memory=1638504 CPUtime=3579.25 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 1702629 0 0 0 357363 562 0 0 20 0 3 0 188292074 1732620288 409852 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=1692012 memory=-6953134261842972523 CPUtime=0.02 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 138 0 0 0 1 1 0 0 20 0 3 0 188292074 1732620288 409852 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 3579.49 s
Current children cumulated vsize: 1692012 KiB
Current children cumulated memory: 1639408 KiB
[startup+3596.8 s]
/proc/loadavg: 4.27 4.32 4.16 5/264 1013646
/proc/meminfo: memFree=124834180/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=1692012 memory=1641620 CPUtime=3585.87 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 1708533 0 0 0 358019 568 0 0 20 0 3 0 188292072 1732620288 410405 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 423003 410405 2990 3032 0 414643 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=1692012 memory=1639796 CPUtime=3585.62 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 1703585 0 0 0 358000 562 0 0 20 0 3 0 188292074 1732620288 410405 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=1692012 memory=1630824 CPUtime=0.02 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 138 0 0 0 1 1 0 0 20 0 3 0 188292074 1732620288 410405 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 3585.87 s
Current children cumulated vsize: 1692012 KiB
Current children cumulated memory: 1641620 KiB
[startup+3600 s]*
/proc/loadavg: 4.25 4.31 4.16 5/264 1013648
/proc/meminfo: memFree=124826976/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=1692012 memory=1641624 CPUtime=3589.07 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 1716930 0 0 0 358338 569 0 0 20 0 3 0 188292072 1732620288 410406 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 423003 410406 2990 3032 0 414643 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=1692012 memory=-6952571311889813353 CPUtime=3588.82 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 1712490 0 0 0 358319 563 0 0 20 0 3 0 188292074 1732620288 410406 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=1692012 memory=2740 CPUtime=0.02 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 138 0 0 0 1 1 0 0 20 0 3 0 188292074 1732620288 410406 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 3589.07 s
Current children cumulated vsize: 1692012 KiB
Current children cumulated memory: 1641624 KiB
[startup+3600.8 s]
/proc/loadavg: 4.25 4.31 4.16 5/264 1013648
/proc/meminfo: memFree=124826976/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=1692012 memory=1641624 CPUtime=3589.86 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 1775222 0 0 0 358414 572 0 0 20 0 3 0 188292072 1732620288 410406 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 423003 410406 2990 3032 0 414643 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=1692012 memory=5432 CPUtime=3589.61 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 1770272 0 0 0 358395 566 0 0 20 0 3 0 188292074 1732620288 410406 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=1692012 memory=1641624 CPUtime=0.02 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 138 0 0 0 1 1 0 0 20 0 3 0 188292074 1732620288 410406 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 3589.86 s
Current children cumulated vsize: 1692012 KiB
Current children cumulated memory: 1641624 KiB
[startup+3601.6 s]
/proc/loadavg: 4.25 4.31 4.16 5/264 1013648
/proc/meminfo: memFree=124825000/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=1692012 memory=1641624 CPUtime=3590.65 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 1781741 0 0 0 358493 572 0 0 20 0 3 0 188292072 1732620288 410406 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 423003 410406 2990 3032 0 414643 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=1692012 memory=11604 CPUtime=3590.42 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 1776791 0 0 0 358475 567 0 0 20 0 3 0 188292074 1732620288 410406 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=1692012 memory=164 CPUtime=0.02 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 138 0 0 0 1 1 0 0 20 0 3 0 188292074 1732620288 410406 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 3590.65 s
Current children cumulated vsize: 1692012 KiB
Current children cumulated memory: 1641624 KiB
[startup+3601.8 s]
/proc/loadavg: 4.25 4.31 4.16 5/264 1013648
/proc/meminfo: memFree=124825000/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=1692012 memory=1641624 CPUtime=3590.85 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 1786029 0 0 0 358513 572 0 0 20 0 3 0 188292072 1732620288 410406 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 423003 410406 2990 3032 0 414643 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=1692012 memory=1641624 CPUtime=3590.61 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 1781079 0 0 0 358494 567 0 0 20 0 3 0 188292074 1732620288 410406 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=1692012 memory=32252 CPUtime=0.02 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 138 0 0 0 1 1 0 0 20 0 3 0 188292074 1732620288 410406 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 3590.85 s
Current children cumulated vsize: 1692012 KiB
Current children cumulated memory: 1641624 KiB
[startup+3601.9 s]
/proc/loadavg: 4.25 4.31 4.16 5/264 1013648
/proc/meminfo: memFree=124825000/131524600 swapFree=131071996/131071996
[pid=1011676] ppid=1011673 vsize=1689956 memory=1639568 CPUtime=3590.95 cores=4,6
/proc/1011676/stat : 1011676 (fscip) S 1011673 1011676 1011492 0 -1 1077936128 1786360 0 0 0 358523 572 0 0 20 0 3 0 188292072 1730514944 409892 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
/proc/1011676/statm: 422489 409892 2990 3032 0 414129 0
[pid=1011676/tid=1011678] ppid=1011673 vsize=1689956 memory=1638504 CPUtime=3590.71 cores=4,6
/proc/1011676/task/1011678/stat : 1011678 (fscip) R 1011673 1011676 1011492 0 -1 4194368 1781410 0 0 0 358504 567 0 0 20 0 3 0 188292074 1730514944 409892 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
[pid=1011676/tid=1011679] ppid=1011673 vsize=1689956 memory=-6953134261842972523 CPUtime=0.02 cores=4,6
/proc/1011676/task/1011679/stat : 1011679 (fscip) S 1011673 1011676 1011492 0 -1 1077936192 138 0 0 0 1 1 0 0 20 0 3 0 188292074 1730514944 409892 134679101440 4194304 16613245 140721649351248 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 40927232 140721649353747 140721649353863 140721649353863 140721649360880 0
Current children cumulated CPU time: 3590.95 s
Current children cumulated vsize: 1689956 KiB
Current children cumulated memory: 1639568 KiB
Child status: 0
Real time (s): 3601.95
CPU time (s): 3591.02
CPU user time (s): 3585.27
CPU system time (s): 5.7524
CPU usage (%): 99.6965
Max. virtual memory (cumulated for all children) (KiB): 1692012
Max. memory (cumulated for all children) (KiB): 1641624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.27
system time used= 5.7524
maximum resident set size= 1641624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1787182
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= 11144
involuntary context switches= 4627
# summary of solver processes directly reported to runsolver:
# pid: 1011676
# total CPU time (s): 3591.02
# total CPU user time (s): 3585.27
# total CPU system time (s): 5.7524
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.05955 second user time and 18.0594 second system time
The end
Begin job on nodeC022 at 2024-07-19 05:54:52
IDJOB=4447970
IDBENCH=160354
IDSOLVER=3064
FILE ID=nodeC022/4447970-1721361279
RUNJOBID= nodeC022-1721361246-1011503
SLURM_JOB_ID= 7542779
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x80split.cnf-extracted.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-4447970-1721361279/watcher-4447970-1721361279 -o /tmp/evaluation-result-4447970-1721361279/solver-4447970-1721361279 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721361246-1011503 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447970-1721361279.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1a042d5fcb76a110c048c575a59fde0e
RANDOM SEED=2012867769
nodeC022.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 : 3671.060
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.66
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 : 3694.726
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.96
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 : 3602.517
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.66
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.236
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.96
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 : 3673.655
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.66
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 : 3694.741
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.96
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 : 3665.273
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.66
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.175
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.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126846420 kB
MemAvailable: 129501092 kB
Buffers: 499012 kB
Cached: 2980932 kB
SwapCached: 0 kB
Active: 1197324 kB
Inactive: 2829828 kB
Active(anon): 1580 kB
Inactive(anon): 591552 kB
Active(file): 1195744 kB
Inactive(file): 2238276 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28044 kB
Writeback: 0 kB
AnonPages: 546684 kB
Mapped: 143248 kB
Shmem: 45912 kB
KReclaimable: 120600 kB
Slab: 236112 kB
SReclaimable: 120600 kB
SUnreclaim: 115512 kB
KernelStack: 4264 kB
PageTables: 10316 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 802584 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 68704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 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: 260820 kB
DirectMap2M: 28872704 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC022 at 2024-07-19 06:54:54