0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 27688960, getVmSize() = 27688960, SCIPgetMemUsed() = 4599205, SCIPgetMemTotal() = 6114509, SCIPgetMemExternEstim() = 1975705
0.00/0.00 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.02 c ** Estimated virtualMemUsedAtSolver = 23580672, getVmSize() = 43053056, SCIPgetMemUsed() = 14333841, SCIPgetMemTotal() = 20257185, SCIPgetMemExternEstim() = 1975705
0.00/0.02 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.02 c Original Problem :
0.00/0.02 c Problem name : instance-4464586-1722386539
0.00/0.02 c Variables : 1501 (1501 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 751
0.00/0.02 c Objective sense : minimize
0.00/0.02 c Presolved Problem :
0.00/0.02 c Variables : 1500 (1500 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.02 c Constraints : 750
0.00/0.02 c Constraints : Number
0.00/0.02 c linear : 750
0.00/0.02 c ** Instance transfer method used: 0
0.00/0.02 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.03 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.03 c Nodes Active
0.00/0.03 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.26/5.35 c 5 1425 1412 1 - 0.0000 -
10.35/10.43 c 10 3854 3771 1 - 0.0000 -
15.43/15.53 c 16 7757 7498 1 - 0.0000 -
20.42/20.58 c 21 12645 12264 1 - 0.0000 -
25.50/25.63 c 26 17437 16893 1 - 0.0000 -
30.48/30.68 c 31 22358 21722 1 - 0.0000 -
35.57/35.74 c 36 27520 26699 1 - 0.0000 -
40.55/40.79 c 41 32564 31588 1 - 0.0000 -
45.64/45.83 c 46 37538 36389 1 - 0.0000 -
50.62/50.88 c 51 42469 41132 1 - 0.0000 -
55.70/55.99 c 56 47780 46176 1 - 0.0000 -
60.79/61.06 c 61 53015 51202 1 - 0.0000 -
65.88/66.11 c 66 58224 55940 1 - 0.0000 -
70.95/71.21 c 71 63233 60784 1 - 0.0000 -
76.04/76.32 c 76 68127 65509 1 - 0.0000 -
81.02/81.36 c 81 73362 70524 1 - 0.0000 -
86.10/86.46 c 86 78320 75209 1 - 0.0000 -
91.19/91.51 c 92 83338 80012 1 - 0.0000 -
96.18/96.58 c 97 88268 84777 1 - 0.0000 -
101.27/101.62 c 102 92987 89336 1 - 0.0000 -
106.25/106.68 c 107 98179 94416 1 - 0.0000 -
111.33/111.72 c 112 102736 98763 1 - 0.0000 -
116.32/116.77 c 117 107714 103279 1 - 0.0000 -
121.39/121.82 c 122 112603 107965 1 - 0.0000 -
126.48/126.91 c 127 116917 112135 1 - 0.0000 -
131.46/131.95 c 132 121771 116825 1 - 0.0000 -
136.55/137.00 c 137 126496 121433 1 - 0.0000 -
141.53/142.06 c 142 131389 126136 1 - 0.0000 -
146.62/147.14 c 147 136081 130624 1 - 0.0000 -
151.60/152.18 c 152 141075 135436 1 - 0.0000 -
156.69/157.27 c 157 145795 139817 1 - 0.0000 -
161.77/162.33 c 162 150381 144299 1 - 0.0000 -
166.75/167.38 c 167 155094 148802 1 - 0.0000 -
171.83/172.45 c 172 159853 153384 1 - 0.0000 -
176.92/177.50 c 178 164635 157996 1 - 0.0000 -
181.90/182.55 c 183 169332 162449 1 - 0.0000 -
186.98/187.63 c 188 174183 166976 1 - 0.0000 -
191.97/192.68 c 193 178988 171509 1 - 0.0000 -
197.05/197.74 c 198 183703 175914 1 - 0.0000 -
202.04/202.78 c 203 188846 180900 1 - 0.0000 -
207.12/207.84 c 208 193522 185254 1 - 0.0000 -
212.11/212.88 c 213 197956 189512 1 - 0.0000 -
217.19/217.95 c 218 202575 193968 1 - 0.0000 -
222.28/223.03 c 223 207427 198706 1 - 0.0000 -
227.27/228.07 c 228 212361 203352 1 - 0.0000 -
232.35/233.14 c 233 217027 207912 1 - 0.0000 -
237.33/238.18 c 238 221765 212400 1 - 0.0000 -
242.42/243.23 c 243 226516 216721 1 - 0.0000 -
247.50/248.32 c 248 231441 221436 1 - 0.0000 -
252.48/253.38 c 253 236309 225975 1 - 0.0000 -
257.56/258.43 c 258 241016 230453 1 - 0.0000 -
262.55/263.48 c 263 246636 235667 1 - 0.0000 -
267.63/268.53 c 269 251979 240394 1 - 0.0000 -
272.71/273.60 c 274 256738 244821 1 - 0.0000 -
277.70/278.68 c 279 261084 248972 1 - 0.0000 -
282.78/283.72 c 284 265771 253361 1 - 0.0000 -
287.77/288.77 c 289 270409 257721 1 - 0.0000 -
292.86/293.82 c 294 275111 262161 1 - 0.0000 -
297.84/298.87 c 299 279992 266786 1 - 0.0000 -
302.92/303.92 c 304 284434 271096 1 - 0.0000 -
307.91/308.97 c 309 288833 275370 1 - 0.0000 -
313.00/314.03 c 314 293091 279541 1 - 0.0000 -
317.98/319.08 c 319 297372 283592 1 - 0.0000 -
323.07/324.14 c 324 302290 288220 1 - 0.0000 -
328.05/329.19 c 329 307164 292738 1 - 0.0000 -
333.13/334.24 c 334 311777 296995 1 - 0.0000 -
338.12/339.29 c 339 316379 301363 1 - 0.0000 -
343.19/344.38 c 344 320938 305542 1 - 0.0000 -
348.28/349.46 c 349 326152 310214 1 - 0.0000 -
353.37/354.54 c 355 330680 314538 1 - 0.0000 -
358.45/359.60 c 360 335950 319375 1 - 0.0000 -
363.44/364.67 c 365 340975 324092 1 - 0.0000 -
368.51/369.73 c 370 345990 328786 1 - 0.0000 -
373.60/374.80 c 375 350636 333008 1 - 0.0000 -
378.59/379.88 c 380 355721 337681 1 - 0.0000 -
383.67/384.93 c 385 360426 341774 1 - 0.0000 -
388.76/390.00 c 390 364685 345657 1 - 0.0000 -
393.74/395.07 c 395 369757 350250 1 - 0.0000 -
398.82/400.12 c 400 374545 354707 1 - 0.0000 -
403.90/405.21 c 405 378602 358462 1 - 0.0000 -
408.88/410.26 c 410 383235 362727 1 - 0.0000 -
413.97/415.30 c 415 387930 367015 1 - 0.0000 -
419.06/420.41 c 420 392549 371296 1 - 0.0000 -
424.04/425.46 c 425 396936 375370 1 - 0.0000 -
429.12/430.51 c 431 401913 379803 1 - 0.0000 -
434.20/435.60 c 436 406214 383791 1 - 0.0000 -
439.19/440.64 c 441 410761 387870 1 - 0.0000 -
444.18/445.69 c 446 415248 392083 1 - 0.0000 -
449.26/450.78 c 451 419659 396257 1 - 0.0000 -
454.34/455.82 c 456 423863 400117 1 - 0.0000 -
459.33/460.87 c 461 428378 403870 1 - 0.0000 -
464.41/465.93 c 466 432809 408002 1 - 0.0000 -
469.51/471.01 c 471 437440 412295 1 - 0.0000 -
474.49/476.06 c 476 442013 416603 1 - 0.0000 -
479.57/481.11 c 481 446512 420771 1 - 0.0000 -
484.55/486.18 c 486 450845 424763 1 - 0.0000 -
489.63/491.23 c 491 455107 428784 1 - 0.0000 -
494.72/496.31 c 496 459821 433230 1 - 0.0000 -
499.70/501.37 c 501 464589 437718 1 - 0.0000 -
504.78/506.44 c 506 469160 441944 1 - 0.0000 -
509.77/511.49 c 512 473529 446037 1 - 0.0000 -
514.85/516.58 c 517 477925 450267 1 - 0.0000 -
519.94/521.64 c 522 482114 454227 1 - 0.0000 -
525.03/526.71 c 527 486611 458441 1 - 0.0000 -
530.01/531.76 c 532 491011 462564 1 - 0.0000 -
535.09/536.87 c 537 494912 466141 1 - 0.0000 -
540.17/541.91 c 542 499530 470534 1 - 0.0000 -
545.16/546.98 c 547 503788 474559 1 - 0.0000 -
550.35/552.14 c 552 507925 478487 1 - 0.0000 -
555.33/557.19 c 557 512358 482825 1 - 0.0000 -
560.41/562.26 c 562 516729 486769 1 - 0.0000 -
565.50/567.31 c 567 520742 490536 1 - 0.0000 -
570.48/572.39 c 572 525201 494597 1 - 0.0000 -
575.57/577.43 c 577 529842 498674 1 - 0.0000 -
580.65/582.51 c 583 534098 502529 1 - 0.0000 -
585.63/587.55 c 588 538087 506134 1 - 0.0000 -
590.72/592.60 c 593 542316 510204 1 - 0.0000 -
595.70/597.65 c 598 546494 514203 1 - 0.0000 -
600.79/602.71 c 603 550850 518179 1 - 0.0000 -
605.78/607.77 c 608 554987 522115 1 - 0.0000 -
610.86/612.86 c 613 559288 526145 1 - 0.0000 -
615.95/617.98 c 618 563317 529979 1 - 0.0000 -
621.04/623.06 c 623 567864 534278 1 - 0.0000 -
626.11/628.10 c 628 572064 538275 1 - 0.0000 -
631.10/633.15 c 633 576524 542361 1 - 0.0000 -
636.18/638.20 c 638 580483 546118 1 - 0.0000 -
641.16/643.27 c 643 584550 550027 1 - 0.0000 -
646.35/648.42 c 648 588786 554009 1 - 0.0000 -
651.33/653.49 c 654 593223 558047 1 - 0.0000 -
656.42/658.54 c 659 597211 561785 1 - 0.0000 -
661.50/663.63 c 664 601633 565857 1 - 0.0000 -
666.48/668.69 c 669 605706 569574 1 - 0.0000 -
671.67/673.83 c 674 610062 573670 1 - 0.0000 -
676.76/678.92 c 679 614272 577603 1 - 0.0000 -
681.84/684.09 c 684 618342 581437 1 - 0.0000 -
686.93/689.15 c 689 622227 585077 1 - 0.0000 -
692.00/694.20 c 694 626178 588836 1 - 0.0000 -
696.99/699.28 c 699 630301 592800 1 - 0.0000 -
702.08/704.33 c 704 634367 596704 1 - 0.0000 -
707.06/709.38 c 709 638451 600399 1 - 0.0000 -
712.25/714.58 c 715 642298 603944 1 - 0.0000 -
717.32/719.66 c 720 646430 607848 1 - 0.0000 -
722.41/724.74 c 725 650765 611907 1 - 0.0000 -
727.50/729.82 c 730 654906 615791 1 - 0.0000 -
732.49/734.87 c 735 658890 619565 1 - 0.0000 -
737.57/739.93 c 740 662892 623291 1 - 0.0000 -
742.65/745.09 c 745 667078 627123 1 - 0.0000 -
747.74/750.14 c 750 671107 630916 1 - 0.0000 -
753.02/755.47 c 755 675102 634587 1 - 0.0000 -
758.11/760.55 c 761 679792 639058 1 - 0.0000 -
763.09/765.59 c 766 683830 642773 1 - 0.0000 -
768.17/770.64 c 771 688082 646886 1 - 0.0000 -
773.15/775.69 c 776 692228 650798 1 - 0.0000 -
778.24/780.76 c 781 696635 655060 1 - 0.0000 -
783.33/785.82 c 786 700735 658914 1 - 0.0000 -
788.40/790.95 c 791 704888 662807 1 - 0.0000 -
793.49/796.02 c 796 709110 666722 1 - 0.0000 -
798.48/801.07 c 801 713196 670497 1 - 0.0000 -
803.56/806.12 c 806 717946 674583 1 - 0.0000 -
808.55/811.19 c 811 722092 678397 1 - 0.0000 -
813.63/816.24 c 816 726074 682225 1 - 0.0000 -
818.81/821.44 c 821 730338 686146 1 - 0.0000 -
823.79/826.48 c 826 734759 690240 1 - 0.0000 -
828.87/831.54 c 832 739112 694308 1 - 0.0000 -
833.87/836.59 c 837 743118 698131 1 - 0.0000 -
838.94/841.68 c 842 747452 702150 1 - 0.0000 -
844.03/846.75 c 847 751694 706173 1 - 0.0000 -
849.12/851.81 c 852 755710 710061 1 - 0.0000 -
854.10/856.86 c 857 759502 713651 1 - 0.0000 -
859.28/862.05 c 862 763862 717811 1 - 0.0000 -
864.37/867.10 c 867 768110 721625 1 - 0.0000 -
869.36/872.16 c 872 772069 725246 1 - 0.0000 -
874.44/877.22 c 877 776651 729344 1 - 0.0000 -
879.42/882.26 c 882 780902 733300 1 - 0.0000 -
884.61/887.47 c 887 785059 737185 1 - 0.0000 -
889.68/892.52 c 893 789255 741041 1 - 0.0000 -
894.68/897.58 c 898 793194 744715 1 - 0.0000 -
899.85/902.73 c 903 797238 748387 1 - 0.0000 -
904.95/907.82 c 908 800979 751853 1 - 0.0000 -
910.03/912.93 c 913 804872 755559 1 - 0.0000 -
915.22/918.13 c 918 808656 759108 1 - 0.0000 -
920.20/923.17 c 923 812453 762724 1 - 0.0000 -
925.28/928.24 c 928 816513 766555 1 - 0.0000 -
930.26/933.29 c 933 820423 770156 1 - 0.0000 -
935.44/938.42 c 938 824372 773896 1 - 0.0000 -
940.63/943.64 c 944 828577 777632 1 - 0.0000 -
945.62/948.69 c 949 832198 780984 1 - 0.0000 -
950.70/953.73 c 954 836021 784568 1 - 0.0000 -
955.68/958.78 c 959 839781 788133 1 - 0.0000 -
960.86/963.91 c 964 843750 791918 1 - 0.0000 -
965.85/968.98 c 969 847260 795287 1 - 0.0000 -
970.94/974.04 c 974 851107 798922 1 - 0.0000 -
976.03/979.10 c 979 854822 802005 1 - 0.0000 -
981.20/984.33 c 984 858437 805507 1 - 0.0000 -
986.29/989.42 c 989 862669 809489 1 - 0.0000 -
991.37/994.56 c 995 865988 812621 1 - 0.0000 -
996.45/999.60 c 1000 869409 814854 1 - 0.0000 -
1001.45/1004.65 c 1005 873285 818523 1 - 0.0000 -
1006.52/1009.70 c 1010 877374 822203 1 - 0.0000 -
1011.61/1014.80 c 1015 881130 825585 1 - 0.0000 -
1016.59/1019.87 c 1020 885226 829251 1 - 0.0000 -
1021.78/1025.00 c 1025 888669 832497 1 - 0.0000 -
1026.77/1030.04 c 1030 892233 835712 1 - 0.0000 -
1031.76/1035.10 c 1035 895527 838802 1 - 0.0000 -
1036.83/1040.14 c 1040 899300 842330 1 - 0.0000 -
1041.83/1045.19 c 1045 903111 846026 1 - 0.0000 -
1046.90/1050.24 c 1050 906518 849242 1 - 0.0000 -
1051.98/1055.37 c 1055 910160 852724 1 - 0.0000 -
1057.07/1060.42 c 1060 913187 855531 1 - 0.0000 -
1062.15/1065.55 c 1066 917397 859380 1 - 0.0000 -
1067.14/1070.59 c 1071 921849 863008 1 - 0.0000 -
1072.22/1075.64 c 1076 926910 866310 1 - 0.0000 -
1077.51/1080.96 c 1081 930584 869828 1 - 0.0000 -
1082.59/1086.01 c 1086 933948 872982 1 - 0.0000 -
1087.67/1091.16 c 1091 937980 876710 1 - 0.0000 -
1092.86/1096.31 c 1096 941863 880302 1 - 0.0000 -
1097.84/1101.35 c 1101 945680 883619 1 - 0.0000 -
1102.93/1106.41 c 1106 949719 887240 1 - 0.0000 -
1108.10/1111.60 c 1112 953944 891023 1 - 0.0000 -
1113.09/1116.68 c 1117 958015 894660 1 - 0.0000 -
1118.18/1121.75 c 1122 961737 898197 1 - 0.0000 -
1123.26/1126.83 c 1127 965290 901585 1 - 0.0000 -
1128.45/1132.04 c 1132 967800 903950 1 - 0.0000 -
1133.54/1137.10 c 1137 971090 906947 1 - 0.0000 -
1138.52/1142.16 c 1142 974730 910316 1 - 0.0000 -
1143.60/1147.22 c 1147 978061 913484 1 - 0.0000 -
1148.59/1152.29 c 1152 981544 916759 1 - 0.0000 -
1153.67/1157.34 c 1157 985618 920586 1 - 0.0000 -
1158.65/1162.39 c 1162 989663 924397 1 - 0.0000 -
1163.73/1167.44 c 1167 992811 927408 1 - 0.0000 -
1168.82/1172.50 c 1173 996469 929884 1 - 0.0000 -
1173.80/1177.56 c 1178 999977 933223 1 - 0.0000 -
1178.89/1182.63 c 1183 1003096 936120 1 - 0.0000 -
1183.98/1187.73 c 1188 1006522 939235 1 - 0.0000 -
1188.96/1192.78 c 1193 1010348 942870 1 - 0.0000 -
1194.05/1197.88 c 1198 1013662 945913 1 - 0.0000 -
1199.13/1202.92 c 1203 1017330 949299 1 - 0.0000 -
1204.32/1208.11 c 1208 1021084 952864 1 - 0.0000 -
1209.30/1213.15 c 1213 1024585 956200 1 - 0.0000 -
1214.38/1218.21 c 1218 1027552 959095 1 - 0.0000 -
1219.57/1223.47 c 1223 1031281 962712 1 - 0.0000 -
1224.75/1228.61 c 1229 1034876 966152 1 - 0.0000 -
1229.94/1233.80 c 1234 1038787 969690 1 - 0.0000 -
1235.02/1238.91 c 1239 1042629 973403 1 - 0.0000 -
1240.01/1243.99 c 1244 1046056 976614 1 - 0.0000 -
1245.09/1249.06 c 1249 1049550 979959 1 - 0.0000 -
1250.18/1254.11 c 1254 1053185 983386 1 - 0.0000 -
1255.26/1259.22 c 1259 1057404 987069 1 - 0.0000 -
1260.25/1264.29 c 1264 1061101 990432 1 - 0.0000 -
1265.43/1269.41 c 1269 1064551 993684 1 - 0.0000 -
1270.41/1274.47 c 1274 1068200 996966 1 - 0.0000 -
1275.50/1279.53 c 1280 1071344 999849 1 - 0.0000 -
1280.48/1284.57 c 1285 1074874 1003134 1 - 0.0000 -
1285.56/1289.62 c 1290 1078493 1006530 1 - 0.0000 -
1290.55/1294.68 c 1295 1081457 1009392 1 - 0.0000 -
1295.63/1299.73 c 1300 1084666 1012431 1 - 0.0000 -
1300.72/1304.80 c 1305 1087990 1015684 1 - 0.0000 -
1305.70/1309.87 c 1310 1091596 1019205 1 - 0.0000 -
1310.79/1314.98 c 1315 1095671 1023198 1 - 0.0000 -
1315.88/1320.03 c 1320 1099135 1026490 1 - 0.0000 -
1320.96/1325.11 c 1325 1102592 1029759 1 - 0.0000 -
1326.05/1330.20 c 1330 1106549 1033527 1 - 0.0000 -
1331.02/1335.29 c 1335 1110517 1037175 1 - 0.0000 -
1336.20/1340.48 c 1340 1114079 1040368 1 - 0.0000 -
1341.28/1345.57 c 1346 1117897 1043840 1 - 0.0000 -
1346.36/1350.63 c 1351 1121070 1046812 1 - 0.0000 -
1351.44/1355.71 c 1356 1124759 1050260 1 - 0.0000 -
1356.42/1360.76 c 1361 1128053 1053479 1 - 0.0000 -
1361.50/1365.84 c 1366 1131241 1056530 1 - 0.0000 -
1366.87/1371.27 c 1371 1135105 1060157 1 - 0.0000 -
1372.06/1376.44 c 1376 1138497 1063323 1 - 0.0000 -
1377.03/1381.49 c 1382 1142357 1066977 1 - 0.0000 -
1382.11/1386.57 c 1387 1145520 1070035 1 - 0.0000 -
1387.19/1391.61 c 1392 1149534 1073896 1 - 0.0000 -
1392.37/1396.80 c 1397 1152832 1077026 1 - 0.0000 -
1397.44/1401.99 c 1402 1156504 1080446 1 - 0.0000 -
1402.63/1407.15 c 1407 1159662 1083387 1 - 0.0000 -
1407.80/1412.30 c 1412 1163222 1086592 1 - 0.0000 -
1412.78/1417.37 c 1417 1166843 1089926 1 - 0.0000 -
1417.96/1422.57 c 1423 1170098 1092987 1 - 0.0000 -
1423.14/1427.71 c 1428 1173442 1096152 1 - 0.0000 -
1428.12/1432.76 c 1433 1176955 1099408 1 - 0.0000 -
1433.29/1437.92 c 1438 1180642 1102889 1 - 0.0000 -
1438.27/1442.99 c 1443 1183974 1106020 1 - 0.0000 -
1443.36/1448.04 c 1448 1187035 1108950 1 - 0.0000 -
1448.44/1453.16 c 1453 1190340 1112014 1 - 0.0000 -
1453.53/1458.25 c 1458 1193968 1115522 1 - 0.0000 -
1458.61/1463.31 c 1463 1197598 1118928 1 - 0.0000 -
1463.89/1468.63 c 1469 1200862 1121644 1 - 0.0000 -
1468.97/1473.73 c 1474 1204284 1124769 1 - 0.0000 -
1474.16/1478.98 c 1479 1207432 1127738 1 - 0.0000 -
1479.25/1484.05 c 1484 1211034 1131118 1 - 0.0000 -
1484.33/1489.19 c 1489 1214162 1133894 1 - 0.0000 -
1489.41/1494.24 c 1494 1217170 1136686 1 - 0.0000 -
1494.89/1499.76 c 1500 1220730 1140139 1 - 0.0000 -
1499.98/1504.85 c 1505 1223862 1143191 1 - 0.0000 -
1505.07/1509.97 c 1510 1227190 1146302 1 - 0.0000 -
1510.15/1515.09 c 1515 1230506 1149339 1 - 0.0000 -
1515.23/1520.14 c 1520 1233771 1152460 1 - 0.0000 -
1520.52/1525.48 c 1525 1237242 1155784 1 - 0.0000 -
1525.60/1530.56 c 1531 1240610 1159002 1 - 0.0000 -
1530.99/1535.97 c 1536 1244270 1162523 1 - 0.0000 -
1536.27/1541.25 c 1541 1247838 1165887 1 - 0.0000 -
1541.36/1546.30 c 1546 1251111 1169014 1 - 0.0000 -
1546.44/1551.47 c 1551 1254009 1171757 1 - 0.0000 -
1551.62/1556.67 c 1557 1257219 1174900 1 - 0.0000 -
1556.71/1561.74 c 1562 1260046 1177649 1 - 0.0000 -
1561.69/1566.79 c 1567 1263552 1181008 1 - 0.0000 -
1567.08/1572.12 c 1572 1266662 1183996 1 - 0.0000 -
1572.26/1577.34 c 1577 1269562 1186644 1 - 0.0000 -
1577.65/1582.72 c 1583 1273317 1190228 1 - 0.0000 -
1582.83/1587.90 c 1588 1276344 1193089 1 - 0.0000 -
1588.02/1593.10 c 1593 1279594 1196170 1 - 0.0000 -
1593.30/1598.44 c 1598 1283012 1199327 1 - 0.0000 -
1598.47/1603.69 c 1604 1286102 1202315 1 - 0.0000 -
1603.56/1608.74 c 1609 1289200 1205138 1 - 0.0000 -
1608.65/1613.84 c 1614 1292809 1208711 1 - 0.0000 -
1613.84/1619.07 c 1619 1295946 1211689 1 - 0.0000 -
1618.92/1624.11 c 1624 1299136 1214663 1 - 0.0000 -
1624.21/1629.46 c 1629 1302302 1217591 1 - 0.0000 -
1629.29/1634.57 c 1635 1305632 1220627 1 - 0.0000 -
1634.47/1639.72 c 1640 1308659 1223461 1 - 0.0000 -
1639.45/1644.77 c 1645 1311599 1226298 1 - 0.0000 -
1644.54/1649.82 c 1650 1315010 1229530 1 - 0.0000 -
1649.52/1654.88 c 1655 1318123 1232531 1 - 0.0000 -
1654.60/1659.95 c 1660 1321256 1235611 1 - 0.0000 -
1659.80/1665.10 c 1665 1323754 1238055 1 - 0.0000 -
1664.78/1670.16 c 1670 1326828 1241031 1 - 0.0000 -
1669.86/1675.22 c 1675 1329812 1243866 1 - 0.0000 -
1675.05/1680.47 c 1680 1332609 1246571 1 - 0.0000 -
1680.33/1685.73 c 1686 1335394 1249211 1 - 0.0000 -
1685.42/1690.82 c 1691 1338436 1252086 1 - 0.0000 -
1690.40/1695.87 c 1696 1341958 1255521 1 - 0.0000 -
1695.49/1700.92 c 1701 1345103 1258456 1 - 0.0000 -
1700.58/1706.01 c 1706 1348184 1261302 1 - 0.0000 -
1705.55/1711.06 c 1711 1351433 1264241 1 - 0.0000 -
1710.64/1716.13 c 1716 1354845 1267343 1 - 0.0000 -
1715.73/1721.29 c 1721 1357388 1269749 1 - 0.0000 -
1720.81/1726.36 c 1726 1360396 1272673 1 - 0.0000 -
1725.99/1731.55 c 1732 1363506 1275635 1 - 0.0000 -
1731.28/1736.86 c 1737 1366982 1278929 1 - 0.0000 -
1736.36/1741.93 c 1742 1369914 1281691 1 - 0.0000 -
1741.64/1747.20 c 1747 1373020 1284632 1 - 0.0000 -
1746.72/1752.32 c 1752 1376346 1287891 1 - 0.0000 -
1751.91/1757.52 c 1758 1379271 1290629 1 - 0.0000 -
1757.09/1762.70 c 1763 1382156 1293413 1 - 0.0000 -
1762.28/1767.98 c 1768 1384977 1296150 1 - 0.0000 -
1767.38/1773.03 c 1773 1388162 1299179 1 - 0.0000 -
1772.55/1778.25 c 1778 1390982 1301889 1 - 0.0000 -
1777.63/1783.32 c 1783 1394096 1304869 1 - 0.0000 -
1782.92/1788.66 c 1789 1397376 1308033 1 - 0.0000 -
1788.10/1793.88 c 1794 1400487 1311035 1 - 0.0000 -
1793.29/1799.09 c 1799 1403354 1313755 1 - 0.0000 -
1798.48/1804.22 c 1804 1406573 1316773 1 - 0.0000 -
1803.45/1809.26 c 1809 1409555 1319588 1 - 0.0000 -
1808.64/1814.45 c 1814 1413311 1322955 1 - 0.0000 -
1813.83/1819.67 c 1820 1416667 1325578 1 - 0.0000 -
1819.22/1825.03 c 1825 1419485 1328316 1 - 0.0000 -
1824.49/1830.35 c 1830 1422630 1331394 1 - 0.0000 -
1829.58/1835.40 c 1835 1425771 1334472 1 - 0.0000 -
1835.26/1841.19 c 1841 1428854 1337371 1 - 0.0000 -
1840.35/1846.24 c 1846 1432054 1340352 1 - 0.0000 -
1845.33/1851.29 c 1851 1434860 1342880 1 - 0.0000 -
1850.82/1856.71 c 1857 1438180 1345914 1 - 0.0000 -
1855.90/1861.85 c 1862 1441031 1348526 1 - 0.0000 -
1861.09/1867.05 c 1867 1443972 1351298 1 - 0.0000 -
1866.56/1872.50 c 1873 1447066 1354154 1 - 0.0000 -
1871.75/1877.73 c 1878 1450071 1356909 1 - 0.0000 -
1876.83/1882.80 c 1883 1453501 1359993 1 - 0.0000 -
1881.82/1887.84 c 1888 1456747 1363030 1 - 0.0000 -
1886.81/1892.89 c 1893 1459830 1365955 1 - 0.0000 -
1892.00/1898.01 c 1898 1463059 1368843 1 - 0.0000 -
1897.08/1903.17 c 1903 1465848 1371445 1 - 0.0000 -
1902.16/1908.22 c 1908 1468377 1373790 1 - 0.0000 -
1907.35/1913.47 c 1913 1471472 1376575 1 - 0.0000 -
1912.43/1918.56 c 1919 1474108 1379012 1 - 0.0000 -
1917.61/1923.71 c 1924 1477264 1381958 1 - 0.0000 -
1922.91/1929.01 c 1929 1479976 1384522 1 - 0.0000 -
1927.89/1934.07 c 1934 1483217 1387523 1 - 0.0000 -
1933.17/1939.36 c 1939 1486075 1390300 1 - 0.0000 -
1938.25/1944.41 c 1944 1489108 1393131 1 - 0.0000 -
1943.24/1949.47 c 1949 1491774 1395619 1 - 0.0000 -
1948.32/1954.55 c 1955 1494867 1398586 1 - 0.0000 -
1953.41/1959.60 c 1960 1497666 1401167 1 - 0.0000 -
1958.70/1964.92 c 1965 1501048 1404361 1 - 0.0000 -
1963.78/1970.01 c 1970 1503322 1406516 1 - 0.0000 -
1968.87/1975.16 c 1975 1506348 1409348 1 - 0.0000 -
1973.95/1980.22 c 1980 1509462 1412356 1 - 0.0000 -
1978.93/1985.27 c 1985 1512267 1415021 1 - 0.0000 -
1984.41/1990.79 c 1991 1515318 1417942 1 - 0.0000 -
1990.10/1996.44 c 1996 1518459 1421007 1 - 0.0000 -
1995.09/2001.49 c 2002 1521105 1423560 1 - 0.0000 -
2000.37/2006.78 c 2007 1524412 1426735 1 - 0.0000 -
2005.55/2011.96 c 2012 1527465 1429629 1 - 0.0000 -
2010.64/2017.01 c 2017 1530521 1432424 1 - 0.0000 -
2015.73/2022.13 c 2022 1533560 1435413 1 - 0.0000 -
2020.81/2027.20 c 2027 1536536 1438321 1 - 0.0000 -
2025.89/2032.36 c 2032 1539354 1440985 1 - 0.0000 -
2031.27/2037.73 c 2038 1542443 1443868 1 - 0.0000 -
2036.45/2042.91 c 2043 1545205 1446516 1 - 0.0000 -
2041.44/2047.98 c 2048 1548379 1449530 1 - 0.0000 -
2046.82/2053.39 c 2053 1551538 1452329 1 - 0.0000 -
2052.31/2058.86 c 2059 1554319 1454974 1 - 0.0000 -
2057.39/2063.97 c 2064 1557148 1457724 1 - 0.0000 -
2062.48/2069.07 c 2069 1559686 1459998 1 - 0.0000 -
2067.56/2074.13 c 2074 1562865 1463020 1 - 0.0000 -
2073.04/2079.64 c 2080 1565552 1465507 1 - 0.0000 -
2078.02/2084.70 c 2085 1568640 1468471 1 - 0.0000 -
2083.41/2090.04 c 2090 1572024 1471685 1 - 0.0000 -
2088.50/2095.10 c 2095 1575682 1474868 1 - 0.0000 -
2093.68/2100.39 c 2100 1578881 1477847 1 - 0.0000 -
2098.96/2105.61 c 2106 1581607 1480421 1 - 0.0000 -
2104.05/2110.77 c 2111 1584177 1482850 1 - 0.0000 -
2109.63/2116.38 c 2116 1587276 1485793 1 - 0.0000 -
2114.72/2121.47 c 2121 1590057 1488397 1 - 0.0000 -
2120.20/2126.92 c 2127 1593126 1491274 1 - 0.0000 -
2125.29/2132.03 c 2132 1596249 1494130 1 - 0.0000 -
2130.57/2137.31 c 2137 1599374 1496980 1 - 0.0000 -
2135.75/2142.57 c 2143 1602123 1499548 1 - 0.0000 -
2140.84/2147.64 c 2148 1604690 1501932 1 - 0.0000 -
2146.03/2152.84 c 2153 1607622 1504718 1 - 0.0000 -
2151.11/2157.91 c 2158 1610442 1507422 1 - 0.0000 -
2156.40/2163.28 c 2163 1613070 1509801 1 - 0.0000 -
2161.47/2168.33 c 2168 1616644 1513115 1 - 0.0000 -
2166.76/2173.64 c 2174 1619683 1515995 1 - 0.0000 -
2171.95/2178.81 c 2179 1622682 1518802 1 - 0.0000 -
2176.93/2183.86 c 2184 1625295 1521216 1 - 0.0000 -
2182.02/2188.96 c 2189 1627811 1523370 1 - 0.0000 -
2187.10/2194.02 c 2194 1631196 1526634 1 - 0.0000 -
2192.18/2199.16 c 2199 1633630 1529007 1 - 0.0000 -
2197.27/2204.25 c 2204 1635824 1531089 1 - 0.0000 -
2202.44/2209.46 c 2209 1638480 1533640 1 - 0.0000 -
2207.82/2214.85 c 2215 1641595 1536553 1 - 0.0000 -
2213.20/2220.27 c 2220 1644782 1539578 1 - 0.0000 -
2218.78/2225.85 c 2226 1647552 1542205 1 - 0.0000 -
2223.85/2230.91 c 2231 1650257 1544842 1 - 0.0000 -
2228.94/2236.08 c 2236 1653050 1547472 1 - 0.0000 -
2234.51/2241.67 c 2242 1655702 1549841 1 - 0.0000 -
2239.69/2246.88 c 2247 1658779 1552747 1 - 0.0000 -
2244.77/2251.98 c 2252 1661294 1555055 1 - 0.0000 -
2249.86/2257.05 c 2257 1663835 1557384 1 - 0.0000 -
2255.13/2262.38 c 2262 1666786 1560232 1 - 0.0000 -
2260.21/2267.47 c 2267 1669634 1562883 1 - 0.0000 -
2265.39/2272.69 c 2273 1672154 1565322 1 - 0.0000 -
2270.47/2277.77 c 2278 1674713 1567772 1 - 0.0000 -
2275.75/2283.02 c 2283 1677302 1570235 1 - 0.0000 -
2280.73/2288.08 c 2288 1680046 1572672 1 - 0.0000 -
2285.81/2293.12 c 2293 1682908 1575398 1 - 0.0000 -
2290.99/2298.30 c 2298 1685499 1577802 1 - 0.0000 -
2296.37/2303.75 c 2304 1688504 1580638 1 - 0.0000 -
2301.64/2309.07 c 2309 1691528 1583547 1 - 0.0000 -
2306.72/2314.17 c 2314 1694216 1586071 1 - 0.0000 -
2311.90/2319.36 c 2319 1696868 1588598 1 - 0.0000 -
2317.28/2324.71 c 2325 1699636 1591277 1 - 0.0000 -
2322.46/2329.93 c 2330 1702454 1593935 1 - 0.0000 -
2327.74/2335.21 c 2335 1705330 1596621 1 - 0.0000 -
2333.01/2340.55 c 2341 1708544 1599744 1 - 0.0000 -
2338.19/2345.78 c 2346 1711477 1602406 1 - 0.0000 -
2343.77/2351.35 c 2351 1714437 1605122 1 - 0.0000 -
2349.25/2356.80 c 2357 1717628 1608182 1 - 0.0000 -
2354.53/2362.13 c 2362 1720810 1611244 1 - 0.0000 -
2359.61/2367.23 c 2367 1723098 1613331 1 - 0.0000 -
2364.69/2372.36 c 2372 1725570 1615671 1 - 0.0000 -
2369.76/2377.47 c 2377 1728486 1618381 1 - 0.0000 -
2374.95/2382.63 c 2383 1731211 1620962 1 - 0.0000 -
2379.93/2387.68 c 2388 1734210 1623885 1 - 0.0000 -
2385.22/2392.91 c 2393 1736906 1626403 1 - 0.0000 -
2390.31/2398.09 c 2398 1739720 1629130 1 - 0.0000 -
2395.68/2403.44 c 2403 1742394 1631685 1 - 0.0000 -
2400.87/2408.66 c 2409 1745102 1634222 1 - 0.0000 -
2406.55/2414.35 c 2414 1747788 1636725 1 - 0.0000 -
2411.83/2419.68 c 2420 1750359 1639123 1 - 0.0000 -
2417.23/2425.07 c 2425 1753186 1641890 1 - 0.0000 -
2423.21/2431.07 c 2431 1756216 1644738 1 - 0.0000 -
2428.30/2436.13 c 2436 1759006 1647325 1 - 0.0000 -
2433.67/2441.53 c 2442 1761414 1649608 1 - 0.0000 -
2439.36/2447.26 c 2447 1764019 1652100 1 - 0.0000 -
2444.64/2452.56 c 2453 1766881 1654884 1 - 0.0000 -
2449.82/2457.78 c 2458 1769898 1657850 1 - 0.0000 -
2455.01/2462.96 c 2463 1772614 1660436 1 - 0.0000 -
2460.29/2468.21 c 2468 1775250 1662805 1 - 0.0000 -
2465.58/2473.52 c 2474 1777945 1665315 1 - 0.0000 -
2470.57/2478.59 c 2479 1780415 1667567 1 - 0.0000 -
2475.65/2483.66 c 2484 1783424 1670474 1 - 0.0000 -
2480.83/2488.82 c 2489 1785754 1672692 1 - 0.0000 -
2485.92/2493.90 c 2494 1788572 1675322 1 - 0.0000 -
2490.91/2498.96 c 2499 1791047 1677588 1 - 0.0000 -
2496.19/2504.28 c 2504 1793706 1679742 1 - 0.0000 -
2501.37/2509.43 c 2509 1796450 1682326 1 - 0.0000 -
2506.44/2514.55 c 2515 1798722 1684464 1 - 0.0000 -
2511.63/2519.76 c 2520 1801242 1686890 1 - 0.0000 -
2517.10/2525.23 c 2525 1804515 1689974 1 - 0.0000 -
2522.88/2531.06 c 2531 1807732 1693122 1 - 0.0000 -
2527.95/2536.13 c 2536 1810940 1696223 1 - 0.0000 -
2533.13/2541.34 c 2541 1813407 1698510 1 - 0.0000 -
2538.11/2546.39 c 2546 1816050 1700920 1 - 0.0000 -
2543.19/2551.44 c 2551 1818887 1703568 1 - 0.0000 -
2548.17/2556.49 c 2556 1821656 1706225 1 - 0.0000 -
2553.26/2561.59 c 2562 1823684 1708182 1 - 0.0000 -
2558.44/2566.75 c 2567 1826583 1710880 1 - 0.0000 -
2563.63/2571.95 c 2572 1829253 1713423 1 - 0.0000 -
2568.82/2577.10 c 2577 1831534 1715609 1 - 0.0000 -
2573.80/2582.16 c 2582 1834477 1718337 1 - 0.0000 -
2578.88/2587.20 c 2587 1837227 1720974 1 - 0.0000 -
2583.87/2592.25 c 2592 1839702 1723337 1 - 0.0000 -
2588.95/2597.30 c 2597 1842367 1725810 1 - 0.0000 -
2593.94/2602.39 c 2602 1844604 1727881 1 - 0.0000 -
2599.03/2607.45 c 2607 1847226 1730381 1 - 0.0000 -
2604.80/2613.26 c 2613 1849819 1732753 1 - 0.0000 -
2609.99/2618.41 c 2618 1852552 1735384 1 - 0.0000 -
2615.07/2623.56 c 2624 1854990 1737648 1 - 0.0000 -
2620.56/2629.09 c 2629 1857593 1740091 1 - 0.0000 -
2625.64/2634.19 c 2634 1860336 1742740 1 - 0.0000 -
2630.93/2639.49 c 2640 1862967 1745236 1 - 0.0000 -
2636.00/2644.56 c 2645 1865380 1747474 1 - 0.0000 -
2641.08/2649.61 c 2650 1867744 1749646 1 - 0.0000 -
2646.07/2654.66 c 2655 1870555 1752172 1 - 0.0000 -
2651.15/2659.73 c 2660 1873220 1754664 1 - 0.0000 -
2656.22/2664.88 c 2665 1875772 1757056 1 - 0.0000 -
2661.30/2669.95 c 2670 1878048 1759266 1 - 0.0000 -
2666.39/2675.06 c 2675 1880782 1761850 1 - 0.0000 -
2671.47/2680.19 c 2680 1883593 1764543 1 - 0.0000 -
2676.85/2685.52 c 2686 1886336 1767174 1 - 0.0000 -
2682.33/2691.10 c 2691 1889102 1769857 1 - 0.0000 -
2687.40/2696.16 c 2696 1891883 1772502 1 - 0.0000 -
2692.59/2701.35 c 2701 1894456 1774983 1 - 0.0000 -
2697.77/2706.50 c 2707 1897350 1777612 1 - 0.0000 -
2702.85/2711.69 c 2712 1899958 1779879 1 - 0.0000 -
2708.04/2716.86 c 2717 1902712 1782548 1 - 0.0000 -
2713.12/2721.91 c 2722 1904824 1784533 1 - 0.0000 -
2718.90/2727.72 c 2728 1907022 1786596 1 - 0.0000 -
2723.89/2732.76 c 2733 1909935 1789298 1 - 0.0000 -
2729.37/2738.28 c 2738 1912733 1792023 1 - 0.0000 -
2734.96/2743.81 c 2744 1915727 1794849 1 - 0.0000 -
2740.04/2749.00 c 2749 1918238 1797234 1 - 0.0000 -
2745.12/2754.05 c 2754 1920998 1799891 1 - 0.0000 -
2750.60/2759.58 c 2760 1923650 1802488 1 - 0.0000 -
2755.79/2764.70 c 2765 1926367 1805080 1 - 0.0000 -
2760.97/2769.94 c 2770 1929547 1808140 1 - 0.0000 -
2766.06/2775.04 c 2775 1931872 1810350 1 - 0.0000 -
2771.05/2780.08 c 2780 1934609 1812929 1 - 0.0000 -
2776.32/2785.33 c 2785 1937662 1815824 1 - 0.0000 -
2781.80/2790.87 c 2791 1940660 1818630 1 - 0.0000 -
2787.19/2796.24 c 2796 1943674 1821501 1 - 0.0000 -
2792.48/2801.53 c 2802 1946186 1823826 1 - 0.0000 -
2797.56/2806.60 c 2807 1948592 1826132 1 - 0.0000 -
2802.74/2811.84 c 2812 1951544 1829013 1 - 0.0000 -
2807.72/2816.89 c 2817 1954647 1831908 1 - 0.0000 -
2812.92/2822.07 c 2822 1957150 1834271 1 - 0.0000 -
2818.09/2827.21 c 2827 1959727 1836715 1 - 0.0000 -
2823.18/2832.30 c 2832 1962178 1839036 1 - 0.0000 -
2828.17/2837.36 c 2837 1964678 1841379 1 - 0.0000 -
2833.25/2842.47 c 2842 1967057 1843564 1 - 0.0000 -
2838.63/2847.81 c 2848 1969742 1846202 1 - 0.0000 -
2843.62/2852.86 c 2853 1972683 1849009 1 - 0.0000 -
2848.70/2857.99 c 2858 1975470 1851656 1 - 0.0000 -
2854.09/2863.32 c 2863 1978124 1854084 1 - 0.0000 -
2859.17/2868.48 c 2868 1981015 1856699 1 - 0.0000 -
2864.45/2873.70 c 2874 1983753 1859178 1 - 0.0000 -
2869.53/2878.81 c 2879 1986576 1861927 1 - 0.0000 -
2874.83/2884.10 c 2884 1989134 1864334 1 - 0.0000 -
2879.82/2889.18 c 2889 1992268 1867197 1 - 0.0000 -
2885.10/2894.44 c 2894 1994965 1869626 1 - 0.0000 -
2890.17/2899.51 c 2900 1998200 1872739 1 - 0.0000 -
2895.37/2904.71 c 2905 2000991 1875300 1 - 0.0000 -
2900.35/2909.77 c 2910 2003956 1878186 1 - 0.0000 -
2905.43/2914.89 c 2915 2007065 1881251 1 - 0.0000 -
2910.72/2920.14 c 2920 2009063 1883217 1 - 0.0000 -
2915.81/2925.24 c 2925 2011855 1885880 1 - 0.0000 -
2920.99/2930.42 c 2930 2013761 1887710 1 - 0.0000 -
2926.48/2935.92 c 2936 2016424 1890274 1 - 0.0000 -
2931.95/2941.46 c 2941 2019376 1893090 1 - 0.0000 -
2937.24/2946.76 c 2947 2022262 1895860 1 - 0.0000 -
2942.43/2951.98 c 2952 2025598 1899130 1 - 0.0000 -
2947.61/2957.15 c 2957 2028784 1901175 1 - 0.0000 -
2953.00/2962.51 c 2963 2031325 1903571 1 - 0.0000 -
2957.98/2967.56 c 2968 2034124 1906162 1 - 0.0000 -
2963.16/2972.75 c 2973 2037224 1909076 1 - 0.0000 -
2968.45/2978.10 c 2978 2039517 1911292 1 - 0.0000 -
2973.54/2983.14 c 2983 2042447 1914085 1 - 0.0000 -
2979.11/2988.75 c 2989 2045814 1917300 1 - 0.0000 -
2984.61/2994.28 c 2994 2048665 1919999 1 - 0.0000 -
2989.89/2999.58 c 3000 2051706 1922938 1 - 0.0000 -
2994.98/3004.68 c 3005 2054876 1925929 1 - 0.0000 -
3000.16/3009.80 c 3010 2057782 1928701 1 - 0.0000 -
3005.45/3015.17 c 3015 2060826 1931621 1 - 0.0000 -
3010.93/3020.63 c 3021 2063633 1934286 1 - 0.0000 -
3016.51/3026.20 c 3026 2066614 1937138 1 - 0.0000 -
3021.60/3031.33 c 3031 2069482 1939952 1 - 0.0000 -
3027.08/3036.83 c 3037 2072292 1942600 1 - 0.0000 -
3032.46/3042.28 c 3042 2075420 1945527 1 - 0.0000 -
3037.95/3047.79 c 3048 2078783 1948766 1 - 0.0000 -
3043.23/3053.10 c 3053 2081818 1951732 1 - 0.0000 -
3048.61/3058.45 c 3058 2084084 1953886 1 - 0.0000 -
3053.90/3063.79 c 3064 2086548 1956114 1 - 0.0000 -
3058.99/3068.89 c 3069 2089099 1958534 1 - 0.0000 -
3064.07/3073.95 c 3074 2091908 1961271 1 - 0.0000 -
3069.16/3079.07 c 3079 2094712 1963955 1 - 0.0000 -
3074.64/3084.51 c 3085 2097384 1966534 1 - 0.0000 -
3079.62/3089.55 c 3090 2099897 1968808 1 - 0.0000 -
3084.80/3094.70 c 3095 2102502 1971180 1 - 0.0000 -
3089.80/3099.75 c 3100 2105292 1973670 1 - 0.0000 -
3095.38/3105.33 c 3105 2108135 1976328 1 - 0.0000 -
3101.06/3111.04 c 3111 2111090 1979043 1 - 0.0000 -
3106.15/3116.10 c 3116 2114233 1982084 1 - 0.0000 -
3111.22/3121.24 c 3121 2117107 1984812 1 - 0.0000 -
3116.62/3126.64 c 3127 2119900 1987454 1 - 0.0000 -
3121.80/3131.84 c 3132 2122899 1990327 1 - 0.0000 -
3126.88/3136.92 c 3137 2125796 1993037 1 - 0.0000 -
3131.87/3141.97 c 3142 2128573 1995546 1 - 0.0000 -
3137.06/3147.18 c 3147 2131691 1998488 1 - 0.0000 -
3142.14/3152.27 c 3152 2134274 2000987 1 - 0.0000 -
3147.32/3157.49 c 3157 2137207 2003690 1 - 0.0000 -
3152.80/3162.98 c 3163 2139965 2006218 1 - 0.0000 -
3158.19/3168.33 c 3168 2142770 2008823 1 - 0.0000 -
3163.67/3173.88 c 3174 2146516 2012393 1 - 0.0000 -
3168.96/3179.10 c 3179 2149523 2015136 1 - 0.0000 -
3173.94/3184.17 c 3184 2152119 2017602 1 - 0.0000 -
3179.93/3190.14 c 3190 2155027 2020358 1 - 0.0000 -
3185.10/3195.36 c 3195 2157806 2022829 1 - 0.0000 -
3190.18/3200.43 c 3200 2160986 2025864 1 - 0.0000 -
3195.98/3206.20 c 3206 2163956 2028541 1 - 0.0000 -
3200.96/3211.25 c 3211 2166768 2031206 1 - 0.0000 -
3206.04/3216.31 c 3216 2169727 2033888 1 - 0.0000 -
3211.22/3221.57 c 3222 2172553 2036626 1 - 0.0000 -
3216.61/3226.91 c 3227 2175771 2039711 1 - 0.0000 -
3221.71/3232.06 c 3232 2178657 2042478 1 - 0.0000 -
3226.88/3237.24 c 3237 2181290 2045045 1 - 0.0000 -
3232.26/3242.60 c 3243 2184228 2047763 1 - 0.0000 -
3237.54/3247.91 c 3248 2187062 2050344 1 - 0.0000 -
3242.53/3252.96 c 3253 2189970 2053036 1 - 0.0000 -
3247.91/3258.32 c 3258 2192782 2055617 1 - 0.0000 -
3252.89/3263.37 c 3263 2195536 2058164 1 - 0.0000 -
3257.98/3268.48 c 3268 2198717 2061027 1 - 0.0000 -
3263.46/3273.98 c 3274 2201700 2063748 1 - 0.0000 -
3268.55/3279.03 c 3279 2205122 2067048 1 - 0.0000 -
3273.54/3284.07 c 3284 2207909 2069717 1 - 0.0000 -
3279.21/3289.79 c 3290 2210967 2072553 1 - 0.0000 -
3285.19/3295.78 c 3296 2214152 2075643 1 - 0.0000 -
3290.28/3300.84 c 3301 2216893 2078163 1 - 0.0000 -
3295.67/3306.27 c 3306 2219915 2080963 1 - 0.0000 -
3300.74/3311.35 c 3311 2223105 2084015 1 - 0.0000 -
3306.23/3316.80 c 3317 2226098 2086825 1 - 0.0000 -
3311.31/3321.90 c 3322 2229143 2089788 1 - 0.0000 -
3316.90/3327.55 c 3328 2232353 2092891 1 - 0.0000 -
3322.58/3333.28 c 3333 2236180 2096648 1 - 0.0000 -
3327.67/3338.37 c 3338 2239798 2100018 1 - 0.0000 -
3332.75/3343.43 c 3343 2242864 2102503 1 - 0.0000 -
3337.84/3348.52 c 3349 2245358 2104918 1 - 0.0000 -
3342.81/3353.58 c 3354 2248117 2107596 1 - 0.0000 -
3347.90/3358.64 c 3359 2251262 2110528 1 - 0.0000 -
3353.29/3364.06 c 3364 2254378 2113330 1 - 0.0000 -
3358.37/3369.11 c 3369 2257533 2116277 1 - 0.0000 -
3363.95/3374.76 c 3375 2260669 2119226 1 - 0.0000 -
3369.03/3379.84 c 3380 2263384 2121816 1 - 0.0000 -
3374.02/3384.89 c 3385 2265957 2124157 1 - 0.0000 -
3379.41/3390.25 c 3390 2268420 2126460 1 - 0.0000 -
3385.49/3396.36 c 3396 2271668 2129533 1 - 0.0000 -
3390.77/3401.63 c 3402 2274080 2131368 1 - 0.0000 -
3396.26/3407.12 c 3407 2277024 2134185 1 - 0.0000 -
3401.74/3412.68 c 3413 2280092 2137103 1 - 0.0000 -
3406.93/3417.81 c 3418 2282847 2139697 1 - 0.0000 -
3412.22/3423.12 c 3423 2285504 2142237 1 - 0.0000 -
3417.60/3428.52 c 3429 2288254 2144902 1 - 0.0000 -
3422.87/3433.85 c 3434 2291090 2147659 1 - 0.0000 -
3428.16/3439.15 c 3439 2294102 2150497 1 - 0.0000 -
3433.25/3444.21 c 3444 2296655 2152777 1 - 0.0000 -
3438.33/3449.35 c 3449 2299133 2155154 1 - 0.0000 -
3443.32/3454.39 c 3454 2302231 2158051 1 - 0.0000 -
3448.40/3459.44 c 3459 2305200 2160808 1 - 0.0000 -
3453.69/3464.71 c 3465 2307296 2162820 1 - 0.0000 -
3458.77/3469.86 c 3470 2309996 2165257 1 - 0.0000 -
3464.45/3475.51 c 3476 2312562 2167679 1 - 0.0000 -
3469.84/3480.94 c 3481 2315113 2170123 1 - 0.0000 -
3474.93/3486.08 c 3486 2318303 2172733 1 - 0.0000 -
3480.31/3491.45 c 3491 2321324 2175480 1 - 0.0000 -
3486.08/3497.23 c 3497 2323988 2178028 1 - 0.0000 -
3491.07/3502.27 c 3502 2326907 2180829 1 - 0.0000 -
3496.75/3507.95 c 3508 2330262 2183888 1 - 0.0000 -
3501.84/3513.01 c 3513 2332813 2186356 1 - 0.0000 -
3507.31/3518.56 c 3519 2335322 2188716 1 - 0.0000 -
3513.00/3524.25 c 3524 2338201 2191501 1 - 0.0000 -
3518.08/3529.31 c 3529 2340129 2193331 1 - 0.0000 -
3523.47/3534.74 c 3535 2342794 2195911 1 - 0.0000 -
3528.95/3540.26 c 3540 2345825 2198817 1 - 0.0000 -
3534.04/3545.32 c 3545 2348230 2201052 1 - 0.0000 -
3539.02/3550.39 c 3550 2350839 2203576 1 - 0.0000 -
3544.11/3555.44 c 3555 2354157 2206689 1 - 0.0000 -
3549.49/3560.84 c 3561 2357173 2209469 1 - 0.0000 -
3554.97/3566.33 c 3566 2360606 2212692 1 - 0.0000 -
3560.25/3571.66 c 3572 2363900 2215868 1 - 0.0000 -
3565.54/3576.90 c 3577 2366614 2218444 1 - 0.0000 -
3570.63/3582.03 c 3582 2368986 2220596 1 - 0.0000 -
3575.81/3587.28 c 3587 2371562 2222976 1 - 0.0000 -
3581.60/3593.02 c 3593 2374146 2225285 1 - 0.0000 -
3586.58/3598.04 c 3598 2376644 2227710 0 - 0.0000 -
3589.68/3601.16 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.68/3601.16 c Total Time : 3601.1600
3589.68/3601.16 c solving : 3601.1600
3589.68/3601.16 c presolving : 0.0155 (included in solving)
3589.68/3601.16 c B&B Tree :
3589.68/3601.16 c nodes (total) : 1
3589.68/3601.16 c Solution :
3589.68/3601.16 c Solutions found : 0
3589.68/3601.16 c Primal Bound : -
3589.68/3601.16 c Dual Bound : +0.00000000000000e+00
3589.68/3601.16 c Gap : -
3589.68/3601.18 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (58733 MiB free)
memory of node 1: 64473 MiB (62890 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464586-1722386539/watcher-4464586-1722386539 -o /tmp/evaluation-result-4464586-1722386539/solver-4464586-1722386539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722378597-30626 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464586-1722386539.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
solver pid=36813, runsolver pid=36810
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.100766 s]*
/proc/loadavg: 4.06 4.14 4.10 5/263 36816
/proc/meminfo: memFree=124503772/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=129824 memory=50736 CPUtime=0.09 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 10309 0 0 0 8 1 0 0 20 0 3 0 5258237 132939776 12684 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 32456 12684 2950 3035 0 17547 0
[pid=36813/tid=36815] ppid=36810 vsize=129824 memory=4026561586 CPUtime=0.06 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 5284 0 0 0 6 0 0 0 20 0 3 0 5258239 132939776 12684 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=129824 memory=237146210664 CPUtime=0 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5258240 132939776 12684 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 129824 KiB
Current children cumulated memory: 50736 KiB
[startup+0.205766 s]*
/proc/loadavg: 4.06 4.14 4.10 5/263 36816
/proc/meminfo: memFree=124505048/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=127944 memory=49436 CPUtime=0.19 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 10479 0 0 0 18 1 0 0 20 0 3 0 5258237 131014656 12359 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 31986 12359 2950 3035 0 17126 0
[pid=36813/tid=36815] ppid=36810 vsize=127944 memory=664970838410264707 CPUtime=0.16 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 5454 0 0 0 16 0 0 0 20 0 3 0 5258239 131014656 12359 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=127944 memory=18004 CPUtime=0 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5258240 131014656 12359 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 127944 KiB
Current children cumulated memory: 49436 KiB
[startup+0.305766 s]*
/proc/loadavg: 4.06 4.14 4.10 5/263 36816
/proc/meminfo: memFree=124498816/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=127944 memory=55276 CPUtime=0.28 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 12310 0 0 0 27 1 0 0 20 0 3 0 5258237 131014656 13819 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 31986 13819 2950 3035 0 18808 0
[pid=36813/tid=36815] ppid=36810 vsize=127944 memory=-5155635708196973445 CPUtime=0.25 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 7285 0 0 0 25 0 0 0 20 0 3 0 5258239 131014656 13819 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=127944 memory=0 CPUtime=0 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5258240 131014656 13819 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 127944 KiB
Current children cumulated memory: 55276 KiB
[startup+0.700251 s]
/proc/loadavg: 4.06 4.14 4.10 5/263 36816
/proc/meminfo: memFree=124495552/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=127944 memory=59820 CPUtime=0.67 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 13464 0 0 0 66 1 0 0 20 0 3 0 5258237 131014656 14955 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 31986 14955 2966 3035 0 19465 0
[pid=36813/tid=36815] ppid=36810 vsize=127944 memory=0 CPUtime=0.64 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 8439 0 0 0 64 0 0 0 20 0 3 0 5258239 131014656 14955 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=127944 memory=0 CPUtime=0 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5258240 131014656 14955 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 127944 KiB
Current children cumulated memory: 59820 KiB
[startup+1.50024 s]
/proc/loadavg: 4.06 4.14 4.10 5/263 36816
/proc/meminfo: memFree=124494536/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=127944 memory=61152 CPUtime=1.47 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 19030 0 0 0 145 2 0 0 20 0 3 0 5258237 131014656 15288 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 31986 15288 2966 3035 0 19801 0
[pid=36813/tid=36815] ppid=36810 vsize=127944 memory=0 CPUtime=1.45 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 13988 0 0 0 144 1 0 0 20 0 3 0 5258239 131014656 15288 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=127944 memory=0 CPUtime=0 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5258240 131014656 15288 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 127944 KiB
Current children cumulated memory: 61152 KiB
[startup+3.10543 s]
/proc/loadavg: 4.06 4.14 4.10 5/263 36817
/proc/meminfo: memFree=124484188/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=127944 memory=67160 CPUtime=3.07 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 21342 0 0 0 305 2 0 0 20 0 3 0 5258237 131014656 16790 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 31986 16790 2966 3035 0 21293 0
[pid=36813/tid=36815] ppid=36810 vsize=127944 memory=2273 CPUtime=3.04 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 16298 0 0 0 303 1 0 0 20 0 3 0 5258239 131014656 16790 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=127944 memory=0 CPUtime=0 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5258240 131014656 16790 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 127944 KiB
Current children cumulated memory: 67160 KiB
[startup+6.30023 s]
/proc/loadavg: 4.06 4.13 4.10 5/263 36817
/proc/meminfo: memFree=124474960/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=128972 memory=73808 CPUtime=6.26 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 30385 0 0 0 622 4 0 0 20 0 3 0 5258237 132067328 18452 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 32243 18452 2966 3035 0 22905 0
[pid=36813/tid=36815] ppid=36810 vsize=128972 memory=-5155635708196973445 CPUtime=6.23 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 25317 0 0 0 620 3 0 0 20 0 3 0 5258239 132067328 18452 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=128972 memory=72392 CPUtime=0 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5258240 132067328 18452 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 128972 KiB
Current children cumulated memory: 73808 KiB
[startup+12.7002 s]
/proc/loadavg: 4.05 4.13 4.10 5/263 36817
/proc/meminfo: memFree=124455028/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=128972 memory=82484 CPUtime=12.64 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 48890 0 0 0 1258 6 0 0 20 0 3 0 5258237 132067328 20621 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 32243 20621 3014 3035 0 25066 0
[pid=36813/tid=36815] ppid=36810 vsize=128972 memory=67900 CPUtime=12.61 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 43777 0 0 0 1256 5 0 0 20 0 3 0 5258239 132067328 20621 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=128972 memory=0 CPUtime=0 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5258240 132067328 20621 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 128972 KiB
Current children cumulated memory: 82484 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.14 4.10 5/263 36820
/proc/meminfo: memFree=124422796/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=132052 memory=89884 CPUtime=25.4 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 74469 0 0 0 2531 9 0 0 20 0 3 0 5258237 135221248 22471 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 33013 22471 3014 3035 0 26799 0
[pid=36813/tid=36815] ppid=36810 vsize=132052 memory=78368 CPUtime=25.37 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 69282 0 0 0 2529 8 0 0 20 0 3 0 5258239 135221248 22471 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=132052 memory=11408 CPUtime=0 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5258240 135221248 22471 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 132052 KiB
Current children cumulated memory: 89884 KiB
[startup+51.1057 s]
/proc/loadavg: 4.07 4.13 4.10 5/263 36823
/proc/meminfo: memFree=124359444/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=199644 memory=112468 CPUtime=50.92 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 114330 0 0 0 5077 15 0 0 20 0 3 0 5258237 204435456 28117 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 49911 28117 3014 3035 0 33419 0
[pid=36813/tid=36815] ppid=36810 vsize=199644 memory=106688 CPUtime=50.89 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 109049 0 0 0 5075 14 0 0 20 0 3 0 5258239 204435456 28117 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=199644 memory=106624 CPUtime=0 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5258240 204435456 28117 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 199644 KiB
Current children cumulated memory: 112468 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/263 36832
/proc/meminfo: memFree=124213932/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=207352 memory=174392 CPUtime=101.96 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 171920 0 0 0 10168 28 0 0 20 0 3 0 5258237 212328448 43598 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 51838 43598 3014 3035 0 48101 0
[pid=36813/tid=36815] ppid=36810 vsize=207352 memory=167344 CPUtime=101.93 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 166552 0 0 0 10166 27 0 0 20 0 3 0 5258239 212328448 43598 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=207352 memory=164796 CPUtime=0 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5258240 212328448 43598 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 207352 KiB
Current children cumulated memory: 174392 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/263 36846
/proc/meminfo: memFree=124056040/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=281112 memory=233324 CPUtime=161.77 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 225355 0 0 0 16136 41 0 0 20 0 3 0 5258237 287858688 58331 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 70278 58331 3014 3035 0 62689 0
[pid=36813/tid=36815] ppid=36810 vsize=281112 memory=226904 CPUtime=161.73 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 219933 0 0 0 16133 40 0 0 20 0 3 0 5258239 287858688 58331 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=281112 memory=11408 CPUtime=0 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5258240 287858688 58331 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 281112 KiB
################
# More data... #
################
Current children cumulated memory: 2543016 KiB
[startup+3402.3 s]
/proc/loadavg: 1.13 1.74 2.89 2/237 38759
/proc/meminfo: memFree=127161424/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=2712344 memory=2576332 CPUtime=3391.47 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 4578594 0 0 0 338391 756 0 0 20 0 3 0 5258237 2777440256 644083 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 678086 644083 3014 3035 0 658084 0
[pid=36813/tid=36815] ppid=36810 vsize=2712344 memory=2533492 CPUtime=3391.23 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 4571848 0 0 0 338374 749 0 0 20 0 3 0 5258239 2777440256 644083 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=2712344 memory=2567560 CPUtime=0.02 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5258240 2777440256 644083 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 3391.47 s
Current children cumulated vsize: 2712344 KiB
Current children cumulated memory: 2576332 KiB
[startup+3462.3 s]
/proc/loadavg: 1.16 1.63 2.78 2/240 38774
/proc/meminfo: memFree=127125336/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=2717484 memory=2611972 CPUtime=3451.29 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 4672642 0 0 0 344360 769 0 0 20 0 3 0 5258237 2782703616 652993 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 679371 652993 3014 3035 0 666894 0
[pid=36813/tid=36815] ppid=36810 vsize=2717484 memory=2533492 CPUtime=3451.05 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 4665876 0 0 0 344343 762 0 0 20 0 3 0 5258239 2782703616 652993 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=2717484 memory=2566036 CPUtime=0.02 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 5258240 2782703616 652993 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 3451.29 s
Current children cumulated vsize: 2717484 KiB
Current children cumulated memory: 2611972 KiB
[startup+3522.3 s]
/proc/loadavg: 1.12 1.53 2.67 2/240 38785
/proc/meminfo: memFree=127093856/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=2722624 memory=2642592 CPUtime=3511.1 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 4752392 0 0 0 350331 779 0 0 20 0 3 0 5258237 2787966976 660648 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 680656 660648 3014 3035 0 674448 0
[pid=36813/tid=36815] ppid=36810 vsize=2722624 memory=-7161750856329754815 CPUtime=3510.86 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 4745607 0 0 0 350314 772 0 0 20 0 3 0 5258239 2787966976 660648 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=2722624 memory=11408 CPUtime=0.02 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 143 0 0 0 0 2 0 0 20 0 3 0 5258240 2787966976 660648 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 3511.1 s
Current children cumulated vsize: 2722624 KiB
Current children cumulated memory: 2642592 KiB
[startup+3582.3 s]
/proc/loadavg: 1.09 1.45 2.57 2/240 38795
/proc/meminfo: memFree=127050796/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=2796384 memory=2684896 CPUtime=3570.92 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 4839156 0 0 0 356301 791 0 0 20 0 3 0 5258237 2863497216 671224 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 699096 671224 3014 3035 0 684985 0
[pid=36813/tid=36815] ppid=36810 vsize=2796384 memory=1956 CPUtime=3570.68 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 4832353 0 0 0 356284 784 0 0 20 0 3 0 5258239 2863497216 671224 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=2796384 memory=-7161750856329754815 CPUtime=0.02 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 5258240 2863497216 671224 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 3570.92 s
Current children cumulated vsize: 2796384 KiB
Current children cumulated memory: 2684896 KiB
[startup+3601.21 s]
# the end of solver process 36813 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3581.63 s, system=8.15161 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.08 1.44 2.56 2/240 38796
/proc/meminfo: memFree=127049228/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=2796384 memory=2686216 CPUtime=3572.63 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 4840463 0 0 0 356471 792 0 0 20 0 3 0 5258237 2863497216 671554 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 699096 671554 3014 3035 0 685369 0
[pid=36813/tid=36815] ppid=36810 vsize=2796384 memory=-7090472879926634111 CPUtime=3572.38 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 4833660 0 0 0 356454 784 0 0 20 0 3 0 5258239 2863497216 671554 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=2796384 memory=-7161750856329754815 CPUtime=0.02 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 5258240 2863497216 671554 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 3572.63 s
Current children cumulated vsize: 2796384 KiB
Current children cumulated memory: 2686216 KiB
[startup+3590.4 s]
/proc/loadavg: 1.08 1.43 2.55 2/240 38796
/proc/meminfo: memFree=127044556/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=2798440 memory=2691304 CPUtime=3579 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 4843629 0 0 0 357108 792 0 0 20 0 3 0 5258237 2865602560 672826 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 699610 672826 3014 3035 0 686578 0
[pid=36813/tid=36815] ppid=36810 vsize=2798440 memory=2686456 CPUtime=3578.76 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 4836826 0 0 0 357091 785 0 0 20 0 3 0 5258239 2865602560 672826 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=2798440 memory=2679748 CPUtime=0.02 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 5258240 2865602560 672826 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 3579 s
Current children cumulated vsize: 2798440 KiB
Current children cumulated memory: 2691304 KiB
[startup+3596.8 s]
/proc/loadavg: 1.15 1.44 2.54 2/240 38798
/proc/meminfo: memFree=127041928/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=2798440 memory=2693868 CPUtime=3585.38 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 4848437 0 0 0 357745 793 0 0 20 0 3 0 5258237 2865602560 673467 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 699610 673467 3014 3035 0 687202 0
[pid=36813/tid=36815] ppid=36810 vsize=2798440 memory=33100 CPUtime=3585.13 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 4841634 0 0 0 357727 786 0 0 20 0 3 0 5258239 2865602560 673467 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=2798440 memory=2692852 CPUtime=0.02 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 5258240 2865602560 673467 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 3585.38 s
Current children cumulated vsize: 2798440 KiB
Current children cumulated memory: 2693868 KiB
[startup+3598.4 s]
/proc/loadavg: 1.15 1.44 2.54 2/240 38798
/proc/meminfo: memFree=127039596/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=2799468 memory=2695924 CPUtime=3586.97 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 4879500 0 0 0 357902 795 0 0 20 0 3 0 5258237 2866655232 673981 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 699867 673981 3014 3035 0 687715 0
[pid=36813/tid=36815] ppid=36810 vsize=2799468 memory=13012 CPUtime=3586.73 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 4872696 0 0 0 357885 788 0 0 20 0 3 0 5258239 2866655232 673981 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=2799468 memory=12972 CPUtime=0.02 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 5258240 2866655232 673981 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 3586.97 s
Current children cumulated vsize: 2799468 KiB
Current children cumulated memory: 2695924 KiB
[startup+3600 s]*
/proc/loadavg: 1.14 1.43 2.54 2/240 38798
/proc/meminfo: memFree=127155256/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=2634988 memory=2531448 CPUtime=3588.58 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 4982777 0 0 0 358056 802 0 0 20 0 3 0 5258237 2698227712 632862 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 658747 632862 3014 3035 0 646595 0
[pid=36813/tid=36815] ppid=36810 vsize=2634988 memory=-7090472879926634111 CPUtime=3588.33 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 4975976 0 0 0 358039 794 0 0 20 0 3 0 5258239 2698227712 632862 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=2634988 memory=-7161750856329754815 CPUtime=0.02 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 5258240 2698227712 632862 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 3588.58 s
Current children cumulated vsize: 2634988 KiB
Current children cumulated memory: 2531448 KiB
[startup+3600.8 s]
/proc/loadavg: 1.14 1.43 2.54 2/240 38798
/proc/meminfo: memFree=127155256/131524600 swapFree=131071996/131071996
[pid=36813] ppid=36810 vsize=2559944 memory=2456404 CPUtime=3589.37 cores=5,7
/proc/36813/stat : 36813 (fscip) S 36810 36813 30613 0 -1 1077936128 5041364 0 0 0 358130 807 0 0 20 0 3 0 5258237 2621382656 614101 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
/proc/36813/statm: 639986 614101 3014 3035 0 627834 0
[pid=36813/tid=36815] ppid=36810 vsize=2559944 memory=2694892 CPUtime=3589.12 cores=5,7
/proc/36813/task/36815/stat : 36815 (fscip) R 36810 36813 30613 0 -1 4194368 5034570 0 0 0 358113 799 0 0 20 0 3 0 5258239 2621382656 614101 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
[pid=36813/tid=36816] ppid=36810 vsize=2559944 memory=7412 CPUtime=0.02 cores=5,7
/proc/36813/task/36816/stat : 36816 (fscip) S 36810 36813 30613 0 -1 1077936192 145 0 0 0 0 2 0 0 20 0 3 0 5258240 2621382656 614101 134679101440 4194304 16623229 140724967585776 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 28139520 140724967592982 140724967593098 140724967593098 140724967600112 0
Current children cumulated CPU time: 3589.37 s
Current children cumulated vsize: 2559944 KiB
Current children cumulated memory: 2456404 KiB
[startup+3601.2 s]*
/proc/loadavg: 1.14 1.43 2.54 2/239 38798
/proc/meminfo: memFree=129726860/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3601.21
CPU time (s): 3589.78
CPU user time (s): 3581.63
CPU system time (s): 8.15161
CPU usage (%): 99.6828
Max. virtual memory (cumulated for all children) (KiB): 2799468
Max. memory (cumulated for all children) (KiB): 2695924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.63
system time used= 8.15161
maximum resident set size= 2695924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5098038
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= 10888
involuntary context switches= 4836
# summary of solver processes directly reported to runsolver:
# pid: 36813
# total CPU time (s): 3589.78
# total CPU user time (s): 3581.63
# total CPU system time (s): 8.15161
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.85831 second user time and 16.6064 second system time
The end
Begin job on nodeC034 at 2024-07-31 02:42:19
IDJOB=4464586
IDBENCH=162338
IDSOLVER=3092
FILE ID=nodeC034/4464586-1722386539
RUNJOBID= nodeC034-1722378597-30626
SLURM_JOB_ID= 8249857
Free space on /tmp= 889972 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x150split.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-4464586-1722386539/watcher-4464586-1722386539 -o /tmp/evaluation-result-4464586-1722386539/solver-4464586-1722386539 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722378597-30626 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464586-1722386539.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= a95ffdb987ab7b28268efdc4e16ef22d
RANDOM SEED=1835611941
nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.395
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3681.836
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.908
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3624.870
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.409
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.046
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.029
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.081
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 124543816 kB
MemAvailable: 124842216 kB
Buffers: 101692 kB
Cached: 1029468 kB
SwapCached: 0 kB
Active: 300072 kB
Inactive: 6192112 kB
Active(anon): 1540 kB
Inactive(anon): 5380868 kB
Active(file): 298532 kB
Inactive(file): 811244 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28384 kB
Writeback: 104 kB
AnonPages: 5359128 kB
Mapped: 123996 kB
Shmem: 21336 kB
KReclaimable: 56892 kB
Slab: 137288 kB
SReclaimable: 56892 kB
SUnreclaim: 80396 kB
KernelStack: 4176 kB
PageTables: 19668 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5462484 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10016 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1550336 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: 185044 kB
DirectMap2M: 5879808 kB
DirectMap1G: 130023424 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC034 at 2024-07-31 03:42:21