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.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 44118016, getVmSize() = 44118016, SCIPgetMemUsed() = 10607884, SCIPgetMemTotal() = 22289052, SCIPgetMemExternEstim() = 5463096
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.10/0.16 c ** Estimated virtualMemUsedAtSolver = 39758506, getVmSize() = 75157504, SCIPgetMemUsed() = 30150266, SCIPgetMemTotal() = 52140122, SCIPgetMemExternEstim() = 5463096
0.10/0.16 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.10/0.16 c Original Problem :
0.10/0.16 c Problem name : instance-4464004-1722378597
0.10/0.16 c Variables : 1288 (1288 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.16 c Constraints : 2431
0.10/0.16 c Objective sense : minimize
0.10/0.16 c Presolved Problem :
0.10/0.16 c Variables : 1287 (1287 binary, 0 integer, 0 implicit integer, 0 continuous)
0.10/0.16 c Constraints : 1744
0.10/0.16 c Constraints : Number
0.10/0.16 c knapsack : 66
0.10/0.16 c setppc : 496
0.10/0.16 c linear : 1182
0.10/0.16 c ** Instance transfer method used: 0
0.10/0.17 c ** ParaScipInstance copy does not increase the number of variables. **
0.10/0.17 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.10/0.17 c Nodes Active
0.10/0.17 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.66/5.72 c 6 263 128 1 - 55.0000 -
10.44/10.54 c * 11 448 253 1 130.0000 55.0000 136.36%
10.95/11.04 c 11 463 268 1 130.0000 55.0000 136.36%
16.23/16.39 c 16 957 541 1 130.0000 55.0000 136.36%
21.32/21.42 c 21 1173 1 1 130.0000 55.0000 136.36%
26.40/26.54 c 27 2200 344 1 130.0000 55.0000 136.36%
31.39/31.59 c 32 4300 490 1 130.0000 55.0000 136.36%
36.57/36.75 c 37 6824 691 1 130.0000 55.0000 136.36%
41.66/41.80 c 42 9049 969 1 130.0000 55.0000 136.36%
46.64/46.88 c 47 10011 1144 1 130.0000 55.0000 136.36%
51.73/51.93 c 52 11074 1306 1 130.0000 55.0000 136.36%
56.82/57.07 c 57 12037 1444 1 130.0000 55.0000 136.36%
62.10/62.31 c 62 13046 1560 1 130.0000 55.0000 136.36%
67.09/67.37 c 67 14163 1671 1 130.0000 55.0000 136.36%
72.18/72.43 c 72 15502 1780 1 130.0000 55.0000 136.36%
77.17/77.48 c 77 16589 1870 1 130.0000 55.0000 136.36%
82.25/82.56 c 83 17597 1884 1 130.0000 55.0000 136.36%
87.33/87.61 c 88 18692 1905 1 130.0000 55.0000 136.36%
92.33/92.67 c 93 19846 1927 1 130.0000 55.0000 136.36%
97.41/97.72 c 98 20947 1928 1 130.0000 55.0000 136.36%
102.39/102.77 c 103 22149 1900 1 130.0000 55.0000 136.36%
107.49/107.88 c 108 23203 1957 1 130.0000 55.0000 136.36%
112.57/112.94 c 113 24138 2062 1 130.0000 55.0000 136.36%
117.66/118.00 c 118 25306 2082 1 130.0000 55.0000 136.36%
122.64/123.07 c 123 26353 2062 1 130.0000 55.0000 136.36%
127.74/128.12 c 128 27502 2078 1 130.0000 55.0000 136.36%
132.72/133.19 c 133 28601 2090 1 130.0000 55.0000 136.36%
137.80/138.26 c 138 29614 2135 1 130.0000 55.0000 136.36%
142.88/143.32 c 143 30611 2179 1 130.0000 55.0000 136.36%
147.88/148.37 c 148 31663 2214 1 130.0000 55.0000 136.36%
152.96/153.42 c 153 32738 2171 1 130.0000 55.0000 136.36%
157.95/158.47 c 158 33864 2203 1 130.0000 55.0000 136.36%
163.04/163.52 c 164 35142 2223 1 130.0000 55.0000 136.36%
168.02/168.58 c 169 36327 2201 1 130.0000 55.0000 136.36%
173.10/173.65 c 174 37669 2193 1 130.0000 55.0000 136.36%
178.19/178.79 c 179 38891 2197 1 130.0000 55.0000 136.36%
183.28/183.86 c 184 40122 2152 1 130.0000 55.0000 136.36%
188.36/188.92 c 189 41241 2151 1 130.0000 55.0000 136.36%
193.35/193.99 c 194 42268 2147 1 130.0000 55.0000 136.36%
198.44/199.05 c 199 43448 2071 1 130.0000 55.0000 136.36%
203.52/204.10 c 204 44305 2073 1 130.0000 55.0000 136.36%
208.51/209.15 c 209 45434 2049 1 130.0000 55.0000 136.36%
213.58/214.20 c 214 46675 1990 1 130.0000 55.0000 136.36%
218.57/219.26 c 219 47672 2020 1 130.0000 55.0000 136.36%
223.65/224.32 c 224 48789 2023 1 130.0000 55.0000 136.36%
228.73/229.41 c 229 49973 2009 1 130.0000 55.0000 136.36%
233.72/234.46 c 234 51077 1962 1 130.0000 55.0000 136.36%
238.80/239.51 c 240 52305 1929 1 130.0000 55.0000 136.36%
243.78/244.57 c 245 53409 1984 1 130.0000 55.0000 136.36%
248.86/249.63 c 250 54454 2015 1 130.0000 55.0000 136.36%
254.05/254.82 c 255 55403 2067 1 130.0000 55.0000 136.36%
259.23/260.08 c 260 55933 2349 1 130.0000 55.0000 136.36%
264.32/265.17 c 265 56572 2667 1 130.0000 55.0000 136.36%
269.39/270.25 c 270 57369 2935 1 130.0000 55.0000 136.36%
274.97/275.83 c 276 57911 3077 1 130.0000 55.0000 136.36%
280.06/280.90 c 281 58774 3291 1 130.0000 55.0000 136.36%
285.04/285.99 c 286 59439 3435 1 130.0000 55.0000 136.36%
290.12/291.04 c 291 60193 3627 1 130.0000 55.0000 136.36%
295.22/296.13 c 296 60996 3763 1 130.0000 55.0000 136.36%
298.90/299.80 c * 300 61542 3841 1 120.0000 55.0000 118.18%
300.29/301.23 c 301 61924 3893 1 120.0000 55.0000 118.18%
305.38/306.31 c 306 62828 4021 1 120.0000 55.0000 118.18%
310.37/311.37 c 311 63753 4133 1 120.0000 55.0000 118.18%
315.45/316.42 c 316 64688 4316 1 120.0000 55.0000 118.18%
320.44/321.49 c 321 65897 4449 1 120.0000 55.0000 118.18%
325.52/326.54 c 327 66710 4573 1 120.0000 55.0000 118.18%
330.61/331.61 c 332 67744 4719 1 120.0000 55.0000 118.18%
335.59/336.68 c 337 68759 4831 1 120.0000 55.0000 118.18%
340.78/341.89 c 342 69757 4930 1 120.0000 55.0000 118.18%
345.87/346.96 c 347 70846 5005 1 120.0000 55.0000 118.18%
350.96/352.01 c 352 71980 5111 1 120.0000 55.0000 118.18%
350.96/352.01 c * 352 71980 5111 1 119.0000 55.0000 116.36%
355.95/357.06 c 357 72940 4793 1 119.0000 55.0000 116.36%
361.03/362.15 c 362 74014 4900 1 119.0000 55.0000 116.36%
366.11/367.20 c 367 75179 4961 1 119.0000 55.0000 116.36%
371.10/372.29 c 372 76165 5107 1 119.0000 55.0000 116.36%
376.48/377.64 c 378 76738 5285 1 119.0000 55.0000 116.36%
381.67/382.86 c 383 77638 5593 1 119.0000 55.0000 116.36%
382.17/383.36 c * 383 77638 5593 1 118.0000 55.0000 114.55%
385.96/387.16 c * 387 77886 5674 1 103.0000 55.0000 87.27%
386.96/388.18 c 388 78118 5531 1 103.0000 55.0000 87.27%
392.13/393.30 c 393 79312 5772 1 103.0000 55.0000 87.27%
397.42/398.67 c 399 80336 6025 1 103.0000 55.0000 87.27%
402.50/403.77 c 404 80984 6215 1 103.0000 55.0000 87.27%
407.69/408.99 c 409 81512 6411 1 103.0000 55.0000 87.27%
412.79/414.09 c 414 82163 6678 1 103.0000 55.0000 87.27%
414.78/416.08 c * 416 82307 6711 1 93.0000 55.0000 69.09%
417.87/419.18 c 419 82810 6780 1 93.0000 55.0000 69.09%
423.15/424.46 c 424 83482 7030 1 93.0000 55.0000 69.09%
428.34/429.65 c 430 84089 7270 1 93.0000 55.0000 69.09%
433.42/434.71 c 435 84767 7533 1 93.0000 55.0000 69.09%
438.41/439.76 c 440 85418 7801 1 93.0000 55.0000 69.09%
443.60/444.94 c 445 86046 8016 1 93.0000 55.0000 69.09%
448.68/450.04 c 450 86603 8283 1 93.0000 55.0000 69.09%
453.77/455.12 c 455 87174 8495 1 93.0000 55.0000 69.09%
458.76/460.17 c 460 87814 8740 1 93.0000 55.0000 69.09%
463.93/465.30 c 465 88620 8982 1 93.0000 55.0000 69.09%
468.93/470.35 c 470 89379 9236 1 93.0000 55.0000 69.09%
474.01/475.44 c 475 89942 9481 1 93.0000 55.0000 69.09%
479.09/480.54 c 481 90580 9765 1 93.0000 55.0000 69.09%
484.18/485.60 c 486 91283 9985 1 93.0000 55.0000 69.09%
487.57/489.00 c * 489 91636 10107 1 90.0000 55.0000 63.64%
489.26/490.74 c 491 91879 9971 1 90.0000 55.0000 63.64%
494.36/495.82 c 496 92470 10231 1 90.0000 55.0000 63.64%
499.44/500.90 c 501 93010 10445 1 90.0000 55.0000 63.64%
504.53/506.00 c 506 93633 10650 1 90.0000 55.0000 63.64%
509.51/511.09 c 511 94189 10863 1 90.0000 55.0000 63.64%
514.70/516.28 c 516 94813 11045 1 90.0000 55.0000 63.64%
519.78/521.33 c 521 95487 11235 1 90.0000 55.0000 63.64%
524.77/526.38 c 526 96145 11398 1 90.0000 55.0000 63.64%
529.85/531.45 c 531 96812 11590 1 90.0000 55.0000 63.64%
534.93/536.52 c 537 97638 11832 1 90.0000 55.0000 63.64%
540.01/541.61 c 542 98265 12090 1 90.0000 55.0000 63.64%
545.00/546.68 c 547 99145 12440 1 90.0000 55.0000 63.64%
550.19/551.80 c 552 99886 12642 1 90.0000 55.0000 63.64%
555.27/556.92 c 557 100933 12855 1 90.0000 55.0000 63.64%
560.36/562.04 c 562 101604 13079 1 90.0000 55.0000 63.64%
565.44/567.11 c 567 102423 13238 1 90.0000 55.0000 63.64%
570.53/572.20 c 572 103198 13479 1 90.0000 55.0000 63.64%
575.62/577.32 c 577 104233 13650 1 90.0000 55.0000 63.64%
580.60/582.37 c 582 105419 13732 1 90.0000 55.0000 63.64%
585.69/587.44 c 587 106448 13792 1 90.0000 55.0000 63.64%
590.77/592.55 c 593 107515 13791 1 90.0000 55.0000 63.64%
595.86/597.61 c 598 108449 13856 1 90.0000 55.0000 63.64%
600.84/602.66 c 603 109143 14033 1 90.0000 55.0000 63.64%
606.03/607.86 c 608 109944 14261 1 90.0000 55.0000 63.64%
611.11/612.97 c 613 110755 14445 1 90.0000 55.0000 63.64%
616.20/618.10 c 618 111580 14598 1 90.0000 55.0000 63.64%
621.48/623.31 c 623 112267 14782 1 90.0000 55.0000 63.64%
626.46/628.36 c 628 113122 14972 1 90.0000 55.0000 63.64%
631.55/633.41 c 633 114257 15089 1 90.0000 55.0000 63.64%
636.64/638.50 c 638 115028 15245 1 90.0000 55.0000 63.64%
641.72/643.62 c 644 116191 15378 1 90.0000 55.0000 63.64%
646.80/648.71 c 649 117092 15436 1 90.0000 55.0000 63.64%
651.80/653.77 c 654 118218 15655 1 90.0000 55.0000 63.64%
656.88/658.83 c 659 119073 15867 1 90.0000 55.0000 63.64%
661.96/663.90 c 664 119831 16100 1 90.0000 55.0000 63.64%
666.95/668.97 c 669 120713 16222 1 90.0000 55.0000 63.64%
672.04/674.06 c 674 121460 16469 1 90.0000 55.0000 63.64%
677.12/679.16 c 679 122290 16811 1 90.0000 55.0000 63.64%
682.21/684.23 c 684 123209 17033 1 90.0000 55.0000 63.64%
687.29/689.30 c 689 124408 17528 1 90.0000 55.0000 63.64%
692.28/694.35 c 694 125622 17960 1 90.0000 55.0000 63.64%
697.46/699.54 c 700 126707 18341 1 90.0000 55.0000 63.64%
702.54/704.64 c 705 127409 18600 1 90.0000 55.0000 63.64%
707.73/709.82 c 710 128311 18676 1 90.0000 55.0000 63.64%
712.81/714.90 c 715 129287 18778 1 90.0000 55.0000 63.64%
718.01/720.12 c 720 130428 18908 1 90.0000 55.0000 63.64%
722.99/725.17 c 725 131279 19028 1 90.0000 55.0000 63.64%
728.07/730.24 c 730 132110 19218 1 90.0000 55.0000 63.64%
733.16/735.32 c 735 132943 19403 1 90.0000 55.0000 63.64%
738.24/740.43 c 740 133759 19583 1 90.0000 55.0000 63.64%
743.33/745.56 c 746 134593 19794 1 90.0000 55.0000 63.64%
748.41/750.61 c 751 135496 20006 1 90.0000 55.0000 63.64%
753.49/755.73 c 756 136485 20168 1 90.0000 55.0000 63.64%
758.59/760.81 c 761 137268 20311 1 90.0000 55.0000 63.64%
763.67/765.92 c 766 138027 20449 1 90.0000 55.0000 63.64%
768.76/771.02 c 771 138943 20520 1 90.0000 55.0000 63.64%
773.84/776.11 c 776 139744 20689 1 90.0000 55.0000 63.64%
779.03/781.31 c 781 140579 20895 1 90.0000 55.0000 63.64%
784.01/786.37 c 786 141512 21038 1 90.0000 55.0000 63.64%
789.09/791.44 c 791 142357 21223 1 90.0000 55.0000 63.64%
794.18/796.55 c 797 143206 21431 1 90.0000 55.0000 63.64%
799.27/801.64 c 802 143928 21659 1 90.0000 55.0000 63.64%
804.35/806.74 c 807 144581 21803 1 90.0000 55.0000 63.64%
809.43/811.82 c 812 145317 22011 1 90.0000 55.0000 63.64%
814.52/816.96 c 817 146232 22219 1 90.0000 55.0000 63.64%
819.61/822.01 c 822 147081 22487 1 90.0000 55.0000 63.64%
824.70/827.11 c 827 147910 22687 1 90.0000 55.0000 63.64%
829.68/832.18 c 832 148673 23009 1 90.0000 55.0000 63.64%
834.86/837.31 c 837 149547 23222 1 90.0000 55.0000 63.64%
840.04/842.53 c 843 150287 23417 1 90.0000 55.0000 63.64%
845.02/847.59 c 848 151198 23523 1 90.0000 55.0000 63.64%
850.22/852.70 c 853 152066 23626 1 90.0000 55.0000 63.64%
855.20/857.78 c 858 152870 23769 1 90.0000 55.0000 63.64%
860.29/862.88 c 863 153649 23900 1 90.0000 55.0000 63.64%
865.36/867.99 c 868 154509 24040 1 90.0000 55.0000 63.64%
870.46/873.04 c 873 155447 24239 1 90.0000 55.0000 63.64%
875.55/878.13 c 878 156226 24428 1 90.0000 55.0000 63.64%
880.53/883.19 c 883 157054 24638 1 90.0000 55.0000 63.64%
885.61/888.25 c 888 157767 24789 1 90.0000 55.0000 63.64%
890.69/893.34 c 893 158510 24993 1 90.0000 55.0000 63.64%
895.78/898.44 c 898 159246 25169 1 90.0000 55.0000 63.64%
900.87/903.53 c 904 160158 25347 1 90.0000 55.0000 63.64%
905.95/908.60 c 909 161012 25571 1 90.0000 55.0000 63.64%
910.93/913.67 c 914 161888 25836 1 90.0000 55.0000 63.64%
916.02/918.78 c 919 162794 26019 1 90.0000 55.0000 63.64%
921.10/923.84 c 924 163766 26131 1 90.0000 55.0000 63.64%
926.19/928.97 c 929 164639 26279 1 90.0000 55.0000 63.64%
931.27/934.03 c 934 165404 26422 1 90.0000 55.0000 63.64%
936.36/939.12 c 939 166138 26508 1 90.0000 55.0000 63.64%
941.44/944.23 c 944 166966 26657 1 90.0000 55.0000 63.64%
946.43/949.29 c 949 167782 26785 1 90.0000 55.0000 63.64%
951.52/954.36 c 954 168742 26941 1 90.0000 55.0000 63.64%
956.70/959.50 c 960 169585 27145 1 90.0000 55.0000 63.64%
961.69/964.57 c 965 170688 27277 1 90.0000 55.0000 63.64%
966.77/969.64 c 970 171953 27352 1 90.0000 55.0000 63.64%
971.86/974.74 c 975 173146 27421 1 90.0000 55.0000 63.64%
976.95/979.81 c 980 174018 27639 1 90.0000 55.0000 63.64%
981.93/984.86 c 985 174824 27947 1 90.0000 55.0000 63.64%
987.01/989.95 c 990 175736 28236 1 90.0000 55.0000 63.64%
992.11/995.02 c 995 176998 28378 1 90.0000 55.0000 63.64%
997.29/1000.23 c 1000 177912 28566 1 90.0000 55.0000 63.64%
1002.27/1005.28 c 1005 178788 28662 1 90.0000 55.0000 63.64%
1007.36/1010.37 c 1010 179664 28823 1 90.0000 55.0000 63.64%
1012.44/1015.44 c 1015 180537 29035 1 90.0000 55.0000 63.64%
1017.52/1020.56 c 1021 181309 29184 1 90.0000 55.0000 63.64%
1022.60/1025.66 c 1026 182306 29343 1 90.0000 55.0000 63.64%
1027.69/1030.75 c 1031 183362 29466 1 90.0000 55.0000 63.64%
1032.77/1035.84 c 1036 184195 29678 1 90.0000 55.0000 63.64%
1037.76/1040.89 c 1041 185088 29938 1 90.0000 55.0000 63.64%
1042.94/1046.01 c 1046 186092 30207 1 90.0000 55.0000 63.64%
1047.92/1051.08 c 1051 186958 30347 1 90.0000 55.0000 63.64%
1053.11/1056.22 c 1056 187752 30536 1 90.0000 55.0000 63.64%
1058.29/1061.44 c 1061 188408 30656 1 90.0000 55.0000 63.64%
1063.37/1066.52 c 1067 189255 30831 1 90.0000 55.0000 63.64%
1068.36/1071.58 c 1072 190080 31000 1 90.0000 55.0000 63.64%
1073.54/1076.74 c 1077 191043 31211 1 90.0000 55.0000 63.64%
1078.62/1081.87 c 1082 191999 31572 1 90.0000 55.0000 63.64%
1083.70/1086.97 c 1087 192788 31939 1 90.0000 55.0000 63.64%
1088.78/1092.04 c 1092 193528 32288 1 90.0000 55.0000 63.64%
1093.87/1097.13 c 1097 194286 32570 1 90.0000 55.0000 63.64%
1098.95/1102.21 c 1102 195145 32879 1 90.0000 55.0000 63.64%
1104.04/1107.31 c 1107 196017 33108 1 90.0000 55.0000 63.64%
1109.12/1112.40 c 1112 196946 33383 1 90.0000 55.0000 63.64%
1114.21/1117.52 c 1118 197754 33602 1 90.0000 55.0000 63.64%
1119.29/1122.61 c 1123 198613 33795 1 90.0000 55.0000 63.64%
1124.38/1127.72 c 1128 199663 34020 1 90.0000 55.0000 63.64%
1129.37/1132.80 c 1133 200831 34258 1 90.0000 55.0000 63.64%
1134.46/1137.88 c 1138 201953 34469 1 90.0000 55.0000 63.64%
1139.64/1143.03 c 1143 203062 34662 1 90.0000 55.0000 63.64%
1144.63/1148.10 c 1148 204203 34674 1 90.0000 55.0000 63.64%
1149.81/1153.26 c 1153 205399 34741 1 90.0000 55.0000 63.64%
1154.89/1158.34 c 1158 206837 34682 1 90.0000 55.0000 63.64%
1159.98/1163.40 c 1163 208076 34653 1 90.0000 55.0000 63.64%
1164.96/1168.45 c 1168 209381 34664 1 90.0000 55.0000 63.64%
1165.67/1169.14 c * 1169 209381 34664 1 88.0000 55.0000 60.00%
1170.05/1173.52 c 1174 210199 32378 1 88.0000 55.0000 60.00%
1175.14/1178.63 c 1179 211051 32490 1 88.0000 55.0000 60.00%
1180.13/1183.68 c 1184 211939 32594 1 88.0000 55.0000 60.00%
1185.31/1188.84 c 1189 212824 32719 1 88.0000 55.0000 60.00%
1190.40/1193.93 c 1194 213536 32917 1 88.0000 55.0000 60.00%
1195.59/1199.14 c 1199 214450 33016 1 88.0000 55.0000 60.00%
1200.67/1204.24 c 1204 215173 33215 1 88.0000 55.0000 60.00%
1205.76/1209.34 c 1209 215967 33371 1 88.0000 55.0000 60.00%
1210.84/1214.44 c 1214 216841 33580 1 88.0000 55.0000 60.00%
1215.93/1219.55 c 1220 217602 33753 1 88.0000 55.0000 60.00%
1221.02/1224.62 c 1225 218622 33854 1 88.0000 55.0000 60.00%
1226.11/1229.70 c 1230 219508 34065 1 88.0000 55.0000 60.00%
1231.19/1234.89 c 1235 220269 34270 1 88.0000 55.0000 60.00%
1236.28/1239.98 c 1240 221193 34570 1 88.0000 55.0000 60.00%
1241.46/1245.10 c 1245 222058 34783 1 88.0000 55.0000 60.00%
1246.45/1250.18 c 1250 223185 35068 1 88.0000 55.0000 60.00%
1251.53/1255.26 c 1255 224420 35212 1 88.0000 55.0000 60.00%
1256.62/1260.38 c 1260 225482 35335 1 88.0000 55.0000 60.00%
1257.82/1261.57 c * 1262 225611 35366 1 84.0000 55.0000 52.73%
1261.71/1265.50 c 1266 226235 26595 1 84.0000 55.0000 52.73%
1266.79/1270.57 c 1271 227184 26692 1 84.0000 55.0000 52.73%
1271.88/1275.65 c 1276 228071 26868 1 84.0000 55.0000 52.73%
1276.97/1280.74 c 1281 228876 26990 1 84.0000 55.0000 52.73%
1282.05/1285.80 c 1286 229669 27310 1 84.0000 55.0000 52.73%
1287.13/1290.91 c 1291 230701 27449 1 84.0000 55.0000 52.73%
1292.13/1295.98 c 1296 231875 27658 1 84.0000 55.0000 52.73%
1297.32/1301.12 c 1301 232580 27758 1 84.0000 55.0000 52.73%
1302.40/1306.22 c 1306 233483 27862 1 84.0000 55.0000 52.73%
1307.59/1311.40 c 1311 234444 27961 1 84.0000 55.0000 52.73%
1312.57/1316.48 c 1316 235288 28080 1 84.0000 55.0000 52.73%
1317.66/1321.58 c 1322 236235 28219 1 84.0000 55.0000 52.73%
1322.84/1326.79 c 1327 236981 28383 1 84.0000 55.0000 52.73%
1327.93/1331.87 c 1332 237834 28505 1 84.0000 55.0000 52.73%
1333.12/1337.03 c 1337 238732 28750 1 84.0000 55.0000 52.73%
1338.21/1342.13 c 1342 239579 28993 1 84.0000 55.0000 52.73%
1343.28/1347.25 c 1347 240551 29248 1 84.0000 55.0000 52.73%
1348.38/1352.30 c 1352 241554 29369 1 84.0000 55.0000 52.73%
1353.46/1357.49 c 1357 242417 29477 1 84.0000 55.0000 52.73%
1358.54/1362.56 c 1363 243464 29704 1 84.0000 55.0000 52.73%
1363.63/1367.66 c 1368 244422 29839 1 84.0000 55.0000 52.73%
1368.72/1372.72 c 1373 245339 30015 1 84.0000 55.0000 52.73%
1373.70/1377.78 c 1378 246392 30064 1 84.0000 55.0000 52.73%
1378.79/1382.88 c 1383 247361 30085 1 84.0000 55.0000 52.73%
1383.87/1387.93 c 1388 248390 30161 1 84.0000 55.0000 52.73%
1388.97/1393.07 c 1393 249344 30307 1 84.0000 55.0000 52.73%
1394.14/1398.27 c 1398 250233 30396 1 84.0000 55.0000 52.73%
1399.24/1403.34 c 1403 251297 30439 1 84.0000 55.0000 52.73%
1404.32/1408.44 c 1408 252249 30592 1 84.0000 55.0000 52.73%
1409.40/1413.54 c 1414 253011 30750 1 84.0000 55.0000 52.73%
1414.48/1418.63 c 1419 254058 30822 1 84.0000 55.0000 52.73%
1419.68/1423.81 c 1424 254768 30935 1 84.0000 55.0000 52.73%
1424.76/1428.91 c 1429 255653 31053 1 84.0000 55.0000 52.73%
1429.75/1433.97 c 1434 256660 31215 1 84.0000 55.0000 52.73%
1434.84/1439.06 c 1439 257530 31347 1 84.0000 55.0000 52.73%
1439.92/1444.14 c 1444 258545 31439 1 84.0000 55.0000 52.73%
1445.01/1449.25 c 1449 259511 31624 1 84.0000 55.0000 52.73%
1450.09/1454.31 c 1454 260490 31763 1 84.0000 55.0000 52.73%
1455.17/1459.41 c 1459 261573 31910 1 84.0000 55.0000 52.73%
1460.26/1464.53 c 1465 262349 32089 1 84.0000 55.0000 52.73%
1465.35/1469.64 c 1470 263324 32240 1 84.0000 55.0000 52.73%
1470.43/1474.73 c 1475 264166 32408 1 84.0000 55.0000 52.73%
1475.52/1479.85 c 1480 265107 32671 1 84.0000 55.0000 52.73%
1480.61/1484.91 c 1485 265929 32805 1 84.0000 55.0000 52.73%
1485.70/1490.00 c 1490 266857 32919 1 84.0000 55.0000 52.73%
1490.68/1495.06 c 1495 267687 33062 1 84.0000 55.0000 52.73%
1495.77/1500.13 c 1500 268660 33285 1 84.0000 55.0000 52.73%
1500.85/1505.23 c 1505 269601 33389 1 84.0000 55.0000 52.73%
1505.94/1510.38 c 1510 270527 33486 1 84.0000 55.0000 52.73%
1511.12/1515.50 c 1516 271445 33626 1 84.0000 55.0000 52.73%
1516.21/1520.62 c 1521 272500 33758 1 84.0000 55.0000 52.73%
1521.40/1525.81 c 1526 273425 33851 1 84.0000 55.0000 52.73%
1526.38/1530.89 c 1531 274229 33961 1 84.0000 55.0000 52.73%
1531.46/1535.98 c 1536 275075 33952 1 84.0000 55.0000 52.73%
1536.55/1541.08 c 1541 275899 34035 1 84.0000 55.0000 52.73%
1541.64/1546.15 c 1546 276952 34085 1 84.0000 55.0000 52.73%
1546.73/1551.29 c 1551 277805 34177 1 84.0000 55.0000 52.73%
1551.81/1556.38 c 1556 278761 34275 1 84.0000 55.0000 52.73%
1556.89/1561.45 c 1561 279649 34347 1 84.0000 55.0000 52.73%
1561.98/1566.59 c 1567 280388 34493 1 84.0000 55.0000 52.73%
1567.06/1571.64 c 1572 281417 34613 1 84.0000 55.0000 52.73%
1572.16/1576.71 c 1577 282442 34682 1 84.0000 55.0000 52.73%
1577.23/1581.82 c 1582 283452 34683 1 84.0000 55.0000 52.73%
1582.33/1586.91 c 1587 284366 34742 1 84.0000 55.0000 52.73%
1587.51/1592.16 c 1592 285312 34819 1 84.0000 55.0000 52.73%
1592.60/1597.23 c 1597 286177 34949 1 84.0000 55.0000 52.73%
1597.78/1602.41 c 1602 286994 35036 1 84.0000 55.0000 52.73%
1602.87/1607.52 c 1608 287913 35066 1 84.0000 55.0000 52.73%
1608.05/1612.77 c 1613 288849 35284 1 84.0000 55.0000 52.73%
1613.14/1617.87 c 1618 289803 35443 1 84.0000 55.0000 52.73%
1618.22/1623.00 c 1623 290473 35684 1 84.0000 55.0000 52.73%
1623.42/1628.16 c 1628 291368 35816 1 84.0000 55.0000 52.73%
1628.60/1633.31 c 1633 292220 35955 1 84.0000 55.0000 52.73%
1633.68/1638.47 c 1638 293272 36115 1 84.0000 55.0000 52.73%
1638.77/1643.56 c 1644 294272 36224 1 84.0000 55.0000 52.73%
1643.95/1648.70 c 1649 295171 36301 1 84.0000 55.0000 52.73%
1648.94/1653.78 c 1654 296310 36385 1 84.0000 55.0000 52.73%
1654.03/1658.85 c 1659 297105 36406 1 84.0000 55.0000 52.73%
1659.11/1663.97 c 1664 298004 36470 1 84.0000 55.0000 52.73%
1664.20/1669.09 c 1669 298827 36581 1 84.0000 55.0000 52.73%
1669.29/1674.17 c 1674 299816 36780 1 84.0000 55.0000 52.73%
1674.38/1679.28 c 1679 300897 36887 1 84.0000 55.0000 52.73%
1679.55/1684.45 c 1684 301642 37005 1 84.0000 55.0000 52.73%
1684.64/1689.54 c 1690 302611 37202 1 84.0000 55.0000 52.73%
1689.73/1694.62 c 1695 303665 37358 1 84.0000 55.0000 52.73%
1694.82/1699.72 c 1700 304760 37409 1 84.0000 55.0000 52.73%
1699.90/1704.85 c 1705 305644 37451 1 84.0000 55.0000 52.73%
1704.99/1709.98 c 1710 306490 37574 1 84.0000 55.0000 52.73%
1710.07/1715.05 c 1715 307556 37576 1 84.0000 55.0000 52.73%
1715.16/1720.12 c 1720 308628 37796 1 84.0000 55.0000 52.73%
1720.24/1725.22 c 1725 309616 37900 1 84.0000 55.0000 52.73%
1725.33/1730.31 c 1730 310415 38032 1 84.0000 55.0000 52.73%
1730.41/1735.43 c 1735 311261 38137 1 84.0000 55.0000 52.73%
1735.50/1740.57 c 1741 312083 38264 1 84.0000 55.0000 52.73%
1740.59/1745.69 c 1746 312917 38438 1 84.0000 55.0000 52.73%
1745.77/1750.83 c 1751 313695 38586 1 84.0000 55.0000 52.73%
1750.86/1755.92 c 1756 314451 38627 1 84.0000 55.0000 52.73%
1755.95/1761.10 c 1761 315351 38774 1 84.0000 55.0000 52.73%
1761.13/1766.28 c 1766 316292 38890 1 84.0000 55.0000 52.73%
1766.32/1771.40 c 1771 317136 38965 1 84.0000 55.0000 52.73%
1771.50/1776.63 c 1777 318073 39058 1 84.0000 55.0000 52.73%
1776.68/1781.83 c 1782 319001 39159 1 84.0000 55.0000 52.73%
1781.78/1786.94 c 1787 319878 39219 1 84.0000 55.0000 52.73%
1786.87/1792.02 c 1792 320808 39369 1 84.0000 55.0000 52.73%
1791.95/1797.11 c 1797 321687 39447 1 84.0000 55.0000 52.73%
1797.03/1802.26 c 1802 322552 39553 1 84.0000 55.0000 52.73%
1802.12/1807.31 c 1807 323329 39681 1 84.0000 55.0000 52.73%
1807.11/1812.39 c 1812 324443 39773 1 84.0000 55.0000 52.73%
1812.30/1817.50 c 1818 325453 40083 1 84.0000 55.0000 52.73%
1817.27/1822.57 c 1823 326591 40128 1 84.0000 55.0000 52.73%
1822.36/1827.63 c 1828 327550 40248 1 84.0000 55.0000 52.73%
1827.45/1832.76 c 1833 328708 40350 1 84.0000 55.0000 52.73%
1832.53/1837.85 c 1838 329677 40445 1 84.0000 55.0000 52.73%
1837.62/1842.99 c 1843 330501 40551 1 84.0000 55.0000 52.73%
1842.81/1848.18 c 1848 331332 40617 1 84.0000 55.0000 52.73%
1847.89/1853.25 c 1853 332388 40841 1 84.0000 55.0000 52.73%
1852.98/1858.35 c 1858 333404 40978 1 84.0000 55.0000 52.73%
1858.07/1863.43 c 1863 334616 41120 1 84.0000 55.0000 52.73%
1863.15/1868.50 c 1868 335552 41267 1 84.0000 55.0000 52.73%
1868.34/1873.74 c 1874 336483 41370 1 84.0000 55.0000 52.73%
1873.43/1878.81 c 1879 337552 41442 1 84.0000 55.0000 52.73%
1878.41/1883.87 c 1884 338636 41563 1 84.0000 55.0000 52.73%
1883.50/1888.97 c 1889 339910 41684 1 84.0000 55.0000 52.73%
1888.58/1894.05 c 1894 340930 41725 1 84.0000 55.0000 52.73%
1893.77/1899.25 c 1899 342231 41831 1 84.0000 55.0000 52.73%
1898.85/1904.37 c 1904 343398 41968 1 84.0000 55.0000 52.73%
1903.93/1909.47 c 1909 344375 42039 1 84.0000 55.0000 52.73%
1909.02/1914.59 c 1915 345592 42037 1 84.0000 55.0000 52.73%
1914.21/1919.73 c 1920 346810 42043 1 84.0000 55.0000 52.73%
1919.30/1924.89 c 1925 348148 42020 1 84.0000 55.0000 52.73%
1924.48/1930.00 c 1930 349306 42082 1 84.0000 55.0000 52.73%
1929.47/1935.07 c 1935 350306 42151 1 84.0000 55.0000 52.73%
1934.56/1940.14 c 1940 351153 42269 1 84.0000 55.0000 52.73%
1939.64/1945.24 c 1945 352099 42416 1 84.0000 55.0000 52.73%
1944.72/1950.34 c 1950 352906 42501 1 84.0000 55.0000 52.73%
1949.91/1955.52 c 1956 353920 42628 1 84.0000 55.0000 52.73%
1954.99/1960.64 c 1961 354808 42759 1 84.0000 55.0000 52.73%
1960.07/1965.78 c 1966 355679 42878 1 84.0000 55.0000 52.73%
1965.16/1970.85 c 1971 356395 43056 1 84.0000 55.0000 52.73%
1970.24/1975.93 c 1976 357280 43263 1 84.0000 55.0000 52.73%
1975.34/1981.05 c 1981 358178 43469 1 84.0000 55.0000 52.73%
1980.42/1986.12 c 1986 359156 43591 1 84.0000 55.0000 52.73%
1985.60/1991.31 c 1991 360034 43692 1 84.0000 55.0000 52.73%
1990.68/1996.42 c 1996 360989 43788 1 84.0000 55.0000 52.73%
1995.77/2001.51 c 2002 361907 43889 1 84.0000 55.0000 52.73%
2000.86/2006.61 c 2007 362670 43965 1 84.0000 55.0000 52.73%
2005.84/2011.69 c 2012 363512 44061 1 84.0000 55.0000 52.73%
2011.03/2016.86 c 2017 364316 44164 1 84.0000 55.0000 52.73%
2016.42/2022.20 c 2022 365287 44228 1 84.0000 55.0000 52.73%
2021.60/2027.44 c 2027 366220 44303 1 84.0000 55.0000 52.73%
2026.68/2032.57 c 2033 367067 44342 1 84.0000 55.0000 52.73%
2031.87/2037.74 c 2038 367884 44388 1 84.0000 55.0000 52.73%
2037.05/2042.94 c 2043 368847 44434 1 84.0000 55.0000 52.73%
2042.15/2048.10 c 2048 369592 44483 1 84.0000 55.0000 52.73%
2047.33/2053.21 c 2053 370443 44564 1 84.0000 55.0000 52.73%
2052.41/2058.30 c 2058 371227 44632 1 84.0000 55.0000 52.73%
2057.50/2063.47 c 2063 371916 44802 1 84.0000 55.0000 52.73%
2062.88/2068.80 c 2069 372600 45020 1 84.0000 55.0000 52.73%
2067.87/2073.85 c 2074 373535 45143 1 84.0000 55.0000 52.73%
2072.95/2078.92 c 2079 374632 45173 1 84.0000 55.0000 52.73%
2078.05/2084.05 c 2084 375629 45293 1 84.0000 55.0000 52.73%
2083.14/2089.13 c 2089 376673 45385 1 84.0000 55.0000 52.73%
2088.21/2094.23 c 2094 377640 45559 1 84.0000 55.0000 52.73%
2093.30/2099.34 c 2099 378457 45824 1 84.0000 55.0000 52.73%
2098.49/2104.54 c 2105 379428 46032 1 84.0000 55.0000 52.73%
2103.57/2109.62 c 2110 380426 46160 1 84.0000 55.0000 52.73%
2108.66/2114.71 c 2115 381375 46275 1 84.0000 55.0000 52.73%
2113.75/2119.82 c 2120 382531 46359 1 84.0000 55.0000 52.73%
2118.94/2125.00 c 2125 383417 46496 1 84.0000 55.0000 52.73%
2123.93/2130.06 c 2130 384378 46618 1 84.0000 55.0000 52.73%
2129.01/2135.16 c 2135 385387 46663 1 84.0000 55.0000 52.73%
2134.09/2140.27 c 2140 386422 46797 1 84.0000 55.0000 52.73%
2139.18/2145.34 c 2145 387294 46959 1 84.0000 55.0000 52.73%
2144.17/2150.39 c 2150 388109 47132 1 84.0000 55.0000 52.73%
2149.26/2155.49 c 2155 388998 47400 1 84.0000 55.0000 52.73%
2154.44/2160.63 c 2161 390088 47585 1 84.0000 55.0000 52.73%
2159.53/2165.78 c 2166 391154 47787 1 84.0000 55.0000 52.73%
2164.61/2170.84 c 2171 391998 47961 1 84.0000 55.0000 52.73%
2169.80/2176.05 c 2176 392990 48162 1 84.0000 55.0000 52.73%
2174.89/2181.11 c 2181 394079 48309 1 84.0000 55.0000 52.73%
2179.87/2186.18 c 2186 395041 48379 1 84.0000 55.0000 52.73%
2184.95/2191.25 c 2191 396085 48414 1 84.0000 55.0000 52.73%
2190.24/2196.52 c 2197 397162 48538 1 84.0000 55.0000 52.73%
2195.32/2201.60 c 2202 398094 48608 1 84.0000 55.0000 52.73%
2200.42/2206.76 c 2207 399115 48795 1 84.0000 55.0000 52.73%
2205.60/2211.91 c 2212 399912 49039 1 84.0000 55.0000 52.73%
2210.69/2217.00 c 2217 400874 49230 1 84.0000 55.0000 52.73%
2215.78/2222.14 c 2222 401933 49249 1 84.0000 55.0000 52.73%
2220.85/2227.24 c 2227 402965 49194 1 84.0000 55.0000 52.73%
2225.95/2232.30 c 2232 403922 49252 1 84.0000 55.0000 52.73%
2231.03/2237.40 c 2237 404775 49281 1 84.0000 55.0000 52.73%
2236.13/2242.52 c 2243 405557 49359 1 84.0000 55.0000 52.73%
2241.10/2247.57 c 2248 406421 49519 1 84.0000 55.0000 52.73%
2246.39/2252.82 c 2253 407151 49824 1 84.0000 55.0000 52.73%
2251.47/2257.99 c 2258 407810 50129 1 84.0000 55.0000 52.73%
2256.66/2263.19 c 2263 408641 50351 1 84.0000 55.0000 52.73%
2261.85/2268.30 c 2268 409527 50526 1 84.0000 55.0000 52.73%
2266.93/2273.46 c 2273 410360 50680 1 84.0000 55.0000 52.73%
2272.02/2278.57 c 2279 411368 50829 1 84.0000 55.0000 52.73%
2277.10/2283.62 c 2284 412379 50951 1 84.0000 55.0000 52.73%
2282.19/2288.74 c 2289 413508 51080 1 84.0000 55.0000 52.73%
2287.27/2293.88 c 2294 414613 51223 1 84.0000 55.0000 52.73%
2292.36/2298.99 c 2299 415622 51324 1 84.0000 55.0000 52.73%
2297.55/2304.16 c 2304 416566 51423 1 84.0000 55.0000 52.73%
2302.63/2309.23 c 2309 417620 51457 1 84.0000 55.0000 52.73%
2307.72/2314.36 c 2314 418701 51486 1 84.0000 55.0000 52.73%
2312.80/2319.45 c 2319 419788 51735 1 84.0000 55.0000 52.73%
2317.89/2324.56 c 2325 420827 51796 1 84.0000 55.0000 52.73%
2322.97/2329.61 c 2330 421859 51935 1 84.0000 55.0000 52.73%
2328.06/2334.72 c 2335 422981 52028 1 84.0000 55.0000 52.73%
2333.15/2339.85 c 2340 424287 52074 1 84.0000 55.0000 52.73%
2338.34/2345.06 c 2345 425432 52102 1 84.0000 55.0000 52.73%
2343.42/2350.18 c 2350 426492 52156 1 84.0000 55.0000 52.73%
2348.51/2355.26 c 2355 427670 52196 1 84.0000 55.0000 52.73%
2353.59/2360.36 c 2360 429004 52261 1 84.0000 55.0000 52.73%
2358.98/2365.74 c 2366 429958 52435 1 84.0000 55.0000 52.73%
2364.16/2370.96 c 2371 430858 52658 1 84.0000 55.0000 52.73%
2369.25/2376.10 c 2376 431968 52754 1 84.0000 55.0000 52.73%
2374.42/2381.24 c 2381 433107 52749 1 84.0000 55.0000 52.73%
2379.51/2386.32 c 2386 434185 52815 1 84.0000 55.0000 52.73%
2384.49/2391.39 c 2391 435226 52859 1 84.0000 55.0000 52.73%
2389.57/2396.45 c 2396 436215 52929 1 84.0000 55.0000 52.73%
2394.66/2401.50 c 2402 437367 53025 1 84.0000 55.0000 52.73%
2399.74/2406.61 c 2407 438570 53146 1 84.0000 55.0000 52.73%
2404.72/2411.68 c 2412 439592 53267 1 84.0000 55.0000 52.73%
2409.80/2416.73 c 2417 440647 53360 1 84.0000 55.0000 52.73%
2414.88/2421.86 c 2422 441556 53557 1 84.0000 55.0000 52.73%
2419.97/2426.94 c 2427 442379 53722 1 84.0000 55.0000 52.73%
2425.16/2432.15 c 2432 443250 53877 1 84.0000 55.0000 52.73%
2430.24/2437.27 c 2437 444387 53983 1 84.0000 55.0000 52.73%
2435.31/2442.32 c 2442 445437 54032 1 84.0000 55.0000 52.73%
2440.40/2447.41 c 2447 446434 54151 1 84.0000 55.0000 52.73%
2445.38/2452.48 c 2452 447508 54246 1 84.0000 55.0000 52.73%
2450.56/2457.61 c 2458 448474 54325 1 84.0000 55.0000 52.73%
2455.54/2462.67 c 2463 449449 54375 1 84.0000 55.0000 52.73%
2460.63/2467.79 c 2468 450406 54449 1 84.0000 55.0000 52.73%
2465.71/2472.85 c 2473 451404 54516 1 84.0000 55.0000 52.73%
2470.80/2477.90 c 2478 452413 54540 1 84.0000 55.0000 52.73%
2475.79/2482.99 c 2483 453239 54598 1 84.0000 55.0000 52.73%
2480.88/2488.07 c 2488 454323 54622 1 84.0000 55.0000 52.73%
2485.97/2493.12 c 2493 455139 54693 1 84.0000 55.0000 52.73%
2490.95/2498.18 c 2498 456015 54720 1 84.0000 55.0000 52.73%
2496.03/2503.28 c 2503 456779 54917 1 84.0000 55.0000 52.73%
2501.12/2508.36 c 2508 457637 55119 1 84.0000 55.0000 52.73%
2506.20/2513.48 c 2513 458572 55207 1 84.0000 55.0000 52.73%
2511.49/2518.70 c 2519 459434 55296 1 84.0000 55.0000 52.73%
2516.68/2523.92 c 2524 460238 55364 1 84.0000 55.0000 52.73%
2521.76/2529.04 c 2529 460934 55486 1 84.0000 55.0000 52.73%
2526.76/2534.09 c 2534 461742 55627 1 84.0000 55.0000 52.73%
2531.93/2539.28 c 2539 462669 55725 1 84.0000 55.0000 52.73%
2537.22/2544.59 c 2545 463540 55815 1 84.0000 55.0000 52.73%
2542.31/2549.67 c 2550 464753 55955 1 84.0000 55.0000 52.73%
2547.39/2554.75 c 2555 465781 56168 1 84.0000 55.0000 52.73%
2552.58/2559.92 c 2560 466739 56241 1 84.0000 55.0000 52.73%
2557.67/2565.03 c 2565 467600 56278 1 84.0000 55.0000 52.73%
2562.95/2570.34 c 2570 468256 56357 1 84.0000 55.0000 52.73%
2568.03/2575.41 c 2575 469120 56485 1 84.0000 55.0000 52.73%
2573.12/2580.53 c 2581 469973 56638 1 84.0000 55.0000 52.73%
2578.21/2585.60 c 2586 471048 56711 1 84.0000 55.0000 52.73%
2583.19/2590.69 c 2591 472094 56777 1 84.0000 55.0000 52.73%
2588.38/2595.85 c 2596 472970 56819 1 84.0000 55.0000 52.73%
2593.46/2600.91 c 2601 473802 56834 1 84.0000 55.0000 52.73%
2598.45/2605.96 c 2606 474612 56872 1 84.0000 55.0000 52.73%
2603.54/2611.04 c 2611 475348 56915 1 84.0000 55.0000 52.73%
2608.82/2616.30 c 2616 476198 56931 1 84.0000 55.0000 52.73%
2613.91/2621.40 c 2621 477045 56968 1 84.0000 55.0000 52.73%
2618.99/2626.55 c 2627 477873 56995 1 84.0000 55.0000 52.73%
2624.08/2631.61 c 2632 478607 57049 1 84.0000 55.0000 52.73%
2629.16/2636.78 c 2637 479483 57201 1 84.0000 55.0000 52.73%
2634.25/2641.85 c 2642 480408 57239 1 84.0000 55.0000 52.73%
2639.44/2647.02 c 2647 481258 57328 1 84.0000 55.0000 52.73%
2644.43/2652.10 c 2652 482195 57328 1 84.0000 55.0000 52.73%
2649.51/2657.16 c 2657 483097 57345 1 84.0000 55.0000 52.73%
2654.59/2662.26 c 2662 483926 57517 1 84.0000 55.0000 52.73%
2659.88/2667.50 c 2668 484658 57587 1 84.0000 55.0000 52.73%
2664.96/2672.63 c 2673 485288 57659 1 84.0000 55.0000 52.73%
2670.15/2677.85 c 2678 486099 57837 1 84.0000 55.0000 52.73%
2675.44/2683.16 c 2683 486738 58071 1 84.0000 55.0000 52.73%
2680.52/2688.22 c 2688 487523 58255 1 84.0000 55.0000 52.73%
2685.50/2693.29 c 2693 488390 58346 1 84.0000 55.0000 52.73%
2690.69/2698.41 c 2698 489300 58456 1 84.0000 55.0000 52.73%
2695.77/2703.51 c 2704 490199 58552 1 84.0000 55.0000 52.73%
2700.86/2708.65 c 2709 490975 58633 1 84.0000 55.0000 52.73%
2705.95/2713.70 c 2714 491614 58690 1 84.0000 55.0000 52.73%
2710.94/2718.78 c 2719 492546 58775 1 84.0000 55.0000 52.73%
2716.02/2723.86 c 2724 493481 58770 1 84.0000 55.0000 52.73%
2721.11/2728.94 c 2729 494323 58817 1 84.0000 55.0000 52.73%
2726.20/2734.07 c 2734 494974 58910 1 84.0000 55.0000 52.73%
2731.29/2739.19 c 2739 495769 58996 1 84.0000 55.0000 52.73%
2736.67/2744.50 c 2744 496437 59166 1 84.0000 55.0000 52.73%
2741.75/2749.63 c 2750 497423 59241 1 84.0000 55.0000 52.73%
2747.04/2754.90 c 2755 498209 59277 1 84.0000 55.0000 52.73%
2752.13/2760.02 c 2760 498938 59502 1 84.0000 55.0000 52.73%
2757.21/2765.13 c 2765 499550 59728 1 84.0000 55.0000 52.73%
2762.30/2770.28 c 2770 500421 59911 1 84.0000 55.0000 52.73%
2767.48/2775.49 c 2775 501237 60089 1 84.0000 55.0000 52.73%
2772.56/2780.58 c 2781 501991 60269 1 84.0000 55.0000 52.73%
2777.85/2785.85 c 2786 502861 60407 1 84.0000 55.0000 52.73%
2783.23/2791.27 c 2791 503636 60508 1 84.0000 55.0000 52.73%
2788.72/2796.77 c 2797 504471 60728 1 84.0000 55.0000 52.73%
2793.81/2801.83 c 2802 505483 60739 1 84.0000 55.0000 52.73%
2798.99/2807.06 c 2807 506351 60773 1 84.0000 55.0000 52.73%
2804.27/2812.35 c 2812 507116 60969 1 84.0000 55.0000 52.73%
2809.36/2817.41 c 2817 507906 61001 1 84.0000 55.0000 52.73%
2814.64/2822.72 c 2823 508699 61152 1 84.0000 55.0000 52.73%
2819.64/2827.78 c 2828 509688 61282 1 84.0000 55.0000 52.73%
2824.81/2832.90 c 2833 511203 61412 1 84.0000 55.0000 52.73%
2829.80/2837.95 c 2838 512637 61553 1 84.0000 55.0000 52.73%
2834.89/2843.01 c 2843 514525 61519 1 84.0000 55.0000 52.73%
2839.87/2848.10 c 2848 515713 61622 1 84.0000 55.0000 52.73%
2844.96/2853.15 c 2853 516916 61802 1 84.0000 55.0000 52.73%
2850.34/2858.53 c 2859 518186 62060 1 84.0000 55.0000 52.73%
2855.42/2863.69 c 2864 519436 62349 1 84.0000 55.0000 52.73%
2860.60/2868.84 c 2869 520987 62534 1 84.0000 55.0000 52.73%
2865.69/2873.92 c 2874 522671 62674 1 84.0000 55.0000 52.73%
2870.78/2879.06 c 2879 524199 62797 1 84.0000 55.0000 52.73%
2875.86/2884.14 c 2884 525212 62831 1 84.0000 55.0000 52.73%
2880.85/2889.19 c 2889 526025 63006 1 84.0000 55.0000 52.73%
2886.03/2894.39 c 2894 526912 63155 1 84.0000 55.0000 52.73%
2891.11/2899.49 c 2899 527985 63246 1 84.0000 55.0000 52.73%
2896.20/2904.59 c 2905 528657 63345 1 84.0000 55.0000 52.73%
2901.49/2909.82 c 2910 529707 63518 1 84.0000 55.0000 52.73%
2906.57/2914.94 c 2915 530688 63683 1 84.0000 55.0000 52.73%
2911.96/2920.32 c 2920 531386 63899 1 84.0000 55.0000 52.73%
2917.05/2925.43 c 2925 532347 64132 1 84.0000 55.0000 52.73%
2922.13/2930.56 c 2931 533180 64317 1 84.0000 55.0000 52.73%
2927.31/2935.73 c 2936 533812 64500 1 84.0000 55.0000 52.73%
2932.40/2940.84 c 2941 534712 64665 1 84.0000 55.0000 52.73%
2937.48/2945.94 c 2946 535412 64799 1 84.0000 55.0000 52.73%
2942.48/2950.99 c 2951 536443 64857 1 84.0000 55.0000 52.73%
2947.56/2956.08 c 2956 537461 64907 1 84.0000 55.0000 52.73%
2952.65/2961.15 c 2961 538383 65071 1 84.0000 55.0000 52.73%
2957.74/2966.22 c 2966 539401 65083 1 84.0000 55.0000 52.73%
2962.81/2971.30 c 2971 540560 65206 1 84.0000 55.0000 52.73%
2967.81/2976.37 c 2976 541606 65327 1 84.0000 55.0000 52.73%
2972.99/2981.54 c 2982 542400 65476 1 84.0000 55.0000 52.73%
2977.97/2986.59 c 2987 543413 65594 1 84.0000 55.0000 52.73%
2983.16/2991.76 c 2992 544613 65640 1 84.0000 55.0000 52.73%
2988.25/2996.83 c 2997 545892 65674 1 84.0000 55.0000 52.73%
2993.33/3001.90 c 3002 547173 65747 1 84.0000 55.0000 52.73%
2998.31/3006.95 c 3007 548188 65854 1 84.0000 55.0000 52.73%
3003.40/3012.01 c 3012 549236 66038 1 84.0000 55.0000 52.73%
3008.40/3017.07 c 3017 550417 66266 1 84.0000 55.0000 52.73%
3013.48/3022.12 c 3022 551405 66514 1 84.0000 55.0000 52.73%
3018.56/3027.24 c 3027 552711 66765 1 84.0000 55.0000 52.73%
3023.54/3032.29 c 3032 553785 67014 1 84.0000 55.0000 52.73%
3028.63/3037.35 c 3037 554972 67164 1 84.0000 55.0000 52.73%
3033.72/3042.40 c 3042 556332 67286 1 84.0000 55.0000 52.73%
3038.70/3047.46 c 3047 557580 67356 1 84.0000 55.0000 52.73%
3043.79/3052.55 c 3053 558568 67392 1 84.0000 55.0000 52.73%
3048.97/3057.71 c 3058 559829 67414 1 84.0000 55.0000 52.73%
3053.96/3062.78 c 3063 560897 67571 1 84.0000 55.0000 52.73%
3059.04/3067.83 c 3068 561929 67584 1 84.0000 55.0000 52.73%
3064.13/3072.91 c 3073 563198 67593 1 84.0000 55.0000 52.73%
3069.11/3077.97 c 3078 564478 67660 1 84.0000 55.0000 52.73%
3074.20/3083.03 c 3083 565575 67738 1 84.0000 55.0000 52.73%
3079.18/3088.10 c 3088 566763 67766 1 84.0000 55.0000 52.73%
3084.27/3093.18 c 3093 567969 67812 1 84.0000 55.0000 52.73%
3089.35/3098.26 c 3098 569210 67948 1 84.0000 55.0000 52.73%
3094.43/3103.31 c 3103 570439 67919 1 84.0000 55.0000 52.73%
3099.52/3108.41 c 3108 571608 67942 1 84.0000 55.0000 52.73%
3104.50/3113.48 c 3113 572707 68017 1 84.0000 55.0000 52.73%
3109.58/3118.56 c 3119 573920 68063 1 84.0000 55.0000 52.73%
3114.67/3123.67 c 3124 574912 68077 1 84.0000 55.0000 52.73%
3119.75/3128.74 c 3129 576211 68082 1 84.0000 55.0000 52.73%
3124.74/3133.79 c 3134 577301 68115 1 84.0000 55.0000 52.73%
3129.83/3138.86 c 3139 578204 68267 1 84.0000 55.0000 52.73%
3134.91/3143.93 c 3144 579315 68315 1 84.0000 55.0000 52.73%
3139.89/3148.98 c 3149 580447 68334 1 84.0000 55.0000 52.73%
3144.98/3154.03 c 3154 581503 68447 1 84.0000 55.0000 52.73%
3149.97/3159.08 c 3159 582473 68517 1 84.0000 55.0000 52.73%
3155.15/3164.22 c 3164 583650 68539 1 84.0000 55.0000 52.73%
3160.13/3169.27 c 3169 584884 68566 1 84.0000 55.0000 52.73%
3165.32/3174.45 c 3174 585948 68637 1 84.0000 55.0000 52.73%
3170.40/3179.53 c 3180 587154 68757 1 84.0000 55.0000 52.73%
3175.50/3184.60 c 3185 588280 68810 1 84.0000 55.0000 52.73%
3180.48/3189.66 c 3190 589466 68916 1 84.0000 55.0000 52.73%
3185.57/3194.71 c 3195 590943 68980 1 84.0000 55.0000 52.73%
3190.55/3199.76 c 3200 592137 69033 1 84.0000 55.0000 52.73%
3195.63/3204.82 c 3205 593405 69005 1 84.0000 55.0000 52.73%
3200.62/3209.87 c 3210 594527 69008 1 84.0000 55.0000 52.73%
3205.70/3214.92 c 3215 595667 69042 1 84.0000 55.0000 52.73%
3210.79/3220.03 c 3220 596956 69120 1 84.0000 55.0000 52.73%
3215.77/3225.09 c 3225 598497 69165 1 84.0000 55.0000 52.73%
3220.86/3230.19 c 3230 599831 69217 1 84.0000 55.0000 52.73%
3225.94/3235.24 c 3235 601080 69302 1 84.0000 55.0000 52.73%
3231.02/3240.33 c 3240 602524 69300 1 84.0000 55.0000 52.73%
3236.11/3245.40 c 3245 603862 69292 1 84.0000 55.0000 52.73%
3241.09/3250.45 c 3250 605175 69253 1 84.0000 55.0000 52.73%
3246.18/3255.54 c 3256 606208 69350 1 84.0000 55.0000 52.73%
3251.16/3260.59 c 3261 607563 69469 1 84.0000 55.0000 52.73%
3256.25/3265.64 c 3266 608761 69520 1 84.0000 55.0000 52.73%
3261.24/3270.70 c 3271 610108 69491 1 84.0000 55.0000 52.73%
3266.32/3275.75 c 3276 611056 69472 1 84.0000 55.0000 52.73%
3271.61/3281.00 c 3281 611941 69670 1 84.0000 55.0000 52.73%
3276.60/3286.05 c 3286 613529 69692 1 84.0000 55.0000 52.73%
3281.58/3291.10 c 3291 614860 69785 1 84.0000 55.0000 52.73%
3286.76/3296.27 c 3296 616115 69904 1 84.0000 55.0000 52.73%
3292.04/3301.52 c 3302 617093 69933 1 84.0000 55.0000 52.73%
3297.03/3306.57 c 3307 618293 69972 1 84.0000 55.0000 52.73%
3302.12/3311.62 c 3312 619690 69991 1 84.0000 55.0000 52.73%
3307.20/3316.71 c 3317 620694 70042 1 84.0000 55.0000 52.73%
3312.28/3321.84 c 3322 621591 70045 1 84.0000 55.0000 52.73%
3317.37/3326.94 c 3327 622663 70048 1 84.0000 55.0000 52.73%
3322.36/3331.99 c 3332 624049 70053 1 84.0000 55.0000 52.73%
3327.44/3337.05 c 3337 624933 70091 1 84.0000 55.0000 52.73%
3332.53/3342.15 c 3342 626012 70175 1 84.0000 55.0000 52.73%
3337.91/3347.50 c 3348 627253 70212 1 84.0000 55.0000 52.73%
3342.89/3352.58 c 3353 628334 70171 1 84.0000 55.0000 52.73%
3347.98/3357.64 c 3358 629417 70262 1 84.0000 55.0000 52.73%
3353.06/3362.77 c 3363 630289 70322 1 84.0000 55.0000 52.73%
3358.25/3367.91 c 3368 631139 70348 1 84.0000 55.0000 52.73%
3363.23/3372.96 c 3373 631966 70367 1 84.0000 55.0000 52.73%
3368.42/3378.16 c 3378 632909 70400 1 84.0000 55.0000 52.73%
3373.50/3383.24 c 3383 633819 70426 1 84.0000 55.0000 52.73%
3378.58/3388.36 c 3388 634621 70546 1 84.0000 55.0000 52.73%
3383.67/3393.41 c 3393 635608 70704 1 84.0000 55.0000 52.73%
3388.66/3398.46 c 3398 636553 70783 1 84.0000 55.0000 52.73%
3393.75/3403.53 c 3404 637440 70845 1 84.0000 55.0000 52.73%
3398.73/3408.59 c 3409 638433 70883 1 84.0000 55.0000 52.73%
3403.92/3413.70 c 3414 639410 70918 1 84.0000 55.0000 52.73%
3408.90/3418.75 c 3419 640274 70944 1 84.0000 55.0000 52.73%
3413.99/3423.80 c 3424 641265 71032 1 84.0000 55.0000 52.73%
3419.07/3428.91 c 3429 642127 71062 1 84.0000 55.0000 52.73%
3424.16/3434.02 c 3434 643056 71111 1 84.0000 55.0000 52.73%
3429.14/3439.10 c 3439 643958 71173 1 84.0000 55.0000 52.73%
3434.23/3444.19 c 3444 644801 71248 1 84.0000 55.0000 52.73%
3439.31/3449.24 c 3449 645693 71378 1 84.0000 55.0000 52.73%
3444.30/3454.29 c 3454 646675 71498 1 84.0000 55.0000 52.73%
3449.48/3459.40 c 3459 647834 71576 1 84.0000 55.0000 52.73%
3454.57/3464.50 c 3464 648842 71589 1 84.0000 55.0000 52.73%
3459.55/3469.56 c 3470 649961 71649 1 84.0000 55.0000 52.73%
3464.64/3474.67 c 3475 651257 71675 1 84.0000 55.0000 52.73%
3469.73/3479.78 c 3480 652468 71671 1 84.0000 55.0000 52.73%
3474.81/3484.83 c 3485 653375 71741 1 84.0000 55.0000 52.73%
3479.90/3489.91 c 3490 654177 71886 1 84.0000 55.0000 52.73%
3484.98/3495.04 c 3495 655174 72016 1 84.0000 55.0000 52.73%
3490.16/3500.21 c 3500 656331 72090 1 84.0000 55.0000 52.73%
3495.15/3505.26 c 3505 657266 72151 1 84.0000 55.0000 52.73%
3500.23/3510.34 c 3510 658329 72199 1 84.0000 55.0000 52.73%
3505.42/3515.51 c 3516 659607 72266 1 84.0000 55.0000 52.73%
3510.51/3520.62 c 3521 660396 72324 1 84.0000 55.0000 52.73%
3515.49/3525.69 c 3526 661703 72414 1 84.0000 55.0000 52.73%
3520.57/3530.79 c 3531 662756 72478 1 84.0000 55.0000 52.73%
3525.66/3535.86 c 3536 663679 72523 1 84.0000 55.0000 52.73%
3530.75/3540.95 c 3541 664552 72520 1 84.0000 55.0000 52.73%
3535.84/3546.04 c 3546 665218 72576 1 84.0000 55.0000 52.73%
3540.93/3551.16 c 3551 666126 72656 1 84.0000 55.0000 52.73%
3546.00/3556.28 c 3556 667183 72714 1 84.0000 55.0000 52.73%
3551.19/3561.42 c 3561 668012 72760 1 84.0000 55.0000 52.73%
3556.48/3566.75 c 3567 668882 72984 1 84.0000 55.0000 52.73%
3561.56/3571.85 c 3572 669865 73094 1 84.0000 55.0000 52.73%
3566.86/3577.15 c 3577 670884 73178 1 84.0000 55.0000 52.73%
3571.94/3582.24 c 3582 671884 73261 1 84.0000 55.0000 52.73%
3577.02/3587.36 c 3587 672639 73306 1 84.0000 55.0000 52.73%
3582.21/3592.51 c 3593 673552 73355 1 84.0000 55.0000 52.73%
3587.29/3597.68 c 3598 674217 73382 1 84.0000 55.0000 52.73%
3588.29/3598.66 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.29/3598.66 c Total Time : 3598.66
3588.29/3598.66 c solving : 3598.66
3588.29/3598.66 c presolving : 0.13 (included in solving)
3588.29/3598.66 c B&B Tree :
3588.29/3598.66 c nodes (total) : 1
3588.29/3598.66 c Solution :
3588.29/3598.66 c Solutions found : 9
3588.29/3598.66 c Primal Bound : +8.40000000000000e+01
3588.29/3598.66 c Dual Bound : +5.50000000000000e+01
3588.29/3598.66 c Gap : 52.72727 %
3588.29/3598.66 c * Warning: final gap: 5.27273e-01 is greater than SCIPepsilon: 1.00000e-09
3588.29/3598.66 o 84
3588.29/3598.66 s SATISFIABLE
3588.29/3598.66 v x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107
3588.29/3598.66 v x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132
3588.29/3598.66 v x133 x134 x135 x136 x137 x138 x139 x140 x141 -x142 -x143 x144 x145 x146 x147 x148 x149 x150 -x151 x152 x153 x154 x155 x156 x157
3588.29/3598.66 v x158 x159 x160 x161 x162 x163 x164 x165 -x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181
3588.29/3598.66 v x182 x183 -x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 -x195 x196 x197 x198 x199 x200 x201 x202 -x203 x204 x205 x206
3588.29/3598.66 v x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 -x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231
3588.29/3598.66 v x232 x233 x234 x235 -x236 x237 -x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255
3588.29/3598.66 v x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 -x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280
3588.29/3598.66 v x281 x282 x283 x284 -x285 x286 -x287 x288 x289 x290 x291 x292 x293 -x294 x295 x296 x297 x298 x299 -x300 x301 x302 x303 x304
3588.29/3598.66 v x305 -x306 x307 x308 x309 x310 x311 -x312 -x313 x314 x315 x316 x317 -x318 -x319 x320 x321 x322 -x323 x324 x325 x326 -x327 x328
3588.29/3598.66 v x329 -x330 -x331 -x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352
3588.29/3598.66 v -x353 -x354 x355 x356 x357 -x358 -x359 x360 x361 x362 -x363 x364 x365 x366 -x367 -x368 x369 -x370 -x371 -x372 x373 x374 x375
3588.29/3598.66 v x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 -x389 x390 x391 x392 -x393 x394 x395 x396 -x397 -x398 x399
3588.29/3598.66 v x400 -x401 -x402 -x403 -x404 -x405 -x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 -x419 x420 x421 -x422 -x423
3588.29/3598.66 v x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 x435 -x436 x437 -x438 x439 -x440 x441 -x442 -x443 -x444 -x445
3588.29/3598.66 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 x465 x466
3588.29/3598.66 v x467 x468 x469 x470 x471 -x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 -x487 x488 x489 x490 x491
3588.29/3598.66 v x492 x493 x494 x495 x496 x497 x498 x499 x500 x501 x502 x503 x504 -x505 x506 x507 -x508 x509 x510 x511 x512 x513 x514 x515
3588.29/3598.66 v -x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 -x531 x532 x533 x534 x535 x536 x537 x538 x539 x540
3588.29/3598.66 v x541 x542 x543 x544 x545 x546 x547 x548 -x549 x550 -x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564
3588.29/3598.66 v x565 x566 x567 x568 x569 x570 x571 x572 -x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589
3588.29/3598.66 v x590 -x591 x592 -x593 -x594 x595 x596 x597 x598 x599 -x600 x601 x602 x603 x604 x605 -x606 x607 x608 x609 x610 x611 -x612 -x613
3588.29/3598.66 v x614 x615 x616 x617 -x618 -x619 x620 x621 x622 -x623 x624 x625 x626 -x627 x628 x629 -x630 -x631 -x632 x633 x634 x635 x636
3588.29/3598.66 v x637 x638 x639 x640 x641 x642 x643 x644 x645 x646 x647 -x648 -x649 x650 x651 x652 -x653 -x654 x655 x656 x657 -x658 x659 x660
3588.29/3598.66 v x661 -x662 -x663 x664 -x665 -x666 -x667 x668 x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 -x680 x681 x682 x683 -x684
3588.29/3598.66 v x685 x686 x687 -x688 -x689 x690 x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 x699 x700 x701 x702 x703 x704 x705 x706 -x707
3588.29/3598.66 v x708 x709 -x710 -x711 x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 x725 -x726 x727 -x728 -x729
3588.29/3598.66 v -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x21 -x20 -x19 -x18
3588.29/3598.66 v -x17 -x16 -x15 -x748 x749 x750 x751 x752 x753 x754 x755 x756 x757 x758 x759 x760 x761 x762 x763 x764 x765 x766 x767 x768
3588.29/3598.66 v x769 x770 x771 x772 x773 x774 x775 x776 x777 x778 x779 x780 x781 x782 x783 x784 x785 x786 x787 x788 x789 x790 x791 x792 x793
3588.29/3598.66 v x794 x795 x796 x797 x798 x799 x800 x801 x802 x803 x804 x805 x806 x807 x808 x809 x810 x811 x812 x813 x814 x815 x816 x817 x818
3588.29/3598.66 v x819 x820 x821 x822 x823 x824 x825 x826 x827 x828 x829 x830 -x831 -x832 x833 x834 x835 x836 -x837 x838 x839 x840 x841 -x842 x843
3588.29/3598.67 v x844 x845 x846 x847 x848 -x849 -x850 -x851 x852 x853 x854 x855 x856 x857 x858 x859 x860 x861 -x862 x863 x864 x865 x866 -x867
3588.29/3598.67 v x868 x869 x870 x871 -x872 x873 x874 x875 -x876 x877 x878 -x879 -x880 -x881 x882 x883 x884 x885 x886 x887 x888 x889 -x890
3588.29/3598.67 v x891 x892 x893 -x894 x895 x896 x897 -x898 x899 x900 x901 -x902 -x903 x904 -x905 -x906 -x907 x908 x909 x910 x911 x912 x913 x914
3588.29/3598.67 v x915 x916 -x917 x918 x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 x930 x931 x932 -x933 -x934 -x935 -x936
3588.29/3598.67 v -x937 -x938 -x939 -x940 -x941 -x942 -x943 x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x14 -x13 -x12 -x11 x10 -x9 x8 x952 x953
3588.29/3598.67 v x954 x955 x956 x957 x958 x959 x960 x961 x962 x963 x964 x965 x966 x967 x968 x969 x970 x971 x972 x973 x974 x975 x976 x977 x978
3588.29/3598.67 v x979 x980 x981 x982 x983 x984 x985 -x986 -x987 x988 x989 x990 x991 -x992 x993 x994 x995 x996 -x997 x998 x999 x1000 x1001
3588.29/3598.67 v x1002 x1003 -x1004 -x1005 -x1006 x1007 x1008 x1009 x1010 x1011 -x1012 x1013 x1014 x1015 x1016 -x1017 x1018 x1019 x1020 x1021
3588.29/3598.67 v -x1022 x1023 x1024 x1025 x1026 x1027 x1028 -x1029 -x1030 -x1031 x1032 x1033 x1034 x1035 -x1036 x1037 x1038 x1039 -x1040 x1041
3588.29/3598.67 v x1042 x1043 -x1044 x1045 x1046 x1047 -x1048 -x1049 x1050 -x1051 -x1052 -x1053 x1054 x1055 x1056 x1057 x1058 x1059 x1060 x1061
3588.29/3598.67 v x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
3588.29/3598.67 v -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x28 -x27 -x26 -x25 x24 -x23 x22 -x1092 -x1093
3588.29/3598.67 v x1094 x1095 x1096 x1097 -x1098 x1099 x1100 x1101 x1102 -x1103 x1104 x1105 x1106 x1107 x1108 x1109 -x1110 -x1111 -x1112 -x1113
3588.29/3598.67 v x1114 x1115 x1116 x1117 -x1118 x1119 x1120 x1121 x1122 -x1123 x1124 x1125 x1126 x1127 x1128 x1129 -x1130 -x1131 -x1132 -x1133
3588.29/3598.67 v x1134 x1135 x1136 -x1137 x1138 x1139 x1140 -x1141 x1142 x1143 x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 x1151 x1152
3588.29/3598.67 v x1153 x1154 x1155 x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171
3588.29/3598.67 v -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x35 -x34 -x33 -x32 -x31 x30 x29 x1183 x1184
3588.29/3598.67 v x1185 x1186 x1187 x1188 x1189 x1190 x1191 x1192 x1193 x1194 x1195 x1196 x1197 x1198 x1199 x1200 x1201 -x1202 x1203 x1204 x1205
3588.29/3598.67 v x1206 x1207 x1208 -x1209 -x1210 -x1211 x1212 x1213 x1214 x1215 x1216 x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 x1224
3588.29/3598.67 v x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x42 -x41 -x40 x39 x38 x37 -x36 x1238
3588.29/3598.67 v x1239 x1240 x1241 x1242 x1243 x1244 -x1245 x1246 -x1247 x1248 x1249 x1250 -x1251 x1252 x1253 -x1254 -x1255 -x1256 -x1257 x1258
3588.29/3598.67 v -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x49 -x48 -x47 x46 x45 -x44 x43 x1268 x1269 x1270 -x1271
3588.29/3598.67 v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x56 -x55 x54 -x53 -x52 -x51 x50 -x1282 -x1283 -x1284 -x1285
3588.29/3598.67 v -x1286 -x63 -x62 x61 -x60 x59 x58 x57 x1287 -x77 x76 -x75 -x74 -x73 -x72 -x71 -x70 x69 -x68 -x67 x66 -x65 -x64 x1288 -x7
3588.29/3598.67 v -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 (63047 MiB free)
memory of node 1: 64473 MiB (63550 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464004-1722378597/watcher-4464004-1722378597 -o /tmp/evaluation-result-4464004-1722378597/solver-4464004-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722378597-28849 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464004-1722378597.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=28902, runsolver pid=28899
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 0.14 0.12 0.09 5/260 28913
/proc/meminfo: memFree=129486616/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=46892 memory=36608 CPUtime=0.1 cores=1,3
/proc/28902/stat : 28902 (fscip) R 28899 28902 28837 0 -1 4194304 9395 0 0 0 9 1 0 0 20 0 1 0 4461711 48017408 9152 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 11723 9152 2726 3035 0 8119 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 46892 KiB
Current children cumulated memory: 36608 KiB
[startup+0.205857 s]*
/proc/loadavg: 0.14 0.12 0.09 5/262 28915
/proc/meminfo: memFree=129366592/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=160348 memory=86336 CPUtime=0.19 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 21417 0 0 0 17 2 0 0 20 0 3 0 4461711 164196352 21584 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 40087 21584 2806 3035 0 25881 0
[pid=28902/tid=28914] ppid=28899 vsize=160348 memory=8505393642823811203 CPUtime=0.02 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 5272 0 0 0 2 0 0 0 20 0 3 0 4461727 164196352 21584 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=160348 memory=645 CPUtime=0 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4461729 164196352 21584 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 160348 KiB
Current children cumulated memory: 86336 KiB
[startup+0.305856 s]*
/proc/loadavg: 0.14 0.12 0.09 5/262 28915
/proc/meminfo: memFree=129365076/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=167636 memory=102052 CPUtime=0.29 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 24757 0 0 0 26 3 0 0 20 0 3 0 4461711 171659264 25513 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 41909 25513 2854 3035 0 29918 0
[pid=28902/tid=28914] ppid=28899 vsize=167636 memory=-6000919468495168621 CPUtime=0.12 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 8612 0 0 0 11 1 0 0 20 0 3 0 4461727 171659264 25513 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=167636 memory=0 CPUtime=0 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4461729 171659264 25513 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 167636 KiB
Current children cumulated memory: 102052 KiB
[startup+0.700255 s]
/proc/loadavg: 0.14 0.12 0.09 5/263 28916
/proc/meminfo: memFree=129276840/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=167636 memory=129828 CPUtime=0.67 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 31627 0 0 0 63 4 0 0 20 0 3 0 4461711 171659264 32457 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 41909 32457 2950 3035 0 37225 0
[pid=28902/tid=28914] ppid=28899 vsize=167636 memory=0 CPUtime=0.5 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 15482 0 0 0 48 2 0 0 20 0 3 0 4461727 171659264 32457 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=167636 memory=0 CPUtime=0 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4461729 171659264 32457 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 167636 KiB
Current children cumulated memory: 129828 KiB
[startup+1.50022 s]
/proc/loadavg: 0.14 0.12 0.09 5/266 28919
/proc/meminfo: memFree=129098096/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=233172 memory=154904 CPUtime=1.47 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 42999 0 0 0 142 5 0 0 20 0 3 0 4461711 238768128 38726 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 58293 38726 2950 3035 0 43838 0
[pid=28902/tid=28914] ppid=28899 vsize=233172 memory=0 CPUtime=1.3 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 26834 0 0 0 127 3 0 0 20 0 3 0 4461727 238768128 38726 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=233172 memory=0 CPUtime=0 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4461729 238768128 38726 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 233172 KiB
Current children cumulated memory: 154904 KiB
[startup+3.10556 s]
/proc/loadavg: 0.45 0.18 0.11 6/266 28921
/proc/meminfo: memFree=128960816/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=233172 memory=157672 CPUtime=3.07 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 46114 0 0 0 301 6 0 0 20 0 3 0 4461711 238768128 39418 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 58293 39418 2966 3035 0 43973 0
[pid=28902/tid=28914] ppid=28899 vsize=233172 memory=0 CPUtime=2.9 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 29947 0 0 0 287 3 0 0 20 0 3 0 4461727 238768128 39418 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=233172 memory=130092 CPUtime=0 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 3 0 4461729 238768128 39418 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 233172 KiB
Current children cumulated memory: 157672 KiB
[startup+6.3002 s]
/proc/loadavg: 0.45 0.18 0.11 5/266 28921
/proc/meminfo: memFree=128931104/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=233172 memory=161132 CPUtime=6.26 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 60352 0 0 0 619 7 0 0 20 0 3 0 4461711 238768128 40283 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 58293 40283 2966 3035 0 45230 0
[pid=28902/tid=28914] ppid=28899 vsize=233172 memory=0 CPUtime=6.08 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 44161 0 0 0 604 4 0 0 20 0 3 0 4461727 238768128 40283 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=233172 memory=11556 CPUtime=0 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4461729 238768128 40283 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 233172 KiB
Current children cumulated memory: 161132 KiB
[startup+12.7002 s]
/proc/loadavg: 1.00 0.31 0.16 5/266 28921
/proc/meminfo: memFree=128883044/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=233172 memory=163312 CPUtime=12.64 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 86820 0 0 0 1255 9 0 0 20 0 3 0 4461711 238768128 40828 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 58293 40828 3014 3035 0 45280 0
[pid=28902/tid=28914] ppid=28899 vsize=233172 memory=11556 CPUtime=12.46 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 70314 0 0 0 1240 6 0 0 20 0 3 0 4461727 238768128 40828 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=233172 memory=157672 CPUtime=0 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4461729 238768128 40828 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 233172 KiB
Current children cumulated memory: 163312 KiB
[startup+25.5003 s]
/proc/loadavg: 1.46 0.43 0.20 5/267 28981
/proc/meminfo: memFree=128763368/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=233172 memory=190972 CPUtime=25.41 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 146322 0 0 0 2527 14 0 0 20 0 3 0 4461711 238768128 47743 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 58293 47743 3014 3035 0 52029 0
[pid=28902/tid=28914] ppid=28899 vsize=233172 memory=190088 CPUtime=25.23 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 129760 0 0 0 2512 11 0 0 20 0 3 0 4461727 238768128 47743 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=233172 memory=11556 CPUtime=0 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4461729 238768128 47743 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 233172 KiB
Current children cumulated memory: 190972 KiB
[startup+51.1056 s]
/proc/loadavg: 2.47 0.75 0.31 5/266 28984
/proc/meminfo: memFree=128674372/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=298708 memory=206528 CPUtime=50.94 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 190437 0 0 0 5076 18 0 0 20 0 3 0 4461711 305876992 51632 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 74677 51632 3014 3035 0 57111 0
[pid=28902/tid=28914] ppid=28899 vsize=298708 memory=206508 CPUtime=50.76 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 173795 0 0 0 5061 15 0 0 20 0 3 0 4461727 305876992 51632 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=298708 memory=206508 CPUtime=0 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4461729 305876992 51632 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 298708 KiB
Current children cumulated memory: 206528 KiB
[startup+102.3 s]
/proc/loadavg: 3.44 1.31 0.53 5/266 28995
/proc/meminfo: memFree=128523968/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=298708 memory=207124 CPUtime=101.99 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 233472 0 0 0 10176 23 0 0 20 0 3 0 4461711 305876992 51781 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 74677 51781 3030 3035 0 57111 0
[pid=28902/tid=28914] ppid=28899 vsize=298708 memory=11556 CPUtime=101.82 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 216745 0 0 0 10161 21 0 0 20 0 3 0 4461727 305876992 51781 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=298708 memory=207124 CPUtime=0 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4461729 305876992 51781 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 298708 KiB
Current children cumulated memory: 207124 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 1.84 0.76 5/266 29005
/proc/meminfo: memFree=128399180/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=298708 memory=211636 CPUtime=161.84 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 271483 0 0 0 16155 29 0 0 20 0 3 0 4461711 305876992 52909 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 74677 52909 3030 3035 0 57161 0
[pid=28902/tid=28914] ppid=28899 vsize=298708 memory=207124 CPUtime=161.66 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 254698 0 0 0 16140 26 0 0 20 0 3 0 4461727 305876992 52909 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=298708 memory=11556 CPUtime=0 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4461729 305876992 52909 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 298708 KiB
Current children cumulated memory: 211636 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.25 0.97 5/266 29015
################
# More data... #
################
/proc/28902/statm: 417696 394468 3334 3035 0 412608 0
[pid=28902/tid=28914] ppid=28899 vsize=1670784 memory=1539132 CPUtime=3392.17 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 3771254 0 0 0 338751 466 0 0 20 0 3 0 4461727 1710882816 394468 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=1670784 memory=1577788 CPUtime=0.02 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 71 0 0 0 0 2 0 0 20 0 3 0 4461729 1710882816 394468 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 1670784 KiB
Current children cumulated memory: 1577872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.71 4.39 4.14 5/265 30579
/proc/meminfo: memFree=123927688/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=1736320 memory=1613008 CPUtime=3452.38 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 3832875 0 0 0 344757 481 0 0 20 0 3 0 4461711 1777991680 403252 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 434080 403252 3334 3035 0 414277 0
[pid=28902/tid=28914] ppid=28899 vsize=1736320 memory=1539132 CPUtime=3451.98 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 3814058 0 0 0 344728 470 0 0 20 0 3 0 4461727 1777991680 403252 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=1736320 memory=1613420 CPUtime=0.02 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 72 0 0 0 0 2 0 0 20 0 3 0 4461729 1777991680 403252 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 3452.38 s
Current children cumulated vsize: 1736320 KiB
Current children cumulated memory: 1613008 KiB
[startup+3522.3 s]
/proc/loadavg: 4.49 4.38 4.16 5/267 30759
/proc/meminfo: memFree=123856480/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=1801288 memory=1632432 CPUtime=3512.2 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 3913693 0 0 0 350731 489 0 0 20 0 3 0 4461711 1844518912 408108 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 450322 408108 3334 3035 0 430828 0
[pid=28902/tid=28914] ppid=28899 vsize=1801288 memory=1618020 CPUtime=3511.81 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 3894860 0 0 0 350702 479 0 0 20 0 3 0 4461727 1844518912 408108 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=1801288 memory=1632168 CPUtime=0.02 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 73 0 0 0 0 2 0 0 20 0 3 0 4461729 1844518912 408108 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 3512.2 s
Current children cumulated vsize: 1801288 KiB
Current children cumulated memory: 1632432 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.34 4.16 5/267 30771
/proc/meminfo: memFree=123804172/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=1801288 memory=1658564 CPUtime=3572.04 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 3988355 0 0 0 356707 497 0 0 20 0 3 0 4461711 1844518912 414641 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 450322 414641 3334 3035 0 433626 0
[pid=28902/tid=28914] ppid=28899 vsize=1801288 memory=1657124 CPUtime=3571.63 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 3969507 0 0 0 356677 486 0 0 20 0 3 0 4461727 1844518912 414641 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=1801288 memory=1658564 CPUtime=0.02 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 74 0 0 0 0 2 0 0 20 0 3 0 4461729 1844518912 414641 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 3572.04 s
Current children cumulated vsize: 1801288 KiB
Current children cumulated memory: 1658564 KiB
[startup+3598.68 s]
# the end of solver process 28902 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.37 s, system=5.00814 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.24 4.33 4.15 5/267 30772
/proc/meminfo: memFree=123795652/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=1801288 memory=1658592 CPUtime=3573.74 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 3988450 0 0 0 356877 497 0 0 20 0 3 0 4461711 1844518912 414648 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 450322 414648 3334 3035 0 433626 0
[pid=28902/tid=28914] ppid=28899 vsize=1801288 memory=-7017853435446910336 CPUtime=3573.33 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 3969602 0 0 0 356847 486 0 0 20 0 3 0 4461727 1844518912 414648 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=1801288 memory=-5155633680935826750 CPUtime=0.02 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 74 0 0 0 0 2 0 0 20 0 3 0 4461729 1844518912 414648 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 3573.74 s
Current children cumulated vsize: 1801288 KiB
Current children cumulated memory: 1658592 KiB
[startup+3590.4 s]
/proc/loadavg: 4.22 4.33 4.15 5/267 30772
/proc/meminfo: memFree=123790504/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=1801288 memory=1661564 CPUtime=3580.11 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 3993250 0 0 0 357513 498 0 0 20 0 3 0 4461711 1844518912 415391 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 450322 415391 3334 3035 0 438022 0
[pid=28902/tid=28914] ppid=28899 vsize=1801288 memory=1661564 CPUtime=3579.71 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 3974402 0 0 0 357484 487 0 0 20 0 3 0 4461727 1844518912 415391 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=1801288 memory=0 CPUtime=0.02 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 74 0 0 0 0 2 0 0 20 0 3 0 4461729 1844518912 415391 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 3580.11 s
Current children cumulated vsize: 1801288 KiB
Current children cumulated memory: 1661564 KiB
[startup+3593.6 s]
/proc/loadavg: 4.21 4.32 4.15 5/267 30774
/proc/meminfo: memFree=123788768/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=1801288 memory=1661668 CPUtime=3583.31 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 3993419 0 0 0 357833 498 0 0 20 0 3 0 4461711 1844518912 415417 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 450322 415417 3334 3035 0 438022 0
[pid=28902/tid=28914] ppid=28899 vsize=1801288 memory=2756 CPUtime=3582.9 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 3974571 0 0 0 357803 487 0 0 20 0 3 0 4461727 1844518912 415417 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=1801288 memory=1661604 CPUtime=0.02 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 74 0 0 0 0 2 0 0 20 0 3 0 4461729 1844518912 415417 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 3583.31 s
Current children cumulated vsize: 1801288 KiB
Current children cumulated memory: 1661668 KiB
[startup+3596.8 s]
/proc/loadavg: 4.21 4.32 4.15 5/267 30774
/proc/meminfo: memFree=123786244/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=1801288 memory=1664176 CPUtime=3586.5 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 3993913 0 0 0 358152 498 0 0 20 0 3 0 4461711 1844518912 416044 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 450322 416044 3334 3035 0 438022 0
[pid=28902/tid=28914] ppid=28899 vsize=1801288 memory=5456 CPUtime=3586.1 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 3975065 0 0 0 358122 488 0 0 20 0 3 0 4461727 1844518912 416044 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=1801288 memory=11556 CPUtime=0.02 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 74 0 0 0 0 2 0 0 20 0 3 0 4461729 1844518912 416044 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 3586.5 s
Current children cumulated vsize: 1801288 KiB
Current children cumulated memory: 1664176 KiB
[startup+3597.6 s]
/proc/loadavg: 4.21 4.32 4.15 5/267 30774
/proc/meminfo: memFree=123783052/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=1801288 memory=1666224 CPUtime=3587.29 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 3993953 0 0 0 358231 498 0 0 20 0 3 0 4461711 1844518912 416556 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 450322 416556 3334 3035 0 438022 0
[pid=28902/tid=28914] ppid=28899 vsize=1801288 memory=11556 CPUtime=3586.9 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 3975105 0 0 0 358202 488 0 0 20 0 3 0 4461727 1844518912 416556 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=1801288 memory=12800 CPUtime=0.02 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 74 0 0 0 0 2 0 0 20 0 3 0 4461729 1844518912 416556 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 3587.29 s
Current children cumulated vsize: 1801288 KiB
Current children cumulated memory: 1666224 KiB
[startup+3598.4 s]
/proc/loadavg: 4.19 4.32 4.15 5/267 30774
/proc/meminfo: memFree=123780752/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=1801288 memory=1666228 CPUtime=3588.1 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 3999089 0 0 0 358311 499 0 0 20 0 3 0 4461711 1844518912 416557 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 450322 416557 3334 3035 0 438022 0
[pid=28902/tid=28914] ppid=28899 vsize=1801288 memory=5384 CPUtime=3587.69 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 3980244 0 0 0 358281 488 0 0 20 0 3 0 4461727 1844518912 416557 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=1801288 memory=1666224 CPUtime=0.02 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 74 0 0 0 0 2 0 0 20 0 3 0 4461729 1844518912 416557 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 3588.1 s
Current children cumulated vsize: 1801288 KiB
Current children cumulated memory: 1666228 KiB
[startup+3598.6 s]
/proc/loadavg: 4.19 4.32 4.15 5/267 30774
/proc/meminfo: memFree=123780752/131524600 swapFree=131071996/131071996
[pid=28902] ppid=28899 vsize=1801288 memory=1666228 CPUtime=3588.29 cores=1,3
/proc/28902/stat : 28902 (fscip) S 28899 28902 28837 0 -1 1077936128 4002537 0 0 0 358330 499 0 0 20 0 3 0 4461711 1844518912 416557 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
/proc/28902/statm: 450322 416557 3334 3035 0 438022 0
[pid=28902/tid=28914] ppid=28899 vsize=1801288 memory=5456 CPUtime=3587.89 cores=1,3
/proc/28902/task/28914/stat : 28914 (fscip) R 28899 28902 28837 0 -1 4194368 3983689 0 0 0 358301 488 0 0 20 0 3 0 4461727 1844518912 416557 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
[pid=28902/tid=28915] ppid=28899 vsize=1801288 memory=1944 CPUtime=0.02 cores=1,3
/proc/28902/task/28915/stat : 28915 (fscip) S 28899 28902 28837 0 -1 1077936192 74 0 0 0 0 2 0 0 20 0 3 0 4461729 1844518912 416557 134679101440 4194304 16623229 140737206377488 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 30482432 140737206379542 140737206379658 140737206379658 140737206386672 0
Current children cumulated CPU time: 3588.29 s
Current children cumulated vsize: 1801288 KiB
Current children cumulated memory: 1666228 KiB
Child status: 0
Real time (s): 3598.68
CPU time (s): 3588.38
CPU user time (s): 3583.37
CPU system time (s): 5.00814
CPU usage (%): 99.7138
Max. virtual memory (cumulated for all children) (KiB): 1801288
Max. memory (cumulated for all children) (KiB): 1674576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.37
system time used= 5.00814
maximum resident set size= 1674576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4003088
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= 10842
involuntary context switches= 4143
# summary of solver processes directly reported to runsolver:
# pid: 28902
# total CPU time (s): 3588.38
# total CPU user time (s): 3583.37
# total CPU system time (s): 5.00814
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38856 second user time and 17.0258 second system time
The end
Begin job on nodeC032 at 2024-07-31 00:29:57
IDJOB=4464004
IDBENCH=147695
IDSOLVER=3092
FILE ID=nodeC032/4464004-1722378597
RUNJOBID= nodeC032-1722378597-28849
SLURM_JOB_ID= 8249855
Free space on /tmp= 890052 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.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-4464004-1722378597/watcher-4464004-1722378597 -o /tmp/evaluation-result-4464004-1722378597/solver-4464004-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1722378597-28849 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464004-1722378597.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 89d4e33f1fc4516d7db076f434bf527f
RANDOM SEED=576650998
nodeC032.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 : 3646.602
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
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 : 3600.624
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.336
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
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 : 3668.387
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
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 : 3645.196
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
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 : 3631.999
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
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 : 3611.797
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.77
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 : 3669.643
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.64
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 129652524 kB
MemAvailable: 129856624 kB
Buffers: 84724 kB
Cached: 956348 kB
SwapCached: 0 kB
Active: 255656 kB
Inactive: 1142828 kB
Active(anon): 1436 kB
Inactive(anon): 377328 kB
Active(file): 254220 kB
Inactive(file): 765500 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 115336 kB
Writeback: 0 kB
AnonPages: 358156 kB
Mapped: 97360 kB
Shmem: 21332 kB
KReclaimable: 48408 kB
Slab: 129448 kB
SReclaimable: 48408 kB
SUnreclaim: 81040 kB
KernelStack: 3872 kB
PageTables: 9200 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 752408 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9664 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 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: 182996 kB
DirectMap2M: 7979008 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 889968 MiB
End job on nodeC032 at 2024-07-31 01:29:56