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 = 27398144, getVmSize() = 27398144, SCIPgetMemUsed() = 4522747, SCIPgetMemTotal() = 5854051, SCIPgetMemExternEstim() = 1738680
0.00/0.00 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.01 c ** Estimated virtualMemUsedAtSolver = 20197376, getVmSize() = 33193984, SCIPgetMemUsed() = 5172866, SCIPgetMemTotal() = 10455770, SCIPgetMemExternEstim() = 1738680
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-4464737-1722390445
0.00/0.01 c Variables : 1604 (1604 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 401
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 1604 (1604 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 401
0.00/0.01 c Constraints : Number
0.00/0.01 c linear : 401
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.02 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.02 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.02 c Nodes Active
0.00/0.02 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.04 c * 0 0 1 1 29037.0000 - -
0.50/0.56 c * 1 0 1 1 314.0000 - -
2.79/2.83 c * 3 6 6 1 65.0000 0.0000 -
2.99/3.05 c * 3 228 226 1 6.0000 0.0000 -
3.19/3.23 c * 3 228 226 1 3.0000 0.0000 -
4.99/5.03 c 5 997 995 1 3.0000 0.0000 -
5.88/5.98 c * 6 997 995 1 1.0000 0.0000 -
10.16/10.27 c 10 2003 952 1 1.0000 0.0000 -
15.24/15.34 c 15 5772 4715 1 1.0000 0.0000 -
20.32/20.44 c 20 9213 8144 1 1.0000 0.0000 -
25.41/25.53 c 26 13143 12074 1 1.0000 0.0000 -
30.49/30.64 c 31 16927 15820 1 1.0000 0.0000 -
35.57/35.73 c 36 20665 19548 1 1.0000 0.0000 -
40.55/40.78 c 41 24536 23403 1 1.0000 0.0000 -
45.63/45.83 c 46 28839 27698 1 1.0000 0.0000 -
50.72/50.90 c 51 32949 31806 1 1.0000 0.0000 -
55.69/55.96 c 56 37116 35969 1 1.0000 0.0000 -
60.78/61.04 c 61 41082 39929 1 1.0000 0.0000 -
65.76/66.08 c 66 45056 43903 1 1.0000 0.0000 -
70.85/71.18 c 71 49321 48168 1 1.0000 0.0000 -
75.92/76.24 c 76 53599 52446 1 1.0000 0.0000 -
80.90/81.29 c 81 57568 56415 1 1.0000 0.0000 -
85.98/86.34 c 86 61972 60815 1 1.0000 0.0000 -
91.06/91.41 c 91 66276 65105 1 1.0000 0.0000 -
96.14/96.51 c 97 70639 69454 1 1.0000 0.0000 -
101.13/101.59 c 102 75079 73886 1 1.0000 0.0000 -
106.21/106.63 c 107 79328 78115 1 1.0000 0.0000 -
111.29/111.74 c 112 83358 82145 1 1.0000 0.0000 -
116.36/116.87 c 117 87100 85887 1 1.0000 0.0000 -
121.44/121.92 c 122 91345 90116 1 1.0000 0.0000 -
126.53/127.00 c 127 95540 94275 1 1.0000 0.0000 -
131.51/132.06 c 132 99902 98617 1 1.0000 0.0000 -
136.49/137.10 c 137 104191 102891 1 1.0000 0.0000 -
141.57/142.15 c 142 108282 106982 1 1.0000 0.0000 -
146.65/147.20 c 147 112640 111328 1 1.0000 0.0000 -
151.73/152.34 c 152 116805 115493 1 1.0000 0.0000 -
156.71/157.38 c 157 121133 119821 1 1.0000 0.0000 -
161.80/162.44 c 162 125559 124221 1 1.0000 0.0000 -
166.87/167.50 c 168 129573 128235 1 1.0000 0.0000 -
171.86/172.59 c 173 133944 132600 1 1.0000 0.0000 -
176.94/177.67 c 178 138146 136802 1 1.0000 0.0000 -
182.02/182.73 c 183 142456 141112 1 1.0000 0.0000 -
187.11/187.85 c 188 146873 145525 1 1.0000 0.0000 -
192.19/192.90 c 193 151127 149779 1 1.0000 0.0000 -
197.17/197.96 c 198 155293 153945 1 1.0000 0.0000 -
202.26/203.05 c 203 159793 158437 1 1.0000 0.0000 -
207.34/208.11 c 208 164035 162679 1 1.0000 0.0000 -
212.33/213.19 c 213 168434 167072 1 1.0000 0.0000 -
217.40/218.24 c 218 172639 171265 1 1.0000 0.0000 -
222.39/223.29 c 223 177156 175767 1 1.0000 0.0000 -
227.57/228.46 c 228 181771 180382 1 1.0000 0.0000 -
232.65/233.52 c 234 186130 184731 1 1.0000 0.0000 -
237.74/238.62 c 239 190343 188944 1 1.0000 0.0000 -
242.72/243.67 c 244 194679 193280 1 1.0000 0.0000 -
247.81/248.74 c 249 198759 197330 1 1.0000 0.0000 -
252.89/253.80 c 254 203377 201948 1 1.0000 0.0000 -
257.87/258.88 c 259 207380 205951 1 1.0000 0.0000 -
262.96/263.93 c 264 211264 209835 1 1.0000 0.0000 -
267.94/268.98 c 269 215518 214089 1 1.0000 0.0000 -
273.13/274.12 c 274 219897 218452 1 1.0000 0.0000 -
278.20/279.29 c 279 224288 222843 1 1.0000 0.0000 -
283.29/284.36 c 284 228620 227173 1 1.0000 0.0000 -
288.37/289.46 c 289 232919 231472 1 1.0000 0.0000 -
293.56/294.60 c 295 237304 235837 1 1.0000 0.0000 -
298.54/299.65 c 300 241360 239893 1 1.0000 0.0000 -
303.62/304.79 c 305 245626 244138 1 1.0000 0.0000 -
308.71/309.83 c 310 249714 248214 1 1.0000 0.0000 -
313.69/314.89 c 315 254058 252527 1 1.0000 0.0000 -
318.78/319.94 c 320 258397 256855 1 1.0000 0.0000 -
323.97/325.11 c 325 262917 261375 1 1.0000 0.0000 -
329.05/330.28 c 330 267140 265598 1 1.0000 0.0000 -
334.23/335.42 c 335 271816 270274 1 1.0000 0.0000 -
339.21/340.47 c 340 275868 274310 1 1.0000 0.0000 -
344.30/345.55 c 346 280150 278588 1 1.0000 0.0000 -
349.39/350.61 c 351 284434 282858 1 1.0000 0.0000 -
354.38/355.66 c 356 288763 287187 1 1.0000 0.0000 -
359.47/360.76 c 361 293040 291464 1 1.0000 0.0000 -
364.65/365.91 c 366 297172 295596 1 1.0000 0.0000 -
369.64/370.96 c 371 301607 300031 1 1.0000 0.0000 -
374.73/376.02 c 376 305916 304284 1 1.0000 0.0000 -
379.71/381.10 c 381 310287 308655 1 1.0000 0.0000 -
384.80/386.15 c 386 314755 313123 1 1.0000 0.0000 -
389.88/391.21 c 391 319045 317401 1 1.0000 0.0000 -
394.97/396.30 c 396 323067 321413 1 1.0000 0.0000 -
399.95/401.39 c 401 326998 325344 1 1.0000 0.0000 -
405.04/406.44 c 406 331298 329644 1 1.0000 0.0000 -
410.13/411.58 c 412 335917 334241 1 1.0000 0.0000 -
415.20/416.63 c 417 340323 338647 1 1.0000 0.0000 -
420.20/421.68 c 422 344726 343044 1 1.0000 0.0000 -
425.28/426.73 c 427 348979 347297 1 1.0000 0.0000 -
430.37/431.80 c 432 353420 351738 1 1.0000 0.0000 -
435.35/436.86 c 437 357399 355717 1 1.0000 0.0000 -
440.44/441.91 c 442 361741 360039 1 1.0000 0.0000 -
445.53/447.02 c 447 366099 364397 1 1.0000 0.0000 -
450.52/452.06 c 452 370607 368905 1 1.0000 0.0000 -
455.69/457.21 c 457 375026 373324 1 1.0000 0.0000 -
460.68/462.26 c 462 379384 377659 1 1.0000 0.0000 -
465.77/467.32 c 467 383705 381980 1 1.0000 0.0000 -
470.86/472.49 c 472 388064 386311 1 1.0000 0.0000 -
475.94/477.57 c 478 392303 390540 1 1.0000 0.0000 -
481.03/482.61 c 483 396598 394829 1 1.0000 0.0000 -
486.02/487.66 c 488 400964 399183 1 1.0000 0.0000 -
491.20/492.81 c 493 405379 403594 1 1.0000 0.0000 -
496.19/497.86 c 498 409537 407752 1 1.0000 0.0000 -
501.27/502.98 c 503 414102 412303 1 1.0000 0.0000 -
506.36/508.06 c 508 418371 416495 1 1.0000 0.0000 -
511.45/513.14 c 513 422755 420873 1 1.0000 0.0000 -
516.43/518.19 c 518 426835 424953 1 1.0000 0.0000 -
521.52/523.24 c 523 431049 429151 1 1.0000 0.0000 -
526.51/528.29 c 528 435179 433281 1 1.0000 0.0000 -
531.59/533.34 c 533 439548 437650 1 1.0000 0.0000 -
536.67/538.43 c 538 443854 441956 1 1.0000 0.0000 -
541.66/543.49 c 543 447732 445834 1 1.0000 0.0000 -
546.74/548.54 c 549 452119 450217 1 1.0000 0.0000 -
551.93/553.73 c 554 456225 454323 1 1.0000 0.0000 -
556.92/558.78 c 559 460624 458722 1 1.0000 0.0000 -
562.00/563.86 c 564 464629 462702 1 1.0000 0.0000 -
567.09/568.92 c 569 469085 467152 1 1.0000 0.0000 -
572.07/573.97 c 574 473502 471569 1 1.0000 0.0000 -
577.16/579.09 c 579 477952 475981 1 1.0000 0.0000 -
582.26/584.14 c 584 482072 480073 1 1.0000 0.0000 -
587.33/589.21 c 589 486547 484535 1 1.0000 0.0000 -
592.32/594.26 c 594 490517 488478 1 1.0000 0.0000 -
597.41/599.31 c 599 495030 492991 1 1.0000 0.0000 -
602.50/604.41 c 604 498959 496906 1 1.0000 0.0000 -
607.48/609.47 c 609 503402 501349 1 1.0000 0.0000 -
612.66/614.64 c 615 507496 505431 1 1.0000 0.0000 -
617.85/619.85 c 620 511704 509635 1 1.0000 0.0000 -
622.94/624.90 c 625 516062 513987 1 1.0000 0.0000 -
627.92/629.99 c 630 520396 518321 1 1.0000 0.0000 -
633.11/635.17 c 635 524552 522465 1 1.0000 0.0000 -
638.29/640.31 c 640 529220 527133 1 1.0000 0.0000 -
643.38/645.41 c 645 533173 531086 1 1.0000 0.0000 -
648.36/650.45 c 650 537475 535388 1 1.0000 0.0000 -
653.45/655.50 c 656 541865 539766 1 1.0000 0.0000 -
658.63/660.73 c 661 546342 544207 1 1.0000 0.0000 -
663.62/665.79 c 666 550748 548607 1 1.0000 0.0000 -
668.71/670.87 c 671 555019 552856 1 1.0000 0.0000 -
673.79/675.92 c 676 559342 557143 1 1.0000 0.0000 -
678.78/680.99 c 681 563639 561424 1 1.0000 0.0000 -
684.06/686.20 c 686 567834 565619 1 1.0000 0.0000 -
689.05/691.26 c 691 571947 569732 1 1.0000 0.0000 -
694.13/696.33 c 696 575992 573777 1 1.0000 0.0000 -
699.32/701.51 c 702 580568 578341 1 1.0000 0.0000 -
704.31/706.56 c 707 584888 582657 1 1.0000 0.0000 -
709.39/711.62 c 712 589013 586782 1 1.0000 0.0000 -
714.57/716.89 c 717 593749 591513 1 1.0000 0.0000 -
719.66/721.95 c 722 598083 595824 1 1.0000 0.0000 -
724.75/727.00 c 727 601956 599697 1 1.0000 0.0000 -
729.84/732.16 c 732 606504 604239 1 1.0000 0.0000 -
734.92/737.22 c 737 610623 608358 1 1.0000 0.0000 -
739.90/742.28 c 742 614977 612712 1 1.0000 0.0000 -
744.99/747.34 c 747 619269 617004 1 1.0000 0.0000 -
750.08/752.44 c 752 623342 621077 1 1.0000 0.0000 -
755.16/757.52 c 758 627232 624967 1 1.0000 0.0000 -
760.24/762.65 c 763 631528 629241 1 1.0000 0.0000 -
765.33/767.79 c 768 635763 633476 1 1.0000 0.0000 -
770.42/772.84 c 773 640037 637750 1 1.0000 0.0000 -
775.50/777.96 c 778 643987 641700 1 1.0000 0.0000 -
780.59/783.01 c 783 648079 645792 1 1.0000 0.0000 -
785.58/788.07 c 788 651930 649643 1 1.0000 0.0000 -
790.66/793.14 c 793 656385 654098 1 1.0000 0.0000 -
795.75/798.20 c 798 660230 657941 1 1.0000 0.0000 -
800.93/803.40 c 803 664250 661961 1 1.0000 0.0000 -
805.91/808.44 c 808 668553 666264 1 1.0000 0.0000 -
810.90/813.49 c 814 672755 670466 1 1.0000 0.0000 -
815.98/818.55 c 819 676946 674635 1 1.0000 0.0000 -
821.07/823.60 c 824 681222 678911 1 1.0000 0.0000 -
826.06/828.67 c 829 685760 683449 1 1.0000 0.0000 -
831.14/833.72 c 834 689866 687517 1 1.0000 0.0000 -
836.23/838.81 c 839 693952 691603 1 1.0000 0.0000 -
841.31/843.90 c 844 698080 695731 1 1.0000 0.0000 -
846.30/848.95 c 849 702329 699980 1 1.0000 0.0000 -
851.58/854.21 c 854 706552 704203 1 1.0000 0.0000 -
856.57/859.26 c 859 710705 708342 1 1.0000 0.0000 -
861.65/864.33 c 864 715258 712895 1 1.0000 0.0000 -
866.74/869.40 c 869 719503 717140 1 1.0000 0.0000 -
871.72/874.49 c 874 723548 721185 1 1.0000 0.0000 -
876.81/879.54 c 880 727624 725261 1 1.0000 0.0000 -
881.90/884.61 c 885 731659 729296 1 1.0000 0.0000 -
886.88/889.66 c 890 736062 733687 1 1.0000 0.0000 -
892.06/894.89 c 895 740397 738022 1 1.0000 0.0000 -
897.26/900.02 c 900 744715 742302 1 1.0000 0.0000 -
902.35/905.11 c 905 749102 746689 1 1.0000 0.0000 -
907.43/910.28 c 910 753529 751102 1 1.0000 0.0000 -
912.81/915.62 c 916 757776 755333 1 1.0000 0.0000 -
917.79/920.69 c 921 761891 759448 1 1.0000 0.0000 -
922.88/925.75 c 926 766036 763593 1 1.0000 0.0000 -
927.96/930.80 c 931 770170 767727 1 1.0000 0.0000 -
933.05/935.97 c 936 774696 772253 1 1.0000 0.0000 -
938.14/941.04 c 941 778955 776512 1 1.0000 0.0000 -
943.23/946.11 c 946 783201 780750 1 1.0000 0.0000 -
948.21/951.16 c 951 787431 784980 1 1.0000 0.0000 -
953.29/956.27 c 956 791515 789028 1 1.0000 0.0000 -
958.38/961.32 c 961 795725 793224 1 1.0000 0.0000 -
963.36/966.37 c 966 799918 797417 1 1.0000 0.0000 -
968.45/971.44 c 971 803991 801460 1 1.0000 0.0000 -
973.64/976.66 c 977 808433 805896 1 1.0000 0.0000 -
978.72/981.72 c 982 812581 810022 1 1.0000 0.0000 -
983.71/986.77 c 987 816764 814201 1 1.0000 0.0000 -
988.79/991.85 c 992 821240 818651 1 1.0000 0.0000 -
994.08/997.11 c 997 825603 823007 1 1.0000 0.0000 -
999.06/1002.16 c 1002 829702 827106 1 1.0000 0.0000 -
1004.24/1007.34 c 1007 834070 831474 1 1.0000 0.0000 -
1009.33/1012.41 c 1012 837914 835318 1 1.0000 0.0000 -
1014.52/1017.60 c 1018 842376 839770 1 1.0000 0.0000 -
1019.50/1022.67 c 1023 846438 843811 1 1.0000 0.0000 -
1024.59/1027.74 c 1028 850804 848177 1 1.0000 0.0000 -
1029.57/1032.79 c 1033 855052 852425 1 1.0000 0.0000 -
1034.66/1037.86 c 1038 859298 856671 1 1.0000 0.0000 -
1039.75/1042.97 c 1043 863675 861048 1 1.0000 0.0000 -
1044.84/1048.02 c 1048 867929 865302 1 1.0000 0.0000 -
1049.82/1053.07 c 1053 872174 869547 1 1.0000 0.0000 -
1055.10/1058.32 c 1058 876447 873814 1 1.0000 0.0000 -
1060.09/1063.38 c 1063 880500 877867 1 1.0000 0.0000 -
1065.28/1068.50 c 1069 884469 881822 1 1.0000 0.0000 -
1070.26/1073.55 c 1074 888824 886177 1 1.0000 0.0000 -
1075.35/1078.60 c 1079 892981 890334 1 1.0000 0.0000 -
1080.33/1083.69 c 1084 897144 894497 1 1.0000 0.0000 -
1085.42/1088.77 c 1089 901503 898856 1 1.0000 0.0000 -
1090.50/1093.81 c 1094 905603 902946 1 1.0000 0.0000 -
1095.69/1099.02 c 1099 909786 907097 1 1.0000 0.0000 -
1100.67/1104.07 c 1104 913933 911203 1 1.0000 0.0000 -
1105.77/1109.19 c 1109 918330 915600 1 1.0000 0.0000 -
1111.04/1114.47 c 1114 922526 919759 1 1.0000 0.0000 -
1116.13/1119.55 c 1120 926722 923927 1 1.0000 0.0000 -
1121.62/1125.01 c 1125 931084 928282 1 1.0000 0.0000 -
1126.80/1130.25 c 1130 935482 932678 1 1.0000 0.0000 -
1131.89/1135.30 c 1135 939700 936896 1 1.0000 0.0000 -
1136.87/1140.39 c 1140 943552 940748 1 1.0000 0.0000 -
1142.36/1145.87 c 1146 947800 944988 1 1.0000 0.0000 -
1147.55/1151.03 c 1151 951562 948748 1 1.0000 0.0000 -
1152.64/1156.12 c 1156 955698 952865 1 1.0000 0.0000 -
1157.62/1161.17 c 1161 959927 957094 1 1.0000 0.0000 -
1162.70/1166.22 c 1166 964117 961236 1 1.0000 0.0000 -
1167.79/1171.33 c 1171 968393 965512 1 1.0000 0.0000 -
1172.77/1176.37 c 1176 972188 969307 1 1.0000 0.0000 -
1178.06/1181.61 c 1182 976145 973264 1 1.0000 0.0000 -
1183.04/1186.66 c 1187 980330 977443 1 1.0000 0.0000 -
1188.12/1191.72 c 1192 984669 981782 1 1.0000 0.0000 -
1193.12/1196.77 c 1197 988843 985954 1 1.0000 0.0000 -
1198.30/1201.93 c 1202 993049 990150 1 1.0000 0.0000 -
1203.28/1206.98 c 1207 997351 994440 1 1.0000 0.0000 -
1208.38/1212.10 c 1212 1001565 998650 1 1.0000 0.0000 -
1213.56/1217.27 c 1217 1005928 1003013 1 1.0000 0.0000 -
1219.04/1222.71 c 1223 1009379 1006464 1 1.0000 0.0000 -
1224.03/1227.76 c 1228 1013819 1010904 1 1.0000 0.0000 -
1229.31/1233.06 c 1233 1017944 1015029 1 1.0000 0.0000 -
1234.40/1238.12 c 1238 1022160 1019245 1 1.0000 0.0000 -
1239.38/1243.16 c 1243 1026284 1023329 1 1.0000 0.0000 -
1244.67/1248.46 c 1248 1030512 1027546 1 1.0000 0.0000 -
1249.76/1253.57 c 1254 1034737 1031737 1 1.0000 0.0000 -
1255.14/1258.93 c 1259 1039251 1036247 1 1.0000 0.0000 -
1260.43/1264.22 c 1264 1043286 1040282 1 1.0000 0.0000 -
1265.41/1269.27 c 1269 1047386 1044350 1 1.0000 0.0000 -
1270.50/1274.37 c 1274 1051410 1048288 1 1.0000 0.0000 -
1275.78/1279.67 c 1280 1055752 1052630 1 1.0000 0.0000 -
1280.86/1284.76 c 1285 1060186 1057064 1 1.0000 0.0000 -
1285.96/1289.81 c 1290 1064282 1061148 1 1.0000 0.0000 -
1291.04/1294.99 c 1295 1068524 1065390 1 1.0000 0.0000 -
1296.13/1300.08 c 1300 1072499 1069365 1 1.0000 0.0000 -
1301.22/1305.13 c 1305 1076772 1073632 1 1.0000 0.0000 -
1306.29/1310.20 c 1310 1080981 1077795 1 1.0000 0.0000 -
1311.38/1315.35 c 1315 1085116 1081918 1 1.0000 0.0000 -
1316.67/1320.62 c 1321 1089352 1086154 1 1.0000 0.0000 -
1321.65/1325.67 c 1326 1093587 1090381 1 1.0000 0.0000 -
1326.83/1330.86 c 1331 1097643 1094437 1 1.0000 0.0000 -
1332.03/1336.04 c 1336 1101839 1098625 1 1.0000 0.0000 -
1337.11/1341.13 c 1341 1105931 1102717 1 1.0000 0.0000 -
1342.19/1346.21 c 1346 1110084 1106866 1 1.0000 0.0000 -
1347.18/1351.26 c 1351 1114322 1111096 1 1.0000 0.0000 -
1352.26/1356.31 c 1356 1118193 1114967 1 1.0000 0.0000 -
1357.25/1361.37 c 1361 1122259 1119033 1 1.0000 0.0000 -
1362.33/1366.44 c 1366 1125931 1122700 1 1.0000 0.0000 -
1367.51/1371.64 c 1372 1129976 1126745 1 1.0000 0.0000 -
1372.69/1376.87 c 1377 1134260 1131029 1 1.0000 0.0000 -
1377.88/1382.05 c 1382 1138627 1135372 1 1.0000 0.0000 -
1383.36/1387.50 c 1388 1142952 1139687 1 1.0000 0.0000 -
1388.44/1392.61 c 1393 1147002 1143737 1 1.0000 0.0000 -
1393.52/1397.70 c 1398 1151273 1148000 1 1.0000 0.0000 -
1398.70/1402.92 c 1403 1155268 1151981 1 1.0000 0.0000 -
1403.98/1408.20 c 1408 1159454 1156167 1 1.0000 0.0000 -
1408.96/1413.27 c 1413 1163688 1160401 1 1.0000 0.0000 -
1414.04/1418.31 c 1418 1167922 1164619 1 1.0000 0.0000 -
1419.13/1423.45 c 1423 1172231 1168928 1 1.0000 0.0000 -
1424.31/1428.60 c 1429 1176250 1172947 1 1.0000 0.0000 -
1429.39/1433.72 c 1434 1180160 1176839 1 1.0000 0.0000 -
1434.37/1438.79 c 1439 1184062 1180741 1 1.0000 0.0000 -
1439.66/1444.04 c 1444 1188230 1184889 1 1.0000 0.0000 -
1444.64/1449.10 c 1449 1192401 1189054 1 1.0000 0.0000 -
1449.72/1454.15 c 1454 1196631 1193238 1 1.0000 0.0000 -
1455.10/1459.53 c 1460 1200814 1197411 1 1.0000 0.0000 -
1460.08/1464.57 c 1465 1204995 1201592 1 1.0000 0.0000 -
1465.16/1469.67 c 1470 1209280 1205873 1 1.0000 0.0000 -
1470.24/1474.73 c 1475 1213210 1209775 1 1.0000 0.0000 -
1475.33/1479.86 c 1480 1216975 1213540 1 1.0000 0.0000 -
1480.41/1484.98 c 1485 1221217 1217769 1 1.0000 0.0000 -
1485.50/1490.04 c 1490 1225313 1221865 1 1.0000 0.0000 -
1490.68/1495.23 c 1495 1229462 1226001 1 1.0000 0.0000 -
1495.76/1500.34 c 1500 1233727 1230262 1 1.0000 0.0000 -
1501.04/1505.62 c 1506 1237732 1234253 1 1.0000 0.0000 -
1506.12/1510.74 c 1511 1241652 1238173 1 1.0000 0.0000 -
1511.31/1515.94 c 1516 1245972 1242481 1 1.0000 0.0000 -
1516.39/1521.00 c 1521 1249963 1246470 1 1.0000 0.0000 -
1521.37/1526.06 c 1526 1254108 1250609 1 1.0000 0.0000 -
1526.54/1531.22 c 1531 1258278 1254771 1 1.0000 0.0000 -
1531.53/1536.26 c 1536 1262563 1259004 1 1.0000 0.0000 -
1536.62/1541.33 c 1541 1266360 1262801 1 1.0000 0.0000 -
1541.89/1546.64 c 1547 1270532 1266973 1 1.0000 0.0000 -
1546.98/1551.70 c 1552 1274542 1270981 1 1.0000 0.0000 -
1552.27/1557.02 c 1557 1278635 1275074 1 1.0000 0.0000 -
1557.34/1562.11 c 1562 1282852 1279291 1 1.0000 0.0000 -
1562.52/1567.34 c 1567 1287283 1283722 1 1.0000 0.0000 -
1567.51/1572.39 c 1572 1290979 1287418 1 1.0000 0.0000 -
1572.59/1577.46 c 1577 1294955 1291378 1 1.0000 0.0000 -
1577.67/1582.54 c 1583 1299144 1295567 1 1.0000 0.0000 -
1582.75/1587.60 c 1588 1303147 1299566 1 1.0000 0.0000 -
1588.14/1593.02 c 1593 1307443 1303862 1 1.0000 0.0000 -
1593.22/1598.16 c 1598 1311848 1308267 1 1.0000 0.0000 -
1598.69/1603.66 c 1604 1316372 1312773 1 1.0000 0.0000 -
1603.77/1608.72 c 1609 1320302 1316689 1 1.0000 0.0000 -
1608.86/1613.80 c 1614 1324324 1320679 1 1.0000 0.0000 -
1613.84/1618.88 c 1619 1328460 1324815 1 1.0000 0.0000 -
1618.93/1623.96 c 1624 1332406 1328759 1 1.0000 0.0000 -
1624.21/1629.26 c 1629 1336748 1333075 1 1.0000 0.0000 -
1629.29/1634.35 c 1634 1340846 1337173 1 1.0000 0.0000 -
1634.57/1639.66 c 1640 1344936 1341263 1 1.0000 0.0000 -
1639.75/1644.81 c 1645 1349154 1345473 1 1.0000 0.0000 -
1644.83/1649.97 c 1650 1353365 1349656 1 1.0000 0.0000 -
1649.92/1655.03 c 1655 1357478 1353769 1 1.0000 0.0000 -
1654.90/1660.08 c 1660 1361447 1357738 1 1.0000 0.0000 -
1660.27/1665.45 c 1665 1365566 1361857 1 1.0000 0.0000 -
1665.36/1670.52 c 1671 1369733 1366024 1 1.0000 0.0000 -
1670.65/1675.85 c 1676 1374222 1370483 1 1.0000 0.0000 -
1675.73/1680.92 c 1681 1378142 1374403 1 1.0000 0.0000 -
1680.81/1686.00 c 1686 1382480 1378741 1 1.0000 0.0000 -
1685.79/1691.05 c 1691 1386418 1382655 1 1.0000 0.0000 -
1690.97/1696.27 c 1696 1390477 1386704 1 1.0000 0.0000 -
1696.05/1701.34 c 1701 1394481 1390708 1 1.0000 0.0000 -
1701.33/1706.67 c 1707 1398488 1394715 1 1.0000 0.0000 -
1706.42/1711.77 c 1712 1402602 1398819 1 1.0000 0.0000 -
1711.50/1716.87 c 1717 1406341 1402558 1 1.0000 0.0000 -
1716.88/1722.22 c 1722 1410727 1406924 1 1.0000 0.0000 -
1722.16/1727.55 c 1728 1414982 1411179 1 1.0000 0.0000 -
1727.44/1732.80 c 1733 1418999 1415196 1 1.0000 0.0000 -
1732.52/1737.94 c 1738 1423211 1419382 1 1.0000 0.0000 -
1737.50/1742.99 c 1743 1427189 1423360 1 1.0000 0.0000 -
1742.59/1748.05 c 1748 1431430 1427583 1 1.0000 0.0000 -
1747.68/1753.17 c 1753 1435322 1431459 1 1.0000 0.0000 -
1752.75/1758.25 c 1758 1439016 1435153 1 1.0000 0.0000 -
1757.94/1763.40 c 1763 1443556 1439693 1 1.0000 0.0000 -
1762.92/1768.47 c 1768 1447478 1443609 1 1.0000 0.0000 -
1768.00/1773.52 c 1774 1451389 1447520 1 1.0000 0.0000 -
1772.98/1778.57 c 1779 1455312 1451443 1 1.0000 0.0000 -
1778.06/1783.68 c 1784 1459192 1455319 1 1.0000 0.0000 -
1783.14/1788.73 c 1789 1462828 1458955 1 1.0000 0.0000 -
1788.22/1793.80 c 1794 1467008 1463105 1 1.0000 0.0000 -
1793.21/1798.85 c 1799 1471172 1467269 1 1.0000 0.0000 -
1798.29/1803.92 c 1804 1475344 1471441 1 1.0000 0.0000 -
1803.58/1809.26 c 1809 1479313 1475390 1 1.0000 0.0000 -
1808.66/1814.35 c 1814 1483410 1479487 1 1.0000 0.0000 -
1813.74/1819.47 c 1819 1487532 1483569 1 1.0000 0.0000 -
1819.12/1824.83 c 1825 1491591 1487610 1 1.0000 0.0000 -
1824.71/1830.49 c 1830 1495894 1491866 1 1.0000 0.0000 -
1830.10/1835.85 c 1836 1499995 1495953 1 1.0000 0.0000 -
1835.18/1840.93 c 1841 1504219 1500177 1 1.0000 0.0000 -
1840.16/1845.97 c 1846 1508298 1504250 1 1.0000 0.0000 -
1845.36/1851.12 c 1851 1512347 1508291 1 1.0000 0.0000 -
1850.54/1856.33 c 1856 1516205 1512149 1 1.0000 0.0000 -
1855.52/1861.38 c 1861 1520611 1516517 1 1.0000 0.0000 -
1860.61/1866.45 c 1866 1524864 1520738 1 1.0000 0.0000 -
1865.69/1871.51 c 1872 1528745 1524617 1 1.0000 0.0000 -
1870.88/1876.78 c 1877 1533018 1528864 1 1.0000 0.0000 -
1876.07/1881.97 c 1882 1537082 1532928 1 1.0000 0.0000 -
1881.16/1887.02 c 1887 1541261 1537103 1 1.0000 0.0000 -
1886.34/1892.27 c 1892 1545377 1541219 1 1.0000 0.0000 -
1891.73/1897.61 c 1898 1549555 1545379 1 1.0000 0.0000 -
1896.80/1902.70 c 1903 1553663 1549487 1 1.0000 0.0000 -
1901.78/1907.75 c 1908 1557699 1553517 1 1.0000 0.0000 -
1906.87/1912.80 c 1913 1561519 1557337 1 1.0000 0.0000 -
1912.06/1918.01 c 1918 1565452 1561258 1 1.0000 0.0000 -
1917.13/1923.11 c 1923 1569664 1565466 1 1.0000 0.0000 -
1922.31/1928.36 c 1928 1573930 1569732 1 1.0000 0.0000 -
1927.49/1933.56 c 1934 1578228 1574030 1 1.0000 0.0000 -
1932.78/1938.87 c 1939 1582259 1578043 1 1.0000 0.0000 -
1937.86/1943.94 c 1944 1586078 1581862 1 1.0000 0.0000 -
1943.15/1949.24 c 1949 1590416 1586186 1 1.0000 0.0000 -
1948.13/1954.28 c 1954 1594068 1589838 1 1.0000 0.0000 -
1953.21/1959.35 c 1959 1598006 1593776 1 1.0000 0.0000 -
1958.30/1964.40 c 1964 1602186 1597956 1 1.0000 0.0000 -
1963.49/1969.67 c 1970 1606232 1601990 1 1.0000 0.0000 -
1968.77/1974.94 c 1975 1610618 1606364 1 1.0000 0.0000 -
1973.86/1980.01 c 1980 1614831 1610571 1 1.0000 0.0000 -
1978.85/1985.08 c 1985 1618550 1614290 1 1.0000 0.0000 -
1983.93/1990.16 c 1990 1622656 1618396 1 1.0000 0.0000 -
1989.41/1995.67 c 1996 1627069 1622809 1 1.0000 0.0000 -
1994.80/2001.07 c 2001 1631172 1626904 1 1.0000 0.0000 -
1999.98/2006.29 c 2006 1635453 1631185 1 1.0000 0.0000 -
2005.27/2011.50 c 2012 1639681 1635409 1 1.0000 0.0000 -
2010.25/2016.55 c 2017 1643848 1639570 1 1.0000 0.0000 -
2015.34/2021.62 c 2022 1647641 1643353 1 1.0000 0.0000 -
2020.32/2026.69 c 2027 1652063 1647773 1 1.0000 0.0000 -
2025.71/2032.00 c 2032 1656316 1652026 1 1.0000 0.0000 -
2030.80/2037.12 c 2037 1660394 1656102 1 1.0000 0.0000 -
2036.08/2042.45 c 2042 1664769 1660477 1 1.0000 0.0000 -
2041.07/2047.49 c 2048 1668849 1664557 1 1.0000 0.0000 -
2046.15/2052.54 c 2053 1672902 1668610 1 1.0000 0.0000 -
2051.24/2057.62 c 2058 1676897 1672605 1 1.0000 0.0000 -
2056.23/2062.67 c 2063 1680941 1676637 1 1.0000 0.0000 -
2061.31/2067.78 c 2068 1685067 1680763 1 1.0000 0.0000 -
2066.39/2072.83 c 2073 1688831 1684521 1 1.0000 0.0000 -
2071.48/2077.94 c 2078 1693136 1688826 1 1.0000 0.0000 -
2076.57/2083.06 c 2083 1697294 1692962 1 1.0000 0.0000 -
2081.65/2088.14 c 2088 1701372 1697025 1 1.0000 0.0000 -
2087.03/2093.52 c 2094 1705523 1701152 1 1.0000 0.0000 -
2092.02/2098.57 c 2099 1709386 1705015 1 1.0000 0.0000 -
2097.41/2103.98 c 2104 1713592 1709219 1 1.0000 0.0000 -
2102.89/2109.46 c 2109 1718169 1713790 1 1.0000 0.0000 -
2108.07/2114.65 c 2115 1722354 1717973 1 1.0000 0.0000 -
2113.47/2120.05 c 2120 1726452 1722063 1 1.0000 0.0000 -
2118.74/2125.31 c 2125 1730477 1726076 1 1.0000 0.0000 -
2123.73/2130.37 c 2130 1734125 1729724 1 1.0000 0.0000 -
2128.82/2135.43 c 2135 1737834 1733431 1 1.0000 0.0000 -
2133.80/2140.47 c 2140 1742056 1737653 1 1.0000 0.0000 -
2139.28/2145.92 c 2146 1746173 1741767 1 1.0000 0.0000 -
2144.57/2151.28 c 2151 1750314 1745902 1 1.0000 0.0000 -
2149.66/2156.34 c 2156 1754661 1750249 1 1.0000 0.0000 -
2154.74/2161.44 c 2161 1758670 1754218 1 1.0000 0.0000 -
2159.73/2166.49 c 2166 1762755 1758303 1 1.0000 0.0000 -
2164.82/2171.54 c 2172 1766384 1761932 1 1.0000 0.0000 -
2169.90/2176.61 c 2177 1770413 1765959 1 1.0000 0.0000 -
2174.98/2181.71 c 2182 1774476 1770010 1 1.0000 0.0000 -
2179.97/2186.78 c 2187 1778321 1773855 1 1.0000 0.0000 -
2185.26/2192.05 c 2192 1782461 1777995 1 1.0000 0.0000 -
2190.34/2197.12 c 2197 1786735 1782267 1 1.0000 0.0000 -
2195.43/2202.24 c 2202 1790041 1785573 1 1.0000 0.0000 -
2200.51/2207.31 c 2207 1793816 1789348 1 1.0000 0.0000 -
2205.89/2212.75 c 2213 1797864 1793386 1 1.0000 0.0000 -
2211.08/2217.91 c 2218 1801569 1797091 1 1.0000 0.0000 -
2216.17/2223.02 c 2223 1805536 1801058 1 1.0000 0.0000 -
2221.15/2228.10 c 2228 1809340 1804852 1 1.0000 0.0000 -
2226.44/2233.30 c 2233 1813282 1808794 1 1.0000 0.0000 -
2231.42/2238.36 c 2238 1817176 1812688 1 1.0000 0.0000 -
2236.51/2243.48 c 2243 1821633 1817131 1 1.0000 0.0000 -
2241.89/2248.80 c 2249 1825763 1821257 1 1.0000 0.0000 -
2247.08/2254.07 c 2254 1829941 1825427 1 1.0000 0.0000 -
2252.16/2259.12 c 2259 1834026 1829510 1 1.0000 0.0000 -
2257.45/2264.44 c 2264 1837805 1833289 1 1.0000 0.0000 -
2262.43/2269.49 c 2270 1841983 1837467 1 1.0000 0.0000 -
2267.52/2274.57 c 2275 1845907 1841389 1 1.0000 0.0000 -
2272.70/2279.79 c 2280 1849862 1845334 1 1.0000 0.0000 -
2277.78/2284.84 c 2285 1853884 1849332 1 1.0000 0.0000 -
2283.17/2290.21 c 2290 1858104 1853512 1 1.0000 0.0000 -
2288.66/2295.72 c 2296 1862316 1857700 1 1.0000 0.0000 -
2293.65/2300.77 c 2301 1866246 1861626 1 1.0000 0.0000 -
2298.83/2305.98 c 2306 1870325 1865672 1 1.0000 0.0000 -
2303.92/2311.06 c 2311 1874279 1869626 1 1.0000 0.0000 -
2309.20/2316.30 c 2316 1878436 1873759 1 1.0000 0.0000 -
2314.28/2321.41 c 2321 1882140 1877457 1 1.0000 0.0000 -
2319.27/2326.47 c 2326 1886253 1881556 1 1.0000 0.0000 -
2324.56/2331.78 c 2332 1890297 1885592 1 1.0000 0.0000 -
2329.64/2336.83 c 2337 1894155 1889426 1 1.0000 0.0000 -
2334.93/2342.16 c 2342 1898612 1893883 1 1.0000 0.0000 -
2340.01/2347.21 c 2347 1902475 1897746 1 1.0000 0.0000 -
2345.19/2352.42 c 2352 1906560 1901809 1 1.0000 0.0000 -
2350.17/2357.47 c 2357 1910216 1905441 1 1.0000 0.0000 -
2355.56/2362.80 c 2363 1914404 1909606 1 1.0000 0.0000 -
2360.54/2367.90 c 2368 1918434 1913628 1 1.0000 0.0000 -
2365.74/2373.04 c 2373 1922356 1917550 1 1.0000 0.0000 -
2371.01/2378.39 c 2378 1926372 1921564 1 1.0000 0.0000 -
2376.19/2383.58 c 2384 1930445 1925597 1 1.0000 0.0000 -
2381.38/2388.76 c 2389 1934763 1929913 1 1.0000 0.0000 -
2386.47/2393.81 c 2394 1938682 1933814 1 1.0000 0.0000 -
2391.46/2398.86 c 2399 1942538 1937660 1 1.0000 0.0000 -
2396.84/2404.21 c 2404 1946615 1941737 1 1.0000 0.0000 -
2402.13/2409.53 c 2410 1950882 1946004 1 1.0000 0.0000 -
2407.21/2414.69 c 2415 1955083 1950205 1 1.0000 0.0000 -
2412.29/2419.76 c 2420 1958632 1953742 1 1.0000 0.0000 -
2417.38/2424.83 c 2425 1962363 1957473 1 1.0000 0.0000 -
2422.67/2430.13 c 2430 1966542 1961644 1 1.0000 0.0000 -
2427.66/2435.18 c 2435 1970528 1965630 1 1.0000 0.0000 -
2432.74/2440.24 c 2440 1974620 1969702 1 1.0000 0.0000 -
2438.12/2445.64 c 2446 1978859 1973941 1 1.0000 0.0000 -
2443.71/2451.21 c 2451 1983258 1978322 1 1.0000 0.0000 -
2448.70/2456.27 c 2456 1987449 1982513 1 1.0000 0.0000 -
2453.88/2461.42 c 2461 1991373 1986425 1 1.0000 0.0000 -
2458.97/2466.50 c 2467 1995465 1990485 1 1.0000 0.0000 -
2463.95/2471.55 c 2472 1999522 1994518 1 1.0000 0.0000 -
2469.24/2476.87 c 2477 2003492 1998478 1 1.0000 0.0000 -
2474.31/2481.95 c 2482 2007274 2002260 1 1.0000 0.0000 -
2479.60/2487.21 c 2487 2011182 2006168 1 1.0000 0.0000 -
2484.69/2492.37 c 2492 2015465 2010451 1 1.0000 0.0000 -
2489.77/2497.42 c 2497 2019363 2014338 1 1.0000 0.0000 -
2494.76/2502.48 c 2502 2022862 2017798 1 1.0000 0.0000 -
2499.84/2507.53 c 2508 2027162 2022082 1 1.0000 0.0000 -
2505.33/2513.08 c 2513 2031309 2026205 1 1.0000 0.0000 -
2510.42/2518.12 c 2518 2035515 2030389 1 1.0000 0.0000 -
2515.41/2523.18 c 2523 2039574 2034430 1 1.0000 0.0000 -
2520.49/2528.27 c 2528 2043278 2038110 1 1.0000 0.0000 -
2525.97/2533.75 c 2534 2047826 2042656 1 1.0000 0.0000 -
2531.26/2539.01 c 2539 2051971 2046789 1 1.0000 0.0000 -
2536.44/2544.26 c 2544 2055869 2050678 1 1.0000 0.0000 -
2541.52/2549.32 c 2549 2059771 2054580 1 1.0000 0.0000 -
2546.61/2554.45 c 2554 2063793 2058602 1 1.0000 0.0000 -
2552.00/2559.80 c 2560 2067689 2062498 1 1.0000 0.0000 -
2556.98/2564.84 c 2565 2071713 2066518 1 1.0000 0.0000 -
2562.07/2569.96 c 2570 2075438 2070243 1 1.0000 0.0000 -
2567.15/2575.01 c 2575 2079227 2074016 1 1.0000 0.0000 -
2572.14/2580.08 c 2580 2083084 2077849 1 1.0000 0.0000 -
2577.42/2585.34 c 2585 2087362 2082107 1 1.0000 0.0000 -
2582.60/2590.55 c 2591 2091325 2086060 1 1.0000 0.0000 -
2587.89/2595.89 c 2596 2095221 2089938 1 1.0000 0.0000 -
2593.37/2601.31 c 2601 2099621 2094324 1 1.0000 0.0000 -
2599.07/2607.06 c 2607 2103953 2098650 1 1.0000 0.0000 -
2604.15/2612.15 c 2612 2107948 2102645 1 1.0000 0.0000 -
2609.33/2617.31 c 2617 2112022 2106719 1 1.0000 0.0000 -
2614.32/2622.35 c 2622 2115842 2110539 1 1.0000 0.0000 -
2619.60/2627.65 c 2628 2120443 2115128 1 1.0000 0.0000 -
2624.99/2633.06 c 2633 2124288 2118973 1 1.0000 0.0000 -
2630.08/2638.13 c 2638 2128225 2122910 1 1.0000 0.0000 -
2635.06/2643.19 c 2643 2132234 2126919 1 1.0000 0.0000 -
2640.14/2648.25 c 2648 2136172 2130855 1 1.0000 0.0000 -
2645.43/2653.57 c 2654 2140391 2135064 1 1.0000 0.0000 -
2650.81/2658.92 c 2659 2144524 2139197 1 1.0000 0.0000 -
2655.80/2663.97 c 2664 2148431 2143104 1 1.0000 0.0000 -
2661.29/2669.48 c 2669 2152892 2147565 1 1.0000 0.0000 -
2666.36/2674.54 c 2675 2157050 2151721 1 1.0000 0.0000 -
2671.65/2679.83 c 2680 2161207 2155878 1 1.0000 0.0000 -
2676.84/2685.01 c 2685 2164956 2159627 1 1.0000 0.0000 -
2682.02/2690.23 c 2690 2169332 2163958 1 1.0000 0.0000 -
2687.30/2695.54 c 2696 2173475 2168101 1 1.0000 0.0000 -
2692.59/2700.87 c 2701 2177657 2172277 1 1.0000 0.0000 -
2698.08/2706.30 c 2706 2182038 2176650 1 1.0000 0.0000 -
2703.27/2711.52 c 2712 2185574 2180186 1 1.0000 0.0000 -
2708.24/2716.58 c 2717 2189574 2184176 1 1.0000 0.0000 -
2713.33/2721.66 c 2722 2193513 2188115 1 1.0000 0.0000 -
2718.62/2726.90 c 2727 2197297 2191860 1 1.0000 0.0000 -
2723.60/2731.98 c 2732 2201576 2196091 1 1.0000 0.0000 -
2729.28/2737.61 c 2738 2205293 2199808 1 1.0000 0.0000 -
2734.27/2742.66 c 2743 2209289 2203792 1 1.0000 0.0000 -
2739.36/2747.71 c 2748 2213129 2207600 1 1.0000 0.0000 -
2744.54/2752.96 c 2753 2217403 2211874 1 1.0000 0.0000 -
2749.63/2758.01 c 2758 2221333 2215800 1 1.0000 0.0000 -
2754.72/2763.17 c 2763 2225309 2219772 1 1.0000 0.0000 -
2759.80/2768.23 c 2768 2229388 2223851 1 1.0000 0.0000 -
2764.89/2773.38 c 2773 2233460 2227901 1 1.0000 0.0000 -
2770.17/2778.62 c 2779 2237631 2232066 1 1.0000 0.0000 -
2775.15/2783.67 c 2784 2241339 2235774 1 1.0000 0.0000 -
2780.25/2788.75 c 2789 2245320 2239713 1 1.0000 0.0000 -
2785.33/2793.80 c 2794 2249236 2243623 1 1.0000 0.0000 -
2790.81/2799.33 c 2799 2253235 2247622 1 1.0000 0.0000 -
2796.30/2804.84 c 2805 2257576 2251941 1 1.0000 0.0000 -
2801.68/2810.23 c 2810 2261465 2255767 1 1.0000 0.0000 -
2806.87/2815.40 c 2815 2265351 2259653 1 1.0000 0.0000 -
2812.05/2820.67 c 2821 2269473 2263775 1 1.0000 0.0000 -
2817.83/2826.49 c 2826 2273732 2268034 1 1.0000 0.0000 -
2822.92/2831.55 c 2832 2277802 2272087 1 1.0000 0.0000 -
2828.00/2836.61 c 2837 2281522 2275807 1 1.0000 0.0000 -
2833.00/2841.68 c 2842 2285471 2279734 1 1.0000 0.0000 -
2838.08/2846.78 c 2847 2289253 2283486 1 1.0000 0.0000 -
2843.16/2851.87 c 2852 2293000 2287216 1 1.0000 0.0000 -
2848.45/2857.15 c 2857 2297082 2291298 1 1.0000 0.0000 -
2853.93/2862.64 c 2863 2300973 2295171 1 1.0000 0.0000 -
2858.92/2867.68 c 2868 2305267 2299463 1 1.0000 0.0000 -
2864.01/2872.76 c 2873 2309312 2303461 1 1.0000 0.0000 -
2869.09/2877.82 c 2878 2312917 2307066 1 1.0000 0.0000 -
2874.08/2882.89 c 2883 2317017 2311160 1 1.0000 0.0000 -
2879.16/2887.95 c 2888 2320950 2315093 1 1.0000 0.0000 -
2884.45/2893.28 c 2893 2325186 2319293 1 1.0000 0.0000 -
2889.53/2898.36 c 2898 2328918 2323011 1 1.0000 0.0000 -
2894.62/2903.48 c 2903 2333152 2327245 1 1.0000 0.0000 -
2899.71/2908.58 c 2909 2337001 2331094 1 1.0000 0.0000 -
2905.59/2914.44 c 2914 2341378 2335457 1 1.0000 0.0000 -
2910.67/2919.50 c 2920 2345512 2339591 1 1.0000 0.0000 -
2915.66/2924.56 c 2925 2349419 2343437 1 1.0000 0.0000 -
2921.04/2929.90 c 2930 2353052 2347066 1 1.0000 0.0000 -
2926.02/2934.95 c 2935 2357387 2351385 1 1.0000 0.0000 -
2931.11/2940.01 c 2940 2361152 2355130 1 1.0000 0.0000 -
2936.69/2945.68 c 2946 2365409 2359381 1 1.0000 0.0000 -
2941.78/2950.73 c 2951 2369413 2363367 1 1.0000 0.0000 -
2946.97/2955.93 c 2956 2373021 2366955 1 1.0000 0.0000 -
2952.16/2961.13 c 2961 2377046 2370948 1 1.0000 0.0000 -
2957.24/2966.20 c 2966 2380842 2374734 1 1.0000 0.0000 -
2962.73/2971.71 c 2972 2384867 2378721 1 1.0000 0.0000 -
2967.71/2976.76 c 2977 2388712 2382473 1 1.0000 0.0000 -
2972.79/2981.81 c 2982 2392345 2386102 1 1.0000 0.0000 -
2977.88/2986.91 c 2987 2396166 2389919 1 1.0000 0.0000 -
2982.87/2991.96 c 2992 2400164 2393913 1 1.0000 0.0000 -
2988.15/2997.27 c 2997 2404006 2397755 1 1.0000 0.0000 -
2993.24/3002.33 c 3002 2408071 2401810 1 1.0000 0.0000 -
2998.32/3007.40 c 3007 2411892 2405631 1 1.0000 0.0000 -
3003.40/3012.58 c 3013 2416018 2409749 1 1.0000 0.0000 -
3008.79/3017.94 c 3018 2420116 2413835 1 1.0000 0.0000 -
3014.08/3023.21 c 3023 2424146 2417865 1 1.0000 0.0000 -
3019.17/3028.37 c 3028 2428341 2422046 1 1.0000 0.0000 -
3024.25/3033.42 c 3033 2432143 2425844 1 1.0000 0.0000 -
3029.23/3038.48 c 3038 2435820 2429490 1 1.0000 0.0000 -
3034.32/3043.56 c 3044 2439768 2433417 1 1.0000 0.0000 -
3040.01/3049.24 c 3049 2444419 2438066 1 1.0000 0.0000 -
3044.99/3054.29 c 3054 2448027 2441644 1 1.0000 0.0000 -
3050.78/3060.03 c 3060 2452322 2445885 1 1.0000 0.0000 -
3055.96/3065.24 c 3065 2456455 2450018 1 1.0000 0.0000 -
3061.15/3070.44 c 3070 2460627 2454148 1 1.0000 0.0000 -
3066.23/3075.51 c 3076 2464149 2457666 1 1.0000 0.0000 -
3071.72/3081.07 c 3081 2468402 2461901 1 1.0000 0.0000 -
3076.90/3086.21 c 3086 2472636 2466135 1 1.0000 0.0000 -
3081.89/3091.26 c 3091 2476502 2470001 1 1.0000 0.0000 -
3086.97/3096.31 c 3096 2480248 2473731 1 1.0000 0.0000 -
3092.05/3101.43 c 3101 2484215 2477696 1 1.0000 0.0000 -
3097.44/3106.83 c 3107 2488198 2481659 1 1.0000 0.0000 -
3102.63/3112.03 c 3112 2492220 2485669 1 1.0000 0.0000 -
3107.61/3117.08 c 3117 2496259 2489690 1 1.0000 0.0000 -
3112.80/3122.21 c 3122 2500021 2493452 1 1.0000 0.0000 -
3117.98/3127.46 c 3127 2503800 2497220 1 1.0000 0.0000 -
3123.37/3132.84 c 3133 2508242 2501646 1 1.0000 0.0000 -
3128.36/3137.89 c 3138 2511885 2505275 1 1.0000 0.0000 -
3133.65/3143.10 c 3143 2515815 2509181 1 1.0000 0.0000 -
3139.02/3148.54 c 3149 2519877 2513197 1 1.0000 0.0000 -
3144.51/3154.03 c 3154 2523764 2517064 1 1.0000 0.0000 -
3149.89/3159.48 c 3159 2528454 2521724 1 1.0000 0.0000 -
3155.07/3164.62 c 3165 2532319 2525551 1 1.0000 0.0000 -
3160.37/3169.95 c 3170 2536416 2529639 1 1.0000 0.0000 -
3165.75/3175.30 c 3175 2540410 2533633 1 1.0000 0.0000 -
3170.74/3180.35 c 3180 2543979 2537190 1 1.0000 0.0000 -
3175.92/3185.58 c 3186 2547882 2541093 1 1.0000 0.0000 -
3181.00/3190.66 c 3191 2551682 2544881 1 1.0000 0.0000 -
3186.29/3195.97 c 3196 2555653 2548844 1 1.0000 0.0000 -
3191.38/3201.02 c 3201 2559765 2552925 1 1.0000 0.0000 -
3196.36/3206.07 c 3206 2563413 2556535 1 1.0000 0.0000 -
3201.74/3211.42 c 3211 2567653 2560725 1 1.0000 0.0000 -
3206.83/3216.52 c 3217 2571287 2564359 1 1.0000 0.0000 -
3211.91/3221.67 c 3222 2575435 2568501 1 1.0000 0.0000 -
3217.49/3227.24 c 3227 2579442 2572498 1 1.0000 0.0000 -
3222.58/3232.30 c 3232 2583594 2576650 1 1.0000 0.0000 -
3227.57/3237.34 c 3237 2587263 2580317 1 1.0000 0.0000 -
3233.15/3242.93 c 3243 2591240 2584294 1 1.0000 0.0000 -
3238.14/3247.94 c 3248 2594742 2587796 1 1.0000 0.0000 -
3243.33/3253.14 c 3253 2599007 2592057 1 1.0000 0.0000 -
3248.72/3258.50 c 3259 2602767 2595808 1 1.0000 0.0000 -
3254.09/3263.98 c 3264 2607371 2600410 1 1.0000 0.0000 -
3259.78/3269.66 c 3270 2611674 2604693 1 1.0000 0.0000 -
3264.87/3274.71 c 3275 2615772 2608791 1 1.0000 0.0000 -
3269.85/3279.76 c 3280 2619398 2612417 1 1.0000 0.0000 -
3274.94/3284.84 c 3285 2623665 2616678 1 1.0000 0.0000 -
3280.43/3290.35 c 3290 2627939 2620952 1 1.0000 0.0000 -
3285.50/3295.43 c 3295 2631582 2624577 1 1.0000 0.0000 -
3290.99/3300.98 c 3301 2636098 2629059 1 1.0000 0.0000 -
3296.48/3306.48 c 3306 2640417 2633378 1 1.0000 0.0000 -
3301.65/3311.63 c 3312 2644009 2636970 1 1.0000 0.0000 -
3306.64/3316.69 c 3317 2648159 2641112 1 1.0000 0.0000 -
3312.73/3322.70 c 3323 2652144 2645087 1 1.0000 0.0000 -
3317.71/3327.77 c 3328 2656247 2649190 1 1.0000 0.0000 -
3323.40/3333.42 c 3333 2660577 2653504 1 1.0000 0.0000 -
3328.58/3338.67 c 3339 2664506 2657395 1 1.0000 0.0000 -
3333.67/3343.76 c 3344 2668328 2661217 1 1.0000 0.0000 -
3339.06/3349.18 c 3349 2672165 2665034 1 1.0000 0.0000 -
3344.53/3354.67 c 3355 2676466 2669325 1 1.0000 0.0000 -
3349.72/3359.81 c 3360 2680697 2673556 1 1.0000 0.0000 -
3355.11/3365.23 c 3365 2684689 2677548 1 1.0000 0.0000 -
3360.50/3370.62 c 3371 2688640 2681499 1 1.0000 0.0000 -
3365.98/3376.14 c 3376 2692977 2685826 1 1.0000 0.0000 -
3371.46/3381.68 c 3382 2696805 2689646 1 1.0000 0.0000 -
3376.86/3387.00 c 3387 2700533 2693358 1 1.0000 0.0000 -
3382.23/3392.42 c 3392 2704692 2697517 1 1.0000 0.0000 -
3387.22/3397.47 c 3397 2708592 2701409 1 1.0000 0.0000 -
3392.31/3402.52 c 3403 2712301 2705091 1 1.0000 0.0000 -
3397.69/3407.92 c 3408 2716422 2709212 1 1.0000 0.0000 -
3403.17/3413.42 c 3413 2720494 2713284 1 1.0000 0.0000 -
3408.26/3418.57 c 3419 2724303 2717089 1 1.0000 0.0000 -
3413.34/3423.62 c 3424 2728303 2721054 1 1.0000 0.0000 -
3418.93/3429.23 c 3429 2732641 2725382 1 1.0000 0.0000 -
3424.31/3434.67 c 3435 2736698 2729439 1 1.0000 0.0000 -
3429.40/3439.73 c 3440 2740171 2732860 1 1.0000 0.0000 -
3434.69/3445.09 c 3445 2744449 2737132 1 1.0000 0.0000 -
3439.97/3450.37 c 3450 2748303 2740986 1 1.0000 0.0000 -
3445.26/3455.65 c 3456 2752460 2745143 1 1.0000 0.0000 -
3450.34/3460.70 c 3461 2756221 2748881 1 1.0000 0.0000 -
3455.74/3466.13 c 3466 2760142 2752802 1 1.0000 0.0000 -
3461.11/3471.53 c 3472 2764689 2757305 1 1.0000 0.0000 -
3466.49/3476.90 c 3477 2768282 2760826 1 1.0000 0.0000 -
3471.58/3482.02 c 3482 2772396 2764930 1 1.0000 0.0000 -
3476.86/3487.30 c 3487 2776218 2768736 1 1.0000 0.0000 -
3481.85/3492.35 c 3492 2780179 2772683 1 1.0000 0.0000 -
3486.94/3497.42 c 3497 2783944 2776432 1 1.0000 0.0000 -
3492.03/3502.59 c 3503 2787858 2780324 1 1.0000 0.0000 -
3497.40/3507.90 c 3508 2791940 2784396 1 1.0000 0.0000 -
3502.80/3513.37 c 3513 2795920 2788368 1 1.0000 0.0000 -
3507.98/3518.52 c 3519 2799642 2792090 1 1.0000 0.0000 -
3513.06/3523.62 c 3524 2803558 2795979 1 1.0000 0.0000 -
3518.45/3529.03 c 3529 2807537 2799927 1 1.0000 0.0000 -
3524.13/3534.70 c 3535 2811586 2803964 1 1.0000 0.0000 -
3529.22/3539.88 c 3540 2815593 2807971 1 1.0000 0.0000 -
3534.51/3545.11 c 3545 2819524 2811880 1 1.0000 0.0000 -
3539.50/3550.15 c 3550 2823465 2815739 1 1.0000 0.0000 -
3544.97/3555.60 c 3556 2827395 2819661 1 1.0000 0.0000 -
3551.06/3561.77 c 3562 2831492 2823719 1 1.0000 0.0000 -
3556.35/3567.09 c 3567 2835578 2827747 1 1.0000 0.0000 -
3561.43/3572.13 c 3572 2839620 2831783 1 1.0000 0.0000 -
3566.81/3577.59 c 3578 2843710 2835863 1 1.0000 0.0000 -
3572.20/3582.99 c 3583 2847556 2839709 1 1.0000 0.0000 -
3577.98/3588.71 c 3589 2851737 2843890 1 1.0000 0.0000 -
3583.07/3593.80 c 3594 2855711 2847830 1 1.0000 0.0000 -
3591.25/3602.03 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.25/3602.03 c Total Time : 3602.0300
3591.25/3602.03 c solving : 3602.0300
3591.25/3602.03 c presolving : 0.0106 (included in solving)
3591.25/3602.03 c B&B Tree :
3591.25/3602.03 c nodes (total) : 1
3591.25/3602.03 c Solution :
3591.25/3602.03 c Solutions found : 6
3591.25/3602.03 c Primal Bound : +1.00000000000000e+00
3591.25/3602.03 c Dual Bound : +0.00000000000000e+00
3591.25/3602.03 c Gap : infinite
3591.25/3602.03 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3591.25/3602.04 o 1
3591.25/3602.04 s SATISFIABLE
3591.25/3602.04 v -x1203 -x1202 x1201 x1200 -x1199 x1198 -x1197 x1196 -x1195 x1194 x1193 x1192 -x1191 x1190 -x1189 -x1188 x1187 -x1186 -x1185 -x1184
3591.25/3602.04 v x1183 x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 x1173 -x1172 -x1171 -x1170 -x1169 x1168 x1167 -x1166
3591.25/3602.04 v x1165 -x1164 x1163 x1162 -x1161 -x1160 x1159 -x1158 x1157 x1156 -x1155 x1154 -x1153 -x1152 -x1151 -x1150 -x1149 x1148 -x1147
3591.25/3602.04 v x1146 x1145 -x1144 -x1143 x1142 x1141 x1140 x1139 x1138 x1137 x1136 -x1135 x1134 -x1133 x1132 x1131 -x1130 -x1129 -x1128 -x1127
3591.25/3602.04 v x1126 -x1125 -x1124 x1123 x1122 x1121 x1120 x1119 x1118 -x1117 x1116 -x1115 x1114 x1113 -x1112 x1111 x1110 -x1109 -x1108 x1107
3591.25/3602.04 v x1106 -x1105 -x1104 x1103 -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 x1095 -x1094 x1093 x1092 x1091 -x1090 -x1089 -x1088
3591.25/3602.04 v -x1087 x1086 -x1085 x1084 x1083 -x1082 x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 x1073 x1072 -x1071 -x1070
3591.25/3602.04 v -x1069 x1068 x1067 -x1066 x1065 x1064 x1063 x1062 x1061 -x1060 -x1059 -x1058 -x1057 x1056 -x1055 x1054 -x1053 -x1052 -x1051
3591.25/3602.04 v x1050 -x1049 x1048 x1047 -x1046 -x1045 x1044 -x1043 x1042 -x1041 x1040 -x1039 x1038 -x1037 x1036 -x1035 x1034 x1033 x1032 -x1031
3591.25/3602.04 v x1030 -x1029 x1028 -x1027 -x1026 -x1025 -x1024 x1023 -x1022 -x1021 x1020 x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 x1012
3591.25/3602.04 v x1011 x1010 x1009 -x1008 x1007 -x1006 -x1005 x1004 -x1003 -x1002 x1001 -x1000 -x999 -x998 -x997 x996 x995 -x994 x993 -x992
3591.25/3602.04 v x991 x990 -x989 x988 -x987 -x986 x985 -x984 x983 -x982 -x981 x980 -x979 -x978 x977 x976 -x975 x974 -x973 -x972 x971 -x970
3591.25/3602.04 v -x969 x968 x967 -x966 -x965 x964 -x963 -x962 -x961 x960 x959 -x958 -x957 x956 -x955 x954 x953 -x952 -x951 -x950 -x949 -x948 -x947
3591.25/3602.04 v -x946 x945 -x944 -x943 x942 x941 x940 -x939 x938 x937 -x936 -x935 x934 -x933 x932 x931 -x930 x929 x928 -x927 x926 x925 x924
3591.25/3602.04 v -x923 x922 x921 -x920 -x919 x918 x917 -x916 x915 x914 x913 x912 -x911 -x910 x909 x908 -x907 -x906 x905 x904 -x903 -x902 x901
3591.25/3602.04 v x900 x899 x898 -x897 x896 -x895 -x894 -x893 -x892 x891 x890 -x889 x888 x887 x886 x885 -x884 -x883 x882 -x881 x880 x879 -x878
3591.25/3602.04 v x877 x876 x875 -x874 x873 -x872 -x871 x870 x869 -x868 x867 x866 -x865 x864 -x863 -x862 -x861 x860 -x859 x858 x857 x856 -x855
3591.25/3602.04 v -x854 -x853 x852 x851 x850 -x849 -x848 -x847 -x846 x845 x844 -x843 x842 -x841 x840 x839 x838 -x837 -x836 -x835 -x834 x833
3591.25/3602.04 v x832 x831 x830 x829 x828 -x827 -x826 -x825 x824 -x823 -x822 x821 x820 -x819 x818 x817 x816 x815 x814 -x813 x812 -x811 x810 -x809
3591.25/3602.04 v x808 -x807 x806 x805 x804 x803 x802 x801 -x800 -x799 -x798 x797 -x796 x795 x794 -x793 x792 x791 x790 -x789 -x788 -x787 x786
3591.25/3602.04 v -x785 -x784 x783 -x782 -x781 x780 x779 -x778 -x777 -x776 x775 -x774 x773 -x772 x771 x770 -x769 -x768 x767 x766 -x765 x764
3591.25/3602.04 v x763 -x762 -x761 x760 x759 -x758 -x757 -x756 x755 -x754 -x753 -x752 -x751 x750 -x749 -x748 x747 x746 x745 -x744 x743 x742 x741
3591.25/3602.04 v -x740 x739 -x738 x737 -x736 x735 -x734 x733 x732 x731 -x730 x729 -x728 x727 -x726 -x725 -x724 -x723 x722 x721 -x720 -x719
3591.25/3602.04 v x718 -x717 x716 x715 -x714 -x713 -x712 x711 x710 x709 -x708 -x707 x706 -x705 -x704 x703 x702 x701 -x700 -x699 -x698 x697 -x696
3591.25/3602.04 v -x695 x694 -x693 -x692 -x691 x690 x689 -x688 -x687 x686 x685 -x684 x683 -x682 x681 -x680 x679 -x678 x677 x676 x675 -x674 x673
3591.25/3602.04 v -x672 x671 x670 x669 x668 x667 x666 x665 x664 -x663 x662 x661 -x660 x659 -x658 x657 -x656 -x655 -x654 x653 x652 -x651 -x650
3591.25/3602.04 v x649 -x648 x647 -x646 -x645 -x644 x643 -x642 x641 x640 -x639 x638 -x637 x636 x635 -x634 x633 -x632 -x631 -x630 -x629 x628 -x627
3591.25/3602.04 v x626 x625 x624 x623 -x622 -x621 x620 -x619 x618 -x617 x616 -x615 -x614 -x613 x612 x611 x610 x609 -x608 x607 x606 -x605 x604
3591.25/3602.04 v x603 -x602 x601 -x600 x599 -x598 x597 -x596 -x595 -x594 x593 -x592 x591 x590 -x589 -x588 -x587 x586 x585 x584 x583 -x582
3591.25/3602.04 v -x581 -x580 x579 x578 -x577 x576 -x575 x574 x573 x572 x571 -x570 -x569 x568 x567 -x566 -x565 x564 x563 -x562 x561 x560 -x559
3591.25/3602.04 v -x558 -x557 x556 x555 -x554 x553 x552 -x551 x550 x549 -x548 x547 -x546 -x545 -x544 x543 x542 -x541 x540 -x539 -x538 -x537 x536
3591.25/3602.04 v x535 x534 x533 x532 -x531 -x530 -x529 -x528 x527 x526 -x525 x524 -x523 -x522 x521 -x520 x519 x518 x517 -x516 -x515 x514 x513
3591.25/3602.04 v x512 -x511 x510 -x509 -x508 x507 x506 x505 x504 -x503 x502 -x501 x500 -x499 -x498 x497 -x496 x495 -x494 x493 x492 x491 -x490
3591.25/3602.04 v -x489 x488 -x487 -x486 x485 -x484 x483 x482 x481 -x480 -x479 x478 x477 -x476 -x475 x474 -x473 x472 -x471 -x470 x469 -x468 x467
3591.25/3602.04 v x466 -x465 x464 x463 -x462 -x461 -x460 x459 x458 -x457 x456 -x455 x454 x453 -x452 x451 -x450 x449 x448 -x447 -x446 x445 x444
3591.25/3602.04 v x443 x442 -x441 x440 -x439 -x438 -x437 x436 x435 x434 x433 x432 -x431 x430 -x429 x428 -x427 -x426 -x425 x424 -x423 x422 -x421
3591.25/3602.04 v x420 -x419 -x418 -x417 x416 -x415 -x414 x413 x412 -x411 x410 x409 x408 -x407 -x406 -x405 x404 -x403 -x402 x401 x400 -x399
3591.25/3602.04 v -x398 -x397 x396 -x395 x394 -x393 -x392 x391 x390 -x389 x388 x387 -x386 x385 x384 -x383 -x382 x381 -x380 x379 -x378 -x377 x376
3591.25/3602.04 v -x375 x374 x373 x372 -x371 -x370 -x369 -x368 -x367 x366 x365 -x364 x363 -x362 -x361 -x360 x359 x358 x357 x356 -x355 -x354
3591.25/3602.04 v x353 -x352 -x351 -x350 x349 x348 -x347 x346 -x345 -x344 x343 -x342 -x341 x340 x339 -x338 -x337 x336 x335 -x334 -x333 x332 -x331
3591.25/3602.04 v x330 x329 x328 -x327 x326 -x325 x324 -x323 x322 -x321 x320 x319 -x318 -x317 -x316 -x315 x314 x313 x312 x311 x310 x309 -x308
3591.25/3602.04 v -x307 x306 -x305 x304 -x303 -x302 x301 -x300 -x299 x298 -x297 x296 x295 x294 x293 -x292 -x291 -x290 -x289 x288 x287 -x286
3591.25/3602.04 v -x285 x284 x283 -x282 x281 -x280 x279 x278 -x277 -x276 -x275 -x274 -x273 x272 x271 -x270 x269 -x268 -x267 x266 x265 x264 x263
3591.25/3602.04 v -x262 x261 x260 -x259 -x258 x257 -x256 x255 -x254 -x253 x252 -x251 x250 -x249 -x248 x247 x246 x245 -x244 -x243 x242 x241 -x240
3591.25/3602.04 v x239 -x238 -x237 x236 x235 -x234 -x233 -x232 x231 x230 -x229 x228 x227 -x226 -x225 -x224 x223 -x222 x221 x220 x219 -x218 x217
3591.25/3602.04 v x216 -x215 x214 -x213 -x212 -x211 x210 -x209 x208 x207 -x206 x205 x204 x203 x202 -x201 -x200 x199 -x198 x197 x196 -x195 -x194
3591.25/3602.04 v x193 -x192 x191 x190 x189 -x188 -x187 -x186 -x185 x184 x183 x182 -x181 -x180 x179 -x178 -x177 x176 -x175 x174 -x173 -x172
3591.25/3602.04 v -x171 x170 x169 -x168 x167 x166 -x165 x164 -x163 x162 -x161 x160 -x159 -x158 x157 -x156 x155 -x154 x153 -x152 x151 -x150 -x149
3591.25/3602.04 v x148 -x147 -x146 x145 -x144 x143 x142 -x141 -x140 -x139 x138 x137 x136 x135 x134 -x133 -x132 -x131 -x130 -x129 x128 x127
3591.25/3602.04 v x126 -x125 -x124 -x123 x122 x121 x120 -x119 -x118 -x117 x116 x115 -x114 x113 -x112 -x111 x110 -x109 x108 x107 -x106 -x105 x104
3591.25/3602.04 v -x103 x102 x101 -x100 x99 -x98 x97 -x96 x95 x94 x93 -x92 -x91 -x90 -x89 x88 -x87 x86 x85 x84 -x83 x82 x81 -x80 -x79 -x78 -x77
3591.25/3602.04 v x76 x75 x74 -x73 -x72 x71 -x70 -x69 x68 x67 x66 -x65 x64 -x63 x62 -x61 x60 x59 x58 -x57 -x56 -x55 -x54 x53 x52 x51 -x50 -x49
3591.25/3602.04 v x48 x47 -x46 -x45 x44 -x43 -x42 x41 -x40 -x39 x38 x37 -x36 x35 x34 -x33 -x32 x31 x30 x29 x28 -x27 -x26 -x25 -x24 -x23 x22
3591.25/3602.04 v -x21 x20 x19 x18 -x17 -x16 x15 -x14 x13 -x12 -x11 x10 -x9 x8 x7 -x6 -x5 x4 -x3 x2 -x1 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599
3591.25/3602.04 v -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581
3591.25/3602.04 v -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563
3591.25/3602.04 v -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545
3591.25/3602.04 v -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528
3591.25/3602.04 v -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510
3591.25/3602.04 v -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492
3591.25/3602.04 v -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474
3591.25/3602.04 v -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456
3591.25/3602.04 v -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438
3591.25/3602.04 v -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420
3591.25/3602.04 v -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403
3591.25/3602.04 v -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385
3591.25/3602.04 v -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367
3591.25/3602.04 v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349
3591.25/3602.04 v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331
3591.25/3602.04 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313
3591.25/3602.04 v -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295
3591.25/3602.04 v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278
3591.25/3602.04 v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260
3591.25/3602.04 v -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242
3591.25/3602.04 v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224
3591.25/3602.04 v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206
3591.25/3602.04 v -x1205 x1204
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 (63425 MiB free)
memory of node 1: 64473 MiB (63004 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464737-1722390445/watcher-4464737-1722390445 -o /tmp/evaluation-result-4464737-1722390445/solver-4464737-1722390445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722390441-42212 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464737-1722390445.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=42782, runsolver pid=42779
[startup+0.100082 s]*
/proc/loadavg: 1.28 1.26 2.14 6/260 42795
/proc/meminfo: memFree=129403052/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=118320 memory=40688 CPUtime=0.1 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 8251 0 0 0 9 1 0 0 20 0 3 0 5646437 121159680 10172 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 29580 10172 2950 3035 0 14213 0
[pid=42782/tid=42784] ppid=42779 vsize=118320 memory=4026531971 CPUtime=0.07 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 4946 0 0 0 7 0 0 0 20 0 3 0 5646439 121159680 10172 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=118320 memory=17998 CPUtime=0 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5646440 121159680 10172 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 118320 KiB
Current children cumulated memory: 40688 KiB
[startup+0.205714 s]*
/proc/loadavg: 1.28 1.26 2.14 5/260 42795
/proc/meminfo: memFree=129388036/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=118320 memory=47540 CPUtime=0.2 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 9977 0 0 0 19 1 0 0 20 0 3 0 5646437 121159680 11885 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 29580 11885 2950 3035 0 15685 0
[pid=42782/tid=42784] ppid=42779 vsize=118320 memory=8505393642823811203 CPUtime=0.17 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 6672 0 0 0 17 0 0 0 20 0 3 0 5646439 121159680 11885 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=118320 memory=17998 CPUtime=0 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5646440 121159680 11885 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 118320 KiB
Current children cumulated memory: 47540 KiB
[startup+0.30557 s]*
/proc/loadavg: 1.28 1.26 2.14 5/260 42795
/proc/meminfo: memFree=129384696/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=118320 memory=49916 CPUtime=0.3 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 10580 0 0 0 29 1 0 0 20 0 3 0 5646437 121159680 12479 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 29580 12479 2950 3035 0 16287 0
[pid=42782/tid=42784] ppid=42779 vsize=118320 memory=-6000919502704044651 CPUtime=0.27 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 7275 0 0 0 27 0 0 0 20 0 3 0 5646439 121159680 12479 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=118320 memory=0 CPUtime=0 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5646440 121159680 12479 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 118320 KiB
Current children cumulated memory: 49916 KiB
[startup+0.700208 s]
/proc/loadavg: 1.28 1.26 2.14 5/260 42795
/proc/meminfo: memFree=129383868/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=118320 memory=61532 CPUtime=0.68 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 13448 0 0 0 67 1 0 0 20 0 3 0 5646437 121159680 15383 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 29580 15383 2950 3035 0 19492 0
[pid=42782/tid=42784] ppid=42779 vsize=118320 memory=0 CPUtime=0.67 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 10143 0 0 0 66 1 0 0 20 0 3 0 5646439 121159680 15383 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=118320 memory=0 CPUtime=0 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5646440 121159680 15383 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 118320 KiB
Current children cumulated memory: 61532 KiB
[startup+1.50026 s]
/proc/loadavg: 1.28 1.26 2.14 5/260 42795
/proc/meminfo: memFree=129359472/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=192052 memory=103204 CPUtime=1.49 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 30209 0 0 0 146 3 0 0 20 0 3 0 5646437 196661248 25801 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 48013 25801 2966 3035 0 30070 0
[pid=42782/tid=42784] ppid=42779 vsize=192052 memory=0 CPUtime=1.46 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 26904 0 0 0 144 2 0 0 20 0 3 0 5646439 196661248 25801 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=192052 memory=0 CPUtime=0 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5646440 196661248 25801 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 192052 KiB
Current children cumulated memory: 103204 KiB
[startup+3.10556 s]
/proc/loadavg: 1.50 1.30 2.15 5/262 42799
/proc/meminfo: memFree=129224180/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=187956 memory=122540 CPUtime=3.09 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 46403 0 0 0 303 6 0 0 20 0 3 0 5646437 192466944 30635 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 46989 30635 3014 3035 0 34777 0
[pid=42782/tid=42784] ppid=42779 vsize=187956 memory=0 CPUtime=3.06 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 42811 0 0 0 301 5 0 0 20 0 3 0 5646439 192466944 30635 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=187956 memory=0 CPUtime=0 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5646440 192466944 30635 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 187956 KiB
Current children cumulated memory: 122540 KiB
[startup+6.30025 s]
/proc/loadavg: 1.50 1.30 2.15 5/262 42799
/proc/meminfo: memFree=129214248/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=187956 memory=122784 CPUtime=6.28 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 59634 0 0 0 621 7 0 0 20 0 3 0 5646437 192466944 30696 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 46989 30696 3014 3035 0 34777 0
[pid=42782/tid=42784] ppid=42779 vsize=187956 memory=122600 CPUtime=6.25 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 55740 0 0 0 619 6 0 0 20 0 3 0 5646439 192466944 30696 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=187956 memory=-5155625786839558789 CPUtime=0 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5646440 192466944 30696 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 187956 KiB
Current children cumulated memory: 122784 KiB
[startup+12.7002 s]
/proc/loadavg: 1.88 1.39 2.18 5/262 42799
/proc/meminfo: memFree=129198308/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=187956 memory=124280 CPUtime=12.65 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 91434 0 0 0 1256 9 0 0 20 0 3 0 5646437 192466944 31070 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 46989 31070 3014 3035 0 34777 0
[pid=42782/tid=42784] ppid=42779 vsize=187956 memory=122544 CPUtime=12.63 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 87490 0 0 0 1254 9 0 0 20 0 3 0 5646439 192466944 31070 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=187956 memory=2372 CPUtime=0 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5646440 192466944 31070 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 187956 KiB
Current children cumulated memory: 124280 KiB
[startup+25.5003 s]
/proc/loadavg: 2.21 1.48 2.20 5/262 42802
/proc/meminfo: memFree=129121616/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=188984 memory=136572 CPUtime=25.41 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 135130 0 0 0 2527 14 0 0 20 0 3 0 5646437 193519616 34143 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 47246 34143 3014 3035 0 37811 0
[pid=42782/tid=42784] ppid=42779 vsize=188984 memory=135024 CPUtime=25.38 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 131105 0 0 0 2525 13 0 0 20 0 3 0 5646439 193519616 34143 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=188984 memory=130868 CPUtime=0 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5646440 193519616 34143 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 188984 KiB
Current children cumulated memory: 136572 KiB
[startup+51.1055 s]
/proc/loadavg: 2.88 1.70 2.25 5/261 42826
/proc/meminfo: memFree=129023364/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=190012 memory=157048 CPUtime=50.92 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 189816 0 0 0 5071 21 0 0 20 0 3 0 5646437 194572288 39262 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 47503 39262 3014 3035 0 42846 0
[pid=42782/tid=42784] ppid=42779 vsize=190012 memory=156312 CPUtime=50.89 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 185700 0 0 0 5069 20 0 0 20 0 3 0 5646439 194572288 39262 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=190012 memory=11596 CPUtime=0 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5646440 194572288 39262 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 190012 KiB
Current children cumulated memory: 157048 KiB
[startup+102.3 s]
/proc/loadavg: 3.60 2.10 2.36 5/261 42834
/proc/meminfo: memFree=128844696/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=258628 memory=199056 CPUtime=101.92 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 258959 0 0 0 10159 33 0 0 20 0 3 0 5646437 264835072 49764 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 64657 49764 3014 3035 0 53232 0
[pid=42782/tid=42784] ppid=42779 vsize=258628 memory=197980 CPUtime=101.89 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 254759 0 0 0 10157 32 0 0 20 0 3 0 5646439 264835072 49764 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=258628 memory=12272 CPUtime=0 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5646440 264835072 49764 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 258628 KiB
Current children cumulated memory: 199056 KiB
[startup+162.3 s]
/proc/loadavg: 3.96 2.48 2.47 5/262 42849
/proc/meminfo: memFree=128621100/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=334432 memory=246252 CPUtime=161.7 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 320913 0 0 0 16122 48 0 0 20 0 3 0 5646437 342458368 61563 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 83608 61563 3014 3035 0 65031 0
[pid=42782/tid=42784] ppid=42779 vsize=334432 memory=220292 CPUtime=161.66 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 316644 0 0 0 16119 47 0 0 20 0 3 0 5646439 342458368 61563 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=334432 memory=11596 CPUtime=0 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5646440 342458368 61563 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 334432 KiB
Current children cumulated memory: 246252 KiB
################
# More data... #
################
/proc/42782/statm: 744478 724733 3014 3035 0 733100 0
[pid=42782/tid=42784] ppid=42779 vsize=2977912 memory=2875496 CPUtime=3391.88 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 2585095 0 0 0 338540 648 0 0 20 0 3 0 5646439 3049381888 724733 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=2977912 memory=-7163655274359774585 CPUtime=0.02 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 132 0 0 0 0 2 0 0 20 0 3 0 5646440 3049381888 724733 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 3392.1 s
Current children cumulated vsize: 2977912 KiB
Current children cumulated memory: 2898932 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/263 44678
/proc/meminfo: memFree=118248104/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=2993332 memory=2937760 CPUtime=3451.94 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 2635514 0 0 0 344530 664 0 0 20 0 3 0 5646437 3065171968 734440 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 748333 734440 3014 3035 0 742652 0
[pid=42782/tid=42784] ppid=42779 vsize=2993332 memory=11596 CPUtime=3451.71 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 2630242 0 0 0 344512 659 0 0 20 0 3 0 5646439 3065171968 734440 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=2993332 memory=2932200 CPUtime=0.02 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 5646440 3065171968 734440 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 3451.94 s
Current children cumulated vsize: 2993332 KiB
Current children cumulated memory: 2937760 KiB
[startup+3522.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/259 44689
/proc/meminfo: memFree=118080792/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=3075900 memory=2976672 CPUtime=3511.77 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 2681633 0 0 0 350501 676 0 0 20 0 3 0 5646437 3149721600 744168 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 768975 744168 3014 3035 0 753339 0
[pid=42782/tid=42784] ppid=42779 vsize=3075900 memory=2953448 CPUtime=3511.53 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 2676343 0 0 0 350482 671 0 0 20 0 3 0 5646439 3149721600 744168 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=3075900 memory=13120 CPUtime=0.02 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 5646440 3149721600 744168 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 3511.77 s
Current children cumulated vsize: 3075900 KiB
Current children cumulated memory: 2976672 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/259 44699
/proc/meminfo: memFree=117910344/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=3088236 memory=3022988 CPUtime=3571.6 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 2731751 0 0 0 356472 688 0 0 20 0 3 0 5646437 3162353664 755747 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 772059 755747 3014 3035 0 764541 0
[pid=42782/tid=42784] ppid=42779 vsize=3088236 memory=3005000 CPUtime=3571.36 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 2726436 0 0 0 356453 683 0 0 20 0 3 0 5646439 3162353664 755747 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=3088236 memory=11596 CPUtime=0.02 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 5646440 3162353664 755747 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 3571.6 s
Current children cumulated vsize: 3088236 KiB
Current children cumulated memory: 3022988 KiB
[startup+3602.07 s]
# the end of solver process 42782 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.18 s, system=7.1498 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.15 4.11 5/259 44701
/proc/meminfo: memFree=117904432/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=3088236 memory=3023448 CPUtime=3573.3 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 2733212 0 0 0 356641 689 0 0 20 0 3 0 5646437 3162353664 755862 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 772059 755862 3014 3035 0 764637 0
[pid=42782/tid=42784] ppid=42779 vsize=3088236 memory=104 CPUtime=3573.06 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 2727897 0 0 0 356623 683 0 0 20 0 3 0 5646439 3162353664 755862 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=3088236 memory=-7449699757504626112 CPUtime=0.02 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 5646440 3162353664 755862 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 3573.3 s
Current children cumulated vsize: 3088236 KiB
Current children cumulated memory: 3023448 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.15 4.11 5/259 44701
/proc/meminfo: memFree=117887628/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=3089264 memory=3028440 CPUtime=3579.68 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 2741644 0 0 0 357278 690 0 0 20 0 3 0 5646437 3163406336 757110 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 772316 757110 3014 3035 0 765717 0
[pid=42782/tid=42784] ppid=42779 vsize=3089264 memory=3024120 CPUtime=3579.44 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 2736329 0 0 0 357259 685 0 0 20 0 3 0 5646439 3163406336 757110 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=3089264 memory=3024540 CPUtime=0.02 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 5646440 3163406336 757110 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 3579.68 s
Current children cumulated vsize: 3089264 KiB
Current children cumulated memory: 3028440 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.14 4.11 4/250 44734
/proc/meminfo: memFree=121115384/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=3092348 memory=3033628 CPUtime=3586.05 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 2751360 0 0 0 357914 691 0 0 20 0 3 0 5646437 3166564352 758407 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 773087 758407 3014 3035 0 767001 0
[pid=42782/tid=42784] ppid=42779 vsize=3092348 memory=11596 CPUtime=3585.82 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 2746046 0 0 0 357896 686 0 0 20 0 3 0 5646439 3166564352 758407 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=3092348 memory=3030576 CPUtime=0.02 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 5646440 3166564352 758407 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 3586.05 s
Current children cumulated vsize: 3092348 KiB
Current children cumulated memory: 3033628 KiB
[startup+3600 s]*
/proc/loadavg: 4.01 4.13 4.10 4/250 44734
/proc/meminfo: memFree=121431884/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=2772640 memory=2714508 CPUtime=3589.26 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 3012130 0 0 0 358220 706 0 0 20 0 3 0 5646437 2839183360 678627 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 693160 678627 3014 3035 0 687218 0
[pid=42782/tid=42784] ppid=42779 vsize=2772640 memory=-7091597680321846903 CPUtime=3589.02 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 3006897 0 0 0 358201 701 0 0 20 0 3 0 5646439 2839183360 678627 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=2772640 memory=-7449699757504626112 CPUtime=0.02 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 5646440 2839183360 678627 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 3589.26 s
Current children cumulated vsize: 2772640 KiB
Current children cumulated memory: 2714508 KiB
[startup+3600.8 s]
/proc/loadavg: 4.01 4.13 4.10 4/250 44734
/proc/meminfo: memFree=121431884/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=2598908 memory=2540776 CPUtime=3590.05 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 3047790 0 0 0 358296 709 0 0 20 0 3 0 5646437 2661281792 635194 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 649727 635194 3014 3035 0 643785 0
[pid=42782/tid=42784] ppid=42779 vsize=2598908 memory=1832 CPUtime=3589.8 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 3042474 0 0 0 358277 703 0 0 20 0 3 0 5646439 2661281792 635194 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=2598908 memory=11596 CPUtime=0.02 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 5646440 2661281792 635194 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 3590.05 s
Current children cumulated vsize: 2598908 KiB
Current children cumulated memory: 2540776 KiB
[startup+3601.6 s]
/proc/loadavg: 4.01 4.13 4.10 3/241 44765
/proc/meminfo: memFree=124459744/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=2435456 memory=2377328 CPUtime=3590.85 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 3059844 0 0 0 358375 710 0 0 20 0 3 0 5646437 2493906944 594332 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 608864 594332 3014 3035 0 602922 0
[pid=42782/tid=42784] ppid=42779 vsize=2435456 memory=1832 CPUtime=3590.61 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 3054528 0 0 0 358356 705 0 0 20 0 3 0 5646439 2493906944 594332 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=2435456 memory=1944 CPUtime=0.02 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 5646440 2493906944 594332 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 3590.85 s
Current children cumulated vsize: 2435456 KiB
Current children cumulated memory: 2377328 KiB
[startup+3602 s]*
/proc/loadavg: 4.01 4.13 4.10 3/241 44765
/proc/meminfo: memFree=124671032/131524600 swapFree=131071996/131071996
[pid=42782] ppid=42779 vsize=2327460 memory=2286768 CPUtime=3591.25 cores=4,6
/proc/42782/stat : 42782 (fscip) S 42779 42782 42201 0 -1 1077936128 3066876 0 0 0 358414 711 0 0 20 0 3 0 5646437 2383319040 571692 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
/proc/42782/statm: 581865 571692 3014 3035 0 575923 0
[pid=42782/tid=42784] ppid=42779 vsize=2327460 memory=-7091597680321846903 CPUtime=3591.01 cores=4,6
/proc/42782/task/42784/stat : 42784 (fscip) R 42779 42782 42201 0 -1 4194368 3061571 0 0 0 358396 705 0 0 20 0 3 0 5646439 2383319040 571692 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
[pid=42782/tid=42785] ppid=42779 vsize=2327460 memory=-7449699757504626112 CPUtime=0.02 cores=4,6
/proc/42782/task/42785/stat : 42785 (fscip) S 42779 42782 42201 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 5646440 2383319040 571692 134679101440 4194304 16623229 140720756345472 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 54689792 140720756347930 140720756348046 140720756348046 140720756355056 0
Current children cumulated CPU time: 3591.25 s
Current children cumulated vsize: 2327460 KiB
Current children cumulated memory: 2286768 KiB
Child status: 0
Real time (s): 3602.07
CPU time (s): 3591.33
CPU user time (s): 3584.18
CPU system time (s): 7.1498
CPU usage (%): 99.7018
Max. virtual memory (cumulated for all children) (KiB): 3092348
Max. memory (cumulated for all children) (KiB): 3034208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.18
system time used= 7.1498
maximum resident set size= 3034208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3068426
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= 10819
involuntary context switches= 4783
# summary of solver processes directly reported to runsolver:
# pid: 42782
# total CPU time (s): 3591.33
# total CPU user time (s): 3584.18
# total CPU system time (s): 7.1498
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8664 second user time and 17.0597 second system time
The end
Begin job on nodeC030 at 2024-07-31 03:47:25
IDJOB=4464737
IDBENCH=177053
IDSOLVER=3092
FILE ID=nodeC030/4464737-1722390445
RUNJOBID= nodeC030-1722390441-42212
SLURM_JOB_ID= 8249879
Free space on /tmp= 890000 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/evencolouring/linear/normalized-evencolouring_opt_linear_random6regular_nvert_401.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-4464737-1722390445/watcher-4464737-1722390445 -o /tmp/evaluation-result-4464737-1722390445/solver-4464737-1722390445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722390441-42212 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464737-1722390445.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3b07899157a77563e39a517f9d1ebfa4
RANDOM SEED=952791324
nodeC030.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 : 3666.053
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 : 7000.60
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 : 3680.966
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.48
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 : 3601.043
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 : 7000.60
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 : 3631.309
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.48
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 : 3663.806
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 : 7000.60
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 : 3628.075
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.48
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 : 3663.857
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 : 7000.60
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 : 3663.159
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.48
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129469132 kB
MemAvailable: 129836688 kB
Buffers: 106156 kB
Cached: 1095436 kB
SwapCached: 0 kB
Active: 277588 kB
Inactive: 1296456 kB
Active(anon): 1580 kB
Inactive(anon): 392208 kB
Active(file): 276008 kB
Inactive(file): 904248 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 85336 kB
Writeback: 36 kB
AnonPages: 372556 kB
Mapped: 113196 kB
Shmem: 21328 kB
KReclaimable: 54244 kB
Slab: 136520 kB
SReclaimable: 54244 kB
SUnreclaim: 82276 kB
KernelStack: 4116 kB
PageTables: 9960 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 712556 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9504 kB
HardwareCorrupted: 0 kB
AnonHugePages: 169984 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: 221908 kB
DirectMap2M: 6891520 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC030 at 2024-07-31 04:47:28