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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 27672576, getVmSize() = 27672576, SCIPgetMemUsed() = 4335925, SCIPgetMemTotal() = 6113709, SCIPgetMemExternEstim() = 1844109
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.05 c ** Estimated virtualMemUsedAtSolver = 23139669, getVmSize() = 41746432, SCIPgetMemUsed() = 13426473, SCIPgetMemTotal() = 18980401, SCIPgetMemExternEstim() = 1844109
0.00/0.05 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.05 c Original Problem :
0.00/0.05 c Problem name : instance-4451110-1721425199
0.00/0.05 c Variables : 1401 (1401 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 701
0.00/0.05 c Objective sense : minimize
0.00/0.05 c Presolved Problem :
0.00/0.05 c Variables : 1400 (1400 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 700
0.00/0.05 c Constraints : Number
0.00/0.05 c linear : 700
0.00/0.05 c ** Instance transfer method used: 0
0.00/0.06 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.07 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.07 c Nodes Active
0.00/0.07 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.36/5.45 c 5 1570 1561 1 - 0.0000 -
10.44/10.53 c 11 5867 5713 1 - 0.0000 -
15.52/15.61 c 16 9891 9632 1 - 0.0000 -
20.50/20.69 c 21 13552 13243 1 - 0.0000 -
25.57/25.74 c 26 16084 15696 1 - 0.0000 -
30.66/30.84 c 31 17998 17521 1 - 0.0000 -
35.73/35.95 c 36 20947 20434 1 - 0.0000 -
40.72/40.99 c 41 25679 25059 1 - 0.0000 -
45.81/46.04 c 46 30847 30146 1 - 0.0000 -
50.79/51.09 c 51 35960 35112 1 - 0.0000 -
55.87/56.16 c 56 40726 39710 1 - 0.0000 -
60.94/61.21 c 61 45700 44598 1 - 0.0000 -
65.92/66.27 c 66 50898 49645 1 - 0.0000 -
71.01/71.33 c 71 56206 54783 1 - 0.0000 -
75.99/76.37 c 76 61154 59597 1 - 0.0000 -
81.07/81.43 c 81 66216 64516 1 - 0.0000 -
86.16/86.54 c 87 71045 69099 1 - 0.0000 -
91.14/91.59 c 92 76036 73972 1 - 0.0000 -
96.22/96.65 c 97 81072 78938 1 - 0.0000 -
101.30/101.71 c 102 85803 83292 1 - 0.0000 -
106.28/106.75 c 107 91086 88369 1 - 0.0000 -
111.37/111.83 c 112 96256 92821 1 - 0.0000 -
116.35/116.88 c 117 101230 97605 1 - 0.0000 -
121.43/121.93 c 122 106614 102775 1 - 0.0000 -
126.40/126.98 c 127 110879 106876 1 - 0.0000 -
131.49/132.03 c 132 115782 111575 1 - 0.0000 -
136.47/137.08 c 137 120474 116047 1 - 0.0000 -
141.55/142.14 c 142 125330 120812 1 - 0.0000 -
146.62/147.20 c 147 130417 125565 1 - 0.0000 -
151.60/152.25 c 152 135578 130504 1 - 0.0000 -
156.69/157.30 c 157 139946 134656 1 - 0.0000 -
161.67/162.36 c 162 144612 139156 1 - 0.0000 -
166.75/167.42 c 167 149132 143407 1 - 0.0000 -
171.74/172.47 c 172 153648 147836 1 - 0.0000 -
176.81/177.53 c 178 158720 152619 1 - 0.0000 -
181.79/182.58 c 183 164050 157665 1 - 0.0000 -
186.87/187.63 c 188 169238 162539 1 - 0.0000 -
191.96/192.70 c 193 174026 167103 1 - 0.0000 -
196.92/197.76 c 198 178993 171745 1 - 0.0000 -
202.01/202.86 c 203 183409 175937 1 - 0.0000 -
207.09/207.91 c 208 188367 180679 1 - 0.0000 -
212.18/213.01 c 213 193356 185435 1 - 0.0000 -
217.16/218.05 c 218 197658 189589 1 - 0.0000 -
222.24/223.11 c 223 202439 194211 1 - 0.0000 -
227.22/228.16 c 228 207247 198666 1 - 0.0000 -
232.28/233.21 c 233 212413 203524 1 - 0.0000 -
237.36/238.32 c 238 217206 208043 1 - 0.0000 -
242.35/243.38 c 243 222160 212842 1 - 0.0000 -
247.43/248.43 c 248 227104 217380 1 - 0.0000 -
252.42/253.48 c 253 231762 221881 1 - 0.0000 -
257.49/258.53 c 259 236717 226555 1 - 0.0000 -
262.48/263.59 c 264 241553 231064 1 - 0.0000 -
267.57/268.65 c 269 246319 235563 1 - 0.0000 -
272.65/273.71 c 274 250672 239732 1 - 0.0000 -
277.64/278.77 c 279 255591 244370 1 - 0.0000 -
282.72/283.83 c 284 260098 248608 1 - 0.0000 -
287.70/288.87 c 289 264764 252976 1 - 0.0000 -
292.90/294.07 c 294 269976 257756 1 - 0.0000 -
297.97/299.12 c 299 274883 262381 1 - 0.0000 -
303.05/304.21 c 304 279482 266738 1 - 0.0000 -
308.03/309.27 c 309 284194 271301 1 - 0.0000 -
313.12/314.32 c 314 288234 275174 1 - 0.0000 -
318.20/319.42 c 319 291614 278259 1 - 0.0000 -
323.18/324.47 c 324 296658 282909 1 - 0.0000 -
328.27/329.53 c 330 301086 287150 1 - 0.0000 -
333.35/334.69 c 335 306096 291912 1 - 0.0000 -
338.44/339.73 c 340 310632 296186 1 - 0.0000 -
343.42/344.78 c 345 315385 300838 1 - 0.0000 -
348.50/349.83 c 350 319868 305061 1 - 0.0000 -
353.59/354.90 c 355 324220 309222 1 - 0.0000 -
358.57/359.96 c 360 329163 313844 1 - 0.0000 -
363.66/365.01 c 365 333406 317744 1 - 0.0000 -
368.64/370.06 c 370 337728 321810 1 - 0.0000 -
373.73/375.11 c 375 342399 326051 1 - 0.0000 -
378.71/380.17 c 380 346862 330116 1 - 0.0000 -
383.78/385.23 c 385 351366 334255 1 - 0.0000 -
388.77/390.28 c 390 356090 338738 1 - 0.0000 -
393.85/395.33 c 395 361193 343471 1 - 0.0000 -
398.83/400.38 c 400 366227 348029 1 - 0.0000 -
403.92/405.47 c 405 370695 352125 1 - 0.0000 -
409.00/410.55 c 411 375105 356198 1 - 0.0000 -
414.08/415.60 c 416 379648 360445 1 - 0.0000 -
419.07/420.65 c 421 383980 364480 1 - 0.0000 -
424.15/425.72 c 426 387953 368220 1 - 0.0000 -
429.13/430.78 c 431 392760 372798 1 - 0.0000 -
434.22/435.85 c 436 397166 376999 1 - 0.0000 -
439.30/440.90 c 441 401183 380778 1 - 0.0000 -
444.29/445.96 c 446 404906 384379 1 - 0.0000 -
449.37/451.01 c 451 408839 388206 1 - 0.0000 -
454.46/456.13 c 456 413127 392372 1 - 0.0000 -
459.53/461.26 c 461 417029 396157 1 - 0.0000 -
464.62/466.33 c 466 421161 400123 1 - 0.0000 -
469.70/471.43 c 471 425707 404357 1 - 0.0000 -
474.69/476.49 c 476 430335 408782 1 - 0.0000 -
479.76/481.55 c 482 434754 412885 1 - 0.0000 -
484.86/486.61 c 487 439403 417348 1 - 0.0000 -
489.84/491.66 c 492 443722 421504 1 - 0.0000 -
494.92/496.71 c 497 448651 426163 1 - 0.0000 -
500.01/501.82 c 502 452693 429890 1 - 0.0000 -
505.08/506.97 c 507 456742 433513 1 - 0.0000 -
510.18/512.03 c 512 460755 437351 1 - 0.0000 -
515.17/517.08 c 517 465493 441869 1 - 0.0000 -
520.24/522.13 c 522 469564 445743 1 - 0.0000 -
525.24/527.18 c 527 473937 449762 1 - 0.0000 -
530.31/532.25 c 532 478510 454017 1 - 0.0000 -
535.39/537.30 c 537 483013 458197 1 - 0.0000 -
540.47/542.42 c 542 487556 462492 1 - 0.0000 -
545.56/547.55 c 548 491954 466584 1 - 0.0000 -
550.54/552.59 c 553 496410 470759 1 - 0.0000 -
555.63/557.64 c 558 500994 475146 1 - 0.0000 -
560.70/562.70 c 563 504956 478932 1 - 0.0000 -
565.69/567.77 c 568 508769 482537 1 - 0.0000 -
570.87/572.95 c 573 512819 486447 1 - 0.0000 -
575.97/578.04 c 578 517092 490569 1 - 0.0000 -
581.05/583.11 c 583 521248 494285 1 - 0.0000 -
586.04/588.17 c 588 525362 498134 1 - 0.0000 -
591.21/593.33 c 593 529033 501742 1 - 0.0000 -
596.19/598.37 c 598 533007 505490 1 - 0.0000 -
601.28/603.46 c 603 537488 509772 1 - 0.0000 -
606.36/608.52 c 609 541068 513124 1 - 0.0000 -
611.35/613.57 c 614 545563 517346 1 - 0.0000 -
616.43/618.62 c 619 549761 521212 1 - 0.0000 -
621.42/623.69 c 624 554023 525171 1 - 0.0000 -
626.50/628.76 c 629 557796 528822 1 - 0.0000 -
631.58/633.81 c 634 561549 532385 1 - 0.0000 -
636.77/639.01 c 639 565926 536595 1 - 0.0000 -
641.76/644.09 c 644 570048 540428 1 - 0.0000 -
646.85/649.16 c 649 573942 544031 1 - 0.0000 -
651.92/654.21 c 654 577928 547581 1 - 0.0000 -
656.90/659.26 c 659 582103 551542 1 - 0.0000 -
661.98/664.31 c 664 586148 555431 1 - 0.0000 -
666.97/669.36 c 669 590429 559501 1 - 0.0000 -
672.05/674.41 c 674 594975 563811 1 - 0.0000 -
677.04/679.49 c 680 599157 567696 1 - 0.0000 -
682.22/684.65 c 685 603335 571644 1 - 0.0000 -
687.41/689.82 c 690 607785 575918 1 - 0.0000 -
692.49/694.92 c 695 611580 579618 1 - 0.0000 -
697.47/699.98 c 700 615748 583637 1 - 0.0000 -
702.57/705.06 c 705 619962 587601 1 - 0.0000 -
707.65/710.12 c 710 623827 591339 1 - 0.0000 -
712.64/715.19 c 715 627665 595093 1 - 0.0000 -
717.81/720.36 c 720 631722 598956 1 - 0.0000 -
722.89/725.41 c 725 635537 602585 1 - 0.0000 -
727.98/730.51 c 731 639632 606503 1 - 0.0000 -
733.06/735.60 c 736 643800 610391 1 - 0.0000 -
738.15/740.71 c 741 648148 614628 1 - 0.0000 -
743.13/745.76 c 746 652410 618681 1 - 0.0000 -
748.22/750.81 c 751 656725 622862 1 - 0.0000 -
753.20/755.87 c 756 661083 627088 1 - 0.0000 -
758.49/761.16 c 761 664559 630368 1 - 0.0000 -
763.56/766.20 c 766 668737 634263 1 - 0.0000 -
768.95/771.60 c 772 672516 637936 1 - 0.0000 -
774.04/776.75 c 777 676172 641443 1 - 0.0000 -
779.12/781.82 c 782 680436 645589 1 - 0.0000 -
784.10/786.88 c 787 684838 649821 1 - 0.0000 -
789.19/791.93 c 792 688342 653223 1 - 0.0000 -
794.28/797.03 c 797 691988 656774 1 - 0.0000 -
799.27/802.08 c 802 695473 660071 1 - 0.0000 -
804.36/807.16 c 807 699439 663789 1 - 0.0000 -
809.42/812.25 c 812 703688 667862 1 - 0.0000 -
814.51/817.30 c 817 707586 671599 1 - 0.0000 -
819.69/822.51 c 823 711664 675380 1 - 0.0000 -
824.68/827.57 c 828 715483 678876 1 - 0.0000 -
829.76/832.62 c 833 719678 682917 1 - 0.0000 -
834.84/837.72 c 838 723740 686672 1 - 0.0000 -
839.93/842.87 c 843 727473 690281 1 - 0.0000 -
845.22/848.13 c 848 731463 694201 1 - 0.0000 -
850.21/853.18 c 853 735333 697937 1 - 0.0000 -
855.28/858.29 c 858 738923 701296 1 - 0.0000 -
860.36/863.34 c 863 742958 705145 1 - 0.0000 -
865.54/868.51 c 869 747095 709162 1 - 0.0000 -
870.73/873.73 c 874 751095 712984 1 - 0.0000 -
875.72/878.78 c 879 754997 716809 1 - 0.0000 -
880.80/883.85 c 884 759209 720801 1 - 0.0000 -
885.88/888.95 c 889 763212 724550 1 - 0.0000 -
890.97/894.07 c 894 766727 727955 1 - 0.0000 -
896.06/899.16 c 899 770306 731102 1 - 0.0000 -
901.14/904.21 c 904 774129 734732 1 - 0.0000 -
906.11/909.29 c 909 778167 738636 1 - 0.0000 -
911.20/914.34 c 914 782160 742515 1 - 0.0000 -
916.28/919.47 c 919 786049 746270 1 - 0.0000 -
921.36/924.53 c 925 789914 749983 1 - 0.0000 -
926.55/929.72 c 930 793982 753829 1 - 0.0000 -
931.63/934.81 c 935 797414 757160 1 - 0.0000 -
936.83/940.08 c 940 801026 760686 1 - 0.0000 -
941.91/945.14 c 945 804998 764583 1 - 0.0000 -
946.98/950.26 c 950 808582 768123 1 - 0.0000 -
952.07/955.34 c 955 812284 771699 1 - 0.0000 -
957.25/960.57 c 961 816082 775389 1 - 0.0000 -
962.34/965.62 c 966 820174 779302 1 - 0.0000 -
967.32/970.68 c 971 824205 782810 1 - 0.0000 -
972.40/975.74 c 976 828034 786439 1 - 0.0000 -
977.49/980.80 c 981 831835 790012 1 - 0.0000 -
982.47/985.86 c 986 835611 793632 1 - 0.0000 -
987.55/990.96 c 991 839479 797303 1 - 0.0000 -
992.65/996.01 c 996 843192 800822 1 - 0.0000 -
997.72/1001.18 c 1001 846945 804377 1 - 0.0000 -
1002.89/1006.32 c 1006 850530 807885 1 - 0.0000 -
1008.07/1011.50 c 1012 854269 811365 1 - 0.0000 -
1013.05/1016.59 c 1017 857773 814674 1 - 0.0000 -
1018.22/1021.70 c 1022 861357 818067 1 - 0.0000 -
1023.30/1026.83 c 1027 865099 821723 1 - 0.0000 -
1028.49/1032.07 c 1032 868705 825252 1 - 0.0000 -
1033.57/1037.12 c 1037 872265 828704 1 - 0.0000 -
1038.63/1042.22 c 1042 875473 831772 1 - 0.0000 -
1043.81/1047.44 c 1047 879109 835296 1 - 0.0000 -
1048.79/1052.49 c 1052 883038 838982 1 - 0.0000 -
1054.06/1057.72 c 1058 886692 842421 1 - 0.0000 -
1059.24/1062.93 c 1063 890567 846147 1 - 0.0000 -
1064.21/1067.99 c 1068 894359 849771 1 - 0.0000 -
1069.31/1073.05 c 1073 897961 853223 1 - 0.0000 -
1074.38/1078.17 c 1078 901388 856429 1 - 0.0000 -
1079.54/1083.39 c 1083 904958 859871 1 - 0.0000 -
1084.72/1088.54 c 1089 909074 863753 1 - 0.0000 -
1090.00/1093.80 c 1094 912765 867303 1 - 0.0000 -
1094.98/1098.85 c 1099 915926 870374 1 - 0.0000 -
1100.05/1103.90 c 1104 919634 873926 1 - 0.0000 -
1105.32/1109.20 c 1109 923230 877382 1 - 0.0000 -
1110.41/1114.34 c 1114 926886 880900 1 - 0.0000 -
1115.49/1119.40 c 1119 930526 884376 1 - 0.0000 -
1120.48/1124.45 c 1124 933936 887674 1 - 0.0000 -
1125.66/1129.69 c 1130 937613 891175 1 - 0.0000 -
1130.74/1134.73 c 1135 941488 894856 1 - 0.0000 -
1135.83/1139.85 c 1140 945137 898110 1 - 0.0000 -
1140.91/1144.92 c 1145 948189 901039 1 - 0.0000 -
1145.89/1149.97 c 1150 951415 904012 1 - 0.0000 -
1150.97/1155.04 c 1155 954676 907188 1 - 0.0000 -
1156.06/1160.13 c 1160 957807 910236 1 - 0.0000 -
1161.23/1165.31 c 1165 961353 913642 1 - 0.0000 -
1166.20/1170.37 c 1170 964648 916804 1 - 0.0000 -
1171.29/1175.44 c 1175 968133 920166 1 - 0.0000 -
1176.37/1180.50 c 1181 971603 923536 1 - 0.0000 -
1181.46/1185.60 c 1186 975367 927268 1 - 0.0000 -
1186.44/1190.68 c 1191 978752 930585 1 - 0.0000 -
1191.62/1195.82 c 1196 982278 934000 1 - 0.0000 -
1196.69/1201.01 c 1201 985637 937136 1 - 0.0000 -
1201.78/1206.05 c 1206 989453 940749 1 - 0.0000 -
1206.86/1211.11 c 1211 992558 943822 1 - 0.0000 -
1211.84/1216.16 c 1216 996011 947194 1 - 0.0000 -
1216.90/1221.21 c 1221 999699 950705 1 - 0.0000 -
1221.97/1226.31 c 1226 1002855 953762 1 - 0.0000 -
1227.36/1231.71 c 1232 1006375 957152 1 - 0.0000 -
1232.34/1236.78 c 1237 1010160 960759 1 - 0.0000 -
1237.81/1242.26 c 1242 1013817 964260 1 - 0.0000 -
1242.88/1247.37 c 1247 1017562 967787 1 - 0.0000 -
1247.96/1252.45 c 1252 1021428 971359 1 - 0.0000 -
1253.04/1257.50 c 1258 1024573 974342 1 - 0.0000 -
1258.12/1262.63 c 1263 1028162 977813 1 - 0.0000 -
1263.20/1267.78 c 1268 1031924 981408 1 - 0.0000 -
1268.37/1272.92 c 1273 1035180 984491 1 - 0.0000 -
1273.46/1278.10 c 1278 1038927 988090 1 - 0.0000 -
1278.54/1283.18 c 1283 1041890 990962 1 - 0.0000 -
1283.70/1288.31 c 1288 1045464 994399 1 - 0.0000 -
1288.68/1293.36 c 1293 1048891 997540 1 - 0.0000 -
1293.76/1298.49 c 1298 1052110 1000639 1 - 0.0000 -
1298.93/1303.65 c 1304 1055427 1003871 1 - 0.0000 -
1304.21/1308.92 c 1309 1058395 1006742 1 - 0.0000 -
1309.29/1314.06 c 1314 1061442 1009726 1 - 0.0000 -
1314.38/1319.11 c 1319 1064294 1012491 1 - 0.0000 -
1319.64/1324.49 c 1324 1067552 1015619 1 - 0.0000 -
1324.82/1329.66 c 1330 1070757 1018679 1 - 0.0000 -
1329.89/1334.73 c 1335 1074032 1021673 1 - 0.0000 -
1335.07/1339.93 c 1340 1077643 1025145 1 - 0.0000 -
1340.16/1345.08 c 1345 1081632 1028875 1 - 0.0000 -
1345.63/1350.52 c 1351 1085499 1032499 1 - 0.0000 -
1350.60/1355.58 c 1356 1088638 1035386 1 - 0.0000 -
1355.68/1360.66 c 1361 1091221 1037848 1 - 0.0000 -
1360.96/1365.93 c 1366 1094195 1040746 1 - 0.0000 -
1366.16/1371.15 c 1371 1097700 1044035 1 - 0.0000 -
1371.23/1376.20 c 1376 1100237 1046401 1 - 0.0000 -
1376.51/1381.54 c 1382 1102679 1048728 1 - 0.0000 -
1381.59/1386.60 c 1387 1105940 1051926 1 - 0.0000 -
1386.77/1391.81 c 1392 1109314 1055182 1 - 0.0000 -
1391.75/1396.85 c 1397 1112661 1058284 1 - 0.0000 -
1396.94/1402.02 c 1402 1115569 1061096 1 - 0.0000 -
1401.93/1407.10 c 1407 1118904 1064276 1 - 0.0000 -
1407.29/1412.43 c 1412 1122123 1067403 1 - 0.0000 -
1412.48/1417.61 c 1418 1125187 1070430 1 - 0.0000 -
1417.56/1422.77 c 1423 1128632 1073777 1 - 0.0000 -
1422.85/1428.01 c 1428 1131846 1076921 1 - 0.0000 -
1428.13/1433.30 c 1433 1135721 1080552 1 - 0.0000 -
1433.10/1438.39 c 1438 1138882 1083568 1 - 0.0000 -
1438.59/1443.82 c 1444 1141733 1086330 1 - 0.0000 -
1443.57/1448.87 c 1449 1145346 1089771 1 - 0.0000 -
1448.77/1454.08 c 1454 1148452 1092645 1 - 0.0000 -
1453.93/1459.23 c 1459 1152103 1096173 1 - 0.0000 -
1458.91/1464.28 c 1464 1155464 1099399 1 - 0.0000 -
1464.00/1469.39 c 1469 1158392 1102227 1 - 0.0000 -
1469.28/1474.66 c 1475 1162006 1105696 1 - 0.0000 -
1474.46/1479.84 c 1480 1165350 1108947 1 - 0.0000 -
1479.65/1485.03 c 1485 1168701 1112247 1 - 0.0000 -
1484.63/1490.09 c 1490 1172012 1115408 1 - 0.0000 -
1489.72/1495.14 c 1495 1175617 1118924 1 - 0.0000 -
1494.79/1500.27 c 1500 1179243 1122475 1 - 0.0000 -
1499.87/1505.32 c 1505 1182520 1125641 1 - 0.0000 -
1504.85/1510.37 c 1510 1185512 1128560 1 - 0.0000 -
1510.43/1515.94 c 1516 1189208 1132113 1 - 0.0000 -
1515.41/1521.00 c 1521 1192571 1135397 1 - 0.0000 -
1520.61/1526.18 c 1526 1195942 1138698 1 - 0.0000 -
1525.67/1531.27 c 1531 1198812 1141447 1 - 0.0000 -
1530.75/1536.36 c 1536 1202529 1145013 1 - 0.0000 -
1535.93/1541.50 c 1542 1205953 1148253 1 - 0.0000 -
1541.01/1546.62 c 1547 1209207 1151340 1 - 0.0000 -
1546.00/1551.67 c 1552 1212370 1154292 1 - 0.0000 -
1551.08/1556.72 c 1557 1215478 1157296 1 - 0.0000 -
1556.16/1561.81 c 1562 1218482 1160172 1 - 0.0000 -
1561.36/1567.05 c 1567 1221481 1163061 1 - 0.0000 -
1566.44/1572.16 c 1572 1224874 1166244 1 - 0.0000 -
1571.61/1577.36 c 1577 1228085 1169382 1 - 0.0000 -
1576.69/1582.46 c 1582 1231835 1172971 1 - 0.0000 -
1581.77/1587.57 c 1588 1234990 1175774 1 - 0.0000 -
1587.05/1592.83 c 1593 1238858 1179393 1 - 0.0000 -
1592.44/1598.20 c 1598 1242584 1182888 1 - 0.0000 -
1597.62/1603.44 c 1603 1245716 1185900 1 - 0.0000 -
1602.70/1608.51 c 1609 1249096 1189193 1 - 0.0000 -
1607.78/1613.61 c 1614 1251857 1191824 1 - 0.0000 -
1612.76/1618.65 c 1619 1254931 1194789 1 - 0.0000 -
1617.94/1623.80 c 1624 1258202 1197980 1 - 0.0000 -
1623.24/1629.14 c 1629 1261692 1201346 1 - 0.0000 -
1628.22/1634.19 c 1634 1264634 1204140 1 - 0.0000 -
1633.29/1639.25 c 1639 1268194 1207452 1 - 0.0000 -
1638.38/1644.32 c 1644 1271802 1210939 1 - 0.0000 -
1643.36/1649.37 c 1649 1275066 1214043 1 - 0.0000 -
1648.73/1654.72 c 1655 1278362 1217244 1 - 0.0000 -
1653.72/1659.76 c 1660 1281380 1220105 1 - 0.0000 -
1658.80/1664.81 c 1665 1284950 1223434 1 - 0.0000 -
1663.78/1669.87 c 1670 1288224 1226588 1 - 0.0000 -
1669.26/1675.31 c 1675 1291678 1229858 1 - 0.0000 -
1674.25/1680.36 c 1680 1295102 1233099 1 - 0.0000 -
1679.53/1685.67 c 1686 1298282 1236163 1 - 0.0000 -
1684.61/1690.73 c 1691 1301774 1239515 1 - 0.0000 -
1689.69/1695.85 c 1696 1304962 1242572 1 - 0.0000 -
1694.77/1700.99 c 1701 1307711 1245215 1 - 0.0000 -
1699.85/1706.06 c 1706 1310850 1248192 1 - 0.0000 -
1705.02/1711.26 c 1711 1313953 1251186 1 - 0.0000 -
1710.11/1716.37 c 1716 1316545 1253717 1 - 0.0000 -
1715.39/1721.61 c 1722 1319039 1256113 1 - 0.0000 -
1720.67/1726.95 c 1727 1322258 1259217 1 - 0.0000 -
1725.87/1732.15 c 1732 1325399 1262223 1 - 0.0000 -
1730.93/1737.20 c 1737 1328494 1265206 1 - 0.0000 -
1736.12/1742.47 c 1742 1331664 1268202 1 - 0.0000 -
1741.30/1747.68 c 1748 1334793 1271258 1 - 0.0000 -
1746.38/1752.72 c 1753 1338143 1274342 1 - 0.0000 -
1751.37/1757.78 c 1758 1341567 1277537 1 - 0.0000 -
1756.45/1762.85 c 1763 1345170 1280958 1 - 0.0000 -
1761.74/1768.11 c 1768 1347882 1283608 1 - 0.0000 -
1766.91/1773.37 c 1773 1350967 1286547 1 - 0.0000 -
1771.99/1778.42 c 1778 1354142 1289541 1 - 0.0000 -
1776.98/1783.48 c 1783 1357258 1292546 1 - 0.0000 -
1782.15/1788.60 c 1789 1360832 1295928 1 - 0.0000 -
1787.54/1794.05 c 1794 1364203 1299195 1 - 0.0000 -
1792.63/1799.12 c 1799 1367447 1302225 1 - 0.0000 -
1798.00/1804.53 c 1805 1370614 1305236 1 - 0.0000 -
1802.97/1809.58 c 1810 1374088 1308593 1 - 0.0000 -
1808.06/1814.63 c 1815 1377670 1312048 1 - 0.0000 -
1813.24/1819.81 c 1820 1380777 1314990 1 - 0.0000 -
1818.43/1825.09 c 1825 1383999 1318076 1 - 0.0000 -
1823.70/1830.34 c 1830 1387001 1320898 1 - 0.0000 -
1828.78/1835.40 c 1835 1390156 1323939 1 - 0.0000 -
1834.27/1841.01 c 1841 1393442 1327089 1 - 0.0000 -
1839.55/1846.29 c 1846 1396755 1330157 1 - 0.0000 -
1844.73/1851.46 c 1851 1400123 1333405 1 - 0.0000 -
1849.82/1856.56 c 1857 1403453 1336636 1 - 0.0000 -
1855.20/1861.94 c 1862 1406718 1339535 1 - 0.0000 -
1860.39/1867.11 c 1867 1410041 1342719 1 - 0.0000 -
1865.38/1872.16 c 1872 1413234 1345725 1 - 0.0000 -
1870.44/1877.21 c 1877 1416441 1348764 1 - 0.0000 -
1875.62/1882.46 c 1882 1419598 1351790 1 - 0.0000 -
1880.70/1887.51 c 1888 1422957 1355041 1 - 0.0000 -
1885.98/1892.80 c 1893 1426379 1358371 1 - 0.0000 -
1890.96/1897.88 c 1898 1429576 1361500 1 - 0.0000 -
1896.04/1902.93 c 1903 1432816 1364558 1 - 0.0000 -
1901.24/1908.13 c 1908 1436532 1368150 1 - 0.0000 -
1906.71/1913.60 c 1914 1440015 1371496 1 - 0.0000 -
1911.99/1918.94 c 1919 1443699 1375111 1 - 0.0000 -
1917.19/1924.12 c 1924 1447048 1378362 1 - 0.0000 -
1922.66/1929.61 c 1930 1450595 1381763 1 - 0.0000 -
1928.04/1935.05 c 1935 1453774 1384810 1 - 0.0000 -
1933.41/1940.48 c 1940 1457310 1388205 1 - 0.0000 -
1939.01/1946.06 c 1946 1460804 1391499 1 - 0.0000 -
1944.28/1951.36 c 1951 1464187 1394694 1 - 0.0000 -
1949.46/1956.54 c 1957 1467658 1398053 1 - 0.0000 -
1954.74/1961.82 c 1962 1470760 1401087 1 - 0.0000 -
1960.33/1967.47 c 1967 1474365 1404586 1 - 0.0000 -
1965.41/1972.52 c 1973 1477650 1407682 1 - 0.0000 -
1970.59/1977.75 c 1978 1481015 1410974 1 - 0.0000 -
1975.67/1982.84 c 1983 1484176 1413989 1 - 0.0000 -
1980.75/1987.94 c 1988 1487507 1417217 1 - 0.0000 -
1985.95/1993.17 c 1993 1490844 1420339 1 - 0.0000 -
1991.22/1998.49 c 1998 1494082 1423371 1 - 0.0000 -
1996.82/2004.01 c 2004 1497942 1427078 1 - 0.0000 -
2001.90/2009.19 c 2009 1500713 1429779 1 - 0.0000 -
2007.37/2014.67 c 2015 1503912 1432876 1 - 0.0000 -
2012.76/2020.07 c 2020 1506994 1435842 1 - 0.0000 -
2017.85/2025.17 c 2025 1510342 1439065 1 - 0.0000 -
2023.52/2030.80 c 2031 1514063 1442658 1 - 0.0000 -
2029.00/2036.39 c 2036 1517449 1445880 1 - 0.0000 -
2034.09/2041.45 c 2041 1521061 1449363 1 - 0.0000 -
2039.37/2046.77 c 2047 1524630 1452801 1 - 0.0000 -
2044.46/2051.82 c 2052 1527801 1455903 1 - 0.0000 -
2049.75/2057.19 c 2057 1531498 1459343 1 - 0.0000 -
2055.22/2062.69 c 2063 1535080 1462813 1 - 0.0000 -
2060.30/2067.78 c 2068 1538353 1465937 1 - 0.0000 -
2065.39/2072.83 c 2073 1541599 1469086 1 - 0.0000 -
2070.38/2077.89 c 2078 1544968 1472302 1 - 0.0000 -
2075.67/2083.16 c 2083 1548696 1475903 1 - 0.0000 -
2081.14/2088.66 c 2089 1552332 1479362 1 - 0.0000 -
2086.22/2093.72 c 2094 1555816 1482722 1 - 0.0000 -
2091.30/2098.87 c 2099 1559189 1485967 1 - 0.0000 -
2096.79/2104.32 c 2104 1562492 1489092 1 - 0.0000 -
2101.97/2109.51 c 2110 1565330 1491767 1 - 0.0000 -
2106.96/2114.57 c 2115 1568480 1494814 1 - 0.0000 -
2112.04/2119.62 c 2120 1571529 1497749 1 - 0.0000 -
2117.44/2125.08 c 2125 1575025 1501065 1 - 0.0000 -
2122.51/2130.13 c 2130 1578394 1504294 1 - 0.0000 -
2127.59/2135.20 c 2135 1581740 1507554 1 - 0.0000 -
2132.57/2140.24 c 2140 1584519 1510230 1 - 0.0000 -
2137.65/2145.33 c 2145 1588121 1513516 1 - 0.0000 -
2143.04/2150.71 c 2151 1591469 1516736 1 - 0.0000 -
2148.02/2155.79 c 2156 1594330 1519521 1 - 0.0000 -
2153.20/2160.92 c 2161 1597666 1522757 1 - 0.0000 -
2158.18/2165.99 c 2166 1600775 1525665 1 - 0.0000 -
2163.38/2171.19 c 2171 1603463 1528245 1 - 0.0000 -
2168.84/2176.69 c 2177 1607365 1532038 1 - 0.0000 -
2173.93/2181.75 c 2182 1610555 1535082 1 - 0.0000 -
2179.23/2187.02 c 2187 1613982 1538380 1 - 0.0000 -
2184.49/2192.34 c 2192 1617092 1541425 1 - 0.0000 -
2189.98/2197.87 c 2198 1620020 1544273 1 - 0.0000 -
2195.76/2203.69 c 2204 1623231 1547305 1 - 0.0000 -
2200.95/2208.80 c 2209 1625626 1549600 1 - 0.0000 -
2206.43/2214.32 c 2214 1628442 1552366 1 - 0.0000 -
2211.51/2219.47 c 2219 1631555 1555381 1 - 0.0000 -
2216.70/2224.61 c 2225 1634132 1557905 1 - 0.0000 -
2222.38/2230.40 c 2230 1637316 1560873 1 - 0.0000 -
2227.67/2235.61 c 2236 1640559 1563974 1 - 0.0000 -
2233.17/2241.15 c 2241 1643554 1566845 1 - 0.0000 -
2238.24/2246.20 c 2246 1646690 1569820 1 - 0.0000 -
2243.22/2251.25 c 2251 1649911 1572893 1 - 0.0000 -
2248.41/2256.40 c 2256 1653104 1575913 1 - 0.0000 -
2253.58/2261.61 c 2262 1656159 1578641 1 - 0.0000 -
2258.98/2267.06 c 2267 1658926 1581235 1 - 0.0000 -
2264.26/2272.34 c 2272 1662057 1584250 1 - 0.0000 -
2269.34/2277.41 c 2277 1665093 1587197 1 - 0.0000 -
2274.52/2282.64 c 2283 1668006 1589953 1 - 0.0000 -
2279.61/2287.77 c 2288 1671152 1592876 1 - 0.0000 -
2284.69/2292.85 c 2293 1674218 1595848 1 - 0.0000 -
2289.99/2298.11 c 2298 1677195 1598698 1 - 0.0000 -
2295.26/2303.41 c 2303 1680763 1602152 1 - 0.0000 -
2300.44/2308.60 c 2309 1683709 1605000 1 - 0.0000 -
2305.63/2313.86 c 2314 1686715 1607881 1 - 0.0000 -
2310.93/2319.19 c 2319 1690368 1611314 1 - 0.0000 -
2316.20/2324.42 c 2324 1693112 1613975 1 - 0.0000 -
2321.57/2329.83 c 2330 1696271 1616944 1 - 0.0000 -
2326.97/2335.22 c 2335 1699491 1620011 1 - 0.0000 -
2332.24/2340.50 c 2341 1702805 1623254 1 - 0.0000 -
2337.43/2345.76 c 2346 1705936 1626235 1 - 0.0000 -
2342.72/2351.07 c 2351 1708958 1629135 1 - 0.0000 -
2348.00/2356.37 c 2356 1711978 1632118 1 - 0.0000 -
2353.28/2361.62 c 2362 1715483 1635476 1 - 0.0000 -
2358.27/2366.68 c 2367 1718819 1638707 1 - 0.0000 -
2363.77/2372.13 c 2372 1721633 1641405 1 - 0.0000 -
2369.03/2377.41 c 2377 1725062 1644619 1 - 0.0000 -
2374.32/2382.78 c 2383 1728694 1647899 1 - 0.0000 -
2379.41/2387.87 c 2388 1731698 1650744 1 - 0.0000 -
2384.49/2392.92 c 2393 1734563 1653485 1 - 0.0000 -
2390.08/2398.53 c 2399 1737451 1656277 1 - 0.0000 -
2395.16/2403.63 c 2404 1740718 1659343 1 - 0.0000 -
2400.84/2409.37 c 2409 1744218 1662696 1 - 0.0000 -
2406.54/2415.06 c 2415 1747645 1665988 1 - 0.0000 -
2412.01/2420.57 c 2421 1750415 1668451 1 - 0.0000 -
2417.39/2425.94 c 2426 1753800 1671759 1 - 0.0000 -
2422.77/2431.39 c 2431 1756719 1674609 1 - 0.0000 -
2427.86/2436.45 c 2436 1759827 1677623 1 - 0.0000 -
2433.33/2441.97 c 2442 1762720 1680224 1 - 0.0000 -
2438.53/2447.16 c 2447 1765862 1683250 1 - 0.0000 -
2443.70/2452.38 c 2452 1768756 1686094 1 - 0.0000 -
2449.19/2457.85 c 2458 1771748 1689030 1 - 0.0000 -
2454.48/2463.19 c 2463 1774567 1691743 1 - 0.0000 -
2459.65/2468.36 c 2468 1777179 1694271 1 - 0.0000 -
2464.73/2473.46 c 2473 1779922 1696912 1 - 0.0000 -
2469.92/2478.69 c 2479 1782906 1699771 1 - 0.0000 -
2475.32/2484.05 c 2484 1785426 1702199 1 - 0.0000 -
2480.69/2489.49 c 2490 1788693 1705371 1 - 0.0000 -
2485.86/2494.62 c 2495 1791717 1708304 1 - 0.0000 -
2491.26/2500.02 c 2500 1794893 1711360 1 - 0.0000 -
2496.24/2505.07 c 2505 1798245 1714566 1 - 0.0000 -
2501.33/2510.16 c 2510 1800862 1717102 1 - 0.0000 -
2506.59/2515.46 c 2515 1804314 1720446 1 - 0.0000 -
2512.07/2520.92 c 2521 1807155 1723032 1 - 0.0000 -
2517.26/2526.19 c 2526 1809722 1725502 1 - 0.0000 -
2522.32/2531.24 c 2531 1813110 1728779 1 - 0.0000 -
2527.40/2536.30 c 2536 1816350 1731875 1 - 0.0000 -
2532.48/2541.40 c 2541 1819584 1735029 1 - 0.0000 -
2537.46/2546.44 c 2546 1822091 1737405 1 - 0.0000 -
2542.63/2551.66 c 2552 1825410 1740588 1 - 0.0000 -
2548.12/2557.18 c 2557 1828445 1743485 1 - 0.0000 -
2553.59/2562.67 c 2563 1831257 1746097 1 - 0.0000 -
2558.98/2568.10 c 2568 1833727 1748493 1 - 0.0000 -
2564.64/2573.72 c 2574 1836607 1751291 1 - 0.0000 -
2570.51/2579.66 c 2580 1839565 1754205 1 - 0.0000 -
2575.79/2585.01 c 2585 1842172 1756743 1 - 0.0000 -
2580.88/2590.10 c 2590 1845489 1759931 1 - 0.0000 -
2586.35/2595.59 c 2596 1848281 1762524 1 - 0.0000 -
2591.93/2601.11 c 2601 1850947 1764950 1 - 0.0000 -
2597.69/2606.97 c 2607 1854186 1768076 1 - 0.0000 -
2602.97/2612.27 c 2612 1857283 1771028 1 - 0.0000 -
2608.05/2617.32 c 2617 1860378 1773913 1 - 0.0000 -
2613.84/2623.14 c 2623 1862998 1776426 1 - 0.0000 -
2619.40/2628.74 c 2629 1866847 1780165 1 - 0.0000 -
2624.78/2634.19 c 2634 1869332 1782597 1 - 0.0000 -
2629.86/2639.28 c 2639 1872212 1785431 1 - 0.0000 -
2635.33/2644.75 c 2645 1875537 1788661 1 - 0.0000 -
2640.81/2650.23 c 2650 1878052 1791131 1 - 0.0000 -
2645.88/2655.33 c 2655 1880415 1793342 1 - 0.0000 -
2650.86/2660.38 c 2660 1883744 1796559 1 - 0.0000 -
2656.14/2665.64 c 2666 1886776 1799464 1 - 0.0000 -
2661.22/2670.79 c 2671 1889504 1802121 1 - 0.0000 -
2666.40/2675.97 c 2676 1892183 1804611 1 - 0.0000 -
2671.58/2681.16 c 2681 1894462 1806752 1 - 0.0000 -
2676.66/2686.22 c 2686 1897207 1809426 1 - 0.0000 -
2682.33/2691.94 c 2692 1900378 1812495 1 - 0.0000 -
2687.71/2697.31 c 2697 1903530 1815503 1 - 0.0000 -
2693.28/2702.93 c 2703 1906390 1818314 1 - 0.0000 -
2698.75/2708.46 c 2708 1909663 1821460 1 - 0.0000 -
2704.34/2714.01 c 2714 1912606 1824269 1 - 0.0000 -
2709.50/2719.28 c 2719 1915104 1826650 1 - 0.0000 -
2714.79/2724.54 c 2725 1918433 1829675 1 - 0.0000 -
2719.76/2729.59 c 2730 1920813 1831952 1 - 0.0000 -
2725.14/2734.94 c 2735 1923162 1834192 1 - 0.0000 -
2730.33/2740.18 c 2740 1925325 1836314 1 - 0.0000 -
2735.50/2745.35 c 2745 1927985 1838890 1 - 0.0000 -
2740.77/2750.69 c 2751 1930552 1841319 1 - 0.0000 -
2745.95/2755.81 c 2756 1933354 1843978 1 - 0.0000 -
2751.03/2760.94 c 2761 1936022 1846561 1 - 0.0000 -
2756.11/2766.03 c 2766 1938845 1849285 1 - 0.0000 -
2761.48/2771.46 c 2771 1942173 1852449 1 - 0.0000 -
2766.86/2776.86 c 2777 1945395 1855487 1 - 0.0000 -
2772.05/2782.02 c 2782 1948057 1857931 1 - 0.0000 -
2777.52/2787.52 c 2788 1950602 1860191 1 - 0.0000 -
2783.49/2793.51 c 2794 1953982 1863389 1 - 0.0000 -
2788.66/2798.74 c 2799 1956822 1866102 1 - 0.0000 -
2793.74/2803.83 c 2804 1959413 1868519 1 - 0.0000 -
2798.82/2809.00 c 2809 1962100 1871020 1 - 0.0000 -
2804.59/2814.73 c 2815 1964926 1873625 1 - 0.0000 -
2810.17/2820.32 c 2820 1968184 1876708 1 - 0.0000 -
2815.15/2825.38 c 2825 1970944 1879290 1 - 0.0000 -
2820.32/2830.56 c 2831 1973305 1881610 1 - 0.0000 -
2825.50/2835.76 c 2836 1975483 1883733 1 - 0.0000 -
2830.79/2841.09 c 2841 1978342 1886497 1 - 0.0000 -
2835.87/2846.17 c 2846 1980800 1888865 1 - 0.0000 -
2841.43/2851.76 c 2852 1983587 1891565 1 - 0.0000 -
2846.72/2857.07 c 2857 1986134 1893802 1 - 0.0000 -
2851.99/2862.31 c 2862 1989033 1896632 1 - 0.0000 -
2856.97/2867.37 c 2867 1992115 1899622 1 - 0.0000 -
2862.04/2872.42 c 2872 1995059 1902364 1 - 0.0000 -
2868.12/2878.53 c 2879 1998322 1905439 1 - 0.0000 -
2873.60/2884.03 c 2884 2001285 1908269 1 - 0.0000 -
2879.37/2889.82 c 2890 2004383 1911142 1 - 0.0000 -
2884.75/2895.20 c 2895 2006317 1912954 1 - 0.0000 -
2890.42/2900.96 c 2901 2009446 1915952 1 - 0.0000 -
2895.61/2906.16 c 2906 2012035 1918398 1 - 0.0000 -
2900.78/2911.30 c 2911 2014599 1920899 1 - 0.0000 -
2905.76/2916.35 c 2916 2017215 1923351 1 - 0.0000 -
2911.13/2921.72 c 2922 2020199 1926201 1 - 0.0000 -
2916.42/2927.09 c 2927 2022817 1928676 1 - 0.0000 -
2921.68/2932.32 c 2932 2025630 1931322 1 - 0.0000 -
2926.67/2937.39 c 2937 2027862 1933478 1 - 0.0000 -
2932.14/2942.85 c 2943 2030435 1935855 1 - 0.0000 -
2937.71/2948.42 c 2948 2032956 1938282 1 - 0.0000 -
2943.49/2954.27 c 2954 2036336 1941492 1 - 0.0000 -
2948.57/2959.32 c 2959 2038547 1943610 1 - 0.0000 -
2954.04/2964.81 c 2965 2041194 1946143 1 - 0.0000 -
2959.03/2969.88 c 2970 2043961 1948828 1 - 0.0000 -
2964.49/2975.39 c 2975 2047138 1951817 1 - 0.0000 -
2969.87/2980.72 c 2981 2050013 1954516 1 - 0.0000 -
2974.86/2985.79 c 2986 2052865 1957082 1 - 0.0000 -
2980.53/2991.45 c 2991 2055356 1959237 1 - 0.0000 -
2985.61/2996.50 c 2996 2058238 1961956 1 - 0.0000 -
2990.98/3001.98 c 3002 2060699 1964228 1 - 0.0000 -
2996.66/3007.63 c 3008 2063424 1966865 1 - 0.0000 -
3002.05/3013.10 c 3013 2065841 1969151 1 - 0.0000 -
3007.81/3018.84 c 3019 2068257 1971495 1 - 0.0000 -
3013.00/3024.07 c 3024 2070469 1973562 1 - 0.0000 -
3018.98/3030.02 c 3030 2073620 1976554 1 - 0.0000 -
3024.24/3035.30 c 3035 2076345 1978968 1 - 0.0000 -
3029.32/3040.41 c 3040 2078600 1981051 1 - 0.0000 -
3034.91/3046.09 c 3046 2081669 1983877 1 - 0.0000 -
3040.57/3051.74 c 3052 2084378 1986409 1 - 0.0000 -
3045.65/3056.87 c 3057 2086645 1988596 1 - 0.0000 -
3050.73/3061.92 c 3062 2088455 1990364 1 - 0.0000 -
3055.82/3067.08 c 3067 2091487 1993327 1 - 0.0000 -
3061.68/3072.95 c 3073 2094610 1996292 1 - 0.0000 -
3066.76/3078.10 c 3078 2097312 1998886 1 - 0.0000 -
3072.04/3083.38 c 3083 2099970 2001456 1 - 0.0000 -
3077.61/3088.94 c 3089 2102697 2004144 1 - 0.0000 -
3082.98/3094.38 c 3094 2105214 2006559 1 - 0.0000 -
3088.97/3100.36 c 3100 2107646 2008935 1 - 0.0000 -
3094.05/3105.48 c 3105 2110200 2011440 1 - 0.0000 -
3099.74/3111.16 c 3111 2113123 2014310 1 - 0.0000 -
3105.31/3116.72 c 3117 2115600 2016656 1 - 0.0000 -
3110.30/3121.79 c 3122 2118502 2019373 1 - 0.0000 -
3115.59/3127.09 c 3127 2121592 2022288 1 - 0.0000 -
3120.76/3132.28 c 3132 2124277 2024875 1 - 0.0000 -
3126.04/3137.51 c 3138 2126886 2027345 1 - 0.0000 -
3131.12/3142.62 c 3143 2129196 2029565 1 - 0.0000 -
3136.11/3147.68 c 3148 2131961 2032171 1 - 0.0000 -
3141.51/3153.04 c 3153 2134353 2034490 1 - 0.0000 -
3146.97/3158.59 c 3159 2137011 2037022 1 - 0.0000 -
3152.16/3163.77 c 3164 2139553 2039295 1 - 0.0000 -
3157.85/3169.44 c 3169 2142314 2041981 1 - 0.0000 -
3163.53/3175.18 c 3175 2145456 2045019 1 - 0.0000 -
3168.90/3180.52 c 3181 2148562 2047955 1 - 0.0000 -
3174.39/3186.06 c 3186 2151346 2050465 1 - 0.0000 -
3180.38/3192.07 c 3192 2154162 2053018 1 - 0.0000 -
3185.55/3197.27 c 3197 2156532 2055291 1 - 0.0000 -
3191.13/3202.89 c 3203 2159162 2057785 1 - 0.0000 -
3196.32/3208.07 c 3208 2162222 2060697 1 - 0.0000 -
3202.00/3213.79 c 3214 2164743 2062991 1 - 0.0000 -
3207.39/3219.19 c 3219 2167426 2065470 1 - 0.0000 -
3212.47/3224.27 c 3224 2169580 2067583 1 - 0.0000 -
3218.44/3230.29 c 3230 2172038 2069845 1 - 0.0000 -
3223.83/3235.67 c 3236 2174436 2072132 1 - 0.0000 -
3228.91/3240.75 c 3241 2176862 2074415 1 - 0.0000 -
3235.09/3246.92 c 3247 2179330 2076745 1 - 0.0000 -
3240.18/3252.05 c 3252 2181568 2078887 1 - 0.0000 -
3245.45/3257.35 c 3257 2184339 2081527 1 - 0.0000 -
3250.82/3262.72 c 3263 2186744 2083844 1 - 0.0000 -
3256.11/3268.07 c 3268 2189398 2086317 1 - 0.0000 -
3261.28/3273.26 c 3273 2192010 2088749 1 - 0.0000 -
3266.86/3278.84 c 3279 2194534 2091133 1 - 0.0000 -
3272.34/3284.33 c 3284 2197326 2093783 1 - 0.0000 -
3277.91/3289.95 c 3290 2200098 2096369 1 - 0.0000 -
3283.39/3295.41 c 3295 2202998 2099137 1 - 0.0000 -
3288.66/3300.70 c 3301 2205106 2101125 1 - 0.0000 -
3293.84/3305.94 c 3306 2207707 2103607 1 - 0.0000 -
3299.02/3311.19 c 3311 2210082 2105836 1 - 0.0000 -
3304.10/3316.27 c 3316 2212591 2108206 1 - 0.0000 -
3309.67/3321.87 c 3322 2215255 2110688 1 - 0.0000 -
3315.06/3327.24 c 3327 2217960 2113355 1 - 0.0000 -
3320.14/3332.31 c 3332 2220359 2115548 1 - 0.0000 -
3325.73/3337.95 c 3338 2223385 2118428 1 - 0.0000 -
3330.92/3343.17 c 3343 2225734 2120672 1 - 0.0000 -
3336.59/3348.87 c 3349 2228212 2122930 1 - 0.0000 -
3342.57/3354.86 c 3355 2231017 2125614 1 - 0.0000 -
3348.36/3360.66 c 3361 2233263 2127820 1 - 0.0000 -
3354.14/3366.40 c 3366 2235985 2130429 1 - 0.0000 -
3359.42/3371.74 c 3372 2239008 2133268 1 - 0.0000 -
3364.72/3377.02 c 3377 2241665 2135744 1 - 0.0000 -
3369.89/3382.21 c 3382 2244312 2138202 1 - 0.0000 -
3375.38/3387.76 c 3388 2246887 2140673 1 - 0.0000 -
3380.46/3392.82 c 3393 2249562 2143191 1 - 0.0000 -
3386.23/3398.63 c 3399 2252288 2145862 1 - 0.0000 -
3391.51/3403.97 c 3404 2254535 2147965 1 - 0.0000 -
3396.60/3409.06 c 3409 2256770 2150159 1 - 0.0000 -
3402.67/3415.16 c 3415 2259482 2152841 1 - 0.0000 -
3408.55/3421.06 c 3421 2261832 2155069 1 - 0.0000 -
3413.92/3426.48 c 3426 2264048 2157155 1 - 0.0000 -
3419.29/3431.85 c 3432 2266415 2159441 1 - 0.0000 -
3424.37/3436.95 c 3437 2269005 2161885 1 - 0.0000 -
3429.85/3442.46 c 3442 2271237 2164019 1 - 0.0000 -
3435.44/3448.04 c 3448 2273634 2166293 1 - 0.0000 -
3440.51/3453.14 c 3453 2276276 2168854 1 - 0.0000 -
3445.58/3458.22 c 3458 2279074 2171533 1 - 0.0000 -
3451.05/3463.76 c 3464 2282112 2174453 1 - 0.0000 -
3456.62/3469.35 c 3469 2284739 2176917 1 - 0.0000 -
3462.11/3474.82 c 3475 2286642 2178706 1 - 0.0000 -
3467.80/3480.55 c 3481 2288776 2180761 1 - 0.0000 -
3473.28/3486.02 c 3486 2291432 2183288 1 - 0.0000 -
3478.66/3491.47 c 3491 2293807 2185519 1 - 0.0000 -
3484.14/3496.94 c 3497 2296542 2188165 1 - 0.0000 -
3489.13/3501.99 c 3502 2299035 2190548 1 - 0.0000 -
3494.50/3507.39 c 3507 2301588 2192981 1 - 0.0000 -
3499.68/3512.52 c 3513 2303962 2195221 1 - 0.0000 -
3504.77/3517.67 c 3518 2306664 2197738 1 - 0.0000 -
3509.96/3522.83 c 3523 2308867 2199785 1 - 0.0000 -
3515.25/3528.13 c 3528 2311195 2201974 1 - 0.0000 -
3520.42/3533.32 c 3533 2313841 2204410 1 - 0.0000 -
3525.40/3538.38 c 3538 2316079 2206526 1 - 0.0000 -
3530.49/3543.43 c 3543 2318437 2208810 1 - 0.0000 -
3536.16/3549.15 c 3549 2320747 2211014 1 - 0.0000 -
3541.53/3554.51 c 3555 2323263 2213334 1 - 0.0000 -
3546.82/3559.85 c 3560 2326102 2215895 1 - 0.0000 -
3552.01/3565.08 c 3565 2328519 2218235 1 - 0.0000 -
3557.58/3570.64 c 3571 2330639 2220295 1 - 0.0000 -
3563.17/3576.29 c 3576 2333203 2222787 1 - 0.0000 -
3568.55/3581.61 c 3582 2335555 2225018 1 - 0.0000 -
3574.43/3587.51 c 3588 2338177 2227470 1 - 0.0000 -
3579.41/3592.57 c 3593 2340930 2230149 1 - 0.0000 -
3584.80/3597.90 c 3598 2343303 2232384 1 - 0.0000 -
3590.28/3603.47 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.28/3603.47 c Total Time : 3603.4600
3590.28/3603.47 c solving : 3603.4600
3590.28/3603.47 c presolving : 0.0386 (included in solving)
3590.28/3603.47 c B&B Tree :
3590.28/3603.47 c nodes (total) : 1
3590.28/3603.47 c Solution :
3590.28/3603.47 c Solutions found : 0
3590.28/3603.47 c Primal Bound : -
3590.28/3603.47 c Dual Bound : +0.00000000000000e+00
3590.28/3603.47 c Gap : -
3590.28/3603.47 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 (59664 MiB free)
memory of node 1: 64473 MiB (61398 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451110-1721425199/watcher-4451110-1721425199 -o /tmp/evaluation-result-4451110-1721425199/solver-4451110-1721425199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033551 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451110-1721425199.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1035580, runsolver pid=1035577
[startup+0.100098 s]*
/proc/loadavg: 4.13 4.41 4.31 6/250 1035585
/proc/meminfo: memFree=123910080/131655788 swapFree=131071996/131071996
[pid=1035580] ppid=1035577 vsize=126680 memory=40108 CPUtime=0.1 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 7699 0 0 0 9 1 0 0 20 0 3 0 194678689 129720320 10027 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 31670 10027 2910 3032 0 14431 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=126680 memory=4026561586 CPUtime=0.03 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 2855 0 0 0 3 0 0 0 20 0 3 0 194678695 129720320 10027 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=126680 memory=232851243367 CPUtime=0 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194678697 129720320 10027 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 126680 KiB
Current children cumulated memory: 40108 KiB
[startup+0.213166 s]*
/proc/loadavg: 4.13 4.41 4.31 7/250 1035585
/proc/meminfo: memFree=123883304/131655788 swapFree=131071996/131071996
[pid=1035580] ppid=1035577 vsize=126680 memory=47444 CPUtime=0.21 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 9975 0 0 0 19 2 0 0 20 0 3 0 194678689 129720320 11861 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 31670 11861 2926 3032 0 16578 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=126680 memory=6876556183782621315 CPUtime=0.15 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 5129 0 0 0 14 1 0 0 20 0 3 0 194678695 129720320 11861 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=126680 memory=18025 CPUtime=0 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194678697 129720320 11861 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 126680 KiB
Current children cumulated memory: 47444 KiB
[startup+0.313235 s]*
/proc/loadavg: 4.13 4.41 4.31 7/250 1035585
/proc/meminfo: memFree=123874976/131655788 swapFree=131071996/131071996
[pid=1035580] ppid=1035577 vsize=126680 memory=51396 CPUtime=0.31 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 11001 0 0 0 29 2 0 0 20 0 3 0 194678689 129720320 12849 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 31670 12849 2926 3032 0 17306 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=126680 memory=-7736474891312193915 CPUtime=0.25 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 6159 0 0 0 24 1 0 0 20 0 3 0 194678695 129720320 12849 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=126680 memory=0 CPUtime=0 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194678697 129720320 12849 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 126680 KiB
Current children cumulated memory: 51396 KiB
[startup+0.70037 s]
/proc/loadavg: 4.13 4.41 4.31 5/246 1035585
/proc/meminfo: memFree=124148968/131655788 swapFree=131071996/131071996
[pid=1035580] ppid=1035577 vsize=126680 memory=58908 CPUtime=0.69 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 13288 0 0 0 66 3 0 0 20 0 3 0 194678689 129720320 14727 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 31670 14727 2942 3032 0 19284 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=126680 memory=0 CPUtime=0.61 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 8442 0 0 0 60 1 0 0 20 0 3 0 194678695 129720320 14727 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=126680 memory=0 CPUtime=0 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194678697 129720320 14727 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 126680 KiB
Current children cumulated memory: 58908 KiB
[startup+1.50033 s]
/proc/loadavg: 4.13 4.41 4.31 6/242 1035621
/proc/meminfo: memFree=124148204/131655788 swapFree=131071996/131071996
[pid=1035580] ppid=1035577 vsize=126680 memory=59852 CPUtime=1.49 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 18369 0 0 0 145 4 0 0 20 0 3 0 194678689 129720320 14963 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 31670 14963 2942 3032 0 19344 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=126680 memory=0 CPUtime=1.41 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 13505 0 0 0 139 2 0 0 20 0 3 0 194678695 129720320 14963 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=126680 memory=0 CPUtime=0 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 194678697 129720320 14963 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 126680 KiB
Current children cumulated memory: 59852 KiB
[startup+3.11263 s]
/proc/loadavg: 4.12 4.40 4.31 6/250 1035633
/proc/meminfo: memFree=124107000/131655788 swapFree=131071996/131071996
[pid=1035580] ppid=1035577 vsize=126680 memory=62724 CPUtime=3.09 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 19977 0 0 0 305 4 0 0 20 0 3 0 194678689 129720320 15681 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 31670 15681 2942 3032 0 20085 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=126680 memory=0 CPUtime=3.02 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 15110 0 0 0 300 2 0 0 20 0 3 0 194678695 129720320 15681 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=126680 memory=0 CPUtime=0 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 194678697 129720320 15681 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 126680 KiB
Current children cumulated memory: 62724 KiB
[startup+6.30032 s]
/proc/loadavg: 4.12 4.40 4.31 6/250 1035729
/proc/meminfo: memFree=124090728/131655788 swapFree=131071996/131071996
[pid=1035580] ppid=1035577 vsize=126680 memory=66004 CPUtime=6.27 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 27940 0 0 0 622 5 0 0 20 0 3 0 194678689 129720320 16501 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 31670 16501 2942 3032 0 20861 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=126680 memory=0 CPUtime=6.19 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 23053 0 0 0 616 3 0 0 20 0 3 0 194678695 129720320 16501 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=126680 memory=66000 CPUtime=0 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 194678697 129720320 16501 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 126680 KiB
Current children cumulated memory: 66004 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 4.39 4.31 6/250 1036018
/proc/meminfo: memFree=124058676/131655788 swapFree=131071996/131071996
[pid=1035580] ppid=1035577 vsize=127704 memory=87580 CPUtime=12.63 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 51665 0 0 0 1255 8 0 0 20 0 3 0 194678689 130768896 21895 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 31926 21895 2990 3032 0 26170 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=127704 memory=87244 CPUtime=12.56 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 46737 0 0 0 1250 6 0 0 20 0 3 0 194678695 130768896 21895 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=127704 memory=0 CPUtime=0 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 194678697 130768896 21895 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 127704 KiB
Current children cumulated memory: 87580 KiB
[startup+25.5004 s]
/proc/loadavg: 4.09 4.37 4.30 6/250 1036210
/proc/meminfo: memFree=123865008/131655788 swapFree=131071996/131071996
[pid=1035580] ppid=1035577 vsize=193240 memory=110260 CPUtime=25.37 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 87239 0 0 0 2525 12 0 0 20 0 3 0 194678689 197877760 27565 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 48310 27565 2990 3032 0 32190 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=193240 memory=87040 CPUtime=25.31 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 82266 0 0 0 2520 11 0 0 20 0 3 0 194678695 197877760 27565 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=193240 memory=110596 CPUtime=0 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 194678697 197877760 27565 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 193240 KiB
Current children cumulated memory: 110260 KiB
[startup+51.1134 s]
/proc/loadavg: 4.06 4.34 4.29 6/252 1036218
/proc/meminfo: memFree=123806036/131655788 swapFree=131071996/131071996
[pid=1035580] ppid=1035577 vsize=193240 memory=116184 CPUtime=50.89 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 141729 0 0 0 5068 21 0 0 20 0 3 0 194678689 197877760 29046 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 48310 29046 2990 3032 0 33902 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=193240 memory=114188 CPUtime=50.82 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 136684 0 0 0 5063 19 0 0 20 0 3 0 194678695 197877760 29046 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=193240 memory=113552 CPUtime=0 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 194678697 197877760 29046 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 193240 KiB
Current children cumulated memory: 116184 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.31 4.28 6/252 1036227
/proc/meminfo: memFree=123604256/131655788 swapFree=131071996/131071996
[pid=1035580] ppid=1035577 vsize=260316 memory=163584 CPUtime=101.9 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 199825 0 0 0 10155 35 0 0 20 0 3 0 194678689 266563584 40896 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 65079 40896 2990 3032 0 45310 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=260316 memory=163536 CPUtime=101.83 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 194700 0 0 0 10149 34 0 0 20 0 3 0 194678695 266563584 40896 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=260316 memory=156884 CPUtime=0 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 194678697 266563584 40896 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 260316 KiB
Current children cumulated memory: 163584 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=1035580] ppid=1035577 vsize=325852 memory=230456 CPUtime=161.67 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 250168 0 0 0 16115 52 0 0 20 0 3 0 194678689 333672448 57614 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 81463 57614 2990 3032 0 61502 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=325852 memory=194652 CPUtime=161.59 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 244999 0 0 0 16109 50 0 0 20 0 3 0 194678695 333672448 57614 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=325852 memory=12740 CPUtime=0 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 194678697 333672448 57614 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 325852 KiB
################
# More data... #
################
Current children cumulated memory: 2537368 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=1035580] ppid=1035577 vsize=2670812 memory=2562552 CPUtime=3449.66 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 2870384 0 0 0 344223 743 0 0 20 0 3 0 194678689 2734911488 640638 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 667703 640638 2990 3032 0 652638 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=2670812 memory=12740 CPUtime=3449.26 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 2864319 0 0 0 344194 732 0 0 20 0 3 0 194678695 2734911488 640638 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=2670812 memory=29488 CPUtime=0.04 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 138 0 0 0 1 3 0 0 20 0 3 0 194678697 2734911488 640638 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 3449.66 s
Current children cumulated vsize: 2670812 KiB
Current children cumulated memory: 2562552 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=1035580] ppid=1035577 vsize=2674308 memory=2587516 CPUtime=3509.46 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 2938874 0 0 0 350189 757 0 0 20 0 3 0 194678689 2738491392 646879 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 668577 646879 2990 3032 0 659578 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=2674308 memory=2587296 CPUtime=3509.05 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 2932793 0 0 0 350160 745 0 0 20 0 3 0 194678695 2738491392 646879 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=2674308 memory=2582936 CPUtime=0.05 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 140 0 0 0 1 4 0 0 20 0 3 0 194678697 2738491392 646879 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 3509.46 s
Current children cumulated vsize: 2674308 KiB
Current children cumulated memory: 2587516 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=1035580] ppid=1035577 vsize=2739844 memory=2621124 CPUtime=3569.24 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 3010525 0 0 0 356157 767 0 0 20 0 3 0 194678689 2805600256 655281 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 684961 655281 2990 3032 0 668011 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=2739844 memory=11936 CPUtime=3568.83 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 3004427 0 0 0 356128 755 0 0 20 0 3 0 194678695 2805600256 655281 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=2739844 memory=12740 CPUtime=0.05 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 194678697 2805600256 655281 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 3569.24 s
Current children cumulated vsize: 2739844 KiB
Current children cumulated memory: 2621124 KiB
[startup+3603.6 s]
# the end of solver process 1035580 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.49 s, system=7.9897 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=1035580] ppid=1035577 vsize=2739844 memory=2621124 CPUtime=3570.95 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 3011523 0 0 0 356328 767 0 0 20 0 3 0 194678689 2805600256 655281 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 684961 655281 2990 3032 0 668011 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=2739844 memory=-7167897470117188198 CPUtime=3570.54 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 3005425 0 0 0 356299 755 0 0 20 0 3 0 194678695 2805600256 655281 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=2739844 memory=-9187040390491043779 CPUtime=0.05 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 194678697 2805600256 655281 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 3570.95 s
Current children cumulated vsize: 2739844 KiB
Current children cumulated memory: 2621124 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=1035580] ppid=1035577 vsize=2739844 memory=2625912 CPUtime=3583.7 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 3016069 0 0 0 357600 770 0 0 20 0 3 0 194678689 2805600256 656478 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 684961 656478 2990 3032 0 669195 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=2739844 memory=2622532 CPUtime=3583.29 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 3009971 0 0 0 357571 758 0 0 20 0 3 0 194678695 2805600256 656478 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=2739844 memory=2624888 CPUtime=0.05 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 194678697 2805600256 656478 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 3583.7 s
Current children cumulated vsize: 2739844 KiB
Current children cumulated memory: 2625912 KiB
[startup+3600 s]*
/proc/loadavg: 4.15 4.18 4.20 5/249 1038654
/proc/meminfo: memFree=118595432/131655788 swapFree=131071996/131071996
[pid=1035580] ppid=1035577 vsize=2739844 memory=2628024 CPUtime=3586.9 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 3017863 0 0 0 357920 770 0 0 20 0 3 0 194678689 2805600256 657006 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 684961 657006 2990 3032 0 669723 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=2739844 memory=-7167897470117188198 CPUtime=3586.49 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 3012821 0 0 0 357891 758 0 0 20 0 3 0 194678695 2805600256 657006 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=2739844 memory=-9187040390491043779 CPUtime=0.05 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 194678697 2805600256 657006 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 3586.9 s
Current children cumulated vsize: 2739844 KiB
Current children cumulated memory: 2628024 KiB
[startup+3601.6 s]
/proc/loadavg: 4.15 4.18 4.20 5/249 1038654
/proc/meminfo: memFree=118824480/131655788 swapFree=131071996/131071996
[pid=1035580] ppid=1035577 vsize=2739844 memory=2628024 CPUtime=3588.48 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 3193616 0 0 0 358068 780 0 0 20 0 3 0 194678689 2805600256 657006 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 684961 657006 2990 3032 0 669723 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=2739844 memory=2268 CPUtime=3588.07 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 3187531 0 0 0 358039 768 0 0 20 0 3 0 194678695 2805600256 657006 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=2739844 memory=12740 CPUtime=0.05 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 194678697 2805600256 657006 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 3588.48 s
Current children cumulated vsize: 2739844 KiB
Current children cumulated memory: 2628024 KiB
[startup+3602.4 s]
/proc/loadavg: 4.15 4.18 4.20 5/249 1038654
/proc/meminfo: memFree=119181172/131655788 swapFree=131071996/131071996
[pid=1035580] ppid=1035577 vsize=2739844 memory=2628024 CPUtime=3589.28 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 3283234 0 0 0 358143 785 0 0 20 0 3 0 194678689 2805600256 657006 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 684961 657006 2990 3032 0 669723 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=2739844 memory=-7024063757051400295 CPUtime=3588.87 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 3277137 0 0 0 358114 773 0 0 20 0 3 0 194678695 2805600256 657006 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=2739844 memory=50128 CPUtime=0.05 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 194678697 2805600256 657006 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 3589.28 s
Current children cumulated vsize: 2739844 KiB
Current children cumulated memory: 2628024 KiB
[startup+3603.2 s]
/proc/loadavg: 4.15 4.18 4.20 5/247 1038700
/proc/meminfo: memFree=120657428/131655788 swapFree=131071996/131071996
[pid=1035580] ppid=1035577 vsize=2739844 memory=2628024 CPUtime=3590.09 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 3288743 0 0 0 358223 786 0 0 20 0 3 0 194678689 2805600256 657006 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 684961 657006 2990 3032 0 669723 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=2739844 memory=2628024 CPUtime=3589.66 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 3282643 0 0 0 358193 773 0 0 20 0 3 0 194678695 2805600256 657006 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=2739844 memory=2305 CPUtime=0.05 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 194678697 2805600256 657006 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 3590.09 s
Current children cumulated vsize: 2739844 KiB
Current children cumulated memory: 2628024 KiB
[startup+3603.4 s]
/proc/loadavg: 4.15 4.18 4.20 5/247 1038700
/proc/meminfo: memFree=120657428/131655788 swapFree=131071996/131071996
[pid=1035580] ppid=1035577 vsize=2739844 memory=2628024 CPUtime=3590.28 cores=1,3
/proc/1035580/stat : 1035580 (fscip) S 1035577 1035580 1033539 0 -1 1077936128 3290009 0 0 0 358242 786 0 0 20 0 3 0 194678689 2805600256 657006 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
/proc/1035580/statm: 684961 657006 2990 3032 0 669723 0
[pid=1035580/tid=1035584] ppid=1035577 vsize=2739844 memory=50128 CPUtime=3589.86 cores=1,3
/proc/1035580/task/1035584/stat : 1035584 (fscip) R 1035577 1035580 1033539 0 -1 4194368 3283909 0 0 0 358213 773 0 0 20 0 3 0 194678695 2805600256 657006 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
[pid=1035580/tid=1035585] ppid=1035577 vsize=2739844 memory=2627640 CPUtime=0.05 cores=1,3
/proc/1035580/task/1035585/stat : 1035585 (fscip) S 1035577 1035580 1033539 0 -1 1077936192 142 0 0 0 1 4 0 0 20 0 3 0 194678697 2805600256 657006 134679101440 4194304 16613245 140732810009024 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18822208 18930672 55791616 140732810015763 140732810015879 140732810015879 140732810022896 0
Current children cumulated CPU time: 3590.28 s
Current children cumulated vsize: 2739844 KiB
Current children cumulated memory: 2628024 KiB
[startup+3603.5 s]*
/proc/loadavg: 4.14 4.18 4.19 6/247 1038702
/proc/meminfo: memFree=121204788/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3603.6
CPU time (s): 3590.48
CPU user time (s): 3582.49
CPU system time (s): 7.9897
CPU usage (%): 99.6358
Max. virtual memory (cumulated for all children) (KiB): 2739844
Max. memory (cumulated for all children) (KiB): 2628024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.49
system time used= 7.9897
maximum resident set size= 2628024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3290663
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= 10791
involuntary context switches= 4797
# summary of solver processes directly reported to runsolver:
# pid: 1035580
# total CPU time (s): 3590.48
# total CPU user time (s): 3582.49
# total CPU system time (s): 7.9897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2877 second user time and 35.5359 second system time
The end
Begin job on nodeC005 at 2024-07-19 23:40:11
IDJOB=4451110
IDBENCH=162352
IDSOLVER=3064
FILE ID=nodeC005/4451110-1721425199
RUNJOBID= nodeC005-1721421610-1033551
SLURM_JOB_ID= 7545501
Free space on /tmp= 723700 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x140split.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-4451110-1721425199/watcher-4451110-1721425199 -o /tmp/evaluation-result-4451110-1721425199/solver-4451110-1721425199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721421610-1033551 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4451110-1721425199.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6d6cd561f3b9d650ea4fe5a812bf9deb
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.778
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.772
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.178
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.181
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 : 3492.256
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 : 3658.346
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.176
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.444
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: 123972240 kB
MemAvailable: 129530696 kB
Buffers: 538440 kB
Cached: 5801448 kB
SwapCached: 0 kB
Active: 1142052 kB
Inactive: 5841340 kB
Active(anon): 3384 kB
Inactive(anon): 686024 kB
Active(file): 1138668 kB
Inactive(file): 5155316 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 84892 kB
Writeback: 0 kB
AnonPages: 642964 kB
Mapped: 131640 kB
Shmem: 45896 kB
KReclaimable: 209340 kB
Slab: 328608 kB
SReclaimable: 209340 kB
SUnreclaim: 119268 kB
KernelStack: 3760 kB
PageTables: 10344 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:15