0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c Default LC presolving (default).
0.00/0.00 c ** Before presolving: virtualMemUsedAtLc = 24420352, getVmSize() = 24420352, SCIPgetMemUsed() = 2311349, SCIPgetMemTotal() = 2823893, SCIPgetMemExternEstim() = 1048576
0.00/0.00 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.01 c ** Estimated virtualMemUsedAtSolver = 18377386, getVmSize() = 30711808, SCIPgetMemUsed() = 5276355, SCIPgetMemTotal() = 8102355, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.01 c Original Problem :
0.00/0.01 c Problem name : instance-4464502-1722385806
0.00/0.01 c Variables : 481 (481 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 640
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 480 (480 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 240
0.00/0.01 c Constraints : Number
0.00/0.01 c linear : 240
0.00/0.01 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.16 c 5 3445 2820 1 - 0.0000 -
10.15/10.23 c 10 9163 3162 1 - 0.0000 -
15.13/15.28 c 15 24335 11485 1 - 0.0000 -
20.21/20.33 c 20 40204 17817 1 - 0.0000 -
25.19/25.38 c 25 55323 24293 1 - 0.0000 -
30.26/30.43 c 30 70743 31090 1 - 0.0000 -
35.24/35.47 c 35 85817 37277 1 - 0.0000 -
40.32/40.52 c 41 101204 43567 1 - 0.0000 -
45.29/45.57 c 46 116445 49780 1 - 0.0000 -
50.38/50.62 c 51 131235 55659 1 - 0.0000 -
55.35/55.67 c 56 144649 61899 1 - 0.0000 -
60.43/60.72 c 61 158473 67571 1 - 0.0000 -
65.41/65.77 c 66 171415 73053 1 - 0.0000 -
70.48/70.82 c 71 184654 78637 1 - 0.0000 -
75.46/75.87 c 76 197260 84043 1 - 0.0000 -
80.54/80.92 c 81 208859 88972 1 - 0.0000 -
85.52/85.98 c 86 220877 93727 1 - 0.0000 -
90.60/91.02 c 91 231176 99259 1 - 0.0000 -
95.57/96.07 c 96 242486 104833 1 - 0.0000 -
100.65/101.12 c 101 254501 110000 1 - 0.0000 -
105.63/106.17 c 106 266301 115025 1 - 0.0000 -
110.71/111.22 c 111 277994 120106 1 - 0.0000 -
115.68/116.27 c 116 289516 125154 1 - 0.0000 -
120.76/121.32 c 121 300674 130001 1 - 0.0000 -
125.74/126.37 c 126 312351 135164 1 - 0.0000 -
130.82/131.41 c 131 323509 140366 1 - 0.0000 -
135.79/136.46 c 136 334567 145468 1 - 0.0000 -
140.87/141.51 c 142 345310 150299 1 - 0.0000 -
145.84/146.56 c 147 355131 154668 1 - 0.0000 -
150.92/151.61 c 152 365572 159250 1 - 0.0000 -
155.91/156.67 c 157 374687 163394 1 - 0.0000 -
160.98/161.71 c 162 383428 168233 1 - 0.0000 -
165.96/166.76 c 167 392834 172428 1 - 0.0000 -
171.03/171.81 c 172 402141 176712 1 - 0.0000 -
176.02/176.86 c 177 411510 181580 1 - 0.0000 -
181.09/181.91 c 182 420668 185912 1 - 0.0000 -
186.06/186.96 c 187 429959 190099 1 - 0.0000 -
191.16/192.01 c 192 438410 193764 1 - 0.0000 -
196.13/197.06 c 197 446110 197321 1 - 0.0000 -
201.21/202.12 c 202 454157 200643 1 - 0.0000 -
206.18/207.16 c 207 461468 204411 1 - 0.0000 -
211.25/212.21 c 212 469437 209101 1 - 0.0000 -
216.24/217.26 c 217 477284 212460 1 - 0.0000 -
221.31/222.31 c 222 485651 215760 1 - 0.0000 -
226.29/227.36 c 227 493571 219012 1 - 0.0000 -
231.37/232.41 c 232 500974 221949 1 - 0.0000 -
236.35/237.46 c 237 509109 225344 1 - 0.0000 -
241.43/242.53 c 243 517488 229145 1 - 0.0000 -
246.41/247.58 c 248 525572 232911 1 - 0.0000 -
251.49/252.63 c 253 533705 236974 1 - 0.0000 -
256.46/257.68 c 258 541157 240482 1 - 0.0000 -
261.54/262.73 c 263 548590 243807 1 - 0.0000 -
266.53/267.78 c 268 556505 247370 1 - 0.0000 -
271.60/272.83 c 273 563795 251173 1 - 0.0000 -
276.58/277.88 c 278 571341 254922 1 - 0.0000 -
281.65/282.93 c 283 578230 258206 1 - 0.0000 -
286.64/287.98 c 288 585070 261412 1 - 0.0000 -
291.72/293.03 c 293 591831 264967 1 - 0.0000 -
296.70/298.08 c 298 597895 268174 1 - 0.0000 -
301.78/303.13 c 303 604487 271502 1 - 0.0000 -
306.76/308.18 c 308 610878 274624 1 - 0.0000 -
311.83/313.23 c 313 617136 277614 1 - 0.0000 -
316.80/318.28 c 318 623576 280359 1 - 0.0000 -
321.88/323.33 c 323 630092 283024 1 - 0.0000 -
326.86/328.39 c 328 636610 285983 1 - 0.0000 -
331.94/333.43 c 333 643252 288789 1 - 0.0000 -
336.92/338.48 c 338 650215 292432 1 - 0.0000 -
342.00/343.53 c 344 657323 296555 1 - 0.0000 -
346.98/348.58 c 349 664189 300441 1 - 0.0000 -
352.05/353.63 c 354 670676 303818 1 - 0.0000 -
357.04/358.68 c 359 677275 306828 1 - 0.0000 -
362.11/363.73 c 364 683708 309496 1 - 0.0000 -
367.08/368.78 c 369 690113 312225 1 - 0.0000 -
372.16/373.83 c 374 696675 315122 1 - 0.0000 -
377.15/378.88 c 379 702817 317516 1 - 0.0000 -
382.22/383.93 c 384 708690 320176 1 - 0.0000 -
387.21/388.98 c 389 714583 322958 1 - 0.0000 -
392.28/394.03 c 394 720322 325599 1 - 0.0000 -
397.26/399.08 c 399 725813 328249 1 - 0.0000 -
402.34/404.13 c 404 731418 331144 1 - 0.0000 -
407.32/409.18 c 409 737203 333249 1 - 0.0000 -
412.40/414.24 c 414 743062 335751 1 - 0.0000 -
417.38/419.28 c 419 748917 338509 1 - 0.0000 -
422.45/424.33 c 424 754413 340686 1 - 0.0000 -
427.43/429.39 c 429 759672 343218 1 - 0.0000 -
432.51/434.43 c 434 766061 345842 1 - 0.0000 -
437.49/439.48 c 439 772048 348230 1 - 0.0000 -
442.57/444.53 c 445 778146 350828 1 - 0.0000 -
447.55/449.58 c 450 783638 353148 1 - 0.0000 -
452.62/454.63 c 455 789876 356051 1 - 0.0000 -
457.61/459.69 c 460 796415 359125 1 - 0.0000 -
462.68/464.74 c 465 802861 362436 1 - 0.0000 -
467.76/469.80 c 470 809485 366811 1 - 0.0000 -
472.74/474.85 c 475 815549 370177 1 - 0.0000 -
477.71/479.89 c 480 821568 372786 1 - 0.0000 -
482.80/484.94 c 485 827299 375256 1 - 0.0000 -
487.77/489.99 c 490 833063 377781 1 - 0.0000 -
492.86/495.04 c 495 838724 380237 1 - 0.0000 -
497.94/500.10 c 500 843921 382420 1 - 0.0000 -
502.92/505.15 c 505 849957 384909 1 - 0.0000 -
507.99/510.20 c 510 856104 387469 1 - 0.0000 -
512.97/515.24 c 515 861546 389796 1 - 0.0000 -
517.95/520.29 c 520 867166 392265 1 - 0.0000 -
523.03/525.34 c 525 872425 394609 1 - 0.0000 -
528.00/530.39 c 530 877543 396771 1 - 0.0000 -
533.09/535.45 c 535 882625 398916 1 - 0.0000 -
538.16/540.50 c 541 887725 401019 1 - 0.0000 -
543.15/545.55 c 546 892869 402948 1 - 0.0000 -
548.22/550.60 c 551 897924 405245 1 - 0.0000 -
553.21/555.66 c 556 902863 407500 1 - 0.0000 -
558.28/560.71 c 561 908451 409763 1 - 0.0000 -
563.26/565.76 c 566 913413 411862 1 - 0.0000 -
568.34/570.81 c 571 918409 413940 1 - 0.0000 -
573.32/575.86 c 576 923336 416130 1 - 0.0000 -
578.40/580.91 c 581 927979 417888 1 - 0.0000 -
583.38/585.96 c 586 932510 419767 1 - 0.0000 -
588.45/591.01 c 591 936956 421478 1 - 0.0000 -
593.44/596.06 c 596 941726 423446 1 - 0.0000 -
598.51/601.11 c 601 946331 425183 1 - 0.0000 -
603.50/606.16 c 606 950882 426963 1 - 0.0000 -
608.58/611.21 c 611 955405 429022 1 - 0.0000 -
613.55/616.26 c 616 959912 430937 1 - 0.0000 -
618.63/621.32 c 621 964451 432803 1 - 0.0000 -
623.61/626.37 c 626 969055 434839 1 - 0.0000 -
628.70/631.43 c 631 973455 436650 1 - 0.0000 -
633.68/636.48 c 636 977823 438404 1 - 0.0000 -
638.76/641.52 c 642 982637 440586 1 - 0.0000 -
643.75/646.57 c 647 987515 442489 1 - 0.0000 -
648.82/651.62 c 652 992297 444372 1 - 0.0000 -
653.81/656.67 c 657 996859 446340 1 - 0.0000 -
658.89/661.72 c 662 1001702 448259 1 - 0.0000 -
663.87/666.77 c 667 1006357 450166 1 - 0.0000 -
668.95/671.82 c 672 1011154 452302 1 - 0.0000 -
673.93/676.87 c 677 1016402 454437 1 - 0.0000 -
679.01/681.92 c 682 1021688 456902 1 - 0.0000 -
683.99/686.97 c 687 1026602 458733 1 - 0.0000 -
689.07/692.03 c 692 1031659 460802 1 - 0.0000 -
694.06/697.07 c 697 1036371 462843 1 - 0.0000 -
699.14/702.12 c 702 1041166 465032 1 - 0.0000 -
704.12/707.17 c 707 1045929 467194 1 - 0.0000 -
709.20/712.22 c 712 1050912 469522 1 - 0.0000 -
714.18/717.27 c 717 1056341 472013 1 - 0.0000 -
719.26/722.33 c 722 1062236 475250 1 - 0.0000 -
724.25/727.39 c 727 1067813 478219 1 - 0.0000 -
729.32/732.43 c 732 1073383 481083 1 - 0.0000 -
734.30/737.48 c 737 1078747 484170 1 - 0.0000 -
739.38/742.53 c 743 1084467 487105 1 - 0.0000 -
744.37/747.58 c 748 1090351 489983 1 - 0.0000 -
749.45/752.63 c 753 1096118 492641 1 - 0.0000 -
754.43/757.68 c 758 1102422 495578 1 - 0.0000 -
759.50/762.73 c 763 1108549 498647 1 - 0.0000 -
764.49/767.78 c 768 1114918 501339 1 - 0.0000 -
769.57/772.83 c 773 1120863 503887 1 - 0.0000 -
774.56/777.88 c 778 1126763 506328 1 - 0.0000 -
779.63/782.93 c 783 1132755 508853 1 - 0.0000 -
784.61/787.98 c 788 1138812 511448 1 - 0.0000 -
789.70/793.03 c 793 1145030 514195 1 - 0.0000 -
794.69/798.08 c 798 1151480 516789 1 - 0.0000 -
799.76/803.13 c 803 1157719 519115 1 - 0.0000 -
804.75/808.18 c 808 1163420 521901 1 - 0.0000 -
809.82/813.23 c 813 1170498 525005 1 - 0.0000 -
814.81/818.28 c 818 1176730 527667 1 - 0.0000 -
819.88/823.33 c 823 1183092 530330 1 - 0.0000 -
824.87/828.38 c 828 1189369 533183 1 - 0.0000 -
829.95/833.43 c 833 1195923 536212 1 - 0.0000 -
834.93/838.48 c 838 1202252 539027 1 - 0.0000 -
840.01/843.53 c 844 1208687 541820 1 - 0.0000 -
844.99/848.58 c 849 1215431 544853 1 - 0.0000 -
850.07/853.63 c 854 1222653 547980 1 - 0.0000 -
855.05/858.68 c 859 1229580 550499 1 - 0.0000 -
860.14/863.73 c 864 1235947 552840 1 - 0.0000 -
865.12/868.78 c 869 1242717 555259 1 - 0.0000 -
870.20/873.83 c 874 1249059 557578 1 - 0.0000 -
875.18/878.88 c 879 1254680 559485 1 - 0.0000 -
880.27/883.93 c 884 1261140 562073 1 - 0.0000 -
885.25/888.98 c 889 1268054 565077 1 - 0.0000 -
890.34/894.03 c 894 1275010 567940 1 - 0.0000 -
895.32/899.08 c 899 1281235 570536 1 - 0.0000 -
900.41/904.13 c 904 1288362 574093 1 - 0.0000 -
905.39/909.19 c 909 1294877 577124 1 - 0.0000 -
910.46/914.24 c 914 1301543 580024 1 - 0.0000 -
915.44/919.29 c 919 1308011 582593 1 - 0.0000 -
920.54/924.34 c 924 1314665 585890 1 - 0.0000 -
925.52/929.39 c 929 1321333 589573 1 - 0.0000 -
930.60/934.44 c 934 1328744 593502 1 - 0.0000 -
935.58/939.49 c 940 1335273 596784 1 - 0.0000 -
940.67/944.55 c 945 1341250 600036 1 - 0.0000 -
945.75/949.60 c 950 1347910 603499 1 - 0.0000 -
950.74/954.65 c 955 1354677 606510 1 - 0.0000 -
955.82/959.70 c 960 1361336 610093 1 - 0.0000 -
960.80/964.75 c 965 1368259 613966 1 - 0.0000 -
965.89/969.80 c 970 1374699 617040 1 - 0.0000 -
970.87/974.85 c 975 1381396 620585 1 - 0.0000 -
975.95/979.90 c 980 1387620 623645 1 - 0.0000 -
980.93/984.95 c 985 1393722 627114 1 - 0.0000 -
986.02/990.00 c 990 1399451 630174 1 - 0.0000 -
991.01/995.05 c 995 1405053 632758 1 - 0.0000 -
996.08/1000.10 c 1000 1411204 635325 1 - 0.0000 -
1001.07/1005.15 c 1005 1417088 638253 1 - 0.0000 -
1006.15/1010.20 c 1010 1422858 640866 1 - 0.0000 -
1011.13/1015.25 c 1015 1428131 643313 1 - 0.0000 -
1016.21/1020.31 c 1020 1434075 645576 1 - 0.0000 -
1021.20/1025.35 c 1025 1440500 648364 1 - 0.0000 -
1026.28/1030.40 c 1030 1445938 650564 1 - 0.0000 -
1031.27/1035.45 c 1035 1451778 652498 1 - 0.0000 -
1036.35/1040.50 c 1041 1457561 654612 1 - 0.0000 -
1041.33/1045.55 c 1046 1463348 656878 1 - 0.0000 -
1046.41/1050.60 c 1051 1469031 659249 1 - 0.0000 -
1051.40/1055.66 c 1056 1474753 661567 1 - 0.0000 -
1056.48/1060.70 c 1061 1480622 663995 1 - 0.0000 -
1061.46/1065.79 c 1066 1484062 666838 1 - 0.0000 -
1066.55/1070.85 c 1071 1486636 669316 1 - 0.0000 -
1071.63/1075.90 c 1076 1491832 672371 1 - 0.0000 -
1076.61/1080.95 c 1081 1497863 675691 1 - 0.0000 -
1081.71/1086.00 c 1086 1503748 678067 1 - 0.0000 -
1086.68/1091.05 c 1091 1509693 680832 1 - 0.0000 -
1091.77/1096.10 c 1096 1514980 683524 1 - 0.0000 -
1096.75/1101.16 c 1101 1520597 685936 1 - 0.0000 -
1101.83/1106.21 c 1106 1525784 688897 1 - 0.0000 -
1106.82/1111.26 c 1111 1531202 691752 1 - 0.0000 -
1111.91/1116.31 c 1116 1536699 694166 1 - 0.0000 -
1116.88/1121.37 c 1121 1541894 696876 1 - 0.0000 -
1121.97/1126.42 c 1126 1548132 699715 1 - 0.0000 -
1126.95/1131.47 c 1131 1553752 702835 1 - 0.0000 -
1132.04/1136.52 c 1137 1559342 705655 1 - 0.0000 -
1137.02/1141.57 c 1142 1564610 708036 1 - 0.0000 -
1142.11/1146.62 c 1147 1569902 710635 1 - 0.0000 -
1147.08/1151.67 c 1152 1575217 713042 1 - 0.0000 -
1152.17/1156.73 c 1157 1580743 715600 1 - 0.0000 -
1157.16/1161.77 c 1162 1586203 718162 1 - 0.0000 -
1162.24/1166.82 c 1167 1591245 720459 1 - 0.0000 -
1167.22/1171.88 c 1172 1596291 722892 1 - 0.0000 -
1172.31/1176.93 c 1177 1601870 725524 1 - 0.0000 -
1177.29/1181.98 c 1182 1606856 727711 1 - 0.0000 -
1182.38/1187.03 c 1187 1611817 730015 1 - 0.0000 -
1187.36/1192.08 c 1192 1617205 732584 1 - 0.0000 -
1192.45/1197.13 c 1197 1622679 735215 1 - 0.0000 -
1197.43/1202.19 c 1202 1627456 737736 1 - 0.0000 -
1202.50/1207.23 c 1207 1632869 740298 1 - 0.0000 -
1207.49/1212.29 c 1212 1637808 742274 1 - 0.0000 -
1212.57/1217.34 c 1217 1642540 744107 1 - 0.0000 -
1217.56/1222.39 c 1222 1647740 746472 1 - 0.0000 -
1222.64/1227.44 c 1227 1652399 748365 1 - 0.0000 -
1227.62/1232.49 c 1232 1656922 750235 1 - 0.0000 -
1232.70/1237.54 c 1238 1661225 753003 1 - 0.0000 -
1237.69/1242.59 c 1243 1665273 754845 1 - 0.0000 -
1242.77/1247.64 c 1248 1668883 756346 1 - 0.0000 -
1247.75/1252.69 c 1253 1672806 758650 1 - 0.0000 -
1252.93/1257.86 c 1258 1676831 760498 1 - 0.0000 -
1258.02/1262.91 c 1263 1681671 762505 1 - 0.0000 -
1263.00/1267.96 c 1268 1685596 764640 1 - 0.0000 -
1268.09/1273.01 c 1273 1689973 766489 1 - 0.0000 -
1273.07/1278.06 c 1278 1694398 768482 1 - 0.0000 -
1278.15/1283.11 c 1283 1698338 770546 1 - 0.0000 -
1283.14/1288.18 c 1288 1701393 772522 1 - 0.0000 -
1288.21/1293.25 c 1293 1705490 775166 1 - 0.0000 -
1293.30/1298.32 c 1298 1712062 778437 1 - 0.0000 -
1298.37/1303.41 c 1303 1718306 781573 1 - 0.0000 -
1303.36/1308.46 c 1308 1722749 783817 1 - 0.0000 -
1308.45/1313.51 c 1314 1726853 785896 1 - 0.0000 -
1313.42/1318.58 c 1319 1731021 788017 1 - 0.0000 -
1318.50/1323.63 c 1324 1735604 789569 1 - 0.0000 -
1323.49/1328.69 c 1329 1740030 791064 1 - 0.0000 -
1328.58/1333.74 c 1334 1744778 792780 1 - 0.0000 -
1333.56/1338.79 c 1339 1748665 794195 1 - 0.0000 -
1338.64/1343.84 c 1344 1753328 796099 1 - 0.0000 -
1343.62/1348.89 c 1349 1758908 798495 1 - 0.0000 -
1348.71/1353.94 c 1354 1766094 801457 1 - 0.0000 -
1353.69/1358.99 c 1359 1772080 804062 1 - 0.0000 -
1358.77/1364.05 c 1364 1776772 806283 1 - 0.0000 -
1363.76/1369.09 c 1369 1781296 808785 1 - 0.0000 -
1368.84/1374.14 c 1374 1785968 810568 1 - 0.0000 -
1373.83/1379.19 c 1379 1791120 813278 1 - 0.0000 -
1378.91/1384.24 c 1384 1796631 816082 1 - 0.0000 -
1383.88/1389.29 c 1389 1802198 818411 1 - 0.0000 -
1388.97/1394.34 c 1394 1807031 820889 1 - 0.0000 -
1393.95/1399.39 c 1399 1811358 822453 1 - 0.0000 -
1399.04/1404.44 c 1404 1816035 824808 1 - 0.0000 -
1404.12/1409.53 c 1410 1820249 827457 1 - 0.0000 -
1409.10/1414.57 c 1415 1824829 829462 1 - 0.0000 -
1414.19/1419.62 c 1420 1829357 831289 1 - 0.0000 -
1419.17/1424.67 c 1425 1833523 832932 1 - 0.0000 -
1424.26/1429.72 c 1430 1837997 834796 1 - 0.0000 -
1429.23/1434.77 c 1435 1842447 837086 1 - 0.0000 -
1434.32/1439.82 c 1440 1846827 838742 1 - 0.0000 -
1439.30/1444.87 c 1445 1851417 840642 1 - 0.0000 -
1444.39/1449.93 c 1450 1855660 842574 1 - 0.0000 -
1449.37/1454.97 c 1455 1860166 844460 1 - 0.0000 -
1454.46/1460.03 c 1460 1864543 846168 1 - 0.0000 -
1459.45/1465.08 c 1465 1868734 848121 1 - 0.0000 -
1464.52/1470.13 c 1470 1872889 850122 1 - 0.0000 -
1469.60/1475.20 c 1475 1876625 851501 1 - 0.0000 -
1474.58/1480.25 c 1480 1880481 852769 1 - 0.0000 -
1479.67/1485.31 c 1485 1884519 854435 1 - 0.0000 -
1484.65/1490.36 c 1490 1889262 856694 1 - 0.0000 -
1489.74/1495.41 c 1495 1893182 859153 1 - 0.0000 -
1494.72/1500.46 c 1500 1897802 862065 1 - 0.0000 -
1499.80/1505.52 c 1506 1902199 863823 1 - 0.0000 -
1504.78/1510.57 c 1511 1906386 865422 1 - 0.0000 -
1509.87/1515.62 c 1516 1910779 867065 1 - 0.0000 -
1514.85/1520.67 c 1521 1914881 868798 1 - 0.0000 -
1519.94/1525.74 c 1526 1919265 871018 1 - 0.0000 -
1525.02/1530.80 c 1531 1923201 872934 1 - 0.0000 -
1530.00/1535.86 c 1536 1926881 875076 1 - 0.0000 -
1535.08/1540.90 c 1541 1930428 877056 1 - 0.0000 -
1540.07/1545.96 c 1546 1934425 878951 1 - 0.0000 -
1545.15/1551.01 c 1551 1937897 881067 1 - 0.0000 -
1550.14/1556.07 c 1556 1940780 882888 1 - 0.0000 -
1555.22/1561.12 c 1561 1944738 884774 1 - 0.0000 -
1560.21/1566.18 c 1566 1948539 886997 1 - 0.0000 -
1565.29/1571.23 c 1571 1952300 888746 1 - 0.0000 -
1570.27/1576.28 c 1576 1956659 890666 1 - 0.0000 -
1575.35/1581.33 c 1581 1961151 893201 1 - 0.0000 -
1580.43/1586.42 c 1586 1964796 895616 1 - 0.0000 -
1585.42/1591.49 c 1592 1969049 897681 1 - 0.0000 -
1590.50/1596.54 c 1597 1973111 899855 1 - 0.0000 -
1595.48/1601.59 c 1602 1977600 901609 1 - 0.0000 -
1600.57/1606.64 c 1607 1982998 903890 1 - 0.0000 -
1605.66/1611.71 c 1612 1987712 906387 1 - 0.0000 -
1610.64/1616.76 c 1617 1992634 908540 1 - 0.0000 -
1615.72/1621.81 c 1622 1997457 910439 1 - 0.0000 -
1620.70/1626.87 c 1627 2001325 912877 1 - 0.0000 -
1625.79/1631.92 c 1632 2005314 915030 1 - 0.0000 -
1630.77/1636.96 c 1637 2009275 916864 1 - 0.0000 -
1635.86/1642.01 c 1642 2013152 919077 1 - 0.0000 -
1640.83/1647.06 c 1647 2017422 920951 1 - 0.0000 -
1645.92/1652.16 c 1652 2021203 922758 1 - 0.0000 -
1651.00/1657.20 c 1657 2025274 924724 1 - 0.0000 -
1655.98/1662.25 c 1662 2029033 926596 1 - 0.0000 -
1661.07/1667.30 c 1667 2032750 928841 1 - 0.0000 -
1666.05/1672.35 c 1672 2036254 930736 1 - 0.0000 -
1671.14/1677.40 c 1677 2039873 932436 1 - 0.0000 -
1676.11/1682.46 c 1682 2043250 933912 1 - 0.0000 -
1681.20/1687.51 c 1688 2046850 935460 1 - 0.0000 -
1686.18/1692.56 c 1693 2051119 937919 1 - 0.0000 -
1691.27/1697.61 c 1698 2054622 939423 1 - 0.0000 -
1696.25/1702.67 c 1703 2058274 941328 1 - 0.0000 -
1701.33/1707.71 c 1708 2062696 943655 1 - 0.0000 -
1706.32/1712.76 c 1713 2066364 945108 1 - 0.0000 -
1711.40/1717.81 c 1718 2069845 946620 1 - 0.0000 -
1716.38/1722.86 c 1723 2073396 948278 1 - 0.0000 -
1721.47/1727.93 c 1728 2076893 949935 1 - 0.0000 -
1726.45/1732.99 c 1733 2080466 951367 1 - 0.0000 -
1731.54/1738.04 c 1738 2084461 953277 1 - 0.0000 -
1736.53/1743.09 c 1743 2088039 954807 1 - 0.0000 -
1741.61/1748.14 c 1748 2091723 956642 1 - 0.0000 -
1746.60/1753.19 c 1753 2095650 958295 1 - 0.0000 -
1751.68/1758.24 c 1758 2098983 959597 1 - 0.0000 -
1756.66/1763.29 c 1763 2102740 961193 1 - 0.0000 -
1761.74/1768.34 c 1768 2106215 962670 1 - 0.0000 -
1766.73/1773.39 c 1773 2110078 964533 1 - 0.0000 -
1771.82/1778.44 c 1778 2114350 966496 1 - 0.0000 -
1776.80/1783.49 c 1784 2118170 968268 1 - 0.0000 -
1781.88/1788.54 c 1789 2121925 970010 1 - 0.0000 -
1786.86/1793.59 c 1794 2125397 971395 1 - 0.0000 -
1791.95/1798.64 c 1799 2128682 972608 1 - 0.0000 -
1797.04/1803.70 c 1804 2132184 973832 1 - 0.0000 -
1802.02/1808.74 c 1809 2135610 975501 1 - 0.0000 -
1807.00/1813.79 c 1814 2139318 977168 1 - 0.0000 -
1812.08/1818.84 c 1819 2143544 979147 1 - 0.0000 -
1817.07/1823.89 c 1824 2147839 980707 1 - 0.0000 -
1822.15/1828.94 c 1829 2151835 982521 1 - 0.0000 -
1827.13/1833.99 c 1834 2156155 984721 1 - 0.0000 -
1832.22/1839.07 c 1839 2159623 986010 1 - 0.0000 -
1837.31/1844.11 c 1844 2162857 987430 1 - 0.0000 -
1842.29/1849.17 c 1849 2166092 988743 1 - 0.0000 -
1847.37/1854.21 c 1854 2169290 990070 1 - 0.0000 -
1852.36/1859.27 c 1859 2172086 990815 1 - 0.0000 -
1857.44/1864.32 c 1864 2176294 992689 1 - 0.0000 -
1862.42/1869.37 c 1869 2179929 993972 1 - 0.0000 -
1867.51/1874.43 c 1874 2183932 995533 1 - 0.0000 -
1872.49/1879.48 c 1879 2188109 997273 1 - 0.0000 -
1877.57/1884.53 c 1885 2192422 999218 1 - 0.0000 -
1882.56/1889.58 c 1890 2196421 1000800 1 - 0.0000 -
1887.64/1894.63 c 1895 2199740 1002328 1 - 0.0000 -
1892.62/1899.69 c 1900 2202896 1003516 1 - 0.0000 -
1897.71/1904.74 c 1905 2206238 1004680 1 - 0.0000 -
1902.69/1909.79 c 1910 2209285 1005720 1 - 0.0000 -
1907.78/1914.84 c 1915 2212898 1007034 1 - 0.0000 -
1912.86/1919.90 c 1920 2216085 1008368 1 - 0.0000 -
1917.84/1924.95 c 1925 2219573 1009961 1 - 0.0000 -
1922.93/1930.00 c 1930 2223353 1011726 1 - 0.0000 -
1927.92/1935.05 c 1935 2227556 1013534 1 - 0.0000 -
1933.00/1940.10 c 1940 2231644 1015296 1 - 0.0000 -
1937.98/1945.15 c 1945 2235808 1017201 1 - 0.0000 -
1943.06/1950.21 c 1950 2239248 1018813 1 - 0.0000 -
1948.05/1955.25 c 1955 2242715 1020382 1 - 0.0000 -
1953.13/1960.30 c 1960 2246492 1022117 1 - 0.0000 -
1958.12/1965.35 c 1965 2250374 1024002 1 - 0.0000 -
1963.19/1970.40 c 1970 2253931 1025881 1 - 0.0000 -
1968.18/1975.45 c 1975 2257317 1027182 1 - 0.0000 -
1973.26/1980.51 c 1981 2260472 1028303 1 - 0.0000 -
1978.24/1985.56 c 1986 2264095 1029859 1 - 0.0000 -
1983.33/1990.63 c 1991 2268615 1031358 1 - 0.0000 -
1988.31/1995.68 c 1996 2272389 1032720 1 - 0.0000 -
1993.40/2000.73 c 2001 2276338 1034186 1 - 0.0000 -
1998.38/2005.78 c 2006 2279205 1035505 1 - 0.0000 -
2003.47/2010.83 c 2011 2281984 1036724 1 - 0.0000 -
2008.45/2015.88 c 2016 2284392 1037572 1 - 0.0000 -
2013.54/2020.93 c 2021 2287226 1038593 1 - 0.0000 -
2018.52/2026.00 c 2026 2290110 1039668 1 - 0.0000 -
2023.61/2031.05 c 2031 2293144 1040724 1 - 0.0000 -
2028.69/2036.12 c 2036 2296159 1041797 1 - 0.0000 -
2033.67/2041.18 c 2041 2299443 1043019 1 - 0.0000 -
2038.75/2046.28 c 2046 2302595 1044390 1 - 0.0000 -
2043.84/2051.32 c 2051 2305835 1045596 1 - 0.0000 -
2048.83/2056.37 c 2056 2308554 1046507 1 - 0.0000 -
2053.91/2061.42 c 2061 2311648 1047532 1 - 0.0000 -
2058.90/2066.48 c 2066 2314947 1048828 1 - 0.0000 -
2063.97/2071.53 c 2072 2317894 1049959 1 - 0.0000 -
2068.96/2076.58 c 2077 2320712 1051095 1 - 0.0000 -
2074.05/2081.64 c 2082 2323844 1052391 1 - 0.0000 -
2079.13/2086.70 c 2087 2328204 1054384 1 - 0.0000 -
2084.11/2091.74 c 2092 2332302 1056224 1 - 0.0000 -
2089.10/2096.79 c 2097 2336299 1057810 1 - 0.0000 -
2094.19/2101.85 c 2102 2339577 1058941 1 - 0.0000 -
2099.17/2106.89 c 2107 2342691 1060533 1 - 0.0000 -
2104.25/2111.94 c 2112 2346047 1062404 1 - 0.0000 -
2109.25/2116.99 c 2117 2349846 1064061 1 - 0.0000 -
2114.33/2122.04 c 2122 2353436 1065585 1 - 0.0000 -
2119.32/2127.09 c 2127 2357035 1066946 1 - 0.0000 -
2124.40/2132.15 c 2132 2360217 1068060 1 - 0.0000 -
2129.38/2137.19 c 2137 2363838 1069563 1 - 0.0000 -
2134.47/2142.24 c 2142 2366833 1070967 1 - 0.0000 -
2139.45/2147.29 c 2147 2369856 1072635 1 - 0.0000 -
2144.53/2152.35 c 2152 2373081 1073862 1 - 0.0000 -
2149.62/2157.40 c 2157 2376083 1075289 1 - 0.0000 -
2154.60/2162.45 c 2162 2379151 1076255 1 - 0.0000 -
2159.69/2167.50 c 2168 2382340 1077327 1 - 0.0000 -
2164.67/2172.55 c 2173 2385751 1078731 1 - 0.0000 -
2169.75/2177.61 c 2178 2388709 1079728 1 - 0.0000 -
2174.74/2182.66 c 2183 2391210 1080505 1 - 0.0000 -
2179.83/2187.71 c 2188 2393968 1081523 1 - 0.0000 -
2184.81/2192.77 c 2193 2396762 1082427 1 - 0.0000 -
2189.90/2197.83 c 2198 2400160 1083869 1 - 0.0000 -
2194.88/2202.87 c 2203 2403560 1085478 1 - 0.0000 -
2199.96/2207.92 c 2208 2406829 1086897 1 - 0.0000 -
2204.95/2212.97 c 2213 2410481 1088699 1 - 0.0000 -
2210.04/2218.02 c 2218 2413611 1089846 1 - 0.0000 -
2215.03/2223.07 c 2223 2417381 1091117 1 - 0.0000 -
2220.11/2228.12 c 2228 2420578 1092268 1 - 0.0000 -
2225.09/2233.17 c 2233 2424063 1093701 1 - 0.0000 -
2230.18/2238.22 c 2238 2426683 1094988 1 - 0.0000 -
2235.16/2243.28 c 2243 2428835 1096124 1 - 0.0000 -
2240.25/2248.32 c 2248 2431497 1097101 1 - 0.0000 -
2245.23/2253.37 c 2253 2434643 1098571 1 - 0.0000 -
2250.31/2258.42 c 2258 2437605 1099914 1 - 0.0000 -
2255.30/2263.47 c 2263 2440465 1101074 1 - 0.0000 -
2260.38/2268.52 c 2269 2443647 1102519 1 - 0.0000 -
2265.37/2273.58 c 2274 2446955 1104087 1 - 0.0000 -
2270.45/2278.63 c 2279 2449834 1105486 1 - 0.0000 -
2275.43/2283.68 c 2284 2452751 1106797 1 - 0.0000 -
2280.51/2288.73 c 2289 2455658 1108203 1 - 0.0000 -
2285.51/2293.78 c 2294 2458666 1109427 1 - 0.0000 -
2290.58/2298.83 c 2299 2462674 1111465 1 - 0.0000 -
2295.57/2303.89 c 2304 2465332 1112488 1 - 0.0000 -
2300.66/2308.93 c 2309 2467807 1113545 1 - 0.0000 -
2305.65/2313.98 c 2314 2470992 1115193 1 - 0.0000 -
2310.73/2319.04 c 2319 2474528 1116722 1 - 0.0000 -
2315.72/2324.09 c 2324 2477849 1118227 1 - 0.0000 -
2320.80/2329.14 c 2329 2481104 1119666 1 - 0.0000 -
2325.78/2334.19 c 2334 2484272 1121231 1 - 0.0000 -
2330.86/2339.24 c 2339 2487257 1122584 1 - 0.0000 -
2335.85/2344.29 c 2344 2490082 1124006 1 - 0.0000 -
2340.93/2349.35 c 2349 2492782 1125237 1 - 0.0000 -
2346.02/2354.42 c 2354 2495507 1126619 1 - 0.0000 -
2351.00/2359.48 c 2359 2498256 1128061 1 - 0.0000 -
2356.09/2364.52 c 2365 2501030 1128951 1 - 0.0000 -
2361.08/2369.58 c 2370 2504009 1130341 1 - 0.0000 -
2366.16/2374.63 c 2375 2506751 1131586 1 - 0.0000 -
2371.14/2379.68 c 2380 2509618 1132826 1 - 0.0000 -
2376.23/2384.73 c 2385 2512929 1134456 1 - 0.0000 -
2381.21/2389.79 c 2390 2515894 1135865 1 - 0.0000 -
2386.30/2394.84 c 2395 2518442 1136953 1 - 0.0000 -
2391.28/2399.89 c 2400 2521781 1138438 1 - 0.0000 -
2396.37/2404.96 c 2405 2524899 1139865 1 - 0.0000 -
2401.45/2410.01 c 2410 2528359 1141401 1 - 0.0000 -
2406.43/2415.07 c 2415 2531697 1142822 1 - 0.0000 -
2411.52/2420.11 c 2420 2534967 1144407 1 - 0.0000 -
2416.50/2425.18 c 2425 2538554 1145800 1 - 0.0000 -
2421.59/2430.23 c 2430 2542486 1147268 1 - 0.0000 -
2426.66/2435.30 c 2435 2545669 1148769 1 - 0.0000 -
2431.65/2440.35 c 2440 2548571 1149775 1 - 0.0000 -
2436.74/2445.40 c 2445 2550878 1150704 1 - 0.0000 -
2441.72/2450.47 c 2450 2553182 1151714 1 - 0.0000 -
2446.81/2455.55 c 2456 2555353 1153036 1 - 0.0000 -
2451.89/2460.62 c 2461 2558701 1154680 1 - 0.0000 -
2456.88/2465.66 c 2466 2561667 1156010 1 - 0.0000 -
2461.96/2470.73 c 2471 2564586 1157250 1 - 0.0000 -
2466.95/2475.78 c 2476 2567329 1158081 1 - 0.0000 -
2472.03/2480.83 c 2481 2569648 1159038 1 - 0.0000 -
2477.02/2485.88 c 2486 2571993 1160097 1 - 0.0000 -
2482.10/2490.95 c 2491 2574435 1161350 1 - 0.0000 -
2487.19/2496.03 c 2496 2576955 1162368 1 - 0.0000 -
2492.18/2501.08 c 2501 2579266 1163293 1 - 0.0000 -
2497.26/2506.13 c 2506 2581683 1164328 1 - 0.0000 -
2502.25/2511.18 c 2511 2584616 1165579 1 - 0.0000 -
2507.32/2516.27 c 2516 2587920 1166765 1 - 0.0000 -
2512.41/2521.33 c 2521 2591062 1168171 1 - 0.0000 -
2517.60/2526.53 c 2527 2593454 1169226 1 - 0.0000 -
2522.58/2531.59 c 2532 2595949 1170362 1 - 0.0000 -
2527.66/2536.65 c 2537 2598651 1171572 1 - 0.0000 -
2532.75/2541.72 c 2542 2600584 1172920 1 - 0.0000 -
2537.74/2546.77 c 2547 2603624 1174127 1 - 0.0000 -
2542.82/2551.84 c 2552 2606363 1175660 1 - 0.0000 -
2547.80/2556.89 c 2557 2609279 1177074 1 - 0.0000 -
2552.89/2561.94 c 2562 2611900 1178222 1 - 0.0000 -
2557.87/2566.99 c 2567 2614264 1178978 1 - 0.0000 -
2562.96/2572.04 c 2572 2616801 1179787 1 - 0.0000 -
2568.04/2577.10 c 2577 2619372 1180722 1 - 0.0000 -
2573.04/2582.16 c 2582 2621674 1181756 1 - 0.0000 -
2578.12/2587.22 c 2587 2624428 1182640 1 - 0.0000 -
2583.09/2592.27 c 2592 2627087 1183513 1 - 0.0000 -
2588.19/2597.32 c 2597 2629801 1184493 1 - 0.0000 -
2593.17/2602.37 c 2602 2632501 1185433 1 - 0.0000 -
2598.25/2607.42 c 2607 2635324 1186367 1 - 0.0000 -
2603.24/2612.47 c 2612 2638043 1187519 1 - 0.0000 -
2608.32/2617.52 c 2618 2641199 1188620 1 - 0.0000 -
2613.31/2622.58 c 2623 2644420 1189741 1 - 0.0000 -
2618.39/2627.62 c 2628 2647439 1190911 1 - 0.0000 -
2623.38/2632.67 c 2633 2650297 1192014 1 - 0.0000 -
2628.46/2637.73 c 2638 2653307 1193419 1 - 0.0000 -
2633.44/2642.78 c 2643 2656160 1194723 1 - 0.0000 -
2638.53/2647.84 c 2648 2659149 1195799 1 - 0.0000 -
2643.51/2652.88 c 2653 2661739 1196593 1 - 0.0000 -
2648.60/2657.93 c 2658 2664305 1197480 1 - 0.0000 -
2653.59/2662.98 c 2663 2666973 1198434 1 - 0.0000 -
2658.68/2668.03 c 2668 2670035 1199838 1 - 0.0000 -
2663.65/2673.08 c 2673 2672563 1200981 1 - 0.0000 -
2668.75/2678.14 c 2678 2675394 1202523 1 - 0.0000 -
2673.73/2683.18 c 2683 2677982 1203688 1 - 0.0000 -
2678.80/2688.24 c 2688 2680325 1204715 1 - 0.0000 -
2683.90/2693.30 c 2693 2682645 1205828 1 - 0.0000 -
2688.88/2698.35 c 2698 2684991 1206925 1 - 0.0000 -
2693.96/2703.40 c 2703 2687300 1208015 1 - 0.0000 -
2698.94/2708.45 c 2708 2689914 1208979 1 - 0.0000 -
2704.03/2713.51 c 2714 2692494 1210054 1 - 0.0000 -
2709.02/2718.56 c 2719 2695116 1211291 1 - 0.0000 -
2714.10/2723.61 c 2724 2697694 1212456 1 - 0.0000 -
2719.09/2728.67 c 2729 2700003 1213322 1 - 0.0000 -
2724.16/2733.76 c 2734 2702805 1214534 1 - 0.0000 -
2729.25/2738.82 c 2739 2705612 1215733 1 - 0.0000 -
2734.24/2743.86 c 2744 2708084 1216750 1 - 0.0000 -
2739.32/2748.91 c 2749 2710819 1217897 1 - 0.0000 -
2744.31/2753.96 c 2754 2713266 1218934 1 - 0.0000 -
2749.40/2759.01 c 2759 2715695 1219953 1 - 0.0000 -
2754.38/2764.06 c 2764 2718186 1221101 1 - 0.0000 -
2759.46/2769.11 c 2769 2720809 1222536 1 - 0.0000 -
2764.45/2774.16 c 2774 2723382 1223797 1 - 0.0000 -
2769.53/2779.21 c 2779 2725975 1224872 1 - 0.0000 -
2774.52/2784.27 c 2784 2728673 1226141 1 - 0.0000 -
2779.61/2789.33 c 2789 2731454 1227444 1 - 0.0000 -
2784.59/2794.38 c 2794 2733958 1228463 1 - 0.0000 -
2789.67/2799.44 c 2799 2736172 1229245 1 - 0.0000 -
2794.65/2804.49 c 2804 2738491 1230181 1 - 0.0000 -
2799.74/2809.53 c 2810 2740769 1230937 1 - 0.0000 -
2804.72/2814.58 c 2815 2742913 1231753 1 - 0.0000 -
2809.81/2819.63 c 2820 2745076 1232471 1 - 0.0000 -
2814.79/2824.69 c 2825 2747390 1233284 1 - 0.0000 -
2819.88/2829.74 c 2830 2750029 1234392 1 - 0.0000 -
2824.86/2834.79 c 2835 2752486 1235418 1 - 0.0000 -
2829.95/2839.84 c 2840 2754940 1236750 1 - 0.0000 -
2835.03/2844.90 c 2845 2757418 1237802 1 - 0.0000 -
2840.02/2849.96 c 2850 2760058 1239111 1 - 0.0000 -
2845.11/2855.01 c 2855 2762639 1240330 1 - 0.0000 -
2850.09/2860.08 c 2860 2764970 1241429 1 - 0.0000 -
2855.18/2865.12 c 2865 2767737 1242787 1 - 0.0000 -
2860.16/2870.17 c 2870 2770728 1244195 1 - 0.0000 -
2865.25/2875.22 c 2875 2773528 1245440 1 - 0.0000 -
2870.22/2880.28 c 2880 2776399 1246737 1 - 0.0000 -
2875.31/2885.33 c 2885 2779172 1247918 1 - 0.0000 -
2880.30/2890.39 c 2890 2781452 1248870 1 - 0.0000 -
2885.38/2895.44 c 2895 2783747 1250146 1 - 0.0000 -
2890.37/2900.49 c 2900 2786179 1251263 1 - 0.0000 -
2895.45/2905.54 c 2906 2788553 1252308 1 - 0.0000 -
2900.53/2910.60 c 2911 2790952 1253575 1 - 0.0000 -
2905.52/2915.66 c 2916 2793265 1254806 1 - 0.0000 -
2910.61/2920.71 c 2921 2795589 1255908 1 - 0.0000 -
2915.59/2925.76 c 2926 2797872 1256911 1 - 0.0000 -
2920.67/2930.82 c 2931 2800112 1257882 1 - 0.0000 -
2925.66/2935.88 c 2936 2802360 1258863 1 - 0.0000 -
2930.75/2940.93 c 2941 2804526 1260173 1 - 0.0000 -
2935.73/2945.99 c 2946 2806834 1261582 1 - 0.0000 -
2940.82/2951.05 c 2951 2809385 1262893 1 - 0.0000 -
2945.91/2956.11 c 2956 2811740 1264039 1 - 0.0000 -
2950.89/2961.16 c 2961 2814283 1264992 1 - 0.0000 -
2955.96/2966.21 c 2966 2816687 1266018 1 - 0.0000 -
2960.95/2971.26 c 2971 2818603 1266880 1 - 0.0000 -
2966.04/2976.31 c 2976 2820911 1268061 1 - 0.0000 -
2971.02/2981.37 c 2981 2823025 1269071 1 - 0.0000 -
2976.11/2986.42 c 2986 2825412 1270236 1 - 0.0000 -
2981.10/2991.48 c 2991 2828024 1271240 1 - 0.0000 -
2986.18/2996.55 c 2997 2830273 1272251 1 - 0.0000 -
2991.26/3001.62 c 3002 2832571 1273313 1 - 0.0000 -
2996.25/3006.68 c 3007 2835013 1274266 1 - 0.0000 -
3001.33/3011.72 c 3012 2837340 1275133 1 - 0.0000 -
3006.42/3016.81 c 3017 2839560 1276240 1 - 0.0000 -
3011.40/3021.87 c 3022 2842280 1277382 1 - 0.0000 -
3016.49/3026.92 c 3027 2844646 1278338 1 - 0.0000 -
3021.48/3031.97 c 3032 2847365 1279412 1 - 0.0000 -
3026.56/3037.03 c 3037 2850052 1280461 1 - 0.0000 -
3031.55/3042.08 c 3042 2852613 1281671 1 - 0.0000 -
3036.63/3047.14 c 3047 2855053 1282671 1 - 0.0000 -
3041.62/3052.19 c 3052 2857787 1283854 1 - 0.0000 -
3046.69/3057.24 c 3057 2860459 1284886 1 - 0.0000 -
3051.68/3062.29 c 3062 2863036 1285892 1 - 0.0000 -
3056.76/3067.35 c 3067 2865608 1286945 1 - 0.0000 -
3061.85/3072.40 c 3072 2867958 1287968 1 - 0.0000 -
3066.83/3077.46 c 3077 2870711 1289391 1 - 0.0000 -
3071.92/3082.55 c 3083 2873161 1290500 1 - 0.0000 -
3077.01/3087.60 c 3088 2875451 1291381 1 - 0.0000 -
3081.97/3092.67 c 3093 2877462 1292125 1 - 0.0000 -
3087.06/3097.71 c 3098 2879820 1293105 1 - 0.0000 -
3092.05/3102.76 c 3103 2882080 1294003 1 - 0.0000 -
3097.13/3107.82 c 3108 2884626 1295199 1 - 0.0000 -
3102.12/3112.87 c 3113 2887196 1296295 1 - 0.0000 -
3107.20/3117.92 c 3118 2889686 1297215 1 - 0.0000 -
3112.19/3122.99 c 3123 2892127 1298249 1 - 0.0000 -
3117.27/3128.06 c 3128 2894288 1298854 1 - 0.0000 -
3122.36/3133.12 c 3133 2896559 1299721 1 - 0.0000 -
3127.34/3138.17 c 3138 2899144 1300995 1 - 0.0000 -
3132.42/3143.26 c 3143 2901569 1302361 1 - 0.0000 -
3137.51/3148.32 c 3148 2903897 1303471 1 - 0.0000 -
3142.50/3153.36 c 3153 2906255 1304446 1 - 0.0000 -
3147.58/3158.42 c 3158 2908755 1305647 1 - 0.0000 -
3152.56/3163.46 c 3163 2911389 1307131 1 - 0.0000 -
3157.65/3168.51 c 3169 2913890 1308483 1 - 0.0000 -
3162.63/3173.57 c 3174 2916538 1309449 1 - 0.0000 -
3167.72/3178.61 c 3179 2919157 1310642 1 - 0.0000 -
3172.70/3183.67 c 3184 2921443 1311828 1 - 0.0000 -
3177.79/3188.73 c 3189 2923785 1312912 1 - 0.0000 -
3182.77/3193.77 c 3194 2926068 1314017 1 - 0.0000 -
3187.85/3198.83 c 3199 2928349 1315015 1 - 0.0000 -
3192.85/3203.87 c 3204 2930862 1316180 1 - 0.0000 -
3197.93/3208.95 c 3209 2933500 1317458 1 - 0.0000 -
3203.01/3214.00 c 3214 2935876 1318561 1 - 0.0000 -
3208.00/3219.05 c 3219 2938576 1319655 1 - 0.0000 -
3213.09/3224.10 c 3224 2940887 1320638 1 - 0.0000 -
3218.07/3229.17 c 3229 2943433 1321593 1 - 0.0000 -
3223.14/3234.22 c 3234 2945840 1322599 1 - 0.0000 -
3228.13/3239.29 c 3239 2948180 1323419 1 - 0.0000 -
3233.21/3244.33 c 3244 2950589 1324194 1 - 0.0000 -
3238.20/3249.38 c 3249 2952948 1325104 1 - 0.0000 -
3243.28/3254.43 c 3254 2955490 1326244 1 - 0.0000 -
3248.27/3259.49 c 3260 2958422 1327503 1 - 0.0000 -
3253.36/3264.54 c 3265 2960860 1328496 1 - 0.0000 -
3258.44/3269.61 c 3270 2963105 1329588 1 - 0.0000 -
3263.42/3274.68 c 3275 2965580 1330740 1 - 0.0000 -
3268.51/3279.74 c 3280 2967479 1331419 1 - 0.0000 -
3273.60/3284.81 c 3285 2969811 1332443 1 - 0.0000 -
3278.68/3289.90 c 3290 2971809 1333475 1 - 0.0000 -
3283.67/3294.98 c 3295 2974181 1334738 1 - 0.0000 -
3288.76/3300.04 c 3300 2976566 1336429 1 - 0.0000 -
3293.74/3305.09 c 3305 2979054 1337900 1 - 0.0000 -
3298.83/3310.14 c 3310 2981562 1339149 1 - 0.0000 -
3303.81/3315.19 c 3315 2984134 1340309 1 - 0.0000 -
3308.90/3320.24 c 3320 2986846 1341614 1 - 0.0000 -
3313.88/3325.29 c 3325 2989713 1343310 1 - 0.0000 -
3318.96/3330.37 c 3330 2992231 1344867 1 - 0.0000 -
3324.05/3335.43 c 3335 2994345 1346238 1 - 0.0000 -
3329.03/3340.48 c 3340 2996440 1347182 1 - 0.0000 -
3334.11/3345.54 c 3346 2998773 1348486 1 - 0.0000 -
3339.21/3350.60 c 3351 3000781 1349338 1 - 0.0000 -
3344.29/3355.70 c 3356 3002569 1349648 1 - 0.0000 -
3349.27/3360.75 c 3361 3004958 1350858 1 - 0.0000 -
3354.36/3365.80 c 3366 3007491 1351959 1 - 0.0000 -
3359.35/3370.88 c 3371 3009867 1353278 1 - 0.0000 -
3364.43/3375.94 c 3376 3012177 1354468 1 - 0.0000 -
3369.52/3381.00 c 3381 3014737 1355789 1 - 0.0000 -
3374.50/3386.07 c 3386 3017277 1357444 1 - 0.0000 -
3379.59/3391.18 c 3391 3019981 1359032 1 - 0.0000 -
3384.67/3396.23 c 3396 3022270 1360162 1 - 0.0000 -
3389.66/3401.29 c 3401 3024281 1360973 1 - 0.0000 -
3394.73/3406.34 c 3406 3026639 1361832 1 - 0.0000 -
3399.73/3411.39 c 3411 3029074 1362951 1 - 0.0000 -
3404.80/3416.44 c 3416 3031890 1364202 1 - 0.0000 -
3409.79/3421.49 c 3422 3034153 1365476 1 - 0.0000 -
3414.87/3426.55 c 3427 3036353 1366720 1 - 0.0000 -
3419.96/3431.62 c 3432 3038724 1368052 1 - 0.0000 -
3424.95/3436.68 c 3437 3041032 1369374 1 - 0.0000 -
3430.02/3441.74 c 3442 3043397 1370568 1 - 0.0000 -
3435.11/3446.81 c 3447 3045634 1371686 1 - 0.0000 -
3440.09/3451.88 c 3452 3047805 1372878 1 - 0.0000 -
3445.18/3456.95 c 3457 3049831 1373918 1 - 0.0000 -
3450.27/3462.00 c 3462 3051765 1374731 1 - 0.0000 -
3455.25/3467.06 c 3467 3054027 1375722 1 - 0.0000 -
3460.33/3472.10 c 3472 3056320 1376729 1 - 0.0000 -
3465.32/3477.15 c 3477 3058521 1377942 1 - 0.0000 -
3470.40/3482.20 c 3482 3060955 1379099 1 - 0.0000 -
3475.39/3487.29 c 3487 3063320 1380262 1 - 0.0000 -
3480.47/3492.33 c 3492 3065527 1381166 1 - 0.0000 -
3485.46/3497.39 c 3497 3067687 1382020 1 - 0.0000 -
3490.55/3502.44 c 3502 3069561 1383184 1 - 0.0000 -
3495.53/3507.49 c 3507 3071648 1384079 1 - 0.0000 -
3500.62/3512.54 c 3513 3073845 1384990 1 - 0.0000 -
3505.60/3517.59 c 3518 3076163 1385814 1 - 0.0000 -
3510.68/3522.64 c 3523 3078167 1386545 1 - 0.0000 -
3515.77/3527.72 c 3528 3080083 1387381 1 - 0.0000 -
3520.76/3532.77 c 3533 3081662 1387828 1 - 0.0000 -
3525.83/3537.82 c 3538 3083688 1388866 1 - 0.0000 -
3530.92/3542.91 c 3543 3085394 1389502 1 - 0.0000 -
3535.90/3547.97 c 3548 3087709 1390668 1 - 0.0000 -
3541.00/3553.05 c 3553 3089874 1391545 1 - 0.0000 -
3546.08/3558.11 c 3558 3092211 1392766 1 - 0.0000 -
3551.06/3563.19 c 3563 3094427 1394283 1 - 0.0000 -
3556.14/3568.23 c 3568 3097081 1395651 1 - 0.0000 -
3561.22/3573.30 c 3573 3099661 1397163 1 - 0.0000 -
3566.21/3578.35 c 3578 3101795 1398391 1 - 0.0000 -
3571.29/3583.41 c 3583 3104375 1399761 1 - 0.0000 -
3576.28/3588.46 c 3588 3106620 1400666 1 - 0.0000 -
3581.36/3593.52 c 3594 3109024 1401750 1 - 0.0000 -
3587.35/3599.58 c SCIP Status : c solving was interrupted [hard time limit reached]
3587.35/3599.58 c Total Time : 3599.5900
3587.35/3599.58 c solving : 3599.5900
3587.35/3599.58 c presolving : 0.0072 (included in solving)
3587.35/3599.58 c B&B Tree :
3587.35/3599.58 c nodes (total) : 1
3587.35/3599.58 c Solution :
3587.35/3599.58 c Solutions found : 0
3587.35/3599.58 c Primal Bound : -
3587.35/3599.58 c Dual Bound : +0.00000000000000e+00
3587.35/3599.58 c Gap : -
3587.44/3599.61 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: 63931 MiB (59679 MiB free)
memory of node 1: 64510 MiB (57728 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464502-1722385806/watcher-4464502-1722385806 -o /tmp/evaluation-result-4464502-1722385806/solver-4464502-1722385806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722378597-29426 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464502-1722385806.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=34760, runsolver pid=34757
Current StackSize limit: 8192 KiB
[startup+0.100623 s]*
/proc/loadavg: 4.08 4.08 4.09 5/266 34763
/proc/meminfo: memFree=120207328/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=113712 memory=30280 CPUtime=0.09 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 4884 0 0 0 9 0 0 0 20 0 3 0 5182273 116441088 7570 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 28428 7570 2966 3035 0 11369 0
[pid=34760/tid=34762] ppid=34757 vsize=113712 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 2385 0 0 0 8 0 0 0 20 0 3 0 5182275 116441088 7570 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=113712 memory=232851243367 CPUtime=0 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5182275 116441088 7570 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 113712 KiB
Current children cumulated memory: 30280 KiB
[startup+0.20598 s]*
/proc/loadavg: 4.08 4.08 4.09 5/266 34763
/proc/meminfo: memFree=120204752/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=113712 memory=32192 CPUtime=0.2 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 5697 0 0 0 19 1 0 0 20 0 3 0 5182273 116441088 8048 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 28428 8048 2966 3035 0 11791 0
[pid=34760/tid=34762] ppid=34757 vsize=113712 memory=664970838410264707 CPUtime=0.18 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 3198 0 0 0 18 0 0 0 20 0 3 0 5182275 116441088 8048 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=113712 memory=18001 CPUtime=0 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5182275 116441088 8048 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 113712 KiB
Current children cumulated memory: 32192 KiB
[startup+0.305856 s]*
/proc/loadavg: 4.08 4.08 4.09 5/266 34763
/proc/meminfo: memFree=120202924/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=113712 memory=34304 CPUtime=0.3 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 6172 0 0 0 29 1 0 0 20 0 3 0 5182273 116441088 8576 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 28428 8576 2966 3035 0 12140 0
[pid=34760/tid=34762] ppid=34757 vsize=113712 memory=-5155627994452618117 CPUtime=0.28 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 3673 0 0 0 28 0 0 0 20 0 3 0 5182275 116441088 8576 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=113712 memory=0 CPUtime=0 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5182275 116441088 8576 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 113712 KiB
Current children cumulated memory: 34304 KiB
[startup+0.700264 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 34763
/proc/meminfo: memFree=120201784/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=113712 memory=35360 CPUtime=0.69 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 6446 0 0 0 68 1 0 0 20 0 3 0 5182273 116441088 8840 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 28428 8840 2966 3035 0 12408 0
[pid=34760/tid=34762] ppid=34757 vsize=113712 memory=0 CPUtime=0.67 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 3947 0 0 0 67 0 0 0 20 0 3 0 5182275 116441088 8840 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=113712 memory=0 CPUtime=0 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5182275 116441088 8840 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113712 KiB
Current children cumulated memory: 35360 KiB
[startup+1.50028 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 34763
/proc/meminfo: memFree=120199828/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=113712 memory=37884 CPUtime=1.48 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 10342 0 0 0 147 1 0 0 20 0 3 0 5182273 116441088 9471 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 28428 9471 2966 3035 0 13017 0
[pid=34760/tid=34762] ppid=34757 vsize=113712 memory=0 CPUtime=1.47 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 7827 0 0 0 146 1 0 0 20 0 3 0 5182275 116441088 9471 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=113712 memory=0 CPUtime=0 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5182275 116441088 9471 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 113712 KiB
Current children cumulated memory: 37884 KiB
[startup+3.10574 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 34763
/proc/meminfo: memFree=120186912/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=113712 memory=42140 CPUtime=3.08 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 12196 0 0 0 306 2 0 0 20 0 3 0 5182273 116441088 10535 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 28428 10535 2966 3035 0 14097 0
[pid=34760/tid=34762] ppid=34757 vsize=113712 memory=2273 CPUtime=3.07 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 9678 0 0 0 305 2 0 0 20 0 3 0 5182275 116441088 10535 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=113712 memory=0 CPUtime=0 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5182275 116441088 10535 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 113712 KiB
Current children cumulated memory: 42140 KiB
[startup+6.30026 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 34763
/proc/meminfo: memFree=120161472/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=113712 memory=58340 CPUtime=6.27 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 25420 0 0 0 623 4 0 0 20 0 3 0 5182273 116441088 14585 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 28428 14585 2966 3035 0 18163 0
[pid=34760/tid=34762] ppid=34757 vsize=113712 memory=-5155627994452618117 CPUtime=6.25 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 22877 0 0 0 622 3 0 0 20 0 3 0 5182275 116441088 14585 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=113712 memory=58340 CPUtime=0 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5182275 116441088 14585 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 113712 KiB
Current children cumulated memory: 58340 KiB
[startup+12.7002 s]
/proc/loadavg: 4.06 4.08 4.09 5/267 34870
/proc/meminfo: memFree=122544032/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=113712 memory=59640 CPUtime=12.65 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 39213 0 0 0 1258 7 0 0 20 0 3 0 5182273 116441088 14910 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 28428 14910 3014 3035 0 18351 0
[pid=34760/tid=34762] ppid=34757 vsize=113712 memory=42140 CPUtime=12.62 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 36628 0 0 0 1256 6 0 0 20 0 3 0 5182275 116441088 14910 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=113712 memory=0 CPUtime=0 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5182275 116441088 14910 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 113712 KiB
Current children cumulated memory: 59640 KiB
[startup+25.5003 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 34872
/proc/meminfo: memFree=122449940/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=113712 memory=67508 CPUtime=25.38 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 62414 0 0 0 2525 13 0 0 20 0 3 0 5182273 116441088 16877 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 28428 16877 3014 3035 0 20540 0
[pid=34760/tid=34762] ppid=34757 vsize=113712 memory=4668 CPUtime=25.37 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 59753 0 0 0 2524 13 0 0 20 0 3 0 5182275 116441088 16877 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=113712 memory=60336 CPUtime=0 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5182275 116441088 16877 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 113712 KiB
Current children cumulated memory: 67508 KiB
[startup+51.1058 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 34878
/proc/meminfo: memFree=122334400/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=179248 memory=100264 CPUtime=50.88 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 96065 0 0 0 5063 25 0 0 20 0 3 0 5182273 183549952 25066 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 44812 25066 3014 3035 0 28610 0
[pid=34760/tid=34762] ppid=34757 vsize=179248 memory=86352 CPUtime=50.85 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 93336 0 0 0 5061 24 0 0 20 0 3 0 5182275 183549952 25066 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=179248 memory=86176 CPUtime=0 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5182275 183549952 25066 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 179248 KiB
Current children cumulated memory: 100264 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/266 34887
/proc/meminfo: memFree=121973648/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=180788 memory=138656 CPUtime=101.84 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 137811 0 0 0 10136 48 0 0 20 0 3 0 5182273 185126912 34664 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 45197 34664 3014 3035 0 38134 0
[pid=34760/tid=34762] ppid=34757 vsize=180788 memory=11480 CPUtime=101.82 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 134998 0 0 0 10134 48 0 0 20 0 3 0 5182275 185126912 34664 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=180788 memory=-7163093423917981563 CPUtime=0 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5182275 185126912 34664 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 180788 KiB
Current children cumulated memory: 138656 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/266 34897
/proc/meminfo: memFree=121847844/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=246324 memory=189316 CPUtime=161.58 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 192233 0 0 0 16086 72 0 0 20 0 3 0 5182273 252235776 47329 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 61581 47329 3014 3035 0 51519 0
[pid=34760/tid=34762] ppid=34757 vsize=246324 memory=0 CPUtime=161.55 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 189340 0 0 0 16084 71 0 0 20 0 3 0 5182275 252235776 47329 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=246324 memory=168540 CPUtime=0 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 3 0 5182275 252235776 47329 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 161.58 s
Current children cumulated vsize: 246324 KiB
################
# More data... #
################
/proc/34760/statm: 322292 298802 3014 3035 0 304363 0
[pid=34760/tid=34762] ppid=34757 vsize=1289168 memory=164 CPUtime=3390.49 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 1492257 0 0 0 338400 649 0 0 20 0 3 0 5182275 1320108032 298802 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=1289168 memory=1194044 CPUtime=0.02 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 5182275 1320108032 298802 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 3390.75 s
Current children cumulated vsize: 1289168 KiB
Current children cumulated memory: 1195208 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 36653
/proc/meminfo: memFree=120452512/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=1289168 memory=1204780 CPUtime=3450.56 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 1526778 0 0 0 344390 666 0 0 20 0 3 0 5182273 1320108032 301195 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 322292 301195 3014 3035 0 306841 0
[pid=34760/tid=34762] ppid=34757 vsize=1289168 memory=164 CPUtime=3450.31 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 1523026 0 0 0 344373 658 0 0 20 0 3 0 5182275 1320108032 301195 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=1289168 memory=13616 CPUtime=0.02 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 136 0 0 0 0 2 0 0 20 0 3 0 5182275 1320108032 301195 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 3450.56 s
Current children cumulated vsize: 1289168 KiB
Current children cumulated memory: 1204780 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/267 36833
/proc/meminfo: memFree=120431060/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=1289168 memory=1216612 CPUtime=3510.38 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 1553574 0 0 0 350366 672 0 0 20 0 3 0 5182273 1320108032 304153 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 322292 304153 3014 3035 0 309081 0
[pid=34760/tid=34762] ppid=34757 vsize=1289168 memory=1204780 CPUtime=3510.12 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 1549810 0 0 0 350348 664 0 0 20 0 3 0 5182275 1320108032 304153 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=1289168 memory=1216612 CPUtime=0.02 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 138 0 0 0 0 2 0 0 20 0 3 0 5182275 1320108032 304153 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 3510.38 s
Current children cumulated vsize: 1289168 KiB
Current children cumulated memory: 1216612 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 36844
/proc/meminfo: memFree=120402240/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=1289168 memory=1226780 CPUtime=3570.2 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 1583418 0 0 0 356338 682 0 0 20 0 3 0 5182273 1320108032 306695 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 322292 306695 3014 3035 0 311412 0
[pid=34760/tid=34762] ppid=34757 vsize=1289168 memory=1222336 CPUtime=3569.94 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 1579640 0 0 0 356320 674 0 0 20 0 3 0 5182275 1320108032 306695 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=1289168 memory=1226076 CPUtime=0.02 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5182275 1320108032 306695 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 3570.2 s
Current children cumulated vsize: 1289168 KiB
Current children cumulated memory: 1226780 KiB
[startup+3599.61 s]
# the end of solver process 34760 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.53 s, system=6.93693 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.09 4.09 5/267 36844
/proc/meminfo: memFree=120402024/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=1289168 memory=1226780 CPUtime=3571.9 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 1583566 0 0 0 356508 682 0 0 20 0 3 0 5182273 1320108032 306695 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 322292 306695 3014 3035 0 311412 0
[pid=34760/tid=34762] ppid=34757 vsize=1289168 memory=4932 CPUtime=3571.63 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 1579788 0 0 0 356489 674 0 0 20 0 3 0 5182275 1320108032 306695 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=1289168 memory=1219432 CPUtime=0.02 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5182275 1320108032 306695 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 3571.9 s
Current children cumulated vsize: 1289168 KiB
Current children cumulated memory: 1226780 KiB
[startup+3590.4 s]
/proc/loadavg: 4.08 4.09 4.09 4/258 36876
/proc/meminfo: memFree=121382288/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=1289168 memory=1227552 CPUtime=3578.27 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 1583677 0 0 0 357144 683 0 0 20 0 3 0 5182273 1320108032 306888 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 322292 306888 3014 3035 0 311412 0
[pid=34760/tid=34762] ppid=34757 vsize=1289168 memory=1226780 CPUtime=3578 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 1579899 0 0 0 357126 674 0 0 20 0 3 0 5182275 1320108032 306888 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=1289168 memory=-7163093423917981563 CPUtime=0.02 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5182275 1320108032 306888 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 3578.27 s
Current children cumulated vsize: 1289168 KiB
Current children cumulated memory: 1227552 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.09 4.09 4/258 36876
/proc/meminfo: memFree=121382248/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=1289168 memory=1227832 CPUtime=3581.46 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 1585920 0 0 0 357463 683 0 0 20 0 3 0 5182273 1320108032 306958 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 322292 306958 3014 3035 0 311508 0
[pid=34760/tid=34762] ppid=34757 vsize=1289168 memory=1227552 CPUtime=3581.2 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 1582142 0 0 0 357445 675 0 0 20 0 3 0 5182275 1320108032 306958 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=1289168 memory=1227552 CPUtime=0.02 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5182275 1320108032 306958 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 3581.46 s
Current children cumulated vsize: 1289168 KiB
Current children cumulated memory: 1227832 KiB
[startup+3596.8 s]
/proc/loadavg: 4.08 4.09 4.09 4/258 36876
/proc/meminfo: memFree=121381512/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=1289168 memory=1228192 CPUtime=3584.65 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 1586891 0 0 0 357782 683 0 0 20 0 3 0 5182273 1320108032 307048 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 322292 307048 3014 3035 0 311572 0
[pid=34760/tid=34762] ppid=34757 vsize=1289168 memory=1225500 CPUtime=3584.39 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 1583113 0 0 0 357764 675 0 0 20 0 3 0 5182275 1320108032 307048 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=1289168 memory=1226780 CPUtime=0.02 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5182275 1320108032 307048 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 3584.65 s
Current children cumulated vsize: 1289168 KiB
Current children cumulated memory: 1228192 KiB
[startup+3598.4 s]
/proc/loadavg: 4.08 4.09 4.09 4/258 36876
/proc/meminfo: memFree=121381496/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=1289168 memory=1228224 CPUtime=3586.25 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 1624226 0 0 0 357940 685 0 0 20 0 3 0 5182273 1320108032 307056 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 322292 307056 3014 3035 0 311572 0
[pid=34760/tid=34762] ppid=34757 vsize=1289168 memory=11480 CPUtime=3585.98 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 1620449 0 0 0 357921 677 0 0 20 0 3 0 5182275 1320108032 307056 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=1289168 memory=13616 CPUtime=0.02 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5182275 1320108032 307056 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 3586.25 s
Current children cumulated vsize: 1289168 KiB
Current children cumulated memory: 1228224 KiB
[startup+3599.2 s]
/proc/loadavg: 3.99 4.07 4.08 4/258 36876
/proc/meminfo: memFree=121383392/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=1283000 memory=1222060 CPUtime=3587.04 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 1716156 0 0 0 358014 690 0 0 20 0 3 0 5182273 1313792000 305515 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 320750 305515 3014 3035 0 310030 0
[pid=34760/tid=34762] ppid=34757 vsize=1283000 memory=13616 CPUtime=3586.78 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 1712376 0 0 0 357996 682 0 0 20 0 3 0 5182275 1313792000 305515 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=1283000 memory=11480 CPUtime=0.02 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5182275 1313792000 305515 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 3587.04 s
Current children cumulated vsize: 1283000 KiB
Current children cumulated memory: 1222060 KiB
[startup+3599.6 s]
/proc/loadavg: 3.99 4.07 4.08 4/258 36876
/proc/meminfo: memFree=121383392/131524600 swapFree=131071996/131071996
[pid=34760] ppid=34757 vsize=703536 memory=612868 CPUtime=3587.44 cores=5,7
/proc/34760/stat : 34760 (fscip) S 34757 34760 29413 0 -1 1077936128 1721143 0 0 0 358052 692 0 0 20 0 3 0 5182273 720420864 153217 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
/proc/34760/statm: 175884 153217 3014 3035 0 171737 0
[pid=34760/tid=34762] ppid=34757 vsize=703536 memory=25988 CPUtime=3587.18 cores=5,7
/proc/34760/task/34762/stat : 34762 (fscip) R 34757 34760 29413 0 -1 4194368 1717361 0 0 0 358034 684 0 0 20 0 3 0 5182275 720420864 153217 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
[pid=34760/tid=34763] ppid=34757 vsize=703536 memory=1904 CPUtime=0.02 cores=5,7
/proc/34760/task/34763/stat : 34763 (fscip) S 34757 34760 29413 0 -1 1077936192 140 0 0 0 0 2 0 0 20 0 3 0 5182275 720420864 153217 134679101440 4194304 16623229 140730482007248 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 46010368 140730482009110 140730482009226 140730482009226 140730482016240 0
Current children cumulated CPU time: 3587.44 s
Current children cumulated vsize: 703536 KiB
Current children cumulated memory: 612868 KiB
Child status: 0
Real time (s): 3599.61
CPU time (s): 3587.47
CPU user time (s): 3580.53
CPU system time (s): 6.93693
CPU usage (%): 99.6626
Max. virtual memory (cumulated for all children) (KiB): 1289168
Max. memory (cumulated for all children) (KiB): 1228224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.53
system time used= 6.93694
maximum resident set size= 1228224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1721257
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= 10958
involuntary context switches= 5024
# summary of solver processes directly reported to runsolver:
# pid: 34760
# total CPU time (s): 3587.47
# total CPU user time (s): 3580.53
# total CPU system time (s): 6.93693
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06868 second user time and 19.3439 second system time
The end
Begin job on nodeC031 at 2024-07-31 02:30:06
IDJOB=4464502
IDBENCH=160355
IDSOLVER=3092
FILE ID=nodeC031/4464502-1722385806
RUNJOBID= nodeC031-1722378597-29426
SLURM_JOB_ID= 8249854
Free space on /tmp= 889980 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x80split.cnf-extracted.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-4464502-1722385806/watcher-4464502-1722385806 -o /tmp/evaluation-result-4464502-1722385806/solver-4464502-1722385806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1722378597-29426 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464502-1722385806.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 42530f8fa6d5232445304732efe45d63
RANDOM SEED=745414528
nodeC031.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 : 3669.440
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.95
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 : 3677.745
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 : 7007.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.289
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.95
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 : 3623.564
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 : 7007.12
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.425
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.95
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.767
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 : 7007.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.000
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.95
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 : 3675.242
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 : 7007.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 120226000 kB
MemAvailable: 124357692 kB
Buffers: 99716 kB
Cached: 4860900 kB
SwapCached: 0 kB
Active: 287916 kB
Inactive: 10513000 kB
Active(anon): 1572 kB
Inactive(anon): 5860084 kB
Active(file): 286344 kB
Inactive(file): 4652916 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 56856 kB
Writeback: 44 kB
AnonPages: 5840164 kB
Mapped: 124592 kB
Shmem: 21336 kB
KReclaimable: 64160 kB
Slab: 145584 kB
SReclaimable: 64160 kB
SUnreclaim: 81424 kB
KernelStack: 4288 kB
PageTables: 21296 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4136688 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9440 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1097728 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: 236244 kB
DirectMap2M: 8974336 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 889992 MiB
End job on nodeC031 at 2024-07-31 03:30:06