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 = 23207936, getVmSize() = 23207936, SCIPgetMemUsed() = 1336635, SCIPgetMemTotal() = 1647243, 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 = 16262485, getVmSize() = 25579520, SCIPgetMemUsed() = 2061548, SCIPgetMemTotal() = 2940372, 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-4447880-1721361277
0.00/0.00 c Variables : 121 (121 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 482
0.00/0.00 c Objective sense : minimize
0.00/0.00 c Presolved Problem :
0.00/0.00 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.00 c Constraints : 240
0.00/0.00 c Constraints : Number
0.00/0.00 c linear : 240
0.00/0.00 c ** Instance transfer method used: 0
0.00/0.01 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.01 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.01 c Nodes Active
0.00/0.01 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.07/5.18 c 5 3512 814 1 - 0.0000 -
10.15/10.23 c 10 17676 7814 1 - 0.0000 -
15.13/15.28 c 15 31456 11467 1 - 0.0000 -
20.21/20.32 c 20 44809 15431 1 - 0.0000 -
25.19/25.37 c 25 58513 18788 1 - 0.0000 -
30.27/30.42 c 30 72348 22152 1 - 0.0000 -
35.25/35.47 c 35 86429 25223 1 - 0.0000 -
40.33/40.52 c 41 100106 27975 1 - 0.0000 -
45.31/45.57 c 46 113331 30546 1 - 0.0000 -
50.39/50.62 c 51 126272 32938 1 - 0.0000 -
55.37/55.67 c 56 138910 35426 1 - 0.0000 -
60.46/60.72 c 61 151792 38315 1 - 0.0000 -
65.45/65.76 c 66 165274 41385 1 - 0.0000 -
70.53/70.81 c 71 179494 44396 1 - 0.0000 -
75.51/75.86 c 76 194224 47558 1 - 0.0000 -
80.59/80.91 c 81 209445 50568 1 - 0.0000 -
85.57/85.96 c 86 225108 53623 1 - 0.0000 -
90.67/91.01 c 91 241560 55977 1 - 0.0000 -
95.65/96.06 c 96 258329 59377 1 - 0.0000 -
100.73/101.11 c 101 275829 62383 1 - 0.0000 -
105.71/106.16 c 106 293807 67304 1 - 0.0000 -
110.79/111.21 c 111 311884 72004 1 - 0.0000 -
115.78/116.26 c 116 330554 74663 1 - 0.0000 -
120.86/121.31 c 121 348809 78225 1 - 0.0000 -
125.84/126.36 c 126 367022 81989 1 - 0.0000 -
130.92/131.41 c 131 385736 85909 1 - 0.0000 -
135.91/136.46 c 136 404613 89214 1 - 0.0000 -
140.98/141.51 c 142 422287 93961 1 - 0.0000 -
145.97/146.56 c 147 440538 99244 1 - 0.0000 -
151.05/151.61 c 152 460462 101851 1 - 0.0000 -
156.04/156.66 c 157 479090 105106 1 - 0.0000 -
161.12/161.71 c 162 497510 110494 1 - 0.0000 -
166.10/166.76 c 167 516827 115495 1 - 0.0000 -
171.18/171.81 c 172 536320 120455 1 - 0.0000 -
176.17/176.86 c 177 555655 125698 1 - 0.0000 -
181.25/181.91 c 182 573296 131155 1 - 0.0000 -
186.23/186.96 c 187 591926 134867 1 - 0.0000 -
191.33/192.01 c 192 610967 138113 1 - 0.0000 -
196.31/197.06 c 197 629249 142544 1 - 0.0000 -
201.39/202.11 c 202 647630 146049 1 - 0.0000 -
206.38/207.16 c 207 666877 149023 1 - 0.0000 -
211.45/212.21 c 212 685527 152768 1 - 0.0000 -
216.43/217.26 c 217 703820 156257 1 - 0.0000 -
221.51/222.31 c 222 722160 160640 1 - 0.0000 -
226.50/227.36 c 227 740387 164867 1 - 0.0000 -
231.58/232.41 c 232 759204 170953 1 - 0.0000 -
236.57/237.46 c 237 778810 174031 1 - 0.0000 -
241.64/242.51 c 243 798140 178474 1 - 0.0000 -
246.63/247.56 c 248 817245 181517 1 - 0.0000 -
251.71/252.61 c 253 836153 184673 1 - 0.0000 -
256.69/257.66 c 258 853976 189941 1 - 0.0000 -
261.78/262.71 c 263 873678 193192 1 - 0.0000 -
266.76/267.76 c 268 893174 197898 1 - 0.0000 -
271.84/272.81 c 273 911705 200938 1 - 0.0000 -
276.82/277.86 c 278 930277 204781 1 - 0.0000 -
281.90/282.91 c 283 948880 206787 1 - 0.0000 -
286.89/287.96 c 288 967733 210039 1 - 0.0000 -
291.97/293.01 c 293 985932 213615 1 - 0.0000 -
296.96/298.06 c 298 1004149 216738 1 - 0.0000 -
302.04/303.11 c 303 1022372 221043 1 - 0.0000 -
307.03/308.16 c 308 1040890 224251 1 - 0.0000 -
312.10/313.21 c 313 1058905 226884 1 - 0.0000 -
317.08/318.26 c 318 1076408 231118 1 - 0.0000 -
322.17/323.31 c 323 1094423 234902 1 - 0.0000 -
327.15/328.36 c 328 1111803 238269 1 - 0.0000 -
332.23/333.41 c 333 1130369 240924 1 - 0.0000 -
337.22/338.46 c 338 1147549 245214 1 - 0.0000 -
342.29/343.51 c 344 1162888 250080 1 - 0.0000 -
347.28/348.56 c 349 1178358 253396 1 - 0.0000 -
352.36/353.61 c 354 1193137 255775 1 - 0.0000 -
357.35/358.66 c 359 1210386 259900 1 - 0.0000 -
362.42/363.71 c 364 1227087 263335 1 - 0.0000 -
367.41/368.77 c 369 1242471 267573 1 - 0.0000 -
372.49/373.81 c 374 1255944 271888 1 - 0.0000 -
377.48/378.86 c 379 1271423 273972 1 - 0.0000 -
382.56/383.91 c 384 1287397 276732 1 - 0.0000 -
387.53/388.96 c 389 1303310 280162 1 - 0.0000 -
392.63/394.01 c 394 1319525 283376 1 - 0.0000 -
397.61/399.06 c 399 1335727 287920 1 - 0.0000 -
402.69/404.11 c 404 1351707 290019 1 - 0.0000 -
407.67/409.16 c 409 1367793 292570 1 - 0.0000 -
412.74/414.21 c 414 1383580 296769 1 - 0.0000 -
417.72/419.26 c 419 1399550 299740 1 - 0.0000 -
422.80/424.31 c 424 1415632 302061 1 - 0.0000 -
427.78/429.36 c 429 1431525 305592 1 - 0.0000 -
432.86/434.41 c 434 1447565 307940 1 - 0.0000 -
437.83/439.46 c 439 1462425 312146 1 - 0.0000 -
442.91/444.52 c 445 1478342 315289 1 - 0.0000 -
447.89/449.56 c 450 1494206 317259 1 - 0.0000 -
452.97/454.61 c 455 1509504 320743 1 - 0.0000 -
457.95/459.67 c 460 1524412 323403 1 - 0.0000 -
463.03/464.71 c 465 1539235 327258 1 - 0.0000 -
468.01/469.76 c 470 1553671 330720 1 - 0.0000 -
473.08/474.81 c 475 1568018 333626 1 - 0.0000 -
478.06/479.86 c 480 1582296 336088 1 - 0.0000 -
483.14/484.91 c 485 1596790 339131 1 - 0.0000 -
488.13/489.96 c 490 1611824 341549 1 - 0.0000 -
493.20/495.01 c 495 1627231 344092 1 - 0.0000 -
498.18/500.06 c 500 1641921 347729 1 - 0.0000 -
503.26/505.11 c 505 1656775 350494 1 - 0.0000 -
508.25/510.16 c 510 1671412 352676 1 - 0.0000 -
513.32/515.21 c 515 1686608 355797 1 - 0.0000 -
518.29/520.26 c 520 1701243 358790 1 - 0.0000 -
523.37/525.31 c 525 1715484 360797 1 - 0.0000 -
528.35/530.36 c 530 1730290 363749 1 - 0.0000 -
533.44/535.41 c 535 1745878 365939 1 - 0.0000 -
538.41/540.46 c 540 1760805 368880 1 - 0.0000 -
543.50/545.51 c 546 1775271 371992 1 - 0.0000 -
548.47/550.56 c 551 1789935 376031 1 - 0.0000 -
553.55/555.61 c 556 1804968 377904 1 - 0.0000 -
558.53/560.66 c 561 1820181 380278 1 - 0.0000 -
563.62/565.71 c 566 1835211 383671 1 - 0.0000 -
568.60/570.76 c 571 1849990 385926 1 - 0.0000 -
573.69/575.81 c 576 1864493 388026 1 - 0.0000 -
578.66/580.86 c 581 1878722 390024 1 - 0.0000 -
583.74/585.91 c 586 1893043 392070 1 - 0.0000 -
588.73/590.96 c 591 1907621 394276 1 - 0.0000 -
593.81/596.01 c 596 1922149 397127 1 - 0.0000 -
598.79/601.06 c 601 1937032 399106 1 - 0.0000 -
603.87/606.11 c 606 1951721 400882 1 - 0.0000 -
608.85/611.16 c 611 1965379 403905 1 - 0.0000 -
613.93/616.22 c 616 1979446 406319 1 - 0.0000 -
618.91/621.27 c 621 1993527 408497 1 - 0.0000 -
623.99/626.31 c 626 2008045 410318 1 - 0.0000 -
628.98/631.36 c 631 2022115 411886 1 - 0.0000 -
634.06/636.41 c 636 2036484 414044 1 - 0.0000 -
639.04/641.46 c 641 2050338 416322 1 - 0.0000 -
644.12/646.51 c 647 2064856 417946 1 - 0.0000 -
649.09/651.56 c 652 2078215 420036 1 - 0.0000 -
654.18/656.62 c 657 2092726 421465 1 - 0.0000 -
659.16/661.67 c 662 2106859 424193 1 - 0.0000 -
664.24/666.71 c 667 2121684 425927 1 - 0.0000 -
669.22/671.76 c 672 2136252 428005 1 - 0.0000 -
674.30/676.81 c 677 2151060 429911 1 - 0.0000 -
679.29/681.86 c 682 2163852 433735 1 - 0.0000 -
684.37/686.91 c 687 2177016 437452 1 - 0.0000 -
689.35/691.97 c 692 2189886 440671 1 - 0.0000 -
694.44/697.01 c 697 2202656 442989 1 - 0.0000 -
699.41/702.06 c 702 2216082 446341 1 - 0.0000 -
704.50/707.11 c 707 2229116 449956 1 - 0.0000 -
709.48/712.16 c 712 2241781 452346 1 - 0.0000 -
714.56/717.22 c 717 2253654 454326 1 - 0.0000 -
719.55/722.26 c 722 2266061 457156 1 - 0.0000 -
724.63/727.31 c 727 2277892 458893 1 - 0.0000 -
729.60/732.36 c 732 2289251 460738 1 - 0.0000 -
734.69/737.41 c 737 2300516 462563 1 - 0.0000 -
739.67/742.46 c 742 2312095 465082 1 - 0.0000 -
744.76/747.51 c 748 2322301 466477 1 - 0.0000 -
749.73/752.56 c 753 2334083 468330 1 - 0.0000 -
754.82/757.63 c 758 2347030 471571 1 - 0.0000 -
759.81/762.69 c 763 2360716 475103 1 - 0.0000 -
764.89/767.74 c 768 2373678 476513 1 - 0.0000 -
769.97/772.80 c 773 2385948 478162 1 - 0.0000 -
774.96/777.84 c 778 2398899 479793 1 - 0.0000 -
780.04/782.91 c 783 2411480 481473 1 - 0.0000 -
785.02/787.96 c 788 2423993 483501 1 - 0.0000 -
790.10/793.01 c 793 2436897 485283 1 - 0.0000 -
795.09/798.07 c 798 2449592 487869 1 - 0.0000 -
800.17/803.12 c 803 2462230 489796 1 - 0.0000 -
805.15/808.17 c 808 2474902 491641 1 - 0.0000 -
810.23/813.22 c 813 2487328 493412 1 - 0.0000 -
815.21/818.27 c 818 2498932 497192 1 - 0.0000 -
820.29/823.32 c 823 2510854 499216 1 - 0.0000 -
825.26/828.37 c 828 2523794 500575 1 - 0.0000 -
830.34/833.42 c 833 2536648 502750 1 - 0.0000 -
835.32/838.47 c 838 2548655 504462 1 - 0.0000 -
840.40/843.54 c 844 2561391 506336 1 - 0.0000 -
845.38/848.58 c 849 2574535 507460 1 - 0.0000 -
850.46/853.63 c 854 2586398 510111 1 - 0.0000 -
855.44/858.69 c 859 2598780 511265 1 - 0.0000 -
860.52/863.74 c 864 2611481 512907 1 - 0.0000 -
865.50/868.79 c 869 2622806 517079 1 - 0.0000 -
870.58/873.85 c 874 2634480 519947 1 - 0.0000 -
875.66/878.90 c 879 2646767 522510 1 - 0.0000 -
880.64/883.95 c 884 2658045 524733 1 - 0.0000 -
885.72/889.00 c 889 2669752 528104 1 - 0.0000 -
890.70/894.07 c 894 2682336 530211 1 - 0.0000 -
895.78/899.14 c 899 2694973 532235 1 - 0.0000 -
900.76/904.19 c 904 2708317 534326 1 - 0.0000 -
905.84/909.25 c 909 2719635 535993 1 - 0.0000 -
910.91/914.30 c 914 2731531 537193 1 - 0.0000 -
915.89/919.36 c 919 2744335 538405 1 - 0.0000 -
920.97/924.41 c 924 2756200 540233 1 - 0.0000 -
925.95/929.46 c 929 2768525 541360 1 - 0.0000 -
931.03/934.51 c 935 2779324 542884 1 - 0.0000 -
936.01/939.58 c 940 2790251 544077 1 - 0.0000 -
941.08/944.62 c 945 2800453 545776 1 - 0.0000 -
946.07/949.68 c 950 2814059 546815 1 - 0.0000 -
951.14/954.73 c 955 2824394 548885 1 - 0.0000 -
956.13/959.79 c 960 2835108 551184 1 - 0.0000 -
961.20/964.84 c 965 2846741 553687 1 - 0.0000 -
966.18/969.89 c 970 2858862 554897 1 - 0.0000 -
971.27/974.94 c 975 2869823 555952 1 - 0.0000 -
976.34/980.00 c 980 2881972 557447 1 - 0.0000 -
981.32/985.05 c 985 2892441 558724 1 - 0.0000 -
986.41/990.12 c 990 2902014 560820 1 - 0.0000 -
991.38/995.17 c 995 2912297 562236 1 - 0.0000 -
996.45/1000.24 c 1000 2923433 563827 1 - 0.0000 -
1001.44/1005.29 c 1005 2934565 565673 1 - 0.0000 -
1006.52/1010.37 c 1010 2945944 567359 1 - 0.0000 -
1011.59/1015.43 c 1015 2958060 568986 1 - 0.0000 -
1016.58/1020.47 c 1020 2969940 570041 1 - 0.0000 -
1021.65/1025.53 c 1026 2981406 571827 1 - 0.0000 -
1026.64/1030.57 c 1031 2992339 574093 1 - 0.0000 -
1031.72/1035.62 c 1036 3002991 577417 1 - 0.0000 -
1036.69/1040.67 c 1041 3013885 580132 1 - 0.0000 -
1041.77/1045.73 c 1046 3024602 582634 1 - 0.0000 -
1046.75/1050.78 c 1051 3035310 584572 1 - 0.0000 -
1051.83/1055.83 c 1056 3046083 585745 1 - 0.0000 -
1056.80/1060.88 c 1061 3057137 587467 1 - 0.0000 -
1061.89/1065.95 c 1066 3069172 589154 1 - 0.0000 -
1066.97/1071.00 c 1071 3082318 590299 1 - 0.0000 -
1071.95/1076.06 c 1076 3094371 591547 1 - 0.0000 -
1077.03/1081.12 c 1081 3105679 592912 1 - 0.0000 -
1082.01/1086.17 c 1086 3116381 594274 1 - 0.0000 -
1087.08/1091.23 c 1091 3128848 596341 1 - 0.0000 -
1092.06/1096.29 c 1096 3141618 598119 1 - 0.0000 -
1097.14/1101.34 c 1101 3154093 599228 1 - 0.0000 -
1102.22/1106.40 c 1106 3164773 600943 1 - 0.0000 -
1107.19/1111.45 c 1111 3175652 602082 1 - 0.0000 -
1112.28/1116.50 c 1117 3186731 603337 1 - 0.0000 -
1117.25/1121.57 c 1122 3198271 604798 1 - 0.0000 -
1122.33/1126.63 c 1127 3208055 606388 1 - 0.0000 -
1127.41/1131.71 c 1132 3219771 607727 1 - 0.0000 -
1132.40/1136.77 c 1137 3231117 608788 1 - 0.0000 -
1137.48/1141.81 c 1142 3241530 609942 1 - 0.0000 -
1142.46/1146.87 c 1147 3252493 611315 1 - 0.0000 -
1147.53/1151.94 c 1152 3264848 612476 1 - 0.0000 -
1152.62/1157.00 c 1157 3274356 613921 1 - 0.0000 -
1157.60/1162.05 c 1162 3284973 616143 1 - 0.0000 -
1162.68/1167.13 c 1167 3294841 617250 1 - 0.0000 -
1167.66/1172.17 c 1172 3307085 620069 1 - 0.0000 -
1172.74/1177.22 c 1177 3319860 621831 1 - 0.0000 -
1177.72/1182.29 c 1182 3331394 622975 1 - 0.0000 -
1182.80/1187.34 c 1187 3341873 624197 1 - 0.0000 -
1187.79/1192.38 c 1192 3352461 625334 1 - 0.0000 -
1192.88/1197.43 c 1197 3364381 626446 1 - 0.0000 -
1197.96/1202.51 c 1203 3375271 627707 1 - 0.0000 -
1202.95/1207.56 c 1208 3385061 629010 1 - 0.0000 -
1208.02/1212.62 c 1213 3395198 630157 1 - 0.0000 -
1213.01/1217.69 c 1218 3405631 631529 1 - 0.0000 -
1218.09/1222.74 c 1223 3417018 633034 1 - 0.0000 -
1223.08/1227.79 c 1228 3426927 634502 1 - 0.0000 -
1228.15/1232.84 c 1233 3439154 636761 1 - 0.0000 -
1233.24/1237.90 c 1238 3449984 638061 1 - 0.0000 -
1238.23/1242.96 c 1243 3459444 642084 1 - 0.0000 -
1243.32/1248.02 c 1248 3469710 645726 1 - 0.0000 -
1248.30/1253.09 c 1253 3479781 649339 1 - 0.0000 -
1253.38/1258.13 c 1258 3489910 652003 1 - 0.0000 -
1258.36/1263.19 c 1263 3499772 655000 1 - 0.0000 -
1263.45/1268.24 c 1268 3510292 658281 1 - 0.0000 -
1268.53/1273.30 c 1273 3521367 661577 1 - 0.0000 -
1273.51/1278.36 c 1278 3531229 665405 1 - 0.0000 -
1278.59/1283.42 c 1283 3540930 668528 1 - 0.0000 -
1283.57/1288.47 c 1288 3550638 671510 1 - 0.0000 -
1288.66/1293.52 c 1294 3560295 674821 1 - 0.0000 -
1293.64/1298.57 c 1299 3570739 677806 1 - 0.0000 -
1298.73/1303.64 c 1304 3580443 680424 1 - 0.0000 -
1303.80/1308.70 c 1309 3590502 682402 1 - 0.0000 -
1308.79/1313.75 c 1314 3600094 685678 1 - 0.0000 -
1313.87/1318.80 c 1319 3609617 688313 1 - 0.0000 -
1318.86/1323.85 c 1324 3618981 690598 1 - 0.0000 -
1323.94/1328.90 c 1329 3629405 693227 1 - 0.0000 -
1328.92/1333.96 c 1334 3639292 695766 1 - 0.0000 -
1334.00/1339.01 c 1339 3649513 697846 1 - 0.0000 -
1339.00/1344.08 c 1344 3659801 699856 1 - 0.0000 -
1344.07/1349.16 c 1349 3669540 701989 1 - 0.0000 -
1349.15/1354.20 c 1354 3678863 704908 1 - 0.0000 -
1354.14/1359.26 c 1359 3689266 706704 1 - 0.0000 -
1359.22/1364.31 c 1364 3698805 708148 1 - 0.0000 -
1364.21/1369.36 c 1369 3708402 710197 1 - 0.0000 -
1369.29/1374.44 c 1374 3717856 711885 1 - 0.0000 -
1374.27/1379.48 c 1379 3727697 713960 1 - 0.0000 -
1379.35/1384.53 c 1385 3738725 715216 1 - 0.0000 -
1384.33/1389.59 c 1390 3748683 716782 1 - 0.0000 -
1389.42/1394.65 c 1395 3757958 718278 1 - 0.0000 -
1394.50/1399.71 c 1400 3767746 720500 1 - 0.0000 -
1399.48/1404.75 c 1405 3778507 721915 1 - 0.0000 -
1404.57/1409.80 c 1410 3788362 723736 1 - 0.0000 -
1409.55/1414.86 c 1415 3798706 725333 1 - 0.0000 -
1414.63/1419.90 c 1420 3808267 727258 1 - 0.0000 -
1419.61/1424.96 c 1425 3818051 728859 1 - 0.0000 -
1424.71/1430.01 c 1430 3827323 730515 1 - 0.0000 -
1429.69/1435.08 c 1435 3838301 732224 1 - 0.0000 -
1434.77/1440.13 c 1440 3848413 733777 1 - 0.0000 -
1439.75/1445.17 c 1445 3859110 735655 1 - 0.0000 -
1444.84/1450.22 c 1450 3868887 737099 1 - 0.0000 -
1449.82/1455.27 c 1455 3878726 739000 1 - 0.0000 -
1454.90/1460.32 c 1460 3888634 740940 1 - 0.0000 -
1459.89/1465.37 c 1465 3897669 742563 1 - 0.0000 -
1464.97/1470.42 c 1470 3907393 744663 1 - 0.0000 -
1469.95/1475.47 c 1475 3916907 746898 1 - 0.0000 -
1475.03/1480.56 c 1481 3926277 748320 1 - 0.0000 -
1480.12/1485.61 c 1486 3937687 750172 1 - 0.0000 -
1485.10/1490.68 c 1491 3947308 753127 1 - 0.0000 -
1490.19/1495.73 c 1496 3956807 754377 1 - 0.0000 -
1495.17/1500.79 c 1501 3966835 755940 1 - 0.0000 -
1500.26/1505.85 c 1506 3976876 757828 1 - 0.0000 -
1505.34/1510.91 c 1511 3986801 759460 1 - 0.0000 -
1510.32/1515.98 c 1516 3996929 760826 1 - 0.0000 -
1515.40/1521.06 c 1521 4005566 762409 1 - 0.0000 -
1520.49/1526.10 c 1526 4015118 765043 1 - 0.0000 -
1525.48/1531.15 c 1531 4024699 767086 1 - 0.0000 -
1530.55/1536.21 c 1536 4034185 768391 1 - 0.0000 -
1535.54/1541.28 c 1541 4043395 769524 1 - 0.0000 -
1540.62/1546.33 c 1546 4052135 770681 1 - 0.0000 -
1545.61/1551.39 c 1551 4062210 772701 1 - 0.0000 -
1550.69/1556.45 c 1556 4072185 773703 1 - 0.0000 -
1555.77/1561.51 c 1562 4080886 774815 1 - 0.0000 -
1560.76/1566.56 c 1567 4089575 776284 1 - 0.0000 -
1565.83/1571.63 c 1572 4098864 777819 1 - 0.0000 -
1570.82/1576.69 c 1577 4107793 779278 1 - 0.0000 -
1575.90/1581.76 c 1582 4116290 780167 1 - 0.0000 -
1580.99/1586.81 c 1587 4125711 781312 1 - 0.0000 -
1585.97/1591.89 c 1592 4135007 782536 1 - 0.0000 -
1591.05/1596.97 c 1597 4144402 783510 1 - 0.0000 -
1596.14/1602.02 c 1602 4153946 784793 1 - 0.0000 -
1601.13/1607.08 c 1607 4162309 786533 1 - 0.0000 -
1606.21/1612.12 c 1612 4171524 787624 1 - 0.0000 -
1611.20/1617.18 c 1617 4179722 788706 1 - 0.0000 -
1616.27/1622.23 c 1622 4189425 789879 1 - 0.0000 -
1621.36/1627.30 c 1627 4197618 791075 1 - 0.0000 -
1626.34/1632.38 c 1632 4206894 792207 1 - 0.0000 -
1631.42/1637.44 c 1637 4215830 793388 1 - 0.0000 -
1636.51/1642.51 c 1643 4224608 794856 1 - 0.0000 -
1641.49/1647.55 c 1648 4234887 795494 1 - 0.0000 -
1646.58/1652.60 c 1653 4244610 796271 1 - 0.0000 -
1651.66/1657.70 c 1658 4253149 797212 1 - 0.0000 -
1656.64/1662.76 c 1663 4261895 798576 1 - 0.0000 -
1661.73/1667.83 c 1668 4272002 800872 1 - 0.0000 -
1666.70/1672.87 c 1673 4284435 803132 1 - 0.0000 -
1671.79/1677.94 c 1678 4296395 804827 1 - 0.0000 -
1676.88/1683.00 c 1683 4308843 806131 1 - 0.0000 -
1681.86/1688.06 c 1688 4318726 806698 1 - 0.0000 -
1686.94/1693.12 c 1693 4327647 807771 1 - 0.0000 -
1691.93/1698.18 c 1698 4338946 809936 1 - 0.0000 -
1697.01/1703.23 c 1703 4347621 811205 1 - 0.0000 -
1701.99/1708.29 c 1708 4355955 812339 1 - 0.0000 -
1707.07/1713.35 c 1713 4365761 813285 1 - 0.0000 -
1712.15/1718.42 c 1718 4373434 814165 1 - 0.0000 -
1717.14/1723.47 c 1723 4382433 814873 1 - 0.0000 -
1722.22/1728.52 c 1729 4391176 815855 1 - 0.0000 -
1727.20/1733.58 c 1734 4399727 816796 1 - 0.0000 -
1732.29/1738.63 c 1739 4408283 817472 1 - 0.0000 -
1737.38/1743.70 c 1744 4416749 818510 1 - 0.0000 -
1742.36/1748.75 c 1749 4425717 820386 1 - 0.0000 -
1747.34/1753.79 c 1754 4437648 823267 1 - 0.0000 -
1752.43/1758.85 c 1759 4447817 826308 1 - 0.0000 -
1757.41/1763.89 c 1764 4458449 828595 1 - 0.0000 -
1762.50/1768.96 c 1769 4468022 830274 1 - 0.0000 -
1767.58/1774.02 c 1774 4478408 832336 1 - 0.0000 -
1772.57/1779.08 c 1779 4488762 833910 1 - 0.0000 -
1777.65/1784.14 c 1784 4498701 834883 1 - 0.0000 -
1782.63/1789.19 c 1789 4508139 835953 1 - 0.0000 -
1787.72/1794.26 c 1794 4517662 836964 1 - 0.0000 -
1792.80/1799.34 c 1799 4527232 837933 1 - 0.0000 -
1797.88/1804.40 c 1804 4538185 839035 1 - 0.0000 -
1802.86/1809.46 c 1809 4546775 840343 1 - 0.0000 -
1807.95/1814.53 c 1815 4554974 842168 1 - 0.0000 -
1812.93/1819.58 c 1820 4563741 843650 1 - 0.0000 -
1818.02/1824.64 c 1825 4572736 844973 1 - 0.0000 -
1823.10/1829.70 c 1830 4582711 845968 1 - 0.0000 -
1828.08/1834.77 c 1835 4591101 846899 1 - 0.0000 -
1833.17/1839.82 c 1840 4601116 847514 1 - 0.0000 -
1838.15/1844.89 c 1845 4608672 848555 1 - 0.0000 -
1843.23/1849.95 c 1850 4616490 849419 1 - 0.0000 -
1848.32/1855.04 c 1855 4626534 850526 1 - 0.0000 -
1853.31/1860.08 c 1860 4634843 851827 1 - 0.0000 -
1858.39/1865.14 c 1865 4642901 852574 1 - 0.0000 -
1863.47/1870.21 c 1870 4650959 853587 1 - 0.0000 -
1868.46/1875.28 c 1875 4660064 855060 1 - 0.0000 -
1873.54/1880.35 c 1880 4671019 857255 1 - 0.0000 -
1878.62/1885.42 c 1885 4679902 858637 1 - 0.0000 -
1883.60/1890.48 c 1890 4688902 859947 1 - 0.0000 -
1888.68/1895.54 c 1896 4698173 861588 1 - 0.0000 -
1893.77/1900.63 c 1901 4708289 862551 1 - 0.0000 -
1898.85/1905.70 c 1906 4716487 863807 1 - 0.0000 -
1903.84/1910.74 c 1911 4725828 864949 1 - 0.0000 -
1908.92/1915.81 c 1916 4736349 866078 1 - 0.0000 -
1913.90/1920.87 c 1921 4745389 867659 1 - 0.0000 -
1918.99/1925.92 c 1926 4754231 869077 1 - 0.0000 -
1923.98/1930.97 c 1931 4763319 870112 1 - 0.0000 -
1929.06/1936.04 c 1936 4771952 871607 1 - 0.0000 -
1934.05/1941.10 c 1941 4780739 872348 1 - 0.0000 -
1939.13/1946.15 c 1946 4788980 873405 1 - 0.0000 -
1944.21/1951.21 c 1951 4797224 874297 1 - 0.0000 -
1949.19/1956.25 c 1956 4805207 875588 1 - 0.0000 -
1954.28/1961.30 c 1961 4814124 876886 1 - 0.0000 -
1959.26/1966.35 c 1966 4822903 878079 1 - 0.0000 -
1964.34/1971.41 c 1971 4832009 879290 1 - 0.0000 -
1969.33/1976.46 c 1976 4841885 880274 1 - 0.0000 -
1974.41/1981.51 c 1982 4849966 881076 1 - 0.0000 -
1979.39/1986.56 c 1987 4858356 882156 1 - 0.0000 -
1984.47/1991.61 c 1992 4866752 883259 1 - 0.0000 -
1989.47/1996.68 c 1997 4874040 884864 1 - 0.0000 -
1994.54/2001.73 c 2002 4881613 886470 1 - 0.0000 -
1999.63/2006.80 c 2007 4890376 887957 1 - 0.0000 -
2004.61/2011.85 c 2012 4898773 888709 1 - 0.0000 -
2009.70/2016.92 c 2017 4908344 889798 1 - 0.0000 -
2014.78/2022.01 c 2022 4917031 890817 1 - 0.0000 -
2019.77/2027.05 c 2027 4924759 892264 1 - 0.0000 -
2024.86/2032.10 c 2032 4932716 893147 1 - 0.0000 -
2029.84/2037.16 c 2037 4940697 894355 1 - 0.0000 -
2034.91/2042.24 c 2042 4949214 895019 1 - 0.0000 -
2039.90/2047.29 c 2047 4956899 895844 1 - 0.0000 -
2044.99/2052.34 c 2052 4965635 896653 1 - 0.0000 -
2049.97/2057.39 c 2057 4973216 897564 1 - 0.0000 -
2055.05/2062.44 c 2062 4981449 898132 1 - 0.0000 -
2060.13/2067.52 c 2068 4988423 900338 1 - 0.0000 -
2065.12/2072.57 c 2073 4996735 902050 1 - 0.0000 -
2070.20/2077.63 c 2078 5004566 903030 1 - 0.0000 -
2075.29/2082.72 c 2083 5013344 903812 1 - 0.0000 -
2080.27/2087.78 c 2088 5021325 904627 1 - 0.0000 -
2085.35/2092.86 c 2093 5029759 905359 1 - 0.0000 -
2090.44/2097.92 c 2098 5038289 906066 1 - 0.0000 -
2095.42/2102.97 c 2103 5048188 906944 1 - 0.0000 -
2100.51/2108.04 c 2108 5056756 907904 1 - 0.0000 -
2105.60/2113.11 c 2113 5063883 909151 1 - 0.0000 -
2110.58/2118.19 c 2118 5070957 909466 1 - 0.0000 -
2115.66/2123.27 c 2123 5077987 910561 1 - 0.0000 -
2120.74/2128.38 c 2128 5085820 911555 1 - 0.0000 -
2125.82/2133.45 c 2133 5093370 912247 1 - 0.0000 -
2130.91/2138.54 c 2139 5099649 913658 1 - 0.0000 -
2136.00/2143.60 c 2144 5109243 914738 1 - 0.0000 -
2140.98/2148.65 c 2149 5117016 916236 1 - 0.0000 -
2146.06/2153.70 c 2154 5126295 917824 1 - 0.0000 -
2151.04/2158.76 c 2159 5134731 918826 1 - 0.0000 -
2156.12/2163.81 c 2164 5143765 920007 1 - 0.0000 -
2161.11/2168.86 c 2169 5151722 921546 1 - 0.0000 -
2166.20/2173.92 c 2174 5159748 922399 1 - 0.0000 -
2171.17/2178.98 c 2179 5168492 923690 1 - 0.0000 -
2176.26/2184.03 c 2184 5175902 924501 1 - 0.0000 -
2181.34/2189.13 c 2189 5182879 925740 1 - 0.0000 -
2186.32/2194.19 c 2194 5190126 928283 1 - 0.0000 -
2191.40/2199.26 c 2199 5197752 930196 1 - 0.0000 -
2196.49/2204.30 c 2204 5205625 931515 1 - 0.0000 -
2201.47/2209.36 c 2209 5212840 932966 1 - 0.0000 -
2206.55/2214.41 c 2214 5221236 933890 1 - 0.0000 -
2211.53/2219.48 c 2219 5227606 935324 1 - 0.0000 -
2216.62/2224.54 c 2225 5235446 936272 1 - 0.0000 -
2221.60/2229.59 c 2230 5242670 937326 1 - 0.0000 -
2226.69/2234.64 c 2235 5251063 938023 1 - 0.0000 -
2231.76/2239.70 c 2240 5258670 939305 1 - 0.0000 -
2236.75/2244.76 c 2245 5267041 940146 1 - 0.0000 -
2241.84/2249.81 c 2250 5275635 940819 1 - 0.0000 -
2246.82/2254.86 c 2255 5284219 941902 1 - 0.0000 -
2251.90/2259.95 c 2260 5291849 943096 1 - 0.0000 -
2256.99/2265.01 c 2265 5302240 945719 1 - 0.0000 -
2261.97/2270.06 c 2270 5312528 947310 1 - 0.0000 -
2267.06/2275.15 c 2275 5323529 948881 1 - 0.0000 -
2272.13/2280.23 c 2280 5332771 950675 1 - 0.0000 -
2277.12/2285.28 c 2285 5340880 951626 1 - 0.0000 -
2282.20/2290.36 c 2290 5348026 952779 1 - 0.0000 -
2287.28/2295.40 c 2295 5356712 954113 1 - 0.0000 -
2292.27/2300.45 c 2300 5365794 954982 1 - 0.0000 -
2297.35/2305.51 c 2306 5374765 955690 1 - 0.0000 -
2302.33/2310.58 c 2311 5382203 956909 1 - 0.0000 -
2307.41/2315.64 c 2316 5392200 957840 1 - 0.0000 -
2312.49/2320.71 c 2321 5399950 959010 1 - 0.0000 -
2317.48/2325.79 c 2326 5407773 960166 1 - 0.0000 -
2322.56/2330.86 c 2331 5416900 962369 1 - 0.0000 -
2327.64/2335.93 c 2336 5428563 963114 1 - 0.0000 -
2332.63/2340.98 c 2341 5437300 963979 1 - 0.0000 -
2337.72/2346.08 c 2346 5446370 964786 1 - 0.0000 -
2342.80/2351.13 c 2351 5454905 965382 1 - 0.0000 -
2347.79/2356.19 c 2356 5463329 966574 1 - 0.0000 -
2352.86/2361.26 c 2361 5471715 967722 1 - 0.0000 -
2357.94/2366.35 c 2366 5480444 968841 1 - 0.0000 -
2363.02/2371.42 c 2371 5488497 969983 1 - 0.0000 -
2368.01/2376.46 c 2376 5497948 970819 1 - 0.0000 -
2373.09/2381.52 c 2382 5507485 971593 1 - 0.0000 -
2378.07/2386.59 c 2387 5514006 973763 1 - 0.0000 -
2383.16/2391.66 c 2392 5521677 976040 1 - 0.0000 -
2388.23/2396.70 c 2397 5529039 978216 1 - 0.0000 -
2393.22/2401.77 c 2402 5537085 980663 1 - 0.0000 -
2398.30/2406.82 c 2407 5544994 982647 1 - 0.0000 -
2403.29/2411.89 c 2412 5552353 984101 1 - 0.0000 -
2408.37/2416.94 c 2417 5560553 986617 1 - 0.0000 -
2413.46/2422.00 c 2422 5567460 988705 1 - 0.0000 -
2418.44/2427.08 c 2427 5574699 990104 1 - 0.0000 -
2423.52/2432.12 c 2432 5582411 991054 1 - 0.0000 -
2428.50/2437.17 c 2437 5589424 992352 1 - 0.0000 -
2433.59/2442.23 c 2442 5595507 993478 1 - 0.0000 -
2438.56/2447.28 c 2447 5603335 994732 1 - 0.0000 -
2443.65/2452.33 c 2452 5610719 996226 1 - 0.0000 -
2448.73/2457.40 c 2457 5618594 997398 1 - 0.0000 -
2453.71/2462.45 c 2462 5627371 998286 1 - 0.0000 -
2458.80/2467.51 c 2468 5635333 999082 1 - 0.0000 -
2463.78/2472.56 c 2473 5643251 999858 1 - 0.0000 -
2468.85/2477.62 c 2478 5651119 1000807 1 - 0.0000 -
2473.93/2482.70 c 2483 5660633 1003020 1 - 0.0000 -
2478.92/2487.76 c 2488 5670729 1004693 1 - 0.0000 -
2484.01/2492.82 c 2493 5680666 1006154 1 - 0.0000 -
2488.98/2497.87 c 2498 5689751 1007136 1 - 0.0000 -
2494.07/2502.93 c 2503 5699276 1007831 1 - 0.0000 -
2499.05/2507.98 c 2508 5708548 1009080 1 - 0.0000 -
2504.14/2513.05 c 2513 5718186 1010228 1 - 0.0000 -
2509.22/2518.14 c 2518 5727381 1011668 1 - 0.0000 -
2514.21/2523.18 c 2523 5737396 1013140 1 - 0.0000 -
2519.28/2528.23 c 2528 5747570 1014325 1 - 0.0000 -
2524.37/2533.33 c 2533 5755268 1015421 1 - 0.0000 -
2529.35/2538.38 c 2538 5764133 1016374 1 - 0.0000 -
2534.43/2543.47 c 2543 5771728 1017982 1 - 0.0000 -
2539.51/2548.51 c 2549 5779567 1019026 1 - 0.0000 -
2544.59/2553.61 c 2554 5787817 1020381 1 - 0.0000 -
2549.57/2558.65 c 2559 5796006 1022023 1 - 0.0000 -
2554.66/2563.70 c 2564 5803441 1023205 1 - 0.0000 -
2559.64/2568.77 c 2569 5811280 1024208 1 - 0.0000 -
2564.73/2573.84 c 2574 5819392 1026012 1 - 0.0000 -
2569.71/2578.89 c 2579 5828579 1026794 1 - 0.0000 -
2574.79/2583.96 c 2584 5837107 1028050 1 - 0.0000 -
2579.88/2589.02 c 2589 5845884 1028787 1 - 0.0000 -
2584.87/2594.07 c 2594 5854775 1029876 1 - 0.0000 -
2589.96/2599.15 c 2599 5863614 1030956 1 - 0.0000 -
2595.03/2604.23 c 2604 5872366 1032250 1 - 0.0000 -
2600.02/2609.28 c 2609 5878864 1034242 1 - 0.0000 -
2605.10/2614.36 c 2614 5888173 1035252 1 - 0.0000 -
2610.18/2619.41 c 2619 5895649 1036294 1 - 0.0000 -
2615.17/2624.45 c 2624 5904862 1037910 1 - 0.0000 -
2620.25/2629.51 c 2630 5913019 1039029 1 - 0.0000 -
2625.23/2634.57 c 2635 5921656 1040003 1 - 0.0000 -
2630.32/2639.64 c 2640 5930454 1040874 1 - 0.0000 -
2635.31/2644.68 c 2645 5938744 1041875 1 - 0.0000 -
2640.39/2649.77 c 2650 5947942 1043336 1 - 0.0000 -
2645.47/2654.82 c 2655 5956573 1044665 1 - 0.0000 -
2650.45/2659.88 c 2660 5964245 1045773 1 - 0.0000 -
2655.54/2664.96 c 2665 5973776 1046858 1 - 0.0000 -
2660.62/2670.01 c 2670 5982282 1048024 1 - 0.0000 -
2665.61/2675.06 c 2675 5990547 1049229 1 - 0.0000 -
2670.70/2680.13 c 2680 6000086 1049921 1 - 0.0000 -
2675.78/2685.21 c 2685 6009618 1051964 1 - 0.0000 -
2680.76/2690.28 c 2690 6021427 1054439 1 - 0.0000 -
2685.84/2695.35 c 2695 6032946 1056824 1 - 0.0000 -
2690.93/2700.40 c 2700 6044556 1058616 1 - 0.0000 -
2695.91/2705.46 c 2705 6055703 1060218 1 - 0.0000 -
2700.99/2710.51 c 2711 6067197 1061771 1 - 0.0000 -
2705.98/2715.56 c 2716 6078662 1062674 1 - 0.0000 -
2711.06/2720.65 c 2721 6089383 1063761 1 - 0.0000 -
2716.14/2725.71 c 2726 6099403 1066653 1 - 0.0000 -
2721.13/2730.76 c 2731 6110380 1068717 1 - 0.0000 -
2726.21/2735.82 c 2736 6120680 1070346 1 - 0.0000 -
2731.29/2740.91 c 2741 6131562 1071485 1 - 0.0000 -
2736.28/2745.95 c 2746 6142859 1073870 1 - 0.0000 -
2741.36/2751.03 c 2751 6152909 1074977 1 - 0.0000 -
2746.35/2756.08 c 2756 6161157 1075941 1 - 0.0000 -
2751.43/2761.14 c 2761 6169878 1077031 1 - 0.0000 -
2756.51/2766.21 c 2766 6179167 1077910 1 - 0.0000 -
2761.49/2771.26 c 2771 6187279 1079908 1 - 0.0000 -
2766.58/2776.33 c 2776 6197596 1081385 1 - 0.0000 -
2771.57/2781.39 c 2781 6208664 1082579 1 - 0.0000 -
2776.65/2786.44 c 2786 6217364 1083588 1 - 0.0000 -
2781.64/2791.49 c 2792 6226580 1084468 1 - 0.0000 -
2786.72/2796.57 c 2797 6235419 1085310 1 - 0.0000 -
2791.80/2801.62 c 2802 6243600 1086495 1 - 0.0000 -
2796.78/2806.68 c 2807 6251722 1087539 1 - 0.0000 -
2801.87/2811.72 c 2812 6258975 1089213 1 - 0.0000 -
2806.85/2816.79 c 2817 6266335 1091037 1 - 0.0000 -
2811.93/2821.85 c 2822 6274351 1092295 1 - 0.0000 -
2817.02/2826.97 c 2827 6282309 1093571 1 - 0.0000 -
2822.11/2832.04 c 2832 6290456 1094796 1 - 0.0000 -
2827.19/2837.10 c 2837 6298564 1095874 1 - 0.0000 -
2832.17/2842.18 c 2842 6306831 1096840 1 - 0.0000 -
2837.25/2847.24 c 2847 6317794 1097879 1 - 0.0000 -
2842.34/2852.32 c 2852 6327162 1098547 1 - 0.0000 -
2847.42/2857.41 c 2857 6334643 1099486 1 - 0.0000 -
2852.41/2862.46 c 2862 6341340 1100626 1 - 0.0000 -
2857.49/2867.51 c 2868 6348801 1102179 1 - 0.0000 -
2862.58/2872.61 c 2873 6357062 1102929 1 - 0.0000 -
2867.56/2877.66 c 2878 6365069 1103876 1 - 0.0000 -
2872.64/2882.73 c 2883 6373204 1104651 1 - 0.0000 -
2877.73/2887.80 c 2888 6381004 1105425 1 - 0.0000 -
2882.71/2892.85 c 2893 6389311 1106312 1 - 0.0000 -
2887.79/2897.92 c 2898 6396244 1107486 1 - 0.0000 -
2892.88/2903.00 c 2903 6404834 1108028 1 - 0.0000 -
2897.87/2908.04 c 2908 6412610 1108812 1 - 0.0000 -
2902.95/2913.12 c 2913 6422040 1109535 1 - 0.0000 -
2907.93/2918.17 c 2918 6429904 1110312 1 - 0.0000 -
2913.02/2923.26 c 2923 6435767 1111964 1 - 0.0000 -
2918.10/2928.38 c 2928 6441834 1112975 1 - 0.0000 -
2923.18/2933.43 c 2933 6449638 1113751 1 - 0.0000 -
2928.17/2938.48 c 2938 6456351 1115699 1 - 0.0000 -
2933.25/2943.53 c 2944 6464106 1117133 1 - 0.0000 -
2938.33/2948.60 c 2949 6471765 1118461 1 - 0.0000 -
2943.32/2953.68 c 2954 6479349 1119463 1 - 0.0000 -
2948.40/2958.73 c 2959 6487252 1120324 1 - 0.0000 -
2953.38/2963.78 c 2964 6496101 1121014 1 - 0.0000 -
2958.46/2968.85 c 2969 6503491 1121991 1 - 0.0000 -
2963.55/2973.90 c 2974 6512145 1124500 1 - 0.0000 -
2968.54/2978.95 c 2979 6521784 1126566 1 - 0.0000 -
2973.62/2984.01 c 2984 6532274 1128975 1 - 0.0000 -
2978.61/2989.07 c 2989 6542167 1130790 1 - 0.0000 -
2983.69/2994.12 c 2994 6552317 1131941 1 - 0.0000 -
2988.78/2999.23 c 2999 6562430 1133521 1 - 0.0000 -
2993.76/3004.28 c 3004 6571755 1134938 1 - 0.0000 -
2998.84/3009.34 c 3009 6581495 1136807 1 - 0.0000 -
3003.92/3014.44 c 3014 6590504 1137741 1 - 0.0000 -
3009.01/3019.54 c 3020 6600031 1138121 1 - 0.0000 -
3014.09/3024.60 c 3025 6609238 1139197 1 - 0.0000 -
3019.08/3029.66 c 3030 6619059 1140963 1 - 0.0000 -
3024.16/3034.71 c 3035 6630079 1142456 1 - 0.0000 -
3029.24/3039.81 c 3040 6638419 1143738 1 - 0.0000 -
3034.23/3044.86 c 3045 6646084 1144503 1 - 0.0000 -
3039.32/3049.97 c 3050 6654150 1145601 1 - 0.0000 -
3044.39/3055.04 c 3055 6661311 1146580 1 - 0.0000 -
3049.48/3060.13 c 3060 6669914 1147320 1 - 0.0000 -
3054.47/3065.19 c 3065 6678278 1148450 1 - 0.0000 -
3059.54/3070.24 c 3070 6685614 1149472 1 - 0.0000 -
3064.63/3075.30 c 3075 6695048 1150379 1 - 0.0000 -
3069.72/3080.40 c 3080 6703394 1151411 1 - 0.0000 -
3074.70/3085.47 c 3085 6712268 1151975 1 - 0.0000 -
3079.78/3090.57 c 3091 6718223 1153411 1 - 0.0000 -
3084.87/3095.65 c 3096 6725516 1154096 1 - 0.0000 -
3089.95/3100.74 c 3101 6733462 1155264 1 - 0.0000 -
3095.03/3105.81 c 3106 6740781 1157146 1 - 0.0000 -
3100.01/3110.89 c 3111 6747999 1157934 1 - 0.0000 -
3105.10/3115.99 c 3116 6756109 1158709 1 - 0.0000 -
3110.19/3121.09 c 3121 6763903 1159338 1 - 0.0000 -
3115.37/3126.20 c 3126 6772890 1160212 1 - 0.0000 -
3120.35/3131.29 c 3131 6779700 1161655 1 - 0.0000 -
3125.44/3136.36 c 3136 6787876 1163492 1 - 0.0000 -
3130.52/3141.41 c 3141 6794776 1164791 1 - 0.0000 -
3135.50/3146.49 c 3146 6802347 1166210 1 - 0.0000 -
3140.58/3151.58 c 3152 6811384 1167087 1 - 0.0000 -
3145.67/3156.69 c 3157 6820101 1168484 1 - 0.0000 -
3150.75/3161.74 c 3162 6827485 1169999 1 - 0.0000 -
3155.74/3166.79 c 3167 6834139 1170915 1 - 0.0000 -
3160.82/3171.87 c 3172 6840035 1171980 1 - 0.0000 -
3165.91/3176.97 c 3177 6846986 1173220 1 - 0.0000 -
3170.99/3182.02 c 3182 6854464 1173838 1 - 0.0000 -
3175.98/3187.08 c 3187 6862795 1174536 1 - 0.0000 -
3181.06/3192.13 c 3192 6870946 1175202 1 - 0.0000 -
3186.14/3197.23 c 3197 6879681 1175960 1 - 0.0000 -
3191.12/3202.28 c 3202 6888529 1176935 1 - 0.0000 -
3196.21/3207.38 c 3207 6898009 1177840 1 - 0.0000 -
3201.29/3212.43 c 3212 6906521 1178892 1 - 0.0000 -
3206.38/3217.50 c 3218 6913107 1180133 1 - 0.0000 -
3211.36/3222.59 c 3223 6921083 1181044 1 - 0.0000 -
3216.44/3227.66 c 3228 6926654 1182423 1 - 0.0000 -
3221.53/3232.71 c 3233 6934263 1183445 1 - 0.0000 -
3226.61/3237.81 c 3238 6942819 1184359 1 - 0.0000 -
3231.69/3242.90 c 3243 6951103 1185376 1 - 0.0000 -
3236.68/3247.96 c 3248 6958445 1186036 1 - 0.0000 -
3241.76/3253.01 c 3253 6966322 1186691 1 - 0.0000 -
3246.85/3258.11 c 3258 6974553 1187844 1 - 0.0000 -
3251.83/3263.18 c 3263 6982397 1190095 1 - 0.0000 -
3256.90/3268.24 c 3268 6990266 1191547 1 - 0.0000 -
3261.98/3273.32 c 3273 6997933 1192654 1 - 0.0000 -
3267.07/3278.41 c 3278 7005032 1194019 1 - 0.0000 -
3272.05/3283.45 c 3283 7011743 1194891 1 - 0.0000 -
3277.13/3288.57 c 3289 7019116 1195842 1 - 0.0000 -
3282.20/3293.66 c 3294 7026370 1196958 1 - 0.0000 -
3287.28/3298.70 c 3299 7034387 1197588 1 - 0.0000 -
3292.27/3303.75 c 3304 7041281 1198625 1 - 0.0000 -
3297.35/3308.84 c 3309 7048403 1199569 1 - 0.0000 -
3302.32/3313.88 c 3314 7056561 1200293 1 - 0.0000 -
3307.40/3318.98 c 3319 7063842 1201040 1 - 0.0000 -
3312.49/3324.05 c 3324 7071151 1201737 1 - 0.0000 -
3317.57/3329.12 c 3329 7077295 1202910 1 - 0.0000 -
3322.55/3334.16 c 3334 7085187 1203658 1 - 0.0000 -
3327.62/3339.22 c 3339 7092432 1204440 1 - 0.0000 -
3332.60/3344.27 c 3344 7099864 1205168 1 - 0.0000 -
3337.79/3349.40 c 3349 7107556 1205902 1 - 0.0000 -
3342.77/3354.45 c 3354 7115310 1206958 1 - 0.0000 -
3347.84/3359.51 c 3360 7122408 1208040 1 - 0.0000 -
3352.82/3364.56 c 3365 7129966 1208777 1 - 0.0000 -
3357.91/3369.66 c 3370 7137512 1209483 1 - 0.0000 -
3362.98/3374.73 c 3375 7144607 1210418 1 - 0.0000 -
3368.07/3379.80 c 3380 7150987 1211415 1 - 0.0000 -
3373.04/3384.89 c 3385 7158544 1212381 1 - 0.0000 -
3378.13/3389.94 c 3390 7166845 1214239 1 - 0.0000 -
3383.21/3395.01 c 3395 7172997 1215078 1 - 0.0000 -
3388.19/3400.08 c 3400 7179842 1216041 1 - 0.0000 -
3393.28/3405.15 c 3405 7186868 1217130 1 - 0.0000 -
3398.35/3410.22 c 3410 7194390 1218003 1 - 0.0000 -
3403.44/3415.31 c 3415 7202066 1219018 1 - 0.0000 -
3408.53/3420.41 c 3420 7208945 1220655 1 - 0.0000 -
3413.51/3425.49 c 3426 7215624 1222276 1 - 0.0000 -
3418.60/3430.56 c 3431 7222346 1223482 1 - 0.0000 -
3423.68/3435.64 c 3436 7229145 1224677 1 - 0.0000 -
3428.76/3440.74 c 3441 7235902 1225701 1 - 0.0000 -
3433.85/3445.83 c 3446 7242433 1226645 1 - 0.0000 -
3438.93/3450.91 c 3451 7249780 1227437 1 - 0.0000 -
3444.02/3456.01 c 3456 7256876 1228366 1 - 0.0000 -
3449.00/3461.05 c 3461 7264098 1229134 1 - 0.0000 -
3454.08/3466.13 c 3466 7271889 1229702 1 - 0.0000 -
3459.16/3471.24 c 3471 7279362 1230718 1 - 0.0000 -
3464.16/3476.28 c 3476 7286785 1231448 1 - 0.0000 -
3469.24/3481.37 c 3481 7293747 1232161 1 - 0.0000 -
3474.32/3486.45 c 3486 7301099 1232986 1 - 0.0000 -
3479.40/3491.53 c 3492 7309413 1233718 1 - 0.0000 -
3484.38/3496.59 c 3497 7316475 1234483 1 - 0.0000 -
3489.47/3501.67 c 3502 7323325 1235844 1 - 0.0000 -
3494.55/3506.72 c 3507 7332882 1237462 1 - 0.0000 -
3499.64/3511.80 c 3512 7342584 1237947 1 - 0.0000 -
3504.63/3516.89 c 3517 7350424 1239013 1 - 0.0000 -
3509.71/3521.95 c 3522 7359038 1240216 1 - 0.0000 -
3514.79/3527.03 c 3527 7367420 1241089 1 - 0.0000 -
3519.88/3532.13 c 3532 7374444 1241703 1 - 0.0000 -
3524.86/3537.18 c 3537 7381858 1242414 1 - 0.0000 -
3529.94/3542.22 c 3542 7388587 1243346 1 - 0.0000 -
3534.91/3547.28 c 3547 7395684 1243911 1 - 0.0000 -
3539.99/3552.34 c 3552 7403009 1244787 1 - 0.0000 -
3545.07/3557.40 c 3557 7411436 1246576 1 - 0.0000 -
3550.05/3562.46 c 3562 7418947 1248239 1 - 0.0000 -
3555.14/3567.53 c 3568 7425574 1250324 1 - 0.0000 -
3560.21/3572.61 c 3573 7433275 1252061 1 - 0.0000 -
3565.29/3577.70 c 3578 7439600 1253860 1 - 0.0000 -
3570.27/3582.75 c 3583 7446456 1255810 1 - 0.0000 -
3575.36/3587.82 c 3588 7453866 1256965 1 - 0.0000 -
3580.33/3592.89 c 3593 7460625 1258148 1 - 0.0000 -
3585.41/3597.97 c 3598 7467507 1259291 1 - 0.0000 -
3590.00/3602.54 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.00/3602.54 c Total Time : 3602.5400
3590.00/3602.54 c solving : 3602.5400
3590.00/3602.54 c presolving : 0.0039 (included in solving)
3590.00/3602.54 c B&B Tree :
3590.00/3602.54 c nodes (total) : 1
3590.00/3602.54 c Solution :
3590.00/3602.54 c Solutions found : 0
3590.00/3602.54 c Primal Bound : -
3590.00/3602.54 c Dual Bound : +0.00000000000000e+00
3590.00/3602.54 c Gap : -
3590.00/3602.55 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 (60513 MiB free)
memory of node 1: 64473 MiB (58533 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447880-1721361277/watcher-4447880-1721361277 -o /tmp/evaluation-result-4447880-1721361277/solver-4447880-1721361277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982052 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447880-1721361277.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=986208, runsolver pid=986205
[startup+0.100095 s]*
/proc/loadavg: 4.13 4.11 4.09 5/260 986211
/proc/meminfo: memFree=123416360/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=108280 memory=23116 CPUtime=0.09 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 3092 0 0 0 9 0 0 0 20 0 3 0 188294726 110878720 5779 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 27070 5779 2942 3032 0 9269 0
[pid=986208/tid=986210] ppid=986205 vsize=108280 memory=4026531971 CPUtime=0.09 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 1585 0 0 0 9 0 0 0 20 0 3 0 188294727 110878720 5779 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=108280 memory=1656803 CPUtime=0 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188294727 110878720 5779 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 108280 KiB
Current children cumulated memory: 23116 KiB
[startup+0.205635 s]*
/proc/loadavg: 4.13 4.11 4.09 4/257 986219
/proc/meminfo: memFree=123457148/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=108280 memory=26548 CPUtime=0.2 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 3949 0 0 0 20 0 0 0 20 0 3 0 188294726 110878720 6637 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 27070 6637 2942 3032 0 10146 0
[pid=986208/tid=986210] ppid=986205 vsize=108280 memory=7872697190685737277 CPUtime=0.19 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 2442 0 0 0 19 0 0 0 20 0 3 0 188294727 110878720 6637 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=108280 memory=215671374179 CPUtime=0 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188294727 110878720 6637 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 108280 KiB
Current children cumulated memory: 26548 KiB
[startup+0.305964 s]*
/proc/loadavg: 4.13 4.11 4.09 4/259 986225
/proc/meminfo: memFree=123502412/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=108280 memory=27604 CPUtime=0.3 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 4243 0 0 0 30 0 0 0 20 0 3 0 188294726 110878720 6901 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 27070 6901 2942 3032 0 10352 0
[pid=986208/tid=986210] ppid=986205 vsize=108280 memory=-6098642911039945150 CPUtime=0.29 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 2736 0 0 0 29 0 0 0 20 0 3 0 188294727 110878720 6901 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=108280 memory=0 CPUtime=0 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188294727 110878720 6901 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 108280 KiB
Current children cumulated memory: 27604 KiB
[startup+0.700259 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 986247
/proc/meminfo: memFree=123584244/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=108280 memory=29728 CPUtime=0.69 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 5007 0 0 0 68 1 0 0 20 0 3 0 188294726 110878720 7432 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 27070 7432 2942 3032 0 10775 0
[pid=986208/tid=986210] ppid=986205 vsize=108280 memory=0 CPUtime=0.68 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 3500 0 0 0 68 0 0 0 20 0 3 0 188294727 110878720 7432 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=108280 memory=0 CPUtime=0 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188294727 110878720 7432 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 108280 KiB
Current children cumulated memory: 29728 KiB
[startup+1.50028 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 986259
/proc/meminfo: memFree=123716448/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=108280 memory=31404 CPUtime=1.49 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 8077 0 0 0 148 1 0 0 20 0 3 0 188294726 110878720 7851 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 27070 7851 2942 3032 0 11115 0
[pid=986208/tid=986210] ppid=986205 vsize=108280 memory=0 CPUtime=1.47 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 6557 0 0 0 147 0 0 0 20 0 3 0 188294727 110878720 7851 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=108280 memory=0 CPUtime=0 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 188294727 110878720 7851 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 108280 KiB
Current children cumulated memory: 31404 KiB
[startup+3.10552 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 986309
/proc/meminfo: memFree=125702176/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=108280 memory=33904 CPUtime=3.08 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 9081 0 0 0 307 1 0 0 20 0 3 0 188294726 110878720 8476 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 27070 8476 2942 3032 0 11697 0
[pid=986208/tid=986210] ppid=986205 vsize=108280 memory=0 CPUtime=3.08 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 7559 0 0 0 307 1 0 0 20 0 3 0 188294727 110878720 8476 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=108280 memory=0 CPUtime=0 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 188294727 110878720 8476 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 108280 KiB
Current children cumulated memory: 33904 KiB
[startup+6.3002 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 986357
/proc/meminfo: memFree=129062044/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=108280 memory=38528 CPUtime=6.26 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 12686 0 0 0 624 2 0 0 20 0 3 0 188294726 110878720 9632 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 27070 9632 2942 3032 0 12102 0
[pid=986208/tid=986210] ppid=986205 vsize=108280 memory=35296 CPUtime=6.26 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 11142 0 0 0 624 2 0 0 20 0 3 0 188294727 110878720 9632 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=108280 memory=45740 CPUtime=0 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 188294727 110878720 9632 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 108280 KiB
Current children cumulated memory: 38528 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 986357
/proc/meminfo: memFree=129031136/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=108280 memory=46696 CPUtime=12.64 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 22173 0 0 0 1259 5 0 0 20 0 3 0 188294726 110878720 11674 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 27070 11674 2942 3032 0 14413 0
[pid=986208/tid=986210] ppid=986205 vsize=108280 memory=38528 CPUtime=12.63 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 20611 0 0 0 1258 5 0 0 20 0 3 0 188294727 110878720 11674 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=108280 memory=46696 CPUtime=0 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 188294727 110878720 11674 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 108280 KiB
Current children cumulated memory: 46696 KiB
[startup+25.5002 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 986360
/proc/meminfo: memFree=128975956/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=108280 memory=59216 CPUtime=25.39 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 31805 0 0 0 2529 10 0 0 20 0 3 0 188294726 110878720 14804 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 27070 14804 2958 3032 0 17494 0
[pid=986208/tid=986210] ppid=986205 vsize=108280 memory=46696 CPUtime=25.38 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 30224 0 0 0 2528 10 0 0 20 0 3 0 188294727 110878720 14804 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=108280 memory=38528 CPUtime=0 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 188294727 110878720 14804 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 108280 KiB
Current children cumulated memory: 59216 KiB
[startup+51.1056 s]
/proc/loadavg: 4.12 4.10 4.09 5/265 986748
/proc/meminfo: memFree=128902592/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=174200 memory=87092 CPUtime=50.9 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 41500 0 0 0 5071 19 0 0 20 0 3 0 188294726 178380800 21773 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 43550 21773 2990 3032 0 24282 0
[pid=986208/tid=986210] ppid=986205 vsize=174200 memory=86076 CPUtime=50.89 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 39892 0 0 0 5070 19 0 0 20 0 3 0 188294727 178380800 21773 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=174200 memory=85920 CPUtime=0 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 188294727 178380800 21773 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 174200 KiB
Current children cumulated memory: 87092 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/265 986757
/proc/meminfo: memFree=128776552/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=174200 memory=132724 CPUtime=101.92 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 66971 0 0 0 10153 39 0 0 20 0 3 0 188294726 178380800 33181 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 43550 33181 2990 3032 0 35643 0
[pid=986208/tid=986210] ppid=986205 vsize=174200 memory=127292 CPUtime=101.91 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 65333 0 0 0 10152 39 0 0 20 0 3 0 188294727 178380800 33181 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=174200 memory=126440 CPUtime=0 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 188294727 178380800 33181 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 174200 KiB
Current children cumulated memory: 132724 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 986769
/proc/meminfo: memFree=128633888/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=246192 memory=182340 CPUtime=161.72 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 100459 0 0 0 16100 72 0 0 20 0 3 0 188294726 252100608 45585 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 61548 45585 2990 3032 0 48439 0
[pid=986208/tid=986210] ppid=986205 vsize=246192 memory=158008 CPUtime=161.7 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 98799 0 0 0 16098 72 0 0 20 0 3 0 188294727 252100608 45585 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=246192 memory=11608 CPUtime=0 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 188294727 252100608 45585 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 246192 KiB
################
# More data... #
################
/proc/986208/statm: 393577 377055 2990 3032 0 387761 0
[pid=986208/tid=986210] ppid=986205 vsize=1574308 memory=1474876 CPUtime=3450.06 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 2723900 0 0 0 343716 1290 0 0 20 0 3 0 188294727 1612091392 377055 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=1574308 memory=1502072 CPUtime=0.02 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 133 0 0 0 0 2 0 0 20 0 3 0 188294727 1612091392 377055 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 3450.29 s
Current children cumulated vsize: 1574308 KiB
Current children cumulated memory: 1508220 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/264 988228
/proc/meminfo: memFree=122369560/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=1640872 memory=1519768 CPUtime=3510.11 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 2784785 0 0 0 349698 1313 0 0 20 0 3 0 188294726 1680252928 379942 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 410218 379942 2990 3032 0 390452 0
[pid=986208/tid=986210] ppid=986205 vsize=1640872 memory=45740 CPUtime=3509.87 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 2782541 0 0 0 349679 1308 0 0 20 0 3 0 188294727 1680252928 379942 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=1640872 memory=1517392 CPUtime=0.02 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 135 0 0 0 0 2 0 0 20 0 3 0 188294727 1680252928 379942 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 3510.11 s
Current children cumulated vsize: 1640872 KiB
Current children cumulated memory: 1519768 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/264 988239
/proc/meminfo: memFree=122277848/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=1642928 memory=1541764 CPUtime=3569.87 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 2843103 0 0 0 355656 1331 0 0 20 0 3 0 188294726 1682358272 385441 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 410732 385441 2990 3032 0 394230 0
[pid=986208/tid=986210] ppid=986205 vsize=1642928 memory=1539988 CPUtime=3569.63 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 2840852 0 0 0 355637 1326 0 0 20 0 3 0 188294727 1682358272 385441 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=1642928 memory=16184 CPUtime=0.02 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 188294727 1682358272 385441 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 3569.87 s
Current children cumulated vsize: 1642928 KiB
Current children cumulated memory: 1541764 KiB
[startup+3602.56 s]
# the end of solver process 986208 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3576.63 s, system=13.4366 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.14 4.15 4.14 5/264 988241
/proc/meminfo: memFree=122274684/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=1642928 memory=1542980 CPUtime=3571.57 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 2844105 0 0 0 355826 1331 0 0 20 0 3 0 188294726 1682358272 385745 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 410732 385745 2990 3032 0 394534 0
[pid=986208/tid=986210] ppid=986205 vsize=1642928 memory=6720661039052440173 CPUtime=3571.32 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 2841850 0 0 0 355806 1326 0 0 20 0 3 0 188294727 1682358272 385745 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=1642928 memory=-8549727008118979992 CPUtime=0.02 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 188294727 1682358272 385745 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 3571.57 s
Current children cumulated vsize: 1642928 KiB
Current children cumulated memory: 1542980 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.14 4.14 5/264 988241
/proc/meminfo: memFree=122264152/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=1642928 memory=1544996 CPUtime=3577.94 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 2852857 0 0 0 356461 1333 0 0 20 0 3 0 188294726 1682358272 386249 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 410732 386249 2990 3032 0 395030 0
[pid=986208/tid=986210] ppid=986205 vsize=1642928 memory=45740 CPUtime=3577.69 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 2850602 0 0 0 356441 1328 0 0 20 0 3 0 188294727 1682358272 386249 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=1642928 memory=12384 CPUtime=0.02 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 188294727 1682358272 386249 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 3577.94 s
Current children cumulated vsize: 1642928 KiB
Current children cumulated memory: 1544996 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.14 4.14 5/264 988243
/proc/meminfo: memFree=122255696/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=1642928 memory=1546648 CPUtime=3584.31 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 2853789 0 0 0 357096 1335 0 0 20 0 3 0 188294726 1682358272 386662 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 410732 386662 2990 3032 0 395446 0
[pid=986208/tid=986210] ppid=986205 vsize=1642928 memory=1539988 CPUtime=3584.07 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 2851534 0 0 0 357077 1330 0 0 20 0 3 0 188294727 1682358272 386662 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=1642928 memory=1543268 CPUtime=0.02 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 188294727 1682358272 386662 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 3584.31 s
Current children cumulated vsize: 1642928 KiB
Current children cumulated memory: 1546648 KiB
[startup+3600 s]*
/proc/loadavg: 4.10 4.14 4.14 5/264 988243
/proc/meminfo: memFree=122249432/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=1642928 memory=1547568 CPUtime=3587.51 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 2855765 0 0 0 357415 1336 0 0 20 0 3 0 188294726 1682358272 386892 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 410732 386892 2990 3032 0 395671 0
[pid=986208/tid=986210] ppid=986205 vsize=1642928 memory=7172 CPUtime=3587.26 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 2854127 0 0 0 357395 1331 0 0 20 0 3 0 188294727 1682358272 386892 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=1642928 memory=1546024 CPUtime=0.02 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 188294727 1682358272 386892 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 3587.51 s
Current children cumulated vsize: 1642928 KiB
Current children cumulated memory: 1547568 KiB
[startup+3601.6 s]
/proc/loadavg: 4.10 4.14 4.14 5/264 988243
/proc/meminfo: memFree=122250424/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=1640872 memory=1545520 CPUtime=3589.1 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 2937474 0 0 0 357569 1341 0 0 20 0 3 0 188294726 1680252928 386380 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 410218 386380 2990 3032 0 395157 0
[pid=986208/tid=986210] ppid=986205 vsize=1640872 memory=6720665428542505585 CPUtime=3588.86 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 2935217 0 0 0 357550 1336 0 0 20 0 3 0 188294727 1680252928 386380 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=1640872 memory=12384 CPUtime=0.02 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 188294727 1680252928 386380 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 3589.1 s
Current children cumulated vsize: 1640872 KiB
Current children cumulated memory: 1545520 KiB
[startup+3602 s]*
/proc/loadavg: 4.10 4.14 4.14 5/264 988243
/proc/meminfo: memFree=122250448/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=1640872 memory=1545520 CPUtime=3589.5 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 2939478 0 0 0 357609 1341 0 0 20 0 3 0 188294726 1680252928 386380 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 410218 386380 2990 3032 0 395157 0
[pid=986208/tid=986210] ppid=986205 vsize=1640872 memory=1140196 CPUtime=3589.26 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 2937222 0 0 0 357590 1336 0 0 20 0 3 0 188294727 1680252928 386380 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=1640872 memory=32020 CPUtime=0.02 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 188294727 1680252928 386380 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 3589.5 s
Current children cumulated vsize: 1640872 KiB
Current children cumulated memory: 1545520 KiB
[startup+3602.4 s]
/proc/loadavg: 4.10 4.14 4.14 5/264 988243
/proc/meminfo: memFree=122250448/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=1634704 memory=1539352 CPUtime=3589.9 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 2940216 0 0 0 357649 1341 0 0 20 0 3 0 188294726 1673936896 384838 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 408676 384838 2990 3032 0 393615 0
[pid=986208/tid=986210] ppid=986205 vsize=1634704 memory=6720665428542505585 CPUtime=3589.65 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 2937959 0 0 0 357629 1336 0 0 20 0 3 0 188294727 1673936896 384838 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=1634704 memory=6720665428542505585 CPUtime=0.02 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 188294727 1673936896 384838 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 3589.9 s
Current children cumulated vsize: 1634704 KiB
Current children cumulated memory: 1539352 KiB
[startup+3602.5 s]
/proc/loadavg: 4.10 4.14 4.14 5/264 988243
/proc/meminfo: memFree=122250448/131524600 swapFree=131071996/131071996
[pid=986208] ppid=986205 vsize=1611060 memory=1515716 CPUtime=3590 cores=4,6
/proc/986208/stat : 986208 (fscip) S 986205 986208 982041 0 -1 1077936128 2940420 0 0 0 357659 1341 0 0 20 0 3 0 188294726 1649725440 378929 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
/proc/986208/statm: 402765 378929 2990 3032 0 387704 0
[pid=986208/tid=986210] ppid=986205 vsize=1611060 memory=1543264 CPUtime=3589.75 cores=4,6
/proc/986208/task/986210/stat : 986210 (fscip) R 986205 986208 982041 0 -1 4194368 2938163 0 0 0 357639 1336 0 0 20 0 3 0 188294727 1649725440 378929 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
[pid=986208/tid=986211] ppid=986205 vsize=1611060 memory=1840 CPUtime=0.02 cores=4,6
/proc/986208/task/986211/stat : 986211 (fscip) S 986205 986208 982041 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 188294727 1649725440 378929 134679101440 4194304 16613245 140720819025312 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 45670400 140720819029012 140720819029128 140720819029128 140720819036144 0
Current children cumulated CPU time: 3590 s
Current children cumulated vsize: 1611060 KiB
Current children cumulated memory: 1515716 KiB
Child status: 0
Real time (s): 3602.56
CPU time (s): 3590.06
CPU user time (s): 3576.63
CPU system time (s): 13.4366
CPU usage (%): 99.6532
Max. virtual memory (cumulated for all children) (KiB): 1642928
Max. memory (cumulated for all children) (KiB): 1547568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.63
system time used= 13.4366
maximum resident set size= 1547568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2940440
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= 10980
involuntary context switches= 4720
# summary of solver processes directly reported to runsolver:
# pid: 986208
# total CPU time (s): 3590.06
# total CPU user time (s): 3576.63
# total CPU system time (s): 13.4366
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.03606 second user time and 19.0971 second system time
The end
Begin job on nodeC028 at 2024-07-19 05:54:49
IDJOB=4447880
IDBENCH=160346
IDSOLVER=3064
FILE ID=nodeC028/4447880-1721361277
RUNJOBID= nodeC028-1721354084-982052
SLURM_JOB_ID= 7542773
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x20split.cnf-plain.pb.metafix.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-4447880-1721361277/watcher-4447880-1721361277 -o /tmp/evaluation-result-4447880-1721361277/solver-4447880-1721361277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982052 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447880-1721361277.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c7310a3aead353a130416288b6d68f4f
RANDOM SEED=1451482711
nodeC028.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 : 3662.279
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.56
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 : 3685.152
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.59
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 : 3619.445
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.56
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.095
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.59
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 : 3669.821
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.56
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 : 3685.182
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.59
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 : 3647.031
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.56
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 : 3600.042
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121873520 kB
MemAvailable: 122441568 kB
Buffers: 512888 kB
Cached: 896588 kB
SwapCached: 0 kB
Active: 1013164 kB
Inactive: 8027016 kB
Active(anon): 1560 kB
Inactive(anon): 7666864 kB
Active(file): 1011604 kB
Inactive(file): 360152 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28076 kB
Writeback: 20 kB
AnonPages: 7579868 kB
Mapped: 142304 kB
Shmem: 37720 kB
KReclaimable: 72228 kB
Slab: 179524 kB
SReclaimable: 72228 kB
SUnreclaim: 107296 kB
KernelStack: 4252 kB
PageTables: 25212 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2175396 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3389440 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 889956 MiB
End job on nodeC028 at 2024-07-19 06:54:52