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.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22683648, getVmSize() = 22683648, SCIPgetMemUsed() = 951831, SCIPgetMemTotal() = 1269695, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.00 c ** Estimated virtualMemUsedAtSolver = 16052224, getVmSize() = 25473024, SCIPgetMemUsed() = 1629876, SCIPgetMemTotal() = 2904092, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.00 c Original Problem :
0.00/0.00 c Problem name : instance-4464027-1722378597
0.00/0.00 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 12
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 11
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 7
0.00/0.00 c logicor : 4
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.00 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.00/0.01 c * 0 0 1 1 967.0000 - -
0.00/0.03 c * 0 0 1 1 505.0000 - -
0.10/0.18 c * 0 2 1 1 486.0000 0.0000 -
0.10/0.20 c * 0 2 1 1 460.0000 0.0000 -
0.20/0.28 c * 0 2 1 1 417.0000 0.0000 -
0.30/0.31 c * 0 2 1 1 412.0000 0.0000 -
0.30/0.39 c * 0 2 1 1 272.0000 0.0000 -
0.40/0.41 c * 0 2 1 1 121.0000 0.0000 -
0.59/0.67 c * 1 2 1 1 83.0000 0.0000 -
2.88/2.93 c * 3 1282 228 1 46.0000 0.0000 -
3.08/3.17 c * 3 2586 1332 1 33.0000 0.0000 -
3.97/4.02 c * 4 2586 1332 1 31.0000 0.0000 -
5.07/5.14 c 5 8444 5241 1 31.0000 0.0000 -
5.16/5.24 c * 5 8444 5241 1 29.0000 0.0000 -
5.16/5.24 c * 5 8444 5241 1 27.0000 0.0000 -
5.26/5.38 c * 5 8444 5241 1 26.0000 0.0000 -
6.16/6.26 c * 6 11720 6995 1 24.0000 0.0000 -
6.16/6.26 c * 6 11720 6995 1 22.0000 0.0000 -
10.14/10.22 c 10 20556 10551 1 22.0000 0.0000 -
15.13/15.27 c 15 28477 13297 1 22.0000 0.0000 -
20.20/20.35 c 20 35708 16104 1 22.0000 0.0000 -
23.09/23.21 c * 23 39702 17394 1 20.0000 0.0000 -
23.09/23.22 c * 23 39702 17394 1 18.0000 0.0000 -
23.49/23.62 c * 24 42571 17877 1 11.0000 0.0000 -
25.29/25.40 c 25 49683 17316 1 11.0000 0.0000 -
30.26/30.45 c 30 65390 19278 1 11.0000 0.0000 -
35.35/35.50 c 36 83736 22550 1 11.0000 0.0000 -
39.83/40.09 c * 40 96557 24982 1 10.0000 0.0000 -
40.32/40.55 c 41 100339 25282 1 10.0000 0.0000 -
45.40/45.65 c 46 117357 27733 1 10.0000 0.0000 -
50.58/50.82 c 51 135951 29195 1 10.0000 0.0000 -
55.56/55.87 c 56 153678 30479 1 10.0000 0.0000 -
60.64/60.92 c 61 169094 32586 1 10.0000 0.0000 -
65.61/65.96 c 66 181768 33552 1 10.0000 0.0000 -
70.69/71.01 c 71 194505 33890 1 10.0000 0.0000 -
75.68/76.06 c 76 206156 34064 1 10.0000 0.0000 -
80.75/81.17 c 81 218737 35564 1 10.0000 0.0000 -
85.84/86.22 c 86 231999 36669 1 10.0000 0.0000 -
90.91/91.31 c 91 245903 37963 1 10.0000 0.0000 -
95.88/96.36 c 96 258273 38917 1 10.0000 0.0000 -
100.97/101.44 c 101 270084 39307 1 10.0000 0.0000 -
106.04/106.50 c 107 281838 39310 1 10.0000 0.0000 -
108.44/108.95 c * 109 286995 39704 1 8.0000 0.0000 -
108.44/108.97 c * 109 286995 39704 1 6.0000 0.0000 -
108.44/108.99 c * 109 286995 39704 1 4.0000 0.0000 -
108.54/109.01 c * 109 286995 39704 1 2.0000 0.0000 -
111.03/111.55 c 112 301568 33792 1 2.0000 0.0000 -
116.11/116.60 c 117 332170 32818 1 2.0000 0.0000 -
121.08/121.65 c 122 363860 32930 1 2.0000 0.0000 -
126.17/126.70 c 127 394300 33975 1 2.0000 0.0000 -
131.25/131.80 c 132 420288 34486 1 2.0000 0.0000 -
136.23/136.85 c 137 450158 34725 1 2.0000 0.0000 -
141.30/141.90 c 142 480059 35057 1 2.0000 0.0000 -
146.28/146.95 c 147 511892 34152 1 2.0000 0.0000 -
151.36/152.00 c 152 544058 32817 1 2.0000 0.0000 -
156.34/157.05 c 157 571843 34775 1 2.0000 0.0000 -
161.31/162.10 c 162 601291 33915 1 2.0000 0.0000 -
166.40/167.15 c 167 628538 36188 1 2.0000 0.0000 -
171.46/172.20 c 172 657709 36597 1 2.0000 0.0000 -
176.44/177.25 c 177 686695 37411 1 2.0000 0.0000 -
181.52/182.30 c 182 716900 36677 1 2.0000 0.0000 -
186.50/187.35 c 187 748262 32836 1 2.0000 0.0000 -
191.59/192.40 c 192 779112 31945 1 2.0000 0.0000 -
196.57/197.45 c 197 809877 30833 1 2.0000 0.0000 -
201.65/202.50 c 203 836873 29532 1 2.0000 0.0000 -
206.63/207.55 c 208 865961 29708 1 2.0000 0.0000 -
211.70/212.60 c 213 896578 28307 1 2.0000 0.0000 -
216.68/217.65 c 218 926098 27080 1 2.0000 0.0000 -
221.76/222.70 c 223 955880 26280 1 2.0000 0.0000 -
226.73/227.75 c 228 985175 26888 1 2.0000 0.0000 -
231.81/232.80 c 233 1016061 25532 1 2.0000 0.0000 -
236.79/237.85 c 238 1045671 26872 1 2.0000 0.0000 -
241.85/242.90 c 243 1074173 28211 1 2.0000 0.0000 -
246.83/247.95 c 248 1105065 24896 1 2.0000 0.0000 -
251.91/253.00 c 253 1135408 23436 1 2.0000 0.0000 -
256.89/258.05 c 258 1165089 22383 1 2.0000 0.0000 -
261.87/263.10 c 263 1194787 22274 1 2.0000 0.0000 -
266.95/268.15 c 268 1223232 22345 1 2.0000 0.0000 -
272.02/273.20 c 273 1251147 22285 1 2.0000 0.0000 -
277.01/278.25 c 278 1280786 23991 1 2.0000 0.0000 -
282.08/283.30 c 283 1312338 21994 1 2.0000 0.0000 -
287.07/288.35 c 288 1342531 21905 1 2.0000 0.0000 -
292.15/293.40 c 293 1373053 21489 1 2.0000 0.0000 -
297.13/298.45 c 298 1404559 20679 1 2.0000 0.0000 -
302.21/303.50 c 304 1435341 20508 1 2.0000 0.0000 -
307.19/308.55 c 309 1465619 19850 1 2.0000 0.0000 -
312.27/313.60 c 314 1494322 22220 1 2.0000 0.0000 -
317.25/318.65 c 319 1523168 24851 1 2.0000 0.0000 -
322.34/323.70 c 324 1553302 26019 1 2.0000 0.0000 -
327.31/328.75 c 329 1581417 28321 1 2.0000 0.0000 -
332.39/333.80 c 334 1610518 30122 1 2.0000 0.0000 -
337.37/338.85 c 339 1640867 30156 1 2.0000 0.0000 -
342.45/343.90 c 344 1669619 26838 1 2.0000 0.0000 -
347.43/348.95 c 349 1700341 22977 1 2.0000 0.0000 -
352.51/354.00 c 354 1730425 20246 1 2.0000 0.0000 -
357.50/359.05 c 359 1760891 21839 1 2.0000 0.0000 -
362.47/364.10 c 364 1790493 23232 1 2.0000 0.0000 -
367.55/369.15 c 369 1821541 22012 1 2.0000 0.0000 -
372.63/374.20 c 374 1851864 21623 1 2.0000 0.0000 -
377.61/379.25 c 379 1881432 19145 1 2.0000 0.0000 -
382.69/384.30 c 384 1911306 18692 1 2.0000 0.0000 -
387.68/389.35 c 389 1939451 20539 1 2.0000 0.0000 -
392.76/394.40 c 394 1970382 18530 1 2.0000 0.0000 -
397.74/399.45 c 399 1998882 19100 1 2.0000 0.0000 -
402.82/404.50 c 405 2029258 18277 1 2.0000 0.0000 -
407.80/409.55 c 410 2060959 17898 1 2.0000 0.0000 -
412.88/414.60 c 415 2090920 18159 1 2.0000 0.0000 -
417.86/419.65 c 420 2120080 20222 1 2.0000 0.0000 -
422.93/424.70 c 425 2149202 21827 1 2.0000 0.0000 -
427.92/429.75 c 430 2176402 23710 1 2.0000 0.0000 -
432.99/434.80 c 435 2204662 24409 1 2.0000 0.0000 -
437.98/439.85 c 440 2233618 24328 1 2.0000 0.0000 -
443.05/444.90 c 445 2264906 23592 1 2.0000 0.0000 -
448.04/449.95 c 450 2292857 23812 1 2.0000 0.0000 -
453.12/455.00 c 455 2320115 25571 1 2.0000 0.0000 -
458.10/460.05 c 460 2352452 25260 1 2.0000 0.0000 -
463.08/465.10 c 465 2383722 23784 1 2.0000 0.0000 -
468.16/470.15 c 470 2411430 23409 1 2.0000 0.0000 -
473.23/475.20 c 475 2440739 24787 1 2.0000 0.0000 -
478.21/480.25 c 480 2466931 26929 1 2.0000 0.0000 -
483.29/485.30 c 485 2495619 25402 1 2.0000 0.0000 -
488.27/490.35 c 490 2525829 23135 1 2.0000 0.0000 -
493.36/495.40 c 495 2557912 25324 1 2.0000 0.0000 -
498.34/500.45 c 500 2591374 26762 1 2.0000 0.0000 -
503.42/505.50 c 506 2626060 25375 1 2.0000 0.0000 -
508.40/510.55 c 511 2662203 23953 1 2.0000 0.0000 -
513.48/515.60 c 516 2693842 23019 1 2.0000 0.0000 -
518.45/520.65 c 521 2726428 21776 1 2.0000 0.0000 -
523.54/525.70 c 526 2758522 22720 1 2.0000 0.0000 -
528.52/530.75 c 531 2791125 21065 1 2.0000 0.0000 -
533.60/535.80 c 536 2824451 24301 1 2.0000 0.0000 -
538.58/540.85 c 541 2859535 24915 1 2.0000 0.0000 -
543.66/545.90 c 546 2897783 24727 1 2.0000 0.0000 -
548.64/550.95 c 551 2935073 26075 1 2.0000 0.0000 -
553.73/556.00 c 556 2972444 24207 1 2.0000 0.0000 -
558.70/561.05 c 561 3010272 26192 1 2.0000 0.0000 -
563.68/566.10 c 566 3050268 22444 1 2.0000 0.0000 -
568.76/571.15 c 571 3085663 20597 1 2.0000 0.0000 -
573.84/576.20 c 576 3117511 23746 1 2.0000 0.0000 -
578.82/581.25 c 581 3148818 25467 1 2.0000 0.0000 -
583.90/586.30 c 586 3182057 24213 1 2.0000 0.0000 -
588.88/591.35 c 591 3214863 19735 1 2.0000 0.0000 -
593.96/596.40 c 596 3243387 25510 1 2.0000 0.0000 -
598.94/601.45 c 601 3274644 30637 1 2.0000 0.0000 -
604.02/606.50 c 607 3297084 37879 1 2.0000 0.0000 -
609.00/611.55 c 612 3324317 44012 1 2.0000 0.0000 -
614.08/616.60 c 617 3352338 48364 1 2.0000 0.0000 -
619.06/621.65 c 622 3381317 52418 1 2.0000 0.0000 -
624.14/626.70 c 627 3410848 55605 1 2.0000 0.0000 -
629.12/631.75 c 632 3439621 57876 1 2.0000 0.0000 -
634.20/636.80 c 637 3468791 59666 1 2.0000 0.0000 -
639.18/641.85 c 642 3499233 62968 1 2.0000 0.0000 -
644.26/646.90 c 647 3528651 65414 1 2.0000 0.0000 -
649.24/651.95 c 652 3555043 69477 1 2.0000 0.0000 -
654.33/657.00 c 657 3582136 73130 1 2.0000 0.0000 -
659.31/662.05 c 662 3609200 74840 1 2.0000 0.0000 -
664.28/667.10 c 667 3636481 77018 1 2.0000 0.0000 -
669.36/672.15 c 672 3662941 78378 1 2.0000 0.0000 -
674.44/677.20 c 677 3690398 79371 1 2.0000 0.0000 -
679.42/682.25 c 682 3716961 80770 1 2.0000 0.0000 -
684.49/687.31 c 687 3742881 81208 1 2.0000 0.0000 -
689.47/692.35 c 692 3768937 81069 1 2.0000 0.0000 -
694.56/697.40 c 697 3796338 80480 1 2.0000 0.0000 -
699.53/702.45 c 702 3824806 80431 1 2.0000 0.0000 -
704.62/707.50 c 708 3854099 80238 1 2.0000 0.0000 -
709.60/712.55 c 713 3882885 80895 1 2.0000 0.0000 -
714.68/717.60 c 718 3912317 81363 1 2.0000 0.0000 -
719.66/722.65 c 723 3942093 81269 1 2.0000 0.0000 -
724.74/727.70 c 728 3971959 81224 1 2.0000 0.0000 -
729.72/732.75 c 733 3998825 81938 1 2.0000 0.0000 -
734.80/737.80 c 738 4027754 81389 1 2.0000 0.0000 -
739.77/742.85 c 743 4058119 81069 1 2.0000 0.0000 -
744.85/747.90 c 748 4087734 80384 1 2.0000 0.0000 -
749.83/752.95 c 753 4118287 80623 1 2.0000 0.0000 -
754.91/758.00 c 758 4147055 81250 1 2.0000 0.0000 -
759.90/763.05 c 763 4176574 79955 1 2.0000 0.0000 -
764.97/768.11 c 768 4206211 80304 1 2.0000 0.0000 -
769.96/773.16 c 773 4235461 80518 1 2.0000 0.0000 -
775.03/778.22 c 778 4266899 79763 1 2.0000 0.0000 -
780.01/783.27 c 783 4295397 79516 1 2.0000 0.0000 -
785.09/788.32 c 788 4323811 78350 1 2.0000 0.0000 -
790.07/793.37 c 793 4352789 77632 1 2.0000 0.0000 -
795.15/798.42 c 798 4383310 77089 1 2.0000 0.0000 -
800.12/803.47 c 803 4412678 76786 1 2.0000 0.0000 -
805.21/808.52 c 809 4440591 75562 1 2.0000 0.0000 -
810.18/813.57 c 814 4470275 73915 1 2.0000 0.0000 -
815.27/818.62 c 819 4498973 73558 1 2.0000 0.0000 -
820.25/823.67 c 824 4527536 71421 1 2.0000 0.0000 -
825.33/828.72 c 829 4559428 70758 1 2.0000 0.0000 -
830.31/833.78 c 834 4588044 69831 1 2.0000 0.0000 -
835.39/838.83 c 839 4616160 68872 1 2.0000 0.0000 -
840.36/843.88 c 844 4645476 67997 1 2.0000 0.0000 -
845.44/848.93 c 849 4674704 66839 1 2.0000 0.0000 -
850.43/853.98 c 854 4704010 67603 1 2.0000 0.0000 -
855.50/859.03 c 859 4736696 66351 1 2.0000 0.0000 -
860.48/864.08 c 864 4763404 65588 1 2.0000 0.0000 -
865.56/869.14 c 869 4790701 63941 1 2.0000 0.0000 -
870.54/874.19 c 874 4820300 61710 1 2.0000 0.0000 -
875.62/879.24 c 879 4848855 59626 1 2.0000 0.0000 -
880.60/884.29 c 884 4878646 58656 1 2.0000 0.0000 -
885.68/889.35 c 889 4906969 56758 1 2.0000 0.0000 -
890.76/894.40 c 894 4929571 62165 1 2.0000 0.0000 -
895.73/899.46 c 899 4954836 66378 1 2.0000 0.0000 -
900.82/904.51 c 905 4982020 69189 1 2.0000 0.0000 -
905.80/909.56 c 910 5009248 71486 1 2.0000 0.0000 -
910.88/914.62 c 915 5036862 74753 1 2.0000 0.0000 -
915.86/919.67 c 920 5064884 76223 1 2.0000 0.0000 -
920.93/924.72 c 925 5091711 76920 1 2.0000 0.0000 -
925.91/929.77 c 930 5119679 76574 1 2.0000 0.0000 -
930.99/934.82 c 935 5147026 76187 1 2.0000 0.0000 -
935.98/939.87 c 940 5174365 75432 1 2.0000 0.0000 -
941.05/944.92 c 945 5201406 74719 1 2.0000 0.0000 -
946.03/949.97 c 950 5227694 73761 1 2.0000 0.0000 -
951.12/955.02 c 955 5256186 72294 1 2.0000 0.0000 -
956.09/960.08 c 960 5284607 70562 1 2.0000 0.0000 -
961.17/965.13 c 965 5311268 68814 1 2.0000 0.0000 -
966.15/970.18 c 970 5339916 67374 1 2.0000 0.0000 -
971.22/975.24 c 975 5366262 66815 1 2.0000 0.0000 -
976.21/980.29 c 980 5393664 62954 1 2.0000 0.0000 -
981.29/985.34 c 985 5422312 57941 1 2.0000 0.0000 -
986.36/990.40 c 990 5449288 55840 1 2.0000 0.0000 -
991.35/995.45 c 995 5479026 54169 1 2.0000 0.0000 -
996.42/1000.50 c 1001 5514784 53884 1 2.0000 0.0000 -
1001.40/1005.55 c 1006 5543265 52733 1 2.0000 0.0000 -
1006.48/1010.60 c 1011 5569985 51229 1 2.0000 0.0000 -
1011.46/1015.65 c 1016 5601135 48820 1 2.0000 0.0000 -
1016.54/1020.71 c 1021 5630556 46567 1 2.0000 0.0000 -
1021.52/1025.76 c 1026 5660467 43994 1 2.0000 0.0000 -
1026.60/1030.81 c 1031 5690582 41737 1 2.0000 0.0000 -
1031.58/1035.86 c 1036 5719816 39251 1 2.0000 0.0000 -
1036.66/1040.91 c 1041 5750005 35784 1 2.0000 0.0000 -
1041.64/1045.96 c 1046 5780016 36211 1 2.0000 0.0000 -
1046.72/1051.01 c 1051 5809698 39762 1 2.0000 0.0000 -
1051.70/1056.06 c 1056 5838951 42108 1 2.0000 0.0000 -
1056.78/1061.11 c 1061 5866007 43791 1 2.0000 0.0000 -
1061.76/1066.16 c 1066 5894867 44650 1 2.0000 0.0000 -
1066.83/1071.21 c 1071 5921839 46039 1 2.0000 0.0000 -
1071.81/1076.26 c 1076 5950998 46873 1 2.0000 0.0000 -
1076.89/1081.31 c 1081 5980236 47178 1 2.0000 0.0000 -
1081.87/1086.36 c 1086 6010488 46930 1 2.0000 0.0000 -
1086.95/1091.41 c 1091 6040259 46421 1 2.0000 0.0000 -
1091.93/1096.47 c 1096 6071096 46137 1 2.0000 0.0000 -
1097.00/1101.52 c 1102 6102616 46029 1 2.0000 0.0000 -
1101.98/1106.57 c 1107 6133302 45113 1 2.0000 0.0000 -
1107.06/1111.62 c 1112 6162209 47698 1 2.0000 0.0000 -
1112.05/1116.67 c 1117 6194351 50635 1 2.0000 0.0000 -
1117.12/1121.72 c 1122 6225710 50654 1 2.0000 0.0000 -
1122.09/1126.77 c 1127 6261438 48876 1 2.0000 0.0000 -
1127.18/1131.82 c 1132 6295857 52907 1 2.0000 0.0000 -
1132.16/1136.87 c 1137 6332807 53478 1 2.0000 0.0000 -
1137.24/1141.92 c 1142 6368813 51641 1 2.0000 0.0000 -
1142.22/1146.97 c 1147 6403254 50343 1 2.0000 0.0000 -
1147.30/1152.02 c 1152 6437320 51425 1 2.0000 0.0000 -
1152.28/1157.07 c 1157 6469944 52119 1 2.0000 0.0000 -
1157.36/1162.12 c 1162 6504317 51283 1 2.0000 0.0000 -
1162.34/1167.17 c 1167 6535222 49316 1 2.0000 0.0000 -
1167.41/1172.22 c 1172 6562499 48683 1 2.0000 0.0000 -
1172.40/1177.27 c 1177 6594120 45719 1 2.0000 0.0000 -
1177.47/1182.32 c 1182 6624667 41658 1 2.0000 0.0000 -
1182.45/1187.37 c 1187 6654547 39631 1 2.0000 0.0000 -
1187.53/1192.42 c 1192 6687757 46168 1 2.0000 0.0000 -
1192.51/1197.47 c 1197 6720765 49685 1 2.0000 0.0000 -
1197.59/1202.52 c 1203 6753656 52907 1 2.0000 0.0000 -
1202.57/1207.58 c 1208 6785033 54550 1 2.0000 0.0000 -
1207.65/1212.63 c 1213 6819041 55589 1 2.0000 0.0000 -
1212.63/1217.68 c 1218 6854085 56395 1 2.0000 0.0000 -
1217.71/1222.74 c 1223 6884424 57210 1 2.0000 0.0000 -
1222.70/1227.79 c 1228 6917365 57162 1 2.0000 0.0000 -
1227.77/1232.84 c 1233 6951805 56055 1 2.0000 0.0000 -
1232.75/1237.89 c 1238 6983131 56467 1 2.0000 0.0000 -
1237.83/1242.95 c 1243 7011770 56938 1 2.0000 0.0000 -
1242.91/1248.00 c 1248 7043203 55976 1 2.0000 0.0000 -
1247.90/1253.05 c 1253 7077798 54474 1 2.0000 0.0000 -
1252.87/1258.10 c 1258 7109849 53309 1 2.0000 0.0000 -
1257.95/1263.15 c 1263 7138985 52323 1 2.0000 0.0000 -
1263.01/1268.20 c 1268 7169188 50827 1 2.0000 0.0000 -
1267.99/1273.25 c 1273 7200740 48592 1 2.0000 0.0000 -
1273.06/1278.30 c 1278 7234260 45262 1 2.0000 0.0000 -
1278.04/1283.35 c 1283 7266103 40467 1 2.0000 0.0000 -
1283.11/1288.40 c 1288 7294769 33201 1 2.0000 0.0000 -
1288.09/1293.45 c 1293 7324786 29847 1 2.0000 0.0000 -
1293.16/1298.51 c 1299 7354983 27622 1 2.0000 0.0000 -
1298.13/1303.56 c 1304 7388573 26852 1 2.0000 0.0000 -
1303.21/1308.61 c 1309 7417045 22295 1 2.0000 0.0000 -
1308.18/1313.66 c 1314 7443132 23216 1 2.0000 0.0000 -
1313.26/1318.71 c 1319 7472940 19566 1 2.0000 0.0000 -
1318.23/1323.76 c 1324 7506414 20268 1 2.0000 0.0000 -
1323.31/1328.81 c 1329 7541691 19609 1 2.0000 0.0000 -
1328.29/1333.86 c 1334 7575596 18882 1 2.0000 0.0000 -
1333.36/1338.92 c 1339 7610374 20004 1 2.0000 0.0000 -
1338.33/1343.98 c 1344 7646628 18905 1 2.0000 0.0000 -
1343.41/1349.03 c 1349 7682031 18154 1 2.0000 0.0000 -
1348.39/1354.08 c 1354 7713466 23352 1 2.0000 0.0000 -
1353.46/1359.13 c 1359 7747428 23577 1 2.0000 0.0000 -
1358.44/1364.18 c 1364 7781006 27024 1 2.0000 0.0000 -
1363.51/1369.25 c 1369 7814405 26848 1 2.0000 0.0000 -
1368.48/1374.29 c 1374 7847832 24095 1 2.0000 0.0000 -
1373.56/1379.34 c 1379 7882121 17919 1 2.0000 0.0000 -
1378.64/1384.40 c 1384 7912971 19430 1 2.0000 0.0000 -
1383.61/1389.47 c 1389 7937603 21511 1 2.0000 0.0000 -
1388.68/1394.52 c 1395 7967957 17769 1 2.0000 0.0000 -
1393.66/1399.57 c 1400 8001534 18775 1 2.0000 0.0000 -
1398.73/1404.62 c 1405 8031848 22678 1 2.0000 0.0000 -
1403.71/1409.67 c 1410 8064255 24098 1 2.0000 0.0000 -
1408.78/1414.72 c 1415 8098133 22954 1 2.0000 0.0000 -
1413.76/1419.77 c 1420 8131533 22133 1 2.0000 0.0000 -
1418.83/1424.82 c 1425 8165312 17877 1 2.0000 0.0000 -
1423.81/1429.87 c 1430 8197068 17834 1 2.0000 0.0000 -
1428.89/1434.92 c 1435 8221853 19074 1 2.0000 0.0000 -
1433.86/1439.97 c 1440 8246347 20356 1 2.0000 0.0000 -
1438.94/1445.02 c 1445 8271321 20889 1 2.0000 0.0000 -
1443.92/1450.09 c 1450 8294621 23138 1 2.0000 0.0000 -
1448.99/1455.14 c 1455 8318781 24746 1 2.0000 0.0000 -
1453.98/1460.19 c 1460 8340022 25746 1 2.0000 0.0000 -
1459.05/1465.24 c 1465 8363931 25667 1 2.0000 0.0000 -
1464.13/1470.30 c 1470 8390337 25045 1 2.0000 0.0000 -
1469.11/1475.35 c 1475 8416906 24569 1 2.0000 0.0000 -
1474.19/1480.42 c 1480 8444361 23551 1 2.0000 0.0000 -
1479.17/1485.47 c 1485 8471884 23325 1 2.0000 0.0000 -
1484.25/1490.52 c 1491 8497427 21732 1 2.0000 0.0000 -
1489.23/1495.57 c 1496 8522729 19075 1 2.0000 0.0000 -
1494.31/1500.65 c 1501 8549236 19056 1 2.0000 0.0000 -
1499.39/1505.70 c 1506 8582458 17071 1 2.0000 0.0000 -
1504.37/1510.75 c 1511 8608193 20530 1 2.0000 0.0000 -
1509.45/1515.80 c 1516 8633668 22840 1 2.0000 0.0000 -
1514.43/1520.87 c 1521 8660141 23916 1 2.0000 0.0000 -
1519.51/1525.94 c 1526 8685990 26598 1 2.0000 0.0000 -
1524.59/1531.01 c 1531 8712280 29563 1 2.0000 0.0000 -
1529.57/1536.06 c 1536 8735737 32560 1 2.0000 0.0000 -
1534.66/1541.11 c 1541 8762510 33979 1 2.0000 0.0000 -
1539.63/1546.16 c 1546 8788884 34725 1 2.0000 0.0000 -
1544.70/1551.21 c 1551 8816150 34838 1 2.0000 0.0000 -
1549.69/1556.26 c 1556 8842442 34276 1 2.0000 0.0000 -
1554.76/1561.33 c 1561 8869536 35619 1 2.0000 0.0000 -
1559.75/1566.39 c 1566 8895753 36052 1 2.0000 0.0000 -
1564.83/1571.46 c 1571 8922540 38029 1 2.0000 0.0000 -
1569.91/1576.51 c 1577 8953082 38625 1 2.0000 0.0000 -
1574.89/1581.56 c 1582 8981105 39689 1 2.0000 0.0000 -
1579.96/1586.61 c 1587 9009296 38716 1 2.0000 0.0000 -
1584.95/1591.66 c 1592 9036570 38653 1 2.0000 0.0000 -
1590.02/1596.73 c 1597 9064231 41389 1 2.0000 0.0000 -
1595.00/1601.78 c 1602 9093155 42180 1 2.0000 0.0000 -
1600.08/1606.83 c 1607 9121205 42001 1 2.0000 0.0000 -
1605.17/1611.90 c 1612 9150416 41257 1 2.0000 0.0000 -
1610.14/1616.96 c 1617 9178612 40426 1 2.0000 0.0000 -
1615.23/1622.01 c 1622 9205289 40365 1 2.0000 0.0000 -
1620.21/1627.07 c 1627 9231085 42301 1 2.0000 0.0000 -
1625.29/1632.12 c 1632 9255846 44932 1 2.0000 0.0000 -
1630.27/1637.17 c 1637 9283447 44857 1 2.0000 0.0000 -
1635.34/1642.22 c 1642 9313445 44402 1 2.0000 0.0000 -
1640.32/1647.27 c 1647 9340603 42724 1 2.0000 0.0000 -
1645.41/1652.32 c 1652 9367921 40965 1 2.0000 0.0000 -
1650.39/1657.38 c 1657 9396245 40765 1 2.0000 0.0000 -
1655.47/1662.44 c 1662 9426759 39885 1 2.0000 0.0000 -
1660.44/1667.48 c 1667 9457358 40437 1 2.0000 0.0000 -
1665.52/1672.53 c 1673 9486753 39047 1 2.0000 0.0000 -
1670.61/1677.60 c 1678 9514303 37686 1 2.0000 0.0000 -
1675.58/1682.65 c 1683 9542084 35466 1 2.0000 0.0000 -
1680.66/1687.70 c 1688 9570228 32505 1 2.0000 0.0000 -
1685.64/1692.75 c 1693 9599628 28867 1 2.0000 0.0000 -
1690.72/1697.80 c 1698 9626121 28678 1 2.0000 0.0000 -
1695.70/1702.85 c 1703 9655600 27973 1 2.0000 0.0000 -
1700.78/1707.90 c 1708 9682701 28745 1 2.0000 0.0000 -
1705.76/1712.95 c 1713 9706343 31019 1 2.0000 0.0000 -
1710.84/1718.00 c 1718 9729168 32614 1 2.0000 0.0000 -
1715.82/1723.05 c 1723 9753849 33660 1 2.0000 0.0000 -
1720.80/1728.10 c 1728 9779442 33739 1 2.0000 0.0000 -
1725.88/1733.15 c 1733 9804993 33555 1 2.0000 0.0000 -
1730.95/1738.20 c 1738 9830906 31009 1 2.0000 0.0000 -
1735.94/1743.26 c 1743 9858317 28649 1 2.0000 0.0000 -
1741.02/1748.31 c 1748 9887734 24737 1 2.0000 0.0000 -
1746.00/1753.36 c 1753 9916170 22708 1 2.0000 0.0000 -
1751.08/1758.41 c 1758 9947312 21635 1 2.0000 0.0000 -
1756.06/1763.46 c 1763 9973270 19609 1 2.0000 0.0000 -
1761.14/1768.51 c 1769 9997047 19376 1 2.0000 0.0000 -
1766.12/1773.56 c 1774 10019730 19254 1 2.0000 0.0000 -
1771.19/1778.61 c 1779 10045466 20470 1 2.0000 0.0000 -
1776.18/1783.66 c 1784 10071251 20731 1 2.0000 0.0000 -
1781.25/1788.74 c 1789 10098170 19554 1 2.0000 0.0000 -
1786.33/1793.80 c 1794 10122157 21889 1 2.0000 0.0000 -
1791.31/1798.85 c 1799 10148219 21334 1 2.0000 0.0000 -
1796.39/1803.90 c 1804 10178234 19166 1 2.0000 0.0000 -
1801.37/1808.97 c 1809 10207063 17768 1 2.0000 0.0000 -
1806.46/1814.02 c 1814 10234094 18682 1 2.0000 0.0000 -
1811.44/1819.07 c 1819 10264200 18307 1 2.0000 0.0000 -
1816.52/1824.12 c 1824 10295446 17412 1 2.0000 0.0000 -
1821.59/1829.20 c 1829 10321265 19960 1 2.0000 0.0000 -
1826.57/1834.25 c 1834 10348087 20155 1 2.0000 0.0000 -
1831.66/1839.30 c 1839 10375501 17763 1 2.0000 0.0000 -
1836.63/1844.35 c 1844 10403741 18116 1 2.0000 0.0000 -
1841.71/1849.40 c 1849 10431336 17614 1 2.0000 0.0000 -
1846.70/1854.45 c 1854 10457157 19655 1 2.0000 0.0000 -
1851.77/1859.50 c 1860 10483390 19976 1 2.0000 0.0000 -
1856.76/1864.55 c 1865 10509380 17705 1 2.0000 0.0000 -
1861.83/1869.60 c 1870 10539776 16944 1 2.0000 0.0000 -
1866.81/1874.65 c 1875 10569738 17017 1 2.0000 0.0000 -
1871.88/1879.70 c 1880 10602314 17362 1 2.0000 0.0000 -
1876.86/1884.75 c 1885 10630424 17546 1 2.0000 0.0000 -
1881.93/1889.80 c 1890 10655784 17652 1 2.0000 0.0000 -
1886.91/1894.85 c 1895 10686813 16634 1 2.0000 0.0000 -
1891.98/1899.90 c 1900 10716994 16248 1 2.0000 0.0000 -
1896.95/1904.95 c 1905 10746727 16960 1 2.0000 0.0000 -
1902.04/1910.00 c 1910 10775974 16566 1 2.0000 0.0000 -
1907.01/1915.05 c 1915 10804902 16377 1 2.0000 0.0000 -
1911.98/1920.10 c 1920 10830544 16116 1 2.0000 0.0000 -
1917.06/1925.15 c 1925 10860295 16226 1 2.0000 0.0000 -
1922.13/1930.20 c 1930 10881965 19945 1 2.0000 0.0000 -
1927.11/1935.25 c 1935 10906541 23841 1 2.0000 0.0000 -
1932.18/1940.33 c 1940 10931409 26881 1 2.0000 0.0000 -
1937.15/1945.38 c 1945 10955877 29391 1 2.0000 0.0000 -
1942.23/1950.43 c 1950 10983078 31223 1 2.0000 0.0000 -
1947.20/1955.48 c 1955 11009478 33135 1 2.0000 0.0000 -
1952.28/1960.54 c 1961 11037031 35357 1 2.0000 0.0000 -
1957.26/1965.59 c 1966 11064469 36484 1 2.0000 0.0000 -
1962.34/1970.64 c 1971 11090611 40832 1 2.0000 0.0000 -
1967.31/1975.69 c 1976 11121517 43907 1 2.0000 0.0000 -
1972.38/1980.74 c 1981 11153022 45940 1 2.0000 0.0000 -
1977.36/1985.79 c 1986 11181793 47999 1 2.0000 0.0000 -
1982.43/1990.85 c 1991 11211789 49616 1 2.0000 0.0000 -
1987.50/1995.90 c 1996 11239590 50679 1 2.0000 0.0000 -
1992.47/2000.95 c 2001 11267216 52212 1 2.0000 0.0000 -
1997.56/2006.00 c 2006 11291301 54086 1 2.0000 0.0000 -
2002.53/2011.07 c 2011 11314924 55739 1 2.0000 0.0000 -
2007.61/2016.14 c 2016 11347303 58543 1 2.0000 0.0000 -
2012.68/2021.20 c 2021 11376995 61712 1 2.0000 0.0000 -
2017.65/2026.27 c 2026 11401953 64664 1 2.0000 0.0000 -
2022.73/2031.32 c 2031 11429613 66103 1 2.0000 0.0000 -
2027.70/2036.37 c 2036 11458313 66873 1 2.0000 0.0000 -
2032.78/2041.42 c 2041 11487035 67136 1 2.0000 0.0000 -
2037.76/2046.47 c 2046 11517104 69351 1 2.0000 0.0000 -
2042.83/2051.51 c 2052 11547242 71476 1 2.0000 0.0000 -
2047.80/2056.56 c 2057 11577217 72558 1 2.0000 0.0000 -
2052.88/2061.61 c 2062 11602932 74006 1 2.0000 0.0000 -
2057.85/2066.66 c 2067 11630817 74795 1 2.0000 0.0000 -
2062.92/2071.71 c 2072 11658567 75828 1 2.0000 0.0000 -
2067.90/2076.78 c 2077 11689107 77625 1 2.0000 0.0000 -
2072.97/2081.83 c 2082 11722542 78806 1 2.0000 0.0000 -
2077.95/2086.88 c 2087 11749432 79488 1 2.0000 0.0000 -
2083.02/2091.93 c 2092 11776118 80321 1 2.0000 0.0000 -
2087.99/2096.98 c 2097 11804587 80629 1 2.0000 0.0000 -
2093.08/2102.04 c 2102 11833802 81278 1 2.0000 0.0000 -
2098.06/2107.09 c 2107 11860917 83736 1 2.0000 0.0000 -
2103.14/2112.14 c 2112 11886386 84465 1 2.0000 0.0000 -
2108.11/2117.19 c 2117 11914033 84738 1 2.0000 0.0000 -
2113.19/2122.24 c 2122 11946114 86261 1 2.0000 0.0000 -
2118.27/2127.33 c 2127 11979411 87768 1 2.0000 0.0000 -
2123.25/2132.38 c 2132 12009801 87962 1 2.0000 0.0000 -
2128.33/2137.43 c 2137 12039473 88185 1 2.0000 0.0000 -
2133.31/2142.48 c 2142 12069410 88664 1 2.0000 0.0000 -
2138.38/2147.53 c 2148 12096113 88853 1 2.0000 0.0000 -
2143.47/2152.60 c 2153 12123140 89008 1 2.0000 0.0000 -
2148.45/2157.67 c 2158 12153717 88927 1 2.0000 0.0000 -
2153.53/2162.72 c 2163 12185009 89533 1 2.0000 0.0000 -
2158.51/2167.77 c 2168 12214509 90015 1 2.0000 0.0000 -
2163.59/2172.82 c 2173 12247047 91739 1 2.0000 0.0000 -
2168.57/2177.87 c 2178 12279916 91940 1 2.0000 0.0000 -
2173.64/2182.92 c 2183 12308574 92737 1 2.0000 0.0000 -
2178.62/2187.97 c 2188 12337762 92779 1 2.0000 0.0000 -
2183.70/2193.02 c 2193 12366373 93776 1 2.0000 0.0000 -
2188.69/2198.07 c 2198 12398633 95702 1 2.0000 0.0000 -
2193.77/2203.12 c 2203 12432257 95657 1 2.0000 0.0000 -
2198.74/2208.17 c 2208 12459541 95390 1 2.0000 0.0000 -
2203.82/2213.22 c 2213 12490477 95362 1 2.0000 0.0000 -
2208.80/2218.27 c 2218 12521268 96009 1 2.0000 0.0000 -
2213.88/2223.32 c 2223 12549469 95916 1 2.0000 0.0000 -
2218.86/2228.37 c 2228 12578068 97640 1 2.0000 0.0000 -
2223.94/2233.42 c 2233 12607337 99076 1 2.0000 0.0000 -
2228.92/2238.47 c 2238 12637809 98372 1 2.0000 0.0000 -
2234.00/2243.52 c 2244 12668699 98948 1 2.0000 0.0000 -
2238.98/2248.57 c 2249 12700100 99043 1 2.0000 0.0000 -
2244.05/2253.62 c 2254 12728877 98901 1 2.0000 0.0000 -
2249.04/2258.67 c 2259 12761088 99280 1 2.0000 0.0000 -
2254.11/2263.72 c 2264 12789445 99318 1 2.0000 0.0000 -
2259.10/2268.77 c 2269 12823240 99161 1 2.0000 0.0000 -
2264.18/2273.84 c 2274 12848008 99615 1 2.0000 0.0000 -
2269.16/2278.89 c 2279 12872270 99808 1 2.0000 0.0000 -
2274.23/2283.94 c 2284 12899187 100083 1 2.0000 0.0000 -
2279.21/2288.99 c 2289 12931095 100488 1 2.0000 0.0000 -
2284.30/2294.04 c 2294 12962133 100104 1 2.0000 0.0000 -
2289.28/2299.09 c 2299 12992298 100225 1 2.0000 0.0000 -
2294.36/2304.14 c 2304 13019591 100597 1 2.0000 0.0000 -
2299.33/2309.19 c 2309 13048936 100623 1 2.0000 0.0000 -
2304.41/2314.24 c 2314 13087203 103435 1 2.0000 0.0000 -
2309.49/2319.32 c 2319 13120905 103969 1 2.0000 0.0000 -
2314.47/2324.37 c 2324 13158804 106039 1 2.0000 0.0000 -
2319.54/2329.42 c 2329 13197391 106097 1 2.0000 0.0000 -
2324.53/2334.47 c 2334 13230741 105534 1 2.0000 0.0000 -
2329.61/2339.52 c 2340 13261428 105267 1 2.0000 0.0000 -
2334.58/2344.57 c 2345 13290228 105623 1 2.0000 0.0000 -
2339.66/2349.62 c 2350 13317502 109328 1 2.0000 0.0000 -
2344.64/2354.67 c 2355 13347045 111572 1 2.0000 0.0000 -
2349.72/2359.72 c 2360 13377581 112982 1 2.0000 0.0000 -
2354.69/2364.77 c 2365 13406377 113685 1 2.0000 0.0000 -
2359.76/2369.82 c 2370 13434505 114007 1 2.0000 0.0000 -
2364.74/2374.87 c 2375 13463698 113687 1 2.0000 0.0000 -
2369.81/2379.92 c 2380 13492946 113263 1 2.0000 0.0000 -
2374.78/2384.97 c 2385 13522550 112701 1 2.0000 0.0000 -
2379.87/2390.07 c 2390 13553102 111663 1 2.0000 0.0000 -
2384.95/2395.12 c 2395 13576293 113943 1 2.0000 0.0000 -
2389.92/2400.17 c 2400 13599303 114492 1 2.0000 0.0000 -
2395.00/2405.22 c 2405 13624730 114593 1 2.0000 0.0000 -
2399.97/2410.27 c 2410 13648780 113883 1 2.0000 0.0000 -
2405.06/2415.32 c 2415 13676922 114056 1 2.0000 0.0000 -
2410.04/2420.37 c 2420 13709092 114947 1 2.0000 0.0000 -
2415.11/2425.44 c 2425 13739143 114544 1 2.0000 0.0000 -
2420.09/2430.49 c 2430 13765948 114137 1 2.0000 0.0000 -
2425.17/2435.55 c 2436 13794021 114678 1 2.0000 0.0000 -
2430.26/2440.62 c 2441 13822911 115939 1 2.0000 0.0000 -
2435.24/2445.67 c 2446 13851790 115361 1 2.0000 0.0000 -
2440.31/2450.77 c 2451 13879039 115232 1 2.0000 0.0000 -
2445.39/2455.82 c 2456 13906465 114790 1 2.0000 0.0000 -
2450.38/2460.87 c 2461 13930514 114780 1 2.0000 0.0000 -
2455.45/2465.92 c 2466 13959397 114211 1 2.0000 0.0000 -
2460.43/2470.98 c 2471 13989569 113630 1 2.0000 0.0000 -
2465.51/2476.07 c 2476 14018247 114109 1 2.0000 0.0000 -
2470.60/2481.12 c 2481 14048793 113490 1 2.0000 0.0000 -
2475.67/2486.21 c 2486 14077925 114992 1 2.0000 0.0000 -
2480.64/2491.26 c 2491 14111371 115371 1 2.0000 0.0000 -
2485.73/2496.31 c 2496 14141733 116548 1 2.0000 0.0000 -
2490.71/2501.37 c 2501 14172474 118994 1 2.0000 0.0000 -
2495.78/2506.42 c 2506 14203068 120201 1 2.0000 0.0000 -
2500.77/2511.47 c 2511 14232004 120167 1 2.0000 0.0000 -
2505.84/2516.52 c 2517 14263612 119488 1 2.0000 0.0000 -
2510.82/2521.57 c 2522 14294724 118572 1 2.0000 0.0000 -
2515.91/2526.62 c 2527 14324394 117257 1 2.0000 0.0000 -
2520.88/2531.67 c 2532 14348068 116870 1 2.0000 0.0000 -
2525.96/2536.72 c 2537 14378873 116947 1 2.0000 0.0000 -
2530.95/2541.77 c 2542 14409076 117041 1 2.0000 0.0000 -
2536.02/2546.83 c 2547 14438856 116453 1 2.0000 0.0000 -
2541.00/2551.88 c 2552 14468340 116648 1 2.0000 0.0000 -
2546.09/2556.93 c 2557 14497253 116218 1 2.0000 0.0000 -
2551.07/2561.98 c 2562 14525521 115687 1 2.0000 0.0000 -
2556.14/2567.03 c 2567 14553868 115540 1 2.0000 0.0000 -
2561.13/2572.09 c 2572 14581644 115162 1 2.0000 0.0000 -
2566.20/2577.13 c 2577 14612455 114130 1 2.0000 0.0000 -
2571.28/2582.22 c 2582 14642015 113322 1 2.0000 0.0000 -
2576.26/2587.27 c 2587 14670886 113472 1 2.0000 0.0000 -
2581.34/2592.36 c 2592 14702808 113545 1 2.0000 0.0000 -
2586.42/2597.42 c 2597 14732962 113078 1 2.0000 0.0000 -
2591.39/2602.47 c 2602 14762402 112845 1 2.0000 0.0000 -
2596.48/2607.52 c 2608 14793877 113718 1 2.0000 0.0000 -
2601.45/2612.57 c 2613 14825495 112849 1 2.0000 0.0000 -
2606.53/2617.62 c 2618 14855289 111606 1 2.0000 0.0000 -
2611.52/2622.67 c 2623 14881825 112432 1 2.0000 0.0000 -
2616.60/2627.72 c 2628 14909100 113570 1 2.0000 0.0000 -
2621.57/2632.77 c 2633 14936949 116050 1 2.0000 0.0000 -
2626.65/2637.82 c 2638 14960778 116946 1 2.0000 0.0000 -
2631.63/2642.87 c 2643 14985600 117810 1 2.0000 0.0000 -
2636.70/2647.92 c 2648 15010863 118360 1 2.0000 0.0000 -
2641.69/2652.97 c 2653 15035295 117995 1 2.0000 0.0000 -
2646.77/2658.02 c 2658 15059660 117073 1 2.0000 0.0000 -
2651.75/2663.07 c 2663 15086750 116556 1 2.0000 0.0000 -
2656.83/2668.12 c 2668 15113906 115338 1 2.0000 0.0000 -
2661.81/2673.17 c 2673 15140569 114957 1 2.0000 0.0000 -
2666.88/2678.22 c 2678 15171569 114769 1 2.0000 0.0000 -
2671.86/2683.27 c 2683 15203761 114151 1 2.0000 0.0000 -
2676.94/2688.32 c 2688 15230918 112643 1 2.0000 0.0000 -
2681.92/2693.37 c 2693 15262488 112093 1 2.0000 0.0000 -
2687.00/2698.42 c 2698 15294936 111706 1 2.0000 0.0000 -
2691.98/2703.47 c 2703 15323427 110557 1 2.0000 0.0000 -
2697.06/2708.52 c 2709 15349583 110079 1 2.0000 0.0000 -
2702.04/2713.57 c 2714 15372832 109494 1 2.0000 0.0000 -
2707.12/2718.62 c 2719 15404394 109160 1 2.0000 0.0000 -
2712.10/2723.67 c 2724 15433941 112555 1 2.0000 0.0000 -
2717.18/2728.72 c 2729 15464566 117291 1 2.0000 0.0000 -
2722.16/2733.79 c 2734 15495176 122530 1 2.0000 0.0000 -
2727.34/2738.92 c 2739 15528682 125724 1 2.0000 0.0000 -
2732.43/2744.01 c 2744 15561181 128785 1 2.0000 0.0000 -
2737.41/2749.08 c 2749 15592642 132888 1 2.0000 0.0000 -
2742.49/2754.13 c 2754 15627018 135426 1 2.0000 0.0000 -
2747.47/2759.18 c 2759 15660139 137216 1 2.0000 0.0000 -
2752.55/2764.23 c 2764 15695256 138455 1 2.0000 0.0000 -
2757.52/2769.28 c 2769 15730173 139807 1 2.0000 0.0000 -
2762.60/2774.33 c 2774 15762980 142094 1 2.0000 0.0000 -
2767.58/2779.38 c 2779 15798489 143609 1 2.0000 0.0000 -
2772.66/2784.43 c 2784 15834300 144065 1 2.0000 0.0000 -
2777.64/2789.48 c 2789 15868300 145395 1 2.0000 0.0000 -
2782.73/2794.53 c 2795 15903061 147114 1 2.0000 0.0000 -
2787.71/2799.58 c 2800 15937650 147361 1 2.0000 0.0000 -
2792.78/2804.63 c 2805 15973958 147988 1 2.0000 0.0000 -
2797.76/2809.68 c 2810 16008976 148571 1 2.0000 0.0000 -
2802.84/2814.73 c 2815 16044891 148793 1 2.0000 0.0000 -
2807.92/2819.81 c 2820 16079568 150833 1 2.0000 0.0000 -
2812.90/2824.86 c 2825 16112055 152539 1 2.0000 0.0000 -
2817.99/2829.91 c 2830 16143738 155204 1 2.0000 0.0000 -
2822.97/2834.96 c 2835 16176847 156708 1 2.0000 0.0000 -
2828.05/2840.01 c 2840 16210042 158580 1 2.0000 0.0000 -
2833.02/2845.06 c 2845 16242906 159659 1 2.0000 0.0000 -
2838.11/2850.11 c 2850 16274806 161605 1 2.0000 0.0000 -
2843.09/2855.16 c 2855 16307000 161997 1 2.0000 0.0000 -
2848.16/2860.24 c 2860 16340258 162833 1 2.0000 0.0000 -
2853.15/2865.29 c 2865 16373833 164953 1 2.0000 0.0000 -
2858.32/2870.43 c 2870 16405817 166255 1 2.0000 0.0000 -
2863.40/2875.50 c 2876 16439140 166139 1 2.0000 0.0000 -
2868.38/2880.59 c 2881 16472703 165888 1 2.0000 0.0000 -
2873.46/2885.64 c 2886 16508353 167032 1 2.0000 0.0000 -
2878.44/2890.69 c 2891 16541582 166782 1 2.0000 0.0000 -
2883.52/2895.74 c 2896 16576497 166115 1 2.0000 0.0000 -
2888.50/2900.79 c 2901 16609343 166198 1 2.0000 0.0000 -
2893.58/2905.84 c 2906 16644240 167307 1 2.0000 0.0000 -
2898.56/2910.89 c 2911 16677930 169503 1 2.0000 0.0000 -
2903.64/2915.94 c 2916 16713608 170776 1 2.0000 0.0000 -
2908.73/2921.02 c 2921 16747222 170042 1 2.0000 0.0000 -
2913.70/2926.07 c 2926 16781810 170078 1 2.0000 0.0000 -
2918.79/2931.12 c 2931 16814320 170845 1 2.0000 0.0000 -
2923.77/2936.17 c 2936 16844007 170693 1 2.0000 0.0000 -
2928.84/2941.22 c 2941 16878828 171338 1 2.0000 0.0000 -
2933.92/2946.31 c 2946 16909604 171906 1 2.0000 0.0000 -
2938.90/2951.35 c 2951 16943397 171788 1 2.0000 0.0000 -
2943.98/2956.42 c 2956 16978613 171587 1 2.0000 0.0000 -
2948.96/2961.47 c 2961 17012730 172383 1 2.0000 0.0000 -
2954.04/2966.57 c 2967 17048598 171796 1 2.0000 0.0000 -
2959.12/2971.62 c 2972 17084350 171717 1 2.0000 0.0000 -
2964.10/2976.67 c 2977 17119174 170715 1 2.0000 0.0000 -
2969.18/2981.72 c 2982 17153921 170437 1 2.0000 0.0000 -
2974.16/2986.77 c 2987 17187574 170744 1 2.0000 0.0000 -
2979.23/2991.82 c 2992 17221920 171036 1 2.0000 0.0000 -
2984.21/2996.87 c 2997 17255809 169595 1 2.0000 0.0000 -
2989.29/3001.95 c 3002 17289096 169152 1 2.0000 0.0000 -
2994.37/3007.00 c 3007 17322497 168567 1 2.0000 0.0000 -
2999.35/3012.05 c 3012 17353457 167340 1 2.0000 0.0000 -
3004.32/3017.10 c 3017 17388094 165744 1 2.0000 0.0000 -
3009.41/3022.15 c 3022 17422874 166386 1 2.0000 0.0000 -
3014.48/3027.20 c 3027 17458674 166209 1 2.0000 0.0000 -
3019.46/3032.25 c 3032 17494933 164533 1 2.0000 0.0000 -
3024.54/3037.30 c 3037 17528543 163497 1 2.0000 0.0000 -
3029.52/3042.35 c 3042 17561836 162623 1 2.0000 0.0000 -
3034.59/3047.41 c 3047 17596371 162894 1 2.0000 0.0000 -
3039.58/3052.48 c 3052 17631796 164748 1 2.0000 0.0000 -
3044.66/3057.53 c 3058 17667857 164882 1 2.0000 0.0000 -
3049.63/3062.58 c 3063 17703369 166024 1 2.0000 0.0000 -
3054.72/3067.68 c 3068 17736861 167449 1 2.0000 0.0000 -
3059.80/3072.73 c 3073 17771352 167010 1 2.0000 0.0000 -
3064.78/3077.78 c 3078 17805763 165597 1 2.0000 0.0000 -
3069.86/3082.83 c 3083 17840388 164813 1 2.0000 0.0000 -
3074.83/3087.88 c 3088 17873841 163519 1 2.0000 0.0000 -
3079.92/3092.93 c 3093 17908689 161534 1 2.0000 0.0000 -
3084.90/3097.98 c 3098 17944523 159636 1 2.0000 0.0000 -
3089.98/3103.06 c 3103 17977246 159336 1 2.0000 0.0000 -
3095.06/3108.11 c 3108 18011585 157339 1 2.0000 0.0000 -
3100.04/3113.16 c 3113 18047297 155919 1 2.0000 0.0000 -
3105.12/3118.21 c 3118 18082115 155568 1 2.0000 0.0000 -
3110.09/3123.26 c 3123 18116740 155008 1 2.0000 0.0000 -
3115.18/3128.31 c 3128 18151820 154730 1 2.0000 0.0000 -
3120.15/3133.36 c 3133 18187163 152696 1 2.0000 0.0000 -
3125.24/3138.41 c 3138 18221772 151226 1 2.0000 0.0000 -
3130.21/3143.46 c 3143 18255876 149202 1 2.0000 0.0000 -
3135.29/3148.51 c 3149 18282007 147923 1 2.0000 0.0000 -
3140.27/3153.56 c 3154 18316099 148856 1 2.0000 0.0000 -
3145.35/3158.61 c 3159 18352800 148366 1 2.0000 0.0000 -
3150.33/3163.66 c 3164 18382673 146807 1 2.0000 0.0000 -
3155.42/3168.71 c 3169 18412561 146287 1 2.0000 0.0000 -
3160.39/3173.76 c 3174 18441084 145387 1 2.0000 0.0000 -
3165.47/3178.81 c 3179 18473130 144914 1 2.0000 0.0000 -
3170.55/3183.92 c 3184 18500350 144563 1 2.0000 0.0000 -
3175.53/3188.97 c 3189 18527059 143304 1 2.0000 0.0000 -
3180.61/3194.02 c 3194 18556858 142980 1 2.0000 0.0000 -
3185.59/3199.07 c 3199 18586717 142074 1 2.0000 0.0000 -
3190.67/3204.12 c 3204 18616819 141690 1 2.0000 0.0000 -
3195.66/3209.17 c 3209 18647243 143604 1 2.0000 0.0000 -
3200.73/3214.22 c 3214 18677287 143929 1 2.0000 0.0000 -
3205.71/3219.29 c 3219 18707141 143379 1 2.0000 0.0000 -
3210.79/3224.33 c 3224 18737822 142265 1 2.0000 0.0000 -
3215.77/3229.38 c 3229 18768543 140722 1 2.0000 0.0000 -
3220.84/3234.43 c 3234 18798471 139260 1 2.0000 0.0000 -
3225.82/3239.48 c 3239 18828768 138577 1 2.0000 0.0000 -
3230.90/3244.53 c 3245 18862633 138873 1 2.0000 0.0000 -
3235.99/3249.61 c 3250 18892129 137087 1 2.0000 0.0000 -
3240.96/3254.66 c 3255 18923069 137642 1 2.0000 0.0000 -
3246.04/3259.71 c 3260 18953250 136126 1 2.0000 0.0000 -
3251.02/3264.76 c 3265 18983961 134642 1 2.0000 0.0000 -
3256.10/3269.81 c 3270 19013473 132887 1 2.0000 0.0000 -
3261.09/3274.86 c 3275 19041839 131300 1 2.0000 0.0000 -
3266.16/3279.91 c 3280 19072700 129542 1 2.0000 0.0000 -
3271.25/3285.02 c 3285 19103228 129372 1 2.0000 0.0000 -
3276.22/3290.07 c 3290 19132940 128554 1 2.0000 0.0000 -
3281.31/3295.12 c 3295 19159330 128067 1 2.0000 0.0000 -
3286.29/3300.17 c 3300 19193260 128856 1 2.0000 0.0000 -
3291.36/3305.22 c 3305 19226648 128251 1 2.0000 0.0000 -
3296.34/3310.27 c 3310 19260486 129472 1 2.0000 0.0000 -
3301.42/3315.32 c 3315 19295718 129798 1 2.0000 0.0000 -
3306.40/3320.37 c 3320 19329418 130695 1 2.0000 0.0000 -
3311.49/3325.42 c 3325 19364107 129312 1 2.0000 0.0000 -
3316.46/3330.47 c 3330 19394979 126281 1 2.0000 0.0000 -
3321.54/3335.56 c 3336 19428072 124977 1 2.0000 0.0000 -
3326.63/3340.61 c 3341 19461303 123491 1 2.0000 0.0000 -
3331.61/3345.66 c 3346 19491055 121254 1 2.0000 0.0000 -
3336.68/3350.79 c 3351 19521909 119115 1 2.0000 0.0000 -
3341.76/3355.84 c 3356 19553934 119772 1 2.0000 0.0000 -
3346.74/3360.89 c 3361 19585731 120705 1 2.0000 0.0000 -
3351.93/3366.00 c 3366 19618766 120815 1 2.0000 0.0000 -
3356.91/3371.05 c 3371 19645648 121793 1 2.0000 0.0000 -
3361.99/3376.16 c 3376 19674111 121838 1 2.0000 0.0000 -
3367.07/3381.21 c 3381 19704310 121058 1 2.0000 0.0000 -
3372.04/3386.26 c 3386 19733289 119187 1 2.0000 0.0000 -
3377.12/3391.31 c 3391 19762425 117678 1 2.0000 0.0000 -
3382.10/3396.36 c 3396 19795675 115846 1 2.0000 0.0000 -
3387.18/3401.44 c 3401 19826566 114230 1 2.0000 0.0000 -
3392.26/3406.52 c 3407 19857659 112118 1 2.0000 0.0000 -
3397.24/3411.57 c 3412 19887554 112487 1 2.0000 0.0000 -
3402.32/3416.62 c 3417 19916681 110579 1 2.0000 0.0000 -
3407.30/3421.67 c 3422 19948618 109580 1 2.0000 0.0000 -
3412.38/3426.72 c 3427 19982006 108699 1 2.0000 0.0000 -
3417.36/3431.77 c 3432 20014156 107542 1 2.0000 0.0000 -
3422.44/3436.82 c 3437 20042170 105490 1 2.0000 0.0000 -
3427.42/3441.87 c 3442 20071305 103255 1 2.0000 0.0000 -
3432.51/3446.96 c 3447 20096795 103502 1 2.0000 0.0000 -
3437.58/3452.01 c 3452 20127433 101604 1 2.0000 0.0000 -
3442.56/3457.06 c 3457 20156530 99206 1 2.0000 0.0000 -
3447.64/3462.11 c 3462 20185809 97009 1 2.0000 0.0000 -
3452.63/3467.16 c 3467 20215657 94044 1 2.0000 0.0000 -
3457.70/3472.21 c 3472 20250856 94088 1 2.0000 0.0000 -
3462.68/3477.26 c 3477 20282767 92114 1 2.0000 0.0000 -
3467.76/3482.31 c 3482 20314333 92130 1 2.0000 0.0000 -
3472.74/3487.36 c 3487 20345197 90742 1 2.0000 0.0000 -
3477.82/3492.41 c 3492 20375480 89138 1 2.0000 0.0000 -
3482.80/3497.46 c 3497 20405221 86394 1 2.0000 0.0000 -
3487.88/3502.51 c 3503 20431565 87246 1 2.0000 0.0000 -
3492.86/3507.56 c 3508 20459348 87020 1 2.0000 0.0000 -
3497.94/3512.69 c 3513 20490415 90405 1 2.0000 0.0000 -
3503.02/3517.74 c 3518 20519201 93430 1 2.0000 0.0000 -
3508.00/3522.79 c 3523 20549299 95327 1 2.0000 0.0000 -
3513.07/3527.84 c 3528 20579885 97258 1 2.0000 0.0000 -
3518.06/3532.89 c 3533 20612072 99566 1 2.0000 0.0000 -
3523.13/3537.94 c 3538 20644126 101333 1 2.0000 0.0000 -
3528.12/3542.99 c 3543 20672970 102219 1 2.0000 0.0000 -
3533.20/3548.04 c 3548 20702716 103931 1 2.0000 0.0000 -
3538.28/3553.11 c 3553 20733117 104986 1 2.0000 0.0000 -
3543.26/3558.16 c 3558 20760712 106421 1 2.0000 0.0000 -
3548.33/3563.21 c 3563 20790661 107459 1 2.0000 0.0000 -
3553.32/3568.26 c 3568 20821132 108005 1 2.0000 0.0000 -
3558.39/3573.31 c 3573 20849925 108919 1 2.0000 0.0000 -
3563.38/3578.36 c 3578 20878451 109460 1 2.0000 0.0000 -
3568.46/3583.45 c 3583 20904654 109495 1 2.0000 0.0000 -
3573.54/3588.50 c 3589 20932708 110038 1 2.0000 0.0000 -
3578.52/3593.55 c 3594 20962589 110375 1 2.0000 0.0000 -
3583.40/3598.46 c SCIP Status : c solving was interrupted [hard time limit reached]
3583.40/3598.46 c Total Time : 3598.4700
3583.40/3598.46 c solving : 3598.4700
3583.40/3598.46 c presolving : 0.0037 (included in solving)
3583.40/3598.46 c B&B Tree :
3583.40/3598.46 c nodes (total) : 1
3583.40/3598.46 c Solution :
3583.40/3598.46 c Solutions found : 25
3583.40/3598.46 c Primal Bound : +2.00000000000000e+00
3583.40/3598.46 c Dual Bound : +0.00000000000000e+00
3583.40/3598.46 c Gap : infinite
3583.40/3598.46 c * Warning: final gap: 1.00000000000000e+20 is greater than SCIPepsilon: 1.00000000000000e-09
3583.40/3598.48 o 2
3583.40/3598.48 s SATISFIABLE
3583.40/3598.48 v x146 x145 -x144 x143 -x142 -x141 x140 x139 x138 -x137 -x136 -x135 x134 -x133 x132 x131 x130 -x129 x128 x127 -x126 x125 x124 -x123
3583.40/3598.48 v -x122 x121 x120 -x119 x118 -x117 x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 x103 x102 x101
3583.40/3598.48 v -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76
3583.40/3598.48 v -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51
3583.40/3598.48 v -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26
3583.40/3598.48 v -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (63155 MiB free)
memory of node 1: 64510 MiB (63898 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464027-1722378597/watcher-4464027-1722378597 -o /tmp/evaluation-result-4464027-1722378597/solver-4464027-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722378597-28889 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464027-1722378597.opb -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=28943, runsolver pid=28935
[startup+0.100086 s]*
/proc/loadavg: 0.04 0.07 0.08 6/267 28960
/proc/meminfo: memFree=130026256/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=108660 memory=28776 CPUtime=0.1 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 4660 0 0 0 10 0 0 0 20 0 3 0 4460212 111267840 7194 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 27165 7194 2950 3035 0 10971 0
[pid=28943/tid=28956] ppid=28935 vsize=108660 memory=4026531971 CPUtime=0.09 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 3163 0 0 0 9 0 0 0 20 0 3 0 4460212 111267840 7194 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=108660 memory=17990 CPUtime=0 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4460213 111267840 7194 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 108660 KiB
Current children cumulated memory: 28776 KiB
[startup+0.206606 s]*
/proc/loadavg: 0.04 0.07 0.08 8/267 28960
/proc/meminfo: memFree=129949152/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=108660 memory=31944 CPUtime=0.2 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 5403 0 0 0 20 0 0 0 20 0 3 0 4460212 111267840 7986 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 27165 7986 2950 3035 0 11694 0
[pid=28943/tid=28956] ppid=28935 vsize=108660 memory=8026368251766898819 CPUtime=0.19 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 3906 0 0 0 19 0 0 0 20 0 3 0 4460212 111267840 7986 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=108660 memory=17990 CPUtime=0 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4460213 111267840 7986 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 108660 KiB
Current children cumulated memory: 31944 KiB
[startup+0.306902 s]*
/proc/loadavg: 0.04 0.07 0.08 6/267 28960
/proc/meminfo: memFree=129939556/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=108660 memory=32208 CPUtime=0.3 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 5496 0 0 0 30 0 0 0 20 0 3 0 4460212 111267840 8052 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 27165 8052 2950 3035 0 11694 0
[pid=28943/tid=28956] ppid=28935 vsize=108660 memory=-5155629102520364165 CPUtime=0.29 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 3999 0 0 0 29 0 0 0 20 0 3 0 4460212 111267840 8052 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=108660 memory=-5155633680935826750 CPUtime=0 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4460213 111267840 8052 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 108660 KiB
Current children cumulated memory: 32208 KiB
[startup+0.700223 s]
/proc/loadavg: 0.04 0.07 0.08 7/267 28960
/proc/meminfo: memFree=129896756/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=108660 memory=34848 CPUtime=0.69 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 6163 0 0 0 69 0 0 0 20 0 3 0 4460212 111267840 8712 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 27165 8712 2950 3035 0 12338 0
[pid=28943/tid=28956] ppid=28935 vsize=108660 memory=0 CPUtime=0.68 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 4666 0 0 0 68 0 0 0 20 0 3 0 4460212 111267840 8712 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=108660 memory=0 CPUtime=0 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4460213 111267840 8712 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 108660 KiB
Current children cumulated memory: 34848 KiB
[startup+1.5002 s]
/proc/loadavg: 0.04 0.07 0.08 6/267 28960
/proc/meminfo: memFree=129860068/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=108660 memory=36916 CPUtime=1.48 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 9796 0 0 0 148 0 0 0 20 0 3 0 4460212 111267840 9229 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 27165 9229 2950 3035 0 12821 0
[pid=28943/tid=28956] ppid=28935 vsize=108660 memory=0 CPUtime=1.47 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 8282 0 0 0 147 0 0 0 20 0 3 0 4460212 111267840 9229 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=108660 memory=0 CPUtime=0 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4460213 111267840 9229 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 108660 KiB
Current children cumulated memory: 36916 KiB
[startup+3.10648 s]
/proc/loadavg: 0.36 0.14 0.11 7/269 28962
/proc/meminfo: memFree=129737988/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=108660 memory=45696 CPUtime=3.08 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 13923 0 0 0 307 1 0 0 20 0 3 0 4460212 111267840 11424 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 27165 11424 2998 3035 0 15166 0
[pid=28943/tid=28956] ppid=28935 vsize=108660 memory=0 CPUtime=3.07 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 12345 0 0 0 306 1 0 0 20 0 3 0 4460212 111267840 11424 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=108660 memory=2273 CPUtime=0 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4460213 111267840 11424 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 108660 KiB
Current children cumulated memory: 45696 KiB
[startup+6.30019 s]
/proc/loadavg: 0.36 0.14 0.11 7/269 29010
/proc/meminfo: memFree=129788424/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=108660 memory=50540 CPUtime=6.26 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 20304 0 0 0 622 4 0 0 20 0 3 0 4460212 111267840 12635 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 27165 12635 2998 3035 0 16004 0
[pid=28943/tid=28956] ppid=28935 vsize=108660 memory=0 CPUtime=6.25 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 18616 0 0 0 621 4 0 0 20 0 3 0 4460212 111267840 12635 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=108660 memory=11628 CPUtime=0 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4460213 111267840 12635 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 108660 KiB
Current children cumulated memory: 50540 KiB
[startup+12.7002 s]
/proc/loadavg: 0.99 0.28 0.15 7/269 29012
/proc/meminfo: memFree=129693256/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=112168 memory=63048 CPUtime=12.63 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 36441 0 0 0 1255 8 0 0 20 0 3 0 4460212 114860032 15762 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 28042 15762 3302 3035 0 18893 0
[pid=28943/tid=28956] ppid=28935 vsize=112168 memory=50028 CPUtime=12.62 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 34715 0 0 0 1254 8 0 0 20 0 3 0 4460212 114860032 15762 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=112168 memory=11628 CPUtime=0 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4460213 114860032 15762 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 112168 KiB
Current children cumulated memory: 63048 KiB
[startup+25.5002 s]
/proc/loadavg: 1.46 0.41 0.20 7/271 29071
/proc/meminfo: memFree=129629028/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=117020 memory=76072 CPUtime=25.38 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 62641 0 0 0 2525 13 0 0 20 0 3 0 4460212 119828480 19018 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 29255 19018 3302 3035 0 22528 0
[pid=28943/tid=28956] ppid=28935 vsize=117020 memory=74560 CPUtime=25.37 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 60783 0 0 0 2524 13 0 0 20 0 3 0 4460212 119828480 19018 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=117020 memory=11628 CPUtime=0 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4460213 119828480 19018 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 117020 KiB
Current children cumulated memory: 76072 KiB
[startup+51.1062 s]
/proc/loadavg: 2.33 0.70 0.30 7/270 29124
/proc/meminfo: memFree=129416864/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=121236 memory=92144 CPUtime=50.88 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 88946 0 0 0 5061 27 0 0 20 0 3 0 4460212 124145664 23036 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 30309 23036 3302 3035 0 26698 0
[pid=28943/tid=28956] ppid=28935 vsize=121236 memory=11628 CPUtime=50.87 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 86996 0 0 0 5060 27 0 0 20 0 3 0 4460212 124145664 23036 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=121236 memory=12420 CPUtime=0 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 4460213 124145664 23036 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 121236 KiB
Current children cumulated memory: 92144 KiB
[startup+102.3 s]
/proc/loadavg: 3.48 1.30 0.53 7/270 29134
/proc/meminfo: memFree=129244080/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=202460 memory=116524 CPUtime=101.86 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 132142 0 0 0 10137 49 0 0 20 0 3 0 4460212 207319040 29131 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 50615 29131 3302 3035 0 32864 0
[pid=28943/tid=28956] ppid=28935 vsize=202460 memory=-7017853435446911357 CPUtime=101.85 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 130118 0 0 0 10136 49 0 0 20 0 3 0 4460212 207319040 29131 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=202460 memory=11628 CPUtime=0 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 4460213 207319040 29131 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 202460 KiB
Current children cumulated memory: 116524 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 1.90 0.79 7/270 29144
/proc/meminfo: memFree=129141336/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=207512 memory=130824 CPUtime=161.6 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 178078 0 0 0 16072 88 0 0 20 0 3 0 4460212 212492288 32706 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 51878 32706 3302 3035 0 36508 0
[pid=28943/tid=28956] ppid=28935 vsize=207512 memory=122012 CPUtime=161.59 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 175951 0 0 0 16071 88 0 0 20 0 3 0 4460212 212492288 32706 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=207512 memory=2340 CPUtime=0 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4460213 212492288 32706 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 207512 KiB
################
# More data... #
################
/proc/28943/statm: 210056 177462 3302 3035 0 192837 0
[pid=28943/tid=28956] ppid=28935 vsize=840224 memory=697092 CPUtime=3387.89 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 2418118 0 0 0 336518 2271 0 0 20 0 3 0 4460212 860389376 177462 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=840224 memory=709848 CPUtime=0.02 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 4460213 860389376 177462 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 3388.08 s
Current children cumulated vsize: 840224 KiB
Current children cumulated memory: 709848 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.05 7/264 30699
/proc/meminfo: memFree=125238500/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=840224 memory=719816 CPUtime=3447.83 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 2500665 0 0 0 342462 2321 0 0 20 0 3 0 4460212 860389376 179954 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 210056 179954 3302 3035 0 192853 0
[pid=28943/tid=28956] ppid=28935 vsize=840224 memory=697092 CPUtime=3447.65 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 2497827 0 0 0 342447 2318 0 0 20 0 3 0 4460212 860389376 179954 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=840224 memory=12856 CPUtime=0.02 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 4460213 860389376 179954 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 3447.83 s
Current children cumulated vsize: 840224 KiB
Current children cumulated memory: 719816 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.05 7/265 30878
/proc/meminfo: memFree=125185600/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=840224 memory=724184 CPUtime=3507.6 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 2579923 0 0 0 348394 2366 0 0 20 0 3 0 4460212 860389376 181046 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 210056 181046 3302 3035 0 192853 0
[pid=28943/tid=28956] ppid=28935 vsize=840224 memory=724184 CPUtime=3507.4 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 2577069 0 0 0 348378 2362 0 0 20 0 3 0 4460212 860389376 181046 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=840224 memory=724184 CPUtime=0.02 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 4460213 860389376 181046 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 3507.6 s
Current children cumulated vsize: 840224 KiB
Current children cumulated memory: 724184 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.14 4.06 7/265 30888
/proc/meminfo: memFree=125129708/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=840224 memory=732636 CPUtime=3567.36 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 2659105 0 0 0 354326 2410 0 0 20 0 3 0 4460212 860389376 183159 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 210056 183159 3302 3035 0 192865 0
[pid=28943/tid=28956] ppid=28935 vsize=840224 memory=12856 CPUtime=3567.16 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 2656236 0 0 0 354310 2406 0 0 20 0 3 0 4460212 860389376 183159 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=840224 memory=11628 CPUtime=0.02 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 4460213 860389376 183159 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 3567.36 s
Current children cumulated vsize: 840224 KiB
Current children cumulated memory: 732636 KiB
[startup+3598.47 s]
# the end of solver process 28943 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3559.28 s, system=24.2019 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.23 4.16 4.07 7/265 30888
/proc/meminfo: memFree=125126112/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=840224 memory=732636 CPUtime=3569.05 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 2659117 0 0 0 354495 2410 0 0 20 0 3 0 4460212 860389376 183159 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 210056 183159 3302 3035 0 192865 0
[pid=28943/tid=28956] ppid=28935 vsize=840224 memory=-7594032712773623935 CPUtime=3568.86 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 2656248 0 0 0 354479 2407 0 0 20 0 3 0 4460212 860389376 183159 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=840224 memory=-7738211608633243838 CPUtime=0.02 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 4460213 860389376 183159 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 3569.05 s
Current children cumulated vsize: 840224 KiB
Current children cumulated memory: 732636 KiB
[startup+3590.4 s]
/proc/loadavg: 4.21 4.16 4.06 7/265 30890
/proc/meminfo: memFree=125122612/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=840224 memory=732640 CPUtime=3575.43 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 2659902 0 0 0 355128 2415 0 0 20 0 3 0 4460212 860389376 183160 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 210056 183160 3302 3035 0 192865 0
[pid=28943/tid=28956] ppid=28935 vsize=840224 memory=6292470214537465936 CPUtime=3575.23 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 2657033 0 0 0 355112 2411 0 0 20 0 3 0 4460212 860389376 183160 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=840224 memory=11628 CPUtime=0.02 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 4460213 860389376 183160 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 3575.43 s
Current children cumulated vsize: 840224 KiB
Current children cumulated memory: 732640 KiB
[startup+3593.6 s]
/proc/loadavg: 4.20 4.15 4.06 7/265 30890
/proc/meminfo: memFree=125120916/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=840224 memory=732640 CPUtime=3578.62 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 2659968 0 0 0 355446 2416 0 0 20 0 3 0 4460212 860389376 183160 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 210056 183160 3302 3035 0 192865 0
[pid=28943/tid=28956] ppid=28935 vsize=840224 memory=-7017853435446911357 CPUtime=3578.42 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 2657099 0 0 0 355430 2412 0 0 20 0 3 0 4460212 860389376 183160 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=840224 memory=732640 CPUtime=0.02 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 4460213 860389376 183160 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 3578.62 s
Current children cumulated vsize: 840224 KiB
Current children cumulated memory: 732640 KiB
[startup+3596.8 s]
/proc/loadavg: 4.20 4.15 4.06 7/265 30890
/proc/meminfo: memFree=125118248/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=840224 memory=732672 CPUtime=3581.8 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 2660163 0 0 0 355763 2417 0 0 20 0 3 0 4460212 860389376 183168 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 210056 183168 3302 3035 0 192865 0
[pid=28943/tid=28956] ppid=28935 vsize=840224 memory=732636 CPUtime=3581.6 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 2657294 0 0 0 355747 2413 0 0 20 0 3 0 4460212 860389376 183168 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=840224 memory=732636 CPUtime=0.02 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 4460213 860389376 183168 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 3581.8 s
Current children cumulated vsize: 840224 KiB
Current children cumulated memory: 732672 KiB
[startup+3597.6 s]
/proc/loadavg: 4.20 4.15 4.06 7/265 30891
/proc/meminfo: memFree=125118056/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=840224 memory=732672 CPUtime=3582.6 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 2660167 0 0 0 355842 2418 0 0 20 0 3 0 4460212 860389376 183168 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 210056 183168 3302 3035 0 192865 0
[pid=28943/tid=28956] ppid=28935 vsize=840224 memory=12420 CPUtime=3582.4 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 2657298 0 0 0 355826 2414 0 0 20 0 3 0 4460212 860389376 183168 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=840224 memory=5432 CPUtime=0.02 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 4460213 860389376 183168 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 3582.6 s
Current children cumulated vsize: 840224 KiB
Current children cumulated memory: 732672 KiB
[startup+3598 s]*
/proc/loadavg: 4.26 4.17 4.07 7/265 30891
/proc/meminfo: memFree=125117288/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=840224 memory=732688 CPUtime=3583.01 cores=0,2
/proc/28943/stat : 28943 (fscip) R 28935 28943 28879 0 -1 1077936128 2660561 0 0 0 355882 2419 0 0 20 0 3 0 4460212 860389376 183172 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 210056 183172 3302 3035 0 192865 0
[pid=28943/tid=28956] ppid=28935 vsize=840224 memory=-7594032712773623935 CPUtime=3582.81 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 2657703 0 0 0 355866 2415 0 0 20 0 3 0 4460212 860389376 183172 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=840224 memory=-7738211608633243838 CPUtime=0.02 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 4460213 860389376 183172 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 3583.01 s
Current children cumulated vsize: 840224 KiB
Current children cumulated memory: 732688 KiB
[startup+3598.4 s]
/proc/loadavg: 4.26 4.17 4.07 7/265 30891
/proc/meminfo: memFree=125117288/131524600 swapFree=131071996/131071996
[pid=28943] ppid=28935 vsize=831240 memory=723708 CPUtime=3583.4 cores=0,2
/proc/28943/stat : 28943 (fscip) S 28935 28943 28879 0 -1 1077936128 2662300 0 0 0 355921 2419 0 0 20 0 3 0 4460212 851189760 180927 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
/proc/28943/statm: 207810 180927 3302 3035 0 190619 0
[pid=28943/tid=28956] ppid=28935 vsize=831240 memory=-7594032712773623935 CPUtime=3583.2 cores=0,2
/proc/28943/task/28956/stat : 28956 (fscip) R 28935 28943 28879 0 -1 4194368 2659428 0 0 0 355905 2415 0 0 20 0 3 0 4460212 851189760 180927 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
[pid=28943/tid=28959] ppid=28935 vsize=831240 memory=732672 CPUtime=0.02 cores=0,2
/proc/28943/task/28959/stat : 28959 (fscip) S 28935 28943 28879 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 4460213 851189760 180927 134679101440 4194304 16623229 140737274522896 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18838560 18947056 33304576 140737274524694 140737274524810 140737274524810 140737274531824 0
Current children cumulated CPU time: 3583.4 s
Current children cumulated vsize: 831240 KiB
Current children cumulated memory: 723708 KiB
Child status: 0
Real time (s): 3598.48
CPU time (s): 3583.48
CPU user time (s): 3559.28
CPU system time (s): 24.2019
CPU usage (%): 99.5831
Max. virtual memory (cumulated for all children) (KiB): 840224
Max. memory (cumulated for all children) (KiB): 732688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3559.28
system time used= 24.2019
maximum resident set size= 732688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2662471
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= 10941
involuntary context switches= 25129
# summary of solver processes directly reported to runsolver:
# pid: 28943
# total CPU time (s): 3583.48
# total CPU user time (s): 3559.28
# total CPU system time (s): 24.2019
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51479 second user time and 18.2592 second system time
The end
Begin job on nodeC027 at 2024-07-31 00:29:57
IDJOB=4464027
IDBENCH=147594
IDSOLVER=3092
FILE ID=nodeC027/4464027-1722378597
RUNJOBID= nodeC027-1722378597-28889
SLURM_JOB_ID= 8249850
Free space on /tmp= 890084 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_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-4464027-1722378597/watcher-4464027-1722378597 -o /tmp/evaluation-result-4464027-1722378597/solver-4464027-1722378597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1722378597-28889 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464027-1722378597.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d93197574d7bf829fc84498a7cd9d0ce
RANDOM SEED=576650998
nodeC027.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 : 3591.401
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.88
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 : 3647.251
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.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 : 0xb00002a
cpu MHz : 3278.238
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.88
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 : 3606.398
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.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 : 0xb00002a
cpu MHz : 3540.995
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.88
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 : 3618.464
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.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 : 0xb00002a
cpu MHz : 3416.717
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.88
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 : 3557.408
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 130105368 kB
MemAvailable: 129903472 kB
Buffers: 84348 kB
Cached: 550284 kB
SwapCached: 0 kB
Active: 243052 kB
Inactive: 704124 kB
Active(anon): 1428 kB
Inactive(anon): 332776 kB
Active(file): 241624 kB
Inactive(file): 371348 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 116944 kB
Writeback: 4 kB
AnonPages: 311628 kB
Mapped: 88432 kB
Shmem: 21336 kB
KReclaimable: 49560 kB
Slab: 130044 kB
SReclaimable: 49560 kB
SUnreclaim: 80484 kB
KernelStack: 3920 kB
PageTables: 9348 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 745048 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9792 kB
HardwareCorrupted: 0 kB
AnonHugePages: 188416 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: 150228 kB
DirectMap2M: 9060352 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC027 at 2024-07-31 01:29:56