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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 27688960, getVmSize() = 27688960, SCIPgetMemUsed() = 4336005, SCIPgetMemTotal() = 6113709, SCIPgetMemExternEstim() = 1844109
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.05 c ** Estimated virtualMemUsedAtSolver = 23150592, getVmSize() = 41762816, SCIPgetMemUsed() = 13426553, SCIPgetMemTotal() = 18980401, SCIPgetMemExternEstim() = 1844109
0.00/0.05 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.05 c Original Problem :
0.00/0.05 c Problem name : instance-4464585-1722386598
0.00/0.05 c Variables : 1401 (1401 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 701
0.00/0.05 c Objective sense : minimize
0.00/0.05 c Presolved Problem :
0.00/0.05 c Variables : 1400 (1400 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 700
0.00/0.05 c Constraints : Number
0.00/0.05 c linear : 700
0.00/0.05 c ** Instance transfer method used: 0
0.00/0.06 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.07 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.07 c Nodes Active
0.00/0.07 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.37/5.46 c 5 1146 1137 1 - 0.0000 -
10.45/10.54 c 11 3528 3499 1 - 0.0000 -
15.53/15.60 c 16 5398 5347 1 - 0.0000 -
20.52/20.65 c 21 7126 7065 1 - 0.0000 -
25.60/25.71 c 26 8692 8631 1 - 0.0000 -
30.67/30.86 c 31 11381 11260 1 - 0.0000 -
35.87/36.03 c 36 14135 13919 1 - 0.0000 -
41.03/41.25 c 41 19025 18609 1 - 0.0000 -
46.12/46.30 c 46 23656 22932 1 - 0.0000 -
51.10/51.35 c 51 28021 27031 1 - 0.0000 -
56.17/56.40 c 56 32195 30974 1 - 0.0000 -
61.16/61.45 c 61 36032 34618 1 - 0.0000 -
66.24/66.52 c 67 39756 38190 1 - 0.0000 -
71.32/71.60 c 72 43291 41551 1 - 0.0000 -
76.30/76.66 c 77 46942 45027 1 - 0.0000 -
81.37/81.73 c 82 50239 48209 1 - 0.0000 -
86.45/86.83 c 87 53385 51167 1 - 0.0000 -
91.43/91.89 c 92 56687 54320 1 - 0.0000 -
96.51/96.94 c 97 59644 57196 1 - 0.0000 -
101.49/102.00 c 102 62357 59888 1 - 0.0000 -
106.59/107.04 c 107 65094 62530 1 - 0.0000 -
111.67/112.12 c 112 67791 65137 1 - 0.0000 -
116.73/117.20 c 117 72042 69233 1 - 0.0000 -
121.71/122.25 c 122 76518 73544 1 - 0.0000 -
126.79/127.30 c 127 80922 77799 1 - 0.0000 -
131.77/132.35 c 132 85519 82192 1 - 0.0000 -
136.85/137.42 c 137 89468 85933 1 - 0.0000 -
141.83/142.47 c 142 94520 90738 1 - 0.0000 -
146.91/147.53 c 148 99082 95027 1 - 0.0000 -
151.89/152.58 c 153 104156 99841 1 - 0.0000 -
156.97/157.67 c 158 108696 104086 1 - 0.0000 -
162.06/162.72 c 163 113759 108717 1 - 0.0000 -
167.04/167.77 c 168 118624 113333 1 - 0.0000 -
172.11/172.84 c 173 122988 117444 1 - 0.0000 -
177.19/177.93 c 178 127290 121421 1 - 0.0000 -
182.17/183.01 c 183 132264 126163 1 - 0.0000 -
187.26/188.05 c 188 137556 130845 1 - 0.0000 -
192.33/193.15 c 193 142393 135353 1 - 0.0000 -
197.40/198.21 c 198 147470 140098 1 - 0.0000 -
202.39/203.26 c 203 152119 144440 1 - 0.0000 -
207.46/208.32 c 208 157048 149079 1 - 0.0000 -
212.44/213.37 c 213 161769 153574 1 - 0.0000 -
217.52/218.42 c 218 166298 157363 1 - 0.0000 -
222.50/223.47 c 223 170810 161647 1 - 0.0000 -
227.59/228.53 c 229 176082 166547 1 - 0.0000 -
232.56/233.58 c 234 180616 170865 1 - 0.0000 -
237.65/238.68 c 239 185622 175640 1 - 0.0000 -
242.72/243.76 c 244 190509 180202 1 - 0.0000 -
247.81/248.80 c 249 194970 184352 1 - 0.0000 -
252.89/253.91 c 254 199522 188478 1 - 0.0000 -
257.86/259.01 c 259 203794 192452 1 - 0.0000 -
262.95/264.06 c 264 208076 196407 1 - 0.0000 -
267.93/269.11 c 269 212679 200764 1 - 0.0000 -
273.01/274.17 c 274 217072 204861 1 - 0.0000 -
278.08/279.22 c 279 221999 209293 1 - 0.0000 -
283.07/284.27 c 284 226594 213705 1 - 0.0000 -
288.14/289.32 c 289 231015 217795 1 - 0.0000 -
293.13/294.37 c 294 235283 221732 1 - 0.0000 -
298.20/299.43 c 299 239529 225624 1 - 0.0000 -
303.19/304.48 c 304 244069 229732 1 - 0.0000 -
308.26/309.53 c 310 248674 233968 1 - 0.0000 -
313.24/314.59 c 315 253310 238339 1 - 0.0000 -
318.32/319.66 c 320 258413 243066 1 - 0.0000 -
323.40/324.72 c 325 263103 247450 1 - 0.0000 -
328.38/329.77 c 330 267582 251590 1 - 0.0000 -
333.47/334.83 c 335 271602 255447 1 - 0.0000 -
338.45/339.88 c 340 275788 259500 1 - 0.0000 -
343.63/345.01 c 345 280214 263567 1 - 0.0000 -
348.62/350.06 c 350 284356 267325 1 - 0.0000 -
353.59/355.11 c 355 288852 271451 1 - 0.0000 -
358.67/360.16 c 360 293751 276059 1 - 0.0000 -
363.74/365.21 c 365 298034 280098 1 - 0.0000 -
368.82/370.32 c 370 301790 283680 1 - 0.0000 -
373.80/375.39 c 375 306133 287674 1 - 0.0000 -
378.89/380.43 c 380 310819 291989 1 - 0.0000 -
383.86/385.49 c 385 315289 296128 1 - 0.0000 -
388.95/390.54 c 391 319240 299737 1 - 0.0000 -
393.93/395.59 c 396 322899 303027 1 - 0.0000 -
399.01/400.65 c 401 327048 306793 1 - 0.0000 -
404.08/405.70 c 406 330765 310308 1 - 0.0000 -
409.06/410.79 c 411 334842 314173 1 - 0.0000 -
414.14/415.84 c 416 338854 317941 1 - 0.0000 -
419.22/420.92 c 421 343085 321872 1 - 0.0000 -
424.21/425.97 c 426 347158 325519 1 - 0.0000 -
429.29/431.02 c 431 351316 329322 1 - 0.0000 -
434.26/436.08 c 436 355937 333680 1 - 0.0000 -
439.43/441.21 c 441 360180 337158 1 - 0.0000 -
444.41/446.26 c 446 363925 340675 1 - 0.0000 -
449.50/451.32 c 451 367999 344480 1 - 0.0000 -
454.48/456.38 c 456 372129 348306 1 - 0.0000 -
459.55/461.44 c 461 376188 352104 1 - 0.0000 -
464.54/466.49 c 466 380162 355623 1 - 0.0000 -
469.62/471.57 c 472 384804 359795 1 - 0.0000 -
474.70/476.63 c 477 389100 363800 1 - 0.0000 -
479.78/481.71 c 482 393315 367734 1 - 0.0000 -
484.76/486.76 c 487 397831 371951 1 - 0.0000 -
489.94/491.93 c 492 401901 375583 1 - 0.0000 -
494.92/496.99 c 497 405685 379106 1 - 0.0000 -
500.00/502.06 c 502 409543 382668 1 - 0.0000 -
504.99/507.11 c 507 413688 386391 1 - 0.0000 -
510.25/512.30 c 512 417654 389877 1 - 0.0000 -
515.23/517.35 c 517 421666 393568 1 - 0.0000 -
520.32/522.46 c 522 425625 397194 1 - 0.0000 -
525.49/527.62 c 528 429612 400791 1 - 0.0000 -
530.47/532.67 c 533 433696 404625 1 - 0.0000 -
535.55/537.72 c 538 437528 408200 1 - 0.0000 -
540.54/542.77 c 543 441565 411899 1 - 0.0000 -
545.61/547.85 c 548 445597 415488 1 - 0.0000 -
550.69/552.90 c 553 450032 419161 1 - 0.0000 -
555.68/557.96 c 558 454195 422907 1 - 0.0000 -
560.76/563.03 c 563 458135 426610 1 - 0.0000 -
565.84/568.13 c 568 462204 430324 1 - 0.0000 -
570.91/573.23 c 573 466449 434262 1 - 0.0000 -
575.99/578.34 c 578 470393 437858 1 - 0.0000 -
581.07/583.41 c 583 474748 441921 1 - 0.0000 -
586.15/588.53 c 589 478599 445435 1 - 0.0000 -
591.24/593.65 c 594 482638 449056 1 - 0.0000 -
596.21/598.69 c 599 486535 452469 1 - 0.0000 -
601.29/603.74 c 604 490209 455994 1 - 0.0000 -
606.37/608.80 c 609 494343 459723 1 - 0.0000 -
611.36/613.88 c 614 497759 462941 1 - 0.0000 -
616.55/619.03 c 619 501584 466435 1 - 0.0000 -
621.53/624.08 c 624 505910 470329 1 - 0.0000 -
626.60/629.16 c 629 509988 473926 1 - 0.0000 -
631.78/634.30 c 634 513840 477501 1 - 0.0000 -
636.75/639.35 c 639 517774 481144 1 - 0.0000 -
641.94/644.50 c 644 521274 484339 1 - 0.0000 -
646.91/649.55 c 650 524816 487651 1 - 0.0000 -
651.99/654.60 c 655 528660 491206 1 - 0.0000 -
657.07/659.73 c 660 532471 494654 1 - 0.0000 -
662.06/664.79 c 665 535863 497806 1 - 0.0000 -
667.24/669.97 c 670 539212 500878 1 - 0.0000 -
672.33/675.04 c 675 542845 504171 1 - 0.0000 -
677.31/680.10 c 680 546489 507444 1 - 0.0000 -
682.39/685.15 c 685 550318 510716 1 - 0.0000 -
687.46/690.20 c 690 554285 514337 1 - 0.0000 -
692.44/695.25 c 695 557826 517589 1 - 0.0000 -
697.52/700.33 c 700 561115 520580 1 - 0.0000 -
702.50/705.39 c 705 564389 523559 1 - 0.0000 -
707.58/710.46 c 710 568303 527154 1 - 0.0000 -
712.66/715.51 c 716 571731 530385 1 - 0.0000 -
717.74/720.60 c 721 575140 533461 1 - 0.0000 -
722.72/725.69 c 726 578268 536150 1 - 0.0000 -
727.80/730.74 c 731 581810 539399 1 - 0.0000 -
732.79/735.79 c 736 585463 542592 1 - 0.0000 -
737.87/740.86 c 741 589091 545869 1 - 0.0000 -
742.95/745.91 c 746 592407 548906 1 - 0.0000 -
748.03/751.03 c 751 595812 552008 1 - 0.0000 -
753.01/756.08 c 756 599325 555302 1 - 0.0000 -
758.09/761.13 c 761 602830 558506 1 - 0.0000 -
763.08/766.18 c 766 606478 561937 1 - 0.0000 -
768.24/771.31 c 771 609959 565195 1 - 0.0000 -
773.22/776.37 c 776 613478 568544 1 - 0.0000 -
778.31/781.42 c 781 617060 571854 1 - 0.0000 -
783.28/786.47 c 786 620607 574876 1 - 0.0000 -
788.37/791.52 c 792 624069 578116 1 - 0.0000 -
793.54/796.75 c 797 627711 581435 1 - 0.0000 -
798.62/801.83 c 802 631005 584394 1 - 0.0000 -
803.61/806.88 c 807 634244 587291 1 - 0.0000 -
808.69/811.93 c 812 637888 590687 1 - 0.0000 -
813.67/816.98 c 817 641371 593798 1 - 0.0000 -
818.75/822.06 c 822 644732 596774 1 - 0.0000 -
823.83/827.17 c 827 648018 599797 1 - 0.0000 -
828.90/832.26 c 832 651763 603307 1 - 0.0000 -
833.98/837.31 c 837 655540 606851 1 - 0.0000 -
838.97/842.36 c 842 659152 610123 1 - 0.0000 -
844.14/847.50 c 848 662767 613509 1 - 0.0000 -
849.12/852.59 c 853 665932 616409 1 - 0.0000 -
854.20/857.64 c 858 669610 619885 1 - 0.0000 -
859.48/862.96 c 863 673428 623404 1 - 0.0000 -
864.57/868.07 c 868 676671 626278 1 - 0.0000 -
869.65/873.13 c 873 680277 629659 1 - 0.0000 -
874.64/878.19 c 878 683529 632704 1 - 0.0000 -
879.71/883.25 c 883 687018 635933 1 - 0.0000 -
884.79/888.30 c 888 690294 638843 1 - 0.0000 -
889.77/893.37 c 893 693531 641773 1 - 0.0000 -
894.84/898.46 c 898 696922 644953 1 - 0.0000 -
899.92/903.52 c 904 700095 647801 1 - 0.0000 -
905.00/908.67 c 909 703264 650619 1 - 0.0000 -
910.19/913.82 c 914 706016 653164 1 - 0.0000 -
915.27/918.99 c 919 709013 655969 1 - 0.0000 -
920.46/924.14 c 924 712527 659212 1 - 0.0000 -
925.53/929.25 c 929 716166 662561 1 - 0.0000 -
930.71/934.46 c 934 719625 665577 1 - 0.0000 -
935.79/939.51 c 940 722615 668277 1 - 0.0000 -
940.77/944.56 c 945 725704 671111 1 - 0.0000 -
945.85/949.61 c 950 728937 674056 1 - 0.0000 -
950.83/954.69 c 955 731735 676645 1 - 0.0000 -
955.92/959.76 c 960 735012 679556 1 - 0.0000 -
960.99/964.84 c 965 737978 682180 1 - 0.0000 -
966.17/970.02 c 970 741024 684948 1 - 0.0000 -
971.16/975.10 c 975 743908 687355 1 - 0.0000 -
976.24/980.15 c 980 747211 690454 1 - 0.0000 -
981.41/985.33 c 985 750407 693394 1 - 0.0000 -
986.39/990.39 c 990 753835 696455 1 - 0.0000 -
991.47/995.45 c 995 756818 698895 1 - 0.0000 -
996.55/1000.52 c 1001 760062 701926 1 - 0.0000 -
1001.63/1005.60 c 1006 763190 704736 1 - 0.0000 -
1006.71/1010.76 c 1011 766408 707649 1 - 0.0000 -
1011.80/1015.88 c 1016 769778 710748 1 - 0.0000 -
1016.87/1020.96 c 1021 772635 713230 1 - 0.0000 -
1021.97/1026.01 c 1026 776222 716574 1 - 0.0000 -
1026.94/1031.07 c 1031 779269 719401 1 - 0.0000 -
1032.02/1036.12 c 1036 782219 722137 1 - 0.0000 -
1037.01/1041.19 c 1041 785695 725306 1 - 0.0000 -
1042.08/1046.24 c 1046 789201 728465 1 - 0.0000 -
1047.15/1051.34 c 1051 792345 731383 1 - 0.0000 -
1052.24/1056.44 c 1056 795693 734560 1 - 0.0000 -
1057.41/1061.62 c 1062 798816 737365 1 - 0.0000 -
1062.50/1066.70 c 1067 801680 740044 1 - 0.0000 -
1067.89/1072.18 c 1072 804625 742729 1 - 0.0000 -
1072.96/1077.23 c 1077 807127 745013 1 - 0.0000 -
1078.04/1082.34 c 1082 810156 747722 1 - 0.0000 -
1083.02/1087.39 c 1087 813050 750367 1 - 0.0000 -
1088.20/1092.51 c 1093 816275 753389 1 - 0.0000 -
1093.28/1097.66 c 1098 819126 756121 1 - 0.0000 -
1098.36/1102.74 c 1103 822294 759161 1 - 0.0000 -
1103.75/1108.13 c 1108 825864 762533 1 - 0.0000 -
1108.92/1113.32 c 1113 828951 765324 1 - 0.0000 -
1113.91/1118.38 c 1118 832031 767825 1 - 0.0000 -
1119.00/1123.47 c 1123 834736 770269 1 - 0.0000 -
1124.18/1128.63 c 1129 837753 772951 1 - 0.0000 -
1129.17/1133.68 c 1134 840516 775496 1 - 0.0000 -
1134.25/1138.79 c 1139 843522 778289 1 - 0.0000 -
1139.34/1143.84 c 1144 846994 781301 1 - 0.0000 -
1144.42/1148.98 c 1149 850627 784613 1 - 0.0000 -
1149.50/1154.10 c 1154 854092 787898 1 - 0.0000 -
1154.59/1159.18 c 1159 857491 790976 1 - 0.0000 -
1159.66/1164.27 c 1164 860913 794182 1 - 0.0000 -
1164.84/1169.45 c 1169 864086 797090 1 - 0.0000 -
1169.92/1174.53 c 1175 866906 799626 1 - 0.0000 -
1175.01/1179.64 c 1180 870185 802627 1 - 0.0000 -
1180.10/1184.75 c 1185 873025 805059 1 - 0.0000 -
1185.18/1189.80 c 1190 876152 808037 1 - 0.0000 -
1190.27/1194.90 c 1195 879244 810780 1 - 0.0000 -
1195.36/1200.05 c 1200 882025 813262 1 - 0.0000 -
1200.35/1205.10 c 1205 884680 815686 1 - 0.0000 -
1205.43/1210.15 c 1210 887766 818453 1 - 0.0000 -
1210.60/1215.31 c 1215 890960 821263 1 - 0.0000 -
1215.68/1220.46 c 1220 894600 824715 1 - 0.0000 -
1220.87/1225.61 c 1226 897755 827526 1 - 0.0000 -
1225.95/1230.72 c 1231 900902 830439 1 - 0.0000 -
1230.93/1235.78 c 1236 903782 832911 1 - 0.0000 -
1236.02/1240.86 c 1241 906534 835395 1 - 0.0000 -
1241.31/1246.15 c 1246 909329 837943 1 - 0.0000 -
1246.39/1251.20 c 1251 912819 841322 1 - 0.0000 -
1251.37/1256.25 c 1256 916045 844341 1 - 0.0000 -
1256.45/1261.35 c 1261 919248 847235 1 - 0.0000 -
1261.84/1266.71 c 1267 922783 850487 1 - 0.0000 -
1266.82/1271.78 c 1272 925530 853054 1 - 0.0000 -
1271.90/1276.86 c 1277 928756 855922 1 - 0.0000 -
1276.99/1281.99 c 1282 931482 858368 1 - 0.0000 -
1282.18/1287.16 c 1287 934300 860889 1 - 0.0000 -
1287.26/1292.23 c 1292 937323 863700 1 - 0.0000 -
1292.44/1297.47 c 1297 940480 866591 1 - 0.0000 -
1297.52/1302.52 c 1303 943739 869416 1 - 0.0000 -
1302.60/1307.61 c 1308 946972 872450 1 - 0.0000 -
1307.68/1312.77 c 1313 950015 875203 1 - 0.0000 -
1312.77/1317.83 c 1318 953088 877851 1 - 0.0000 -
1317.85/1322.99 c 1323 955849 880407 1 - 0.0000 -
1322.94/1328.04 c 1328 958727 883086 1 - 0.0000 -
1328.11/1333.24 c 1333 961870 885975 1 - 0.0000 -
1333.19/1338.30 c 1338 965078 888839 1 - 0.0000 -
1338.28/1343.49 c 1343 967802 891309 1 - 0.0000 -
1343.36/1348.59 c 1349 970863 894059 1 - 0.0000 -
1348.45/1353.64 c 1354 973678 896650 1 - 0.0000 -
1353.53/1358.75 c 1359 976502 899209 1 - 0.0000 -
1358.62/1363.89 c 1364 979328 901924 1 - 0.0000 -
1363.68/1369.01 c 1369 982263 904570 1 - 0.0000 -
1368.78/1374.11 c 1374 985448 907393 1 - 0.0000 -
1374.05/1379.30 c 1379 988708 910415 1 - 0.0000 -
1379.23/1384.51 c 1385 991552 913080 1 - 0.0000 -
1384.32/1389.62 c 1390 993950 915339 1 - 0.0000 -
1389.30/1394.68 c 1395 996972 918040 1 - 0.0000 -
1394.38/1399.79 c 1400 1000276 921121 1 - 0.0000 -
1399.46/1404.86 c 1405 1003799 924318 1 - 0.0000 -
1404.55/1409.93 c 1410 1007374 927659 1 - 0.0000 -
1409.53/1414.99 c 1415 1010640 930518 1 - 0.0000 -
1414.62/1420.09 c 1420 1013875 933568 1 - 0.0000 -
1419.79/1425.20 c 1425 1017324 936590 1 - 0.0000 -
1424.76/1430.28 c 1430 1020243 939212 1 - 0.0000 -
1429.95/1435.43 c 1435 1023633 942109 1 - 0.0000 -
1434.93/1440.49 c 1440 1026858 944887 1 - 0.0000 -
1440.01/1445.56 c 1446 1030152 947854 1 - 0.0000 -
1445.10/1450.65 c 1451 1033690 951178 1 - 0.0000 -
1450.08/1455.69 c 1456 1037017 954194 1 - 0.0000 -
1455.17/1460.74 c 1461 1040433 957196 1 - 0.0000 -
1460.25/1465.84 c 1466 1043729 960062 1 - 0.0000 -
1465.33/1470.95 c 1471 1047052 963068 1 - 0.0000 -
1470.53/1476.16 c 1476 1050428 966184 1 - 0.0000 -
1475.60/1481.21 c 1481 1053284 968781 1 - 0.0000 -
1480.68/1486.33 c 1486 1056138 971313 1 - 0.0000 -
1485.86/1491.51 c 1492 1059272 974154 1 - 0.0000 -
1490.85/1496.58 c 1497 1062224 976865 1 - 0.0000 -
1495.93/1501.64 c 1502 1065203 979574 1 - 0.0000 -
1501.12/1506.89 c 1507 1068286 982493 1 - 0.0000 -
1506.19/1511.96 c 1512 1071330 985119 1 - 0.0000 -
1511.39/1517.11 c 1517 1074652 988151 1 - 0.0000 -
1516.38/1522.16 c 1522 1077662 990831 1 - 0.0000 -
1521.45/1527.21 c 1527 1081110 994045 1 - 0.0000 -
1526.62/1532.44 c 1532 1084469 997134 1 - 0.0000 -
1531.71/1537.59 c 1538 1087683 1000123 1 - 0.0000 -
1536.79/1542.68 c 1543 1090568 1002626 1 - 0.0000 -
1541.88/1547.74 c 1548 1093532 1005362 1 - 0.0000 -
1546.96/1552.80 c 1553 1096500 1008088 1 - 0.0000 -
1551.95/1557.86 c 1558 1099154 1010526 1 - 0.0000 -
1557.02/1563.01 c 1563 1102281 1013419 1 - 0.0000 -
1562.11/1568.05 c 1568 1105691 1016479 1 - 0.0000 -
1567.09/1573.11 c 1573 1108653 1019062 1 - 0.0000 -
1572.56/1578.56 c 1579 1111882 1022190 1 - 0.0000 -
1577.75/1583.71 c 1584 1114896 1025067 1 - 0.0000 -
1582.73/1588.76 c 1589 1117862 1027773 1 - 0.0000 -
1588.12/1594.17 c 1594 1121132 1030619 1 - 0.0000 -
1593.19/1599.22 c 1599 1124873 1034127 1 - 0.0000 -
1598.37/1604.44 c 1604 1128114 1036973 1 - 0.0000 -
1603.46/1609.59 c 1610 1131137 1039689 1 - 0.0000 -
1608.74/1614.85 c 1615 1134262 1042562 1 - 0.0000 -
1613.93/1620.08 c 1620 1137728 1045521 1 - 0.0000 -
1619.11/1625.24 c 1625 1141066 1048382 1 - 0.0000 -
1624.19/1630.30 c 1630 1144362 1051396 1 - 0.0000 -
1629.17/1635.35 c 1635 1147205 1054003 1 - 0.0000 -
1634.25/1640.42 c 1640 1150240 1056870 1 - 0.0000 -
1639.24/1645.47 c 1645 1153381 1059765 1 - 0.0000 -
1644.42/1650.60 c 1651 1156736 1062810 1 - 0.0000 -
1649.50/1655.78 c 1656 1159579 1065337 1 - 0.0000 -
1654.59/1660.84 c 1661 1162848 1068415 1 - 0.0000 -
1659.67/1666.01 c 1666 1165635 1070994 1 - 0.0000 -
1664.75/1671.10 c 1671 1168426 1073602 1 - 0.0000 -
1669.92/1676.29 c 1676 1171185 1076008 1 - 0.0000 -
1675.21/1681.50 c 1682 1174548 1079167 1 - 0.0000 -
1680.39/1686.70 c 1687 1177506 1081726 1 - 0.0000 -
1685.37/1691.75 c 1692 1180697 1084602 1 - 0.0000 -
1690.45/1696.87 c 1697 1183982 1087569 1 - 0.0000 -
1695.65/1702.09 c 1702 1186717 1089892 1 - 0.0000 -
1700.73/1707.16 c 1707 1190312 1092999 1 - 0.0000 -
1705.80/1712.20 c 1712 1193655 1096088 1 - 0.0000 -
1710.79/1717.29 c 1717 1196816 1099039 1 - 0.0000 -
1715.87/1722.35 c 1722 1199898 1102028 1 - 0.0000 -
1720.95/1727.40 c 1727 1203225 1105022 1 - 0.0000 -
1725.93/1732.49 c 1732 1206779 1108404 1 - 0.0000 -
1731.01/1737.54 c 1738 1209747 1111127 1 - 0.0000 -
1736.10/1742.62 c 1743 1212842 1113894 1 - 0.0000 -
1741.18/1747.71 c 1748 1215823 1116589 1 - 0.0000 -
1746.27/1752.81 c 1753 1219066 1119653 1 - 0.0000 -
1751.34/1757.90 c 1758 1222441 1122743 1 - 0.0000 -
1756.44/1763.06 c 1763 1225724 1125639 1 - 0.0000 -
1761.52/1768.11 c 1768 1228643 1128293 1 - 0.0000 -
1766.51/1773.19 c 1773 1231990 1131345 1 - 0.0000 -
1771.57/1778.27 c 1778 1234940 1134034 1 - 0.0000 -
1776.66/1783.34 c 1783 1238078 1136773 1 - 0.0000 -
1781.74/1788.48 c 1788 1241168 1139411 1 - 0.0000 -
1786.83/1793.59 c 1794 1244027 1142001 1 - 0.0000 -
1792.01/1798.76 c 1799 1246857 1144542 1 - 0.0000 -
1797.40/1804.15 c 1804 1249853 1147203 1 - 0.0000 -
1802.47/1809.27 c 1809 1252873 1149916 1 - 0.0000 -
1807.76/1814.52 c 1815 1255686 1152384 1 - 0.0000 -
1813.04/1819.84 c 1820 1258515 1155001 1 - 0.0000 -
1818.12/1825.01 c 1825 1261307 1157515 1 - 0.0000 -
1823.20/1830.10 c 1830 1264043 1159896 1 - 0.0000 -
1828.38/1835.20 c 1835 1267100 1162555 1 - 0.0000 -
1833.56/1840.45 c 1840 1270165 1165284 1 - 0.0000 -
1838.65/1845.53 c 1846 1273108 1168054 1 - 0.0000 -
1844.14/1851.07 c 1851 1276268 1170949 1 - 0.0000 -
1849.22/1856.14 c 1856 1279310 1173771 1 - 0.0000 -
1854.39/1861.33 c 1861 1282443 1176643 1 - 0.0000 -
1859.57/1866.56 c 1867 1285252 1179094 1 - 0.0000 -
1864.65/1871.62 c 1872 1288038 1181575 1 - 0.0000 -
1869.74/1876.77 c 1877 1291113 1184292 1 - 0.0000 -
1874.92/1881.93 c 1882 1294322 1186892 1 - 0.0000 -
1880.12/1887.12 c 1887 1297134 1189379 1 - 0.0000 -
1885.10/1892.17 c 1892 1299833 1191817 1 - 0.0000 -
1890.17/1897.22 c 1897 1302966 1194438 1 - 0.0000 -
1895.25/1902.31 c 1902 1306243 1197290 1 - 0.0000 -
1900.34/1907.40 c 1907 1309407 1199990 1 - 0.0000 -
1905.61/1912.71 c 1913 1312560 1202852 1 - 0.0000 -
1910.60/1917.76 c 1918 1315401 1205480 1 - 0.0000 -
1915.67/1922.84 c 1923 1318527 1208203 1 - 0.0000 -
1920.97/1928.11 c 1928 1321302 1210570 1 - 0.0000 -
1925.94/1933.19 c 1933 1324374 1213395 1 - 0.0000 -
1931.02/1938.28 c 1938 1327402 1216139 1 - 0.0000 -
1936.20/1943.42 c 1943 1330881 1219156 1 - 0.0000 -
1941.28/1948.50 c 1948 1334069 1222019 1 - 0.0000 -
1946.27/1953.55 c 1954 1337095 1224617 1 - 0.0000 -
1951.35/1958.60 c 1959 1340087 1227362 1 - 0.0000 -
1956.34/1963.65 c 1964 1343001 1230065 1 - 0.0000 -
1961.42/1968.71 c 1969 1346433 1233088 1 - 0.0000 -
1966.51/1973.85 c 1974 1349403 1235557 1 - 0.0000 -
1971.59/1978.93 c 1979 1351872 1237782 1 - 0.0000 -
1976.57/1983.98 c 1984 1354877 1240325 1 - 0.0000 -
1981.66/1989.03 c 1989 1358091 1243293 1 - 0.0000 -
1986.75/1994.15 c 1994 1360834 1245650 1 - 0.0000 -
1991.82/1999.27 c 1999 1364158 1248730 1 - 0.0000 -
1997.01/2004.48 c 2004 1367226 1251611 1 - 0.0000 -
2002.09/2009.53 c 2010 1370613 1254640 1 - 0.0000 -
2007.18/2014.63 c 2015 1373522 1257293 1 - 0.0000 -
2012.46/2019.98 c 2020 1376298 1259681 1 - 0.0000 -
2017.56/2025.04 c 2025 1379342 1262238 1 - 0.0000 -
2022.72/2030.27 c 2030 1382381 1264874 1 - 0.0000 -
2027.81/2035.39 c 2035 1385379 1267583 1 - 0.0000 -
2032.90/2040.46 c 2040 1388210 1270032 1 - 0.0000 -
2038.08/2045.64 c 2046 1390677 1272269 1 - 0.0000 -
2043.17/2050.70 c 2051 1393393 1274706 1 - 0.0000 -
2048.15/2055.76 c 2056 1396372 1277433 1 - 0.0000 -
2053.24/2060.83 c 2061 1399188 1279659 1 - 0.0000 -
2058.32/2066.01 c 2066 1402179 1282280 1 - 0.0000 -
2063.59/2071.26 c 2071 1405539 1285413 1 - 0.0000 -
2068.68/2076.30 c 2076 1408360 1288040 1 - 0.0000 -
2073.66/2081.35 c 2081 1411698 1291137 1 - 0.0000 -
2078.85/2086.59 c 2087 1414624 1293772 1 - 0.0000 -
2084.03/2091.78 c 2092 1417425 1296315 1 - 0.0000 -
2089.61/2097.32 c 2097 1420689 1299089 1 - 0.0000 -
2094.60/2102.38 c 2102 1423413 1301250 1 - 0.0000 -
2099.68/2107.42 c 2107 1426153 1303736 1 - 0.0000 -
2104.77/2112.51 c 2113 1428714 1305981 1 - 0.0000 -
2109.75/2117.56 c 2118 1431074 1308232 1 - 0.0000 -
2114.83/2122.61 c 2123 1433721 1310612 1 - 0.0000 -
2120.24/2128.02 c 2128 1436625 1313245 1 - 0.0000 -
2125.31/2133.14 c 2133 1439858 1316344 1 - 0.0000 -
2130.69/2138.54 c 2139 1442430 1318744 1 - 0.0000 -
2135.77/2143.67 c 2144 1445089 1321125 1 - 0.0000 -
2140.96/2148.84 c 2149 1447523 1323241 1 - 0.0000 -
2146.05/2153.94 c 2154 1450280 1325762 1 - 0.0000 -
2151.13/2159.01 c 2159 1452866 1328110 1 - 0.0000 -
2156.21/2164.17 c 2164 1455655 1330710 1 - 0.0000 -
2161.79/2169.73 c 2170 1458352 1333134 1 - 0.0000 -
2166.77/2174.78 c 2175 1461318 1335829 1 - 0.0000 -
2171.85/2179.84 c 2180 1463885 1338104 1 - 0.0000 -
2176.93/2184.93 c 2185 1466783 1340712 1 - 0.0000 -
2182.22/2190.20 c 2190 1469501 1343124 1 - 0.0000 -
2187.60/2195.68 c 2196 1471900 1345224 1 - 0.0000 -
2192.79/2200.84 c 2201 1474640 1347720 1 - 0.0000 -
2197.87/2205.93 c 2206 1477408 1350154 1 - 0.0000 -
2202.85/2210.99 c 2211 1480338 1352868 1 - 0.0000 -
2207.94/2216.09 c 2216 1483264 1355444 1 - 0.0000 -
2213.02/2221.14 c 2221 1486243 1358099 1 - 0.0000 -
2218.10/2226.20 c 2226 1488584 1360149 1 - 0.0000 -
2223.28/2231.43 c 2231 1491335 1362509 1 - 0.0000 -
2228.97/2237.15 c 2237 1494222 1365105 1 - 0.0000 -
2234.14/2242.37 c 2242 1497577 1368265 1 - 0.0000 -
2239.23/2247.46 c 2247 1500059 1370436 1 - 0.0000 -
2244.41/2252.65 c 2253 1503065 1373098 1 - 0.0000 -
2249.50/2257.70 c 2258 1505817 1375468 1 - 0.0000 -
2254.58/2262.89 c 2263 1508489 1378005 1 - 0.0000 -
2259.66/2268.01 c 2268 1511331 1380505 1 - 0.0000 -
2264.85/2273.14 c 2273 1513977 1382835 1 - 0.0000 -
2269.83/2278.19 c 2278 1516329 1384969 1 - 0.0000 -
2275.01/2283.31 c 2283 1518947 1387353 1 - 0.0000 -
2280.30/2288.60 c 2289 1521233 1389369 1 - 0.0000 -
2285.37/2293.78 c 2294 1524081 1391940 1 - 0.0000 -
2290.46/2298.89 c 2299 1526692 1394054 1 - 0.0000 -
2295.55/2303.98 c 2304 1529297 1396465 1 - 0.0000 -
2300.75/2309.17 c 2309 1532389 1399277 1 - 0.0000 -
2305.82/2314.29 c 2314 1534967 1401511 1 - 0.0000 -
2311.19/2319.61 c 2320 1537403 1403709 1 - 0.0000 -
2316.38/2324.86 c 2325 1539895 1405863 1 - 0.0000 -
2321.68/2330.16 c 2330 1542502 1408184 1 - 0.0000 -
2326.85/2335.39 c 2335 1545135 1410546 1 - 0.0000 -
2331.94/2340.46 c 2340 1547259 1412395 1 - 0.0000 -
2337.02/2345.52 c 2346 1549582 1414295 1 - 0.0000 -
2342.30/2350.82 c 2351 1552312 1416582 1 - 0.0000 -
2348.08/2356.65 c 2357 1554912 1419076 1 - 0.0000 -
2353.17/2361.78 c 2362 1557661 1421651 1 - 0.0000 -
2358.46/2367.06 c 2367 1559913 1423515 1 - 0.0000 -
2363.54/2372.14 c 2372 1562561 1425771 1 - 0.0000 -
2368.72/2377.35 c 2377 1565420 1428423 1 - 0.0000 -
2373.80/2382.46 c 2382 1567896 1430464 1 - 0.0000 -
2379.40/2388.07 c 2388 1570238 1432457 1 - 0.0000 -
2384.67/2393.32 c 2393 1572598 1434281 1 - 0.0000 -
2389.66/2398.39 c 2398 1574989 1436383 1 - 0.0000 -
2394.84/2403.57 c 2404 1577731 1438884 1 - 0.0000 -
2400.02/2408.71 c 2409 1580009 1440939 1 - 0.0000 -
2405.01/2413.79 c 2414 1582511 1443308 1 - 0.0000 -
2410.10/2418.84 c 2419 1584985 1445546 1 - 0.0000 -
2415.18/2423.93 c 2424 1587262 1447388 1 - 0.0000 -
2420.17/2429.01 c 2429 1589979 1449700 1 - 0.0000 -
2425.24/2434.05 c 2434 1592902 1452322 1 - 0.0000 -
2430.51/2439.38 c 2439 1595592 1454686 1 - 0.0000 -
2435.60/2444.49 c 2444 1598137 1456998 1 - 0.0000 -
2440.79/2449.63 c 2450 1600806 1459533 1 - 0.0000 -
2445.87/2454.76 c 2455 1603284 1461813 1 - 0.0000 -
2450.96/2459.87 c 2460 1606045 1463760 1 - 0.0000 -
2456.54/2465.43 c 2465 1608547 1465942 1 - 0.0000 -
2461.63/2470.54 c 2471 1610987 1468068 1 - 0.0000 -
2467.12/2476.07 c 2476 1613695 1470467 1 - 0.0000 -
2472.20/2481.17 c 2481 1615902 1472412 1 - 0.0000 -
2477.27/2486.25 c 2486 1618809 1475072 1 - 0.0000 -
2482.36/2491.33 c 2491 1620992 1476996 1 - 0.0000 -
2487.44/2496.46 c 2496 1623185 1478964 1 - 0.0000 -
2492.53/2501.58 c 2502 1625957 1481575 1 - 0.0000 -
2497.62/2506.65 c 2507 1628166 1483465 1 - 0.0000 -
2502.70/2511.72 c 2512 1630632 1485774 1 - 0.0000 -
2507.78/2516.84 c 2517 1632887 1487863 1 - 0.0000 -
2512.77/2521.89 c 2522 1635722 1490163 1 - 0.0000 -
2517.97/2527.08 c 2527 1638044 1492308 1 - 0.0000 -
2523.23/2532.35 c 2532 1640482 1494546 1 - 0.0000 -
2528.32/2537.42 c 2537 1642834 1496637 1 - 0.0000 -
2533.60/2542.70 c 2543 1645063 1498552 1 - 0.0000 -
2538.79/2547.92 c 2548 1647601 1500813 1 - 0.0000 -
2544.07/2553.23 c 2553 1650315 1503234 1 - 0.0000 -
2549.36/2558.59 c 2559 1653043 1505600 1 - 0.0000 -
2554.45/2563.65 c 2564 1655413 1507569 1 - 0.0000 -
2559.53/2568.77 c 2569 1657965 1509774 1 - 0.0000 -
2564.92/2574.17 c 2574 1660581 1511972 1 - 0.0000 -
2570.19/2579.49 c 2579 1662823 1513934 1 - 0.0000 -
2575.27/2584.56 c 2585 1665383 1516108 1 - 0.0000 -
2580.55/2589.80 c 2590 1667729 1518313 1 - 0.0000 -
2585.53/2594.85 c 2595 1669982 1520381 1 - 0.0000 -
2590.91/2600.26 c 2600 1672150 1522288 1 - 0.0000 -
2596.18/2605.58 c 2606 1674670 1524549 1 - 0.0000 -
2601.27/2610.64 c 2611 1676902 1526632 1 - 0.0000 -
2606.45/2615.84 c 2616 1679398 1528966 1 - 0.0000 -
2611.74/2621.14 c 2621 1682155 1531545 1 - 0.0000 -
2616.91/2626.38 c 2626 1684549 1533781 1 - 0.0000 -
2621.99/2631.48 c 2631 1686579 1535398 1 - 0.0000 -
2627.07/2636.55 c 2637 1688592 1537221 1 - 0.0000 -
2632.15/2641.67 c 2642 1690813 1539218 1 - 0.0000 -
2637.33/2646.81 c 2647 1693055 1541157 1 - 0.0000 -
2642.63/2652.16 c 2652 1695410 1543113 1 - 0.0000 -
2647.70/2657.29 c 2657 1697489 1544919 1 - 0.0000 -
2653.08/2662.65 c 2663 1699895 1547041 1 - 0.0000 -
2658.46/2668.07 c 2668 1702362 1549155 1 - 0.0000 -
2663.83/2673.43 c 2673 1704484 1550976 1 - 0.0000 -
2668.82/2678.49 c 2678 1706707 1552993 1 - 0.0000 -
2674.19/2683.80 c 2684 1708997 1555020 1 - 0.0000 -
2679.38/2689.06 c 2689 1711607 1557411 1 - 0.0000 -
2684.47/2694.14 c 2694 1714222 1559790 1 - 0.0000 -
2689.45/2699.19 c 2699 1716759 1561952 1 - 0.0000 -
2694.61/2704.36 c 2704 1719147 1564016 1 - 0.0000 -
2699.69/2709.48 c 2709 1721667 1566252 1 - 0.0000 -
2704.88/2714.62 c 2715 1723945 1568122 1 - 0.0000 -
2709.86/2719.69 c 2720 1727016 1570995 1 - 0.0000 -
2715.25/2725.02 c 2725 1729655 1573385 1 - 0.0000 -
2720.42/2730.25 c 2730 1732191 1575712 1 - 0.0000 -
2725.80/2735.65 c 2736 1734974 1578135 1 - 0.0000 -
2730.88/2740.70 c 2741 1737865 1580884 1 - 0.0000 -
2735.96/2745.80 c 2746 1740380 1583259 1 - 0.0000 -
2741.16/2751.06 c 2751 1742775 1585429 1 - 0.0000 -
2746.24/2756.14 c 2756 1745212 1587643 1 - 0.0000 -
2751.50/2761.40 c 2761 1747422 1589646 1 - 0.0000 -
2756.49/2766.48 c 2766 1749503 1591508 1 - 0.0000 -
2761.87/2771.85 c 2772 1751458 1593229 1 - 0.0000 -
2766.95/2776.91 c 2777 1753646 1595070 1 - 0.0000 -
2772.23/2782.27 c 2782 1755746 1596950 1 - 0.0000 -
2777.61/2787.66 c 2788 1758308 1599415 1 - 0.0000 -
2782.79/2792.88 c 2793 1760915 1601819 1 - 0.0000 -
2787.97/2798.03 c 2798 1763235 1603795 1 - 0.0000 -
2793.15/2803.30 c 2803 1765393 1605683 1 - 0.0000 -
2798.22/2808.39 c 2808 1767862 1607843 1 - 0.0000 -
2803.51/2813.66 c 2814 1770388 1610266 1 - 0.0000 -
2808.68/2818.83 c 2819 1772751 1612288 1 - 0.0000 -
2813.76/2823.93 c 2824 1775093 1614469 1 - 0.0000 -
2819.14/2829.31 c 2829 1777470 1616632 1 - 0.0000 -
2824.13/2834.37 c 2834 1779696 1618576 1 - 0.0000 -
2829.41/2839.61 c 2840 1781795 1620525 1 - 0.0000 -
2834.49/2844.73 c 2845 1784064 1622499 1 - 0.0000 -
2839.67/2849.91 c 2850 1786280 1624494 1 - 0.0000 -
2844.65/2855.00 c 2855 1788876 1626905 1 - 0.0000 -
2849.74/2860.07 c 2860 1791213 1629052 1 - 0.0000 -
2854.83/2865.18 c 2865 1793412 1631047 1 - 0.0000 -
2860.09/2870.46 c 2870 1795560 1632918 1 - 0.0000 -
2865.38/2875.73 c 2876 1798090 1635123 1 - 0.0000 -
2870.56/2880.94 c 2881 1800087 1636960 1 - 0.0000 -
2875.55/2885.98 c 2886 1802283 1638933 1 - 0.0000 -
2880.83/2891.21 c 2891 1804492 1640858 1 - 0.0000 -
2885.82/2896.27 c 2896 1806421 1642611 1 - 0.0000 -
2891.30/2901.77 c 2902 1808712 1644709 1 - 0.0000 -
2896.38/2906.85 c 2907 1810872 1646536 1 - 0.0000 -
2901.47/2911.90 c 2912 1813001 1648264 1 - 0.0000 -
2906.56/2917.01 c 2917 1815331 1650325 1 - 0.0000 -
2911.55/2922.09 c 2922 1817381 1652034 1 - 0.0000 -
2916.72/2927.25 c 2927 1819692 1654130 1 - 0.0000 -
2921.80/2932.37 c 2932 1822017 1656241 1 - 0.0000 -
2926.89/2937.45 c 2937 1824054 1658023 1 - 0.0000 -
2932.18/2942.75 c 2943 1826205 1659956 1 - 0.0000 -
2937.25/2947.83 c 2948 1828420 1661975 1 - 0.0000 -
2942.24/2952.88 c 2953 1830690 1664035 1 - 0.0000 -
2947.54/2958.15 c 2958 1833016 1666222 1 - 0.0000 -
2952.61/2963.22 c 2963 1835173 1668109 1 - 0.0000 -
2957.90/2968.51 c 2969 1837537 1670332 1 - 0.0000 -
2962.98/2973.63 c 2974 1839801 1672331 1 - 0.0000 -
2968.16/2978.84 c 2979 1841893 1674257 1 - 0.0000 -
2973.25/2983.98 c 2984 1843790 1675809 1 - 0.0000 -
2978.44/2989.12 c 2989 1845786 1677499 1 - 0.0000 -
2983.51/2994.21 c 2994 1847640 1679032 1 - 0.0000 -
2988.70/2999.42 c 2999 1849529 1680680 1 - 0.0000 -
2993.68/3004.47 c 3004 1851884 1682901 1 - 0.0000 -
2999.07/3009.81 c 3010 1853673 1684563 1 - 0.0000 -
3004.26/3015.05 c 3015 1855718 1686326 1 - 0.0000 -
3009.43/3020.23 c 3020 1857767 1688053 1 - 0.0000 -
3014.52/3025.34 c 3025 1859789 1689739 1 - 0.0000 -
3019.60/3030.42 c 3030 1861990 1691706 1 - 0.0000 -
3024.59/3035.48 c 3035 1863937 1693545 1 - 0.0000 -
3029.97/3040.85 c 3041 1866096 1695522 1 - 0.0000 -
3035.05/3045.91 c 3046 1868295 1697560 1 - 0.0000 -
3040.33/3051.20 c 3051 1870175 1699076 1 - 0.0000 -
3045.32/3056.26 c 3056 1872196 1700757 1 - 0.0000 -
3050.50/3061.45 c 3061 1874486 1702858 1 - 0.0000 -
3055.59/3066.56 c 3067 1876541 1704725 1 - 0.0000 -
3061.09/3072.09 c 3072 1878500 1706546 1 - 0.0000 -
3066.17/3077.16 c 3077 1880405 1708192 1 - 0.0000 -
3071.34/3082.38 c 3082 1882310 1709809 1 - 0.0000 -
3076.43/3087.43 c 3087 1884549 1711750 1 - 0.0000 -
3081.41/3092.48 c 3092 1886654 1713469 1 - 0.0000 -
3086.59/3097.60 c 3098 1888694 1715248 1 - 0.0000 -
3091.88/3102.98 c 3103 1891046 1717257 1 - 0.0000 -
3096.98/3108.04 c 3108 1893199 1719205 1 - 0.0000 -
3102.24/3113.30 c 3113 1895474 1721294 1 - 0.0000 -
3107.43/3118.55 c 3119 1897631 1723273 1 - 0.0000 -
3112.82/3123.94 c 3124 1899717 1725212 1 - 0.0000 -
3118.30/3129.42 c 3129 1901945 1727339 1 - 0.0000 -
3123.58/3134.75 c 3135 1903890 1729106 1 - 0.0000 -
3128.66/3139.83 c 3140 1905892 1730885 1 - 0.0000 -
3133.86/3145.04 c 3145 1907650 1732485 1 - 0.0000 -
3139.04/3150.20 c 3150 1909559 1734079 1 - 0.0000 -
3144.12/3155.37 c 3155 1911712 1736044 1 - 0.0000 -
3149.41/3160.62 c 3161 1913554 1737714 1 - 0.0000 -
3154.49/3165.77 c 3166 1915914 1739810 1 - 0.0000 -
3159.57/3170.83 c 3171 1917811 1741501 1 - 0.0000 -
3164.76/3176.09 c 3176 1919893 1743299 1 - 0.0000 -
3169.94/3181.23 c 3181 1922050 1745281 1 - 0.0000 -
3175.12/3186.40 c 3186 1924174 1747126 1 - 0.0000 -
3180.60/3191.92 c 3192 1926340 1749076 1 - 0.0000 -
3185.59/3196.99 c 3197 1928345 1750848 1 - 0.0000 -
3191.07/3202.41 c 3202 1930218 1752473 1 - 0.0000 -
3196.25/3207.64 c 3208 1932202 1754172 1 - 0.0000 -
3201.33/3212.70 c 3213 1934163 1755823 1 - 0.0000 -
3206.52/3217.95 c 3218 1936288 1757623 1 - 0.0000 -
3211.70/3223.19 c 3223 1938449 1759500 1 - 0.0000 -
3216.78/3228.30 c 3228 1940473 1761290 1 - 0.0000 -
3221.96/3233.44 c 3233 1942455 1762991 1 - 0.0000 -
3227.45/3238.92 c 3239 1945158 1765457 1 - 0.0000 -
3232.73/3244.26 c 3244 1947369 1767389 1 - 0.0000 -
3237.91/3249.41 c 3249 1949484 1769231 1 - 0.0000 -
3242.89/3254.49 c 3254 1951566 1770975 1 - 0.0000 -
3248.08/3259.60 c 3260 1953488 1772689 1 - 0.0000 -
3253.25/3264.85 c 3265 1955572 1774524 1 - 0.0000 -
3258.33/3270.01 c 3270 1957808 1776516 1 - 0.0000 -
3263.41/3275.10 c 3275 1960287 1778804 1 - 0.0000 -
3268.59/3280.22 c 3280 1962708 1780911 1 - 0.0000 -
3273.67/3285.39 c 3285 1964763 1782868 1 - 0.0000 -
3279.05/3290.77 c 3291 1966417 1784452 1 - 0.0000 -
3284.34/3296.02 c 3296 1968732 1786438 1 - 0.0000 -
3289.42/3301.17 c 3301 1971014 1788584 1 - 0.0000 -
3294.69/3306.43 c 3306 1973152 1790529 1 - 0.0000 -
3299.68/3311.49 c 3311 1975167 1792276 1 - 0.0000 -
3305.06/3316.88 c 3317 1977472 1794312 1 - 0.0000 -
3310.55/3322.32 c 3322 1979320 1795944 1 - 0.0000 -
3315.63/3327.49 c 3327 1981833 1797947 1 - 0.0000 -
3320.91/3332.73 c 3333 1983908 1799803 1 - 0.0000 -
3326.09/3337.94 c 3338 1986017 1801697 1 - 0.0000 -
3331.37/3343.22 c 3343 1987991 1803452 1 - 0.0000 -
3336.46/3348.31 c 3348 1990065 1805341 1 - 0.0000 -
3341.64/3353.56 c 3354 1992324 1807150 1 - 0.0000 -
3346.72/3358.65 c 3359 1994262 1808860 1 - 0.0000 -
3351.81/3363.72 c 3364 1996574 1810985 1 - 0.0000 -
3357.20/3369.12 c 3369 1998397 1812504 1 - 0.0000 -
3362.37/3374.30 c 3374 2000358 1814324 1 - 0.0000 -
3367.44/3379.47 c 3379 2002622 1816376 1 - 0.0000 -
3372.83/3384.86 c 3385 2005078 1818544 1 - 0.0000 -
3378.32/3390.34 c 3390 2007493 1820697 1 - 0.0000 -
3383.59/3395.68 c 3396 2009510 1822411 1 - 0.0000 -
3388.77/3400.87 c 3401 2011763 1824434 1 - 0.0000 -
3393.86/3405.92 c 3406 2014148 1826713 1 - 0.0000 -
3399.14/3411.26 c 3411 2016854 1829243 1 - 0.0000 -
3404.72/3416.88 c 3417 2019764 1831976 1 - 0.0000 -
3410.50/3422.65 c 3423 2022956 1834910 1 - 0.0000 -
3415.58/3427.72 c 3428 2025538 1837187 1 - 0.0000 -
3420.77/3432.96 c 3433 2027906 1839397 1 - 0.0000 -
3425.96/3438.17 c 3438 2031082 1842298 1 - 0.0000 -
3431.13/3443.30 c 3443 2033798 1844745 1 - 0.0000 -
3436.21/3448.47 c 3448 2036266 1846831 1 - 0.0000 -
3441.29/3453.53 c 3454 2038756 1849178 1 - 0.0000 -
3446.57/3458.88 c 3459 2041188 1851242 1 - 0.0000 -
3451.66/3463.94 c 3464 2043979 1853548 1 - 0.0000 -
3456.76/3469.03 c 3469 2046524 1855790 1 - 0.0000 -
3461.93/3474.23 c 3474 2049332 1858432 1 - 0.0000 -
3467.02/3479.32 c 3479 2051873 1860788 1 - 0.0000 -
3472.00/3484.38 c 3484 2054885 1863469 1 - 0.0000 -
3477.08/3489.44 c 3489 2057536 1866006 1 - 0.0000 -
3482.16/3494.53 c 3495 2060242 1868531 1 - 0.0000 -
3487.24/3499.61 c 3500 2062716 1870728 1 - 0.0000 -
3492.52/3504.97 c 3505 2065780 1873526 1 - 0.0000 -
3497.62/3510.05 c 3510 2068388 1876004 1 - 0.0000 -
3502.79/3515.29 c 3515 2070886 1878255 1 - 0.0000 -
3508.27/3520.72 c 3521 2073438 1880563 1 - 0.0000 -
3513.36/3525.81 c 3526 2075977 1882888 1 - 0.0000 -
3518.34/3530.88 c 3531 2078483 1885234 1 - 0.0000 -
3523.63/3536.11 c 3536 2081066 1887474 1 - 0.0000 -
3528.90/3541.48 c 3541 2083667 1889866 1 - 0.0000 -
3534.38/3546.98 c 3547 2086110 1891924 1 - 0.0000 -
3539.48/3552.06 c 3552 2088544 1894134 1 - 0.0000 -
3544.74/3557.37 c 3557 2091367 1896642 1 - 0.0000 -
3549.93/3562.59 c 3563 2093776 1898701 1 - 0.0000 -
3555.11/3567.79 c 3568 2096080 1900600 1 - 0.0000 -
3560.19/3572.88 c 3573 2098345 1902596 1 - 0.0000 -
3565.49/3578.18 c 3578 2101503 1905338 1 - 0.0000 -
3570.56/3583.25 c 3583 2103730 1907275 1 - 0.0000 -
3575.94/3588.62 c 3589 2106696 1910016 1 - 0.0000 -
3580.92/3593.68 c 3594 2109105 1912115 1 - 0.0000 -
3588.09/3600.82 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.09/3600.82 c Total Time : 3600.8200
3588.09/3600.82 c solving : 3600.8200
3588.09/3600.82 c presolving : 0.0393 (included in solving)
3588.09/3600.82 c B&B Tree :
3588.09/3600.82 c nodes (total) : 1
3588.09/3600.82 c Solution :
3588.09/3600.82 c Solutions found : 0
3588.09/3600.82 c Primal Bound : -
3588.09/3600.82 c Dual Bound : +0.00000000000000e+00
3588.09/3600.82 c Gap : -
3588.09/3600.83 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: 64059 MiB (62857 MiB free)
memory of node 1: 64510 MiB (56845 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464585-1722386598/watcher-4464585-1722386598 -o /tmp/evaluation-result-4464585-1722386598/solver-4464585-1722386598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722378594-28873 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464585-1722386598.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=33614, runsolver pid=33611
[startup+0.100115 s]*
/proc/loadavg: 4.04 4.09 4.13 5/247 33617
/proc/meminfo: memFree=122547712/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=126700 memory=40212 CPUtime=0.1 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 7697 0 0 0 9 1 0 0 20 0 3 0 5256770 129740800 10053 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 31675 10053 2934 3035 0 14430 0
[pid=33614/tid=33616] ppid=33611 vsize=126700 memory=4026561586 CPUtime=0.03 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 2845 0 0 0 3 0 0 0 20 0 3 0 5256776 129740800 10053 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=126700 memory=232851243367 CPUtime=0 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5256777 129740800 10053 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 126700 KiB
Current children cumulated memory: 40212 KiB
[startup+0.212938 s]*
/proc/loadavg: 4.04 4.09 4.13 5/247 33617
/proc/meminfo: memFree=122539908/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=126700 memory=47552 CPUtime=0.21 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 9982 0 0 0 19 2 0 0 20 0 3 0 5256770 129740800 11888 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 31675 11888 2950 3035 0 16579 0
[pid=33614/tid=33616] ppid=33611 vsize=126700 memory=664970838410264707 CPUtime=0.15 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 5130 0 0 0 14 1 0 0 20 0 3 0 5256776 129740800 11888 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=126700 memory=18990 CPUtime=0 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5256777 129740800 11888 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 126700 KiB
Current children cumulated memory: 47552 KiB
[startup+0.31207 s]*
/proc/loadavg: 4.04 4.09 4.13 5/247 33617
/proc/meminfo: memFree=122538752/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=126700 memory=49124 CPUtime=0.31 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 10373 0 0 0 29 2 0 0 20 0 3 0 5256770 129740800 12281 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 31675 12281 2950 3035 0 16626 0
[pid=33614/tid=33616] ppid=33611 vsize=126700 memory=-5155634608719096709 CPUtime=0.25 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 5521 0 0 0 24 1 0 0 20 0 3 0 5256776 129740800 12281 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=126700 memory=0 CPUtime=0 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5256777 129740800 12281 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 126700 KiB
Current children cumulated memory: 49124 KiB
[startup+0.700339 s]
/proc/loadavg: 4.04 4.09 4.13 5/247 33617
/proc/meminfo: memFree=122529624/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=126700 memory=59152 CPUtime=0.68 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 12923 0 0 0 66 2 0 0 20 0 3 0 5256770 129740800 14788 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 31675 14788 2950 3035 0 19187 0
[pid=33614/tid=33616] ppid=33611 vsize=126700 memory=0 CPUtime=0.62 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 8071 0 0 0 61 1 0 0 20 0 3 0 5256776 129740800 14788 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=126700 memory=0 CPUtime=0 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5256777 129740800 14788 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126700 KiB
Current children cumulated memory: 59152 KiB
[startup+1.50035 s]
/proc/loadavg: 4.04 4.09 4.13 5/247 33617
/proc/meminfo: memFree=122527916/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=126700 memory=60088 CPUtime=1.49 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 18031 0 0 0 146 3 0 0 20 0 3 0 5256770 129740800 15022 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 31675 15022 2966 3035 0 19343 0
[pid=33614/tid=33616] ppid=33611 vsize=126700 memory=0 CPUtime=1.42 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 13161 0 0 0 140 2 0 0 20 0 3 0 5256776 129740800 15022 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=126700 memory=0 CPUtime=0 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5256777 129740800 15022 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 126700 KiB
Current children cumulated memory: 60088 KiB
[startup+3.1128 s]
/proc/loadavg: 4.12 4.10 4.13 5/247 33617
/proc/meminfo: memFree=122525664/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=126700 memory=62056 CPUtime=3.09 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 19334 0 0 0 306 3 0 0 20 0 3 0 5256770 129740800 15514 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 31675 15514 2966 3035 0 19832 0
[pid=33614/tid=33616] ppid=33611 vsize=126700 memory=0 CPUtime=3.02 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 14462 0 0 0 300 2 0 0 20 0 3 0 5256776 129740800 15514 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=126700 memory=0 CPUtime=0 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5256777 129740800 15514 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 126700 KiB
Current children cumulated memory: 62056 KiB
[startup+6.30034 s]
/proc/loadavg: 4.12 4.10 4.13 5/247 33617
/proc/meminfo: memFree=122520024/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=126700 memory=67076 CPUtime=6.26 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 28016 0 0 0 622 4 0 0 20 0 3 0 5256770 129740800 16769 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 31675 16769 2966 3035 0 21085 0
[pid=33614/tid=33616] ppid=33611 vsize=126700 memory=-5155634608719096709 CPUtime=6.2 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 23127 0 0 0 617 3 0 0 20 0 3 0 5256776 129740800 16769 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=126700 memory=-5155634608719096709 CPUtime=0 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5256777 129740800 16769 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 126700 KiB
Current children cumulated memory: 67076 KiB
[startup+12.7004 s]
/proc/loadavg: 4.11 4.10 4.13 5/247 33619
/proc/meminfo: memFree=122503532/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=126700 memory=83448 CPUtime=12.65 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 51217 0 0 0 1257 8 0 0 20 0 3 0 5256770 129740800 20862 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 31675 20862 3014 3035 0 25267 0
[pid=33614/tid=33616] ppid=33611 vsize=126700 memory=-5155634608719096709 CPUtime=12.57 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 46291 0 0 0 1251 6 0 0 20 0 3 0 5256776 129740800 20862 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=126700 memory=75372 CPUtime=0 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5256777 129740800 20862 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 126700 KiB
Current children cumulated memory: 83448 KiB
[startup+25.5004 s]
/proc/loadavg: 4.08 4.10 4.13 5/247 33620
/proc/meminfo: memFree=122481220/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=192236 memory=100364 CPUtime=25.39 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 80192 0 0 0 2527 12 0 0 20 0 3 0 5256770 196849664 25091 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 48059 25091 3014 3035 0 29414 0
[pid=33614/tid=33616] ppid=33611 vsize=192236 memory=100304 CPUtime=25.32 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 75218 0 0 0 2521 11 0 0 20 0 3 0 5256776 196849664 25091 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=192236 memory=11488 CPUtime=0 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5256777 196849664 25091 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 192236 KiB
Current children cumulated memory: 100364 KiB
[startup+51.1126 s]
/proc/loadavg: 4.13 4.10 4.13 5/247 33625
/proc/meminfo: memFree=122452808/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=192236 memory=120832 CPUtime=50.91 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 136895 0 0 0 5067 24 0 0 20 0 3 0 5256770 196849664 30208 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 48059 30208 3014 3035 0 35145 0
[pid=33614/tid=33616] ppid=33611 vsize=192236 memory=121104 CPUtime=50.83 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 131849 0 0 0 5061 22 0 0 20 0 3 0 5256776 196849664 30208 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=192236 memory=16592 CPUtime=0 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5256777 196849664 30208 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 192236 KiB
Current children cumulated memory: 120832 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.12 5/247 33633
/proc/meminfo: memFree=122418836/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=192236 memory=154652 CPUtime=101.89 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 207153 0 0 0 10148 41 0 0 20 0 3 0 5256770 196849664 38663 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 48059 38663 3014 3035 0 42753 0
[pid=33614/tid=33616] ppid=33611 vsize=192236 memory=149780 CPUtime=101.82 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 202005 0 0 0 10142 40 0 0 20 0 3 0 5256776 196849664 38663 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=192236 memory=16592 CPUtime=0 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5256777 196849664 38663 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 192236 KiB
Current children cumulated memory: 154652 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/245 33644
/proc/meminfo: memFree=122350244/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=257772 memory=215252 CPUtime=161.65 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 262190 0 0 0 16107 58 0 0 20 0 3 0 5256770 263958528 53813 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 64443 53813 3014 3035 0 58048 0
[pid=33614/tid=33616] ppid=33611 vsize=257772 memory=215232 CPUtime=161.57 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 256988 0 0 0 16100 57 0 0 20 0 3 0 5256776 263958528 53813 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=257772 memory=-7235432492932621695 CPUtime=0 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5256777 263958528 53813 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 161.65 s
Current children cumulated vsize: 257772 KiB
################
# More data... #
################
/proc/33614/statm: 595382 572873 3014 3035 0 578503 0
[pid=33614/tid=33616] ppid=33611 vsize=2381528 memory=2285692 CPUtime=3389.85 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 3356539 0 0 0 338160 825 0 0 20 0 3 0 5256776 2438684672 572873 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=2381528 memory=2288908 CPUtime=0.05 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 135 0 0 0 1 4 0 0 20 0 3 0 5256777 2438684672 572873 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 3390.27 s
Current children cumulated vsize: 2381528 KiB
Current children cumulated memory: 2291492 KiB
[startup+3462.3 s]
/proc/loadavg: 1.62 2.69 3.41 2/223 35586
/proc/meminfo: memFree=124902176/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=2381528 memory=2324248 CPUtime=3450.07 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 3417974 0 0 0 344154 853 0 0 20 0 3 0 5256770 2438684672 581062 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 595382 581062 3014 3035 0 586363 0
[pid=33614/tid=33616] ppid=33611 vsize=2381528 memory=2309744 CPUtime=3449.65 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 3411729 0 0 0 344127 838 0 0 20 0 3 0 5256776 2438684672 581062 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=2381528 memory=2319028 CPUtime=0.05 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 137 0 0 0 1 4 0 0 20 0 3 0 5256777 2438684672 581062 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 3450.07 s
Current children cumulated vsize: 2381528 KiB
Current children cumulated memory: 2324248 KiB
[startup+3522.3 s]
/proc/loadavg: 1.27 2.39 3.26 2/223 35597
/proc/meminfo: memFree=124867416/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=2447064 memory=2358540 CPUtime=3509.86 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 3469818 0 0 0 350121 865 0 0 20 0 3 0 5256770 2505793536 589635 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 611766 589635 3014 3035 0 594709 0
[pid=33614/tid=33616] ppid=33611 vsize=2447064 memory=2316504 CPUtime=3509.44 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 3463556 0 0 0 350094 850 0 0 20 0 3 0 5256776 2505793536 589635 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=2447064 memory=2355772 CPUtime=0.05 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 139 0 0 0 1 4 0 0 20 0 3 0 5256777 2505793536 589635 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 3509.86 s
Current children cumulated vsize: 2447064 KiB
Current children cumulated memory: 2358540 KiB
[startup+3582.3 s]
/proc/loadavg: 1.22 2.17 3.13 2/223 35608
/proc/meminfo: memFree=124838608/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=2447064 memory=2387032 CPUtime=3569.66 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 3516544 0 0 0 356088 878 0 0 20 0 3 0 5256770 2505793536 596758 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 611766 596758 3014 3035 0 601432 0
[pid=33614/tid=33616] ppid=33611 vsize=2447064 memory=2383216 CPUtime=3569.23 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 3510264 0 0 0 356061 862 0 0 20 0 3 0 5256776 2505793536 596758 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=2447064 memory=11488 CPUtime=0.06 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 141 0 0 0 1 5 0 0 20 0 3 0 5256777 2505793536 596758 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 3569.66 s
Current children cumulated vsize: 2447064 KiB
Current children cumulated memory: 2387032 KiB
[startup+3600.9 s]
# the end of solver process 33614 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.25 s, system=8.95321 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.20 2.15 3.12 2/223 35608
/proc/meminfo: memFree=124836872/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=2447064 memory=2388400 CPUtime=3571.37 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 3517860 0 0 0 356258 879 0 0 20 0 3 0 5256770 2505793536 597100 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 611766 597100 3014 3035 0 601784 0
[pid=33614/tid=33616] ppid=33611 vsize=2447064 memory=4804 CPUtime=3570.94 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 3511580 0 0 0 356231 863 0 0 20 0 3 0 5256776 2505793536 597100 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=2447064 memory=2388208 CPUtime=0.06 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 141 0 0 0 1 5 0 0 20 0 3 0 5256777 2505793536 597100 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 3571.37 s
Current children cumulated vsize: 2447064 KiB
Current children cumulated memory: 2388400 KiB
[startup+3590.4 s]
/proc/loadavg: 1.18 2.13 3.10 2/223 35609
/proc/meminfo: memFree=124832708/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=2447064 memory=2393040 CPUtime=3577.73 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 3520301 0 0 0 356893 880 0 0 20 0 3 0 5256770 2505793536 598260 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 611766 598260 3014 3035 0 602872 0
[pid=33614/tid=33616] ppid=33611 vsize=2447064 memory=2388616 CPUtime=3577.3 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 3514021 0 0 0 356866 864 0 0 20 0 3 0 5256776 2505793536 598260 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=2447064 memory=2385876 CPUtime=0.06 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 141 0 0 0 1 5 0 0 20 0 3 0 5256777 2505793536 598260 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 3577.73 s
Current children cumulated vsize: 2447064 KiB
Current children cumulated memory: 2393040 KiB
[startup+3596.8 s]
/proc/loadavg: 1.17 2.11 3.09 2/223 35609
/proc/meminfo: memFree=124825284/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=2447064 memory=2399780 CPUtime=3584.11 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 3526003 0 0 0 357530 881 0 0 20 0 3 0 5256770 2505793536 599945 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 611766 599945 3014 3035 0 605087 0
[pid=33614/tid=33616] ppid=33611 vsize=2447064 memory=0 CPUtime=3583.68 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 3519721 0 0 0 357503 865 0 0 20 0 3 0 5256776 2505793536 599945 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=2447064 memory=-7235432492932621695 CPUtime=0.06 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 143 0 0 0 1 5 0 0 20 0 3 0 5256777 2505793536 599945 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 3584.11 s
Current children cumulated vsize: 2447064 KiB
Current children cumulated memory: 2399780 KiB
[startup+3598.4 s]
/proc/loadavg: 1.17 2.11 3.09 2/223 35611
/proc/meminfo: memFree=124825588/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=2447064 memory=2399872 CPUtime=3585.71 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 3543399 0 0 0 357689 882 0 0 20 0 3 0 5256770 2505793536 599968 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 611766 599968 3014 3035 0 605087 0
[pid=33614/tid=33616] ppid=33611 vsize=2447064 memory=11488 CPUtime=3585.27 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 3537117 0 0 0 357661 866 0 0 20 0 3 0 5256776 2505793536 599968 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=2447064 memory=2399780 CPUtime=0.06 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 143 0 0 0 1 5 0 0 20 0 3 0 5256777 2505793536 599968 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 3585.71 s
Current children cumulated vsize: 2447064 KiB
Current children cumulated memory: 2399872 KiB
[startup+3600 s]*
/proc/loadavg: 1.15 2.09 3.08 2/223 35611
/proc/meminfo: memFree=124827856/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=2443416 memory=2396352 CPUtime=3587.31 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 3634308 0 0 0 357843 888 0 0 20 0 3 0 5256770 2502057984 599088 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 610854 599088 3014 3035 0 604175 0
[pid=33614/tid=33616] ppid=33611 vsize=2443416 memory=-7235432492932621695 CPUtime=3586.87 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 3628028 0 0 0 357815 872 0 0 20 0 3 0 5256776 2502057984 599088 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=2443416 memory=-4050210904893407121 CPUtime=0.06 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 143 0 0 0 1 5 0 0 20 0 3 0 5256777 2502057984 599088 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 3587.31 s
Current children cumulated vsize: 2443416 KiB
Current children cumulated memory: 2396352 KiB
[startup+3600.4 s]
/proc/loadavg: 1.15 2.09 3.08 2/223 35611
/proc/meminfo: memFree=124827856/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=2443416 memory=2396352 CPUtime=3587.69 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 3636486 0 0 0 357881 888 0 0 20 0 3 0 5256770 2502057984 599088 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 610854 599088 3014 3035 0 604175 0
[pid=33614/tid=33616] ppid=33611 vsize=2443416 memory=-7235432492932621695 CPUtime=3587.26 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 3630204 0 0 0 357854 872 0 0 20 0 3 0 5256776 2502057984 599088 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=2443416 memory=1840 CPUtime=0.06 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 143 0 0 0 1 5 0 0 20 0 3 0 5256777 2502057984 599088 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 3587.69 s
Current children cumulated vsize: 2443416 KiB
Current children cumulated memory: 2396352 KiB
[startup+3600.8 s]
/proc/loadavg: 1.15 2.09 3.08 2/223 35611
/proc/meminfo: memFree=124827856/131655788 swapFree=131071996/131071996
[pid=33614] ppid=33611 vsize=2443416 memory=2396352 CPUtime=3588.09 cores=5,7
/proc/33614/stat : 33614 (fscip) S 33611 33614 28860 0 -1 1077936128 3637307 0 0 0 357921 888 0 0 20 0 3 0 5256770 2502057984 599088 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
/proc/33614/statm: 610854 599088 3014 3035 0 604175 0
[pid=33614/tid=33616] ppid=33611 vsize=2443416 memory=38792 CPUtime=3587.66 cores=5,7
/proc/33614/task/33616/stat : 33616 (fscip) R 33611 33614 28860 0 -1 4194368 3631025 0 0 0 357894 872 0 0 20 0 3 0 5256776 2502057984 599088 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
[pid=33614/tid=33617] ppid=33611 vsize=2443416 memory=104 CPUtime=0.06 cores=5,7
/proc/33614/task/33617/stat : 33617 (fscip) S 33611 33614 28860 0 -1 1077936192 143 0 0 0 1 5 0 0 20 0 3 0 5256777 2502057984 599088 134679101440 4194304 16623229 140733789149024 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30093312 140733789152282 140733789152398 140733789152398 140733789159408 0
Current children cumulated CPU time: 3588.09 s
Current children cumulated vsize: 2443416 KiB
Current children cumulated memory: 2396352 KiB
Child status: 0
Real time (s): 3600.9
CPU time (s): 3588.2
CPU user time (s): 3579.25
CPU system time (s): 8.95321
CPU usage (%): 99.6474
Max. virtual memory (cumulated for all children) (KiB): 2447064
Max. memory (cumulated for all children) (KiB): 2399872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.25
system time used= 8.95321
maximum resident set size= 2400900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3638401
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= 11128
involuntary context switches= 4751
# summary of solver processes directly reported to runsolver:
# pid: 33614
# total CPU time (s): 3588.2
# total CPU user time (s): 3579.25
# total CPU system time (s): 8.95321
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5791 second user time and 33.8615 second system time
The end
Begin job on nodeC010 at 2024-07-31 02:43:18
IDJOB=4464585
IDBENCH=162352
IDSOLVER=3092
FILE ID=nodeC010/4464585-1722386598
RUNJOBID= nodeC010-1722378594-28873
SLURM_JOB_ID= 8249840
Free space on /tmp= 723660 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_ODD_GRIDS/normalized-ECgrid5x140split.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-4464585-1722386598/watcher-4464585-1722386598 -o /tmp/evaluation-result-4464585-1722386598/solver-4464585-1722386598 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722378594-28873 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464585-1722386598.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6d6cd561f3b9d650ea4fe5a812bf9deb
RANDOM SEED=292526229
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3668.135
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3672.047
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.157
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.318
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3666.606
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.625
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.144
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.124
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 122577224 kB
MemAvailable: 125526204 kB
Buffers: 100936 kB
Cached: 3689040 kB
SwapCached: 0 kB
Active: 295948 kB
Inactive: 8335948 kB
Active(anon): 1992 kB
Inactive(anon): 4869448 kB
Active(file): 293956 kB
Inactive(file): 3466500 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28360 kB
Writeback: 20 kB
AnonPages: 4841900 kB
Mapped: 127652 kB
Shmem: 29504 kB
KReclaimable: 57108 kB
Slab: 132836 kB
SReclaimable: 57108 kB
SUnreclaim: 75728 kB
KernelStack: 4016 kB
PageTables: 18780 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 5204872 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 7136 kB
HardwareCorrupted: 0 kB
AnonHugePages: 985088 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: 146248 kB
DirectMap2M: 8146944 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 723748 MiB
End job on nodeC010 at 2024-07-31 03:43:20