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 = 24989696, getVmSize() = 24989696, SCIPgetMemUsed() = 2571700, SCIPgetMemTotal() = 3362188, SCIPgetMemExternEstim() = 1404252
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 = 18131626, getVmSize() = 29405184, SCIPgetMemUsed() = 3067407, SCIPgetMemTotal() = 6672863, SCIPgetMemExternEstim() = 1404252
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-4447460-1721354072
0.00/0.01 c Variables : 405 (405 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 1080
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 405 (405 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 1080
0.00/0.01 c Constraints : Number
0.00/0.01 c logicor : 1080
0.00/0.01 c ** Instance transfer method used: 0
0.00/0.02 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.02 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.02 c Nodes Active
0.00/0.02 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.57/5.68 c 6 1058 8 1 - 0.0000 -
10.66/10.72 c 11 3356 2299 1 - 0.0000 -
15.73/15.84 c 16 6449 5392 1 - 0.0000 -
20.82/20.95 c 21 9940 8883 1 - 0.0000 -
25.91/26.02 c 26 13601 12544 1 - 0.0000 -
31.00/31.15 c 31 17547 16490 1 - 0.0000 -
36.07/36.29 c 36 21393 20336 1 - 0.0000 -
41.16/41.34 c 41 24776 23719 1 - 0.0000 -
46.14/46.39 c 46 28571 27514 1 - 0.0000 -
51.23/51.45 c 51 32550 31493 1 - 0.0000 -
56.31/56.50 c 57 36152 35095 1 - 0.0000 -
61.30/61.60 c 62 40069 39012 1 - 0.0000 -
66.49/66.75 c 67 44005 42948 1 - 0.0000 -
71.48/71.79 c 72 47858 46801 1 - 0.0000 -
76.66/76.90 c 77 51410 50353 1 - 0.0000 -
81.65/81.96 c 82 55701 54644 1 - 0.0000 -
86.74/87.03 c 87 59842 58785 1 - 0.0000 -
91.82/92.15 c 92 63245 62188 1 - 0.0000 -
96.90/97.20 c 97 66710 65653 1 - 0.0000 -
101.89/102.27 c 102 70166 69109 1 - 0.0000 -
106.96/107.35 c 107 73975 72918 1 - 0.0000 -
112.05/112.49 c 112 77740 76683 1 - 0.0000 -
117.24/117.61 c 118 81658 80601 1 - 0.0000 -
122.22/122.66 c 123 85601 84544 1 - 0.0000 -
127.30/127.75 c 128 89393 88336 1 - 0.0000 -
132.38/132.81 c 133 93058 91998 1 - 0.0000 -
137.36/137.89 c 138 96832 95772 1 - 0.0000 -
142.45/142.94 c 143 100671 99611 1 - 0.0000 -
147.54/148.07 c 148 104411 103351 1 - 0.0000 -
152.71/153.27 c 153 108596 107536 1 - 0.0000 -
157.80/158.38 c 158 112426 111366 1 - 0.0000 -
162.88/163.45 c 163 116273 115213 1 - 0.0000 -
167.96/168.55 c 169 120134 119057 1 - 0.0000 -
172.95/173.59 c 174 123967 122888 1 - 0.0000 -
178.13/178.70 c 179 127837 126758 1 - 0.0000 -
183.21/183.86 c 184 131714 130635 1 - 0.0000 -
188.30/188.96 c 189 135714 134629 1 - 0.0000 -
193.48/194.11 c 194 139561 138476 1 - 0.0000 -
198.47/199.19 c 199 143287 142194 1 - 0.0000 -
203.54/204.28 c 204 147052 145959 1 - 0.0000 -
208.62/209.33 c 209 150817 149713 1 - 0.0000 -
213.70/214.43 c 214 154744 153640 1 - 0.0000 -
218.69/219.48 c 219 158379 157275 1 - 0.0000 -
223.78/224.57 c 225 162101 160981 1 - 0.0000 -
228.86/229.65 c 230 165769 164619 1 - 0.0000 -
234.04/234.80 c 235 169525 168372 1 - 0.0000 -
239.13/239.94 c 240 173169 172016 1 - 0.0000 -
244.10/244.98 c 245 176886 175733 1 - 0.0000 -
249.20/250.08 c 250 180691 179538 1 - 0.0000 -
254.28/255.13 c 255 184428 183275 1 - 0.0000 -
259.26/260.18 c 260 188439 187286 1 - 0.0000 -
264.34/265.26 c 265 192039 190883 1 - 0.0000 -
269.43/270.33 c 270 195992 194755 1 - 0.0000 -
274.60/275.57 c 276 199872 198635 1 - 0.0000 -
279.69/280.63 c 281 203720 202470 1 - 0.0000 -
284.67/285.68 c 286 207372 206118 1 - 0.0000 -
289.75/290.77 c 291 211273 209982 1 - 0.0000 -
294.84/295.86 c 296 214949 213650 1 - 0.0000 -
300.03/301.07 c 301 218639 217298 1 - 0.0000 -
305.10/306.12 c 306 222342 220977 1 - 0.0000 -
310.18/311.21 c 311 226085 224720 1 - 0.0000 -
315.27/316.35 c 316 229920 228516 1 - 0.0000 -
320.35/321.44 c 321 233671 232239 1 - 0.0000 -
325.34/326.49 c 326 237475 236043 1 - 0.0000 -
330.42/331.57 c 332 240906 239427 1 - 0.0000 -
335.50/336.62 c 337 244416 242904 1 - 0.0000 -
340.58/341.70 c 342 248127 246573 1 - 0.0000 -
345.57/346.76 c 347 251849 250295 1 - 0.0000 -
350.65/351.82 c 352 255525 253961 1 - 0.0000 -
355.64/356.89 c 357 259369 257776 1 - 0.0000 -
360.71/361.97 c 362 263085 261460 1 - 0.0000 -
365.80/367.02 c 367 266801 265164 1 - 0.0000 -
370.79/372.08 c 372 270693 269029 1 - 0.0000 -
375.96/377.23 c 377 274408 272744 1 - 0.0000 -
380.95/382.28 c 382 278044 276365 1 - 0.0000 -
386.03/387.36 c 387 281615 279911 1 - 0.0000 -
391.12/392.49 c 392 285489 283591 1 - 0.0000 -
396.20/397.58 c 398 289232 286659 1 - 0.0000 -
401.28/402.69 c 403 292987 290154 1 - 0.0000 -
406.37/407.76 c 408 296662 293565 1 - 0.0000 -
411.45/412.81 c 413 300579 296876 1 - 0.0000 -
416.43/417.86 c 418 303896 299848 1 - 0.0000 -
421.51/422.95 c 423 308472 303394 1 - 0.0000 -
426.60/428.02 c 428 312832 306518 1 - 0.0000 -
431.69/433.11 c 433 316096 309346 1 - 0.0000 -
436.66/438.19 c 438 319632 312506 1 - 0.0000 -
441.84/443.32 c 443 322926 315739 1 - 0.0000 -
446.82/448.39 c 448 326728 319449 1 - 0.0000 -
451.91/453.46 c 453 330532 323244 1 - 0.0000 -
456.99/458.52 c 459 334211 326920 1 - 0.0000 -
461.98/463.56 c 464 338068 330749 1 - 0.0000 -
467.16/468.78 c 469 341931 334544 1 - 0.0000 -
472.25/473.88 c 474 345873 338463 1 - 0.0000 -
477.33/478.97 c 479 349442 341951 1 - 0.0000 -
482.42/484.09 c 484 353381 345890 1 - 0.0000 -
487.49/489.14 c 489 357320 349829 1 - 0.0000 -
492.57/494.24 c 494 361169 353678 1 - 0.0000 -
497.66/499.31 c 499 365188 357688 1 - 0.0000 -
502.74/504.41 c 504 368943 361423 1 - 0.0000 -
507.73/509.46 c 509 372486 364906 1 - 0.0000 -
512.81/514.54 c 515 376281 368701 1 - 0.0000 -
517.89/519.63 c 520 379903 372321 1 - 0.0000 -
522.97/524.73 c 525 383450 375831 1 - 0.0000 -
528.06/529.89 c 530 387473 379852 1 - 0.0000 -
533.14/534.95 c 535 391066 383437 1 - 0.0000 -
538.23/540.07 c 540 394711 387041 1 - 0.0000 -
543.31/545.11 c 545 398463 390784 1 - 0.0000 -
548.38/550.23 c 550 402047 394314 1 - 0.0000 -
553.47/555.38 c 555 405789 398013 1 - 0.0000 -
558.66/560.50 c 561 409555 401779 1 - 0.0000 -
563.73/565.63 c 566 413212 405409 1 - 0.0000 -
568.72/570.68 c 571 416735 408895 1 - 0.0000 -
573.80/575.79 c 576 420144 412304 1 - 0.0000 -
578.89/580.86 c 581 423895 415896 1 - 0.0000 -
583.96/585.90 c 586 427650 419606 1 - 0.0000 -
589.05/591.08 c 591 431379 423179 1 - 0.0000 -
594.14/596.15 c 596 435035 426835 1 - 0.0000 -
599.22/601.20 c 601 438607 430355 1 - 0.0000 -
604.20/606.26 c 606 442391 434130 1 - 0.0000 -
609.29/611.35 c 611 446119 437858 1 - 0.0000 -
614.38/616.42 c 616 449686 441388 1 - 0.0000 -
619.37/621.47 c 621 453299 444982 1 - 0.0000 -
624.45/626.53 c 627 457077 448760 1 - 0.0000 -
629.54/631.60 c 632 460983 452634 1 - 0.0000 -
634.51/636.68 c 637 464576 456221 1 - 0.0000 -
639.60/641.75 c 642 468247 459801 1 - 0.0000 -
644.68/646.80 c 647 471820 463374 1 - 0.0000 -
649.67/651.88 c 652 475655 467209 1 - 0.0000 -
654.75/656.96 c 657 479595 471108 1 - 0.0000 -
659.84/662.02 c 662 483292 474805 1 - 0.0000 -
664.83/667.08 c 667 486857 478342 1 - 0.0000 -
669.90/672.17 c 672 490351 481836 1 - 0.0000 -
674.98/677.22 c 677 493852 485318 1 - 0.0000 -
679.96/682.29 c 682 497279 488739 1 - 0.0000 -
685.05/687.36 c 687 500852 492283 1 - 0.0000 -
690.13/692.49 c 692 504338 495735 1 - 0.0000 -
695.32/697.60 c 698 507693 499038 1 - 0.0000 -
700.30/702.69 c 703 511155 502471 1 - 0.0000 -
705.38/707.77 c 708 514532 505816 1 - 0.0000 -
710.47/712.85 c 713 517982 509228 1 - 0.0000 -
715.55/717.97 c 718 521408 512585 1 - 0.0000 -
720.63/723.06 c 723 524711 515874 1 - 0.0000 -
725.72/728.12 c 728 528122 519279 1 - 0.0000 -
730.80/733.23 c 733 532014 523162 1 - 0.0000 -
735.89/738.31 c 738 535615 526733 1 - 0.0000 -
740.97/743.40 c 743 539319 530435 1 - 0.0000 -
745.96/748.45 c 748 543006 533897 1 - 0.0000 -
751.04/753.51 c 754 546464 537262 1 - 0.0000 -
756.03/758.56 c 759 549764 540511 1 - 0.0000 -
761.12/763.66 c 764 553315 544044 1 - 0.0000 -
766.20/768.72 c 769 556849 547572 1 - 0.0000 -
771.19/773.79 c 774 560422 551113 1 - 0.0000 -
776.37/778.90 c 779 564038 554704 1 - 0.0000 -
781.46/784.03 c 784 567539 558205 1 - 0.0000 -
786.55/789.16 c 789 571129 561754 1 - 0.0000 -
791.64/794.25 c 794 574721 565343 1 - 0.0000 -
796.72/799.35 c 799 578223 568842 1 - 0.0000 -
801.80/804.41 c 804 581992 572611 1 - 0.0000 -
806.89/809.55 c 810 585565 576184 1 - 0.0000 -
811.97/814.64 c 815 589286 579874 1 - 0.0000 -
817.06/819.72 c 820 593003 583585 1 - 0.0000 -
822.05/824.77 c 825 596585 587167 1 - 0.0000 -
827.24/829.99 c 830 600295 590877 1 - 0.0000 -
832.43/835.15 c 835 604045 594627 1 - 0.0000 -
837.51/840.28 c 840 607432 597985 1 - 0.0000 -
842.59/845.38 c 845 610855 601351 1 - 0.0000 -
847.68/850.43 c 850 614300 604796 1 - 0.0000 -
852.67/855.49 c 856 617971 608454 1 - 0.0000 -
857.76/860.59 c 861 621474 611943 1 - 0.0000 -
862.84/865.64 c 866 624835 615290 1 - 0.0000 -
867.82/870.69 c 871 628444 618867 1 - 0.0000 -
873.01/875.84 c 876 631995 622383 1 - 0.0000 -
877.99/880.89 c 881 635662 626050 1 - 0.0000 -
883.08/885.94 c 886 639099 629464 1 - 0.0000 -
888.18/891.02 c 891 643028 633393 1 - 0.0000 -
893.26/896.12 c 896 646596 636931 1 - 0.0000 -
898.25/901.17 c 901 650279 640594 1 - 0.0000 -
903.33/906.24 c 906 653975 644290 1 - 0.0000 -
908.41/911.30 c 911 657552 647861 1 - 0.0000 -
913.50/916.42 c 916 661161 651455 1 - 0.0000 -
918.58/921.50 c 922 664827 655098 1 - 0.0000 -
923.67/926.61 c 927 668477 658739 1 - 0.0000 -
928.66/931.67 c 932 671913 662175 1 - 0.0000 -
933.85/936.83 c 937 675635 665897 1 - 0.0000 -
938.83/941.88 c 942 679045 669301 1 - 0.0000 -
944.02/947.03 c 947 682731 672987 1 - 0.0000 -
949.11/952.12 c 952 686291 676547 1 - 0.0000 -
954.20/957.24 c 957 689613 679865 1 - 0.0000 -
959.27/962.34 c 962 693257 683403 1 - 0.0000 -
964.36/967.40 c 967 696921 687029 1 - 0.0000 -
969.35/972.45 c 972 700363 690430 1 - 0.0000 -
974.54/977.61 c 978 703935 693972 1 - 0.0000 -
979.52/982.68 c 983 707582 697596 1 - 0.0000 -
984.61/987.78 c 988 711099 701110 1 - 0.0000 -
989.69/992.83 c 993 714716 704682 1 - 0.0000 -
994.77/997.92 c 998 718364 708314 1 - 0.0000 -
999.87/1003.01 c 1003 721668 711560 1 - 0.0000 -
1004.84/1008.08 c 1008 725028 714920 1 - 0.0000 -
1009.94/1013.15 c 1013 728535 718427 1 - 0.0000 -
1015.01/1018.22 c 1018 732165 721952 1 - 0.0000 -
1020.09/1023.39 c 1023 736017 725723 1 - 0.0000 -
1025.28/1028.52 c 1029 739579 729276 1 - 0.0000 -
1030.36/1033.63 c 1034 743081 732693 1 - 0.0000 -
1035.34/1038.67 c 1039 746593 736146 1 - 0.0000 -
1040.43/1043.73 c 1044 750118 739620 1 - 0.0000 -
1045.51/1048.84 c 1049 753571 743065 1 - 0.0000 -
1050.59/1053.94 c 1054 757113 746542 1 - 0.0000 -
1055.68/1059.05 c 1059 760490 749896 1 - 0.0000 -
1060.96/1064.40 c 1064 764336 753742 1 - 0.0000 -
1066.14/1069.55 c 1070 768141 757547 1 - 0.0000 -
1071.22/1074.63 c 1075 771836 761242 1 - 0.0000 -
1076.31/1079.71 c 1080 775448 764854 1 - 0.0000 -
1081.39/1084.83 c 1085 779185 768591 1 - 0.0000 -
1086.37/1089.87 c 1090 782955 772361 1 - 0.0000 -
1091.46/1094.94 c 1095 786644 776050 1 - 0.0000 -
1096.65/1100.11 c 1100 790241 779647 1 - 0.0000 -
1101.73/1105.22 c 1105 793853 783259 1 - 0.0000 -
1106.70/1110.27 c 1110 797453 786859 1 - 0.0000 -
1111.99/1115.52 c 1116 800961 790355 1 - 0.0000 -
1116.97/1120.57 c 1121 804490 793881 1 - 0.0000 -
1122.16/1125.70 c 1126 807853 797213 1 - 0.0000 -
1127.24/1130.82 c 1131 811461 800763 1 - 0.0000 -
1132.23/1135.90 c 1136 814788 803985 1 - 0.0000 -
1137.31/1140.94 c 1141 818386 807313 1 - 0.0000 -
1142.39/1146.02 c 1146 821912 810732 1 - 0.0000 -
1147.48/1151.13 c 1151 825427 814112 1 - 0.0000 -
1152.56/1156.23 c 1156 828855 817534 1 - 0.0000 -
1157.54/1161.28 c 1161 832384 820987 1 - 0.0000 -
1162.73/1166.45 c 1166 835896 824388 1 - 0.0000 -
1167.80/1171.50 c 1172 839290 827674 1 - 0.0000 -
1172.79/1176.56 c 1177 842744 830982 1 - 0.0000 -
1177.87/1181.62 c 1182 846012 834162 1 - 0.0000 -
1182.96/1186.70 c 1187 849505 837616 1 - 0.0000 -
1187.94/1191.74 c 1192 853095 841071 1 - 0.0000 -
1193.02/1196.83 c 1197 856313 844264 1 - 0.0000 -
1198.10/1201.91 c 1202 859895 847791 1 - 0.0000 -
1203.09/1206.97 c 1207 863343 851224 1 - 0.0000 -
1208.18/1212.02 c 1212 866927 854639 1 - 0.0000 -
1213.26/1217.15 c 1217 870245 857880 1 - 0.0000 -
1218.34/1222.20 c 1222 873669 861197 1 - 0.0000 -
1223.32/1227.26 c 1227 877339 864766 1 - 0.0000 -
1228.41/1232.35 c 1232 881023 868088 1 - 0.0000 -
1233.49/1237.44 c 1237 884356 871112 1 - 0.0000 -
1238.47/1242.49 c 1242 888281 874243 1 - 0.0000 -
1243.56/1247.54 c 1248 891189 876793 1 - 0.0000 -
1248.64/1252.65 c 1253 894406 879811 1 - 0.0000 -
1253.72/1257.71 c 1258 897884 883161 1 - 0.0000 -
1258.80/1262.81 c 1263 901681 886619 1 - 0.0000 -
1263.89/1267.94 c 1268 904991 889862 1 - 0.0000 -
1269.08/1273.13 c 1273 908508 893281 1 - 0.0000 -
1274.07/1278.17 c 1278 911726 896486 1 - 0.0000 -
1279.24/1283.31 c 1283 915301 899812 1 - 0.0000 -
1284.33/1288.43 c 1288 918589 902987 1 - 0.0000 -
1289.40/1293.56 c 1294 922046 906273 1 - 0.0000 -
1294.49/1298.61 c 1299 925624 909433 1 - 0.0000 -
1299.47/1303.65 c 1304 928806 912372 1 - 0.0000 -
1304.56/1308.70 c 1309 932456 915836 1 - 0.0000 -
1309.54/1313.76 c 1314 936170 919437 1 - 0.0000 -
1314.72/1318.93 c 1319 939978 923196 1 - 0.0000 -
1319.81/1324.03 c 1324 943196 926249 1 - 0.0000 -
1324.80/1329.07 c 1329 946726 929751 1 - 0.0000 -
1329.88/1334.14 c 1334 950170 933070 1 - 0.0000 -
1334.96/1339.21 c 1339 954142 936513 1 - 0.0000 -
1339.95/1344.27 c 1344 957165 939313 1 - 0.0000 -
1345.03/1349.38 c 1349 960445 942573 1 - 0.0000 -
1350.11/1354.46 c 1354 963979 945909 1 - 0.0000 -
1355.20/1359.53 c 1360 968137 949539 1 - 0.0000 -
1360.29/1364.61 c 1365 971215 952520 1 - 0.0000 -
1365.38/1369.71 c 1370 974883 955887 1 - 0.0000 -
1370.37/1374.76 c 1375 978453 959273 1 - 0.0000 -
1375.45/1379.88 c 1380 982201 962587 1 - 0.0000 -
1380.64/1385.04 c 1385 985764 965949 1 - 0.0000 -
1385.73/1390.14 c 1390 989216 969390 1 - 0.0000 -
1390.81/1395.23 c 1395 992538 972627 1 - 0.0000 -
1395.90/1400.30 c 1400 995841 975813 1 - 0.0000 -
1400.88/1405.35 c 1405 999519 979087 1 - 0.0000 -
1405.96/1410.42 c 1410 1002806 982244 1 - 0.0000 -
1410.95/1415.49 c 1416 1006318 985624 1 - 0.0000 -
1416.04/1420.54 c 1421 1009854 988981 1 - 0.0000 -
1421.23/1425.71 c 1426 1013083 992160 1 - 0.0000 -
1426.32/1430.87 c 1431 1016328 995181 1 - 0.0000 -
1431.40/1435.92 c 1436 1019804 998547 1 - 0.0000 -
1436.39/1440.98 c 1441 1023218 1001726 1 - 0.0000 -
1441.58/1446.10 c 1446 1026601 1004892 1 - 0.0000 -
1446.57/1451.15 c 1451 1030467 1008319 1 - 0.0000 -
1451.64/1456.22 c 1456 1033822 1011367 1 - 0.0000 -
1456.63/1461.28 c 1461 1037158 1014510 1 - 0.0000 -
1461.72/1466.34 c 1466 1039808 1016969 1 - 0.0000 -
1466.80/1471.42 c 1471 1042986 1019826 1 - 0.0000 -
1471.79/1476.47 c 1476 1045898 1022622 1 - 0.0000 -
1476.88/1481.55 c 1482 1049257 1025721 1 - 0.0000 -
1481.96/1486.63 c 1487 1052365 1028547 1 - 0.0000 -
1487.06/1491.70 c 1492 1055575 1031596 1 - 0.0000 -
1492.04/1496.79 c 1497 1059198 1034812 1 - 0.0000 -
1497.12/1501.89 c 1502 1062536 1037817 1 - 0.0000 -
1502.31/1507.07 c 1507 1065889 1040981 1 - 0.0000 -
1507.40/1512.13 c 1512 1069705 1044797 1 - 0.0000 -
1512.48/1517.27 c 1517 1073381 1048459 1 - 0.0000 -
1517.57/1522.35 c 1522 1077056 1052128 1 - 0.0000 -
1522.66/1527.43 c 1527 1080879 1055946 1 - 0.0000 -
1527.74/1532.52 c 1533 1084742 1059803 1 - 0.0000 -
1532.93/1537.75 c 1538 1088522 1063583 1 - 0.0000 -
1538.02/1542.83 c 1543 1092305 1067297 1 - 0.0000 -
1543.10/1547.90 c 1548 1095992 1070768 1 - 0.0000 -
1548.19/1553.07 c 1553 1099722 1074486 1 - 0.0000 -
1553.38/1558.24 c 1558 1103540 1078212 1 - 0.0000 -
1558.46/1563.32 c 1563 1107216 1081852 1 - 0.0000 -
1563.45/1568.38 c 1568 1110904 1085446 1 - 0.0000 -
1568.63/1573.53 c 1574 1114586 1089078 1 - 0.0000 -
1573.72/1578.61 c 1579 1118187 1092560 1 - 0.0000 -
1578.70/1583.67 c 1584 1121888 1096229 1 - 0.0000 -
1583.78/1588.79 c 1589 1125507 1099762 1 - 0.0000 -
1588.86/1593.88 c 1594 1129264 1103483 1 - 0.0000 -
1594.05/1599.04 c 1599 1132978 1107182 1 - 0.0000 -
1599.13/1604.18 c 1604 1136673 1110792 1 - 0.0000 -
1604.21/1609.24 c 1609 1140286 1114337 1 - 0.0000 -
1609.20/1614.29 c 1614 1143761 1117667 1 - 0.0000 -
1614.38/1619.42 c 1619 1147295 1121098 1 - 0.0000 -
1619.46/1624.51 c 1625 1151009 1124626 1 - 0.0000 -
1624.55/1629.61 c 1630 1154764 1128061 1 - 0.0000 -
1629.73/1634.80 c 1635 1158557 1131717 1 - 0.0000 -
1634.81/1639.90 c 1640 1162196 1135048 1 - 0.0000 -
1639.90/1645.01 c 1645 1165737 1138197 1 - 0.0000 -
1644.98/1650.12 c 1650 1169329 1141556 1 - 0.0000 -
1649.97/1655.17 c 1655 1172763 1144971 1 - 0.0000 -
1655.04/1660.26 c 1660 1176155 1148193 1 - 0.0000 -
1660.13/1665.31 c 1665 1179607 1151440 1 - 0.0000 -
1665.21/1670.42 c 1670 1183281 1154812 1 - 0.0000 -
1670.20/1675.49 c 1675 1186951 1158220 1 - 0.0000 -
1675.28/1680.54 c 1681 1190339 1161453 1 - 0.0000 -
1680.37/1685.65 c 1686 1194039 1164976 1 - 0.0000 -
1685.54/1690.82 c 1691 1197766 1168703 1 - 0.0000 -
1690.53/1695.89 c 1696 1201358 1172295 1 - 0.0000 -
1695.72/1701.01 c 1701 1204941 1175863 1 - 0.0000 -
1700.70/1706.06 c 1706 1208541 1179400 1 - 0.0000 -
1705.79/1711.11 c 1711 1212150 1182785 1 - 0.0000 -
1710.76/1716.17 c 1716 1215447 1185898 1 - 0.0000 -
1715.85/1721.24 c 1721 1218872 1189205 1 - 0.0000 -
1720.93/1726.32 c 1726 1222458 1192664 1 - 0.0000 -
1725.91/1731.39 c 1731 1225749 1195850 1 - 0.0000 -
1731.10/1736.57 c 1737 1229336 1199204 1 - 0.0000 -
1736.18/1741.62 c 1742 1232524 1202341 1 - 0.0000 -
1741.26/1746.75 c 1747 1236083 1205801 1 - 0.0000 -
1746.35/1751.83 c 1752 1239438 1209083 1 - 0.0000 -
1751.53/1757.00 c 1757 1243273 1212862 1 - 0.0000 -
1756.61/1762.16 c 1762 1246724 1216166 1 - 0.0000 -
1761.79/1767.36 c 1767 1250589 1219761 1 - 0.0000 -
1766.88/1772.49 c 1772 1253951 1223094 1 - 0.0000 -
1771.97/1777.59 c 1778 1257767 1226757 1 - 0.0000 -
1777.05/1782.64 c 1783 1261347 1230206 1 - 0.0000 -
1782.14/1787.70 c 1788 1264982 1233553 1 - 0.0000 -
1787.23/1792.82 c 1793 1268623 1236963 1 - 0.0000 -
1792.32/1797.90 c 1798 1272303 1240551 1 - 0.0000 -
1797.30/1802.98 c 1803 1276245 1244336 1 - 0.0000 -
1802.39/1808.06 c 1808 1280019 1247644 1 - 0.0000 -
1807.47/1813.15 c 1813 1283596 1251057 1 - 0.0000 -
1812.56/1818.21 c 1818 1287335 1254448 1 - 0.0000 -
1817.54/1823.28 c 1823 1290936 1257845 1 - 0.0000 -
1822.73/1828.44 c 1828 1294534 1261403 1 - 0.0000 -
1827.82/1833.52 c 1834 1297996 1264734 1 - 0.0000 -
1832.90/1838.63 c 1839 1301711 1268443 1 - 0.0000 -
1837.89/1843.67 c 1844 1305248 1271897 1 - 0.0000 -
1842.98/1848.73 c 1849 1309448 1275474 1 - 0.0000 -
1847.97/1853.78 c 1854 1312905 1278564 1 - 0.0000 -
1853.05/1858.88 c 1859 1316041 1281659 1 - 0.0000 -
1858.13/1863.95 c 1864 1319576 1285185 1 - 0.0000 -
1863.22/1869.01 c 1869 1323113 1288667 1 - 0.0000 -
1868.31/1874.14 c 1874 1326537 1292053 1 - 0.0000 -
1873.39/1879.20 c 1879 1330075 1295591 1 - 0.0000 -
1878.37/1884.26 c 1884 1333692 1299208 1 - 0.0000 -
1883.56/1889.41 c 1889 1337131 1302638 1 - 0.0000 -
1888.65/1894.52 c 1895 1340824 1306295 1 - 0.0000 -
1893.83/1899.71 c 1900 1344291 1309744 1 - 0.0000 -
1898.82/1904.76 c 1905 1347844 1313262 1 - 0.0000 -
1903.90/1909.82 c 1910 1351135 1316494 1 - 0.0000 -
1908.99/1914.91 c 1915 1354542 1319860 1 - 0.0000 -
1914.09/1920.01 c 1920 1358105 1323304 1 - 0.0000 -
1919.17/1925.19 c 1925 1361099 1326289 1 - 0.0000 -
1924.25/1930.25 c 1930 1364673 1329758 1 - 0.0000 -
1929.34/1935.32 c 1935 1368281 1333360 1 - 0.0000 -
1934.52/1940.50 c 1941 1372077 1337150 1 - 0.0000 -
1939.61/1945.61 c 1946 1375681 1340745 1 - 0.0000 -
1944.70/1950.71 c 1951 1379128 1344192 1 - 0.0000 -
1949.88/1955.93 c 1956 1383039 1348103 1 - 0.0000 -
1954.98/1961.01 c 1961 1386763 1351827 1 - 0.0000 -
1959.97/1966.10 c 1966 1390380 1355444 1 - 0.0000 -
1965.04/1971.18 c 1971 1394031 1359095 1 - 0.0000 -
1970.13/1976.26 c 1976 1397705 1362769 1 - 0.0000 -
1975.21/1981.39 c 1981 1400903 1365967 1 - 0.0000 -
1980.40/1986.53 c 1987 1404741 1369805 1 - 0.0000 -
1985.49/1991.60 c 1992 1408597 1373661 1 - 0.0000 -
1990.47/1996.69 c 1997 1412267 1377331 1 - 0.0000 -
1995.66/2001.80 c 2002 1415939 1381003 1 - 0.0000 -
2000.74/2006.91 c 2007 1419666 1384730 1 - 0.0000 -
2005.94/2012.12 c 2012 1423273 1388335 1 - 0.0000 -
2011.02/2017.22 c 2017 1427006 1392068 1 - 0.0000 -
2016.10/2022.39 c 2022 1430561 1395623 1 - 0.0000 -
2021.19/2027.45 c 2027 1434101 1399163 1 - 0.0000 -
2026.27/2032.52 c 2033 1437771 1402823 1 - 0.0000 -
2031.26/2037.59 c 2038 1441341 1406390 1 - 0.0000 -
2036.35/2042.69 c 2043 1444664 1409689 1 - 0.0000 -
2041.43/2047.79 c 2048 1448197 1413222 1 - 0.0000 -
2046.62/2052.98 c 2053 1451978 1416934 1 - 0.0000 -
2051.71/2058.05 c 2058 1455411 1420367 1 - 0.0000 -
2056.80/2063.16 c 2063 1458772 1423648 1 - 0.0000 -
2061.88/2068.29 c 2068 1462029 1426899 1 - 0.0000 -
2067.06/2073.47 c 2073 1465843 1430713 1 - 0.0000 -
2072.15/2078.54 c 2079 1469480 1434350 1 - 0.0000 -
2077.23/2083.61 c 2084 1473286 1437999 1 - 0.0000 -
2082.32/2088.71 c 2089 1476919 1441454 1 - 0.0000 -
2087.41/2093.83 c 2094 1480364 1444899 1 - 0.0000 -
2092.49/2098.95 c 2099 1483772 1448307 1 - 0.0000 -
2097.59/2104.09 c 2104 1487310 1451831 1 - 0.0000 -
2102.67/2109.17 c 2109 1490953 1455474 1 - 0.0000 -
2107.75/2114.21 c 2114 1494402 1458915 1 - 0.0000 -
2112.83/2119.39 c 2119 1498182 1462692 1 - 0.0000 -
2117.92/2124.47 c 2124 1502041 1466551 1 - 0.0000 -
2123.01/2129.56 c 2130 1505667 1470177 1 - 0.0000 -
2128.19/2134.78 c 2135 1509318 1473828 1 - 0.0000 -
2133.28/2139.87 c 2140 1513196 1477706 1 - 0.0000 -
2138.36/2144.96 c 2145 1516946 1481456 1 - 0.0000 -
2143.45/2150.03 c 2150 1520679 1485189 1 - 0.0000 -
2148.55/2155.15 c 2155 1524376 1488886 1 - 0.0000 -
2153.63/2160.22 c 2160 1528069 1492576 1 - 0.0000 -
2158.81/2165.47 c 2165 1531678 1496185 1 - 0.0000 -
2164.09/2170.71 c 2171 1535423 1499930 1 - 0.0000 -
2169.18/2175.84 c 2176 1539151 1503655 1 - 0.0000 -
2174.37/2181.03 c 2181 1542831 1507333 1 - 0.0000 -
2179.36/2186.09 c 2186 1546340 1510832 1 - 0.0000 -
2184.44/2191.15 c 2191 1549929 1514421 1 - 0.0000 -
2189.52/2196.23 c 2196 1553497 1517989 1 - 0.0000 -
2194.51/2201.28 c 2201 1556989 1521481 1 - 0.0000 -
2199.60/2206.36 c 2206 1560562 1525054 1 - 0.0000 -
2204.79/2211.53 c 2212 1564328 1528820 1 - 0.0000 -
2209.87/2216.67 c 2217 1567990 1532482 1 - 0.0000 -
2215.05/2221.85 c 2222 1571633 1536125 1 - 0.0000 -
2220.25/2227.05 c 2227 1575295 1539752 1 - 0.0000 -
2225.33/2232.14 c 2232 1579067 1543460 1 - 0.0000 -
2230.32/2237.19 c 2237 1582485 1546845 1 - 0.0000 -
2235.40/2242.26 c 2242 1586092 1550398 1 - 0.0000 -
2240.49/2247.34 c 2247 1589849 1554155 1 - 0.0000 -
2245.67/2252.51 c 2253 1593460 1557753 1 - 0.0000 -
2250.76/2257.62 c 2258 1597211 1561416 1 - 0.0000 -
2255.84/2262.70 c 2263 1600908 1565038 1 - 0.0000 -
2260.83/2267.77 c 2268 1604452 1568582 1 - 0.0000 -
2266.02/2272.90 c 2273 1607925 1572055 1 - 0.0000 -
2271.11/2278.00 c 2278 1611564 1575694 1 - 0.0000 -
2276.19/2283.13 c 2283 1615133 1579108 1 - 0.0000 -
2281.28/2288.20 c 2288 1619041 1582968 1 - 0.0000 -
2286.36/2293.30 c 2293 1622642 1586549 1 - 0.0000 -
2291.34/2298.38 c 2298 1626381 1590255 1 - 0.0000 -
2296.43/2303.43 c 2303 1630024 1593898 1 - 0.0000 -
2301.51/2308.51 c 2309 1633847 1597721 1 - 0.0000 -
2306.50/2313.56 c 2314 1637409 1601274 1 - 0.0000 -
2311.59/2318.63 c 2319 1640952 1604711 1 - 0.0000 -
2316.78/2323.80 c 2324 1644415 1608159 1 - 0.0000 -
2321.86/2328.96 c 2329 1648161 1611864 1 - 0.0000 -
2326.95/2334.10 c 2334 1651746 1615428 1 - 0.0000 -
2332.12/2339.21 c 2339 1655242 1618848 1 - 0.0000 -
2337.12/2344.26 c 2344 1658789 1622209 1 - 0.0000 -
2342.20/2349.31 c 2349 1662416 1625814 1 - 0.0000 -
2347.29/2354.43 c 2354 1666059 1629397 1 - 0.0000 -
2352.38/2359.59 c 2360 1669607 1632919 1 - 0.0000 -
2357.66/2364.80 c 2365 1673262 1636544 1 - 0.0000 -
2362.64/2369.87 c 2370 1676775 1640018 1 - 0.0000 -
2367.73/2374.98 c 2375 1680307 1643525 1 - 0.0000 -
2372.81/2380.02 c 2380 1683967 1647046 1 - 0.0000 -
2377.81/2385.07 c 2385 1687769 1650848 1 - 0.0000 -
2382.89/2390.13 c 2390 1691337 1654416 1 - 0.0000 -
2387.97/2395.27 c 2395 1694879 1657925 1 - 0.0000 -
2393.06/2400.35 c 2400 1698319 1661348 1 - 0.0000 -
2398.15/2405.47 c 2405 1701912 1664912 1 - 0.0000 -
2403.23/2410.54 c 2411 1705440 1668380 1 - 0.0000 -
2408.32/2415.61 c 2416 1709057 1671882 1 - 0.0000 -
2413.70/2421.00 c 2421 1712508 1675277 1 - 0.0000 -
2418.69/2426.08 c 2426 1716309 1679078 1 - 0.0000 -
2423.77/2431.13 c 2431 1719863 1682571 1 - 0.0000 -
2428.85/2436.28 c 2436 1723429 1686131 1 - 0.0000 -
2434.04/2441.41 c 2441 1726858 1689485 1 - 0.0000 -
2439.02/2446.47 c 2446 1730208 1692835 1 - 0.0000 -
2444.11/2451.56 c 2452 1733985 1696557 1 - 0.0000 -
2449.20/2456.62 c 2457 1737119 1699669 1 - 0.0000 -
2454.29/2461.71 c 2462 1740693 1703243 1 - 0.0000 -
2459.37/2466.88 c 2467 1744206 1706719 1 - 0.0000 -
2464.46/2471.97 c 2472 1747811 1710303 1 - 0.0000 -
2469.55/2477.07 c 2477 1751371 1713772 1 - 0.0000 -
2474.72/2482.27 c 2482 1754974 1717333 1 - 0.0000 -
2479.81/2487.31 c 2487 1758508 1720867 1 - 0.0000 -
2484.80/2492.36 c 2492 1762061 1724408 1 - 0.0000 -
2489.89/2497.42 c 2497 1765676 1727902 1 - 0.0000 -
2494.87/2502.48 c 2502 1769124 1731320 1 - 0.0000 -
2499.96/2507.55 c 2508 1772613 1734773 1 - 0.0000 -
2505.14/2512.70 c 2513 1776178 1738287 1 - 0.0000 -
2510.22/2517.80 c 2518 1779751 1741843 1 - 0.0000 -
2515.42/2523.02 c 2523 1783131 1745215 1 - 0.0000 -
2520.41/2528.09 c 2528 1786649 1748633 1 - 0.0000 -
2525.59/2533.27 c 2533 1790189 1752146 1 - 0.0000 -
2530.78/2538.40 c 2538 1793811 1755729 1 - 0.0000 -
2535.85/2543.56 c 2544 1797457 1759360 1 - 0.0000 -
2541.04/2548.70 c 2549 1801087 1762968 1 - 0.0000 -
2546.03/2553.77 c 2554 1804659 1766517 1 - 0.0000 -
2551.12/2558.83 c 2559 1808151 1769957 1 - 0.0000 -
2556.60/2564.32 c 2564 1811962 1773739 1 - 0.0000 -
2561.59/2569.39 c 2569 1815381 1777116 1 - 0.0000 -
2566.67/2574.47 c 2574 1818975 1780691 1 - 0.0000 -
2571.86/2579.63 c 2580 1822699 1784329 1 - 0.0000 -
2577.05/2584.83 c 2585 1826229 1787850 1 - 0.0000 -
2582.13/2589.99 c 2590 1829760 1791342 1 - 0.0000 -
2587.31/2595.15 c 2595 1833337 1794859 1 - 0.0000 -
2592.40/2600.21 c 2600 1836775 1798255 1 - 0.0000 -
2597.48/2605.32 c 2605 1840439 1801888 1 - 0.0000 -
2602.46/2610.37 c 2610 1843890 1805305 1 - 0.0000 -
2607.55/2615.49 c 2616 1847393 1808783 1 - 0.0000 -
2612.63/2620.58 c 2621 1850950 1812306 1 - 0.0000 -
2617.71/2625.66 c 2626 1854595 1815908 1 - 0.0000 -
2622.80/2630.79 c 2631 1858037 1819336 1 - 0.0000 -
2627.97/2635.95 c 2636 1861645 1822896 1 - 0.0000 -
2633.06/2641.00 c 2641 1865192 1826422 1 - 0.0000 -
2638.24/2646.28 c 2646 1868661 1829760 1 - 0.0000 -
2643.33/2651.37 c 2651 1872275 1833343 1 - 0.0000 -
2648.51/2656.51 c 2657 1875954 1837016 1 - 0.0000 -
2653.60/2661.61 c 2662 1879654 1840572 1 - 0.0000 -
2658.68/2666.79 c 2667 1883411 1844225 1 - 0.0000 -
2663.97/2672.05 c 2672 1887181 1847989 1 - 0.0000 -
2669.16/2677.24 c 2677 1890956 1851755 1 - 0.0000 -
2674.24/2682.36 c 2682 1894769 1855496 1 - 0.0000 -
2679.33/2687.41 c 2687 1898407 1859044 1 - 0.0000 -
2684.41/2692.53 c 2693 1901902 1862291 1 - 0.0000 -
2689.50/2697.60 c 2698 1905505 1865867 1 - 0.0000 -
2694.58/2702.74 c 2703 1908966 1869255 1 - 0.0000 -
2699.56/2707.79 c 2708 1912588 1872853 1 - 0.0000 -
2704.66/2712.85 c 2713 1916197 1876388 1 - 0.0000 -
2709.74/2717.90 c 2718 1919676 1879822 1 - 0.0000 -
2714.83/2723.01 c 2723 1923289 1883371 1 - 0.0000 -
2719.81/2728.07 c 2728 1926980 1887002 1 - 0.0000 -
2724.90/2733.18 c 2733 1930296 1890265 1 - 0.0000 -
2730.08/2738.35 c 2738 1933745 1893672 1 - 0.0000 -
2735.26/2743.55 c 2744 1937335 1897232 1 - 0.0000 -
2740.55/2748.87 c 2749 1941021 1900857 1 - 0.0000 -
2745.64/2753.93 c 2754 1944691 1904439 1 - 0.0000 -
2750.92/2759.22 c 2759 1948337 1908082 1 - 0.0000 -
2755.91/2764.29 c 2764 1951881 1911517 1 - 0.0000 -
2761.09/2769.41 c 2769 1955463 1915039 1 - 0.0000 -
2766.08/2774.47 c 2774 1959090 1918457 1 - 0.0000 -
2771.16/2779.57 c 2780 1962623 1921953 1 - 0.0000 -
2776.25/2784.61 c 2785 1966010 1925311 1 - 0.0000 -
2781.24/2789.67 c 2790 1969494 1928759 1 - 0.0000 -
2786.32/2794.76 c 2795 1973087 1932272 1 - 0.0000 -
2791.40/2799.82 c 2800 1976628 1935702 1 - 0.0000 -
2796.49/2804.90 c 2805 1979862 1938859 1 - 0.0000 -
2801.57/2810.00 c 2810 1983419 1942363 1 - 0.0000 -
2806.56/2815.10 c 2815 1986936 1945825 1 - 0.0000 -
2811.95/2820.43 c 2820 1990668 1949517 1 - 0.0000 -
2816.93/2825.49 c 2825 1994207 1952819 1 - 0.0000 -
2822.12/2830.61 c 2831 1997398 1955812 1 - 0.0000 -
2827.10/2835.66 c 2836 2000924 1959237 1 - 0.0000 -
2832.19/2840.73 c 2841 2004473 1962741 1 - 0.0000 -
2837.38/2845.94 c 2846 2008121 1966259 1 - 0.0000 -
2842.36/2850.99 c 2851 2011692 1969761 1 - 0.0000 -
2847.45/2856.06 c 2856 2015214 1973257 1 - 0.0000 -
2852.53/2861.15 c 2861 2018871 1976863 1 - 0.0000 -
2857.62/2866.23 c 2866 2022362 1980277 1 - 0.0000 -
2862.70/2871.33 c 2871 2025924 1983671 1 - 0.0000 -
2867.78/2876.47 c 2876 2029428 1987134 1 - 0.0000 -
2872.87/2881.54 c 2882 2032927 1990615 1 - 0.0000 -
2877.96/2886.63 c 2887 2036331 1993904 1 - 0.0000 -
2883.04/2891.72 c 2892 2039921 1997365 1 - 0.0000 -
2888.23/2896.94 c 2897 2043550 2000994 1 - 0.0000 -
2893.32/2902.05 c 2902 2047318 2004762 1 - 0.0000 -
2898.40/2907.10 c 2907 2051032 2008476 1 - 0.0000 -
2903.48/2912.21 c 2912 2054672 2012116 1 - 0.0000 -
2908.66/2917.47 c 2917 2058515 2015950 1 - 0.0000 -
2913.75/2922.54 c 2923 2062241 2019676 1 - 0.0000 -
2918.83/2927.64 c 2928 2065788 2023217 1 - 0.0000 -
2923.92/2932.70 c 2933 2069380 2026806 1 - 0.0000 -
2928.91/2937.78 c 2938 2072787 2030189 1 - 0.0000 -
2934.10/2942.91 c 2943 2076345 2033732 1 - 0.0000 -
2939.08/2947.95 c 2948 2079800 2037185 1 - 0.0000 -
2944.16/2953.03 c 2953 2083317 2040698 1 - 0.0000 -
2949.25/2958.15 c 2958 2087008 2044336 1 - 0.0000 -
2954.33/2963.22 c 2963 2090615 2047943 1 - 0.0000 -
2959.42/2968.31 c 2968 2094323 2051651 1 - 0.0000 -
2964.40/2973.37 c 2973 2097907 2055235 1 - 0.0000 -
2969.49/2978.43 c 2978 2101156 2058482 1 - 0.0000 -
2974.88/2983.82 c 2984 2105023 2062343 1 - 0.0000 -
2979.96/2988.99 c 2989 2108532 2065847 1 - 0.0000 -
2985.04/2994.08 c 2994 2111872 2069170 1 - 0.0000 -
2990.13/2999.17 c 2999 2115632 2072831 1 - 0.0000 -
2995.21/3004.21 c 3004 2119430 2076553 1 - 0.0000 -
3000.20/3009.29 c 3009 2122791 2079892 1 - 0.0000 -
3005.29/3014.38 c 3014 2126287 2083327 1 - 0.0000 -
3010.37/3019.46 c 3019 2130076 2086994 1 - 0.0000 -
3015.55/3024.60 c 3025 2133537 2090363 1 - 0.0000 -
3020.54/3029.69 c 3030 2137211 2093932 1 - 0.0000 -
3025.72/3034.82 c 3035 2140851 2097534 1 - 0.0000 -
3030.81/3039.92 c 3040 2144286 2100899 1 - 0.0000 -
3035.89/3045.01 c 3045 2147875 2104438 1 - 0.0000 -
3040.88/3050.07 c 3050 2151323 2107847 1 - 0.0000 -
3045.97/3055.17 c 3055 2155006 2111457 1 - 0.0000 -
3051.04/3060.24 c 3060 2158614 2114885 1 - 0.0000 -
3056.13/3065.33 c 3065 2162227 2118425 1 - 0.0000 -
3061.22/3070.44 c 3070 2165901 2122031 1 - 0.0000 -
3066.31/3075.58 c 3076 2169470 2125567 1 - 0.0000 -
3071.49/3080.70 c 3081 2172981 2128988 1 - 0.0000 -
3076.48/3085.77 c 3086 2176627 2132617 1 - 0.0000 -
3081.56/3090.84 c 3091 2180189 2136148 1 - 0.0000 -
3086.65/3095.92 c 3096 2183986 2139945 1 - 0.0000 -
3091.74/3101.08 c 3101 2187490 2143449 1 - 0.0000 -
3096.82/3106.14 c 3106 2191118 2146992 1 - 0.0000 -
3101.90/3111.24 c 3111 2194772 2150581 1 - 0.0000 -
3106.98/3116.34 c 3116 2198407 2154167 1 - 0.0000 -
3112.07/3121.41 c 3121 2202157 2157917 1 - 0.0000 -
3117.06/3126.48 c 3126 2205754 2161372 1 - 0.0000 -
3122.14/3131.55 c 3132 2209304 2164821 1 - 0.0000 -
3127.43/3136.85 c 3137 2213026 2168496 1 - 0.0000 -
3132.51/3141.97 c 3142 2216749 2172133 1 - 0.0000 -
3137.61/3147.10 c 3147 2220271 2175455 1 - 0.0000 -
3142.69/3152.15 c 3152 2223888 2178958 1 - 0.0000 -
3147.77/3157.21 c 3157 2227323 2182343 1 - 0.0000 -
3152.86/3162.30 c 3162 2231046 2185961 1 - 0.0000 -
3157.85/3167.38 c 3167 2234470 2189243 1 - 0.0000 -
3162.93/3172.43 c 3172 2237887 2192479 1 - 0.0000 -
3168.02/3177.53 c 3178 2241501 2195997 1 - 0.0000 -
3173.10/3182.63 c 3183 2244891 2199346 1 - 0.0000 -
3178.18/3187.72 c 3188 2248315 2202694 1 - 0.0000 -
3183.37/3192.90 c 3193 2251845 2206177 1 - 0.0000 -
3188.46/3198.03 c 3198 2255355 2209616 1 - 0.0000 -
3193.44/3203.10 c 3203 2258552 2212813 1 - 0.0000 -
3198.73/3208.36 c 3208 2262305 2216566 1 - 0.0000 -
3203.81/3213.46 c 3213 2265836 2220097 1 - 0.0000 -
3208.90/3218.51 c 3219 2269109 2223370 1 - 0.0000 -
3213.98/3223.64 c 3224 2272576 2226837 1 - 0.0000 -
3219.17/3228.89 c 3229 2276272 2230526 1 - 0.0000 -
3224.36/3234.06 c 3234 2279839 2233997 1 - 0.0000 -
3229.54/3239.24 c 3239 2283179 2237253 1 - 0.0000 -
3234.63/3244.37 c 3244 2286801 2240836 1 - 0.0000 -
3239.71/3249.49 c 3250 2290284 2244284 1 - 0.0000 -
3244.90/3254.60 c 3255 2293881 2247791 1 - 0.0000 -
3250.08/3259.83 c 3260 2297611 2251521 1 - 0.0000 -
3255.17/3264.92 c 3265 2301195 2255007 1 - 0.0000 -
3260.16/3269.96 c 3270 2304672 2258454 1 - 0.0000 -
3265.24/3275.05 c 3275 2308279 2262026 1 - 0.0000 -
3270.33/3280.11 c 3280 2311819 2265516 1 - 0.0000 -
3275.32/3285.19 c 3285 2315335 2268977 1 - 0.0000 -
3280.40/3290.27 c 3290 2318863 2272487 1 - 0.0000 -
3285.48/3295.37 c 3295 2322299 2275906 1 - 0.0000 -
3290.76/3300.61 c 3301 2325942 2279529 1 - 0.0000 -
3295.75/3305.68 c 3306 2329506 2283047 1 - 0.0000 -
3300.93/3310.83 c 3311 2333099 2286602 1 - 0.0000 -
3306.11/3316.06 c 3316 2336596 2290004 1 - 0.0000 -
3311.19/3321.14 c 3321 2340185 2293555 1 - 0.0000 -
3316.37/3326.32 c 3326 2343678 2296973 1 - 0.0000 -
3321.66/3331.62 c 3332 2347499 2300728 1 - 0.0000 -
3326.74/3336.77 c 3337 2350923 2304075 1 - 0.0000 -
3331.92/3341.93 c 3342 2354586 2307729 1 - 0.0000 -
3336.91/3346.99 c 3347 2358112 2311246 1 - 0.0000 -
3341.99/3352.06 c 3352 2361506 2314582 1 - 0.0000 -
3347.17/3357.25 c 3357 2365387 2318287 1 - 0.0000 -
3352.36/3362.40 c 3362 2368687 2321437 1 - 0.0000 -
3357.44/3367.51 c 3368 2372319 2325032 1 - 0.0000 -
3362.42/3372.59 c 3373 2375775 2328461 1 - 0.0000 -
3367.51/3377.66 c 3378 2379333 2331946 1 - 0.0000 -
3372.59/3382.74 c 3383 2382958 2335551 1 - 0.0000 -
3377.67/3387.84 c 3388 2386792 2339382 1 - 0.0000 -
3382.86/3393.00 c 3393 2390316 2342883 1 - 0.0000 -
3387.84/3398.10 c 3398 2393932 2346449 1 - 0.0000 -
3393.02/3403.23 c 3403 2397478 2349946 1 - 0.0000 -
3398.10/3408.37 c 3408 2400973 2353438 1 - 0.0000 -
3403.29/3413.59 c 3414 2404799 2357193 1 - 0.0000 -
3408.37/3418.66 c 3419 2408573 2360829 1 - 0.0000 -
3413.45/3423.71 c 3424 2412179 2364361 1 - 0.0000 -
3418.44/3428.79 c 3429 2415788 2367944 1 - 0.0000 -
3423.51/3433.86 c 3434 2419467 2371614 1 - 0.0000 -
3428.70/3439.08 c 3439 2422893 2375000 1 - 0.0000 -
3433.88/3444.28 c 3444 2426844 2378951 1 - 0.0000 -
3438.97/3449.35 c 3449 2430224 2382312 1 - 0.0000 -
3444.05/3454.45 c 3454 2433621 2385614 1 - 0.0000 -
3449.14/3459.51 c 3460 2436869 2388832 1 - 0.0000 -
3454.12/3464.58 c 3465 2440404 2392300 1 - 0.0000 -
3459.31/3469.74 c 3470 2443791 2395611 1 - 0.0000 -
3464.39/3474.80 c 3475 2447238 2399055 1 - 0.0000 -
3469.38/3479.87 c 3480 2450499 2402281 1 - 0.0000 -
3474.47/3484.94 c 3485 2454159 2405883 1 - 0.0000 -
3479.56/3490.03 c 3490 2457803 2409496 1 - 0.0000 -
3484.64/3495.11 c 3495 2461187 2412880 1 - 0.0000 -
3489.72/3500.23 c 3500 2464627 2416320 1 - 0.0000 -
3494.91/3505.45 c 3505 2468213 2419903 1 - 0.0000 -
3500.18/3510.71 c 3511 2471821 2423509 1 - 0.0000 -
3505.17/3515.78 c 3516 2475309 2426997 1 - 0.0000 -
3510.25/3520.85 c 3521 2478928 2430616 1 - 0.0000 -
3515.44/3526.05 c 3526 2482451 2434115 1 - 0.0000 -
3520.62/3531.21 c 3531 2485836 2437491 1 - 0.0000 -
3525.60/3536.27 c 3536 2489374 2441026 1 - 0.0000 -
3530.69/3541.35 c 3541 2492971 2444607 1 - 0.0000 -
3535.77/3546.49 c 3546 2496495 2448110 1 - 0.0000 -
3540.85/3551.56 c 3552 2499409 2451003 1 - 0.0000 -
3546.03/3556.79 c 3557 2503062 2454636 1 - 0.0000 -
3551.22/3561.95 c 3562 2506479 2458053 1 - 0.0000 -
3556.31/3567.02 c 3567 2509932 2461499 1 - 0.0000 -
3561.39/3572.20 c 3572 2513495 2465062 1 - 0.0000 -
3566.67/3577.46 c 3577 2517068 2468544 1 - 0.0000 -
3571.75/3582.58 c 3583 2520656 2472118 1 - 0.0000 -
3576.83/3587.64 c 3588 2524066 2475466 1 - 0.0000 -
3581.82/3592.69 c 3593 2527466 2478813 1 - 0.0000 -
3586.90/3597.77 c 3598 2530908 2482189 1 - 0.0000 -
3591.38/3602.27 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.38/3602.27 c Total Time : 3602.2800
3591.38/3602.27 c solving : 3602.2800
3591.38/3602.27 c presolving : 0.0129 (included in solving)
3591.38/3602.27 c B&B Tree :
3591.38/3602.27 c nodes (total) : 1
3591.38/3602.27 c Solution :
3591.38/3602.27 c Solutions found : 0
3591.38/3602.27 c Primal Bound : -
3591.38/3602.27 c Dual Bound : +0.00000000000000e+00
3591.38/3602.27 c Gap : -
3591.49/3602.30 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 (62865 MiB free)
memory of node 1: 64473 MiB (63329 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447460-1721354072/watcher-4447460-1721354072 -o /tmp/evaluation-result-4447460-1721354072/solver-4447460-1721354072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982052 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447460-1721354072.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=982105, runsolver pid=982097
[startup+0.100091 s]*
/proc/loadavg: 1.97 2.26 2.89 5/258 982124
/proc/meminfo: memFree=129183684/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=112960 memory=34544 CPUtime=0.09 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 6377 0 0 0 9 0 0 0 20 0 3 0 187574219 115671040 8636 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 28240 8636 2926 3032 0 12669 0
[pid=982105/tid=982123] ppid=982097 vsize=112960 memory=4026532157 CPUtime=0.07 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 3770 0 0 0 7 0 0 0 20 0 3 0 187574221 115671040 8636 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=112960 memory=215671374179 CPUtime=0 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574222 115671040 8636 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112960 KiB
Current children cumulated memory: 34544 KiB
[startup+0.206537 s]*
/proc/loadavg: 1.97 2.26 2.89 4/252 982140
/proc/meminfo: memFree=129181268/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=113804 memory=36124 CPUtime=0.2 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 6809 0 0 0 20 0 0 0 20 0 3 0 187574219 116535296 9031 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 28451 9031 2926 3032 0 12880 0
[pid=982105/tid=982123] ppid=982097 vsize=113804 memory=7589421003159122170 CPUtime=0.18 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 4202 0 0 0 18 0 0 0 20 0 3 0 187574221 116535296 9031 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=113804 memory=1656777 CPUtime=0 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574222 116535296 9031 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 113804 KiB
Current children cumulated memory: 36124 KiB
[startup+0.305881 s]*
/proc/loadavg: 1.97 2.26 2.89 4/256 982152
/proc/meminfo: memFree=129170868/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=114428 memory=41404 CPUtime=0.3 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 8115 0 0 0 30 0 0 0 20 0 3 0 187574219 117174272 10351 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 28607 10351 2926 3032 0 13817 0
[pid=982105/tid=982123] ppid=982097 vsize=114428 memory=8390339637985935414 CPUtime=0.28 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 5508 0 0 0 28 0 0 0 20 0 3 0 187574221 117174272 10351 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=114428 memory=4210021459480626854 CPUtime=0 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574222 117174272 10351 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114428 KiB
Current children cumulated memory: 41404 KiB
[startup+0.700201 s]
/proc/loadavg: 1.97 2.26 2.89 7/264 982218
/proc/meminfo: memFree=129146348/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=119528 memory=55544 CPUtime=0.69 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 11996 0 0 0 68 1 0 0 20 0 3 0 187574219 122396672 13886 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 29882 13886 2942 3032 0 18074 0
[pid=982105/tid=982123] ppid=982097 vsize=119528 memory=0 CPUtime=0.67 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 9389 0 0 0 66 1 0 0 20 0 3 0 187574221 122396672 13886 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=119528 memory=3472275528340474041 CPUtime=0 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574222 122396672 13886 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 119528 KiB
Current children cumulated memory: 55544 KiB
[startup+1.50018 s]
/proc/loadavg: 1.97 2.26 2.89 7/266 982220
/proc/meminfo: memFree=129098776/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=120112 memory=56624 CPUtime=1.48 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 16424 0 0 0 147 1 0 0 20 0 3 0 187574219 122994688 14156 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 30028 14156 2942 3032 0 18220 0
[pid=982105/tid=982123] ppid=982097 vsize=120112 memory=0 CPUtime=1.46 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 13817 0 0 0 145 1 0 0 20 0 3 0 187574221 122994688 14156 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=120112 memory=0 CPUtime=0 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 187574222 122994688 14156 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 120112 KiB
Current children cumulated memory: 56624 KiB
[startup+3.10637 s]
/proc/loadavg: 2.13 2.29 2.90 6/266 982220
/proc/meminfo: memFree=129065100/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=124452 memory=68924 CPUtime=3.09 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 25693 0 0 0 306 3 0 0 20 0 3 0 187574219 127438848 17231 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 31113 17231 2990 3032 0 21260 0
[pid=982105/tid=982123] ppid=982097 vsize=124452 memory=0 CPUtime=3.06 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 23067 0 0 0 304 2 0 0 20 0 3 0 187574221 127438848 17231 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=124452 memory=0 CPUtime=0 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 187574222 127438848 17231 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 124452 KiB
Current children cumulated memory: 68924 KiB
[startup+6.3002 s]
/proc/loadavg: 2.13 2.29 2.90 6/266 982220
/proc/meminfo: memFree=129040628/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=126392 memory=72832 CPUtime=6.27 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 46404 0 0 0 622 5 0 0 20 0 3 0 187574219 129425408 18208 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 31598 18208 2990 3032 0 22402 0
[pid=982105/tid=982123] ppid=982097 vsize=126392 memory=0 CPUtime=6.24 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 43754 0 0 0 620 4 0 0 20 0 3 0 187574221 129425408 18208 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=126392 memory=-6082791234456435557 CPUtime=0 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 187574222 129425408 18208 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 126392 KiB
Current children cumulated memory: 72832 KiB
[startup+12.7002 s]
/proc/loadavg: 2.28 2.32 2.91 6/266 982222
/proc/meminfo: memFree=129012452/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=126392 memory=77620 CPUtime=12.64 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 58447 0 0 0 1258 6 0 0 20 0 3 0 187574219 129425408 19405 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 31598 19405 2990 3032 0 22719 0
[pid=982105/tid=982123] ppid=982097 vsize=126392 memory=75604 CPUtime=12.62 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 55747 0 0 0 1256 6 0 0 20 0 3 0 187574221 129425408 19405 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=126392 memory=68920 CPUtime=0 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 187574222 129425408 19405 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 126392 KiB
Current children cumulated memory: 77620 KiB
[startup+25.5002 s]
/proc/loadavg: 2.73 2.42 2.93 5/266 982223
/proc/meminfo: memFree=128961436/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=130436 memory=85912 CPUtime=25.41 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 74323 0 0 0 2532 9 0 0 20 0 3 0 187574219 133566464 21478 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 32609 21478 2990 3032 0 24637 0
[pid=982105/tid=982123] ppid=982097 vsize=130436 memory=84928 CPUtime=25.38 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 71605 0 0 0 2529 9 0 0 20 0 3 0 187574221 133566464 21478 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=130436 memory=45640 CPUtime=0 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 187574222 133566464 21478 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 130436 KiB
Current children cumulated memory: 85912 KiB
[startup+51.106 s]
/proc/loadavg: 3.23 2.56 2.96 5/264 982228
/proc/meminfo: memFree=128864672/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=134088 memory=100824 CPUtime=50.93 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 88110 0 0 0 5082 11 0 0 20 0 3 0 187574219 137306112 25206 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 33522 25206 2990 3032 0 28008 0
[pid=982105/tid=982123] ppid=982097 vsize=134088 memory=95236 CPUtime=50.91 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 85370 0 0 0 5080 11 0 0 20 0 3 0 187574221 137306112 25206 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=134088 memory=92212 CPUtime=0 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 187574222 137306112 25206 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 134088 KiB
Current children cumulated memory: 100824 KiB
[startup+102.3 s]
/proc/loadavg: 3.87 2.83 3.04 5/266 982620
/proc/meminfo: memFree=128675844/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=214152 memory=134984 CPUtime=101.99 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 103731 0 0 0 10180 19 0 0 20 0 3 0 187574219 219291648 33746 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 53538 33746 2990 3032 0 36494 0
[pid=982105/tid=982123] ppid=982097 vsize=214152 memory=11608 CPUtime=101.95 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 100966 0 0 0 10177 18 0 0 20 0 3 0 187574221 219291648 33746 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=214152 memory=128076 CPUtime=0 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 3 0 187574222 219291648 33746 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 214152 KiB
Current children cumulated memory: 134984 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 3.08 3.11 5/266 982630
/proc/meminfo: memFree=128484016/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=229480 memory=172152 CPUtime=161.78 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 124222 0 0 0 16149 29 0 0 20 0 3 0 187574219 234987520 43038 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 57370 43038 2990 3032 0 45900 0
[pid=982105/tid=982123] ppid=982097 vsize=229480 memory=152756 CPUtime=161.75 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 121438 0 0 0 16147 28 0 0 20 0 3 0 187574221 234987520 43038 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=229480 memory=162324 CPUtime=0 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 187574222 234987520 43038 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 229480 KiB
################
# More data... #
################
/proc/982105/statm: 544585 522196 2990 3032 0 532517 0
[pid=982105/tid=982123] ppid=982097 vsize=2178340 memory=11608 CPUtime=3451.68 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 1291087 0 0 0 344637 531 0 0 20 0 3 0 187574221 2230620160 522196 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=2178340 memory=11608 CPUtime=0.02 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 132 0 0 0 0 2 0 0 20 0 3 0 187574222 2230620160 522196 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 3451.93 s
Current children cumulated vsize: 2178340 KiB
Current children cumulated memory: 2088784 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.21 4.15 5/265 984037
/proc/meminfo: memFree=123460876/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=2245932 memory=2129240 CPUtime=3511.75 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 1315889 0 0 0 350629 546 0 0 20 0 3 0 187574219 2299834368 532310 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 561483 532310 2990 3032 0 541571 0
[pid=982105/tid=982123] ppid=982097 vsize=2245932 memory=2084452 CPUtime=3511.49 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 1312589 0 0 0 350611 538 0 0 20 0 3 0 187574221 2299834368 532310 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=2245932 memory=5524 CPUtime=0.02 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 132 0 0 0 0 2 0 0 20 0 3 0 187574222 2299834368 532310 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 3511.75 s
Current children cumulated vsize: 2245932 KiB
Current children cumulated memory: 2129240 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.20 4.15 5/265 984048
/proc/meminfo: memFree=123394856/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=2245932 memory=2162152 CPUtime=3571.55 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 1335363 0 0 0 356600 555 0 0 20 0 3 0 187574219 2299834368 540538 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 561483 540538 2990 3032 0 549748 0
[pid=982105/tid=982123] ppid=982097 vsize=2245932 memory=2143088 CPUtime=3571.29 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 1332054 0 0 0 356582 547 0 0 20 0 3 0 187574221 2299834368 540538 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=2245932 memory=2161908 CPUtime=0.03 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 134 0 0 0 0 3 0 0 20 0 3 0 187574222 2299834368 540538 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 3571.55 s
Current children cumulated vsize: 2245932 KiB
Current children cumulated memory: 2162152 KiB
[startup+3602.31 s]
# the end of solver process 982105 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.81 s, system=5.69189 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.13 4.19 4.15 5/265 984048
/proc/meminfo: memFree=123392884/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=2245932 memory=2162720 CPUtime=3573.25 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 1335606 0 0 0 356770 555 0 0 20 0 3 0 187574219 2299834368 540680 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 561483 540680 2990 3032 0 549748 0
[pid=982105/tid=982123] ppid=982097 vsize=2245932 memory=3304 CPUtime=3572.99 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 1332297 0 0 0 356752 547 0 0 20 0 3 0 187574221 2299834368 540680 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=2245932 memory=2272 CPUtime=0.03 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 134 0 0 0 0 3 0 0 20 0 3 0 187574222 2299834368 540680 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 3573.25 s
Current children cumulated vsize: 2245932 KiB
Current children cumulated memory: 2162720 KiB
[startup+3590.4 s]
/proc/loadavg: 4.28 4.22 4.16 6/265 984050
/proc/meminfo: memFree=123387224/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=2245932 memory=2164824 CPUtime=3579.62 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 1337003 0 0 0 357407 555 0 0 20 0 3 0 187574219 2299834368 541206 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 561483 541206 2990 3032 0 550242 0
[pid=982105/tid=982123] ppid=982097 vsize=2245932 memory=0 CPUtime=3579.37 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 1333694 0 0 0 357389 548 0 0 20 0 3 0 187574221 2299834368 541206 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=2245932 memory=2162684 CPUtime=0.03 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 134 0 0 0 0 3 0 0 20 0 3 0 187574222 2299834368 541206 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 3579.62 s
Current children cumulated vsize: 2245932 KiB
Current children cumulated memory: 2164824 KiB
[startup+3596.8 s]
/proc/loadavg: 4.26 4.22 4.16 5/265 984050
/proc/meminfo: memFree=123379856/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=2245932 memory=2168928 CPUtime=3586 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 1338541 0 0 0 358044 556 0 0 20 0 3 0 187574219 2299834368 542232 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 561483 542232 2990 3032 0 551234 0
[pid=982105/tid=982123] ppid=982097 vsize=2245932 memory=2159052 CPUtime=3585.75 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 1335229 0 0 0 358026 549 0 0 20 0 3 0 187574221 2299834368 542232 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=2245932 memory=2163864 CPUtime=0.03 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 136 0 0 0 0 3 0 0 20 0 3 0 187574222 2299834368 542232 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 3586 s
Current children cumulated vsize: 2245932 KiB
Current children cumulated memory: 2168928 KiB
[startup+3600 s]*
/proc/loadavg: 4.24 4.22 4.16 5/265 984051
/proc/meminfo: memFree=123373920/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=2245932 memory=2170464 CPUtime=3589.2 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 1347613 0 0 0 358362 558 0 0 20 0 3 0 187574219 2299834368 542616 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 561483 542616 2990 3032 0 551618 0
[pid=982105/tid=982123] ppid=982097 vsize=2245932 memory=3304 CPUtime=3588.94 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 1344906 0 0 0 358344 550 0 0 20 0 3 0 187574221 2299834368 542616 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=2245932 memory=2272 CPUtime=0.03 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 136 0 0 0 0 3 0 0 20 0 3 0 187574222 2299834368 542616 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 3589.2 s
Current children cumulated vsize: 2245932 KiB
Current children cumulated memory: 2170464 KiB
[startup+3601.6 s]
/proc/loadavg: 4.24 4.22 4.16 6/265 984051
/proc/meminfo: memFree=123443440/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=2221260 memory=2145800 CPUtime=3590.79 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 1487302 0 0 0 358515 564 0 0 20 0 3 0 187574219 2274570240 536450 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 555315 536450 2990 3032 0 545450 0
[pid=982105/tid=982123] ppid=982097 vsize=2221260 memory=2170464 CPUtime=3590.53 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 1483984 0 0 0 358497 556 0 0 20 0 3 0 187574221 2274570240 536450 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=2221260 memory=2170464 CPUtime=0.03 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 136 0 0 0 0 3 0 0 20 0 3 0 187574222 2274570240 536450 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 3590.79 s
Current children cumulated vsize: 2221260 KiB
Current children cumulated memory: 2145800 KiB
[startup+3602 s]*
/proc/loadavg: 4.24 4.22 4.16 5/261 984099
/proc/meminfo: memFree=124720588/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=2086040 memory=2010584 CPUtime=3591.19 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 1493093 0 0 0 358554 565 0 0 20 0 3 0 187574219 2136104960 502646 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 521510 502646 2990 3032 0 511645 0
[pid=982105/tid=982123] ppid=982097 vsize=2085016 memory=2272 CPUtime=3590.93 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 1489775 0 0 0 358536 557 0 0 20 0 3 0 187574221 2135056384 502390 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=2085016 memory=1624 CPUtime=0.03 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 136 0 0 0 0 3 0 0 20 0 3 0 187574222 2135056384 502390 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 3591.19 s
Current children cumulated vsize: 2086040 KiB
Current children cumulated memory: 2010584 KiB
[startup+3602.2 s]
/proc/loadavg: 4.24 4.22 4.16 5/261 984099
/proc/meminfo: memFree=124720588/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=2027988 memory=1952532 CPUtime=3591.38 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 1495520 0 0 0 358573 565 0 0 20 0 3 0 187574219 2076659712 488133 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 506997 488133 2990 3032 0 497132 0
[pid=982105/tid=982123] ppid=982097 vsize=2027988 memory=6720667666186650222 CPUtime=3591.13 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 1492204 0 0 0 358555 558 0 0 20 0 3 0 187574221 2076659712 488133 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=2027988 memory=1656719 CPUtime=0.03 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 136 0 0 0 0 3 0 0 20 0 3 0 187574222 2076659712 488133 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 3591.38 s
Current children cumulated vsize: 2027988 KiB
Current children cumulated memory: 1952532 KiB
[startup+3602.3 s]
/proc/loadavg: 4.24 4.22 4.16 5/261 984099
/proc/meminfo: memFree=124720588/131524600 swapFree=131071996/131071996
[pid=982105] ppid=982097 vsize=1292608 memory=1224544 CPUtime=3591.49 cores=4,6
/proc/982105/stat : 982105 (fscip) S 982097 982105 982041 0 -1 1077936128 1496323 0 0 0 358581 568 0 0 20 0 3 0 187574219 1323630592 306136 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
/proc/982105/statm: 323152 306136 2990 3032 0 318232 0
[pid=982105/tid=982123] ppid=982097 vsize=1292608 memory=2148236 CPUtime=3591.23 cores=4,6
/proc/982105/task/982123/stat : 982123 (fscip) R 982097 982105 982041 0 -1 4194368 1493002 0 0 0 358562 561 0 0 20 0 3 0 187574221 1323630592 306136 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
[pid=982105/tid=982124] ppid=982097 vsize=1292608 memory=2164824 CPUtime=0.03 cores=4,6
/proc/982105/task/982124/stat : 982124 (fscip) S 982097 982105 982041 0 -1 1077936192 136 0 0 0 0 3 0 0 20 0 3 0 187574222 1323630592 306136 134679101440 4194304 16613245 140734292907344 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 47992832 140734292911124 140734292911240 140734292911240 140734292918256 0
Current children cumulated CPU time: 3591.49 s
Current children cumulated vsize: 1292608 KiB
Current children cumulated memory: 1224544 KiB
Child status: 0
Real time (s): 3602.31
CPU time (s): 3591.5
CPU user time (s): 3585.81
CPU system time (s): 5.69189
CPU usage (%): 99.7
Max. virtual memory (cumulated for all children) (KiB): 2245932
Max. memory (cumulated for all children) (KiB): 2170464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.81
system time used= 5.69189
maximum resident set size= 2170464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1496348
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= 10763
involuntary context switches= 4801
# summary of solver processes directly reported to runsolver:
# pid: 982105
# total CPU time (s): 3591.5
# total CPU user time (s): 3585.81
# total CPU system time (s): 5.69189
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.031 second user time and 17.8789 second system time
The end
Begin job on nodeC028 at 2024-07-19 03:54:44
IDJOB=4447460
IDBENCH=158904
IDSOLVER=3064
FILE ID=nodeC028/4447460-1721354072
RUNJOBID= nodeC028-1721354084-982052
SLURM_JOB_ID= 7542773
Free space on /tmp= 890068 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n270-d3-i1-r2.cnf.gz-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-4447460-1721354072/watcher-4447460-1721354072 -o /tmp/evaluation-result-4447460-1721354072/solver-4447460-1721354072 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721354084-982052 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4447460-1721354072.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 851f3387310df6bbd014cd79a7a4e679
RANDOM SEED=641860416
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 : 3816.202
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 : 3819.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 : 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 : 3716.537
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 : 3745.714
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 : 3711.586
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 : 3806.466
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 : 3675.234
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 : 3609.559
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: 129225232 kB
MemAvailable: 129747504 kB
Buffers: 503188 kB
Cached: 860920 kB
SwapCached: 0 kB
Active: 1003160 kB
Inactive: 700728 kB
Active(anon): 1424 kB
Inactive(anon): 376072 kB
Active(file): 1001736 kB
Inactive(file): 324656 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 112624 kB
Writeback: 20 kB
AnonPages: 337052 kB
Mapped: 106280 kB
Shmem: 37720 kB
KReclaimable: 71404 kB
Slab: 178796 kB
SReclaimable: 71404 kB
SUnreclaim: 107392 kB
KernelStack: 3776 kB
PageTables: 9696 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 831112 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 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= 889984 MiB
End job on nodeC028 at 2024-07-19 04:54:47