0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
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.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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.2.1 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.07 c Default LC presolving (default).
0.00/0.07 c ** Before presolving: virtualMemUsedAtLc = 61597219, getVmSize() = 57901056, SCIPgetMemUsed() = 30131291, SCIPgetMemTotal() = 34250651, SCIPgetMemExternEstim() = 27346568
0.00/0.07 c ** set memory limit for presolving in LC to 8.79607e+12 for SCIP **
0.60/0.64 c ** Estimated virtualMemUsedAtSolver = 89488032, getVmSize() = 134168576, SCIPgetMemUsed() = 58043016, SCIPgetMemTotal() = 106885480, SCIPgetMemExternEstim() = 27346568
0.60/0.64 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
0.60/0.64 c Original Problem :
0.60/0.64 c Problem name : instance-4434712-1721057211
0.60/0.64 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
0.60/0.64 c Constraints : 27856
0.60/0.64 c Objective sense : minimize
0.60/0.64 c Presolved Problem :
0.60/0.64 c Variables : 595 (595 binary, 0 integer, 0 implicit integer, 0 continuous)
0.60/0.64 c Constraints : 27856
0.60/0.64 c Constraints : Number
0.60/0.64 c setppc : 27856
0.60/0.64 c ** Instance transfer method used: 0
0.60/0.68 c ** ParaScipInstance copy does not increase the number of variables. **
0.69/0.75 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.69/0.75 c Nodes Active
0.69/0.75 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
1.58/1.65 c * 2 0 1 1 -22.0000 - -
1.58/1.68 c * 2 0 1 1 -23.0000 - -
1.68/1.79 c * 2 0 1 1 -25.0000 - -
10.46/10.53 c 11 2 1 1 -25.0000 -35.8333 43.33%
12.64/12.79 c * 13 7 6 1 -29.0000 -35.8333 23.56%
16.33/16.48 c 16 54 53 1 -29.0000 -35.8333 23.56%
22.12/22.29 c 22 82 81 1 -29.0000 -35.8333 23.56%
28.30/28.40 c 28 100 89 1 -29.0000 -35.8333 23.56%
29.19/29.34 c * 29 100 89 1 -30.0000 -35.8333 19.44%
33.48/33.67 c 34 119 98 1 -30.0000 -35.8333 19.44%
39.46/39.64 c 40 141 112 1 -30.0000 -35.8333 19.44%
40.98/41.15 c * 41 150 118 1 -31.0000 -35.8333 15.59%
45.34/45.58 c 46 187 133 1 -31.0000 -35.8333 15.59%
45.95/46.18 c * 46 187 133 1 -32.0000 -35.8333 11.98%
51.22/51.45 c 51 243 137 1 -32.0000 -35.8333 11.98%
57.09/57.33 c 57 321 169 1 -32.0000 -35.8333 11.98%
62.78/63.09 c 63 473 217 1 -32.0000 -35.8333 11.98%
68.87/69.12 c 69 542 244 1 -32.0000 -35.8333 11.98%
74.43/74.76 c 75 637 273 1 -32.0000 -35.8333 11.98%
79.72/80.06 c 80 824 336 1 -32.0000 -35.8333 11.98%
90.68/91.02 c 91 1128 0 1 -32.0000 -35.0000 9.37%
97.24/97.68 c 98 1170 30 1 -32.0000 -35.0000 9.37%
103.22/103.62 c 104 1203 37 1 -32.0000 -35.0000 9.37%
109.00/109.48 c 109 1260 50 1 -32.0000 -35.0000 9.37%
114.70/115.19 c 115 1430 94 1 -32.0000 -35.0000 9.37%
120.25/120.78 c 121 1549 157 1 -32.0000 -35.0000 9.37%
126.54/127.04 c 127 1710 278 1 -32.0000 -35.0000 9.37%
132.81/133.36 c 133 1769 301 1 -32.0000 -35.0000 9.37%
139.38/139.93 c 140 1847 329 1 -32.0000 -35.0000 9.37%
145.26/145.82 c 146 2010 398 1 -32.0000 -35.0000 9.37%
150.25/150.89 c 151 2083 443 1 -32.0000 -35.0000 9.37%
155.32/155.95 c 156 2241 531 1 -32.0000 -35.0000 9.37%
160.51/161.14 c 161 2484 624 1 -32.0000 -35.0000 9.37%
165.68/166.33 c 166 2568 662 1 -32.0000 -35.0000 9.37%
172.26/172.92 c 173 2673 681 1 -32.0000 -35.0000 9.37%
177.45/178.14 c 178 2996 762 1 -32.0000 -35.0000 9.37%
183.32/184.08 c 184 3365 833 1 -32.0000 -35.0000 9.37%
189.49/190.28 c 190 3542 874 1 -32.0000 -35.0000 9.37%
195.57/196.36 c 196 3683 913 1 -32.0000 -35.0000 9.37%
202.26/203.05 c 203 3831 943 1 -32.0000 -35.0000 9.37%
207.93/208.76 c 209 3972 1010 1 -32.0000 -35.0000 9.37%
214.01/214.88 c 215 4416 1118 1 -32.0000 -35.0000 9.37%
219.31/220.11 c 220 4835 1223 1 -32.0000 -35.0000 9.37%
225.08/226.01 c 226 5037 1287 1 -32.0000 -35.0000 9.37%
230.26/231.12 c 231 5142 1312 1 -32.0000 -35.0000 9.37%
235.83/236.79 c 237 5458 1378 1 -32.0000 -35.0000 9.37%
241.02/241.92 c 242 5722 1456 1 -32.0000 -35.0000 9.37%
247.60/248.50 c 248 5954 1508 1 -32.0000 -35.0000 9.37%
253.79/254.71 c 255 6043 1525 1 -32.0000 -35.0000 9.37%
259.97/260.90 c 261 6354 1604 1 -32.0000 -35.0000 9.37%
264.96/265.97 c 266 6556 1648 1 -32.0000 -35.0000 9.37%
271.05/272.07 c 272 6826 1760 1 -32.0000 -35.0000 9.37%
276.52/277.51 c 278 6947 1803 1 -32.0000 -35.0000 9.37%
282.01/283.03 c 283 7014 1818 1 -32.0000 -35.0000 9.37%
288.18/289.20 c 289 7193 1867 1 -32.0000 -35.0000 9.37%
294.26/295.30 c 295 7278 1888 1 -32.0000 -35.0000 9.37%
299.35/300.40 c 300 7359 1901 1 -32.0000 -35.0000 9.37%
305.33/306.42 c 306 7528 1932 1 -32.0000 -35.0000 9.37%
310.71/311.84 c 312 7612 1948 1 -32.0000 -35.0000 9.37%
315.92/317.05 c 317 7712 1976 1 -32.0000 -35.0000 9.37%
321.28/322.43 c 322 7871 2011 1 -32.0000 -35.0000 9.37%
327.17/328.39 c 328 7979 2045 1 -32.0000 -35.0000 9.37%
332.75/333.93 c 334 8119 2072 1 -32.0000 -35.0000 9.37%
338.04/339.25 c 339 8187 2074 1 -32.0000 -35.0000 9.37%
343.52/344.77 c 345 8574 2151 1 -32.0000 -35.0000 9.37%
349.50/350.72 c 351 8796 2205 1 -32.0000 -35.0000 9.37%
355.69/356.96 c 357 8936 2241 1 -32.0000 -35.0000 9.37%
361.97/363.25 c 363 9077 2278 1 -32.0000 -35.0000 9.37%
367.64/368.92 c 369 9202 2301 1 -32.0000 -35.0000 9.37%
374.13/375.41 c 375 9458 2359 1 -32.0000 -35.0000 9.37%
379.41/380.79 c 381 9703 2397 1 -32.0000 -35.0000 9.37%
384.71/386.09 c 386 9895 2421 1 -32.0000 -35.0000 9.37%
389.80/391.15 c 391 10007 2437 1 -32.0000 -35.0000 9.37%
395.36/396.75 c 397 10266 2498 1 -32.0000 -35.0000 9.37%
401.25/402.67 c 403 10569 2571 1 -32.0000 -35.0000 9.37%
407.13/408.57 c 409 10853 2627 1 -32.0000 -35.0000 9.37%
413.21/414.65 c 415 11153 2687 1 -32.0000 -35.0000 9.37%
419.39/420.87 c 421 11431 2731 1 -32.0000 -35.0000 9.37%
424.97/426.46 c 426 11795 2819 1 -32.0000 -35.0000 9.37%
430.58/432.07 c 432 12099 2883 1 -32.0000 -35.0000 9.37%
436.56/438.03 c 438 12244 2908 1 -32.0000 -35.0000 9.37%
442.54/444.04 c 444 12636 2996 1 -32.0000 -35.0000 9.37%
448.91/450.44 c 450 13028 3076 1 -32.0000 -35.0000 9.37%
454.28/455.84 c 456 13386 3132 1 -32.0000 -35.0000 9.37%
454.98/456.58 c * 457 13386 3132 1 -33.0000 -35.0000 6.06%
459.67/461.20 c 461 13772 1421 1 -33.0000 -35.0000 6.06%
465.15/466.70 c 467 13957 1410 1 -33.0000 -35.0000 6.06%
470.64/472.26 c 472 14261 1418 1 -33.0000 -35.0000 6.06%
476.02/477.64 c 478 14435 1430 1 -33.0000 -35.0000 6.06%
482.41/484.01 c 484 14716 1451 1 -33.0000 -35.0000 6.06%
487.78/489.41 c 489 14805 1464 1 -33.0000 -35.0000 6.06%
493.26/494.99 c 495 15099 1480 1 -33.0000 -35.0000 6.06%
498.75/500.48 c 500 15417 1509 1 -33.0000 -35.0000 6.06%
504.45/506.17 c 506 15749 1519 1 -33.0000 -35.0000 6.06%
509.72/511.48 c 511 16146 1540 1 -33.0000 -35.0000 6.06%
515.00/516.70 c 517 16557 1549 1 -33.0000 -35.0000 6.06%
520.29/522.05 c 522 17037 1561 1 -33.0000 -35.0000 6.06%
525.56/527.36 c 527 17469 1609 1 -33.0000 -35.0000 6.06%
532.15/533.93 c 534 17693 1643 1 -33.0000 -35.0000 6.06%
538.13/539.94 c 540 17932 1654 1 -33.0000 -35.0000 6.06%
544.01/545.88 c 546 18180 1664 1 -33.0000 -35.0000 6.06%
549.09/550.99 c 551 18716 1718 1 -33.0000 -35.0000 6.06%
554.57/556.43 c 556 18948 1758 1 -33.0000 -35.0000 6.06%
560.18/562.02 c 562 19384 1779 1 -33.0000 -35.0000 6.06%
565.35/567.25 c 567 19747 1836 1 -33.0000 -35.0000 6.06%
570.53/572.43 c 572 19923 1868 1 -33.0000 -35.0000 6.06%
576.31/578.26 c 578 20016 1883 1 -33.0000 -35.0000 6.06%
581.80/583.74 c 584 20116 1891 1 -33.0000 -35.0000 6.06%
586.99/588.98 c 589 20338 1919 1 -33.0000 -35.0000 6.06%
593.26/595.20 c 595 20551 1956 1 -33.0000 -35.0000 6.06%
598.84/600.86 c 601 20838 1987 1 -33.0000 -35.0000 6.06%
604.62/606.63 c 607 21224 2017 1 -33.0000 -35.0000 6.06%
609.61/611.69 c 612 21374 2027 1 -33.0000 -35.0000 6.06%
614.79/616.86 c 617 21704 2057 1 -33.0000 -35.0000 6.06%
620.38/622.43 c 622 21840 2059 1 -33.0000 -35.0000 6.06%
626.26/628.36 c 628 22075 2067 1 -33.0000 -35.0000 6.06%
631.45/633.54 c 634 22420 2076 1 -33.0000 -35.0000 6.06%
636.73/638.81 c 639 22692 2092 1 -33.0000 -35.0000 6.06%
642.31/644.45 c 644 22903 2087 1 -33.0000 -35.0000 6.06%
647.60/649.79 c 650 23138 2100 1 -33.0000 -35.0000 6.06%
653.37/655.51 c 656 23477 2119 1 -33.0000 -35.0000 6.06%
658.86/661.07 c 661 23937 2163 1 -33.0000 -35.0000 6.06%
663.95/666.17 c 666 24254 2202 1 -33.0000 -35.0000 6.06%
669.12/671.39 c 671 24589 2225 1 -33.0000 -35.0000 6.06%
674.60/676.80 c 677 24954 2268 1 -33.0000 -35.0000 6.06%
679.69/681.94 c 682 25351 2311 1 -33.0000 -35.0000 6.06%
684.79/687.04 c 687 25834 2355 1 -33.0000 -35.0000 6.06%
689.96/692.24 c 692 26207 2396 1 -33.0000 -35.0000 6.06%
695.45/697.75 c 698 26690 2447 1 -33.0000 -35.0000 6.06%
701.02/703.39 c 703 26961 2446 1 -33.0000 -35.0000 6.06%
706.73/709.03 c 709 27531 2510 1 -33.0000 -35.0000 6.06%
712.80/715.19 c 715 27860 2561 1 -33.0000 -35.0000 6.06%
718.78/721.17 c 721 28383 2590 1 -33.0000 -35.0000 6.06%
724.26/726.64 c 727 28731 2602 1 -33.0000 -35.0000 6.06%
729.94/732.39 c 732 29176 2629 1 -33.0000 -35.0000 6.06%
735.42/737.85 c 738 29616 2653 1 -33.0000 -35.0000 6.06%
740.61/743.01 c 743 30191 2708 1 -33.0000 -35.0000 6.06%
746.48/748.97 c 749 30711 2766 1 -33.0000 -35.0000 6.06%
752.36/754.81 c 755 31165 2820 1 -33.0000 -35.0000 6.06%
758.04/760.56 c 761 31491 2852 1 -33.0000 -35.0000 6.06%
764.53/767.06 c 767 31881 2892 1 -33.0000 -35.0000 6.06%
769.62/772.11 c 772 32457 2958 1 -33.0000 -35.0000 6.06%
774.69/777.20 c 777 32928 2971 1 -33.0000 -35.0000 6.06%
780.48/783.01 c 783 33498 3039 1 -33.0000 -35.0000 6.06%
786.15/788.71 c 789 33909 3082 1 -33.0000 -35.0000 6.06%
791.55/794.19 c 794 34153 3104 1 -33.0000 -35.0000 6.06%
797.03/799.64 c 800 34561 3130 1 -33.0000 -35.0000 6.06%
802.81/805.45 c 805 35057 3158 1 -33.0000 -35.0000 6.06%
808.78/811.40 c 811 35729 3196 1 -33.0000 -35.0000 6.06%
814.38/817.09 c 817 36237 3240 1 -33.0000 -35.0000 6.06%
819.66/822.39 c 822 36627 3262 1 -33.0000 -35.0000 6.06%
824.84/827.58 c 828 36943 3270 1 -33.0000 -35.0000 6.06%
830.44/833.16 c 833 37341 3298 1 -33.0000 -35.0000 6.06%
836.32/839.10 c 839 37603 3318 1 -33.0000 -35.0000 6.06%
841.58/844.34 c 844 37936 3351 1 -33.0000 -35.0000 6.06%
847.56/850.38 c 850 38197 3372 1 -33.0000 -35.0000 6.06%
852.75/855.59 c 856 38448 3395 1 -33.0000 -35.0000 6.06%
857.84/860.65 c 861 38843 3414 1 -33.0000 -35.0000 6.06%
863.42/866.24 c 866 39200 3437 1 -33.0000 -35.0000 6.06%
868.60/871.46 c 871 39542 3486 1 -33.0000 -35.0000 6.06%
874.38/877.20 c 877 39893 3525 1 -33.0000 -35.0000 6.06%
880.36/883.21 c 883 40328 3542 1 -33.0000 -35.0000 6.06%
885.65/888.54 c 889 40962 3586 1 -33.0000 -35.0000 6.06%
890.93/893.87 c 894 41118 3612 1 -33.0000 -35.0000 6.06%
896.52/899.42 c 899 41287 3635 1 -33.0000 -35.0000 6.06%
902.40/905.36 c 905 41598 3642 1 -33.0000 -35.0000 6.06%
908.38/911.32 c 911 42050 3712 1 -33.0000 -35.0000 6.06%
914.56/917.52 c 918 42187 3717 1 -33.0000 -35.0000 6.06%
919.95/922.99 c 923 42609 3761 1 -33.0000 -35.0000 6.06%
925.43/928.40 c 928 43183 3835 1 -33.0000 -35.0000 6.06%
930.81/933.85 c 934 43719 3899 1 -33.0000 -35.0000 6.06%
936.00/939.02 c 939 44271 3939 1 -33.0000 -35.0000 6.06%
941.67/944.72 c 945 44570 3942 1 -33.0000 -35.0000 6.06%
947.36/950.48 c 950 45179 4031 1 -33.0000 -35.0000 6.06%
952.54/955.64 c 956 45555 4050 1 -33.0000 -35.0000 6.06%
958.12/961.20 c 961 45957 4056 1 -33.0000 -35.0000 6.06%
963.21/966.36 c 966 46490 4097 1 -33.0000 -35.0000 6.06%
969.69/972.80 c 973 46876 4111 1 -33.0000 -35.0000 6.06%
974.78/977.98 c 978 47371 4118 1 -33.0000 -35.0000 6.06%
980.45/983.62 c 984 47808 4145 1 -33.0000 -35.0000 6.06%
985.95/989.17 c 989 48188 4164 1 -33.0000 -35.0000 6.06%
991.22/994.48 c 994 48608 4198 1 -33.0000 -35.0000 6.06%
996.31/999.59 c 1000 49026 4226 1 -33.0000 -35.0000 6.06%
1001.90/1005.18 c 1005 49566 4252 1 -33.0000 -35.0000 6.06%
1006.97/1010.26 c 1010 50110 4304 1 -33.0000 -35.0000 6.06%
1012.25/1015.54 c 1016 50712 4331 1 -33.0000 -35.0000 6.06%
1017.34/1020.60 c 1021 51170 4359 1 -33.0000 -35.0000 6.06%
1022.31/1025.65 c 1026 51779 4360 1 -33.0000 -35.0000 6.06%
1027.40/1030.70 c 1031 52411 4434 1 -33.0000 -35.0000 6.06%
1032.98/1036.39 c 1036 52909 4442 1 -33.0000 -35.0000 6.06%
1038.06/1041.44 c 1041 53533 4520 1 -33.0000 -35.0000 6.06%
1043.34/1046.70 c 1047 54106 4561 1 -33.0000 -35.0000 6.06%
1048.32/1051.77 c 1052 54764 4578 1 -33.0000 -35.0000 6.06%
1053.51/1056.94 c 1057 55234 4608 1 -33.0000 -35.0000 6.06%
1058.48/1062.01 c 1062 55865 4691 1 -33.0000 -35.0000 6.06%
1064.16/1067.69 c 1068 56275 4733 1 -33.0000 -35.0000 6.06%
1069.65/1073.11 c 1073 56970 4782 1 -33.0000 -35.0000 6.06%
1074.64/1078.18 c 1078 57451 4831 1 -33.0000 -35.0000 6.06%
1079.71/1083.25 c 1083 57957 4837 1 -33.0000 -35.0000 6.06%
1085.00/1088.57 c 1089 58464 4866 1 -33.0000 -35.0000 6.06%
1090.67/1094.23 c 1094 58923 4905 1 -33.0000 -35.0000 6.06%
1096.06/1099.66 c 1100 59141 4923 1 -33.0000 -35.0000 6.06%
1101.45/1105.10 c 1105 59447 4941 1 -33.0000 -35.0000 6.06%
1106.54/1110.15 c 1110 59698 4970 1 -33.0000 -35.0000 6.06%
1112.00/1115.62 c 1116 60034 4986 1 -33.0000 -35.0000 6.06%
1117.58/1121.28 c 1121 60523 5017 1 -33.0000 -35.0000 6.06%
1123.48/1127.14 c 1127 61048 5026 1 -33.0000 -35.0000 6.06%
1128.94/1132.64 c 1133 61590 5088 1 -33.0000 -35.0000 6.06%
1134.21/1137.91 c 1138 62159 5147 1 -33.0000 -35.0000 6.06%
1139.20/1142.96 c 1143 62789 5237 1 -33.0000 -35.0000 6.06%
1144.47/1148.25 c 1148 63361 5289 1 -33.0000 -35.0000 6.06%
1149.85/1153.67 c 1154 63761 5339 1 -33.0000 -35.0000 6.06%
1155.35/1159.19 c 1159 64252 5368 1 -33.0000 -35.0000 6.06%
1161.02/1164.87 c 1165 64672 5392 1 -33.0000 -35.0000 6.06%
1166.81/1170.64 c 1171 65237 5431 1 -33.0000 -35.0000 6.06%
1172.39/1176.29 c 1176 65777 5475 1 -33.0000 -35.0000 6.06%
1177.47/1181.34 c 1181 66369 5497 1 -33.0000 -35.0000 6.06%
1183.46/1187.31 c 1187 66933 5505 1 -33.0000 -35.0000 6.06%
1189.03/1192.94 c 1193 67367 5523 1 -33.0000 -35.0000 6.06%
1194.31/1198.24 c 1198 67982 5606 1 -33.0000 -35.0000 6.06%
1199.59/1203.58 c 1204 68486 5676 1 -33.0000 -35.0000 6.06%
1205.18/1209.13 c 1209 68935 5703 1 -33.0000 -35.0000 6.06%
1210.44/1214.44 c 1214 69244 5716 1 -33.0000 -35.0000 6.06%
1215.62/1219.63 c 1220 69835 5759 1 -33.0000 -35.0000 6.06%
1220.70/1224.70 c 1225 70393 5811 1 -33.0000 -35.0000 6.06%
1226.09/1230.16 c 1230 70872 5850 1 -33.0000 -35.0000 6.06%
1231.16/1235.26 c 1235 70965 5847 1 -33.0000 -35.0000 6.06%
1236.73/1240.81 c 1241 71510 5886 1 -33.0000 -35.0000 6.06%
1241.71/1245.86 c 1246 72118 5958 1 -33.0000 -35.0000 6.06%
1247.00/1251.19 c 1251 72781 5999 1 -33.0000 -35.0000 6.06%
1252.06/1256.21 c 1256 73200 6029 1 -33.0000 -35.0000 6.06%
1257.96/1262.15 c 1262 73686 6037 1 -33.0000 -35.0000 6.06%
1263.52/1267.71 c 1268 74276 6055 1 -33.0000 -35.0000 6.06%
1268.70/1273.01 c 1273 74700 6073 1 -33.0000 -35.0000 6.06%
1274.47/1278.78 c 1279 75087 6116 1 -33.0000 -35.0000 6.06%
1280.34/1284.63 c 1285 75586 6147 1 -33.0000 -35.0000 6.06%
1285.63/1289.96 c 1290 76055 6182 1 -33.0000 -35.0000 6.06%
1291.20/1295.51 c 1296 76721 6198 1 -33.0000 -35.0000 6.06%
1296.97/1301.34 c 1301 77327 6206 1 -33.0000 -35.0000 6.06%
1302.25/1306.65 c 1307 77907 6252 1 -33.0000 -35.0000 6.06%
1307.53/1311.98 c 1312 78574 6317 1 -33.0000 -35.0000 6.06%
1312.81/1317.23 c 1317 79104 6371 1 -33.0000 -35.0000 6.06%
1318.38/1322.81 c 1323 79744 6425 1 -33.0000 -35.0000 6.06%
1323.87/1328.32 c 1328 80209 6470 1 -33.0000 -35.0000 6.06%
1328.94/1333.45 c 1333 80685 6504 1 -33.0000 -35.0000 6.06%
1334.11/1338.63 c 1339 81116 6527 1 -33.0000 -35.0000 6.06%
1339.20/1343.70 c 1344 81520 6577 1 -33.0000 -35.0000 6.06%
1344.27/1348.85 c 1349 81968 6655 1 -33.0000 -35.0000 6.06%
1350.46/1355.04 c 1355 82350 6689 1 -33.0000 -35.0000 6.06%
1355.92/1360.57 c 1361 82882 6747 1 -33.0000 -35.0000 6.06%
1362.20/1366.86 c 1367 83129 6772 1 -33.0000 -35.0000 6.06%
1367.77/1372.43 c 1372 83572 6825 1 -33.0000 -35.0000 6.06%
1372.76/1377.48 c 1377 84008 6841 1 -33.0000 -35.0000 6.06%
1378.13/1382.85 c 1383 84524 6863 1 -33.0000 -35.0000 6.06%
1383.60/1388.30 c 1388 85070 6859 1 -33.0000 -35.0000 6.06%
1388.79/1393.59 c 1394 85586 6891 1 -33.0000 -35.0000 6.06%
1393.87/1398.66 c 1399 86112 6937 1 -33.0000 -35.0000 6.06%
1398.95/1403.80 c 1404 86671 6958 1 -33.0000 -35.0000 6.06%
1404.03/1408.85 c 1409 87218 7037 1 -33.0000 -35.0000 6.06%
1409.10/1413.93 c 1414 87706 7065 1 -33.0000 -35.0000 6.06%
1414.20/1419.05 c 1419 88201 7088 1 -33.0000 -35.0000 6.06%
1419.86/1424.74 c 1425 88649 7110 1 -33.0000 -35.0000 6.06%
1424.93/1429.82 c 1430 89198 7121 1 -33.0000 -35.0000 6.06%
1430.81/1435.71 c 1436 89850 7139 1 -33.0000 -35.0000 6.06%
1436.10/1441.04 c 1441 90499 7160 1 -33.0000 -35.0000 6.06%
1441.17/1446.19 c 1446 90926 7235 1 -33.0000 -35.0000 6.06%
1446.54/1451.59 c 1452 91433 7264 1 -33.0000 -35.0000 6.06%
1451.63/1456.64 c 1457 91894 7269 1 -33.0000 -35.0000 6.06%
1456.70/1461.73 c 1462 92336 7279 1 -33.0000 -35.0000 6.06%
1461.69/1466.79 c 1467 92866 7305 1 -33.0000 -35.0000 6.06%
1467.16/1472.25 c 1472 93279 7370 1 -33.0000 -35.0000 6.06%
1469.35/1474.46 c * 1474 93392 7383 1 -34.0000 -35.0000 2.94%
1472.84/1477.91 c 1478 93704 343 1 -34.0000 -35.0000 2.94%
1477.93/1483.06 c 1483 94378 317 1 -34.0000 -35.0000 2.94%
1483.10/1488.28 c 1488 94916 287 1 -34.0000 -35.0000 2.94%
1488.18/1493.35 c 1493 95293 272 1 -34.0000 -35.0000 2.94%
1493.25/1498.41 c 1498 95852 245 1 -34.0000 -35.0000 2.94%
1498.85/1504.10 c 1504 96386 245 1 -34.0000 -35.0000 2.94%
1504.11/1509.30 c 1509 96901 244 1 -34.0000 -35.0000 2.94%
1509.29/1514.56 c 1515 97006 241 1 -34.0000 -35.0000 2.94%
1515.06/1520.31 c 1520 97691 238 1 -34.0000 -35.0000 2.94%
1520.85/1526.17 c 1526 98231 220 1 -34.0000 -35.0000 2.94%
1525.92/1531.26 c 1531 98777 198 1 -34.0000 -35.0000 2.94%
1530.99/1536.32 c 1536 99411 190 1 -34.0000 -35.0000 2.94%
1535.97/1541.37 c 1541 100149 184 1 -34.0000 -35.0000 2.94%
1541.05/1546.43 c 1546 100773 164 1 -34.0000 -35.0000 2.94%
1546.64/1552.08 c 1552 101301 155 1 -34.0000 -35.0000 2.94%
1552.40/1557.86 c 1558 101432 158 1 -34.0000 -35.0000 2.94%
1557.70/1563.15 c 1563 101942 148 1 -34.0000 -35.0000 2.94%
1563.06/1568.54 c 1569 102582 143 1 -34.0000 -35.0000 2.94%
1568.54/1574.09 c 1574 103139 130 1 -34.0000 -35.0000 2.94%
1573.92/1579.44 c 1579 103745 125 1 -34.0000 -35.0000 2.94%
1579.20/1584.76 c 1585 104033 120 1 -34.0000 -35.0000 2.94%
1585.27/1590.89 c 1591 104355 121 1 -34.0000 -35.0000 2.94%
1590.37/1595.98 c 1596 104541 121 1 -34.0000 -35.0000 2.94%
1595.56/1601.17 c 1601 105036 122 1 -34.0000 -35.0000 2.94%
1600.63/1606.21 c 1606 105548 114 1 -34.0000 -35.0000 2.94%
1605.81/1611.45 c 1611 105934 110 1 -34.0000 -35.0000 2.94%
1611.99/1617.64 c 1618 106045 107 1 -34.0000 -35.0000 2.94%
1617.77/1623.48 c 1623 106443 118 1 -34.0000 -35.0000 2.94%
1623.05/1628.70 c 1629 106826 109 1 -34.0000 -35.0000 2.94%
1628.52/1634.20 c 1634 107222 106 1 -34.0000 -35.0000 2.94%
1634.31/1640.09 c 1640 107945 100 1 -34.0000 -35.0000 2.94%
1639.39/1645.13 c 1645 108082 97 1 -34.0000 -35.0000 2.94%
1644.45/1650.20 c 1650 108778 94 1 -34.0000 -35.0000 2.94%
1649.43/1655.25 c 1655 109441 94 1 -34.0000 -35.0000 2.94%
1654.51/1660.30 c 1660 110049 88 1 -34.0000 -35.0000 2.94%
1660.29/1666.14 c 1666 110436 84 1 -34.0000 -35.0000 2.94%
1665.27/1671.20 c 1671 110574 83 1 -34.0000 -35.0000 2.94%
1670.34/1676.29 c 1676 111211 80 1 -34.0000 -35.0000 2.94%
1675.42/1681.37 c 1681 111856 82 1 -34.0000 -35.0000 2.94%
1680.51/1686.41 c 1686 112476 80 1 -34.0000 -35.0000 2.94%
1685.49/1691.49 c 1691 113170 76 1 -34.0000 -35.0000 2.94%
1690.58/1696.54 c 1697 113767 77 1 -34.0000 -35.0000 2.94%
1695.65/1701.61 c 1702 114466 72 1 -34.0000 -35.0000 2.94%
1700.73/1706.78 c 1707 114965 73 1 -34.0000 -35.0000 2.94%
1705.82/1711.84 c 1712 115660 73 1 -34.0000 -35.0000 2.94%
1711.69/1717.77 c 1718 116271 71 1 -34.0000 -35.0000 2.94%
1716.88/1722.94 c 1723 116819 70 1 -34.0000 -35.0000 2.94%
1721.86/1728.01 c 1728 117539 85 1 -34.0000 -35.0000 2.94%
1726.95/1733.08 c 1733 118225 69 1 -34.0000 -35.0000 2.94%
1732.05/1738.17 c 1738 118921 74 1 -34.0000 -35.0000 2.94%
1737.11/1743.24 c 1743 119620 73 1 -34.0000 -35.0000 2.94%
1742.40/1748.59 c 1749 120210 79 1 -34.0000 -35.0000 2.94%
1748.08/1754.22 c 1754 120654 84 1 -34.0000 -35.0000 2.94%
1753.37/1759.55 c 1760 120750 82 1 -34.0000 -35.0000 2.94%
1758.75/1765.01 c 1765 120974 82 1 -34.0000 -35.0000 2.94%
1764.54/1770.71 c 1771 121315 81 1 -34.0000 -35.0000 2.94%
1770.22/1776.41 c 1776 121854 80 1 -34.0000 -35.0000 2.94%
1775.60/1781.85 c 1782 122013 80 1 -34.0000 -35.0000 2.94%
1781.19/1787.48 c 1787 122135 81 1 -34.0000 -35.0000 2.94%
1786.28/1792.59 c 1793 122239 82 1 -34.0000 -35.0000 2.94%
1792.16/1798.49 c 1798 122389 79 1 -34.0000 -35.0000 2.94%
1797.34/1803.65 c 1804 122447 81 1 -34.0000 -35.0000 2.94%
1802.62/1809.00 c 1809 122597 84 1 -34.0000 -35.0000 2.94%
1808.50/1814.80 c 1815 122725 77 1 -34.0000 -35.0000 2.94%
1813.99/1820.30 c 1820 122856 74 1 -34.0000 -35.0000 2.94%
1818.98/1825.39 c 1825 123447 72 1 -34.0000 -35.0000 2.94%
1824.56/1830.93 c 1831 123920 73 1 -34.0000 -35.0000 2.94%
1829.84/1836.25 c 1836 124185 75 1 -34.0000 -35.0000 2.94%
1836.02/1842.46 c 1842 124433 79 1 -34.0000 -35.0000 2.94%
1841.61/1848.01 c 1848 124540 76 1 -34.0000 -35.0000 2.94%
1848.09/1854.51 c 1855 124708 75 1 -34.0000 -35.0000 2.94%
1853.37/1859.85 c 1860 124839 74 1 -34.0000 -35.0000 2.94%
1858.75/1865.28 c 1865 125327 67 1 -34.0000 -35.0000 2.94%
1864.23/1870.78 c 1871 125818 65 1 -34.0000 -35.0000 2.94%
1869.31/1875.86 c 1876 126408 66 1 -34.0000 -35.0000 2.94%
1874.40/1880.92 c 1881 127032 71 1 -34.0000 -35.0000 2.94%
1879.38/1885.97 c 1886 127702 71 1 -34.0000 -35.0000 2.94%
1884.85/1891.42 c 1891 128246 69 1 -34.0000 -35.0000 2.94%
1889.83/1896.49 c 1896 128892 68 1 -34.0000 -35.0000 2.94%
1895.61/1902.22 c 1902 129483 73 1 -34.0000 -35.0000 2.94%
1900.59/1907.26 c 1907 129647 75 1 -34.0000 -35.0000 2.94%
1906.40/1913.03 c 1913 129872 72 1 -34.0000 -35.0000 2.94%
1913.26/1919.95 c 1920 130192 81 1 -34.0000 -35.0000 2.94%
1919.64/1926.37 c 1926 130333 78 1 -34.0000 -35.0000 2.94%
1925.22/1931.93 c 1932 130466 75 1 -34.0000 -35.0000 2.94%
1930.90/1937.62 c 1938 130556 76 1 -34.0000 -35.0000 2.94%
1937.08/1943.85 c 1944 130658 73 1 -34.0000 -35.0000 2.94%
1942.96/1949.78 c 1950 130805 81 1 -34.0000 -35.0000 2.94%
1948.74/1955.54 c 1956 130911 75 1 -34.0000 -35.0000 2.94%
1954.72/1961.50 c 1962 131055 78 1 -34.0000 -35.0000 2.94%
1961.31/1968.12 c 1968 131194 74 1 -34.0000 -35.0000 2.94%
1967.48/1974.30 c 1974 131270 73 1 -34.0000 -35.0000 2.94%
1973.76/1980.66 c 1981 131422 74 1 -34.0000 -35.0000 2.94%
1979.25/1986.17 c 1986 131600 72 1 -34.0000 -35.0000 2.94%
1984.81/1991.70 c 1992 131663 71 1 -34.0000 -35.0000 2.94%
1990.70/1997.65 c 1998 131773 77 1 -34.0000 -35.0000 2.94%
1996.38/2003.32 c 2003 131930 74 1 -34.0000 -35.0000 2.94%
2001.56/2008.56 c 2009 132118 73 1 -34.0000 -35.0000 2.94%
2006.86/2013.86 c 2014 132200 75 1 -34.0000 -35.0000 2.94%
2012.43/2019.48 c 2019 132319 72 1 -34.0000 -35.0000 2.94%
2019.41/2026.41 c 2026 132456 74 1 -34.0000 -35.0000 2.94%
2024.60/2031.65 c 2032 132889 68 1 -34.0000 -35.0000 2.94%
2030.87/2037.95 c 2038 133368 69 1 -34.0000 -35.0000 2.94%
2036.55/2043.64 c 2044 133484 68 1 -34.0000 -35.0000 2.94%
2042.54/2049.61 c 2050 133747 68 1 -34.0000 -35.0000 2.94%
2047.62/2054.71 c 2055 134386 66 1 -34.0000 -35.0000 2.94%
2052.60/2059.78 c 2060 135044 77 1 -34.0000 -35.0000 2.94%
2057.69/2064.85 c 2065 135632 68 1 -34.0000 -35.0000 2.94%
2062.77/2069.95 c 2070 136178 76 1 -34.0000 -35.0000 2.94%
2068.05/2075.25 c 2075 136758 67 1 -34.0000 -35.0000 2.94%
2073.73/2080.99 c 2081 137238 60 1 -34.0000 -35.0000 2.94%
2078.92/2086.17 c 2086 137886 64 1 -34.0000 -35.0000 2.94%
2084.09/2091.30 c 2091 138531 67 1 -34.0000 -35.0000 2.94%
2089.16/2096.40 c 2096 139216 67 1 -34.0000 -35.0000 2.94%
2094.26/2101.50 c 2102 139947 67 1 -34.0000 -35.0000 2.94%
2099.24/2106.57 c 2107 140583 73 1 -34.0000 -35.0000 2.94%
2104.42/2111.72 c 2112 140760 67 1 -34.0000 -35.0000 2.94%
2109.40/2116.78 c 2117 141409 66 1 -34.0000 -35.0000 2.94%
2114.89/2122.21 c 2122 141595 68 1 -34.0000 -35.0000 2.94%
2120.97/2128.38 c 2128 141882 69 1 -34.0000 -35.0000 2.94%
2127.24/2134.68 c 2135 142013 67 1 -34.0000 -35.0000 2.94%
2132.52/2140.01 c 2140 142126 67 1 -34.0000 -35.0000 2.94%
2138.00/2145.40 c 2145 142224 67 1 -34.0000 -35.0000 2.94%
2143.88/2151.31 c 2151 142315 68 1 -34.0000 -35.0000 2.94%
2148.97/2156.45 c 2156 142415 67 1 -34.0000 -35.0000 2.94%
2154.25/2161.73 c 2162 142549 68 1 -34.0000 -35.0000 2.94%
2159.65/2167.19 c 2167 142637 67 1 -34.0000 -35.0000 2.94%
2165.42/2172.99 c 2173 142713 64 1 -34.0000 -35.0000 2.94%
2170.50/2178.03 c 2178 142844 63 1 -34.0000 -35.0000 2.94%
2176.07/2183.67 c 2184 143432 67 1 -34.0000 -35.0000 2.94%
2181.76/2189.31 c 2189 144034 71 1 -34.0000 -35.0000 2.94%
2186.74/2194.37 c 2194 144511 68 1 -34.0000 -35.0000 2.94%
2192.03/2199.60 c 2200 145079 67 1 -34.0000 -35.0000 2.94%
2197.01/2204.66 c 2205 145738 69 1 -34.0000 -35.0000 2.94%
2202.40/2210.09 c 2210 146286 70 1 -34.0000 -35.0000 2.94%
2207.49/2215.17 c 2215 146532 66 1 -34.0000 -35.0000 2.94%
2213.47/2221.15 c 2221 146875 71 1 -34.0000 -35.0000 2.94%
2219.94/2227.66 c 2228 147296 68 1 -34.0000 -35.0000 2.94%
2225.34/2233.05 c 2233 147402 71 1 -34.0000 -35.0000 2.94%
2230.81/2238.56 c 2239 147846 67 1 -34.0000 -35.0000 2.94%
2235.99/2243.78 c 2244 147991 68 1 -34.0000 -35.0000 2.94%
2241.08/2248.86 c 2249 148605 67 1 -34.0000 -35.0000 2.94%
2246.16/2253.92 c 2254 149250 70 1 -34.0000 -35.0000 2.94%
2251.15/2258.97 c 2259 149936 69 1 -34.0000 -35.0000 2.94%
2256.34/2264.13 c 2264 150391 84 1 -34.0000 -35.0000 2.94%
2262.62/2270.42 c 2270 150589 86 1 -34.0000 -35.0000 2.94%
2267.70/2275.59 c 2276 150833 79 1 -34.0000 -35.0000 2.94%
2273.09/2280.99 c 2281 150981 66 1 -34.0000 -35.0000 2.94%
2278.18/2286.06 c 2286 151653 72 1 -34.0000 -35.0000 2.94%
2283.26/2291.13 c 2291 152168 72 1 -34.0000 -35.0000 2.94%
2288.93/2296.84 c 2297 152570 73 1 -34.0000 -35.0000 2.94%
2294.91/2302.87 c 2303 152960 89 1 -34.0000 -35.0000 2.94%
2301.50/2309.42 c 2309 153197 81 1 -34.0000 -35.0000 2.94%
2306.88/2314.88 c 2315 153387 77 1 -34.0000 -35.0000 2.94%
2311.86/2319.89 c 2320 153807 72 1 -34.0000 -35.0000 2.94%
2317.35/2325.30 c 2325 153964 71 1 -34.0000 -35.0000 2.94%
2322.83/2330.89 c 2331 154018 71 1 -34.0000 -35.0000 2.94%
2328.14/2336.12 c 2336 154244 78 1 -34.0000 -35.0000 2.94%
2333.90/2341.96 c 2342 154463 76 1 -34.0000 -35.0000 2.94%
2339.00/2347.09 c 2347 154619 74 1 -34.0000 -35.0000 2.94%
2344.77/2352.85 c 2353 154730 77 1 -34.0000 -35.0000 2.94%
2350.16/2358.24 c 2358 154855 76 1 -34.0000 -35.0000 2.94%
2356.14/2364.24 c 2364 155130 78 1 -34.0000 -35.0000 2.94%
2361.72/2369.84 c 2370 155340 78 1 -34.0000 -35.0000 2.94%
2367.11/2375.20 c 2375 155645 84 1 -34.0000 -35.0000 2.94%
2373.48/2381.62 c 2382 155793 85 1 -34.0000 -35.0000 2.94%
2378.66/2386.89 c 2387 155964 82 1 -34.0000 -35.0000 2.94%
2383.74/2391.97 c 2392 156138 89 1 -34.0000 -35.0000 2.94%
2389.12/2397.30 c 2397 156293 84 1 -34.0000 -35.0000 2.94%
2395.20/2403.49 c 2403 156501 86 1 -34.0000 -35.0000 2.94%
2400.49/2408.73 c 2409 156571 85 1 -34.0000 -35.0000 2.94%
2405.57/2413.83 c 2414 156614 83 1 -34.0000 -35.0000 2.94%
2410.55/2418.84 c 2419 156676 84 1 -34.0000 -35.0000 2.94%
2415.63/2424.01 c 2424 156739 83 1 -34.0000 -35.0000 2.94%
2422.00/2430.37 c 2430 156799 80 1 -34.0000 -35.0000 2.94%
2427.98/2436.34 c 2436 156909 81 1 -34.0000 -35.0000 2.94%
2433.67/2442.07 c 2442 156995 78 1 -34.0000 -35.0000 2.94%
2439.83/2448.27 c 2448 157167 77 1 -34.0000 -35.0000 2.94%
2446.31/2454.77 c 2455 157263 77 1 -34.0000 -35.0000 2.94%
2451.79/2460.29 c 2460 157406 73 1 -34.0000 -35.0000 2.94%
2456.97/2465.41 c 2465 157634 77 1 -34.0000 -35.0000 2.94%
2462.25/2470.79 c 2471 157737 76 1 -34.0000 -35.0000 2.94%
2468.83/2477.31 c 2477 157845 79 1 -34.0000 -35.0000 2.94%
2474.52/2483.09 c 2483 158063 78 1 -34.0000 -35.0000 2.94%
2480.69/2489.23 c 2489 158150 79 1 -34.0000 -35.0000 2.94%
2486.48/2495.07 c 2495 158345 80 1 -34.0000 -35.0000 2.94%
2492.46/2501.10 c 2501 158545 80 1 -34.0000 -35.0000 2.94%
2497.54/2506.14 c 2506 158690 78 1 -34.0000 -35.0000 2.94%
2502.81/2511.48 c 2511 158810 76 1 -34.0000 -35.0000 2.94%
2508.89/2517.52 c 2518 158908 74 1 -34.0000 -35.0000 2.94%
2514.76/2523.41 c 2523 159276 83 1 -34.0000 -35.0000 2.94%
2520.46/2529.15 c 2529 159603 80 1 -34.0000 -35.0000 2.94%
2526.13/2534.80 c 2535 159820 81 1 -34.0000 -35.0000 2.94%
2531.21/2539.93 c 2540 160005 77 1 -34.0000 -35.0000 2.94%
2536.41/2545.15 c 2545 160115 77 1 -34.0000 -35.0000 2.94%
2541.39/2550.19 c 2550 160178 78 1 -34.0000 -35.0000 2.94%
2546.75/2555.52 c 2556 160240 73 1 -34.0000 -35.0000 2.94%
2551.73/2560.53 c 2561 160449 79 1 -34.0000 -35.0000 2.94%
2558.11/2566.97 c 2567 160590 81 1 -34.0000 -35.0000 2.94%
2564.09/2572.91 c 2573 160766 83 1 -34.0000 -35.0000 2.94%
2569.07/2577.93 c 2578 160883 73 1 -34.0000 -35.0000 2.94%
2574.85/2583.70 c 2584 161126 78 1 -34.0000 -35.0000 2.94%
2580.33/2589.21 c 2589 161190 79 1 -34.0000 -35.0000 2.94%
2585.80/2594.73 c 2595 161353 81 1 -34.0000 -35.0000 2.94%
2592.38/2601.39 c 2601 161572 82 1 -34.0000 -35.0000 2.94%
2597.57/2606.59 c 2607 161747 80 1 -34.0000 -35.0000 2.94%
2603.16/2612.14 c 2612 162066 75 1 -34.0000 -35.0000 2.94%
2608.92/2617.94 c 2618 162197 76 1 -34.0000 -35.0000 2.94%
2614.60/2623.62 c 2624 162485 75 1 -34.0000 -35.0000 2.94%
2620.28/2629.32 c 2629 162679 78 1 -34.0000 -35.0000 2.94%
2625.97/2635.07 c 2635 162794 78 1 -34.0000 -35.0000 2.94%
2631.53/2640.61 c 2641 162888 80 1 -34.0000 -35.0000 2.94%
2636.81/2645.97 c 2646 162951 80 1 -34.0000 -35.0000 2.94%
2642.29/2651.43 c 2651 163053 84 1 -34.0000 -35.0000 2.94%
2648.77/2657.97 c 2658 163134 85 1 -34.0000 -35.0000 2.94%
2654.75/2663.93 c 2664 163228 91 1 -34.0000 -35.0000 2.94%
2660.12/2669.39 c 2669 163313 90 1 -34.0000 -35.0000 2.94%
2666.91/2676.13 c 2676 163504 89 1 -34.0000 -35.0000 2.94%
2672.89/2682.15 c 2682 163691 95 1 -34.0000 -35.0000 2.94%
2678.87/2688.12 c 2688 163748 96 1 -34.0000 -35.0000 2.94%
2684.34/2693.67 c 2694 163838 98 1 -34.0000 -35.0000 2.94%
2689.73/2699.03 c 2699 163949 96 1 -34.0000 -35.0000 2.94%
2694.71/2704.04 c 2704 164086 100 1 -34.0000 -35.0000 2.94%
2700.88/2710.28 c 2710 164325 103 1 -34.0000 -35.0000 2.94%
2706.46/2715.83 c 2716 164501 105 1 -34.0000 -35.0000 2.94%
2711.66/2721.01 c 2721 164641 102 1 -34.0000 -35.0000 2.94%
2717.43/2726.84 c 2727 165227 107 1 -34.0000 -35.0000 2.94%
2722.52/2731.94 c 2732 165863 100 1 -34.0000 -35.0000 2.94%
2727.51/2737.01 c 2737 166496 104 1 -34.0000 -35.0000 2.94%
2732.60/2742.06 c 2742 167058 96 1 -34.0000 -35.0000 2.94%
2738.87/2748.39 c 2748 167419 91 1 -34.0000 -35.0000 2.94%
2744.66/2754.13 c 2754 167639 88 1 -34.0000 -35.0000 2.94%
2751.03/2760.54 c 2761 167740 91 1 -34.0000 -35.0000 2.94%
2757.01/2766.56 c 2767 167817 94 1 -34.0000 -35.0000 2.94%
2762.70/2772.22 c 2772 168023 92 1 -34.0000 -35.0000 2.94%
2768.37/2778.01 c 2778 168304 90 1 -34.0000 -35.0000 2.94%
2773.57/2783.16 c 2783 168413 98 1 -34.0000 -35.0000 2.94%
2778.55/2788.19 c 2788 168675 104 1 -34.0000 -35.0000 2.94%
2784.31/2793.99 c 2794 169107 96 1 -34.0000 -35.0000 2.94%
2789.90/2799.53 c 2800 169386 93 1 -34.0000 -35.0000 2.94%
2794.98/2804.65 c 2805 169492 88 1 -34.0000 -35.0000 2.94%
2800.67/2810.32 c 2810 169562 96 1 -34.0000 -35.0000 2.94%
2805.85/2815.52 c 2816 169720 93 1 -34.0000 -35.0000 2.94%
2811.14/2820.87 c 2821 169812 99 1 -34.0000 -35.0000 2.94%
2817.43/2827.15 c 2827 170262 90 1 -34.0000 -35.0000 2.94%
2822.61/2832.37 c 2832 170327 93 1 -34.0000 -35.0000 2.94%
2829.49/2839.21 c 2839 170384 89 1 -34.0000 -35.0000 2.94%
2835.08/2844.84 c 2845 170522 91 1 -34.0000 -35.0000 2.94%
2840.27/2850.09 c 2850 170804 99 1 -34.0000 -35.0000 2.94%
2845.93/2855.75 c 2856 171072 101 1 -34.0000 -35.0000 2.94%
2851.91/2861.70 c 2862 171208 105 1 -34.0000 -35.0000 2.94%
2857.10/2866.94 c 2867 171403 101 1 -34.0000 -35.0000 2.94%
2862.08/2871.95 c 2872 171583 100 1 -34.0000 -35.0000 2.94%
2867.86/2877.71 c 2878 171724 99 1 -34.0000 -35.0000 2.94%
2873.73/2883.64 c 2884 171883 104 1 -34.0000 -35.0000 2.94%
2879.02/2889.01 c 2889 172214 102 1 -34.0000 -35.0000 2.94%
2884.20/2894.12 c 2894 172798 104 1 -34.0000 -35.0000 2.94%
2889.18/2899.17 c 2899 173513 105 1 -34.0000 -35.0000 2.94%
2894.25/2904.22 c 2904 174240 114 1 -34.0000 -35.0000 2.94%
2899.23/2909.28 c 2909 174814 107 1 -34.0000 -35.0000 2.94%
2904.31/2914.38 c 2914 175436 106 1 -34.0000 -35.0000 2.94%
2910.00/2920.10 c 2920 176062 101 1 -34.0000 -35.0000 2.94%
2915.26/2925.35 c 2925 176551 104 1 -34.0000 -35.0000 2.94%
2920.84/2930.95 c 2931 177005 101 1 -34.0000 -35.0000 2.94%
2926.42/2936.59 c 2937 177355 99 1 -34.0000 -35.0000 2.94%
2931.61/2941.72 c 2942 177599 103 1 -34.0000 -35.0000 2.94%
2936.58/2946.77 c 2947 178130 103 1 -34.0000 -35.0000 2.94%
2941.66/2951.83 c 2952 178717 110 1 -34.0000 -35.0000 2.94%
2946.65/2956.88 c 2957 179422 100 1 -34.0000 -35.0000 2.94%
2951.72/2961.93 c 2962 180099 102 1 -34.0000 -35.0000 2.94%
2956.81/2967.02 c 2967 180847 100 1 -34.0000 -35.0000 2.94%
2961.80/2972.10 c 2972 181540 98 1 -34.0000 -35.0000 2.94%
2967.77/2978.07 c 2978 181732 102 1 -34.0000 -35.0000 2.94%
2973.33/2983.67 c 2984 182206 114 1 -34.0000 -35.0000 2.94%
2979.11/2989.41 c 2989 182573 104 1 -34.0000 -35.0000 2.94%
2984.49/2994.84 c 2995 183138 112 1 -34.0000 -35.0000 2.94%
2989.48/2999.89 c 3000 183875 122 1 -34.0000 -35.0000 2.94%
2994.77/3005.16 c 3005 184608 131 1 -34.0000 -35.0000 2.94%
2999.83/3010.21 c 3010 185446 137 1 -34.0000 -35.0000 2.94%
3004.82/3015.26 c 3015 186174 124 1 -34.0000 -35.0000 2.94%
3010.19/3020.62 c 3021 186782 102 1 -34.0000 -35.0000 2.94%
3015.17/3025.69 c 3026 187416 107 1 -34.0000 -35.0000 2.94%
3020.36/3030.80 c 3031 188139 104 1 -34.0000 -35.0000 2.94%
3026.03/3036.57 c 3037 188564 103 1 -34.0000 -35.0000 2.94%
3031.41/3041.97 c 3042 189120 101 1 -34.0000 -35.0000 2.94%
3036.99/3047.58 c 3048 189525 101 1 -34.0000 -35.0000 2.94%
3042.07/3052.65 c 3053 190150 97 1 -34.0000 -35.0000 2.94%
3047.05/3057.69 c 3058 190807 99 1 -34.0000 -35.0000 2.94%
3052.14/3062.74 c 3063 191454 96 1 -34.0000 -35.0000 2.94%
3057.21/3067.87 c 3068 192188 99 1 -34.0000 -35.0000 2.94%
3062.29/3072.96 c 3073 192912 114 1 -34.0000 -35.0000 2.94%
3067.37/3078.03 c 3078 193666 100 1 -34.0000 -35.0000 2.94%
3072.36/3083.07 c 3083 194425 98 1 -34.0000 -35.0000 2.94%
3077.44/3088.14 c 3088 195063 107 1 -34.0000 -35.0000 2.94%
3082.51/3093.20 c 3093 195722 103 1 -34.0000 -35.0000 2.94%
3087.49/3098.27 c 3098 196304 120 1 -34.0000 -35.0000 2.94%
3092.67/3103.42 c 3103 196904 123 1 -34.0000 -35.0000 2.94%
3097.65/3108.47 c 3108 197503 131 1 -34.0000 -35.0000 2.94%
3102.74/3113.52 c 3114 198273 121 1 -34.0000 -35.0000 2.94%
3107.82/3118.66 c 3119 198997 109 1 -34.0000 -35.0000 2.94%
3112.91/3123.71 c 3124 199707 98 1 -34.0000 -35.0000 2.94%
3117.90/3128.77 c 3129 200410 98 1 -34.0000 -35.0000 2.94%
3122.98/3133.87 c 3134 201094 98 1 -34.0000 -35.0000 2.94%
3128.96/3139.84 c 3140 201444 90 1 -34.0000 -35.0000 2.94%
3134.16/3145.11 c 3145 201777 89 1 -34.0000 -35.0000 2.94%
3140.14/3151.06 c 3151 202206 88 1 -34.0000 -35.0000 2.94%
3145.23/3156.16 c 3156 202880 79 1 -34.0000 -35.0000 2.94%
3150.80/3161.75 c 3162 203439 74 1 -34.0000 -35.0000 2.94%
3156.88/3167.86 c 3168 203720 67 1 -34.0000 -35.0000 2.94%
3161.96/3172.95 c 3173 203792 72 1 -34.0000 -35.0000 2.94%
3167.16/3178.15 c 3178 203867 71 1 -34.0000 -35.0000 2.94%
3172.74/3183.75 c 3184 204019 68 1 -34.0000 -35.0000 2.94%
3178.04/3189.06 c 3189 204086 68 1 -34.0000 -35.0000 2.94%
3183.31/3194.39 c 3194 204317 73 1 -34.0000 -35.0000 2.94%
3189.11/3200.17 c 3200 204460 76 1 -34.0000 -35.0000 2.94%
3194.68/3205.73 c 3206 204541 83 1 -34.0000 -35.0000 2.94%
3200.56/3211.62 c 3212 204724 74 1 -34.0000 -35.0000 2.94%
3206.44/3217.53 c 3218 205049 77 1 -34.0000 -35.0000 2.94%
3211.52/3222.64 c 3223 205186 77 1 -34.0000 -35.0000 2.94%
3216.92/3228.03 c 3228 205420 77 1 -34.0000 -35.0000 2.94%
3222.09/3233.27 c 3233 205501 73 1 -34.0000 -35.0000 2.94%
3228.57/3239.70 c 3240 205725 72 1 -34.0000 -35.0000 2.94%
3233.86/3245.11 c 3245 205796 73 1 -34.0000 -35.0000 2.94%
3239.64/3250.88 c 3251 205864 68 1 -34.0000 -35.0000 2.94%
3245.63/3256.89 c 3257 205916 69 1 -34.0000 -35.0000 2.94%
3250.71/3261.92 c 3262 206088 67 1 -34.0000 -35.0000 2.94%
3256.49/3267.73 c 3268 206231 69 1 -34.0000 -35.0000 2.94%
3261.58/3272.84 c 3273 206291 69 1 -34.0000 -35.0000 2.94%
3267.26/3278.53 c 3279 206416 69 1 -34.0000 -35.0000 2.94%
3272.76/3284.07 c 3284 206501 77 1 -34.0000 -35.0000 2.94%
3277.53/3288.81 c * 3289 206541 77 1 -35.0000 -35.0000 0.00%
3277.53/3288.82 c 3289 206549 0 0 -35.0000 -35.0000 0.00%
3277.63/3288.93 c 3289 206549 0 0 -35.0000 -35.0000 -
3277.63/3288.93 c SCIP Status : c problem is solved
3277.63/3288.93 c Total Time : 3288.9200
3277.63/3288.93 c solving : 3288.9200
3277.63/3288.93 c presolving : 0.5668 (included in solving)
3277.63/3288.93 c B&B Tree :
3277.63/3288.93 c nodes (total) : 206549
3277.63/3288.93 c Solution :
3277.63/3288.93 c Solutions found : 11
3277.63/3288.93 c Primal Bound : -3.50000000000000e+01
3277.63/3288.93 c Dual Bound : -3.50000000000000e+01
3277.63/3288.93 c Gap : 0.00000 %
3277.63/3288.98 o -35
3277.63/3288.98 s OPTIMUM FOUND
3277.63/3288.98 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
3277.63/3288.98 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
3277.63/3288.98 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
3277.63/3288.98 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
3277.63/3288.98 v -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124
3277.63/3288.98 v -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145
3277.63/3288.98 v -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166
3277.63/3288.98 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187
3277.63/3288.98 v -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208
3277.63/3288.98 v -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229
3277.63/3288.98 v -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
3277.63/3288.98 v -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271
3277.63/3288.98 v -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292
3277.63/3288.98 v -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313
3277.63/3288.98 v -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335
3277.63/3288.98 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355
3277.63/3288.98 v x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377
3277.63/3288.98 v -x378 -x379 -x380 x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398
3277.63/3288.98 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
3277.63/3288.98 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440
3277.63/3288.98 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
3277.63/3288.98 v -x462 -x463 -x464 -x465 x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
3277.63/3288.98 v x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 x501 -x502 -x503
3277.63/3288.98 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
3277.63/3288.98 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
3277.63/3288.98 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
3277.63/3288.98 v x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
3277.63/3288.98 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: 64096 MiB (56984 MiB free)
memory of node 1: 64473 MiB (59613 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4434712-1721057211/watcher-4434712-1721057211 -o /tmp/evaluation-result-4434712-1721057211/solver-4434712-1721057211 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721054725-801074 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434712-1721057211.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=803218, runsolver pid=803215
[startup+0.100105 s]*
/proc/loadavg: 4.07 4.09 4.00 5/249 803219
/proc/meminfo: memFree=119356988/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=62424 memory=51392 CPUtime=0.1 cores=5,7
/proc/803218/stat : 803218 (fscip) R 803215 803218 797687 0 -1 4194304 10554 0 0 0 9 1 0 0 20 0 1 0 157878289 63922176 12848 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 15606 12848 2606 3032 0 12006 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 62424 KiB
Current children cumulated memory: 51392 KiB
[startup+0.213251 s]*
/proc/loadavg: 4.07 4.09 4.00 5/249 803219
/proc/meminfo: memFree=119347616/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=72688 memory=61696 CPUtime=0.22 cores=5,7
/proc/803218/stat : 803218 (fscip) R 803215 803218 797687 0 -1 4194304 16536 0 0 0 20 2 0 0 20 0 1 0 157878289 74432512 15424 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 18172 15424 2686 3032 0 14572 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 72688 KiB
Current children cumulated memory: 61696 KiB
[startup+0.313126 s]*
/proc/loadavg: 4.07 4.09 4.00 5/249 803219
/proc/meminfo: memFree=119342212/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=73952 memory=63212 CPUtime=0.31 cores=5,7
/proc/803218/stat : 803218 (fscip) R 803215 803218 797687 0 -1 4194304 18392 0 0 0 29 2 0 0 20 0 1 0 157878289 75726848 15803 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 18488 15803 2686 3032 0 14888 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 73952 KiB
Current children cumulated memory: 63212 KiB
[startup+0.700755 s]
/proc/loadavg: 4.07 4.09 4.00 5/249 803219
/proc/meminfo: memFree=119317912/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=206940 memory=119716 CPUtime=0.69 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 31800 0 0 0 63 6 0 0 20 0 2 0 157878289 211906560 29929 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 51735 29929 2766 3032 0 33137 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 206940 KiB
Current children cumulated memory: 119716 KiB
[startup+1.50038 s]
/proc/loadavg: 4.07 4.09 4.00 5/251 803221
/proc/meminfo: memFree=119235192/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=261744 memory=215320 CPUtime=1.48 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 53899 0 0 0 136 12 0 0 20 0 3 0 157878289 268025856 53830 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 65436 53830 2782 3032 0 61172 0
[pid=803218/tid=803220] ppid=803215 vsize=261744 memory=4348 CPUtime=0.8 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 23465 0 0 0 74 6 0 0 20 0 3 0 157878353 268025856 53830 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=261744 memory=2264 CPUtime=0 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 157878365 268025856 53830 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 261744 KiB
Current children cumulated memory: 215320 KiB
[startup+3.11291 s]
/proc/loadavg: 4.07 4.08 4.00 5/251 803221
/proc/meminfo: memFree=119150920/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=327280 memory=254840 CPUtime=3.09 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 77408 0 0 0 294 15 0 0 20 0 3 0 157878289 335134720 63710 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 81820 63710 2958 3032 0 73222 0
[pid=803218/tid=803220] ppid=803215 vsize=327280 memory=2264 CPUtime=2.41 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 46853 0 0 0 232 9 0 0 20 0 3 0 157878353 335134720 63710 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=327280 memory=146440 CPUtime=0 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 157878365 335134720 63710 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 327280 KiB
Current children cumulated memory: 254840 KiB
[startup+6.30038 s]
/proc/loadavg: 4.07 4.08 4.00 5/251 803223
/proc/meminfo: memFree=119147860/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=327280 memory=258416 CPUtime=6.27 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 94571 0 0 0 610 17 0 0 20 0 3 0 157878289 335134720 64604 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 81820 64604 2958 3032 0 77977 0
[pid=803218/tid=803220] ppid=803215 vsize=327280 memory=11420 CPUtime=5.58 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 64010 0 0 0 548 10 0 0 20 0 3 0 157878353 335134720 64604 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=327280 memory=254848 CPUtime=0 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 157878365 335134720 64604 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 327280 KiB
Current children cumulated memory: 258416 KiB
[startup+12.7004 s]
/proc/loadavg: 4.06 4.08 4.00 5/251 803223
/proc/meminfo: memFree=119101528/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=460988 memory=303648 CPUtime=12.64 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 132144 0 0 0 1244 20 0 0 20 0 3 0 157878289 472051712 75912 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 115247 75912 2958 3032 0 96549 0
[pid=803218/tid=803220] ppid=803215 vsize=460988 memory=303640 CPUtime=11.96 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 101553 0 0 0 1182 14 0 0 20 0 3 0 157878353 472051712 75912 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=460988 memory=2273 CPUtime=0 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 15 0 0 0 0 0 0 0 20 0 3 0 157878365 472051712 75912 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 460988 KiB
Current children cumulated memory: 303648 KiB
[startup+25.5004 s]
/proc/loadavg: 4.05 4.08 4.00 5/251 803226
/proc/meminfo: memFree=119101084/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=460988 memory=304068 CPUtime=25.41 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 166157 0 0 0 2517 24 0 0 20 0 3 0 157878289 472051712 76017 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 115247 76017 2958 3032 0 96897 0
[pid=803218/tid=803220] ppid=803215 vsize=460988 memory=304068 CPUtime=24.72 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 135301 0 0 0 2455 17 0 0 20 0 3 0 157878353 472051712 76017 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=460988 memory=304068 CPUtime=0 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 157878365 472051712 76017 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 460988 KiB
Current children cumulated memory: 304068 KiB
[startup+51.113 s]
/proc/loadavg: 4.10 4.09 4.00 5/251 803229
/proc/meminfo: memFree=119089744/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=460988 memory=305624 CPUtime=50.93 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 212301 0 0 0 5067 26 0 0 20 0 3 0 157878289 472051712 76406 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 115247 76406 2958 3032 0 103794 0
[pid=803218/tid=803220] ppid=803215 vsize=460988 memory=304584 CPUtime=50.25 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 180965 0 0 0 5005 20 0 0 20 0 3 0 157878353 472051712 76406 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=460988 memory=11420 CPUtime=0 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 157878365 472051712 76406 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 460988 KiB
Current children cumulated memory: 305624 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.10 4.01 6/253 803239
/proc/meminfo: memFree=118987492/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=560320 memory=401200 CPUtime=101.93 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 305076 0 0 0 10158 35 0 0 20 0 3 0 157878289 573767680 100300 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 140080 100300 2958 3032 0 136237 0
[pid=803218/tid=803220] ppid=803215 vsize=560320 memory=401200 CPUtime=101.23 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 273604 0 0 0 10095 28 0 0 20 0 3 0 157878353 573767680 100300 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=560320 memory=400564 CPUtime=0 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 157878365 573767680 100300 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 560320 KiB
Current children cumulated memory: 401200 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.01 5/250 803418
/proc/meminfo: memFree=118952312/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=640592 memory=432848 CPUtime=161.7 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 369851 0 0 0 16127 43 0 0 20 0 3 0 157878289 655966208 108212 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 160148 108212 2958 3032 0 156305 0
[pid=803218/tid=803220] ppid=803215 vsize=640592 memory=417232 CPUtime=160.99 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 338294 0 0 0 16063 36 0 0 20 0 3 0 157878353 655966208 108212 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=640592 memory=1832 CPUtime=0 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 3 0 157878365 655966208 108212 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 640592 KiB
Current children cumulated memory: 432848 KiB
[startup+222.3 s]
/proc/loadavg: 4.32 4.15 4.03 5/252 803486
/proc/meminfo: memFree=118842968/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=729776 memory=495908 CPUtime=221.49 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 436278 0 0 0 22098 51 0 0 20 0 3 0 157878289 747290624 123977 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 182444 123977 2958 3032 0 173263 0
[pid=803218/tid=803220] ppid=803215 vsize=729776 memory=466824 CPUtime=220.78 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 404674 0 0 0 22034 44 0 0 20 0 3 0 157878353 747290624 123977 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=729776 memory=466824 CPUtime=0 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 157878365 747290624 123977 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 729776 KiB
Current children cumulated memory: 495908 KiB
################
# More data... #
################
/proc/803218/statm: 460767 423578 3294 3032 0 456044 0
[pid=803218/tid=803220] ppid=803215 vsize=1843068 memory=42444 CPUtime=3030.84 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 2819483 0 0 0 302772 312 0 0 20 0 3 0 157878353 1887301632 423578 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=1843068 memory=42444 CPUtime=0.04 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 145 0 0 0 1 3 0 0 20 0 3 0 157878365 1887301632 423578 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 3031.81 s
Current children cumulated vsize: 1843068 KiB
Current children cumulated memory: 1694312 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/250 804719
/proc/meminfo: memFree=118424848/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=1843068 memory=1694312 CPUtime=3091.58 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 3015269 0 0 0 308817 341 0 0 20 0 3 0 157878289 1887301632 423578 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 460767 423578 3294 3032 0 456082 0
[pid=803218/tid=803220] ppid=803215 vsize=1843068 memory=2264 CPUtime=3090.61 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 2982135 0 0 0 308737 324 0 0 20 0 3 0 157878353 1887301632 423578 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=1843068 memory=1694312 CPUtime=0.04 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 147 0 0 0 1 3 0 0 20 0 3 0 157878365 1887301632 423578 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 3091.58 s
Current children cumulated vsize: 1843068 KiB
Current children cumulated memory: 1694312 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/249 804730
/proc/meminfo: memFree=118363876/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=1843068 memory=1694312 CPUtime=3151.4 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 3053677 0 0 0 314794 346 0 0 20 0 3 0 157878289 1887301632 423578 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 460767 423578 3294 3032 0 456082 0
[pid=803218/tid=803220] ppid=803215 vsize=1843068 memory=2264 CPUtime=3150.42 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 3020512 0 0 0 314713 329 0 0 20 0 3 0 157878353 1887301632 423578 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=1843068 memory=11420 CPUtime=0.04 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 149 0 0 0 1 3 0 0 20 0 3 0 157878365 1887301632 423578 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 3151.4 s
Current children cumulated vsize: 1843068 KiB
Current children cumulated memory: 1694312 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/252 804745
/proc/meminfo: memFree=118312332/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=1843068 memory=1694312 CPUtime=3211.22 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 3060441 0 0 0 320774 348 0 0 20 0 3 0 157878289 1887301632 423578 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 460767 423578 3294 3032 0 456087 0
[pid=803218/tid=803220] ppid=803215 vsize=1843068 memory=2264 CPUtime=3210.23 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 3027256 0 0 0 320693 330 0 0 20 0 3 0 157878353 1887301632 423578 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=1843068 memory=11420 CPUtime=0.04 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 151 0 0 0 1 3 0 0 20 0 3 0 157878365 1887301632 423578 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 3211.22 s
Current children cumulated vsize: 1843068 KiB
Current children cumulated memory: 1694312 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/252 804755
/proc/meminfo: memFree=118241116/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=1907724 memory=1749168 CPUtime=3271.05 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 3220627 0 0 0 326749 356 0 0 20 0 3 0 157878289 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 476931 437292 3294 3032 0 472251 0
[pid=803218/tid=803220] ppid=803215 vsize=1907724 memory=42444 CPUtime=3270.07 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 3187424 0 0 0 326668 339 0 0 20 0 3 0 157878353 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=1907724 memory=1749168 CPUtime=0.04 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 153 0 0 0 1 3 0 0 20 0 3 0 157878365 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 3271.05 s
Current children cumulated vsize: 1907724 KiB
Current children cumulated memory: 1749168 KiB
[startup+3288.99 s]
# the end of solver process 803218 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3274.14 s, system=3.5942 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3283.2 s]
/proc/loadavg: 4.08 4.13 4.16 5/252 804755
/proc/meminfo: memFree=118241116/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=1907724 memory=1749168 CPUtime=3271.95 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 3220627 0 0 0 326839 356 0 0 20 0 3 0 157878289 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 476931 437292 3294 3032 0 472251 0
[pid=803218/tid=803220] ppid=803215 vsize=1907724 memory=1749168 CPUtime=3270.97 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 3187424 0 0 0 326758 339 0 0 20 0 3 0 157878353 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=1907724 memory=1749168 CPUtime=0.04 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 153 0 0 0 1 3 0 0 20 0 3 0 157878365 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 3271.95 s
Current children cumulated vsize: 1907724 KiB
Current children cumulated memory: 1749168 KiB
[startup+3286.4 s]
/proc/loadavg: 4.08 4.13 4.16 5/252 804757
/proc/meminfo: memFree=118241032/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=1907724 memory=1749168 CPUtime=3275.14 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 3220627 0 0 0 327158 356 0 0 20 0 3 0 157878289 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 476931 437292 3294 3032 0 472251 0
[pid=803218/tid=803220] ppid=803215 vsize=1907724 memory=12508 CPUtime=3274.16 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 3187424 0 0 0 327077 339 0 0 20 0 3 0 157878353 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=1907724 memory=11420 CPUtime=0.04 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 153 0 0 0 1 3 0 0 20 0 3 0 157878365 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 3275.14 s
Current children cumulated vsize: 1907724 KiB
Current children cumulated memory: 1749168 KiB
[startup+3288 s]*
/proc/loadavg: 4.08 4.13 4.16 5/252 804758
/proc/meminfo: memFree=118239712/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=1907724 memory=1749168 CPUtime=3276.75 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 3220629 0 0 0 327319 356 0 0 20 0 3 0 157878289 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 476931 437292 3294 3032 0 472251 0
[pid=803218/tid=803220] ppid=803215 vsize=1907724 memory=6720662164367227501 CPUtime=3275.77 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 3187426 0 0 0 327238 339 0 0 20 0 3 0 157878353 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=1907724 memory=-7450774191523390073 CPUtime=0.04 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 153 0 0 0 1 3 0 0 20 0 3 0 157878365 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 3276.75 s
Current children cumulated vsize: 1907724 KiB
Current children cumulated memory: 1749168 KiB
[startup+3288.4 s]
/proc/loadavg: 4.08 4.13 4.16 5/252 804758
/proc/meminfo: memFree=118239712/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=1907724 memory=1749168 CPUtime=3277.14 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 3220629 0 0 0 327358 356 0 0 20 0 3 0 157878289 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 476931 437292 3294 3032 0 472251 0
[pid=803218/tid=803220] ppid=803215 vsize=1907724 memory=26652 CPUtime=3276.15 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 3187426 0 0 0 327276 339 0 0 20 0 3 0 157878353 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=1907724 memory=25876 CPUtime=0.04 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 153 0 0 0 1 3 0 0 20 0 3 0 157878365 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 3277.14 s
Current children cumulated vsize: 1907724 KiB
Current children cumulated memory: 1749168 KiB
[startup+3288.8 s]
/proc/loadavg: 4.08 4.13 4.16 5/252 804758
/proc/meminfo: memFree=118239712/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=1907724 memory=1749168 CPUtime=3277.53 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 3220629 0 0 0 327397 356 0 0 20 0 3 0 157878289 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 476931 437292 3294 3032 0 472251 0
[pid=803218/tid=803220] ppid=803215 vsize=1907724 memory=16192 CPUtime=3276.55 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 3187426 0 0 0 327316 339 0 0 20 0 3 0 157878353 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=1907724 memory=2264 CPUtime=0.04 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 153 0 0 0 1 3 0 0 20 0 3 0 157878365 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 3277.53 s
Current children cumulated vsize: 1907724 KiB
Current children cumulated memory: 1749168 KiB
[startup+3288.9 s]
/proc/loadavg: 4.08 4.13 4.16 5/252 804758
/proc/meminfo: memFree=118239712/131655788 swapFree=131071996/131071996
[pid=803218] ppid=803215 vsize=1907724 memory=1749168 CPUtime=3277.63 cores=5,7
/proc/803218/stat : 803218 (fscip) S 803215 803218 797687 0 -1 1077936128 3220963 0 0 0 327407 356 0 0 20 0 3 0 157878289 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
/proc/803218/statm: 476931 437292 3294 3032 0 472251 0
[pid=803218/tid=803220] ppid=803215 vsize=1907724 memory=42444 CPUtime=3276.65 cores=5,7
/proc/803218/task/803220/stat : 803220 (fscip) R 803215 803218 797687 0 -1 4194368 3187722 0 0 0 327326 339 0 0 20 0 3 0 157878353 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
[pid=803218/tid=803221] ppid=803215 vsize=1907724 memory=1749168 CPUtime=0.04 cores=5,7
/proc/803218/task/803221/stat : 803221 (fscip) S 803215 803218 797687 0 -1 1077936192 153 0 0 0 1 3 0 0 20 0 3 0 157878365 1953509376 437292 134679101440 4194304 16613245 140730625060096 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 30760960 140730625061909 140730625062025 140730625062025 140730625069040 0
Current children cumulated CPU time: 3277.63 s
Current children cumulated vsize: 1907724 KiB
Current children cumulated memory: 1749168 KiB
Child status: 0
Real time (s): 3288.99
CPU time (s): 3277.73
CPU user time (s): 3274.14
CPU system time (s): 3.5942
CPU usage (%): 99.6578
Max. virtual memory (cumulated for all children) (KiB): 1907724
Max. memory (cumulated for all children) (KiB): 1749168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3274.14
system time used= 3.5942
maximum resident set size= 1749168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3224705
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= 8985
involuntary context switches= 1728
# summary of solver processes directly reported to runsolver:
# pid: 803218
# total CPU time (s): 3277.73
# total CPU user time (s): 3274.14
# total CPU system time (s): 3.5942
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2923 second user time and 34.3606 second system time
The end
Begin job on nodeC011 at 2024-07-15 17:27:04
IDJOB=4434712
IDBENCH=146690
IDSOLVER=3064
FILE ID=nodeC011/4434712-1721057211
RUNJOBID= nodeC011-1721054725-801074
SLURM_JOB_ID= 7505475
Free space on /tmp= 723684 MiB
SOLVER NAME= FiberSCIP 2024-07-02
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-4434712-1721057211/watcher-4434712-1721057211 -o /tmp/evaluation-result-4434712-1721057211/solver-4434712-1721057211 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721054725-801074 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4434712-1721057211.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 13e3cfc76a003558f082ab5832d2ffa8
RANDOM SEED=1111242015
nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3614.947
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3670.896
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.206
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.139
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3659.906
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3493.035
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.267
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.20
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.122
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 119396240 kB
MemAvailable: 124571020 kB
Buffers: 381052 kB
Cached: 5571392 kB
SwapCached: 0 kB
Active: 663404 kB
Inactive: 10920056 kB
Active(anon): 1428 kB
Inactive(anon): 5667328 kB
Active(file): 661976 kB
Inactive(file): 5252728 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28864 kB
Writeback: 4 kB
AnonPages: 5630752 kB
Mapped: 140368 kB
Shmem: 37704 kB
KReclaimable: 200548 kB
Slab: 309888 kB
SReclaimable: 200548 kB
SUnreclaim: 109340 kB
KernelStack: 4000 kB
PageTables: 20368 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 3235468 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51392 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3061760 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: 262984 kB
DirectMap2M: 33196032 kB
DirectMap1G: 102760448 kB
Free space on /tmp at the end= 723668 MiB
End job on nodeC011 at 2024-07-15 18:21:53