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 = 22405120, getVmSize() = 22405120, SCIPgetMemUsed() = 766402, SCIPgetMemTotal() = 913202, 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 = 15450112, getVmSize() = 23945216, SCIPgetMemUsed() = 897112, SCIPgetMemTotal() = 1457864, 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-4464347-1722379082
0.00/0.00 c Variables : 86 (86 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 86 (86 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 2
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 2
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.00 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.00 c Nodes Active
0.00/0.00 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
4.98/5.08 c 5 54748 7449 1 - 0.0000 -
10.06/10.13 c 10 114244 852 1 - 0.0000 -
15.05/15.18 c 15 162372 3774 1 - 0.0000 -
20.13/20.22 c 20 214341 5973 1 - 0.0000 -
25.11/25.27 c 25 265952 9988 1 - 0.0000 -
30.20/30.32 c 30 320037 13512 1 - 0.0000 -
35.18/35.37 c 35 383890 17129 1 - 0.0000 -
40.27/40.42 c 40 444693 21394 1 - 0.0000 -
45.26/45.47 c 45 505663 24328 1 - 0.0000 -
50.34/50.52 c 51 557436 26945 1 - 0.0000 -
55.32/55.57 c 56 630353 30022 1 - 0.0000 -
60.41/60.62 c 61 699852 33079 1 - 0.0000 -
65.40/65.66 c 66 756567 36426 1 - 0.0000 -
70.48/70.71 c 71 817950 39229 1 - 0.0000 -
75.46/75.76 c 76 880904 42092 1 - 0.0000 -
80.55/80.81 c 81 938497 44878 1 - 0.0000 -
85.54/85.86 c 86 1004644 47555 1 - 0.0000 -
90.62/90.91 c 91 1058904 49882 1 - 0.0000 -
95.61/95.96 c 96 1121447 53005 1 - 0.0000 -
100.70/101.01 c 101 1181617 55847 1 - 0.0000 -
105.69/106.06 c 106 1245050 58310 1 - 0.0000 -
110.77/111.11 c 111 1301477 60367 1 - 0.0000 -
115.75/116.16 c 116 1363530 62755 1 - 0.0000 -
120.84/121.21 c 121 1416214 64805 1 - 0.0000 -
125.82/126.26 c 126 1477146 67309 1 - 0.0000 -
130.91/131.31 c 131 1529826 71372 1 - 0.0000 -
135.89/136.36 c 136 1582490 74538 1 - 0.0000 -
140.98/141.41 c 141 1638184 77076 1 - 0.0000 -
145.96/146.46 c 146 1693984 80184 1 - 0.0000 -
151.05/151.51 c 152 1746306 83074 1 - 0.0000 -
156.03/156.56 c 157 1803649 85403 1 - 0.0000 -
161.12/161.61 c 162 1857785 87365 1 - 0.0000 -
166.10/166.66 c 167 1914192 89324 1 - 0.0000 -
171.19/171.71 c 172 1968937 91669 1 - 0.0000 -
176.18/176.76 c 177 2021772 93648 1 - 0.0000 -
181.27/181.81 c 182 2076158 96256 1 - 0.0000 -
186.25/186.86 c 187 2129512 97986 1 - 0.0000 -
191.34/191.91 c 192 2184774 100508 1 - 0.0000 -
196.32/196.96 c 197 2240971 102593 1 - 0.0000 -
201.41/202.01 c 202 2306498 106522 1 - 0.0000 -
206.40/207.06 c 207 2362536 108384 1 - 0.0000 -
211.48/212.11 c 212 2418425 110287 1 - 0.0000 -
216.47/217.16 c 217 2466439 111953 1 - 0.0000 -
221.56/222.21 c 222 2517341 112983 1 - 0.0000 -
226.54/227.26 c 227 2569706 114232 1 - 0.0000 -
231.62/232.31 c 232 2621612 115670 1 - 0.0000 -
236.61/237.36 c 237 2673558 116996 1 - 0.0000 -
241.69/242.41 c 242 2726326 119102 1 - 0.0000 -
246.68/247.46 c 247 2777405 120527 1 - 0.0000 -
251.76/252.51 c 253 2829871 122105 1 - 0.0000 -
256.75/257.55 c 258 2882042 123460 1 - 0.0000 -
261.84/262.60 c 263 2932864 125028 1 - 0.0000 -
266.82/267.65 c 268 3002240 126580 1 - 0.0000 -
271.91/272.70 c 273 3054172 129116 1 - 0.0000 -
276.89/277.75 c 278 3106672 130672 1 - 0.0000 -
281.98/282.80 c 283 3163540 132569 1 - 0.0000 -
286.96/287.85 c 288 3217457 133986 1 - 0.0000 -
292.06/292.90 c 293 3265907 135270 1 - 0.0000 -
297.04/297.95 c 298 3319166 137147 1 - 0.0000 -
302.13/303.00 c 303 3378542 139457 1 - 0.0000 -
307.11/308.05 c 308 3433691 141450 1 - 0.0000 -
312.10/313.10 c 313 3486805 142470 1 - 0.0000 -
317.19/318.15 c 318 3535084 143653 1 - 0.0000 -
322.26/323.20 c 323 3586686 144573 1 - 0.0000 -
327.25/328.25 c 328 3627379 145938 1 - 0.0000 -
332.34/333.30 c 333 3665968 147603 1 - 0.0000 -
337.33/338.35 c 338 3718136 149151 1 - 0.0000 -
342.41/343.40 c 343 3771962 150641 1 - 0.0000 -
347.40/348.45 c 348 3826355 152958 1 - 0.0000 -
352.48/353.50 c 354 3878982 155365 1 - 0.0000 -
357.47/358.56 c 359 3938299 157356 1 - 0.0000 -
362.55/363.61 c 364 4000552 158889 1 - 0.0000 -
367.54/368.66 c 369 4052174 160875 1 - 0.0000 -
372.63/373.71 c 374 4104751 162692 1 - 0.0000 -
377.61/378.76 c 379 4155429 164074 1 - 0.0000 -
382.70/383.81 c 384 4213744 166219 1 - 0.0000 -
387.69/388.86 c 389 4265707 167507 1 - 0.0000 -
392.76/393.91 c 394 4318090 168872 1 - 0.0000 -
397.75/398.96 c 399 4369856 170174 1 - 0.0000 -
402.85/404.01 c 404 4422151 171895 1 - 0.0000 -
407.83/409.06 c 409 4465996 173658 1 - 0.0000 -
412.92/414.11 c 414 4510463 174919 1 - 0.0000 -
417.90/419.16 c 419 4550677 175427 1 - 0.0000 -
422.99/424.21 c 424 4618019 178173 1 - 0.0000 -
427.97/429.26 c 429 4666868 179802 1 - 0.0000 -
433.06/434.31 c 434 4715201 181703 1 - 0.0000 -
438.04/439.36 c 439 4766612 183478 1 - 0.0000 -
443.13/444.41 c 444 4821471 184695 1 - 0.0000 -
448.11/449.46 c 449 4874683 185877 1 - 0.0000 -
453.20/454.51 c 455 4924008 187364 1 - 0.0000 -
458.19/459.56 c 460 4985740 188964 1 - 0.0000 -
463.27/464.61 c 465 5036447 190170 1 - 0.0000 -
468.26/469.66 c 470 5088879 191796 1 - 0.0000 -
473.34/474.71 c 475 5136894 193133 1 - 0.0000 -
478.33/479.76 c 480 5199064 194764 1 - 0.0000 -
483.41/484.81 c 485 5252597 196069 1 - 0.0000 -
488.40/489.86 c 490 5309612 197754 1 - 0.0000 -
493.49/494.91 c 495 5367210 199712 1 - 0.0000 -
498.48/499.96 c 500 5419076 200970 1 - 0.0000 -
503.56/505.01 c 505 5473502 202558 1 - 0.0000 -
508.55/510.06 c 510 5526487 203619 1 - 0.0000 -
513.63/515.10 c 515 5583694 205948 1 - 0.0000 -
518.63/520.15 c 520 5639042 207884 1 - 0.0000 -
523.71/525.20 c 525 5681461 209967 1 - 0.0000 -
528.69/530.25 c 530 5724512 211342 1 - 0.0000 -
533.77/535.30 c 535 5775323 212699 1 - 0.0000 -
538.76/540.35 c 540 5827657 213975 1 - 0.0000 -
543.85/545.40 c 545 5882918 216164 1 - 0.0000 -
548.83/550.45 c 550 5960013 218123 1 - 0.0000 -
553.92/555.50 c 556 6051625 219863 1 - 0.0000 -
558.90/560.55 c 561 6140789 222455 1 - 0.0000 -
563.99/565.60 c 566 6198899 224115 1 - 0.0000 -
568.98/570.65 c 571 6259499 225413 1 - 0.0000 -
574.07/575.70 c 576 6312740 226900 1 - 0.0000 -
579.04/580.75 c 581 6365964 228318 1 - 0.0000 -
584.13/585.80 c 586 6417699 229743 1 - 0.0000 -
589.12/590.85 c 591 6465259 230963 1 - 0.0000 -
594.20/595.90 c 596 6519225 232275 1 - 0.0000 -
599.19/600.95 c 601 6573081 233809 1 - 0.0000 -
604.28/606.00 c 606 6618891 235149 1 - 0.0000 -
609.26/611.05 c 611 6661667 236439 1 - 0.0000 -
614.35/616.10 c 616 6701911 236955 1 - 0.0000 -
619.33/621.15 c 621 6742524 237406 1 - 0.0000 -
624.41/626.20 c 626 6798721 242657 1 - 0.0000 -
629.40/631.25 c 631 6851319 244097 1 - 0.0000 -
634.49/636.30 c 636 6906645 246197 1 - 0.0000 -
639.47/641.35 c 641 6964095 247531 1 - 0.0000 -
644.55/646.40 c 646 7018307 249411 1 - 0.0000 -
649.53/651.45 c 651 7071391 250627 1 - 0.0000 -
654.62/656.50 c 657 7121021 251717 1 - 0.0000 -
659.61/661.55 c 662 7162798 252704 1 - 0.0000 -
664.69/666.60 c 667 7213559 254767 1 - 0.0000 -
669.68/671.65 c 672 7272281 256445 1 - 0.0000 -
674.76/676.70 c 677 7324149 257939 1 - 0.0000 -
679.75/681.75 c 682 7391915 260221 1 - 0.0000 -
684.83/686.80 c 687 7481415 263932 1 - 0.0000 -
689.81/691.85 c 692 7571492 267065 1 - 0.0000 -
694.90/696.90 c 697 7650082 269239 1 - 0.0000 -
699.87/701.95 c 702 7701487 270228 1 - 0.0000 -
704.96/707.00 c 707 7758074 271727 1 - 0.0000 -
709.93/712.05 c 712 7822477 273098 1 - 0.0000 -
715.02/717.10 c 717 7879116 274537 1 - 0.0000 -
720.00/722.15 c 722 7929609 275848 1 - 0.0000 -
725.07/727.20 c 727 7988086 277799 1 - 0.0000 -
730.06/732.25 c 732 8041747 279318 1 - 0.0000 -
735.14/737.30 c 737 8092188 280239 1 - 0.0000 -
740.12/742.35 c 742 8141692 281631 1 - 0.0000 -
745.20/747.40 c 747 8191763 283100 1 - 0.0000 -
750.18/752.45 c 752 8254386 284753 1 - 0.0000 -
755.26/757.50 c 758 8305086 286140 1 - 0.0000 -
760.24/762.55 c 763 8367228 288280 1 - 0.0000 -
765.32/767.60 c 768 8417885 289623 1 - 0.0000 -
770.31/772.65 c 773 8469662 291322 1 - 0.0000 -
775.39/777.70 c 778 8518718 292426 1 - 0.0000 -
780.37/782.75 c 783 8568850 293620 1 - 0.0000 -
785.46/787.80 c 788 8622397 295549 1 - 0.0000 -
790.45/792.85 c 793 8675288 297054 1 - 0.0000 -
795.52/797.90 c 798 8726890 298934 1 - 0.0000 -
800.51/802.95 c 803 8780705 300447 1 - 0.0000 -
805.60/808.00 c 808 8835863 305751 1 - 0.0000 -
810.58/813.05 c 813 8890383 308277 1 - 0.0000 -
815.68/818.10 c 818 8947978 312338 1 - 0.0000 -
820.66/823.15 c 823 9003993 316851 1 - 0.0000 -
825.74/828.20 c 828 9062731 321253 1 - 0.0000 -
830.72/833.25 c 833 9121698 323690 1 - 0.0000 -
835.81/838.30 c 838 9179575 324991 1 - 0.0000 -
840.79/843.35 c 843 9226540 325544 1 - 0.0000 -
845.87/848.40 c 848 9274184 326860 1 - 0.0000 -
850.86/853.45 c 853 9322858 328000 1 - 0.0000 -
855.94/858.50 c 859 9374034 328892 1 - 0.0000 -
860.92/863.55 c 864 9418090 330208 1 - 0.0000 -
866.02/868.60 c 869 9474798 331762 1 - 0.0000 -
871.00/873.65 c 874 9538766 333624 1 - 0.0000 -
876.08/878.70 c 879 9589643 336055 1 - 0.0000 -
881.07/883.75 c 884 9648291 337029 1 - 0.0000 -
886.16/888.80 c 889 9702428 338514 1 - 0.0000 -
891.13/893.85 c 894 9753619 339679 1 - 0.0000 -
896.22/898.90 c 899 9805298 341348 1 - 0.0000 -
901.21/903.96 c 904 9855413 342607 1 - 0.0000 -
906.30/909.00 c 909 9915357 346057 1 - 0.0000 -
911.28/914.05 c 914 9961027 348651 1 - 0.0000 -
916.37/919.10 c 919 10010526 352152 1 - 0.0000 -
921.36/924.15 c 924 10060376 356754 1 - 0.0000 -
926.44/929.20 c 929 10112374 360376 1 - 0.0000 -
931.42/934.25 c 934 10165342 362794 1 - 0.0000 -
936.51/939.30 c 939 10211672 365564 1 - 0.0000 -
941.49/944.35 c 944 10256582 366734 1 - 0.0000 -
946.57/949.40 c 949 10309945 368177 1 - 0.0000 -
951.56/954.45 c 954 10361132 369672 1 - 0.0000 -
956.64/959.50 c 960 10420735 370953 1 - 0.0000 -
961.63/964.55 c 965 10475705 372115 1 - 0.0000 -
966.72/969.60 c 970 10524662 373448 1 - 0.0000 -
971.70/974.65 c 975 10560674 374326 1 - 0.0000 -
976.79/979.70 c 980 10597814 375942 1 - 0.0000 -
981.77/984.75 c 985 10638964 377280 1 - 0.0000 -
986.85/989.80 c 990 10687497 378209 1 - 0.0000 -
991.83/994.85 c 995 10741438 379338 1 - 0.0000 -
996.91/999.90 c 1000 10790209 380211 1 - 0.0000 -
1001.90/1004.95 c 1005 10836291 381825 1 - 0.0000 -
1006.98/1010.00 c 1010 10894451 383347 1 - 0.0000 -
1011.96/1015.05 c 1015 10959737 385339 1 - 0.0000 -
1017.04/1020.10 c 1020 11016944 386988 1 - 0.0000 -
1022.03/1025.14 c 1025 11071572 388352 1 - 0.0000 -
1027.00/1030.19 c 1030 11115862 389202 1 - 0.0000 -
1032.08/1035.24 c 1035 11180622 390959 1 - 0.0000 -
1037.06/1040.29 c 1040 11255135 393222 1 - 0.0000 -
1042.14/1045.34 c 1045 11312969 394438 1 - 0.0000 -
1047.13/1050.39 c 1050 11362611 396134 1 - 0.0000 -
1052.21/1055.44 c 1055 11416685 397006 1 - 0.0000 -
1057.19/1060.49 c 1060 11462455 397832 1 - 0.0000 -
1062.27/1065.54 c 1066 11507789 399894 1 - 0.0000 -
1067.26/1070.59 c 1071 11564040 401763 1 - 0.0000 -
1072.33/1075.64 c 1076 11615977 403524 1 - 0.0000 -
1077.31/1080.69 c 1081 11666200 404429 1 - 0.0000 -
1082.40/1085.74 c 1086 11728550 406017 1 - 0.0000 -
1087.37/1090.79 c 1091 11782724 407703 1 - 0.0000 -
1092.46/1095.84 c 1096 11839282 409451 1 - 0.0000 -
1097.44/1100.89 c 1101 11890917 410934 1 - 0.0000 -
1102.52/1105.94 c 1106 11938101 411824 1 - 0.0000 -
1107.50/1110.99 c 1111 11989074 412853 1 - 0.0000 -
1112.59/1116.04 c 1116 12040652 415579 1 - 0.0000 -
1117.57/1121.09 c 1121 12093681 418690 1 - 0.0000 -
1122.65/1126.14 c 1126 12145908 420665 1 - 0.0000 -
1127.63/1131.19 c 1131 12197543 422676 1 - 0.0000 -
1132.70/1136.24 c 1136 12248714 424175 1 - 0.0000 -
1137.69/1141.29 c 1141 12303132 425243 1 - 0.0000 -
1142.77/1146.34 c 1146 12355022 426697 1 - 0.0000 -
1147.75/1151.39 c 1151 12406622 427725 1 - 0.0000 -
1152.83/1156.44 c 1156 12464550 430603 1 - 0.0000 -
1157.82/1161.49 c 1162 12507625 431420 1 - 0.0000 -
1162.89/1166.54 c 1167 12559161 432648 1 - 0.0000 -
1167.87/1171.59 c 1172 12610279 436002 1 - 0.0000 -
1172.96/1176.64 c 1177 12662250 436659 1 - 0.0000 -
1177.94/1181.69 c 1182 12715380 438691 1 - 0.0000 -
1183.02/1186.74 c 1187 12766137 439916 1 - 0.0000 -
1188.00/1191.79 c 1192 12812830 440781 1 - 0.0000 -
1193.08/1196.84 c 1197 12863651 441896 1 - 0.0000 -
1198.06/1201.89 c 1202 12919218 443653 1 - 0.0000 -
1203.14/1206.94 c 1207 12973890 444687 1 - 0.0000 -
1208.13/1211.99 c 1212 13030071 447594 1 - 0.0000 -
1213.21/1217.04 c 1217 13094007 450246 1 - 0.0000 -
1218.19/1222.09 c 1222 13152627 451464 1 - 0.0000 -
1223.27/1227.14 c 1227 13211987 452134 1 - 0.0000 -
1228.25/1232.19 c 1232 13267901 452904 1 - 0.0000 -
1233.32/1237.24 c 1237 13325431 453472 1 - 0.0000 -
1238.31/1242.29 c 1242 13380003 454020 1 - 0.0000 -
1243.39/1247.34 c 1247 13435276 454487 1 - 0.0000 -
1248.37/1252.39 c 1252 13479324 455021 1 - 0.0000 -
1253.45/1257.44 c 1257 13524894 456085 1 - 0.0000 -
1258.43/1262.49 c 1262 13599535 457792 1 - 0.0000 -
1263.51/1267.54 c 1268 13654789 460618 1 - 0.0000 -
1268.49/1272.59 c 1273 13707444 462333 1 - 0.0000 -
1273.57/1277.64 c 1278 13759468 463805 1 - 0.0000 -
1278.55/1282.69 c 1283 13811384 465495 1 - 0.0000 -
1283.64/1287.74 c 1288 13862668 467081 1 - 0.0000 -
1288.62/1292.79 c 1293 13913819 467992 1 - 0.0000 -
1293.70/1297.84 c 1298 13963662 469021 1 - 0.0000 -
1298.68/1302.89 c 1303 14014215 469898 1 - 0.0000 -
1303.76/1307.94 c 1308 14064309 470582 1 - 0.0000 -
1308.74/1312.99 c 1313 14115083 471000 1 - 0.0000 -
1313.83/1318.04 c 1318 14171366 471791 1 - 0.0000 -
1318.81/1323.09 c 1323 14228350 473285 1 - 0.0000 -
1323.89/1328.14 c 1328 14282291 474802 1 - 0.0000 -
1328.87/1333.19 c 1333 14342104 475901 1 - 0.0000 -
1333.94/1338.24 c 1338 14395568 476923 1 - 0.0000 -
1338.92/1343.29 c 1343 14465986 478147 1 - 0.0000 -
1344.01/1348.34 c 1348 14512925 479113 1 - 0.0000 -
1348.99/1353.39 c 1353 14550875 480473 1 - 0.0000 -
1354.07/1358.44 c 1358 14587689 481139 1 - 0.0000 -
1359.05/1363.49 c 1364 14625405 481785 1 - 0.0000 -
1364.13/1368.54 c 1369 14664528 482440 1 - 0.0000 -
1369.11/1373.59 c 1374 14703169 482947 1 - 0.0000 -
1374.20/1378.64 c 1379 14746354 484278 1 - 0.0000 -
1379.18/1383.69 c 1384 14784909 486677 1 - 0.0000 -
1384.26/1388.74 c 1389 14823651 488271 1 - 0.0000 -
1389.24/1393.79 c 1394 14863807 489641 1 - 0.0000 -
1394.33/1398.84 c 1399 14899461 490373 1 - 0.0000 -
1399.31/1403.89 c 1404 14942555 491267 1 - 0.0000 -
1404.40/1408.94 c 1409 14984559 493025 1 - 0.0000 -
1409.37/1413.99 c 1414 15029263 493623 1 - 0.0000 -
1414.46/1419.04 c 1419 15088136 495086 1 - 0.0000 -
1419.44/1424.09 c 1424 15139407 496469 1 - 0.0000 -
1424.52/1429.14 c 1429 15194764 498156 1 - 0.0000 -
1429.50/1434.19 c 1434 15246186 499081 1 - 0.0000 -
1434.58/1439.24 c 1439 15284636 499823 1 - 0.0000 -
1439.56/1444.29 c 1444 15349681 500660 1 - 0.0000 -
1444.64/1449.34 c 1449 15404605 501828 1 - 0.0000 -
1449.62/1454.39 c 1454 15457968 503111 1 - 0.0000 -
1454.70/1459.44 c 1459 15509738 505657 1 - 0.0000 -
1459.68/1464.49 c 1464 15560567 507526 1 - 0.0000 -
1464.76/1469.54 c 1470 15610844 509049 1 - 0.0000 -
1469.74/1474.59 c 1475 15664696 510385 1 - 0.0000 -
1474.83/1479.64 c 1480 15718039 511086 1 - 0.0000 -
1479.81/1484.69 c 1485 15796228 512951 1 - 0.0000 -
1484.89/1489.74 c 1490 15849327 513950 1 - 0.0000 -
1489.87/1494.79 c 1495 15917870 515551 1 - 0.0000 -
1494.95/1499.84 c 1500 15960658 518887 1 - 0.0000 -
1499.94/1504.89 c 1505 16005123 521298 1 - 0.0000 -
1505.01/1509.94 c 1510 16044574 522875 1 - 0.0000 -
1510.00/1514.99 c 1515 16085108 523987 1 - 0.0000 -
1515.09/1520.04 c 1520 16128936 525507 1 - 0.0000 -
1520.06/1525.09 c 1525 16205708 528423 1 - 0.0000 -
1525.15/1530.14 c 1530 16254011 529856 1 - 0.0000 -
1530.13/1535.19 c 1535 16292013 530460 1 - 0.0000 -
1535.21/1540.24 c 1540 16337627 531102 1 - 0.0000 -
1540.19/1545.29 c 1545 16414677 532772 1 - 0.0000 -
1545.27/1550.34 c 1550 16455622 533843 1 - 0.0000 -
1550.25/1555.39 c 1555 16494953 534668 1 - 0.0000 -
1555.33/1560.44 c 1560 16534668 535419 1 - 0.0000 -
1560.32/1565.49 c 1566 16571100 536605 1 - 0.0000 -
1565.40/1570.54 c 1571 16607753 537452 1 - 0.0000 -
1570.38/1575.59 c 1576 16645639 537906 1 - 0.0000 -
1575.47/1580.64 c 1581 16680867 538942 1 - 0.0000 -
1580.45/1585.69 c 1586 16719329 539656 1 - 0.0000 -
1585.53/1590.74 c 1591 16756398 539921 1 - 0.0000 -
1590.51/1595.79 c 1596 16811129 541270 1 - 0.0000 -
1595.59/1600.84 c 1601 16853651 541534 1 - 0.0000 -
1600.58/1605.89 c 1606 16905123 545664 1 - 0.0000 -
1605.66/1610.94 c 1611 16956287 549166 1 - 0.0000 -
1610.64/1615.99 c 1616 17009006 552405 1 - 0.0000 -
1615.73/1621.04 c 1621 17068518 555607 1 - 0.0000 -
1620.70/1626.09 c 1626 17128416 557695 1 - 0.0000 -
1625.79/1631.14 c 1631 17185829 559454 1 - 0.0000 -
1630.77/1636.19 c 1636 17242315 561540 1 - 0.0000 -
1635.85/1641.24 c 1641 17287336 563319 1 - 0.0000 -
1640.83/1646.29 c 1646 17342988 565179 1 - 0.0000 -
1645.92/1651.34 c 1651 17398784 566331 1 - 0.0000 -
1650.89/1656.39 c 1656 17457686 567883 1 - 0.0000 -
1655.97/1661.44 c 1661 17513197 570680 1 - 0.0000 -
1660.96/1666.49 c 1666 17566082 575585 1 - 0.0000 -
1666.04/1671.54 c 1672 17619951 579002 1 - 0.0000 -
1671.02/1676.59 c 1677 17669243 581528 1 - 0.0000 -
1676.11/1681.64 c 1682 17729281 584016 1 - 0.0000 -
1681.09/1686.69 c 1687 17785115 587026 1 - 0.0000 -
1686.17/1691.74 c 1692 17843982 589561 1 - 0.0000 -
1691.15/1696.79 c 1697 17901721 591238 1 - 0.0000 -
1696.22/1701.84 c 1702 17963533 593010 1 - 0.0000 -
1701.21/1706.89 c 1707 18019465 594024 1 - 0.0000 -
1706.29/1711.94 c 1712 18072416 595415 1 - 0.0000 -
1711.28/1716.99 c 1717 18134271 596312 1 - 0.0000 -
1716.36/1722.04 c 1722 18195175 597070 1 - 0.0000 -
1721.34/1727.09 c 1727 18246554 597801 1 - 0.0000 -
1726.43/1732.14 c 1732 18291606 598787 1 - 0.0000 -
1731.40/1737.19 c 1737 18328812 599481 1 - 0.0000 -
1736.48/1742.24 c 1742 18375807 600228 1 - 0.0000 -
1741.47/1747.29 c 1747 18423155 601002 1 - 0.0000 -
1746.55/1752.34 c 1752 18481418 603057 1 - 0.0000 -
1751.53/1757.39 c 1757 18530368 603835 1 - 0.0000 -
1756.61/1762.44 c 1762 18592574 605711 1 - 0.0000 -
1761.59/1767.49 c 1768 18662335 607150 1 - 0.0000 -
1766.67/1772.54 c 1773 18711320 608553 1 - 0.0000 -
1771.66/1777.59 c 1778 18761702 609379 1 - 0.0000 -
1776.74/1782.64 c 1783 18799185 610198 1 - 0.0000 -
1781.72/1787.69 c 1788 18857984 611467 1 - 0.0000 -
1786.80/1792.74 c 1793 18895171 612436 1 - 0.0000 -
1791.79/1797.79 c 1798 18943704 613493 1 - 0.0000 -
1796.86/1802.84 c 1803 19001086 615463 1 - 0.0000 -
1801.85/1807.89 c 1808 19050307 616712 1 - 0.0000 -
1806.93/1812.94 c 1813 19099287 617930 1 - 0.0000 -
1811.90/1817.99 c 1818 19174486 619453 1 - 0.0000 -
1816.99/1823.04 c 1823 19241432 620931 1 - 0.0000 -
1821.98/1828.09 c 1828 19295593 621890 1 - 0.0000 -
1827.05/1833.14 c 1833 19345321 623164 1 - 0.0000 -
1832.03/1838.19 c 1838 19393887 624824 1 - 0.0000 -
1837.11/1843.24 c 1843 19445468 626207 1 - 0.0000 -
1842.09/1848.29 c 1848 19496455 627286 1 - 0.0000 -
1847.17/1853.34 c 1853 19555260 629103 1 - 0.0000 -
1852.15/1858.39 c 1858 19609397 630114 1 - 0.0000 -
1857.24/1863.44 c 1863 19654641 631152 1 - 0.0000 -
1862.21/1868.49 c 1868 19705238 632269 1 - 0.0000 -
1867.30/1873.54 c 1874 19763468 633213 1 - 0.0000 -
1872.28/1878.59 c 1879 19810867 634360 1 - 0.0000 -
1877.36/1883.64 c 1884 19865069 636286 1 - 0.0000 -
1882.34/1888.69 c 1889 19915561 637792 1 - 0.0000 -
1887.42/1893.74 c 1894 19969373 640450 1 - 0.0000 -
1892.40/1898.79 c 1899 20020300 642459 1 - 0.0000 -
1897.49/1903.84 c 1904 20072779 644248 1 - 0.0000 -
1902.47/1908.89 c 1909 20123969 645868 1 - 0.0000 -
1907.55/1913.94 c 1914 20173073 646810 1 - 0.0000 -
1912.52/1918.99 c 1919 20223727 648144 1 - 0.0000 -
1917.61/1924.04 c 1924 20275335 649830 1 - 0.0000 -
1922.59/1929.09 c 1929 20326651 651966 1 - 0.0000 -
1927.67/1934.14 c 1934 20377028 653479 1 - 0.0000 -
1932.66/1939.19 c 1939 20425060 654399 1 - 0.0000 -
1937.73/1944.24 c 1944 20474867 655686 1 - 0.0000 -
1942.72/1949.29 c 1949 20526315 657460 1 - 0.0000 -
1947.79/1954.34 c 1954 20574069 658036 1 - 0.0000 -
1952.77/1959.39 c 1959 20623516 658861 1 - 0.0000 -
1957.86/1964.44 c 1964 20672520 659765 1 - 0.0000 -
1962.84/1969.49 c 1970 20720515 660614 1 - 0.0000 -
1967.92/1974.54 c 1975 20777578 661495 1 - 0.0000 -
1972.90/1979.59 c 1980 20828181 662878 1 - 0.0000 -
1977.98/1984.64 c 1985 20914579 668098 1 - 0.0000 -
1982.96/1989.69 c 1990 21002999 670596 1 - 0.0000 -
1988.04/1994.74 c 1995 21090546 673153 1 - 0.0000 -
1993.02/1999.79 c 2000 21142704 674293 1 - 0.0000 -
1998.10/2004.84 c 2005 21191802 675077 1 - 0.0000 -
2003.08/2009.89 c 2010 21242847 675856 1 - 0.0000 -
2008.17/2014.94 c 2015 21294706 678175 1 - 0.0000 -
2013.14/2019.99 c 2020 21330072 680353 1 - 0.0000 -
2018.23/2025.04 c 2025 21377383 682200 1 - 0.0000 -
2023.21/2030.09 c 2030 21421584 684017 1 - 0.0000 -
2028.30/2035.14 c 2035 21460674 685343 1 - 0.0000 -
2033.28/2040.19 c 2040 21497050 687457 1 - 0.0000 -
2038.35/2045.24 c 2045 21533474 688993 1 - 0.0000 -
2043.34/2050.28 c 2050 21575956 690389 1 - 0.0000 -
2048.42/2055.33 c 2055 21613500 691467 1 - 0.0000 -
2053.40/2060.38 c 2060 21649321 692324 1 - 0.0000 -
2058.48/2065.43 c 2065 21685834 693357 1 - 0.0000 -
2063.47/2070.48 c 2070 21730360 694669 1 - 0.0000 -
2068.55/2075.53 c 2076 21764892 695709 1 - 0.0000 -
2073.53/2080.58 c 2081 21802892 696489 1 - 0.0000 -
2078.61/2085.63 c 2086 21838726 698127 1 - 0.0000 -
2083.59/2090.68 c 2091 21874356 699471 1 - 0.0000 -
2088.68/2095.73 c 2096 21908499 700626 1 - 0.0000 -
2093.66/2100.78 c 2101 21944629 701508 1 - 0.0000 -
2098.74/2105.83 c 2106 21980709 702226 1 - 0.0000 -
2103.73/2110.88 c 2111 22020458 703189 1 - 0.0000 -
2108.81/2115.93 c 2116 22056867 703874 1 - 0.0000 -
2113.79/2120.98 c 2121 22095754 705197 1 - 0.0000 -
2118.87/2126.03 c 2126 22147866 706925 1 - 0.0000 -
2123.86/2131.08 c 2131 22200166 709001 1 - 0.0000 -
2128.93/2136.13 c 2136 22243463 710272 1 - 0.0000 -
2133.92/2141.18 c 2141 22300004 712121 1 - 0.0000 -
2139.00/2146.23 c 2146 22346046 713421 1 - 0.0000 -
2143.98/2151.28 c 2151 22386577 714306 1 - 0.0000 -
2149.06/2156.33 c 2156 22436175 716192 1 - 0.0000 -
2154.04/2161.38 c 2161 22469758 716861 1 - 0.0000 -
2159.12/2166.43 c 2166 22506731 718028 1 - 0.0000 -
2164.11/2171.48 c 2171 22543715 719090 1 - 0.0000 -
2169.19/2176.53 c 2177 22601403 721062 1 - 0.0000 -
2174.17/2181.58 c 2182 22652541 721750 1 - 0.0000 -
2179.26/2186.63 c 2187 22687213 723108 1 - 0.0000 -
2184.23/2191.68 c 2192 22731202 724891 1 - 0.0000 -
2189.31/2196.73 c 2197 22799727 727378 1 - 0.0000 -
2194.30/2201.78 c 2202 22869354 729539 1 - 0.0000 -
2199.38/2206.83 c 2207 22915995 731160 1 - 0.0000 -
2204.36/2211.88 c 2212 23004424 735085 1 - 0.0000 -
2209.44/2216.93 c 2217 23086289 737780 1 - 0.0000 -
2214.42/2221.98 c 2222 23138154 739173 1 - 0.0000 -
2219.51/2227.03 c 2227 23181982 739693 1 - 0.0000 -
2224.49/2232.08 c 2232 23227031 740792 1 - 0.0000 -
2229.57/2237.13 c 2237 23261081 742502 1 - 0.0000 -
2234.56/2242.18 c 2242 23295251 743724 1 - 0.0000 -
2239.63/2247.23 c 2247 23330728 744727 1 - 0.0000 -
2244.61/2252.28 c 2252 23390917 746718 1 - 0.0000 -
2249.69/2257.33 c 2257 23433779 748492 1 - 0.0000 -
2254.68/2262.38 c 2262 23467949 749398 1 - 0.0000 -
2259.76/2267.43 c 2267 23512807 750072 1 - 0.0000 -
2264.75/2272.48 c 2272 23568694 751225 1 - 0.0000 -
2269.82/2277.53 c 2278 23613166 752355 1 - 0.0000 -
2274.81/2282.58 c 2283 23690701 755326 1 - 0.0000 -
2279.89/2287.63 c 2288 23749754 758329 1 - 0.0000 -
2284.87/2292.68 c 2293 23784619 759666 1 - 0.0000 -
2289.95/2297.73 c 2298 23823019 760814 1 - 0.0000 -
2294.93/2302.78 c 2303 23861079 761236 1 - 0.0000 -
2300.02/2307.83 c 2308 23905118 761843 1 - 0.0000 -
2305.00/2312.88 c 2313 23947388 762325 1 - 0.0000 -
2310.08/2317.93 c 2318 23990965 763500 1 - 0.0000 -
2315.06/2322.98 c 2323 24028941 764984 1 - 0.0000 -
2320.15/2328.03 c 2328 24062467 765998 1 - 0.0000 -
2325.13/2333.08 c 2333 24098256 766967 1 - 0.0000 -
2330.21/2338.13 c 2338 24139094 767813 1 - 0.0000 -
2335.19/2343.18 c 2343 24174135 768850 1 - 0.0000 -
2340.28/2348.23 c 2348 24222285 770116 1 - 0.0000 -
2345.25/2353.28 c 2353 24270146 770629 1 - 0.0000 -
2350.33/2358.33 c 2358 24319789 772028 1 - 0.0000 -
2355.32/2363.38 c 2363 24360511 773432 1 - 0.0000 -
2360.41/2368.43 c 2368 24394401 774486 1 - 0.0000 -
2365.38/2373.48 c 2373 24437247 774970 1 - 0.0000 -
2370.47/2378.53 c 2379 24483064 775881 1 - 0.0000 -
2375.45/2383.58 c 2384 24529813 776858 1 - 0.0000 -
2380.53/2388.63 c 2389 24604939 778496 1 - 0.0000 -
2385.51/2393.68 c 2394 24694897 781042 1 - 0.0000 -
2390.59/2398.73 c 2399 24785573 782916 1 - 0.0000 -
2395.57/2403.78 c 2404 24857763 783896 1 - 0.0000 -
2400.66/2408.83 c 2409 24910920 784919 1 - 0.0000 -
2405.63/2413.88 c 2414 24944370 785969 1 - 0.0000 -
2410.72/2418.93 c 2419 25001024 786927 1 - 0.0000 -
2415.70/2423.98 c 2424 25054733 788300 1 - 0.0000 -
2420.79/2429.03 c 2429 25105748 789179 1 - 0.0000 -
2425.76/2434.08 c 2434 25159069 790243 1 - 0.0000 -
2430.85/2439.13 c 2439 25211790 791320 1 - 0.0000 -
2435.83/2444.18 c 2444 25264045 792975 1 - 0.0000 -
2440.91/2449.23 c 2449 25316004 795244 1 - 0.0000 -
2445.89/2454.28 c 2454 25365210 797152 1 - 0.0000 -
2450.96/2459.33 c 2459 25417498 799586 1 - 0.0000 -
2455.95/2464.38 c 2464 25466317 800951 1 - 0.0000 -
2461.02/2469.43 c 2469 25513021 801333 1 - 0.0000 -
2466.01/2474.48 c 2474 25560936 801664 1 - 0.0000 -
2471.09/2479.53 c 2480 25616060 802874 1 - 0.0000 -
2476.07/2484.58 c 2485 25666153 803617 1 - 0.0000 -
2481.15/2489.63 c 2490 25718182 804750 1 - 0.0000 -
2486.13/2494.68 c 2495 25758353 806089 1 - 0.0000 -
2491.21/2499.73 c 2500 25798298 806604 1 - 0.0000 -
2496.20/2504.78 c 2505 25850962 808144 1 - 0.0000 -
2501.28/2509.83 c 2510 25891477 808585 1 - 0.0000 -
2506.26/2514.88 c 2515 25932248 809446 1 - 0.0000 -
2511.34/2519.93 c 2520 25971044 810336 1 - 0.0000 -
2516.32/2524.98 c 2525 26009863 810957 1 - 0.0000 -
2521.41/2530.03 c 2530 26048844 811578 1 - 0.0000 -
2526.39/2535.08 c 2535 26087427 811887 1 - 0.0000 -
2531.47/2540.13 c 2540 26141959 813051 1 - 0.0000 -
2536.45/2545.18 c 2545 26191173 814253 1 - 0.0000 -
2541.52/2550.23 c 2550 26241949 816235 1 - 0.0000 -
2546.51/2555.28 c 2555 26296313 818107 1 - 0.0000 -
2551.59/2560.33 c 2560 26347935 820763 1 - 0.0000 -
2556.57/2565.38 c 2565 26399290 823008 1 - 0.0000 -
2561.65/2570.43 c 2570 26449176 824756 1 - 0.0000 -
2566.63/2575.48 c 2575 26500128 826170 1 - 0.0000 -
2571.71/2580.53 c 2581 26555832 827504 1 - 0.0000 -
2576.69/2585.58 c 2586 26610967 828809 1 - 0.0000 -
2581.78/2590.63 c 2591 26670697 831379 1 - 0.0000 -
2586.75/2595.68 c 2596 26715570 832990 1 - 0.0000 -
2591.83/2600.73 c 2601 26756289 833985 1 - 0.0000 -
2596.82/2605.78 c 2606 26813600 836248 1 - 0.0000 -
2601.89/2610.83 c 2611 26862111 838367 1 - 0.0000 -
2606.88/2615.88 c 2616 26906316 839888 1 - 0.0000 -
2611.96/2620.93 c 2621 26947207 841845 1 - 0.0000 -
2616.94/2625.98 c 2626 27000698 844158 1 - 0.0000 -
2622.03/2631.03 c 2631 27044772 845754 1 - 0.0000 -
2627.02/2636.08 c 2636 27083631 846895 1 - 0.0000 -
2632.10/2641.13 c 2641 27126864 848232 1 - 0.0000 -
2637.08/2646.18 c 2646 27161950 849554 1 - 0.0000 -
2642.16/2651.23 c 2651 27212761 851665 1 - 0.0000 -
2647.14/2656.28 c 2656 27258505 852681 1 - 0.0000 -
2652.22/2661.33 c 2661 27300428 853684 1 - 0.0000 -
2657.20/2666.38 c 2666 27347858 855066 1 - 0.0000 -
2662.28/2671.43 c 2671 27384203 856197 1 - 0.0000 -
2667.26/2676.48 c 2676 27422667 856965 1 - 0.0000 -
2672.34/2681.53 c 2682 27468396 857710 1 - 0.0000 -
2677.33/2686.58 c 2687 27513376 858490 1 - 0.0000 -
2682.41/2691.63 c 2692 27564154 859360 1 - 0.0000 -
2687.39/2696.68 c 2697 27621764 860440 1 - 0.0000 -
2692.47/2701.73 c 2702 27659874 861962 1 - 0.0000 -
2697.45/2706.78 c 2707 27698289 862251 1 - 0.0000 -
2702.53/2711.83 c 2712 27735835 863371 1 - 0.0000 -
2707.52/2716.88 c 2717 27780034 864338 1 - 0.0000 -
2712.60/2721.93 c 2722 27831195 865211 1 - 0.0000 -
2717.58/2726.98 c 2727 27879440 865498 1 - 0.0000 -
2722.67/2732.03 c 2732 27969054 867356 1 - 0.0000 -
2727.65/2737.08 c 2737 28019073 867395 1 - 0.0000 -
2732.73/2742.13 c 2742 28074284 868326 1 - 0.0000 -
2737.72/2747.18 c 2747 28132095 869205 1 - 0.0000 -
2742.79/2752.23 c 2752 28182703 870557 1 - 0.0000 -
2747.77/2757.28 c 2757 28249600 872227 1 - 0.0000 -
2752.85/2762.33 c 2762 28294362 873133 1 - 0.0000 -
2757.84/2767.38 c 2767 28357444 874529 1 - 0.0000 -
2762.92/2772.43 c 2772 28399042 875955 1 - 0.0000 -
2767.89/2777.48 c 2777 28487243 877906 1 - 0.0000 -
2772.98/2782.53 c 2783 28554835 879952 1 - 0.0000 -
2777.96/2787.58 c 2788 28605320 880831 1 - 0.0000 -
2783.04/2792.63 c 2793 28663677 883086 1 - 0.0000 -
2788.02/2797.68 c 2798 28710452 884345 1 - 0.0000 -
2793.10/2802.73 c 2803 28773384 886211 1 - 0.0000 -
2798.08/2807.78 c 2808 28852888 888607 1 - 0.0000 -
2803.16/2812.83 c 2813 28906434 890911 1 - 0.0000 -
2808.14/2817.88 c 2818 28958796 893647 1 - 0.0000 -
2813.22/2822.93 c 2823 29009414 895949 1 - 0.0000 -
2818.20/2827.98 c 2828 29060509 898224 1 - 0.0000 -
2823.29/2833.03 c 2833 29115610 901439 1 - 0.0000 -
2828.27/2838.08 c 2838 29166652 905101 1 - 0.0000 -
2833.35/2843.13 c 2843 29215627 906812 1 - 0.0000 -
2838.33/2848.18 c 2848 29266359 909968 1 - 0.0000 -
2843.41/2853.23 c 2853 29314393 910998 1 - 0.0000 -
2848.39/2858.28 c 2858 29362937 911142 1 - 0.0000 -
2853.47/2863.33 c 2863 29418242 912865 1 - 0.0000 -
2858.45/2868.38 c 2868 29502344 915235 1 - 0.0000 -
2863.53/2873.43 c 2873 29592884 916461 1 - 0.0000 -
2868.52/2878.48 c 2878 29646568 918229 1 - 0.0000 -
2873.59/2883.53 c 2884 29696632 920685 1 - 0.0000 -
2878.57/2888.58 c 2889 29744294 922257 1 - 0.0000 -
2883.65/2893.63 c 2894 29792026 923123 1 - 0.0000 -
2888.64/2898.68 c 2899 29837505 924416 1 - 0.0000 -
2893.71/2903.73 c 2904 29888980 926987 1 - 0.0000 -
2898.70/2908.78 c 2909 29940762 930079 1 - 0.0000 -
2903.78/2913.83 c 2914 29990880 932309 1 - 0.0000 -
2908.76/2918.88 c 2919 30041642 935437 1 - 0.0000 -
2913.84/2923.93 c 2924 30090894 937545 1 - 0.0000 -
2918.84/2928.98 c 2929 30140934 939943 1 - 0.0000 -
2923.92/2934.03 c 2934 30188966 941671 1 - 0.0000 -
2928.91/2939.08 c 2939 30240329 944650 1 - 0.0000 -
2934.00/2944.13 c 2944 30287259 946196 1 - 0.0000 -
2938.98/2949.18 c 2949 30336610 948689 1 - 0.0000 -
2944.06/2954.23 c 2954 30385509 950816 1 - 0.0000 -
2949.05/2959.28 c 2959 30436377 953800 1 - 0.0000 -
2954.13/2964.33 c 2964 30485033 955882 1 - 0.0000 -
2959.12/2969.38 c 2969 30533959 958298 1 - 0.0000 -
2964.20/2974.43 c 2974 30583401 960658 1 - 0.0000 -
2969.20/2979.48 c 2979 30631271 962360 1 - 0.0000 -
2974.28/2984.53 c 2985 30680115 964540 1 - 0.0000 -
2979.27/2989.58 c 2990 30728894 966429 1 - 0.0000 -
2984.35/2994.63 c 2995 30776732 968237 1 - 0.0000 -
2989.34/2999.68 c 3000 30823193 969530 1 - 0.0000 -
2994.42/3004.73 c 3005 30871724 971455 1 - 0.0000 -
2999.41/3009.78 c 3010 30918510 972917 1 - 0.0000 -
3004.49/3014.83 c 3015 30966775 975024 1 - 0.0000 -
3009.48/3019.88 c 3020 31014889 976900 1 - 0.0000 -
3014.57/3024.93 c 3025 31062209 978636 1 - 0.0000 -
3019.55/3029.98 c 3030 31108912 979877 1 - 0.0000 -
3024.65/3035.03 c 3035 31155194 981239 1 - 0.0000 -
3029.62/3040.08 c 3040 31202214 982775 1 - 0.0000 -
3034.72/3045.13 c 3045 31249830 984309 1 - 0.0000 -
3039.70/3050.18 c 3050 31297617 985558 1 - 0.0000 -
3044.78/3055.23 c 3055 31346214 987297 1 - 0.0000 -
3049.77/3060.28 c 3060 31393151 988248 1 - 0.0000 -
3054.85/3065.33 c 3065 31440064 989111 1 - 0.0000 -
3059.84/3070.38 c 3070 31489006 991491 1 - 0.0000 -
3064.93/3075.43 c 3075 31536157 993164 1 - 0.0000 -
3069.91/3080.48 c 3080 31583098 994847 1 - 0.0000 -
3074.99/3085.53 c 3086 31629943 995542 1 - 0.0000 -
3079.98/3090.58 c 3091 31677674 997369 1 - 0.0000 -
3085.06/3095.63 c 3096 31726164 999415 1 - 0.0000 -
3090.06/3100.68 c 3101 31775009 1001624 1 - 0.0000 -
3095.14/3105.73 c 3106 31821583 1002454 1 - 0.0000 -
3100.13/3110.78 c 3111 31868062 1003229 1 - 0.0000 -
3105.21/3115.83 c 3116 31914376 1003349 1 - 0.0000 -
3110.20/3120.88 c 3121 31958692 1004221 1 - 0.0000 -
3115.28/3125.93 c 3126 32009440 1005987 1 - 0.0000 -
3120.27/3130.98 c 3131 32059674 1007633 1 - 0.0000 -
3125.35/3136.03 c 3136 32109439 1009310 1 - 0.0000 -
3130.34/3141.08 c 3141 32159108 1010819 1 - 0.0000 -
3135.43/3146.13 c 3146 32208742 1012247 1 - 0.0000 -
3140.41/3151.18 c 3151 32258331 1013884 1 - 0.0000 -
3145.49/3156.23 c 3156 32307755 1015308 1 - 0.0000 -
3150.47/3161.28 c 3161 32357936 1016815 1 - 0.0000 -
3155.55/3166.33 c 3166 32406716 1017737 1 - 0.0000 -
3160.54/3171.38 c 3171 32456967 1018922 1 - 0.0000 -
3165.62/3176.43 c 3176 32505128 1019531 1 - 0.0000 -
3170.60/3181.48 c 3181 32554358 1020383 1 - 0.0000 -
3175.69/3186.53 c 3187 32598397 1021492 1 - 0.0000 -
3180.67/3191.58 c 3192 32635732 1022035 1 - 0.0000 -
3185.75/3196.63 c 3197 32683688 1022711 1 - 0.0000 -
3190.73/3201.68 c 3202 32729495 1023608 1 - 0.0000 -
3195.82/3206.73 c 3207 32766369 1026216 1 - 0.0000 -
3200.81/3211.78 c 3212 32800530 1028425 1 - 0.0000 -
3205.89/3216.83 c 3217 32834832 1029337 1 - 0.0000 -
3210.88/3221.88 c 3222 32869011 1030440 1 - 0.0000 -
3215.97/3226.93 c 3227 32903744 1031009 1 - 0.0000 -
3220.95/3231.98 c 3232 32938040 1031589 1 - 0.0000 -
3226.05/3237.03 c 3237 32973320 1031431 1 - 0.0000 -
3231.03/3242.08 c 3242 33019104 1031887 1 - 0.0000 -
3236.12/3247.13 c 3247 33067616 1033853 1 - 0.0000 -
3241.10/3252.18 c 3252 33115253 1034980 1 - 0.0000 -
3246.19/3257.23 c 3257 33154448 1036253 1 - 0.0000 -
3251.17/3262.28 c 3262 33187121 1036802 1 - 0.0000 -
3256.26/3267.33 c 3267 33233165 1038176 1 - 0.0000 -
3261.24/3272.38 c 3272 33282881 1040046 1 - 0.0000 -
3266.32/3277.43 c 3277 33333018 1041731 1 - 0.0000 -
3271.31/3282.48 c 3282 33381786 1042373 1 - 0.0000 -
3276.40/3287.53 c 3288 33431841 1043158 1 - 0.0000 -
3281.39/3292.58 c 3293 33481888 1044609 1 - 0.0000 -
3286.47/3297.63 c 3298 33532330 1045841 1 - 0.0000 -
3291.45/3302.68 c 3303 33576203 1046564 1 - 0.0000 -
3296.54/3307.73 c 3308 33648510 1047997 1 - 0.0000 -
3301.53/3312.78 c 3313 33711064 1049023 1 - 0.0000 -
3306.61/3317.85 c 3318 33753699 1049644 1 - 0.0000 -
3311.70/3322.90 c 3323 33798581 1050488 1 - 0.0000 -
3316.69/3327.95 c 3328 33846901 1053460 1 - 0.0000 -
3321.77/3333.00 c 3333 33899216 1057087 1 - 0.0000 -
3326.77/3338.05 c 3338 33951049 1061088 1 - 0.0000 -
3331.85/3343.10 c 3343 34001876 1063383 1 - 0.0000 -
3336.83/3348.15 c 3348 34052493 1065878 1 - 0.0000 -
3341.92/3353.20 c 3353 34101328 1067269 1 - 0.0000 -
3346.90/3358.25 c 3358 34150634 1068953 1 - 0.0000 -
3351.99/3363.30 c 3363 34198098 1070693 1 - 0.0000 -
3356.97/3368.35 c 3368 34245544 1071257 1 - 0.0000 -
3362.06/3373.40 c 3373 34294138 1072057 1 - 0.0000 -
3367.05/3378.45 c 3378 34343499 1074462 1 - 0.0000 -
3372.12/3383.50 c 3384 34391503 1076130 1 - 0.0000 -
3377.11/3388.55 c 3389 34442419 1078586 1 - 0.0000 -
3382.20/3393.60 c 3394 34486522 1079299 1 - 0.0000 -
3387.19/3398.65 c 3399 34527259 1079234 1 - 0.0000 -
3392.27/3403.70 c 3404 34586623 1080516 1 - 0.0000 -
3397.26/3408.75 c 3409 34622595 1081236 1 - 0.0000 -
3402.35/3413.80 c 3414 34670785 1083022 1 - 0.0000 -
3407.33/3418.85 c 3419 34720200 1084011 1 - 0.0000 -
3412.42/3423.90 c 3424 34770726 1086159 1 - 0.0000 -
3417.40/3428.95 c 3429 34833307 1087460 1 - 0.0000 -
3422.50/3434.00 c 3434 34901255 1089212 1 - 0.0000 -
3427.47/3439.05 c 3439 34959732 1090759 1 - 0.0000 -
3432.57/3444.10 c 3444 35002764 1092073 1 - 0.0000 -
3437.54/3449.15 c 3449 35080712 1094703 1 - 0.0000 -
3442.63/3454.20 c 3454 35157242 1097861 1 - 0.0000 -
3447.62/3459.25 c 3459 35233296 1099343 1 - 0.0000 -
3452.70/3464.30 c 3464 35298220 1099469 1 - 0.0000 -
3457.69/3469.35 c 3469 35363808 1100487 1 - 0.0000 -
3462.77/3474.40 c 3474 35414785 1101926 1 - 0.0000 -
3467.75/3479.45 c 3479 35464385 1103112 1 - 0.0000 -
3472.84/3484.50 c 3485 35510206 1104003 1 - 0.0000 -
3477.83/3489.55 c 3490 35593811 1106642 1 - 0.0000 -
3482.91/3494.60 c 3495 35629838 1108909 1 - 0.0000 -
3487.90/3499.65 c 3500 35665458 1110125 1 - 0.0000 -
3492.98/3504.70 c 3505 35701484 1110951 1 - 0.0000 -
3497.97/3509.75 c 3510 35735217 1110946 1 - 0.0000 -
3503.06/3514.80 c 3515 35783391 1111376 1 - 0.0000 -
3508.04/3519.85 c 3520 35838787 1112868 1 - 0.0000 -
3513.13/3524.90 c 3525 35887313 1114320 1 - 0.0000 -
3518.11/3529.95 c 3530 35920320 1115715 1 - 0.0000 -
3523.21/3535.00 c 3535 35964923 1115796 1 - 0.0000 -
3528.20/3540.05 c 3540 36012555 1116588 1 - 0.0000 -
3533.28/3545.10 c 3545 36062629 1117214 1 - 0.0000 -
3538.27/3550.15 c 3550 36111059 1119150 1 - 0.0000 -
3543.35/3555.20 c 3555 36150781 1121776 1 - 0.0000 -
3548.33/3560.25 c 3560 36189188 1123213 1 - 0.0000 -
3553.42/3565.30 c 3565 36227638 1124147 1 - 0.0000 -
3558.41/3570.35 c 3570 36265811 1124978 1 - 0.0000 -
3563.49/3575.40 c 3575 36304579 1125662 1 - 0.0000 -
3568.48/3580.45 c 3580 36342290 1126235 1 - 0.0000 -
3573.57/3585.50 c 3586 36380238 1126891 1 - 0.0000 -
3578.55/3590.55 c 3591 36419004 1128221 1 - 0.0000 -
3583.63/3595.60 c 3596 36457713 1128836 1 - 0.0000 -
3587.82/3599.81 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.82/3599.81 c Total Time : 3599.8100
3587.82/3599.81 c solving : 3599.8100
3587.82/3599.81 c presolving : 0.0016 (included in solving)
3587.82/3599.81 c B&B Tree :
3587.82/3599.81 c nodes (total) : 1
3587.82/3599.81 c Solution :
3587.82/3599.81 c Solutions found : 0
3587.82/3599.81 c Primal Bound : -
3587.82/3599.81 c Dual Bound : +0.00000000000000e+00
3587.82/3599.81 c Gap : -
3587.82/3599.81 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (55528 MiB free)
memory of node 1: 64473 MiB (61942 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464347-1722379082/watcher-4464347-1722379082 -o /tmp/evaluation-result-4464347-1722379082/solver-4464347-1722379082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722378597-30073 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464347-1722379082.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30473, runsolver pid=30470
[startup+0.10009 s]*
/proc/loadavg: 4.11 3.35 1.76 5/264 30476
/proc/meminfo: memFree=120278984/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=106500 memory=22372 CPUtime=0.1 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 2504 0 0 0 10 0 0 0 20 0 3 0 4512826 109056000 5593 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 26625 5593 2950 3035 0 8486 0
[pid=30473/tid=30475] ppid=30470 vsize=106500 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 1371 0 0 0 9 0 0 0 20 0 3 0 4512827 109056000 5593 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=106500 memory=232851243367 CPUtime=0 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4512827 109056000 5593 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 106500 KiB
Current children cumulated memory: 22372 KiB
[startup+0.205572 s]*
/proc/loadavg: 4.11 3.35 1.76 5/264 30476
/proc/meminfo: memFree=120278648/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=106500 memory=22372 CPUtime=0.2 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 2511 0 0 0 20 0 0 0 20 0 3 0 4512826 109056000 5593 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 26625 5593 2950 3035 0 8486 0
[pid=30473/tid=30475] ppid=30470 vsize=106500 memory=664970838410264707 CPUtime=0.2 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 1378 0 0 0 20 0 0 0 20 0 3 0 4512827 109056000 5593 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=106500 memory=2639 CPUtime=0 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4512827 109056000 5593 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106500 KiB
Current children cumulated memory: 22372 KiB
[startup+0.305561 s]*
/proc/loadavg: 4.11 3.35 1.76 5/264 30476
/proc/meminfo: memFree=120277640/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=106500 memory=23428 CPUtime=0.3 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 2729 0 0 0 30 0 0 0 20 0 3 0 4512826 109056000 5857 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 26625 5857 2950 3035 0 8629 0
[pid=30473/tid=30475] ppid=30470 vsize=106500 memory=-5155635682494671749 CPUtime=0.29 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 1596 0 0 0 29 0 0 0 20 0 3 0 4512827 109056000 5857 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=106500 memory=0 CPUtime=0 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4512827 109056000 5857 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106500 KiB
Current children cumulated memory: 23428 KiB
[startup+0.700266 s]
/proc/loadavg: 4.11 3.35 1.76 5/264 30476
/proc/meminfo: memFree=120269120/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=106500 memory=24220 CPUtime=0.69 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 2951 0 0 0 69 0 0 0 20 0 3 0 4512826 109056000 6055 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 26625 6055 2950 3035 0 8829 0
[pid=30473/tid=30475] ppid=30470 vsize=106500 memory=0 CPUtime=0.68 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 1818 0 0 0 68 0 0 0 20 0 3 0 4512827 109056000 6055 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=106500 memory=0 CPUtime=0 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4512827 109056000 6055 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106500 KiB
Current children cumulated memory: 24220 KiB
[startup+1.50025 s]
/proc/loadavg: 4.10 3.36 1.77 5/264 30476
/proc/meminfo: memFree=120268832/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=106500 memory=25444 CPUtime=1.49 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 4682 0 0 0 148 1 0 0 20 0 3 0 4512826 109056000 6361 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 26625 6361 2950 3035 0 8995 0
[pid=30473/tid=30475] ppid=30470 vsize=106500 memory=0 CPUtime=1.48 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 3535 0 0 0 147 1 0 0 20 0 3 0 4512827 109056000 6361 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=106500 memory=0 CPUtime=0 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4512827 109056000 6361 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 106500 KiB
Current children cumulated memory: 25444 KiB
[startup+3.10534 s]
/proc/loadavg: 4.10 3.36 1.77 5/264 30477
/proc/meminfo: memFree=120266180/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=106500 memory=26844 CPUtime=3.09 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 5053 0 0 0 307 2 0 0 20 0 3 0 4512826 109056000 6711 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 26625 6711 2950 3035 0 9369 0
[pid=30473/tid=30475] ppid=30470 vsize=106500 memory=0 CPUtime=3.08 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 3901 0 0 0 306 2 0 0 20 0 3 0 4512827 109056000 6711 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=106500 memory=2273 CPUtime=0 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4512827 109056000 6711 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 106500 KiB
Current children cumulated memory: 26844 KiB
[startup+6.3002 s]
/proc/loadavg: 4.09 3.37 1.78 5/264 30477
/proc/meminfo: memFree=120262316/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=106500 memory=31484 CPUtime=6.27 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 8073 0 0 0 621 6 0 0 20 0 3 0 4512826 109056000 7871 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 26625 7871 2998 3035 0 10481 0
[pid=30473/tid=30475] ppid=30470 vsize=106500 memory=28368 CPUtime=6.27 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 6895 0 0 0 621 6 0 0 20 0 3 0 4512827 109056000 7871 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=106500 memory=-5155635682494671749 CPUtime=0 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4512827 109056000 7871 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 106500 KiB
Current children cumulated memory: 31484 KiB
[startup+12.7002 s]
/proc/loadavg: 4.08 3.38 1.79 5/264 30479
/proc/meminfo: memFree=120252280/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=106500 memory=33804 CPUtime=12.66 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 15204 0 0 0 1253 13 0 0 20 0 3 0 4512826 109056000 8451 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 26625 8451 2998 3035 0 11251 0
[pid=30473/tid=30475] ppid=30470 vsize=106500 memory=164 CPUtime=12.64 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 13987 0 0 0 1252 12 0 0 20 0 3 0 4512827 109056000 8451 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=106500 memory=33804 CPUtime=0 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4512827 109056000 8451 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 106500 KiB
Current children cumulated memory: 33804 KiB
[startup+25.5002 s]
/proc/loadavg: 4.15 3.42 1.82 5/264 30480
/proc/meminfo: memFree=120244396/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=109180 memory=43416 CPUtime=25.41 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 27615 0 0 0 2516 25 0 0 20 0 3 0 4512826 111800320 10854 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 27295 10854 3014 3035 0 13344 0
[pid=30473/tid=30475] ppid=30470 vsize=109180 memory=39944 CPUtime=25.4 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 26328 0 0 0 2515 25 0 0 20 0 3 0 4512827 111800320 10854 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=109180 memory=11592 CPUtime=0 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4512827 111800320 10854 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 109180 KiB
Current children cumulated memory: 43416 KiB
[startup+51.1058 s]
/proc/loadavg: 4.09 3.47 1.89 5/264 30483
/proc/meminfo: memFree=120217632/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=115232 memory=66728 CPUtime=50.95 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 56832 0 0 0 5043 52 0 0 20 0 3 0 4512826 117997568 16682 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 28808 16682 3014 3035 0 19372 0
[pid=30473/tid=30475] ppid=30470 vsize=115232 memory=64072 CPUtime=50.93 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 55478 0 0 0 5042 51 0 0 20 0 3 0 4512827 117997568 16682 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=115232 memory=46168 CPUtime=0 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4512827 117997568 16682 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 115232 KiB
Current children cumulated memory: 66728 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 3.59 2.02 5/263 30493
/proc/meminfo: memFree=120159204/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=128516 memory=101824 CPUtime=101.99 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 109719 0 0 0 10087 112 0 0 20 0 3 0 4512826 131600384 25456 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 32129 25456 3014 3035 0 28401 0
[pid=30473/tid=30475] ppid=30470 vsize=128516 memory=13328 CPUtime=101.98 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 108291 0 0 0 10086 112 0 0 20 0 3 0 4512827 131600384 25456 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=128516 memory=98664 CPUtime=0 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4512827 131600384 25456 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 128516 KiB
Current children cumulated memory: 101824 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 3.68 2.15 5/265 30508
/proc/meminfo: memFree=120104452/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=207420 memory=131328 CPUtime=161.82 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 148321 0 0 0 16008 174 0 0 20 0 3 0 4512826 212398080 32832 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 51855 32832 3014 3035 0 36219 0
[pid=30473/tid=30475] ppid=30470 vsize=207420 memory=128520 CPUtime=161.8 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 146844 0 0 0 16006 174 0 0 20 0 3 0 4512827 212398080 32832 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=207420 memory=130604 CPUtime=0 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4512827 212398080 32832 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 207420 KiB
################
# More data... #
################
/proc/30473/statm: 280372 255574 3014 3035 0 260771 0
[pid=30473/tid=30475] ppid=30470 vsize=1121488 memory=1005008 CPUtime=3390.66 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 1906434 0 0 0 336122 2944 0 0 20 0 3 0 4512827 1148403712 255574 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=1121488 memory=1021784 CPUtime=0.02 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 92 0 0 0 0 2 0 0 20 0 3 0 4512827 1148403712 255574 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 3390.88 s
Current children cumulated vsize: 1121488 KiB
Current children cumulated memory: 1022296 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.11 4.06 5/264 32429
/proc/meminfo: memFree=118765780/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=1129220 memory=1040572 CPUtime=3450.7 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 1928169 0 0 0 342064 3006 0 0 20 0 3 0 4512826 1156321280 260143 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 282305 260143 3014 3035 0 265309 0
[pid=30473/tid=30475] ppid=30470 vsize=1129220 memory=1005008 CPUtime=3450.49 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 1925771 0 0 0 342046 3003 0 0 20 0 3 0 4512827 1156321280 260143 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=1129220 memory=11592 CPUtime=0.02 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 93 0 0 0 0 2 0 0 20 0 3 0 4512827 1156321280 260143 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 3450.7 s
Current children cumulated vsize: 1129220 KiB
Current children cumulated memory: 1040572 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.12 4.07 5/264 32440
/proc/meminfo: memFree=118729716/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=1135008 memory=1054196 CPUtime=3510.54 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 1951397 0 0 0 347999 3055 0 0 20 0 3 0 4512826 1162248192 263549 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 283752 263549 3014 3035 0 268840 0
[pid=30473/tid=30475] ppid=30470 vsize=1135008 memory=11592 CPUtime=3510.31 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 1948986 0 0 0 347980 3051 0 0 20 0 3 0 4512827 1162248192 263549 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=1135008 memory=1044888 CPUtime=0.02 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 94 0 0 0 0 2 0 0 20 0 3 0 4512827 1162248192 263549 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 3510.54 s
Current children cumulated vsize: 1135008 KiB
Current children cumulated memory: 1054196 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.12 4.07 5/264 32452
/proc/meminfo: memFree=118697724/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=1139068 memory=1064584 CPUtime=3570.37 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 1968703 0 0 0 353942 3095 0 0 20 0 3 0 4512826 1166405632 266146 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 284767 266146 3014 3035 0 271407 0
[pid=30473/tid=30475] ppid=30470 vsize=1139068 memory=1064516 CPUtime=3570.15 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 1966278 0 0 0 353923 3092 0 0 20 0 3 0 4512827 1166405632 266146 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=1139068 memory=11592 CPUtime=0.02 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 94 0 0 0 0 2 0 0 20 0 3 0 4512827 1166405632 266146 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 3570.37 s
Current children cumulated vsize: 1139068 KiB
Current children cumulated memory: 1064584 KiB
[startup+3599.81 s]
# the end of solver process 30473 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3556.74 s, system=31.1045 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.17 4.12 4.07 5/264 32452
/proc/meminfo: memFree=118697332/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=1139068 memory=1064968 CPUtime=3572.07 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 1969709 0 0 0 354111 3096 0 0 20 0 3 0 4512826 1166405632 266242 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 284767 266242 3014 3035 0 271535 0
[pid=30473/tid=30475] ppid=30470 vsize=1139068 memory=-5155633513552833413 CPUtime=3571.84 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 1967284 0 0 0 354092 3092 0 0 20 0 3 0 4512827 1166405632 266242 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=1139068 memory=4282525893937229466 CPUtime=0.02 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 94 0 0 0 0 2 0 0 20 0 3 0 4512827 1166405632 266242 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 3572.07 s
Current children cumulated vsize: 1139068 KiB
Current children cumulated memory: 1064968 KiB
[startup+3590.4 s]
/proc/loadavg: 4.24 4.14 4.08 5/264 32452
/proc/meminfo: memFree=118696188/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=1139648 memory=1066008 CPUtime=3578.45 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 1970031 0 0 0 354744 3101 0 0 20 0 3 0 4512826 1166999552 266502 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 284912 266502 3014 3035 0 271777 0
[pid=30473/tid=30475] ppid=30470 vsize=1139648 memory=1064728 CPUtime=3578.22 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 1967606 0 0 0 354725 3097 0 0 20 0 3 0 4512827 1166999552 266502 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=1139648 memory=1064516 CPUtime=0.02 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 94 0 0 0 0 2 0 0 20 0 3 0 4512827 1166999552 266502 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 3578.45 s
Current children cumulated vsize: 1139648 KiB
Current children cumulated memory: 1066008 KiB
[startup+3596.8 s]
/proc/loadavg: 4.22 4.14 4.08 5/264 32454
/proc/meminfo: memFree=118695008/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=1139648 memory=1066776 CPUtime=3584.83 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 1971924 0 0 0 355379 3104 0 0 20 0 3 0 4512826 1166999552 266694 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 284912 266694 3014 3035 0 271953 0
[pid=30473/tid=30475] ppid=30470 vsize=1139648 memory=1066008 CPUtime=3584.61 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 1969498 0 0 0 355360 3101 0 0 20 0 3 0 4512827 1166999552 266694 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=1139648 memory=1063972 CPUtime=0.02 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 95 0 0 0 0 2 0 0 20 0 3 0 4512827 1166999552 266694 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 3584.83 s
Current children cumulated vsize: 1139648 KiB
Current children cumulated memory: 1066776 KiB
[startup+3598.4 s]
/proc/loadavg: 4.20 4.13 4.08 5/264 32454
/proc/meminfo: memFree=118694476/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=1107168 memory=1029172 CPUtime=3586.43 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 2011315 0 0 0 355536 3107 0 0 20 0 3 0 4512826 1133740032 257293 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 276792 257293 3014 3035 0 264248 0
[pid=30473/tid=30475] ppid=30470 vsize=1107168 memory=1066776 CPUtime=3586.19 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 2008888 0 0 0 355516 3103 0 0 20 0 3 0 4512827 1133740032 257293 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=1107168 memory=12852 CPUtime=0.02 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 95 0 0 0 0 2 0 0 20 0 3 0 4512827 1133740032 257293 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 3586.43 s
Current children cumulated vsize: 1107168 KiB
Current children cumulated memory: 1029172 KiB
[startup+3599.2 s]
/proc/loadavg: 4.20 4.13 4.08 5/264 32454
/proc/meminfo: memFree=118850516/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=923508 memory=845512 CPUtime=3587.22 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 2021211 0 0 0 355614 3108 0 0 20 0 3 0 4512826 945672192 211378 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 230877 211378 3014 3035 0 218333 0
[pid=30473/tid=30475] ppid=30470 vsize=923508 memory=-5155633513552833413 CPUtime=3586.99 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 2018784 0 0 0 355594 3105 0 0 20 0 3 0 4512827 945672192 211378 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=923508 memory=7150430426528057966 CPUtime=0.02 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 95 0 0 0 0 2 0 0 20 0 3 0 4512827 945672192 211378 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 3587.22 s
Current children cumulated vsize: 923508 KiB
Current children cumulated memory: 845512 KiB
[startup+3599.6 s]
/proc/loadavg: 4.20 4.13 4.08 5/264 32454
/proc/meminfo: memFree=118850516/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=818500 memory=740504 CPUtime=3587.62 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 2022151 0 0 0 355653 3109 0 0 20 0 3 0 4512826 838144000 185126 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 204625 185126 3014 3035 0 192081 0
[pid=30473/tid=30475] ppid=30470 vsize=818500 memory=13328 CPUtime=3587.4 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 2019724 0 0 0 355634 3106 0 0 20 0 3 0 4512827 838144000 185126 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=818500 memory=-7380392105938609785 CPUtime=0.02 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 95 0 0 0 0 2 0 0 20 0 3 0 4512827 838144000 185126 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 3587.62 s
Current children cumulated vsize: 818500 KiB
Current children cumulated memory: 740504 KiB
[startup+3599.8 s]
/proc/loadavg: 4.20 4.13 4.08 5/264 32454
/proc/meminfo: memFree=118850516/131524600 swapFree=131071996/131071996
[pid=30473] ppid=30470 vsize=767028 memory=682444 CPUtime=3587.82 cores=5,7
/proc/30473/stat : 30473 (fscip) S 30470 30473 30060 0 -1 1077936128 2022388 0 0 0 355673 3109 0 0 20 0 3 0 4512826 785436672 170611 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
/proc/30473/statm: 191757 170611 3014 3035 0 179213 0
[pid=30473/tid=30475] ppid=30470 vsize=767028 memory=2232 CPUtime=3587.59 cores=5,7
/proc/30473/task/30475/stat : 30475 (fscip) R 30470 30473 30060 0 -1 4194368 2019961 0 0 0 355653 3106 0 0 20 0 3 0 4512827 785436672 170611 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
[pid=30473/tid=30476] ppid=30470 vsize=767028 memory=31720 CPUtime=0.02 cores=5,7
/proc/30473/task/30476/stat : 30476 (fscip) S 30470 30473 30060 0 -1 1077936192 95 0 0 0 0 2 0 0 20 0 3 0 4512827 785436672 170611 134679101440 4194304 16623229 140725028499952 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 42516480 140725028508694 140725028508810 140725028508810 140725028515824 0
Current children cumulated CPU time: 3587.82 s
Current children cumulated vsize: 767028 KiB
Current children cumulated memory: 682444 KiB
Child status: 0
Real time (s): 3599.81
CPU time (s): 3587.85
CPU user time (s): 3556.74
CPU system time (s): 31.1045
CPU usage (%): 99.6676
Max. virtual memory (cumulated for all children) (KiB): 1139648
Max. memory (cumulated for all children) (KiB): 1067348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.74
system time used= 31.1045
maximum resident set size= 1067348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2022638
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= 10841
involuntary context switches= 4711
# summary of solver processes directly reported to runsolver:
# pid: 30473
# total CPU time (s): 3587.85
# total CPU user time (s): 3556.74
# total CPU system time (s): 31.1045
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06467 second user time and 16.1864 second system time
The end
Begin job on nodeC035 at 2024-07-31 00:38:02
IDJOB=4464347
IDBENCH=148105
IDSOLVER=3092
FILE ID=nodeC035/4464347-1722379082
RUNJOBID= nodeC035-1722378597-30073
SLURM_JOB_ID= 8249858
Free space on /tmp= 889988 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob8.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-4464347-1722379082/watcher-4464347-1722379082 -o /tmp/evaluation-result-4464347-1722379082/solver-4464347-1722379082 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722378597-30073 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464347-1722379082.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 3f61e6943d6ec76e40473bfb8d86b810
RANDOM SEED=1078368009
nodeC035.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 : 3668.138
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.79
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 : 3670.275
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.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.755
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.79
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 : 3600.420
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.92
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 : 3668.161
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.79
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 : 3672.911
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.92
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 : 3600.457
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.79
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 : 3666.638
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.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120290232 kB
MemAvailable: 128284448 kB
Buffers: 83672 kB
Cached: 8705944 kB
SwapCached: 0 kB
Active: 260316 kB
Inactive: 10408580 kB
Active(anon): 1568 kB
Inactive(anon): 1899096 kB
Active(file): 258748 kB
Inactive(file): 8509484 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28256 kB
Writeback: 0 kB
AnonPages: 1875552 kB
Mapped: 124968 kB
Shmem: 21336 kB
KReclaimable: 131616 kB
Slab: 221352 kB
SReclaimable: 131616 kB
SUnreclaim: 89736 kB
KernelStack: 4252 kB
PageTables: 13004 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1364968 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9920 kB
HardwareCorrupted: 0 kB
AnonHugePages: 782336 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: 254676 kB
DirectMap2M: 7907328 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 889960 MiB
End job on nodeC035 at 2024-07-31 01:38:02