0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22568960, getVmSize() = 22568960, SCIPgetMemUsed() = 829073, SCIPgetMemTotal() = 1110369, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.01 c ** Estimated virtualMemUsedAtSolver = 16214698, getVmSize() = 26075136, SCIPgetMemUsed() = 1812459, SCIPgetMemTotal() = 3471699, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.01 c Original Problem :
0.00/0.01 c Problem name : instance-4464025-1722378597
0.00/0.01 c Variables : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 17
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 18
0.00/0.01 c Constraints : Number
0.00/0.01 c knapsack : 1
0.00/0.01 c linear : 15
0.00/0.01 c logicor : 2
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.07/5.15 c 5 8620 6833 1 - 0.0000 -
10.15/10.20 c 10 20821 15768 1 - 0.0000 -
15.13/15.25 c 15 31938 23181 1 - 0.0000 -
20.21/20.30 c 20 42498 30357 1 - 0.0000 -
25.20/25.35 c 25 52384 36833 1 - 0.0000 -
30.28/30.42 c 30 62287 43616 1 - 0.0000 -
35.26/35.47 c 35 71695 49630 1 - 0.0000 -
40.35/40.52 c 41 80924 55705 1 - 0.0000 -
45.32/45.58 c 46 90230 61833 1 - 0.0000 -
50.42/50.63 c 51 99346 67705 1 - 0.0000 -
55.49/55.70 c 56 107925 73446 1 - 0.0000 -
60.48/60.75 c 61 117100 79043 1 - 0.0000 -
65.55/65.82 c 66 125516 84269 1 - 0.0000 -
70.54/70.89 c 71 134358 89663 1 - 0.0000 -
75.62/75.94 c 76 142258 94725 1 - 0.0000 -
80.70/81.07 c 81 150882 99789 1 - 0.0000 -
85.78/86.12 c 86 159362 104845 1 - 0.0000 -
90.76/91.19 c 91 168397 109928 1 - 0.0000 -
95.84/96.26 c 96 176084 114809 1 - 0.0000 -
100.92/101.37 c 101 184143 119718 1 - 0.0000 -
106.00/106.46 c 106 191703 124484 1 - 0.0000 -
111.09/111.53 c 112 200073 129334 1 - 0.0000 -
116.17/116.61 c 117 207379 133664 1 - 0.0000 -
121.14/121.66 c 122 214817 138066 1 - 0.0000 -
126.22/126.75 c 127 221797 142462 1 - 0.0000 -
131.31/131.83 c 132 230032 147081 1 - 0.0000 -
136.39/136.98 c 137 238340 151829 1 - 0.0000 -
141.48/142.02 c 142 246997 156412 1 - 0.0000 -
146.46/147.09 c 147 254502 160821 1 - 0.0000 -
151.73/152.35 c 152 261424 164939 1 - 0.0000 -
156.82/157.43 c 157 267660 168617 1 - 0.0000 -
162.00/162.60 c 163 273904 172409 1 - 0.0000 -
166.99/167.65 c 168 281279 176610 1 - 0.0000 -
172.07/172.77 c 173 287628 180395 1 - 0.0000 -
177.16/177.83 c 178 294442 184447 1 - 0.0000 -
182.24/182.98 c 183 301529 188472 1 - 0.0000 -
187.33/188.07 c 188 308508 192407 1 - 0.0000 -
192.51/193.23 c 193 314719 196046 1 - 0.0000 -
197.60/198.31 c 198 321055 199756 1 - 0.0000 -
202.78/203.53 c 204 327733 203612 1 - 0.0000 -
207.87/208.60 c 209 333702 207077 1 - 0.0000 -
212.84/213.69 c 214 340807 210730 1 - 0.0000 -
218.03/218.86 c 219 347423 214292 1 - 0.0000 -
223.22/224.09 c 224 352669 217756 1 - 0.0000 -
228.30/229.19 c 229 358833 221018 1 - 0.0000 -
233.39/234.28 c 234 363732 224029 1 - 0.0000 -
238.67/239.53 c 240 369684 227337 1 - 0.0000 -
243.75/244.68 c 245 375538 230675 1 - 0.0000 -
249.04/249.90 c 250 381967 234114 1 - 0.0000 -
254.32/255.26 c 255 387631 237460 1 - 0.0000 -
259.60/260.50 c 260 393292 240707 1 - 0.0000 -
264.59/265.59 c 266 398944 243833 1 - 0.0000 -
269.87/270.80 c 271 404769 247016 1 - 0.0000 -
274.96/275.93 c 276 409232 249827 1 - 0.0000 -
280.15/281.14 c 281 413840 252573 1 - 0.0000 -
285.22/286.26 c 286 419740 255929 1 - 0.0000 -
290.41/291.48 c 291 424857 258892 1 - 0.0000 -
295.49/296.60 c 297 430752 262007 1 - 0.0000 -
300.57/301.68 c 302 436568 264957 1 - 0.0000 -
305.86/306.92 c 307 442076 267957 1 - 0.0000 -
311.05/312.17 c 312 447399 270836 1 - 0.0000 -
316.33/317.41 c 317 453127 273950 1 - 0.0000 -
321.61/322.76 c 323 457463 276528 1 - 0.0000 -
326.80/327.96 c 328 462662 279565 1 - 0.0000 -
332.07/333.25 c 333 467860 282311 1 - 0.0000 -
337.27/338.40 c 338 473953 285554 1 - 0.0000 -
342.35/343.54 c 344 479320 288385 1 - 0.0000 -
347.53/348.71 c 349 484126 291213 1 - 0.0000 -
352.72/353.93 c 354 489501 294008 1 - 0.0000 -
357.81/359.07 c 359 494713 296870 1 - 0.0000 -
362.99/364.29 c 364 499756 299731 1 - 0.0000 -
368.28/369.55 c 370 505304 302593 1 - 0.0000 -
373.55/374.82 c 375 510816 305647 1 - 0.0000 -
379.04/380.39 c 380 513354 307489 1 - 0.0000 -
384.33/385.60 c 386 516913 309666 1 - 0.0000 -
389.51/390.86 c 391 521646 312375 1 - 0.0000 -
394.89/396.23 c 396 526724 315257 1 - 0.0000 -
399.98/401.37 c 401 531473 317772 1 - 0.0000 -
405.47/406.80 c 407 536123 320462 1 - 0.0000 -
410.75/412.16 c 412 539634 322701 1 - 0.0000 -
415.93/417.35 c 417 545184 325629 1 - 0.0000 -
421.62/423.01 c 423 549470 328221 1 - 0.0000 -
427.10/428.53 c 429 553870 330691 1 - 0.0000 -
432.18/433.69 c 434 558254 333216 1 - 0.0000 -
437.27/438.74 c 439 562874 335730 1 - 0.0000 -
442.46/443.90 c 444 567977 338419 1 - 0.0000 -
447.83/449.33 c 449 571643 340759 1 - 0.0000 -
453.23/454.77 c 455 575699 343123 1 - 0.0000 -
458.61/460.10 c 460 580556 345580 1 - 0.0000 -
463.79/465.36 c 465 584787 347967 1 - 0.0000 -
469.48/471.01 c 471 588929 350367 1 - 0.0000 -
474.86/476.42 c 476 593374 352792 1 - 0.0000 -
480.05/481.62 c 482 598093 355129 1 - 0.0000 -
485.22/486.87 c 487 601859 357169 1 - 0.0000 -
490.81/492.44 c 492 606302 359748 1 - 0.0000 -
495.90/497.59 c 498 611209 362249 1 - 0.0000 -
501.38/503.07 c 503 615038 364470 1 - 0.0000 -
506.66/508.38 c 508 620595 367233 1 - 0.0000 -
511.94/513.65 c 514 624677 369471 1 - 0.0000 -
517.13/518.87 c 519 628687 371627 1 - 0.0000 -
522.42/524.17 c 524 632566 373837 1 - 0.0000 -
527.69/529.46 c 529 637390 376235 1 - 0.0000 -
532.88/534.67 c 535 641233 378426 1 - 0.0000 -
538.67/540.46 c 540 646132 380913 1 - 0.0000 -
544.26/546.09 c 546 648976 382659 1 - 0.0000 -
549.83/551.65 c 552 652349 384426 1 - 0.0000 -
555.51/557.36 c 557 656412 386821 1 - 0.0000 -
560.90/562.70 c 563 660722 389137 1 - 0.0000 -
566.09/567.91 c 568 664810 391389 1 - 0.0000 -
571.27/573.16 c 573 668647 393408 1 - 0.0000 -
576.55/578.49 c 578 673606 395907 1 - 0.0000 -
582.04/583.99 c 584 678028 398381 1 - 0.0000 -
587.62/589.55 c 590 680882 399943 1 - 0.0000 -
593.22/595.17 c 595 684757 402176 1 - 0.0000 -
598.39/600.33 c 600 688322 404131 1 - 0.0000 -
603.58/605.58 c 606 693364 406423 1 - 0.0000 -
609.27/611.23 c 611 697717 408706 1 - 0.0000 -
614.85/616.82 c 617 701912 410883 1 - 0.0000 -
620.22/622.28 c 622 706562 413174 1 - 0.0000 -
625.61/627.60 c 628 710714 415238 1 - 0.0000 -
631.20/633.27 c 633 714949 417485 1 - 0.0000 -
636.48/638.51 c 639 718536 419484 1 - 0.0000 -
641.45/643.56 c 644 723074 421678 1 - 0.0000 -
646.64/648.77 c 649 727260 423856 1 - 0.0000 -
652.12/654.25 c 654 732243 426321 1 - 0.0000 -
657.50/659.66 c 660 735604 428420 1 - 0.0000 -
663.08/665.28 c 665 739966 430604 1 - 0.0000 -
668.65/670.86 c 671 744696 433012 1 - 0.0000 -
674.04/676.24 c 676 748349 434993 1 - 0.0000 -
679.51/681.70 c 682 750924 436648 1 - 0.0000 -
684.69/686.96 c 687 755040 438728 1 - 0.0000 -
690.37/692.65 c 693 758826 440740 1 - 0.0000 -
696.15/698.44 c 698 763649 443131 1 - 0.0000 -
701.33/703.60 c 704 767618 445288 1 - 0.0000 -
706.72/709.07 c 709 772585 447819 1 - 0.0000 -
712.28/714.61 c 715 776414 450010 1 - 0.0000 -
717.96/720.38 c 720 780516 452408 1 - 0.0000 -
723.75/726.12 c 726 783167 454079 1 - 0.0000 -
729.22/731.61 c 732 786642 455974 1 - 0.0000 -
734.60/737.00 c 737 791158 458316 1 - 0.0000 -
740.28/742.71 c 743 794060 460012 1 - 0.0000 -
746.15/748.62 c 749 796384 461630 1 - 0.0000 -
751.73/754.25 c 754 801135 464025 1 - 0.0000 -
757.22/759.79 c 760 804562 465888 1 - 0.0000 -
762.89/765.47 c 765 807124 467426 1 - 0.0000 -
768.27/770.87 c 771 811367 469669 1 - 0.0000 -
774.15/776.79 c 777 815179 471657 1 - 0.0000 -
779.83/782.46 c 782 818550 473572 1 - 0.0000 -
785.31/787.94 c 788 822336 475590 1 - 0.0000 -
790.51/793.14 c 793 826362 477688 1 - 0.0000 -
796.09/798.75 c 799 830799 479807 1 - 0.0000 -
801.67/804.37 c 804 834414 481658 1 - 0.0000 -
807.56/810.27 c 810 837942 483706 1 - 0.0000 -
813.04/815.71 c 816 842664 485856 1 - 0.0000 -
819.03/821.77 c 822 846882 488128 1 - 0.0000 -
824.60/827.31 c 827 850627 490093 1 - 0.0000 -
829.99/832.77 c 833 855374 492330 1 - 0.0000 -
835.28/838.05 c 838 859518 494470 1 - 0.0000 -
840.36/843.12 c 843 864097 496625 1 - 0.0000 -
845.74/848.52 c 849 867991 498591 1 - 0.0000 -
851.43/854.29 c 854 871147 500277 1 - 0.0000 -
856.81/859.68 c 860 874780 502198 1 - 0.0000 -
861.90/864.74 c 865 878210 504040 1 - 0.0000 -
867.08/869.92 c 870 881900 506102 1 - 0.0000 -
872.98/875.81 c 876 885946 508180 1 - 0.0000 -
878.35/881.29 c 881 890831 510549 1 - 0.0000 -
883.94/886.85 c 887 893340 511972 1 - 0.0000 -
889.73/892.64 c 893 897520 514086 1 - 0.0000 -
895.12/898.05 c 898 901373 516075 1 - 0.0000 -
900.60/903.52 c 904 904747 517875 1 - 0.0000 -
906.19/909.11 c 909 908673 519785 1 - 0.0000 -
911.77/914.73 c 915 912413 521735 1 - 0.0000 -
917.16/920.18 c 920 916229 523599 1 - 0.0000 -
923.14/926.14 c 926 918777 525137 1 - 0.0000 -
928.62/931.69 c 932 921918 526786 1 - 0.0000 -
933.90/936.96 c 937 926502 528958 1 - 0.0000 -
939.00/942.09 c 942 929145 530441 1 - 0.0000 -
944.48/947.51 c 948 932905 532173 1 - 0.0000 -
950.06/953.15 c 953 935756 533718 1 - 0.0000 -
955.44/958.53 c 959 940119 535923 1 - 0.0000 -
960.83/963.97 c 964 943699 537733 1 - 0.0000 -
966.31/969.41 c 969 946107 539179 1 - 0.0000 -
972.29/975.46 c 975 947480 540166 1 - 0.0000 -
978.07/981.28 c 981 948852 541128 1 - 0.0000 -
983.56/986.77 c 987 950794 542422 1 - 0.0000 -
988.94/992.14 c 992 952906 543736 1 - 0.0000 -
994.53/997.72 c 998 955722 545350 1 - 0.0000 -
1000.41/1003.61 c 1004 959699 547383 1 - 0.0000 -
1005.90/1009.18 c 1009 963243 549259 1 - 0.0000 -
1011.17/1014.49 c 1014 966919 551183 1 - 0.0000 -
1017.05/1020.35 c 1020 970636 553044 1 - 0.0000 -
1022.53/1025.88 c 1026 974495 555015 1 - 0.0000 -
1028.61/1031.90 c 1032 979043 557295 1 - 0.0000 -
1033.89/1037.23 c 1037 980766 558372 1 - 0.0000 -
1039.47/1042.87 c 1043 984579 560189 1 - 0.0000 -
1044.75/1048.15 c 1048 988996 562308 1 - 0.0000 -
1050.23/1053.63 c 1054 991947 563937 1 - 0.0000 -
1055.40/1058.87 c 1059 994032 565160 1 - 0.0000 -
1060.79/1064.26 c 1064 997240 566878 1 - 0.0000 -
1066.58/1070.01 c 1070 1000162 568642 1 - 0.0000 -
1072.04/1075.58 c 1076 1004489 570727 1 - 0.0000 -
1077.72/1081.27 c 1081 1007782 572470 1 - 0.0000 -
1082.81/1086.38 c 1086 1010875 574025 1 - 0.0000 -
1088.49/1092.08 c 1092 1014797 575843 1 - 0.0000 -
1094.07/1097.69 c 1098 1018422 577708 1 - 0.0000 -
1099.74/1103.36 c 1103 1020874 579102 1 - 0.0000 -
1105.62/1109.26 c 1109 1023193 580515 1 - 0.0000 -
1111.19/1114.83 c 1115 1026882 582360 1 - 0.0000 -
1116.68/1120.38 c 1120 1029622 583828 1 - 0.0000 -
1121.86/1125.54 c 1126 1033290 585522 1 - 0.0000 -
1127.34/1131.06 c 1131 1037033 587309 1 - 0.0000 -
1133.52/1137.26 c 1137 1040702 589318 1 - 0.0000 -
1139.30/1143.01 c 1143 1044822 591394 1 - 0.0000 -
1144.28/1148.09 c 1148 1046797 592557 1 - 0.0000 -
1150.26/1154.09 c 1154 1048926 593832 1 - 0.0000 -
1155.93/1159.72 c 1160 1052994 595910 1 - 0.0000 -
1161.51/1165.35 c 1165 1055393 597351 1 - 0.0000 -
1166.70/1170.56 c 1171 1060582 599618 1 - 0.0000 -
1172.57/1176.46 c 1176 1062685 600777 1 - 0.0000 -
1178.35/1182.20 c 1182 1063539 601515 1 - 0.0000 -
1184.13/1188.06 c 1188 1065450 602832 1 - 0.0000 -
1189.41/1193.39 c 1193 1067287 604043 1 - 0.0000 -
1195.29/1199.26 c 1199 1070024 605640 1 - 0.0000 -
1201.17/1205.18 c 1205 1072374 607112 1 - 0.0000 -
1206.95/1210.96 c 1211 1074912 608572 1 - 0.0000 -
1213.13/1217.16 c 1217 1077030 609840 1 - 0.0000 -
1219.20/1223.24 c 1223 1078350 610738 1 - 0.0000 -
1224.99/1229.03 c 1229 1080989 612315 1 - 0.0000 -
1230.86/1234.93 c 1235 1083202 613708 1 - 0.0000 -
1236.54/1240.61 c 1241 1086237 615291 1 - 0.0000 -
1241.82/1245.98 c 1246 1089282 616838 1 - 0.0000 -
1247.30/1251.47 c 1251 1092912 618700 1 - 0.0000 -
1252.68/1256.87 c 1257 1096319 620495 1 - 0.0000 -
1258.26/1262.48 c 1262 1099993 622187 1 - 0.0000 -
1264.25/1268.47 c 1268 1103244 623898 1 - 0.0000 -
1269.72/1273.99 c 1274 1105920 625360 1 - 0.0000 -
1275.11/1279.33 c 1279 1109793 627227 1 - 0.0000 -
1280.80/1285.04 c 1285 1112876 628792 1 - 0.0000 -
1286.78/1291.09 c 1291 1117614 630996 1 - 0.0000 -
1292.66/1296.97 c 1297 1121020 632792 1 - 0.0000 -
1298.45/1302.79 c 1303 1125064 634736 1 - 0.0000 -
1304.13/1308.45 c 1308 1127569 636137 1 - 0.0000 -
1309.31/1313.64 c 1314 1131384 637928 1 - 0.0000 -
1315.30/1319.60 c 1320 1135247 639847 1 - 0.0000 -
1321.18/1325.56 c 1326 1138028 641240 1 - 0.0000 -
1327.47/1331.82 c 1332 1141053 642821 1 - 0.0000 -
1332.95/1337.33 c 1337 1141850 643462 1 - 0.0000 -
1338.74/1343.13 c 1343 1143731 644747 1 - 0.0000 -
1344.32/1348.77 c 1349 1146597 646359 1 - 0.0000 -
1349.80/1354.21 c 1354 1149509 647991 1 - 0.0000 -
1355.39/1359.88 c 1360 1152304 649522 1 - 0.0000 -
1360.48/1364.94 c 1365 1154484 650688 1 - 0.0000 -
1366.06/1370.50 c 1371 1158345 652677 1 - 0.0000 -
1371.75/1376.28 c 1376 1160856 654060 1 - 0.0000 -
1377.63/1382.12 c 1382 1164049 655830 1 - 0.0000 -
1382.92/1387.49 c 1388 1166002 657033 1 - 0.0000 -
1388.10/1392.68 c 1393 1169548 658739 1 - 0.0000 -
1393.38/1397.98 c 1398 1172456 660283 1 - 0.0000 -
1398.87/1403.43 c 1403 1175822 661909 1 - 0.0000 -
1404.25/1408.82 c 1409 1178724 663451 1 - 0.0000 -
1409.33/1413.98 c 1414 1181813 664926 1 - 0.0000 -
1414.62/1419.26 c 1419 1185456 666625 1 - 0.0000 -
1420.10/1424.70 c 1425 1188274 668129 1 - 0.0000 -
1426.09/1430.75 c 1431 1190622 669557 1 - 0.0000 -
1431.47/1436.10 c 1436 1192345 670634 1 - 0.0000 -
1436.46/1441.15 c 1441 1194335 671704 1 - 0.0000 -
1442.05/1446.74 c 1447 1197029 673170 1 - 0.0000 -
1447.43/1452.14 c 1452 1201682 675285 1 - 0.0000 -
1453.50/1458.23 c 1458 1205819 677246 1 - 0.0000 -
1459.09/1463.81 c 1464 1208470 678583 1 - 0.0000 -
1464.38/1469.11 c 1469 1211037 679950 1 - 0.0000 -
1469.86/1474.64 c 1475 1213729 681380 1 - 0.0000 -
1475.85/1480.69 c 1481 1217332 683113 1 - 0.0000 -
1481.12/1485.95 c 1486 1220825 684830 1 - 0.0000 -
1486.22/1491.02 c 1491 1221835 685524 1 - 0.0000 -
1491.30/1496.19 c 1496 1225182 687221 1 - 0.0000 -
1496.78/1501.65 c 1502 1228272 688727 1 - 0.0000 -
1502.37/1507.21 c 1507 1229338 689471 1 - 0.0000 -
1507.95/1512.89 c 1513 1231967 691086 1 - 0.0000 -
1513.93/1518.88 c 1519 1235426 692803 1 - 0.0000 -
1519.81/1524.73 c 1525 1238130 694343 1 - 0.0000 -
1525.70/1530.60 c 1531 1241780 696163 1 - 0.0000 -
1530.98/1535.99 c 1536 1244550 697639 1 - 0.0000 -
1536.46/1541.48 c 1541 1248412 699346 1 - 0.0000 -
1542.06/1547.07 c 1547 1251365 700831 1 - 0.0000 -
1547.53/1552.58 c 1553 1255562 702774 1 - 0.0000 -
1553.12/1558.14 c 1558 1258834 704474 1 - 0.0000 -
1558.70/1563.79 c 1564 1260910 705728 1 - 0.0000 -
1564.08/1569.16 c 1569 1263396 707010 1 - 0.0000 -
1569.26/1574.33 c 1574 1265724 708230 1 - 0.0000 -
1574.25/1579.34 c 1579 1268394 709598 1 - 0.0000 -
1580.54/1585.60 c 1586 1270947 710975 1 - 0.0000 -
1585.93/1591.09 c 1591 1274782 712774 1 - 0.0000 -
1591.30/1596.41 c 1596 1277482 714164 1 - 0.0000 -
1596.77/1601.92 c 1602 1280900 715846 1 - 0.0000 -
1602.35/1607.59 c 1608 1284617 717607 1 - 0.0000 -
1608.23/1613.43 c 1613 1288060 719332 1 - 0.0000 -
1613.71/1618.99 c 1619 1289474 720256 1 - 0.0000 -
1619.69/1624.94 c 1625 1292016 721688 1 - 0.0000 -
1625.56/1630.88 c 1631 1294088 722892 1 - 0.0000 -
1631.34/1636.65 c 1637 1297746 724686 1 - 0.0000 -
1636.83/1642.12 c 1642 1299352 725654 1 - 0.0000 -
1642.70/1648.04 c 1648 1300922 726640 1 - 0.0000 -
1647.99/1653.36 c 1653 1302170 727550 1 - 0.0000 -
1653.56/1658.92 c 1659 1304307 728841 1 - 0.0000 -
1658.65/1664.06 c 1664 1305804 729696 1 - 0.0000 -
1663.63/1669.10 c 1669 1307429 730631 1 - 0.0000 -
1669.11/1674.50 c 1675 1309192 731656 1 - 0.0000 -
1674.09/1679.57 c 1680 1310652 732382 1 - 0.0000 -
1679.87/1685.36 c 1685 1312814 733530 1 - 0.0000 -
1686.25/1691.78 c 1692 1315740 735008 1 - 0.0000 -
1691.63/1697.11 c 1697 1317842 736378 1 - 0.0000 -
1697.01/1702.55 c 1703 1321017 737877 1 - 0.0000 -
1702.78/1708.32 c 1708 1321540 738344 1 - 0.0000 -
1708.17/1713.79 c 1714 1322523 739003 1 - 0.0000 -
1714.05/1719.61 c 1720 1325060 740508 1 - 0.0000 -
1720.23/1725.82 c 1726 1327066 741682 1 - 0.0000 -
1725.70/1731.39 c 1731 1329406 742994 1 - 0.0000 -
1731.29/1736.96 c 1737 1332762 744648 1 - 0.0000 -
1736.56/1742.25 c 1742 1336271 746319 1 - 0.0000 -
1741.94/1747.66 c 1748 1337949 747201 1 - 0.0000 -
1747.42/1753.13 c 1753 1339193 747997 1 - 0.0000 -
1753.41/1759.16 c 1759 1341734 749386 1 - 0.0000 -
1758.48/1764.24 c 1764 1343098 750292 1 - 0.0000 -
1764.06/1769.87 c 1770 1346033 751819 1 - 0.0000 -
1769.54/1775.36 c 1775 1350071 753675 1 - 0.0000 -
1774.72/1780.54 c 1781 1354127 755437 1 - 0.0000 -
1779.90/1785.79 c 1786 1358052 757202 1 - 0.0000 -
1785.67/1791.55 c 1792 1360092 758320 1 - 0.0000 -
1791.05/1796.92 c 1797 1363041 759825 1 - 0.0000 -
1797.14/1803.07 c 1803 1365564 761136 1 - 0.0000 -
1803.01/1808.92 c 1809 1367330 762214 1 - 0.0000 -
1808.79/1814.73 c 1815 1371463 764061 1 - 0.0000 -
1814.57/1820.58 c 1821 1374407 765411 1 - 0.0000 -
1819.85/1825.86 c 1826 1377755 766911 1 - 0.0000 -
1825.22/1831.20 c 1831 1381203 768685 1 - 0.0000 -
1831.01/1837.08 c 1837 1384556 770310 1 - 0.0000 -
1837.88/1843.93 c 1844 1388109 771853 1 - 0.0000 -
1843.86/1849.99 c 1850 1389259 772715 1 - 0.0000 -
1849.54/1855.62 c 1856 1390578 773696 1 - 0.0000 -
1854.72/1860.81 c 1861 1391363 774249 1 - 0.0000 -
1859.81/1865.95 c 1866 1392227 774909 1 - 0.0000 -
1865.58/1871.75 c 1872 1393877 775803 1 - 0.0000 -
1871.46/1877.69 c 1878 1395692 776978 1 - 0.0000 -
1877.54/1883.75 c 1884 1397695 778197 1 - 0.0000 -
1883.43/1889.61 c 1890 1400254 779556 1 - 0.0000 -
1889.11/1895.35 c 1895 1402968 781038 1 - 0.0000 -
1894.60/1900.88 c 1901 1405778 782484 1 - 0.0000 -
1901.17/1907.40 c 1907 1408644 783974 1 - 0.0000 -
1907.05/1913.34 c 1913 1411965 785737 1 - 0.0000 -
1912.14/1918.44 c 1918 1415736 787456 1 - 0.0000 -
1917.63/1923.97 c 1924 1416946 788260 1 - 0.0000 -
1924.21/1930.59 c 1931 1419142 789528 1 - 0.0000 -
1929.70/1936.00 c 1936 1422273 791043 1 - 0.0000 -
1934.98/1941.33 c 1941 1424127 792045 1 - 0.0000 -
1940.77/1947.16 c 1947 1425189 792753 1 - 0.0000 -
1946.44/1952.89 c 1953 1427466 793906 1 - 0.0000 -
1952.33/1958.70 c 1959 1430752 795514 1 - 0.0000 -
1958.71/1965.15 c 1965 1433882 797078 1 - 0.0000 -
1963.99/1970.41 c 1970 1435013 797773 1 - 0.0000 -
1969.28/1975.79 c 1976 1438505 799341 1 - 0.0000 -
1975.26/1981.70 c 1982 1441282 800716 1 - 0.0000 -
1981.43/1987.91 c 1988 1444510 802326 1 - 0.0000 -
1986.82/1993.30 c 1993 1446522 803356 1 - 0.0000 -
1992.30/1998.85 c 1999 1449238 804642 1 - 0.0000 -
1998.08/2004.62 c 2005 1452595 806231 1 - 0.0000 -
2003.76/2010.30 c 2010 1456339 807929 1 - 0.0000 -
2009.84/2016.48 c 2016 1459159 809377 1 - 0.0000 -
2014.93/2021.53 c 2022 1461336 810466 1 - 0.0000 -
2020.91/2027.52 c 2028 1464235 811855 1 - 0.0000 -
2026.49/2033.19 c 2033 1467953 813605 1 - 0.0000 -
2031.87/2038.50 c 2039 1470277 814697 1 - 0.0000 -
2037.36/2044.06 c 2044 1473511 816167 1 - 0.0000 -
2042.53/2049.27 c 2049 1476199 817545 1 - 0.0000 -
2047.62/2054.36 c 2054 1478617 818713 1 - 0.0000 -
2052.69/2059.44 c 2059 1480997 819931 1 - 0.0000 -
2058.67/2065.40 c 2065 1483610 821196 1 - 0.0000 -
2064.66/2071.40 c 2071 1486722 822514 1 - 0.0000 -
2070.13/2076.96 c 2077 1490194 824065 1 - 0.0000 -
2075.62/2082.44 c 2082 1492938 825355 1 - 0.0000 -
2081.00/2087.84 c 2088 1496203 826912 1 - 0.0000 -
2086.49/2093.39 c 2093 1499232 828323 1 - 0.0000 -
2091.76/2098.62 c 2099 1501607 829556 1 - 0.0000 -
2097.74/2104.69 c 2105 1505467 831284 1 - 0.0000 -
2103.52/2110.44 c 2110 1506853 832136 1 - 0.0000 -
2108.71/2115.67 c 2116 1508845 833360 1 - 0.0000 -
2114.49/2121.42 c 2121 1511105 834576 1 - 0.0000 -
2120.19/2127.17 c 2127 1513837 835894 1 - 0.0000 -
2125.46/2132.43 c 2132 1517734 837591 1 - 0.0000 -
2131.15/2138.16 c 2138 1521078 839127 1 - 0.0000 -
2136.73/2143.74 c 2144 1523635 840462 1 - 0.0000 -
2141.81/2148.86 c 2149 1526399 841770 1 - 0.0000 -
2147.50/2154.56 c 2155 1529137 843060 1 - 0.0000 -
2152.78/2159.87 c 2160 1531959 844460 1 - 0.0000 -
2158.07/2165.13 c 2165 1534662 845731 1 - 0.0000 -
2164.54/2171.63 c 2172 1536879 847082 1 - 0.0000 -
2170.43/2177.52 c 2178 1540429 848752 1 - 0.0000 -
2175.91/2183.09 c 2183 1544748 850649 1 - 0.0000 -
2181.50/2188.64 c 2189 1547612 852059 1 - 0.0000 -
2188.18/2195.33 c 2195 1549749 853222 1 - 0.0000 -
2193.26/2200.46 c 2200 1551586 854273 1 - 0.0000 -
2198.85/2206.06 c 2206 1554470 855671 1 - 0.0000 -
2204.52/2211.70 c 2212 1557165 856978 1 - 0.0000 -
2210.61/2217.89 c 2218 1560623 858554 1 - 0.0000 -
2215.99/2223.24 c 2223 1562227 859490 1 - 0.0000 -
2221.18/2228.44 c 2228 1564702 860627 1 - 0.0000 -
2226.96/2234.23 c 2234 1567245 861878 1 - 0.0000 -
2233.04/2240.31 c 2240 1568896 862825 1 - 0.0000 -
2238.92/2246.29 c 2246 1570359 863786 1 - 0.0000 -
2244.41/2251.73 c 2252 1571710 864609 1 - 0.0000 -
2250.39/2257.77 c 2258 1573647 865678 1 - 0.0000 -
2255.58/2262.95 c 2263 1576575 867154 1 - 0.0000 -
2261.66/2269.06 c 2269 1577268 867709 1 - 0.0000 -
2268.04/2275.41 c 2275 1578887 868822 1 - 0.0000 -
2273.63/2281.08 c 2281 1580399 869754 1 - 0.0000 -
2279.21/2286.69 c 2287 1582332 870865 1 - 0.0000 -
2285.00/2292.46 c 2292 1584425 871958 1 - 0.0000 -
2289.98/2297.47 c 2297 1586827 873202 1 - 0.0000 -
2296.06/2303.55 c 2304 1589032 874463 1 - 0.0000 -
2301.14/2308.61 c 2309 1592249 875966 1 - 0.0000 -
2306.73/2314.20 c 2314 1594218 877019 1 - 0.0000 -
2312.01/2319.59 c 2320 1597990 878783 1 - 0.0000 -
2317.89/2325.46 c 2325 1601856 880569 1 - 0.0000 -
2323.77/2331.34 c 2331 1604660 881925 1 - 0.0000 -
2329.06/2336.69 c 2337 1607523 883308 1 - 0.0000 -
2334.74/2342.37 c 2342 1609766 884497 1 - 0.0000 -
2340.22/2347.81 c 2348 1612831 885932 1 - 0.0000 -
2345.60/2353.29 c 2353 1616384 887533 1 - 0.0000 -
2351.40/2359.10 c 2359 1619619 889116 1 - 0.0000 -
2357.96/2365.67 c 2366 1622093 890316 1 - 0.0000 -
2363.25/2370.98 c 2371 1623933 891294 1 - 0.0000 -
2369.33/2377.05 c 2377 1626302 892507 1 - 0.0000 -
2375.31/2383.05 c 2383 1628603 893722 1 - 0.0000 -
2381.30/2389.00 c 2389 1630865 894948 1 - 0.0000 -
2386.77/2394.53 c 2395 1633587 896268 1 - 0.0000 -
2392.86/2400.61 c 2401 1636179 897548 1 - 0.0000 -
2398.93/2406.77 c 2407 1640297 899438 1 - 0.0000 -
2404.72/2412.51 c 2413 1642092 900465 1 - 0.0000 -
2410.20/2418.09 c 2418 1644095 901524 1 - 0.0000 -
2416.39/2424.20 c 2424 1646560 902903 1 - 0.0000 -
2421.37/2429.29 c 2429 1648452 903925 1 - 0.0000 -
2426.56/2434.45 c 2434 1651400 905341 1 - 0.0000 -
2431.94/2439.87 c 2440 1653679 906494 1 - 0.0000 -
2437.13/2445.03 c 2445 1657199 908036 1 - 0.0000 -
2442.31/2450.28 c 2450 1660079 909410 1 - 0.0000 -
2447.79/2455.76 c 2456 1662992 910689 1 - 0.0000 -
2453.08/2461.07 c 2461 1665355 911816 1 - 0.0000 -
2459.06/2467.08 c 2467 1667893 913122 1 - 0.0000 -
2464.15/2472.17 c 2472 1670586 914327 1 - 0.0000 -
2469.82/2477.84 c 2478 1673257 915666 1 - 0.0000 -
2475.51/2483.56 c 2484 1675682 916873 1 - 0.0000 -
2481.69/2489.76 c 2490 1678000 918033 1 - 0.0000 -
2487.48/2495.59 c 2496 1679372 918813 1 - 0.0000 -
2493.25/2501.30 c 2501 1682470 920177 1 - 0.0000 -
2499.74/2507.82 c 2508 1683405 920748 1 - 0.0000 -
2505.71/2513.81 c 2514 1684646 921533 1 - 0.0000 -
2511.80/2519.99 c 2520 1685926 922299 1 - 0.0000 -
2517.28/2525.44 c 2525 1687186 923157 1 - 0.0000 -
2523.16/2531.33 c 2531 1688763 924076 1 - 0.0000 -
2528.95/2537.11 c 2537 1691482 925389 1 - 0.0000 -
2534.73/2542.93 c 2543 1693217 926376 1 - 0.0000 -
2540.71/2548.90 c 2549 1694662 927217 1 - 0.0000 -
2546.39/2554.64 c 2555 1697039 928542 1 - 0.0000 -
2551.48/2559.72 c 2560 1698098 929191 1 - 0.0000 -
2557.47/2565.76 c 2566 1700929 930644 1 - 0.0000 -
2563.14/2571.41 c 2571 1704078 932131 1 - 0.0000 -
2568.73/2577.00 c 2577 1708344 933993 1 - 0.0000 -
2574.21/2582.57 c 2583 1711222 935307 1 - 0.0000 -
2579.89/2588.25 c 2588 1714182 936654 1 - 0.0000 -
2585.97/2594.38 c 2594 1716987 937999 1 - 0.0000 -
2591.45/2599.83 c 2600 1720645 939431 1 - 0.0000 -
2596.43/2604.89 c 2605 1721607 939983 1 - 0.0000 -
2602.02/2610.46 c 2610 1722856 940810 1 - 0.0000 -
2607.40/2615.80 c 2616 1724228 941550 1 - 0.0000 -
2612.59/2621.07 c 2621 1726077 942587 1 - 0.0000 -
2618.68/2627.15 c 2627 1729452 944130 1 - 0.0000 -
2624.56/2633.05 c 2633 1733066 945726 1 - 0.0000 -
2630.54/2639.06 c 2639 1735481 946837 1 - 0.0000 -
2636.12/2644.61 c 2645 1737153 947825 1 - 0.0000 -
2642.51/2651.07 c 2651 1738233 948543 1 - 0.0000 -
2647.59/2656.14 c 2656 1739118 949118 1 - 0.0000 -
2652.59/2661.18 c 2661 1740133 949707 1 - 0.0000 -
2658.06/2666.65 c 2667 1741918 950778 1 - 0.0000 -
2663.15/2671.78 c 2672 1742996 951378 1 - 0.0000 -
2668.84/2677.44 c 2677 1745465 952729 1 - 0.0000 -
2675.01/2683.61 c 2684 1747472 953848 1 - 0.0000 -
2680.41/2689.08 c 2689 1748714 954580 1 - 0.0000 -
2685.69/2694.36 c 2694 1750082 955478 1 - 0.0000 -
2691.17/2699.83 c 2700 1752706 956860 1 - 0.0000 -
2696.95/2705.67 c 2706 1754493 957947 1 - 0.0000 -
2702.35/2711.05 c 2711 1756783 959073 1 - 0.0000 -
2708.42/2717.17 c 2717 1760373 960695 1 - 0.0000 -
2714.61/2723.39 c 2723 1763438 962188 1 - 0.0000 -
2720.79/2729.56 c 2730 1765637 963305 1 - 0.0000 -
2725.88/2734.67 c 2735 1767485 964201 1 - 0.0000 -
2731.46/2740.22 c 2740 1769784 965426 1 - 0.0000 -
2736.44/2745.25 c 2745 1772154 966512 1 - 0.0000 -
2742.23/2751.05 c 2751 1775506 968026 1 - 0.0000 -
2747.91/2756.79 c 2757 1778566 969490 1 - 0.0000 -
2753.89/2762.71 c 2763 1781473 970933 1 - 0.0000 -
2759.37/2768.22 c 2768 1784228 972194 1 - 0.0000 -
2764.66/2773.51 c 2774 1786872 973398 1 - 0.0000 -
2770.84/2779.73 c 2780 1790906 975248 1 - 0.0000 -
2776.32/2785.28 c 2785 1793559 976455 1 - 0.0000 -
2782.21/2791.14 c 2791 1797102 977988 1 - 0.0000 -
2787.89/2796.87 c 2797 1800876 979720 1 - 0.0000 -
2794.07/2803.07 c 2803 1803750 981154 1 - 0.0000 -
2800.25/2809.25 c 2809 1805323 982199 1 - 0.0000 -
2805.54/2814.53 c 2815 1806558 982964 1 - 0.0000 -
2810.82/2819.81 c 2820 1807909 983697 1 - 0.0000 -
2816.61/2825.66 c 2826 1810165 984793 1 - 0.0000 -
2823.09/2832.13 c 2832 1813032 986134 1 - 0.0000 -
2828.97/2838.06 c 2838 1815050 987170 1 - 0.0000 -
2835.15/2844.23 c 2844 1818042 988512 1 - 0.0000 -
2840.43/2849.58 c 2850 1820087 989609 1 - 0.0000 -
2846.32/2855.48 c 2855 1822940 990984 1 - 0.0000 -
2852.50/2861.61 c 2862 1825837 992309 1 - 0.0000 -
2857.68/2866.80 c 2867 1827857 993231 1 - 0.0000 -
2863.07/2872.23 c 2872 1830039 994271 1 - 0.0000 -
2868.26/2877.49 c 2877 1831167 994957 1 - 0.0000 -
2873.63/2882.82 c 2883 1833650 996096 1 - 0.0000 -
2879.32/2888.54 c 2889 1835854 997070 1 - 0.0000 -
2885.90/2895.12 c 2895 1837938 998078 1 - 0.0000 -
2891.29/2900.57 c 2901 1839366 998866 1 - 0.0000 -
2897.27/2906.54 c 2907 1841852 1000014 1 - 0.0000 -
2903.35/2912.63 c 2913 1844620 1001356 1 - 0.0000 -
2909.53/2918.80 c 2919 1846264 1002352 1 - 0.0000 -
2915.61/2924.97 c 2925 1848579 1003595 1 - 0.0000 -
2921.39/2930.78 c 2931 1850515 1004523 1 - 0.0000 -
2926.58/2935.97 c 2936 1852650 1005484 1 - 0.0000 -
2932.86/2942.25 c 2942 1854219 1006313 1 - 0.0000 -
2939.24/2948.67 c 2949 1856808 1007720 1 - 0.0000 -
2944.92/2954.38 c 2954 1859752 1009088 1 - 0.0000 -
2950.51/2959.96 c 2960 1862356 1010316 1 - 0.0000 -
2955.60/2965.02 c 2965 1864373 1011283 1 - 0.0000 -
2961.28/2970.77 c 2971 1866438 1012310 1 - 0.0000 -
2967.66/2977.19 c 2977 1869715 1013715 1 - 0.0000 -
2973.94/2983.49 c 2984 1872322 1014986 1 - 0.0000 -
2979.32/2988.82 c 2989 1874254 1015944 1 - 0.0000 -
2985.11/2994.64 c 2995 1874854 1016422 1 - 0.0000 -
2991.19/3000.76 c 3001 1875920 1017164 1 - 0.0000 -
2996.77/3006.38 c 3006 1876769 1017737 1 - 0.0000 -
3001.96/3011.50 c 3012 1877923 1018511 1 - 0.0000 -
3007.74/3017.37 c 3017 1879004 1019200 1 - 0.0000 -
3013.12/3022.79 c 3023 1880342 1020040 1 - 0.0000 -
3018.61/3028.25 c 3028 1882240 1021172 1 - 0.0000 -
3024.59/3034.24 c 3034 1884379 1022349 1 - 0.0000 -
3029.88/3039.55 c 3040 1886332 1023394 1 - 0.0000 -
3035.06/3044.72 c 3045 1888162 1024338 1 - 0.0000 -
3040.25/3049.95 c 3050 1888834 1024862 1 - 0.0000 -
3045.33/3055.01 c 3055 1889570 1025450 1 - 0.0000 -
3050.52/3060.29 c 3060 1891617 1026581 1 - 0.0000 -
3056.50/3066.28 c 3066 1894440 1027948 1 - 0.0000 -
3061.58/3071.37 c 3071 1896088 1028788 1 - 0.0000 -
3066.87/3076.63 c 3077 1898083 1029905 1 - 0.0000 -
3072.95/3082.70 c 3083 1900458 1031116 1 - 0.0000 -
3078.63/3088.42 c 3088 1903472 1032548 1 - 0.0000 -
3084.71/3094.53 c 3095 1906752 1034010 1 - 0.0000 -
3089.70/3099.53 c 3100 1909225 1035237 1 - 0.0000 -
3095.68/3105.55 c 3106 1912116 1036510 1 - 0.0000 -
3100.66/3110.57 c 3111 1913084 1037088 1 - 0.0000 -
3106.45/3116.30 c 3116 1915939 1038443 1 - 0.0000 -
3112.33/3122.22 c 3122 1918628 1039730 1 - 0.0000 -
3118.01/3127.99 c 3128 1921152 1040840 1 - 0.0000 -
3123.29/3133.25 c 3133 1922925 1041761 1 - 0.0000 -
3129.28/3139.23 c 3139 1926465 1043299 1 - 0.0000 -
3134.66/3144.67 c 3145 1928130 1044102 1 - 0.0000 -
3139.94/3149.90 c 3150 1930215 1045107 1 - 0.0000 -
3145.03/3155.08 c 3155 1932442 1046080 1 - 0.0000 -
3150.02/3160.09 c 3160 1933809 1046821 1 - 0.0000 -
3155.40/3165.45 c 3165 1936397 1047951 1 - 0.0000 -
3161.58/3171.60 c 3172 1938762 1049106 1 - 0.0000 -
3167.66/3177.73 c 3178 1940859 1050145 1 - 0.0000 -
3173.35/3183.47 c 3183 1943442 1051314 1 - 0.0000 -
3179.42/3189.51 c 3190 1944689 1051881 1 - 0.0000 -
3185.21/3195.37 c 3195 1945813 1052709 1 - 0.0000 -
3191.00/3201.14 c 3201 1947516 1053706 1 - 0.0000 -
3196.67/3206.80 c 3207 1949187 1054651 1 - 0.0000 -
3202.46/3212.62 c 3213 1950773 1055519 1 - 0.0000 -
3208.64/3218.82 c 3219 1954653 1057235 1 - 0.0000 -
3214.13/3224.37 c 3224 1956093 1058063 1 - 0.0000 -
3219.41/3229.67 c 3230 1960005 1059680 1 - 0.0000 -
3225.09/3235.33 c 3235 1962677 1060918 1 - 0.0000 -
3230.48/3240.77 c 3241 1963235 1061426 1 - 0.0000 -
3236.56/3246.84 c 3247 1964033 1062022 1 - 0.0000 -
3243.04/3253.34 c 3253 1965035 1062726 1 - 0.0000 -
3249.62/3259.94 c 3260 1966862 1063771 1 - 0.0000 -
3254.81/3265.19 c 3265 1968435 1064664 1 - 0.0000 -
3261.19/3271.55 c 3272 1970580 1065771 1 - 0.0000 -
3267.68/3278.08 c 3278 1972916 1066929 1 - 0.0000 -
3273.16/3283.55 c 3284 1974829 1068026 1 - 0.0000 -
3279.03/3289.40 c 3289 1976942 1069041 1 - 0.0000 -
3284.62/3295.03 c 3295 1979754 1070361 1 - 0.0000 -
3291.60/3302.02 c 3302 1982408 1071609 1 - 0.0000 -
3298.08/3308.56 c 3309 1983902 1072505 1 - 0.0000 -
3303.86/3314.38 c 3314 1985560 1073487 1 - 0.0000 -
3308.95/3319.48 c 3319 1986943 1074298 1 - 0.0000 -
3314.64/3325.18 c 3325 1988056 1074955 1 - 0.0000 -
3320.62/3331.17 c 3331 1989595 1075790 1 - 0.0000 -
3325.90/3336.49 c 3336 1990993 1076630 1 - 0.0000 -
3331.19/3341.77 c 3342 1993212 1077735 1 - 0.0000 -
3337.26/3347.87 c 3348 1995475 1078876 1 - 0.0000 -
3342.65/3353.27 c 3353 1997197 1079912 1 - 0.0000 -
3347.84/3358.49 c 3358 1998848 1080819 1 - 0.0000 -
3353.12/3363.77 c 3364 2000202 1081627 1 - 0.0000 -
3358.60/3369.21 c 3369 2002652 1082775 1 - 0.0000 -
3364.89/3375.59 c 3376 2005616 1084173 1 - 0.0000 -
3370.56/3381.24 c 3381 2007657 1085228 1 - 0.0000 -
3376.15/3386.81 c 3387 2010225 1086418 1 - 0.0000 -
3381.63/3392.37 c 3392 2013046 1087801 1 - 0.0000 -
3387.32/3398.10 c 3398 2015877 1089058 1 - 0.0000 -
3393.10/3403.84 c 3404 2018579 1090220 1 - 0.0000 -
3398.98/3409.76 c 3410 2021458 1091629 1 - 0.0000 -
3404.96/3415.73 c 3416 2024285 1092944 1 - 0.0000 -
3410.35/3421.19 c 3421 2026527 1093996 1 - 0.0000 -
3416.43/3427.25 c 3427 2027745 1094770 1 - 0.0000 -
3421.62/3432.47 c 3432 2029542 1095657 1 - 0.0000 -
3427.60/3438.41 c 3438 2030712 1096393 1 - 0.0000 -
3433.38/3444.25 c 3444 2032265 1097316 1 - 0.0000 -
3439.17/3450.04 c 3450 2034763 1098536 1 - 0.0000 -
3444.95/3455.86 c 3456 2038466 1100047 1 - 0.0000 -
3450.33/3461.29 c 3461 2040865 1101314 1 - 0.0000 -
3456.91/3467.86 c 3468 2043736 1102595 1 - 0.0000 -
3462.20/3473.16 c 3473 2046243 1103638 1 - 0.0000 -
3467.78/3478.75 c 3479 2049270 1104841 1 - 0.0000 -
3472.76/3483.78 c 3484 2051393 1105828 1 - 0.0000 -
3478.35/3489.34 c 3489 2052315 1106352 1 - 0.0000 -
3484.14/3495.17 c 3495 2054512 1107367 1 - 0.0000 -
3489.22/3500.23 c 3500 2056453 1108252 1 - 0.0000 -
3494.90/3505.95 c 3506 2057915 1109094 1 - 0.0000 -
3500.18/3511.26 c 3511 2060863 1110310 1 - 0.0000 -
3506.17/3517.21 c 3517 2063872 1111741 1 - 0.0000 -
3511.25/3522.33 c 3522 2065436 1112543 1 - 0.0000 -
3516.54/3527.64 c 3528 2068015 1113702 1 - 0.0000 -
3521.92/3533.01 c 3533 2069842 1114595 1 - 0.0000 -
3527.01/3538.16 c 3538 2072304 1115787 1 - 0.0000 -
3532.49/3543.62 c 3544 2075194 1117013 1 - 0.0000 -
3537.48/3548.69 c 3549 2076919 1117818 1 - 0.0000 -
3542.87/3554.01 c 3554 2078718 1118621 1 - 0.0000 -
3548.04/3559.21 c 3559 2080987 1119662 1 - 0.0000 -
3554.12/3565.36 c 3565 2084096 1120955 1 - 0.0000 -
3559.41/3570.69 c 3571 2085960 1121837 1 - 0.0000 -
3565.19/3576.46 c 3576 2088228 1122909 1 - 0.0000 -
3570.97/3582.24 c 3582 2090212 1123989 1 - 0.0000 -
3576.65/3587.98 c 3588 2091709 1124836 1 - 0.0000 -
3582.24/3593.57 c 3594 2093772 1125801 1 - 0.0000 -
3589.42/3600.70 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.42/3600.70 c Total Time : 3600.7100
3589.42/3600.70 c solving : 3600.7100
3589.42/3600.70 c presolving : 0.0089 (included in solving)
3589.42/3600.70 c B&B Tree :
3589.42/3600.70 c nodes (total) : 1
3589.42/3600.70 c Solution :
3589.42/3600.70 c Solutions found : 0
3589.42/3600.70 c Primal Bound : -
3589.42/3600.70 c Dual Bound : +0.00000000000000e+00
3589.42/3600.70 c Gap : -
3589.42/3600.70 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (63319 MiB free)
memory of node 1: 64473 MiB (63674 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464025-1722378597/watcher-4464025-1722378597 -o /tmp/evaluation-result-4464025-1722378597/solver-4464025-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722378597-31857 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464025-1722378597.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=31905, runsolver pid=31898
[startup+0.100092 s]*
/proc/loadavg: 0.14 0.11 0.09 5/261 31925
/proc/meminfo: memFree=129990740/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=109828 memory=30812 CPUtime=0.09 cores=1,3
/proc/31905/stat : 31905 (fscip) R 31898 31905 31845 0 -1 1077936128 5123 0 0 0 9 0 0 0 20 0 3 0 4462006 112463872 7703 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 27457 7703 2950 3035 0 11287 0
[pid=31905/tid=31921] ppid=31898 vsize=109828 memory=4026531959 CPUtime=0.08 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) S 31898 31905 31845 0 -1 1077936192 3546 0 0 0 8 0 0 0 20 0 3 0 4462007 112463872 7703 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=109828 memory=219966358789 CPUtime=0 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4462007 112463872 7703 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109828 KiB
Current children cumulated memory: 30812 KiB
[startup+0.205989 s]*
/proc/loadavg: 0.14 0.11 0.09 5/258 31933
/proc/meminfo: memFree=129885188/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=112268 memory=36620 CPUtime=0.2 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 6561 0 0 0 19 1 0 0 20 0 3 0 4462006 114962432 9155 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 28067 9155 2950 3035 0 12686 0
[pid=31905/tid=31921] ppid=31898 vsize=112268 memory=3472328300251644221 CPUtime=0.18 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 4984 0 0 0 18 0 0 0 20 0 3 0 4462007 114962432 9155 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=112268 memory=215671374179 CPUtime=0 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4462007 114962432 9155 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112268 KiB
Current children cumulated memory: 36620 KiB
[startup+0.306234 s]*
/proc/loadavg: 0.14 0.11 0.09 5/258 31933
/proc/meminfo: memFree=129870312/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=113448 memory=39788 CPUtime=0.3 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 7375 0 0 0 29 1 0 0 20 0 3 0 4462006 116170752 9947 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 28362 9947 2950 3035 0 13768 0
[pid=31905/tid=31921] ppid=31898 vsize=113448 memory=-6000919481296251756 CPUtime=0.28 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 5798 0 0 0 28 0 0 0 20 0 3 0 4462007 116170752 9947 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=113448 memory=0 CPUtime=0 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4462007 116170752 9947 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 113448 KiB
Current children cumulated memory: 39788 KiB
[startup+0.700232 s]
/proc/loadavg: 0.14 0.11 0.09 5/258 31933
/proc/meminfo: memFree=129805092/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=116188 memory=44784 CPUtime=0.69 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 8608 0 0 0 68 1 0 0 20 0 3 0 4462006 118976512 11196 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 29047 11196 2950 3035 0 15386 0
[pid=31905/tid=31921] ppid=31898 vsize=116188 memory=0 CPUtime=0.66 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 7031 0 0 0 66 0 0 0 20 0 3 0 4462007 118976512 11196 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=116188 memory=0 CPUtime=0 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4462007 118976512 11196 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 116188 KiB
Current children cumulated memory: 44784 KiB
[startup+1.50026 s]
/proc/loadavg: 0.14 0.11 0.09 6/263 31971
/proc/meminfo: memFree=129660816/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=117032 memory=46764 CPUtime=1.48 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 11928 0 0 0 147 1 0 0 20 0 3 0 4462006 119840768 11691 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 29258 11691 2950 3035 0 15948 0
[pid=31905/tid=31921] ppid=31898 vsize=117032 memory=0 CPUtime=1.47 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 10339 0 0 0 146 1 0 0 20 0 3 0 4462007 119840768 11691 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=117032 memory=0 CPUtime=0 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4462007 119840768 11691 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 117032 KiB
Current children cumulated memory: 46764 KiB
[startup+3.10595 s]
/proc/loadavg: 0.14 0.11 0.09 6/265 31973
/proc/meminfo: memFree=129080488/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=117032 memory=49108 CPUtime=3.08 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 12886 0 0 0 306 2 0 0 20 0 3 0 4462006 119840768 12277 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 29258 12277 2950 3035 0 16476 0
[pid=31905/tid=31921] ppid=31898 vsize=117032 memory=0 CPUtime=3.07 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 11294 0 0 0 305 2 0 0 20 0 3 0 4462007 119840768 12277 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=117032 memory=-5155626877744540549 CPUtime=0 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4462007 119840768 12277 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 117032 KiB
Current children cumulated memory: 49108 KiB
[startup+6.30024 s]
/proc/loadavg: 0.45 0.18 0.11 6/267 32031
/proc/meminfo: memFree=128956360/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=119636 memory=55748 CPUtime=6.27 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 18470 0 0 0 623 4 0 0 20 0 3 0 4462006 122507264 13937 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 29909 13937 2950 3035 0 18140 0
[pid=31905/tid=31921] ppid=31898 vsize=119636 memory=0 CPUtime=6.24 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 16857 0 0 0 621 3 0 0 20 0 3 0 4462007 122507264 13937 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=119636 memory=54392 CPUtime=0 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4462007 122507264 13937 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 119636 KiB
Current children cumulated memory: 55748 KiB
[startup+12.7002 s]
/proc/loadavg: 0.73 0.24 0.13 6/267 32032
/proc/meminfo: memFree=128852180/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=126820 memory=69136 CPUtime=12.64 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 32865 0 0 0 1258 6 0 0 20 0 3 0 4462006 129863680 17284 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 31705 17284 2998 3035 0 21615 0
[pid=31905/tid=31921] ppid=31898 vsize=126820 memory=0 CPUtime=12.62 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 31217 0 0 0 1256 6 0 0 20 0 3 0 4462007 129863680 17284 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=126820 memory=63048 CPUtime=0 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4462007 129863680 17284 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 126820 KiB
Current children cumulated memory: 69136 KiB
[startup+25.5003 s]
/proc/loadavg: 1.46 0.43 0.20 6/266 32034
/proc/meminfo: memFree=128805168/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=140712 memory=91276 CPUtime=25.39 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 54100 0 0 0 2528 11 0 0 20 0 3 0 4462006 144089088 22819 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 35178 22819 2998 3035 0 27510 0
[pid=31905/tid=31921] ppid=31898 vsize=140712 memory=164 CPUtime=25.38 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 52409 0 0 0 2527 11 0 0 20 0 3 0 4462007 144089088 22819 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=140712 memory=11728 CPUtime=0 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4462007 144089088 22819 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 140712 KiB
Current children cumulated memory: 91276 KiB
[startup+51.106 s]
/proc/loadavg: 2.39 0.73 0.31 6/268 32040
/proc/meminfo: memFree=128291412/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=178124 memory=137480 CPUtime=50.92 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 100502 0 0 0 5070 22 0 0 20 0 3 0 4462006 182398976 34370 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 44531 34370 2998 3035 0 40309 0
[pid=31905/tid=31921] ppid=31898 vsize=178124 memory=74036 CPUtime=50.9 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 98746 0 0 0 5068 22 0 0 20 0 3 0 4462007 182398976 34370 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=178124 memory=71312 CPUtime=0 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4462007 182398976 34370 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 178124 KiB
Current children cumulated memory: 137480 KiB
[startup+102.3 s]
/proc/loadavg: 3.30 1.24 0.50 6/268 32051
/proc/meminfo: memFree=128151644/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=296728 memory=211480 CPUtime=101.92 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 172701 0 0 0 10151 41 0 0 20 0 3 0 4462006 303849472 52870 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 74182 52870 2998 3035 0 58588 0
[pid=31905/tid=31921] ppid=31898 vsize=296728 memory=201404 CPUtime=101.9 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 170887 0 0 0 10149 41 0 0 20 0 3 0 4462007 303849472 52870 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=296728 memory=11728 CPUtime=0 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4462007 303849472 52870 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 296728 KiB
Current children cumulated memory: 211480 KiB
[startup+162.3 s]
/proc/loadavg: 3.79 1.76 0.73 6/268 32061
/proc/meminfo: memFree=127636188/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=354256 memory=290892 CPUtime=161.7 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 234322 0 0 0 16108 62 0 0 20 0 3 0 4462006 362758144 72723 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 88564 72723 2998 3035 0 77578 0
[pid=31905/tid=31921] ppid=31898 vsize=354256 memory=12796 CPUtime=161.68 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 232479 0 0 0 16106 62 0 0 20 0 3 0 4462007 362758144 72723 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=354256 memory=12672 CPUtime=0 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4462007 362758144 72723 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 354256 KiB
################
# More data... #
################
/proc/31905/statm: 444142 417121 2998 3035 0 432880 0
[pid=31905/tid=31921] ppid=31898 vsize=1776568 memory=12796 CPUtime=3451.2 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 4310820 0 0 0 344509 611 0 0 20 0 3 0 4462007 1819205632 417121 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=1776568 memory=1668484 CPUtime=0.03 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 171 0 0 0 1 2 0 0 20 0 3 0 4462007 1819205632 417121 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 3451.43 s
Current children cumulated vsize: 1776568 KiB
Current children cumulated memory: 1668484 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.13 4.06 6/266 33809
/proc/meminfo: memFree=123728272/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=1782880 memory=1680896 CPUtime=3511.25 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 4416742 0 0 0 350497 628 0 0 20 0 3 0 4462006 1825669120 420224 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 445720 420224 2998 3035 0 435366 0
[pid=31905/tid=31921] ppid=31898 vsize=1782880 memory=1677272 CPUtime=3511.02 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 4413855 0 0 0 350482 620 0 0 20 0 3 0 4462007 1825669120 420224 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=1782880 memory=1654680 CPUtime=0.04 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 173 0 0 0 1 3 0 0 20 0 3 0 4462007 1825669120 420224 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 3511.25 s
Current children cumulated vsize: 1782880 KiB
Current children cumulated memory: 1680896 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.12 4.06 6/266 33819
/proc/meminfo: memFree=123666612/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=1792544 memory=1695424 CPUtime=3571.08 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 4524735 0 0 0 356470 638 0 0 20 0 3 0 4462006 1835565056 423856 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 448136 423856 2998 3035 0 438502 0
[pid=31905/tid=31921] ppid=31898 vsize=1792544 memory=12796 CPUtime=3570.84 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 4521827 0 0 0 356454 630 0 0 20 0 3 0 4462007 1835565056 423856 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=1792544 memory=11728 CPUtime=0.04 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 175 0 0 0 1 3 0 0 20 0 3 0 4462007 1835565056 423856 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 3571.08 s
Current children cumulated vsize: 1792544 KiB
Current children cumulated memory: 1695424 KiB
[startup+3600.71 s]
# the end of solver process 31905 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.94 s, system=6.49256 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.06 4.12 4.06 6/266 33819
/proc/meminfo: memFree=123666020/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=1793124 memory=1696016 CPUtime=3572.78 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 4524899 0 0 0 356640 638 0 0 20 0 3 0 4462006 1836158976 424004 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 448281 424004 2998 3035 0 438647 0
[pid=31905/tid=31921] ppid=31898 vsize=1793124 memory=-7019822660772257658 CPUtime=3572.54 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 4521991 0 0 0 356624 630 0 0 20 0 3 0 4462007 1836158976 424004 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=1793124 memory=-4050210904893736590 CPUtime=0.04 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 175 0 0 0 1 3 0 0 20 0 3 0 4462007 1836158976 424004 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 3572.78 s
Current children cumulated vsize: 1793124 KiB
Current children cumulated memory: 1696016 KiB
[startup+3590.4 s]
/proc/loadavg: 4.05 4.12 4.05 6/266 33820
/proc/meminfo: memFree=123662704/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=1794148 memory=1697132 CPUtime=3579.14 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 4527250 0 0 0 357276 638 0 0 20 0 3 0 4462006 1837207552 424283 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 448537 424283 2998 3035 0 438935 0
[pid=31905/tid=31921] ppid=31898 vsize=1794148 memory=1695036 CPUtime=3578.92 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 4524339 0 0 0 357261 631 0 0 20 0 3 0 4462007 1837207552 424283 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=1794148 memory=1695424 CPUtime=0.04 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 177 0 0 0 1 3 0 0 20 0 3 0 4462007 1837207552 424283 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 3579.14 s
Current children cumulated vsize: 1794148 KiB
Current children cumulated memory: 1697132 KiB
[startup+3596.8 s]
/proc/loadavg: 4.05 4.12 4.05 6/266 33820
/proc/meminfo: memFree=123658540/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=1794148 memory=1697620 CPUtime=3585.53 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 4569139 0 0 0 357912 641 0 0 20 0 3 0 4462006 1837207552 424405 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 448537 424405 2998 3035 0 439031 0
[pid=31905/tid=31921] ppid=31898 vsize=1794148 memory=1695036 CPUtime=3585.3 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 4566203 0 0 0 357896 634 0 0 20 0 3 0 4462007 1837207552 424405 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=1794148 memory=164 CPUtime=0.04 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 182 0 0 0 1 3 0 0 20 0 3 0 4462007 1837207552 424405 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 3585.53 s
Current children cumulated vsize: 1794148 KiB
Current children cumulated memory: 1697620 KiB
[startup+3598.4 s]
/proc/loadavg: 4.05 4.12 4.05 6/266 33822
/proc/meminfo: memFree=123658120/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=1794148 memory=1697816 CPUtime=3587.12 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 4584363 0 0 0 358070 642 0 0 20 0 3 0 4462006 1837207552 424454 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 448537 424454 2998 3035 0 439079 0
[pid=31905/tid=31921] ppid=31898 vsize=1794148 memory=12796 CPUtime=3586.9 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 4581422 0 0 0 358055 635 0 0 20 0 3 0 4462007 1837207552 424454 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=1794148 memory=-7091880254810185335 CPUtime=0.04 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 182 0 0 0 1 3 0 0 20 0 3 0 4462007 1837207552 424454 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 3587.12 s
Current children cumulated vsize: 1794148 KiB
Current children cumulated memory: 1697816 KiB
[startup+3600 s]*
/proc/loadavg: 4.04 4.11 4.05 6/263 33915
/proc/meminfo: memFree=126137760/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=1606588 memory=1510264 CPUtime=3588.73 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 4609583 0 0 0 358228 645 0 0 20 0 3 0 4462006 1645146112 377566 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 401647 377566 2998 3035 0 392189 0
[pid=31905/tid=31921] ppid=31898 vsize=1606588 memory=2624 CPUtime=3588.49 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 4606642 0 0 0 358212 637 0 0 20 0 3 0 4462007 1645146112 377566 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=1606588 memory=-6000919502838131052 CPUtime=0.04 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 182 0 0 0 1 3 0 0 20 0 3 0 4462007 1645146112 377566 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 3588.73 s
Current children cumulated vsize: 1606588 KiB
Current children cumulated memory: 1510264 KiB
[startup+3600.4 s]
/proc/loadavg: 4.04 4.11 4.05 6/263 33915
/proc/meminfo: memFree=126137760/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=1535964 memory=1439640 CPUtime=3589.12 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 4609794 0 0 0 358267 645 0 0 20 0 3 0 4462006 1572827136 359910 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 383991 359910 2998 3035 0 374533 0
[pid=31905/tid=31921] ppid=31898 vsize=1535964 memory=-7019822660772257658 CPUtime=3588.89 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 4606853 0 0 0 358251 638 0 0 20 0 3 0 4462007 1572827136 359910 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=1535964 memory=-4050210904893736590 CPUtime=0.04 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 182 0 0 0 1 3 0 0 20 0 3 0 4462007 1572827136 359910 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 3589.12 s
Current children cumulated vsize: 1535964 KiB
Current children cumulated memory: 1439640 KiB
[startup+3600.6 s]
/proc/loadavg: 4.04 4.11 4.05 6/263 33915
/proc/meminfo: memFree=126137760/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=1491456 memory=1395132 CPUtime=3589.31 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 4609828 0 0 0 358286 645 0 0 20 0 3 0 4462006 1527250944 348783 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 372864 348783 2998 3035 0 363406 0
[pid=31905/tid=31921] ppid=31898 vsize=1491456 memory=28008 CPUtime=3589.09 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 4606887 0 0 0 358271 638 0 0 20 0 3 0 4462007 1527250944 348783 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=1491456 memory=7596 CPUtime=0.04 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 182 0 0 0 1 3 0 0 20 0 3 0 4462007 1527250944 348783 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 3589.31 s
Current children cumulated vsize: 1491456 KiB
Current children cumulated memory: 1395132 KiB
[startup+3600.7 s]
/proc/loadavg: 4.04 4.11 4.05 6/263 33915
/proc/meminfo: memFree=126137760/131524600 swapFree=131071996/131071996
[pid=31905] ppid=31898 vsize=451868 memory=401572 CPUtime=3589.42 cores=1,3
/proc/31905/stat : 31905 (fscip) S 31898 31905 31845 0 -1 1077936128 4610158 0 0 0 358294 648 0 0 20 0 3 0 4462006 462712832 100561 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
/proc/31905/statm: 112711 100561 2998 3035 0 103253 0
[pid=31905/tid=31921] ppid=31898 vsize=449820 memory=1696016 CPUtime=3589.19 cores=1,3
/proc/31905/task/31921/stat : 31921 (fscip) R 31898 31905 31845 0 -1 4194368 4607217 0 0 0 358278 641 0 0 20 0 3 0 4462007 460615680 100252 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
[pid=31905/tid=31923] ppid=31898 vsize=449820 memory=11728 CPUtime=0.04 cores=1,3
/proc/31905/task/31923/stat : 31923 (fscip) S 31898 31905 31845 0 -1 1077936192 182 0 0 0 1 3 0 0 20 0 3 0 4462007 460615680 100049 134679101440 4194304 16623229 140723759486032 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 44908544 140723759490070 140723759490186 140723759490186 140723759497200 0
Current children cumulated CPU time: 3589.42 s
Current children cumulated vsize: 451868 KiB
Current children cumulated memory: 401572 KiB
Child status: 0
Real time (s): 3600.71
CPU time (s): 3589.44
CPU user time (s): 3582.94
CPU system time (s): 6.49256
CPU usage (%): 99.6869
Max. virtual memory (cumulated for all children) (KiB): 1794148
Max. memory (cumulated for all children) (KiB): 1697816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.94
system time used= 6.49256
maximum resident set size= 1697816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4610348
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= 9955
involuntary context switches= 4900
# summary of solver processes directly reported to runsolver:
# pid: 31905
# total CPU time (s): 3589.44
# total CPU user time (s): 3582.94
# total CPU system time (s): 6.49256
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2265 second user time and 18.353 second system time
The end
Begin job on nodeC033 at 2024-07-31 00:29:57
IDJOB=4464025
IDBENCH=147583
IDSOLVER=3092
FILE ID=nodeC033/4464025-1722378597
RUNJOBID= nodeC033-1722378597-31857
SLURM_JOB_ID= 8249856
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.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-4464025-1722378597/watcher-4464025-1722378597 -o /tmp/evaluation-result-4464025-1722378597/solver-4464025-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1722378597-31857 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464025-1722378597.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f08684a49e4744afc6bcc5ce80f1fe7b
RANDOM SEED=576650998
nodeC033.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 : 3503.967
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.99
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 : 3663.197
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.79
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 : 3613.564
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.99
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 : 3199.992
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.79
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 : 3651.265
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.99
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 : 3590.575
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.79
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 : 3589.633
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.99
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 : 3585.390
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 130050940 kB
MemAvailable: 129853216 kB
Buffers: 85764 kB
Cached: 553460 kB
SwapCached: 0 kB
Active: 258940 kB
Inactive: 746164 kB
Active(anon): 1444 kB
Inactive(anon): 385820 kB
Active(file): 257496 kB
Inactive(file): 360344 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 116440 kB
Writeback: 0 kB
AnonPages: 366004 kB
Mapped: 88068 kB
Shmem: 21336 kB
KReclaimable: 48520 kB
Slab: 128996 kB
SReclaimable: 48520 kB
SUnreclaim: 80476 kB
KernelStack: 3952 kB
PageTables: 9412 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 688808 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9536 kB
HardwareCorrupted: 0 kB
AnonHugePages: 243712 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: 283348 kB
DirectMap2M: 8927232 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC033 at 2024-07-31 01:29:58