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 = 24854528, getVmSize() = 24854528, SCIPgetMemUsed() = 2323944, SCIPgetMemTotal() = 3232080, SCIPgetMemExternEstim() = 1227421
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 = 17992362, getVmSize() = 29122560, SCIPgetMemUsed() = 2767007, SCIPgetMemTotal() = 6260079, SCIPgetMemExternEstim() = 1227421
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-4464548-1722385803
0.00/0.01 c Variables : 354 (354 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 944
0.00/0.01 c Objective sense : minimize
0.00/0.01 c Presolved Problem :
0.00/0.01 c Variables : 354 (354 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.01 c Constraints : 944
0.00/0.01 c Constraints : Number
0.00/0.01 c logicor : 944
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.47/5.54 c 6 1249 199 1 - 0.0000 -
10.46/10.58 c 11 4072 3022 1 - 0.0000 -
15.54/15.66 c 16 8353 7303 1 - 0.0000 -
20.63/20.74 c 21 12627 11577 1 - 0.0000 -
25.71/25.82 c 26 16608 15558 1 - 0.0000 -
30.69/30.87 c 31 20821 19768 1 - 0.0000 -
35.77/35.94 c 36 25355 24302 1 - 0.0000 -
40.75/40.99 c 41 30002 28921 1 - 0.0000 -
45.84/46.06 c 46 34320 33239 1 - 0.0000 -
50.93/51.15 c 51 38960 37871 1 - 0.0000 -
56.01/56.21 c 56 43402 42313 1 - 0.0000 -
60.99/61.25 c 61 47784 46689 1 - 0.0000 -
66.07/66.30 c 66 52319 51209 1 - 0.0000 -
71.04/71.36 c 71 56674 55527 1 - 0.0000 -
76.13/76.45 c 76 60962 59803 1 - 0.0000 -
81.21/81.51 c 82 65227 64015 1 - 0.0000 -
86.20/86.56 c 87 69878 68603 1 - 0.0000 -
91.27/91.62 c 92 74469 73111 1 - 0.0000 -
96.36/96.72 c 97 79188 77779 1 - 0.0000 -
101.35/101.77 c 102 83683 82146 1 - 0.0000 -
106.43/106.85 c 107 88344 86722 1 - 0.0000 -
111.51/111.96 c 112 93082 91332 1 - 0.0000 -
116.60/117.00 c 117 97745 95970 1 - 0.0000 -
121.58/122.07 c 122 102065 100225 1 - 0.0000 -
126.66/127.11 c 127 106608 104709 1 - 0.0000 -
131.64/132.16 c 132 111094 109171 1 - 0.0000 -
136.72/137.21 c 137 115681 113690 1 - 0.0000 -
141.80/142.30 c 142 120049 117755 1 - 0.0000 -
146.78/147.38 c 147 124631 122127 1 - 0.0000 -
151.87/152.42 c 152 129204 126563 1 - 0.0000 -
156.85/157.48 c 157 133657 130946 1 - 0.0000 -
161.93/162.55 c 163 138337 135507 1 - 0.0000 -
167.01/167.63 c 168 142824 139881 1 - 0.0000 -
171.99/172.68 c 173 147285 144282 1 - 0.0000 -
177.08/177.74 c 178 151755 148633 1 - 0.0000 -
182.06/182.79 c 183 156201 152973 1 - 0.0000 -
187.14/187.84 c 188 160836 157563 1 - 0.0000 -
192.13/192.89 c 193 165181 161826 1 - 0.0000 -
197.20/197.95 c 198 169661 166155 1 - 0.0000 -
202.30/203.00 c 203 173959 170413 1 - 0.0000 -
207.27/208.08 c 208 178404 174781 1 - 0.0000 -
212.36/213.13 c 213 182627 178972 1 - 0.0000 -
217.44/218.21 c 218 187066 183277 1 - 0.0000 -
222.42/223.27 c 223 191633 187844 1 - 0.0000 -
227.50/228.32 c 228 196306 192517 1 - 0.0000 -
232.48/233.38 c 233 200993 197204 1 - 0.0000 -
237.56/238.44 c 238 205567 201776 1 - 0.0000 -
242.65/243.52 c 244 209646 205794 1 - 0.0000 -
247.63/248.57 c 249 214033 210172 1 - 0.0000 -
252.71/253.63 c 254 218516 214655 1 - 0.0000 -
257.70/258.69 c 259 223230 219340 1 - 0.0000 -
262.78/263.73 c 264 227670 223780 1 - 0.0000 -
267.76/268.79 c 269 232069 228151 1 - 0.0000 -
272.84/273.85 c 274 236324 232394 1 - 0.0000 -
277.93/278.91 c 279 240499 236520 1 - 0.0000 -
282.91/283.97 c 284 244968 240929 1 - 0.0000 -
287.99/289.03 c 289 249366 245296 1 - 0.0000 -
292.98/294.08 c 294 253879 249798 1 - 0.0000 -
298.07/299.15 c 299 258361 254227 1 - 0.0000 -
303.14/304.21 c 304 262947 258813 1 - 0.0000 -
308.13/309.29 c 309 267502 263368 1 - 0.0000 -
313.22/314.37 c 314 272083 267949 1 - 0.0000 -
318.30/319.43 c 319 276725 272591 1 - 0.0000 -
323.28/324.48 c 324 281318 277184 1 - 0.0000 -
328.37/329.53 c 330 285784 281650 1 - 0.0000 -
333.45/334.61 c 335 290225 286091 1 - 0.0000 -
338.44/339.69 c 340 294562 290416 1 - 0.0000 -
343.53/344.75 c 345 299111 294965 1 - 0.0000 -
348.61/349.80 c 350 303755 299609 1 - 0.0000 -
353.60/354.86 c 355 308357 304190 1 - 0.0000 -
358.69/359.93 c 360 312788 308598 1 - 0.0000 -
363.68/364.97 c 365 317163 312951 1 - 0.0000 -
368.76/370.03 c 370 321418 317206 1 - 0.0000 -
373.75/375.09 c 375 325810 321598 1 - 0.0000 -
378.84/380.14 c 380 330215 325992 1 - 0.0000 -
383.92/385.24 c 385 334887 330664 1 - 0.0000 -
389.01/390.32 c 390 339351 335128 1 - 0.0000 -
394.09/395.41 c 395 344145 339922 1 - 0.0000 -
399.08/400.46 c 400 348688 344455 1 - 0.0000 -
404.16/405.50 c 406 353034 348539 1 - 0.0000 -
409.25/410.62 c 411 357646 353139 1 - 0.0000 -
414.23/415.68 c 416 362021 357453 1 - 0.0000 -
419.32/420.74 c 421 366682 362114 1 - 0.0000 -
424.40/425.80 c 426 371157 366454 1 - 0.0000 -
429.39/430.89 c 431 375459 370578 1 - 0.0000 -
434.47/435.95 c 436 379843 374773 1 - 0.0000 -
439.57/441.01 c 441 384628 379387 1 - 0.0000 -
444.56/446.08 c 446 389262 383706 1 - 0.0000 -
449.64/451.16 c 451 393619 387833 1 - 0.0000 -
454.72/456.25 c 456 397940 392136 1 - 0.0000 -
459.81/461.31 c 461 402240 396272 1 - 0.0000 -
464.79/466.38 c 466 406481 400486 1 - 0.0000 -
469.87/471.47 c 471 411003 404910 1 - 0.0000 -
474.97/476.54 c 477 415490 409312 1 - 0.0000 -
480.06/481.60 c 482 419859 413681 1 - 0.0000 -
485.03/486.67 c 487 424380 418202 1 - 0.0000 -
490.13/491.73 c 492 428896 422692 1 - 0.0000 -
495.11/496.80 c 497 433311 427061 1 - 0.0000 -
500.20/501.84 c 502 437667 431228 1 - 0.0000 -
505.18/506.89 c 507 442072 435627 1 - 0.0000 -
510.27/511.94 c 512 446384 439879 1 - 0.0000 -
515.35/517.00 c 517 450606 443965 1 - 0.0000 -
520.34/522.08 c 522 454804 448096 1 - 0.0000 -
525.43/527.12 c 527 459274 452401 1 - 0.0000 -
530.51/532.22 c 532 463765 456800 1 - 0.0000 -
535.49/537.29 c 537 467998 460987 1 - 0.0000 -
540.58/542.33 c 542 472462 465377 1 - 0.0000 -
545.67/547.41 c 547 476976 469832 1 - 0.0000 -
550.65/552.46 c 552 481350 474100 1 - 0.0000 -
555.73/557.54 c 558 485808 478428 1 - 0.0000 -
560.82/562.60 c 563 490073 482565 1 - 0.0000 -
565.81/567.65 c 568 494496 486838 1 - 0.0000 -
570.90/572.71 c 573 498749 490974 1 - 0.0000 -
575.88/577.78 c 578 503272 495430 1 - 0.0000 -
580.97/582.87 c 583 507641 499631 1 - 0.0000 -
586.06/587.93 c 588 512233 504208 1 - 0.0000 -
591.14/593.01 c 593 517088 509063 1 - 0.0000 -
596.13/598.10 c 598 521436 513389 1 - 0.0000 -
601.21/603.14 c 603 525807 517758 1 - 0.0000 -
606.20/608.19 c 608 530366 522271 1 - 0.0000 -
611.28/613.25 c 613 534511 526233 1 - 0.0000 -
616.37/618.30 c 618 538836 530381 1 - 0.0000 -
621.35/623.35 c 623 543188 534599 1 - 0.0000 -
626.44/628.41 c 628 547728 538903 1 - 0.0000 -
631.52/633.51 c 634 552343 543378 1 - 0.0000 -
636.51/638.59 c 639 556982 547931 1 - 0.0000 -
641.60/643.64 c 644 561374 552262 1 - 0.0000 -
646.68/648.70 c 649 565800 556603 1 - 0.0000 -
651.66/653.77 c 654 570409 560923 1 - 0.0000 -
656.75/658.87 c 659 574724 565229 1 - 0.0000 -
661.84/663.93 c 664 579118 569510 1 - 0.0000 -
666.93/669.00 c 669 583419 573786 1 - 0.0000 -
671.91/674.06 c 674 587647 577860 1 - 0.0000 -
677.00/679.12 c 679 591809 581809 1 - 0.0000 -
681.99/684.19 c 684 595833 585773 1 - 0.0000 -
687.07/689.24 c 689 600401 590202 1 - 0.0000 -
692.06/694.29 c 694 604804 594348 1 - 0.0000 -
697.14/699.35 c 699 609221 598706 1 - 0.0000 -
702.22/704.42 c 704 613649 603110 1 - 0.0000 -
707.21/709.48 c 709 618132 607558 1 - 0.0000 -
712.30/714.54 c 715 622307 611591 1 - 0.0000 -
717.39/719.63 c 720 626750 615975 1 - 0.0000 -
722.47/724.73 c 725 631240 620354 1 - 0.0000 -
727.55/729.82 c 730 635960 624992 1 - 0.0000 -
732.64/734.90 c 735 640647 629675 1 - 0.0000 -
737.63/739.96 c 740 644923 633931 1 - 0.0000 -
742.71/745.03 c 745 649360 638354 1 - 0.0000 -
747.70/750.08 c 750 653675 642578 1 - 0.0000 -
752.79/755.14 c 755 658275 647178 1 - 0.0000 -
757.77/760.19 c 760 662945 651813 1 - 0.0000 -
762.85/765.27 c 765 667283 656066 1 - 0.0000 -
767.94/770.37 c 770 671715 660358 1 - 0.0000 -
773.02/775.41 c 775 675862 664230 1 - 0.0000 -
778.01/780.48 c 780 680113 668377 1 - 0.0000 -
783.09/785.56 c 786 684376 672485 1 - 0.0000 -
788.18/790.61 c 791 688655 676726 1 - 0.0000 -
793.16/795.69 c 796 693155 681205 1 - 0.0000 -
798.25/800.77 c 801 697445 685453 1 - 0.0000 -
803.34/805.83 c 806 701770 689725 1 - 0.0000 -
808.33/810.89 c 811 705968 693857 1 - 0.0000 -
813.41/815.95 c 816 710472 698303 1 - 0.0000 -
818.50/821.01 c 821 715026 702771 1 - 0.0000 -
823.48/826.06 c 826 719435 707143 1 - 0.0000 -
828.57/831.14 c 831 723889 711591 1 - 0.0000 -
833.65/836.21 c 836 728471 716135 1 - 0.0000 -
838.64/841.26 c 841 732883 720547 1 - 0.0000 -
843.72/846.31 c 846 737376 725000 1 - 0.0000 -
848.81/851.41 c 851 742045 729663 1 - 0.0000 -
853.80/856.49 c 856 746471 734023 1 - 0.0000 -
858.88/861.53 c 862 750832 738274 1 - 0.0000 -
863.97/866.61 c 867 755139 742356 1 - 0.0000 -
868.95/871.69 c 872 759777 746935 1 - 0.0000 -
874.04/876.76 c 877 764313 751394 1 - 0.0000 -
879.12/881.82 c 882 768971 755989 1 - 0.0000 -
884.11/886.89 c 887 773525 760396 1 - 0.0000 -
889.19/891.94 c 892 777973 764786 1 - 0.0000 -
894.18/896.99 c 897 782604 769414 1 - 0.0000 -
899.27/902.08 c 902 787205 773913 1 - 0.0000 -
904.36/907.13 c 907 791680 778257 1 - 0.0000 -
909.43/912.21 c 912 796341 782900 1 - 0.0000 -
914.42/917.25 c 917 800879 787395 1 - 0.0000 -
919.50/922.33 c 922 805741 792226 1 - 0.0000 -
924.49/927.39 c 927 810655 797140 1 - 0.0000 -
929.57/932.44 c 932 815171 801645 1 - 0.0000 -
934.57/937.49 c 938 819845 806241 1 - 0.0000 -
939.64/942.54 c 943 824392 810770 1 - 0.0000 -
944.73/947.60 c 948 829068 815441 1 - 0.0000 -
949.72/952.65 c 953 833621 819904 1 - 0.0000 -
954.81/957.72 c 958 838451 824652 1 - 0.0000 -
959.79/962.78 c 963 842838 829002 1 - 0.0000 -
964.88/967.83 c 968 847373 833518 1 - 0.0000 -
969.86/972.89 c 973 851860 837930 1 - 0.0000 -
974.95/977.94 c 978 856380 842388 1 - 0.0000 -
979.93/982.99 c 983 860974 846949 1 - 0.0000 -
985.03/988.06 c 988 865650 851621 1 - 0.0000 -
990.10/993.14 c 993 870173 856129 1 - 0.0000 -
995.19/998.21 c 998 874738 860581 1 - 0.0000 -
1000.17/1003.27 c 1003 879185 864949 1 - 0.0000 -
1005.26/1008.35 c 1008 883563 869276 1 - 0.0000 -
1010.35/1013.41 c 1013 888215 873881 1 - 0.0000 -
1015.33/1018.46 c 1018 892741 878347 1 - 0.0000 -
1020.42/1023.51 c 1024 897106 882605 1 - 0.0000 -
1025.40/1028.57 c 1029 901273 886680 1 - 0.0000 -
1030.48/1033.63 c 1034 905369 890635 1 - 0.0000 -
1035.48/1038.69 c 1039 909641 894824 1 - 0.0000 -
1040.56/1043.73 c 1044 914045 899127 1 - 0.0000 -
1045.65/1048.84 c 1049 918504 903539 1 - 0.0000 -
1050.72/1053.90 c 1054 923113 908097 1 - 0.0000 -
1055.72/1058.98 c 1059 927554 912493 1 - 0.0000 -
1060.81/1064.03 c 1064 932116 916985 1 - 0.0000 -
1065.89/1069.10 c 1069 936669 921532 1 - 0.0000 -
1070.87/1074.16 c 1074 941179 926001 1 - 0.0000 -
1075.95/1079.23 c 1079 945393 930179 1 - 0.0000 -
1080.94/1084.29 c 1084 949927 934681 1 - 0.0000 -
1086.03/1089.36 c 1089 954417 939131 1 - 0.0000 -
1091.12/1094.43 c 1094 958833 943504 1 - 0.0000 -
1096.20/1099.50 c 1100 963258 947870 1 - 0.0000 -
1101.19/1104.58 c 1105 967671 952210 1 - 0.0000 -
1106.27/1109.65 c 1110 972375 956865 1 - 0.0000 -
1111.35/1114.71 c 1115 977045 961496 1 - 0.0000 -
1116.34/1119.78 c 1120 981661 966013 1 - 0.0000 -
1121.42/1124.83 c 1125 986301 970587 1 - 0.0000 -
1126.50/1129.91 c 1130 991024 975258 1 - 0.0000 -
1131.49/1134.98 c 1135 995571 979736 1 - 0.0000 -
1136.58/1140.04 c 1140 1000153 984104 1 - 0.0000 -
1141.57/1145.10 c 1145 1004914 988824 1 - 0.0000 -
1146.75/1150.20 c 1150 1009475 993249 1 - 0.0000 -
1151.74/1155.28 c 1155 1014029 997678 1 - 0.0000 -
1156.82/1160.34 c 1160 1018475 1001793 1 - 0.0000 -
1161.91/1165.42 c 1165 1022831 1005994 1 - 0.0000 -
1166.90/1170.46 c 1170 1027466 1010531 1 - 0.0000 -
1171.98/1175.51 c 1176 1031994 1014822 1 - 0.0000 -
1177.07/1180.63 c 1181 1036651 1019141 1 - 0.0000 -
1182.06/1185.67 c 1186 1041089 1023535 1 - 0.0000 -
1187.14/1190.73 c 1191 1046056 1028397 1 - 0.0000 -
1192.13/1195.79 c 1196 1050814 1033094 1 - 0.0000 -
1197.32/1200.90 c 1201 1055391 1037504 1 - 0.0000 -
1202.31/1205.94 c 1206 1059977 1041939 1 - 0.0000 -
1207.39/1211.03 c 1211 1064401 1046270 1 - 0.0000 -
1212.38/1216.08 c 1216 1068790 1050628 1 - 0.0000 -
1217.46/1221.14 c 1221 1073232 1055004 1 - 0.0000 -
1222.54/1226.23 c 1226 1077836 1059432 1 - 0.0000 -
1227.63/1231.31 c 1231 1082411 1063966 1 - 0.0000 -
1232.62/1236.37 c 1236 1087008 1068136 1 - 0.0000 -
1237.71/1241.41 c 1241 1091669 1072683 1 - 0.0000 -
1242.69/1246.48 c 1246 1096385 1077273 1 - 0.0000 -
1247.78/1251.54 c 1252 1100993 1081789 1 - 0.0000 -
1252.86/1256.64 c 1257 1105629 1086342 1 - 0.0000 -
1257.86/1261.68 c 1262 1110294 1090829 1 - 0.0000 -
1262.94/1266.76 c 1267 1114791 1095090 1 - 0.0000 -
1268.03/1271.82 c 1272 1119313 1099400 1 - 0.0000 -
1273.01/1276.89 c 1277 1123776 1103793 1 - 0.0000 -
1278.10/1281.93 c 1282 1128289 1108181 1 - 0.0000 -
1283.19/1287.00 c 1287 1132884 1112662 1 - 0.0000 -
1288.18/1292.06 c 1292 1137296 1116942 1 - 0.0000 -
1293.26/1297.11 c 1297 1141839 1121436 1 - 0.0000 -
1298.35/1302.23 c 1302 1146456 1125843 1 - 0.0000 -
1303.33/1307.29 c 1307 1151117 1130359 1 - 0.0000 -
1308.42/1312.36 c 1312 1155718 1134678 1 - 0.0000 -
1313.51/1317.42 c 1317 1160477 1139390 1 - 0.0000 -
1318.49/1322.49 c 1322 1165051 1143674 1 - 0.0000 -
1323.58/1327.57 c 1328 1169581 1148153 1 - 0.0000 -
1328.66/1332.65 c 1333 1174221 1152660 1 - 0.0000 -
1333.75/1337.71 c 1338 1178753 1157036 1 - 0.0000 -
1338.73/1342.78 c 1343 1183267 1161445 1 - 0.0000 -
1343.83/1347.85 c 1348 1187889 1166000 1 - 0.0000 -
1348.91/1352.93 c 1353 1192438 1170393 1 - 0.0000 -
1354.00/1358.04 c 1358 1197144 1174951 1 - 0.0000 -
1359.09/1363.10 c 1363 1201407 1179183 1 - 0.0000 -
1364.07/1368.19 c 1368 1206035 1183619 1 - 0.0000 -
1369.16/1373.23 c 1373 1210558 1187868 1 - 0.0000 -
1374.25/1378.30 c 1378 1214851 1191945 1 - 0.0000 -
1379.23/1383.35 c 1383 1219377 1196312 1 - 0.0000 -
1384.32/1388.40 c 1388 1223894 1200550 1 - 0.0000 -
1389.31/1393.48 c 1393 1228491 1204948 1 - 0.0000 -
1394.39/1398.55 c 1399 1233186 1209268 1 - 0.0000 -
1399.38/1403.59 c 1404 1237841 1213616 1 - 0.0000 -
1404.47/1408.66 c 1409 1242228 1217880 1 - 0.0000 -
1409.55/1413.72 c 1414 1246641 1222087 1 - 0.0000 -
1414.53/1418.76 c 1419 1251064 1226328 1 - 0.0000 -
1419.63/1423.82 c 1424 1255523 1230542 1 - 0.0000 -
1424.61/1428.88 c 1429 1260225 1235057 1 - 0.0000 -
1429.70/1433.94 c 1434 1264825 1239369 1 - 0.0000 -
1434.69/1438.99 c 1439 1269362 1243672 1 - 0.0000 -
1439.78/1444.04 c 1444 1273843 1247964 1 - 0.0000 -
1444.76/1449.09 c 1449 1278306 1252393 1 - 0.0000 -
1449.85/1454.17 c 1454 1282556 1256331 1 - 0.0000 -
1454.93/1459.23 c 1459 1286977 1260423 1 - 0.0000 -
1459.91/1464.29 c 1464 1291740 1265171 1 - 0.0000 -
1465.00/1469.35 c 1469 1296234 1269618 1 - 0.0000 -
1470.09/1474.40 c 1474 1300766 1274052 1 - 0.0000 -
1475.08/1479.49 c 1480 1305245 1278322 1 - 0.0000 -
1480.16/1484.57 c 1485 1309903 1282968 1 - 0.0000 -
1485.25/1489.62 c 1490 1314541 1287449 1 - 0.0000 -
1490.24/1494.67 c 1495 1319227 1291992 1 - 0.0000 -
1495.33/1499.73 c 1500 1323676 1296388 1 - 0.0000 -
1500.31/1504.78 c 1505 1328260 1300852 1 - 0.0000 -
1505.40/1509.83 c 1510 1332939 1305255 1 - 0.0000 -
1510.38/1514.89 c 1515 1337021 1309073 1 - 0.0000 -
1515.47/1519.99 c 1520 1341711 1313517 1 - 0.0000 -
1520.56/1525.03 c 1525 1346353 1318092 1 - 0.0000 -
1525.55/1530.10 c 1530 1350941 1322537 1 - 0.0000 -
1530.64/1535.16 c 1535 1355425 1326921 1 - 0.0000 -
1535.71/1540.24 c 1540 1359911 1331282 1 - 0.0000 -
1540.80/1545.30 c 1545 1364438 1335592 1 - 0.0000 -
1545.79/1550.34 c 1550 1369029 1339945 1 - 0.0000 -
1550.87/1555.41 c 1555 1373729 1344413 1 - 0.0000 -
1555.87/1560.45 c 1560 1378342 1348717 1 - 0.0000 -
1560.95/1565.51 c 1566 1382836 1353112 1 - 0.0000 -
1565.94/1570.57 c 1571 1387321 1357500 1 - 0.0000 -
1571.03/1575.64 c 1576 1391991 1362050 1 - 0.0000 -
1576.11/1580.70 c 1581 1396507 1366209 1 - 0.0000 -
1581.10/1585.74 c 1586 1400997 1370591 1 - 0.0000 -
1586.18/1590.80 c 1591 1405536 1375037 1 - 0.0000 -
1591.17/1595.85 c 1596 1410194 1379560 1 - 0.0000 -
1596.26/1600.92 c 1601 1414761 1383948 1 - 0.0000 -
1601.25/1605.96 c 1606 1419320 1388436 1 - 0.0000 -
1606.33/1611.05 c 1611 1424131 1393247 1 - 0.0000 -
1611.42/1616.14 c 1616 1428822 1397790 1 - 0.0000 -
1616.50/1621.21 c 1621 1433275 1402068 1 - 0.0000 -
1621.49/1626.29 c 1626 1437791 1406584 1 - 0.0000 -
1626.58/1631.35 c 1631 1442451 1411117 1 - 0.0000 -
1631.57/1636.39 c 1636 1447241 1415744 1 - 0.0000 -
1636.65/1641.48 c 1641 1451705 1419952 1 - 0.0000 -
1641.73/1646.53 c 1647 1456256 1424344 1 - 0.0000 -
1646.72/1651.59 c 1652 1460934 1428793 1 - 0.0000 -
1651.81/1656.64 c 1657 1465566 1433365 1 - 0.0000 -
1656.90/1661.71 c 1662 1470108 1437833 1 - 0.0000 -
1661.89/1666.78 c 1667 1474631 1442287 1 - 0.0000 -
1666.97/1671.84 c 1672 1479316 1446818 1 - 0.0000 -
1672.05/1676.90 c 1677 1483993 1451379 1 - 0.0000 -
1677.05/1681.94 c 1682 1488412 1455684 1 - 0.0000 -
1682.03/1686.99 c 1687 1492851 1460074 1 - 0.0000 -
1687.12/1692.04 c 1692 1497449 1464548 1 - 0.0000 -
1692.11/1697.10 c 1697 1502030 1468985 1 - 0.0000 -
1697.20/1702.14 c 1702 1506792 1473616 1 - 0.0000 -
1702.27/1707.20 c 1707 1511510 1478235 1 - 0.0000 -
1707.26/1712.27 c 1712 1516171 1482890 1 - 0.0000 -
1712.35/1717.31 c 1717 1521046 1487765 1 - 0.0000 -
1717.34/1722.38 c 1722 1525720 1492282 1 - 0.0000 -
1722.43/1727.43 c 1727 1530230 1496711 1 - 0.0000 -
1727.51/1732.51 c 1733 1534899 1501378 1 - 0.0000 -
1732.50/1737.55 c 1738 1539593 1506044 1 - 0.0000 -
1737.58/1742.60 c 1743 1543971 1510378 1 - 0.0000 -
1742.57/1747.68 c 1748 1548667 1515029 1 - 0.0000 -
1747.66/1752.75 c 1753 1553137 1519462 1 - 0.0000 -
1752.74/1757.80 c 1758 1557694 1523963 1 - 0.0000 -
1757.73/1762.89 c 1763 1562431 1528641 1 - 0.0000 -
1762.82/1767.93 c 1768 1567093 1533185 1 - 0.0000 -
1767.90/1773.01 c 1773 1571706 1537781 1 - 0.0000 -
1772.89/1778.09 c 1778 1576236 1542270 1 - 0.0000 -
1777.98/1783.16 c 1783 1580705 1546662 1 - 0.0000 -
1783.06/1788.23 c 1788 1585549 1551453 1 - 0.0000 -
1788.04/1793.30 c 1793 1590061 1555718 1 - 0.0000 -
1793.13/1798.35 c 1798 1594811 1560412 1 - 0.0000 -
1798.22/1803.42 c 1803 1599319 1564890 1 - 0.0000 -
1803.31/1808.50 c 1809 1604300 1569795 1 - 0.0000 -
1808.29/1813.57 c 1814 1609193 1574550 1 - 0.0000 -
1813.38/1818.61 c 1819 1613645 1578785 1 - 0.0000 -
1818.36/1823.68 c 1824 1618351 1583445 1 - 0.0000 -
1823.46/1828.73 c 1829 1622746 1587680 1 - 0.0000 -
1828.44/1833.78 c 1834 1627316 1592176 1 - 0.0000 -
1833.53/1838.87 c 1839 1631737 1596537 1 - 0.0000 -
1838.62/1843.94 c 1844 1636384 1601170 1 - 0.0000 -
1843.70/1849.01 c 1849 1641211 1605922 1 - 0.0000 -
1848.69/1854.10 c 1854 1645739 1610396 1 - 0.0000 -
1853.77/1859.17 c 1859 1650268 1614919 1 - 0.0000 -
1858.86/1864.23 c 1864 1654968 1619566 1 - 0.0000 -
1863.94/1869.30 c 1869 1659543 1624085 1 - 0.0000 -
1868.93/1874.38 c 1874 1664126 1628566 1 - 0.0000 -
1874.01/1879.42 c 1879 1668650 1632940 1 - 0.0000 -
1879.00/1884.48 c 1884 1673258 1637453 1 - 0.0000 -
1884.09/1889.55 c 1890 1677813 1641958 1 - 0.0000 -
1889.18/1894.63 c 1895 1682625 1646642 1 - 0.0000 -
1894.26/1899.72 c 1900 1687258 1651250 1 - 0.0000 -
1899.35/1904.83 c 1905 1691885 1655872 1 - 0.0000 -
1904.34/1909.88 c 1910 1696663 1660646 1 - 0.0000 -
1909.43/1914.98 c 1915 1701085 1664880 1 - 0.0000 -
1914.51/1920.07 c 1920 1705654 1669423 1 - 0.0000 -
1919.61/1925.12 c 1925 1710387 1674110 1 - 0.0000 -
1924.58/1930.19 c 1930 1715051 1678663 1 - 0.0000 -
1929.67/1935.26 c 1935 1719845 1683325 1 - 0.0000 -
1934.76/1940.36 c 1940 1724584 1687998 1 - 0.0000 -
1939.85/1945.43 c 1945 1729207 1692436 1 - 0.0000 -
1944.92/1950.52 c 1951 1733965 1697069 1 - 0.0000 -
1949.91/1955.57 c 1956 1738508 1701387 1 - 0.0000 -
1955.00/1960.63 c 1961 1743108 1705883 1 - 0.0000 -
1959.99/1965.69 c 1966 1747729 1710455 1 - 0.0000 -
1965.17/1970.81 c 1971 1752483 1715032 1 - 0.0000 -
1970.16/1975.85 c 1976 1757229 1719744 1 - 0.0000 -
1975.25/1980.94 c 1981 1761501 1723985 1 - 0.0000 -
1980.24/1985.99 c 1986 1766187 1728602 1 - 0.0000 -
1985.33/1991.07 c 1991 1770893 1733259 1 - 0.0000 -
1990.41/1996.17 c 1996 1775411 1737717 1 - 0.0000 -
1995.49/2001.23 c 2001 1780116 1742202 1 - 0.0000 -
2000.48/2006.28 c 2006 1784912 1746824 1 - 0.0000 -
2005.57/2011.35 c 2011 1789518 1751356 1 - 0.0000 -
2010.65/2016.40 c 2016 1794182 1755985 1 - 0.0000 -
2015.65/2021.47 c 2021 1798902 1760593 1 - 0.0000 -
2020.73/2026.54 c 2027 1803452 1765066 1 - 0.0000 -
2025.82/2031.60 c 2032 1808106 1769627 1 - 0.0000 -
2030.80/2036.65 c 2037 1812716 1773984 1 - 0.0000 -
2035.88/2041.75 c 2042 1817267 1778348 1 - 0.0000 -
2040.97/2046.80 c 2047 1821828 1782750 1 - 0.0000 -
2045.96/2051.88 c 2052 1826503 1787283 1 - 0.0000 -
2051.05/2056.95 c 2057 1831221 1791923 1 - 0.0000 -
2056.14/2062.07 c 2062 1835881 1796566 1 - 0.0000 -
2061.22/2067.11 c 2067 1840518 1801189 1 - 0.0000 -
2066.21/2072.16 c 2072 1845186 1805773 1 - 0.0000 -
2071.30/2077.22 c 2077 1849663 1810109 1 - 0.0000 -
2076.28/2082.29 c 2082 1854549 1814724 1 - 0.0000 -
2081.37/2087.38 c 2087 1859393 1819154 1 - 0.0000 -
2086.46/2092.43 c 2092 1864111 1823832 1 - 0.0000 -
2091.44/2097.49 c 2097 1868786 1828495 1 - 0.0000 -
2096.52/2102.55 c 2103 1873322 1832985 1 - 0.0000 -
2101.61/2107.62 c 2108 1878085 1837720 1 - 0.0000 -
2106.60/2112.68 c 2113 1882672 1842261 1 - 0.0000 -
2111.68/2117.73 c 2118 1887424 1846987 1 - 0.0000 -
2116.67/2122.77 c 2123 1892085 1851644 1 - 0.0000 -
2121.76/2127.86 c 2128 1896803 1856362 1 - 0.0000 -
2126.85/2132.96 c 2133 1901493 1861050 1 - 0.0000 -
2131.94/2138.02 c 2138 1906278 1865835 1 - 0.0000 -
2136.92/2143.06 c 2143 1910888 1870439 1 - 0.0000 -
2142.01/2148.11 c 2148 1915535 1875086 1 - 0.0000 -
2147.00/2153.19 c 2153 1920522 1880073 1 - 0.0000 -
2152.08/2158.25 c 2158 1925512 1885063 1 - 0.0000 -
2157.17/2163.30 c 2163 1930335 1889883 1 - 0.0000 -
2162.15/2168.37 c 2168 1934913 1894455 1 - 0.0000 -
2167.24/2173.44 c 2173 1939616 1899158 1 - 0.0000 -
2172.23/2178.49 c 2178 1944178 1903720 1 - 0.0000 -
2177.31/2183.55 c 2184 1949012 1908554 1 - 0.0000 -
2182.40/2188.61 c 2189 1953594 1913130 1 - 0.0000 -
2187.39/2193.69 c 2194 1958283 1917819 1 - 0.0000 -
2192.48/2198.75 c 2199 1962882 1922406 1 - 0.0000 -
2197.56/2203.81 c 2204 1967402 1926926 1 - 0.0000 -
2202.54/2208.89 c 2209 1972067 1931591 1 - 0.0000 -
2207.63/2213.95 c 2214 1976778 1936302 1 - 0.0000 -
2212.73/2219.03 c 2219 1981471 1940995 1 - 0.0000 -
2217.71/2224.09 c 2224 1985868 1945392 1 - 0.0000 -
2222.80/2229.14 c 2229 1990252 1949776 1 - 0.0000 -
2227.88/2234.20 c 2234 1994725 1954249 1 - 0.0000 -
2232.87/2239.27 c 2239 1999074 1958598 1 - 0.0000 -
2237.95/2244.35 c 2244 2003673 1963197 1 - 0.0000 -
2243.04/2249.41 c 2249 2008093 1967613 1 - 0.0000 -
2248.03/2254.46 c 2254 2012843 1972363 1 - 0.0000 -
2253.12/2259.52 c 2260 2017368 1976888 1 - 0.0000 -
2258.10/2264.57 c 2265 2021853 1981373 1 - 0.0000 -
2263.19/2269.63 c 2270 2026546 1986066 1 - 0.0000 -
2268.17/2274.69 c 2275 2030981 1990495 1 - 0.0000 -
2273.26/2279.73 c 2280 2035459 1994973 1 - 0.0000 -
2278.25/2284.79 c 2285 2040028 1999542 1 - 0.0000 -
2283.34/2289.85 c 2290 2044582 2004093 1 - 0.0000 -
2288.42/2294.90 c 2295 2049159 2008670 1 - 0.0000 -
2293.40/2299.94 c 2300 2053464 2012957 1 - 0.0000 -
2298.39/2304.99 c 2305 2057753 2017246 1 - 0.0000 -
2303.49/2310.09 c 2310 2062429 2021922 1 - 0.0000 -
2308.57/2315.15 c 2315 2066809 2026302 1 - 0.0000 -
2313.56/2320.19 c 2320 2071489 2030982 1 - 0.0000 -
2318.64/2325.25 c 2325 2076057 2035550 1 - 0.0000 -
2323.73/2330.32 c 2330 2080700 2040193 1 - 0.0000 -
2328.71/2335.37 c 2335 2085138 2044619 1 - 0.0000 -
2333.80/2340.46 c 2340 2089423 2048904 1 - 0.0000 -
2338.89/2345.52 c 2346 2093901 2053382 1 - 0.0000 -
2343.87/2350.57 c 2351 2098451 2057932 1 - 0.0000 -
2348.96/2355.63 c 2356 2102829 2062310 1 - 0.0000 -
2353.95/2360.67 c 2361 2107609 2067090 1 - 0.0000 -
2359.03/2365.73 c 2366 2112390 2071865 1 - 0.0000 -
2364.02/2370.79 c 2371 2116906 2076378 1 - 0.0000 -
2369.11/2375.84 c 2376 2121618 2081084 1 - 0.0000 -
2374.19/2380.94 c 2381 2126207 2085673 1 - 0.0000 -
2379.28/2386.00 c 2386 2130554 2090015 1 - 0.0000 -
2384.27/2391.06 c 2391 2135004 2094465 1 - 0.0000 -
2389.36/2396.12 c 2396 2139549 2098995 1 - 0.0000 -
2394.34/2401.19 c 2401 2144181 2103627 1 - 0.0000 -
2399.42/2406.26 c 2406 2148908 2108339 1 - 0.0000 -
2404.51/2411.30 c 2411 2153496 2112917 1 - 0.0000 -
2409.60/2416.41 c 2416 2158155 2117564 1 - 0.0000 -
2414.58/2421.48 c 2421 2162869 2122266 1 - 0.0000 -
2419.67/2426.55 c 2427 2167296 2126678 1 - 0.0000 -
2424.76/2431.62 c 2432 2171634 2131007 1 - 0.0000 -
2429.74/2436.68 c 2437 2176035 2135405 1 - 0.0000 -
2434.83/2441.72 c 2442 2180490 2139837 1 - 0.0000 -
2439.92/2446.81 c 2447 2185045 2144277 1 - 0.0000 -
2444.90/2451.87 c 2452 2189602 2148828 1 - 0.0000 -
2449.99/2456.92 c 2457 2194279 2153467 1 - 0.0000 -
2454.97/2461.96 c 2462 2198774 2157941 1 - 0.0000 -
2460.07/2467.01 c 2467 2203400 2162544 1 - 0.0000 -
2465.06/2472.08 c 2472 2208115 2167172 1 - 0.0000 -
2470.14/2477.14 c 2477 2212714 2171767 1 - 0.0000 -
2475.13/2482.19 c 2482 2217548 2176601 1 - 0.0000 -
2480.20/2487.24 c 2487 2222241 2181211 1 - 0.0000 -
2485.29/2492.36 c 2492 2226833 2185744 1 - 0.0000 -
2490.37/2497.40 c 2497 2231584 2190423 1 - 0.0000 -
2495.46/2502.50 c 2502 2236283 2194829 1 - 0.0000 -
2500.45/2507.55 c 2508 2240709 2199169 1 - 0.0000 -
2505.54/2512.63 c 2513 2245026 2203486 1 - 0.0000 -
2510.53/2517.67 c 2518 2249603 2208057 1 - 0.0000 -
2515.61/2522.78 c 2523 2254014 2212462 1 - 0.0000 -
2520.70/2527.85 c 2528 2258277 2216719 1 - 0.0000 -
2525.79/2532.91 c 2533 2262496 2220938 1 - 0.0000 -
2530.78/2537.99 c 2538 2266911 2225307 1 - 0.0000 -
2535.86/2543.07 c 2543 2271502 2229886 1 - 0.0000 -
2540.95/2548.14 c 2548 2276025 2234355 1 - 0.0000 -
2546.03/2553.24 c 2553 2280247 2238577 1 - 0.0000 -
2551.01/2558.28 c 2558 2284821 2243148 1 - 0.0000 -
2556.10/2563.39 c 2563 2289648 2247892 1 - 0.0000 -
2561.19/2568.44 c 2568 2294230 2252405 1 - 0.0000 -
2566.17/2573.49 c 2573 2298597 2256725 1 - 0.0000 -
2571.27/2578.58 c 2579 2303312 2261431 1 - 0.0000 -
2576.35/2583.62 c 2584 2308010 2266117 1 - 0.0000 -
2581.33/2588.69 c 2589 2312753 2270807 1 - 0.0000 -
2586.43/2593.76 c 2594 2317454 2275383 1 - 0.0000 -
2591.51/2598.80 c 2599 2322019 2279948 1 - 0.0000 -
2596.59/2603.93 c 2604 2326644 2284567 1 - 0.0000 -
2601.58/2608.98 c 2609 2331323 2289164 1 - 0.0000 -
2606.67/2614.06 c 2614 2336122 2293936 1 - 0.0000 -
2611.76/2619.10 c 2619 2340548 2298140 1 - 0.0000 -
2616.74/2624.15 c 2624 2345177 2302727 1 - 0.0000 -
2621.82/2629.23 c 2629 2350080 2307612 1 - 0.0000 -
2626.81/2634.28 c 2634 2355137 2312669 1 - 0.0000 -
2631.90/2639.34 c 2639 2359778 2317278 1 - 0.0000 -
2636.99/2644.42 c 2644 2364529 2321974 1 - 0.0000 -
2641.97/2649.47 c 2649 2369160 2326592 1 - 0.0000 -
2647.06/2654.55 c 2655 2373683 2331103 1 - 0.0000 -
2652.15/2659.61 c 2660 2378293 2335620 1 - 0.0000 -
2657.13/2664.66 c 2665 2382855 2340182 1 - 0.0000 -
2662.22/2669.71 c 2670 2387543 2344817 1 - 0.0000 -
2667.21/2674.76 c 2675 2392135 2349370 1 - 0.0000 -
2672.29/2679.84 c 2680 2396617 2353837 1 - 0.0000 -
2677.38/2684.91 c 2685 2401326 2358506 1 - 0.0000 -
2682.37/2689.99 c 2690 2405896 2363036 1 - 0.0000 -
2687.46/2695.03 c 2695 2410301 2367441 1 - 0.0000 -
2692.44/2700.10 c 2700 2414721 2371824 1 - 0.0000 -
2697.53/2705.17 c 2705 2419377 2376480 1 - 0.0000 -
2702.62/2710.23 c 2710 2423882 2380961 1 - 0.0000 -
2707.70/2715.30 c 2715 2428501 2385565 1 - 0.0000 -
2712.69/2720.36 c 2720 2432961 2389985 1 - 0.0000 -
2717.78/2725.42 c 2725 2437773 2394674 1 - 0.0000 -
2722.86/2730.53 c 2731 2442284 2399153 1 - 0.0000 -
2727.85/2735.57 c 2736 2446887 2403679 1 - 0.0000 -
2732.93/2740.66 c 2741 2451414 2408083 1 - 0.0000 -
2738.02/2745.74 c 2746 2456030 2412640 1 - 0.0000 -
2743.01/2750.79 c 2751 2460447 2416948 1 - 0.0000 -
2748.10/2755.87 c 2756 2464859 2421354 1 - 0.0000 -
2753.18/2760.95 c 2761 2469551 2425968 1 - 0.0000 -
2758.27/2766.02 c 2766 2474051 2430454 1 - 0.0000 -
2763.26/2771.08 c 2771 2478426 2434824 1 - 0.0000 -
2768.35/2776.15 c 2776 2482866 2439170 1 - 0.0000 -
2773.43/2781.21 c 2781 2487682 2443354 1 - 0.0000 -
2778.42/2786.27 c 2786 2492068 2447639 1 - 0.0000 -
2783.51/2791.32 c 2791 2496513 2452073 1 - 0.0000 -
2788.49/2796.38 c 2796 2500941 2456501 1 - 0.0000 -
2793.58/2801.45 c 2801 2505115 2460675 1 - 0.0000 -
2798.67/2806.51 c 2807 2509362 2464896 1 - 0.0000 -
2803.66/2811.59 c 2812 2514321 2469747 1 - 0.0000 -
2808.74/2816.65 c 2817 2519066 2474463 1 - 0.0000 -
2813.83/2821.70 c 2822 2523567 2478885 1 - 0.0000 -
2818.82/2826.76 c 2827 2528231 2483543 1 - 0.0000 -
2823.90/2831.81 c 2832 2532558 2487866 1 - 0.0000 -
2828.89/2836.87 c 2837 2537124 2492432 1 - 0.0000 -
2833.97/2841.94 c 2842 2541647 2496955 1 - 0.0000 -
2839.06/2847.04 c 2847 2546059 2501367 1 - 0.0000 -
2844.15/2852.16 c 2852 2550849 2506123 1 - 0.0000 -
2849.23/2857.22 c 2857 2555333 2510578 1 - 0.0000 -
2854.22/2862.28 c 2862 2559794 2515032 1 - 0.0000 -
2859.31/2867.37 c 2867 2564346 2519563 1 - 0.0000 -
2864.40/2872.42 c 2872 2568744 2523946 1 - 0.0000 -
2869.38/2877.47 c 2877 2573053 2528240 1 - 0.0000 -
2874.47/2882.53 c 2883 2577783 2532941 1 - 0.0000 -
2879.46/2887.58 c 2888 2582707 2537735 1 - 0.0000 -
2884.54/2892.65 c 2893 2587485 2542478 1 - 0.0000 -
2889.63/2897.71 c 2898 2592221 2547193 1 - 0.0000 -
2894.62/2902.75 c 2903 2596811 2551771 1 - 0.0000 -
2899.70/2907.83 c 2908 2601235 2556187 1 - 0.0000 -
2904.79/2912.90 c 2913 2605890 2560816 1 - 0.0000 -
2909.78/2917.95 c 2918 2610459 2565302 1 - 0.0000 -
2914.87/2923.02 c 2923 2615195 2569964 1 - 0.0000 -
2919.86/2928.08 c 2928 2619911 2574666 1 - 0.0000 -
2924.94/2933.13 c 2933 2624575 2578974 1 - 0.0000 -
2930.03/2938.20 c 2938 2628693 2582986 1 - 0.0000 -
2935.01/2943.24 c 2943 2633049 2587171 1 - 0.0000 -
2940.10/2948.30 c 2948 2637453 2591554 1 - 0.0000 -
2945.09/2953.35 c 2953 2641889 2595947 1 - 0.0000 -
2950.17/2958.40 c 2958 2646431 2600472 1 - 0.0000 -
2955.16/2963.46 c 2963 2650908 2604869 1 - 0.0000 -
2960.25/2968.51 c 2969 2655436 2609308 1 - 0.0000 -
2965.24/2973.56 c 2974 2659575 2613441 1 - 0.0000 -
2970.33/2978.62 c 2979 2664124 2617930 1 - 0.0000 -
2975.31/2983.67 c 2984 2668558 2622305 1 - 0.0000 -
2980.39/2988.75 c 2989 2673271 2627006 1 - 0.0000 -
2985.48/2993.80 c 2994 2677846 2631551 1 - 0.0000 -
2990.47/2998.89 c 2999 2682458 2636011 1 - 0.0000 -
2995.55/3003.96 c 3004 2686903 2640396 1 - 0.0000 -
3000.64/3009.02 c 3009 2691157 2644593 1 - 0.0000 -
3005.63/3014.07 c 3014 2695361 2648757 1 - 0.0000 -
3010.72/3019.18 c 3019 2700057 2653453 1 - 0.0000 -
3015.80/3024.26 c 3024 2704429 2657705 1 - 0.0000 -
3020.89/3029.30 c 3029 2708908 2662009 1 - 0.0000 -
3025.88/3034.38 c 3034 2713606 2666592 1 - 0.0000 -
3030.96/3039.42 c 3039 2718299 2671113 1 - 0.0000 -
3035.95/3044.49 c 3044 2723087 2675837 1 - 0.0000 -
3041.04/3049.56 c 3050 2727768 2680484 1 - 0.0000 -
3046.12/3054.64 c 3055 2732501 2685117 1 - 0.0000 -
3051.21/3059.70 c 3060 2737089 2689673 1 - 0.0000 -
3056.19/3064.77 c 3065 2741780 2694322 1 - 0.0000 -
3061.29/3069.84 c 3070 2746155 2698592 1 - 0.0000 -
3066.27/3074.89 c 3075 2750560 2702997 1 - 0.0000 -
3071.36/3079.97 c 3080 2755327 2707734 1 - 0.0000 -
3076.45/3085.04 c 3085 2759903 2712229 1 - 0.0000 -
3081.54/3090.11 c 3090 2764571 2716865 1 - 0.0000 -
3086.53/3095.16 c 3095 2769548 2721842 1 - 0.0000 -
3091.61/3100.21 c 3100 2774160 2726283 1 - 0.0000 -
3096.59/3105.27 c 3105 2778764 2730818 1 - 0.0000 -
3101.68/3110.32 c 3110 2783339 2735349 1 - 0.0000 -
3106.66/3115.39 c 3115 2787731 2739710 1 - 0.0000 -
3111.76/3120.46 c 3120 2792459 2744301 1 - 0.0000 -
3116.84/3125.54 c 3126 2797039 2748871 1 - 0.0000 -
3121.93/3130.61 c 3131 2801416 2753245 1 - 0.0000 -
3126.91/3135.67 c 3136 2806167 2757996 1 - 0.0000 -
3132.00/3140.73 c 3141 2810908 2762737 1 - 0.0000 -
3137.09/3145.82 c 3146 2815762 2767591 1 - 0.0000 -
3142.17/3150.91 c 3151 2820586 2772415 1 - 0.0000 -
3147.16/3155.97 c 3156 2825462 2777291 1 - 0.0000 -
3152.25/3161.07 c 3161 2830178 2782007 1 - 0.0000 -
3157.34/3166.15 c 3166 2834796 2786604 1 - 0.0000 -
3162.33/3171.19 c 3171 2839427 2791146 1 - 0.0000 -
3167.40/3176.25 c 3176 2844046 2795644 1 - 0.0000 -
3172.49/3181.30 c 3181 2848362 2799888 1 - 0.0000 -
3177.49/3186.38 c 3186 2852844 2804367 1 - 0.0000 -
3182.57/3191.46 c 3191 2857257 2808741 1 - 0.0000 -
3187.66/3196.58 c 3197 2861965 2813449 1 - 0.0000 -
3192.74/3201.65 c 3202 2866147 2817631 1 - 0.0000 -
3197.83/3206.77 c 3207 2870799 2822076 1 - 0.0000 -
3202.92/3211.83 c 3212 2875298 2826479 1 - 0.0000 -
3207.90/3216.87 c 3217 2879887 2830945 1 - 0.0000 -
3212.99/3221.97 c 3222 2884575 2835561 1 - 0.0000 -
3218.08/3227.09 c 3227 2889179 2840165 1 - 0.0000 -
3223.17/3232.14 c 3232 2893444 2844426 1 - 0.0000 -
3228.25/3237.20 c 3237 2897801 2848777 1 - 0.0000 -
3233.24/3242.29 c 3242 2902251 2853227 1 - 0.0000 -
3238.32/3247.37 c 3247 2906675 2857642 1 - 0.0000 -
3243.41/3252.42 c 3252 2911237 2862157 1 - 0.0000 -
3248.40/3257.47 c 3257 2915814 2866724 1 - 0.0000 -
3253.49/3262.53 c 3263 2920411 2871301 1 - 0.0000 -
3258.58/3267.61 c 3268 2924979 2875856 1 - 0.0000 -
3263.55/3272.65 c 3273 2929560 2880418 1 - 0.0000 -
3268.65/3277.72 c 3278 2934281 2885111 1 - 0.0000 -
3273.63/3282.79 c 3283 2938767 2889585 1 - 0.0000 -
3278.72/3287.85 c 3288 2943269 2894019 1 - 0.0000 -
3283.81/3292.90 c 3293 2947876 2898564 1 - 0.0000 -
3288.80/3297.98 c 3298 2952419 2903079 1 - 0.0000 -
3293.88/3303.03 c 3303 2956971 2907542 1 - 0.0000 -
3298.97/3308.12 c 3308 2961408 2911911 1 - 0.0000 -
3303.95/3313.18 c 3313 2965773 2916136 1 - 0.0000 -
3309.04/3318.26 c 3318 2970362 2920629 1 - 0.0000 -
3314.13/3323.35 c 3323 2974731 2924948 1 - 0.0000 -
3319.21/3328.40 c 3328 2979462 2929614 1 - 0.0000 -
3324.20/3333.49 c 3333 2984083 2934105 1 - 0.0000 -
3329.28/3338.56 c 3339 2988950 2938966 1 - 0.0000 -
3334.37/3343.64 c 3344 2993737 2943753 1 - 0.0000 -
3339.46/3348.71 c 3349 2998523 2948531 1 - 0.0000 -
3344.45/3353.77 c 3354 3003425 2953433 1 - 0.0000 -
3349.53/3358.83 c 3359 3008174 2958182 1 - 0.0000 -
3354.52/3363.87 c 3364 3012892 2962900 1 - 0.0000 -
3359.61/3368.95 c 3369 3017508 2967516 1 - 0.0000 -
3364.69/3374.00 c 3374 3022090 2972098 1 - 0.0000 -
3369.68/3379.07 c 3379 3026830 2976836 1 - 0.0000 -
3374.76/3384.11 c 3384 3031231 2981229 1 - 0.0000 -
3379.75/3389.17 c 3389 3036022 2986020 1 - 0.0000 -
3384.84/3394.25 c 3394 3040555 2990553 1 - 0.0000 -
3389.92/3399.31 c 3399 3045125 2995123 1 - 0.0000 -
3394.91/3404.36 c 3404 3049933 2999931 1 - 0.0000 -
3400.00/3409.42 c 3409 3054755 3004753 1 - 0.0000 -
3405.08/3414.51 c 3415 3059385 3009304 1 - 0.0000 -
3410.07/3419.55 c 3420 3064055 3013839 1 - 0.0000 -
3415.16/3424.64 c 3425 3068645 3018390 1 - 0.0000 -
3420.25/3429.73 c 3430 3073013 3022746 1 - 0.0000 -
3425.23/3434.78 c 3435 3077539 3027107 1 - 0.0000 -
3430.32/3439.85 c 3440 3082066 3031571 1 - 0.0000 -
3435.31/3444.90 c 3445 3086136 3035522 1 - 0.0000 -
3440.39/3449.98 c 3450 3090733 3040080 1 - 0.0000 -
3445.49/3455.06 c 3455 3095269 3044513 1 - 0.0000 -
3450.58/3460.14 c 3460 3100135 3049322 1 - 0.0000 -
3455.56/3465.19 c 3465 3104886 3054044 1 - 0.0000 -
3460.64/3470.29 c 3470 3109562 3058711 1 - 0.0000 -
3465.73/3475.35 c 3475 3114108 3063160 1 - 0.0000 -
3470.81/3480.41 c 3480 3118471 3067456 1 - 0.0000 -
3475.80/3485.45 c 3485 3122774 3071725 1 - 0.0000 -
3480.88/3490.52 c 3491 3127329 3076226 1 - 0.0000 -
3485.87/3495.57 c 3496 3132115 3080922 1 - 0.0000 -
3490.96/3500.62 c 3501 3136758 3085468 1 - 0.0000 -
3496.05/3505.71 c 3506 3141616 3090081 1 - 0.0000 -
3501.03/3510.76 c 3511 3146061 3094456 1 - 0.0000 -
3506.13/3515.82 c 3516 3150555 3098880 1 - 0.0000 -
3511.11/3520.86 c 3521 3155326 3103606 1 - 0.0000 -
3516.20/3525.94 c 3526 3159783 3107776 1 - 0.0000 -
3521.18/3530.98 c 3531 3164613 3112588 1 - 0.0000 -
3526.28/3536.05 c 3536 3169146 3117090 1 - 0.0000 -
3531.26/3541.09 c 3541 3173336 3121232 1 - 0.0000 -
3536.35/3546.14 c 3546 3177936 3125713 1 - 0.0000 -
3541.43/3551.24 c 3551 3182329 3130048 1 - 0.0000 -
3546.52/3556.32 c 3556 3186717 3134398 1 - 0.0000 -
3551.51/3561.38 c 3561 3191236 3138901 1 - 0.0000 -
3556.59/3566.42 c 3566 3195981 3143640 1 - 0.0000 -
3561.58/3571.48 c 3571 3200707 3148360 1 - 0.0000 -
3566.66/3576.54 c 3577 3205423 3152909 1 - 0.0000 -
3571.75/3581.63 c 3582 3210190 3157672 1 - 0.0000 -
3576.74/3586.68 c 3587 3214964 3162366 1 - 0.0000 -
3581.82/3591.74 c 3592 3219502 3166882 1 - 0.0000 -
3586.91/3596.82 c 3597 3224214 3171580 1 - 0.0000 -
3590.70/3600.65 c SCIP Status : c solving was interrupted [hard time limit reached]
3590.70/3600.65 c Total Time : 3600.6500
3590.70/3600.65 c solving : 3600.6500
3590.70/3600.65 c presolving : 0.0114 (included in solving)
3590.70/3600.65 c B&B Tree :
3590.70/3600.65 c nodes (total) : 1
3590.70/3600.65 c Solution :
3590.70/3600.65 c Solutions found : 0
3590.70/3600.65 c Primal Bound : -
3590.70/3600.65 c Dual Bound : +0.00000000000000e+00
3590.70/3600.65 c Gap : -
3590.70/3600.66 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 (55841 MiB free)
memory of node 1: 64473 MiB (49184 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464548-1722385803/watcher-4464548-1722385803 -o /tmp/evaluation-result-4464548-1722385803/solver-4464548-1722385803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722378597-30071 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464548-1722385803.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=34630, runsolver pid=34627
[startup+0.100089 s]*
/proc/loadavg: 4.10 4.15 4.12 5/269 34633
/proc/meminfo: memFree=107522884/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=112540 memory=33980 CPUtime=0.09 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 6129 0 0 0 9 0 0 0 20 0 3 0 5184916 115240960 8495 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 28135 8495 2950 3035 0 12406 0
[pid=34630/tid=34632] ppid=34627 vsize=112540 memory=4026561586 CPUtime=0.07 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 3613 0 0 0 7 0 0 0 20 0 3 0 5184918 115240960 8495 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=112540 memory=232851243367 CPUtime=0 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184918 115240960 8495 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112540 KiB
Current children cumulated memory: 33980 KiB
[startup+0.205665 s]*
/proc/loadavg: 4.10 4.15 4.12 5/269 34635
/proc/meminfo: memFree=107520916/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=112540 memory=35032 CPUtime=0.2 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 6419 0 0 0 19 1 0 0 20 0 3 0 5184916 115240960 8758 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 28135 8758 2950 3035 0 12406 0
[pid=34630/tid=34632] ppid=34627 vsize=112540 memory=664970838410264707 CPUtime=0.18 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 3903 0 0 0 18 0 0 0 20 0 3 0 5184918 115240960 8758 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=112540 memory=2639 CPUtime=0 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184918 115240960 8758 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112540 KiB
Current children cumulated memory: 35032 KiB
[startup+0.30536 s]*
/proc/loadavg: 4.10 4.15 4.12 5/269 34635
/proc/meminfo: memFree=107515456/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=114212 memory=42952 CPUtime=0.3 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 8378 0 0 0 29 1 0 0 20 0 3 0 5184916 116953088 10738 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 28553 10738 2950 3035 0 14455 0
[pid=34630/tid=34632] ppid=34627 vsize=114212 memory=-5155628007354297221 CPUtime=0.27 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 5862 0 0 0 27 0 0 0 20 0 3 0 5184918 116953088 10738 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=114212 memory=0 CPUtime=0 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184918 116953088 10738 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 114212 KiB
Current children cumulated memory: 42952 KiB
[startup+0.700224 s]
/proc/loadavg: 4.10 4.15 4.12 5/269 34635
/proc/meminfo: memFree=107507588/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=114212 memory=46092 CPUtime=0.69 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 9438 0 0 0 68 1 0 0 20 0 3 0 5184916 116953088 11523 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 28553 11523 2966 3035 0 15153 0
[pid=34630/tid=34632] ppid=34627 vsize=114212 memory=0 CPUtime=0.67 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 6922 0 0 0 66 1 0 0 20 0 3 0 5184918 116953088 11523 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=114212 memory=0 CPUtime=0 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184918 116953088 11523 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 114212 KiB
Current children cumulated memory: 46092 KiB
[startup+1.50021 s]
/proc/loadavg: 4.10 4.15 4.12 5/269 34635
/proc/meminfo: memFree=107503340/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=114212 memory=49436 CPUtime=1.48 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 14318 0 0 0 147 1 0 0 20 0 3 0 5184916 116953088 12359 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 28553 12359 2966 3035 0 16129 0
[pid=34630/tid=34632] ppid=34627 vsize=114212 memory=0 CPUtime=1.47 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 11787 0 0 0 146 1 0 0 20 0 3 0 5184918 116953088 12359 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=114212 memory=0 CPUtime=0 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5184918 116953088 12359 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 114212 KiB
Current children cumulated memory: 49436 KiB
[startup+3.10546 s]
/proc/loadavg: 4.09 4.15 4.12 5/269 34635
/proc/meminfo: memFree=107484600/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=114212 memory=51748 CPUtime=3.09 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 15297 0 0 0 307 2 0 0 20 0 3 0 5184916 116953088 12937 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 28553 12937 2966 3035 0 16353 0
[pid=34630/tid=34632] ppid=34627 vsize=114212 memory=2273 CPUtime=3.06 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 12762 0 0 0 305 1 0 0 20 0 3 0 5184918 116953088 12937 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=114212 memory=0 CPUtime=0 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5184918 116953088 12937 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 114212 KiB
Current children cumulated memory: 51748 KiB
[startup+6.30023 s]
/proc/loadavg: 4.09 4.15 4.12 5/269 34635
/proc/meminfo: memFree=107460192/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=114212 memory=60256 CPUtime=6.27 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 23251 0 0 0 625 2 0 0 20 0 3 0 5184916 116953088 15064 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 28553 15064 3014 3035 0 18608 0
[pid=34630/tid=34632] ppid=34627 vsize=114212 memory=-5155628007354297221 CPUtime=6.26 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 20690 0 0 0 624 2 0 0 20 0 3 0 5184918 116953088 15064 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=114212 memory=60228 CPUtime=0 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 6 0 0 0 0 0 0 0 20 0 3 0 5184918 116953088 15064 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 114212 KiB
Current children cumulated memory: 60256 KiB
[startup+12.7003 s]
/proc/loadavg: 4.16 4.16 4.13 5/269 34636
/proc/meminfo: memFree=107431660/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=115176 memory=61884 CPUtime=12.65 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 31442 0 0 0 1262 3 0 0 20 0 3 0 5184916 117940224 15471 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 28794 15471 3014 3035 0 18849 0
[pid=34630/tid=34632] ppid=34627 vsize=115176 memory=51748 CPUtime=12.64 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 28835 0 0 0 1261 3 0 0 20 0 3 0 5184918 117940224 15471 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=115176 memory=0 CPUtime=0 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 12 0 0 0 0 0 0 0 20 0 3 0 5184918 117940224 15471 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 115176 KiB
Current children cumulated memory: 61884 KiB
[startup+25.5002 s]
/proc/loadavg: 4.13 4.15 4.12 5/271 34640
/proc/meminfo: memFree=106574932/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=118584 memory=67116 CPUtime=25.41 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 43073 0 0 0 2535 6 0 0 20 0 3 0 5184916 121430016 16779 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 29646 16779 3014 3035 0 20233 0
[pid=34630/tid=34632] ppid=34627 vsize=118584 memory=60892 CPUtime=25.39 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 40410 0 0 0 2534 5 0 0 20 0 3 0 5184918 121430016 16779 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=118584 memory=11592 CPUtime=0 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 18 0 0 0 0 0 0 0 20 0 3 0 5184918 121430016 16779 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 118584 KiB
Current children cumulated memory: 67116 KiB
[startup+51.1055 s]
/proc/loadavg: 4.09 4.14 4.12 5/269 34645
/proc/meminfo: memFree=106366924/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=124372 memory=85044 CPUtime=50.93 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 65378 0 0 0 5083 10 0 0 20 0 3 0 5184916 127356928 21261 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 31093 21261 3014 3035 0 24429 0
[pid=34630/tid=34632] ppid=34627 vsize=124372 memory=82544 CPUtime=50.9 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 62635 0 0 0 5081 9 0 0 20 0 3 0 5184918 127356928 21261 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=124372 memory=81348 CPUtime=0 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 3 0 5184918 127356928 21261 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 124372 KiB
Current children cumulated memory: 85044 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.16 4.12 5/266 34936
/proc/meminfo: memFree=107311264/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=201664 memory=121344 CPUtime=101.94 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 97969 0 0 0 10174 20 0 0 20 0 3 0 5184916 206503936 30336 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 50416 30336 3014 3035 0 33719 0
[pid=34630/tid=34632] ppid=34627 vsize=201664 memory=116936 CPUtime=101.91 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 95127 0 0 0 10172 19 0 0 20 0 3 0 5184918 206503936 30336 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=201664 memory=115692 CPUtime=0 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 5184918 206503936 30336 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 201664 KiB
Current children cumulated memory: 121344 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/266 34946
/proc/meminfo: memFree=107219832/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=213836 memory=166968 CPUtime=161.73 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 127808 0 0 0 16143 30 0 0 20 0 3 0 5184916 218968064 41742 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 53459 41742 3014 3035 0 45240 0
[pid=34630/tid=34632] ppid=34627 vsize=213836 memory=138192 CPUtime=161.7 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 124937 0 0 0 16141 29 0 0 20 0 3 0 5184918 218968064 41742 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=213836 memory=11592 CPUtime=0 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 3 0 5184918 218968064 41742 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 213836 KiB
################
# More data... #
################
/proc/34630/statm: 621689 597658 3014 3035 0 603579 0
[pid=34630/tid=34632] ppid=34627 vsize=2486756 memory=0 CPUtime=3392.7 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 1334015 0 0 0 338703 567 0 0 20 0 3 0 5184918 2546438144 597658 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=2486756 memory=2377816 CPUtime=0.02 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 190 0 0 0 1 1 0 0 20 0 3 0 5184918 2546438144 597658 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 2486756 KiB
Current children cumulated memory: 2390632 KiB
[startup+3462.3 s]
/proc/loadavg: 4.48 4.22 4.13 5/264 36570
/proc/meminfo: memFree=118052132/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=2502164 memory=2429864 CPUtime=3452.76 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 1363657 0 0 0 344695 581 0 0 20 0 3 0 5184916 2562215936 607466 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 625541 607466 3014 3035 0 613386 0
[pid=34630/tid=34632] ppid=34627 vsize=2502164 memory=0 CPUtime=3452.54 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 1359654 0 0 0 344677 577 0 0 20 0 3 0 5184918 2562215936 607466 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=2502164 memory=2377816 CPUtime=0.03 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 193 0 0 0 1 2 0 0 20 0 3 0 5184918 2562215936 607466 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 2502164 KiB
Current children cumulated memory: 2429864 KiB
[startup+3522.3 s]
/proc/loadavg: 4.26 4.21 4.13 5/266 36750
/proc/meminfo: memFree=117996892/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=2522696 memory=2474720 CPUtime=3512.6 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 1384976 0 0 0 350671 589 0 0 20 0 3 0 5184916 2583240704 618680 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 630674 618680 3014 3035 0 624088 0
[pid=34630/tid=34632] ppid=34627 vsize=2522696 memory=2445248 CPUtime=3512.38 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 1380953 0 0 0 350653 585 0 0 20 0 3 0 5184918 2583240704 618680 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=2522696 memory=11592 CPUtime=0.03 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 196 0 0 0 1 2 0 0 20 0 3 0 5184918 2583240704 618680 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 3512.6 s
Current children cumulated vsize: 2522696 KiB
Current children cumulated memory: 2474720 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.20 4.13 5/266 36760
/proc/meminfo: memFree=117955180/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=2604668 memory=2513664 CPUtime=3572.45 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 1403317 0 0 0 356647 598 0 0 20 0 3 0 5184916 2667180032 628416 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 651167 628416 3014 3035 0 633847 0
[pid=34630/tid=34632] ppid=34627 vsize=2604668 memory=2490560 CPUtime=3572.21 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 1399274 0 0 0 356628 593 0 0 20 0 3 0 5184918 2667180032 628416 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=2604668 memory=11592 CPUtime=0.03 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 199 0 0 0 1 2 0 0 20 0 3 0 5184918 2667180032 628416 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 2604668 KiB
Current children cumulated memory: 2513664 KiB
[startup+3600.66 s]
# the end of solver process 34630 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3584.56 s, system=6.20963 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.21 4.20 4.13 5/266 36760
/proc/meminfo: memFree=117954068/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=2604668 memory=2514716 CPUtime=3574.15 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 1403669 0 0 0 356817 598 0 0 20 0 3 0 5184916 2667180032 628679 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 651167 628679 3014 3035 0 634088 0
[pid=34630/tid=34632] ppid=34627 vsize=2604668 memory=-7667215107206766716 CPUtime=3573.92 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 1399626 0 0 0 356798 594 0 0 20 0 3 0 5184918 2667180032 628679 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=2604668 memory=-7305866044405742527 CPUtime=0.03 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 199 0 0 0 1 2 0 0 20 0 3 0 5184918 2667180032 628679 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 3574.15 s
Current children cumulated vsize: 2604668 KiB
Current children cumulated memory: 2514716 KiB
[startup+3590.4 s]
/proc/loadavg: 4.19 4.20 4.13 4/259 36768
/proc/meminfo: memFree=118491876/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=2606724 memory=2519060 CPUtime=3580.53 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 1405928 0 0 0 357454 599 0 0 20 0 3 0 5184916 2669285376 629765 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 651681 629765 3014 3035 0 635210 0
[pid=34630/tid=34632] ppid=34627 vsize=2606724 memory=2516260 CPUtime=3580.29 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 1401868 0 0 0 357435 594 0 0 20 0 3 0 5184918 2669285376 629765 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=2606724 memory=11592 CPUtime=0.03 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 200 0 0 0 1 2 0 0 20 0 3 0 5184918 2669285376 629765 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 3580.53 s
Current children cumulated vsize: 2606724 KiB
Current children cumulated memory: 2519060 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.18 4.12 4/257 36793
/proc/meminfo: memFree=118516100/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=2608776 memory=2523800 CPUtime=3586.91 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 1407472 0 0 0 358091 600 0 0 20 0 3 0 5184916 2671386624 630950 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 652194 630950 3014 3035 0 636363 0
[pid=34630/tid=34632] ppid=34627 vsize=2608776 memory=2516260 CPUtime=3586.67 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 1403412 0 0 0 358072 595 0 0 20 0 3 0 5184918 2671386624 630950 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=2608776 memory=11592 CPUtime=0.03 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 200 0 0 0 1 2 0 0 20 0 3 0 5184918 2671386624 630950 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 3586.91 s
Current children cumulated vsize: 2608776 KiB
Current children cumulated memory: 2523800 KiB
[startup+3598.4 s]
/proc/loadavg: 4.01 4.16 4.11 4/257 36793
/proc/meminfo: memFree=118513436/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=2609800 memory=2525228 CPUtime=3588.5 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 1469713 0 0 0 358247 603 0 0 20 0 3 0 5184916 2672435200 631307 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 652450 631307 3014 3035 0 636715 0
[pid=34630/tid=34632] ppid=34627 vsize=2609800 memory=11592 CPUtime=3588.26 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 1465646 0 0 0 358228 598 0 0 20 0 3 0 5184918 2672435200 631307 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=2609800 memory=12852 CPUtime=0.03 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 200 0 0 0 1 2 0 0 20 0 3 0 5184918 2672435200 631307 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 3588.5 s
Current children cumulated vsize: 2609800 KiB
Current children cumulated memory: 2525228 KiB
[startup+3600 s]*
/proc/loadavg: 4.01 4.16 4.11 4/261 36853
/proc/meminfo: memFree=119045736/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=1999600 memory=1915036 CPUtime=3590.11 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 1655627 0 0 0 358395 616 0 0 20 0 3 0 5184916 2047590400 478759 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 499900 478759 3014 3035 0 484165 0
[pid=34630/tid=34632] ppid=34627 vsize=1999600 memory=-7667215107206766716 CPUtime=3589.87 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 1651569 0 0 0 358376 611 0 0 20 0 3 0 5184918 2047590400 478759 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=1999600 memory=2522300 CPUtime=0.03 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 200 0 0 0 1 2 0 0 20 0 3 0 5184918 2047590400 478759 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 3590.11 s
Current children cumulated vsize: 1999600 KiB
Current children cumulated memory: 1915036 KiB
[startup+3600.4 s]
/proc/loadavg: 4.01 4.16 4.11 4/261 36853
/proc/meminfo: memFree=119045736/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=1832264 memory=1747704 CPUtime=3590.5 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 1660895 0 0 0 358433 617 0 0 20 0 3 0 5184916 1876238336 436926 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 458066 436926 3014 3035 0 442331 0
[pid=34630/tid=34632] ppid=34627 vsize=1832264 memory=1997204 CPUtime=3590.26 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 1656828 0 0 0 358414 612 0 0 20 0 3 0 5184918 1876238336 436926 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=1832264 memory=104 CPUtime=0.03 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 200 0 0 0 1 2 0 0 20 0 3 0 5184918 1876238336 436926 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 3590.5 s
Current children cumulated vsize: 1832264 KiB
Current children cumulated memory: 1747704 KiB
[startup+3600.6 s]
/proc/loadavg: 4.01 4.16 4.11 4/261 36853
/proc/meminfo: memFree=119045736/131524600 swapFree=131071996/131071996
[pid=34630] ppid=34627 vsize=1762556 memory=1677996 CPUtime=3590.7 cores=4,6
/proc/34630/stat : 34630 (fscip) S 34627 34630 30060 0 -1 1077936128 1661919 0 0 0 358453 617 0 0 20 0 3 0 5184916 1804857344 419499 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
/proc/34630/statm: 440639 419499 3014 3035 0 424904 0
[pid=34630/tid=34632] ppid=34627 vsize=1762556 memory=20628 CPUtime=3590.47 cores=4,6
/proc/34630/task/34632/stat : 34632 (fscip) R 34627 34630 30060 0 -1 4194368 1657852 0 0 0 358434 613 0 0 20 0 3 0 5184918 1804857344 419499 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
[pid=34630/tid=34633] ppid=34627 vsize=1762556 memory=5488 CPUtime=0.03 cores=4,6
/proc/34630/task/34633/stat : 34633 (fscip) S 34627 34630 30060 0 -1 1077936192 200 0 0 0 1 2 0 0 20 0 3 0 5184918 1804857344 419499 134679101440 4194304 16623229 140732029396496 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 45432832 140732029400086 140732029400202 140732029400202 140732029407216 0
Current children cumulated CPU time: 3590.7 s
Current children cumulated vsize: 1762556 KiB
Current children cumulated memory: 1677996 KiB
Child status: 0
Real time (s): 3600.66
CPU time (s): 3590.77
CPU user time (s): 3584.56
CPU system time (s): 6.20963
CPU usage (%): 99.7253
Max. virtual memory (cumulated for all children) (KiB): 2609800
Max. memory (cumulated for all children) (KiB): 2525228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.56
system time used= 6.20963
maximum resident set size= 2525228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1662283
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= 10851
involuntary context switches= 4738
# summary of solver processes directly reported to runsolver:
# pid: 34630
# total CPU time (s): 3590.77
# total CPU user time (s): 3584.56
# total CPU system time (s): 6.20963
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90145 second user time and 16.3673 second system time
The end
Begin job on nodeC035 at 2024-07-31 02:30:03
IDJOB=4464548
IDBENCH=160323
IDSOLVER=3092
FILE ID=nodeC035/4464548-1722385803
RUNJOBID= nodeC035-1722378597-30071
SLURM_JOB_ID= 8249858
Free space on /tmp= 889892 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n236-d3-i2-f.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-4464548-1722385803/watcher-4464548-1722385803 -o /tmp/evaluation-result-4464548-1722385803/solver-4464548-1722385803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1722378597-30071 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464548-1722385803.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= b320e8df0d5fbea72b736842c910ba4c
RANDOM SEED=1435106538
nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3672.188
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.887
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.667
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3683.967
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.505
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3684.004
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3664.284
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7000.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.530
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 107548448 kB
MemAvailable: 115688864 kB
Buffers: 97296 kB
Cached: 8836544 kB
SwapCached: 0 kB
Active: 369524 kB
Inactive: 23011260 kB
Active(anon): 1548 kB
Inactive(anon): 14466724 kB
Active(file): 367976 kB
Inactive(file): 8544536 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 88172 kB
Writeback: 12 kB
AnonPages: 14443208 kB
Mapped: 123872 kB
Shmem: 21336 kB
KReclaimable: 135456 kB
Slab: 226204 kB
SReclaimable: 135456 kB
SUnreclaim: 90748 kB
KernelStack: 4292 kB
PageTables: 38300 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 10090796 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 10144 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5830656 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 254676 kB
DirectMap2M: 7907328 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 889992 MiB
End job on nodeC035 at 2024-07-31 03:30:04