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.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 36560896, getVmSize() = 36560896, SCIPgetMemUsed() = 10778049, SCIPgetMemTotal() = 14624161, SCIPgetMemExternEstim() = 6549625
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.05 c ** Estimated virtualMemUsedAtSolver = 26817877, getVmSize() = 43892736, SCIPgetMemUsed() = 11495683, SCIPgetMemTotal() = 20582835, SCIPgetMemExternEstim() = 6549625
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-4464795-1722382194
0.00/0.05 c Variables : 3302 (200 binary, 0 integer, 3102 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 3502
0.00/0.05 c Objective sense : minimize
0.00/0.05 c Presolved Problem :
0.00/0.05 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.05 c Constraints : 3102
0.00/0.05 c Constraints : Number
0.00/0.05 c setppc : 3102
0.00/0.05 c ** Instance transfer method used: 0
0.00/0.05 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.06 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.06 c Nodes Active
0.00/0.06 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.09/0.11 c * 0 0 1 1 -17.0000 - -
0.09/0.11 c * 0 0 1 1 -26.0000 - -
0.09/0.11 c * 0 0 1 1 -27.0000 - -
5.55/5.64 c 6 17 4 1 -27.0000 -48.2895 78.85%
11.53/11.62 c 12 136 47 1 -27.0000 -48.2787 78.81%
15.81/15.95 c * 16 357 130 1 -28.0000 -46.6267 66.52%
17.11/17.27 c 17 511 182 1 -28.0000 -46.5116 66.11%
22.49/22.60 c 23 749 410 1 -28.0000 -46.5116 66.11%
27.67/27.85 c 28 922 543 1 -28.0000 -46.4354 65.84%
32.74/32.98 c 33 1082 693 1 -28.0000 -44.4793 58.85%
37.83/38.02 c 38 1312 885 1 -28.0000 -44.1379 57.64%
43.11/43.32 c 43 1618 1101 1 -28.0000 -44.1061 57.52%
48.09/48.37 c 48 1992 1297 1 -28.0000 -43.9425 56.94%
53.17/53.43 c 53 2422 1545 1 -28.0000 -43.6432 55.87%
58.15/58.46 c 58 2812 1745 1 -28.0000 -43.3514 54.83%
63.23/63.51 c 64 3252 1937 1 -28.0000 -43.2882 54.60%
68.92/69.23 c 69 3727 2152 1 -28.0000 -43.0934 53.90%
74.40/74.70 c 75 4402 2477 1 -28.0000 -42.8986 53.21%
79.38/79.75 c 80 4822 2683 1 -28.0000 -42.7339 52.62%
85.16/85.58 c 86 5096 2843 1 -28.0000 -42.6991 52.50%
91.84/92.22 c 92 5226 3 1 -28.0000 -42.6938 52.48%
97.43/97.88 c 98 5262 39 1 -28.0000 -42.6938 52.48%
102.91/103.31 c 103 5366 137 1 -28.0000 -42.6938 52.48%
108.39/108.87 c 109 5461 230 1 -28.0000 -42.6938 52.48%
113.87/114.39 c 114 5631 396 1 -28.0000 -42.6938 52.48%
119.56/120.09 c 120 5761 522 1 -28.0000 -42.6938 52.48%
125.34/125.85 c 126 5885 640 1 -28.0000 -42.6938 52.48%
131.12/131.62 c 132 5985 728 1 -28.0000 -42.6938 52.48%
136.61/137.10 c 137 6181 900 1 -28.0000 -42.6938 52.48%
142.49/143.06 c 143 6333 1022 1 -28.0000 -42.6938 52.48%
148.36/148.92 c 149 6442 1093 1 -28.0000 -42.6938 52.48%
153.65/154.22 c 154 6580 1197 1 -28.0000 -42.6938 52.48%
159.03/159.65 c 160 6710 1291 1 -28.0000 -42.6938 52.48%
164.41/165.00 c 165 6933 1458 1 -28.0000 -42.6938 52.48%
169.98/170.66 c 171 7121 1610 1 -28.0000 -42.6938 52.48%
175.57/176.28 c 176 7294 1749 1 -28.0000 -42.6938 52.48%
180.85/181.53 c 182 7463 1878 1 -28.0000 -42.6938 52.48%
186.83/187.56 c 188 7617 1982 1 -28.0000 -42.6938 52.48%
192.32/193.05 c 193 7759 2072 1 -28.0000 -42.6938 52.48%
197.70/198.43 c 198 7941 2230 1 -28.0000 -42.6938 52.48%
202.98/203.74 c 204 8227 2448 1 -28.0000 -42.6938 52.48%
208.76/209.53 c 210 8511 2618 1 -28.0000 -42.6938 52.48%
214.13/214.97 c 215 8809 2766 1 -28.0000 -42.6938 52.48%
219.51/220.32 c 220 9228 2993 1 -28.0000 -42.6938 52.48%
224.60/225.41 c 225 9572 3173 1 -28.0000 -42.6938 52.48%
229.88/230.70 c 231 10171 3520 1 -28.0000 -42.6938 52.48%
232.47/233.34 c * 233 10494 3741 1 -29.0000 -42.6938 47.22%
234.86/235.75 c 236 10994 3502 1 -29.0000 -42.6938 47.22%
240.73/241.65 c 242 11437 3725 1 -29.0000 -42.6938 47.22%
246.02/246.91 c 247 11835 3955 1 -29.0000 -42.6938 47.22%
251.79/252.78 c 253 12536 4260 1 -29.0000 -42.6938 47.22%
257.47/258.41 c 258 13260 4654 1 -29.0000 -42.6938 47.22%
262.75/263.72 c 264 13796 4992 1 -29.0000 -42.6938 47.22%
268.93/269.96 c 270 13898 5056 1 -29.0000 -42.6938 47.22%
274.31/275.38 c 275 14038 5130 1 -29.0000 -42.6938 47.22%
279.69/280.71 c 281 14434 5280 1 -29.0000 -42.6392 47.03%
284.86/285.96 c 286 14936 5412 1 -29.0000 -42.5132 46.60%
291.15/292.29 c 292 16058 5694 1 -29.0000 -42.1109 45.21%
296.62/297.76 c 298 16955 5921 1 -29.0000 -42.0003 44.83%
301.80/302.91 c 303 18044 6192 1 -29.0000 -41.8248 44.22%
307.08/308.28 c 308 19044 6422 1 -29.0000 -41.5485 43.27%
312.26/313.43 c 313 19696 6562 1 -29.0000 -41.5000 43.10%
317.45/318.63 c 319 20574 6758 1 -29.0000 -41.3927 42.73%
322.93/324.14 c 324 21354 6932 1 -29.0000 -41.2500 42.24%
329.00/330.24 c 330 22006 7092 1 -29.0000 -41.2220 42.14%
334.28/335.58 c 336 23024 7294 1 -29.0000 -41.1154 41.78%
339.46/340.79 c 341 23768 7444 1 -29.0000 -41.0579 41.58%
345.14/346.44 c 346 24358 7570 1 -29.0000 -41.0438 41.53%
350.32/351.60 c 352 25144 7754 1 -29.0000 -40.9013 41.04%
355.60/356.93 c 357 25744 7884 1 -29.0000 -40.8163 40.75%
361.28/362.63 c 363 26418 8034 1 -29.0000 -40.7614 40.56%
366.66/368.00 c 368 27076 8164 1 -29.0000 -40.7333 40.46%
371.73/373.15 c 373 27664 8276 1 -29.0000 -40.6388 40.13%
376.82/378.27 c 378 28051 8337 1 -29.0000 -40.6355 40.12%
381.80/383.28 c 383 28849 8489 1 -29.0000 -40.6043 40.01%
386.87/388.38 c 388 29774 8650 1 -29.0000 -40.5493 39.83%
392.95/394.45 c 394 30788 8848 1 -29.0000 -40.4796 39.58%
398.33/399.80 c 400 31532 8988 1 -29.0000 -40.4547 39.50%
403.61/405.12 c 405 32094 9086 1 -29.0000 -40.4207 39.38%
409.29/410.88 c 411 32694 9192 1 -29.0000 -40.3546 39.15%
414.77/416.38 c 416 33104 9264 1 -29.0000 -40.3344 39.08%
419.94/421.59 c 422 33584 9374 1 -29.0000 -40.2926 38.94%
425.32/426.93 c 427 33870 9424 1 -29.0000 -40.2759 38.88%
431.41/433.05 c 433 35025 9641 1 -29.0000 -40.2441 38.77%
436.59/438.24 c 438 35704 9774 1 -29.0000 -40.1881 38.58%
441.56/443.29 c 443 36344 9878 1 -29.0000 -40.1491 38.45%
446.94/448.66 c 449 36924 9974 1 -29.0000 -40.0840 38.22%
452.22/453.92 c 454 37764 10106 1 -29.0000 -40.0334 38.05%
458.10/459.81 c 460 38680 10238 1 -29.0000 -40.0049 37.95%
463.29/465.01 c 465 39574 10374 1 -29.0000 -39.9511 37.76%
468.37/470.13 c 470 40364 10488 1 -29.0000 -39.9111 37.62%
473.74/475.50 c 476 41124 10604 1 -29.0000 -39.8280 37.34%
478.73/480.51 c 481 41744 10690 1 -29.0000 -39.8071 37.27%
483.80/485.61 c 486 42794 10824 1 -29.0000 -39.7658 37.12%
489.48/491.35 c 491 43919 10973 1 -29.0000 -39.7326 37.01%
495.16/497.08 c 497 44699 11087 1 -29.0000 -39.6862 36.85%
500.25/502.15 c 502 45670 11212 1 -29.0000 -39.6618 36.76%
505.62/507.57 c 508 46585 11351 1 -29.0000 -39.6154 36.60%
510.91/512.88 c 513 47774 11510 1 -29.0000 -39.5791 36.48%
516.29/518.27 c 518 48724 11650 1 -29.0000 -39.5261 36.30%
521.36/523.34 c 523 49558 11768 1 -29.0000 -39.5000 36.21%
526.84/528.82 c 529 50573 11889 1 -29.0000 -39.4928 36.18%
531.92/533.92 c 534 51354 11990 1 -29.0000 -39.4782 36.13%
537.60/539.68 c 540 52134 12106 1 -29.0000 -39.4376 35.99%
543.58/545.62 c 546 52987 12223 1 -29.0000 -39.4168 35.92%
548.96/551.07 c 551 53768 12314 1 -29.0000 -39.4047 35.88%
554.13/556.24 c 556 54934 12450 1 -29.0000 -39.3658 35.74%
559.42/561.52 c 562 55819 12561 1 -29.0000 -39.3115 35.56%
564.90/567.07 c 567 56861 12689 1 -29.0000 -39.2740 35.43%
570.27/572.40 c 572 57555 12777 1 -29.0000 -39.2500 35.34%
575.55/577.80 c 578 58343 12881 1 -29.0000 -39.2465 35.33%
581.03/583.28 c 583 59204 12988 1 -29.0000 -39.2150 35.22%
586.31/588.56 c 589 60099 13085 1 -29.0000 -39.1875 35.13%
592.39/594.61 c 595 61099 13195 1 -29.0000 -39.1638 35.05%
597.47/599.73 c 600 61984 13294 1 -29.0000 -39.1412 34.97%
602.55/604.88 c 605 62824 13406 1 -29.0000 -39.1158 34.88%
607.63/609.99 c 610 63806 13534 1 -29.0000 -39.0696 34.72%
613.41/615.70 c 616 64979 13685 1 -29.0000 -39.0427 34.63%
618.39/620.77 c 621 65734 13780 1 -29.0000 -39.0103 34.52%
624.37/626.72 c 627 66780 13890 1 -29.0000 -39.0000 34.48%
629.55/631.94 c 632 67604 13990 1 -29.0000 -38.9641 34.36%
634.62/637.05 c 637 68734 14126 1 -29.0000 -38.9450 34.29%
640.30/642.75 c 643 70062 14266 1 -29.0000 -38.9209 34.21%
645.49/647.94 c 648 70782 14340 1 -29.0000 -38.9074 34.16%
650.68/653.12 c 653 71764 14448 1 -29.0000 -38.8961 34.12%
656.25/658.72 c 659 72537 14529 1 -29.0000 -38.8825 34.08%
661.64/664.11 c 664 73564 14632 1 -29.0000 -38.8604 34.00%
667.12/669.66 c 670 74744 14764 1 -29.0000 -38.8115 33.83%
672.60/675.12 c 675 75454 14836 1 -29.0000 -38.8056 33.81%
678.08/680.61 c 681 76394 14946 1 -29.0000 -38.7721 33.70%
683.66/686.26 c 686 77719 15093 1 -29.0000 -38.7424 33.59%
689.04/691.62 c 692 78754 15204 1 -29.0000 -38.7216 33.52%
694.02/696.69 c 697 79474 15288 1 -29.0000 -38.6889 33.41%
699.11/701.70 c 702 80594 15396 1 -29.0000 -38.6739 33.36%
704.09/706.76 c 707 81624 15512 1 -29.0000 -38.6471 33.27%
709.37/712.00 c 712 82674 15616 1 -29.0000 -38.6212 33.18%
714.36/717.09 c 717 83594 15720 1 -29.0000 -38.6082 33.13%
719.94/722.69 c 723 84628 15816 1 -29.0000 -38.5802 33.04%
725.02/727.75 c 728 85674 15922 1 -29.0000 -38.5648 32.98%
730.60/733.33 c 733 86844 16034 1 -29.0000 -38.5370 32.89%
736.58/739.32 c 739 87624 16106 1 -29.0000 -38.5310 32.87%
741.57/744.35 c 744 88194 16164 1 -29.0000 -38.5198 32.83%
746.75/749.50 c 750 89094 16244 1 -29.0000 -38.5127 32.80%
752.02/754.81 c 755 89927 16325 1 -29.0000 -38.5000 32.76%
757.00/759.85 c 760 91154 16424 1 -29.0000 -38.4977 32.75%
762.59/765.43 c 765 92201 16509 1 -29.0000 -38.4820 32.70%
768.07/770.91 c 771 93294 16610 1 -29.0000 -38.4560 32.61%
773.65/776.55 c 777 94153 16693 1 -29.0000 -38.4327 32.53%
779.14/782.08 c 782 95204 16798 1 -29.0000 -38.4287 32.51%
784.91/787.81 c 788 96526 16918 1 -29.0000 -38.4044 32.43%
790.59/793.59 c 794 97400 16996 1 -29.0000 -38.3917 32.39%
796.38/799.35 c 799 98505 17067 1 -29.0000 -38.3816 32.35%
801.75/804.70 c 805 99644 17162 1 -29.0000 -38.3619 32.28%
807.04/810.02 c 810 100804 17266 1 -29.0000 -38.3421 32.21%
812.13/815.16 c 815 101854 17378 1 -29.0000 -38.3180 32.13%
817.11/820.18 c 820 102573 17455 1 -29.0000 -38.3087 32.10%
822.68/825.76 c 826 103165 17503 1 -29.0000 -38.2906 32.04%
827.97/831.05 c 831 104011 17573 1 -29.0000 -38.2749 31.98%
832.95/836.06 c 836 104924 17640 1 -29.0000 -38.2509 31.90%
838.03/841.19 c 841 105704 17718 1 -29.0000 -38.2458 31.88%
843.20/846.37 c 846 106734 17796 1 -29.0000 -38.2250 31.81%
848.29/851.42 c 851 107334 17854 1 -29.0000 -38.2207 31.80%
853.66/856.84 c 857 108394 17944 1 -29.0000 -38.2089 31.75%
858.95/862.11 c 862 109974 18098 1 -29.0000 -38.1843 31.67%
864.53/867.74 c 868 111254 18216 1 -29.0000 -38.1569 31.58%
870.20/873.48 c 873 112120 18300 1 -29.0000 -38.1402 31.52%
875.98/879.26 c 879 113362 18406 1 -29.0000 -38.1211 31.45%
881.47/884.76 c 885 114171 18465 1 -29.0000 -38.1111 31.42%
886.54/889.86 c 890 115244 18562 1 -29.0000 -38.0972 31.37%
892.32/895.61 c 896 116364 18660 1 -29.0000 -38.0824 31.32%
897.61/900.99 c 901 117639 18745 1 -29.0000 -38.0749 31.29%
902.89/906.21 c 906 118714 18826 1 -29.0000 -38.0688 31.27%
908.17/911.55 c 912 119674 18896 1 -29.0000 -38.0574 31.23%
913.16/916.57 c 917 121314 19048 1 -29.0000 -38.0310 31.14%
918.74/922.12 c 922 122182 19134 1 -29.0000 -38.0251 31.12%
924.42/927.80 c 928 123274 19216 1 -29.0000 -38.0138 31.08%
930.20/933.61 c 934 124133 19269 1 -29.0000 -38.0031 31.05%
935.28/938.76 c 939 124946 19334 1 -29.0000 -38.0000 31.03%
940.46/943.97 c 944 125855 19409 1 -29.0000 -38.0000 31.03%
945.65/949.11 c 949 127694 19556 1 -29.0000 -37.9757 30.95%
950.83/954.31 c 954 128373 19599 1 -29.0000 -37.9706 30.93%
955.91/959.47 c 959 129217 19659 1 -29.0000 -37.9522 30.87%
961.19/964.74 c 965 130062 19720 1 -29.0000 -37.9379 30.82%
966.87/970.41 c 970 130780 19772 1 -29.0000 -37.9279 30.79%
972.35/975.98 c 976 131874 19854 1 -29.0000 -37.9136 30.74%
977.73/981.31 c 981 132597 19909 1 -29.0000 -37.9000 30.69%
982.72/986.33 c 986 134014 20022 1 -29.0000 -37.8851 30.64%
987.90/991.56 c 992 135164 20100 1 -29.0000 -37.8750 30.60%
993.08/996.74 c 997 135974 20152 1 -29.0000 -37.8630 30.56%
999.07/1002.74 c 1003 136896 20214 1 -29.0000 -37.8529 30.53%
1003.95/1007.62 c * 1008 137964 20290 1 -30.0000 -37.8411 26.14%
1004.64/1008.32 c 1008 138194 15308 1 -30.0000 -37.8356 26.12%
1009.63/1013.35 c 1013 139244 15352 1 -30.0000 -37.8276 26.09%
1014.71/1018.40 c 1018 140454 15400 1 -30.0000 -37.8050 26.02%
1020.49/1024.27 c 1024 141728 15442 1 -30.0000 -37.7823 25.94%
1023.98/1027.76 c * 1028 142554 15478 1 -31.0000 -37.7686 21.83%
1025.87/1029.61 c 1030 142979 12531 1 -31.0000 -37.7663 21.83%
1030.96/1034.71 c 1035 143917 12521 1 -31.0000 -37.7564 21.79%
1036.14/1039.99 c 1040 144820 12520 1 -31.0000 -37.7500 21.77%
1041.22/1045.06 c 1045 146054 12524 1 -31.0000 -37.7340 21.72%
1046.31/1050.15 c 1050 147134 12526 1 -31.0000 -37.7263 21.70%
1051.87/1055.75 c 1056 148149 12529 1 -31.0000 -37.7077 21.64%
1057.35/1061.21 c 1061 149534 12510 1 -31.0000 -37.6934 21.59%
1062.34/1066.27 c 1066 150924 12500 1 -31.0000 -37.6821 21.56%
1068.13/1072.01 c 1072 151972 12510 1 -31.0000 -37.6667 21.51%
1073.50/1077.49 c 1077 152834 12488 1 -31.0000 -37.6538 21.46%
1078.87/1082.86 c 1083 154177 12465 1 -31.0000 -37.6462 21.44%
1084.56/1088.56 c 1089 155384 12464 1 -31.0000 -37.6324 21.39%
1089.54/1093.57 c 1094 156574 12454 1 -31.0000 -37.6265 21.38%
1095.13/1099.11 c 1099 157610 12448 1 -31.0000 -37.6243 21.37%
1100.41/1104.48 c 1104 158684 12444 1 -31.0000 -37.6138 21.33%
1106.38/1110.42 c 1110 159886 12444 1 -31.0000 -37.6111 21.33%
1111.36/1115.45 c 1115 161174 12438 1 -31.0000 -37.5989 21.29%
1116.45/1120.59 c 1121 162314 12438 1 -31.0000 -37.5847 21.24%
1122.13/1126.23 c 1126 163458 12430 1 -31.0000 -37.5714 21.20%
1127.61/1131.70 c 1132 164534 12420 1 -31.0000 -37.5638 21.17%
1133.28/1137.44 c 1137 165904 12396 1 -31.0000 -37.5455 21.11%
1138.27/1142.49 c 1142 166964 12366 1 -31.0000 -37.5389 21.09%
1143.46/1147.62 c 1148 167744 12356 1 -31.0000 -37.5310 21.07%
1148.84/1153.03 c 1153 168654 12352 1 -31.0000 -37.5181 21.03%
1154.61/1158.88 c 1159 169536 12340 1 -31.0000 -37.5048 20.98%
1160.30/1164.59 c 1165 170607 12317 1 -31.0000 -37.5000 20.97%
1165.98/1170.25 c 1170 171844 12296 1 -31.0000 -37.5000 20.97%
1171.25/1175.52 c 1176 173144 12276 1 -31.0000 -37.4844 20.92%
1176.64/1180.92 c 1181 174484 12242 1 -31.0000 -37.4779 20.90%
1181.73/1186.02 c 1186 175869 12225 1 -31.0000 -37.4474 20.80%
1187.10/1191.47 c 1191 176778 12214 1 -31.0000 -37.4390 20.77%
1192.18/1196.53 c 1197 177484 12198 1 -31.0000 -37.4279 20.74%
1197.26/1201.69 c 1202 178244 12178 1 -31.0000 -37.4215 20.71%
1203.05/1207.49 c 1207 179894 12140 1 -31.0000 -37.4088 20.67%
1208.53/1212.92 c 1213 181184 12126 1 -31.0000 -37.3889 20.61%
1213.61/1218.05 c 1218 182155 12113 1 -31.0000 -37.3750 20.56%
1219.29/1223.71 c 1224 183396 12100 1 -31.0000 -37.3457 20.47%
1224.27/1228.77 c 1229 184603 12089 1 -31.0000 -37.3374 20.44%
1229.75/1234.24 c 1234 185914 12068 1 -31.0000 -37.3287 20.42%
1234.73/1239.27 c 1239 187034 12034 1 -31.0000 -37.3183 20.38%
1240.01/1244.53 c 1245 188224 12004 1 -31.0000 -37.3136 20.37%
1245.38/1249.90 c 1250 189164 11986 1 -31.0000 -37.3077 20.35%
1250.67/1255.25 c 1255 190137 11961 1 -31.0000 -37.2961 20.31%
1255.94/1260.55 c 1261 191124 11942 1 -31.0000 -37.2883 20.28%
1261.71/1266.38 c 1266 192614 11928 1 -31.0000 -37.2757 20.24%
1266.90/1271.53 c 1272 193675 11895 1 -31.0000 -37.2699 20.23%
1272.27/1276.97 c 1277 194762 11866 1 -31.0000 -37.2543 20.18%
1277.46/1282.11 c 1282 196084 11840 1 -31.0000 -37.2456 20.15%
1282.43/1287.16 c 1287 197194 11826 1 -31.0000 -37.2330 20.11%
1287.61/1292.32 c 1292 198154 11804 1 -31.0000 -37.2143 20.05%
1292.98/1297.71 c 1298 199164 11786 1 -31.0000 -37.2056 20.02%
1298.07/1302.81 c 1303 199904 11764 1 -31.0000 -37.1970 19.99%
1303.15/1307.95 c 1308 200674 11756 1 -31.0000 -37.1871 19.96%
1308.23/1313.02 c 1313 201494 11744 1 -31.0000 -37.1677 19.90%
1313.32/1318.11 c 1318 202674 11732 1 -31.0000 -37.1549 19.85%
1318.79/1323.68 c 1324 203694 11722 1 -31.0000 -37.1471 19.83%
1323.87/1328.73 c 1329 204714 11708 1 -31.0000 -37.1369 19.80%
1329.26/1334.14 c 1334 206384 11686 1 -31.0000 -37.1125 19.72%
1334.24/1339.16 c 1339 207607 11661 1 -31.0000 -37.1046 19.69%
1339.51/1344.47 c 1344 208504 11644 1 -31.0000 -37.0946 19.66%
1345.70/1350.65 c 1351 209766 11614 1 -31.0000 -37.0877 19.64%
1350.88/1355.80 c 1356 211064 11600 1 -31.0000 -37.0772 19.60%
1356.06/1361.02 c 1361 212234 11586 1 -31.0000 -37.0675 19.57%
1361.05/1366.10 c 1366 212974 11570 1 -31.0000 -37.0635 19.56%
1366.52/1371.55 c 1372 214074 11548 1 -31.0000 -37.0556 19.53%
1371.50/1376.59 c 1377 215044 11530 1 -31.0000 -37.0476 19.51%
1377.19/1382.27 c 1382 216264 11510 1 -31.0000 -37.0318 19.46%
1382.77/1387.81 c 1388 217369 11487 1 -31.0000 -37.0264 19.44%
1387.75/1392.89 c 1393 218704 11484 1 -31.0000 -37.0153 19.40%
1393.33/1398.44 c 1398 219936 11472 1 -31.0000 -37.0000 19.35%
1398.72/1403.81 c 1404 221112 11454 1 -31.0000 -37.0000 19.35%
1404.29/1409.45 c 1409 222042 11446 1 -31.0000 -37.0000 19.35%
1410.07/1415.22 c 1415 223066 11436 1 -31.0000 -37.0000 19.35%
1415.05/1420.24 c 1420 223774 11436 1 -31.0000 -36.9876 19.31%
1420.24/1425.44 c 1425 224754 11420 1 -31.0000 -36.9743 19.27%
1425.51/1430.75 c 1431 225735 11409 1 -31.0000 -36.9643 19.24%
1431.20/1436.42 c 1436 227024 11384 1 -31.0000 -36.9464 19.18%
1436.27/1441.50 c 1442 228077 11355 1 -31.0000 -36.9350 19.15%
1441.55/1446.86 c 1447 228814 11344 1 -31.0000 -36.9242 19.11%
1447.42/1452.75 c 1453 229751 11333 1 -31.0000 -36.9211 19.10%
1452.90/1458.29 c 1458 230554 11320 1 -31.0000 -36.9130 19.07%
1458.09/1463.42 c 1463 231654 11298 1 -31.0000 -36.9012 19.04%
1463.67/1469.10 c 1469 232507 11279 1 -31.0000 -36.8911 19.00%
1469.93/1475.35 c 1475 233775 11253 1 -31.0000 -36.8846 18.98%
1475.02/1480.46 c 1480 234904 11224 1 -31.0000 -36.8770 18.96%
1480.29/1485.74 c 1486 235894 11210 1 -31.0000 -36.8699 18.94%
1485.47/1490.94 c 1491 236824 11196 1 -31.0000 -36.8576 18.90%
1490.56/1496.03 c 1496 237804 11190 1 -31.0000 -36.8415 18.84%
1496.53/1502.06 c 1502 238697 11159 1 -31.0000 -36.8396 18.84%
1502.20/1507.79 c 1508 239314 11144 1 -31.0000 -36.8336 18.82%
1507.29/1512.82 c 1513 240634 11118 1 -31.0000 -36.8230 18.78%
1512.57/1518.13 c 1518 241614 11100 1 -31.0000 -36.8099 18.74%
1518.24/1523.85 c 1524 242427 11089 1 -31.0000 -36.8000 18.71%
1523.22/1528.86 c 1529 243114 11074 1 -31.0000 -36.7915 18.68%
1528.70/1534.32 c 1534 244055 11061 1 -31.0000 -36.7857 18.66%
1533.77/1539.45 c 1539 244586 11050 1 -31.0000 -36.7801 18.65%
1539.66/1545.36 c 1545 245550 11030 1 -31.0000 -36.7633 18.59%
1545.03/1550.74 c 1551 246284 11010 1 -31.0000 -36.7598 18.58%
1550.31/1556.04 c 1556 247209 10999 1 -31.0000 -36.7460 18.54%
1555.49/1561.21 c 1561 248024 10990 1 -31.0000 -36.7254 18.47%
1561.37/1567.16 c 1567 249384 10960 1 -31.0000 -36.7091 18.42%
1566.44/1572.21 c 1572 250501 10929 1 -31.0000 -36.7039 18.40%
1571.63/1577.43 c 1577 251454 10910 1 -31.0000 -36.6951 18.37%
1576.81/1582.68 c 1583 252204 10884 1 -31.0000 -36.6867 18.34%
1581.89/1587.79 c 1588 253074 10874 1 -31.0000 -36.6790 18.32%
1586.97/1592.87 c 1593 254030 10848 1 -31.0000 -36.6696 18.29%
1592.06/1597.93 c 1598 254807 10841 1 -31.0000 -36.6667 18.28%
1597.64/1603.51 c 1604 255753 10823 1 -31.0000 -36.6610 18.26%
1603.61/1609.54 c 1610 256645 10803 1 -31.0000 -36.6479 18.22%
1608.70/1614.68 c 1615 257594 10786 1 -31.0000 -36.6414 18.20%
1614.38/1620.30 c 1620 258522 10766 1 -31.0000 -36.6364 18.18%
1619.36/1625.36 c 1625 259744 10746 1 -31.0000 -36.6275 18.15%
1624.84/1630.87 c 1631 260794 10718 1 -31.0000 -36.6234 18.14%
1630.13/1636.14 c 1636 261874 10698 1 -31.0000 -36.6157 18.12%
1635.81/1641.88 c 1642 263194 10680 1 -31.0000 -36.5970 18.05%
1640.99/1647.02 c 1647 263934 10664 1 -31.0000 -36.5863 18.02%
1646.46/1652.52 c 1653 265095 10653 1 -31.0000 -36.5729 17.98%
1651.75/1657.83 c 1658 265934 10632 1 -31.0000 -36.5665 17.96%
1657.62/1663.79 c 1664 266904 10616 1 -31.0000 -36.5556 17.92%
1662.81/1668.97 c 1669 268264 10584 1 -31.0000 -36.5490 17.90%
1668.09/1674.21 c 1674 269124 10560 1 -31.0000 -36.5417 17.88%
1673.07/1679.24 c 1679 269834 10554 1 -31.0000 -36.5315 17.84%
1678.05/1684.27 c 1684 270844 10522 1 -31.0000 -36.5221 17.81%
1683.43/1689.69 c 1690 271384 10502 1 -31.0000 -36.5178 17.80%
1689.12/1695.37 c 1695 272279 10481 1 -31.0000 -36.5122 17.78%
1694.30/1700.56 c 1701 273034 10460 1 -31.0000 -36.5004 17.74%
1699.97/1706.20 c 1706 274253 10423 1 -31.0000 -36.5000 17.74%
1705.05/1711.35 c 1711 275151 10397 1 -31.0000 -36.5000 17.74%
1711.23/1717.56 c 1718 276390 10368 1 -31.0000 -36.4758 17.66%
1716.22/1722.59 c 1723 277134 10350 1 -31.0000 -36.4685 17.64%
1721.30/1727.69 c 1728 277734 10332 1 -31.0000 -36.4619 17.62%
1727.39/1733.72 c 1734 278676 10320 1 -31.0000 -36.4545 17.60%
1732.77/1739.12 c 1739 279615 10307 1 -31.0000 -36.4455 17.57%
1738.35/1744.72 c 1745 280633 10293 1 -31.0000 -36.4244 17.50%
1743.33/1749.79 c 1750 281214 10274 1 -31.0000 -36.4211 17.49%
1749.61/1756.07 c 1756 282349 10237 1 -31.0000 -36.4167 17.47%
1755.59/1762.09 c 1762 283588 10202 1 -31.0000 -36.4099 17.45%
1760.86/1767.30 c 1767 284524 10196 1 -31.0000 -36.4000 17.42%
1765.94/1772.48 c 1772 285384 10184 1 -31.0000 -36.3858 17.37%
1771.42/1777.93 c 1778 286394 10162 1 -31.0000 -36.3757 17.34%
1776.91/1783.41 c 1783 287124 10138 1 -31.0000 -36.3725 17.33%
1782.49/1789.10 c 1789 288074 10118 1 -31.0000 -36.3687 17.32%
1788.07/1794.66 c 1795 289204 10104 1 -31.0000 -36.3503 17.26%
1793.35/1799.90 c 1800 289884 10080 1 -31.0000 -36.3462 17.25%
1799.12/1805.74 c 1806 291054 10044 1 -31.0000 -36.3333 17.20%
1804.51/1811.16 c 1811 291764 10014 1 -31.0000 -36.3273 17.18%
1810.29/1816.95 c 1817 292914 9982 1 -31.0000 -36.3211 17.16%
1815.48/1822.18 c 1822 293866 9942 1 -31.0000 -36.3069 17.12%
1821.05/1827.71 c 1828 294804 9928 1 -31.0000 -36.2984 17.09%
1826.03/1832.75 c 1833 295684 9908 1 -31.0000 -36.2941 17.08%
1831.02/1837.75 c 1838 296624 9884 1 -31.0000 -36.2823 17.04%
1836.10/1842.86 c 1843 297354 9856 1 -31.0000 -36.2698 17.00%
1841.08/1847.87 c 1848 298214 9834 1 -31.0000 -36.2609 16.97%
1846.76/1853.53 c 1854 298984 9812 1 -31.0000 -36.2581 16.96%
1852.34/1859.12 c 1859 300034 9788 1 -31.0000 -36.2500 16.94%
1857.92/1864.72 c 1865 300693 9771 1 -31.0000 -36.2500 16.94%
1863.20/1870.02 c 1870 301556 9748 1 -31.0000 -36.2470 16.93%
1868.68/1875.57 c 1876 302020 9728 1 -31.0000 -36.2462 16.92%
1874.56/1881.48 c 1881 303123 9709 1 -31.0000 -36.2353 16.89%
1879.64/1886.53 c 1887 304014 9688 1 -31.0000 -36.2338 16.88%
1885.02/1891.97 c 1892 304854 9668 1 -31.0000 -36.2235 16.85%
1890.10/1897.03 c 1897 305864 9642 1 -31.0000 -36.2130 16.82%
1895.38/1902.32 c 1902 306716 9622 1 -31.0000 -36.1957 16.76%
1901.46/1908.41 c 1908 307510 9604 1 -31.0000 -36.1903 16.74%
1906.44/1913.42 c 1913 308624 9586 1 -31.0000 -36.1782 16.70%
1912.12/1919.14 c 1919 309554 9558 1 -31.0000 -36.1667 16.67%
1917.20/1924.22 c 1924 310217 9533 1 -31.0000 -36.1660 16.66%
1922.69/1929.76 c 1930 311257 9509 1 -31.0000 -36.1585 16.64%
1927.97/1935.01 c 1935 312154 9482 1 -31.0000 -36.1559 16.63%
1932.95/1940.08 c 1940 312862 9470 1 -31.0000 -36.1482 16.61%
1938.62/1945.73 c 1946 314014 9428 1 -31.0000 -36.1333 16.56%
1943.91/1951.09 c 1951 314624 9408 1 -31.0000 -36.1285 16.54%
1949.08/1956.28 c 1956 315459 9389 1 -31.0000 -36.1250 16.53%
1954.57/1961.78 c 1962 316379 9371 1 -31.0000 -36.1132 16.49%
1959.65/1966.83 c 1967 317254 9350 1 -31.0000 -36.1045 16.47%
1965.03/1972.25 c 1972 318074 9316 1 -31.0000 -36.0957 16.44%
1970.71/1977.97 c 1978 319274 9268 1 -31.0000 -36.0871 16.41%
1975.99/1983.21 c 1983 320272 9240 1 -31.0000 -36.0758 16.37%
1981.77/1989.02 c 1989 321158 9216 1 -31.0000 -36.0630 16.33%
1987.05/1994.32 c 1994 322354 9190 1 -31.0000 -36.0558 16.31%
1992.53/1999.83 c 2000 323204 9162 1 -31.0000 -36.0470 16.28%
1997.81/2005.12 c 2005 324083 9135 1 -31.0000 -36.0333 16.24%
2003.59/2010.99 c 2011 324749 9115 1 -31.0000 -36.0249 16.21%
2009.17/2016.51 c 2016 325349 9087 1 -31.0000 -36.0249 16.21%
2014.95/2022.37 c 2022 326326 9056 1 -31.0000 -36.0080 16.15%
2020.64/2028.01 c 2028 327079 9029 1 -31.0000 -36.0000 16.13%
2026.51/2033.90 c 2034 327950 9002 1 -31.0000 -36.0000 16.13%
2032.38/2039.80 c 2040 328854 8964 1 -31.0000 -36.0000 16.13%
2038.17/2045.64 c 2046 329584 8944 1 -31.0000 -35.9949 16.11%
2043.24/2050.70 c 2051 330289 8923 1 -31.0000 -35.9859 16.08%
2048.73/2056.29 c 2056 331344 8876 1 -31.0000 -35.9720 16.04%
2054.31/2061.84 c 2062 332234 8842 1 -31.0000 -35.9643 16.01%
2059.59/2067.17 c 2067 332921 8819 1 -31.0000 -35.9583 15.99%
2064.77/2072.35 c 2072 333874 8794 1 -31.0000 -35.9482 15.96%
2070.25/2077.88 c 2078 334914 8756 1 -31.0000 -35.9250 15.89%
2076.12/2083.77 c 2084 336152 8712 1 -31.0000 -35.9091 15.84%
2081.31/2088.97 c 2089 336854 8684 1 -31.0000 -35.9068 15.83%
2086.39/2094.03 c 2094 337833 8637 1 -31.0000 -35.8951 15.79%
2091.87/2099.57 c 2100 338602 8604 1 -31.0000 -35.8929 15.78%
2097.15/2104.88 c 2105 339184 8572 1 -31.0000 -35.8816 15.75%
2102.23/2109.92 c 2110 339924 8546 1 -31.0000 -35.8725 15.72%
2107.41/2115.19 c 2115 340688 8510 1 -31.0000 -35.8641 15.69%
2112.69/2120.43 c 2120 341454 8474 1 -31.0000 -35.8515 15.65%
2117.87/2125.64 c 2126 342094 8452 1 -31.0000 -35.8429 15.62%
2123.06/2130.84 c 2131 342964 8418 1 -31.0000 -35.8249 15.56%
2128.24/2136.08 c 2136 343844 8374 1 -31.0000 -35.8201 15.55%
2133.82/2141.61 c 2142 344741 8339 1 -31.0000 -35.8034 15.49%
2139.60/2147.42 c 2147 345494 8308 1 -31.0000 -35.7938 15.46%
2144.97/2152.84 c 2153 346534 8272 1 -31.0000 -35.7865 15.44%
2150.25/2158.13 c 2158 347414 8250 1 -31.0000 -35.7799 15.42%
2156.24/2164.19 c 2164 348412 8206 1 -31.0000 -35.7691 15.38%
2161.41/2169.30 c 2169 349274 8166 1 -31.0000 -35.7576 15.35%
2166.99/2174.96 c 2175 350030 8120 1 -31.0000 -35.7500 15.32%
2172.67/2180.60 c 2181 350834 8070 1 -31.0000 -35.7354 15.28%
2177.65/2185.65 c 2186 351844 8026 1 -31.0000 -35.7264 15.25%
2183.14/2191.18 c 2191 352774 7980 1 -31.0000 -35.7045 15.18%
2188.61/2196.64 c 2197 353756 7938 1 -31.0000 -35.6870 15.12%
2193.79/2201.84 c 2202 354595 7895 1 -31.0000 -35.6766 15.09%
2198.77/2206.88 c 2207 355334 7858 1 -31.0000 -35.6667 15.05%
2204.36/2212.45 c 2212 356304 7808 1 -31.0000 -35.6643 15.05%
2209.74/2217.89 c 2218 357298 7768 1 -31.0000 -35.6429 14.98%
2215.23/2223.31 c 2223 358145 7723 1 -31.0000 -35.6364 14.96%
2220.40/2228.54 c 2229 359191 7665 1 -31.0000 -35.6250 14.92%
2226.39/2234.58 c 2235 360116 7612 1 -31.0000 -35.6050 14.85%
2231.66/2239.87 c 2240 360836 7580 1 -31.0000 -35.6040 14.85%
2236.95/2245.15 c 2245 361964 7544 1 -31.0000 -35.5797 14.77%
2242.72/2250.91 c 2251 362836 7514 1 -31.0000 -35.5729 14.75%
2247.81/2256.02 c 2256 363644 7480 1 -31.0000 -35.5538 14.69%
2253.88/2262.16 c 2262 364577 7441 1 -31.0000 -35.5310 14.62%
2258.87/2267.19 c 2267 365584 7382 1 -31.0000 -35.5139 14.56%
2264.54/2272.82 c 2273 366624 7326 1 -31.0000 -35.5037 14.53%
2269.63/2277.98 c 2278 367666 7272 1 -31.0000 -35.5000 14.52%
2274.91/2283.28 c 2283 368620 7232 1 -31.0000 -35.5000 14.52%
2279.98/2288.36 c 2288 369371 7197 1 -31.0000 -35.4982 14.51%
2285.26/2293.69 c 2294 370324 7154 1 -31.0000 -35.4892 14.48%
2290.45/2298.88 c 2299 371332 7098 1 -31.0000 -35.4737 14.43%
2296.03/2304.42 c 2304 372254 7052 1 -31.0000 -35.4531 14.36%
2301.30/2309.77 c 2310 373294 6998 1 -31.0000 -35.4318 14.30%
2306.39/2314.88 c 2315 374364 6924 1 -31.0000 -35.4167 14.25%
2311.57/2320.00 c 2320 375364 6880 1 -31.0000 -35.4062 14.21%
2316.65/2325.16 c 2325 376594 6806 1 -31.0000 -35.3947 14.18%
2322.83/2331.36 c 2331 377752 6734 1 -31.0000 -35.3684 14.09%
2328.71/2337.22 c 2337 379140 6646 1 -31.0000 -35.3547 14.05%
2334.59/2343.15 c 2343 380110 6588 1 -31.0000 -35.3413 14.00%
2339.66/2348.28 c 2348 380854 6552 1 -31.0000 -35.3257 13.95%
2344.84/2353.40 c 2353 381574 6516 1 -31.0000 -35.3146 13.92%
2350.53/2359.13 c 2359 382827 6447 1 -31.0000 -35.2857 13.82%
2356.41/2365.00 c 2365 383682 6400 1 -31.0000 -35.2742 13.79%
2361.38/2370.02 c 2370 384734 6326 1 -31.0000 -35.2503 13.71%
2367.06/2375.76 c 2376 385654 6262 1 -31.0000 -35.2381 13.67%
2372.83/2381.52 c 2382 386419 6211 1 -31.0000 -35.2294 13.64%
2378.32/2387.00 c 2387 387494 6148 1 -31.0000 -35.2039 13.56%
2383.50/2392.25 c 2392 388416 6088 1 -31.0000 -35.1910 13.52%
2388.78/2397.59 c 2398 389214 6032 1 -31.0000 -35.1833 13.49%
2394.65/2403.43 c 2403 390430 5954 1 -31.0000 -35.1667 13.44%
2399.83/2408.61 c 2409 391485 5877 1 -31.0000 -35.1518 13.39%
2405.32/2414.15 c 2414 392824 5780 1 -31.0000 -35.1360 13.34%
2410.49/2419.31 c 2419 393894 5716 1 -31.0000 -35.1277 13.32%
2415.68/2424.53 c 2425 394984 5652 1 -31.0000 -35.1103 13.26%
2420.66/2429.56 c 2430 395984 5588 1 -31.0000 -35.0638 13.11%
2426.44/2435.36 c 2435 397025 5527 1 -31.0000 -35.0455 13.05%
2431.62/2440.51 c 2441 397964 5460 1 -31.0000 -35.0156 12.95%
2437.49/2446.44 c 2446 399004 5388 1 -31.0000 -35.0000 12.90%
2442.68/2451.67 c 2452 399964 5312 1 -31.0000 -35.0000 12.90%
2448.16/2457.14 c 2457 401193 5211 1 -31.0000 -35.0000 12.90%
2453.83/2462.81 c 2463 402194 5144 1 -31.0000 -34.9815 12.84%
2458.82/2467.86 c 2468 403485 5059 1 -31.0000 -34.9608 12.78%
2464.10/2473.13 c 2473 404834 4966 1 -31.0000 -34.9286 12.67%
2469.28/2478.37 c 2478 405754 4892 1 -31.0000 -34.9118 12.62%
2474.36/2483.42 c 2483 406864 4812 1 -31.0000 -34.8859 12.54%
2479.94/2489.08 c 2489 408383 4701 1 -31.0000 -34.8601 12.45%
2485.02/2494.14 c 2494 409444 4620 1 -31.0000 -34.8368 12.38%
2490.20/2499.32 c 2499 410874 4524 1 -31.0000 -34.8075 12.28%
2495.68/2504.87 c 2505 411984 4450 1 -31.0000 -34.7684 12.16%
2501.05/2510.26 c 2510 413444 4324 1 -31.0000 -34.7308 12.03%
2506.34/2515.56 c 2516 414489 4231 1 -31.0000 -34.7095 11.97%
2511.52/2520.73 c 2521 415630 4124 1 -31.0000 -34.6914 11.91%
2516.70/2525.94 c 2526 417234 3986 1 -31.0000 -34.6613 11.81%
2521.97/2531.21 c 2531 418434 3858 1 -31.0000 -34.6228 11.69%
2527.26/2536.59 c 2537 419604 3768 1 -31.0000 -34.5930 11.59%
2532.74/2542.03 c 2542 421194 3642 1 -31.0000 -34.5602 11.48%
2538.11/2547.47 c 2547 422734 3504 1 -31.0000 -34.5127 11.33%
2543.30/2552.61 c 2553 424234 3340 1 -31.0000 -34.4995 11.29%
2548.38/2557.74 c 2558 425084 3244 1 -31.0000 -34.4722 11.20%
2554.16/2563.54 c 2564 426604 3060 1 -31.0000 -34.4390 11.09%
2559.33/2568.71 c 2569 428094 2906 1 -31.0000 -34.3737 10.88%
2564.42/2573.82 c 2574 429784 2714 1 -31.0000 -34.3261 10.73%
2569.40/2578.85 c 2579 431264 2524 1 -31.0000 -34.2704 10.55%
2574.69/2584.11 c 2584 432914 2322 1 -31.0000 -34.1753 10.24%
2580.16/2589.63 c 2590 434812 2072 1 -31.0000 -34.0864 9.96%
2585.13/2594.65 c 2595 436324 1878 1 -31.0000 -34.0074 9.70%
2590.52/2600.09 c 2600 437822 1642 1 -31.0000 -33.9547 9.53%
2595.79/2605.31 c 2605 439714 1284 1 -31.0000 -33.7803 8.97%
2601.37/2610.98 c 2611 441907 865 1 -31.0000 -33.5000 8.06%
2607.05/2616.60 c 2617 443914 168 1 -31.0000 -32.8846 6.08%
2608.24/2617.87 c 2618 444112 0 0 -31.0000 -31.0000 0.00%
2608.35/2617.91 c 2618 444112 0 0 -31.0000 -31.0000 -
2608.35/2617.91 c SCIP Status : c problem is solved
2608.35/2617.91 c Total Time : 2617.9000
2608.35/2617.91 c solving : 2617.9000
2608.35/2617.91 c presolving : 0.0322 (included in solving)
2608.35/2617.91 c B&B Tree :
2608.35/2617.91 c nodes (total) : 444112
2608.35/2617.91 c Solution :
2608.35/2617.91 c Solutions found : 8
2608.35/2617.91 c Primal Bound : -3.10000000000000e+01
2608.35/2617.91 c Dual Bound : -3.10000000000000e+01
2608.35/2617.91 c Gap : 0.00000 %
2608.35/2617.91 o -31
2608.35/2617.91 s OPTIMUM FOUND
2608.35/2617.91 v -x200 -x199 -x198 -x197 x196 x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 x184 -x183 x182 -x181 x180 -x179 -x178
2608.35/2617.91 v x177 -x176 x175 x174 -x173 x172 -x171 -x170 -x169 -x168 x167 x166 -x165 x164 -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156
2608.35/2617.91 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135
2608.35/2617.91 v -x134 x133 -x132 -x131 x130 -x129 -x128 -x127 x126 x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 x116 x115 -x114 -x113
2608.35/2617.91 v -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 x102 -x101 -x100 -x99 -x98 x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90
2608.35/2617.91 v -x89 x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65
2608.35/2617.91 v -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 -x40
2608.35/2617.91 v -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 x16 -x15 -x14
2608.35/2617.91 v -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
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 (60908 MiB free)
memory of node 1: 64473 MiB (61972 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464795-1722382194/watcher-4464795-1722382194 -o /tmp/evaluation-result-4464795-1722382194/solver-4464795-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30204 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464795-1722382194.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=32309, runsolver pid=32304
Current StackSize limit: 8192 KiB
[startup+0.100405 s]*
/proc/loadavg: 3.99 4.10 4.07 2/249 32315
/proc/meminfo: memFree=125797416/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=130412 memory=46924 CPUtime=0.09 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 9539 0 0 0 8 1 0 0 20 0 3 0 4819567 133541888 11731 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 32603 11731 2790 3035 0 15394 0
[pid=32309/tid=32314] ppid=32304 vsize=130412 memory=4026532140 CPUtime=0.03 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 3079 0 0 0 3 0 0 0 20 0 3 0 4819572 133541888 11731 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=130412 memory=237129433339 CPUtime=0 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819573 133541888 11731 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 130412 KiB
Current children cumulated memory: 46924 KiB
[startup+0.206406 s]*
/proc/loadavg: 3.99 4.10 4.07 2/246 32323
/proc/meminfo: memFree=125792592/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=130412 memory=51744 CPUtime=0.19 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 10599 0 0 0 18 1 0 0 20 0 3 0 4819567 133541888 12936 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 32603 12936 2950 3035 0 16561 0
[pid=32309/tid=32314] ppid=32304 vsize=130412 memory=7589421003159122170 CPUtime=0.13 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 4139 0 0 0 13 0 0 0 20 0 3 0 4819572 133541888 12936 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=130412 memory=523 CPUtime=0 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819573 133541888 12936 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 130412 KiB
Current children cumulated memory: 51744 KiB
[startup+0.306405 s]*
/proc/loadavg: 3.99 4.10 4.07 2/252 32341
/proc/meminfo: memFree=125790212/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=130412 memory=52272 CPUtime=0.28 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 10742 0 0 0 27 1 0 0 20 0 3 0 4819567 133541888 13068 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 32603 13068 2950 3035 0 16768 0
[pid=32309/tid=32314] ppid=32304 vsize=130412 memory=-7451886750023114110 CPUtime=0.23 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 4282 0 0 0 23 0 0 0 20 0 3 0 4819572 133541888 13068 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=130412 memory=0 CPUtime=0 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819573 133541888 13068 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 130412 KiB
Current children cumulated memory: 52272 KiB
[startup+0.700243 s]
/proc/loadavg: 3.99 4.10 4.07 3/246 32403
/proc/meminfo: memFree=125852016/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=130412 memory=57552 CPUtime=0.67 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 12053 0 0 0 65 2 0 0 20 0 3 0 4819567 133541888 14388 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 32603 14388 2950 3035 0 18386 0
[pid=32309/tid=32314] ppid=32304 vsize=130412 memory=0 CPUtime=0.62 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 5593 0 0 0 61 1 0 0 20 0 3 0 4819572 133541888 14388 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=130412 memory=0 CPUtime=0 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819573 133541888 14388 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 130412 KiB
Current children cumulated memory: 57552 KiB
[startup+1.5002 s]
/proc/loadavg: 3.99 4.10 4.07 5/267 32443
/proc/meminfo: memFree=125588148/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=130412 memory=61628 CPUtime=1.47 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 16050 0 0 0 144 3 0 0 20 0 3 0 4819567 133541888 15407 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 32603 15407 2950 3035 0 20316 0
[pid=32309/tid=32314] ppid=32304 vsize=130412 memory=0 CPUtime=1.41 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 9590 0 0 0 140 1 0 0 20 0 3 0 4819572 133541888 15407 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=130412 memory=0 CPUtime=0 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4819573 133541888 15407 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 130412 KiB
Current children cumulated memory: 61628 KiB
[startup+3.10572 s]
/proc/loadavg: 3.99 4.10 4.07 5/267 32443
/proc/meminfo: memFree=125527400/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=130412 memory=66780 CPUtime=3.07 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 17819 0 0 0 304 3 0 0 20 0 3 0 4819567 133541888 16695 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 32603 16695 2950 3035 0 21863 0
[pid=32309/tid=32314] ppid=32304 vsize=130412 memory=0 CPUtime=3.01 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 11334 0 0 0 299 2 0 0 20 0 3 0 4819572 133541888 16695 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=130412 memory=281256738984272 CPUtime=0 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4819573 133541888 16695 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 130412 KiB
Current children cumulated memory: 66780 KiB
[startup+6.30025 s]
/proc/loadavg: 3.99 4.10 4.07 5/265 32583
/proc/meminfo: memFree=125309552/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=130412 memory=68708 CPUtime=6.25 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 21591 0 0 0 622 3 0 0 20 0 3 0 4819567 133541888 17177 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 32603 17177 2950 3035 0 21863 0
[pid=32309/tid=32314] ppid=32304 vsize=130412 memory=61848 CPUtime=6.19 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 15091 0 0 0 617 2 0 0 20 0 3 0 4819572 133541888 17177 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=130412 memory=12340 CPUtime=0 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4819573 133541888 17177 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 130412 KiB
Current children cumulated memory: 68708 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.07 5/265 32585
/proc/meminfo: memFree=125258232/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=130412 memory=73540 CPUtime=12.63 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 31265 0 0 0 1258 5 0 0 20 0 3 0 4819567 133541888 18385 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 32603 18385 2950 3035 0 25466 0
[pid=32309/tid=32314] ppid=32304 vsize=130412 memory=12340 CPUtime=12.56 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 24739 0 0 0 1253 3 0 0 20 0 3 0 4819572 133541888 18385 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=130412 memory=0 CPUtime=0 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4819573 133541888 18385 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 130412 KiB
Current children cumulated memory: 73540 KiB
[startup+25.5003 s]
/proc/loadavg: 4.06 4.10 4.07 5/267 32588
/proc/meminfo: memFree=124927080/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=202008 memory=108060 CPUtime=25.37 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 55612 0 0 0 2530 7 0 0 20 0 3 0 4819567 206856192 27015 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 50502 27015 2998 3035 0 33501 0
[pid=32309/tid=32314] ppid=32304 vsize=202008 memory=91488 CPUtime=25.32 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 49030 0 0 0 2526 6 0 0 20 0 3 0 4819572 206856192 27015 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=202008 memory=101588 CPUtime=0 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4819573 206856192 27015 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 202008 KiB
Current children cumulated memory: 108060 KiB
[startup+51.1055 s]
/proc/loadavg: 4.04 4.09 4.07 5/267 32699
/proc/meminfo: memFree=125167940/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=219612 memory=161928 CPUtime=50.89 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 92775 0 0 0 5077 12 0 0 20 0 3 0 4819567 224882688 40482 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 54903 40482 2998 3035 0 46088 0
[pid=32309/tid=32314] ppid=32304 vsize=219612 memory=5420 CPUtime=50.82 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 86142 0 0 0 5072 10 0 0 20 0 3 0 4819572 224882688 40482 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=219612 memory=146508 CPUtime=0 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4819573 224882688 40482 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 219612 KiB
Current children cumulated memory: 161928 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/268 32709
/proc/meminfo: memFree=125031980/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=306364 memory=230904 CPUtime=101.91 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 156367 0 0 0 10172 19 0 0 20 0 3 0 4819567 313716736 57726 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 76591 57726 3302 3035 0 63186 0
[pid=32309/tid=32314] ppid=32304 vsize=306364 memory=12340 CPUtime=101.84 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 149686 0 0 0 10167 17 0 0 20 0 3 0 4819572 313716736 57726 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=306364 memory=222288 CPUtime=0 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 29 0 0 0 0 0 0 0 20 0 3 0 4819573 313716736 57726 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 306364 KiB
Current children cumulated memory: 230904 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 4.09 4.07 5/268 32719
/proc/meminfo: memFree=124919776/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=354444 memory=275564 CPUtime=161.72 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 180740 0 0 0 16150 22 0 0 20 0 3 0 4819567 362950656 68891 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 88611 68891 3302 3035 0 76106 0
[pid=32309/tid=32314] ppid=32304 vsize=354444 memory=265972 CPUtime=161.64 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 174044 0 0 0 16144 20 0 0 20 0 3 0 4819572 362950656 68891 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=354444 memory=272780 CPUtime=0 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 4819573 362950656 68891 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 354444 KiB
################
# More data... #
################
/proc/32309/statm: 242154 220620 3302 3035 0 238124 0
[pid=32309/tid=32314] ppid=32304 vsize=968616 memory=12340 CPUtime=2492.83 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 955546 0 0 0 249095 188 0 0 20 0 3 0 4819572 991862784 220620 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=968616 memory=881352 CPUtime=0.02 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 127 0 0 0 0 2 0 0 20 0 3 0 4819573 991862784 220620 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 2493.19 s
Current children cumulated vsize: 968616 KiB
Current children cumulated memory: 882480 KiB
[startup+2562.3 s]
/proc/loadavg: 4.06 4.13 4.11 5/265 33868
/proc/meminfo: memFree=101518296/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=968616 memory=883748 CPUtime=2552.96 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 974008 0 0 0 255090 206 0 0 20 0 3 0 4819567 991862784 220937 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 242154 220937 3302 3035 0 238363 0
[pid=32309/tid=32314] ppid=32304 vsize=968616 memory=16144 CPUtime=2552.6 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 966592 0 0 0 255066 194 0 0 20 0 3 0 4819572 991862784 220937 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=968616 memory=883292 CPUtime=0.02 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 129 0 0 0 0 2 0 0 20 0 3 0 4819573 991862784 220937 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 2552.96 s
Current children cumulated vsize: 968616 KiB
Current children cumulated memory: 883748 KiB
[startup+2617.92 s]
# the end of solver process 32309 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=2606.22 s, system=2.15778 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2585.6 s]
/proc/loadavg: 4.04 4.12 4.10 5/265 33872
/proc/meminfo: memFree=101515008/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=968616 memory=883748 CPUtime=2576.17 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 980493 0 0 0 257408 209 0 0 20 0 3 0 4819567 991862784 220937 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 242154 220937 3302 3035 0 238363 0
[pid=32309/tid=32314] ppid=32304 vsize=968616 memory=12340 CPUtime=2575.81 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 973072 0 0 0 257383 198 0 0 20 0 3 0 4819572 991862784 220937 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=968616 memory=883748 CPUtime=0.02 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 129 0 0 0 0 2 0 0 20 0 3 0 4819573 991862784 220937 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 2576.17 s
Current children cumulated vsize: 968616 KiB
Current children cumulated memory: 883748 KiB
[startup+2598.4 s]
/proc/loadavg: 4.11 4.13 4.11 5/265 33875
/proc/meminfo: memFree=101503844/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=968616 memory=883748 CPUtime=2588.93 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 982531 0 0 0 258682 211 0 0 20 0 3 0 4819567 991862784 220937 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 242154 220937 3302 3035 0 238363 0
[pid=32309/tid=32314] ppid=32304 vsize=968616 memory=12340 CPUtime=2588.55 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 975106 0 0 0 258656 199 0 0 20 0 3 0 4819572 991862784 220937 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=968616 memory=883748 CPUtime=0.02 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 131 0 0 0 0 2 0 0 20 0 3 0 4819573 991862784 220937 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 2588.93 s
Current children cumulated vsize: 968616 KiB
Current children cumulated memory: 883748 KiB
[startup+2611.2 s]
/proc/loadavg: 4.08 4.12 4.10 5/265 33877
/proc/meminfo: memFree=101503432/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=1034152 memory=884148 CPUtime=2601.67 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 983980 0 0 0 259955 212 0 0 20 0 3 0 4819567 1058971648 221037 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 258538 221037 3302 3035 0 238703 0
[pid=32309/tid=32314] ppid=32304 vsize=1034152 memory=883292 CPUtime=2601.29 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 976543 0 0 0 259929 200 0 0 20 0 3 0 4819572 1058971648 221037 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=1034152 memory=16144 CPUtime=0.02 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 131 0 0 0 0 2 0 0 20 0 3 0 4819573 1058971648 221037 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 2601.67 s
Current children cumulated vsize: 1034152 KiB
Current children cumulated memory: 884148 KiB
[startup+2614.4 s]
/proc/loadavg: 4.08 4.12 4.10 5/265 33877
/proc/meminfo: memFree=101503504/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=1034152 memory=884148 CPUtime=2604.86 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 984296 0 0 0 260274 212 0 0 20 0 3 0 4819567 1058971648 221037 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 258538 221037 3302 3035 0 238703 0
[pid=32309/tid=32314] ppid=32304 vsize=1034152 memory=12680 CPUtime=2604.49 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 976859 0 0 0 260248 201 0 0 20 0 3 0 4819572 1058971648 221037 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=1034152 memory=12340 CPUtime=0.02 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 131 0 0 0 0 2 0 0 20 0 3 0 4819573 1058971648 221037 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 2604.86 s
Current children cumulated vsize: 1034152 KiB
Current children cumulated memory: 884148 KiB
[startup+2616 s]*
/proc/loadavg: 4.08 4.12 4.10 5/265 33877
/proc/meminfo: memFree=101501704/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=1034152 memory=886092 CPUtime=2606.46 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 985810 0 0 0 260433 213 0 0 20 0 3 0 4819567 1058971648 221523 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 258538 221523 3302 3035 0 239910 0
[pid=32309/tid=32314] ppid=32304 vsize=1034152 memory=-7667778057160187514 CPUtime=2606.08 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 978373 0 0 0 260407 201 0 0 20 0 3 0 4819572 1058971648 221523 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=1034152 memory=-7522038826519460798 CPUtime=0.02 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 131 0 0 0 0 2 0 0 20 0 3 0 4819573 1058971648 221523 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 2606.46 s
Current children cumulated vsize: 1034152 KiB
Current children cumulated memory: 886092 KiB
[startup+2616.8 s]
/proc/loadavg: 4.08 4.12 4.10 5/265 33877
/proc/meminfo: memFree=101501704/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=1034152 memory=886476 CPUtime=2607.25 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 986204 0 0 0 260512 213 0 0 20 0 3 0 4819567 1058971648 221619 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 258538 221619 3302 3035 0 239910 0
[pid=32309/tid=32314] ppid=32304 vsize=1034152 memory=16144 CPUtime=2606.87 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 978767 0 0 0 260486 201 0 0 20 0 3 0 4819572 1058971648 221619 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=1034152 memory=2336 CPUtime=0.02 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 131 0 0 0 0 2 0 0 20 0 3 0 4819573 1058971648 221619 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 2607.25 s
Current children cumulated vsize: 1034152 KiB
Current children cumulated memory: 886476 KiB
[startup+2617.6 s]
/proc/loadavg: 4.08 4.12 4.10 5/265 33877
/proc/meminfo: memFree=101500912/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=1036536 memory=888312 CPUtime=2608.04 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 988152 0 0 0 260591 213 0 0 20 0 3 0 4819567 1061412864 222078 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 259134 222078 3302 3035 0 240506 0
[pid=32309/tid=32314] ppid=32304 vsize=1036536 memory=12340 CPUtime=2607.67 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 980715 0 0 0 260565 202 0 0 20 0 3 0 4819572 1061412864 222078 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=1036536 memory=884148 CPUtime=0.02 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 131 0 0 0 0 2 0 0 20 0 3 0 4819573 1061412864 222078 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 2608.04 s
Current children cumulated vsize: 1036536 KiB
Current children cumulated memory: 888312 KiB
[startup+2617.8 s]
/proc/loadavg: 4.08 4.12 4.10 5/265 33877
/proc/meminfo: memFree=101500912/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=1036536 memory=888808 CPUtime=2608.24 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 988319 0 0 0 260611 213 0 0 20 0 3 0 4819567 1061412864 222202 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 259134 222202 3302 3035 0 240506 0
[pid=32309/tid=32314] ppid=32304 vsize=1036536 memory=884176 CPUtime=2607.87 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 980882 0 0 0 260585 202 0 0 20 0 3 0 4819572 1061412864 222202 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=1036536 memory=5344 CPUtime=0.02 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 131 0 0 0 0 2 0 0 20 0 3 0 4819573 1061412864 222202 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 2608.24 s
Current children cumulated vsize: 1036536 KiB
Current children cumulated memory: 888808 KiB
[startup+2617.9 s]
/proc/loadavg: 4.08 4.12 4.10 5/265 33877
/proc/meminfo: memFree=101500912/131524600 swapFree=131071996/131071996
[pid=32309] ppid=32304 vsize=1032228 memory=711908 CPUtime=2608.35 cores=0,2
/proc/32309/stat : 32309 (fscip) S 32304 32309 30194 0 -1 1077936128 988806 0 0 0 260621 214 0 0 20 0 3 0 4819567 1057001472 177977 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
/proc/32309/statm: 258057 177977 3302 3035 0 239429 0
[pid=32309/tid=32314] ppid=32304 vsize=1032228 memory=883292 CPUtime=2607.97 cores=0,2
/proc/32309/task/32314/stat : 32314 (fscip) R 32304 32309 30194 0 -1 4194368 981369 0 0 0 260595 202 0 0 20 0 3 0 4819572 1057001472 177977 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
[pid=32309/tid=32315] ppid=32304 vsize=1032228 memory=883748 CPUtime=0.02 cores=0,2
/proc/32309/task/32315/stat : 32315 (fscip) S 32304 32309 30194 0 -1 1077936192 131 0 0 0 0 2 0 0 20 0 3 0 4819573 1057001472 177977 134679101440 4194304 16623229 140726006294272 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 26783744 140726006297622 140726006297738 140726006297738 140726006304752 0
Current children cumulated CPU time: 2608.35 s
Current children cumulated vsize: 1032228 KiB
Current children cumulated memory: 711908 KiB
Child status: 0
Real time (s): 2617.92
CPU time (s): 2608.38
CPU user time (s): 2606.22
CPU system time (s): 2.15778
CPU usage (%): 99.6356
Max. virtual memory (cumulated for all children) (KiB): 1036536
Max. memory (cumulated for all children) (KiB): 888808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2606.22
system time used= 2.15778
maximum resident set size= 890052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 988942
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= 13653
involuntary context switches= 17862
# summary of solver processes directly reported to runsolver:
# pid: 32309
# total CPU time (s): 2608.38
# total CPU user time (s): 2606.22
# total CPU system time (s): 2.15778
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.28419 second user time and 12.398 second system time
The end
Begin job on nodeC026 at 2024-07-31 01:29:54
IDJOB=4464795
IDBENCH=148531
IDSOLVER=3092
FILE ID=nodeC026/4464795-1722382194
RUNJOBID= nodeC026-1722378594-30204
SLURM_JOB_ID= 8249849
Free space on /tmp= 890016 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_1.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-4464795-1722382194/watcher-4464795-1722382194 -o /tmp/evaluation-result-4464795-1722382194/solver-4464795-1722382194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1722378594-30204 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464795-1722382194.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 55a6d95658ac1c453318efc30b1d836b
RANDOM SEED=1453536771
nodeC026.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 : 3601.272
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.59
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 : 3673.178
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
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 : 3641.738
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.59
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 : 3647.042
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
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 : 3603.892
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.59
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 : 3600.626
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
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 : 3649.787
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.59
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 : 3671.687
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.70
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125828660 kB
MemAvailable: 129862276 kB
Buffers: 95236 kB
Cached: 4755392 kB
SwapCached: 0 kB
Active: 289300 kB
Inactive: 4896748 kB
Active(anon): 1448 kB
Inactive(anon): 354976 kB
Active(file): 287852 kB
Inactive(file): 4541772 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56632 kB
Writeback: 24 kB
AnonPages: 334760 kB
Mapped: 89068 kB
Shmem: 21336 kB
KReclaimable: 87632 kB
Slab: 170304 kB
SReclaimable: 87632 kB
SUnreclaim: 82672 kB
KernelStack: 4044 kB
PageTables: 9716 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 753768 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9696 kB
HardwareCorrupted: 0 kB
AnonHugePages: 595968 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: 205524 kB
DirectMap2M: 16345088 kB
DirectMap1G: 119537664 kB
Free space on /tmp at the end= 889720 MiB
End job on nodeC026 at 2024-07-31 02:13:32