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.06 c Default LC presolving (default).
0.00/0.06 c ** Before presolving: virtualMemUsedAtLc = 61597219, getVmSize() = 57917440, SCIPgetMemUsed() = 30131371, SCIPgetMemTotal() = 34250651, SCIPgetMemExternEstim() = 27346568
0.00/0.06 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.40/0.47 c ** Estimated virtualMemUsedAtSolver = 89488032, getVmSize() = 134189056, SCIPgetMemUsed() = 58043096, SCIPgetMemTotal() = 106885480, SCIPgetMemExternEstim() = 27346568
0.40/0.47 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.40/0.47 c Original Problem :
0.40/0.47 c Problem name : instance-4464044-1722378594
0.40/0.47 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
0.40/0.47 c Constraints : 27856
0.40/0.47 c Objective sense : minimize
0.40/0.47 c Presolved Problem :
0.40/0.47 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
0.40/0.47 c Constraints : 27856
0.40/0.47 c Constraints : Number
0.40/0.47 c setppc : 27856
0.40/0.47 c ** Instance transfer method used: 0
0.49/0.51 c ** ParaScipInstance copy does not increase the number of variables. **
0.49/0.54 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.49/0.54 c Nodes Active
0.49/0.54 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.98/1.05 c * 1 0 1 1 -22.0000 - -
0.98/1.07 c * 1 0 1 1 -23.0000 - -
1.09/1.15 c * 1 0 1 1 -25.0000 - -
9.65/9.76 c 10 2 1 1 -25.0000 -35.8333 43.33%
11.85/11.97 c * 12 7 6 1 -29.0000 -35.8333 23.56%
15.54/15.63 c 16 54 53 1 -29.0000 -35.8333 23.56%
21.32/21.44 c 21 82 81 1 -29.0000 -35.8333 23.56%
27.30/27.49 c 28 100 89 1 -29.0000 -35.8333 23.56%
28.30/28.42 c * 28 100 89 1 -30.0000 -35.8333 19.44%
32.69/32.83 c 33 119 98 1 -30.0000 -35.8333 19.44%
38.66/38.83 c 39 142 110 1 -30.0000 -35.8333 19.44%
40.15/40.31 c * 40 150 118 1 -31.0000 -35.8333 15.59%
44.54/44.74 c 45 187 133 1 -31.0000 -35.8333 15.59%
45.14/45.34 c * 45 187 133 1 -32.0000 -35.8333 11.98%
50.23/50.47 c 50 239 137 1 -32.0000 -35.8333 11.98%
55.81/56.06 c 56 306 162 1 -32.0000 -35.8333 11.98%
61.09/61.37 c 61 404 192 1 -32.0000 -35.8333 11.98%
67.48/67.73 c 68 515 227 1 -32.0000 -35.8333 11.98%
73.36/73.61 c 74 578 250 1 -32.0000 -35.8333 11.98%
78.55/78.88 c 79 820 294 1 -32.0000 -35.8333 11.98%
83.74/84.07 c 84 1221 393 1 -32.0000 -35.8333 11.98%
88.92/89.28 c 89 1459 507 1 -32.0000 -35.8333 11.98%
95.10/95.46 c 95 1582 580 1 -32.0000 -35.7619 11.76%
100.88/101.28 c 101 1586 1 1 -32.0000 -35.0000 9.38%
106.68/107.08 c 107 1654 47 1 -32.0000 -35.0000 9.38%
112.06/112.41 c 112 1794 103 1 -32.0000 -35.0000 9.38%
117.54/117.93 c 118 1869 140 1 -32.0000 -35.0000 9.38%
123.02/123.40 c 123 2129 270 1 -32.0000 -35.0000 9.38%
128.20/128.68 c 129 2467 396 1 -32.0000 -35.0000 9.38%
133.69/134.19 c 134 2740 541 1 -32.0000 -35.0000 9.38%
138.87/139.36 c 139 2906 651 1 -32.0000 -35.0000 9.38%
145.25/145.70 c 146 3008 703 1 -32.0000 -35.0000 9.38%
150.83/151.37 c 151 3153 758 1 -32.0000 -35.0000 9.38%
155.92/156.48 c 156 3266 787 1 -32.0000 -35.0000 9.38%
161.70/162.20 c 162 3449 832 1 -32.0000 -35.0000 9.38%
167.79/168.33 c 168 3647 922 1 -32.0000 -35.0000 9.38%
173.27/173.83 c 174 3887 1022 1 -32.0000 -35.0000 9.38%
180.16/180.74 c 181 3984 1053 1 -32.0000 -35.0000 9.38%
186.04/186.66 c 187 4157 1140 1 -32.0000 -35.0000 9.38%
191.72/192.36 c 192 4361 1242 1 -32.0000 -35.0000 9.38%
197.51/198.13 c 198 4615 1346 1 -32.0000 -35.0000 9.38%
204.19/204.83 c 205 4766 1419 1 -32.0000 -35.0000 9.38%
210.87/211.53 c 212 4834 1443 1 -32.0000 -35.0000 9.38%
216.26/216.94 c 217 5065 1518 1 -32.0000 -35.0000 9.38%
221.35/222.05 c 222 5335 1608 1 -32.0000 -35.0000 9.38%
226.93/227.66 c 228 5635 1740 1 -32.0000 -35.0000 9.38%
232.61/233.39 c 233 5851 1828 1 -32.0000 -35.0000 9.38%
239.10/239.85 c 240 5986 1899 1 -32.0000 -35.0000 9.38%
244.78/245.57 c 246 6236 1981 1 -32.0000 -35.0000 9.38%
251.05/251.88 c 252 6489 2104 1 -32.0000 -35.0000 9.38%
256.64/257.44 c 257 6552 2127 1 -32.0000 -35.0000 9.38%
262.52/263.35 c 263 6602 2151 1 -32.0000 -35.0000 9.38%
269.50/270.33 c 270 6632 2157 1 -32.0000 -35.0000 9.38%
275.99/276.85 c 277 6679 2162 1 -32.0000 -35.0000 9.38%
281.77/282.60 c 283 6886 2227 1 -32.0000 -35.0000 9.38%
287.55/288.47 c 288 6964 2245 1 -32.0000 -35.0000 9.38%
294.13/295.03 c 295 7126 2277 1 -32.0000 -35.0000 9.38%
299.40/300.34 c 300 7365 2356 1 -32.0000 -35.0000 9.38%
304.59/305.53 c 306 7645 2438 1 -32.0000 -35.0000 9.38%
311.07/312.06 c 312 7780 2457 1 -32.0000 -35.0000 9.38%
316.45/317.40 c 317 7875 2476 1 -32.0000 -35.0000 9.38%
322.14/323.19 c 323 7974 2497 1 -32.0000 -35.0000 9.38%
327.62/328.67 c 329 8132 2533 1 -32.0000 -35.0000 9.38%
333.30/334.39 c 334 8346 2589 1 -32.0000 -35.0000 9.38%
339.57/340.65 c 341 8647 2678 1 -32.0000 -35.0000 9.38%
345.45/346.51 c 347 8837 2732 1 -32.0000 -35.0000 9.38%
351.44/352.57 c 353 9107 2796 1 -32.0000 -35.0000 9.38%
357.31/358.43 c 358 9410 2893 1 -32.0000 -35.0000 9.38%
362.70/363.86 c 364 9738 2951 1 -32.0000 -35.0000 9.38%
368.48/369.61 c 370 9981 3008 1 -32.0000 -35.0000 9.38%
373.87/375.05 c 375 10270 3063 1 -32.0000 -35.0000 9.38%
379.34/380.56 c 381 10593 3116 1 -32.0000 -35.0000 9.38%
385.92/387.16 c 387 10896 3197 1 -32.0000 -35.0000 9.38%
392.10/393.36 c 393 11128 3259 1 -32.0000 -35.0000 9.38%
397.89/399.11 c 399 11395 3330 1 -32.0000 -35.0000 9.38%
402.96/404.28 c 404 11626 3385 1 -32.0000 -35.0000 9.38%
408.25/409.51 c 410 11826 3433 1 -32.0000 -35.0000 9.38%
413.33/414.62 c 415 12270 3541 1 -32.0000 -35.0000 9.38%
418.51/419.84 c 420 12660 3653 1 -32.0000 -35.0000 9.38%
423.89/425.21 c 425 13093 3758 1 -32.0000 -35.0000 9.38%
429.38/430.70 c 431 13509 3844 1 -32.0000 -35.0000 9.38%
434.67/436.05 c 436 13727 3898 1 -32.0000 -35.0000 9.38%
440.45/441.80 c 442 14147 3974 1 -32.0000 -35.0000 9.38%
446.33/447.79 c 448 14396 4043 1 -32.0000 -35.0000 9.38%
451.90/453.32 c 453 14727 4115 1 -32.0000 -35.0000 9.38%
458.19/459.64 c 460 14944 4152 1 -32.0000 -35.0000 9.38%
463.87/465.30 c 465 15316 4218 1 -32.0000 -35.0000 9.38%
468.85/470.37 c 470 15791 4313 1 -32.0000 -35.0000 9.38%
475.74/477.26 c 477 16133 4367 1 -32.0000 -35.0000 9.38%
481.42/482.92 c 483 16271 4387 1 -32.0000 -35.0000 9.38%
486.40/487.99 c 488 16766 4546 1 -32.0000 -35.0000 9.38%
491.78/493.30 c 493 16983 4605 1 -32.0000 -35.0000 9.38%
497.47/499.06 c 499 17141 4631 1 -32.0000 -35.0000 9.38%
503.45/505.09 c 505 17452 4674 1 -32.0000 -35.0000 9.38%
508.63/510.23 c 510 18027 4785 1 -32.0000 -35.0000 9.38%
514.22/515.81 c 516 18420 4850 1 -32.0000 -35.0000 9.38%
519.29/520.99 c 521 18922 4970 1 -32.0000 -35.0000 9.38%
524.48/526.10 c 526 19334 5052 1 -32.0000 -35.0000 9.38%
529.97/531.60 c 532 19698 5104 1 -32.0000 -35.0000 9.38%
536.05/537.73 c 538 19919 5139 1 -32.0000 -35.0000 9.38%
541.93/543.62 c 544 20023 5175 1 -32.0000 -35.0000 9.38%
547.51/549.29 c 549 20372 5242 1 -32.0000 -35.0000 9.38%
553.60/555.38 c 555 20872 5350 1 -32.0000 -35.0000 9.38%
559.08/560.81 c 561 21246 5452 1 -32.0000 -35.0000 9.38%
564.06/565.88 c 566 21495 5489 1 -32.0000 -35.0000 9.38%
570.44/572.22 c 572 21861 5568 1 -32.0000 -35.0000 9.38%
576.42/578.22 c 578 22238 5635 1 -32.0000 -35.0000 9.38%
582.01/583.84 c 584 22695 5738 1 -32.0000 -35.0000 9.38%
587.08/588.95 c 589 23149 5814 1 -32.0000 -35.0000 9.38%
592.17/594.08 c 594 23602 5905 1 -32.0000 -35.0000 9.38%
597.35/599.28 c 599 24058 6007 1 -32.0000 -35.0000 9.38%
603.24/605.11 c 605 24558 6145 1 -32.0000 -35.0000 9.38%
608.22/610.19 c 610 24997 6226 1 -32.0000 -35.0000 9.38%
609.92/611.84 c * 612 25102 6243 1 -33.0000 -35.0000 6.06%
613.30/615.26 c 615 25553 2002 1 -33.0000 -35.0000 6.06%
618.38/620.31 c 620 26195 2038 1 -33.0000 -35.0000 6.06%
623.36/625.36 c 625 26813 2156 1 -33.0000 -35.0000 6.06%
628.45/630.41 c 630 27477 2270 1 -33.0000 -35.0000 6.06%
633.63/635.63 c 636 28153 2312 1 -33.0000 -35.0000 6.06%
639.02/641.09 c 641 28745 2366 1 -33.0000 -35.0000 6.06%
644.59/646.68 c 647 29346 2413 1 -33.0000 -35.0000 6.06%
649.68/651.73 c 652 30112 2471 1 -33.0000 -35.0000 6.06%
654.75/656.80 c 657 30927 2508 1 -33.0000 -35.0000 6.06%
659.74/661.88 c 662 31664 2577 1 -33.0000 -35.0000 6.06%
665.42/667.56 c 668 32230 2597 1 -33.0000 -35.0000 6.06%
670.50/672.63 c 673 32994 2713 1 -33.0000 -35.0000 6.06%
675.99/678.13 c 678 33755 2766 1 -33.0000 -35.0000 6.06%
681.17/683.38 c 683 34352 2803 1 -33.0000 -35.0000 6.06%
687.25/689.48 c 689 35073 2910 1 -33.0000 -35.0000 6.06%
693.13/695.35 c 695 35726 2955 1 -33.0000 -35.0000 6.06%
698.21/700.45 c 700 36095 2974 1 -33.0000 -35.0000 6.06%
703.60/705.80 c 706 36707 2996 1 -33.0000 -35.0000 6.06%
708.78/711.02 c 711 37302 3025 1 -33.0000 -35.0000 6.06%
714.36/716.64 c 717 37831 3062 1 -33.0000 -35.0000 6.06%
719.45/721.70 c 722 37988 3067 1 -33.0000 -35.0000 6.06%
724.53/726.80 c 727 38490 3098 1 -33.0000 -35.0000 6.06%
729.51/731.87 c 732 39023 3133 1 -33.0000 -35.0000 6.06%
734.59/736.97 c 737 39530 3148 1 -33.0000 -35.0000 6.06%
739.68/742.02 c 742 40152 3200 1 -33.0000 -35.0000 6.06%
744.66/747.08 c 747 40754 3232 1 -33.0000 -35.0000 6.06%
749.94/752.37 c 752 41136 3282 1 -33.0000 -35.0000 6.06%
755.02/757.42 c 757 41797 3325 1 -33.0000 -35.0000 6.06%
760.01/762.46 c 762 42547 3371 1 -33.0000 -35.0000 6.06%
765.59/768.02 c 768 42891 3407 1 -33.0000 -35.0000 6.06%
771.28/773.79 c 774 43221 3457 1 -33.0000 -35.0000 6.06%
777.57/780.02 c 780 43424 3472 1 -33.0000 -35.0000 6.06%
783.74/786.24 c 786 43684 3474 1 -33.0000 -35.0000 6.06%
789.04/791.55 c 792 44075 3515 1 -33.0000 -35.0000 6.06%
794.42/796.94 c 797 44515 3551 1 -33.0000 -35.0000 6.06%
800.20/802.73 c 803 45084 3580 1 -33.0000 -35.0000 6.06%
805.39/807.94 c 808 45683 3639 1 -33.0000 -35.0000 6.06%
811.37/813.93 c 814 46260 3664 1 -33.0000 -35.0000 6.06%
816.47/819.00 c 819 46880 3690 1 -33.0000 -35.0000 6.06%
821.56/824.11 c 824 47369 3749 1 -33.0000 -35.0000 6.06%
826.63/829.26 c 829 47801 3811 1 -33.0000 -35.0000 6.06%
831.72/834.35 c 834 48285 3836 1 -33.0000 -35.0000 6.06%
837.11/839.72 c 840 48828 3927 1 -33.0000 -35.0000 6.06%
842.10/844.78 c 845 49332 3983 1 -33.0000 -35.0000 6.06%
847.58/850.28 c 850 49523 3996 1 -33.0000 -35.0000 6.06%
853.27/855.93 c 856 49826 4019 1 -33.0000 -35.0000 6.06%
858.56/861.28 c 861 50334 4065 1 -33.0000 -35.0000 6.06%
863.84/866.54 c 867 50697 4092 1 -33.0000 -35.0000 6.06%
868.92/871.62 c 872 51369 4173 1 -33.0000 -35.0000 6.06%
874.82/877.50 c 878 51785 4233 1 -33.0000 -35.0000 6.06%
880.20/882.96 c 883 52183 4297 1 -33.0000 -35.0000 6.06%
886.98/889.71 c 890 52565 4359 1 -33.0000 -35.0000 6.06%
892.28/895.04 c 895 52997 4419 1 -33.0000 -35.0000 6.06%
897.36/900.16 c 900 53243 4429 1 -33.0000 -35.0000 6.06%
902.64/905.41 c 905 53647 4449 1 -33.0000 -35.0000 6.06%
908.13/910.98 c 911 54145 4553 1 -33.0000 -35.0000 6.06%
913.41/916.20 c 916 54614 4616 1 -33.0000 -35.0000 6.06%
918.61/921.47 c 921 54815 4655 1 -33.0000 -35.0000 6.06%
923.80/926.69 c 927 55012 4698 1 -33.0000 -35.0000 6.06%
929.68/932.58 c 933 55235 4727 1 -33.0000 -35.0000 6.06%
935.27/938.14 c 938 55474 4748 1 -33.0000 -35.0000 6.06%
940.65/943.56 c 944 55579 4763 1 -33.0000 -35.0000 6.06%
946.14/949.01 c 949 55824 4782 1 -33.0000 -35.0000 6.06%
952.13/955.06 c 955 56082 4816 1 -33.0000 -35.0000 6.06%
957.22/960.19 c 960 56352 4846 1 -33.0000 -35.0000 6.06%
963.50/966.41 c 966 56737 4883 1 -33.0000 -35.0000 6.06%
969.09/972.01 c 972 56860 4911 1 -33.0000 -35.0000 6.06%
974.47/977.46 c 977 56982 4935 1 -33.0000 -35.0000 6.06%
979.66/982.66 c 983 57083 4947 1 -33.0000 -35.0000 6.06%
984.74/987.71 c 988 57260 4958 1 -33.0000 -35.0000 6.06%
990.04/993.07 c 993 57547 4963 1 -33.0000 -35.0000 6.06%
995.72/998.73 c 999 57729 4965 1 -33.0000 -35.0000 6.06%
1001.51/1004.50 c 1005 57951 4977 1 -33.0000 -35.0000 6.06%
1007.79/1010.80 c 1011 58119 4977 1 -33.0000 -35.0000 6.06%
1013.58/1016.65 c 1017 58392 4987 1 -33.0000 -35.0000 6.06%
1018.97/1022.08 c 1022 58733 4990 1 -33.0000 -35.0000 6.06%
1024.65/1027.76 c 1028 59008 4994 1 -33.0000 -35.0000 6.06%
1030.24/1033.33 c 1033 59475 5031 1 -33.0000 -35.0000 6.06%
1036.33/1039.47 c 1039 59878 5046 1 -33.0000 -35.0000 6.06%
1041.60/1044.79 c 1045 60218 5052 1 -33.0000 -35.0000 6.06%
1047.10/1050.23 c 1050 60525 5045 1 -33.0000 -35.0000 6.06%
1052.58/1055.72 c 1056 60971 5091 1 -33.0000 -35.0000 6.06%
1057.67/1060.83 c 1061 61439 5155 1 -33.0000 -35.0000 6.06%
1064.15/1067.32 c 1067 62151 5179 1 -33.0000 -35.0000 6.06%
1069.74/1072.96 c 1073 62688 5208 1 -33.0000 -35.0000 6.06%
1074.82/1078.00 c 1078 63414 5304 1 -33.0000 -35.0000 6.06%
1080.51/1083.77 c 1084 63973 5333 1 -33.0000 -35.0000 6.06%
1086.00/1089.23 c 1089 64771 5436 1 -33.0000 -35.0000 6.06%
1090.98/1094.28 c 1094 65501 5488 1 -33.0000 -35.0000 6.06%
1096.07/1099.34 c 1099 66275 5560 1 -33.0000 -35.0000 6.06%
1101.15/1104.40 c 1104 66884 5613 1 -33.0000 -35.0000 6.06%
1106.13/1109.46 c 1109 67323 5620 1 -33.0000 -35.0000 6.06%
1111.33/1114.69 c 1115 67914 5677 1 -33.0000 -35.0000 6.06%
1116.41/1119.74 c 1120 68546 5703 1 -33.0000 -35.0000 6.06%
1121.49/1124.83 c 1125 69154 5763 1 -33.0000 -35.0000 6.06%
1126.79/1130.14 c 1130 69664 5841 1 -33.0000 -35.0000 6.06%
1132.17/1135.55 c 1136 70392 5921 1 -33.0000 -35.0000 6.06%
1137.25/1140.61 c 1141 70906 5939 1 -33.0000 -35.0000 6.06%
1142.34/1145.70 c 1146 71576 5987 1 -33.0000 -35.0000 6.06%
1147.92/1151.35 c 1151 72026 6031 1 -33.0000 -35.0000 6.06%
1153.41/1156.83 c 1157 72519 6080 1 -33.0000 -35.0000 6.06%
1158.61/1162.00 c 1162 73127 6112 1 -33.0000 -35.0000 6.06%
1164.48/1167.95 c 1168 73722 6157 1 -33.0000 -35.0000 6.06%
1169.57/1173.01 c 1173 74465 6230 1 -33.0000 -35.0000 6.06%
1174.56/1178.07 c 1178 75187 6308 1 -33.0000 -35.0000 6.06%
1180.04/1183.52 c 1184 75715 6346 1 -33.0000 -35.0000 6.06%
1185.03/1188.58 c 1189 76491 6418 1 -33.0000 -35.0000 6.06%
1190.12/1193.63 c 1194 77278 6487 1 -33.0000 -35.0000 6.06%
1195.10/1198.68 c 1199 77874 6559 1 -33.0000 -35.0000 6.06%
1200.19/1203.76 c 1204 78403 6618 1 -33.0000 -35.0000 6.06%
1205.58/1209.11 c 1209 78904 6667 1 -33.0000 -35.0000 6.06%
1210.75/1214.33 c 1214 79556 6685 1 -33.0000 -35.0000 6.06%
1215.74/1219.37 c 1219 80136 6725 1 -33.0000 -35.0000 6.06%
1220.82/1224.43 c 1224 80787 6756 1 -33.0000 -35.0000 6.06%
1225.91/1229.55 c 1230 81506 6807 1 -33.0000 -35.0000 6.06%
1231.00/1234.61 c 1235 82100 6859 1 -33.0000 -35.0000 6.06%
1235.99/1239.67 c 1240 82691 6956 1 -33.0000 -35.0000 6.06%
1241.07/1244.73 c 1245 83244 7019 1 -33.0000 -35.0000 6.06%
1246.05/1249.78 c 1250 83818 7050 1 -33.0000 -35.0000 6.06%
1251.14/1254.87 c 1255 84380 7109 1 -33.0000 -35.0000 6.06%
1256.93/1260.67 c 1261 84743 7148 1 -33.0000 -35.0000 6.06%
1262.02/1265.73 c 1266 85415 7184 1 -33.0000 -35.0000 6.06%
1267.00/1270.78 c 1271 86108 7273 1 -33.0000 -35.0000 6.06%
1272.29/1276.07 c 1276 86442 7279 1 -33.0000 -35.0000 6.06%
1277.68/1281.43 c 1281 87011 7322 1 -33.0000 -35.0000 6.06%
1282.96/1286.72 c 1287 87823 7370 1 -33.0000 -35.0000 6.06%
1287.95/1291.76 c 1292 88564 7415 1 -33.0000 -35.0000 6.06%
1293.24/1297.04 c 1297 88896 7435 1 -33.0000 -35.0000 6.06%
1298.72/1302.55 c 1303 89246 7495 1 -33.0000 -35.0000 6.06%
1304.10/1307.90 c 1308 89611 7581 1 -33.0000 -35.0000 6.06%
1310.30/1314.16 c 1314 89970 7624 1 -33.0000 -35.0000 6.06%
1316.28/1320.20 c 1320 90118 7626 1 -33.0000 -35.0000 6.06%
1321.56/1325.45 c 1325 90350 7661 1 -33.0000 -35.0000 6.06%
1326.75/1330.69 c 1331 90953 7702 1 -33.0000 -35.0000 6.06%
1331.93/1335.82 c 1336 91416 7745 1 -33.0000 -35.0000 6.06%
1336.92/1340.89 c 1341 92014 7825 1 -33.0000 -35.0000 6.06%
1342.00/1345.97 c 1346 92354 7860 1 -33.0000 -35.0000 6.06%
1348.10/1352.09 c 1352 92574 7902 1 -33.0000 -35.0000 6.06%
1354.19/1358.13 c 1358 92712 7914 1 -33.0000 -35.0000 6.06%
1359.67/1363.68 c 1364 92827 7921 1 -33.0000 -35.0000 6.06%
1364.75/1368.78 c 1369 93249 7945 1 -33.0000 -35.0000 6.06%
1370.44/1374.44 c 1374 93640 7955 1 -33.0000 -35.0000 6.06%
1375.42/1379.49 c 1380 94278 7965 1 -33.0000 -35.0000 6.06%
1381.11/1385.16 c 1385 94930 8031 1 -33.0000 -35.0000 6.06%
1386.29/1390.33 c 1390 95508 8084 1 -33.0000 -35.0000 6.06%
1391.48/1395.52 c 1396 95953 8127 1 -33.0000 -35.0000 6.06%
1397.87/1401.91 c 1402 96303 8125 1 -33.0000 -35.0000 6.06%
1403.25/1407.38 c 1407 96503 8139 1 -33.0000 -35.0000 6.06%
1409.24/1413.32 c 1413 96958 8132 1 -33.0000 -35.0000 6.06%
1414.32/1418.45 c 1418 97428 8170 1 -33.0000 -35.0000 6.06%
1419.60/1423.74 c 1424 97959 8169 1 -33.0000 -35.0000 6.06%
1424.70/1428.82 c 1429 98435 8171 1 -33.0000 -35.0000 6.06%
1430.28/1434.49 c 1434 99011 8201 1 -33.0000 -35.0000 6.06%
1435.36/1439.54 c 1440 99652 8196 1 -33.0000 -35.0000 6.06%
1440.45/1444.62 c 1445 100371 8257 1 -33.0000 -35.0000 6.06%
1445.54/1449.70 c 1450 101056 8354 1 -33.0000 -35.0000 6.06%
1451.12/1455.38 c 1455 101698 8372 1 -33.0000 -35.0000 6.06%
1456.21/1460.44 c 1460 102447 8365 1 -33.0000 -35.0000 6.06%
1461.59/1465.89 c 1466 103082 8388 1 -33.0000 -35.0000 6.06%
1466.88/1471.12 c 1471 103433 8425 1 -33.0000 -35.0000 6.06%
1472.66/1476.97 c 1477 103825 8443 1 -33.0000 -35.0000 6.06%
1479.86/1484.12 c 1484 104142 8462 1 -33.0000 -35.0000 6.06%
1486.14/1490.45 c 1490 104416 8466 1 -33.0000 -35.0000 6.06%
1491.73/1496.04 c 1496 104782 8479 1 -33.0000 -35.0000 6.06%
1497.30/1501.64 c 1502 105271 8463 1 -33.0000 -35.0000 6.06%
1502.79/1507.10 c 1507 105712 8506 1 -33.0000 -35.0000 6.06%
1508.47/1512.84 c 1513 105967 8508 1 -33.0000 -35.0000 6.06%
1514.85/1519.24 c 1519 106313 8506 1 -33.0000 -35.0000 6.06%
1520.24/1524.67 c 1525 106714 8539 1 -33.0000 -35.0000 6.06%
1525.63/1530.09 c 1530 107330 8547 1 -33.0000 -35.0000 6.06%
1531.22/1535.66 c 1536 107986 8595 1 -33.0000 -35.0000 6.06%
1536.80/1541.25 c 1541 108272 8641 1 -33.0000 -35.0000 6.06%
1541.99/1546.44 c 1546 108385 8662 1 -33.0000 -35.0000 6.06%
1547.97/1552.44 c 1552 108835 8680 1 -33.0000 -35.0000 6.06%
1553.16/1557.67 c 1558 109346 8709 1 -33.0000 -35.0000 6.06%
1558.23/1562.72 c 1563 109753 8710 1 -33.0000 -35.0000 6.06%
1564.02/1568.55 c 1569 110300 8748 1 -33.0000 -35.0000 6.06%
1569.11/1573.62 c 1574 110850 8766 1 -33.0000 -35.0000 6.06%
1574.10/1578.66 c 1579 111558 8778 1 -33.0000 -35.0000 6.06%
1579.58/1584.11 c 1584 112011 8785 1 -33.0000 -35.0000 6.06%
1584.77/1589.38 c 1589 112535 8791 1 -33.0000 -35.0000 6.06%
1590.06/1594.63 c 1595 113026 8778 1 -33.0000 -35.0000 6.06%
1595.34/1599.92 c 1600 113687 8783 1 -33.0000 -35.0000 6.06%
1600.33/1604.97 c 1605 114321 8801 1 -33.0000 -35.0000 6.06%
1605.52/1610.11 c 1610 115074 8854 1 -33.0000 -35.0000 6.06%
1610.80/1615.43 c 1615 115777 8891 1 -33.0000 -35.0000 6.06%
1616.49/1621.19 c 1621 116585 8933 1 -33.0000 -35.0000 6.06%
1622.07/1626.75 c 1627 117091 8939 1 -33.0000 -35.0000 6.06%
1627.16/1631.84 c 1632 117873 8965 1 -33.0000 -35.0000 6.06%
1632.15/1636.88 c 1637 118448 8970 1 -33.0000 -35.0000 6.06%
1638.23/1642.90 c 1643 118751 8991 1 -33.0000 -35.0000 6.06%
1644.02/1648.71 c 1649 119178 8981 1 -33.0000 -35.0000 6.06%
1649.60/1654.35 c 1654 119742 8995 1 -33.0000 -35.0000 6.06%
1654.99/1659.73 c 1660 120083 9006 1 -33.0000 -35.0000 6.06%
1659.97/1664.78 c 1665 120579 9066 1 -33.0000 -35.0000 6.06%
1665.46/1670.20 c 1670 120963 9092 1 -33.0000 -35.0000 6.06%
1670.64/1675.43 c 1675 121201 9108 1 -33.0000 -35.0000 6.06%
1675.74/1680.53 c 1681 121851 9162 1 -33.0000 -35.0000 6.06%
1680.82/1685.66 c 1686 122344 9213 1 -33.0000 -35.0000 6.06%
1686.11/1690.90 c 1691 122808 9221 1 -33.0000 -35.0000 6.06%
1691.10/1695.95 c 1696 123577 9308 1 -33.0000 -35.0000 6.06%
1696.19/1701.00 c 1701 124360 9333 1 -33.0000 -35.0000 6.06%
1701.37/1706.21 c 1706 124808 9323 1 -33.0000 -35.0000 6.06%
1706.95/1711.86 c 1712 125150 9310 1 -33.0000 -35.0000 6.06%
1712.94/1717.82 c 1718 125733 9315 1 -33.0000 -35.0000 6.06%
1718.03/1722.91 c 1723 126226 9346 1 -33.0000 -35.0000 6.06%
1723.52/1728.49 c 1728 126587 9353 1 -33.0000 -35.0000 6.06%
1729.40/1734.33 c 1734 127020 9382 1 -33.0000 -35.0000 6.06%
1734.39/1739.38 c 1739 127533 9425 1 -33.0000 -35.0000 6.06%
1739.67/1744.69 c 1745 127904 9437 1 -33.0000 -35.0000 6.06%
1745.76/1750.77 c 1751 128270 9441 1 -33.0000 -35.0000 6.06%
1752.84/1757.87 c 1758 128505 9462 1 -33.0000 -35.0000 6.06%
1758.33/1763.30 c 1763 128820 9451 1 -33.0000 -35.0000 6.06%
1763.82/1768.87 c 1769 129026 9451 1 -33.0000 -35.0000 6.06%
1768.90/1773.96 c 1774 129162 9457 1 -33.0000 -35.0000 6.06%
1774.50/1779.57 c 1780 129262 9463 1 -33.0000 -35.0000 6.06%
1780.09/1785.17 c 1785 129501 9470 1 -33.0000 -35.0000 6.06%
1786.27/1791.35 c 1791 129799 9460 1 -33.0000 -35.0000 6.06%
1791.96/1797.06 c 1797 130345 9490 1 -33.0000 -35.0000 6.06%
1798.14/1803.22 c 1803 130522 9505 1 -33.0000 -35.0000 6.06%
1804.13/1809.27 c 1809 130653 9518 1 -33.0000 -35.0000 6.06%
1809.81/1814.98 c 1815 131100 9538 1 -33.0000 -35.0000 6.06%
1815.50/1820.68 c 1821 131320 9542 1 -33.0000 -35.0000 6.06%
1821.19/1826.35 c 1826 131635 9557 1 -33.0000 -35.0000 6.06%
1826.58/1831.73 c 1832 131824 9572 1 -33.0000 -35.0000 6.06%
1832.27/1837.44 c 1837 132069 9593 1 -33.0000 -35.0000 6.06%
1837.45/1842.65 c 1843 132278 9598 1 -33.0000 -35.0000 6.06%
1842.84/1848.10 c 1848 132488 9592 1 -33.0000 -35.0000 6.06%
1848.72/1853.93 c 1854 132739 9601 1 -33.0000 -35.0000 6.06%
1855.01/1860.25 c 1860 133187 9633 1 -33.0000 -35.0000 6.06%
1861.09/1866.39 c 1866 133478 9634 1 -33.0000 -35.0000 6.06%
1866.48/1871.78 c 1872 133874 9640 1 -33.0000 -35.0000 6.06%
1872.27/1877.56 c 1878 134316 9660 1 -33.0000 -35.0000 6.06%
1877.56/1882.89 c 1883 134604 9648 1 -33.0000 -35.0000 6.06%
1883.45/1888.77 c 1889 134969 9669 1 -33.0000 -35.0000 6.06%
1888.74/1894.07 c 1894 135281 9711 1 -33.0000 -35.0000 6.06%
1894.62/1899.95 c 1900 135566 9726 1 -33.0000 -35.0000 6.06%
1900.51/1905.89 c 1906 135770 9740 1 -33.0000 -35.0000 6.06%
1905.99/1911.38 c 1911 136090 9766 1 -33.0000 -35.0000 6.06%
1912.08/1917.49 c 1918 136369 9799 1 -33.0000 -35.0000 6.06%
1918.26/1923.67 c 1924 136575 9813 1 -33.0000 -35.0000 6.06%
1924.26/1929.68 c 1930 136894 9836 1 -33.0000 -35.0000 6.06%
1930.04/1935.42 c 1935 137010 9834 1 -33.0000 -35.0000 6.06%
1935.43/1940.87 c 1941 137335 9837 1 -33.0000 -35.0000 6.06%
1941.01/1946.44 c 1946 137842 9838 1 -33.0000 -35.0000 6.06%
1946.50/1951.93 c 1952 138308 9845 1 -33.0000 -35.0000 6.06%
1951.59/1957.06 c 1957 138886 9843 1 -33.0000 -35.0000 6.06%
1956.87/1962.38 c 1962 139035 9842 1 -33.0000 -35.0000 6.06%
1962.46/1967.91 c 1968 139295 9841 1 -33.0000 -35.0000 6.06%
1968.06/1973.54 c 1974 139610 9854 1 -33.0000 -35.0000 6.06%
1974.24/1979.71 c 1980 139876 9851 1 -33.0000 -35.0000 6.06%
1979.53/1985.07 c 1985 140156 9865 1 -33.0000 -35.0000 6.06%
1984.61/1990.14 c 1990 140867 9894 1 -33.0000 -35.0000 6.06%
1989.90/1995.49 c 1995 141299 9906 1 -33.0000 -35.0000 6.06%
1995.49/2001.10 c 2001 141935 9906 1 -33.0000 -35.0000 6.06%
2000.58/2006.15 c 2006 142650 9909 1 -33.0000 -35.0000 6.06%
2005.66/2011.23 c 2011 143158 9946 1 -33.0000 -35.0000 6.06%
2010.75/2016.30 c 2016 143826 10006 1 -33.0000 -35.0000 6.06%
2015.84/2021.44 c 2021 144545 10047 1 -33.0000 -35.0000 6.06%
2020.83/2026.49 c 2026 145137 10107 1 -33.0000 -35.0000 6.06%
2025.91/2031.55 c 2032 145799 10177 1 -33.0000 -35.0000 6.06%
2031.00/2036.60 c 2037 146536 10206 1 -33.0000 -35.0000 6.06%
2036.08/2041.70 c 2042 147242 10222 1 -33.0000 -35.0000 6.06%
2041.17/2046.83 c 2047 147865 10185 1 -33.0000 -35.0000 6.06%
2046.47/2052.19 c 2052 148349 10209 1 -33.0000 -35.0000 6.06%
2051.65/2057.39 c 2057 148810 10260 1 -33.0000 -35.0000 6.06%
2056.73/2062.44 c 2062 149468 10277 1 -33.0000 -35.0000 6.06%
2061.92/2067.63 c 2068 150174 10317 1 -33.0000 -35.0000 6.06%
2067.01/2072.70 c 2073 150868 10355 1 -33.0000 -35.0000 6.06%
2072.20/2077.97 c 2078 151394 10397 1 -33.0000 -35.0000 6.06%
2077.58/2083.37 c 2083 151946 10429 1 -33.0000 -35.0000 6.06%
2082.67/2088.42 c 2088 152733 10480 1 -33.0000 -35.0000 6.06%
2087.76/2093.54 c 2094 153379 10512 1 -33.0000 -35.0000 6.06%
2093.25/2099.03 c 2099 154113 10525 1 -33.0000 -35.0000 6.06%
2098.24/2104.08 c 2104 154792 10528 1 -33.0000 -35.0000 6.06%
2103.92/2109.73 c 2110 155198 10554 1 -33.0000 -35.0000 6.06%
2109.11/2114.95 c 2115 155891 10570 1 -33.0000 -35.0000 6.06%
2114.19/2120.04 c 2120 156596 10573 1 -33.0000 -35.0000 6.06%
2119.19/2125.09 c 2125 157324 10592 1 -33.0000 -35.0000 6.06%
2124.27/2130.15 c 2130 158019 10599 1 -33.0000 -35.0000 6.06%
2129.75/2135.60 c 2136 158269 10607 1 -33.0000 -35.0000 6.06%
2135.15/2141.01 c 2141 158916 10631 1 -33.0000 -35.0000 6.06%
2140.93/2146.81 c 2147 159130 10631 1 -33.0000 -35.0000 6.06%
2146.12/2152.02 c 2152 159674 10625 1 -33.0000 -35.0000 6.06%
2151.40/2157.32 c 2157 160255 10672 1 -33.0000 -35.0000 6.06%
2156.69/2162.63 c 2163 160387 10682 1 -33.0000 -35.0000 6.06%
2162.97/2168.90 c 2169 160563 10702 1 -33.0000 -35.0000 6.06%
2168.37/2174.38 c 2174 161015 10714 1 -33.0000 -35.0000 6.06%
2174.55/2180.53 c 2181 161374 10731 1 -33.0000 -35.0000 6.06%
2179.94/2185.96 c 2186 161759 10740 1 -33.0000 -35.0000 6.06%
2186.52/2192.56 c 2193 161916 10743 1 -33.0000 -35.0000 6.06%
2192.01/2198.00 c 2198 162293 10752 1 -33.0000 -35.0000 6.06%
2197.00/2203.04 c 2203 162524 10761 1 -33.0000 -35.0000 6.06%
2203.88/2209.99 c 2210 162974 10793 1 -33.0000 -35.0000 6.06%
2209.86/2215.96 c 2216 163154 10823 1 -33.0000 -35.0000 6.06%
2215.85/2221.93 c 2222 163321 10840 1 -33.0000 -35.0000 6.06%
2221.84/2227.90 c 2228 163426 10849 1 -33.0000 -35.0000 6.06%
2227.73/2233.85 c 2234 163606 10861 1 -33.0000 -35.0000 6.06%
2233.12/2239.30 c 2239 163691 10876 1 -33.0000 -35.0000 6.06%
2239.50/2245.62 c 2246 163769 10880 1 -33.0000 -35.0000 6.06%
2245.09/2251.26 c 2251 163991 10886 1 -33.0000 -35.0000 6.06%
2250.18/2256.31 c 2256 164045 10890 1 -33.0000 -35.0000 6.06%
2256.06/2262.25 c 2262 164198 10899 1 -33.0000 -35.0000 6.06%
2261.65/2267.83 c 2268 164347 10898 1 -33.0000 -35.0000 6.06%
2266.84/2273.05 c 2273 164533 10908 1 -33.0000 -35.0000 6.06%
2272.63/2278.84 c 2279 165040 10915 1 -33.0000 -35.0000 6.06%
2278.31/2284.52 c 2285 165382 10917 1 -33.0000 -35.0000 6.06%
2285.30/2291.57 c 2292 165703 10930 1 -33.0000 -35.0000 6.06%
2290.48/2296.76 c 2297 165955 10936 1 -33.0000 -35.0000 6.06%
2297.17/2303.43 c 2303 166035 10948 1 -33.0000 -35.0000 6.06%
2303.26/2309.55 c 2310 166116 10947 1 -33.0000 -35.0000 6.06%
2308.74/2315.04 c 2315 166709 10958 1 -33.0000 -35.0000 6.06%
2314.53/2320.88 c 2321 167114 10943 1 -33.0000 -35.0000 6.06%
2320.21/2326.50 c 2327 167741 10946 1 -33.0000 -35.0000 6.06%
2325.80/2332.18 c 2332 168191 10976 1 -33.0000 -35.0000 6.06%
2331.18/2337.59 c 2338 168471 10996 1 -33.0000 -35.0000 6.06%
2336.57/2342.98 c 2343 168718 11035 1 -33.0000 -35.0000 6.06%
2341.77/2348.11 c 2348 169284 11053 1 -33.0000 -35.0000 6.06%
2347.25/2353.63 c 2354 169730 11035 1 -33.0000 -35.0000 6.06%
2352.44/2358.86 c 2359 170313 11050 1 -33.0000 -35.0000 6.06%
2357.82/2364.26 c 2364 170852 11053 1 -33.0000 -35.0000 6.06%
2363.71/2370.10 c 2370 171241 11082 1 -33.0000 -35.0000 6.06%
2368.70/2375.17 c 2375 171585 11102 1 -33.0000 -35.0000 6.06%
2373.89/2380.34 c 2380 171843 11132 1 -33.0000 -35.0000 6.06%
2379.77/2386.28 c 2386 172118 11141 1 -33.0000 -35.0000 6.06%
2385.06/2391.51 c 2392 172727 11221 1 -33.0000 -35.0000 6.06%
2391.04/2397.52 c 2398 172919 11233 1 -33.0000 -35.0000 6.06%
2396.73/2403.27 c 2403 173006 11238 1 -33.0000 -35.0000 6.06%
2402.53/2409.04 c 2409 173402 11240 1 -33.0000 -35.0000 6.06%
2407.51/2414.08 c 2414 174083 11309 1 -33.0000 -35.0000 6.06%
2412.60/2419.10 c 2419 174340 11344 1 -33.0000 -35.0000 6.06%
2418.08/2424.68 c 2425 174505 11335 1 -33.0000 -35.0000 6.06%
2423.17/2429.77 c 2430 174945 11365 1 -33.0000 -35.0000 6.06%
2428.96/2435.52 c 2436 175565 11413 1 -33.0000 -35.0000 6.06%
2434.04/2440.60 c 2441 176060 11489 1 -33.0000 -35.0000 6.06%
2440.13/2446.76 c 2447 176225 11506 1 -33.0000 -35.0000 6.06%
2445.81/2452.41 c 2452 176399 11508 1 -33.0000 -35.0000 6.06%
2451.20/2457.84 c 2458 176977 11613 1 -33.0000 -35.0000 6.06%
2456.89/2463.50 c 2464 177161 11648 1 -33.0000 -35.0000 6.06%
2462.38/2469.06 c 2469 177331 11678 1 -33.0000 -35.0000 6.06%
2467.47/2474.18 c 2474 177582 11691 1 -33.0000 -35.0000 6.06%
2473.36/2480.03 c 2480 178045 11738 1 -33.0000 -35.0000 6.06%
2479.04/2485.77 c 2486 178173 11750 1 -33.0000 -35.0000 6.06%
2484.73/2491.49 c 2492 178272 11749 1 -33.0000 -35.0000 6.06%
2490.42/2497.15 c 2497 178444 11759 1 -33.0000 -35.0000 6.06%
2496.00/2502.74 c 2503 178687 11778 1 -33.0000 -35.0000 6.06%
2501.29/2508.08 c 2508 178781 11782 1 -33.0000 -35.0000 6.06%
2506.97/2513.73 c 2514 178873 11782 1 -33.0000 -35.0000 6.06%
2512.46/2519.26 c 2519 179053 11804 1 -33.0000 -35.0000 6.06%
2517.95/2524.79 c 2525 179181 11814 1 -33.0000 -35.0000 6.06%
2523.43/2530.22 c 2530 179284 11823 1 -33.0000 -35.0000 6.06%
2529.42/2536.29 c 2536 179446 11845 1 -33.0000 -35.0000 6.06%
2535.41/2542.21 c 2542 179546 11853 1 -33.0000 -35.0000 6.06%
2541.20/2548.01 c 2548 179631 11858 1 -33.0000 -35.0000 6.06%
2547.58/2554.40 c 2554 179774 11865 1 -33.0000 -35.0000 6.06%
2553.07/2559.93 c 2560 179850 11863 1 -33.0000 -35.0000 6.06%
2558.65/2565.59 c 2566 180032 11873 1 -33.0000 -35.0000 6.06%
2564.35/2571.22 c 2571 180223 11884 1 -33.0000 -35.0000 6.06%
2569.44/2576.30 c 2576 180385 11881 1 -33.0000 -35.0000 6.06%
2575.82/2582.78 c 2583 180721 11893 1 -33.0000 -35.0000 6.06%
2580.91/2587.83 c 2588 180876 11904 1 -33.0000 -35.0000 6.06%
2586.59/2593.52 c 2594 181090 11924 1 -33.0000 -35.0000 6.06%
2592.08/2599.03 c 2599 181365 11939 1 -33.0000 -35.0000 6.06%
2597.46/2604.42 c 2604 181753 11927 1 -33.0000 -35.0000 6.06%
2603.65/2610.68 c 2611 182225 11945 1 -33.0000 -35.0000 6.06%
2609.15/2616.18 c 2616 182526 11970 1 -33.0000 -35.0000 6.06%
2615.23/2622.29 c 2622 182912 11956 1 -33.0000 -35.0000 6.06%
2621.01/2628.00 c 2628 183495 12029 1 -33.0000 -35.0000 6.06%
2626.59/2633.63 c 2634 184136 12077 1 -33.0000 -35.0000 6.06%
2632.19/2639.22 c 2639 184570 12071 1 -33.0000 -35.0000 6.06%
2637.17/2644.29 c 2644 185236 12092 1 -33.0000 -35.0000 6.06%
2642.96/2650.05 c 2650 185665 12099 1 -33.0000 -35.0000 6.06%
2648.24/2655.33 c 2655 185977 12127 1 -33.0000 -35.0000 6.06%
2653.33/2660.50 c 2660 186615 12117 1 -33.0000 -35.0000 6.06%
2659.02/2666.12 c 2666 187230 12148 1 -33.0000 -35.0000 6.06%
2664.10/2671.20 c 2671 187857 12191 1 -33.0000 -35.0000 6.06%
2669.49/2676.68 c 2677 188412 12216 1 -33.0000 -35.0000 6.06%
2674.68/2681.84 c 2682 189111 12275 1 -33.0000 -35.0000 6.06%
2680.46/2687.61 c 2688 189451 12307 1 -33.0000 -35.0000 6.06%
2685.74/2692.91 c 2693 189895 12347 1 -33.0000 -35.0000 6.06%
2691.03/2698.24 c 2698 190402 12404 1 -33.0000 -35.0000 6.06%
2696.51/2703.75 c 2704 190596 12434 1 -33.0000 -35.0000 6.06%
2701.90/2709.17 c 2709 190763 12449 1 -33.0000 -35.0000 6.06%
2707.38/2714.68 c 2715 190883 12449 1 -33.0000 -35.0000 6.06%
2713.06/2720.36 c 2720 191310 12484 1 -33.0000 -35.0000 6.06%
2718.54/2725.80 c 2726 191614 12498 1 -33.0000 -35.0000 6.06%
2723.53/2730.84 c 2731 191884 12492 1 -33.0000 -35.0000 6.06%
2729.22/2736.50 c 2737 192360 12474 1 -33.0000 -35.0000 6.06%
2734.30/2741.62 c 2742 193030 12510 1 -33.0000 -35.0000 6.06%
2739.97/2747.35 c 2747 193527 12509 1 -33.0000 -35.0000 6.06%
2745.36/2752.77 c 2753 194046 12520 1 -33.0000 -35.0000 6.06%
2750.84/2758.27 c 2758 194480 12544 1 -33.0000 -35.0000 6.06%
2757.02/2764.44 c 2764 194803 12569 1 -33.0000 -35.0000 6.06%
2762.41/2769.88 c 2770 195289 12601 1 -33.0000 -35.0000 6.06%
2767.49/2774.95 c 2775 195932 12616 1 -33.0000 -35.0000 6.06%
2772.58/2780.01 c 2780 196571 12649 1 -33.0000 -35.0000 6.06%
2779.56/2787.06 c 2787 197072 12710 1 -33.0000 -35.0000 6.06%
2784.94/2792.43 c 2792 197093 12715 1 -33.0000 -35.0000 6.06%
2790.22/2797.70 c 2798 197173 12735 1 -33.0000 -35.0000 6.06%
2796.61/2804.15 c 2804 197285 12763 1 -33.0000 -35.0000 6.06%
2801.59/2809.17 c 2809 197394 12796 1 -33.0000 -35.0000 6.06%
2806.58/2814.19 c 2814 197478 12822 1 -33.0000 -35.0000 6.06%
2812.56/2820.11 c 2820 197590 12848 1 -33.0000 -35.0000 6.06%
2818.14/2825.75 c 2826 197683 12865 1 -33.0000 -35.0000 6.06%
2823.53/2831.13 c 2831 197780 12882 1 -33.0000 -35.0000 6.06%
2829.61/2837.22 c 2837 197899 12905 1 -33.0000 -35.0000 6.06%
2834.90/2842.55 c 2843 198142 12940 1 -33.0000 -35.0000 6.06%
2840.48/2848.15 c 2848 198355 12949 1 -33.0000 -35.0000 6.06%
2846.16/2853.87 c 2854 198588 12990 1 -33.0000 -35.0000 6.06%
2852.35/2860.03 c 2860 198721 13005 1 -33.0000 -35.0000 6.06%
2858.13/2865.84 c 2866 198847 13021 1 -33.0000 -35.0000 6.06%
2863.11/2870.88 c 2871 199001 13037 1 -33.0000 -35.0000 6.06%
2868.30/2876.00 c 2876 199350 13100 1 -33.0000 -35.0000 6.06%
2873.78/2881.53 c 2882 199463 13127 1 -33.0000 -35.0000 6.06%
2879.76/2887.58 c 2888 199544 13138 1 -33.0000 -35.0000 6.06%
2885.15/2892.97 c 2893 199769 13151 1 -33.0000 -35.0000 6.06%
2890.43/2898.28 c 2898 199952 13156 1 -33.0000 -35.0000 6.06%
2896.11/2903.98 c 2904 200092 13164 1 -33.0000 -35.0000 6.06%
2901.50/2909.30 c 2909 200288 13182 1 -33.0000 -35.0000 6.06%
2907.58/2915.44 c 2915 200486 13196 1 -33.0000 -35.0000 6.06%
2913.36/2921.29 c 2921 200734 13248 1 -33.0000 -35.0000 6.06%
2920.35/2928.24 c 2928 200834 13250 1 -33.0000 -35.0000 6.06%
2925.53/2933.46 c 2933 201007 13267 1 -33.0000 -35.0000 6.06%
2931.22/2939.11 c 2939 201144 13266 1 -33.0000 -35.0000 6.06%
2936.49/2944.47 c 2944 201368 13280 1 -33.0000 -35.0000 6.06%
2941.97/2949.94 c 2950 201563 13313 1 -33.0000 -35.0000 6.06%
2947.36/2955.37 c 2955 201624 13324 1 -33.0000 -35.0000 6.06%
2952.85/2960.86 c 2961 201772 13340 1 -33.0000 -35.0000 6.06%
2958.73/2966.78 c 2967 202197 13385 1 -33.0000 -35.0000 6.06%
2964.51/2972.58 c 2973 202869 13437 1 -33.0000 -35.0000 6.06%
2969.80/2977.89 c 2978 203097 13471 1 -33.0000 -35.0000 6.06%
2975.28/2983.36 c 2983 203305 13509 1 -33.0000 -35.0000 6.06%
2981.36/2989.45 c 2989 203493 13551 1 -33.0000 -35.0000 6.06%
2986.55/2994.66 c 2995 203615 13569 1 -33.0000 -35.0000 6.06%
2991.94/3000.01 c 3000 203818 13594 1 -33.0000 -35.0000 6.06%
2997.31/3005.41 c 3005 204002 13592 1 -33.0000 -35.0000 6.06%
3003.59/3011.72 c 3012 204148 13610 1 -33.0000 -35.0000 6.06%
3008.69/3016.87 c 3017 204228 13612 1 -33.0000 -35.0000 6.06%
3014.57/3022.76 c 3023 204327 13627 1 -33.0000 -35.0000 6.06%
3019.85/3028.05 c 3028 204706 13614 1 -33.0000 -35.0000 6.06%
3026.13/3034.34 c 3034 204829 13625 1 -33.0000 -35.0000 6.06%
3032.01/3040.26 c 3040 205314 13624 1 -33.0000 -35.0000 6.06%
3037.10/3045.38 c 3045 205607 13629 1 -33.0000 -35.0000 6.06%
3044.57/3052.89 c 3053 206169 13659 1 -33.0000 -35.0000 6.06%
3049.96/3058.25 c 3058 206436 13676 1 -33.0000 -35.0000 6.06%
3055.04/3063.34 c 3063 206989 13793 1 -33.0000 -35.0000 6.06%
3060.13/3068.41 c 3068 207581 13861 1 -33.0000 -35.0000 6.06%
3065.11/3073.48 c 3073 208244 13896 1 -33.0000 -35.0000 6.06%
3070.30/3078.62 c 3079 208901 13947 1 -33.0000 -35.0000 6.06%
3075.28/3083.67 c 3084 209553 13997 1 -33.0000 -35.0000 6.06%
3080.36/3088.78 c 3089 210257 14117 1 -33.0000 -35.0000 6.06%
3085.44/3093.84 c 3094 210921 14179 1 -33.0000 -35.0000 6.06%
3090.53/3098.95 c 3099 211603 14231 1 -33.0000 -35.0000 6.06%
3096.01/3104.41 c 3104 212214 14314 1 -33.0000 -35.0000 6.06%
3101.20/3109.69 c 3110 212656 14390 1 -33.0000 -35.0000 6.06%
3106.78/3115.20 c 3115 212917 14421 1 -33.0000 -35.0000 6.06%
3112.16/3120.69 c 3121 213188 14448 1 -33.0000 -35.0000 6.06%
3118.04/3126.55 c 3127 213501 14499 1 -33.0000 -35.0000 6.06%
3123.23/3131.71 c 3132 213565 14499 1 -33.0000 -35.0000 6.06%
3128.31/3136.85 c 3137 213640 14504 1 -33.0000 -35.0000 6.06%
3134.10/3142.63 c 3143 213989 14527 1 -33.0000 -35.0000 6.06%
3139.08/3147.68 c 3148 214641 14547 1 -33.0000 -35.0000 6.06%
3144.26/3152.81 c 3153 215330 14564 1 -33.0000 -35.0000 6.06%
3149.35/3157.91 c 3158 216019 14627 1 -33.0000 -35.0000 6.06%
3154.74/3163.34 c 3163 216522 14640 1 -33.0000 -35.0000 6.06%
3159.72/3168.39 c 3168 217313 14705 1 -33.0000 -35.0000 6.06%
3164.80/3173.49 c 3173 217976 14760 1 -33.0000 -35.0000 6.06%
3169.99/3178.66 c 3179 218712 14766 1 -33.0000 -35.0000 6.06%
3175.07/3183.72 c 3184 219324 14798 1 -33.0000 -35.0000 6.06%
3180.85/3189.59 c 3190 219998 14816 1 -33.0000 -35.0000 6.06%
3185.94/3194.64 c 3195 220548 14850 1 -33.0000 -35.0000 6.06%
3191.71/3200.47 c 3200 221145 14874 1 -33.0000 -35.0000 6.06%
3197.31/3206.10 c 3206 221845 14924 1 -33.0000 -35.0000 6.06%
3202.39/3211.17 c 3211 222654 14971 1 -33.0000 -35.0000 6.06%
3207.88/3216.60 c 3217 223204 15009 1 -33.0000 -35.0000 6.06%
3212.86/3221.66 c 3222 223920 15085 1 -33.0000 -35.0000 6.06%
3217.95/3226.75 c 3227 224442 15109 1 -33.0000 -35.0000 6.06%
3223.04/3231.81 c 3232 225106 15165 1 -33.0000 -35.0000 6.06%
3228.03/3236.86 c 3237 225805 15238 1 -33.0000 -35.0000 6.06%
3233.11/3241.91 c 3242 226598 15309 1 -33.0000 -35.0000 6.06%
3238.10/3246.98 c 3247 227313 15344 1 -33.0000 -35.0000 6.06%
3243.68/3252.55 c 3253 227745 15376 1 -33.0000 -35.0000 6.06%
3248.78/3257.60 c 3258 228447 15474 1 -33.0000 -35.0000 6.06%
3253.76/3262.69 c 3263 229021 15508 1 -33.0000 -35.0000 6.06%
3258.85/3267.78 c 3268 229595 15588 1 -33.0000 -35.0000 6.06%
3264.73/3273.68 c 3274 229659 15598 1 -33.0000 -35.0000 6.06%
3270.62/3279.53 c 3280 230026 15673 1 -33.0000 -35.0000 6.06%
3276.21/3285.18 c 3285 230306 15707 1 -33.0000 -35.0000 6.06%
3281.29/3290.24 c 3290 231010 15753 1 -33.0000 -35.0000 6.06%
3286.39/3295.36 c 3295 231512 15811 1 -33.0000 -35.0000 6.06%
3292.57/3301.59 c 3302 231793 15838 1 -33.0000 -35.0000 6.06%
3298.56/3307.54 c 3308 231986 15841 1 -33.0000 -35.0000 6.06%
3304.34/3313.39 c 3313 232297 15878 1 -33.0000 -35.0000 6.06%
3309.53/3318.57 c 3319 232804 15921 1 -33.0000 -35.0000 6.06%
3315.41/3324.40 c 3324 233411 15948 1 -33.0000 -35.0000 6.06%
3320.40/3329.48 c 3329 233821 15976 1 -33.0000 -35.0000 6.06%
3326.19/3335.23 c 3335 234363 16020 1 -33.0000 -35.0000 6.06%
3331.48/3340.55 c 3341 235054 16087 1 -33.0000 -35.0000 6.06%
3337.07/3346.12 c 3346 235420 16113 1 -33.0000 -35.0000 6.06%
3342.36/3351.41 c 3351 236060 16153 1 -33.0000 -35.0000 6.06%
3347.44/3356.57 c 3357 236639 16170 1 -33.0000 -35.0000 6.06%
3352.52/3361.63 c 3362 237339 16180 1 -33.0000 -35.0000 6.06%
3357.71/3366.88 c 3367 237989 16266 1 -33.0000 -35.0000 6.06%
3363.60/3372.70 c 3373 238723 16322 1 -33.0000 -35.0000 6.06%
3369.19/3378.33 c 3378 239392 16367 1 -33.0000 -35.0000 6.06%
3375.27/3384.41 c 3384 239705 16380 1 -33.0000 -35.0000 6.06%
3380.26/3389.49 c 3390 240294 16393 1 -33.0000 -35.0000 6.06%
3385.35/3394.55 c 3395 241087 16412 1 -33.0000 -35.0000 6.06%
3390.43/3399.61 c 3400 241734 16453 1 -33.0000 -35.0000 6.06%
3395.42/3404.68 c 3405 241959 16492 1 -33.0000 -35.0000 6.06%
3400.51/3409.73 c 3410 242206 16497 1 -33.0000 -35.0000 6.06%
3405.59/3414.86 c 3415 242942 16551 1 -33.0000 -35.0000 6.06%
3411.69/3420.91 c 3421 243633 16568 1 -33.0000 -35.0000 6.06%
3416.87/3426.17 c 3426 244134 16619 1 -33.0000 -35.0000 6.06%
3422.76/3432.09 c 3432 244656 16659 1 -33.0000 -35.0000 6.06%
3428.34/3437.69 c 3438 245113 16686 1 -33.0000 -35.0000 6.06%
3433.53/3442.88 c 3443 245567 16698 1 -33.0000 -35.0000 6.06%
3439.32/3448.69 c 3449 245887 16704 1 -33.0000 -35.0000 6.06%
3444.51/3453.83 c 3454 246053 16704 1 -33.0000 -35.0000 6.06%
3449.70/3459.09 c 3459 246565 16740 1 -33.0000 -35.0000 6.06%
3454.88/3464.21 c 3464 247274 16781 1 -33.0000 -35.0000 6.06%
3460.17/3469.58 c 3470 247831 16792 1 -33.0000 -35.0000 6.06%
3465.45/3474.89 c 3475 248636 16853 1 -33.0000 -35.0000 6.06%
3470.84/3480.26 c 3480 249255 16866 1 -33.0000 -35.0000 6.06%
3476.23/3485.61 c 3486 249557 16900 1 -33.0000 -35.0000 6.06%
3481.22/3490.67 c 3491 249796 16945 1 -33.0000 -35.0000 6.06%
3486.31/3495.73 c 3496 250264 16997 1 -33.0000 -35.0000 6.06%
3491.39/3500.80 c 3501 250790 17061 1 -33.0000 -35.0000 6.06%
3496.59/3506.09 c 3506 251327 17136 1 -33.0000 -35.0000 6.06%
3501.67/3511.15 c 3511 251920 17211 1 -33.0000 -35.0000 6.06%
3506.75/3516.20 c 3516 252523 17294 1 -33.0000 -35.0000 6.06%
3511.74/3521.25 c 3521 253262 17343 1 -33.0000 -35.0000 6.06%
3516.83/3526.32 c 3526 253943 17404 1 -33.0000 -35.0000 6.06%
3521.82/3531.36 c 3531 254654 17483 1 -33.0000 -35.0000 6.06%
3526.91/3536.43 c 3536 255375 17558 1 -33.0000 -35.0000 6.06%
3531.89/3541.49 c 3542 256114 17653 1 -33.0000 -35.0000 6.06%
3536.98/3546.54 c 3547 256825 17756 1 -33.0000 -35.0000 6.06%
3542.06/3551.60 c 3552 257512 17823 1 -33.0000 -35.0000 6.06%
3547.06/3556.67 c 3557 258241 17922 1 -33.0000 -35.0000 6.06%
3552.24/3561.84 c 3562 258810 17964 1 -33.0000 -35.0000 6.06%
3557.33/3566.91 c 3567 259567 18035 1 -33.0000 -35.0000 6.06%
3562.32/3571.96 c 3572 260323 18103 1 -33.0000 -35.0000 6.06%
3567.41/3577.01 c 3577 261005 18179 1 -33.0000 -35.0000 6.06%
3572.69/3582.34 c 3582 261635 18298 1 -33.0000 -35.0000 6.06%
3577.68/3587.39 c 3587 262339 18342 1 -33.0000 -35.0000 6.06%
3582.76/3592.45 c 3592 263101 18412 1 -33.0000 -35.0000 6.06%
3587.85/3597.51 c 3598 263861 18492 1 -33.0000 -35.0000 6.06%
3588.65/3598.37 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.65/3598.37 c Total Time : 3598.36
3588.65/3598.37 c solving : 3598.36
3588.65/3598.37 c presolving : 0.41 (included in solving)
3588.65/3598.37 c B&B Tree :
3588.65/3598.37 c nodes (total) : 1
3588.65/3598.37 c Solution :
3588.65/3598.37 c Solutions found : 9
3588.65/3598.37 c Primal Bound : -3.30000000000000e+01
3588.65/3598.37 c Dual Bound : -3.50000000000000e+01
3588.65/3598.37 c Gap : 6.06061 %
3588.65/3598.37 c * Warning: final gap: 6.06061e-02 is greater than SCIPepsilon: 1.00000e-09
3588.65/3598.39 o -33
3588.65/3598.39 s SATISFIABLE
3588.65/3598.39 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28
3588.65/3598.39 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53
3588.65/3598.39 v -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
3588.65/3598.39 v -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
3588.65/3598.39 v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124
3588.65/3598.39 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145
3588.65/3598.39 v -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
3588.65/3598.39 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
3588.65/3598.39 v -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208
3588.65/3598.39 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
3588.65/3598.39 v -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250
3588.65/3598.39 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
3588.65/3598.39 v -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292
3588.65/3598.39 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313
3588.65/3598.39 v -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334
3588.65/3598.39 v -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355
3588.65/3598.39 v -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
3588.65/3598.39 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397
3588.65/3598.39 v -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418
3588.65/3598.39 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439
3588.65/3598.39 v -x440 -x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461
3588.65/3598.39 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482
3588.65/3598.39 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
3588.65/3598.39 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524
3588.65/3598.39 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 -x545
3588.65/3598.39 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
3588.65/3598.39 v -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587
3588.65/3598.39 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595
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: 63931 MiB (57684 MiB free)
memory of node 1: 64510 MiB (61559 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464044-1722378594/watcher-4464044-1722378594 -o /tmp/evaluation-result-4464044-1722378594/solver-4464044-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27904 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464044-1722378594.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27966, runsolver pid=27959
[startup+0.100822 s]*
/proc/loadavg: 0.11 0.09 0.09 6/257 27967
/proc/meminfo: memFree=121958588/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=62440 memory=51428 CPUtime=0.1 cores=4,6
/proc/27966/stat : 27966 (fscip) R 27959 27966 27893 0 -1 4194304 10547 0 0 0 9 1 0 0 20 0 1 0 4457316 63938560 12857 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 15610 12857 2614 3035 0 12006 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 62440 KiB
Current children cumulated memory: 51428 KiB
[startup+0.205843 s]*
/proc/loadavg: 0.11 0.09 0.09 6/257 27967
/proc/meminfo: memFree=121820036/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=80048 memory=69184 CPUtime=0.2 cores=4,6
/proc/27966/stat : 27966 (fscip) R 27959 27966 27893 0 -1 4194304 18375 0 0 0 18 2 0 0 20 0 1 0 4457316 81969152 17296 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 20012 17296 2710 3035 0 16408 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80048 KiB
Current children cumulated memory: 69184 KiB
[startup+0.305829 s]*
/proc/loadavg: 0.11 0.09 0.09 6/257 27967
/proc/meminfo: memFree=121716352/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=73904 memory=63244 CPUtime=0.3 cores=4,6
/proc/27966/stat : 27966 (fscip) R 27959 27966 27893 0 -1 4194304 18378 0 0 0 28 2 0 0 20 0 1 0 4457316 75677696 15811 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 18476 15811 2710 3035 0 14872 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 73904 KiB
Current children cumulated memory: 63244 KiB
[startup+0.70084 s]
/proc/loadavg: 0.11 0.09 0.09 6/258 27968
/proc/meminfo: memFree=121490336/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=215156 memory=167924 CPUtime=0.69 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 45993 0 0 0 62 7 0 0 20 0 3 0 4457316 220319744 41981 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 53789 41981 2790 3035 0 48096 0
[pid=27966/tid=27968] ppid=27959 vsize=215156 memory=1984 CPUtime=0.17 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 15445 0 0 0 15 2 0 0 20 0 3 0 4457364 220319744 41981 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 215156 KiB
Current children cumulated memory: 167924 KiB
[startup+1.50084 s]
/proc/loadavg: 0.42 0.16 0.11 6/261 27971
/proc/meminfo: memFree=121157056/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=325248 memory=254600 CPUtime=1.48 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 63983 0 0 0 138 10 0 0 20 0 3 0 4457316 333053952 63650 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 81312 63650 2950 3035 0 71208 0
[pid=27966/tid=27968] ppid=27959 vsize=325248 memory=1984 CPUtime=0.96 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 33435 0 0 0 91 5 0 0 20 0 3 0 4457364 333053952 63650 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=325248 memory=11712 CPUtime=0 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4457371 333053952 63650 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 325248 KiB
Current children cumulated memory: 254600 KiB
[startup+3.10592 s]
/proc/loadavg: 0.42 0.16 0.11 6/263 27973
/proc/meminfo: memFree=120601972/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=325248 memory=257776 CPUtime=3.07 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 76393 0 0 0 296 11 0 0 20 0 3 0 4457316 333053952 64444 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 81312 64444 2950 3035 0 74533 0
[pid=27966/tid=27968] ppid=27959 vsize=325248 memory=-5155625795395611781 CPUtime=2.56 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 45841 0 0 0 250 6 0 0 20 0 3 0 4457364 333053952 64444 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=325248 memory=0 CPUtime=0 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4457371 333053952 64444 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 325248 KiB
Current children cumulated memory: 257776 KiB
[startup+6.30024 s]
/proc/loadavg: 0.71 0.22 0.13 6/263 27973
/proc/meminfo: memFree=120495612/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=390784 memory=264124 CPUtime=6.26 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 101575 0 0 0 613 13 0 0 20 0 3 0 4457316 400162816 66031 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 97696 66031 2950 3035 0 82608 0
[pid=27966/tid=27968] ppid=27959 vsize=390784 memory=261584 CPUtime=5.75 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 71022 0 0 0 566 9 0 0 20 0 3 0 4457364 400162816 66031 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=390784 memory=-5155625795395611781 CPUtime=0 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4457371 400162816 66031 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 390784 KiB
Current children cumulated memory: 264124 KiB
[startup+12.7002 s]
/proc/loadavg: 1.05 0.30 0.16 6/263 27975
/proc/meminfo: memFree=120417524/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=456320 memory=307680 CPUtime=12.65 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 146337 0 0 0 1247 18 0 0 20 0 3 0 4457316 467271680 76920 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 114080 76920 2998 3035 0 96558 0
[pid=27966/tid=27968] ppid=27959 vsize=456320 memory=258452 CPUtime=12.13 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 115583 0 0 0 1200 13 0 0 20 0 3 0 4457364 467271680 76920 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=456320 memory=307456 CPUtime=0 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4457371 467271680 76920 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 456320 KiB
Current children cumulated memory: 307680 KiB
[startup+25.5003 s]
/proc/loadavg: 1.50 0.42 0.20 6/263 27976
/proc/meminfo: memFree=120311404/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=456320 memory=307948 CPUtime=25.41 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 170518 0 0 0 2521 20 0 0 20 0 3 0 4457316 467271680 76987 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 114080 76987 2998 3035 0 97203 0
[pid=27966/tid=27968] ppid=27959 vsize=456320 memory=307796 CPUtime=24.89 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 139708 0 0 0 2474 15 0 0 20 0 3 0 4457364 467271680 76987 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=456320 memory=307948 CPUtime=0 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 4457371 467271680 76987 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 456320 KiB
Current children cumulated memory: 307948 KiB
[startup+51.1059 s]
/proc/loadavg: 2.55 0.78 0.33 6/267 28042
/proc/meminfo: memFree=120292884/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=456320 memory=308028 CPUtime=50.93 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 217412 0 0 0 5070 23 0 0 20 0 3 0 4457316 467271680 77007 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 114080 77007 2998 3035 0 103877 0
[pid=27966/tid=27968] ppid=27959 vsize=456320 memory=308008 CPUtime=50.41 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 186065 0 0 0 5023 18 0 0 20 0 3 0 4457364 467271680 77007 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=456320 memory=308008 CPUtime=0 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 4457371 467271680 77007 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 456320 KiB
Current children cumulated memory: 308028 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 1.29 0.53 6/268 28054
/proc/meminfo: memFree=119685884/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=615220 memory=401436 CPUtime=101.98 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 313927 0 0 0 10167 31 0 0 20 0 3 0 4457316 629985280 100359 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 153805 100359 2998 3035 0 137713 0
[pid=27966/tid=27968] ppid=27959 vsize=615220 memory=11712 CPUtime=101.46 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 282442 0 0 0 10120 26 0 0 20 0 3 0 4457364 629985280 100359 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=615220 memory=11712 CPUtime=0 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 4457371 629985280 100359 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 615220 KiB
Current children cumulated memory: 401436 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 1.80 0.75 6/268 28065
/proc/meminfo: memFree=119625800/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=697940 memory=420064 CPUtime=161.8 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 369816 0 0 0 16142 38 0 0 20 0 3 0 4457316 714690560 105016 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 174485 105016 2998 3035 0 156364 0
[pid=27966/tid=27968] ppid=27959 vsize=697940 memory=12552 CPUtime=161.28 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 338241 0 0 0 16095 33 0 0 20 0 3 0 4457364 714690560 105016 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=697940 memory=412824 CPUtime=0 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 4457371 714690560 105016 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 697940 KiB
Current children cumulated memory: 420064 KiB
[startup+222.3 s]
/proc/loadavg: 4.31 2.31 1.00 6/268 28124
/proc/meminfo: memFree=120722900/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=783180 memory=492596 CPUtime=221.65 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 429944 0 0 0 22119 46 0 0 20 0 3 0 4457316 801976320 123149 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 195795 123149 2998 3035 0 184470 0
[pid=27966/tid=27968] ppid=27959 vsize=783180 memory=464480 CPUtime=221.12 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 398294 0 0 0 22072 40 0 0 20 0 3 0 4457364 801976320 123149 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=783180 memory=471472 CPUtime=0 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 3 0 4457371 801976320 123149 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 783180 KiB
################
# More data... #
################
Current children cumulated memory: 1865364 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.02 6/263 29762
/proc/meminfo: memFree=116505760/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=2108516 memory=1903692 CPUtime=3393.13 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 3278782 0 0 0 338982 331 0 0 20 0 3 0 4457316 2159120384 475923 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 527129 475923 3302 3035 0 520501 0
[pid=27966/tid=27968] ppid=27959 vsize=2108516 memory=1900936 CPUtime=3392.41 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 3245720 0 0 0 338921 320 0 0 20 0 3 0 4457364 2159120384 475923 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=2108516 memory=11712 CPUtime=0.02 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 79 0 0 0 1 1 0 0 20 0 3 0 4457371 2159120384 475923 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 2108516 KiB
Current children cumulated memory: 1903692 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.08 4.01 6/263 29774
/proc/meminfo: memFree=116447636/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=2174052 memory=1927952 CPUtime=3452.99 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 3296654 0 0 0 344964 335 0 0 20 0 3 0 4457316 2226229248 481988 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 543513 481988 3302 3035 0 526007 0
[pid=27966/tid=27968] ppid=27959 vsize=2174052 memory=1927892 CPUtime=3452.27 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 3263559 0 0 0 344903 324 0 0 20 0 3 0 4457364 2226229248 481988 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=2174052 memory=1927868 CPUtime=0.02 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 80 0 0 0 1 1 0 0 20 0 3 0 4457371 2226229248 481988 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 3452.99 s
Current children cumulated vsize: 2174052 KiB
Current children cumulated memory: 1927952 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.02 6/263 29785
/proc/meminfo: memFree=116419860/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=2174052 memory=1928636 CPUtime=3512.85 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 3464277 0 0 0 350938 347 0 0 20 0 3 0 4457316 2226229248 482159 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 543513 482159 3302 3035 0 529602 0
[pid=27966/tid=27968] ppid=27959 vsize=2174052 memory=1928532 CPUtime=3512.12 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 3431168 0 0 0 350877 335 0 0 20 0 3 0 4457364 2226229248 482159 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=2174052 memory=1928620 CPUtime=0.03 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 81 0 0 0 1 2 0 0 20 0 3 0 4457371 2226229248 482159 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 3512.85 s
Current children cumulated vsize: 2174052 KiB
Current children cumulated memory: 1928636 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.12 4.03 6/264 29964
/proc/meminfo: memFree=116329244/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=2174052 memory=1971764 CPUtime=3572.69 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 3600500 0 0 0 356911 358 0 0 20 0 3 0 4457316 2226229248 492941 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 543513 492941 3302 3035 0 529602 0
[pid=27966/tid=27968] ppid=27959 vsize=2174052 memory=1970652 CPUtime=3571.96 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 3567349 0 0 0 356850 346 0 0 20 0 3 0 4457364 2226229248 492941 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=2174052 memory=13204 CPUtime=0.03 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 82 0 0 0 1 2 0 0 20 0 3 0 4457371 2226229248 492941 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 3572.69 s
Current children cumulated vsize: 2174052 KiB
Current children cumulated memory: 1971764 KiB
[startup+3598.42 s]
# the end of solver process 27966 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.09 s, system=3.67897 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.21 4.12 4.03 6/264 29965
/proc/meminfo: memFree=116328088/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=2174052 memory=1971920 CPUtime=3574.39 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 3600641 0 0 0 357081 358 0 0 20 0 3 0 4457316 2226229248 492980 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 543513 492980 3302 3035 0 529602 0
[pid=27966/tid=27968] ppid=27959 vsize=2174052 memory=-7522256593712406652 CPUtime=3573.66 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 3567490 0 0 0 357020 346 0 0 20 0 3 0 4457364 2226229248 492980 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=2174052 memory=-4050210904893604237 CPUtime=0.03 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 82 0 0 0 1 2 0 0 20 0 3 0 4457371 2226229248 492980 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 3574.39 s
Current children cumulated vsize: 2174052 KiB
Current children cumulated memory: 1971920 KiB
[startup+3590.4 s]
/proc/loadavg: 4.19 4.12 4.03 6/264 29967
/proc/meminfo: memFree=116311632/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=2174052 memory=1985244 CPUtime=3580.77 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 3609986 0 0 0 357717 360 0 0 20 0 3 0 4457316 2226229248 496311 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 543513 496311 3302 3035 0 537043 0
[pid=27966/tid=27968] ppid=27959 vsize=2174052 memory=1984792 CPUtime=3580.04 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 3576835 0 0 0 357656 348 0 0 20 0 3 0 4457364 2226229248 496311 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=2174052 memory=11712 CPUtime=0.03 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 82 0 0 0 1 2 0 0 20 0 3 0 4457371 2226229248 496311 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 3580.77 s
Current children cumulated vsize: 2174052 KiB
Current children cumulated memory: 1985244 KiB
[startup+3593.6 s]
/proc/loadavg: 4.17 4.12 4.03 6/264 29967
/proc/meminfo: memFree=116310500/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=2174052 memory=1985364 CPUtime=3583.96 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 3610062 0 0 0 358036 360 0 0 20 0 3 0 4457316 2226229248 496341 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 543513 496341 3302 3035 0 537043 0
[pid=27966/tid=27968] ppid=27959 vsize=2174052 memory=13204 CPUtime=3583.23 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 3576911 0 0 0 357975 348 0 0 20 0 3 0 4457364 2226229248 496341 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=2174052 memory=1984524 CPUtime=0.03 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 82 0 0 0 1 2 0 0 20 0 3 0 4457371 2226229248 496341 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 3583.96 s
Current children cumulated vsize: 2174052 KiB
Current children cumulated memory: 1985364 KiB
[startup+3596.8 s]
/proc/loadavg: 4.17 4.12 4.03 6/264 29967
/proc/meminfo: memFree=116309344/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=2174052 memory=1985680 CPUtime=3587.15 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 3610190 0 0 0 358355 360 0 0 20 0 3 0 4457316 2226229248 496420 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 543513 496420 3302 3035 0 537043 0
[pid=27966/tid=27968] ppid=27959 vsize=2174052 memory=1985536 CPUtime=3586.42 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 3577039 0 0 0 358294 348 0 0 20 0 3 0 4457364 2226229248 496420 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=2174052 memory=12552 CPUtime=0.03 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 82 0 0 0 1 2 0 0 20 0 3 0 4457371 2226229248 496420 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 3587.15 s
Current children cumulated vsize: 2174052 KiB
Current children cumulated memory: 1985680 KiB
[startup+3597.6 s]
/proc/loadavg: 4.16 4.12 4.03 6/264 29968
/proc/meminfo: memFree=116308256/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=2174052 memory=1985804 CPUtime=3587.95 cores=4,6
/proc/27966/stat : 27966 (fscip) S 27959 27966 27893 0 -1 1077936128 3610452 0 0 0 358435 360 0 0 20 0 3 0 4457316 2226229248 496451 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 543513 496451 3302 3035 0 537043 0
[pid=27966/tid=27968] ppid=27959 vsize=2174052 memory=11712 CPUtime=3587.22 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 3577301 0 0 0 358374 348 0 0 20 0 3 0 4457364 2226229248 496451 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=2174052 memory=12552 CPUtime=0.03 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 82 0 0 0 1 2 0 0 20 0 3 0 4457371 2226229248 496451 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 3587.95 s
Current children cumulated vsize: 2174052 KiB
Current children cumulated memory: 1985804 KiB
[startup+3598 s]*
/proc/loadavg: 4.16 4.12 4.03 6/264 29968
/proc/meminfo: memFree=116308008/131524600 swapFree=131071996/131071996
[pid=27966] ppid=27959 vsize=2174052 memory=1985808 CPUtime=3588.36 cores=4,6
/proc/27966/stat : 27966 (fscip) R 27959 27966 27893 0 -1 1077936128 3611492 0 0 0 358475 361 0 0 20 0 3 0 4457316 2226229248 496452 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
/proc/27966/statm: 543513 496452 3302 3035 0 537043 0
[pid=27966/tid=27968] ppid=27959 vsize=2174052 memory=-7522256593712406652 CPUtime=3587.63 cores=4,6
/proc/27966/task/27968/stat : 27968 (fscip) R 27959 27966 27893 0 -1 4194368 3578352 0 0 0 358414 349 0 0 20 0 3 0 4457364 2226229248 496452 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
[pid=27966/tid=27969] ppid=27959 vsize=2174052 memory=-4050210904893604237 CPUtime=0.03 cores=4,6
/proc/27966/task/27969/stat : 27969 (fscip) S 27959 27966 27893 0 -1 1077936192 82 0 0 0 1 2 0 0 20 0 3 0 4457371 2226229248 496452 134679101440 4194304 16623229 140729424653040 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 48799744 140729424655382 140729424655498 140729424655498 140729424662512 0
Current children cumulated CPU time: 3588.36 s
Current children cumulated vsize: 2174052 KiB
Current children cumulated memory: 1985808 KiB
[startup+3598.4 s]*
/proc/loadavg: 4.16 4.12 4.03 4/251 30009
/proc/meminfo: memFree=119309156/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3598.42
CPU time (s): 3588.77
CPU user time (s): 3585.09
CPU system time (s): 3.67897
CPU usage (%): 99.732
Max. virtual memory (cumulated for all children) (KiB): 2174052
Max. memory (cumulated for all children) (KiB): 2003892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.09
system time used= 3.67897
maximum resident set size= 2004096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3672301
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= 9913
involuntary context switches= 2159
# summary of solver processes directly reported to runsolver:
# pid: 27966
# total CPU time (s): 3588.77
# total CPU user time (s): 3585.09
# total CPU system time (s): 3.67897
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11353 second user time and 17.7453 second system time
The end
Begin job on nodeC020 at 2024-07-31 00:29:54
IDJOB=4464044
IDBENCH=146690
IDSOLVER=3092
FILE ID=nodeC020/4464044-1722378594
RUNJOBID= nodeC020-1722378594-27904
SLURM_JOB_ID= 8249843
Free space on /tmp= 890036 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464044-1722378594/watcher-4464044-1722378594 -o /tmp/evaluation-result-4464044-1722378594/solver-4464044-1722378594 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27904 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464044-1722378594.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 13e3cfc76a003558f082ab5832d2ffa8
RANDOM SEED=1497379858
nodeC020.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 : 3655.803
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.38
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 : 3629.865
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 : 7007.00
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 : 3625.885
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.38
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 : 3630.005
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 : 7007.00
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 : 3642.040
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.38
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 : 3649.996
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 : 7007.00
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 : 3645.734
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.38
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 : 3594.525
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 : 7007.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122123928 kB
MemAvailable: 129744636 kB
Buffers: 90104 kB
Cached: 8346700 kB
SwapCached: 0 kB
Active: 251820 kB
Inactive: 8637364 kB
Active(anon): 1528 kB
Inactive(anon): 472232 kB
Active(file): 250292 kB
Inactive(file): 8165132 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 123660 kB
Writeback: 0 kB
AnonPages: 450532 kB
Mapped: 97700 kB
Shmem: 21336 kB
KReclaimable: 89864 kB
Slab: 171228 kB
SReclaimable: 89864 kB
SUnreclaim: 81364 kB
KernelStack: 3968 kB
PageTables: 9708 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 887216 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9728 kB
HardwareCorrupted: 0 kB
AnonHugePages: 221184 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: 193236 kB
DirectMap2M: 10065920 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889976 MiB
End job on nodeC020 at 2024-07-31 01:29:53