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.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 29970432, getVmSize() = 29970432, SCIPgetMemUsed() = 6349052, SCIPgetMemTotal() = 8054892, SCIPgetMemExternEstim() = 4324956
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.09 c ** Estimated virtualMemUsedAtSolver = 23400448, getVmSize() = 40230912, SCIPgetMemUsed() = 11545340, SCIPgetMemTotal() = 17334932, SCIPgetMemExternEstim() = 4324956
0.00/0.09 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.09 c Original Problem :
0.00/0.09 c Problem name : instance-4464510-1722385808
0.00/0.09 c Variables : 901 (901 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.09 c Constraints : 3602
0.00/0.09 c Objective sense : minimize
0.00/0.09 c Presolved Problem :
0.00/0.09 c Variables : 900 (900 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.09 c Constraints : 1800
0.00/0.09 c Constraints : Number
0.00/0.09 c linear : 1800
0.00/0.09 c ** Instance transfer method used: 0
0.00/0.10 c ** ParaScipInstance copy does not increase the number of variables. **
0.11/0.11 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.11/0.11 c Nodes Active
0.11/0.11 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.08/5.16 c 5 363 332 1 - 0.0000 -
10.15/10.21 c 10 4616 4202 1 - 0.0000 -
15.44/15.52 c 16 9160 8296 1 - 0.0000 -
20.42/20.59 c 21 13145 11898 1 - 0.0000 -
25.50/25.65 c 26 17677 15913 1 - 0.0000 -
30.59/30.70 c 31 21851 19682 1 - 0.0000 -
35.57/35.75 c 36 26172 23598 1 - 0.0000 -
40.65/40.80 c 41 30785 27704 1 - 0.0000 -
45.63/45.85 c 46 35330 31652 1 - 0.0000 -
50.71/50.91 c 51 40103 35769 1 - 0.0000 -
55.70/55.96 c 56 44503 39747 1 - 0.0000 -
60.78/61.01 c 61 49308 43927 1 - 0.0000 -
65.76/66.08 c 66 54202 48206 1 - 0.0000 -
70.84/71.12 c 71 59197 52525 1 - 0.0000 -
75.83/76.18 c 76 64219 56889 1 - 0.0000 -
80.89/81.23 c 81 68973 61080 1 - 0.0000 -
85.98/86.30 c 86 73867 65412 1 - 0.0000 -
90.96/91.36 c 91 78992 69838 1 - 0.0000 -
96.04/96.42 c 96 84082 74255 1 - 0.0000 -
101.02/101.47 c 101 89235 78814 1 - 0.0000 -
106.11/106.52 c 107 94263 83235 1 - 0.0000 -
111.09/111.57 c 112 99376 87553 1 - 0.0000 -
116.17/116.62 c 117 103982 91530 1 - 0.0000 -
121.16/121.67 c 122 108991 95892 1 - 0.0000 -
126.24/126.72 c 127 113864 99990 1 - 0.0000 -
131.22/131.78 c 132 118882 104344 1 - 0.0000 -
136.30/136.82 c 137 124092 108742 1 - 0.0000 -
141.29/141.87 c 142 129105 113175 1 - 0.0000 -
146.36/146.92 c 147 134231 117670 1 - 0.0000 -
151.35/151.99 c 152 139355 122010 1 - 0.0000 -
156.43/157.05 c 157 144426 126303 1 - 0.0000 -
161.43/162.10 c 162 149512 130724 1 - 0.0000 -
166.50/167.15 c 167 154597 135195 1 - 0.0000 -
171.58/172.20 c 172 159765 139581 1 - 0.0000 -
176.55/177.25 c 177 164986 143949 1 - 0.0000 -
181.64/182.31 c 182 170133 148149 1 - 0.0000 -
186.63/187.36 c 187 175297 152486 1 - 0.0000 -
191.70/192.43 c 192 180430 156907 1 - 0.0000 -
196.68/197.48 c 197 185657 161419 1 - 0.0000 -
201.77/202.53 c 203 190825 165608 1 - 0.0000 -
206.75/207.58 c 208 195964 170040 1 - 0.0000 -
211.84/212.63 c 213 201624 174703 1 - 0.0000 -
216.82/217.68 c 218 207210 179376 1 - 0.0000 -
221.90/222.73 c 223 212750 184107 1 - 0.0000 -
226.89/227.78 c 228 218191 188578 1 - 0.0000 -
231.97/232.83 c 233 223672 193284 1 - 0.0000 -
236.95/237.88 c 238 229131 197830 1 - 0.0000 -
242.03/242.94 c 243 234832 202425 1 - 0.0000 -
247.01/247.99 c 248 240282 207088 1 - 0.0000 -
252.09/253.06 c 253 245733 211626 1 - 0.0000 -
257.08/258.10 c 258 251271 216232 1 - 0.0000 -
262.16/263.15 c 263 256721 220911 1 - 0.0000 -
267.23/268.20 c 268 262199 225489 1 - 0.0000 -
272.21/273.25 c 273 267887 230062 1 - 0.0000 -
277.29/278.30 c 278 273349 234573 1 - 0.0000 -
282.28/283.35 c 283 279019 239175 1 - 0.0000 -
287.36/288.40 c 288 284562 243777 1 - 0.0000 -
292.35/293.45 c 293 290112 248425 1 - 0.0000 -
297.42/298.52 c 299 295582 253012 1 - 0.0000 -
302.41/303.58 c 304 300883 257532 1 - 0.0000 -
307.49/308.63 c 309 306430 262272 1 - 0.0000 -
312.47/313.68 c 314 312079 267055 1 - 0.0000 -
317.55/318.74 c 319 317523 271793 1 - 0.0000 -
322.54/323.79 c 324 323084 276431 1 - 0.0000 -
327.61/328.84 c 329 328300 280825 1 - 0.0000 -
332.60/333.89 c 334 333452 285241 1 - 0.0000 -
337.68/338.94 c 339 338789 289757 1 - 0.0000 -
342.66/343.99 c 344 343989 294125 1 - 0.0000 -
347.75/349.04 c 349 348981 298615 1 - 0.0000 -
352.73/354.09 c 354 354078 302868 1 - 0.0000 -
357.82/359.14 c 359 359073 307119 1 - 0.0000 -
362.80/364.19 c 364 364547 311601 1 - 0.0000 -
367.86/369.24 c 369 369773 315980 1 - 0.0000 -
372.85/374.29 c 374 374912 320520 1 - 0.0000 -
377.93/379.35 c 379 380239 325156 1 - 0.0000 -
383.02/384.41 c 384 385456 329692 1 - 0.0000 -
387.99/389.47 c 389 390443 333983 1 - 0.0000 -
393.08/394.52 c 395 395670 338399 1 - 0.0000 -
398.07/399.59 c 400 401097 342844 1 - 0.0000 -
403.15/404.63 c 405 406550 347281 1 - 0.0000 -
408.13/409.68 c 410 411669 351644 1 - 0.0000 -
413.21/414.73 c 415 416872 356055 1 - 0.0000 -
418.19/419.78 c 420 422167 360342 1 - 0.0000 -
423.27/424.83 c 425 427649 364832 1 - 0.0000 -
428.25/429.88 c 430 433201 369411 1 - 0.0000 -
433.34/434.93 c 435 438314 373740 1 - 0.0000 -
438.32/439.98 c 440 443618 378087 1 - 0.0000 -
443.42/445.03 c 445 448948 382416 1 - 0.0000 -
448.40/450.08 c 450 454308 386705 1 - 0.0000 -
453.47/455.13 c 455 459511 390990 1 - 0.0000 -
458.44/460.18 c 460 464988 395331 1 - 0.0000 -
463.52/465.23 c 465 470143 399552 1 - 0.0000 -
468.49/470.28 c 470 475495 403814 1 - 0.0000 -
473.56/475.33 c 475 480811 408212 1 - 0.0000 -
478.54/480.38 c 480 486090 412624 1 - 0.0000 -
483.62/485.43 c 485 491616 417094 1 - 0.0000 -
488.59/490.48 c 490 496942 421476 1 - 0.0000 -
493.67/495.55 c 496 502043 425791 1 - 0.0000 -
498.74/500.61 c 501 507199 430100 1 - 0.0000 -
503.72/505.66 c 506 512703 434528 1 - 0.0000 -
508.79/510.71 c 511 517865 438898 1 - 0.0000 -
513.77/515.76 c 516 522964 443162 1 - 0.0000 -
518.85/520.81 c 521 528409 447551 1 - 0.0000 -
523.82/525.86 c 526 533923 452114 1 - 0.0000 -
528.91/530.91 c 531 539652 456837 1 - 0.0000 -
533.88/535.96 c 536 544893 461196 1 - 0.0000 -
538.97/541.01 c 541 550651 465931 1 - 0.0000 -
543.95/546.06 c 546 556048 470533 1 - 0.0000 -
548.93/551.11 c 551 561640 475004 1 - 0.0000 -
554.01/556.16 c 556 567385 479595 1 - 0.0000 -
559.08/561.21 c 561 573037 484205 1 - 0.0000 -
564.07/566.26 c 566 578728 488698 1 - 0.0000 -
569.15/571.32 c 571 584828 493443 1 - 0.0000 -
574.13/576.37 c 576 590591 498327 1 - 0.0000 -
579.21/581.42 c 581 596179 502913 1 - 0.0000 -
584.19/586.49 c 586 601884 507545 1 - 0.0000 -
589.28/591.54 c 592 607477 512007 1 - 0.0000 -
594.27/596.59 c 597 612865 516510 1 - 0.0000 -
599.35/601.65 c 602 617886 520571 1 - 0.0000 -
604.33/606.69 c 607 622979 524884 1 - 0.0000 -
609.41/611.76 c 612 628134 529194 1 - 0.0000 -
614.49/616.82 c 617 633201 533496 1 - 0.0000 -
619.46/621.88 c 622 638339 537838 1 - 0.0000 -
624.54/626.93 c 627 643490 542257 1 - 0.0000 -
629.50/631.98 c 632 648513 546203 1 - 0.0000 -
634.59/637.05 c 637 653645 550482 1 - 0.0000 -
639.57/642.10 c 642 658961 554707 1 - 0.0000 -
644.65/647.16 c 647 664382 559266 1 - 0.0000 -
649.72/652.21 c 652 669903 563564 1 - 0.0000 -
654.69/657.26 c 657 675101 567823 1 - 0.0000 -
659.77/662.31 c 662 680116 572119 1 - 0.0000 -
664.74/667.36 c 667 685345 576326 1 - 0.0000 -
669.81/672.41 c 672 690622 580911 1 - 0.0000 -
674.79/677.46 c 677 695925 585350 1 - 0.0000 -
679.86/682.51 c 683 701081 589628 1 - 0.0000 -
684.84/687.57 c 688 706057 593666 1 - 0.0000 -
689.92/692.62 c 693 711255 598077 1 - 0.0000 -
694.89/697.67 c 698 716516 602512 1 - 0.0000 -
699.97/702.72 c 703 721687 606719 1 - 0.0000 -
704.94/707.77 c 708 726748 610887 1 - 0.0000 -
710.02/712.82 c 713 731811 615090 1 - 0.0000 -
715.00/717.87 c 718 736920 619332 1 - 0.0000 -
720.08/722.95 c 723 741737 623399 1 - 0.0000 -
725.05/728.01 c 728 746888 627549 1 - 0.0000 -
730.13/733.05 c 733 751977 631823 1 - 0.0000 -
735.11/738.10 c 738 757127 636186 1 - 0.0000 -
740.20/743.15 c 743 762165 640177 1 - 0.0000 -
745.26/748.20 c 748 767530 644367 1 - 0.0000 -
750.24/753.25 c 753 772898 648647 1 - 0.0000 -
755.33/758.30 c 758 778026 652639 1 - 0.0000 -
760.32/763.35 c 763 783427 656898 1 - 0.0000 -
765.40/768.40 c 768 788529 661144 1 - 0.0000 -
770.38/773.46 c 773 793663 665414 1 - 0.0000 -
775.46/778.51 c 779 799014 669816 1 - 0.0000 -
780.44/783.56 c 784 804318 674313 1 - 0.0000 -
785.52/788.62 c 789 809755 678879 1 - 0.0000 -
790.51/793.68 c 794 814964 683311 1 - 0.0000 -
795.59/798.73 c 799 820285 687516 1 - 0.0000 -
800.57/803.78 c 804 825785 691969 1 - 0.0000 -
805.66/808.84 c 809 830797 696188 1 - 0.0000 -
810.64/813.89 c 814 836259 700709 1 - 0.0000 -
815.72/818.94 c 819 841549 705125 1 - 0.0000 -
820.71/823.99 c 824 846629 709117 1 - 0.0000 -
825.79/829.04 c 829 851786 713465 1 - 0.0000 -
830.78/834.09 c 834 857032 717789 1 - 0.0000 -
835.86/839.14 c 839 862216 721948 1 - 0.0000 -
840.84/844.19 c 844 867500 726213 1 - 0.0000 -
845.92/849.26 c 849 872714 730552 1 - 0.0000 -
851.00/854.31 c 854 877878 735045 1 - 0.0000 -
855.98/859.37 c 859 882990 739159 1 - 0.0000 -
861.06/864.43 c 864 888009 743389 1 - 0.0000 -
866.13/869.50 c 870 893303 747939 1 - 0.0000 -
871.12/874.55 c 875 898506 752380 1 - 0.0000 -
876.20/879.60 c 880 903983 757021 1 - 0.0000 -
881.19/884.66 c 885 909620 761589 1 - 0.0000 -
886.27/889.71 c 890 914936 766056 1 - 0.0000 -
891.25/894.76 c 895 920331 770402 1 - 0.0000 -
896.33/899.81 c 900 925680 774678 1 - 0.0000 -
901.31/904.86 c 905 931266 779374 1 - 0.0000 -
906.40/909.91 c 910 936411 783619 1 - 0.0000 -
911.38/914.98 c 915 941689 787979 1 - 0.0000 -
916.45/920.03 c 920 947128 792416 1 - 0.0000 -
921.44/925.08 c 925 952555 796869 1 - 0.0000 -
926.52/930.13 c 930 958015 801470 1 - 0.0000 -
931.50/935.18 c 935 963419 806054 1 - 0.0000 -
936.58/940.23 c 940 968731 810618 1 - 0.0000 -
941.56/945.28 c 945 974002 814898 1 - 0.0000 -
946.64/950.33 c 950 979611 819312 1 - 0.0000 -
951.63/955.38 c 955 984850 823612 1 - 0.0000 -
956.71/960.43 c 960 990126 828049 1 - 0.0000 -
961.69/965.48 c 965 995826 832709 1 - 0.0000 -
966.77/970.53 c 971 1001452 837146 1 - 0.0000 -
971.76/975.58 c 976 1006693 841363 1 - 0.0000 -
976.84/980.63 c 981 1012170 845912 1 - 0.0000 -
981.82/985.68 c 986 1018026 850504 1 - 0.0000 -
986.90/990.73 c 991 1023516 854960 1 - 0.0000 -
991.89/995.78 c 996 1028851 859476 1 - 0.0000 -
996.97/1000.83 c 1001 1034265 864011 1 - 0.0000 -
1001.95/1005.88 c 1006 1039626 868558 1 - 0.0000 -
1007.03/1010.95 c 1011 1044856 873044 1 - 0.0000 -
1012.01/1016.01 c 1016 1050119 877672 1 - 0.0000 -
1017.10/1021.05 c 1021 1055331 882137 1 - 0.0000 -
1022.09/1026.10 c 1026 1060949 886563 1 - 0.0000 -
1027.16/1031.15 c 1031 1066489 891076 1 - 0.0000 -
1032.24/1036.20 c 1036 1072013 895489 1 - 0.0000 -
1037.22/1041.25 c 1041 1077672 900032 1 - 0.0000 -
1042.30/1046.30 c 1046 1083107 904473 1 - 0.0000 -
1047.29/1051.35 c 1051 1088723 908993 1 - 0.0000 -
1052.36/1056.40 c 1056 1094366 913733 1 - 0.0000 -
1057.34/1061.45 c 1061 1099751 918214 1 - 0.0000 -
1062.42/1066.50 c 1066 1105378 922826 1 - 0.0000 -
1067.41/1071.56 c 1072 1110769 927511 1 - 0.0000 -
1072.49/1076.61 c 1077 1116384 932107 1 - 0.0000 -
1077.47/1081.66 c 1082 1121857 936555 1 - 0.0000 -
1082.55/1086.71 c 1087 1127394 941092 1 - 0.0000 -
1087.54/1091.76 c 1092 1133069 945875 1 - 0.0000 -
1092.62/1096.81 c 1097 1138587 950548 1 - 0.0000 -
1097.60/1101.86 c 1102 1144247 955273 1 - 0.0000 -
1102.69/1106.91 c 1107 1149717 960050 1 - 0.0000 -
1107.67/1111.97 c 1112 1155304 964714 1 - 0.0000 -
1112.75/1117.02 c 1117 1160780 969162 1 - 0.0000 -
1117.73/1122.07 c 1122 1166159 973644 1 - 0.0000 -
1122.82/1127.12 c 1127 1171984 978409 1 - 0.0000 -
1127.80/1132.17 c 1132 1177760 983015 1 - 0.0000 -
1132.86/1137.22 c 1137 1183100 987543 1 - 0.0000 -
1137.85/1142.27 c 1142 1188721 992176 1 - 0.0000 -
1142.93/1147.32 c 1147 1194138 996874 1 - 0.0000 -
1147.92/1152.37 c 1152 1199669 1001494 1 - 0.0000 -
1153.00/1157.42 c 1157 1205185 1006087 1 - 0.0000 -
1157.99/1162.47 c 1162 1210910 1010969 1 - 0.0000 -
1163.05/1167.52 c 1168 1216269 1015516 1 - 0.0000 -
1168.05/1172.57 c 1173 1221698 1020113 1 - 0.0000 -
1173.12/1177.62 c 1178 1227295 1024663 1 - 0.0000 -
1178.11/1182.67 c 1183 1232535 1029074 1 - 0.0000 -
1183.19/1187.72 c 1188 1238327 1033851 1 - 0.0000 -
1188.17/1192.77 c 1193 1243561 1038226 1 - 0.0000 -
1193.25/1197.82 c 1198 1249158 1042915 1 - 0.0000 -
1198.24/1202.87 c 1203 1254582 1047430 1 - 0.0000 -
1203.32/1207.92 c 1208 1260154 1052003 1 - 0.0000 -
1208.31/1212.97 c 1213 1265935 1056724 1 - 0.0000 -
1213.40/1218.02 c 1218 1270921 1061036 1 - 0.0000 -
1218.38/1223.08 c 1223 1276518 1065790 1 - 0.0000 -
1223.46/1228.13 c 1228 1282048 1070258 1 - 0.0000 -
1228.45/1233.18 c 1233 1287460 1074879 1 - 0.0000 -
1233.51/1238.23 c 1238 1292860 1079638 1 - 0.0000 -
1238.50/1243.29 c 1243 1298608 1084482 1 - 0.0000 -
1243.58/1248.34 c 1248 1303820 1088902 1 - 0.0000 -
1248.57/1253.39 c 1253 1309300 1093454 1 - 0.0000 -
1253.65/1258.44 c 1258 1314699 1097995 1 - 0.0000 -
1258.63/1263.49 c 1263 1320582 1102789 1 - 0.0000 -
1263.72/1268.55 c 1269 1326271 1107399 1 - 0.0000 -
1268.79/1273.60 c 1274 1331547 1112030 1 - 0.0000 -
1273.78/1278.65 c 1279 1336991 1116614 1 - 0.0000 -
1278.87/1283.70 c 1284 1342779 1121361 1 - 0.0000 -
1283.85/1288.75 c 1289 1348075 1125661 1 - 0.0000 -
1288.93/1293.80 c 1294 1353482 1130448 1 - 0.0000 -
1293.90/1298.85 c 1299 1358953 1135142 1 - 0.0000 -
1298.99/1303.90 c 1304 1364141 1139649 1 - 0.0000 -
1303.98/1308.95 c 1309 1369660 1144387 1 - 0.0000 -
1308.96/1314.01 c 1314 1374982 1148859 1 - 0.0000 -
1314.04/1319.05 c 1319 1380274 1153411 1 - 0.0000 -
1319.02/1324.10 c 1324 1385976 1158030 1 - 0.0000 -
1324.11/1329.15 c 1329 1391251 1162392 1 - 0.0000 -
1329.18/1334.20 c 1334 1396753 1166914 1 - 0.0000 -
1334.16/1339.25 c 1339 1402256 1171429 1 - 0.0000 -
1339.24/1344.30 c 1344 1407498 1175968 1 - 0.0000 -
1344.23/1349.35 c 1349 1412921 1180476 1 - 0.0000 -
1349.31/1354.40 c 1354 1418293 1185062 1 - 0.0000 -
1354.28/1359.45 c 1359 1423717 1189366 1 - 0.0000 -
1359.37/1364.50 c 1364 1429379 1194089 1 - 0.0000 -
1364.35/1369.55 c 1370 1434999 1198834 1 - 0.0000 -
1369.43/1374.60 c 1375 1440621 1203445 1 - 0.0000 -
1374.42/1379.65 c 1380 1446304 1208116 1 - 0.0000 -
1379.50/1384.70 c 1385 1451638 1212798 1 - 0.0000 -
1384.48/1389.75 c 1390 1457042 1217407 1 - 0.0000 -
1389.56/1394.80 c 1395 1462542 1222167 1 - 0.0000 -
1394.55/1399.85 c 1400 1468226 1226942 1 - 0.0000 -
1399.63/1404.90 c 1405 1473818 1231553 1 - 0.0000 -
1404.61/1409.95 c 1410 1479333 1236263 1 - 0.0000 -
1409.70/1415.02 c 1415 1484352 1240699 1 - 0.0000 -
1414.68/1420.07 c 1420 1490133 1245518 1 - 0.0000 -
1419.76/1425.12 c 1425 1495750 1250127 1 - 0.0000 -
1424.74/1430.17 c 1430 1501461 1254888 1 - 0.0000 -
1429.81/1435.22 c 1435 1507209 1259699 1 - 0.0000 -
1434.79/1440.27 c 1440 1512883 1264420 1 - 0.0000 -
1439.87/1445.32 c 1445 1518483 1269244 1 - 0.0000 -
1444.85/1450.37 c 1450 1524440 1274208 1 - 0.0000 -
1449.92/1455.42 c 1455 1530315 1278892 1 - 0.0000 -
1454.91/1460.47 c 1460 1535656 1283252 1 - 0.0000 -
1459.99/1465.52 c 1466 1541576 1287972 1 - 0.0000 -
1464.97/1470.57 c 1471 1546902 1292416 1 - 0.0000 -
1470.05/1475.66 c 1476 1552340 1296905 1 - 0.0000 -
1475.13/1480.71 c 1481 1558024 1301601 1 - 0.0000 -
1480.11/1485.76 c 1486 1563779 1306517 1 - 0.0000 -
1485.19/1490.83 c 1491 1569448 1311160 1 - 0.0000 -
1490.17/1495.88 c 1496 1575362 1315983 1 - 0.0000 -
1495.26/1500.93 c 1501 1581118 1320620 1 - 0.0000 -
1500.23/1505.99 c 1506 1586788 1325353 1 - 0.0000 -
1505.32/1511.05 c 1511 1592597 1330123 1 - 0.0000 -
1510.29/1516.10 c 1516 1598326 1334992 1 - 0.0000 -
1515.37/1521.15 c 1521 1604069 1339740 1 - 0.0000 -
1520.43/1526.20 c 1526 1609688 1344599 1 - 0.0000 -
1525.42/1531.25 c 1531 1615398 1349319 1 - 0.0000 -
1530.50/1536.30 c 1536 1621107 1353981 1 - 0.0000 -
1535.48/1541.35 c 1541 1626911 1358693 1 - 0.0000 -
1540.57/1546.41 c 1546 1632179 1363347 1 - 0.0000 -
1545.55/1551.46 c 1551 1637399 1367760 1 - 0.0000 -
1550.64/1556.51 c 1557 1643116 1372426 1 - 0.0000 -
1555.62/1561.59 c 1562 1648718 1377052 1 - 0.0000 -
1560.70/1566.64 c 1567 1654349 1381577 1 - 0.0000 -
1565.68/1571.69 c 1572 1659846 1386217 1 - 0.0000 -
1570.77/1576.74 c 1577 1665514 1390936 1 - 0.0000 -
1575.85/1581.80 c 1582 1670890 1395418 1 - 0.0000 -
1580.84/1586.86 c 1587 1676824 1399967 1 - 0.0000 -
1585.92/1591.93 c 1592 1682380 1404526 1 - 0.0000 -
1590.90/1596.98 c 1597 1687930 1409191 1 - 0.0000 -
1595.99/1602.03 c 1602 1693822 1414195 1 - 0.0000 -
1600.97/1607.08 c 1607 1699447 1418752 1 - 0.0000 -
1606.06/1612.15 c 1612 1704859 1423288 1 - 0.0000 -
1611.13/1617.20 c 1617 1710255 1427827 1 - 0.0000 -
1616.11/1622.25 c 1622 1715779 1432474 1 - 0.0000 -
1621.20/1627.30 c 1627 1721373 1437211 1 - 0.0000 -
1626.18/1632.35 c 1632 1727197 1442064 1 - 0.0000 -
1631.26/1637.41 c 1637 1733041 1446902 1 - 0.0000 -
1636.25/1642.47 c 1642 1738763 1451665 1 - 0.0000 -
1641.33/1647.52 c 1648 1744334 1456353 1 - 0.0000 -
1646.31/1652.57 c 1653 1749758 1460911 1 - 0.0000 -
1651.39/1657.62 c 1658 1755372 1465491 1 - 0.0000 -
1656.36/1662.67 c 1663 1760948 1470096 1 - 0.0000 -
1661.45/1667.72 c 1668 1766842 1474932 1 - 0.0000 -
1666.42/1672.77 c 1673 1772667 1479812 1 - 0.0000 -
1671.50/1677.84 c 1678 1778199 1484322 1 - 0.0000 -
1676.48/1682.89 c 1683 1783703 1488954 1 - 0.0000 -
1681.55/1687.94 c 1688 1789335 1493739 1 - 0.0000 -
1686.54/1692.99 c 1693 1794883 1498302 1 - 0.0000 -
1691.62/1698.04 c 1698 1800379 1502666 1 - 0.0000 -
1696.60/1703.09 c 1703 1806186 1507532 1 - 0.0000 -
1701.69/1708.14 c 1708 1811601 1512070 1 - 0.0000 -
1706.76/1713.21 c 1713 1817524 1516830 1 - 0.0000 -
1711.75/1718.26 c 1718 1823216 1521569 1 - 0.0000 -
1716.83/1723.32 c 1723 1828733 1526068 1 - 0.0000 -
1721.81/1728.37 c 1728 1834716 1530902 1 - 0.0000 -
1726.90/1733.42 c 1733 1840546 1535603 1 - 0.0000 -
1731.88/1738.47 c 1738 1846316 1540469 1 - 0.0000 -
1736.96/1743.53 c 1744 1852292 1545414 1 - 0.0000 -
1741.95/1748.58 c 1749 1858082 1550157 1 - 0.0000 -
1747.03/1753.63 c 1754 1863624 1554936 1 - 0.0000 -
1752.02/1758.68 c 1759 1869104 1559682 1 - 0.0000 -
1757.10/1763.73 c 1764 1874200 1564213 1 - 0.0000 -
1762.08/1768.78 c 1769 1879614 1568861 1 - 0.0000 -
1767.16/1773.83 c 1774 1884982 1573278 1 - 0.0000 -
1772.15/1778.88 c 1779 1890528 1577854 1 - 0.0000 -
1777.23/1783.93 c 1784 1895724 1582235 1 - 0.0000 -
1782.22/1788.98 c 1789 1901381 1587028 1 - 0.0000 -
1787.31/1794.03 c 1794 1907292 1591850 1 - 0.0000 -
1792.29/1799.08 c 1799 1913085 1596655 1 - 0.0000 -
1797.38/1804.13 c 1804 1918580 1601212 1 - 0.0000 -
1802.36/1809.18 c 1809 1924287 1605921 1 - 0.0000 -
1807.43/1814.23 c 1814 1929988 1610746 1 - 0.0000 -
1812.42/1819.28 c 1819 1935650 1615544 1 - 0.0000 -
1817.49/1824.33 c 1824 1941200 1620148 1 - 0.0000 -
1822.48/1829.38 c 1829 1946950 1624877 1 - 0.0000 -
1827.56/1834.43 c 1834 1952688 1629566 1 - 0.0000 -
1832.54/1839.48 c 1839 1958312 1634196 1 - 0.0000 -
1837.63/1844.53 c 1845 1963671 1638573 1 - 0.0000 -
1842.62/1849.58 c 1850 1969114 1643151 1 - 0.0000 -
1847.70/1854.63 c 1855 1974810 1647744 1 - 0.0000 -
1852.68/1859.68 c 1860 1980872 1652557 1 - 0.0000 -
1857.77/1864.73 c 1865 1986486 1657243 1 - 0.0000 -
1862.75/1869.78 c 1870 1992046 1661825 1 - 0.0000 -
1867.84/1874.84 c 1875 1996980 1666119 1 - 0.0000 -
1872.82/1879.89 c 1880 2002604 1670655 1 - 0.0000 -
1877.90/1884.94 c 1885 2008170 1675266 1 - 0.0000 -
1882.88/1889.99 c 1890 2014237 1680036 1 - 0.0000 -
1887.96/1895.04 c 1895 2019655 1684633 1 - 0.0000 -
1892.95/1900.09 c 1900 2025264 1689096 1 - 0.0000 -
1898.04/1905.14 c 1905 2030690 1693645 1 - 0.0000 -
1903.02/1910.19 c 1910 2036591 1698251 1 - 0.0000 -
1908.10/1915.24 c 1915 2042252 1702931 1 - 0.0000 -
1913.18/1920.34 c 1920 2047510 1707409 1 - 0.0000 -
1918.16/1925.39 c 1925 2053047 1711964 1 - 0.0000 -
1923.25/1930.44 c 1930 2058861 1716797 1 - 0.0000 -
1928.22/1935.49 c 1935 2064632 1721486 1 - 0.0000 -
1933.31/1940.54 c 1941 2070085 1726003 1 - 0.0000 -
1938.29/1945.59 c 1946 2075625 1730651 1 - 0.0000 -
1943.38/1950.64 c 1951 2081307 1735519 1 - 0.0000 -
1948.36/1955.69 c 1956 2086350 1739695 1 - 0.0000 -
1953.45/1960.74 c 1961 2092257 1744588 1 - 0.0000 -
1958.43/1965.79 c 1966 2097844 1749218 1 - 0.0000 -
1963.52/1970.84 c 1971 2103537 1754003 1 - 0.0000 -
1968.50/1975.89 c 1976 2109380 1758821 1 - 0.0000 -
1973.58/1980.94 c 1981 2114875 1763488 1 - 0.0000 -
1978.56/1985.99 c 1986 2120736 1768179 1 - 0.0000 -
1983.65/1991.04 c 1991 2126812 1772903 1 - 0.0000 -
1988.63/1996.09 c 1996 2132391 1777563 1 - 0.0000 -
1993.71/2001.14 c 2001 2137970 1782247 1 - 0.0000 -
1998.70/2006.19 c 2006 2143698 1787079 1 - 0.0000 -
2003.77/2011.24 c 2011 2149391 1791861 1 - 0.0000 -
2008.76/2016.29 c 2016 2154899 1796446 1 - 0.0000 -
2013.84/2021.34 c 2021 2160611 1801169 1 - 0.0000 -
2018.82/2026.39 c 2026 2166664 1805892 1 - 0.0000 -
2023.91/2031.44 c 2031 2172171 1810375 1 - 0.0000 -
2028.89/2036.49 c 2036 2177236 1814780 1 - 0.0000 -
2033.98/2041.54 c 2042 2182849 1819394 1 - 0.0000 -
2038.95/2046.59 c 2047 2188357 1823972 1 - 0.0000 -
2044.04/2051.64 c 2052 2194157 1828837 1 - 0.0000 -
2049.03/2056.69 c 2057 2200083 1833703 1 - 0.0000 -
2054.10/2061.76 c 2062 2205253 1838136 1 - 0.0000 -
2059.19/2066.81 c 2067 2210887 1842857 1 - 0.0000 -
2064.17/2071.86 c 2072 2216496 1847514 1 - 0.0000 -
2069.26/2076.91 c 2077 2222294 1852293 1 - 0.0000 -
2074.23/2081.96 c 2082 2227927 1857005 1 - 0.0000 -
2079.22/2087.01 c 2087 2233446 1861616 1 - 0.0000 -
2084.31/2092.06 c 2092 2239224 1866377 1 - 0.0000 -
2089.39/2097.12 c 2097 2244622 1870989 1 - 0.0000 -
2094.38/2102.18 c 2102 2250438 1875801 1 - 0.0000 -
2099.44/2107.23 c 2107 2256303 1880647 1 - 0.0000 -
2104.43/2112.28 c 2112 2262140 1885327 1 - 0.0000 -
2109.51/2117.33 c 2117 2267747 1890000 1 - 0.0000 -
2114.59/2122.40 c 2122 2273539 1894698 1 - 0.0000 -
2119.57/2127.45 c 2127 2279138 1899322 1 - 0.0000 -
2124.65/2132.50 c 2132 2284761 1904195 1 - 0.0000 -
2129.64/2137.55 c 2138 2290379 1909043 1 - 0.0000 -
2134.71/2142.60 c 2143 2296357 1913743 1 - 0.0000 -
2139.69/2147.65 c 2148 2301863 1918473 1 - 0.0000 -
2144.77/2152.70 c 2153 2307503 1923265 1 - 0.0000 -
2149.75/2157.75 c 2158 2313610 1928215 1 - 0.0000 -
2154.83/2162.80 c 2163 2319264 1932901 1 - 0.0000 -
2159.80/2167.85 c 2168 2324720 1937443 1 - 0.0000 -
2164.88/2172.94 c 2173 2330395 1942071 1 - 0.0000 -
2169.87/2177.99 c 2178 2336144 1946865 1 - 0.0000 -
2174.94/2183.04 c 2183 2341627 1951465 1 - 0.0000 -
2179.94/2188.10 c 2188 2347120 1956092 1 - 0.0000 -
2185.02/2193.15 c 2193 2352545 1960641 1 - 0.0000 -
2190.09/2198.21 c 2198 2357902 1965273 1 - 0.0000 -
2195.08/2203.27 c 2203 2363313 1969877 1 - 0.0000 -
2200.15/2208.31 c 2208 2369070 1974681 1 - 0.0000 -
2205.14/2213.36 c 2213 2374837 1979394 1 - 0.0000 -
2210.23/2218.41 c 2218 2380791 1984375 1 - 0.0000 -
2215.21/2223.46 c 2223 2386401 1988977 1 - 0.0000 -
2220.29/2228.51 c 2229 2392132 1993574 1 - 0.0000 -
2225.27/2233.56 c 2234 2397872 1998265 1 - 0.0000 -
2230.36/2238.61 c 2239 2403456 2002973 1 - 0.0000 -
2235.34/2243.66 c 2244 2408840 2007421 1 - 0.0000 -
2240.42/2248.71 c 2249 2414496 2012026 1 - 0.0000 -
2245.41/2253.76 c 2254 2419652 2016277 1 - 0.0000 -
2250.49/2258.81 c 2259 2425244 2020866 1 - 0.0000 -
2255.47/2263.86 c 2264 2431020 2025504 1 - 0.0000 -
2260.55/2268.94 c 2269 2436606 2030112 1 - 0.0000 -
2265.53/2273.99 c 2274 2442205 2034856 1 - 0.0000 -
2270.62/2279.04 c 2279 2448257 2039678 1 - 0.0000 -
2275.60/2284.10 c 2284 2454091 2044554 1 - 0.0000 -
2280.69/2289.15 c 2289 2459126 2048896 1 - 0.0000 -
2285.76/2294.21 c 2294 2465319 2053790 1 - 0.0000 -
2290.74/2299.25 c 2299 2470712 2058458 1 - 0.0000 -
2295.82/2304.30 c 2304 2476432 2063198 1 - 0.0000 -
2300.81/2309.36 c 2309 2481837 2067742 1 - 0.0000 -
2305.90/2314.41 c 2314 2487483 2072530 1 - 0.0000 -
2310.88/2319.46 c 2319 2492988 2077255 1 - 0.0000 -
2315.96/2324.51 c 2325 2498450 2081783 1 - 0.0000 -
2320.95/2329.56 c 2330 2503893 2086351 1 - 0.0000 -
2326.03/2334.61 c 2335 2509837 2091274 1 - 0.0000 -
2331.01/2339.66 c 2340 2515504 2095898 1 - 0.0000 -
2336.10/2344.71 c 2345 2521253 2100595 1 - 0.0000 -
2341.08/2349.76 c 2350 2526934 2105255 1 - 0.0000 -
2346.16/2354.81 c 2355 2532577 2109888 1 - 0.0000 -
2351.14/2359.86 c 2360 2537921 2114394 1 - 0.0000 -
2356.23/2364.91 c 2365 2543186 2118854 1 - 0.0000 -
2361.21/2369.96 c 2370 2548813 2123595 1 - 0.0000 -
2366.30/2375.01 c 2375 2554396 2128057 1 - 0.0000 -
2371.28/2380.06 c 2380 2559770 2132610 1 - 0.0000 -
2376.27/2385.11 c 2385 2565561 2137528 1 - 0.0000 -
2381.35/2390.16 c 2390 2571333 2142256 1 - 0.0000 -
2386.42/2395.21 c 2395 2576983 2146918 1 - 0.0000 -
2391.41/2400.26 c 2400 2582400 2151449 1 - 0.0000 -
2396.49/2405.31 c 2405 2587590 2155980 1 - 0.0000 -
2401.48/2410.37 c 2410 2593141 2160425 1 - 0.0000 -
2406.56/2415.43 c 2415 2598577 2164920 1 - 0.0000 -
2411.64/2420.58 c 2421 2604067 2169658 1 - 0.0000 -
2416.73/2425.63 c 2426 2609873 2174381 1 - 0.0000 -
2421.71/2430.68 c 2431 2615541 2178857 1 - 0.0000 -
2426.79/2435.73 c 2436 2621003 2183501 1 - 0.0000 -
2431.78/2440.78 c 2441 2626261 2187879 1 - 0.0000 -
2436.86/2445.83 c 2446 2631769 2192414 1 - 0.0000 -
2441.85/2450.88 c 2451 2637597 2197201 1 - 0.0000 -
2446.93/2455.93 c 2456 2643455 2201992 1 - 0.0000 -
2451.92/2460.98 c 2461 2649141 2206834 1 - 0.0000 -
2457.00/2466.03 c 2466 2654483 2211259 1 - 0.0000 -
2461.98/2471.08 c 2471 2660110 2216054 1 - 0.0000 -
2467.07/2476.13 c 2476 2665528 2220524 1 - 0.0000 -
2472.13/2481.22 c 2481 2671105 2225205 1 - 0.0000 -
2477.11/2486.27 c 2486 2676570 2229855 1 - 0.0000 -
2482.18/2491.33 c 2491 2682175 2234614 1 - 0.0000 -
2487.17/2496.38 c 2496 2687728 2239252 1 - 0.0000 -
2492.24/2501.43 c 2501 2693666 2244070 1 - 0.0000 -
2497.22/2506.48 c 2506 2699039 2248469 1 - 0.0000 -
2502.30/2511.53 c 2512 2704584 2253231 1 - 0.0000 -
2507.28/2516.58 c 2517 2709837 2257913 1 - 0.0000 -
2512.36/2521.63 c 2522 2715272 2262471 1 - 0.0000 -
2517.34/2526.68 c 2527 2720739 2267023 1 - 0.0000 -
2522.41/2531.74 c 2532 2726010 2271446 1 - 0.0000 -
2527.39/2536.79 c 2537 2731423 2275995 1 - 0.0000 -
2532.47/2541.84 c 2542 2736813 2280515 1 - 0.0000 -
2537.45/2546.89 c 2547 2742510 2285172 1 - 0.0000 -
2542.53/2551.94 c 2552 2748157 2289756 1 - 0.0000 -
2547.50/2556.99 c 2557 2753614 2294149 1 - 0.0000 -
2552.59/2562.04 c 2562 2759453 2298891 1 - 0.0000 -
2557.57/2567.09 c 2567 2765258 2303538 1 - 0.0000 -
2562.66/2572.14 c 2572 2770793 2308073 1 - 0.0000 -
2567.64/2577.19 c 2577 2776324 2312459 1 - 0.0000 -
2572.71/2582.24 c 2582 2781971 2317187 1 - 0.0000 -
2577.70/2587.29 c 2587 2787535 2321918 1 - 0.0000 -
2582.78/2592.37 c 2592 2792947 2326516 1 - 0.0000 -
2587.86/2597.43 c 2597 2798563 2331259 1 - 0.0000 -
2592.84/2602.48 c 2602 2804125 2335929 1 - 0.0000 -
2597.93/2607.53 c 2608 2809157 2340251 1 - 0.0000 -
2602.91/2612.58 c 2613 2814375 2344634 1 - 0.0000 -
2607.99/2617.63 c 2618 2819974 2349309 1 - 0.0000 -
2612.98/2622.68 c 2623 2825958 2354198 1 - 0.0000 -
2618.06/2627.73 c 2628 2831559 2358792 1 - 0.0000 -
2623.05/2632.78 c 2633 2837178 2363444 1 - 0.0000 -
2628.13/2637.83 c 2638 2842604 2368033 1 - 0.0000 -
2633.11/2642.88 c 2643 2848533 2372905 1 - 0.0000 -
2638.19/2647.93 c 2648 2854417 2377668 1 - 0.0000 -
2643.18/2652.98 c 2653 2859821 2382212 1 - 0.0000 -
2648.27/2658.03 c 2658 2865873 2387231 1 - 0.0000 -
2653.25/2663.08 c 2663 2871184 2391827 1 - 0.0000 -
2658.34/2668.13 c 2668 2876911 2396507 1 - 0.0000 -
2663.32/2673.18 c 2673 2883273 2401533 1 - 0.0000 -
2668.38/2678.23 c 2678 2888574 2406017 1 - 0.0000 -
2673.37/2683.28 c 2683 2894128 2410692 1 - 0.0000 -
2678.45/2688.33 c 2688 2899203 2414999 1 - 0.0000 -
2683.43/2693.38 c 2693 2904619 2419415 1 - 0.0000 -
2688.52/2698.43 c 2698 2909890 2423794 1 - 0.0000 -
2693.51/2703.48 c 2703 2915484 2428439 1 - 0.0000 -
2698.59/2708.53 c 2709 2920831 2432823 1 - 0.0000 -
2703.57/2713.58 c 2714 2926392 2437399 1 - 0.0000 -
2708.65/2718.63 c 2719 2932088 2442157 1 - 0.0000 -
2713.64/2723.68 c 2724 2937395 2446670 1 - 0.0000 -
2718.72/2728.73 c 2729 2942528 2451130 1 - 0.0000 -
2723.71/2733.78 c 2734 2947852 2455628 1 - 0.0000 -
2728.79/2738.83 c 2739 2953566 2460261 1 - 0.0000 -
2733.77/2743.88 c 2744 2959106 2464914 1 - 0.0000 -
2738.85/2748.93 c 2749 2964509 2469360 1 - 0.0000 -
2743.84/2753.98 c 2754 2970178 2474200 1 - 0.0000 -
2748.92/2759.03 c 2759 2975881 2478986 1 - 0.0000 -
2753.90/2764.09 c 2764 2981412 2483512 1 - 0.0000 -
2758.99/2769.14 c 2769 2986910 2488132 1 - 0.0000 -
2763.97/2774.19 c 2774 2992655 2492892 1 - 0.0000 -
2769.04/2779.24 c 2779 2998448 2497545 1 - 0.0000 -
2774.02/2784.29 c 2784 3003915 2502188 1 - 0.0000 -
2779.10/2789.34 c 2789 3009547 2506874 1 - 0.0000 -
2784.19/2794.40 c 2794 3015110 2511415 1 - 0.0000 -
2789.17/2799.45 c 2799 3020993 2516166 1 - 0.0000 -
2794.24/2804.50 c 2804 3026497 2520670 1 - 0.0000 -
2799.22/2809.56 c 2810 3032093 2525430 1 - 0.0000 -
2804.31/2814.69 c 2815 3037520 2529794 1 - 0.0000 -
2809.39/2819.74 c 2820 3042691 2534141 1 - 0.0000 -
2814.37/2824.79 c 2825 3048109 2538722 1 - 0.0000 -
2819.45/2829.84 c 2830 3053623 2543129 1 - 0.0000 -
2824.44/2834.89 c 2835 3059292 2547911 1 - 0.0000 -
2829.52/2839.94 c 2840 3064893 2552537 1 - 0.0000 -
2834.51/2844.99 c 2845 3070427 2556834 1 - 0.0000 -
2839.59/2850.04 c 2850 3075993 2561298 1 - 0.0000 -
2844.57/2855.09 c 2855 3081360 2565678 1 - 0.0000 -
2849.65/2860.15 c 2860 3086739 2570059 1 - 0.0000 -
2854.72/2865.20 c 2865 3092416 2574609 1 - 0.0000 -
2859.70/2870.25 c 2870 3097879 2579151 1 - 0.0000 -
2864.78/2875.30 c 2875 3103499 2583752 1 - 0.0000 -
2869.76/2880.35 c 2880 3109166 2588488 1 - 0.0000 -
2874.84/2885.40 c 2885 3114519 2592815 1 - 0.0000 -
2879.83/2890.45 c 2890 3119693 2597421 1 - 0.0000 -
2884.91/2895.50 c 2896 3125382 2601929 1 - 0.0000 -
2889.89/2900.55 c 2901 3130830 2606595 1 - 0.0000 -
2894.97/2905.60 c 2906 3136074 2611180 1 - 0.0000 -
2899.96/2910.65 c 2911 3141697 2615878 1 - 0.0000 -
2905.04/2915.70 c 2916 3147223 2620699 1 - 0.0000 -
2910.01/2920.75 c 2921 3152572 2625196 1 - 0.0000 -
2915.10/2925.80 c 2926 3158220 2629850 1 - 0.0000 -
2920.08/2930.86 c 2931 3163592 2634224 1 - 0.0000 -
2925.17/2935.92 c 2936 3169112 2638721 1 - 0.0000 -
2930.15/2940.97 c 2941 3174642 2643302 1 - 0.0000 -
2935.24/2946.02 c 2946 3179974 2647726 1 - 0.0000 -
2940.22/2951.07 c 2951 3185374 2652168 1 - 0.0000 -
2945.30/2956.12 c 2956 3191038 2656883 1 - 0.0000 -
2950.29/2961.17 c 2961 3196371 2661489 1 - 0.0000 -
2955.35/2966.22 c 2966 3201668 2665812 1 - 0.0000 -
2960.34/2971.27 c 2971 3206961 2670334 1 - 0.0000 -
2965.42/2976.32 c 2976 3212543 2675026 1 - 0.0000 -
2970.41/2981.39 c 2981 3218227 2679654 1 - 0.0000 -
2975.49/2986.44 c 2986 3223852 2684346 1 - 0.0000 -
2980.47/2991.49 c 2991 3229309 2688992 1 - 0.0000 -
2985.56/2996.54 c 2997 3235014 2693800 1 - 0.0000 -
2990.53/3001.59 c 3002 3240512 2698532 1 - 0.0000 -
2995.62/3006.64 c 3007 3246239 2703233 1 - 0.0000 -
3000.70/3011.70 c 3012 3251623 2707758 1 - 0.0000 -
3005.69/3016.75 c 3017 3256880 2712216 1 - 0.0000 -
3010.77/3021.80 c 3022 3262529 2716903 1 - 0.0000 -
3015.75/3026.85 c 3027 3268210 2721602 1 - 0.0000 -
3020.83/3031.90 c 3032 3273757 2726184 1 - 0.0000 -
3025.82/3036.97 c 3037 3279322 2730897 1 - 0.0000 -
3030.90/3042.02 c 3042 3284597 2735447 1 - 0.0000 -
3035.88/3047.07 c 3047 3290092 2739982 1 - 0.0000 -
3040.97/3052.12 c 3052 3295585 2744571 1 - 0.0000 -
3045.95/3057.17 c 3057 3300780 2748929 1 - 0.0000 -
3051.02/3062.22 c 3062 3306269 2753572 1 - 0.0000 -
3056.01/3067.27 c 3067 3311774 2758116 1 - 0.0000 -
3061.09/3072.32 c 3072 3317398 2762755 1 - 0.0000 -
3066.07/3077.37 c 3077 3322905 2767352 1 - 0.0000 -
3071.15/3082.42 c 3082 3328293 2771938 1 - 0.0000 -
3076.14/3087.47 c 3087 3333678 2776509 1 - 0.0000 -
3081.21/3092.52 c 3093 3339221 2781117 1 - 0.0000 -
3086.20/3097.57 c 3098 3344916 2785872 1 - 0.0000 -
3091.28/3102.63 c 3103 3349459 2789738 1 - 0.0000 -
3096.27/3107.67 c 3108 3354957 2794354 1 - 0.0000 -
3101.34/3112.72 c 3113 3360216 2798725 1 - 0.0000 -
3106.33/3117.77 c 3118 3365775 2803153 1 - 0.0000 -
3111.41/3122.82 c 3123 3371345 2807649 1 - 0.0000 -
3116.39/3127.87 c 3128 3376827 2812309 1 - 0.0000 -
3121.47/3132.92 c 3133 3382101 2816814 1 - 0.0000 -
3126.45/3137.97 c 3138 3387424 2821288 1 - 0.0000 -
3131.54/3143.02 c 3143 3392903 2825771 1 - 0.0000 -
3136.53/3148.07 c 3148 3398120 2830112 1 - 0.0000 -
3141.61/3153.12 c 3153 3403359 2834349 1 - 0.0000 -
3146.59/3158.17 c 3158 3408671 2838730 1 - 0.0000 -
3151.66/3163.22 c 3163 3414308 2843449 1 - 0.0000 -
3156.65/3168.27 c 3168 3419852 2848030 1 - 0.0000 -
3161.73/3173.32 c 3173 3425561 2852762 1 - 0.0000 -
3166.71/3178.37 c 3178 3430983 2857252 1 - 0.0000 -
3171.79/3183.44 c 3183 3436538 2861905 1 - 0.0000 -
3176.78/3188.49 c 3188 3441796 2866369 1 - 0.0000 -
3181.86/3193.54 c 3194 3447243 2871016 1 - 0.0000 -
3186.84/3198.59 c 3199 3452641 2875615 1 - 0.0000 -
3191.92/3203.64 c 3204 3458487 2880501 1 - 0.0000 -
3196.91/3208.69 c 3209 3464292 2885246 1 - 0.0000 -
3202.00/3213.74 c 3214 3469840 2889883 1 - 0.0000 -
3206.98/3218.79 c 3219 3475295 2894349 1 - 0.0000 -
3212.06/3223.88 c 3224 3480306 2898694 1 - 0.0000 -
3217.14/3228.93 c 3229 3485473 2903093 1 - 0.0000 -
3222.12/3233.98 c 3234 3490436 2907388 1 - 0.0000 -
3227.21/3239.03 c 3239 3496289 2912153 1 - 0.0000 -
3232.20/3244.08 c 3244 3501349 2916435 1 - 0.0000 -
3237.27/3249.13 c 3249 3506535 2920930 1 - 0.0000 -
3242.26/3254.18 c 3254 3511522 2925367 1 - 0.0000 -
3247.33/3259.24 c 3259 3516643 2929776 1 - 0.0000 -
3252.32/3264.29 c 3264 3521815 2934319 1 - 0.0000 -
3257.39/3269.35 c 3269 3527112 2938727 1 - 0.0000 -
3262.48/3274.40 c 3274 3532571 2943100 1 - 0.0000 -
3267.46/3279.45 c 3279 3538185 2947701 1 - 0.0000 -
3272.55/3284.50 c 3284 3543994 2952642 1 - 0.0000 -
3277.53/3289.55 c 3290 3549485 2957264 1 - 0.0000 -
3282.60/3294.60 c 3295 3555344 2962028 1 - 0.0000 -
3287.59/3299.65 c 3300 3561185 2966652 1 - 0.0000 -
3292.66/3304.70 c 3305 3566651 2971273 1 - 0.0000 -
3297.64/3309.75 c 3310 3572414 2976022 1 - 0.0000 -
3302.72/3314.80 c 3315 3578103 2980612 1 - 0.0000 -
3307.70/3319.85 c 3320 3583416 2985151 1 - 0.0000 -
3312.79/3324.90 c 3325 3588740 2989704 1 - 0.0000 -
3317.77/3329.97 c 3330 3594112 2994313 1 - 0.0000 -
3322.85/3335.02 c 3335 3599834 2999025 1 - 0.0000 -
3327.83/3340.07 c 3340 3605369 3003555 1 - 0.0000 -
3332.92/3345.12 c 3345 3610333 3007654 1 - 0.0000 -
3337.90/3350.17 c 3350 3616342 3012381 1 - 0.0000 -
3342.97/3355.23 c 3355 3621584 3016728 1 - 0.0000 -
3347.95/3360.28 c 3360 3626697 3021095 1 - 0.0000 -
3353.03/3365.33 c 3365 3631794 3025526 1 - 0.0000 -
3358.02/3370.38 c 3370 3637200 3030177 1 - 0.0000 -
3363.10/3375.43 c 3375 3642972 3034757 1 - 0.0000 -
3368.08/3380.49 c 3380 3648516 3039235 1 - 0.0000 -
3373.17/3385.54 c 3386 3653827 3043724 1 - 0.0000 -
3378.15/3390.59 c 3391 3659222 3048307 1 - 0.0000 -
3383.23/3395.64 c 3396 3664687 3052908 1 - 0.0000 -
3388.21/3400.69 c 3401 3670525 3057727 1 - 0.0000 -
3393.30/3405.78 c 3406 3676227 3062398 1 - 0.0000 -
3398.38/3410.83 c 3411 3681940 3067187 1 - 0.0000 -
3403.36/3415.88 c 3416 3687491 3071684 1 - 0.0000 -
3408.45/3420.93 c 3421 3692760 3076175 1 - 0.0000 -
3413.43/3425.98 c 3426 3697912 3080559 1 - 0.0000 -
3418.51/3431.03 c 3431 3703658 3085390 1 - 0.0000 -
3423.50/3436.08 c 3436 3709318 3089981 1 - 0.0000 -
3428.58/3441.13 c 3441 3714470 3094308 1 - 0.0000 -
3433.56/3446.18 c 3446 3719569 3098710 1 - 0.0000 -
3438.63/3451.23 c 3451 3724965 3103245 1 - 0.0000 -
3443.62/3456.28 c 3456 3730343 3107812 1 - 0.0000 -
3448.70/3461.33 c 3461 3735672 3112287 1 - 0.0000 -
3453.68/3466.38 c 3466 3740919 3116856 1 - 0.0000 -
3458.76/3471.43 c 3471 3746836 3121641 1 - 0.0000 -
3463.75/3476.48 c 3476 3752416 3126229 1 - 0.0000 -
3468.83/3481.53 c 3482 3758039 3130957 1 - 0.0000 -
3473.82/3486.58 c 3487 3763504 3135567 1 - 0.0000 -
3478.90/3491.66 c 3492 3768502 3139835 1 - 0.0000 -
3484.08/3496.84 c 3497 3774173 3144537 1 - 0.0000 -
3489.06/3501.89 c 3502 3779338 3148954 1 - 0.0000 -
3494.15/3506.94 c 3507 3784507 3153279 1 - 0.0000 -
3499.13/3511.99 c 3512 3790054 3157995 1 - 0.0000 -
3504.22/3517.04 c 3517 3795593 3162679 1 - 0.0000 -
3509.20/3522.09 c 3522 3801442 3167383 1 - 0.0000 -
3514.28/3527.14 c 3527 3806630 3171739 1 - 0.0000 -
3519.26/3532.19 c 3532 3812343 3176325 1 - 0.0000 -
3524.34/3537.24 c 3537 3817768 3180841 1 - 0.0000 -
3529.31/3542.29 c 3542 3823202 3185336 1 - 0.0000 -
3534.40/3547.34 c 3547 3828805 3190069 1 - 0.0000 -
3539.49/3552.40 c 3552 3834567 3194775 1 - 0.0000 -
3544.47/3557.45 c 3557 3840006 3199113 1 - 0.0000 -
3549.55/3562.51 c 3563 3845168 3203622 1 - 0.0000 -
3554.53/3567.56 c 3568 3850664 3208293 1 - 0.0000 -
3559.61/3572.67 c 3573 3856306 3213048 1 - 0.0000 -
3564.70/3577.72 c 3578 3861639 3217562 1 - 0.0000 -
3569.68/3582.77 c 3583 3867358 3222182 1 - 0.0000 -
3574.76/3587.82 c 3588 3872719 3226547 1 - 0.0000 -
3579.73/3592.87 c 3593 3878152 3231011 1 - 0.0000 -
3584.82/3597.94 c 3598 3883389 3235410 1 - 0.0000 -
3589.91/3603.02 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.91/3603.02 c Total Time : 3603.0200
3589.91/3603.02 c solving : 3603.0200
3589.91/3603.02 c presolving : 0.0648 (included in solving)
3589.91/3603.02 c B&B Tree :
3589.91/3603.02 c nodes (total) : 1
3589.91/3603.02 c Solution :
3589.91/3603.02 c Solutions found : 0
3589.91/3603.02 c Primal Bound : -
3589.91/3603.02 c Dual Bound : +0.00000000000000e+00
3589.91/3603.02 c Gap : -
3589.91/3603.06 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: 64096 MiB (43789 MiB free)
memory of node 1: 64473 MiB (56949 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464510-1722385808/watcher-4464510-1722385808 -o /tmp/evaluation-result-4464510-1722385808/solver-4464510-1722385808 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28208 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464510-1722385808.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32711, runsolver pid=32708
[startup+0.107079 s]*
/proc/loadavg: 4.11 4.12 4.12 5/250 32713
/proc/meminfo: memFree=103137556/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=115176 memory=32084 CPUtime=0.11 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 6097 0 0 0 10 1 0 0 20 0 2 0 4951398 117940224 8021 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 28794 8021 2774 3035 0 9676 0
[pid=32711/tid=32713] ppid=32708 vsize=115176 memory=4026561586 CPUtime=0 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 854 0 0 0 0 0 0 0 20 0 2 0 4951407 117940224 8021 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 115176 KiB
Current children cumulated memory: 32084 KiB
[startup+0.212075 s]*
/proc/loadavg: 4.11 4.12 4.12 5/251 32714
/proc/meminfo: memFree=103126972/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=124216 memory=41456 CPUtime=0.21 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 8232 0 0 0 19 2 0 0 20 0 3 0 4951398 127197184 10364 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 31054 10364 2950 3035 0 14133 0
[pid=32711/tid=32713] ppid=32708 vsize=124216 memory=664970838410264707 CPUtime=0.1 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 2986 0 0 0 10 0 0 0 20 0 3 0 4951407 127197184 10364 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=124216 memory=80307 CPUtime=0 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4951410 127197184 10364 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 124216 KiB
Current children cumulated memory: 41456 KiB
[startup+0.311798 s]*
/proc/loadavg: 4.11 4.12 4.12 5/251 32714
/proc/meminfo: memFree=103126132/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=124216 memory=41720 CPUtime=0.31 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 8322 0 0 0 29 2 0 0 20 0 3 0 4951398 127197184 10430 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 31054 10430 2950 3035 0 14229 0
[pid=32711/tid=32713] ppid=32708 vsize=124216 memory=-5155626916415957893 CPUtime=0.19 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 3076 0 0 0 19 0 0 0 20 0 3 0 4951407 127197184 10430 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=124216 memory=0 CPUtime=0 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4951410 127197184 10430 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 124216 KiB
Current children cumulated memory: 41720 KiB
[startup+0.700317 s]
/proc/loadavg: 4.11 4.12 4.12 5/251 32714
/proc/meminfo: memFree=103117868/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=124216 memory=49636 CPUtime=0.68 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 10471 0 0 0 66 2 0 0 20 0 3 0 4951398 127197184 12409 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 31054 12409 2966 3035 0 16543 0
[pid=32711/tid=32713] ppid=32708 vsize=124216 memory=0 CPUtime=0.57 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 5225 0 0 0 56 1 0 0 20 0 3 0 4951407 127197184 12409 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=124216 memory=0 CPUtime=0 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4951410 127197184 12409 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 124216 KiB
Current children cumulated memory: 49636 KiB
[startup+1.50038 s]
/proc/loadavg: 4.10 4.12 4.12 5/251 32714
/proc/meminfo: memFree=103116748/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=126096 memory=63288 CPUtime=1.48 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 17614 0 0 0 144 4 0 0 20 0 3 0 4951398 129122304 15822 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 31524 15822 2966 3035 0 20004 0
[pid=32711/tid=32713] ppid=32708 vsize=126096 memory=0 CPUtime=1.37 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 12342 0 0 0 135 2 0 0 20 0 3 0 4951407 129122304 15822 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=126096 memory=0 CPUtime=0 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4951410 129122304 15822 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 126096 KiB
Current children cumulated memory: 63288 KiB
[startup+3.11279 s]
/proc/loadavg: 4.10 4.12 4.12 5/252 32771
/proc/meminfo: memFree=103100472/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=126096 memory=66068 CPUtime=3.09 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 18942 0 0 0 305 4 0 0 20 0 3 0 4951398 129122304 16517 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 31524 16517 2966 3035 0 20637 0
[pid=32711/tid=32713] ppid=32708 vsize=126096 memory=0 CPUtime=2.98 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 13669 0 0 0 295 3 0 0 20 0 3 0 4951407 129122304 16517 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=126096 memory=49636 CPUtime=0 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4951410 129122304 16517 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 126096 KiB
Current children cumulated memory: 66068 KiB
[startup+6.30036 s]
/proc/loadavg: 4.09 4.11 4.12 5/252 32820
/proc/meminfo: memFree=109286104/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=126096 memory=73568 CPUtime=6.27 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 32054 0 0 0 621 6 0 0 20 0 3 0 4951398 129122304 18392 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 31524 18392 2966 3035 0 22356 0
[pid=32711/tid=32713] ppid=32708 vsize=126096 memory=11516 CPUtime=6.16 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 26750 0 0 0 611 5 0 0 20 0 3 0 4951407 129122304 18392 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=126096 memory=11516 CPUtime=0 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 4951410 129122304 18392 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 126096 KiB
Current children cumulated memory: 73568 KiB
[startup+12.7004 s]
/proc/loadavg: 4.08 4.11 4.12 5/253 32869
/proc/meminfo: memFree=109180076/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=126096 memory=84700 CPUtime=12.64 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 50000 0 0 0 1256 8 0 0 20 0 3 0 4951398 129122304 21175 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 31524 21175 3014 3035 0 25948 0
[pid=32711/tid=32713] ppid=32708 vsize=126096 memory=63288 CPUtime=12.53 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 44651 0 0 0 1246 7 0 0 20 0 3 0 4951407 129122304 21175 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=126096 memory=72280 CPUtime=0 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 4951410 129122304 21175 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 126096 KiB
Current children cumulated memory: 84700 KiB
[startup+25.5004 s]
/proc/loadavg: 4.07 4.11 4.12 5/253 32872
/proc/meminfo: memFree=109083404/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=191632 memory=101540 CPUtime=25.41 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 83873 0 0 0 2527 14 0 0 20 0 3 0 4951398 196231168 25385 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 47908 25385 3014 3035 0 29436 0
[pid=32711/tid=32713] ppid=32708 vsize=191632 memory=100004 CPUtime=25.29 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 78463 0 0 0 2517 12 0 0 20 0 3 0 4951407 196231168 25385 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=191632 memory=73568 CPUtime=0 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4951410 196231168 25385 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 191632 KiB
Current children cumulated memory: 101540 KiB
[startup+51.113 s]
/proc/loadavg: 4.10 4.11 4.12 5/252 32875
/proc/meminfo: memFree=109004752/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=191632 memory=128584 CPUtime=50.92 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 151626 0 0 0 5066 26 0 0 20 0 3 0 4951398 196231168 32146 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 47908 32146 3014 3035 0 36895 0
[pid=32711/tid=32713] ppid=32708 vsize=191632 memory=126636 CPUtime=50.81 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 146133 0 0 0 5056 25 0 0 20 0 3 0 4951407 196231168 32146 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=191632 memory=118564 CPUtime=0 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 4951410 196231168 32146 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 191632 KiB
Current children cumulated memory: 128584 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/253 32885
/proc/meminfo: memFree=108933828/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=260560 memory=187924 CPUtime=101.92 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 232916 0 0 0 10148 44 0 0 20 0 3 0 4951398 266813440 46981 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 65140 46981 3014 3035 0 51895 0
[pid=32711/tid=32713] ppid=32708 vsize=260560 memory=175308 CPUtime=101.81 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 227331 0 0 0 10138 43 0 0 20 0 3 0 4951407 266813440 46981 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=260560 memory=140578910458945 CPUtime=0 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 4951410 266813440 46981 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 260560 KiB
Current children cumulated memory: 187924 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.11 5/252 32896
/proc/meminfo: memFree=108817844/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=333388 memory=257980 CPUtime=161.71 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 300462 0 0 0 16109 62 0 0 20 0 3 0 4951398 341389312 64495 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 83347 64495 3014 3035 0 68712 0
[pid=32711/tid=32713] ppid=32708 vsize=333388 memory=221876 CPUtime=161.58 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 294816 0 0 0 16098 60 0 0 20 0 3 0 4951407 341389312 64495 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=333388 memory=253500 CPUtime=0 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 4951410 341389312 64495 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 333388 KiB
Current children cumulated memory: 257980 KiB
################
# More data... #
################
Current children cumulated memory: 4155768 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/249 34541
/proc/meminfo: memFree=123638100/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=4346288 memory=4227660 CPUtime=3449.69 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 3726722 0 0 0 343971 998 0 0 20 0 3 0 4951398 4450598912 1056915 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 1086572 1056915 3014 3035 0 1063512 0
[pid=32711/tid=32713] ppid=32708 vsize=4346288 memory=4067924 CPUtime=3449.25 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 3720047 0 0 0 343936 989 0 0 20 0 3 0 4951407 4450598912 1056915 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=4346288 memory=4195344 CPUtime=0.05 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 132 0 0 0 1 4 0 0 20 0 3 0 4951410 4450598912 1056915 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 3449.69 s
Current children cumulated vsize: 4346288 KiB
Current children cumulated memory: 4227660 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/250 34743
/proc/meminfo: memFree=123566416/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=4418912 memory=4297480 CPUtime=3509.49 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 3786025 0 0 0 349936 1013 0 0 20 0 3 0 4951398 4524965888 1074370 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 1104728 1074370 3014 3035 0 1081522 0
[pid=32711/tid=32713] ppid=32708 vsize=4418912 memory=14720 CPUtime=3509.03 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 3779333 0 0 0 349900 1003 0 0 20 0 3 0 4951407 4524965888 1074370 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=4418912 memory=11516 CPUtime=0.05 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 134 0 0 0 1 4 0 0 20 0 3 0 4951410 4524965888 1074370 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 3509.49 s
Current children cumulated vsize: 4418912 KiB
Current children cumulated memory: 4297480 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.12 5/250 34754
/proc/meminfo: memFree=123489608/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=4488560 memory=4370800 CPUtime=3569.28 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 3852335 0 0 0 355896 1032 0 0 20 0 3 0 4951398 4596285440 1092700 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 1122140 1092700 3014 3035 0 1099960 0
[pid=32711/tid=32713] ppid=32708 vsize=4488560 memory=11516 CPUtime=3568.82 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 3845627 0 0 0 355860 1022 0 0 20 0 3 0 4951407 4596285440 1092700 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=4488560 memory=11516 CPUtime=0.05 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 136 0 0 0 1 4 0 0 20 0 3 0 4951410 4596285440 1092700 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 3569.28 s
Current children cumulated vsize: 4488560 KiB
Current children cumulated memory: 4370800 KiB
[startup+3603.14 s]
# the end of solver process 32711 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.3 s, system=10.7328 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.12 5/250 34756
/proc/meminfo: memFree=123488472/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=4488560 memory=4371164 CPUtime=3570.98 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 3853690 0 0 0 356066 1032 0 0 20 0 3 0 4951398 4596285440 1092791 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 1122140 1092791 3014 3035 0 1100024 0
[pid=32711/tid=32713] ppid=32708 vsize=4488560 memory=28236 CPUtime=3570.52 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 3846982 0 0 0 356030 1022 0 0 20 0 3 0 4951407 4596285440 1092791 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=4488560 memory=11516 CPUtime=0.05 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 136 0 0 0 1 4 0 0 20 0 3 0 4951410 4596285440 1092791 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 3570.98 s
Current children cumulated vsize: 4488560 KiB
Current children cumulated memory: 4371164 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.12 4.13 5/250 34757
/proc/meminfo: memFree=123475316/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=4488560 memory=4387520 CPUtime=3583.72 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 3863016 0 0 0 357337 1035 0 0 20 0 3 0 4951398 4596285440 1096880 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 1122140 1096880 3014 3035 0 1103575 0
[pid=32711/tid=32713] ppid=32708 vsize=4488560 memory=4364108 CPUtime=3583.26 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 3856308 0 0 0 357301 1025 0 0 20 0 3 0 4951407 4596285440 1096880 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=4488560 memory=4355430111928544927 CPUtime=0.05 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 136 0 0 0 1 4 0 0 20 0 3 0 4951410 4596285440 1096880 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 3583.72 s
Current children cumulated vsize: 4488560 KiB
Current children cumulated memory: 4387520 KiB
[startup+3600 s]*
/proc/loadavg: 4.14 4.12 4.13 5/250 34757
/proc/meminfo: memFree=123475376/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=4485476 memory=4383612 CPUtime=3586.92 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 4128949 0 0 0 357641 1051 0 0 20 0 3 0 4951398 4593127424 1095903 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 1121369 1095903 3014 3035 0 1103316 0
[pid=32711/tid=32713] ppid=32708 vsize=4485476 memory=-7595720463122260351 CPUtime=3586.46 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 4122356 0 0 0 357605 1041 0 0 20 0 3 0 4951407 4593127424 1095903 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=4485476 memory=4355430111928544927 CPUtime=0.05 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 136 0 0 0 1 4 0 0 20 0 3 0 4951410 4593127424 1095903 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 3586.92 s
Current children cumulated vsize: 4485476 KiB
Current children cumulated memory: 4383612 KiB
[startup+3601.6 s]
/proc/loadavg: 4.14 4.12 4.13 5/250 34757
/proc/meminfo: memFree=123478500/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=4480336 memory=4378476 CPUtime=3588.51 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 4173212 0 0 0 357796 1055 0 0 20 0 3 0 4951398 4587864064 1094619 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 1120084 1094619 3014 3035 0 1102031 0
[pid=32711/tid=32713] ppid=32708 vsize=4480336 memory=4382584 CPUtime=3588.05 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 4166532 0 0 0 357760 1045 0 0 20 0 3 0 4951407 4587864064 1094619 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=4480336 memory=27820 CPUtime=0.05 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 136 0 0 0 1 4 0 0 20 0 3 0 4951410 4587864064 1094619 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 3588.51 s
Current children cumulated vsize: 4480336 KiB
Current children cumulated memory: 4378476 KiB
[startup+3602.4 s]
/proc/loadavg: 4.21 4.13 4.13 5/250 34757
/proc/meminfo: memFree=123485344/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=4471084 memory=4369452 CPUtime=3589.3 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 4269576 0 0 0 357869 1061 0 0 20 0 3 0 4951398 4578390016 1092363 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 1117771 1092363 3014 3035 0 1099718 0
[pid=32711/tid=32713] ppid=32708 vsize=4471084 memory=14720 CPUtime=3588.84 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 4262867 0 0 0 357833 1051 0 0 20 0 3 0 4951407 4578390016 1092363 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=4471084 memory=-7163656373871402624 CPUtime=0.05 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 136 0 0 0 1 4 0 0 20 0 3 0 4951410 4578390016 1092363 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 3589.3 s
Current children cumulated vsize: 4471084 KiB
Current children cumulated memory: 4369452 KiB
[startup+3602.8 s]
/proc/loadavg: 4.21 4.13 4.13 5/250 34757
/proc/meminfo: memFree=123485344/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=4456692 memory=4355064 CPUtime=3589.7 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 4273706 0 0 0 357908 1062 0 0 20 0 3 0 4951398 4563652608 1088766 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 1114173 1088766 3014 3035 0 1096120 0
[pid=32711/tid=32713] ppid=32708 vsize=4456692 memory=82502 CPUtime=3589.23 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 4266997 0 0 0 357872 1051 0 0 20 0 3 0 4951407 4563652608 1088766 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=4456692 memory=82518 CPUtime=0.05 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 136 0 0 0 1 4 0 0 20 0 3 0 4951410 4563652608 1088766 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 3589.7 s
Current children cumulated vsize: 4456692 KiB
Current children cumulated memory: 4355064 KiB
[startup+3603 s]*
/proc/loadavg: 4.21 4.13 4.13 5/253 34816
/proc/meminfo: memFree=123549720/131655788 swapFree=131071216/131071996
[pid=32711] ppid=32708 vsize=4401180 memory=4298528 CPUtime=3589.91 cores=5,7
/proc/32711/stat : 32711 (fscip) S 32708 32711 28195 0 -1 1077936128 4275140 0 0 0 357929 1062 0 0 20 0 3 0 4951398 4506808320 1074889 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
/proc/32711/statm: 1100295 1074632 3014 3035 0 1082242 0
[pid=32711/tid=32713] ppid=32708 vsize=4383704 memory=-7595720463122260351 CPUtime=3589.44 cores=5,7
/proc/32711/task/32713/stat : 32713 (fscip) R 32708 32711 28195 0 -1 4194368 4268431 0 0 0 357892 1052 0 0 20 0 3 0 4951407 4488912896 1070522 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
[pid=32711/tid=32714] ppid=32708 vsize=4383704 memory=4211596398829399711 CPUtime=0.05 cores=5,7
/proc/32711/task/32714/stat : 32714 (fscip) S 32708 32711 28195 0 -1 1077936192 136 0 0 0 1 4 0 0 20 0 3 0 4951410 4488912896 1070522 134679101440 4194304 16623229 140726249973168 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 38588416 140726249976858 140726249976974 140726249976974 140726249983984 0
Current children cumulated CPU time: 3589.91 s
Current children cumulated vsize: 4401180 KiB
Current children cumulated memory: 4298528 KiB
[startup+3603.11 s]*
/proc/loadavg: 4.21 4.13 4.13 5/252 34816
/proc/meminfo: memFree=126723992/131655788 swapFree=131071216/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3603.14
CPU time (s): 3590.03
CPU user time (s): 3579.3
CPU system time (s): 10.7328
CPU usage (%): 99.6362
Max. virtual memory (cumulated for all children) (KiB): 4488560
Max. memory (cumulated for all children) (KiB): 4389636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.3
system time used= 10.7328
maximum resident set size= 4389636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4275668
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= 11275
involuntary context switches= 8369
# summary of solver processes directly reported to runsolver:
# pid: 32711
# total CPU time (s): 3590.03
# total CPU user time (s): 3579.3
# total CPU system time (s): 10.7328
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8894 second user time and 35.344 second system time
The end
Begin job on nodeC007 at 2024-07-31 02:30:08
IDJOB=4464510
IDBENCH=160363
IDSOLVER=3092
FILE ID=nodeC007/4464510-1722385808
RUNJOBID= nodeC007-1722378594-28208
SLURM_JOB_ID= 8249837
Free space on /tmp= 723532 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x90split.cnf-plain.pb.metafix.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464510-1722385808/watcher-4464510-1722385808 -o /tmp/evaluation-result-4464510-1722385808/solver-4464510-1722385808 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1722378594-28208 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464510-1722385808.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 43b43b4642a1f471c30a83b83143bc9f
RANDOM SEED=99795441
nodeC007.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 : 0xb00001f
cpu MHz : 3491.793
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58
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 : 0xb00001f
cpu MHz : 3674.958
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.325
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58
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 : 0xb00001f
cpu MHz : 1197.247
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 3665.266
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58
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 : 0xb00001f
cpu MHz : 1197.187
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
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 : 0xb00001f
cpu MHz : 1197.294
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.58
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 : 0xb00001f
cpu MHz : 3491.518
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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 : 6983.35
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 103157360 kB
MemAvailable: 103592264 kB
Buffers: 90168 kB
Cached: 1182040 kB
SwapCached: 100 kB
Active: 424352 kB
Inactive: 27594708 kB
Active(anon): 1492 kB
Inactive(anon): 26766456 kB
Active(file): 422860 kB
Inactive(file): 828252 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 28464 kB
Writeback: 0 kB
AnonPages: 26745460 kB
Mapped: 123912 kB
Shmem: 21076 kB
KReclaimable: 47980 kB
Slab: 124768 kB
SReclaimable: 47980 kB
SUnreclaim: 76788 kB
KernelStack: 4000 kB
PageTables: 62268 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 18964156 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6400 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10391552 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: 174920 kB
DirectMap2M: 7069696 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 723672 MiB
End job on nodeC007 at 2024-07-31 03:30:11