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 = 22409216, getVmSize() = 22409216, SCIPgetMemUsed() = 752921, SCIPgetMemTotal() = 904193, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 15446016, getVmSize() = 23928832, SCIPgetMemUsed() = 882288, SCIPgetMemTotal() = 1434416, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4464344-1722378993
0.00/0.00 c Variables : 80 (80 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 80 (80 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 2
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.00 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.00 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.00 c Nodes Active
0.00/0.00 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
4.97/5.10 c 5 57839 6648 1 - 0.0000 -
10.05/10.15 c 10 122644 13806 1 - 0.0000 -
15.13/15.20 c 15 188743 19520 1 - 0.0000 -
20.11/20.24 c 20 253650 24636 1 - 0.0000 -
25.10/25.29 c 25 321027 30852 1 - 0.0000 -
30.19/30.34 c 30 387852 36331 1 - 0.0000 -
35.17/35.39 c 35 454236 41796 1 - 0.0000 -
40.25/40.44 c 40 523572 47421 1 - 0.0000 -
45.23/45.49 c 46 593692 53154 1 - 0.0000 -
50.32/50.54 c 51 659023 58437 1 - 0.0000 -
55.30/55.59 c 56 729363 64692 1 - 0.0000 -
60.38/60.64 c 61 801742 70602 1 - 0.0000 -
65.36/65.68 c 66 867799 76021 1 - 0.0000 -
70.45/70.73 c 71 940241 81870 1 - 0.0000 -
75.43/75.78 c 76 1003708 86664 1 - 0.0000 -
80.52/80.83 c 81 1064990 94982 1 - 0.0000 -
85.50/85.88 c 86 1137250 101496 1 - 0.0000 -
90.59/90.93 c 91 1211582 107227 1 - 0.0000 -
95.57/95.98 c 96 1272772 112693 1 - 0.0000 -
100.66/101.05 c 101 1339293 117836 1 - 0.0000 -
105.65/106.09 c 106 1408004 123635 1 - 0.0000 -
110.73/111.15 c 111 1467274 130198 1 - 0.0000 -
115.72/116.19 c 116 1522646 134982 1 - 0.0000 -
120.79/121.25 c 121 1582554 140382 1 - 0.0000 -
125.88/126.31 c 126 1643366 144706 1 - 0.0000 -
130.86/131.36 c 131 1705864 149439 1 - 0.0000 -
135.94/136.43 c 136 1768866 154155 1 - 0.0000 -
141.02/141.50 c 142 1823983 159458 1 - 0.0000 -
146.01/146.55 c 147 1886645 163808 1 - 0.0000 -
151.10/151.60 c 152 1939841 169077 1 - 0.0000 -
156.08/156.66 c 157 1993456 174010 1 - 0.0000 -
161.16/161.71 c 162 2057605 178594 1 - 0.0000 -
166.15/166.79 c 167 2115400 183004 1 - 0.0000 -
171.23/171.86 c 172 2168297 187492 1 - 0.0000 -
176.32/176.91 c 177 2218913 192520 1 - 0.0000 -
181.30/181.96 c 182 2275063 196597 1 - 0.0000 -
186.39/187.06 c 187 2335230 200906 1 - 0.0000 -
191.47/192.11 c 192 2389691 205431 1 - 0.0000 -
196.55/197.24 c 197 2443793 209842 1 - 0.0000 -
201.53/202.29 c 202 2502407 213741 1 - 0.0000 -
206.62/207.34 c 207 2556651 217651 1 - 0.0000 -
211.70/212.45 c 212 2614694 222102 1 - 0.0000 -
216.78/217.57 c 218 2671190 226249 1 - 0.0000 -
221.86/222.62 c 223 2728844 230035 1 - 0.0000 -
226.95/227.74 c 228 2785384 234015 1 - 0.0000 -
231.94/232.79 c 233 2838191 239336 1 - 0.0000 -
237.02/237.89 c 238 2893976 242513 1 - 0.0000 -
242.10/242.94 c 243 2942309 246728 1 - 0.0000 -
247.19/248.00 c 248 2993947 249837 1 - 0.0000 -
252.28/253.13 c 253 3043905 253137 1 - 0.0000 -
257.27/258.18 c 258 3097280 256745 1 - 0.0000 -
262.44/263.30 c 263 3124426 262386 1 - 0.0000 -
267.42/268.35 c 268 3171738 267330 1 - 0.0000 -
272.51/273.49 c 274 3222912 271139 1 - 0.0000 -
277.60/278.57 c 279 3278913 274624 1 - 0.0000 -
282.68/283.61 c 284 3327539 278840 1 - 0.0000 -
287.66/288.67 c 289 3377003 282364 1 - 0.0000 -
292.75/293.72 c 294 3431979 287004 1 - 0.0000 -
297.83/298.86 c 299 3482281 290371 1 - 0.0000 -
302.92/303.98 c 304 3531479 295060 1 - 0.0000 -
308.00/309.04 c 309 3575050 298123 1 - 0.0000 -
313.08/314.13 c 314 3629955 301308 1 - 0.0000 -
318.17/319.20 c 319 3683382 304927 1 - 0.0000 -
323.15/324.25 c 324 3731975 308219 1 - 0.0000 -
328.23/329.37 c 329 3778599 311674 1 - 0.0000 -
333.31/334.43 c 334 3826207 314752 1 - 0.0000 -
338.40/339.51 c 340 3871883 318282 1 - 0.0000 -
343.39/344.57 c 345 3915713 322918 1 - 0.0000 -
348.47/349.65 c 350 3959932 326749 1 - 0.0000 -
353.56/354.76 c 355 4011750 330494 1 - 0.0000 -
358.64/359.88 c 360 4066354 333542 1 - 0.0000 -
363.73/364.97 c 365 4122312 336668 1 - 0.0000 -
368.81/370.08 c 370 4171431 339725 1 - 0.0000 -
374.00/375.22 c 375 4219437 342733 1 - 0.0000 -
379.08/380.34 c 380 4263653 347221 1 - 0.0000 -
384.26/385.50 c 386 4318338 350296 1 - 0.0000 -
389.34/390.61 c 391 4354851 353324 1 - 0.0000 -
394.33/395.67 c 396 4388670 358094 1 - 0.0000 -
399.41/400.72 c 401 4433872 361837 1 - 0.0000 -
404.50/405.82 c 406 4482819 364794 1 - 0.0000 -
409.49/410.89 c 411 4526126 368049 1 - 0.0000 -
414.57/415.96 c 416 4577300 371701 1 - 0.0000 -
419.66/421.04 c 421 4628030 375041 1 - 0.0000 -
424.74/426.17 c 426 4674794 378193 1 - 0.0000 -
429.83/431.27 c 431 4721559 381227 1 - 0.0000 -
435.11/436.51 c 437 4765111 384289 1 - 0.0000 -
440.09/441.59 c 442 4812990 387144 1 - 0.0000 -
445.18/446.68 c 447 4860707 390507 1 - 0.0000 -
450.36/451.85 c 452 4899973 393577 1 - 0.0000 -
455.45/456.90 c 457 4936969 397795 1 - 0.0000 -
460.43/461.95 c 462 4968740 402291 1 - 0.0000 -
465.62/467.12 c 467 5005059 406234 1 - 0.0000 -
470.70/472.27 c 472 5041879 409574 1 - 0.0000 -
475.79/477.32 c 477 5082471 412939 1 - 0.0000 -
480.76/482.38 c 482 5123834 417103 1 - 0.0000 -
485.85/487.47 c 487 5163517 420820 1 - 0.0000 -
490.94/492.59 c 493 5196702 425239 1 - 0.0000 -
496.02/497.69 c 498 5239601 427970 1 - 0.0000 -
501.20/502.80 c 503 5282989 431274 1 - 0.0000 -
506.18/507.85 c 508 5313936 435024 1 - 0.0000 -
511.27/512.90 c 513 5352204 438329 1 - 0.0000 -
516.36/518.03 c 518 5395201 442117 1 - 0.0000 -
521.44/523.19 c 523 5428943 445354 1 - 0.0000 -
526.52/528.24 c 528 5469599 447837 1 - 0.0000 -
531.61/533.37 c 533 5509182 451060 1 - 0.0000 -
536.69/538.44 c 538 5548393 453434 1 - 0.0000 -
541.78/543.54 c 544 5591913 456070 1 - 0.0000 -
546.86/548.63 c 549 5638375 459254 1 - 0.0000 -
552.15/553.91 c 554 5678485 461465 1 - 0.0000 -
557.43/559.25 c 559 5710067 464054 1 - 0.0000 -
562.81/564.67 c 565 5736689 468584 1 - 0.0000 -
568.00/569.83 c 570 5767799 473069 1 - 0.0000 -
573.09/574.94 c 575 5804287 476667 1 - 0.0000 -
578.17/580.07 c 580 5843656 480764 1 - 0.0000 -
583.36/585.20 c 585 5877530 484082 1 - 0.0000 -
588.44/590.39 c 590 5907772 486924 1 - 0.0000 -
593.82/595.71 c 596 5948669 490097 1 - 0.0000 -
599.01/600.91 c 601 5993812 493230 1 - 0.0000 -
604.20/606.15 c 606 6038866 496292 1 - 0.0000 -
609.28/611.20 c 611 6081865 498629 1 - 0.0000 -
614.37/616.33 c 616 6124241 501418 1 - 0.0000 -
619.45/621.40 c 621 6170596 504179 1 - 0.0000 -
624.84/626.83 c 627 6219313 507020 1 - 0.0000 -
629.83/631.88 c 632 6269713 509494 1 - 0.0000 -
635.31/637.30 c 637 6317156 511821 1 - 0.0000 -
640.39/642.41 c 642 6358123 513396 1 - 0.0000 -
645.48/647.54 c 648 6397074 515843 1 - 0.0000 -
650.46/652.59 c 653 6430697 518650 1 - 0.0000 -
655.55/657.69 c 658 6467664 521531 1 - 0.0000 -
660.73/662.82 c 663 6509866 524099 1 - 0.0000 -
665.72/667.86 c 668 6548844 526942 1 - 0.0000 -
670.81/672.91 c 673 6586124 529772 1 - 0.0000 -
676.00/678.13 c 678 6622625 531949 1 - 0.0000 -
681.28/683.42 c 683 6664975 534475 1 - 0.0000 -
686.46/688.68 c 689 6701091 536962 1 - 0.0000 -
691.65/693.84 c 694 6744998 539600 1 - 0.0000 -
696.63/698.88 c 699 6787603 542349 1 - 0.0000 -
701.83/704.04 c 704 6822532 545286 1 - 0.0000 -
706.91/709.12 c 709 6867763 548213 1 - 0.0000 -
711.90/714.18 c 714 6912247 550325 1 - 0.0000 -
716.98/719.23 c 719 6954090 552858 1 - 0.0000 -
722.26/724.59 c 725 6994143 554903 1 - 0.0000 -
727.34/729.69 c 730 7017449 557655 1 - 0.0000 -
732.73/735.05 c 735 7043711 559659 1 - 0.0000 -
737.81/740.19 c 740 7077523 561380 1 - 0.0000 -
743.19/745.51 c 746 7111681 563571 1 - 0.0000 -
748.48/750.86 c 751 7142344 565901 1 - 0.0000 -
753.57/755.90 c 756 7187048 568178 1 - 0.0000 -
758.85/761.21 c 761 7225793 570719 1 - 0.0000 -
763.94/766.34 c 766 7267980 573310 1 - 0.0000 -
769.12/771.52 c 772 7311834 576200 1 - 0.0000 -
774.21/776.62 c 777 7346270 578132 1 - 0.0000 -
779.39/781.87 c 782 7382503 580536 1 - 0.0000 -
784.47/786.92 c 787 7422650 583219 1 - 0.0000 -
789.56/792.01 c 792 7465865 585576 1 - 0.0000 -
794.84/797.33 c 797 7502305 587370 1 - 0.0000 -
799.94/802.40 c 802 7542014 589529 1 - 0.0000 -
805.02/807.50 c 808 7577808 592113 1 - 0.0000 -
810.10/812.60 c 813 7615689 594132 1 - 0.0000 -
815.19/817.75 c 818 7651522 596676 1 - 0.0000 -
820.27/822.86 c 823 7683942 598780 1 - 0.0000 -
825.56/828.13 c 828 7716299 602461 1 - 0.0000 -
830.84/833.42 c 833 7762269 605539 1 - 0.0000 -
835.93/838.51 c 839 7807661 607636 1 - 0.0000 -
841.21/843.80 c 844 7847822 609949 1 - 0.0000 -
846.59/849.26 c 849 7868107 611771 1 - 0.0000 -
851.98/854.62 c 855 7878873 614519 1 - 0.0000 -
857.47/860.16 c 860 7894983 617702 1 - 0.0000 -
862.95/865.67 c 866 7919203 621465 1 - 0.0000 -
868.24/870.96 c 871 7950203 624647 1 - 0.0000 -
873.42/876.18 c 876 7981293 627253 1 - 0.0000 -
878.81/881.53 c 882 8018977 630131 1 - 0.0000 -
883.99/886.76 c 887 8053781 632580 1 - 0.0000 -
889.28/892.10 c 892 8084954 634579 1 - 0.0000 -
894.46/897.22 c 897 8125823 636499 1 - 0.0000 -
899.65/902.41 c 902 8161891 638529 1 - 0.0000 -
904.93/907.70 c 908 8194963 640494 1 - 0.0000 -
910.02/912.84 c 913 8242158 642605 1 - 0.0000 -
915.10/917.93 c 918 8299803 643947 1 - 0.0000 -
920.59/923.44 c 923 8327529 646032 1 - 0.0000 -
925.97/928.86 c 929 8362985 647722 1 - 0.0000 -
931.45/934.30 c 934 8393552 649316 1 - 0.0000 -
936.64/939.53 c 940 8430661 651068 1 - 0.0000 -
941.72/944.61 c 945 8464893 653385 1 - 0.0000 -
947.11/950.02 c 950 8490615 655368 1 - 0.0000 -
952.20/955.11 c 955 8515854 657574 1 - 0.0000 -
957.37/960.37 c 960 8536143 659063 1 - 0.0000 -
962.56/965.51 c 966 8561473 659932 1 - 0.0000 -
967.85/970.83 c 971 8592063 662159 1 - 0.0000 -
972.93/975.97 c 976 8621714 665138 1 - 0.0000 -
978.02/981.09 c 981 8653966 667381 1 - 0.0000 -
983.20/986.21 c 986 8695271 669056 1 - 0.0000 -
988.19/991.29 c 991 8729068 671605 1 - 0.0000 -
993.37/996.46 c 996 8761931 673808 1 - 0.0000 -
998.56/1001.68 c 1002 8800183 676017 1 - 0.0000 -
1004.05/1007.14 c 1007 8814616 677913 1 - 0.0000 -
1009.33/1012.47 c 1012 8845403 681098 1 - 0.0000 -
1014.51/1017.67 c 1018 8889985 683747 1 - 0.0000 -
1019.80/1022.91 c 1023 8928135 685770 1 - 0.0000 -
1024.99/1028.12 c 1028 8961135 686926 1 - 0.0000 -
1030.06/1033.29 c 1033 8989833 688229 1 - 0.0000 -
1035.35/1038.56 c 1039 9028653 690356 1 - 0.0000 -
1040.54/1043.75 c 1044 9066293 692261 1 - 0.0000 -
1046.12/1049.31 c 1049 9100897 694270 1 - 0.0000 -
1051.31/1054.57 c 1055 9112191 697030 1 - 0.0000 -
1056.59/1059.89 c 1060 9136123 699968 1 - 0.0000 -
1061.78/1065.02 c 1065 9167193 702860 1 - 0.0000 -
1066.96/1070.29 c 1070 9209851 704866 1 - 0.0000 -
1072.05/1075.38 c 1075 9243349 706645 1 - 0.0000 -
1077.33/1080.60 c 1081 9278383 708923 1 - 0.0000 -
1082.62/1085.98 c 1086 9305354 711169 1 - 0.0000 -
1087.91/1091.29 c 1091 9339628 713252 1 - 0.0000 -
1093.39/1096.70 c 1097 9378833 714553 1 - 0.0000 -
1098.78/1102.14 c 1102 9415028 717230 1 - 0.0000 -
1104.16/1107.51 c 1108 9449249 719731 1 - 0.0000 -
1109.44/1112.83 c 1113 9491223 722177 1 - 0.0000 -
1114.63/1118.05 c 1118 9519929 724128 1 - 0.0000 -
1119.81/1123.29 c 1123 9550943 726483 1 - 0.0000 -
1125.30/1128.79 c 1129 9571227 729155 1 - 0.0000 -
1130.58/1134.09 c 1134 9605126 731576 1 - 0.0000 -
1135.67/1139.14 c 1139 9652616 733138 1 - 0.0000 -
1140.84/1144.39 c 1144 9697501 735128 1 - 0.0000 -
1146.04/1149.56 c 1150 9720839 737141 1 - 0.0000 -
1151.22/1154.72 c 1155 9753398 739164 1 - 0.0000 -
1156.41/1159.93 c 1160 9790049 741606 1 - 0.0000 -
1161.78/1165.32 c 1165 9839108 744321 1 - 0.0000 -
1166.97/1170.59 c 1171 9855185 745939 1 - 0.0000 -
1172.16/1175.78 c 1176 9891246 748217 1 - 0.0000 -
1177.34/1180.90 c 1181 9925859 750331 1 - 0.0000 -
1182.53/1186.18 c 1186 9958937 752224 1 - 0.0000 -
1187.91/1191.56 c 1192 9980432 755339 1 - 0.0000 -
1193.20/1196.88 c 1197 10018919 757680 1 - 0.0000 -
1198.28/1201.93 c 1202 10064824 759543 1 - 0.0000 -
1203.37/1207.09 c 1207 10087753 761166 1 - 0.0000 -
1208.55/1212.26 c 1212 10125806 763319 1 - 0.0000 -
1213.63/1217.31 c 1217 10167976 764782 1 - 0.0000 -
1218.81/1222.52 c 1223 10200593 767030 1 - 0.0000 -
1224.01/1227.72 c 1228 10233997 769873 1 - 0.0000 -
1229.19/1232.95 c 1233 10273473 772416 1 - 0.0000 -
1234.27/1238.08 c 1238 10306615 773990 1 - 0.0000 -
1239.66/1243.43 c 1243 10333171 775644 1 - 0.0000 -
1244.84/1248.62 c 1249 10356092 778505 1 - 0.0000 -
1249.92/1253.74 c 1254 10383933 780346 1 - 0.0000 -
1255.11/1258.91 c 1259 10420641 782068 1 - 0.0000 -
1260.39/1264.27 c 1264 10453924 784152 1 - 0.0000 -
1265.88/1269.72 c 1270 10485165 786407 1 - 0.0000 -
1271.27/1275.17 c 1275 10518126 788486 1 - 0.0000 -
1276.44/1280.33 c 1280 10555183 790243 1 - 0.0000 -
1281.83/1285.75 c 1286 10591617 792142 1 - 0.0000 -
1287.02/1290.92 c 1291 10628326 793985 1 - 0.0000 -
1292.21/1296.14 c 1296 10665003 796322 1 - 0.0000 -
1297.48/1301.46 c 1301 10702199 798597 1 - 0.0000 -
1302.56/1306.52 c 1307 10724205 800623 1 - 0.0000 -
1307.55/1311.57 c 1312 10766215 802246 1 - 0.0000 -
1313.14/1317.12 c 1317 10795547 803762 1 - 0.0000 -
1318.72/1322.70 c 1323 10818853 807218 1 - 0.0000 -
1324.11/1328.14 c 1328 10859964 809249 1 - 0.0000 -
1329.79/1333.85 c 1334 10895017 810811 1 - 0.0000 -
1335.37/1339.47 c 1339 10927338 812733 1 - 0.0000 -
1340.66/1344.73 c 1345 10967207 814679 1 - 0.0000 -
1345.74/1349.84 c 1350 10998228 816796 1 - 0.0000 -
1350.93/1355.06 c 1355 11040655 818668 1 - 0.0000 -
1356.31/1360.46 c 1360 11073383 820823 1 - 0.0000 -
1361.50/1365.60 c 1366 11109334 822888 1 - 0.0000 -
1366.68/1370.80 c 1371 11144251 824565 1 - 0.0000 -
1372.17/1376.30 c 1376 11183020 827002 1 - 0.0000 -
1377.34/1381.53 c 1382 11213394 828536 1 - 0.0000 -
1382.64/1386.83 c 1387 11231391 831252 1 - 0.0000 -
1388.72/1392.98 c 1393 11255660 834084 1 - 0.0000 -
1394.30/1398.55 c 1399 11274057 836659 1 - 0.0000 -
1399.79/1404.04 c 1404 11307593 839438 1 - 0.0000 -
1405.07/1409.39 c 1409 11342635 841520 1 - 0.0000 -
1410.75/1415.01 c 1415 11365710 843735 1 - 0.0000 -
1416.13/1420.46 c 1420 11398131 845834 1 - 0.0000 -
1421.41/1425.70 c 1426 11436900 847123 1 - 0.0000 -
1427.00/1431.39 c 1431 11478040 848863 1 - 0.0000 -
1432.78/1437.12 c 1437 11508729 850062 1 - 0.0000 -
1438.06/1442.48 c 1442 11538169 852167 1 - 0.0000 -
1443.55/1447.99 c 1448 11570385 853806 1 - 0.0000 -
1449.23/1453.63 c 1454 11600863 856099 1 - 0.0000 -
1454.51/1458.99 c 1459 11632136 857944 1 - 0.0000 -
1459.89/1464.38 c 1464 11667633 859481 1 - 0.0000 -
1465.58/1470.03 c 1470 11704642 861436 1 - 0.0000 -
1470.86/1475.38 c 1475 11740028 863708 1 - 0.0000 -
1476.24/1480.74 c 1481 11778076 866042 1 - 0.0000 -
1481.53/1486.01 c 1486 11815667 867950 1 - 0.0000 -
1487.00/1491.54 c 1492 11842155 870134 1 - 0.0000 -
1492.18/1496.76 c 1497 11874166 872365 1 - 0.0000 -
1497.77/1502.36 c 1502 11906868 874069 1 - 0.0000 -
1503.15/1507.77 c 1508 11942393 875263 1 - 0.0000 -
1508.45/1513.01 c 1513 11973067 876627 1 - 0.0000 -
1513.52/1518.19 c 1518 12000096 878570 1 - 0.0000 -
1518.81/1523.40 c 1523 12032663 880189 1 - 0.0000 -
1523.89/1528.56 c 1529 12062815 882411 1 - 0.0000 -
1529.07/1533.71 c 1534 12098893 883545 1 - 0.0000 -
1534.16/1538.84 c 1539 12126345 885782 1 - 0.0000 -
1539.53/1544.20 c 1544 12150051 888312 1 - 0.0000 -
1544.62/1549.33 c 1549 12187092 890140 1 - 0.0000 -
1550.11/1554.85 c 1555 12224083 891526 1 - 0.0000 -
1555.49/1560.24 c 1560 12236383 892896 1 - 0.0000 -
1560.58/1565.39 c 1565 12268547 894577 1 - 0.0000 -
1565.86/1570.63 c 1571 12301625 896149 1 - 0.0000 -
1571.25/1576.03 c 1576 12329454 897636 1 - 0.0000 -
1576.72/1581.53 c 1582 12355383 900096 1 - 0.0000 -
1582.00/1586.88 c 1587 12373579 901951 1 - 0.0000 -
1587.99/1592.89 c 1593 12400220 903743 1 - 0.0000 -
1593.17/1598.07 c 1598 12425512 906345 1 - 0.0000 -
1598.65/1603.53 c 1604 12460209 907958 1 - 0.0000 -
1603.83/1608.75 c 1609 12498549 909352 1 - 0.0000 -
1608.92/1613.85 c 1614 12543000 910879 1 - 0.0000 -
1614.60/1619.52 c 1620 12571837 912019 1 - 0.0000 -
1620.58/1625.51 c 1626 12605257 913851 1 - 0.0000 -
1625.87/1630.84 c 1631 12632886 916042 1 - 0.0000 -
1631.25/1636.22 c 1636 12668698 918106 1 - 0.0000 -
1636.54/1641.55 c 1642 12693176 920096 1 - 0.0000 -
1641.92/1646.91 c 1647 12732859 921740 1 - 0.0000 -
1647.19/1652.29 c 1652 12760136 923017 1 - 0.0000 -
1652.68/1657.74 c 1658 12800936 924835 1 - 0.0000 -
1657.76/1662.80 c 1663 12840916 926177 1 - 0.0000 -
1662.85/1667.93 c 1668 12868813 927670 1 - 0.0000 -
1668.23/1673.33 c 1673 12902739 929455 1 - 0.0000 -
1673.81/1678.98 c 1679 12921641 931010 1 - 0.0000 -
1679.40/1684.56 c 1685 12931953 933122 1 - 0.0000 -
1684.99/1690.14 c 1690 12948669 935088 1 - 0.0000 -
1690.37/1695.57 c 1696 12963694 937153 1 - 0.0000 -
1695.55/1700.73 c 1701 12986313 938712 1 - 0.0000 -
1701.04/1706.25 c 1706 13028817 940992 1 - 0.0000 -
1706.12/1711.30 c 1711 13067957 942678 1 - 0.0000 -
1711.11/1716.35 c 1716 13095568 943903 1 - 0.0000 -
1716.59/1721.83 c 1722 13129883 945438 1 - 0.0000 -
1721.67/1726.97 c 1727 13165768 947227 1 - 0.0000 -
1726.95/1732.29 c 1732 13204878 948960 1 - 0.0000 -
1732.15/1737.42 c 1737 13227087 950312 1 - 0.0000 -
1737.33/1742.60 c 1743 13253643 952640 1 - 0.0000 -
1742.61/1747.90 c 1748 13281315 954906 1 - 0.0000 -
1747.70/1753.03 c 1753 13320651 956760 1 - 0.0000 -
1753.08/1758.41 c 1758 13357900 958001 1 - 0.0000 -
1758.46/1763.84 c 1764 13383310 960088 1 - 0.0000 -
1763.54/1768.96 c 1769 13407988 962570 1 - 0.0000 -
1768.73/1774.18 c 1774 13439069 964235 1 - 0.0000 -
1774.01/1779.44 c 1779 13477383 965869 1 - 0.0000 -
1779.09/1784.58 c 1785 13505842 966973 1 - 0.0000 -
1784.78/1790.23 c 1790 13537213 969028 1 - 0.0000 -
1789.96/1795.43 c 1795 13564616 971232 1 - 0.0000 -
1795.25/1800.76 c 1801 13588716 973294 1 - 0.0000 -
1800.83/1806.35 c 1806 13618237 975077 1 - 0.0000 -
1806.21/1811.75 c 1812 13630806 977622 1 - 0.0000 -
1811.49/1817.03 c 1817 13656575 980107 1 - 0.0000 -
1816.88/1822.49 c 1822 13693210 982298 1 - 0.0000 -
1822.36/1827.93 c 1828 13728301 984155 1 - 0.0000 -
1827.64/1833.20 c 1833 13765926 985984 1 - 0.0000 -
1832.63/1838.28 c 1838 13799874 987126 1 - 0.0000 -
1837.81/1843.46 c 1843 13844403 989049 1 - 0.0000 -
1843.19/1848.84 c 1849 13877361 990787 1 - 0.0000 -
1848.78/1854.48 c 1854 13915510 992637 1 - 0.0000 -
1854.16/1859.88 c 1860 13949769 993952 1 - 0.0000 -
1859.35/1865.05 c 1865 13972025 995483 1 - 0.0000 -
1864.43/1870.15 c 1870 13993083 998506 1 - 0.0000 -
1869.51/1875.23 c 1875 14022750 1001674 1 - 0.0000 -
1874.60/1880.33 c 1880 14059937 1003695 1 - 0.0000 -
1879.88/1885.65 c 1886 14090543 1005180 1 - 0.0000 -
1885.07/1890.83 c 1891 14116520 1007231 1 - 0.0000 -
1890.44/1896.22 c 1896 14144820 1009611 1 - 0.0000 -
1895.63/1901.42 c 1901 14188785 1011060 1 - 0.0000 -
1900.91/1906.72 c 1907 14224584 1012365 1 - 0.0000 -
1906.30/1912.10 c 1912 14260261 1013551 1 - 0.0000 -
1911.48/1917.35 c 1917 14283463 1015845 1 - 0.0000 -
1916.86/1922.77 c 1923 14311922 1017750 1 - 0.0000 -
1921.95/1927.87 c 1928 14345906 1019534 1 - 0.0000 -
1927.14/1933.09 c 1933 14376909 1021153 1 - 0.0000 -
1932.52/1938.45 c 1938 14405012 1022542 1 - 0.0000 -
1938.11/1944.08 c 1944 14422013 1025659 1 - 0.0000 -
1943.28/1949.29 c 1949 14449234 1029028 1 - 0.0000 -
1948.66/1954.63 c 1955 14485926 1031032 1 - 0.0000 -
1953.95/1959.94 c 1960 14519593 1032196 1 - 0.0000 -
1959.04/1965.09 c 1965 14548703 1033472 1 - 0.0000 -
1964.42/1970.43 c 1970 14584274 1035079 1 - 0.0000 -
1969.50/1975.58 c 1976 14610693 1037696 1 - 0.0000 -
1975.09/1981.19 c 1981 14641353 1039210 1 - 0.0000 -
1980.46/1986.59 c 1987 14670573 1040586 1 - 0.0000 -
1985.95/1992.04 c 1992 14703129 1041812 1 - 0.0000 -
1991.14/1997.23 c 1997 14730097 1043736 1 - 0.0000 -
1996.52/2002.63 c 2003 14754740 1045665 1 - 0.0000 -
2001.60/2007.74 c 2008 14789572 1046805 1 - 0.0000 -
2006.89/2013.09 c 2013 14824465 1048381 1 - 0.0000 -
2012.47/2018.67 c 2019 14864190 1049976 1 - 0.0000 -
2017.85/2024.05 c 2024 14895453 1051459 1 - 0.0000 -
2023.23/2029.47 c 2029 14936783 1053533 1 - 0.0000 -
2028.82/2035.07 c 2035 14961123 1054535 1 - 0.0000 -
2033.90/2040.13 c 2040 14987183 1056275 1 - 0.0000 -
2039.48/2045.78 c 2046 15029293 1058416 1 - 0.0000 -
2044.78/2051.00 c 2051 15060102 1060828 1 - 0.0000 -
2050.15/2056.41 c 2056 15088228 1062572 1 - 0.0000 -
2055.33/2061.61 c 2062 15120372 1063828 1 - 0.0000 -
2060.51/2066.80 c 2067 15157712 1065491 1 - 0.0000 -
2066.00/2072.31 c 2072 15183781 1066855 1 - 0.0000 -
2071.18/2077.59 c 2078 15214369 1068797 1 - 0.0000 -
2076.77/2083.11 c 2083 15245853 1070493 1 - 0.0000 -
2082.35/2088.77 c 2089 15275213 1072003 1 - 0.0000 -
2087.94/2094.31 c 2094 15305228 1073054 1 - 0.0000 -
2093.01/2099.42 c 2099 15342145 1074897 1 - 0.0000 -
2098.30/2104.76 c 2105 15368098 1075866 1 - 0.0000 -
2103.68/2110.17 c 2110 15397271 1077349 1 - 0.0000 -
2108.96/2115.42 c 2115 15427537 1079067 1 - 0.0000 -
2114.04/2120.54 c 2121 15444327 1081549 1 - 0.0000 -
2119.21/2125.77 c 2126 15473491 1082863 1 - 0.0000 -
2124.50/2131.00 c 2131 15515696 1084042 1 - 0.0000 -
2129.97/2136.59 c 2137 15540142 1085651 1 - 0.0000 -
2135.15/2141.74 c 2142 15573523 1087078 1 - 0.0000 -
2140.62/2147.21 c 2147 15604679 1088688 1 - 0.0000 -
2146.11/2152.71 c 2153 15637953 1090364 1 - 0.0000 -
2151.39/2158.03 c 2158 15656443 1093190 1 - 0.0000 -
2156.66/2163.31 c 2163 15686673 1095016 1 - 0.0000 -
2161.74/2168.44 c 2168 15728376 1096125 1 - 0.0000 -
2167.72/2174.40 c 2174 15764530 1097817 1 - 0.0000 -
2173.09/2179.82 c 2180 15781385 1099534 1 - 0.0000 -
2178.58/2185.35 c 2185 15791457 1101526 1 - 0.0000 -
2184.16/2190.92 c 2191 15813064 1104175 1 - 0.0000 -
2189.63/2196.44 c 2196 15832898 1106555 1 - 0.0000 -
2194.71/2201.54 c 2202 15857366 1108447 1 - 0.0000 -
2199.89/2206.75 c 2207 15890310 1110625 1 - 0.0000 -
2205.77/2212.62 c 2213 15928773 1112608 1 - 0.0000 -
2211.04/2217.90 c 2218 15967234 1114535 1 - 0.0000 -
2216.23/2223.17 c 2223 16003871 1115806 1 - 0.0000 -
2221.50/2228.49 c 2228 16050603 1116644 1 - 0.0000 -
2226.98/2233.91 c 2234 16094808 1118289 1 - 0.0000 -
2232.36/2239.38 c 2239 16117587 1119438 1 - 0.0000 -
2237.64/2244.64 c 2245 16146380 1120659 1 - 0.0000 -
2242.83/2249.86 c 2250 16175511 1122015 1 - 0.0000 -
2248.01/2255.02 c 2255 16204740 1123204 1 - 0.0000 -
2253.28/2260.30 c 2260 16230208 1124668 1 - 0.0000 -
2258.46/2265.54 c 2266 16261328 1126444 1 - 0.0000 -
2263.74/2270.82 c 2271 16300816 1128456 1 - 0.0000 -
2269.32/2276.41 c 2276 16335646 1129981 1 - 0.0000 -
2274.70/2281.88 c 2282 16355217 1131576 1 - 0.0000 -
2280.38/2287.51 c 2288 16382083 1133946 1 - 0.0000 -
2285.66/2292.83 c 2293 16414414 1136040 1 - 0.0000 -
2291.15/2298.30 c 2298 16449777 1137362 1 - 0.0000 -
2296.43/2303.61 c 2304 16496698 1138731 1 - 0.0000 -
2301.82/2309.05 c 2309 16512043 1139466 1 - 0.0000 -
2307.20/2314.48 c 2314 16533230 1140369 1 - 0.0000 -
2312.58/2319.80 c 2320 16567560 1141890 1 - 0.0000 -
2317.88/2325.11 c 2325 16595077 1143137 1 - 0.0000 -
2322.96/2330.28 c 2330 16622482 1144561 1 - 0.0000 -
2328.33/2335.67 c 2336 16656924 1145957 1 - 0.0000 -
2333.92/2341.29 c 2341 16684783 1147409 1 - 0.0000 -
2339.50/2346.80 c 2347 16704357 1149075 1 - 0.0000 -
2344.88/2352.21 c 2352 16736017 1150833 1 - 0.0000 -
2350.48/2357.83 c 2358 16773253 1152479 1 - 0.0000 -
2355.95/2363.31 c 2363 16793859 1153386 1 - 0.0000 -
2361.04/2368.44 c 2368 16821823 1154571 1 - 0.0000 -
2367.02/2374.47 c 2374 16844165 1155759 1 - 0.0000 -
2372.31/2379.77 c 2380 16874843 1157068 1 - 0.0000 -
2377.79/2385.20 c 2385 16907071 1158896 1 - 0.0000 -
2383.37/2390.88 c 2391 16935281 1160474 1 - 0.0000 -
2389.15/2396.62 c 2397 16959769 1162732 1 - 0.0000 -
2394.43/2401.91 c 2402 16978641 1164154 1 - 0.0000 -
2399.63/2407.16 c 2407 17010764 1166085 1 - 0.0000 -
2404.91/2412.44 c 2412 17053028 1167563 1 - 0.0000 -
2410.19/2417.74 c 2418 17091762 1168590 1 - 0.0000 -
2415.58/2423.13 c 2423 17122790 1169510 1 - 0.0000 -
2420.95/2428.56 c 2429 17152356 1171304 1 - 0.0000 -
2426.45/2434.01 c 2434 17183371 1172659 1 - 0.0000 -
2431.63/2439.27 c 2439 17207835 1175239 1 - 0.0000 -
2437.10/2444.75 c 2445 17238650 1177332 1 - 0.0000 -
2442.19/2449.85 c 2450 17275741 1179109 1 - 0.0000 -
2447.57/2455.21 c 2455 17303943 1180387 1 - 0.0000 -
2452.76/2460.47 c 2460 17331863 1182336 1 - 0.0000 -
2458.35/2466.07 c 2466 17353577 1185430 1 - 0.0000 -
2463.53/2471.28 c 2471 17391572 1186977 1 - 0.0000 -
2469.01/2476.71 c 2477 17428226 1188393 1 - 0.0000 -
2474.00/2481.79 c 2482 17455083 1189355 1 - 0.0000 -
2479.88/2487.66 c 2488 17470591 1191602 1 - 0.0000 -
2485.26/2493.04 c 2493 17493920 1193927 1 - 0.0000 -
2490.34/2498.19 c 2498 17521508 1195785 1 - 0.0000 -
2495.42/2503.29 c 2503 17558008 1197218 1 - 0.0000 -
2500.61/2508.41 c 2508 17576653 1199079 1 - 0.0000 -
2505.79/2513.67 c 2514 17607799 1200572 1 - 0.0000 -
2511.07/2518.92 c 2519 17626355 1202849 1 - 0.0000 -
2516.26/2524.16 c 2524 17658282 1205000 1 - 0.0000 -
2521.84/2529.78 c 2530 17693582 1206494 1 - 0.0000 -
2526.92/2534.83 c 2535 17724166 1207729 1 - 0.0000 -
2532.60/2540.53 c 2541 17749386 1208991 1 - 0.0000 -
2537.58/2545.57 c 2546 17780467 1210114 1 - 0.0000 -
2543.06/2551.01 c 2551 17809294 1211139 1 - 0.0000 -
2548.54/2556.51 c 2557 17823185 1211925 1 - 0.0000 -
2554.02/2562.06 c 2562 17844034 1214352 1 - 0.0000 -
2559.29/2567.38 c 2567 17862209 1215686 1 - 0.0000 -
2565.27/2573.31 c 2573 17886393 1217655 1 - 0.0000 -
2570.55/2578.65 c 2579 17901463 1219282 1 - 0.0000 -
2576.43/2584.59 c 2585 17917387 1221129 1 - 0.0000 -
2582.50/2590.63 c 2591 17940204 1223364 1 - 0.0000 -
2588.08/2596.27 c 2596 17953207 1224366 1 - 0.0000 -
2593.56/2601.79 c 2602 17967436 1225457 1 - 0.0000 -
2598.94/2607.17 c 2607 17987383 1226621 1 - 0.0000 -
2604.22/2612.45 c 2612 18001028 1227540 1 - 0.0000 -
2609.51/2617.79 c 2618 18020366 1229002 1 - 0.0000 -
2614.89/2623.12 c 2623 18044273 1230365 1 - 0.0000 -
2620.37/2628.62 c 2629 18071443 1231737 1 - 0.0000 -
2625.85/2634.15 c 2634 18091087 1233326 1 - 0.0000 -
2631.22/2639.59 c 2640 18104351 1234676 1 - 0.0000 -
2636.60/2644.90 c 2645 18127223 1236448 1 - 0.0000 -
2642.08/2650.41 c 2650 18137973 1237344 1 - 0.0000 -
2647.67/2656.05 c 2656 18168640 1239254 1 - 0.0000 -
2653.33/2661.72 c 2662 18192437 1240853 1 - 0.0000 -
2659.02/2667.47 c 2667 18214342 1242204 1 - 0.0000 -
2664.30/2672.79 c 2673 18226081 1243647 1 - 0.0000 -
2670.07/2678.59 c 2679 18238381 1244589 1 - 0.0000 -
2676.05/2684.54 c 2685 18257993 1246556 1 - 0.0000 -
2681.14/2689.67 c 2690 18276592 1247789 1 - 0.0000 -
2686.91/2695.45 c 2695 18287233 1248706 1 - 0.0000 -
2692.79/2701.35 c 2701 18302554 1250336 1 - 0.0000 -
2698.36/2706.91 c 2707 18328083 1251694 1 - 0.0000 -
2703.56/2712.15 c 2712 18345049 1253550 1 - 0.0000 -
2709.13/2717.73 c 2718 18368873 1255144 1 - 0.0000 -
2714.71/2723.38 c 2723 18405303 1256824 1 - 0.0000 -
2719.98/2728.66 c 2729 18439673 1258506 1 - 0.0000 -
2725.17/2733.84 c 2734 18471609 1260012 1 - 0.0000 -
2730.64/2739.37 c 2739 18488456 1260777 1 - 0.0000 -
2736.63/2745.39 c 2745 18498268 1262024 1 - 0.0000 -
2742.01/2750.74 c 2751 18516453 1263312 1 - 0.0000 -
2747.29/2756.02 c 2756 18543929 1264679 1 - 0.0000 -
2752.76/2761.56 c 2762 18575892 1266136 1 - 0.0000 -
2758.25/2767.04 c 2767 18606110 1267691 1 - 0.0000 -
2763.72/2772.53 c 2773 18631224 1268975 1 - 0.0000 -
2769.50/2778.33 c 2778 18643247 1269912 1 - 0.0000 -
2774.97/2783.84 c 2784 18653613 1271209 1 - 0.0000 -
2780.36/2789.23 c 2789 18674303 1272858 1 - 0.0000 -
2786.33/2795.27 c 2795 18690043 1273863 1 - 0.0000 -
2792.22/2801.11 c 2801 18697495 1274861 1 - 0.0000 -
2797.40/2806.38 c 2806 18717176 1276491 1 - 0.0000 -
2803.08/2812.01 c 2812 18733052 1277408 1 - 0.0000 -
2808.75/2817.75 c 2818 18753836 1278532 1 - 0.0000 -
2814.74/2823.71 c 2824 18760946 1279560 1 - 0.0000 -
2820.42/2829.40 c 2829 18783592 1281462 1 - 0.0000 -
2826.20/2835.24 c 2835 18823181 1283483 1 - 0.0000 -
2831.58/2840.61 c 2841 18833200 1284100 1 - 0.0000 -
2837.06/2846.17 c 2846 18852001 1285223 1 - 0.0000 -
2843.13/2852.26 c 2852 18869690 1286577 1 - 0.0000 -
2848.71/2857.85 c 2858 18890623 1288463 1 - 0.0000 -
2854.39/2863.55 c 2864 18909679 1290029 1 - 0.0000 -
2860.06/2869.22 c 2869 18926776 1291134 1 - 0.0000 -
2865.85/2875.08 c 2875 18949773 1292783 1 - 0.0000 -
2871.32/2880.57 c 2881 18987024 1294387 1 - 0.0000 -
2876.90/2886.10 c 2886 19008664 1295501 1 - 0.0000 -
2882.38/2891.65 c 2892 19021259 1296942 1 - 0.0000 -
2887.96/2897.24 c 2897 19033358 1297819 1 - 0.0000 -
2893.64/2902.99 c 2903 19051003 1298878 1 - 0.0000 -
2899.12/2908.43 c 2908 19080404 1300803 1 - 0.0000 -
2904.70/2914.01 c 2914 19093451 1302246 1 - 0.0000 -
2910.58/2919.93 c 2920 19105935 1303306 1 - 0.0000 -
2916.35/2925.76 c 2926 19123649 1304614 1 - 0.0000 -
2922.34/2931.72 c 2932 19144905 1306348 1 - 0.0000 -
2928.02/2937.43 c 2937 19159560 1307307 1 - 0.0000 -
2933.90/2943.31 c 2943 19186643 1308438 1 - 0.0000 -
2939.07/2948.51 c 2949 19216393 1309538 1 - 0.0000 -
2944.66/2954.17 c 2954 19246574 1311117 1 - 0.0000 -
2950.44/2959.99 c 2960 19257319 1312617 1 - 0.0000 -
2955.81/2965.35 c 2965 19273369 1314089 1 - 0.0000 -
2961.09/2970.66 c 2971 19301811 1315751 1 - 0.0000 -
2966.67/2976.26 c 2976 19353063 1318043 1 - 0.0000 -
2972.05/2981.65 c 2982 19379983 1319261 1 - 0.0000 -
2977.23/2986.84 c 2987 19406087 1320919 1 - 0.0000 -
2982.91/2992.50 c 2993 19425927 1322129 1 - 0.0000 -
2988.59/2998.27 c 2998 19441631 1323737 1 - 0.0000 -
2993.97/3003.66 c 3004 19448864 1324416 1 - 0.0000 -
2999.24/3008.94 c 3009 19469276 1325562 1 - 0.0000 -
3005.12/3014.81 c 3015 19510990 1327116 1 - 0.0000 -
3010.41/3020.11 c 3020 19532647 1327821 1 - 0.0000 -
3015.78/3025.52 c 3026 19564923 1328821 1 - 0.0000 -
3021.16/3030.97 c 3031 19581883 1330004 1 - 0.0000 -
3026.54/3036.33 c 3036 19599117 1331646 1 - 0.0000 -
3032.23/3042.10 c 3042 19610781 1332520 1 - 0.0000 -
3037.71/3047.50 c 3048 19643522 1334115 1 - 0.0000 -
3042.98/3052.89 c 3053 19686741 1335664 1 - 0.0000 -
3048.56/3058.41 c 3058 19724781 1337382 1 - 0.0000 -
3054.15/3064.05 c 3064 19760073 1338524 1 - 0.0000 -
3059.92/3069.80 c 3070 19786170 1339455 1 - 0.0000 -
3066.10/3076.02 c 3076 19799623 1340509 1 - 0.0000 -
3071.98/3081.95 c 3082 19811150 1341604 1 - 0.0000 -
3077.45/3087.41 c 3087 19851041 1343127 1 - 0.0000 -
3083.53/3093.55 c 3094 19866363 1345040 1 - 0.0000 -
3089.31/3099.31 c 3099 19879443 1346636 1 - 0.0000 -
3094.69/3104.78 c 3105 19892503 1347745 1 - 0.0000 -
3100.37/3110.49 c 3110 19902163 1348593 1 - 0.0000 -
3106.25/3116.33 c 3116 19917133 1350205 1 - 0.0000 -
3112.02/3122.12 c 3122 19935235 1351481 1 - 0.0000 -
3117.51/3127.69 c 3128 19948003 1352376 1 - 0.0000 -
3123.38/3133.51 c 3134 19955001 1353158 1 - 0.0000 -
3128.87/3139.08 c 3139 19975213 1354973 1 - 0.0000 -
3134.34/3144.56 c 3145 19997333 1356261 1 - 0.0000 -
3139.72/3149.97 c 3150 20017550 1357476 1 - 0.0000 -
3145.70/3155.91 c 3156 20037433 1358562 1 - 0.0000 -
3151.58/3161.89 c 3162 20063814 1361092 1 - 0.0000 -
3157.45/3167.73 c 3168 20086890 1362482 1 - 0.0000 -
3163.12/3173.40 c 3173 20119860 1364218 1 - 0.0000 -
3168.71/3179.01 c 3179 20132103 1365826 1 - 0.0000 -
3174.39/3184.77 c 3185 20149360 1366917 1 - 0.0000 -
3179.87/3190.24 c 3190 20185911 1368518 1 - 0.0000 -
3185.14/3195.50 c 3196 20222127 1370226 1 - 0.0000 -
3190.42/3200.80 c 3201 20265368 1372424 1 - 0.0000 -
3196.00/3206.40 c 3206 20303634 1373824 1 - 0.0000 -
3201.38/3211.82 c 3212 20328505 1374845 1 - 0.0000 -
3206.86/3217.36 c 3217 20360838 1375938 1 - 0.0000 -
3212.34/3222.84 c 3223 20396013 1376463 1 - 0.0000 -
3217.42/3227.94 c 3228 20429822 1377420 1 - 0.0000 -
3222.91/3233.45 c 3233 20454056 1378946 1 - 0.0000 -
3228.20/3238.79 c 3239 20483627 1380561 1 - 0.0000 -
3233.77/3244.30 c 3244 20520004 1381740 1 - 0.0000 -
3239.25/3249.82 c 3250 20554470 1382962 1 - 0.0000 -
3244.83/3255.45 c 3255 20593803 1384035 1 - 0.0000 -
3250.12/3260.72 c 3261 20627687 1385109 1 - 0.0000 -
3255.51/3266.16 c 3266 20662143 1386429 1 - 0.0000 -
3260.89/3271.55 c 3272 20691141 1387251 1 - 0.0000 -
3266.57/3277.28 c 3277 20712740 1387722 1 - 0.0000 -
3271.85/3282.50 c 3282 20761793 1388651 1 - 0.0000 -
3276.84/3287.54 c 3288 20808925 1390209 1 - 0.0000 -
3282.43/3293.12 c 3293 20841712 1391048 1 - 0.0000 -
3287.90/3298.62 c 3299 20865190 1392466 1 - 0.0000 -
3292.98/3303.77 c 3304 20879133 1393607 1 - 0.0000 -
3298.47/3309.24 c 3309 20907503 1395477 1 - 0.0000 -
3303.56/3314.36 c 3314 20940317 1396816 1 - 0.0000 -
3309.54/3320.37 c 3320 20943313 1397527 1 - 0.0000 -
3315.82/3326.62 c 3327 20948183 1398415 1 - 0.0000 -
3321.80/3332.64 c 3333 20960096 1400022 1 - 0.0000 -
3327.49/3338.36 c 3338 20974803 1400917 1 - 0.0000 -
3333.18/3344.02 c 3344 20995658 1401900 1 - 0.0000 -
3338.75/3349.67 c 3350 21025022 1403312 1 - 0.0000 -
3344.15/3355.05 c 3355 21060452 1404654 1 - 0.0000 -
3350.02/3360.95 c 3361 21081033 1405684 1 - 0.0000 -
3355.51/3366.47 c 3366 21088813 1406787 1 - 0.0000 -
3360.88/3371.80 c 3372 21097373 1408001 1 - 0.0000 -
3366.47/3377.46 c 3377 21107596 1409253 1 - 0.0000 -
3372.35/3383.31 c 3383 21115189 1410341 1 - 0.0000 -
3377.94/3388.96 c 3389 21126439 1411442 1 - 0.0000 -
3383.52/3394.50 c 3394 21139875 1412864 1 - 0.0000 -
3389.12/3400.11 c 3400 21159153 1414324 1 - 0.0000 -
3394.99/3406.02 c 3406 21179673 1415490 1 - 0.0000 -
3400.67/3411.70 c 3412 21191790 1416659 1 - 0.0000 -
3405.96/3417.05 c 3417 21215039 1418036 1 - 0.0000 -
3411.34/3422.40 c 3422 21243610 1419931 1 - 0.0000 -
3416.82/3427.96 c 3428 21273413 1421667 1 - 0.0000 -
3422.41/3433.50 c 3434 21296139 1423085 1 - 0.0000 -
3427.49/3438.69 c 3439 21309684 1424410 1 - 0.0000 -
3432.89/3444.06 c 3444 21335582 1425748 1 - 0.0000 -
3438.06/3449.27 c 3449 21378253 1427737 1 - 0.0000 -
3443.94/3455.12 c 3455 21423984 1429800 1 - 0.0000 -
3449.13/3460.35 c 3460 21458380 1431093 1 - 0.0000 -
3454.50/3465.72 c 3466 21488143 1432302 1 - 0.0000 -
3460.10/3471.32 c 3471 21507109 1432962 1 - 0.0000 -
3465.58/3476.86 c 3477 21543206 1433813 1 - 0.0000 -
3470.87/3482.19 c 3482 21594654 1435125 1 - 0.0000 -
3476.25/3487.58 c 3488 21629683 1436123 1 - 0.0000 -
3482.13/3493.41 c 3493 21642936 1436716 1 - 0.0000 -
3487.82/3499.18 c 3499 21654763 1438219 1 - 0.0000 -
3493.80/3505.12 c 3505 21674566 1439922 1 - 0.0000 -
3499.38/3510.74 c 3511 21689010 1440891 1 - 0.0000 -
3504.77/3516.11 c 3516 21711998 1442257 1 - 0.0000 -
3510.35/3521.74 c 3522 21752759 1444258 1 - 0.0000 -
3515.93/3527.32 c 3527 21780663 1445434 1 - 0.0000 -
3521.63/3533.00 c 3533 21798854 1446192 1 - 0.0000 -
3527.40/3538.80 c 3539 21810022 1447471 1 - 0.0000 -
3533.18/3544.69 c 3545 21828223 1449016 1 - 0.0000 -
3538.57/3550.02 c 3550 21859654 1450953 1 - 0.0000 -
3543.74/3555.27 c 3555 21902233 1452990 1 - 0.0000 -
3549.13/3560.64 c 3561 21929605 1454150 1 - 0.0000 -
3554.41/3565.97 c 3566 21970025 1455428 1 - 0.0000 -
3559.90/3571.44 c 3571 22001533 1456174 1 - 0.0000 -
3565.88/3577.40 c 3577 22016938 1457061 1 - 0.0000 -
3571.37/3582.95 c 3583 22028282 1458291 1 - 0.0000 -
3576.85/3588.47 c 3588 22047833 1458872 1 - 0.0000 -
3582.63/3594.22 c 3594 22088664 1460221 1 - 0.0000 -
3590.22/3601.82 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.22/3601.82 c Total Time : 3601.8200
3590.22/3601.82 c solving : 3601.8200
3590.22/3601.82 c presolving : 0.0016 (included in solving)
3590.22/3601.82 c B&B Tree :
3590.22/3601.82 c nodes (total) : 1
3590.22/3601.82 c Solution :
3590.22/3601.82 c Solutions found : 0
3590.22/3601.82 c Primal Bound : -
3590.22/3601.82 c Dual Bound : +0.00000000000000e+00
3590.22/3601.82 c Gap : -
3590.22/3601.82 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 (62322 MiB free)
memory of node 1: 64473 MiB (62749 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464344-1722378993/watcher-4464344-1722378993 -o /tmp/evaluation-result-4464344-1722378993/solver-4464344-1722378993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722378594-27315 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464344-1722378993.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=27661, runsolver pid=27658
Current StackSize limit: 8192 KiB
[startup+0.100467 s]*
/proc/loadavg: 4.65 3.30 1.60 5/263 27664
/proc/meminfo: memFree=128065048/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=106468 memory=19656 CPUtime=0.09 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 2290 0 0 0 9 0 0 0 20 0 3 0 4287481 109023232 4914 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 26617 4914 2950 3035 0 8250 0
[pid=27661/tid=27663] ppid=27658 vsize=106468 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 1165 0 0 0 9 0 0 0 20 0 3 0 4287482 109023232 4914 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=106468 memory=232851243367 CPUtime=0 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4287482 109023232 4914 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 106468 KiB
Current children cumulated memory: 19656 KiB
[startup+0.205369 s]*
/proc/loadavg: 4.65 3.30 1.60 5/263 27664
/proc/meminfo: memFree=128063956/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=106468 memory=20508 CPUtime=0.19 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 2505 0 0 0 19 0 0 0 20 0 3 0 4287481 109023232 5127 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 26617 5127 2966 3035 0 8502 0
[pid=27661/tid=27663] ppid=27658 vsize=106468 memory=664970838410264707 CPUtime=0.19 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 1380 0 0 0 19 0 0 0 20 0 3 0 4287482 109023232 5127 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=106468 memory=17997 CPUtime=0 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4287482 109023232 5127 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 106468 KiB
Current children cumulated memory: 20508 KiB
[startup+0.304773 s]*
/proc/loadavg: 4.65 3.30 1.60 5/263 27664
/proc/meminfo: memFree=128063480/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=106468 memory=21036 CPUtime=0.29 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 2611 0 0 0 29 0 0 0 20 0 3 0 4287481 109023232 5259 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 26617 5259 2966 3035 0 8595 0
[pid=27661/tid=27663] ppid=27658 vsize=106468 memory=-5155626894957571205 CPUtime=0.29 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 1489 0 0 0 29 0 0 0 20 0 3 0 4287482 109023232 5259 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=106468 memory=0 CPUtime=0 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4287482 109023232 5259 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 106468 KiB
Current children cumulated memory: 21036 KiB
[startup+0.700171 s]
/proc/loadavg: 4.65 3.30 1.60 5/263 27664
/proc/meminfo: memFree=128062668/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=106468 memory=21828 CPUtime=0.68 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 2798 0 0 0 68 0 0 0 20 0 3 0 4287481 109023232 5457 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 26617 5457 2966 3035 0 8754 0
[pid=27661/tid=27663] ppid=27658 vsize=106468 memory=0 CPUtime=0.68 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 1673 0 0 0 68 0 0 0 20 0 3 0 4287482 109023232 5457 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=106468 memory=0 CPUtime=0 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4287482 109023232 5457 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 106468 KiB
Current children cumulated memory: 21828 KiB
[startup+1.50025 s]
/proc/loadavg: 4.65 3.30 1.60 5/263 27664
/proc/meminfo: memFree=128062340/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=106468 memory=23332 CPUtime=1.48 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 4538 0 0 0 147 1 0 0 20 0 3 0 4287481 109023232 5833 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 26617 5833 2966 3035 0 8932 0
[pid=27661/tid=27663] ppid=27658 vsize=106468 memory=0 CPUtime=1.47 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 3399 0 0 0 146 1 0 0 20 0 3 0 4287482 109023232 5833 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=106468 memory=0 CPUtime=0 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4287482 109023232 5833 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106468 KiB
Current children cumulated memory: 23332 KiB
[startup+3.10555 s]
/proc/loadavg: 4.65 3.30 1.60 5/263 27664
/proc/meminfo: memFree=128054976/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=106468 memory=27608 CPUtime=3.08 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 5808 0 0 0 305 3 0 0 20 0 3 0 4287481 109023232 6902 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 26617 6902 2966 3035 0 10088 0
[pid=27661/tid=27663] ppid=27658 vsize=106468 memory=2273 CPUtime=3.08 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 4666 0 0 0 305 3 0 0 20 0 3 0 4287482 109023232 6902 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=106468 memory=0 CPUtime=0 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4287482 109023232 6902 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 106468 KiB
Current children cumulated memory: 27608 KiB
[startup+6.30017 s]
/proc/loadavg: 4.68 3.33 1.62 5/263 27664
/proc/meminfo: memFree=128048008/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=107408 memory=34960 CPUtime=6.26 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 11064 0 0 0 619 7 0 0 20 0 3 0 4287481 109985792 8740 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 26852 8740 3014 3035 0 11858 0
[pid=27661/tid=27663] ppid=27658 vsize=107408 memory=-5155626894957571205 CPUtime=6.26 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 9897 0 0 0 619 7 0 0 20 0 3 0 4287482 109985792 8740 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=107408 memory=34736 CPUtime=0 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4287482 109985792 8740 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 107408 KiB
Current children cumulated memory: 34960 KiB
[startup+12.7002 s]
/proc/loadavg: 4.70 3.36 1.64 5/263 27666
/proc/meminfo: memFree=128030388/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=111008 memory=48864 CPUtime=12.64 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 24850 0 0 0 1248 16 0 0 20 0 3 0 4287481 113672192 12216 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 27752 12216 3014 3035 0 15267 0
[pid=27661/tid=27663] ppid=27658 vsize=111008 memory=27872 CPUtime=12.64 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 23642 0 0 0 1248 16 0 0 20 0 3 0 4287482 113672192 12216 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=111008 memory=0 CPUtime=0 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4287482 113672192 12216 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 111008 KiB
Current children cumulated memory: 48864 KiB
[startup+25.5002 s]
/proc/loadavg: 4.62 3.41 1.68 5/263 27668
/proc/meminfo: memFree=128003384/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=120700 memory=71208 CPUtime=25.4 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 48273 0 0 0 2508 32 0 0 20 0 3 0 4287481 123596800 17802 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 30175 17802 3014 3035 0 20991 0
[pid=27661/tid=27663] ppid=27658 vsize=120700 memory=42972 CPUtime=25.39 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 47016 0 0 0 2507 32 0 0 20 0 3 0 4287482 123596800 17802 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=120700 memory=11536 CPUtime=0 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4287482 123596800 17802 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 120700 KiB
Current children cumulated memory: 71208 KiB
[startup+51.1057 s]
/proc/loadavg: 4.62 3.50 1.76 5/263 27672
/proc/meminfo: memFree=127913672/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=141108 memory=111680 CPUtime=50.92 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 98164 0 0 0 5024 68 0 0 20 0 3 0 4287481 144494592 27920 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 35277 27920 3014 3035 0 31530 0
[pid=27661/tid=27663] ppid=27658 vsize=141108 memory=104504 CPUtime=50.91 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 96836 0 0 0 5023 68 0 0 20 0 3 0 4287482 144494592 27920 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=141108 memory=103436 CPUtime=0 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4287482 144494592 27920 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 141108 KiB
Current children cumulated memory: 111680 KiB
[startup+102.3 s]
/proc/loadavg: 4.27 3.58 1.88 5/263 27684
/proc/meminfo: memFree=127792620/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=245244 memory=179088 CPUtime=101.95 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 181853 0 0 0 10060 135 0 0 20 0 3 0 4287481 251129856 44772 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 61311 44772 3014 3035 0 48933 0
[pid=27661/tid=27663] ppid=27658 vsize=245244 memory=172580 CPUtime=101.94 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 180443 0 0 0 10059 135 0 0 20 0 3 0 4287482 251129856 44772 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=245244 memory=171932 CPUtime=0 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4287482 251129856 44772 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 245244 KiB
Current children cumulated memory: 179088 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 3.68 2.02 5/263 27695
/proc/meminfo: memFree=127672136/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=293324 memory=256060 CPUtime=161.76 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 280279 0 0 0 15971 205 0 0 20 0 3 0 4287481 300363776 64015 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 73331 64015 3014 3035 0 69177 0
[pid=27661/tid=27663] ppid=27658 vsize=293324 memory=239996 CPUtime=161.74 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 278816 0 0 0 15970 204 0 0 20 0 3 0 4287482 300363776 64015 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=293324 memory=250240 CPUtime=0 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 4287482 300363776 64015 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 293324 KiB
################
# More data... #
################
/proc/27661/statm: 454239 443343 3014 3035 0 448225 0
[pid=27661/tid=27663] ppid=27658 vsize=1816956 memory=1772180 CPUtime=3391.09 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 4984321 0 0 0 336764 2345 0 0 20 0 3 0 4287482 1860562944 443343 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=1816956 memory=1772180 CPUtime=0.03 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 137 0 0 0 1 2 0 0 20 0 3 0 4287482 1860562944 443343 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 3391.3 s
Current children cumulated vsize: 1816956 KiB
Current children cumulated memory: 1773372 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.10 4.07 5/268 29885
/proc/meminfo: memFree=127589872/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=1889760 memory=1789604 CPUtime=3451.12 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 5018737 0 0 0 342730 2382 0 0 20 0 3 0 4287481 1935114240 447401 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 472440 447401 3014 3035 0 452188 0
[pid=27661/tid=27663] ppid=27658 vsize=1889760 memory=1786964 CPUtime=3450.9 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 5016206 0 0 0 342716 2374 0 0 20 0 3 0 4287482 1935114240 447401 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=1889760 memory=11536 CPUtime=0.03 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 139 0 0 0 1 2 0 0 20 0 3 0 4287482 1935114240 447401 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 3451.12 s
Current children cumulated vsize: 1889760 KiB
Current children cumulated memory: 1789604 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.07 5/266 29895
/proc/meminfo: memFree=127566508/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=1895172 memory=1801988 CPUtime=3510.95 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 5052464 0 0 0 348686 2409 0 0 20 0 3 0 4287481 1940656128 450497 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 473793 450497 3014 3035 0 455317 0
[pid=27661/tid=27663] ppid=27658 vsize=1895172 memory=11536 CPUtime=3510.72 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 5049917 0 0 0 348671 2401 0 0 20 0 3 0 4287482 1940656128 450497 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=1895172 memory=1759464 CPUtime=0.03 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 141 0 0 0 1 2 0 0 20 0 3 0 4287482 1940656128 450497 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 3510.95 s
Current children cumulated vsize: 1895172 KiB
Current children cumulated memory: 1801988 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/262 29905
/proc/meminfo: memFree=127552232/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=1899232 memory=1813344 CPUtime=3570.76 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 5083236 0 0 0 354645 2431 0 0 20 0 3 0 4287481 1944813568 453336 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 474808 453336 3014 3035 0 458078 0
[pid=27661/tid=27663] ppid=27658 vsize=1899232 memory=1813344 CPUtime=3570.53 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 5080673 0 0 0 354630 2423 0 0 20 0 3 0 4287482 1944813568 453336 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=1899232 memory=14712 CPUtime=0.03 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 4287482 1944813568 453336 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 3570.76 s
Current children cumulated vsize: 1899232 KiB
Current children cumulated memory: 1813344 KiB
[startup+3601.83 s]
# the end of solver process 27661 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3565.78 s, system=24.4682 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.09 4.07 5/262 29905
/proc/meminfo: memFree=127551288/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=1899812 memory=1814204 CPUtime=3572.46 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 5083498 0 0 0 354814 2432 0 0 20 0 3 0 4287481 1945407488 453551 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 474953 453551 3014 3035 0 458223 0
[pid=27661/tid=27663] ppid=27658 vsize=1899812 memory=-7161687148546055545 CPUtime=3572.23 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 5080935 0 0 0 354799 2424 0 0 20 0 3 0 4287482 1945407488 453551 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=1899812 memory=-5155633680935826750 CPUtime=0.03 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 4287482 1945407488 453551 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 1899812 KiB
Current children cumulated memory: 1814204 KiB
[startup+3590.4 s]
/proc/loadavg: 4.06 4.08 4.07 5/262 29907
/proc/meminfo: memFree=127550724/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=1899812 memory=1814820 CPUtime=3578.84 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 5085771 0 0 0 355448 2436 0 0 20 0 3 0 4287481 1945407488 453705 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 474953 453705 3014 3035 0 458286 0
[pid=27661/tid=27663] ppid=27658 vsize=1899812 memory=1813344 CPUtime=3578.61 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 5083208 0 0 0 355433 2428 0 0 20 0 3 0 4287482 1945407488 453705 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=1899812 memory=1814308 CPUtime=0.03 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 143 0 0 0 1 2 0 0 20 0 3 0 4287482 1945407488 453705 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 3578.84 s
Current children cumulated vsize: 1899812 KiB
Current children cumulated memory: 1814820 KiB
[startup+3596.8 s]
/proc/loadavg: 4.05 4.08 4.07 5/262 29907
/proc/meminfo: memFree=127549388/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=1900392 memory=1816108 CPUtime=3585.23 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 5091661 0 0 0 356083 2440 0 0 20 0 3 0 4287481 1946001408 454027 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 475098 454027 3014 3035 0 458607 0
[pid=27661/tid=27663] ppid=27658 vsize=1900392 memory=1813344 CPUtime=3585 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 5089095 0 0 0 356068 2432 0 0 20 0 3 0 4287482 1946001408 454027 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=1900392 memory=1814308 CPUtime=0.03 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 4287482 1946001408 454027 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 3585.23 s
Current children cumulated vsize: 1900392 KiB
Current children cumulated memory: 1816108 KiB
[startup+3600 s]*
/proc/loadavg: 4.05 4.08 4.07 5/262 29908
/proc/meminfo: memFree=127711788/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=1655096 memory=1564092 CPUtime=3588.42 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 5120272 0 0 0 356399 2443 0 0 20 0 3 0 4287481 1694818304 391023 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 413774 391023 3014 3035 0 397379 0
[pid=27661/tid=27663] ppid=27658 vsize=1655096 memory=2608 CPUtime=3588.19 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 5117709 0 0 0 356384 2435 0 0 20 0 3 0 4287482 1694818304 391023 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=1655096 memory=4888 CPUtime=0.03 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 4287482 1694818304 391023 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 3588.42 s
Current children cumulated vsize: 1655096 KiB
Current children cumulated memory: 1564092 KiB
[startup+3600.8 s]
/proc/loadavg: 4.05 4.08 4.07 5/262 29908
/proc/meminfo: memFree=127711788/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=1495100 memory=1404096 CPUtime=3589.22 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 5121287 0 0 0 356478 2444 0 0 20 0 3 0 4287481 1530982400 351024 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 373775 351024 3014 3035 0 357380 0
[pid=27661/tid=27663] ppid=27658 vsize=1495100 memory=1632828 CPUtime=3588.98 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 5118720 0 0 0 356462 2436 0 0 20 0 3 0 4287482 1530982400 351024 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=1495100 memory=14712 CPUtime=0.03 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 4287482 1530982400 351024 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 3589.22 s
Current children cumulated vsize: 1495100 KiB
Current children cumulated memory: 1404096 KiB
[startup+3601.6 s]
/proc/loadavg: 4.05 4.08 4.07 5/262 29908
/proc/meminfo: memFree=127845584/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=1306876 memory=1215876 CPUtime=3590.01 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 5121645 0 0 0 356557 2444 0 0 20 0 3 0 4287481 1338241024 303969 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 326719 303969 3014 3035 0 310324 0
[pid=27661/tid=27663] ppid=27658 vsize=1306876 memory=1486284 CPUtime=3589.78 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 5119078 0 0 0 356542 2436 0 0 20 0 3 0 4287482 1338241024 303969 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=1306876 memory=3820 CPUtime=0.03 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 4287482 1338241024 303969 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 3590.01 s
Current children cumulated vsize: 1306876 KiB
Current children cumulated memory: 1215876 KiB
[startup+3601.8 s]
/proc/loadavg: 4.05 4.08 4.07 5/262 29908
/proc/meminfo: memFree=127845584/131524600 swapFree=131071996/131071996
[pid=27661] ppid=27658 vsize=1247160 memory=1156160 CPUtime=3590.22 cores=1,3
/proc/27661/stat : 27661 (fscip) S 27658 27661 27303 0 -1 1077936128 5121666 0 0 0 356577 2445 0 0 20 0 3 0 4287481 1277091840 289040 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
/proc/27661/statm: 311790 289040 3014 3035 0 295395 0
[pid=27661/tid=27663] ppid=27658 vsize=1247160 memory=65704 CPUtime=3589.98 cores=1,3
/proc/27661/task/27663/stat : 27663 (fscip) R 27658 27661 27303 0 -1 4194368 5119099 0 0 0 356561 2437 0 0 20 0 3 0 4287482 1277091840 289040 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
[pid=27661/tid=27664] ppid=27658 vsize=1247160 memory=-7234307692537405051 CPUtime=0.03 cores=1,3
/proc/27661/task/27664/stat : 27664 (fscip) S 27658 27661 27303 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 4287482 1277091840 289040 134679101440 4194304 16623229 140720866155984 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 24215552 140720866157590 140720866157706 140720866157706 140720866164720 0
Current children cumulated CPU time: 3590.22 s
Current children cumulated vsize: 1247160 KiB
Current children cumulated memory: 1156160 KiB
Child status: 0
Real time (s): 3601.83
CPU time (s): 3590.25
CPU user time (s): 3565.78
CPU system time (s): 24.4682
CPU usage (%): 99.6786
Max. virtual memory (cumulated for all children) (KiB): 1900392
Max. memory (cumulated for all children) (KiB): 1816492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.78
system time used= 24.4682
maximum resident set size= 1816492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5121823
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= 10597
involuntary context switches= 4927
# summary of solver processes directly reported to runsolver:
# pid: 27661
# total CPU time (s): 3590.25
# total CPU user time (s): 3565.78
# total CPU system time (s): 24.4682
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.91291 second user time and 17.8065 second system time
The end
Begin job on nodeC015 at 2024-07-31 00:36:33
IDJOB=4464344
IDBENCH=148101
IDSOLVER=3092
FILE ID=nodeC015/4464344-1722378993
RUNJOBID= nodeC015-1722378594-27315
SLURM_JOB_ID= 8249828
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob5.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464344-1722378993/watcher-4464344-1722378993 -o /tmp/evaluation-result-4464344-1722378993/solver-4464344-1722378993 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722378594-27315 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464344-1722378993.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f4201f1ef8f74939600eabb6a2266017
RANDOM SEED=1367756045
nodeC015.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 : 3672.735
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.37
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3663.897
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.03
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 : 3600.015
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.37
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 : 3673.282
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.03
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 : 3672.787
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.37
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 : 3671.776
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.786
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.37
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 : 3614.118
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.03
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128073792 kB
MemAvailable: 127941308 kB
Buffers: 90488 kB
Cached: 615528 kB
SwapCached: 0 kB
Active: 253968 kB
Inactive: 2719540 kB
Active(anon): 1544 kB
Inactive(anon): 2289328 kB
Active(file): 252424 kB
Inactive(file): 430212 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28508 kB
Writeback: 4 kB
AnonPages: 2267508 kB
Mapped: 127452 kB
Shmem: 23384 kB
KReclaimable: 49408 kB
Slab: 130780 kB
SReclaimable: 49408 kB
SUnreclaim: 81372 kB
KernelStack: 4192 kB
PageTables: 14200 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1787152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9728 kB
HardwareCorrupted: 0 kB
AnonHugePages: 720896 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: 158420 kB
DirectMap2M: 12197888 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC015 at 2024-07-31 01:36:35