0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.2.1 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 22392832, getVmSize() = 22392832, SCIPgetMemUsed() = 730601, SCIPgetMemTotal() = 902993, 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 = 15428266, getVmSize() = 23891968, SCIPgetMemUsed() = 854535, SCIPgetMemTotal() = 1385847, 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-4445120-1721318368
0.00/0.00 c Variables : 70 (70 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 : 70 (70 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 : 1
0.00/0.00 c logicor : 1
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.07 c 5 37043 4411 1 - 0.0000 -
10.06/10.12 c 10 75947 12177 1 - 0.0000 -
15.05/15.17 c 15 106674 18028 1 - 0.0000 -
20.13/20.21 c 20 134758 23926 1 - 0.0000 -
25.12/25.26 c 25 169543 30092 1 - 0.0000 -
30.20/30.31 c 30 206583 33637 1 - 0.0000 -
35.18/35.36 c 35 241278 37674 1 - 0.0000 -
40.27/40.41 c 40 271875 42259 1 - 0.0000 -
45.25/45.46 c 45 298895 46569 1 - 0.0000 -
50.34/50.51 c 51 339349 49950 1 - 0.0000 -
55.32/55.56 c 56 373765 53300 1 - 0.0000 -
60.41/60.61 c 61 406529 55846 1 - 0.0000 -
65.39/65.66 c 66 441541 57876 1 - 0.0000 -
70.47/70.71 c 71 472937 61066 1 - 0.0000 -
75.46/75.76 c 76 500646 64507 1 - 0.0000 -
80.54/80.81 c 81 533051 67409 1 - 0.0000 -
85.53/85.86 c 86 561038 70874 1 - 0.0000 -
90.61/90.91 c 91 592175 73679 1 - 0.0000 -
95.60/95.96 c 96 627946 76100 1 - 0.0000 -
100.69/101.01 c 101 658956 79717 1 - 0.0000 -
105.67/106.06 c 106 695409 82431 1 - 0.0000 -
110.76/111.11 c 111 731743 84484 1 - 0.0000 -
115.74/116.16 c 116 769487 86068 1 - 0.0000 -
120.82/121.21 c 121 803933 88850 1 - 0.0000 -
125.80/126.26 c 126 839927 91656 1 - 0.0000 -
130.88/131.30 c 131 871268 94960 1 - 0.0000 -
135.87/136.35 c 136 894433 98181 1 - 0.0000 -
140.96/141.40 c 141 921400 102116 1 - 0.0000 -
145.94/146.45 c 146 951853 106474 1 - 0.0000 -
151.02/151.50 c 152 977994 110425 1 - 0.0000 -
156.01/156.55 c 157 1010486 114547 1 - 0.0000 -
161.09/161.60 c 162 1039582 118413 1 - 0.0000 -
166.18/166.70 c 167 1070584 121644 1 - 0.0000 -
171.16/171.75 c 172 1094242 124578 1 - 0.0000 -
176.25/176.82 c 177 1116777 127317 1 - 0.0000 -
181.24/181.87 c 182 1145867 129817 1 - 0.0000 -
186.32/186.92 c 187 1178843 132682 1 - 0.0000 -
191.30/191.99 c 192 1207465 135557 1 - 0.0000 -
196.40/197.04 c 197 1236173 138729 1 - 0.0000 -
201.47/202.11 c 202 1256519 141727 1 - 0.0000 -
206.46/207.19 c 207 1273313 144025 1 - 0.0000 -
211.54/212.29 c 212 1290175 146393 1 - 0.0000 -
216.62/217.34 c 217 1305742 149488 1 - 0.0000 -
221.72/222.45 c 222 1322424 152292 1 - 0.0000 -
226.79/227.53 c 228 1343835 154819 1 - 0.0000 -
231.79/232.58 c 233 1365029 157713 1 - 0.0000 -
236.86/237.66 c 238 1392763 160426 1 - 0.0000 -
241.95/242.74 c 243 1417437 163248 1 - 0.0000 -
246.93/247.79 c 248 1449064 165606 1 - 0.0000 -
252.02/252.84 c 253 1468175 168445 1 - 0.0000 -
257.01/257.89 c 258 1494432 171232 1 - 0.0000 -
262.09/262.94 c 263 1517867 173545 1 - 0.0000 -
267.08/267.99 c 268 1538150 176366 1 - 0.0000 -
272.16/273.04 c 273 1558883 178449 1 - 0.0000 -
277.15/278.09 c 278 1586663 180885 1 - 0.0000 -
282.24/283.16 c 283 1611634 183158 1 - 0.0000 -
287.32/288.22 c 288 1637728 185704 1 - 0.0000 -
292.29/293.27 c 293 1669226 188388 1 - 0.0000 -
297.38/298.35 c 298 1699383 191187 1 - 0.0000 -
302.46/303.45 c 303 1726116 193420 1 - 0.0000 -
307.55/308.55 c 309 1752681 195725 1 - 0.0000 -
312.63/313.60 c 314 1783619 198515 1 - 0.0000 -
317.62/318.69 c 319 1810136 201310 1 - 0.0000 -
322.71/323.74 c 324 1838502 204242 1 - 0.0000 -
327.69/328.79 c 329 1868783 206269 1 - 0.0000 -
332.78/333.84 c 334 1902167 208995 1 - 0.0000 -
337.86/338.92 c 339 1934231 211919 1 - 0.0000 -
342.85/343.97 c 344 1964083 214181 1 - 0.0000 -
348.03/349.13 c 349 1987831 217107 1 - 0.0000 -
353.02/354.18 c 354 2017726 219708 1 - 0.0000 -
358.20/359.33 c 359 2047975 221823 1 - 0.0000 -
363.18/364.38 c 364 2076869 224413 1 - 0.0000 -
368.27/369.44 c 369 2106238 227314 1 - 0.0000 -
373.25/374.49 c 374 2135855 229732 1 - 0.0000 -
378.33/379.54 c 380 2166401 232150 1 - 0.0000 -
383.42/384.64 c 385 2192067 234204 1 - 0.0000 -
388.51/389.71 c 390 2219883 236134 1 - 0.0000 -
393.59/394.82 c 395 2248545 239304 1 - 0.0000 -
398.57/399.87 c 400 2277776 241703 1 - 0.0000 -
403.77/405.07 c 405 2309415 245208 1 - 0.0000 -
408.94/410.23 c 410 2334048 247788 1 - 0.0000 -
413.93/415.28 c 415 2366766 250230 1 - 0.0000 -
419.02/420.33 c 420 2393278 252902 1 - 0.0000 -
424.00/425.38 c 425 2423865 255286 1 - 0.0000 -
429.08/430.47 c 430 2455494 258141 1 - 0.0000 -
434.18/435.57 c 436 2490063 260502 1 - 0.0000 -
439.26/440.62 c 441 2525391 263439 1 - 0.0000 -
444.24/445.69 c 446 2555894 265967 1 - 0.0000 -
449.43/450.84 c 451 2575151 268300 1 - 0.0000 -
454.51/455.90 c 456 2601133 270648 1 - 0.0000 -
459.49/460.95 c 461 2630213 273586 1 - 0.0000 -
464.78/466.21 c 466 2650220 276031 1 - 0.0000 -
469.77/471.29 c 471 2678387 278346 1 - 0.0000 -
474.85/476.35 c 476 2697590 280325 1 - 0.0000 -
479.94/481.48 c 481 2722063 282334 1 - 0.0000 -
485.02/486.56 c 487 2745403 284964 1 - 0.0000 -
490.10/491.62 c 492 2771357 287503 1 - 0.0000 -
495.09/496.67 c 497 2798776 290195 1 - 0.0000 -
500.28/501.83 c 502 2821263 292564 1 - 0.0000 -
505.46/507.01 c 507 2844937 294812 1 - 0.0000 -
510.64/512.21 c 512 2868586 297114 1 - 0.0000 -
515.73/517.38 c 517 2898312 299853 1 - 0.0000 -
520.81/522.43 c 522 2921258 301988 1 - 0.0000 -
526.00/527.60 c 528 2949163 305062 1 - 0.0000 -
531.08/532.75 c 533 2976576 307867 1 - 0.0000 -
536.17/537.81 c 538 3002681 310007 1 - 0.0000 -
541.15/542.86 c 543 3030996 312138 1 - 0.0000 -
546.24/547.92 c 548 3051015 314111 1 - 0.0000 -
551.22/552.97 c 553 3075153 315955 1 - 0.0000 -
556.41/558.18 c 558 3097880 318168 1 - 0.0000 -
561.48/563.23 c 563 3123508 320745 1 - 0.0000 -
566.57/568.30 c 568 3148509 323251 1 - 0.0000 -
571.65/573.49 c 573 3171329 325550 1 - 0.0000 -
576.74/578.57 c 579 3197756 328313 1 - 0.0000 -
581.93/583.75 c 584 3212483 330578 1 - 0.0000 -
587.22/589.03 c 589 3229701 332490 1 - 0.0000 -
592.30/594.18 c 594 3255063 334559 1 - 0.0000 -
597.48/599.34 c 599 3276331 336772 1 - 0.0000 -
602.46/604.39 c 604 3307782 339516 1 - 0.0000 -
607.85/609.78 c 610 3321343 341201 1 - 0.0000 -
613.14/615.02 c 615 3331019 342625 1 - 0.0000 -
618.42/620.31 c 620 3340945 344409 1 - 0.0000 -
623.60/625.52 c 626 3350573 346023 1 - 0.0000 -
628.89/630.86 c 631 3362515 347955 1 - 0.0000 -
634.08/636.09 c 636 3375548 350022 1 - 0.0000 -
639.26/641.28 c 641 3399983 350981 1 - 0.0000 -
644.34/646.33 c 646 3433110 352154 1 - 0.0000 -
649.44/651.44 c 651 3455889 353857 1 - 0.0000 -
654.72/656.70 c 657 3477239 355299 1 - 0.0000 -
659.80/661.81 c 662 3505244 356976 1 - 0.0000 -
664.79/666.86 c 667 3531074 358992 1 - 0.0000 -
669.97/672.00 c 672 3558168 361511 1 - 0.0000 -
674.96/677.05 c 677 3595579 364113 1 - 0.0000 -
680.14/682.23 c 682 3622368 366487 1 - 0.0000 -
685.42/687.50 c 688 3641071 368364 1 - 0.0000 -
690.40/692.56 c 693 3667206 370218 1 - 0.0000 -
695.49/697.61 c 698 3697586 372359 1 - 0.0000 -
700.88/703.04 c 703 3724003 374056 1 - 0.0000 -
705.87/708.09 c 708 3748834 376120 1 - 0.0000 -
710.95/713.14 c 713 3778236 378251 1 - 0.0000 -
715.94/718.19 c 718 3811504 380325 1 - 0.0000 -
721.32/723.51 c 724 3839432 382660 1 - 0.0000 -
726.40/728.64 c 729 3868980 385022 1 - 0.0000 -
731.39/733.69 c 734 3897692 387196 1 - 0.0000 -
736.47/738.74 c 739 3929462 390048 1 - 0.0000 -
741.66/743.95 c 744 3954758 392499 1 - 0.0000 -
746.94/749.23 c 749 3976987 394362 1 - 0.0000 -
751.93/754.28 c 754 4008562 397007 1 - 0.0000 -
757.01/759.39 c 759 4037169 399190 1 - 0.0000 -
762.30/764.60 c 765 4065018 401270 1 - 0.0000 -
767.38/769.79 c 770 4097376 403487 1 - 0.0000 -
772.47/774.84 c 775 4126559 405634 1 - 0.0000 -
777.44/779.89 c 780 4159161 407750 1 - 0.0000 -
782.53/784.94 c 785 4187962 409878 1 - 0.0000 -
787.63/790.09 c 790 4210472 411707 1 - 0.0000 -
792.71/795.14 c 795 4237194 413739 1 - 0.0000 -
797.79/800.23 c 800 4267383 415362 1 - 0.0000 -
803.17/805.67 c 806 4287106 417129 1 - 0.0000 -
808.26/810.72 c 811 4319360 419482 1 - 0.0000 -
813.45/815.91 c 816 4341100 421722 1 - 0.0000 -
818.53/821.02 c 821 4363651 423763 1 - 0.0000 -
823.62/826.11 c 826 4392645 426005 1 - 0.0000 -
829.00/831.50 c 832 4416617 428054 1 - 0.0000 -
833.98/836.57 c 837 4437653 429876 1 - 0.0000 -
839.07/841.68 c 842 4458267 431407 1 - 0.0000 -
844.16/846.73 c 847 4475080 433230 1 - 0.0000 -
849.14/851.78 c 852 4501320 435359 1 - 0.0000 -
854.32/856.96 c 857 4528346 437346 1 - 0.0000 -
859.71/862.36 c 862 4542054 438848 1 - 0.0000 -
864.89/867.57 c 868 4560423 440709 1 - 0.0000 -
869.98/872.68 c 873 4576055 442535 1 - 0.0000 -
875.56/878.24 c 878 4590944 444414 1 - 0.0000 -
880.85/883.52 c 884 4613979 446083 1 - 0.0000 -
885.83/888.57 c 889 4641245 448167 1 - 0.0000 -
890.92/893.62 c 894 4670712 450095 1 - 0.0000 -
896.00/898.72 c 899 4701721 452152 1 - 0.0000 -
901.09/903.88 c 904 4726640 454321 1 - 0.0000 -
906.17/908.93 c 909 4757972 456470 1 - 0.0000 -
911.66/914.40 c 914 4778365 458426 1 - 0.0000 -
916.65/919.45 c 919 4807014 460599 1 - 0.0000 -
921.73/924.50 c 924 4835092 462563 1 - 0.0000 -
926.71/929.55 c 930 4861172 464725 1 - 0.0000 -
931.80/934.60 c 935 4886632 466381 1 - 0.0000 -
936.88/939.78 c 940 4910991 468660 1 - 0.0000 -
942.17/945.08 c 945 4936710 471389 1 - 0.0000 -
947.55/950.42 c 950 4963211 473388 1 - 0.0000 -
952.54/955.47 c 955 4986392 475643 1 - 0.0000 -
957.62/960.55 c 961 5010107 477342 1 - 0.0000 -
962.70/965.65 c 966 5039567 479455 1 - 0.0000 -
967.79/970.70 c 971 5072930 481665 1 - 0.0000 -
972.97/975.93 c 976 5098772 483557 1 - 0.0000 -
977.96/980.98 c 981 5126254 485807 1 - 0.0000 -
983.14/986.13 c 986 5153780 487549 1 - 0.0000 -
988.62/991.62 c 992 5177640 489474 1 - 0.0000 -
994.21/997.23 c 997 5203260 491926 1 - 0.0000 -
999.19/1002.28 c 1002 5230552 493897 1 - 0.0000 -
1004.57/1007.61 c 1008 5263484 495946 1 - 0.0000 -
1009.76/1012.84 c 1013 5289408 498309 1 - 0.0000 -
1014.74/1017.89 c 1018 5316359 500191 1 - 0.0000 -
1020.22/1023.31 c 1023 5340663 502253 1 - 0.0000 -
1025.22/1028.36 c 1028 5372261 503970 1 - 0.0000 -
1030.30/1033.41 c 1033 5399982 505762 1 - 0.0000 -
1035.28/1038.46 c 1038 5427949 507567 1 - 0.0000 -
1040.36/1043.51 c 1044 5460390 509082 1 - 0.0000 -
1045.45/1048.67 c 1049 5478999 510549 1 - 0.0000 -
1051.03/1054.24 c 1054 5496365 511873 1 - 0.0000 -
1056.83/1060.00 c 1060 5503103 513217 1 - 0.0000 -
1062.10/1065.32 c 1065 5514370 514826 1 - 0.0000 -
1067.28/1070.53 c 1071 5540058 517238 1 - 0.0000 -
1072.37/1075.65 c 1076 5578361 520385 1 - 0.0000 -
1077.46/1080.70 c 1081 5612448 522158 1 - 0.0000 -
1082.44/1085.75 c 1086 5641170 524026 1 - 0.0000 -
1087.62/1090.95 c 1091 5669183 526047 1 - 0.0000 -
1093.01/1096.32 c 1096 5697120 527712 1 - 0.0000 -
1098.09/1101.48 c 1101 5723441 529535 1 - 0.0000 -
1103.18/1106.53 c 1107 5749511 531567 1 - 0.0000 -
1108.37/1111.70 c 1112 5776437 533269 1 - 0.0000 -
1113.34/1116.79 c 1117 5809027 535237 1 - 0.0000 -
1118.53/1121.94 c 1122 5840889 537031 1 - 0.0000 -
1123.63/1127.02 c 1127 5868292 538891 1 - 0.0000 -
1128.90/1132.30 c 1132 5897281 540674 1 - 0.0000 -
1133.98/1137.42 c 1137 5929693 542345 1 - 0.0000 -
1139.07/1142.53 c 1143 5953949 544499 1 - 0.0000 -
1144.25/1147.79 c 1148 5980451 546277 1 - 0.0000 -
1149.65/1153.11 c 1153 5985973 547153 1 - 0.0000 -
1155.02/1158.51 c 1158 5996013 548401 1 - 0.0000 -
1160.21/1163.77 c 1164 6003494 549392 1 - 0.0000 -
1165.50/1169.04 c 1169 6010550 550298 1 - 0.0000 -
1170.68/1174.22 c 1174 6018095 551353 1 - 0.0000 -
1175.86/1179.47 c 1179 6025486 552496 1 - 0.0000 -
1181.05/1184.66 c 1185 6035070 553714 1 - 0.0000 -
1186.24/1189.89 c 1190 6046844 554912 1 - 0.0000 -
1191.62/1195.22 c 1195 6057033 556125 1 - 0.0000 -
1196.90/1200.58 c 1201 6065512 557260 1 - 0.0000 -
1202.39/1206.01 c 1206 6074155 558517 1 - 0.0000 -
1207.58/1211.22 c 1211 6087742 559762 1 - 0.0000 -
1212.56/1216.27 c 1216 6116302 562402 1 - 0.0000 -
1217.94/1221.63 c 1222 6144003 563805 1 - 0.0000 -
1223.44/1227.16 c 1227 6166224 564634 1 - 0.0000 -
1228.51/1232.21 c 1232 6200842 566188 1 - 0.0000 -
1233.70/1237.40 c 1237 6226273 568103 1 - 0.0000 -
1238.78/1242.50 c 1242 6252240 569534 1 - 0.0000 -
1243.86/1247.67 c 1248 6273491 571031 1 - 0.0000 -
1248.95/1252.72 c 1253 6296033 572734 1 - 0.0000 -
1254.03/1257.89 c 1258 6317970 574963 1 - 0.0000 -
1259.22/1263.07 c 1263 6338707 576562 1 - 0.0000 -
1264.50/1268.30 c 1268 6370068 578300 1 - 0.0000 -
1269.59/1273.44 c 1273 6394821 579426 1 - 0.0000 -
1274.57/1278.49 c 1278 6421341 581400 1 - 0.0000 -
1279.96/1283.80 c 1284 6450712 583418 1 - 0.0000 -
1285.04/1288.95 c 1289 6480284 585156 1 - 0.0000 -
1290.13/1294.05 c 1294 6509584 586783 1 - 0.0000 -
1295.22/1299.13 c 1299 6538607 588344 1 - 0.0000 -
1300.49/1304.44 c 1304 6564855 589884 1 - 0.0000 -
1305.68/1309.60 c 1310 6588953 591651 1 - 0.0000 -
1310.77/1314.76 c 1315 6617783 593273 1 - 0.0000 -
1315.86/1319.81 c 1320 6644808 594824 1 - 0.0000 -
1320.94/1324.93 c 1325 6675378 596677 1 - 0.0000 -
1326.42/1330.45 c 1330 6690774 597927 1 - 0.0000 -
1331.90/1335.90 c 1336 6714200 599672 1 - 0.0000 -
1337.00/1341.08 c 1341 6741168 601137 1 - 0.0000 -
1342.18/1346.27 c 1346 6772498 602814 1 - 0.0000 -
1347.26/1351.32 c 1351 6797947 604217 1 - 0.0000 -
1352.34/1356.43 c 1356 6821518 605888 1 - 0.0000 -
1357.33/1361.48 c 1361 6850547 607572 1 - 0.0000 -
1362.62/1366.75 c 1367 6877339 609084 1 - 0.0000 -
1367.70/1371.80 c 1372 6907679 610970 1 - 0.0000 -
1372.68/1376.85 c 1377 6938756 612800 1 - 0.0000 -
1377.77/1381.92 c 1382 6967838 614568 1 - 0.0000 -
1382.76/1386.97 c 1387 6998607 616155 1 - 0.0000 -
1387.84/1392.08 c 1392 7027054 618170 1 - 0.0000 -
1392.93/1397.13 c 1397 7060052 620145 1 - 0.0000 -
1398.21/1402.41 c 1402 7081256 621997 1 - 0.0000 -
1403.49/1407.78 c 1408 7105030 624057 1 - 0.0000 -
1408.67/1412.96 c 1413 7127485 624972 1 - 0.0000 -
1413.76/1418.06 c 1418 7158423 626416 1 - 0.0000 -
1419.54/1423.85 c 1424 7171620 627693 1 - 0.0000 -
1424.73/1429.05 c 1429 7191944 629823 1 - 0.0000 -
1429.82/1434.14 c 1434 7220792 631633 1 - 0.0000 -
1434.90/1439.21 c 1439 7248993 633722 1 - 0.0000 -
1440.18/1444.56 c 1445 7269750 635150 1 - 0.0000 -
1445.96/1450.34 c 1450 7297506 637084 1 - 0.0000 -
1451.05/1455.50 c 1456 7325155 638574 1 - 0.0000 -
1456.24/1460.66 c 1461 7347135 640092 1 - 0.0000 -
1461.32/1465.71 c 1466 7377620 641625 1 - 0.0000 -
1466.80/1471.27 c 1471 7397072 643271 1 - 0.0000 -
1472.39/1476.80 c 1477 7410296 644381 1 - 0.0000 -
1477.37/1481.87 c 1482 7426491 645812 1 - 0.0000 -
1482.96/1487.47 c 1487 7457053 647921 1 - 0.0000 -
1488.25/1492.74 c 1493 7485594 649499 1 - 0.0000 -
1493.23/1497.79 c 1498 7516390 651526 1 - 0.0000 -
1498.31/1502.87 c 1503 7544215 652839 1 - 0.0000 -
1503.40/1507.92 c 1508 7575093 654596 1 - 0.0000 -
1508.48/1513.00 c 1513 7606263 656088 1 - 0.0000 -
1513.47/1518.05 c 1518 7637174 657351 1 - 0.0000 -
1518.46/1523.10 c 1523 7668120 658805 1 - 0.0000 -
1523.64/1528.21 c 1528 7696514 660454 1 - 0.0000 -
1528.62/1533.26 c 1533 7724804 661914 1 - 0.0000 -
1533.70/1538.37 c 1538 7753283 663309 1 - 0.0000 -
1538.79/1543.48 c 1543 7782474 664691 1 - 0.0000 -
1543.97/1548.60 c 1549 7811899 666182 1 - 0.0000 -
1549.36/1554.10 c 1554 7842464 667969 1 - 0.0000 -
1554.44/1559.18 c 1559 7871948 669683 1 - 0.0000 -
1559.53/1564.23 c 1564 7897890 671071 1 - 0.0000 -
1564.61/1569.35 c 1569 7928463 672939 1 - 0.0000 -
1569.89/1574.66 c 1575 7959360 674669 1 - 0.0000 -
1575.68/1580.45 c 1580 7981123 676467 1 - 0.0000 -
1580.97/1585.76 c 1586 8009753 678491 1 - 0.0000 -
1586.15/1590.99 c 1591 8031706 680398 1 - 0.0000 -
1591.43/1596.28 c 1596 8060997 682417 1 - 0.0000 -
1596.82/1601.65 c 1602 8091243 684426 1 - 0.0000 -
1602.30/1607.11 c 1607 8125401 686143 1 - 0.0000 -
1607.29/1612.16 c 1612 8149815 687974 1 - 0.0000 -
1612.87/1617.70 c 1618 8167046 689515 1 - 0.0000 -
1618.56/1623.41 c 1623 8182494 690993 1 - 0.0000 -
1623.84/1628.74 c 1629 8207799 692026 1 - 0.0000 -
1629.43/1634.35 c 1634 8218490 693343 1 - 0.0000 -
1634.71/1639.68 c 1640 8228282 694623 1 - 0.0000 -
1639.99/1644.91 c 1645 8240750 695793 1 - 0.0000 -
1645.28/1650.26 c 1650 8257508 697215 1 - 0.0000 -
1650.67/1655.68 c 1656 8269630 698965 1 - 0.0000 -
1656.25/1661.23 c 1661 8281443 700430 1 - 0.0000 -
1661.43/1666.47 c 1666 8288377 701276 1 - 0.0000 -
1666.92/1671.98 c 1672 8296930 702311 1 - 0.0000 -
1672.12/1677.10 c 1677 8317243 703802 1 - 0.0000 -
1677.29/1682.33 c 1682 8329787 705140 1 - 0.0000 -
1682.27/1687.38 c 1687 8362253 706954 1 - 0.0000 -
1687.36/1692.43 c 1692 8395413 707334 1 - 0.0000 -
1692.85/1697.95 c 1698 8414883 708840 1 - 0.0000 -
1698.24/1703.31 c 1703 8444750 710727 1 - 0.0000 -
1703.22/1708.37 c 1708 8470413 712802 1 - 0.0000 -
1708.50/1713.60 c 1714 8499042 714503 1 - 0.0000 -
1714.09/1719.25 c 1719 8524209 716232 1 - 0.0000 -
1719.37/1724.50 c 1724 8534808 717691 1 - 0.0000 -
1724.76/1729.96 c 1730 8545537 718880 1 - 0.0000 -
1730.04/1735.22 c 1735 8558233 720326 1 - 0.0000 -
1735.63/1740.85 c 1741 8571993 722106 1 - 0.0000 -
1741.22/1746.42 c 1746 8580883 723412 1 - 0.0000 -
1747.10/1752.36 c 1752 8589973 724754 1 - 0.0000 -
1752.49/1757.74 c 1758 8598989 726064 1 - 0.0000 -
1758.46/1763.75 c 1764 8606123 727130 1 - 0.0000 -
1763.95/1769.20 c 1769 8617083 728666 1 - 0.0000 -
1769.34/1774.68 c 1775 8629756 730353 1 - 0.0000 -
1774.73/1780.06 c 1780 8640935 731776 1 - 0.0000 -
1780.11/1785.44 c 1785 8656333 733736 1 - 0.0000 -
1785.40/1790.71 c 1791 8670986 735173 1 - 0.0000 -
1790.69/1796.00 c 1796 8689763 736848 1 - 0.0000 -
1796.27/1801.60 c 1802 8701113 738286 1 - 0.0000 -
1801.85/1807.26 c 1807 8725870 739363 1 - 0.0000 -
1807.03/1812.47 c 1812 8744327 740026 1 - 0.0000 -
1812.12/1817.56 c 1818 8760023 741476 1 - 0.0000 -
1817.21/1822.68 c 1823 8770817 742688 1 - 0.0000 -
1822.29/1827.73 c 1828 8796189 744166 1 - 0.0000 -
1827.28/1832.78 c 1833 8827311 745634 1 - 0.0000 -
1832.36/1837.87 c 1838 8848706 747440 1 - 0.0000 -
1837.75/1843.26 c 1843 8866537 749179 1 - 0.0000 -
1842.93/1848.44 c 1848 8894945 751479 1 - 0.0000 -
1848.02/1853.54 c 1854 8916660 753678 1 - 0.0000 -
1853.40/1858.94 c 1859 8944657 755935 1 - 0.0000 -
1858.38/1863.99 c 1864 8973339 757899 1 - 0.0000 -
1863.57/1869.16 c 1869 9001070 760422 1 - 0.0000 -
1869.05/1874.62 c 1875 9028691 762857 1 - 0.0000 -
1874.03/1879.67 c 1880 9058834 765866 1 - 0.0000 -
1879.22/1884.86 c 1885 9085479 768247 1 - 0.0000 -
1884.31/1889.91 c 1890 9113624 770498 1 - 0.0000 -
1889.29/1894.96 c 1895 9140525 772795 1 - 0.0000 -
1894.39/1900.04 c 1900 9176337 775927 1 - 0.0000 -
1899.37/1905.09 c 1905 9205433 777732 1 - 0.0000 -
1904.65/1910.32 c 1910 9234123 780034 1 - 0.0000 -
1910.34/1916.06 c 1916 9261018 781951 1 - 0.0000 -
1915.42/1921.17 c 1921 9294402 783751 1 - 0.0000 -
1920.90/1926.62 c 1927 9321868 785981 1 - 0.0000 -
1925.99/1931.72 c 1932 9348608 787785 1 - 0.0000 -
1930.97/1936.77 c 1937 9381515 789614 1 - 0.0000 -
1936.06/1941.82 c 1942 9416117 791992 1 - 0.0000 -
1941.14/1946.92 c 1947 9443762 793519 1 - 0.0000 -
1946.12/1951.97 c 1952 9473197 794756 1 - 0.0000 -
1951.32/1957.18 c 1957 9499420 796176 1 - 0.0000 -
1956.60/1962.46 c 1962 9529822 797750 1 - 0.0000 -
1961.89/1967.74 c 1968 9558157 799553 1 - 0.0000 -
1967.07/1972.90 c 1973 9584053 801011 1 - 0.0000 -
1972.36/1978.22 c 1978 9612367 802883 1 - 0.0000 -
1978.04/1983.91 c 1984 9625770 803962 1 - 0.0000 -
1983.13/1989.08 c 1989 9649284 805398 1 - 0.0000 -
1988.41/1994.39 c 1994 9680231 807120 1 - 0.0000 -
1993.89/1999.88 c 2000 9707570 808395 1 - 0.0000 -
1999.18/2005.18 c 2005 9729320 809982 1 - 0.0000 -
2004.67/2010.67 c 2011 9748743 810972 1 - 0.0000 -
2009.95/2015.94 c 2016 9765690 812669 1 - 0.0000 -
2015.04/2021.06 c 2021 9784570 814587 1 - 0.0000 -
2020.72/2026.77 c 2027 9808035 816456 1 - 0.0000 -
2025.80/2031.82 c 2032 9839960 817785 1 - 0.0000 -
2031.39/2037.41 c 2037 9868973 819779 1 - 0.0000 -
2036.67/2042.70 c 2043 9892228 821095 1 - 0.0000 -
2041.86/2047.92 c 2048 9909693 822717 1 - 0.0000 -
2047.54/2053.65 c 2054 9916785 823589 1 - 0.0000 -
2053.13/2059.20 c 2059 9926656 824772 1 - 0.0000 -
2058.22/2064.30 c 2064 9932363 825496 1 - 0.0000 -
2063.51/2069.63 c 2070 9947512 827127 1 - 0.0000 -
2068.79/2074.95 c 2075 9967349 829478 1 - 0.0000 -
2074.47/2080.63 c 2081 9984161 831332 1 - 0.0000 -
2080.06/2086.23 c 2086 10002827 833002 1 - 0.0000 -
2085.25/2091.46 c 2091 10020515 834554 1 - 0.0000 -
2091.23/2097.45 c 2097 10044562 836497 1 - 0.0000 -
2096.31/2102.56 c 2103 10069096 838790 1 - 0.0000 -
2102.09/2108.34 c 2108 10089949 840600 1 - 0.0000 -
2107.68/2113.91 c 2114 10115464 843231 1 - 0.0000 -
2112.66/2118.92 c 2119 10132775 845296 1 - 0.0000 -
2117.75/2124.01 c 2124 10162216 847321 1 - 0.0000 -
2123.23/2129.59 c 2130 10196253 849841 1 - 0.0000 -
2128.32/2134.64 c 2135 10218313 851561 1 - 0.0000 -
2133.50/2139.86 c 2140 10254193 853727 1 - 0.0000 -
2139.08/2145.46 c 2145 10283669 855569 1 - 0.0000 -
2144.87/2151.20 c 2151 10308123 858156 1 - 0.0000 -
2150.05/2156.43 c 2156 10336724 859359 1 - 0.0000 -
2155.54/2161.96 c 2162 10363517 861012 1 - 0.0000 -
2160.63/2167.01 c 2167 10403748 863385 1 - 0.0000 -
2166.10/2172.51 c 2173 10437143 865530 1 - 0.0000 -
2171.88/2178.36 c 2178 10463433 867258 1 - 0.0000 -
2177.17/2183.62 c 2184 10486139 868756 1 - 0.0000 -
2182.26/2188.78 c 2189 10512754 870422 1 - 0.0000 -
2187.55/2194.06 c 2194 10533961 871977 1 - 0.0000 -
2192.73/2199.20 c 2199 10564990 873772 1 - 0.0000 -
2197.91/2204.42 c 2204 10590130 875047 1 - 0.0000 -
2203.00/2209.54 c 2210 10616093 877225 1 - 0.0000 -
2208.39/2214.99 c 2215 10641467 878924 1 - 0.0000 -
2213.87/2220.42 c 2220 10661186 880381 1 - 0.0000 -
2219.35/2225.95 c 2226 10672280 881751 1 - 0.0000 -
2224.83/2231.46 c 2231 10685906 883056 1 - 0.0000 -
2230.22/2236.89 c 2237 10703143 884682 1 - 0.0000 -
2235.60/2242.22 c 2242 10731113 886906 1 - 0.0000 -
2241.19/2247.85 c 2248 10764848 888488 1 - 0.0000 -
2246.27/2252.92 c 2253 10798173 890439 1 - 0.0000 -
2251.86/2258.53 c 2259 10820477 892290 1 - 0.0000 -
2257.14/2263.90 c 2264 10834283 893509 1 - 0.0000 -
2263.03/2269.71 c 2270 10845619 894713 1 - 0.0000 -
2268.32/2275.06 c 2275 10860197 895955 1 - 0.0000 -
2273.59/2280.30 c 2280 10881031 897179 1 - 0.0000 -
2278.78/2285.55 c 2286 10907007 898820 1 - 0.0000 -
2283.97/2290.71 c 2291 10929476 900506 1 - 0.0000 -
2288.95/2295.76 c 2296 10957585 901460 1 - 0.0000 -
2294.04/2300.81 c 2301 10988543 902000 1 - 0.0000 -
2299.82/2306.60 c 2307 11003769 903885 1 - 0.0000 -
2304.90/2311.74 c 2312 11031513 906441 1 - 0.0000 -
2310.39/2317.23 c 2317 11056701 908367 1 - 0.0000 -
2315.57/2322.44 c 2322 11067418 909504 1 - 0.0000 -
2321.17/2328.04 c 2328 11086868 910806 1 - 0.0000 -
2326.84/2333.75 c 2334 11109287 912201 1 - 0.0000 -
2332.52/2339.48 c 2339 11129829 913593 1 - 0.0000 -
2337.81/2344.74 c 2345 11159219 914585 1 - 0.0000 -
2342.90/2349.88 c 2350 11173968 915738 1 - 0.0000 -
2348.48/2355.43 c 2355 11198354 917246 1 - 0.0000 -
2353.67/2360.65 c 2361 11228597 919210 1 - 0.0000 -
2359.15/2366.14 c 2366 11250813 920643 1 - 0.0000 -
2364.73/2371.73 c 2372 11279914 922098 1 - 0.0000 -
2370.12/2377.13 c 2377 11305395 923883 1 - 0.0000 -
2375.31/2382.32 c 2382 11326855 925713 1 - 0.0000 -
2381.29/2388.31 c 2388 11344024 927504 1 - 0.0000 -
2386.38/2393.45 c 2393 11362857 929591 1 - 0.0000 -
2391.76/2398.80 c 2399 11385483 931739 1 - 0.0000 -
2397.14/2404.26 c 2404 11412080 934232 1 - 0.0000 -
2402.82/2409.92 c 2410 11449793 936793 1 - 0.0000 -
2407.91/2415.02 c 2415 11485973 939011 1 - 0.0000 -
2413.69/2420.86 c 2421 11501628 940868 1 - 0.0000 -
2420.17/2427.37 c 2427 11522378 943142 1 - 0.0000 -
2426.06/2433.20 c 2433 11549912 945740 1 - 0.0000 -
2431.54/2438.70 c 2439 11583588 948282 1 - 0.0000 -
2436.84/2444.06 c 2444 11605967 950077 1 - 0.0000 -
2442.11/2449.32 c 2449 11633845 952124 1 - 0.0000 -
2447.29/2454.59 c 2455 11657918 953880 1 - 0.0000 -
2452.58/2459.83 c 2460 11681184 955864 1 - 0.0000 -
2458.16/2465.41 c 2465 11700903 957741 1 - 0.0000 -
2463.45/2470.73 c 2471 11723226 959746 1 - 0.0000 -
2469.03/2476.35 c 2476 11744383 961672 1 - 0.0000 -
2474.21/2481.57 c 2482 11775684 964101 1 - 0.0000 -
2479.30/2486.63 c 2487 11810803 966422 1 - 0.0000 -
2484.29/2491.68 c 2492 11844077 969005 1 - 0.0000 -
2489.57/2496.91 c 2497 11872085 970908 1 - 0.0000 -
2495.06/2502.47 c 2502 11893576 972604 1 - 0.0000 -
2500.74/2508.12 c 2508 11918283 974375 1 - 0.0000 -
2506.22/2513.69 c 2514 11952574 977364 1 - 0.0000 -
2511.51/2518.92 c 2519 11976128 979876 1 - 0.0000 -
2516.89/2524.30 c 2524 12004273 982209 1 - 0.0000 -
2522.97/2530.46 c 2530 12037904 984837 1 - 0.0000 -
2529.56/2537.03 c 2537 12054371 987122 1 - 0.0000 -
2534.94/2542.45 c 2542 12072426 989533 1 - 0.0000 -
2540.72/2548.26 c 2548 12093609 992084 1 - 0.0000 -
2545.81/2553.37 c 2553 12116949 994282 1 - 0.0000 -
2551.09/2558.65 c 2559 12128034 995512 1 - 0.0000 -
2556.18/2563.79 c 2564 12148284 998021 1 - 0.0000 -
2561.26/2568.89 c 2569 12166978 1000139 1 - 0.0000 -
2566.85/2574.43 c 2574 12188335 1001926 1 - 0.0000 -
2571.93/2579.56 c 2580 12204698 1003127 1 - 0.0000 -
2577.81/2585.44 c 2585 12225498 1004560 1 - 0.0000 -
2583.10/2590.77 c 2591 12248503 1006879 1 - 0.0000 -
2588.69/2596.38 c 2596 12269744 1009085 1 - 0.0000 -
2593.77/2601.45 c 2601 12303948 1012018 1 - 0.0000 -
2598.86/2606.50 c 2606 12329789 1013618 1 - 0.0000 -
2604.35/2612.07 c 2612 12357460 1015674 1 - 0.0000 -
2609.83/2617.58 c 2618 12379684 1017511 1 - 0.0000 -
2614.91/2622.62 c 2623 12404628 1019869 1 - 0.0000 -
2620.19/2627.96 c 2628 12429564 1022128 1 - 0.0000 -
2625.38/2633.13 c 2633 12454437 1023834 1 - 0.0000 -
2630.96/2638.72 c 2639 12465593 1024730 1 - 0.0000 -
2636.05/2643.89 c 2644 12471952 1025813 1 - 0.0000 -
2641.73/2649.54 c 2650 12493584 1027683 1 - 0.0000 -
2647.12/2654.95 c 2655 12509023 1029426 1 - 0.0000 -
2652.60/2660.43 c 2660 12523577 1030610 1 - 0.0000 -
2657.89/2665.75 c 2666 12545814 1032403 1 - 0.0000 -
2662.97/2670.87 c 2671 12564628 1034037 1 - 0.0000 -
2668.16/2676.02 c 2676 12584592 1035623 1 - 0.0000 -
2673.25/2681.11 c 2681 12605573 1037054 1 - 0.0000 -
2678.33/2686.22 c 2686 12621820 1038357 1 - 0.0000 -
2684.01/2691.91 c 2692 12631497 1039452 1 - 0.0000 -
2689.30/2697.27 c 2697 12639873 1040918 1 - 0.0000 -
2694.48/2702.48 c 2702 12655581 1042852 1 - 0.0000 -
2700.37/2708.37 c 2708 12676520 1045319 1 - 0.0000 -
2705.66/2713.61 c 2714 12699061 1046916 1 - 0.0000 -
2710.75/2718.71 c 2719 12725213 1048430 1 - 0.0000 -
2716.13/2724.18 c 2724 12741552 1049251 1 - 0.0000 -
2721.41/2729.44 c 2729 12764937 1050336 1 - 0.0000 -
2727.00/2735.04 c 2735 12780808 1051505 1 - 0.0000 -
2732.18/2740.26 c 2740 12806254 1052121 1 - 0.0000 -
2737.76/2745.89 c 2746 12833957 1053870 1 - 0.0000 -
2743.45/2751.50 c 2752 12861962 1055505 1 - 0.0000 -
2748.63/2756.70 c 2757 12882637 1056856 1 - 0.0000 -
2753.62/2761.75 c 2762 12916038 1058857 1 - 0.0000 -
2758.71/2766.86 c 2767 12942886 1060451 1 - 0.0000 -
2763.99/2772.17 c 2772 12955972 1061479 1 - 0.0000 -
2769.57/2777.75 c 2778 12971933 1062816 1 - 0.0000 -
2775.16/2783.38 c 2783 12989649 1064162 1 - 0.0000 -
2780.34/2788.59 c 2789 13008154 1065833 1 - 0.0000 -
2785.53/2793.74 c 2794 13034178 1066279 1 - 0.0000 -
2790.72/2798.94 c 2799 13057868 1067547 1 - 0.0000 -
2796.30/2804.50 c 2804 13080150 1068993 1 - 0.0000 -
2801.69/2809.96 c 2810 13103634 1070421 1 - 0.0000 -
2807.37/2815.63 c 2816 13121207 1071482 1 - 0.0000 -
2812.65/2820.94 c 2821 13142201 1073020 1 - 0.0000 -
2817.75/2826.08 c 2826 13166325 1074958 1 - 0.0000 -
2823.03/2831.36 c 2831 13193213 1076826 1 - 0.0000 -
2828.22/2836.54 c 2837 13218506 1078275 1 - 0.0000 -
2833.40/2841.75 c 2842 13235695 1079546 1 - 0.0000 -
2838.79/2847.16 c 2847 13263561 1080544 1 - 0.0000 -
2843.87/2852.21 c 2852 13289437 1081598 1 - 0.0000 -
2848.86/2857.26 c 2857 13315397 1083056 1 - 0.0000 -
2853.94/2862.31 c 2862 13343398 1084681 1 - 0.0000 -
2859.03/2867.43 c 2867 13367039 1085802 1 - 0.0000 -
2864.11/2872.55 c 2873 13398450 1087467 1 - 0.0000 -
2869.29/2877.73 c 2878 13421159 1088956 1 - 0.0000 -
2875.18/2883.61 c 2884 13443076 1090691 1 - 0.0000 -
2880.26/2888.75 c 2889 13467047 1092224 1 - 0.0000 -
2885.45/2893.92 c 2894 13498379 1093936 1 - 0.0000 -
2890.73/2899.28 c 2899 13525946 1095477 1 - 0.0000 -
2895.82/2904.32 c 2904 13535114 1096481 1 - 0.0000 -
2902.20/2910.74 c 2911 13551213 1098100 1 - 0.0000 -
2908.28/2916.81 c 2917 13557057 1099088 1 - 0.0000 -
2913.47/2922.04 c 2922 13565803 1100348 1 - 0.0000 -
2918.56/2927.15 c 2927 13580606 1102041 1 - 0.0000 -
2923.64/2932.28 c 2932 13591641 1103508 1 - 0.0000 -
2929.02/2937.63 c 2938 13602961 1104780 1 - 0.0000 -
2934.42/2943.06 c 2943 13624336 1106291 1 - 0.0000 -
2939.50/2948.12 c 2948 13643031 1108240 1 - 0.0000 -
2944.78/2953.45 c 2953 13666635 1110218 1 - 0.0000 -
2949.97/2958.69 c 2959 13692595 1111132 1 - 0.0000 -
2955.25/2963.98 c 2964 13704354 1112143 1 - 0.0000 -
2961.23/2969.96 c 2970 13715238 1113275 1 - 0.0000 -
2966.62/2975.35 c 2975 13726498 1114979 1 - 0.0000 -
2971.71/2980.40 c 2980 13732621 1115846 1 - 0.0000 -
2977.29/2986.01 c 2986 13749667 1117404 1 - 0.0000 -
2982.46/2991.24 c 2991 13768084 1119085 1 - 0.0000 -
2988.05/2996.81 c 2997 13784088 1120667 1 - 0.0000 -
2993.14/3001.93 c 3002 13793459 1121858 1 - 0.0000 -
2998.23/3007.06 c 3007 13810856 1123491 1 - 0.0000 -
3004.51/3013.34 c 3013 13818157 1124528 1 - 0.0000 -
3009.79/3018.68 c 3019 13837214 1126165 1 - 0.0000 -
3015.57/3024.49 c 3024 13863160 1128083 1 - 0.0000 -
3020.65/3029.54 c 3030 13890017 1129725 1 - 0.0000 -
3025.94/3034.84 c 3035 13920975 1130960 1 - 0.0000 -
3030.93/3039.89 c 3040 13949330 1132864 1 - 0.0000 -
3036.51/3045.49 c 3045 13971783 1134687 1 - 0.0000 -
3041.70/3050.66 c 3051 13997684 1136596 1 - 0.0000 -
3046.78/3055.71 c 3056 14019846 1138322 1 - 0.0000 -
3051.86/3060.83 c 3061 14045702 1140446 1 - 0.0000 -
3057.15/3066.11 c 3066 14075481 1141679 1 - 0.0000 -
3063.03/3072.05 c 3072 14098765 1142993 1 - 0.0000 -
3068.31/3077.36 c 3077 14124270 1144444 1 - 0.0000 -
3073.39/3082.42 c 3082 14146018 1145676 1 - 0.0000 -
3078.79/3087.86 c 3088 14160918 1146752 1 - 0.0000 -
3083.87/3092.91 c 3093 14187836 1147940 1 - 0.0000 -
3089.06/3098.15 c 3098 14200893 1149007 1 - 0.0000 -
3094.14/3103.20 c 3103 14229154 1150918 1 - 0.0000 -
3099.42/3108.53 c 3109 14253251 1152635 1 - 0.0000 -
3104.91/3114.03 c 3114 14258841 1153551 1 - 0.0000 -
3110.09/3119.25 c 3119 14270453 1154687 1 - 0.0000 -
3115.18/3124.38 c 3124 14282760 1155670 1 - 0.0000 -
3120.57/3129.77 c 3130 14303091 1157181 1 - 0.0000 -
3125.86/3135.02 c 3135 14320433 1158979 1 - 0.0000 -
3130.93/3140.16 c 3140 14348953 1160810 1 - 0.0000 -
3136.92/3146.16 c 3146 14372283 1162474 1 - 0.0000 -
3142.00/3151.29 c 3151 14400042 1163923 1 - 0.0000 -
3147.09/3156.34 c 3156 14422382 1165561 1 - 0.0000 -
3152.18/3161.46 c 3161 14440084 1166759 1 - 0.0000 -
3157.55/3166.81 c 3167 14448886 1167781 1 - 0.0000 -
3163.24/3172.54 c 3173 14465613 1169576 1 - 0.0000 -
3169.02/3178.30 c 3178 14476800 1171001 1 - 0.0000 -
3174.91/3184.29 c 3184 14490134 1172387 1 - 0.0000 -
3180.90/3190.21 c 3190 14499303 1173524 1 - 0.0000 -
3187.18/3196.56 c 3197 14507873 1174714 1 - 0.0000 -
3192.77/3202.11 c 3202 14524942 1175877 1 - 0.0000 -
3198.34/3207.74 c 3208 14548843 1177742 1 - 0.0000 -
3204.22/3213.64 c 3214 14567714 1179567 1 - 0.0000 -
3210.11/3219.54 c 3220 14589729 1181954 1 - 0.0000 -
3215.59/3225.06 c 3225 14596313 1182852 1 - 0.0000 -
3221.07/3230.56 c 3231 14607641 1184416 1 - 0.0000 -
3226.45/3235.97 c 3236 14616193 1185790 1 - 0.0000 -
3231.84/3241.34 c 3241 14628992 1187717 1 - 0.0000 -
3236.93/3246.44 c 3246 14642009 1189030 1 - 0.0000 -
3242.41/3251.96 c 3252 14651598 1190235 1 - 0.0000 -
3248.00/3257.59 c 3258 14661359 1191190 1 - 0.0000 -
3253.78/3263.36 c 3263 14676923 1192502 1 - 0.0000 -
3258.97/3268.57 c 3269 14700135 1194550 1 - 0.0000 -
3264.85/3274.42 c 3274 14714190 1196171 1 - 0.0000 -
3270.43/3280.07 c 3280 14732373 1197970 1 - 0.0000 -
3275.42/3285.09 c 3285 14743421 1199171 1 - 0.0000 -
3281.30/3290.94 c 3291 14759243 1200723 1 - 0.0000 -
3287.19/3296.83 c 3297 14779033 1202555 1 - 0.0000 -
3292.67/3302.34 c 3302 14800373 1204623 1 - 0.0000 -
3298.35/3308.01 c 3308 14817072 1206706 1 - 0.0000 -
3303.83/3313.51 c 3314 14829989 1208161 1 - 0.0000 -
3308.92/3318.62 c 3319 14850664 1210002 1 - 0.0000 -
3314.20/3323.95 c 3324 14870510 1211951 1 - 0.0000 -
3319.69/3329.44 c 3329 14885116 1213237 1 - 0.0000 -
3325.17/3334.97 c 3335 14893937 1214210 1 - 0.0000 -
3330.75/3340.54 c 3341 14915998 1216115 1 - 0.0000 -
3335.94/3345.72 c 3346 14941422 1218643 1 - 0.0000 -
3341.72/3351.56 c 3352 14960526 1220481 1 - 0.0000 -
3347.50/3357.34 c 3357 14988639 1222266 1 - 0.0000 -
3352.59/3362.43 c 3362 15011875 1223808 1 - 0.0000 -
3358.47/3368.32 c 3368 15028374 1225199 1 - 0.0000 -
3363.65/3373.50 c 3374 15051663 1226872 1 - 0.0000 -
3369.34/3379.24 c 3379 15062843 1228024 1 - 0.0000 -
3374.52/3384.40 c 3384 15080230 1229447 1 - 0.0000 -
3380.00/3389.90 c 3390 15102968 1230707 1 - 0.0000 -
3384.98/3394.95 c 3395 15130599 1232536 1 - 0.0000 -
3391.07/3401.01 c 3401 15153899 1234572 1 - 0.0000 -
3396.35/3406.33 c 3406 15184957 1236724 1 - 0.0000 -
3401.63/3411.68 c 3412 15211552 1238020 1 - 0.0000 -
3406.82/3416.87 c 3417 15223038 1239122 1 - 0.0000 -
3412.01/3422.07 c 3422 15247197 1240663 1 - 0.0000 -
3417.29/3427.30 c 3427 15272767 1242109 1 - 0.0000 -
3422.37/3432.49 c 3432 15299560 1243922 1 - 0.0000 -
3427.96/3438.04 c 3438 15325654 1245662 1 - 0.0000 -
3433.44/3443.52 c 3444 15349366 1247100 1 - 0.0000 -
3438.82/3448.90 c 3449 15369904 1248658 1 - 0.0000 -
3444.10/3454.26 c 3454 15395961 1250835 1 - 0.0000 -
3449.18/3459.33 c 3459 15413498 1252396 1 - 0.0000 -
3454.77/3464.95 c 3465 15430773 1253903 1 - 0.0000 -
3460.35/3470.57 c 3471 15458283 1255701 1 - 0.0000 -
3465.54/3475.70 c 3476 15474146 1257052 1 - 0.0000 -
3470.62/3480.87 c 3481 15484307 1258864 1 - 0.0000 -
3476.51/3486.74 c 3487 15503911 1261169 1 - 0.0000 -
3481.89/3492.15 c 3492 15520230 1262846 1 - 0.0000 -
3487.77/3498.05 c 3498 15535127 1264232 1 - 0.0000 -
3493.35/3503.63 c 3504 15556443 1266039 1 - 0.0000 -
3499.33/3509.64 c 3510 15583897 1268432 1 - 0.0000 -
3504.31/3514.69 c 3515 15607301 1270595 1 - 0.0000 -
3509.70/3520.05 c 3520 15623544 1272105 1 - 0.0000 -
3515.49/3525.89 c 3526 15639480 1273434 1 - 0.0000 -
3520.87/3531.26 c 3531 15653538 1275426 1 - 0.0000 -
3525.95/3536.34 c 3536 15666262 1276756 1 - 0.0000 -
3531.14/3541.52 c 3542 15689474 1278808 1 - 0.0000 -
3536.82/3547.25 c 3547 15712866 1281004 1 - 0.0000 -
3542.00/3552.42 c 3552 15732895 1282174 1 - 0.0000 -
3548.18/3558.66 c 3559 15748214 1283629 1 - 0.0000 -
3553.87/3564.32 c 3564 15765307 1284813 1 - 0.0000 -
3559.85/3570.35 c 3570 15778545 1286326 1 - 0.0000 -
3564.94/3575.47 c 3575 15792774 1287811 1 - 0.0000 -
3570.22/3580.74 c 3581 15805110 1289485 1 - 0.0000 -
3575.51/3586.10 c 3586 15827589 1291241 1 - 0.0000 -
3581.28/3591.80 c 3592 15857463 1292575 1 - 0.0000 -
3587.07/3597.66 c 3598 15882352 1294038 1 - 0.0000 -
3593.15/3603.78 c SCIP Status : c solving was interrupted [hard time limit reached]
3593.15/3603.78 c Total Time : 3603.7800
3593.15/3603.78 c solving : 3603.7800
3593.15/3603.78 c presolving : 0.0014 (included in solving)
3593.15/3603.78 c B&B Tree :
3593.15/3603.78 c nodes (total) : 1
3593.15/3603.78 c Solution :
3593.15/3603.78 c Solutions found : 0
3593.15/3603.78 c Primal Bound : -
3593.15/3603.78 c Dual Bound : +0.00000000000000e+00
3593.15/3603.78 c Gap : -
3593.15/3603.78 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 (54776 MiB free)
memory of node 1: 64473 MiB (62019 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4445120-1721318368/watcher-4445120-1721318368 -o /tmp/evaluation-result-4445120-1721318368/solver-4445120-1721318368 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007727 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445120-1721318368.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=1008670, runsolver pid=1008667
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 4.13 3.96 3.67 5/266 1008673
/proc/meminfo: memFree=119591296/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=106400 memory=19560 CPUtime=0.1 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 2253 0 0 0 10 0 0 0 20 0 3 0 184004950 108953600 4890 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 26600 4890 2926 3032 0 8207 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=106400 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 1138 0 0 0 9 0 0 0 20 0 3 0 184004950 108953600 4890 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=106400 memory=237146210664 CPUtime=0 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184004951 108953600 4890 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 106400 KiB
Current children cumulated memory: 19560 KiB
[startup+0.205892 s]*
/proc/loadavg: 4.13 3.96 3.67 5/266 1008673
/proc/meminfo: memFree=119589952/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=106400 memory=20616 CPUtime=0.2 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 2544 0 0 0 20 0 0 0 20 0 3 0 184004950 108953600 5154 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 26600 5154 2926 3032 0 8524 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=106400 memory=6876556183782621315 CPUtime=0.19 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 1429 0 0 0 19 0 0 0 20 0 3 0 184004950 108953600 5154 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=106400 memory=17016 CPUtime=0 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184004951 108953600 5154 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 106400 KiB
Current children cumulated memory: 20616 KiB
[startup+0.305878 s]*
/proc/loadavg: 4.13 3.96 3.67 5/266 1008673
/proc/meminfo: memFree=119589284/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=106400 memory=20616 CPUtime=0.3 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 2562 0 0 0 30 0 0 0 20 0 3 0 184004950 108953600 5154 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 26600 5154 2926 3032 0 8538 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=106400 memory=-7952647673426043000 CPUtime=0.29 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 1447 0 0 0 29 0 0 0 20 0 3 0 184004950 108953600 5154 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=106400 memory=0 CPUtime=0 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184004951 108953600 5154 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106400 KiB
Current children cumulated memory: 20616 KiB
[startup+0.700237 s]
/proc/loadavg: 4.13 3.96 3.67 5/266 1008673
/proc/meminfo: memFree=119589144/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=106400 memory=21144 CPUtime=0.69 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 2665 0 0 0 69 0 0 0 20 0 3 0 184004950 108953600 5286 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 26600 5286 2926 3032 0 8623 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=106400 memory=0 CPUtime=0.68 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 1550 0 0 0 68 0 0 0 20 0 3 0 184004950 108953600 5286 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=106400 memory=0 CPUtime=0 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184004951 108953600 5286 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 106400 KiB
Current children cumulated memory: 21144 KiB
[startup+1.50021 s]
/proc/loadavg: 4.13 3.96 3.67 5/266 1008673
/proc/meminfo: memFree=119588444/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=106400 memory=22004 CPUtime=1.48 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 4258 0 0 0 148 0 0 0 20 0 3 0 184004950 108953600 5501 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 26600 5501 2926 3032 0 8790 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=106400 memory=0 CPUtime=1.47 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 3128 0 0 0 147 0 0 0 20 0 3 0 184004950 108953600 5501 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=106400 memory=0 CPUtime=0 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 184004951 108953600 5501 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 106400 KiB
Current children cumulated memory: 22004 KiB
[startup+3.10517 s]
/proc/loadavg: 4.13 3.96 3.67 5/266 1008675
/proc/meminfo: memFree=119587440/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=106400 memory=22436 CPUtime=3.09 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 4446 0 0 0 307 2 0 0 20 0 3 0 184004950 108953600 5609 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 26600 5609 2926 3032 0 8790 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=106400 memory=2273 CPUtime=3.08 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 3313 0 0 0 306 2 0 0 20 0 3 0 184004950 108953600 5609 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=106400 memory=0 CPUtime=0 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 184004951 108953600 5609 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 106400 KiB
Current children cumulated memory: 22436 KiB
[startup+6.30019 s]
/proc/loadavg: 4.12 3.97 3.67 5/266 1008675
/proc/meminfo: memFree=119583356/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=106980 memory=26528 CPUtime=6.27 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 7230 0 0 0 622 5 0 0 20 0 3 0 184004950 109547520 6632 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 26745 6632 2926 3032 0 9869 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=106980 memory=-7952647673426043000 CPUtime=6.26 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 6075 0 0 0 621 5 0 0 20 0 3 0 184004950 109547520 6632 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=106980 memory=26332 CPUtime=0 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 184004951 109547520 6632 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 106980 KiB
Current children cumulated memory: 26528 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 3.97 3.67 5/266 1008675
/proc/meminfo: memFree=119573400/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=107560 memory=37840 CPUtime=12.65 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 15072 0 0 0 1255 10 0 0 20 0 3 0 184004950 110141440 9460 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 26890 9460 2974 3032 0 12486 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=107560 memory=22436 CPUtime=12.64 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 13883 0 0 0 1254 10 0 0 20 0 3 0 184004950 110141440 9460 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=107560 memory=0 CPUtime=0 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 184004951 110141440 9460 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 107560 KiB
Current children cumulated memory: 37840 KiB
[startup+25.5008 s]
/proc/loadavg: 4.15 3.99 3.68 5/268 1008682
/proc/meminfo: memFree=119552788/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=113984 memory=58020 CPUtime=25.41 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 33752 0 0 0 2521 20 0 0 20 0 3 0 184004950 116719616 14505 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 28496 14505 2974 3032 0 17697 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=113984 memory=31096 CPUtime=25.41 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 32507 0 0 0 2521 20 0 0 20 0 3 0 184004950 116719616 14505 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=113984 memory=11396 CPUtime=0 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 184004951 116719616 14505 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 113984 KiB
Current children cumulated memory: 58020 KiB
[startup+51.1059 s]
/proc/loadavg: 4.10 3.99 3.69 5/267 1008686
/proc/meminfo: memFree=119518776/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=129796 memory=90324 CPUtime=50.93 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 75760 0 0 0 5055 38 0 0 20 0 3 0 184004950 132911104 22581 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 32449 22581 2990 3032 0 26114 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=129796 memory=84824 CPUtime=50.92 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 74454 0 0 0 5054 38 0 0 20 0 3 0 184004950 132911104 22581 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=129796 memory=83916 CPUtime=0 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 184004951 132911104 22581 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 129796 KiB
Current children cumulated memory: 90324 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.00 3.72 5/267 1008705
/proc/meminfo: memFree=119466892/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=227912 memory=139356 CPUtime=101.97 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 146489 0 0 0 10122 75 0 0 20 0 3 0 184004950 233381888 34839 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 56978 34839 2990 3032 0 40124 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=227912 memory=134008 CPUtime=101.96 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 145118 0 0 0 10121 75 0 0 20 0 3 0 184004950 233381888 34839 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=227912 memory=132560 CPUtime=0 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 184004951 233381888 34839 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 227912 KiB
Current children cumulated memory: 139356 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.03 3.75 5/266 1008716
/proc/meminfo: memFree=119396976/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=269136 memory=198524 CPUtime=161.8 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 214686 0 0 0 16065 115 0 0 20 0 3 0 184004950 275595264 49631 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 67284 49631 2990 3032 0 55250 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=269136 memory=183832 CPUtime=161.77 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 213276 0 0 0 16063 114 0 0 20 0 3 0 184004950 275595264 49631 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=269136 memory=191868 CPUtime=0 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 184004951 275595264 49631 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 161.8 s
################
# More data... #
################
/proc/1008670/statm: 478985 451423 2990 3032 0 461858 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=1915940 memory=1747108 CPUtime=3451.96 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 6918423 0 0 0 343267 1929 0 0 20 0 3 0 184004950 1961922560 451423 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=1915940 memory=11396 CPUtime=0.02 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 141 0 0 0 0 2 0 0 20 0 3 0 184004951 1961922560 451423 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 3452.18 s
Current children cumulated vsize: 1915940 KiB
Current children cumulated memory: 1805692 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.19 4.17 5/268 1010706
/proc/meminfo: memFree=125694252/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=1937756 memory=1837260 CPUtime=3511.99 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 7017740 0 0 0 349240 1959 0 0 20 0 3 0 184004950 1984262144 459315 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 484439 459315 2990 3032 0 469549 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=1937756 memory=1805128 CPUtime=3511.78 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 7015222 0 0 0 349223 1955 0 0 20 0 3 0 184004950 1984262144 459315 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=1937756 memory=1817880 CPUtime=0.02 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 143 0 0 0 0 2 0 0 20 0 3 0 184004951 1984262144 459315 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 3511.99 s
Current children cumulated vsize: 1937756 KiB
Current children cumulated memory: 1837260 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.17 4.16 5/267 1010716
/proc/meminfo: memFree=125618188/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=1949468 memory=1859800 CPUtime=3571.82 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 7060925 0 0 0 355201 1981 0 0 20 0 3 0 184004950 1996255232 464950 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 487367 464950 2990 3032 0 474108 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=1949468 memory=37188 CPUtime=3571.59 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 7058404 0 0 0 355183 1976 0 0 20 0 3 0 184004950 1996255232 464950 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=1949468 memory=11396 CPUtime=0.03 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 184004951 1996255232 464950 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 1949468 KiB
Current children cumulated memory: 1859800 KiB
[startup+3603.79 s]
# the end of solver process 1008670 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3573.24 s, system=20.0109 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.11 4.17 4.16 5/267 1010718
/proc/meminfo: memFree=125615920/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=1949468 memory=1860324 CPUtime=3573.51 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 7095485 0 0 0 355368 1983 0 0 20 0 3 0 184004950 1996255232 465081 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 487367 465081 2990 3032 0 474236 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=1949468 memory=-7385761301030802796 CPUtime=3573.29 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 7092960 0 0 0 355351 1978 0 0 20 0 3 0 184004950 1996255232 465081 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=1949468 memory=-9187040399198224325 CPUtime=0.03 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 184004951 1996255232 465081 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 3573.51 s
Current children cumulated vsize: 1949468 KiB
Current children cumulated memory: 1860324 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.18 4.16 5/267 1010721
/proc/meminfo: memFree=125594804/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=1951716 memory=1863768 CPUtime=3586.27 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 7115218 0 0 0 356638 1989 0 0 20 0 3 0 184004950 1998557184 465942 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 487929 465942 2990 3032 0 475170 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=1951716 memory=-9187040399198224325 CPUtime=3586.05 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 7112685 0 0 0 356621 1984 0 0 20 0 3 0 184004950 1998557184 465942 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=1951716 memory=11396 CPUtime=0.03 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 184004951 1998557184 465942 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 3586.27 s
Current children cumulated vsize: 1951716 KiB
Current children cumulated memory: 1863768 KiB
[startup+3600 s]*
/proc/loadavg: 4.14 4.17 4.16 5/267 1010721
/proc/meminfo: memFree=125588692/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=1953320 memory=1865240 CPUtime=3589.47 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 7121470 0 0 0 356957 1990 0 0 20 0 3 0 184004950 2000199680 466310 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 488330 466310 2990 3032 0 475571 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=1953320 memory=5516 CPUtime=3589.25 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 7118937 0 0 0 356940 1985 0 0 20 0 3 0 184004950 2000199680 466310 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=1953320 memory=32136 CPUtime=0.03 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 184004951 2000199680 466310 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 3589.47 s
Current children cumulated vsize: 1953320 KiB
Current children cumulated memory: 1865240 KiB
[startup+3601.6 s]
/proc/loadavg: 4.14 4.17 4.16 5/267 1010721
/proc/meminfo: memFree=125640340/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=1755444 memory=1667520 CPUtime=3591.06 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 7192734 0 0 0 357112 1994 0 0 20 0 3 0 184004950 1797574656 416880 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 438861 416880 2990 3032 0 426102 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=1755444 memory=11396 CPUtime=3590.84 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 7190201 0 0 0 357095 1989 0 0 20 0 3 0 184004950 1797574656 416880 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=1755444 memory=1865240 CPUtime=0.03 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 184004951 1797574656 416880 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 3591.06 s
Current children cumulated vsize: 1755444 KiB
Current children cumulated memory: 1667520 KiB
[startup+3602.4 s]
/proc/loadavg: 4.14 4.17 4.16 5/267 1010721
/proc/meminfo: memFree=125721916/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=1632964 memory=1545044 CPUtime=3591.84 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 7208110 0 0 0 357189 1995 0 0 20 0 3 0 184004950 1672155136 386261 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 408241 386261 2990 3032 0 395482 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=1632964 memory=1632852 CPUtime=3591.62 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 7205577 0 0 0 357172 1990 0 0 20 0 3 0 184004950 1672155136 386261 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=1632964 memory=-6951165036618288996 CPUtime=0.03 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 184004951 1672155136 386261 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 3591.84 s
Current children cumulated vsize: 1632964 KiB
Current children cumulated memory: 1545044 KiB
[startup+3603.2 s]
/proc/loadavg: 4.14 4.17 4.16 5/267 1010722
/proc/meminfo: memFree=125804448/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=1486116 memory=1398196 CPUtime=3592.64 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 7212609 0 0 0 357268 1996 0 0 20 0 3 0 184004950 1521782784 349549 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 371529 349549 2990 3032 0 358770 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=1486116 memory=1865396 CPUtime=3592.42 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 7210076 0 0 0 357251 1991 0 0 20 0 3 0 184004950 1521782784 349549 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=1486116 memory=5516 CPUtime=0.03 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 184004951 1521782784 349549 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 3592.64 s
Current children cumulated vsize: 1486116 KiB
Current children cumulated memory: 1398196 KiB
[startup+3603.6 s]
/proc/loadavg: 4.14 4.17 4.16 5/267 1010722
/proc/meminfo: memFree=125804448/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=1393816 memory=1305900 CPUtime=3593.04 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 7214379 0 0 0 357307 1997 0 0 20 0 3 0 184004950 1427267584 326475 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 348454 326475 2990 3032 0 335695 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=1393816 memory=1863788 CPUtime=3592.82 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 7211847 0 0 0 357290 1992 0 0 20 0 3 0 184004950 1427267584 326475 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=1393816 memory=-6951165036618288996 CPUtime=0.03 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 184004951 1427267584 326475 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 3593.04 s
Current children cumulated vsize: 1393816 KiB
Current children cumulated memory: 1305900 KiB
[startup+3603.7 s]
/proc/loadavg: 4.14 4.17 4.16 5/267 1010722
/proc/meminfo: memFree=125804448/131524600 swapFree=131071996/131071996
[pid=1008670] ppid=1008667 vsize=1364168 memory=1276252 CPUtime=3593.15 cores=5,7
/proc/1008670/stat : 1008670 (fscip) S 1008667 1008670 1007714 0 -1 1077936128 7214830 0 0 0 357317 1998 0 0 20 0 3 0 184004950 1396908032 319063 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
/proc/1008670/statm: 341042 319063 2990 3032 0 328283 0
[pid=1008670/tid=1008672] ppid=1008667 vsize=1364168 memory=1860324 CPUtime=3592.93 cores=5,7
/proc/1008670/task/1008672/stat : 1008672 (fscip) R 1008667 1008670 1007714 0 -1 4194368 7212297 0 0 0 357300 1993 0 0 20 0 3 0 184004950 1396908032 319063 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
[pid=1008670/tid=1008673] ppid=1008667 vsize=1364168 memory=1865240 CPUtime=0.03 cores=5,7
/proc/1008670/task/1008673/stat : 1008673 (fscip) S 1008667 1008670 1007714 0 -1 1077936192 145 0 0 0 1 2 0 0 20 0 3 0 184004951 1396908032 319063 134679101440 4194304 16613245 140734440985360 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18822208 18930672 28602368 140734440989715 140734440989831 140734440989831 140734440996848 0
Current children cumulated CPU time: 3593.15 s
Current children cumulated vsize: 1364168 KiB
Current children cumulated memory: 1276252 KiB
Child status: 0
Real time (s): 3603.79
CPU time (s): 3593.25
CPU user time (s): 3573.24
CPU system time (s): 20.0109
CPU usage (%): 99.7074
Max. virtual memory (cumulated for all children) (KiB): 1953320
Max. memory (cumulated for all children) (KiB): 1865396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.24
system time used= 20.0109
maximum resident set size= 1865396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7215378
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= 10595
involuntary context switches= 4753
# summary of solver processes directly reported to runsolver:
# pid: 1008670
# total CPU time (s): 3593.25
# total CPU user time (s): 3573.24
# total CPU system time (s): 20.0109
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.66294 second user time and 17.5347 second system time
The end
Begin job on nodeC030 at 2024-07-18 17:59:41
IDJOB=4445120
IDBENCH=148100
IDSOLVER=3064
FILE ID=nodeC030/4445120-1721318368
RUNJOBID= nodeC030-1721317650-1007727
SLURM_JOB_ID= 7542666
Free space on /tmp= 889952 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-cuww2.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-4445120-1721318368/watcher-4445120-1721318368 -o /tmp/evaluation-result-4445120-1721318368/solver-4445120-1721318368 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721317650-1007727 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4445120-1721318368.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f9ddfe14fcbe08e4d315c2b284f6e91e
RANDOM SEED=1526568891
nodeC030.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 : 3658.368
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.28
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 : 3666.042
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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 : 3599.801
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.28
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 : 3599.657
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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 : 3658.392
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.28
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 : 3665.936
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
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 : 3599.830
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.28
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 : 3664.664
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.11
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119599640 kB
MemAvailable: 120856276 kB
Buffers: 473444 kB
Cached: 1612076 kB
SwapCached: 0 kB
Active: 1147904 kB
Inactive: 10134060 kB
Active(anon): 1564 kB
Inactive(anon): 9232592 kB
Active(file): 1146340 kB
Inactive(file): 901468 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28032 kB
Writeback: 0 kB
AnonPages: 9196044 kB
Mapped: 141840 kB
Shmem: 37720 kB
KReclaimable: 97304 kB
Slab: 209836 kB
SReclaimable: 97304 kB
SUnreclaim: 112532 kB
KernelStack: 4284 kB
PageTables: 27824 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 6009436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 69792 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3153920 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: 234196 kB
DirectMap2M: 18413568 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 889972 MiB
End job on nodeC030 at 2024-07-18 18:59:45