0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 27381760, getVmSize() = 27381760, SCIPgetMemUsed() = 4522667, SCIPgetMemTotal() = 5854051, SCIPgetMemExternEstim() = 1738680
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.05 c ** Estimated virtualMemUsedAtSolver = 20185088, getVmSize() = 33173504, SCIPgetMemUsed() = 5172786, SCIPgetMemTotal() = 10455770, SCIPgetMemExternEstim() = 1738680
0.00/0.05 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.05 c Original Problem :
0.00/0.05 c Problem name : instance-4457914-1721865125
0.00/0.05 c Variables : 1604 (1604 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 401
0.00/0.05 c Objective sense : minimize
0.00/0.05 c Presolved Problem :
0.00/0.05 c Variables : 1604 (1604 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 401
0.00/0.05 c Constraints : Number
0.00/0.05 c linear : 401
0.00/0.05 c ** Instance transfer method used: 0
0.00/0.06 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.07 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.07 c Nodes Active
0.00/0.07 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.10/0.12 c * 0 0 1 1 29037.0000 - -
1.18/1.25 c * 1 0 1 1 314.0000 - -
3.77/3.80 c * 4 6 6 1 65.0000 0.0000 -
3.98/4.01 c * 4 219 217 1 6.0000 0.0000 -
4.09/4.18 c * 4 219 217 1 3.0000 0.0000 -
4.98/5.07 c 5 530 528 1 3.0000 0.0000 -
7.66/7.74 c * 8 1052 1 1 1.0000 0.0000 -
10.45/10.55 c 11 1597 546 1 1.0000 0.0000 -
15.53/15.63 c 16 4840 3789 1 1.0000 0.0000 -
20.61/20.78 c 21 8291 7227 1 1.0000 0.0000 -
25.79/25.90 c 26 11982 10912 1 1.0000 0.0000 -
30.77/30.98 c 31 15430 14360 1 1.0000 0.0000 -
35.86/36.07 c 36 18926 17856 1 1.0000 0.0000 -
40.94/41.16 c 41 22929 21839 1 1.0000 0.0000 -
46.01/46.24 c 46 26702 25608 1 1.0000 0.0000 -
51.09/51.31 c 51 30537 29433 1 1.0000 0.0000 -
56.07/56.37 c 56 34833 33723 1 1.0000 0.0000 -
61.15/61.49 c 61 39039 37929 1 1.0000 0.0000 -
66.23/66.54 c 67 42594 41476 1 1.0000 0.0000 -
71.41/71.75 c 72 46596 45470 1 1.0000 0.0000 -
76.49/76.86 c 77 50237 49111 1 1.0000 0.0000 -
81.57/81.90 c 82 54287 53155 1 1.0000 0.0000 -
86.55/86.95 c 87 58299 57167 1 1.0000 0.0000 -
91.64/92.03 c 92 62029 60897 1 1.0000 0.0000 -
96.80/97.26 c 97 65547 64415 1 1.0000 0.0000 -
101.88/102.30 c 102 69762 68630 1 1.0000 0.0000 -
106.86/107.36 c 107 73805 72673 1 1.0000 0.0000 -
111.94/112.41 c 112 77853 76717 1 1.0000 0.0000 -
117.12/117.61 c 118 81353 80217 1 1.0000 0.0000 -
122.09/122.66 c 123 85564 84428 1 1.0000 0.0000 -
127.28/127.85 c 128 89687 88551 1 1.0000 0.0000 -
132.35/132.90 c 133 93685 92549 1 1.0000 0.0000 -
137.34/137.95 c 138 97972 96829 1 1.0000 0.0000 -
142.43/143.02 c 143 101910 100767 1 1.0000 0.0000 -
147.41/148.08 c 148 105807 104655 1 1.0000 0.0000 -
152.49/153.13 c 153 109840 108682 1 1.0000 0.0000 -
157.55/158.22 c 158 113826 112658 1 1.0000 0.0000 -
162.53/163.26 c 163 117712 116544 1 1.0000 0.0000 -
167.62/168.31 c 168 121793 120625 1 1.0000 0.0000 -
172.60/173.37 c 173 125774 124606 1 1.0000 0.0000 -
177.68/178.43 c 178 129932 128756 1 1.0000 0.0000 -
182.65/183.48 c 183 133839 132663 1 1.0000 0.0000 -
187.74/188.54 c 189 137854 136678 1 1.0000 0.0000 -
192.81/193.62 c 194 142123 140947 1 1.0000 0.0000 -
197.80/198.67 c 199 146075 144899 1 1.0000 0.0000 -
202.87/203.72 c 204 150052 148876 1 1.0000 0.0000 -
207.86/208.79 c 209 153882 152706 1 1.0000 0.0000 -
213.03/213.94 c 214 157623 156447 1 1.0000 0.0000 -
218.13/219.03 c 219 161436 160260 1 1.0000 0.0000 -
223.11/224.08 c 224 165244 164068 1 1.0000 0.0000 -
228.19/229.18 c 229 169221 168045 1 1.0000 0.0000 -
233.26/234.23 c 234 173267 172040 1 1.0000 0.0000 -
238.35/239.32 c 239 177404 176171 1 1.0000 0.0000 -
243.33/244.39 c 244 181220 179987 1 1.0000 0.0000 -
248.42/249.47 c 249 185220 183971 1 1.0000 0.0000 -
253.51/254.55 c 255 189373 188124 1 1.0000 0.0000 -
258.69/259.71 c 260 193130 191881 1 1.0000 0.0000 -
263.68/264.78 c 265 197204 195955 1 1.0000 0.0000 -
268.75/269.82 c 270 201481 200228 1 1.0000 0.0000 -
273.74/274.87 c 275 205323 204070 1 1.0000 0.0000 -
278.83/279.97 c 280 209475 208222 1 1.0000 0.0000 -
283.92/285.02 c 285 213175 211922 1 1.0000 0.0000 -
288.90/290.07 c 290 217171 215918 1 1.0000 0.0000 -
293.99/295.12 c 295 221068 219815 1 1.0000 0.0000 -
298.97/300.18 c 300 225157 223904 1 1.0000 0.0000 -
304.04/305.26 c 305 228865 227612 1 1.0000 0.0000 -
309.13/310.37 c 310 232812 231559 1 1.0000 0.0000 -
314.21/315.45 c 315 236640 235387 1 1.0000 0.0000 -
319.30/320.50 c 321 240488 239235 1 1.0000 0.0000 -
324.28/325.55 c 326 244208 242955 1 1.0000 0.0000 -
329.36/330.61 c 331 248272 247017 1 1.0000 0.0000 -
334.44/335.72 c 336 251904 250649 1 1.0000 0.0000 -
339.43/340.77 c 341 256035 254780 1 1.0000 0.0000 -
344.62/345.99 c 346 260499 259244 1 1.0000 0.0000 -
349.71/351.05 c 351 264590 263335 1 1.0000 0.0000 -
354.89/356.28 c 356 268931 267668 1 1.0000 0.0000 -
359.97/361.33 c 361 272786 271517 1 1.0000 0.0000 -
365.06/366.40 c 366 276808 275539 1 1.0000 0.0000 -
370.04/371.45 c 371 281164 279895 1 1.0000 0.0000 -
375.22/376.63 c 377 285143 283874 1 1.0000 0.0000 -
380.30/381.71 c 382 289057 287788 1 1.0000 0.0000 -
385.29/386.79 c 387 292955 291686 1 1.0000 0.0000 -
390.37/391.87 c 392 296756 295487 1 1.0000 0.0000 -
395.45/396.99 c 397 300655 299386 1 1.0000 0.0000 -
400.55/402.04 c 402 304886 303617 1 1.0000 0.0000 -
405.54/407.09 c 407 308294 307025 1 1.0000 0.0000 -
410.62/412.16 c 412 312224 310955 1 1.0000 0.0000 -
415.68/417.25 c 417 316147 314864 1 1.0000 0.0000 -
420.77/422.39 c 422 320371 319088 1 1.0000 0.0000 -
425.85/427.46 c 427 324632 323349 1 1.0000 0.0000 -
430.94/432.51 c 433 328485 327202 1 1.0000 0.0000 -
435.92/437.56 c 438 332612 331329 1 1.0000 0.0000 -
441.01/442.69 c 443 336687 335392 1 1.0000 0.0000 -
446.09/447.74 c 448 340467 339172 1 1.0000 0.0000 -
451.17/452.81 c 453 344306 343011 1 1.0000 0.0000 -
456.25/457.95 c 458 348344 347049 1 1.0000 0.0000 -
461.35/463.02 c 463 352496 351201 1 1.0000 0.0000 -
466.53/468.20 c 468 356552 355257 1 1.0000 0.0000 -
471.51/473.25 c 473 360677 359382 1 1.0000 0.0000 -
476.60/478.30 c 478 364580 363285 1 1.0000 0.0000 -
481.68/483.40 c 483 368667 367352 1 1.0000 0.0000 -
486.67/488.45 c 488 372548 371233 1 1.0000 0.0000 -
491.75/493.50 c 494 376193 374878 1 1.0000 0.0000 -
496.73/498.58 c 499 380034 378719 1 1.0000 0.0000 -
501.81/503.66 c 504 383834 382519 1 1.0000 0.0000 -
506.90/508.72 c 509 387679 386364 1 1.0000 0.0000 -
511.88/513.77 c 514 391702 390387 1 1.0000 0.0000 -
517.06/519.01 c 519 395286 393971 1 1.0000 0.0000 -
522.15/524.05 c 524 398711 397396 1 1.0000 0.0000 -
527.14/529.10 c 529 402739 401424 1 1.0000 0.0000 -
532.22/534.16 c 534 406882 405567 1 1.0000 0.0000 -
537.30/539.26 c 539 410569 409254 1 1.0000 0.0000 -
542.47/544.40 c 544 414729 413402 1 1.0000 0.0000 -
547.45/549.45 c 549 418740 417413 1 1.0000 0.0000 -
552.54/554.55 c 555 422480 421153 1 1.0000 0.0000 -
557.52/559.59 c 560 426489 425162 1 1.0000 0.0000 -
562.61/564.64 c 565 430674 429347 1 1.0000 0.0000 -
567.60/569.69 c 570 434644 433305 1 1.0000 0.0000 -
572.77/574.88 c 575 438755 437416 1 1.0000 0.0000 -
577.97/580.08 c 580 442837 441498 1 1.0000 0.0000 -
583.05/585.17 c 585 446743 445404 1 1.0000 0.0000 -
588.13/590.22 c 590 450895 449550 1 1.0000 0.0000 -
593.11/595.27 c 595 454845 453500 1 1.0000 0.0000 -
598.20/600.32 c 600 458874 457527 1 1.0000 0.0000 -
603.18/605.38 c 605 462864 461508 1 1.0000 0.0000 -
608.26/610.42 c 610 466933 465577 1 1.0000 0.0000 -
613.24/615.48 c 615 470763 469398 1 1.0000 0.0000 -
618.33/620.53 c 621 474450 473085 1 1.0000 0.0000 -
623.41/625.65 c 626 478547 477157 1 1.0000 0.0000 -
628.50/630.79 c 631 482562 481168 1 1.0000 0.0000 -
633.58/635.88 c 636 486875 485481 1 1.0000 0.0000 -
638.66/640.96 c 641 490625 489231 1 1.0000 0.0000 -
643.76/646.03 c 646 494332 492938 1 1.0000 0.0000 -
648.74/651.10 c 651 498276 496882 1 1.0000 0.0000 -
654.01/656.30 c 656 502352 500958 1 1.0000 0.0000 -
659.00/661.35 c 661 506182 504786 1 1.0000 0.0000 -
664.08/666.42 c 666 509893 508497 1 1.0000 0.0000 -
669.07/671.47 c 671 513663 512267 1 1.0000 0.0000 -
674.15/676.53 c 677 517579 516183 1 1.0000 0.0000 -
679.53/681.94 c 682 521368 519972 1 1.0000 0.0000 -
684.63/687.01 c 687 525379 523983 1 1.0000 0.0000 -
689.61/692.07 c 692 529237 527831 1 1.0000 0.0000 -
694.70/697.12 c 697 533150 531744 1 1.0000 0.0000 -
699.77/702.27 c 702 536903 535497 1 1.0000 0.0000 -
704.85/707.32 c 707 540572 539166 1 1.0000 0.0000 -
709.93/712.40 c 712 544460 543034 1 1.0000 0.0000 -
714.91/717.46 c 717 548275 546849 1 1.0000 0.0000 -
720.00/722.50 c 723 552337 550911 1 1.0000 0.0000 -
725.09/727.63 c 728 556390 554964 1 1.0000 0.0000 -
730.17/732.73 c 733 560500 559074 1 1.0000 0.0000 -
735.25/737.88 c 738 564599 563173 1 1.0000 0.0000 -
740.33/742.94 c 743 568574 567144 1 1.0000 0.0000 -
745.32/748.01 c 748 572303 570865 1 1.0000 0.0000 -
750.41/753.07 c 753 576386 574948 1 1.0000 0.0000 -
755.68/758.32 c 758 580642 579204 1 1.0000 0.0000 -
760.77/763.48 c 763 584195 582757 1 1.0000 0.0000 -
765.85/768.54 c 769 587717 586279 1 1.0000 0.0000 -
770.83/773.59 c 774 591792 590350 1 1.0000 0.0000 -
776.02/778.74 c 779 595829 594387 1 1.0000 0.0000 -
781.10/783.81 c 784 599309 597867 1 1.0000 0.0000 -
786.19/788.93 c 789 603198 601756 1 1.0000 0.0000 -
791.28/794.03 c 794 607008 605566 1 1.0000 0.0000 -
796.45/799.22 c 799 611134 609676 1 1.0000 0.0000 -
801.43/804.26 c 804 615152 613694 1 1.0000 0.0000 -
806.52/809.32 c 809 618965 617503 1 1.0000 0.0000 -
811.51/814.38 c 814 622863 621401 1 1.0000 0.0000 -
816.58/819.43 c 819 626977 625515 1 1.0000 0.0000 -
821.67/824.56 c 825 630907 629427 1 1.0000 0.0000 -
826.76/829.66 c 830 634955 633475 1 1.0000 0.0000 -
832.04/834.94 c 835 639097 637617 1 1.0000 0.0000 -
837.13/840.02 c 840 643062 641582 1 1.0000 0.0000 -
842.11/845.09 c 845 646741 645261 1 1.0000 0.0000 -
847.20/850.15 c 850 650583 649103 1 1.0000 0.0000 -
852.27/855.20 c 855 654600 653100 1 1.0000 0.0000 -
857.26/860.25 c 860 658672 657172 1 1.0000 0.0000 -
862.44/865.40 c 865 662754 661254 1 1.0000 0.0000 -
867.42/870.47 c 870 666797 665297 1 1.0000 0.0000 -
872.60/875.62 c 876 670933 669431 1 1.0000 0.0000 -
877.79/880.80 c 881 674869 673363 1 1.0000 0.0000 -
882.99/886.03 c 886 679102 677596 1 1.0000 0.0000 -
887.97/891.07 c 891 682927 681421 1 1.0000 0.0000 -
893.34/896.43 c 896 686879 685373 1 1.0000 0.0000 -
898.42/901.51 c 902 690531 689025 1 1.0000 0.0000 -
903.40/906.57 c 907 694461 692955 1 1.0000 0.0000 -
908.59/911.71 c 912 698660 697140 1 1.0000 0.0000 -
913.68/916.88 c 917 702775 701255 1 1.0000 0.0000 -
918.76/921.94 c 922 706288 704768 1 1.0000 0.0000 -
923.74/926.99 c 927 710127 708593 1 1.0000 0.0000 -
928.83/932.05 c 932 714226 712670 1 1.0000 0.0000 -
934.01/937.24 c 937 718112 716536 1 1.0000 0.0000 -
938.99/942.29 c 942 722168 720592 1 1.0000 0.0000 -
944.07/947.37 c 947 726096 724510 1 1.0000 0.0000 -
949.16/952.41 c 952 730141 728555 1 1.0000 0.0000 -
954.24/957.53 c 958 734175 732589 1 1.0000 0.0000 -
959.43/962.72 c 963 737954 736368 1 1.0000 0.0000 -
964.51/967.80 c 968 742034 740440 1 1.0000 0.0000 -
969.80/973.16 c 973 746057 744463 1 1.0000 0.0000 -
974.87/978.21 c 978 750130 748536 1 1.0000 0.0000 -
979.86/983.27 c 983 754095 752499 1 1.0000 0.0000 -
985.05/988.41 c 988 758190 756594 1 1.0000 0.0000 -
990.13/993.58 c 994 762175 760579 1 1.0000 0.0000 -
995.21/998.69 c 999 766234 764604 1 1.0000 0.0000 -
1000.29/1003.77 c 1004 770207 768563 1 1.0000 0.0000 -
1005.37/1008.89 c 1009 774086 772442 1 1.0000 0.0000 -
1010.46/1013.96 c 1014 778083 776439 1 1.0000 0.0000 -
1015.55/1019.01 c 1019 782071 780427 1 1.0000 0.0000 -
1020.71/1024.25 c 1024 786106 784462 1 1.0000 0.0000 -
1026.00/1029.54 c 1030 790122 788478 1 1.0000 0.0000 -
1030.97/1034.59 c 1035 793817 792173 1 1.0000 0.0000 -
1036.06/1039.65 c 1040 797959 796315 1 1.0000 0.0000 -
1041.14/1044.76 c 1045 802082 800438 1 1.0000 0.0000 -
1046.54/1050.12 c 1050 806046 804402 1 1.0000 0.0000 -
1051.61/1055.20 c 1055 810153 808509 1 1.0000 0.0000 -
1056.70/1060.36 c 1060 814231 812587 1 1.0000 0.0000 -
1061.77/1065.41 c 1065 818019 816375 1 1.0000 0.0000 -
1066.96/1070.63 c 1071 822292 820648 1 1.0000 0.0000 -
1072.04/1075.71 c 1076 826138 824492 1 1.0000 0.0000 -
1077.02/1080.76 c 1081 830025 828371 1 1.0000 0.0000 -
1082.11/1085.82 c 1086 833947 832293 1 1.0000 0.0000 -
1087.19/1090.98 c 1091 837988 836330 1 1.0000 0.0000 -
1092.39/1096.15 c 1096 841710 840052 1 1.0000 0.0000 -
1097.46/1101.20 c 1101 845502 843844 1 1.0000 0.0000 -
1102.44/1106.26 c 1106 849396 847738 1 1.0000 0.0000 -
1107.53/1111.36 c 1111 853316 851654 1 1.0000 0.0000 -
1112.70/1116.57 c 1117 857111 855449 1 1.0000 0.0000 -
1117.78/1121.62 c 1122 861036 859374 1 1.0000 0.0000 -
1122.87/1126.71 c 1127 864944 863251 1 1.0000 0.0000 -
1127.95/1131.81 c 1132 868939 867246 1 1.0000 0.0000 -
1133.03/1136.90 c 1137 872908 871215 1 1.0000 0.0000 -
1138.13/1142.04 c 1142 877034 875332 1 1.0000 0.0000 -
1143.21/1147.18 c 1147 880609 878907 1 1.0000 0.0000 -
1148.29/1152.23 c 1152 884612 882910 1 1.0000 0.0000 -
1153.27/1157.28 c 1157 888192 886472 1 1.0000 0.0000 -
1158.35/1162.33 c 1162 892188 890456 1 1.0000 0.0000 -
1163.74/1167.70 c 1168 895781 894049 1 1.0000 0.0000 -
1168.72/1172.77 c 1173 899611 897879 1 1.0000 0.0000 -
1173.90/1177.98 c 1178 903521 901789 1 1.0000 0.0000 -
1178.99/1183.07 c 1183 906917 905185 1 1.0000 0.0000 -
1184.07/1188.18 c 1188 910829 909097 1 1.0000 0.0000 -
1189.24/1193.34 c 1193 914426 912694 1 1.0000 0.0000 -
1194.43/1198.50 c 1198 918313 916581 1 1.0000 0.0000 -
1199.40/1203.58 c 1204 922316 920584 1 1.0000 0.0000 -
1204.59/1208.71 c 1209 926346 924614 1 1.0000 0.0000 -
1209.57/1213.79 c 1214 930312 928580 1 1.0000 0.0000 -
1214.66/1218.84 c 1219 934281 932549 1 1.0000 0.0000 -
1219.74/1223.92 c 1224 937688 935956 1 1.0000 0.0000 -
1224.94/1229.19 c 1229 941670 939938 1 1.0000 0.0000 -
1230.01/1234.28 c 1234 945694 943954 1 1.0000 0.0000 -
1235.49/1239.72 c 1240 949832 948087 1 1.0000 0.0000 -
1240.78/1245.07 c 1245 953599 951854 1 1.0000 0.0000 -
1245.87/1250.14 c 1250 957639 955894 1 1.0000 0.0000 -
1251.04/1255.36 c 1255 961603 959858 1 1.0000 0.0000 -
1256.22/1260.58 c 1261 965741 963996 1 1.0000 0.0000 -
1261.31/1265.65 c 1266 969624 967859 1 1.0000 0.0000 -
1266.38/1270.73 c 1271 973506 971741 1 1.0000 0.0000 -
1271.47/1275.80 c 1276 977348 975583 1 1.0000 0.0000 -
1276.66/1281.02 c 1281 981438 979673 1 1.0000 0.0000 -
1281.65/1286.07 c 1286 985516 983751 1 1.0000 0.0000 -
1286.73/1291.14 c 1291 989362 987597 1 1.0000 0.0000 -
1291.90/1296.32 c 1296 993286 991515 1 1.0000 0.0000 -
1296.98/1301.47 c 1301 997222 995441 1 1.0000 0.0000 -
1302.07/1306.52 c 1307 1000815 999034 1 1.0000 0.0000 -
1307.06/1311.57 c 1312 1004452 1002671 1 1.0000 0.0000 -
1312.13/1316.62 c 1317 1008005 1006224 1 1.0000 0.0000 -
1317.42/1321.99 c 1322 1012006 1010225 1 1.0000 0.0000 -
1322.50/1327.03 c 1327 1015759 1013978 1 1.0000 0.0000 -
1327.59/1332.17 c 1332 1019687 1017906 1 1.0000 0.0000 -
1332.66/1337.24 c 1337 1023521 1021726 1 1.0000 0.0000 -
1338.04/1342.61 c 1343 1027424 1025620 1 1.0000 0.0000 -
1343.02/1347.68 c 1348 1031393 1029587 1 1.0000 0.0000 -
1348.42/1353.06 c 1353 1035581 1033775 1 1.0000 0.0000 -
1353.78/1358.45 c 1358 1039767 1037953 1 1.0000 0.0000 -
1359.07/1363.74 c 1364 1043969 1042155 1 1.0000 0.0000 -
1364.06/1368.79 c 1369 1047815 1046001 1 1.0000 0.0000 -
1369.14/1373.87 c 1374 1051349 1049535 1 1.0000 0.0000 -
1374.33/1379.05 c 1379 1055290 1053476 1 1.0000 0.0000 -
1379.60/1384.31 c 1384 1058997 1057183 1 1.0000 0.0000 -
1384.59/1389.38 c 1389 1062413 1060599 1 1.0000 0.0000 -
1389.67/1394.44 c 1394 1066117 1064303 1 1.0000 0.0000 -
1394.76/1399.56 c 1400 1070007 1068193 1 1.0000 0.0000 -
1399.84/1404.63 c 1405 1074120 1072294 1 1.0000 0.0000 -
1405.02/1409.83 c 1410 1078103 1076273 1 1.0000 0.0000 -
1410.22/1415.01 c 1415 1081990 1080160 1 1.0000 0.0000 -
1415.21/1420.06 c 1420 1085772 1083928 1 1.0000 0.0000 -
1420.28/1425.14 c 1425 1089875 1088027 1 1.0000 0.0000 -
1425.35/1430.23 c 1430 1093667 1091815 1 1.0000 0.0000 -
1430.44/1435.30 c 1435 1097780 1095928 1 1.0000 0.0000 -
1435.42/1440.39 c 1440 1101632 1099780 1 1.0000 0.0000 -
1440.51/1445.45 c 1445 1105430 1103578 1 1.0000 0.0000 -
1445.59/1450.51 c 1451 1109399 1107547 1 1.0000 0.0000 -
1450.68/1455.60 c 1456 1112992 1111140 1 1.0000 0.0000 -
1455.76/1460.71 c 1461 1116953 1115095 1 1.0000 0.0000 -
1460.75/1465.77 c 1466 1120851 1118971 1 1.0000 0.0000 -
1466.14/1471.13 c 1471 1124646 1122766 1 1.0000 0.0000 -
1471.31/1476.36 c 1476 1128231 1126351 1 1.0000 0.0000 -
1476.39/1481.47 c 1481 1132025 1130145 1 1.0000 0.0000 -
1481.48/1486.52 c 1487 1135544 1133664 1 1.0000 0.0000 -
1486.57/1491.66 c 1492 1138876 1136996 1 1.0000 0.0000 -
1491.95/1497.01 c 1497 1142727 1140847 1 1.0000 0.0000 -
1497.04/1502.18 c 1502 1146530 1144650 1 1.0000 0.0000 -
1502.31/1507.41 c 1507 1150286 1148406 1 1.0000 0.0000 -
1507.30/1512.49 c 1512 1153859 1151979 1 1.0000 0.0000 -
1512.58/1517.78 c 1518 1157526 1155646 1 1.0000 0.0000 -
1517.67/1522.89 c 1523 1161629 1159749 1 1.0000 0.0000 -
1522.74/1527.93 c 1528 1165097 1163217 1 1.0000 0.0000 -
1527.73/1532.99 c 1533 1169091 1167211 1 1.0000 0.0000 -
1533.12/1538.30 c 1538 1173252 1171366 1 1.0000 0.0000 -
1538.19/1543.49 c 1544 1176873 1174985 1 1.0000 0.0000 -
1543.48/1548.73 c 1549 1180879 1178991 1 1.0000 0.0000 -
1548.57/1553.82 c 1554 1184660 1182772 1 1.0000 0.0000 -
1553.65/1558.91 c 1559 1188530 1186642 1 1.0000 0.0000 -
1558.63/1563.97 c 1564 1192420 1190516 1 1.0000 0.0000 -
1563.91/1569.29 c 1569 1195980 1194076 1 1.0000 0.0000 -
1568.99/1574.37 c 1574 1200036 1198132 1 1.0000 0.0000 -
1574.18/1579.58 c 1580 1203988 1202074 1 1.0000 0.0000 -
1579.46/1584.86 c 1585 1207604 1205662 1 1.0000 0.0000 -
1584.65/1590.03 c 1590 1211577 1209635 1 1.0000 0.0000 -
1589.64/1595.07 c 1595 1215218 1213276 1 1.0000 0.0000 -
1595.31/1600.77 c 1601 1219000 1217058 1 1.0000 0.0000 -
1600.50/1605.91 c 1606 1222696 1220738 1 1.0000 0.0000 -
1605.70/1611.19 c 1611 1227012 1225054 1 1.0000 0.0000 -
1610.96/1616.48 c 1616 1230557 1228599 1 1.0000 0.0000 -
1616.05/1621.53 c 1622 1234839 1232881 1 1.0000 0.0000 -
1621.03/1626.58 c 1627 1238703 1236725 1 1.0000 0.0000 -
1626.12/1631.63 c 1632 1242250 1240272 1 1.0000 0.0000 -
1631.39/1636.95 c 1637 1246267 1244275 1 1.0000 0.0000 -
1636.50/1642.01 c 1642 1249978 1247986 1 1.0000 0.0000 -
1641.48/1647.10 c 1647 1253738 1251746 1 1.0000 0.0000 -
1646.65/1652.26 c 1652 1257413 1255421 1 1.0000 0.0000 -
1652.13/1657.73 c 1658 1261790 1259798 1 1.0000 0.0000 -
1657.12/1662.79 c 1663 1265602 1263602 1 1.0000 0.0000 -
1662.41/1668.06 c 1668 1269395 1267377 1 1.0000 0.0000 -
1667.58/1673.29 c 1673 1273410 1271392 1 1.0000 0.0000 -
1672.67/1678.34 c 1678 1277186 1275168 1 1.0000 0.0000 -
1677.76/1683.45 c 1683 1280839 1278821 1 1.0000 0.0000 -
1682.84/1688.51 c 1689 1284555 1282537 1 1.0000 0.0000 -
1687.82/1693.59 c 1694 1288520 1286489 1 1.0000 0.0000 -
1692.91/1698.63 c 1699 1292197 1290166 1 1.0000 0.0000 -
1698.29/1704.06 c 1704 1296060 1294029 1 1.0000 0.0000 -
1703.38/1709.19 c 1709 1299973 1297942 1 1.0000 0.0000 -
1708.55/1714.38 c 1714 1303512 1301477 1 1.0000 0.0000 -
1713.64/1719.43 c 1719 1307394 1305359 1 1.0000 0.0000 -
1719.02/1724.83 c 1725 1311487 1309452 1 1.0000 0.0000 -
1724.01/1729.88 c 1730 1315123 1313088 1 1.0000 0.0000 -
1729.09/1734.98 c 1735 1319066 1317031 1 1.0000 0.0000 -
1734.18/1740.03 c 1740 1322721 1320672 1 1.0000 0.0000 -
1739.55/1745.45 c 1745 1326791 1324740 1 1.0000 0.0000 -
1744.63/1750.55 c 1751 1330776 1328711 1 1.0000 0.0000 -
1749.72/1755.65 c 1756 1334533 1332468 1 1.0000 0.0000 -
1755.22/1761.13 c 1761 1338088 1336023 1 1.0000 0.0000 -
1760.59/1766.56 c 1767 1342233 1340168 1 1.0000 0.0000 -
1765.67/1771.61 c 1772 1346119 1344054 1 1.0000 0.0000 -
1770.66/1776.66 c 1777 1349745 1347680 1 1.0000 0.0000 -
1775.84/1781.88 c 1782 1353914 1351849 1 1.0000 0.0000 -
1781.04/1787.08 c 1787 1357795 1355724 1 1.0000 0.0000 -
1786.12/1792.15 c 1792 1361302 1359231 1 1.0000 0.0000 -
1791.29/1797.37 c 1797 1365234 1363163 1 1.0000 0.0000 -
1796.87/1802.96 c 1803 1368984 1366913 1 1.0000 0.0000 -
1801.96/1808.01 c 1808 1373126 1371033 1 1.0000 0.0000 -
1806.95/1813.06 c 1813 1376698 1374605 1 1.0000 0.0000 -
1812.12/1818.24 c 1818 1380550 1378455 1 1.0000 0.0000 -
1817.20/1823.31 c 1823 1384267 1382169 1 1.0000 0.0000 -
1822.48/1828.61 c 1829 1388363 1386247 1 1.0000 0.0000 -
1827.67/1833.80 c 1834 1392079 1389963 1 1.0000 0.0000 -
1832.87/1839.10 c 1839 1396085 1393969 1 1.0000 0.0000 -
1838.14/1844.31 c 1844 1400157 1398029 1 1.0000 0.0000 -
1843.12/1849.36 c 1849 1403979 1401846 1 1.0000 0.0000 -
1848.20/1854.45 c 1854 1407494 1405361 1 1.0000 0.0000 -
1853.80/1860.03 c 1860 1411172 1409039 1 1.0000 0.0000 -
1858.78/1865.10 c 1865 1415127 1412992 1 1.0000 0.0000 -
1863.95/1870.21 c 1870 1418455 1416314 1 1.0000 0.0000 -
1868.94/1875.26 c 1875 1422477 1420336 1 1.0000 0.0000 -
1874.62/1880.91 c 1881 1426285 1424128 1 1.0000 0.0000 -
1879.72/1886.03 c 1886 1430063 1427890 1 1.0000 0.0000 -
1884.98/1891.35 c 1891 1434132 1431927 1 1.0000 0.0000 -
1890.17/1896.53 c 1897 1437995 1435790 1 1.0000 0.0000 -
1895.16/1901.57 c 1902 1441630 1439425 1 1.0000 0.0000 -
1900.24/1906.63 c 1907 1445120 1442907 1 1.0000 0.0000 -
1905.52/1912.01 c 1912 1448938 1446725 1 1.0000 0.0000 -
1910.91/1917.39 c 1917 1453125 1450898 1 1.0000 0.0000 -
1915.99/1922.44 c 1922 1456754 1454527 1 1.0000 0.0000 -
1921.07/1927.56 c 1928 1460444 1458217 1 1.0000 0.0000 -
1926.45/1932.99 c 1933 1464225 1461992 1 1.0000 0.0000 -
1931.84/1938.31 c 1938 1468128 1465895 1 1.0000 0.0000 -
1936.82/1943.35 c 1943 1471497 1469264 1 1.0000 0.0000 -
1942.00/1948.57 c 1949 1475706 1473473 1 1.0000 0.0000 -
1947.08/1953.63 c 1954 1479562 1477327 1 1.0000 0.0000 -
1952.07/1958.69 c 1959 1483218 1480983 1 1.0000 0.0000 -
1957.25/1963.81 c 1964 1487097 1484828 1 1.0000 0.0000 -
1962.63/1969.25 c 1969 1491176 1488907 1 1.0000 0.0000 -
1968.02/1974.62 c 1975 1495095 1492826 1 1.0000 0.0000 -
1973.30/1979.97 c 1980 1499124 1496853 1 1.0000 0.0000 -
1978.39/1985.05 c 1985 1502746 1500473 1 1.0000 0.0000 -
1983.48/1990.11 c 1990 1506588 1504315 1 1.0000 0.0000 -
1988.85/1995.56 c 1996 1510471 1508198 1 1.0000 0.0000 -
1993.94/2000.62 c 2001 1514267 1511988 1 1.0000 0.0000 -
1999.11/2005.89 c 2006 1517768 1515489 1 1.0000 0.0000 -
2004.20/2010.97 c 2011 1521729 1519438 1 1.0000 0.0000 -
2009.29/2016.03 c 2016 1525272 1522961 1 1.0000 0.0000 -
2014.57/2021.37 c 2021 1529217 1526896 1 1.0000 0.0000 -
2019.65/2026.47 c 2026 1532682 1530361 1 1.0000 0.0000 -
2024.74/2031.52 c 2032 1536277 1533938 1 1.0000 0.0000 -
2029.71/2036.57 c 2037 1539944 1537603 1 1.0000 0.0000 -
2034.80/2041.62 c 2042 1543650 1541309 1 1.0000 0.0000 -
2040.19/2047.03 c 2047 1547736 1545395 1 1.0000 0.0000 -
2045.18/2052.09 c 2052 1551192 1548851 1 1.0000 0.0000 -
2050.26/2057.14 c 2057 1555302 1552927 1 1.0000 0.0000 -
2055.53/2062.41 c 2062 1558989 1556610 1 1.0000 0.0000 -
2060.72/2067.62 c 2068 1562772 1560391 1 1.0000 0.0000 -
2066.11/2073.03 c 2073 1566622 1564241 1 1.0000 0.0000 -
2071.19/2078.12 c 2078 1570631 1568250 1 1.0000 0.0000 -
2076.18/2083.18 c 2083 1574260 1571869 1 1.0000 0.0000 -
2081.65/2088.60 c 2089 1578276 1575881 1 1.0000 0.0000 -
2086.83/2093.87 c 2094 1581905 1579510 1 1.0000 0.0000 -
2091.92/2098.92 c 2099 1585425 1583004 1 1.0000 0.0000 -
2097.11/2104.16 c 2104 1589453 1587032 1 1.0000 0.0000 -
2102.58/2109.67 c 2110 1593338 1590903 1 1.0000 0.0000 -
2107.66/2114.71 c 2115 1597454 1595011 1 1.0000 0.0000 -
2113.06/2120.19 c 2120 1601572 1599114 1 1.0000 0.0000 -
2118.14/2125.26 c 2125 1605234 1602776 1 1.0000 0.0000 -
2123.22/2130.35 c 2130 1608895 1606437 1 1.0000 0.0000 -
2128.20/2135.39 c 2135 1612238 1609780 1 1.0000 0.0000 -
2133.28/2140.46 c 2140 1616182 1613718 1 1.0000 0.0000 -
2138.37/2145.51 c 2146 1619780 1617308 1 1.0000 0.0000 -
2143.35/2150.58 c 2151 1623390 1620912 1 1.0000 0.0000 -
2148.43/2155.63 c 2156 1627136 1624658 1 1.0000 0.0000 -
2153.71/2161.01 c 2161 1631051 1628573 1 1.0000 0.0000 -
2158.80/2166.06 c 2166 1634570 1632084 1 1.0000 0.0000 -
2163.89/2171.13 c 2171 1638197 1635711 1 1.0000 0.0000 -
2168.87/2176.19 c 2176 1641447 1638961 1 1.0000 0.0000 -
2173.94/2181.25 c 2181 1645323 1642803 1 1.0000 0.0000 -
2179.13/2186.41 c 2186 1648654 1646128 1 1.0000 0.0000 -
2184.11/2191.49 c 2192 1652447 1649921 1 1.0000 0.0000 -
2189.40/2196.73 c 2197 1656272 1653746 1 1.0000 0.0000 -
2195.18/2202.52 c 2203 1660106 1657580 1 1.0000 0.0000 -
2200.16/2207.59 c 2208 1664092 1661560 1 1.0000 0.0000 -
2205.65/2213.02 c 2213 1667919 1665365 1 1.0000 0.0000 -
2210.93/2218.31 c 2218 1671971 1669411 1 1.0000 0.0000 -
2216.11/2223.55 c 2224 1675574 1673002 1 1.0000 0.0000 -
2221.19/2228.60 c 2229 1679633 1677061 1 1.0000 0.0000 -
2226.17/2233.66 c 2234 1682951 1680379 1 1.0000 0.0000 -
2231.26/2238.73 c 2239 1686401 1683793 1 1.0000 0.0000 -
2236.34/2243.80 c 2244 1690461 1687853 1 1.0000 0.0000 -
2241.42/2248.96 c 2249 1693958 1691350 1 1.0000 0.0000 -
2246.52/2254.01 c 2254 1698070 1695462 1 1.0000 0.0000 -
2251.50/2259.08 c 2259 1701785 1699177 1 1.0000 0.0000 -
2256.67/2264.20 c 2264 1705436 1702828 1 1.0000 0.0000 -
2261.86/2269.47 c 2269 1708952 1706342 1 1.0000 0.0000 -
2266.94/2274.56 c 2275 1713037 1710403 1 1.0000 0.0000 -
2272.02/2279.61 c 2280 1716683 1714049 1 1.0000 0.0000 -
2277.21/2284.88 c 2285 1720471 1717825 1 1.0000 0.0000 -
2282.59/2290.26 c 2290 1724232 1721580 1 1.0000 0.0000 -
2287.77/2295.43 c 2295 1727782 1725130 1 1.0000 0.0000 -
2292.86/2300.58 c 2301 1731628 1728966 1 1.0000 0.0000 -
2297.94/2305.69 c 2306 1735462 1732784 1 1.0000 0.0000 -
2303.23/2310.97 c 2311 1738887 1736209 1 1.0000 0.0000 -
2308.81/2316.58 c 2317 1742618 1739940 1 1.0000 0.0000 -
2314.30/2322.07 c 2322 1746392 1743714 1 1.0000 0.0000 -
2319.38/2327.14 c 2327 1750047 1747369 1 1.0000 0.0000 -
2324.66/2332.44 c 2332 1753934 1751256 1 1.0000 0.0000 -
2330.04/2337.82 c 2338 1757492 1754814 1 1.0000 0.0000 -
2335.43/2343.27 c 2343 1761134 1758456 1 1.0000 0.0000 -
2340.61/2348.44 c 2348 1764882 1762204 1 1.0000 0.0000 -
2345.59/2353.48 c 2353 1768485 1765807 1 1.0000 0.0000 -
2350.77/2358.61 c 2359 1772076 1769398 1 1.0000 0.0000 -
2355.86/2363.76 c 2364 1775847 1773165 1 1.0000 0.0000 -
2360.95/2368.87 c 2369 1779649 1776967 1 1.0000 0.0000 -
2366.02/2373.94 c 2374 1783171 1780489 1 1.0000 0.0000 -
2371.01/2379.01 c 2379 1786808 1784112 1 1.0000 0.0000 -
2376.70/2384.60 c 2385 1790865 1788157 1 1.0000 0.0000 -
2382.08/2390.04 c 2390 1794993 1792285 1 1.0000 0.0000 -
2387.26/2395.28 c 2395 1798797 1796089 1 1.0000 0.0000 -
2392.44/2400.46 c 2400 1802332 1799624 1 1.0000 0.0000 -
2397.93/2405.92 c 2406 1806040 1803332 1 1.0000 0.0000 -
2403.02/2411.07 c 2411 1809767 1807025 1 1.0000 0.0000 -
2408.10/2416.14 c 2416 1813077 1810335 1 1.0000 0.0000 -
2413.17/2421.26 c 2421 1816902 1814131 1 1.0000 0.0000 -
2418.26/2426.31 c 2426 1820403 1817632 1 1.0000 0.0000 -
2423.54/2431.67 c 2432 1823818 1821047 1 1.0000 0.0000 -
2429.32/2437.41 c 2437 1827992 1825221 1 1.0000 0.0000 -
2434.50/2442.63 c 2443 1831912 1829141 1 1.0000 0.0000 -
2439.49/2447.67 c 2448 1835793 1833014 1 1.0000 0.0000 -
2444.78/2452.95 c 2453 1839575 1836796 1 1.0000 0.0000 -
2450.06/2458.20 c 2458 1842993 1840194 1 1.0000 0.0000 -
2455.14/2463.37 c 2463 1846662 1843863 1 1.0000 0.0000 -
2460.23/2468.42 c 2468 1850710 1847885 1 1.0000 0.0000 -
2465.22/2473.48 c 2473 1854045 1851216 1 1.0000 0.0000 -
2470.29/2478.56 c 2479 1857655 1854826 1 1.0000 0.0000 -
2475.67/2483.91 c 2484 1861513 1858684 1 1.0000 0.0000 -
2480.77/2489.08 c 2489 1865365 1862533 1 1.0000 0.0000 -
2485.85/2494.13 c 2494 1869109 1866265 1 1.0000 0.0000 -
2491.33/2499.65 c 2500 1873107 1870263 1 1.0000 0.0000 -
2496.41/2504.74 c 2505 1876830 1873982 1 1.0000 0.0000 -
2501.39/2509.79 c 2510 1880279 1877403 1 1.0000 0.0000 -
2506.57/2514.99 c 2515 1884038 1881157 1 1.0000 0.0000 -
2511.67/2520.10 c 2520 1887592 1884711 1 1.0000 0.0000 -
2516.76/2525.18 c 2525 1890916 1888035 1 1.0000 0.0000 -
2521.82/2530.23 c 2530 1894580 1891664 1 1.0000 0.0000 -
2526.91/2535.30 c 2535 1898330 1895406 1 1.0000 0.0000 -
2531.90/2540.36 c 2540 1901920 1898992 1 1.0000 0.0000 -
2537.07/2545.52 c 2546 1905662 1902734 1 1.0000 0.0000 -
2542.36/2550.84 c 2551 1909244 1906300 1 1.0000 0.0000 -
2547.84/2556.30 c 2556 1913067 1910105 1 1.0000 0.0000 -
2552.82/2561.38 c 2561 1917073 1914101 1 1.0000 0.0000 -
2558.21/2566.78 c 2567 1920492 1917520 1 1.0000 0.0000 -
2563.61/2572.11 c 2572 1924384 1921392 1 1.0000 0.0000 -
2568.77/2577.32 c 2577 1928379 1925387 1 1.0000 0.0000 -
2574.15/2582.77 c 2583 1932158 1929166 1 1.0000 0.0000 -
2579.34/2587.98 c 2588 1935760 1932722 1 1.0000 0.0000 -
2584.44/2593.10 c 2593 1939507 1936469 1 1.0000 0.0000 -
2590.42/2599.06 c 2599 1943484 1940426 1 1.0000 0.0000 -
2595.50/2604.11 c 2604 1946868 1943810 1 1.0000 0.0000 -
2600.77/2609.47 c 2609 1950909 1947847 1 1.0000 0.0000 -
2606.25/2614.98 c 2615 1954772 1951710 1 1.0000 0.0000 -
2611.35/2620.04 c 2620 1958575 1955513 1 1.0000 0.0000 -
2616.72/2625.46 c 2625 1962352 1959290 1 1.0000 0.0000 -
2621.90/2630.66 c 2631 1965759 1962697 1 1.0000 0.0000 -
2626.99/2635.71 c 2636 1969152 1966068 1 1.0000 0.0000 -
2632.06/2640.82 c 2641 1972977 1969877 1 1.0000 0.0000 -
2637.15/2645.92 c 2646 1976702 1973600 1 1.0000 0.0000 -
2642.13/2650.97 c 2651 1979797 1976695 1 1.0000 0.0000 -
2647.72/2656.52 c 2657 1983616 1980508 1 1.0000 0.0000 -
2653.10/2661.93 c 2662 1987398 1984286 1 1.0000 0.0000 -
2658.38/2667.21 c 2667 1991365 1988253 1 1.0000 0.0000 -
2663.36/2672.26 c 2672 1994831 1991699 1 1.0000 0.0000 -
2668.45/2677.33 c 2677 1998502 1995370 1 1.0000 0.0000 -
2673.73/2682.62 c 2683 2002077 1998943 1 1.0000 0.0000 -
2678.81/2687.73 c 2688 2005636 2002496 1 1.0000 0.0000 -
2684.00/2693.01 c 2693 2009561 2006397 1 1.0000 0.0000 -
2689.28/2698.21 c 2698 2013139 2009975 1 1.0000 0.0000 -
2694.36/2703.34 c 2703 2016750 2013566 1 1.0000 0.0000 -
2699.55/2708.56 c 2709 2020445 2017233 1 1.0000 0.0000 -
2704.83/2713.86 c 2714 2024112 2020878 1 1.0000 0.0000 -
2709.91/2718.92 c 2719 2027783 2024549 1 1.0000 0.0000 -
2715.29/2724.30 c 2724 2031559 2028311 1 1.0000 0.0000 -
2720.68/2729.79 c 2730 2035413 2032155 1 1.0000 0.0000 -
2726.36/2735.41 c 2735 2039508 2036250 1 1.0000 0.0000 -
2731.34/2740.48 c 2740 2043220 2039962 1 1.0000 0.0000 -
2736.73/2745.83 c 2746 2046893 2043596 1 1.0000 0.0000 -
2742.02/2751.15 c 2751 2050810 2047509 1 1.0000 0.0000 -
2747.09/2756.26 c 2756 2054324 2051023 1 1.0000 0.0000 -
2752.17/2761.32 c 2761 2057826 2054509 1 1.0000 0.0000 -
2757.45/2766.66 c 2767 2061762 2058443 1 1.0000 0.0000 -
2762.64/2771.84 c 2772 2065568 2062245 1 1.0000 0.0000 -
2768.03/2777.28 c 2777 2069294 2065971 1 1.0000 0.0000 -
2773.61/2782.81 c 2783 2073126 2069803 1 1.0000 0.0000 -
2778.69/2787.97 c 2788 2076970 2073627 1 1.0000 0.0000 -
2783.78/2793.04 c 2793 2080622 2077269 1 1.0000 0.0000 -
2788.87/2798.11 c 2798 2084255 2080902 1 1.0000 0.0000 -
2794.04/2803.37 c 2803 2087978 2084619 1 1.0000 0.0000 -
2799.42/2808.77 c 2809 2091767 2088398 1 1.0000 0.0000 -
2804.51/2813.83 c 2814 2095506 2092137 1 1.0000 0.0000 -
2809.49/2818.88 c 2819 2099274 2095867 1 1.0000 0.0000 -
2814.58/2823.93 c 2824 2102712 2099305 1 1.0000 0.0000 -
2820.15/2829.50 c 2830 2106840 2103431 1 1.0000 0.0000 -
2825.14/2834.58 c 2835 2110350 2106919 1 1.0000 0.0000 -
2830.63/2840.06 c 2840 2114007 2110572 1 1.0000 0.0000 -
2835.71/2845.11 c 2845 2117760 2114319 1 1.0000 0.0000 -
2841.29/2850.76 c 2851 2121537 2118096 1 1.0000 0.0000 -
2846.37/2855.83 c 2856 2125010 2121569 1 1.0000 0.0000 -
2851.85/2861.36 c 2861 2128984 2125543 1 1.0000 0.0000 -
2857.24/2866.72 c 2867 2132806 2129349 1 1.0000 0.0000 -
2862.42/2871.97 c 2872 2136399 2132942 1 1.0000 0.0000 -
2867.50/2877.01 c 2877 2139759 2136302 1 1.0000 0.0000 -
2872.49/2882.06 c 2882 2143261 2139804 1 1.0000 0.0000 -
2877.57/2887.15 c 2887 2146634 2143173 1 1.0000 0.0000 -
2882.55/2892.19 c 2892 2150462 2146999 1 1.0000 0.0000 -
2887.73/2897.34 c 2897 2154145 2150682 1 1.0000 0.0000 -
2892.81/2902.44 c 2902 2157525 2154058 1 1.0000 0.0000 -
2897.79/2907.48 c 2907 2161110 2157634 1 1.0000 0.0000 -
2903.08/2912.70 c 2913 2164315 2160839 1 1.0000 0.0000 -
2908.26/2917.99 c 2918 2168113 2164631 1 1.0000 0.0000 -
2913.46/2923.12 c 2923 2171677 2168189 1 1.0000 0.0000 -
2918.44/2928.17 c 2928 2175223 2171735 1 1.0000 0.0000 -
2923.71/2933.45 c 2933 2178728 2175240 1 1.0000 0.0000 -
2928.79/2938.56 c 2939 2182509 2179017 1 1.0000 0.0000 -
2933.87/2943.62 c 2944 2186252 2182754 1 1.0000 0.0000 -
2939.06/2948.85 c 2949 2189799 2186295 1 1.0000 0.0000 -
2944.26/2954.08 c 2954 2193462 2189958 1 1.0000 0.0000 -
2949.72/2959.55 c 2960 2197497 2193991 1 1.0000 0.0000 -
2954.81/2964.60 c 2965 2200913 2197407 1 1.0000 0.0000 -
2960.30/2970.11 c 2970 2204721 2201215 1 1.0000 0.0000 -
2965.47/2975.32 c 2975 2208360 2204854 1 1.0000 0.0000 -
2970.66/2980.50 c 2981 2211922 2208404 1 1.0000 0.0000 -
2975.64/2985.55 c 2986 2215673 2212143 1 1.0000 0.0000 -
2980.73/2990.66 c 2991 2219062 2215528 1 1.0000 0.0000 -
2986.00/2995.91 c 2996 2222874 2219338 1 1.0000 0.0000 -
2990.99/3000.97 c 3001 2226539 2222998 1 1.0000 0.0000 -
2996.27/3006.27 c 3006 2230029 2226466 1 1.0000 0.0000 -
3001.36/3011.35 c 3011 2233741 2230158 1 1.0000 0.0000 -
3006.44/3016.45 c 3016 2237063 2233458 1 1.0000 0.0000 -
3011.52/3021.57 c 3022 2240867 2237254 1 1.0000 0.0000 -
3016.61/3026.64 c 3027 2244202 2240567 1 1.0000 0.0000 -
3021.69/3031.76 c 3032 2247767 2244087 1 1.0000 0.0000 -
3026.87/3036.98 c 3037 2251532 2247852 1 1.0000 0.0000 -
3032.26/3042.30 c 3042 2254874 2251190 1 1.0000 0.0000 -
3037.24/3047.35 c 3047 2258107 2254423 1 1.0000 0.0000 -
3042.72/3052.84 c 3053 2261933 2258228 1 1.0000 0.0000 -
3047.70/3057.88 c 3058 2265867 2262162 1 1.0000 0.0000 -
3053.00/3063.13 c 3063 2269311 2265606 1 1.0000 0.0000 -
3058.07/3068.23 c 3068 2272458 2268753 1 1.0000 0.0000 -
3063.05/3073.29 c 3073 2276206 2272501 1 1.0000 0.0000 -
3068.34/3078.55 c 3079 2279704 2275999 1 1.0000 0.0000 -
3073.42/3083.64 c 3084 2283458 2279753 1 1.0000 0.0000 -
3079.10/3089.30 c 3089 2287372 2283655 1 1.0000 0.0000 -
3084.48/3094.75 c 3095 2291276 2287541 1 1.0000 0.0000 -
3089.97/3100.23 c 3100 2294959 2291209 1 1.0000 0.0000 -
3095.64/3105.92 c 3106 2298792 2295024 1 1.0000 0.0000 -
3100.63/3110.96 c 3111 2302785 2299013 1 1.0000 0.0000 -
3106.21/3116.50 c 3117 2306362 2302574 1 1.0000 0.0000 -
3111.29/3121.68 c 3122 2310076 2306260 1 1.0000 0.0000 -
3116.57/3126.91 c 3127 2313849 2310033 1 1.0000 0.0000 -
3122.06/3132.41 c 3132 2317955 2314135 1 1.0000 0.0000 -
3127.24/3137.63 c 3138 2321648 2317828 1 1.0000 0.0000 -
3132.82/3143.29 c 3143 2325572 2321730 1 1.0000 0.0000 -
3138.20/3148.64 c 3149 2329143 2325242 1 1.0000 0.0000 -
3143.70/3154.15 c 3154 2332983 2329076 1 1.0000 0.0000 -
3149.27/3159.72 c 3160 2337133 2333226 1 1.0000 0.0000 -
3154.45/3164.91 c 3165 2340314 2336377 1 1.0000 0.0000 -
3159.44/3169.96 c 3170 2344009 2340072 1 1.0000 0.0000 -
3165.32/3175.86 c 3176 2347905 2343930 1 1.0000 0.0000 -
3170.40/3180.91 c 3181 2351603 2347628 1 1.0000 0.0000 -
3175.38/3185.97 c 3186 2354988 2351013 1 1.0000 0.0000 -
3180.86/3191.45 c 3191 2359007 2355030 1 1.0000 0.0000 -
3186.55/3197.13 c 3197 2363322 2359309 1 1.0000 0.0000 -
3191.63/3202.26 c 3202 2366854 2362841 1 1.0000 0.0000 -
3197.11/3207.72 c 3208 2370322 2366309 1 1.0000 0.0000 -
3202.20/3212.87 c 3213 2373760 2369741 1 1.0000 0.0000 -
3207.28/3217.95 c 3218 2377576 2373541 1 1.0000 0.0000 -
3212.66/3223.30 c 3223 2381271 2377215 1 1.0000 0.0000 -
3217.84/3228.50 c 3228 2385092 2381036 1 1.0000 0.0000 -
3222.83/3233.59 c 3234 2388387 2384331 1 1.0000 0.0000 -
3228.02/3238.76 c 3239 2392015 2387957 1 1.0000 0.0000 -
3233.10/3243.80 c 3244 2395880 2391806 1 1.0000 0.0000 -
3238.39/3249.14 c 3249 2399042 2394961 1 1.0000 0.0000 -
3243.76/3254.54 c 3255 2402620 2398539 1 1.0000 0.0000 -
3248.74/3259.59 c 3260 2405861 2401772 1 1.0000 0.0000 -
3253.83/3264.65 c 3265 2409637 2405546 1 1.0000 0.0000 -
3259.02/3269.83 c 3270 2413072 2408981 1 1.0000 0.0000 -
3264.21/3275.05 c 3275 2416487 2412388 1 1.0000 0.0000 -
3269.38/3280.28 c 3280 2420472 2416364 1 1.0000 0.0000 -
3274.76/3285.62 c 3286 2423992 2419884 1 1.0000 0.0000 -
3279.75/3290.67 c 3291 2427843 2423695 1 1.0000 0.0000 -
3284.84/3295.72 c 3296 2431276 2427112 1 1.0000 0.0000 -
3289.81/3300.77 c 3301 2434624 2430460 1 1.0000 0.0000 -
3295.11/3306.09 c 3306 2438564 2434400 1 1.0000 0.0000 -
3300.88/3311.81 c 3312 2442496 2438332 1 1.0000 0.0000 -
3305.86/3316.88 c 3317 2446141 2441961 1 1.0000 0.0000 -
3311.16/3322.11 c 3322 2449535 2445327 1 1.0000 0.0000 -
3316.73/3327.77 c 3328 2453670 2449443 1 1.0000 0.0000 -
3322.41/3333.41 c 3333 2457382 2453139 1 1.0000 0.0000 -
3327.39/3338.47 c 3338 2460813 2456558 1 1.0000 0.0000 -
3333.08/3344.18 c 3344 2465030 2460755 1 1.0000 0.0000 -
3338.16/3349.22 c 3349 2468454 2464179 1 1.0000 0.0000 -
3343.54/3354.64 c 3355 2472252 2467965 1 1.0000 0.0000 -
3348.83/3359.96 c 3360 2476146 2471859 1 1.0000 0.0000 -
3353.92/3365.01 c 3365 2479765 2475443 1 1.0000 0.0000 -
3359.29/3370.47 c 3370 2483359 2479020 1 1.0000 0.0000 -
3364.38/3375.51 c 3376 2486900 2482521 1 1.0000 0.0000 -
3369.36/3380.59 c 3381 2490463 2486080 1 1.0000 0.0000 -
3375.04/3386.21 c 3386 2493895 2489506 1 1.0000 0.0000 -
3380.02/3391.25 c 3391 2497462 2493057 1 1.0000 0.0000 -
3385.10/3396.30 c 3396 2501164 2496759 1 1.0000 0.0000 -
3390.69/3401.91 c 3402 2505216 2500783 1 1.0000 0.0000 -
3395.97/3407.20 c 3407 2508616 2504153 1 1.0000 0.0000 -
3400.95/3412.27 c 3412 2512002 2507537 1 1.0000 0.0000 -
3406.34/3417.63 c 3418 2516057 2511526 1 1.0000 0.0000 -
3411.52/3422.82 c 3423 2519582 2515015 1 1.0000 0.0000 -
3416.82/3428.16 c 3428 2523269 2518702 1 1.0000 0.0000 -
3421.89/3433.21 c 3433 2526901 2522330 1 1.0000 0.0000 -
3427.08/3438.45 c 3438 2530411 2525834 1 1.0000 0.0000 -
3432.86/3444.27 c 3444 2534049 2529462 1 1.0000 0.0000 -
3438.14/3449.51 c 3450 2537793 2533128 1 1.0000 0.0000 -
3443.42/3454.88 c 3455 2541370 2536703 1 1.0000 0.0000 -
3448.51/3459.93 c 3460 2544831 2540164 1 1.0000 0.0000 -
3453.89/3465.36 c 3465 2548338 2543671 1 1.0000 0.0000 -
3459.47/3470.95 c 3471 2552247 2547573 1 1.0000 0.0000 -
3464.57/3476.01 c 3476 2555651 2550966 1 1.0000 0.0000 -
3469.84/3481.30 c 3481 2559376 2554691 1 1.0000 0.0000 -
3474.92/3486.40 c 3486 2562923 2558236 1 1.0000 0.0000 -
3480.20/3491.70 c 3492 2566438 2561745 1 1.0000 0.0000 -
3485.19/3496.75 c 3497 2569568 2564865 1 1.0000 0.0000 -
3490.48/3502.10 c 3502 2573042 2568339 1 1.0000 0.0000 -
3495.56/3507.14 c 3507 2577098 2572375 1 1.0000 0.0000 -
3500.64/3512.21 c 3512 2580411 2575648 1 1.0000 0.0000 -
3505.62/3517.26 c 3517 2583483 2578688 1 1.0000 0.0000 -
3510.70/3522.31 c 3522 2587309 2582491 1 1.0000 0.0000 -
3515.99/3527.64 c 3528 2590953 2586121 1 1.0000 0.0000 -
3520.97/3532.69 c 3533 2594363 2589531 1 1.0000 0.0000 -
3526.26/3537.91 c 3538 2597875 2593043 1 1.0000 0.0000 -
3531.53/3543.27 c 3543 2601172 2596321 1 1.0000 0.0000 -
3536.62/3548.32 c 3548 2604983 2600132 1 1.0000 0.0000 -
3542.00/3553.70 c 3554 2608675 2603783 1 1.0000 0.0000 -
3547.19/3558.90 c 3559 2612257 2607337 1 1.0000 0.0000 -
3552.17/3563.95 c 3564 2615640 2610716 1 1.0000 0.0000 -
3557.26/3569.01 c 3569 2618695 2613771 1 1.0000 0.0000 -
3562.93/3574.76 c 3575 2622677 2617753 1 1.0000 0.0000 -
3568.11/3579.96 c 3580 2626313 2621389 1 1.0000 0.0000 -
3573.21/3585.06 c 3585 2629337 2624413 1 1.0000 0.0000 -
3578.48/3590.35 c 3590 2633222 2628290 1 1.0000 0.0000 -
3584.17/3596.07 c 3596 2637248 2632288 1 1.0000 0.0000 -
3592.34/3604.26 c SCIP Status : c solving was interrupted [hard time limit reached]
3592.34/3604.26 c Total Time : 3604.2600
3592.34/3604.26 c solving : 3604.2600
3592.34/3604.26 c presolving : 0.0295 (included in solving)
3592.34/3604.26 c B&B Tree :
3592.34/3604.26 c nodes (total) : 1
3592.34/3604.26 c Solution :
3592.34/3604.26 c Solutions found : 6
3592.34/3604.26 c Primal Bound : +1.00000000000000e+00
3592.34/3604.26 c Dual Bound : +0.00000000000000e+00
3592.34/3604.26 c Gap : infinite
3592.34/3604.26 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3592.34/3604.27 o 1
3592.34/3604.27 s SATISFIABLE
3592.34/3604.27 v -x1203 -x1202 -x1201 -x1200 x1199 x1198 x1197 x1196 -x1195 -x1194 x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 x1185
3592.34/3604.27 v -x1184 x1183 x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 x1173 -x1172 x1171 -x1170 -x1169 x1168 -x1167 -x1166
3592.34/3604.27 v x1165 -x1164 x1163 -x1162 -x1161 -x1160 x1159 -x1158 x1157 -x1156 x1155 -x1154 x1153 -x1152 x1151 -x1150 -x1149 -x1148 -x1147
3592.34/3604.27 v x1146 -x1145 -x1144 -x1143 x1142 -x1141 x1140 x1139 -x1138 -x1137 x1136 -x1135 x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128
3592.34/3604.27 v -x1127 -x1126 -x1125 -x1124 -x1123 x1122 x1121 -x1120 -x1119 -x1118 x1117 x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110
3592.34/3604.27 v x1109 x1108 -x1107 x1106 -x1105 x1104 -x1103 x1102 -x1101 x1100 -x1099 x1098 -x1097 -x1096 -x1095 x1094 -x1093 x1092 -x1091
3592.34/3604.27 v x1090 x1089 -x1088 x1087 -x1086 x1085 x1084 -x1083 x1082 -x1081 x1080 -x1079 x1078 x1077 -x1076 -x1075 x1074 -x1073 x1072 -x1071
3592.34/3604.27 v x1070 x1069 x1068 -x1067 x1066 x1065 x1064 x1063 x1062 x1061 -x1060 x1059 -x1058 -x1057 x1056 -x1055 x1054 -x1053 -x1052
3592.34/3604.27 v x1051 -x1050 x1049 x1048 -x1047 x1046 -x1045 x1044 -x1043 -x1042 -x1041 x1040 -x1039 x1038 -x1037 x1036 x1035 x1034 -x1033 x1032
3592.34/3604.27 v -x1031 x1030 -x1029 x1028 x1027 -x1026 x1025 -x1024 -x1023 x1022 -x1021 -x1020 -x1019 -x1018 x1017 -x1016 -x1015 -x1014 x1013
3592.34/3604.27 v -x1012 -x1011 -x1010 -x1009 x1008 x1007 x1006 x1005 -x1004 -x1003 x1002 x1001 x1000 -x999 x998 -x997 x996 x995 -x994 x993
3592.34/3604.27 v -x992 x991 x990 -x989 -x988 -x987 x986 x985 -x984 x983 -x982 -x981 -x980 x979 -x978 -x977 x976 -x975 -x974 x973 x972 x971 -x970
3592.34/3604.27 v x969 -x968 -x967 x966 x965 x964 x963 -x962 x961 -x960 x959 x958 x957 x956 -x955 x954 x953 -x952 -x951 x950 -x949 x948 -x947
3592.34/3604.27 v x946 x945 -x944 -x943 x942 x941 -x940 x939 x938 x937 -x936 -x935 -x934 -x933 x932 x931 x930 -x929 x928 -x927 x926 -x925 -x924
3592.34/3604.27 v -x923 x922 x921 -x920 -x919 x918 -x917 x916 -x915 x914 x913 x912 x911 -x910 -x909 x908 -x907 -x906 x905 x904 -x903 x902
3592.34/3604.27 v -x901 x900 x899 x898 -x897 x896 x895 -x894 x893 -x892 x891 -x890 x889 x888 -x887 x886 -x885 -x884 x883 -x882 x881 -x880 -x879
3592.34/3604.27 v -x878 -x877 x876 -x875 -x874 -x873 x872 x871 x870 -x869 -x868 x867 -x866 x865 x864 -x863 x862 -x861 x860 -x859 -x858 x857 -x856
3592.34/3604.27 v -x855 x854 -x853 -x852 -x851 x850 -x849 x848 x847 x846 -x845 x844 x843 x842 -x841 -x840 x839 x838 x837 -x836 x835 -x834 x833
3592.34/3604.27 v x832 x831 x830 x829 -x828 x827 -x826 x825 x824 x823 -x822 -x821 x820 -x819 -x818 -x817 x816 x815 -x814 -x813 x812 x811 -x810
3592.34/3604.27 v x809 -x808 x807 x806 -x805 x804 x803 -x802 x801 -x800 x799 -x798 x797 -x796 x795 -x794 x793 -x792 x791 -x790 x789 -x788 -x787
3592.34/3604.27 v x786 x785 -x784 x783 -x782 -x781 x780 x779 -x778 -x777 -x776 x775 -x774 -x773 x772 x771 x770 -x769 -x768 x767 -x766 -x765
3592.34/3604.27 v x764 x763 -x762 -x761 x760 x759 -x758 -x757 x756 x755 -x754 -x753 x752 -x751 -x750 x749 -x748 x747 x746 -x745 x744 -x743 -x742
3592.34/3604.27 v -x741 -x740 -x739 x738 x737 x736 -x735 -x734 x733 -x732 x731 -x730 x729 -x728 x727 -x726 x725 x724 -x723 -x722 x721 -x720
3592.34/3604.27 v x719 x718 -x717 -x716 x715 -x714 -x713 x712 x711 -x710 x709 x708 x707 -x706 -x705 x704 -x703 x702 -x701 x700 -x699 x698 -x697
3592.34/3604.27 v -x696 -x695 x694 x693 -x692 -x691 x690 -x689 -x688 x687 x686 x685 -x684 -x683 -x682 -x681 x680 x679 x678 -x677 x676 x675 -x674
3592.34/3604.27 v x673 x672 -x671 x670 x669 -x668 x667 -x666 x665 x664 -x663 -x662 x661 x660 -x659 -x658 -x657 x656 x655 -x654 x653 -x652 x651
3592.34/3604.27 v x650 x649 -x648 -x647 x646 -x645 x644 -x643 -x642 -x641 x640 x639 x638 -x637 x636 x635 -x634 x633 -x632 x631 -x630 -x629
3592.34/3604.27 v x628 -x627 x626 -x625 -x624 x623 x622 -x621 x620 -x619 -x618 x617 x616 -x615 x614 x613 x612 x611 x610 x609 -x608 x607 -x606 x605
3592.34/3604.27 v x604 -x603 -x602 -x601 -x600 x599 x598 -x597 -x596 x595 x594 -x593 -x592 x591 x590 x589 x588 -x587 -x586 -x585 x584 x583
3592.34/3604.27 v -x582 -x581 x580 -x579 x578 x577 -x576 -x575 x574 x573 -x572 -x571 -x570 -x569 x568 x567 -x566 -x565 -x564 x563 x562 -x561 -x560
3592.34/3604.27 v x559 x558 x557 x556 -x555 -x554 x553 x552 x551 -x550 x549 -x548 x547 -x546 -x545 x544 x543 x542 x541 -x540 -x539 x538 x537
3592.34/3604.27 v -x536 x535 -x534 x533 x532 x531 -x530 -x529 x528 -x527 x526 -x525 -x524 x523 x522 -x521 -x520 x519 x518 x517 x516 -x515 -x514
3592.34/3604.27 v -x513 x512 x511 x510 x509 -x508 -x507 x506 x505 x504 x503 -x502 -x501 x500 -x499 x498 x497 x496 -x495 -x494 x493 -x492 -x491
3592.34/3604.27 v x490 -x489 x488 x487 x486 -x485 -x484 -x483 x482 x481 -x480 x479 x478 x477 x476 -x475 x474 x473 -x472 -x471 -x470 x469 x468
3592.34/3604.27 v x467 -x466 -x465 -x464 x463 -x462 x461 x460 -x459 -x458 x457 x456 -x455 x454 x453 -x452 x451 x450 x449 -x448 x447 -x446 -x445
3592.34/3604.27 v x444 -x443 x442 -x441 x440 -x439 -x438 x437 x436 -x435 x434 x433 x432 -x431 x430 -x429 x428 -x427 -x426 -x425 -x424 x423 x422
3592.34/3604.27 v -x421 x420 x419 -x418 -x417 -x416 x415 x414 x413 -x412 x411 -x410 x409 x408 -x407 x406 -x405 -x404 x403 x402 -x401 x400 -x399
3592.34/3604.27 v x398 x397 x396 -x395 -x394 -x393 x392 x391 x390 -x389 -x388 x387 -x386 x385 x384 -x383 -x382 -x381 -x380 x379 x378 -x377
3592.34/3604.27 v x376 x375 x374 -x373 -x372 x371 -x370 x369 x368 -x367 x366 -x365 x364 -x363 x362 -x361 x360 x359 x358 -x357 x356 -x355 x354
3592.34/3604.27 v x353 -x352 x351 x350 x349 -x348 -x347 -x346 x345 x344 x343 -x342 -x341 x340 x339 x338 -x337 x336 -x335 -x334 x333 -x332 -x331
3592.34/3604.27 v x330 -x329 x328 -x327 x326 x325 -x324 -x323 -x322 x321 -x320 -x319 x318 x317 -x316 x315 -x314 x313 -x312 -x311 -x310 x309 x308
3592.34/3604.27 v -x307 x306 x305 -x304 -x303 -x302 x301 x300 -x299 -x298 x297 -x296 x295 -x294 -x293 x292 x291 x290 -x289 -x288 x287 x286 x285
3592.34/3604.27 v -x284 x283 x282 -x281 -x280 x279 x278 -x277 x276 -x275 x274 -x273 x272 -x271 x270 -x269 x268 -x267 x266 -x265 x264 -x263
3592.34/3604.27 v x262 -x261 x260 -x259 x258 x257 -x256 x255 -x254 -x253 x252 x251 -x250 -x249 x248 -x247 x246 x245 -x244 x243 -x242 x241 -x240
3592.34/3604.27 v x239 x238 -x237 x236 -x235 -x234 -x233 x232 -x231 -x230 x229 x228 x227 -x226 -x225 x224 -x223 x222 -x221 x220 x219 -x218 x217
3592.34/3604.27 v x216 -x215 -x214 -x213 x212 x211 x210 -x209 -x208 -x207 -x206 -x205 x204 x203 x202 -x201 x200 -x199 -x198 x197 -x196 x195 -x194
3592.34/3604.27 v -x193 x192 -x191 x190 x189 -x188 -x187 x186 -x185 x184 x183 -x182 x181 -x180 -x179 x178 -x177 x176 -x175 x174 -x173 -x172
3592.34/3604.27 v -x171 x170 x169 -x168 x167 x166 -x165 x164 -x163 -x162 -x161 x160 x159 -x158 -x157 x156 x155 x154 -x153 x152 -x151 -x150 x149
3592.34/3604.27 v x148 x147 -x146 x145 x144 -x143 -x142 x141 -x140 -x139 x138 x137 -x136 x135 x134 -x133 -x132 -x131 x130 x129 -x128 -x127 -x126
3592.34/3604.27 v x125 x124 x123 x122 -x121 -x120 -x119 x118 -x117 x116 -x115 x114 -x113 x112 x111 x110 -x109 -x108 -x107 x106 x105 -x104
3592.34/3604.27 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
3592.34/3604.27 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
3592.34/3604.27 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 -x21
3592.34/3604.27 v -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
3592.34/3604.27 v -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581
3592.34/3604.27 v -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563
3592.34/3604.27 v -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 -x1545
3592.34/3604.27 v -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528
3592.34/3604.27 v -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510
3592.34/3604.27 v -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492
3592.34/3604.27 v -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474
3592.34/3604.27 v -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456
3592.34/3604.27 v -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438
3592.34/3604.27 v -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420
3592.34/3604.28 v -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403
3592.34/3604.28 v -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385
3592.34/3604.28 v -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367
3592.34/3604.28 v -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349
3592.34/3604.28 v -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331
3592.34/3604.28 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313
3592.34/3604.28 v -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295
3592.34/3604.28 v -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278
3592.34/3604.28 v -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260
3592.34/3604.28 v -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242
3592.34/3604.28 v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224
3592.34/3604.28 v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206
3592.34/3604.28 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: 64096 MiB (61975 MiB free)
memory of node 1: 64473 MiB (61328 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457914-1721865125/watcher-4457914-1721865125 -o /tmp/evaluation-result-4457914-1721865125/solver-4457914-1721865125 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721865122-213620 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4457914-1721865125.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=214098, runsolver pid=214095
[startup+0.100102 s]*
/proc/loadavg: 0.09 0.09 0.09 5/242 214105
/proc/meminfo: memFree=126250168/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=118304 memory=32364 CPUtime=0.1 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 5845 0 0 0 8 2 0 0 20 0 3 0 22501406 121143296 8091 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 29576 8091 2814 3032 0 11971 0
[pid=214098/tid=214100] ppid=214095 vsize=118304 memory=4026531957 CPUtime=0.04 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 2546 0 0 0 3 1 0 0 20 0 3 0 22501411 121143296 8091 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=118304 memory=237129433438 CPUtime=0 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 22501413 121143296 8091 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 118304 KiB
Current children cumulated memory: 32364 KiB
[startup+0.213167 s]*
/proc/loadavg: 0.09 0.09 0.09 4/248 214125
/proc/meminfo: memFree=126236624/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=120184 memory=42224 CPUtime=0.21 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 8214 0 0 0 18 3 0 0 20 0 3 0 22501406 123068416 10556 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 30046 10556 2910 3032 0 14680 0
[pid=214098/tid=214100] ppid=214095 vsize=120184 memory=664970851429515383 CPUtime=0.16 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 4912 0 0 0 14 2 0 0 20 0 3 0 22501411 123068416 10556 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=120184 memory=224262670103 CPUtime=0 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 22501413 123068416 10556 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 120184 KiB
Current children cumulated memory: 42224 KiB
[startup+0.313836 s]*
/proc/loadavg: 0.09 0.09 0.09 6/246 214137
/proc/meminfo: memFree=126285944/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=118304 memory=40468 CPUtime=0.31 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 8244 0 0 0 28 3 0 0 20 0 3 0 22501406 121143296 10117 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 29576 10117 2910 3032 0 14210 0
[pid=214098/tid=214100] ppid=214095 vsize=118304 memory=-9104986968891826876 CPUtime=0.26 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 4942 0 0 0 24 2 0 0 20 0 3 0 22501411 121143296 10117 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=118304 memory=0 CPUtime=0 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 22501413 121143296 10117 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 118304 KiB
Current children cumulated memory: 40468 KiB
[startup+0.700395 s]
/proc/loadavg: 0.09 0.09 0.09 5/240 214161
/proc/meminfo: memFree=126446664/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=118304 memory=49684 CPUtime=0.69 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 10575 0 0 0 65 4 0 0 20 0 3 0 22501406 121143296 12421 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 29576 12421 2910 3032 0 16283 0
[pid=214098/tid=214100] ppid=214095 vsize=118304 memory=0 CPUtime=0.62 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 7273 0 0 0 60 2 0 0 20 0 3 0 22501411 121143296 12421 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=118304 memory=0 CPUtime=0 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 22501413 121143296 12421 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 118304 KiB
Current children cumulated memory: 49684 KiB
[startup+1.50042 s]
/proc/loadavg: 0.32 0.14 0.11 5/246 214207
/proc/meminfo: memFree=126425232/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=118304 memory=61640 CPUtime=1.48 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 19162 0 0 0 143 5 0 0 20 0 3 0 22501406 121143296 15410 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 29576 15410 2958 3032 0 19532 0
[pid=214098/tid=214100] ppid=214095 vsize=118304 memory=0 CPUtime=1.42 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 15528 0 0 0 138 4 0 0 20 0 3 0 22501411 121143296 15410 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=118304 memory=0 CPUtime=0 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 22501413 121143296 15410 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 118304 KiB
Current children cumulated memory: 61640 KiB
[startup+3.11336 s]
/proc/loadavg: 0.32 0.14 0.11 5/253 214303
/proc/meminfo: memFree=126227604/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=228732 memory=161512 CPUtime=3.09 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 44922 0 0 0 299 10 0 0 20 0 3 0 22501406 234221568 40378 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 57183 40378 2974 3032 0 44975 0
[pid=214098/tid=214100] ppid=214095 vsize=228732 memory=-6082789065615391591 CPUtime=3.03 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 41288 0 0 0 294 9 0 0 20 0 3 0 22501411 234221568 40378 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=228732 memory=0 CPUtime=0 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 22501413 234221568 40378 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 228732 KiB
Current children cumulated memory: 161512 KiB
[startup+6.30038 s]
/proc/loadavg: 0.62 0.20 0.13 5/254 214352
/proc/meminfo: memFree=126217312/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=187940 memory=122580 CPUtime=6.26 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 55456 0 0 0 614 12 0 0 20 0 3 0 22501406 192450560 30645 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 46985 30645 2990 3032 0 34777 0
[pid=214098/tid=214100] ppid=214095 vsize=187940 memory=0 CPUtime=6.19 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 51775 0 0 0 609 10 0 0 20 0 3 0 22501411 192450560 30645 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=187940 memory=11412 CPUtime=0 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 10 0 0 0 0 0 0 0 20 0 3 0 22501413 192450560 30645 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 187940 KiB
Current children cumulated memory: 122580 KiB
[startup+12.7004 s]
/proc/loadavg: 0.97 0.28 0.15 5/254 214352
/proc/meminfo: memFree=126189060/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=187940 memory=122672 CPUtime=12.64 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 78358 0 0 0 1250 14 0 0 20 0 3 0 22501406 192450560 30668 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 46985 30668 2990 3032 0 34777 0
[pid=214098/tid=214100] ppid=214095 vsize=187940 memory=0 CPUtime=12.58 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 74341 0 0 0 1246 12 0 0 20 0 3 0 22501411 192450560 30668 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=187940 memory=122656 CPUtime=0 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 22501413 192450560 30668 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 187940 KiB
Current children cumulated memory: 122672 KiB
[startup+25.5004 s]
/proc/loadavg: 1.44 0.41 0.19 5/254 214355
/proc/meminfo: memFree=126135756/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=187940 memory=123772 CPUtime=25.39 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 113823 0 0 0 2521 18 0 0 20 0 3 0 22501406 192450560 30943 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 46985 30943 2990 3032 0 34777 0
[pid=214098/tid=214100] ppid=214095 vsize=187940 memory=75992 CPUtime=25.32 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 109728 0 0 0 2516 16 0 0 20 0 3 0 22501411 192450560 30943 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=187940 memory=122580 CPUtime=0 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 22501413 192450560 30943 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 187940 KiB
Current children cumulated memory: 123772 KiB
[startup+51.113 s]
/proc/loadavg: 2.58 0.78 0.33 5/254 214358
/proc/meminfo: memFree=126063128/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=188968 memory=130344 CPUtime=50.9 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 159206 0 0 0 5066 24 0 0 20 0 3 0 22501406 193503232 32586 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 47242 32586 2990 3032 0 36637 0
[pid=214098/tid=214100] ppid=214095 vsize=188968 memory=6720665467163523946 CPUtime=50.83 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 155030 0 0 0 5061 22 0 0 20 0 3 0 22501411 193503232 32586 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=188968 memory=130008 CPUtime=0 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 22501413 193503232 32586 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 188968 KiB
Current children cumulated memory: 130344 KiB
[startup+102.3 s]
/proc/loadavg: 3.57 1.33 0.54 5/254 214367
/proc/meminfo: memFree=125939052/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=258612 memory=176856 CPUtime=101.88 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 218219 0 0 0 10152 36 0 0 20 0 3 0 22501406 264818688 44214 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 64653 44214 2990 3032 0 47477 0
[pid=214098/tid=214100] ppid=214095 vsize=258612 memory=0 CPUtime=101.81 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 213960 0 0 0 10146 35 0 0 20 0 3 0 22501411 264818688 44214 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=258612 memory=11412 CPUtime=0 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 35 0 0 0 0 0 0 0 20 0 3 0 22501413 264818688 44214 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 101.88 s
Current children cumulated vsize: 258612 KiB
Current children cumulated memory: 176856 KiB
[startup+162.3 s]
/proc/loadavg: 3.90 1.83 0.76 5/254 214377
/proc/meminfo: memFree=125790460/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=261696 memory=224444 CPUtime=161.63 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 266913 0 0 0 16115 48 0 0 20 0 3 0 22501406 267976704 56111 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 65424 56111 2990 3032 0 59928 0
[pid=214098/tid=214100] ppid=214095 vsize=261696 memory=198444 CPUtime=161.56 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 262638 0 0 0 16110 46 0 0 20 0 3 0 22501411 267976704 56111 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=261696 memory=5500 CPUtime=0 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 22501413 267976704 56111 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 261696 KiB
################
# More data... #
################
Current children cumulated memory: 2766456 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.06 5/248 216152
/proc/meminfo: memFree=118261952/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=2896348 memory=2804304 CPUtime=3450.9 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 2697147 0 0 0 344425 665 0 0 20 0 3 0 22501406 2965860352 701076 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 724087 701076 2990 3032 0 710441 0
[pid=214098/tid=214100] ppid=214095 vsize=2896348 memory=2749896 CPUtime=3450.51 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 2692409 0 0 0 344398 653 0 0 20 0 3 0 22501411 2965860352 701076 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=2896348 memory=2799500 CPUtime=0.04 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 146 0 0 0 0 4 0 0 20 0 3 0 22501413 2965860352 701076 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 3450.9 s
Current children cumulated vsize: 2896348 KiB
Current children cumulated memory: 2804304 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.06 5/251 216167
/proc/meminfo: memFree=118135632/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=2910708 memory=2845292 CPUtime=3510.7 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 2767806 0 0 0 350392 678 0 0 20 0 3 0 22501406 2980564992 711323 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 727677 711323 2990 3032 0 720679 0
[pid=214098/tid=214100] ppid=214095 vsize=2910708 memory=2801040 CPUtime=3510.31 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 2763066 0 0 0 350365 666 0 0 20 0 3 0 22501411 2980564992 711323 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=2910708 memory=2836460 CPUtime=0.04 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 148 0 0 0 0 4 0 0 20 0 3 0 22501413 2980564992 711323 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 3510.7 s
Current children cumulated vsize: 2910708 KiB
Current children cumulated memory: 2845292 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.07 5/251 216178
/proc/meminfo: memFree=118007812/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=2993180 memory=2886788 CPUtime=3570.51 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 2828196 0 0 0 356359 692 0 0 20 0 3 0 22501406 3065016320 721697 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 748295 721697 2990 3032 0 731863 0
[pid=214098/tid=214100] ppid=214095 vsize=2993180 memory=2883736 CPUtime=3570.11 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 2823440 0 0 0 356331 680 0 0 20 0 3 0 22501411 3065016320 721697 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=2993180 memory=2885512 CPUtime=0.04 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 150 0 0 0 0 4 0 0 20 0 3 0 22501413 3065016320 721697 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 3570.51 s
Current children cumulated vsize: 2993180 KiB
Current children cumulated memory: 2886788 KiB
[startup+3604.39 s]
# the end of solver process 214098 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.2 s, system=7.32916 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.15 4.14 4.07 5/251 216180
/proc/meminfo: memFree=118004244/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=2993180 memory=2887584 CPUtime=3572.21 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 2828565 0 0 0 356529 692 0 0 20 0 3 0 22501406 3065016320 721896 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 748295 721896 2990 3032 0 731959 0
[pid=214098/tid=214100] ppid=214095 vsize=2993180 memory=6720667644762274658 CPUtime=3571.82 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 2823809 0 0 0 356502 680 0 0 20 0 3 0 22501411 3065016320 721896 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=2993180 memory=-7306384125540917375 CPUtime=0.04 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 150 0 0 0 0 4 0 0 20 0 3 0 22501413 3065016320 721896 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 3572.21 s
Current children cumulated vsize: 2993180 KiB
Current children cumulated memory: 2887584 KiB
[startup+3596.8 s]
/proc/loadavg: 4.12 4.14 4.07 5/251 216181
/proc/meminfo: memFree=117977468/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=2995236 memory=2897156 CPUtime=3584.96 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 2841135 0 0 0 357801 695 0 0 20 0 3 0 22501406 3067121664 724289 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 748809 724289 2990 3032 0 734257 0
[pid=214098/tid=214100] ppid=214095 vsize=2995236 memory=11412 CPUtime=3584.56 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 2836379 0 0 0 357774 682 0 0 20 0 3 0 22501411 3067121664 724289 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=2995236 memory=2891860 CPUtime=0.04 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 150 0 0 0 0 4 0 0 20 0 3 0 22501413 3067121664 724289 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 3584.96 s
Current children cumulated vsize: 2995236 KiB
Current children cumulated memory: 2897156 KiB
[startup+3600 s]*
/proc/loadavg: 4.11 4.13 4.07 5/251 216181
/proc/meminfo: memFree=117970048/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=2996264 memory=2899096 CPUtime=3588.16 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 2858712 0 0 0 358120 696 0 0 20 0 3 0 22501406 3068174336 724774 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 749066 724774 2990 3032 0 734738 0
[pid=214098/tid=214100] ppid=214095 vsize=2996264 memory=6720667644762274658 CPUtime=3587.76 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 2855415 0 0 0 358092 684 0 0 20 0 3 0 22501411 3068174336 724774 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=2996264 memory=-7306384125540917375 CPUtime=0.04 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 150 0 0 0 0 4 0 0 20 0 3 0 22501413 3068174336 724774 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 3588.16 s
Current children cumulated vsize: 2996264 KiB
Current children cumulated memory: 2899096 KiB
[startup+3601.6 s]
/proc/loadavg: 4.11 4.13 4.07 5/251 216181
/proc/meminfo: memFree=118036504/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=2797860 memory=2700696 CPUtime=3589.75 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 3040975 0 0 0 358267 708 0 0 20 0 3 0 22501406 2865008640 675174 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 699465 675174 2990 3032 0 685137 0
[pid=214098/tid=214100] ppid=214095 vsize=2797860 memory=11412 CPUtime=3589.35 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 3036225 0 0 0 358239 696 0 0 20 0 3 0 22501411 2865008640 675174 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=2797860 memory=76344 CPUtime=0.04 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 150 0 0 0 0 4 0 0 20 0 3 0 22501413 2865008640 675174 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 3589.75 s
Current children cumulated vsize: 2797860 KiB
Current children cumulated memory: 2700696 KiB
[startup+3603.2 s]
/proc/loadavg: 4.27 4.17 4.08 3/242 216214
/proc/meminfo: memFree=124031688/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=2487404 memory=2390244 CPUtime=3591.34 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 3224042 0 0 0 358415 719 0 0 20 0 3 0 22501406 2547101696 597561 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 621851 597561 2990 3032 0 607523 0
[pid=214098/tid=214100] ppid=214095 vsize=2487404 memory=2898896 CPUtime=3590.94 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 3219283 0 0 0 358387 707 0 0 20 0 3 0 22501411 2547101696 597561 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=2487404 memory=2867232 CPUtime=0.04 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 152 0 0 0 0 4 0 0 20 0 3 0 22501413 2547101696 597561 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 3591.34 s
Current children cumulated vsize: 2487404 KiB
Current children cumulated memory: 2390244 KiB
[startup+3604 s]*
/proc/loadavg: 4.27 4.17 4.08 5/247 216296
/proc/meminfo: memFree=124162608/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=2348624 memory=2251476 CPUtime=3592.15 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 3234645 0 0 0 358495 720 0 0 20 0 3 0 22501406 2404990976 562869 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 587156 562869 2990 3032 0 572828 0
[pid=214098/tid=214100] ppid=214095 vsize=2348624 memory=-6603046064893032901 CPUtime=3591.75 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 3229886 0 0 0 358467 708 0 0 20 0 3 0 22501411 2404990976 562869 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=2348624 memory=2732 CPUtime=0.04 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 152 0 0 0 0 4 0 0 20 0 3 0 22501413 2404990976 562869 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 3592.15 s
Current children cumulated vsize: 2348624 KiB
Current children cumulated memory: 2251476 KiB
[startup+3604.2 s]
/proc/loadavg: 4.27 4.17 4.08 5/247 216296
/proc/meminfo: memFree=124162608/131655788 swapFree=131070192/131071996
[pid=214098] ppid=214095 vsize=2260012 memory=2183864 CPUtime=3592.34 cores=4,6
/proc/214098/stat : 214098 (fscip) S 214095 214098 213609 0 -1 1077936128 3239523 0 0 0 358513 721 0 0 20 0 3 0 22501406 2314252288 545966 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
/proc/214098/statm: 565003 545966 2990 3032 0 550675 0
[pid=214098/tid=214100] ppid=214095 vsize=2260012 memory=1362166 CPUtime=3591.94 cores=4,6
/proc/214098/task/214100/stat : 214100 (fscip) R 214095 214098 213609 0 -1 4194368 3234769 0 0 0 358485 709 0 0 20 0 3 0 22501411 2314252288 545966 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
[pid=214098/tid=214102] ppid=214095 vsize=2260012 memory=1363778 CPUtime=0.04 cores=4,6
/proc/214098/task/214102/stat : 214102 (fscip) S 214095 214098 213609 0 -1 1077936192 152 0 0 0 0 4 0 0 20 0 3 0 22501413 2314252288 545966 134679101440 4194304 16613245 140737008894688 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 33243136 140737008903189 140737008903305 140737008903305 140737008910320 0
Current children cumulated CPU time: 3592.34 s
Current children cumulated vsize: 2260012 KiB
Current children cumulated memory: 2183864 KiB
[startup+3604.3 s]*
/proc/loadavg: 4.27 4.17 4.08 5/243 216318
/proc/meminfo: memFree=125021452/131655788 swapFree=131070192/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3604.39
CPU time (s): 3592.52
CPU user time (s): 3585.2
CPU system time (s): 7.32916
CPU usage (%): 99.6709
Max. virtual memory (cumulated for all children) (KiB): 2996264
Max. memory (cumulated for all children) (KiB): 2899096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.2
system time used= 7.32916
maximum resident set size= 2899096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3241580
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= 10797
involuntary context switches= 5024
# summary of solver processes directly reported to runsolver:
# pid: 214098
# total CPU time (s): 3592.52
# total CPU user time (s): 3585.2
# total CPU system time (s): 7.32916
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4737 second user time and 32.7696 second system time
The end
Begin job on nodeC002 at 2024-07-25 01:52:05
IDJOB=4457914
IDBENCH=177053
IDSOLVER=3064
FILE ID=nodeC002/4457914-1721865125
RUNJOBID= nodeC002-1721865122-213620
SLURM_JOB_ID= 8089198
Free space on /tmp= 723700 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4457914-1721865125/watcher-4457914-1721865125 -o /tmp/evaluation-result-4457914-1721865125/solver-4457914-1721865125 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721865122-213620 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4457914-1721865125.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3b07899157a77563e39a517f9d1ebfa4
RANDOM SEED=1034069689
nodeC002.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.162
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.43
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.715
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.162
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.43
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.328
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.159
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.43
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.179
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.271
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.43
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.163
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.41
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 126286364 kB
MemAvailable: 129704432 kB
Buffers: 293920 kB
Cached: 3936564 kB
SwapCached: 72 kB
Active: 2291592 kB
Inactive: 2490788 kB
Active(anon): 1512 kB
Inactive(anon): 603904 kB
Active(file): 2290080 kB
Inactive(file): 1886884 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131070192 kB
Dirty: 89924 kB
Writeback: 0 kB
AnonPages: 550244 kB
Mapped: 127348 kB
Shmem: 53844 kB
KReclaimable: 162604 kB
Slab: 273996 kB
SReclaimable: 162604 kB
SUnreclaim: 111392 kB
KernelStack: 4004 kB
PageTables: 10652 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 871380 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 11872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 196608 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: 316232 kB
DirectMap2M: 36288512 kB
DirectMap1G: 99614720 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC002 at 2024-07-25 02:52:10