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 = 27496448, getVmSize() = 27496448, SCIPgetMemUsed() = 3807420, 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.02 c ** Estimated virtualMemUsedAtSolver = 22631765, getVmSize() = 40398848, SCIPgetMemUsed() = 11641058, SCIPgetMemTotal() = 17646842, SCIPgetMemExternEstim() = 1580917
0.00/0.02 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02 c Original Problem :
0.00/0.02 c Problem name : instance-4451050-1721425199
0.00/0.02 c Variables : 1201 (1201 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 601
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 1200 (1200 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 600
0.00/0.02 c Constraints : Number
0.00/0.02 c linear : 600
0.00/0.02 c ** Instance transfer method used: 0
0.00/0.02 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03 c Nodes Active
0.00/0.03 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.46/5.51 c 6 2406 2350 1 - 0.0000 -
10.44/10.56 c 11 7254 7057 1 - 0.0000 -
15.51/15.67 c 16 10954 10569 1 - 0.0000 -
20.59/20.75 c 21 14297 13620 1 - 0.0000 -
25.66/25.85 c 26 17701 16839 1 - 0.0000 -
30.73/30.90 c 31 22534 21134 1 - 0.0000 -
35.70/35.95 c 36 27053 25347 1 - 0.0000 -
40.79/41.02 c 41 31879 29918 1 - 0.0000 -
45.77/46.06 c 46 37782 35117 1 - 0.0000 -
50.85/51.12 c 51 42808 39691 1 - 0.0000 -
55.83/56.17 c 56 48082 44532 1 - 0.0000 -
60.90/61.21 c 61 53543 49659 1 - 0.0000 -
65.88/66.26 c 66 59689 55359 1 - 0.0000 -
70.96/71.32 c 71 65368 60730 1 - 0.0000 -
75.94/76.38 c 76 70526 65677 1 - 0.0000 -
81.01/81.43 c 81 75538 70411 1 - 0.0000 -
85.99/86.47 c 86 80934 75600 1 - 0.0000 -
91.07/91.53 c 92 86403 80825 1 - 0.0000 -
96.16/96.60 c 97 91292 85583 1 - 0.0000 -
101.13/101.64 c 102 96219 90170 1 - 0.0000 -
106.22/106.72 c 107 100730 94378 1 - 0.0000 -
111.20/111.76 c 112 105485 98814 1 - 0.0000 -
116.28/116.83 c 117 110080 103055 1 - 0.0000 -
121.26/121.89 c 122 115205 107821 1 - 0.0000 -
126.34/126.93 c 127 120608 113028 1 - 0.0000 -
131.31/131.98 c 132 126561 118616 1 - 0.0000 -
136.41/137.04 c 137 132339 123735 1 - 0.0000 -
141.39/142.10 c 142 137412 128459 1 - 0.0000 -
146.46/147.14 c 147 142745 133526 1 - 0.0000 -
151.54/152.20 c 152 148468 138829 1 - 0.0000 -
156.51/157.26 c 157 154287 144161 1 - 0.0000 -
161.60/162.30 c 162 158875 148405 1 - 0.0000 -
166.58/167.36 c 167 164549 153575 1 - 0.0000 -
171.65/172.41 c 172 170391 158885 1 - 0.0000 -
176.63/177.46 c 177 176474 164330 1 - 0.0000 -
181.71/182.55 c 183 183244 170049 1 - 0.0000 -
186.69/187.59 c 188 188847 174855 1 - 0.0000 -
191.77/192.65 c 193 194344 179870 1 - 0.0000 -
196.84/197.70 c 198 199837 184981 1 - 0.0000 -
201.83/202.76 c 203 205456 190251 1 - 0.0000 -
206.91/207.82 c 208 210174 194744 1 - 0.0000 -
211.88/212.86 c 213 215837 200080 1 - 0.0000 -
216.95/217.92 c 218 221575 205433 1 - 0.0000 -
221.93/222.99 c 223 227070 210092 1 - 0.0000 -
227.02/228.04 c 228 232292 215120 1 - 0.0000 -
232.09/233.17 c 233 237442 220024 1 - 0.0000 -
237.15/238.23 c 238 241740 224047 1 - 0.0000 -
242.13/243.27 c 243 246411 228408 1 - 0.0000 -
247.20/248.32 c 248 250576 232029 1 - 0.0000 -
252.18/253.38 c 253 254330 235494 1 - 0.0000 -
257.25/258.44 c 258 258429 239267 1 - 0.0000 -
262.33/263.50 c 264 263123 243653 1 - 0.0000 -
267.30/268.55 c 269 268384 248577 1 - 0.0000 -
272.37/273.62 c 274 273072 252809 1 - 0.0000 -
277.35/278.68 c 279 278376 257919 1 - 0.0000 -
282.42/283.75 c 284 284142 263287 1 - 0.0000 -
287.40/288.79 c 289 289695 268652 1 - 0.0000 -
292.48/293.84 c 294 294864 273627 1 - 0.0000 -
297.54/298.90 c 299 299860 278415 1 - 0.0000 -
302.52/303.96 c 304 305085 283325 1 - 0.0000 -
307.50/309.01 c 309 310443 288285 1 - 0.0000 -
312.58/314.05 c 314 316435 293690 1 - 0.0000 -
317.65/319.12 c 319 321946 298424 1 - 0.0000 -
322.63/324.16 c 324 326923 302947 1 - 0.0000 -
327.70/329.23 c 329 332545 308124 1 - 0.0000 -
332.67/334.28 c 334 337716 313054 1 - 0.0000 -
337.75/339.33 c 339 342750 317553 1 - 0.0000 -
342.81/344.40 c 344 347276 321749 1 - 0.0000 -
347.80/349.46 c 349 352466 326130 1 - 0.0000 -
352.87/354.50 c 355 357602 330837 1 - 0.0000 -
357.85/359.55 c 360 362403 335490 1 - 0.0000 -
362.91/364.61 c 365 367467 340255 1 - 0.0000 -
367.89/369.66 c 370 372319 344518 1 - 0.0000 -
372.97/374.72 c 375 377055 348640 1 - 0.0000 -
377.94/379.77 c 380 381873 352637 1 - 0.0000 -
383.02/384.82 c 385 386520 356965 1 - 0.0000 -
388.00/389.88 c 390 391246 361294 1 - 0.0000 -
393.06/394.93 c 395 396357 365912 1 - 0.0000 -
398.04/399.99 c 400 401424 370496 1 - 0.0000 -
403.12/405.05 c 405 406490 375217 1 - 0.0000 -
408.20/410.13 c 410 410975 379328 1 - 0.0000 -
413.26/415.23 c 415 415640 383745 1 - 0.0000 -
418.23/420.29 c 420 420412 388274 1 - 0.0000 -
423.31/425.34 c 425 425447 392960 1 - 0.0000 -
428.29/430.39 c 430 430335 397593 1 - 0.0000 -
433.36/435.45 c 435 435236 401904 1 - 0.0000 -
438.33/440.50 c 440 440249 406191 1 - 0.0000 -
443.41/445.54 c 446 445051 409765 1 - 0.0000 -
448.38/450.59 c 451 449580 413525 1 - 0.0000 -
453.45/455.67 c 456 454054 417455 1 - 0.0000 -
458.53/460.75 c 461 458820 421580 1 - 0.0000 -
463.61/465.84 c 466 463764 425702 1 - 0.0000 -
468.68/470.90 c 471 468301 429680 1 - 0.0000 -
473.65/475.96 c 476 472749 433688 1 - 0.0000 -
478.74/481.01 c 481 477201 437811 1 - 0.0000 -
483.71/486.11 c 486 481879 441727 1 - 0.0000 -
488.79/491.17 c 491 486555 445611 1 - 0.0000 -
493.85/496.23 c 496 491595 449570 1 - 0.0000 -
498.93/501.33 c 501 496012 453579 1 - 0.0000 -
503.90/506.38 c 506 500523 457543 1 - 0.0000 -
508.97/511.43 c 511 504482 461130 1 - 0.0000 -
513.95/516.48 c 516 508905 465177 1 - 0.0000 -
519.02/521.55 c 522 513732 469695 1 - 0.0000 -
524.00/526.59 c 527 518468 474075 1 - 0.0000 -
529.07/531.64 c 532 522866 477822 1 - 0.0000 -
534.14/536.74 c 537 526435 480957 1 - 0.0000 -
539.13/541.79 c 542 530758 485002 1 - 0.0000 -
544.20/546.84 c 547 534840 488744 1 - 0.0000 -
549.17/551.90 c 552 539075 492765 1 - 0.0000 -
554.25/556.94 c 557 543298 496569 1 - 0.0000 -
559.23/562.01 c 562 547994 500782 1 - 0.0000 -
564.31/567.08 c 567 552180 504517 1 - 0.0000 -
569.38/572.12 c 572 556241 508066 1 - 0.0000 -
574.45/577.20 c 577 560489 511730 1 - 0.0000 -
579.42/582.29 c 582 564882 515797 1 - 0.0000 -
584.59/587.40 c 587 568826 519304 1 - 0.0000 -
589.66/592.50 c 593 572867 522857 1 - 0.0000 -
594.65/597.55 c 598 576716 526134 1 - 0.0000 -
599.71/602.64 c 603 581326 529921 1 - 0.0000 -
604.70/607.69 c 608 585950 534101 1 - 0.0000 -
609.77/612.74 c 613 590588 538254 1 - 0.0000 -
614.84/617.82 c 618 594710 541920 1 - 0.0000 -
619.82/622.87 c 623 598977 545802 1 - 0.0000 -
624.89/627.92 c 628 603223 549613 1 - 0.0000 -
629.87/632.99 c 633 607417 553274 1 - 0.0000 -
634.95/638.05 c 638 611602 556932 1 - 0.0000 -
639.93/643.10 c 643 615736 560409 1 - 0.0000 -
645.00/648.15 c 648 619241 563413 1 - 0.0000 -
650.07/653.23 c 653 622906 566642 1 - 0.0000 -
655.05/658.28 c 658 626738 570094 1 - 0.0000 -
660.12/663.33 c 663 630145 573085 1 - 0.0000 -
665.09/668.39 c 668 634033 576669 1 - 0.0000 -
670.16/673.48 c 673 637669 579949 1 - 0.0000 -
675.24/678.55 c 679 641208 583032 1 - 0.0000 -
680.31/683.60 c 684 644899 586301 1 - 0.0000 -
685.39/688.73 c 689 648580 589656 1 - 0.0000 -
690.46/693.80 c 694 652097 592569 1 - 0.0000 -
695.44/698.86 c 699 655508 595773 1 - 0.0000 -
700.51/703.94 c 704 658904 598789 1 - 0.0000 -
705.60/709.03 c 709 662625 602115 1 - 0.0000 -
710.58/714.07 c 714 666175 605251 1 - 0.0000 -
715.65/719.16 c 719 669889 608409 1 - 0.0000 -
720.72/724.23 c 724 673534 611409 1 - 0.0000 -
725.69/729.29 c 729 676895 614172 1 - 0.0000 -
730.77/734.34 c 734 680383 617376 1 - 0.0000 -
735.84/739.44 c 739 683975 620672 1 - 0.0000 -
740.82/744.49 c 744 687503 623952 1 - 0.0000 -
745.89/749.57 c 750 691018 627159 1 - 0.0000 -
750.97/754.61 c 755 694581 630131 1 - 0.0000 -
755.94/759.67 c 760 697796 632990 1 - 0.0000 -
761.02/764.78 c 765 701018 635894 1 - 0.0000 -
766.10/769.85 c 770 703564 638137 1 - 0.0000 -
771.16/774.91 c 775 707310 641639 1 - 0.0000 -
776.14/779.97 c 780 710755 644820 1 - 0.0000 -
781.23/785.02 c 785 714198 647970 1 - 0.0000 -
786.20/790.07 c 790 717497 651001 1 - 0.0000 -
791.28/795.12 c 795 720569 653820 1 - 0.0000 -
796.35/800.20 c 800 723399 656478 1 - 0.0000 -
801.31/805.27 c 805 726949 659778 1 - 0.0000 -
806.39/810.32 c 810 731034 663749 1 - 0.0000 -
811.37/815.37 c 815 734164 666681 1 - 0.0000 -
816.45/820.42 c 820 737484 669755 1 - 0.0000 -
821.52/825.52 c 826 740958 672936 1 - 0.0000 -
826.50/830.56 c 831 744282 675968 1 - 0.0000 -
831.67/835.70 c 836 747739 679158 1 - 0.0000 -
836.64/840.76 c 841 751270 682458 1 - 0.0000 -
841.72/845.81 c 846 754913 685918 1 - 0.0000 -
846.79/850.96 c 851 758210 688980 1 - 0.0000 -
851.88/856.01 c 856 761568 692136 1 - 0.0000 -
856.85/861.06 c 861 765033 695503 1 - 0.0000 -
861.93/866.11 c 866 768413 698791 1 - 0.0000 -
866.91/871.16 c 871 771667 701968 1 - 0.0000 -
871.97/876.22 c 876 774837 704662 1 - 0.0000 -
876.95/881.28 c 881 778334 707831 1 - 0.0000 -
882.03/886.38 c 886 781593 710785 1 - 0.0000 -
887.11/891.44 c 891 784812 713683 1 - 0.0000 -
892.08/896.48 c 896 788600 717135 1 - 0.0000 -
897.16/901.54 c 902 792139 720267 1 - 0.0000 -
902.24/906.61 c 907 795508 723049 1 - 0.0000 -
907.32/911.70 c 912 798962 726086 1 - 0.0000 -
912.29/916.76 c 917 802526 729443 1 - 0.0000 -
917.37/921.89 c 922 805936 732428 1 - 0.0000 -
922.44/926.96 c 927 808744 734701 1 - 0.0000 -
927.53/932.02 c 932 812150 737694 1 - 0.0000 -
932.51/937.08 c 937 815703 740654 1 - 0.0000 -
937.60/942.14 c 942 819068 743685 1 - 0.0000 -
942.56/947.20 c 947 822646 746650 1 - 0.0000 -
947.63/952.28 c 952 826315 749801 1 - 0.0000 -
952.71/957.36 c 957 829944 752887 1 - 0.0000 -
957.78/962.40 c 962 833280 755713 1 - 0.0000 -
962.76/967.46 c 967 836703 758942 1 - 0.0000 -
967.84/972.52 c 973 839838 761697 1 - 0.0000 -
972.82/977.59 c 978 843293 764896 1 - 0.0000 -
977.91/982.65 c 983 846665 768110 1 - 0.0000 -
982.98/987.71 c 988 850305 771460 1 - 0.0000 -
987.96/992.76 c 993 854063 774550 1 - 0.0000 -
993.03/997.82 c 998 857916 778013 1 - 0.0000 -
998.01/1002.87 c 1003 861416 781047 1 - 0.0000 -
1003.09/1007.92 c 1008 865057 784225 1 - 0.0000 -
1008.18/1013.04 c 1013 868942 787655 1 - 0.0000 -
1013.16/1018.11 c 1018 872915 790955 1 - 0.0000 -
1018.33/1023.21 c 1023 876914 794472 1 - 0.0000 -
1023.30/1028.25 c 1028 880869 798000 1 - 0.0000 -
1028.38/1033.33 c 1033 884710 801124 1 - 0.0000 -
1033.36/1038.37 c 1038 888107 803988 1 - 0.0000 -
1038.44/1043.42 c 1043 891940 807472 1 - 0.0000 -
1043.52/1048.51 c 1049 895702 810746 1 - 0.0000 -
1048.50/1053.55 c 1054 899032 813761 1 - 0.0000 -
1053.58/1058.61 c 1059 902473 816977 1 - 0.0000 -
1058.76/1063.89 c 1064 905461 819528 1 - 0.0000 -
1063.84/1068.96 c 1069 909145 822948 1 - 0.0000 -
1068.93/1074.02 c 1074 911861 825357 1 - 0.0000 -
1073.90/1079.07 c 1079 915628 828916 1 - 0.0000 -
1078.98/1084.14 c 1084 919246 832297 1 - 0.0000 -
1084.04/1089.20 c 1089 922747 835462 1 - 0.0000 -
1089.02/1094.25 c 1094 926772 839152 1 - 0.0000 -
1094.10/1099.35 c 1099 930645 842754 1 - 0.0000 -
1099.18/1104.40 c 1104 934113 845849 1 - 0.0000 -
1104.15/1109.46 c 1109 937673 848726 1 - 0.0000 -
1109.23/1114.53 c 1115 941157 851874 1 - 0.0000 -
1114.31/1119.60 c 1120 944958 855486 1 - 0.0000 -
1119.29/1124.64 c 1125 948939 859261 1 - 0.0000 -
1124.37/1129.71 c 1130 952757 862600 1 - 0.0000 -
1129.35/1134.76 c 1135 956519 865867 1 - 0.0000 -
1134.42/1139.82 c 1140 960244 869422 1 - 0.0000 -
1139.41/1144.89 c 1145 964350 873383 1 - 0.0000 -
1144.48/1149.98 c 1150 968542 877346 1 - 0.0000 -
1149.56/1155.03 c 1155 972243 880573 1 - 0.0000 -
1154.63/1160.14 c 1160 975864 883765 1 - 0.0000 -
1159.70/1165.21 c 1165 979788 887232 1 - 0.0000 -
1164.67/1170.26 c 1170 983776 890700 1 - 0.0000 -
1169.76/1175.32 c 1175 987554 894177 1 - 0.0000 -
1174.72/1180.38 c 1180 991323 897558 1 - 0.0000 -
1179.81/1185.42 c 1185 994329 900372 1 - 0.0000 -
1184.79/1190.48 c 1190 997910 903844 1 - 0.0000 -
1189.86/1195.57 c 1196 1002316 907904 1 - 0.0000 -
1194.94/1200.61 c 1201 1006531 911959 1 - 0.0000 -
1199.91/1205.69 c 1206 1010622 915935 1 - 0.0000 -
1204.99/1210.73 c 1211 1014500 919765 1 - 0.0000 -
1210.07/1215.81 c 1216 1018627 923784 1 - 0.0000 -
1215.04/1220.88 c 1221 1022569 927522 1 - 0.0000 -
1220.12/1225.97 c 1226 1026394 931183 1 - 0.0000 -
1225.21/1231.06 c 1231 1029857 934161 1 - 0.0000 -
1230.29/1236.13 c 1236 1033709 937414 1 - 0.0000 -
1235.27/1241.19 c 1241 1037458 940885 1 - 0.0000 -
1240.33/1246.24 c 1246 1041809 944852 1 - 0.0000 -
1245.41/1251.30 c 1251 1045782 948506 1 - 0.0000 -
1250.38/1256.35 c 1256 1049556 951653 1 - 0.0000 -
1255.46/1261.46 c 1261 1053533 955090 1 - 0.0000 -
1260.55/1266.57 c 1267 1057065 958329 1 - 0.0000 -
1265.63/1271.67 c 1272 1061187 961913 1 - 0.0000 -
1270.71/1276.74 c 1277 1065439 965812 1 - 0.0000 -
1275.79/1281.83 c 1282 1069297 969420 1 - 0.0000 -
1280.87/1286.90 c 1287 1072871 972773 1 - 0.0000 -
1285.84/1291.95 c 1292 1076384 975883 1 - 0.0000 -
1290.93/1297.01 c 1297 1080079 979119 1 - 0.0000 -
1295.91/1302.06 c 1302 1083898 982676 1 - 0.0000 -
1300.90/1307.10 c 1307 1088238 986614 1 - 0.0000 -
1305.98/1312.15 c 1312 1092241 990113 1 - 0.0000 -
1311.05/1317.22 c 1317 1095553 993122 1 - 0.0000 -
1316.03/1322.27 c 1322 1098685 996185 1 - 0.0000 -
1321.11/1327.35 c 1327 1101792 999174 1 - 0.0000 -
1326.18/1332.41 c 1332 1105029 1002301 1 - 0.0000 -
1331.27/1337.52 c 1338 1108352 1005489 1 - 0.0000 -
1336.24/1342.57 c 1343 1111997 1008857 1 - 0.0000 -
1341.32/1347.61 c 1348 1115632 1012227 1 - 0.0000 -
1346.30/1352.69 c 1353 1119468 1015897 1 - 0.0000 -
1351.38/1357.76 c 1358 1123083 1018927 1 - 0.0000 -
1356.46/1362.82 c 1363 1127057 1022608 1 - 0.0000 -
1361.54/1367.91 c 1368 1130692 1026161 1 - 0.0000 -
1366.52/1372.96 c 1373 1133988 1029280 1 - 0.0000 -
1371.62/1378.01 c 1378 1137249 1032325 1 - 0.0000 -
1376.59/1383.06 c 1383 1140731 1035516 1 - 0.0000 -
1381.67/1388.11 c 1388 1144061 1038499 1 - 0.0000 -
1386.74/1393.21 c 1393 1147808 1042085 1 - 0.0000 -
1391.72/1398.28 c 1398 1151665 1045792 1 - 0.0000 -
1396.80/1403.33 c 1403 1155169 1049021 1 - 0.0000 -
1401.78/1408.38 c 1408 1158925 1052663 1 - 0.0000 -
1406.86/1413.48 c 1413 1162456 1055834 1 - 0.0000 -
1411.94/1418.54 c 1419 1165969 1059069 1 - 0.0000 -
1416.91/1423.59 c 1424 1169494 1062329 1 - 0.0000 -
1421.99/1428.64 c 1429 1172767 1065281 1 - 0.0000 -
1426.98/1433.69 c 1434 1176216 1068256 1 - 0.0000 -
1432.06/1438.76 c 1439 1179821 1071554 1 - 0.0000 -
1437.14/1443.89 c 1444 1183002 1074471 1 - 0.0000 -
1442.21/1448.97 c 1449 1186552 1077740 1 - 0.0000 -
1447.30/1454.02 c 1454 1190082 1080776 1 - 0.0000 -
1452.28/1459.08 c 1459 1193792 1083944 1 - 0.0000 -
1457.36/1464.13 c 1464 1196998 1086387 1 - 0.0000 -
1462.43/1469.22 c 1469 1200032 1089264 1 - 0.0000 -
1467.40/1474.29 c 1474 1203060 1092067 1 - 0.0000 -
1472.49/1479.38 c 1479 1206522 1095233 1 - 0.0000 -
1477.56/1484.42 c 1484 1209796 1098301 1 - 0.0000 -
1482.55/1489.50 c 1490 1213020 1101397 1 - 0.0000 -
1487.73/1494.60 c 1495 1216073 1104320 1 - 0.0000 -
1492.71/1499.66 c 1500 1219178 1107278 1 - 0.0000 -
1497.78/1504.72 c 1505 1222406 1110293 1 - 0.0000 -
1502.76/1509.77 c 1510 1225513 1113225 1 - 0.0000 -
1507.84/1514.84 c 1515 1229270 1116612 1 - 0.0000 -
1512.82/1519.89 c 1520 1232787 1119953 1 - 0.0000 -
1517.90/1524.96 c 1525 1236274 1123246 1 - 0.0000 -
1522.88/1530.01 c 1530 1239338 1126151 1 - 0.0000 -
1527.97/1535.07 c 1535 1242689 1129332 1 - 0.0000 -
1533.13/1540.22 c 1540 1246060 1132628 1 - 0.0000 -
1538.12/1545.27 c 1545 1249224 1135563 1 - 0.0000 -
1543.20/1550.33 c 1550 1252118 1138221 1 - 0.0000 -
1548.18/1555.39 c 1555 1255068 1140855 1 - 0.0000 -
1553.25/1560.44 c 1560 1258242 1143932 1 - 0.0000 -
1558.24/1565.49 c 1566 1261740 1146798 1 - 0.0000 -
1563.32/1570.54 c 1571 1265046 1149826 1 - 0.0000 -
1568.39/1575.60 c 1576 1267927 1152319 1 - 0.0000 -
1573.48/1580.75 c 1581 1271108 1155161 1 - 0.0000 -
1578.55/1585.80 c 1586 1274457 1158160 1 - 0.0000 -
1583.53/1590.87 c 1591 1277789 1161334 1 - 0.0000 -
1588.62/1595.92 c 1596 1280995 1164131 1 - 0.0000 -
1593.59/1600.96 c 1601 1284368 1167148 1 - 0.0000 -
1598.68/1606.02 c 1606 1287997 1170525 1 - 0.0000 -
1603.66/1611.06 c 1611 1291711 1173753 1 - 0.0000 -
1608.75/1616.15 c 1616 1294492 1175740 1 - 0.0000 -
1613.81/1621.24 c 1621 1297414 1178355 1 - 0.0000 -
1618.89/1626.35 c 1626 1300485 1181194 1 - 0.0000 -
1624.07/1631.58 c 1632 1303580 1184052 1 - 0.0000 -
1629.15/1636.63 c 1637 1306594 1186854 1 - 0.0000 -
1634.13/1641.69 c 1642 1309626 1189634 1 - 0.0000 -
1639.21/1646.75 c 1647 1312425 1192153 1 - 0.0000 -
1644.29/1651.84 c 1652 1315459 1194871 1 - 0.0000 -
1649.37/1656.90 c 1657 1318501 1197486 1 - 0.0000 -
1654.35/1661.96 c 1662 1321277 1199913 1 - 0.0000 -
1659.44/1667.11 c 1667 1324174 1202558 1 - 0.0000 -
1664.52/1672.18 c 1672 1327124 1205208 1 - 0.0000 -
1669.59/1677.26 c 1677 1329172 1206199 1 - 0.0000 -
1674.66/1682.32 c 1682 1332172 1209037 1 - 0.0000 -
1679.65/1687.36 c 1687 1335471 1211936 1 - 0.0000 -
1684.73/1692.42 c 1692 1338265 1214072 1 - 0.0000 -
1689.71/1697.46 c 1697 1341162 1216867 1 - 0.0000 -
1694.78/1702.54 c 1703 1344122 1219489 1 - 0.0000 -
1699.87/1707.66 c 1708 1346920 1221929 1 - 0.0000 -
1704.95/1712.75 c 1713 1349890 1224383 1 - 0.0000 -
1710.02/1717.82 c 1718 1352453 1226778 1 - 0.0000 -
1715.10/1722.96 c 1723 1355317 1229373 1 - 0.0000 -
1720.19/1728.05 c 1728 1358104 1231882 1 - 0.0000 -
1725.17/1733.09 c 1733 1360956 1234554 1 - 0.0000 -
1730.26/1738.17 c 1738 1363619 1236946 1 - 0.0000 -
1735.32/1743.23 c 1743 1366173 1239257 1 - 0.0000 -
1740.30/1748.27 c 1748 1368783 1241599 1 - 0.0000 -
1745.38/1753.38 c 1753 1371802 1244522 1 - 0.0000 -
1750.46/1758.43 c 1758 1374768 1247161 1 - 0.0000 -
1755.44/1763.48 c 1763 1377709 1249726 1 - 0.0000 -
1760.52/1768.54 c 1769 1380719 1252400 1 - 0.0000 -
1765.60/1773.61 c 1774 1383798 1255332 1 - 0.0000 -
1770.68/1778.75 c 1779 1386661 1258011 1 - 0.0000 -
1775.76/1783.83 c 1784 1389428 1260573 1 - 0.0000 -
1780.74/1788.87 c 1789 1392241 1263126 1 - 0.0000 -
1785.81/1793.97 c 1794 1394829 1265550 1 - 0.0000 -
1790.91/1799.06 c 1799 1397670 1268309 1 - 0.0000 -
1795.99/1804.13 c 1804 1400067 1270596 1 - 0.0000 -
1800.97/1809.18 c 1809 1402964 1273345 1 - 0.0000 -
1806.03/1814.25 c 1814 1405822 1276017 1 - 0.0000 -
1811.12/1819.36 c 1819 1408624 1278690 1 - 0.0000 -
1816.20/1824.44 c 1824 1411495 1281445 1 - 0.0000 -
1821.27/1829.51 c 1830 1414147 1283971 1 - 0.0000 -
1826.25/1834.56 c 1835 1416962 1286615 1 - 0.0000 -
1831.33/1839.62 c 1840 1419562 1288964 1 - 0.0000 -
1836.31/1844.66 c 1845 1422238 1291377 1 - 0.0000 -
1841.40/1849.73 c 1850 1424976 1294047 1 - 0.0000 -
1846.47/1854.83 c 1855 1427912 1296791 1 - 0.0000 -
1851.45/1859.89 c 1860 1430628 1299304 1 - 0.0000 -
1856.54/1864.94 c 1865 1433211 1301795 1 - 0.0000 -
1861.62/1870.01 c 1870 1435872 1304302 1 - 0.0000 -
1866.70/1875.11 c 1875 1438796 1306999 1 - 0.0000 -
1871.69/1880.19 c 1880 1441602 1309630 1 - 0.0000 -
1876.86/1885.30 c 1885 1444393 1312227 1 - 0.0000 -
1881.83/1890.38 c 1890 1446542 1313976 1 - 0.0000 -
1886.91/1895.48 c 1895 1449064 1316296 1 - 0.0000 -
1891.99/1900.54 c 1901 1451866 1318949 1 - 0.0000 -
1896.97/1905.59 c 1906 1454811 1321759 1 - 0.0000 -
1902.16/1910.72 c 1911 1457584 1324361 1 - 0.0000 -
1907.13/1915.79 c 1916 1460295 1326868 1 - 0.0000 -
1912.21/1920.87 c 1921 1463051 1329387 1 - 0.0000 -
1917.30/1925.95 c 1926 1465431 1331663 1 - 0.0000 -
1922.49/1931.16 c 1931 1467901 1333781 1 - 0.0000 -
1927.56/1936.24 c 1936 1470337 1336004 1 - 0.0000 -
1932.53/1941.30 c 1941 1473119 1338371 1 - 0.0000 -
1937.71/1946.44 c 1946 1476131 1340937 1 - 0.0000 -
1942.79/1951.50 c 1952 1478612 1343077 1 - 0.0000 -
1947.77/1956.55 c 1957 1481208 1345241 1 - 0.0000 -
1952.85/1961.65 c 1962 1483747 1347542 1 - 0.0000 -
1957.93/1966.75 c 1967 1486041 1349614 1 - 0.0000 -
1963.01/1971.88 c 1972 1488890 1352297 1 - 0.0000 -
1968.09/1976.95 c 1977 1491704 1354933 1 - 0.0000 -
1973.08/1982.01 c 1982 1494185 1357045 1 - 0.0000 -
1978.16/1987.06 c 1987 1496425 1358771 1 - 0.0000 -
1983.24/1992.16 c 1992 1498968 1361141 1 - 0.0000 -
1988.31/1997.23 c 1997 1501230 1363263 1 - 0.0000 -
1993.39/2002.32 c 2002 1503549 1365478 1 - 0.0000 -
1998.47/2007.46 c 2007 1505676 1367523 1 - 0.0000 -
2003.64/2012.64 c 2013 1507992 1369731 1 - 0.0000 -
2008.62/2017.68 c 2018 1510627 1372256 1 - 0.0000 -
2013.70/2022.73 c 2023 1513151 1374671 1 - 0.0000 -
2018.79/2027.80 c 2028 1515428 1376216 1 - 0.0000 -
2023.77/2032.88 c 2033 1517884 1378562 1 - 0.0000 -
2028.84/2037.97 c 2038 1520534 1380976 1 - 0.0000 -
2033.93/2043.05 c 2043 1523226 1383059 1 - 0.0000 -
2039.01/2048.13 c 2048 1525489 1385063 1 - 0.0000 -
2044.07/2053.27 c 2053 1527724 1387152 1 - 0.0000 -
2049.26/2058.43 c 2058 1530294 1389561 1 - 0.0000 -
2054.34/2063.50 c 2064 1532762 1391884 1 - 0.0000 -
2059.42/2068.61 c 2069 1535161 1394012 1 - 0.0000 -
2064.50/2073.71 c 2074 1537463 1396156 1 - 0.0000 -
2069.48/2078.76 c 2079 1539883 1398455 1 - 0.0000 -
2074.55/2083.82 c 2084 1542490 1400935 1 - 0.0000 -
2079.53/2088.87 c 2089 1544987 1403105 1 - 0.0000 -
2084.61/2093.98 c 2094 1547340 1405206 1 - 0.0000 -
2089.70/2099.07 c 2099 1549846 1407518 1 - 0.0000 -
2094.87/2104.25 c 2104 1551899 1409345 1 - 0.0000 -
2099.94/2109.36 c 2109 1554042 1411198 1 - 0.0000 -
2105.03/2114.43 c 2114 1556217 1413240 1 - 0.0000 -
2110.01/2119.50 c 2120 1558682 1415583 1 - 0.0000 -
2115.09/2124.57 c 2125 1561336 1418053 1 - 0.0000 -
2120.17/2129.64 c 2130 1563974 1420517 1 - 0.0000 -
2125.24/2134.70 c 2135 1566602 1422756 1 - 0.0000 -
2130.23/2139.75 c 2140 1569473 1425384 1 - 0.0000 -
2135.31/2144.81 c 2145 1571829 1427611 1 - 0.0000 -
2140.29/2149.89 c 2150 1574466 1430164 1 - 0.0000 -
2145.48/2155.01 c 2155 1576898 1432449 1 - 0.0000 -
2150.56/2160.19 c 2160 1579088 1434547 1 - 0.0000 -
2155.62/2165.27 c 2165 1581606 1436954 1 - 0.0000 -
2160.71/2170.38 c 2170 1583792 1439070 1 - 0.0000 -
2165.78/2175.44 c 2175 1586048 1441191 1 - 0.0000 -
2170.86/2180.53 c 2181 1588583 1443573 1 - 0.0000 -
2175.94/2185.63 c 2186 1590786 1445652 1 - 0.0000 -
2181.03/2190.74 c 2191 1592779 1447444 1 - 0.0000 -
2186.09/2195.83 c 2196 1595287 1449820 1 - 0.0000 -
2191.07/2200.88 c 2201 1597914 1452278 1 - 0.0000 -
2196.15/2205.93 c 2206 1600417 1454597 1 - 0.0000 -
2201.23/2211.02 c 2211 1602954 1456999 1 - 0.0000 -
2206.21/2216.07 c 2216 1605366 1459296 1 - 0.0000 -
2211.29/2221.15 c 2221 1607383 1461046 1 - 0.0000 -
2216.36/2226.21 c 2226 1610013 1463497 1 - 0.0000 -
2221.33/2231.26 c 2231 1612565 1465812 1 - 0.0000 -
2226.40/2236.39 c 2236 1614897 1467884 1 - 0.0000 -
2231.58/2241.54 c 2242 1617548 1470479 1 - 0.0000 -
2236.56/2246.58 c 2247 1620178 1473001 1 - 0.0000 -
2241.74/2251.75 c 2252 1622628 1475314 1 - 0.0000 -
2246.91/2256.92 c 2257 1624654 1477172 1 - 0.0000 -
2251.89/2261.97 c 2262 1626553 1478744 1 - 0.0000 -
2256.97/2267.03 c 2267 1628688 1480595 1 - 0.0000 -
2261.95/2272.09 c 2272 1630851 1482654 1 - 0.0000 -
2267.03/2277.14 c 2277 1633009 1484573 1 - 0.0000 -
2272.09/2282.22 c 2282 1635233 1486627 1 - 0.0000 -
2277.17/2287.30 c 2287 1637410 1488730 1 - 0.0000 -
2282.15/2292.36 c 2292 1639637 1490814 1 - 0.0000 -
2287.22/2297.41 c 2297 1642079 1493151 1 - 0.0000 -
2292.29/2302.54 c 2303 1644491 1495250 1 - 0.0000 -
2297.37/2307.61 c 2308 1646922 1497270 1 - 0.0000 -
2302.44/2312.72 c 2313 1649256 1499562 1 - 0.0000 -
2307.52/2317.82 c 2318 1651740 1502004 1 - 0.0000 -
2312.59/2322.90 c 2323 1653930 1503993 1 - 0.0000 -
2317.68/2328.03 c 2328 1656289 1506195 1 - 0.0000 -
2322.66/2333.07 c 2333 1658871 1508234 1 - 0.0000 -
2327.83/2338.21 c 2338 1660690 1509624 1 - 0.0000 -
2332.90/2343.32 c 2343 1662958 1511817 1 - 0.0000 -
2337.88/2348.37 c 2348 1665359 1514096 1 - 0.0000 -
2342.96/2353.49 c 2353 1667608 1516128 1 - 0.0000 -
2348.03/2358.54 c 2359 1669742 1517901 1 - 0.0000 -
2353.11/2363.61 c 2364 1671777 1519702 1 - 0.0000 -
2358.18/2368.70 c 2369 1674045 1521818 1 - 0.0000 -
2363.26/2373.82 c 2374 1675902 1523385 1 - 0.0000 -
2368.34/2378.94 c 2379 1678101 1525446 1 - 0.0000 -
2373.43/2384.11 c 2384 1680209 1527475 1 - 0.0000 -
2378.50/2389.19 c 2389 1682335 1529405 1 - 0.0000 -
2383.56/2394.27 c 2394 1684891 1531687 1 - 0.0000 -
2388.64/2399.34 c 2399 1687257 1533750 1 - 0.0000 -
2393.72/2404.42 c 2404 1689863 1536214 1 - 0.0000 -
2398.80/2409.50 c 2410 1692466 1538720 1 - 0.0000 -
2403.77/2414.57 c 2415 1694429 1540445 1 - 0.0000 -
2408.95/2419.70 c 2420 1696550 1542303 1 - 0.0000 -
2413.92/2424.79 c 2425 1698776 1544160 1 - 0.0000 -
2419.00/2429.88 c 2430 1700974 1546136 1 - 0.0000 -
2424.07/2435.01 c 2435 1703028 1547994 1 - 0.0000 -
2429.26/2440.14 c 2440 1704981 1549713 1 - 0.0000 -
2434.33/2445.28 c 2445 1707196 1551719 1 - 0.0000 -
2439.41/2450.32 c 2450 1709431 1553682 1 - 0.0000 -
2444.39/2455.38 c 2455 1711489 1555489 1 - 0.0000 -
2449.46/2460.43 c 2460 1713588 1557346 1 - 0.0000 -
2454.55/2465.52 c 2466 1715689 1559312 1 - 0.0000 -
2459.53/2470.60 c 2471 1717715 1561166 1 - 0.0000 -
2464.60/2475.65 c 2476 1719713 1562977 1 - 0.0000 -
2469.69/2480.78 c 2481 1721932 1565086 1 - 0.0000 -
2474.77/2485.89 c 2486 1724019 1566978 1 - 0.0000 -
2479.85/2490.94 c 2491 1726339 1569230 1 - 0.0000 -
2484.83/2495.98 c 2496 1728736 1571575 1 - 0.0000 -
2489.92/2501.06 c 2501 1731022 1573708 1 - 0.0000 -
2495.09/2506.24 c 2506 1733279 1575873 1 - 0.0000 -
2500.17/2511.30 c 2511 1735602 1578103 1 - 0.0000 -
2505.15/2516.36 c 2516 1737339 1579565 1 - 0.0000 -
2510.23/2521.46 c 2521 1738989 1581018 1 - 0.0000 -
2515.41/2526.63 c 2527 1741269 1583216 1 - 0.0000 -
2520.49/2531.76 c 2532 1743395 1585239 1 - 0.0000 -
2525.57/2536.85 c 2537 1745461 1587006 1 - 0.0000 -
2530.76/2542.07 c 2542 1747608 1589053 1 - 0.0000 -
2535.85/2547.11 c 2547 1750140 1591460 1 - 0.0000 -
2540.91/2552.27 c 2552 1752287 1593420 1 - 0.0000 -
2546.10/2557.43 c 2557 1754462 1595427 1 - 0.0000 -
2551.17/2562.53 c 2563 1756205 1596964 1 - 0.0000 -
2556.25/2567.61 c 2568 1758248 1598761 1 - 0.0000 -
2561.34/2572.77 c 2573 1760393 1600702 1 - 0.0000 -
2566.42/2577.86 c 2578 1762409 1602457 1 - 0.0000 -
2571.50/2582.92 c 2583 1764474 1604267 1 - 0.0000 -
2576.59/2588.03 c 2588 1766873 1606478 1 - 0.0000 -
2581.56/2593.09 c 2593 1768744 1608132 1 - 0.0000 -
2586.64/2598.19 c 2598 1770956 1610207 1 - 0.0000 -
2591.71/2603.25 c 2603 1772895 1612056 1 - 0.0000 -
2596.80/2608.38 c 2608 1774944 1614017 1 - 0.0000 -
2601.97/2613.55 c 2614 1776830 1615805 1 - 0.0000 -
2607.05/2618.63 c 2619 1779154 1618094 1 - 0.0000 -
2612.14/2623.73 c 2624 1780927 1619698 1 - 0.0000 -
2617.12/2628.79 c 2629 1782818 1621387 1 - 0.0000 -
2622.20/2633.87 c 2634 1784792 1623093 1 - 0.0000 -
2627.27/2638.96 c 2639 1786919 1625122 1 - 0.0000 -
2632.37/2644.01 c 2644 1789120 1627170 1 - 0.0000 -
2637.35/2649.07 c 2649 1791239 1628972 1 - 0.0000 -
2642.52/2654.23 c 2654 1793218 1630582 1 - 0.0000 -
2647.50/2659.27 c 2659 1795259 1632534 1 - 0.0000 -
2652.58/2664.32 c 2664 1797433 1634664 1 - 0.0000 -
2657.67/2669.48 c 2669 1799487 1636626 1 - 0.0000 -
2662.74/2674.55 c 2675 1801345 1638285 1 - 0.0000 -
2667.82/2679.64 c 2680 1803396 1640227 1 - 0.0000 -
2672.80/2684.69 c 2685 1805491 1642245 1 - 0.0000 -
2677.88/2689.78 c 2690 1807569 1644101 1 - 0.0000 -
2682.96/2694.85 c 2695 1809757 1646162 1 - 0.0000 -
2688.05/2699.96 c 2700 1812195 1648556 1 - 0.0000 -
2693.14/2705.05 c 2705 1814496 1650771 1 - 0.0000 -
2698.22/2710.17 c 2710 1816654 1652756 1 - 0.0000 -
2703.29/2715.21 c 2715 1818690 1654564 1 - 0.0000 -
2708.47/2720.45 c 2720 1820696 1656449 1 - 0.0000 -
2713.55/2725.51 c 2726 1822442 1657993 1 - 0.0000 -
2718.63/2730.61 c 2731 1824095 1659366 1 - 0.0000 -
2723.71/2735.71 c 2736 1826226 1661434 1 - 0.0000 -
2728.89/2740.96 c 2741 1827586 1662580 1 - 0.0000 -
2734.09/2746.11 c 2746 1829635 1664431 1 - 0.0000 -
2739.06/2751.18 c 2751 1831821 1666298 1 - 0.0000 -
2744.24/2756.30 c 2756 1833780 1667956 1 - 0.0000 -
2749.32/2761.45 c 2761 1836015 1670099 1 - 0.0000 -
2754.39/2766.53 c 2767 1837958 1671896 1 - 0.0000 -
2759.47/2771.65 c 2772 1839958 1673824 1 - 0.0000 -
2764.56/2776.71 c 2777 1842004 1675726 1 - 0.0000 -
2769.64/2781.82 c 2782 1844039 1677570 1 - 0.0000 -
2774.62/2786.89 c 2787 1846029 1679423 1 - 0.0000 -
2779.70/2791.99 c 2792 1847787 1680934 1 - 0.0000 -
2784.79/2797.06 c 2797 1849925 1683034 1 - 0.0000 -
2790.26/2802.51 c 2803 1852226 1685022 1 - 0.0000 -
2795.24/2807.56 c 2808 1854549 1687054 1 - 0.0000 -
2800.42/2812.72 c 2813 1856438 1688818 1 - 0.0000 -
2805.50/2817.81 c 2818 1858189 1690322 1 - 0.0000 -
2810.48/2822.86 c 2823 1860022 1692032 1 - 0.0000 -
2815.56/2827.98 c 2828 1861920 1693793 1 - 0.0000 -
2820.76/2833.14 c 2833 1864048 1695757 1 - 0.0000 -
2825.82/2838.23 c 2838 1866133 1697660 1 - 0.0000 -
2831.01/2843.40 c 2843 1867898 1699155 1 - 0.0000 -
2836.09/2848.51 c 2849 1869740 1700733 1 - 0.0000 -
2841.07/2853.59 c 2854 1871613 1702516 1 - 0.0000 -
2846.15/2858.68 c 2859 1873648 1704468 1 - 0.0000 -
2851.23/2863.73 c 2864 1875617 1706339 1 - 0.0000 -
2856.32/2868.83 c 2869 1877520 1708004 1 - 0.0000 -
2861.39/2873.91 c 2874 1879566 1709988 1 - 0.0000 -
2866.49/2879.06 c 2879 1881673 1712076 1 - 0.0000 -
2871.57/2884.15 c 2884 1883742 1714005 1 - 0.0000 -
2876.64/2889.26 c 2889 1885532 1715457 1 - 0.0000 -
2881.71/2894.34 c 2894 1887263 1716859 1 - 0.0000 -
2886.80/2899.49 c 2900 1888882 1718368 1 - 0.0000 -
2891.88/2904.55 c 2905 1891042 1720476 1 - 0.0000 -
2896.96/2909.68 c 2910 1892880 1722207 1 - 0.0000 -
2902.04/2914.75 c 2915 1895255 1724468 1 - 0.0000 -
2907.12/2919.83 c 2920 1897598 1726609 1 - 0.0000 -
2912.10/2924.89 c 2925 1899868 1728736 1 - 0.0000 -
2917.29/2930.03 c 2930 1902168 1730937 1 - 0.0000 -
2922.37/2935.14 c 2935 1904333 1732945 1 - 0.0000 -
2927.36/2940.19 c 2940 1906438 1734895 1 - 0.0000 -
2932.52/2945.36 c 2945 1908528 1736744 1 - 0.0000 -
2937.70/2950.58 c 2951 1910733 1738657 1 - 0.0000 -
2942.78/2955.63 c 2956 1912615 1740199 1 - 0.0000 -
2947.86/2960.71 c 2961 1914624 1742053 1 - 0.0000 -
2952.84/2965.77 c 2966 1916423 1743645 1 - 0.0000 -
2957.92/2970.81 c 2971 1918371 1745276 1 - 0.0000 -
2963.00/2975.96 c 2976 1920032 1746740 1 - 0.0000 -
2968.09/2981.01 c 2981 1921722 1748347 1 - 0.0000 -
2973.07/2986.08 c 2986 1923641 1750122 1 - 0.0000 -
2978.15/2991.16 c 2991 1925426 1751522 1 - 0.0000 -
2983.21/2996.28 c 2996 1927454 1753283 1 - 0.0000 -
2988.29/3001.35 c 3001 1929139 1754812 1 - 0.0000 -
2993.48/3006.54 c 3007 1930942 1756422 1 - 0.0000 -
2998.55/3011.63 c 3012 1932981 1758390 1 - 0.0000 -
3003.53/3016.68 c 3017 1934905 1760213 1 - 0.0000 -
3008.72/3021.84 c 3022 1936546 1761643 1 - 0.0000 -
3013.69/3026.90 c 3027 1938088 1763137 1 - 0.0000 -
3018.77/3032.01 c 3032 1939995 1764886 1 - 0.0000 -
3023.95/3037.11 c 3037 1941934 1766537 1 - 0.0000 -
3029.02/3042.26 c 3042 1943705 1767886 1 - 0.0000 -
3034.09/3047.33 c 3047 1945688 1769781 1 - 0.0000 -
3039.17/3052.41 c 3052 1947998 1771799 1 - 0.0000 -
3044.15/3057.48 c 3057 1950028 1773747 1 - 0.0000 -
3049.33/3062.62 c 3063 1951937 1775530 1 - 0.0000 -
3054.32/3067.68 c 3068 1953804 1777024 1 - 0.0000 -
3059.50/3072.87 c 3073 1955913 1778954 1 - 0.0000 -
3064.58/3077.95 c 3078 1957956 1780880 1 - 0.0000 -
3069.68/3083.01 c 3083 1959779 1782564 1 - 0.0000 -
3074.84/3088.23 c 3088 1961686 1784405 1 - 0.0000 -
3079.92/3093.30 c 3093 1963720 1786307 1 - 0.0000 -
3084.89/3098.36 c 3098 1965688 1788150 1 - 0.0000 -
3089.97/3103.45 c 3103 1967738 1789942 1 - 0.0000 -
3095.05/3108.54 c 3109 1969928 1791883 1 - 0.0000 -
3100.03/3113.59 c 3114 1972217 1793995 1 - 0.0000 -
3105.21/3118.74 c 3119 1974582 1796152 1 - 0.0000 -
3110.28/3123.81 c 3124 1976604 1797811 1 - 0.0000 -
3115.26/3128.89 c 3129 1978684 1799676 1 - 0.0000 -
3120.34/3133.98 c 3134 1980642 1801417 1 - 0.0000 -
3125.52/3139.19 c 3139 1982737 1803383 1 - 0.0000 -
3130.60/3144.28 c 3144 1985014 1805425 1 - 0.0000 -
3135.77/3149.45 c 3149 1987105 1807282 1 - 0.0000 -
3140.85/3154.55 c 3155 1989482 1809328 1 - 0.0000 -
3145.93/3159.62 c 3160 1991443 1810804 1 - 0.0000 -
3151.01/3164.71 c 3165 1993284 1812582 1 - 0.0000 -
3156.09/3169.82 c 3170 1995142 1814315 1 - 0.0000 -
3161.16/3174.91 c 3175 1996789 1815714 1 - 0.0000 -
3166.15/3179.95 c 3180 1998799 1817491 1 - 0.0000 -
3171.23/3185.03 c 3185 2000897 1819375 1 - 0.0000 -
3176.30/3190.14 c 3190 2002791 1821054 1 - 0.0000 -
3181.48/3195.38 c 3195 2004842 1822889 1 - 0.0000 -
3186.55/3200.45 c 3200 2006743 1824617 1 - 0.0000 -
3191.73/3205.63 c 3206 2008882 1826591 1 - 0.0000 -
3196.71/3210.67 c 3211 2011051 1828498 1 - 0.0000 -
3201.79/3215.75 c 3216 2013177 1830390 1 - 0.0000 -
3206.88/3220.81 c 3221 2015354 1832358 1 - 0.0000 -
3211.85/3225.86 c 3226 2017400 1833963 1 - 0.0000 -
3216.93/3231.01 c 3231 2019522 1835871 1 - 0.0000 -
3222.12/3236.13 c 3236 2021514 1837544 1 - 0.0000 -
3227.18/3241.22 c 3241 2023382 1839237 1 - 0.0000 -
3232.26/3246.31 c 3246 2025257 1840959 1 - 0.0000 -
3237.23/3251.38 c 3251 2027425 1843093 1 - 0.0000 -
3242.42/3256.58 c 3257 2029873 1845421 1 - 0.0000 -
3247.49/3261.64 c 3262 2032246 1847649 1 - 0.0000 -
3252.47/3266.69 c 3267 2034313 1849404 1 - 0.0000 -
3257.55/3271.79 c 3272 2036429 1851286 1 - 0.0000 -
3262.63/3276.84 c 3277 2038667 1853402 1 - 0.0000 -
3267.61/3281.89 c 3282 2041086 1855582 1 - 0.0000 -
3272.68/3286.96 c 3287 2043216 1857585 1 - 0.0000 -
3277.77/3292.02 c 3292 2045414 1859582 1 - 0.0000 -
3282.75/3297.06 c 3297 2047669 1861634 1 - 0.0000 -
3287.83/3302.19 c 3302 2049854 1863680 1 - 0.0000 -
3292.90/3307.23 c 3307 2052397 1866046 1 - 0.0000 -
3297.88/3312.29 c 3312 2054388 1867779 1 - 0.0000 -
3302.96/3317.37 c 3317 2056884 1870079 1 - 0.0000 -
3308.02/3322.41 c 3322 2059034 1871984 1 - 0.0000 -
3313.20/3327.61 c 3328 2060944 1873628 1 - 0.0000 -
3318.28/3332.79 c 3333 2063256 1875830 1 - 0.0000 -
3323.36/3337.86 c 3338 2065324 1877809 1 - 0.0000 -
3328.43/3342.95 c 3343 2067494 1879690 1 - 0.0000 -
3333.41/3348.01 c 3348 2069690 1881506 1 - 0.0000 -
3338.59/3353.18 c 3353 2071865 1883466 1 - 0.0000 -
3343.66/3358.25 c 3358 2074209 1885365 1 - 0.0000 -
3348.73/3363.33 c 3363 2076517 1887498 1 - 0.0000 -
3353.81/3368.43 c 3368 2079018 1889887 1 - 0.0000 -
3358.98/3373.60 c 3374 2081619 1892318 1 - 0.0000 -
3363.96/3378.67 c 3379 2084114 1894662 1 - 0.0000 -
3369.03/3383.74 c 3384 2086702 1897170 1 - 0.0000 -
3374.11/3388.85 c 3389 2088993 1899290 1 - 0.0000 -
3379.18/3393.90 c 3394 2091210 1901214 1 - 0.0000 -
3384.16/3398.96 c 3399 2093496 1903261 1 - 0.0000 -
3389.13/3404.01 c 3404 2095846 1905325 1 - 0.0000 -
3394.22/3409.09 c 3409 2098390 1907511 1 - 0.0000 -
3399.39/3414.20 c 3414 2100264 1909095 1 - 0.0000 -
3404.37/3419.29 c 3419 2102722 1911254 1 - 0.0000 -
3409.55/3424.46 c 3424 2105106 1913404 1 - 0.0000 -
3414.62/3429.53 c 3430 2107461 1915479 1 - 0.0000 -
3419.61/3434.57 c 3435 2109957 1917766 1 - 0.0000 -
3424.78/3439.70 c 3440 2112247 1919683 1 - 0.0000 -
3429.76/3444.79 c 3445 2114715 1921921 1 - 0.0000 -
3434.84/3449.84 c 3450 2117165 1924120 1 - 0.0000 -
3439.82/3454.89 c 3455 2119276 1925923 1 - 0.0000 -
3444.89/3459.97 c 3460 2121580 1927939 1 - 0.0000 -
3449.98/3465.06 c 3465 2124025 1930187 1 - 0.0000 -
3455.07/3470.12 c 3470 2126442 1932389 1 - 0.0000 -
3460.13/3475.28 c 3475 2128658 1934331 1 - 0.0000 -
3465.21/3480.37 c 3480 2130919 1936357 1 - 0.0000 -
3470.28/3485.43 c 3485 2133271 1938533 1 - 0.0000 -
3475.36/3490.50 c 3491 2135829 1940753 1 - 0.0000 -
3480.44/3495.63 c 3496 2138530 1943274 1 - 0.0000 -
3485.53/3500.79 c 3501 2141220 1945720 1 - 0.0000 -
3490.60/3505.87 c 3506 2143790 1948088 1 - 0.0000 -
3495.79/3511.02 c 3511 2145924 1949910 1 - 0.0000 -
3500.86/3516.14 c 3516 2148124 1951695 1 - 0.0000 -
3505.84/3521.18 c 3521 2150356 1953636 1 - 0.0000 -
3510.91/3526.23 c 3526 2152314 1955153 1 - 0.0000 -
3515.99/3531.39 c 3531 2154656 1957324 1 - 0.0000 -
3521.05/3536.46 c 3536 2156728 1959135 1 - 0.0000 -
3526.24/3541.62 c 3542 2159371 1961449 1 - 0.0000 -
3531.21/3546.67 c 3547 2161613 1963289 1 - 0.0000 -
3536.39/3551.83 c 3552 2164075 1965441 1 - 0.0000 -
3541.48/3556.94 c 3557 2166330 1967370 1 - 0.0000 -
3546.46/3562.01 c 3562 2168865 1969677 1 - 0.0000 -
3551.73/3567.24 c 3567 2171544 1971983 1 - 0.0000 -
3556.91/3572.44 c 3572 2174165 1974270 1 - 0.0000 -
3561.99/3577.58 c 3578 2176726 1976500 1 - 0.0000 -
3567.07/3582.64 c 3583 2178958 1978367 1 - 0.0000 -
3572.14/3587.70 c 3588 2181592 1980609 1 - 0.0000 -
3577.13/3592.75 c 3593 2184127 1982792 1 - 0.0000 -
3582.20/3597.82 c 3598 2186307 1984637 1 - 0.0000 -
3586.60/3602.25 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.60/3602.25 c Total Time : 3602.2500
3586.60/3602.25 c solving : 3602.2500
3586.60/3602.25 c presolving : 0.0135 (included in solving)
3586.60/3602.25 c B&B Tree :
3586.60/3602.25 c nodes (total) : 1
3586.60/3602.25 c Solution :
3586.60/3602.25 c Solutions found : 0
3586.60/3602.25 c Primal Bound : -
3586.60/3602.25 c Dual Bound : +0.00000000000000e+00
3586.60/3602.25 c Gap : -
3586.60/3602.26 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: 64096 MiB (59697 MiB free)
memory of node 1: 64473 MiB (61411 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451050-1721425199/watcher-4451050-1721425199 -o /tmp/evaluation-result-4451050-1721425199/solver-4451050-1721425199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033549 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451050-1721425199.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1035558, runsolver pid=1035555
[startup+0.100561 s]*
/proc/loadavg: 4.13 4.41 4.31 6/242 1035575
/proc/meminfo: memFree=123970620/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=125364 memory=40668 CPUtime=0.1 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 7345 0 0 0 9 1 0 0 20 0 3 0 194678679 128372736 10167 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 31341 10167 2910 3032 0 13997 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=125364 memory=4026531959 CPUtime=0.07 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 2741 0 0 0 7 0 0 0 20 0 3 0 194678681 128372736 10167 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=125364 memory=18009 CPUtime=0 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194678682 128372736 10167 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 125364 KiB
Current children cumulated memory: 40668 KiB
[startup+0.212606 s]*
/proc/loadavg: 4.13 4.41 4.31 7/250 1035585
/proc/meminfo: memFree=123909744/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=125364 memory=48592 CPUtime=0.2 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 9751 0 0 0 19 1 0 0 20 0 3 0 194678679 128372736 12148 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 31341 12148 2926 3032 0 15940 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=125364 memory=6007641856751698051 CPUtime=0.18 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 5147 0 0 0 17 1 0 0 20 0 3 0 194678681 128372736 12148 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=125364 memory=18025 CPUtime=0 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194678682 128372736 12148 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 125364 KiB
Current children cumulated memory: 48592 KiB
[startup+0.312131 s]*
/proc/loadavg: 4.13 4.41 4.31 5/250 1035585
/proc/meminfo: memFree=123883640/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=126392 memory=58604 CPUtime=0.3 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 12297 0 0 0 28 2 0 0 20 0 3 0 194678679 129425408 14651 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 31598 14651 2926 3032 0 18575 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=126392 memory=-7736474891312193915 CPUtime=0.28 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 7693 0 0 0 26 2 0 0 20 0 3 0 194678681 129425408 14651 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=126392 memory=0 CPUtime=0 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194678682 129425408 14651 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 126392 KiB
Current children cumulated memory: 58604 KiB
[startup+0.700351 s]
/proc/loadavg: 4.13 4.41 4.31 6/250 1035585
/proc/meminfo: memFree=123862212/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=126392 memory=67640 CPUtime=0.68 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 14513 0 0 0 65 3 0 0 20 0 3 0 194678679 129425408 16910 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 31598 16910 2942 3032 0 20770 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=126392 memory=0 CPUtime=0.65 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 9909 0 0 0 63 2 0 0 20 0 3 0 194678681 129425408 16910 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=126392 memory=0 CPUtime=0 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194678682 129425408 16910 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126392 KiB
Current children cumulated memory: 67640 KiB
[startup+1.50035 s]
/proc/loadavg: 4.13 4.41 4.31 5/242 1035621
/proc/meminfo: memFree=124148136/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=126392 memory=69504 CPUtime=1.47 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 21383 0 0 0 144 3 0 0 20 0 3 0 194678679 129425408 17376 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 31598 17376 2942 3032 0 21284 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=126392 memory=0 CPUtime=1.45 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 16771 0 0 0 142 3 0 0 20 0 3 0 194678681 129425408 17376 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=126392 memory=0 CPUtime=0 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194678682 129425408 17376 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 126392 KiB
Current children cumulated memory: 69504 KiB
[startup+3.11245 s]
/proc/loadavg: 4.12 4.40 4.31 5/250 1035633
/proc/meminfo: memFree=124108008/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=126392 memory=76584 CPUtime=3.07 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 23106 0 0 0 303 4 0 0 20 0 3 0 194678679 129425408 19146 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 31598 19146 2942 3032 0 22549 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=126392 memory=0 CPUtime=3.06 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 18490 0 0 0 302 4 0 0 20 0 3 0 194678681 129425408 19146 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=126392 memory=-7736474891345879419 CPUtime=0 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 194678682 129425408 19146 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 126392 KiB
Current children cumulated memory: 76584 KiB
[startup+6.3004 s]
/proc/loadavg: 4.12 4.40 4.31 5/250 1035729
/proc/meminfo: memFree=124092044/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=126392 memory=83836 CPUtime=6.25 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 32698 0 0 0 619 6 0 0 20 0 3 0 194678679 129425408 20959 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 31598 20959 2942 3032 0 24343 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=126392 memory=82984 CPUtime=6.23 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 28072 0 0 0 617 6 0 0 20 0 3 0 194678681 129425408 20959 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=126392 memory=0 CPUtime=0 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 194678682 129425408 20959 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 126392 KiB
Current children cumulated memory: 83836 KiB
[startup+12.7003 s]
/proc/loadavg: 4.11 4.39 4.31 5/242 1036006
/proc/meminfo: memFree=124065036/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=192752 memory=102236 CPUtime=12.61 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 57671 0 0 0 1252 9 0 0 20 0 3 0 194678679 197378048 25559 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 48188 25559 2942 3032 0 28710 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=192752 memory=95816 CPUtime=12.59 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 53027 0 0 0 1250 9 0 0 20 0 3 0 194678681 197378048 25559 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=192752 memory=12740 CPUtime=0 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 194678682 197378048 25559 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 192752 KiB
Current children cumulated memory: 102236 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.37 4.30 5/250 1036210
/proc/meminfo: memFree=123867360/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=192752 memory=120324 CPUtime=25.36 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 90166 0 0 0 2521 15 0 0 20 0 3 0 194678679 197378048 30081 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 48188 30081 2942 3032 0 33094 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=192752 memory=119636 CPUtime=25.33 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 85503 0 0 0 2519 14 0 0 20 0 3 0 194678681 197378048 30081 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=192752 memory=110096 CPUtime=0 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 194678682 197378048 30081 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 192752 KiB
Current children cumulated memory: 120324 KiB
[startup+51.1126 s]
/proc/loadavg: 4.06 4.34 4.29 5/252 1036218
/proc/meminfo: memFree=123806036/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=196864 memory=124968 CPUtime=50.85 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 108998 0 0 0 5064 21 0 0 20 0 3 0 194678679 201588736 31242 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 49216 31242 2990 3032 0 34166 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=196864 memory=120552 CPUtime=50.82 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 104298 0 0 0 5062 20 0 0 20 0 3 0 194678681 201588736 31242 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=196864 memory=123940 CPUtime=0 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 194678682 201588736 31242 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 196864 KiB
Current children cumulated memory: 124968 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.31 4.28 5/252 1036227
/proc/meminfo: memFree=123604236/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=211768 memory=178920 CPUtime=101.84 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 135274 0 0 0 10151 33 0 0 20 0 3 0 194678679 216850432 44730 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 52942 44730 2990 3032 0 46983 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=211768 memory=178516 CPUtime=101.8 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 130533 0 0 0 10148 32 0 0 20 0 3 0 194678681 216850432 44730 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=211768 memory=100 CPUtime=0 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 194678682 216850432 44730 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 211768 KiB
Current children cumulated memory: 178920 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.26 4.27 5/252 1036286
/proc/meminfo: memFree=123474116/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=294780 memory=237156 CPUtime=161.6 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 166147 0 0 0 16114 46 0 0 20 0 3 0 194678679 301854720 59289 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 73695 59289 2990 3032 0 61452 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=294780 memory=12740 CPUtime=161.56 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 161379 0 0 0 16111 45 0 0 20 0 3 0 194678681 301854720 59289 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=294780 memory=12740 CPUtime=0 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 194678682 301854720 59289 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 161.6 s
################
# More data... #
################
/proc/1035558/statm: 527300 503545 2990 3032 0 507546 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=2109200 memory=1995640 CPUtime=3387.19 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 1912543 0 0 0 338079 640 0 0 20 0 3 0 194678681 2159820800 503545 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=2109200 memory=12740 CPUtime=0.05 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 65 0 0 0 1 4 0 0 20 0 3 0 194678682 2159820800 503545 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 3387.54 s
Current children cumulated vsize: 2109200 KiB
Current children cumulated memory: 2014180 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.22 4.22 5/249 1038629
/proc/meminfo: memFree=118732768/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=2117424 memory=2031540 CPUtime=3447.29 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 1941197 0 0 0 344070 659 0 0 20 0 3 0 194678679 2168242176 507885 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 529356 507885 2990 3032 0 511360 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=2117424 memory=1995640 CPUtime=3446.93 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 1935835 0 0 0 344045 648 0 0 20 0 3 0 194678681 2168242176 507885 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=2117424 memory=12740 CPUtime=0.05 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 66 0 0 0 1 4 0 0 20 0 3 0 194678682 2168242176 507885 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 3447.29 s
Current children cumulated vsize: 2117424 KiB
Current children cumulated memory: 2031540 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.20 4.21 5/249 1038639
/proc/meminfo: memFree=118667784/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=2128732 memory=2055636 CPUtime=3507.02 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 1962210 0 0 0 350033 669 0 0 20 0 3 0 194678679 2179821568 513909 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 532183 513909 2990 3032 0 517221 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=2128732 memory=50128 CPUtime=3506.66 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 1956837 0 0 0 350008 658 0 0 20 0 3 0 194678681 2179821568 513909 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=2128732 memory=2044740 CPUtime=0.05 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 67 0 0 0 1 4 0 0 20 0 3 0 194678682 2179821568 513909 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 3507.02 s
Current children cumulated vsize: 2128732 KiB
Current children cumulated memory: 2055636 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.18 4.20 5/249 1038650
/proc/meminfo: memFree=118608068/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=2141068 memory=2080876 CPUtime=3566.77 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 1981640 0 0 0 355999 678 0 0 20 0 3 0 194678679 2192453632 520219 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 535267 520219 2990 3032 0 523643 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=2141068 memory=2062968 CPUtime=3566.4 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 1976255 0 0 0 355973 667 0 0 20 0 3 0 194678681 2192453632 520219 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=2141068 memory=2078636 CPUtime=0.05 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 194678682 2192453632 520219 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 3566.77 s
Current children cumulated vsize: 2141068 KiB
Current children cumulated memory: 2080876 KiB
[startup+3602.27 s]
# the end of solver process 1035558 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.78 s, system=6.88865 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.19 4.19 4.20 5/249 1038650
/proc/meminfo: memFree=118606500/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=2142096 memory=2082312 CPUtime=3568.47 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 1982019 0 0 0 356169 678 0 0 20 0 3 0 194678679 2193506304 520578 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 535524 520578 2990 3032 0 523996 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=2142096 memory=-7167897470117188198 CPUtime=3568.1 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 1976634 0 0 0 356143 667 0 0 20 0 3 0 194678681 2193506304 520578 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=2142096 memory=-9187040390491043779 CPUtime=0.05 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 194678682 2193506304 520578 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 3568.47 s
Current children cumulated vsize: 2142096 KiB
Current children cumulated memory: 2082312 KiB
[startup+3590.4 s]
/proc/loadavg: 4.18 4.19 4.20 5/249 1038653
/proc/meminfo: memFree=118602856/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=2142096 memory=2082696 CPUtime=3574.84 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 1982368 0 0 0 356805 679 0 0 20 0 3 0 194678679 2193506304 520674 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 535524 520674 2990 3032 0 524092 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=2142096 memory=2082312 CPUtime=3574.46 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 1976982 0 0 0 356779 667 0 0 20 0 3 0 194678681 2193506304 520674 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=2142096 memory=50128 CPUtime=0.05 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 194678682 2193506304 520674 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 3574.84 s
Current children cumulated vsize: 2142096 KiB
Current children cumulated memory: 2082696 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.18 4.20 5/249 1038653
/proc/meminfo: memFree=118597984/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=2144152 memory=2085884 CPUtime=3581.21 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 1983952 0 0 0 357442 679 0 0 20 0 3 0 194678679 2195611648 521471 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 536038 521471 2990 3032 0 524830 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=2144152 memory=7308056215112733550 CPUtime=3580.84 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 1978566 0 0 0 357416 668 0 0 20 0 3 0 194678681 2195611648 521471 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=2144152 memory=-6516300482639207325 CPUtime=0.05 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 194678682 2195611648 521471 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 3581.21 s
Current children cumulated vsize: 2144152 KiB
Current children cumulated memory: 2085884 KiB
[startup+3600 s]*
/proc/loadavg: 4.15 4.18 4.20 5/249 1038654
/proc/meminfo: memFree=118595432/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=2144152 memory=2086288 CPUtime=3584.41 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 1993781 0 0 0 357761 680 0 0 20 0 3 0 194678679 2195611648 521572 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 536038 521572 2990 3032 0 524927 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=2144152 memory=2196 CPUtime=3584.03 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 1988719 0 0 0 357735 668 0 0 20 0 3 0 194678681 2195611648 521572 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=2144152 memory=41560 CPUtime=0.05 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 194678682 2195611648 521572 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 3584.41 s
Current children cumulated vsize: 2144152 KiB
Current children cumulated memory: 2086288 KiB
[startup+3601.6 s]
/proc/loadavg: 4.15 4.18 4.20 5/249 1038654
/proc/meminfo: memFree=118781984/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=1671272 memory=1613408 CPUtime=3585.99 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 2048286 0 0 0 357914 685 0 0 20 0 3 0 194678679 1711382528 403352 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 417818 403352 2990 3032 0 406707 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=1671272 memory=29488 CPUtime=3585.62 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 2042899 0 0 0 357888 674 0 0 20 0 3 0 194678681 1711382528 403352 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=1671272 memory=2268 CPUtime=0.05 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 194678682 1711382528 403352 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 3585.99 s
Current children cumulated vsize: 1671272 KiB
Current children cumulated memory: 1613408 KiB
[startup+3602 s]*
/proc/loadavg: 4.15 4.18 4.20 5/249 1038654
/proc/meminfo: memFree=119146868/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=1496512 memory=1438652 CPUtime=3586.4 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 2055418 0 0 0 357954 686 0 0 20 0 3 0 194678679 1532428288 359663 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 374128 359663 2990 3032 0 363017 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=1495484 memory=-7167897470117188198 CPUtime=3586.03 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 2050032 0 0 0 357928 675 0 0 20 0 3 0 194678681 1531375616 359406 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=1495484 memory=-9187040390491043779 CPUtime=0.05 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 194678682 1531375616 359406 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 3586.4 s
Current children cumulated vsize: 1496512 KiB
Current children cumulated memory: 1438652 KiB
[startup+3602.2 s]
/proc/loadavg: 4.15 4.18 4.20 5/249 1038654
/proc/meminfo: memFree=119146868/131655788 swapFree=131071996/131071996
[pid=1035558] ppid=1035555 vsize=1423524 memory=1365664 CPUtime=3586.6 cores=0,2
/proc/1035558/stat : 1035558 (fscip) S 1035555 1035558 1033539 0 -1 1077936128 2056816 0 0 0 357973 687 0 0 20 0 3 0 194678679 1457688576 341416 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
/proc/1035558/statm: 355881 341416 2990 3032 0 344770 0
[pid=1035558/tid=1035560] ppid=1035555 vsize=1423524 memory=17879 CPUtime=3586.21 cores=0,2
/proc/1035558/task/1035560/stat : 1035560 (fscip) R 1035555 1035558 1033539 0 -1 4194368 2051429 0 0 0 357946 675 0 0 20 0 3 0 194678681 1457688576 341416 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
[pid=1035558/tid=1035561] ppid=1035555 vsize=1423524 memory=25981 CPUtime=0.05 cores=0,2
/proc/1035558/task/1035561/stat : 1035561 (fscip) S 1035555 1035558 1033539 0 -1 1077936192 68 0 0 0 1 4 0 0 20 0 3 0 194678682 1457688576 341416 134679101440 4194304 16613245 140734930879776 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 33107968 140734930887699 140734930887815 140734930887815 140734930894832 0
Current children cumulated CPU time: 3586.6 s
Current children cumulated vsize: 1423524 KiB
Current children cumulated memory: 1365664 KiB
Child status: 0
Real time (s): 3602.27
CPU time (s): 3586.67
CPU user time (s): 3579.78
CPU system time (s): 6.88865
CPU usage (%): 99.567
Max. virtual memory (cumulated for all children) (KiB): 2144152
Max. memory (cumulated for all children) (KiB): 2086288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.78
system time used= 6.88865
maximum resident set size= 2086288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2057553
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= 11168
involuntary context switches= 25160
# summary of solver processes directly reported to runsolver:
# pid: 1035558
# total CPU time (s): 3586.67
# total CPU user time (s): 3579.78
# total CPU system time (s): 6.88865
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5753 second user time and 35.0086 second system time
The end
Begin job on nodeC005 at 2024-07-19 23:40:11
IDJOB=4451050
IDBENCH=162341
IDSOLVER=3064
FILE ID=nodeC005/4451050-1721425199
RUNJOBID= nodeC005-1721421610-1033549
SLURM_JOB_ID= 7545501
Free space on /tmp= 723728 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4451050-1721425199/watcher-4451050-1721425199 -o /tmp/evaluation-result-4451050-1721425199/solver-4451050-1721425199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033549 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451050-1721425199.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 71fa1afe6ec5716be864bdb24fc2dd76
RANDOM SEED=1861584677
nodeC005.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 : 0xb00001f
cpu MHz : 3491.764
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 3491.782
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.219
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 1197.176
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 3491.770
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 3638.757
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.180
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.53
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 : 0xb00001f
cpu MHz : 1197.270
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 124030860 kB
MemAvailable: 129561488 kB
Buffers: 538440 kB
Cached: 5773296 kB
SwapCached: 0 kB
Active: 1142112 kB
Inactive: 5784308 kB
Active(anon): 3400 kB
Inactive(anon): 656864 kB
Active(file): 1138712 kB
Inactive(file): 5127444 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56672 kB
Writeback: 0 kB
AnonPages: 613460 kB
Mapped: 120048 kB
Shmem: 45896 kB
KReclaimable: 209344 kB
Slab: 328612 kB
SReclaimable: 209344 kB
SUnreclaim: 119268 kB
KernelStack: 3760 kB
PageTables: 10360 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 793604 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61440 kB
HardwareCorrupted: 0 kB
AnonHugePages: 475136 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: 285512 kB
DirectMap2M: 36319232 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC005 at 2024-07-20 00:40:13