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 = 22392832, getVmSize() = 22392832, SCIPgetMemUsed() = 752841, SCIPgetMemTotal() = 904193, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 15435093, getVmSize() = 23912448, SCIPgetMemUsed() = 882208, SCIPgetMemTotal() = 1434416, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4445150-1721318378
0.00/0.00 c Variables : 80 (80 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 80 (80 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 2
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.00 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.00 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.00 c Nodes Active
0.00/0.00 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
4.97/5.08 c 5 63898 7289 1 - 0.0000 -
10.06/10.13 c 10 134138 14846 1 - 0.0000 -
15.05/15.18 c 15 206768 20744 1 - 0.0000 -
20.12/20.22 c 20 279624 27082 1 - 0.0000 -
25.11/25.27 c 25 353573 33561 1 - 0.0000 -
30.19/30.32 c 30 425891 39585 1 - 0.0000 -
35.17/35.37 c 35 499067 45574 1 - 0.0000 -
40.26/40.42 c 40 576282 51901 1 - 0.0000 -
45.24/45.47 c 45 652023 57864 1 - 0.0000 -
50.32/50.52 c 51 730802 64799 1 - 0.0000 -
55.31/55.59 c 56 809773 71368 1 - 0.0000 -
60.39/60.63 c 61 883594 77562 1 - 0.0000 -
65.38/65.67 c 66 959242 83154 1 - 0.0000 -
70.46/70.72 c 71 1025316 90101 1 - 0.0000 -
75.44/75.77 c 76 1096999 98031 1 - 0.0000 -
80.53/80.82 c 81 1179770 104581 1 - 0.0000 -
85.52/85.87 c 86 1248177 110309 1 - 0.0000 -
90.59/90.92 c 91 1318916 116060 1 - 0.0000 -
95.58/95.97 c 96 1391960 121947 1 - 0.0000 -
100.67/101.04 c 101 1458065 129422 1 - 0.0000 -
105.66/106.09 c 106 1519660 134704 1 - 0.0000 -
110.74/111.14 c 111 1582701 140397 1 - 0.0000 -
115.81/116.23 c 116 1648545 145095 1 - 0.0000 -
120.80/121.28 c 121 1717790 150426 1 - 0.0000 -
125.89/126.33 c 126 1784502 155221 1 - 0.0000 -
130.97/131.41 c 131 1844972 161219 1 - 0.0000 -
136.05/136.51 c 137 1907566 166256 1 - 0.0000 -
141.04/141.59 c 142 1973473 171539 1 - 0.0000 -
146.11/146.67 c 147 2037946 177073 1 - 0.0000 -
151.20/151.72 c 152 2101870 181957 1 - 0.0000 -
156.18/156.79 c 157 2163533 186584 1 - 0.0000 -
161.26/161.86 c 162 2219063 192528 1 - 0.0000 -
166.34/166.95 c 167 2281970 197054 1 - 0.0000 -
171.43/172.00 c 172 2348150 201831 1 - 0.0000 -
176.41/177.05 c 177 2405633 206831 1 - 0.0000 -
181.50/182.11 c 182 2468533 211438 1 - 0.0000 -
186.48/187.16 c 187 2532043 216119 1 - 0.0000 -
191.56/192.23 c 192 2595838 220490 1 - 0.0000 -
196.55/197.28 c 197 2660356 224831 1 - 0.0000 -
201.72/202.41 c 202 2721231 229470 1 - 0.0000 -
206.71/207.46 c 207 2782480 233731 1 - 0.0000 -
211.80/212.51 c 213 2841699 239502 1 - 0.0000 -
216.88/217.60 c 218 2903787 243075 1 - 0.0000 -
221.86/222.68 c 223 2957132 247766 1 - 0.0000 -
226.95/227.77 c 228 3015883 251143 1 - 0.0000 -
232.03/232.81 c 233 3077330 255222 1 - 0.0000 -
237.00/237.89 c 238 3116054 260982 1 - 0.0000 -
242.09/242.94 c 243 3162087 266585 1 - 0.0000 -
247.18/248.08 c 248 3222363 271134 1 - 0.0000 -
252.35/253.25 c 253 3285347 275114 1 - 0.0000 -
257.34/258.29 c 258 3337696 279693 1 - 0.0000 -
262.42/263.37 c 263 3397381 284724 1 - 0.0000 -
267.51/268.42 c 268 3461572 288316 1 - 0.0000 -
272.49/273.47 c 273 3511307 293187 1 - 0.0000 -
277.58/278.57 c 279 3562510 297134 1 - 0.0000 -
282.66/283.69 c 284 3621801 300888 1 - 0.0000 -
287.75/288.74 c 289 3680957 304842 1 - 0.0000 -
292.83/293.82 c 294 3737869 308537 1 - 0.0000 -
297.91/298.99 c 299 3788595 312362 1 - 0.0000 -
303.00/304.06 c 304 3845893 315832 1 - 0.0000 -
308.09/309.10 c 309 3895008 320713 1 - 0.0000 -
313.07/314.18 c 314 3944583 325370 1 - 0.0000 -
318.15/319.22 c 319 3996892 329452 1 - 0.0000 -
323.24/324.30 c 324 4059656 332872 1 - 0.0000 -
328.22/329.35 c 329 4118825 336593 1 - 0.0000 -
333.30/334.40 c 334 4173543 339965 1 - 0.0000 -
338.29/339.48 c 339 4226785 343335 1 - 0.0000 -
343.38/344.56 c 345 4278612 348072 1 - 0.0000 -
348.46/349.61 c 350 4337894 351577 1 - 0.0000 -
353.65/354.84 c 355 4371651 356186 1 - 0.0000 -
358.73/359.92 c 360 4418877 360800 1 - 0.0000 -
363.82/365.01 c 365 4475643 364176 1 - 0.0000 -
369.00/370.20 c 370 4525278 367995 1 - 0.0000 -
374.08/375.38 c 375 4584120 372089 1 - 0.0000 -
379.27/380.50 c 380 4641763 375702 1 - 0.0000 -
384.25/385.55 c 386 4688853 379240 1 - 0.0000 -
389.34/390.60 c 391 4740509 382240 1 - 0.0000 -
394.42/395.76 c 396 4790651 385847 1 - 0.0000 -
399.51/400.89 c 401 4840932 389285 1 - 0.0000 -
404.59/405.97 c 406 4888612 392554 1 - 0.0000 -
409.68/411.09 c 411 4929797 396857 1 - 0.0000 -
414.76/416.14 c 416 4967190 402073 1 - 0.0000 -
419.75/421.19 c 421 5005328 406267 1 - 0.0000 -
424.92/426.32 c 426 5044317 409756 1 - 0.0000 -
430.02/431.45 c 431 5092813 413671 1 - 0.0000 -
435.09/436.59 c 437 5133624 418349 1 - 0.0000 -
440.28/441.76 c 442 5172755 422314 1 - 0.0000 -
445.46/446.98 c 447 5218751 426822 1 - 0.0000 -
450.55/452.08 c 452 5266977 429898 1 - 0.0000 -
455.63/457.15 c 457 5306897 433855 1 - 0.0000 -
460.72/462.27 c 462 5346027 438026 1 - 0.0000 -
465.79/467.38 c 467 5394711 442085 1 - 0.0000 -
470.98/472.55 c 473 5429577 445470 1 - 0.0000 -
475.97/477.59 c 478 5476297 448416 1 - 0.0000 -
481.15/482.70 c 483 5522713 451798 1 - 0.0000 -
486.14/487.76 c 488 5570714 454737 1 - 0.0000 -
491.22/492.88 c 493 5614753 458066 1 - 0.0000 -
496.40/498.03 c 498 5661983 460532 1 - 0.0000 -
501.59/503.20 c 503 5707749 463463 1 - 0.0000 -
506.68/508.31 c 508 5734022 468129 1 - 0.0000 -
511.86/513.51 c 514 5766815 472869 1 - 0.0000 -
516.84/518.59 c 519 5804397 476687 1 - 0.0000 -
522.03/523.73 c 524 5845442 480920 1 - 0.0000 -
527.11/528.83 c 529 5882159 484535 1 - 0.0000 -
532.31/534.10 c 534 5914011 487553 1 - 0.0000 -
537.48/539.27 c 539 5961893 491099 1 - 0.0000 -
542.57/544.38 c 544 6006911 494103 1 - 0.0000 -
547.75/549.58 c 550 6052748 497054 1 - 0.0000 -
552.85/554.63 c 555 6103773 500068 1 - 0.0000 -
558.13/559.98 c 560 6151869 502882 1 - 0.0000 -
563.32/565.15 c 565 6198366 506013 1 - 0.0000 -
568.40/570.21 c 570 6248353 508924 1 - 0.0000 -
573.58/575.42 c 575 6298475 511284 1 - 0.0000 -
578.67/580.51 c 581 6350337 512990 1 - 0.0000 -
583.65/585.56 c 586 6388989 515514 1 - 0.0000 -
588.83/590.75 c 591 6428413 518356 1 - 0.0000 -
593.92/595.84 c 596 6468193 521544 1 - 0.0000 -
599.21/601.11 c 601 6512873 524419 1 - 0.0000 -
604.29/606.22 c 606 6555564 527152 1 - 0.0000 -
609.37/611.34 c 611 6594935 530319 1 - 0.0000 -
614.46/616.45 c 616 6633966 532570 1 - 0.0000 -
619.55/621.52 c 622 6677873 535441 1 - 0.0000 -
624.73/626.72 c 627 6721487 538032 1 - 0.0000 -
629.81/631.83 c 632 6765463 541290 1 - 0.0000 -
635.11/637.12 c 637 6809749 544333 1 - 0.0000 -
640.09/642.18 c 642 6855738 547179 1 - 0.0000 -
645.36/647.41 c 647 6907083 549927 1 - 0.0000 -
650.35/652.47 c 652 6951784 552676 1 - 0.0000 -
655.54/657.67 c 658 6992519 554771 1 - 0.0000 -
660.62/662.76 c 663 7017128 557624 1 - 0.0000 -
665.71/667.88 c 668 7045222 559710 1 - 0.0000 -
671.00/673.13 c 673 7078699 561550 1 - 0.0000 -
676.28/678.45 c 678 7115293 563969 1 - 0.0000 -
681.66/683.83 c 684 7154939 566364 1 - 0.0000 -
686.85/689.00 c 689 7201231 568837 1 - 0.0000 -
692.03/694.29 c 694 7246421 571675 1 - 0.0000 -
697.21/699.49 c 700 7290583 574863 1 - 0.0000 -
702.50/704.74 c 705 7332442 577116 1 - 0.0000 -
707.79/710.03 c 710 7376166 579918 1 - 0.0000 -
712.97/715.26 c 715 7408092 582476 1 - 0.0000 -
718.25/720.54 c 721 7459853 585226 1 - 0.0000 -
723.34/725.66 c 726 7496610 587079 1 - 0.0000 -
728.42/730.79 c 731 7541479 589532 1 - 0.0000 -
733.60/735.95 c 736 7580451 592370 1 - 0.0000 -
738.70/741.01 c 741 7619852 594295 1 - 0.0000 -
743.77/746.11 c 746 7657798 597258 1 - 0.0000 -
748.96/751.33 c 751 7693147 599432 1 - 0.0000 -
754.15/756.52 c 757 7730555 603401 1 - 0.0000 -
759.63/762.02 c 762 7786178 606990 1 - 0.0000 -
764.72/767.19 c 767 7834768 609079 1 - 0.0000 -
770.29/772.76 c 773 7865669 611098 1 - 0.0000 -
775.69/778.11 c 778 7877006 614050 1 - 0.0000 -
780.97/783.45 c 783 7892517 617234 1 - 0.0000 -
786.15/788.69 c 789 7914823 620931 1 - 0.0000 -
791.54/794.03 c 794 7948247 624519 1 - 0.0000 -
796.82/799.37 c 799 7981293 627253 1 - 0.0000 -
802.10/804.66 c 805 8020826 630248 1 - 0.0000 -
807.48/810.01 c 810 8059660 632847 1 - 0.0000 -
812.76/815.31 c 815 8096370 635221 1 - 0.0000 -
818.25/820.81 c 821 8144026 637352 1 - 0.0000 -
823.34/825.98 c 826 8175601 639213 1 - 0.0000 -
828.53/831.16 c 831 8213064 641609 1 - 0.0000 -
833.60/836.21 c 836 8273841 643254 1 - 0.0000 -
838.79/841.43 c 841 8309527 644830 1 - 0.0000 -
843.88/846.55 c 847 8358373 647488 1 - 0.0000 -
848.96/851.68 c 852 8387688 648913 1 - 0.0000 -
854.25/856.92 c 857 8422249 650617 1 - 0.0000 -
859.44/862.11 c 862 8458741 653215 1 - 0.0000 -
864.62/867.31 c 867 8488295 655248 1 - 0.0000 -
869.81/872.51 c 873 8515803 657577 1 - 0.0000 -
874.89/877.64 c 878 8537041 659127 1 - 0.0000 -
880.07/882.81 c 883 8567192 660315 1 - 0.0000 -
885.27/888.02 c 888 8599884 662729 1 - 0.0000 -
890.25/893.09 c 893 8628329 665715 1 - 0.0000 -
895.52/898.33 c 898 8671419 668227 1 - 0.0000 -
900.51/903.38 c 903 8715157 670094 1 - 0.0000 -
905.80/908.61 c 909 8753109 672686 1 - 0.0000 -
910.98/913.83 c 914 8781371 675216 1 - 0.0000 -
916.18/919.02 c 919 8810463 677137 1 - 0.0000 -
921.46/924.31 c 924 8837133 680302 1 - 0.0000 -
926.64/929.59 c 930 8881868 683390 1 - 0.0000 -
932.13/935.02 c 935 8928135 685770 1 - 0.0000 -
937.41/940.34 c 940 8965790 687061 1 - 0.0000 -
942.49/945.49 c 946 9002174 689054 1 - 0.0000 -
947.68/950.68 c 951 9039637 690979 1 - 0.0000 -
952.87/955.88 c 956 9079140 693234 1 - 0.0000 -
958.25/961.25 c 961 9104563 695328 1 - 0.0000 -
963.93/966.93 c 967 9125494 698793 1 - 0.0000 -
969.21/972.27 c 972 9154093 701974 1 - 0.0000 -
974.30/977.38 c 977 9200042 704409 1 - 0.0000 -
979.49/982.54 c 983 9237981 706086 1 - 0.0000 -
984.47/987.58 c 988 9277657 708835 1 - 0.0000 -
989.76/992.88 c 993 9303854 711035 1 - 0.0000 -
994.95/998.06 c 998 9337763 713181 1 - 0.0000 -
1000.33/1003.40 c 1003 9378833 714553 1 - 0.0000 -
1005.71/1008.83 c 1009 9416419 717377 1 - 0.0000 -
1011.00/1014.16 c 1014 9451157 720003 1 - 0.0000 -
1016.18/1019.32 c 1019 9495653 722429 1 - 0.0000 -
1021.36/1024.56 c 1025 9529698 724592 1 - 0.0000 -
1026.55/1029.70 c 1030 9560694 727582 1 - 0.0000 -
1031.83/1035.03 c 1035 9587266 730454 1 - 0.0000 -
1036.82/1040.07 c 1040 9635885 732399 1 - 0.0000 -
1042.10/1045.32 c 1045 9686983 734741 1 - 0.0000 -
1047.39/1050.64 c 1051 9716272 736739 1 - 0.0000 -
1052.88/1056.16 c 1056 9754005 739225 1 - 0.0000 -
1058.05/1061.32 c 1061 9793503 741960 1 - 0.0000 -
1063.44/1066.70 c 1067 9842943 744500 1 - 0.0000 -
1068.62/1071.91 c 1072 9866377 746361 1 - 0.0000 -
1073.71/1077.03 c 1077 9899498 748891 1 - 0.0000 -
1079.09/1082.40 c 1082 9944428 751287 1 - 0.0000 -
1084.38/1087.74 c 1088 9967576 753919 1 - 0.0000 -
1089.46/1092.85 c 1093 10000673 756768 1 - 0.0000 -
1094.54/1097.92 c 1098 10048038 758951 1 - 0.0000 -
1099.83/1103.26 c 1103 10084393 760710 1 - 0.0000 -
1105.11/1108.51 c 1109 10128535 763352 1 - 0.0000 -
1110.09/1113.59 c 1114 10171084 764962 1 - 0.0000 -
1115.48/1118.90 c 1119 10209519 767731 1 - 0.0000 -
1120.77/1124.20 c 1124 10250445 771235 1 - 0.0000 -
1125.94/1129.41 c 1129 10291717 773162 1 - 0.0000 -
1131.43/1134.96 c 1135 10325746 774859 1 - 0.0000 -
1136.71/1140.20 c 1140 10354065 778166 1 - 0.0000 -
1141.90/1145.45 c 1145 10383723 780310 1 - 0.0000 -
1146.98/1150.55 c 1151 10420819 782106 1 - 0.0000 -
1152.17/1155.73 c 1156 10455924 784439 1 - 0.0000 -
1157.35/1160.93 c 1161 10487110 786512 1 - 0.0000 -
1162.45/1166.03 c 1166 10521145 788911 1 - 0.0000 -
1167.43/1171.08 c 1171 10567795 790894 1 - 0.0000 -
1172.61/1176.25 c 1176 10600371 792608 1 - 0.0000 -
1177.69/1181.31 c 1181 10638460 794954 1 - 0.0000 -
1182.77/1186.44 c 1186 10675308 796955 1 - 0.0000 -
1187.86/1191.55 c 1192 10710890 799496 1 - 0.0000 -
1193.05/1196.71 c 1197 10749492 801735 1 - 0.0000 -
1198.13/1201.81 c 1202 10792703 803704 1 - 0.0000 -
1203.61/1207.30 c 1207 10805603 805948 1 - 0.0000 -
1208.79/1212.53 c 1213 10849463 808772 1 - 0.0000 -
1214.18/1217.92 c 1218 10888986 810560 1 - 0.0000 -
1219.26/1223.05 c 1223 10922020 812525 1 - 0.0000 -
1224.35/1228.14 c 1228 10963705 814555 1 - 0.0000 -
1229.52/1233.36 c 1233 10998743 816835 1 - 0.0000 -
1234.61/1238.48 c 1238 11044610 818847 1 - 0.0000 -
1239.80/1243.69 c 1244 11080621 821396 1 - 0.0000 -
1244.88/1248.77 c 1249 11125120 823546 1 - 0.0000 -
1250.16/1254.04 c 1254 11163670 825630 1 - 0.0000 -
1255.45/1259.31 c 1259 11195668 827686 1 - 0.0000 -
1260.63/1264.57 c 1265 11227132 830491 1 - 0.0000 -
1266.12/1270.05 c 1270 11247637 832922 1 - 0.0000 -
1271.50/1275.48 c 1275 11266723 836047 1 - 0.0000 -
1276.79/1280.78 c 1281 11302903 838854 1 - 0.0000 -
1282.09/1286.03 c 1286 11333876 841229 1 - 0.0000 -
1287.76/1291.76 c 1292 11365710 843735 1 - 0.0000 -
1293.05/1297.09 c 1297 11402584 846037 1 - 0.0000 -
1298.23/1302.27 c 1302 11441192 847629 1 - 0.0000 -
1303.31/1307.34 c 1307 11491808 849323 1 - 0.0000 -
1308.80/1312.80 c 1313 11514103 850882 1 - 0.0000 -
1314.09/1318.12 c 1318 11553212 852996 1 - 0.0000 -
1319.37/1323.40 c 1323 11591515 855223 1 - 0.0000 -
1324.55/1328.62 c 1329 11624266 857032 1 - 0.0000 -
1329.74/1333.84 c 1334 11657286 859030 1 - 0.0000 -
1334.83/1338.96 c 1339 11695018 860970 1 - 0.0000 -
1340.11/1344.20 c 1344 11733831 863539 1 - 0.0000 -
1345.29/1349.44 c 1349 11775260 865844 1 - 0.0000 -
1350.38/1354.53 c 1355 11818693 868134 1 - 0.0000 -
1355.47/1359.69 c 1360 11844337 870292 1 - 0.0000 -
1360.75/1364.97 c 1365 11875359 872494 1 - 0.0000 -
1366.04/1370.26 c 1370 11921359 874640 1 - 0.0000 -
1371.52/1375.71 c 1376 11951728 875812 1 - 0.0000 -
1376.81/1381.00 c 1381 11986886 877667 1 - 0.0000 -
1382.19/1386.42 c 1386 12025714 879714 1 - 0.0000 -
1387.57/1391.89 c 1392 12059762 882326 1 - 0.0000 -
1392.76/1397.01 c 1397 12099042 883552 1 - 0.0000 -
1397.84/1402.18 c 1402 12130587 886055 1 - 0.0000 -
1403.12/1407.42 c 1407 12159730 888792 1 - 0.0000 -
1408.31/1412.62 c 1413 12203549 890820 1 - 0.0000 -
1413.70/1418.09 c 1418 12227885 891868 1 - 0.0000 -
1419.18/1423.59 c 1424 12262219 893889 1 - 0.0000 -
1424.66/1429.09 c 1429 12296514 895995 1 - 0.0000 -
1429.85/1434.25 c 1434 12326649 897523 1 - 0.0000 -
1435.04/1439.47 c 1439 12353879 899912 1 - 0.0000 -
1440.32/1444.70 c 1445 12376873 902155 1 - 0.0000 -
1445.61/1450.06 c 1450 12401338 903961 1 - 0.0000 -
1450.99/1455.41 c 1455 12432771 906660 1 - 0.0000 -
1456.08/1460.58 c 1461 12466155 908236 1 - 0.0000 -
1461.27/1465.74 c 1466 12514419 909936 1 - 0.0000 -
1466.56/1471.03 c 1471 12562169 911445 1 - 0.0000 -
1471.74/1476.20 c 1476 12590978 912724 1 - 0.0000 -
1476.92/1481.48 c 1481 12616954 914672 1 - 0.0000 -
1482.11/1486.69 c 1487 12652185 916853 1 - 0.0000 -
1487.39/1491.99 c 1492 12684653 919313 1 - 0.0000 -
1492.57/1497.11 c 1497 12725082 921379 1 - 0.0000 -
1497.86/1502.40 c 1502 12757040 922767 1 - 0.0000 -
1503.04/1507.69 c 1508 12800060 924793 1 - 0.0000 -
1508.13/1512.76 c 1513 12843472 926225 1 - 0.0000 -
1513.52/1518.15 c 1518 12878372 927984 1 - 0.0000 -
1518.90/1523.53 c 1524 12910727 929815 1 - 0.0000 -
1524.78/1529.40 c 1529 12927586 932041 1 - 0.0000 -
1530.26/1534.96 c 1535 12939160 934155 1 - 0.0000 -
1535.65/1540.33 c 1540 12957641 936456 1 - 0.0000 -
1540.64/1545.37 c 1545 12978620 938259 1 - 0.0000 -
1546.13/1550.83 c 1551 13022456 940805 1 - 0.0000 -
1551.31/1556.09 c 1556 13066498 942595 1 - 0.0000 -
1556.60/1561.33 c 1561 13100791 943980 1 - 0.0000 -
1562.08/1566.81 c 1567 13133960 945803 1 - 0.0000 -
1567.28/1572.09 c 1572 13176314 947806 1 - 0.0000 -
1572.75/1577.59 c 1578 13213413 949260 1 - 0.0000 -
1578.03/1582.84 c 1583 13243185 951862 1 - 0.0000 -
1583.32/1588.19 c 1588 13276468 954411 1 - 0.0000 -
1588.60/1593.42 c 1593 13316192 956465 1 - 0.0000 -
1593.69/1598.50 c 1599 13356769 957932 1 - 0.0000 -
1598.97/1603.81 c 1604 13383310 960088 1 - 0.0000 -
1604.16/1609.03 c 1609 13411598 962772 1 - 0.0000 -
1609.64/1614.59 c 1615 13447777 964695 1 - 0.0000 -
1615.03/1619.92 c 1620 13479756 966160 1 - 0.0000 -
1620.23/1625.14 c 1625 13515127 967912 1 - 0.0000 -
1625.50/1630.41 c 1630 13550120 970359 1 - 0.0000 -
1630.89/1635.85 c 1636 13577883 972485 1 - 0.0000 -
1635.97/1640.95 c 1641 13609342 974680 1 - 0.0000 -
1641.26/1646.21 c 1646 13627275 976957 1 - 0.0000 -
1646.45/1651.40 c 1651 13651918 979758 1 - 0.0000 -
1651.83/1656.81 c 1657 13687551 982077 1 - 0.0000 -
1656.92/1661.96 c 1662 13727633 984011 1 - 0.0000 -
1662.11/1667.19 c 1667 13763399 985953 1 - 0.0000 -
1667.19/1672.28 c 1672 13801153 987183 1 - 0.0000 -
1672.47/1677.50 c 1678 13848433 989281 1 - 0.0000 -
1677.45/1682.57 c 1683 13885946 991076 1 - 0.0000 -
1682.84/1687.96 c 1688 13924213 992934 1 - 0.0000 -
1688.04/1693.17 c 1693 13954941 994195 1 - 0.0000 -
1693.41/1698.50 c 1698 13976813 996425 1 - 0.0000 -
1698.40/1703.58 c 1704 14002597 999543 1 - 0.0000 -
1703.48/1708.63 c 1709 14038957 1002456 1 - 0.0000 -
1708.66/1713.90 c 1714 14079411 1004386 1 - 0.0000 -
1714.35/1719.54 c 1720 14108883 1006744 1 - 0.0000 -
1719.73/1724.99 c 1725 14138189 1008778 1 - 0.0000 -
1725.02/1730.21 c 1730 14181564 1010905 1 - 0.0000 -
1730.31/1735.56 c 1736 14221421 1012268 1 - 0.0000 -
1735.59/1740.82 c 1741 14260261 1013551 1 - 0.0000 -
1740.68/1745.95 c 1746 14286725 1015913 1 - 0.0000 -
1746.16/1751.42 c 1751 14317458 1018002 1 - 0.0000 -
1751.23/1756.59 c 1757 14355004 1019886 1 - 0.0000 -
1756.52/1761.83 c 1762 14385126 1021526 1 - 0.0000 -
1761.80/1767.18 c 1767 14408740 1022996 1 - 0.0000 -
1767.08/1772.41 c 1772 14428362 1026730 1 - 0.0000 -
1772.17/1777.58 c 1778 14462831 1029927 1 - 0.0000 -
1777.45/1782.89 c 1783 14502539 1031461 1 - 0.0000 -
1782.64/1788.08 c 1788 14535615 1032814 1 - 0.0000 -
1787.81/1793.25 c 1793 14564743 1034410 1 - 0.0000 -
1793.19/1798.60 c 1799 14600655 1036791 1 - 0.0000 -
1798.38/1803.88 c 1804 14630769 1038340 1 - 0.0000 -
1803.66/1809.19 c 1809 14664219 1040110 1 - 0.0000 -
1809.13/1814.62 c 1815 14698482 1041689 1 - 0.0000 -
1814.11/1819.68 c 1820 14725533 1042822 1 - 0.0000 -
1819.51/1825.04 c 1825 14746215 1045268 1 - 0.0000 -
1825.18/1830.71 c 1831 14787063 1046682 1 - 0.0000 -
1830.37/1835.90 c 1836 14823728 1048348 1 - 0.0000 -
1835.84/1841.47 c 1841 14864727 1050025 1 - 0.0000 -
1841.23/1846.80 c 1847 14897595 1051553 1 - 0.0000 -
1846.30/1851.94 c 1852 14940594 1053662 1 - 0.0000 -
1851.49/1857.19 c 1857 14963901 1054667 1 - 0.0000 -
1856.67/1862.32 c 1862 14992935 1056583 1 - 0.0000 -
1861.85/1867.51 c 1868 15031444 1058617 1 - 0.0000 -
1867.03/1872.71 c 1873 15065349 1061007 1 - 0.0000 -
1872.21/1877.93 c 1878 15096540 1062764 1 - 0.0000 -
1877.49/1883.20 c 1883 15130856 1064390 1 - 0.0000 -
1882.58/1888.32 c 1888 15162706 1065831 1 - 0.0000 -
1887.86/1893.67 c 1894 15197489 1067807 1 - 0.0000 -
1893.54/1899.38 c 1899 15229851 1069549 1 - 0.0000 -
1899.23/1905.00 c 1905 15265198 1071374 1 - 0.0000 -
1904.61/1910.44 c 1910 15292706 1072846 1 - 0.0000 -
1910.08/1915.90 c 1916 15335333 1074659 1 - 0.0000 -
1915.36/1921.23 c 1921 15364190 1075566 1 - 0.0000 -
1920.34/1926.29 c 1926 15393337 1076907 1 - 0.0000 -
1925.63/1931.54 c 1932 15427273 1079035 1 - 0.0000 -
1931.31/1937.23 c 1937 15444908 1081608 1 - 0.0000 -
1936.50/1942.42 c 1942 15483952 1083086 1 - 0.0000 -
1941.68/1947.64 c 1948 15524170 1084342 1 - 0.0000 -
1947.08/1953.04 c 1953 15546882 1086187 1 - 0.0000 -
1952.46/1958.49 c 1958 15586913 1087552 1 - 0.0000 -
1957.74/1963.77 c 1964 15624353 1089616 1 - 0.0000 -
1962.93/1968.95 c 1969 15643052 1091441 1 - 0.0000 -
1968.21/1974.21 c 1974 15667573 1093950 1 - 0.0000 -
1973.60/1979.67 c 1980 15707743 1095714 1 - 0.0000 -
1979.08/1985.19 c 1985 15746826 1097243 1 - 0.0000 -
1984.36/1990.47 c 1990 15776141 1098356 1 - 0.0000 -
1990.06/1996.15 c 1996 15788473 1100802 1 - 0.0000 -
1995.54/2001.60 c 2002 15805284 1103497 1 - 0.0000 -
2000.83/2006.92 c 2007 15826360 1105751 1 - 0.0000 -
2005.91/2012.05 c 2012 15852203 1108056 1 - 0.0000 -
2011.50/2017.67 c 2018 15887416 1110469 1 - 0.0000 -
2016.88/2023.02 c 2023 15925062 1112515 1 - 0.0000 -
2022.27/2028.41 c 2028 15965697 1114404 1 - 0.0000 -
2027.45/2033.67 c 2034 16004560 1115791 1 - 0.0000 -
2032.84/2039.07 c 2039 16053323 1116682 1 - 0.0000 -
2038.11/2044.34 c 2044 16096853 1118396 1 - 0.0000 -
2043.40/2049.69 c 2050 16119623 1119472 1 - 0.0000 -
2049.09/2055.39 c 2055 16152510 1121243 1 - 0.0000 -
2054.57/2060.89 c 2061 16182988 1122550 1 - 0.0000 -
2059.96/2066.23 c 2066 16220596 1123712 1 - 0.0000 -
2065.34/2071.66 c 2072 16249535 1125469 1 - 0.0000 -
2070.93/2077.22 c 2077 16282520 1127636 1 - 0.0000 -
2076.11/2082.46 c 2082 16323306 1129400 1 - 0.0000 -
2081.50/2087.88 c 2088 16350383 1130776 1 - 0.0000 -
2086.97/2093.35 c 2093 16374509 1133367 1 - 0.0000 -
2092.16/2098.57 c 2099 16401545 1135423 1 - 0.0000 -
2097.25/2103.67 c 2104 16433788 1136767 1 - 0.0000 -
2102.53/2108.96 c 2109 16484053 1138412 1 - 0.0000 -
2108.63/2115.01 c 2115 16507603 1139354 1 - 0.0000 -
2114.20/2120.68 c 2121 16530783 1140226 1 - 0.0000 -
2119.29/2125.76 c 2126 16565773 1141779 1 - 0.0000 -
2124.77/2131.23 c 2131 16593521 1142999 1 - 0.0000 -
2130.06/2136.52 c 2137 16622129 1144558 1 - 0.0000 -
2135.25/2141.75 c 2142 16658389 1146132 1 - 0.0000 -
2140.72/2147.22 c 2147 16685923 1147457 1 - 0.0000 -
2146.21/2152.74 c 2153 16705483 1149177 1 - 0.0000 -
2151.89/2158.42 c 2158 16739886 1151044 1 - 0.0000 -
2157.27/2163.83 c 2164 16780901 1152691 1 - 0.0000 -
2162.75/2169.30 c 2169 16800115 1153544 1 - 0.0000 -
2168.63/2175.26 c 2175 16824841 1154927 1 - 0.0000 -
2174.11/2180.78 c 2181 16857663 1156251 1 - 0.0000 -
2179.60/2186.20 c 2186 16888860 1158155 1 - 0.0000 -
2184.68/2191.39 c 2191 16924242 1159475 1 - 0.0000 -
2190.06/2196.77 c 2197 16946935 1161660 1 - 0.0000 -
2195.44/2202.13 c 2202 16968132 1163429 1 - 0.0000 -
2200.52/2207.27 c 2207 16999930 1165307 1 - 0.0000 -
2205.80/2212.57 c 2213 17039707 1166772 1 - 0.0000 -
2211.09/2217.85 c 2218 17085435 1168307 1 - 0.0000 -
2216.16/2222.98 c 2223 17114371 1169321 1 - 0.0000 -
2221.45/2228.29 c 2228 17144500 1171002 1 - 0.0000 -
2227.63/2234.42 c 2234 17182620 1172560 1 - 0.0000 -
2232.92/2239.77 c 2240 17210347 1175629 1 - 0.0000 -
2238.21/2245.10 c 2245 17240476 1177524 1 - 0.0000 -
2243.38/2250.29 c 2250 17281035 1179243 1 - 0.0000 -
2248.76/2255.64 c 2256 17314119 1180645 1 - 0.0000 -
2253.94/2260.88 c 2261 17340603 1183626 1 - 0.0000 -
2259.52/2266.40 c 2266 17366383 1186086 1 - 0.0000 -
2264.60/2271.57 c 2272 17404353 1187596 1 - 0.0000 -
2270.38/2277.34 c 2277 17441023 1188939 1 - 0.0000 -
2275.87/2282.85 c 2283 17463487 1190426 1 - 0.0000 -
2281.25/2288.23 c 2288 17486373 1193166 1 - 0.0000 -
2286.63/2293.62 c 2294 17516029 1195250 1 - 0.0000 -
2291.91/2298.92 c 2299 17555103 1196889 1 - 0.0000 -
2297.19/2304.26 c 2304 17577144 1199102 1 - 0.0000 -
2302.47/2309.54 c 2310 17609236 1200885 1 - 0.0000 -
2307.75/2314.82 c 2315 17629994 1203572 1 - 0.0000 -
2312.94/2320.07 c 2320 17668901 1205377 1 - 0.0000 -
2318.61/2325.74 c 2326 17702223 1206648 1 - 0.0000 -
2324.00/2331.14 c 2331 17735898 1208103 1 - 0.0000 -
2329.38/2336.56 c 2337 17763015 1209514 1 - 0.0000 -
2334.86/2342.01 c 2342 17794281 1210552 1 - 0.0000 -
2340.54/2347.78 c 2348 17821270 1211585 1 - 0.0000 -
2345.83/2353.04 c 2353 17835638 1213327 1 - 0.0000 -
2351.30/2358.54 c 2359 17855337 1215296 1 - 0.0000 -
2356.39/2363.66 c 2364 17881493 1216981 1 - 0.0000 -
2361.47/2368.76 c 2369 17896203 1218695 1 - 0.0000 -
2366.95/2374.25 c 2374 17909973 1220272 1 - 0.0000 -
2372.83/2380.17 c 2380 17934313 1222787 1 - 0.0000 -
2378.61/2385.94 c 2386 17949174 1224063 1 - 0.0000 -
2384.09/2391.46 c 2391 17960424 1224871 1 - 0.0000 -
2389.78/2397.19 c 2397 17983466 1226397 1 - 0.0000 -
2395.46/2402.81 c 2403 17999833 1227455 1 - 0.0000 -
2400.94/2408.35 c 2408 18015056 1228618 1 - 0.0000 -
2406.22/2413.61 c 2414 18040277 1230135 1 - 0.0000 -
2411.61/2419.06 c 2419 18069603 1231691 1 - 0.0000 -
2417.29/2424.75 c 2425 18089955 1233218 1 - 0.0000 -
2422.97/2430.48 c 2430 18104351 1234676 1 - 0.0000 -
2428.35/2435.80 c 2436 18127320 1236491 1 - 0.0000 -
2433.93/2441.41 c 2441 18142093 1237504 1 - 0.0000 -
2439.01/2446.58 c 2447 18169709 1239295 1 - 0.0000 -
2444.50/2452.08 c 2452 18198197 1241091 1 - 0.0000 -
2450.38/2457.95 c 2458 18215533 1242383 1 - 0.0000 -
2456.36/2463.97 c 2464 18228324 1243894 1 - 0.0000 -
2461.55/2469.11 c 2469 18239003 1244723 1 - 0.0000 -
2467.02/2474.68 c 2475 18261353 1246746 1 - 0.0000 -
2472.70/2480.38 c 2480 18284563 1248210 1 - 0.0000 -
2478.18/2485.88 c 2486 18293831 1249535 1 - 0.0000 -
2483.77/2491.48 c 2491 18313714 1251041 1 - 0.0000 -
2489.36/2497.09 c 2497 18334903 1252658 1 - 0.0000 -
2494.93/2502.63 c 2503 18353463 1254182 1 - 0.0000 -
2500.71/2508.47 c 2508 18391748 1256165 1 - 0.0000 -
2505.99/2513.70 c 2514 18431837 1258176 1 - 0.0000 -
2511.08/2518.83 c 2519 18460897 1259672 1 - 0.0000 -
2516.06/2523.88 c 2524 18487686 1260675 1 - 0.0000 -
2522.04/2529.82 c 2530 18496889 1261861 1 - 0.0000 -
2527.42/2535.28 c 2535 18516204 1263249 1 - 0.0000 -
2532.51/2540.34 c 2540 18535592 1264252 1 - 0.0000 -
2538.29/2546.11 c 2546 18570874 1265946 1 - 0.0000 -
2543.57/2551.45 c 2551 18602968 1267479 1 - 0.0000 -
2549.16/2557.08 c 2557 18631334 1268993 1 - 0.0000 -
2554.84/2562.70 c 2563 18643247 1269912 1 - 0.0000 -
2560.41/2568.35 c 2568 18654173 1271251 1 - 0.0000 -
2565.79/2573.74 c 2574 18676839 1273016 1 - 0.0000 -
2571.19/2579.15 c 2579 18691154 1274013 1 - 0.0000 -
2576.77/2584.79 c 2585 18697526 1274876 1 - 0.0000 -
2582.64/2590.68 c 2591 18718391 1276554 1 - 0.0000 -
2587.92/2595.91 c 2596 18741843 1277745 1 - 0.0000 -
2593.90/2601.95 c 2602 18757843 1279063 1 - 0.0000 -
2599.39/2607.45 c 2607 18762621 1279815 1 - 0.0000 -
2604.98/2613.02 c 2613 18795293 1282193 1 - 0.0000 -
2610.25/2618.37 c 2618 18827018 1283778 1 - 0.0000 -
2615.73/2623.84 c 2624 18838860 1284522 1 - 0.0000 -
2621.42/2629.55 c 2630 18863544 1285802 1 - 0.0000 -
2627.20/2635.33 c 2635 18874883 1287311 1 - 0.0000 -
2632.77/2640.93 c 2641 18896583 1289155 1 - 0.0000 -
2638.86/2647.09 c 2647 18917260 1290556 1 - 0.0000 -
2644.24/2652.44 c 2652 18940676 1292090 1 - 0.0000 -
2649.82/2658.04 c 2658 18967823 1293677 1 - 0.0000 -
2655.80/2664.06 c 2664 19007391 1295293 1 - 0.0000 -
2661.69/2669.91 c 2670 19018399 1296596 1 - 0.0000 -
2667.06/2675.31 c 2675 19031955 1297676 1 - 0.0000 -
2672.75/2681.01 c 2681 19043695 1298442 1 - 0.0000 -
2678.13/2686.44 c 2686 19078110 1300489 1 - 0.0000 -
2684.21/2692.51 c 2693 19093451 1302246 1 - 0.0000 -
2689.79/2698.13 c 2698 19105935 1303306 1 - 0.0000 -
2695.48/2703.83 c 2704 19123649 1304614 1 - 0.0000 -
2701.36/2709.76 c 2710 19144905 1306348 1 - 0.0000 -
2707.03/2715.43 c 2715 19159560 1307307 1 - 0.0000 -
2712.72/2721.12 c 2721 19186643 1308438 1 - 0.0000 -
2718.00/2726.41 c 2726 19216413 1309542 1 - 0.0000 -
2723.18/2731.69 c 2732 19247533 1311302 1 - 0.0000 -
2729.16/2737.61 c 2738 19259363 1312885 1 - 0.0000 -
2734.65/2743.14 c 2743 19280530 1314514 1 - 0.0000 -
2739.83/2748.30 c 2748 19312452 1316260 1 - 0.0000 -
2744.91/2753.47 c 2753 19356049 1318223 1 - 0.0000 -
2750.60/2759.16 c 2759 19395883 1319823 1 - 0.0000 -
2755.87/2764.47 c 2764 19410622 1321318 1 - 0.0000 -
2761.36/2769.99 c 2770 19426933 1322357 1 - 0.0000 -
2767.03/2775.66 c 2776 19442723 1323999 1 - 0.0000 -
2772.32/2780.95 c 2781 19452330 1324704 1 - 0.0000 -
2777.70/2786.33 c 2786 19490803 1326387 1 - 0.0000 -
2783.09/2791.75 c 2792 19521475 1327421 1 - 0.0000 -
2788.16/2796.83 c 2797 19547843 1328321 1 - 0.0000 -
2793.75/2802.46 c 2802 19577963 1329503 1 - 0.0000 -
2799.43/2808.15 c 2808 19586570 1330691 1 - 0.0000 -
2804.61/2813.36 c 2813 19608106 1332247 1 - 0.0000 -
2810.50/2819.21 c 2819 19629487 1333546 1 - 0.0000 -
2815.97/2824.73 c 2825 19665586 1335001 1 - 0.0000 -
2821.06/2829.89 c 2830 19717411 1336808 1 - 0.0000 -
2826.54/2835.37 c 2835 19746079 1338122 1 - 0.0000 -
2831.71/2840.54 c 2841 19780773 1339094 1 - 0.0000 -
2837.60/2846.43 c 2846 19796173 1340260 1 - 0.0000 -
2843.57/2852.44 c 2852 19804786 1341056 1 - 0.0000 -
2849.06/2857.92 c 2858 19828212 1342564 1 - 0.0000 -
2854.94/2863.87 c 2864 19857564 1344041 1 - 0.0000 -
2860.93/2869.89 c 2870 19877133 1346334 1 - 0.0000 -
2866.61/2875.51 c 2876 19887843 1347421 1 - 0.0000 -
2872.38/2881.35 c 2881 19902039 1348551 1 - 0.0000 -
2877.97/2886.99 c 2887 19912781 1349837 1 - 0.0000 -
2883.75/2892.73 c 2893 19931863 1351227 1 - 0.0000 -
2889.43/2898.44 c 2898 19947409 1352352 1 - 0.0000 -
2895.32/2904.33 c 2904 19954995 1353152 1 - 0.0000 -
2901.11/2910.12 c 2910 19976379 1355075 1 - 0.0000 -
2906.68/2915.71 c 2916 19999507 1356527 1 - 0.0000 -
2912.08/2921.14 c 2921 20021904 1357702 1 - 0.0000 -
2917.46/2926.54 c 2927 20038243 1358660 1 - 0.0000 -
2922.74/2931.85 c 2932 20063814 1361092 1 - 0.0000 -
2928.33/2937.46 c 2937 20088123 1362557 1 - 0.0000 -
2933.62/2942.79 c 2943 20119860 1364218 1 - 0.0000 -
2939.00/2948.19 c 2948 20132103 1365826 1 - 0.0000 -
2944.48/2953.67 c 2954 20149478 1366955 1 - 0.0000 -
2949.77/2958.98 c 2959 20185941 1368530 1 - 0.0000 -
2955.05/2964.26 c 2964 20230963 1370635 1 - 0.0000 -
2960.43/2969.60 c 2970 20271713 1372637 1 - 0.0000 -
2965.93/2975.11 c 2975 20307687 1373931 1 - 0.0000 -
2971.20/2980.40 c 2980 20333773 1375165 1 - 0.0000 -
2976.59/2985.84 c 2986 20369802 1376186 1 - 0.0000 -
2982.17/2991.42 c 2991 20407012 1376850 1 - 0.0000 -
2988.06/2997.37 c 2997 20435717 1377967 1 - 0.0000 -
2993.53/3002.88 c 3003 20473565 1380041 1 - 0.0000 -
2999.22/3008.53 c 3009 20508373 1381269 1 - 0.0000 -
3004.81/3014.19 c 3014 20551263 1382893 1 - 0.0000 -
3009.99/3019.34 c 3019 20592628 1383958 1 - 0.0000 -
3015.48/3024.83 c 3025 20625523 1385053 1 - 0.0000 -
3020.77/3030.15 c 3030 20663337 1386421 1 - 0.0000 -
3025.94/3035.39 c 3035 20691147 1387257 1 - 0.0000 -
3031.53/3040.91 c 3041 20718220 1387904 1 - 0.0000 -
3036.52/3045.96 c 3046 20769233 1389025 1 - 0.0000 -
3041.71/3051.16 c 3051 20820843 1390547 1 - 0.0000 -
3047.79/3057.24 c 3057 20858667 1391651 1 - 0.0000 -
3053.68/3063.11 c 3063 20868479 1392757 1 - 0.0000 -
3059.25/3068.73 c 3069 20892829 1394631 1 - 0.0000 -
3064.84/3074.37 c 3074 20939501 1396672 1 - 0.0000 -
3070.32/3079.86 c 3080 20942181 1397305 1 - 0.0000 -
3076.31/3085.89 c 3086 20947045 1398207 1 - 0.0000 -
3082.09/3091.63 c 3092 20956710 1399678 1 - 0.0000 -
3087.68/3097.25 c 3097 20974725 1400881 1 - 0.0000 -
3093.27/3102.80 c 3103 20986532 1401556 1 - 0.0000 -
3098.46/3108.06 c 3108 21015853 1402933 1 - 0.0000 -
3103.84/3113.41 c 3113 21053115 1404363 1 - 0.0000 -
3109.63/3119.21 c 3119 21080893 1405660 1 - 0.0000 -
3115.09/3124.74 c 3125 21088023 1406697 1 - 0.0000 -
3120.78/3130.48 c 3130 21099453 1408237 1 - 0.0000 -
3125.87/3135.56 c 3136 21107596 1409253 1 - 0.0000 -
3130.96/3140.64 c 3141 21114269 1410183 1 - 0.0000 -
3136.45/3146.17 c 3146 21126427 1411430 1 - 0.0000 -
3141.73/3151.47 c 3151 21137733 1412648 1 - 0.0000 -
3147.22/3156.93 c 3157 21157243 1414250 1 - 0.0000 -
3153.00/3162.72 c 3163 21178957 1415472 1 - 0.0000 -
3158.58/3168.31 c 3168 21191784 1416653 1 - 0.0000 -
3164.27/3174.00 c 3174 21215045 1418042 1 - 0.0000 -
3169.85/3179.66 c 3180 21246375 1420076 1 - 0.0000 -
3175.73/3185.51 c 3186 21279055 1422129 1 - 0.0000 -
3181.32/3191.16 c 3191 21301493 1423807 1 - 0.0000 -
3187.20/3197.08 c 3197 21319913 1425065 1 - 0.0000 -
3192.48/3202.30 c 3202 21361926 1427126 1 - 0.0000 -
3197.77/3207.67 c 3208 21406680 1429120 1 - 0.0000 -
3202.95/3212.88 c 3213 21448449 1430646 1 - 0.0000 -
3208.33/3218.25 c 3218 21480560 1432079 1 - 0.0000 -
3213.82/3223.77 c 3224 21500044 1432839 1 - 0.0000 -
3219.01/3228.96 c 3229 21533814 1433577 1 - 0.0000 -
3224.59/3234.58 c 3235 21594647 1435120 1 - 0.0000 -
3229.87/3239.87 c 3240 21629683 1436123 1 - 0.0000 -
3235.56/3245.56 c 3246 21642936 1436716 1 - 0.0000 -
3241.24/3251.23 c 3251 21654861 1438225 1 - 0.0000 -
3247.03/3257.03 c 3257 21674566 1439922 1 - 0.0000 -
3252.51/3262.51 c 3263 21689380 1440935 1 - 0.0000 -
3257.90/3267.95 c 3268 21714153 1442378 1 - 0.0000 -
3262.98/3273.06 c 3273 21753687 1444320 1 - 0.0000 -
3268.86/3278.91 c 3279 21786822 1445581 1 - 0.0000 -
3274.35/3284.45 c 3284 21801940 1446480 1 - 0.0000 -
3279.83/3289.97 c 3290 21813532 1447773 1 - 0.0000 -
3285.02/3295.14 c 3295 21828223 1449016 1 - 0.0000 -
3290.69/3300.86 c 3301 21864243 1451206 1 - 0.0000 -
3295.89/3306.04 c 3306 21914368 1453295 1 - 0.0000 -
3301.37/3311.55 c 3312 21940332 1454507 1 - 0.0000 -
3306.56/3316.79 c 3317 21979082 1455669 1 - 0.0000 -
3311.84/3322.01 c 3322 22006624 1456363 1 - 0.0000 -
3317.23/3327.44 c 3327 22017411 1457198 1 - 0.0000 -
3322.62/3332.89 c 3333 22036866 1458509 1 - 0.0000 -
3328.29/3338.52 c 3339 22061864 1459485 1 - 0.0000 -
3333.79/3344.07 c 3344 22101412 1460449 1 - 0.0000 -
3339.07/3349.35 c 3349 22140617 1461430 1 - 0.0000 -
3344.36/3354.67 c 3355 22186117 1462340 1 - 0.0000 -
3349.75/3360.07 c 3360 22229106 1463433 1 - 0.0000 -
3355.43/3365.70 c 3366 22263303 1464762 1 - 0.0000 -
3361.00/3371.35 c 3371 22285286 1465557 1 - 0.0000 -
3366.70/3377.04 c 3377 22298780 1466155 1 - 0.0000 -
3372.18/3382.55 c 3383 22331909 1467155 1 - 0.0000 -
3377.86/3388.27 c 3388 22351670 1467991 1 - 0.0000 -
3383.15/3393.55 c 3394 22385358 1469078 1 - 0.0000 -
3389.14/3399.50 c 3400 22392505 1469601 1 - 0.0000 -
3394.72/3405.17 c 3405 22400869 1470367 1 - 0.0000 -
3400.50/3410.99 c 3411 22403599 1470837 1 - 0.0000 -
3406.19/3416.67 c 3417 22411013 1471165 1 - 0.0000 -
3411.58/3422.02 c 3422 22436539 1472019 1 - 0.0000 -
3416.96/3427.41 c 3427 22461423 1472847 1 - 0.0000 -
3422.65/3433.12 c 3433 22470738 1473717 1 - 0.0000 -
3427.63/3438.17 c 3438 22490985 1474215 1 - 0.0000 -
3433.12/3443.62 c 3444 22510539 1475094 1 - 0.0000 -
3438.39/3448.96 c 3449 22539960 1476169 1 - 0.0000 -
3444.38/3454.99 c 3455 22566093 1477483 1 - 0.0000 -
3449.58/3460.18 c 3460 22576903 1478129 1 - 0.0000 -
3454.95/3465.50 c 3466 22608625 1479065 1 - 0.0000 -
3460.44/3471.02 c 3471 22629010 1479776 1 - 0.0000 -
3465.82/3476.42 c 3476 22653964 1480670 1 - 0.0000 -
3471.71/3482.36 c 3482 22675345 1481431 1 - 0.0000 -
3477.69/3488.31 c 3488 22681440 1482476 1 - 0.0000 -
3483.98/3494.63 c 3495 22687249 1483373 1 - 0.0000 -
3489.66/3500.38 c 3500 22705629 1484559 1 - 0.0000 -
3494.94/3505.66 c 3506 22723628 1485264 1 - 0.0000 -
3500.23/3510.90 c 3511 22758554 1486286 1 - 0.0000 -
3505.72/3516.49 c 3516 22787472 1487291 1 - 0.0000 -
3511.20/3521.96 c 3522 22795785 1487854 1 - 0.0000 -
3517.09/3527.86 c 3528 22800506 1488774 1 - 0.0000 -
3522.28/3533.03 c 3533 22805360 1489603 1 - 0.0000 -
3528.55/3539.35 c 3539 22810306 1490311 1 - 0.0000 -
3534.24/3545.07 c 3545 22816457 1491425 1 - 0.0000 -
3540.43/3551.25 c 3551 22821303 1492381 1 - 0.0000 -
3546.11/3556.92 c 3557 22825025 1493149 1 - 0.0000 -
3551.49/3562.34 c 3562 22835736 1494928 1 - 0.0000 -
3557.47/3568.38 c 3568 22844633 1496252 1 - 0.0000 -
3563.76/3574.67 c 3575 22854283 1497830 1 - 0.0000 -
3569.75/3580.63 c 3581 22863813 1499136 1 - 0.0000 -
3575.03/3585.92 c 3586 22869169 1499825 1 - 0.0000 -
3580.72/3591.63 c 3592 22882277 1501418 1 - 0.0000 -
3586.61/3597.59 c 3598 22887414 1502113 1 - 0.0000 -
3592.89/3603.88 c SCIP Status : c solving was interrupted [hard time limit reached]
3592.89/3603.88 c Total Time : 3603.8800
3592.89/3603.88 c solving : 3603.8800
3592.89/3603.88 c presolving : 0.0015 (included in solving)
3592.89/3603.88 c B&B Tree :
3592.89/3603.88 c nodes (total) : 1
3592.89/3603.88 c Solution :
3592.89/3603.88 c Solutions found : 0
3592.89/3603.88 c Primal Bound : -
3592.89/3603.88 c Dual Bound : +0.00000000000000e+00
3592.89/3603.88 c Gap : -
3592.89/3603.89 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61661 MiB free)
memory of node 1: 64510 MiB (61878 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445150-1721318378/watcher-4445150-1721318378 -o /tmp/evaluation-result-4445150-1721318378/solver-4445150-1721318378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968467 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445150-1721318378.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=970450, runsolver pid=970447
Current StackSize limit: 8192 KiB
[startup+0.100086 s]*
/proc/loadavg: 4.07 3.31 2.58 5/268 970453
/proc/meminfo: memFree=126492264/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=106448 memory=21544 CPUtime=0.09 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 2286 0 0 0 9 0 0 0 20 0 3 0 183996969 109002752 5386 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 26612 5386 2910 3032 0 8250 0
[pid=970450/tid=970452] ppid=970447 vsize=106448 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 1159 0 0 0 9 0 0 0 20 0 3 0 183996970 109002752 5386 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=106448 memory=237146210664 CPUtime=0 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183996970 109002752 5386 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106448 KiB
Current children cumulated memory: 21544 KiB
[startup+0.205686 s]*
/proc/loadavg: 4.07 3.31 2.58 5/268 970453
/proc/meminfo: memFree=126491440/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=106448 memory=22720 CPUtime=0.2 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 2543 0 0 0 20 0 0 0 20 0 3 0 183996969 109002752 5680 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 26612 5680 2942 3032 0 8534 0
[pid=970450/tid=970452] ppid=970447 vsize=106448 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 1416 0 0 0 19 0 0 0 20 0 3 0 183996970 109002752 5680 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=106448 memory=1285800 CPUtime=0 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183996970 109002752 5680 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106448 KiB
Current children cumulated memory: 22720 KiB
[startup+0.305121 s]*
/proc/loadavg: 4.07 3.31 2.58 5/268 970453
/proc/meminfo: memFree=126490292/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=106448 memory=22984 CPUtime=0.29 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 2627 0 0 0 29 0 0 0 20 0 3 0 183996969 109002752 5746 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 26612 5746 2942 3032 0 8599 0
[pid=970450/tid=970452] ppid=970447 vsize=106448 memory=-6441955508057455461 CPUtime=0.29 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 1500 0 0 0 29 0 0 0 20 0 3 0 183996970 109002752 5746 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=106448 memory=0 CPUtime=0 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183996970 109002752 5746 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 106448 KiB
Current children cumulated memory: 22984 KiB
[startup+0.700203 s]
/proc/loadavg: 4.07 3.31 2.58 5/268 970453
/proc/meminfo: memFree=126489816/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=106448 memory=23776 CPUtime=0.69 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 2777 0 0 0 68 1 0 0 20 0 3 0 183996969 109002752 5944 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 26612 5944 2942 3032 0 8720 0
[pid=970450/tid=970452] ppid=970447 vsize=106448 memory=0 CPUtime=0.68 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 1650 0 0 0 68 0 0 0 20 0 3 0 183996970 109002752 5944 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=106448 memory=0 CPUtime=0 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183996970 109002752 5944 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106448 KiB
Current children cumulated memory: 23776 KiB
[startup+1.50018 s]
/proc/loadavg: 4.07 3.31 2.58 5/268 970453
/proc/meminfo: memFree=126489156/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=106448 memory=25496 CPUtime=1.49 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 4621 0 0 0 147 2 0 0 20 0 3 0 183996969 109002752 6374 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 26612 6374 2942 3032 0 9000 0
[pid=970450/tid=970452] ppid=970447 vsize=106448 memory=0 CPUtime=1.48 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 3481 0 0 0 147 1 0 0 20 0 3 0 183996970 109002752 6374 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=106448 memory=0 CPUtime=0 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 183996970 109002752 6374 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 106448 KiB
Current children cumulated memory: 25496 KiB
[startup+3.10537 s]
/proc/loadavg: 4.07 3.31 2.58 5/268 970453
/proc/meminfo: memFree=126481404/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=106448 memory=30280 CPUtime=3.09 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 6017 0 0 0 305 4 0 0 20 0 3 0 183996969 109002752 7570 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 26612 7570 2942 3032 0 10229 0
[pid=970450/tid=970452] ppid=970447 vsize=106448 memory=2273 CPUtime=3.07 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 4875 0 0 0 304 3 0 0 20 0 3 0 183996970 109002752 7570 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=106448 memory=0 CPUtime=0 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 183996970 109002752 7570 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 106448 KiB
Current children cumulated memory: 30280 KiB
[startup+6.30017 s]
/proc/loadavg: 4.07 3.33 2.59 5/268 970455
/proc/meminfo: memFree=126471212/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=107968 memory=38280 CPUtime=6.27 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 11545 0 0 0 618 9 0 0 20 0 3 0 183996969 110559232 9570 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 26992 9570 2990 3032 0 12119 0
[pid=970450/tid=970452] ppid=970447 vsize=107968 memory=-6441955508057455461 CPUtime=6.26 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 10381 0 0 0 618 8 0 0 20 0 3 0 183996970 110559232 9570 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=107968 memory=37188 CPUtime=0 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 183996970 110559232 9570 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 107968 KiB
Current children cumulated memory: 38280 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 3.34 2.59 5/268 970455
/proc/meminfo: memFree=126446312/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=112148 memory=53176 CPUtime=12.65 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 26805 0 0 0 1247 18 0 0 20 0 3 0 183996969 114839552 13294 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 28037 13294 2990 3032 0 16136 0
[pid=970450/tid=970452] ppid=970447 vsize=112148 memory=30528 CPUtime=12.64 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 25605 0 0 0 1246 18 0 0 20 0 3 0 183996970 114839552 13294 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=112148 memory=0 CPUtime=0 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 183996970 114839552 13294 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 112148 KiB
Current children cumulated memory: 53176 KiB
[startup+25.5002 s]
/proc/loadavg: 4.05 3.37 2.62 5/268 970458
/proc/meminfo: memFree=126410860/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=122476 memory=77300 CPUtime=25.4 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 51868 0 0 0 2505 35 0 0 20 0 3 0 183996969 125415424 19325 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 30619 19325 2990 3032 0 22075 0
[pid=970450/tid=970452] ppid=970447 vsize=122476 memory=47184 CPUtime=25.4 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 50624 0 0 0 2505 35 0 0 20 0 3 0 183996970 125415424 19325 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=122476 memory=7676 CPUtime=0 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 183996970 125415424 19325 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 122476 KiB
Current children cumulated memory: 77300 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 3.44 2.66 5/269 970464
/proc/meminfo: memFree=126336024/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=210536 memory=119908 CPUtime=50.93 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 100561 0 0 0 5022 71 0 0 20 0 3 0 183996969 215588864 29977 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 52634 29977 2990 3032 0 33159 0
[pid=970450/tid=970452] ppid=970447 vsize=210536 memory=113672 CPUtime=50.92 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 99257 0 0 0 5021 71 0 0 20 0 3 0 183996970 215588864 29977 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=210536 memory=112420 CPUtime=0 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 183996970 215588864 29977 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 210536 KiB
Current children cumulated memory: 119908 KiB
[startup+102.3 s]
/proc/loadavg: 4.41 3.61 2.76 5/267 970483
/proc/meminfo: memFree=126199376/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=253148 memory=194516 CPUtime=101.97 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 196173 0 0 0 10054 143 0 0 20 0 3 0 183996969 259223552 48629 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 63287 48629 2990 3032 0 52396 0
[pid=970450/tid=970452] ppid=970447 vsize=253148 memory=185388 CPUtime=101.95 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 194800 0 0 0 10053 142 0 0 20 0 3 0 183996970 259223552 48629 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=253148 memory=183652 CPUtime=0 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 183996970 259223552 48629 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 253148 KiB
Current children cumulated memory: 194516 KiB
[startup+162.3 s]
/proc/loadavg: 4.27 3.73 2.86 5/267 970494
/proc/meminfo: memFree=126065732/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=371808 memory=281160 CPUtime=161.77 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 298939 0 0 0 15964 213 0 0 20 0 3 0 183996969 380731392 70290 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 92952 70290 2990 3032 0 73918 0
[pid=970450/tid=970452] ppid=970447 vsize=371808 memory=271140 CPUtime=161.75 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 297526 0 0 0 15963 212 0 0 20 0 3 0 183996970 380731392 70290 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=371808 memory=7676 CPUtime=0 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 183996970 380731392 70290 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 371808 KiB
################
# More data... #
################
/proc/970450/statm: 479294 458204 2990 3032 0 464237 0
[pid=970450/tid=970452] ppid=970447 vsize=1917176 memory=7676 CPUtime=3391.7 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 4222787 0 0 0 336963 2207 0 0 20 0 3 0 183996970 1963188224 458204 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=1917176 memory=1829336 CPUtime=0.02 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 87 0 0 0 0 2 0 0 20 0 3 0 183996970 1963188224 458204 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 3391.92 s
Current children cumulated vsize: 1917176 KiB
Current children cumulated memory: 1832816 KiB
[startup+3462.3 s]
/proc/loadavg: 4.32 4.21 4.12 5/265 972162
/proc/meminfo: memFree=123464944/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=1922960 memory=1845404 CPUtime=3451.77 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 4258953 0 0 0 342945 2232 0 0 20 0 3 0 183996969 1969111040 461351 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 480740 461351 2990 3032 0 466772 0
[pid=970450/tid=970452] ppid=970447 vsize=1922960 memory=7676 CPUtime=3451.54 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 4256711 0 0 0 342929 2225 0 0 20 0 3 0 183996970 1969111040 461351 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=1922960 memory=1829336 CPUtime=0.02 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 88 0 0 0 0 2 0 0 20 0 3 0 183996970 1969111040 461351 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 3451.77 s
Current children cumulated vsize: 1922960 KiB
Current children cumulated memory: 1845404 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.17 4.11 5/266 972268
/proc/meminfo: memFree=124796532/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=1926632 memory=1854252 CPUtime=3511.6 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 4296130 0 0 0 348908 2252 0 0 20 0 3 0 183996969 1972871168 463563 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 481658 463563 2990 3032 0 468954 0
[pid=970450/tid=970452] ppid=970447 vsize=1926632 memory=27460 CPUtime=3511.37 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 4293875 0 0 0 348892 2245 0 0 20 0 3 0 183996970 1972871168 463563 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=1926632 memory=16888 CPUtime=0.02 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 89 0 0 0 0 2 0 0 20 0 3 0 183996970 1972871168 463563 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 3511.6 s
Current children cumulated vsize: 1926632 KiB
Current children cumulated memory: 1854252 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.17 4.11 5/267 972448
/proc/meminfo: memFree=124656852/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=1931200 memory=1864960 CPUtime=3571.44 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 4316112 0 0 0 354884 2260 0 0 20 0 3 0 183996969 1977548800 466240 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 482800 466240 2990 3032 0 471089 0
[pid=970450/tid=970452] ppid=970447 vsize=1931200 memory=4892 CPUtime=3571.21 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 4313840 0 0 0 354868 2253 0 0 20 0 3 0 183996970 1977548800 466240 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=1931200 memory=1864960 CPUtime=0.02 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 90 0 0 0 0 2 0 0 20 0 3 0 183996970 1977548800 466240 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 3571.44 s
Current children cumulated vsize: 1931200 KiB
Current children cumulated memory: 1864960 KiB
[startup+3603.89 s]
# the end of solver process 970450 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3570.28 s, system=22.7048 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.17 4.10 5/267 972449
/proc/meminfo: memFree=124651652/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=1931200 memory=1864960 CPUtime=3573.14 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 4316118 0 0 0 355054 2260 0 0 20 0 3 0 183996969 1977548800 466240 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 482800 466240 2990 3032 0 471089 0
[pid=970450/tid=970452] ppid=970447 vsize=1931200 memory=6720667649040335209 CPUtime=3572.91 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 4313846 0 0 0 355038 2253 0 0 20 0 3 0 183996970 1977548800 466240 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=1931200 memory=-9044459746194447340 CPUtime=0.02 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 90 0 0 0 0 2 0 0 20 0 3 0 183996970 1977548800 466240 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 1931200 KiB
Current children cumulated memory: 1864960 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.16 4.10 5/267 972451
/proc/meminfo: memFree=124619824/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=1931780 memory=1866840 CPUtime=3585.91 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 4324851 0 0 0 356329 2262 0 0 20 0 3 0 183996969 1978142720 466710 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 482945 466710 2990 3032 0 471539 0
[pid=970450/tid=970452] ppid=970447 vsize=1931780 memory=27460 CPUtime=3585.68 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 4322570 0 0 0 356313 2255 0 0 20 0 3 0 183996970 1978142720 466710 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=1931780 memory=1865228 CPUtime=0.03 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 90 0 0 0 0 3 0 0 20 0 3 0 183996970 1978142720 466710 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 3585.91 s
Current children cumulated vsize: 1931780 KiB
Current children cumulated memory: 1866840 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.16 4.10 5/267 972451
/proc/meminfo: memFree=124607380/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=1931780 memory=1866984 CPUtime=3589.1 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 4326707 0 0 0 356648 2262 0 0 20 0 3 0 183996969 1978142720 466746 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 482945 466746 2990 3032 0 471571 0
[pid=970450/tid=970452] ppid=970447 vsize=1931780 memory=6720667649040335209 CPUtime=3588.87 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 4324420 0 0 0 356632 2255 0 0 20 0 3 0 183996970 1978142720 466746 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=1931780 memory=-9044459746194447340 CPUtime=0.03 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 90 0 0 0 0 3 0 0 20 0 3 0 183996970 1978142720 466746 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 3589.1 s
Current children cumulated vsize: 1931780 KiB
Current children cumulated memory: 1866984 KiB
[startup+3601.6 s]
/proc/loadavg: 4.11 4.16 4.10 5/267 972451
/proc/meminfo: memFree=124644144/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=1781304 memory=1716508 CPUtime=3590.7 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 4379626 0 0 0 356804 2266 0 0 20 0 3 0 183996969 1824055296 429127 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 445326 429127 2990 3032 0 433952 0
[pid=970450/tid=970452] ppid=970447 vsize=1781304 memory=120 CPUtime=3590.46 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 4377338 0 0 0 356788 2258 0 0 20 0 3 0 183996970 1824055296 429127 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=1781304 memory=7676 CPUtime=0.03 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 90 0 0 0 0 3 0 0 20 0 3 0 183996970 1824055296 429127 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 3590.7 s
Current children cumulated vsize: 1781304 KiB
Current children cumulated memory: 1716508 KiB
[startup+3603.2 s]
/proc/loadavg: 4.11 4.16 4.10 5/267 972451
/proc/meminfo: memFree=124907888/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=1441032 memory=1376248 CPUtime=3592.29 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 4382338 0 0 0 356962 2267 0 0 20 0 3 0 183996969 1475616768 344062 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 360258 344062 2990 3032 0 348884 0
[pid=970450/tid=970452] ppid=970447 vsize=1441032 memory=1866832 CPUtime=3592.06 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 4380050 0 0 0 356946 2260 0 0 20 0 3 0 183996970 1475616768 344062 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=1441032 memory=736 CPUtime=0.03 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 90 0 0 0 0 3 0 0 20 0 3 0 183996970 1475616768 344062 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 3592.29 s
Current children cumulated vsize: 1441032 KiB
Current children cumulated memory: 1376248 KiB
[startup+3603.6 s]
/proc/loadavg: 4.11 4.16 4.10 5/267 972451
/proc/meminfo: memFree=124907888/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=1338696 memory=1273912 CPUtime=3592.69 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 4382391 0 0 0 357001 2268 0 0 20 0 3 0 183996969 1370824704 318478 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 334674 318478 2990 3032 0 323300 0
[pid=970450/tid=970452] ppid=970447 vsize=1338696 memory=144 CPUtime=3592.45 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 4380103 0 0 0 356985 2260 0 0 20 0 3 0 183996970 1370824704 318478 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=1338696 memory=6720667644778791273 CPUtime=0.03 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 90 0 0 0 0 3 0 0 20 0 3 0 183996970 1370824704 318478 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 3592.69 s
Current children cumulated vsize: 1338696 KiB
Current children cumulated memory: 1273912 KiB
[startup+3603.8 s]
/proc/loadavg: 4.11 4.16 4.10 5/267 972451
/proc/meminfo: memFree=124907888/131524600 swapFree=130798872/131071996
[pid=970450] ppid=970447 vsize=1280440 memory=1215656 CPUtime=3592.89 cores=5,7
/proc/970450/stat : 970450 (fscip) S 970447 970450 968454 0 -1 1077936128 4382416 0 0 0 357021 2268 0 0 20 0 3 0 183996969 1311170560 303914 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
/proc/970450/statm: 320110 303914 2990 3032 0 308736 0
[pid=970450/tid=970452] ppid=970447 vsize=1280440 memory=4892 CPUtime=3592.66 cores=5,7
/proc/970450/task/970452/stat : 970452 (fscip) R 970447 970450 968454 0 -1 4194368 4380128 0 0 0 357005 2261 0 0 20 0 3 0 183996970 1311170560 303914 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
[pid=970450/tid=970453] ppid=970447 vsize=1280440 memory=736 CPUtime=0.03 cores=5,7
/proc/970450/task/970453/stat : 970453 (fscip) S 970447 970450 968454 0 -1 1077936192 90 0 0 0 0 3 0 0 20 0 3 0 183996970 1311170560 303914 134679101440 4194304 16613245 140721591047168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 39350272 140721591055380 140721591055496 140721591055496 140721591062512 0
Current children cumulated CPU time: 3592.89 s
Current children cumulated vsize: 1280440 KiB
Current children cumulated memory: 1215656 KiB
Child status: 0
Real time (s): 3603.89
CPU time (s): 3592.99
CPU user time (s): 3570.28
CPU system time (s): 22.7048
CPU usage (%): 99.6975
Max. virtual memory (cumulated for all children) (KiB): 1931780
Max. memory (cumulated for all children) (KiB): 1866984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3570.28
system time used= 22.7048
maximum resident set size= 1866984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4382477
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= 10634
involuntary context switches= 4695
# summary of solver processes directly reported to runsolver:
# pid: 970450
# total CPU time (s): 3592.99
# total CPU user time (s): 3570.28
# total CPU system time (s): 22.7048
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.13962 second user time and 18.1474 second system time
The end
Begin job on nodeC014 at 2024-07-18 17:59:51
IDJOB=4445150
IDBENCH=148101
IDSOLVER=3064
FILE ID=nodeC014/4445150-1721318378
RUNJOBID= nodeC014-1721318012-968467
SLURM_JOB_ID= 7542671
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob5.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-4445150-1721318378/watcher-4445150-1721318378 -o /tmp/evaluation-result-4445150-1721318378/solver-4445150-1721318378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721318012-968467 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445150-1721318378.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f4201f1ef8f74939600eabb6a2266017
RANDOM SEED=1646734693
nodeC014.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.041
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3671.705
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.690
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.127
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.104
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3666.029
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.923
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.586
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126505156 kB
MemAvailable: 129773232 kB
Buffers: 443616 kB
Cached: 3628240 kB
SwapCached: 12900 kB
Active: 1372936 kB
Inactive: 3060320 kB
Active(anon): 9332 kB
Inactive(anon): 372576 kB
Active(file): 1363604 kB
Inactive(file): 2687744 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130798872 kB
Dirty: 27912 kB
Writeback: 0 kB
AnonPages: 352588 kB
Mapped: 85456 kB
Shmem: 20456 kB
KReclaimable: 112752 kB
Slab: 210580 kB
SReclaimable: 112752 kB
SUnreclaim: 97828 kB
KernelStack: 4316 kB
PageTables: 10448 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 846080 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 35168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 198656 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: 232148 kB
DirectMap2M: 25755648 kB
DirectMap1G: 110100480 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC014 at 2024-07-18 18:59:55