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.01 c Default LC presolving (default).
0.00/0.01 c ** Before presolving: virtualMemUsedAtLc = 29683712, getVmSize() = 29683712, SCIPgetMemUsed() = 5718652, SCIPgetMemTotal() = 7858332, SCIPgetMemExternEstim() = 3844708
0.00/0.01 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.03 c ** Estimated virtualMemUsedAtSolver = 23154688, getVmSize() = 39780352, SCIPgetMemUsed() = 10352608, SCIPgetMemTotal() = 16816944, SCIPgetMemExternEstim() = 3844708
0.00/0.03 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.03 c Original Problem :
0.00/0.03 c Problem name : instance-4464580-1722385806
0.00/0.03 c Variables : 801 (801 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.03 c Constraints : 3202
0.00/0.03 c Objective sense : minimize
0.00/0.03 c Presolved Problem :
0.00/0.03 c Variables : 800 (800 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.03 c Constraints : 1600
0.00/0.03 c Constraints : Number
0.00/0.03 c linear : 1600
0.00/0.03 c ** Instance transfer method used: 0
0.00/0.04 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.04 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.04 c Nodes Active
0.00/0.04 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.66/5.78 c 6 2743 2183 1 - 0.0000 -
10.74/10.82 c 11 8798 6784 1 - 0.0000 -
15.73/15.88 c 16 14972 10560 1 - 0.0000 -
20.81/20.93 c 21 21026 14551 1 - 0.0000 -
25.80/25.99 c 26 27238 18856 1 - 0.0000 -
30.88/31.04 c 31 33189 23454 1 - 0.0000 -
35.87/36.09 c 36 39224 27490 1 - 0.0000 -
40.95/41.14 c 41 45166 31759 1 - 0.0000 -
45.94/46.19 c 46 51282 35755 1 - 0.0000 -
51.02/51.24 c 51 57088 39889 1 - 0.0000 -
56.00/56.29 c 56 62819 43400 1 - 0.0000 -
61.08/61.34 c 61 68707 47027 1 - 0.0000 -
66.07/66.39 c 66 74699 50596 1 - 0.0000 -
71.15/71.44 c 71 81102 54126 1 - 0.0000 -
76.13/76.49 c 76 87001 57574 1 - 0.0000 -
81.21/81.54 c 82 93138 61526 1 - 0.0000 -
86.20/86.59 c 87 98944 65454 1 - 0.0000 -
91.28/91.64 c 92 104865 68976 1 - 0.0000 -
96.36/96.71 c 97 110129 72465 1 - 0.0000 -
101.35/101.76 c 102 115251 75881 1 - 0.0000 -
106.43/106.80 c 107 121147 79281 1 - 0.0000 -
111.42/111.85 c 112 127040 82825 1 - 0.0000 -
116.50/116.90 c 117 133022 85933 1 - 0.0000 -
121.48/121.95 c 122 138325 89067 1 - 0.0000 -
126.57/127.00 c 127 143452 92272 1 - 0.0000 -
131.55/132.05 c 132 149438 95363 1 - 0.0000 -
136.64/137.10 c 137 155317 98606 1 - 0.0000 -
141.62/142.15 c 142 161209 101717 1 - 0.0000 -
146.70/147.20 c 147 166258 104617 1 - 0.0000 -
151.68/152.25 c 152 172092 107918 1 - 0.0000 -
156.77/157.30 c 157 177782 111102 1 - 0.0000 -
161.75/162.37 c 162 183762 114627 1 - 0.0000 -
166.82/167.41 c 167 189650 117724 1 - 0.0000 -
171.81/172.46 c 172 194944 120587 1 - 0.0000 -
176.89/177.51 c 178 200565 123216 1 - 0.0000 -
181.87/182.57 c 183 206089 126659 1 - 0.0000 -
186.94/187.61 c 188 211214 129831 1 - 0.0000 -
191.92/192.66 c 193 216199 132403 1 - 0.0000 -
197.01/197.71 c 198 221971 135340 1 - 0.0000 -
201.99/202.76 c 203 227607 138258 1 - 0.0000 -
207.07/207.83 c 208 232736 141096 1 - 0.0000 -
212.06/212.87 c 213 238621 144382 1 - 0.0000 -
217.14/217.92 c 218 244131 147316 1 - 0.0000 -
222.12/222.97 c 223 249404 150461 1 - 0.0000 -
227.21/228.02 c 228 255250 153454 1 - 0.0000 -
232.20/233.07 c 233 261017 156402 1 - 0.0000 -
237.27/238.12 c 238 266095 159261 1 - 0.0000 -
242.26/243.17 c 243 270810 162211 1 - 0.0000 -
247.34/248.22 c 248 276475 165211 1 - 0.0000 -
252.32/253.27 c 253 281762 168232 1 - 0.0000 -
257.40/258.32 c 258 287578 171320 1 - 0.0000 -
262.38/263.37 c 263 293264 174766 1 - 0.0000 -
267.47/268.42 c 268 299062 177905 1 - 0.0000 -
272.46/273.47 c 273 304669 180601 1 - 0.0000 -
277.54/278.52 c 279 310599 183371 1 - 0.0000 -
282.51/283.57 c 284 316920 186313 1 - 0.0000 -
287.59/288.63 c 289 322557 188927 1 - 0.0000 -
292.58/293.69 c 294 328145 191424 1 - 0.0000 -
297.66/298.73 c 299 333323 194690 1 - 0.0000 -
302.65/303.78 c 304 338368 197204 1 - 0.0000 -
307.73/308.83 c 309 344385 200217 1 - 0.0000 -
312.71/313.88 c 314 350553 203454 1 - 0.0000 -
317.80/318.96 c 319 356095 205749 1 - 0.0000 -
322.88/324.01 c 324 361644 208309 1 - 0.0000 -
327.87/329.05 c 329 367318 210806 1 - 0.0000 -
332.95/334.10 c 334 372758 213361 1 - 0.0000 -
337.93/339.15 c 339 378577 216105 1 - 0.0000 -
343.01/344.20 c 344 384401 218986 1 - 0.0000 -
347.99/349.25 c 349 390045 222674 1 - 0.0000 -
353.08/354.30 c 354 395507 225528 1 - 0.0000 -
358.06/359.35 c 359 401514 228284 1 - 0.0000 -
363.14/364.40 c 364 406603 230739 1 - 0.0000 -
368.13/369.45 c 369 412450 233584 1 - 0.0000 -
373.21/374.50 c 375 418084 235889 1 - 0.0000 -
378.20/379.55 c 380 423953 238437 1 - 0.0000 -
383.27/384.60 c 385 429280 241526 1 - 0.0000 -
388.26/389.65 c 390 435011 244176 1 - 0.0000 -
393.34/394.71 c 395 441008 247470 1 - 0.0000 -
398.32/399.76 c 400 447674 249792 1 - 0.0000 -
403.41/404.83 c 405 452967 251979 1 - 0.0000 -
408.39/409.88 c 410 458614 254938 1 - 0.0000 -
413.47/414.93 c 415 463706 257849 1 - 0.0000 -
418.46/419.99 c 420 468203 260982 1 - 0.0000 -
423.55/425.04 c 425 472840 263484 1 - 0.0000 -
428.53/430.08 c 430 477863 266057 1 - 0.0000 -
433.62/435.13 c 435 483990 268894 1 - 0.0000 -
438.60/440.18 c 440 489081 272152 1 - 0.0000 -
443.68/445.25 c 445 493850 275804 1 - 0.0000 -
448.76/450.30 c 450 498827 279835 1 - 0.0000 -
453.75/455.35 c 455 503879 283203 1 - 0.0000 -
458.83/460.40 c 460 508616 286597 1 - 0.0000 -
463.81/465.45 c 465 513830 290016 1 - 0.0000 -
468.89/470.50 c 471 518900 293001 1 - 0.0000 -
473.87/475.55 c 476 523579 296163 1 - 0.0000 -
478.97/480.60 c 481 528690 299567 1 - 0.0000 -
483.95/485.65 c 486 533659 302827 1 - 0.0000 -
489.03/490.70 c 491 538671 305872 1 - 0.0000 -
494.01/495.75 c 496 543685 309024 1 - 0.0000 -
499.10/500.80 c 501 549013 311640 1 - 0.0000 -
504.08/505.85 c 506 554299 314298 1 - 0.0000 -
509.16/510.90 c 511 559290 317055 1 - 0.0000 -
514.14/515.95 c 516 565089 319635 1 - 0.0000 -
519.23/521.00 c 521 570480 322234 1 - 0.0000 -
524.21/526.05 c 526 575768 324838 1 - 0.0000 -
529.29/531.10 c 531 581040 327569 1 - 0.0000 -
534.28/536.16 c 536 587550 330473 1 - 0.0000 -
539.36/541.21 c 541 592825 332612 1 - 0.0000 -
544.44/546.30 c 546 598545 335241 1 - 0.0000 -
549.42/551.34 c 551 603528 337904 1 - 0.0000 -
554.51/556.40 c 556 609097 340272 1 - 0.0000 -
559.49/561.45 c 561 613777 342815 1 - 0.0000 -
564.58/566.50 c 567 619241 345010 1 - 0.0000 -
569.56/571.55 c 572 624488 347174 1 - 0.0000 -
574.63/576.61 c 577 629973 349476 1 - 0.0000 -
579.61/581.65 c 582 636406 352180 1 - 0.0000 -
584.70/586.70 c 587 641838 354659 1 - 0.0000 -
589.68/591.76 c 592 646892 356690 1 - 0.0000 -
594.76/596.82 c 597 651002 358917 1 - 0.0000 -
599.74/601.88 c 602 655556 361152 1 - 0.0000 -
604.83/606.94 c 607 661057 363413 1 - 0.0000 -
609.81/611.99 c 612 666322 365814 1 - 0.0000 -
614.90/617.04 c 617 671173 368323 1 - 0.0000 -
619.98/622.10 c 622 676769 371001 1 - 0.0000 -
624.97/627.16 c 627 681505 374255 1 - 0.0000 -
630.04/632.22 c 632 686392 376817 1 - 0.0000 -
635.02/637.26 c 637 691045 379059 1 - 0.0000 -
640.11/642.31 c 642 695830 381022 1 - 0.0000 -
645.09/647.36 c 647 700939 383026 1 - 0.0000 -
650.17/652.41 c 652 705907 385008 1 - 0.0000 -
655.15/657.46 c 657 711110 387206 1 - 0.0000 -
660.23/662.51 c 663 717100 389579 1 - 0.0000 -
665.22/667.58 c 668 722667 391995 1 - 0.0000 -
670.30/672.62 c 673 727248 394249 1 - 0.0000 -
675.28/677.67 c 678 731784 396806 1 - 0.0000 -
680.37/682.72 c 683 736500 398969 1 - 0.0000 -
685.35/687.77 c 688 742286 401430 1 - 0.0000 -
690.44/692.82 c 693 747500 403459 1 - 0.0000 -
695.41/697.87 c 698 752537 406103 1 - 0.0000 -
700.50/702.92 c 703 757408 408527 1 - 0.0000 -
705.49/707.97 c 708 762089 410392 1 - 0.0000 -
710.57/713.03 c 713 766693 412139 1 - 0.0000 -
715.56/718.07 c 718 770898 413722 1 - 0.0000 -
720.64/723.12 c 723 776327 415764 1 - 0.0000 -
725.72/728.20 c 728 781172 417688 1 - 0.0000 -
730.70/733.25 c 733 786041 419711 1 - 0.0000 -
735.79/738.30 c 738 790801 421988 1 - 0.0000 -
740.77/743.35 c 743 796259 424340 1 - 0.0000 -
745.85/748.40 c 748 800950 426441 1 - 0.0000 -
750.83/753.45 c 753 806225 429122 1 - 0.0000 -
755.91/758.52 c 759 811310 431819 1 - 0.0000 -
760.90/763.57 c 764 816776 434461 1 - 0.0000 -
765.97/768.62 c 769 822061 436802 1 - 0.0000 -
770.96/773.67 c 774 827800 438834 1 - 0.0000 -
776.05/778.72 c 779 832877 440915 1 - 0.0000 -
781.03/783.77 c 784 838097 442837 1 - 0.0000 -
786.12/788.88 c 789 843459 445190 1 - 0.0000 -
791.19/793.95 c 794 848303 447830 1 - 0.0000 -
796.28/799.07 c 799 853902 450152 1 - 0.0000 -
801.35/804.12 c 804 859137 452828 1 - 0.0000 -
806.34/809.18 c 809 864771 455438 1 - 0.0000 -
811.42/814.24 c 814 869926 458018 1 - 0.0000 -
816.41/819.29 c 819 875573 460578 1 - 0.0000 -
821.48/824.35 c 824 880980 462721 1 - 0.0000 -
826.47/829.39 c 829 886719 465351 1 - 0.0000 -
831.55/834.44 c 834 892848 467629 1 - 0.0000 -
836.63/839.52 c 840 898564 469898 1 - 0.0000 -
841.61/844.58 c 845 903714 471981 1 - 0.0000 -
846.70/849.62 c 850 909038 474347 1 - 0.0000 -
851.68/854.67 c 855 915131 477351 1 - 0.0000 -
856.77/859.72 c 860 920548 479541 1 - 0.0000 -
861.75/864.77 c 865 925999 481429 1 - 0.0000 -
866.83/869.82 c 870 931667 483316 1 - 0.0000 -
871.81/874.89 c 875 936119 485375 1 - 0.0000 -
877.00/880.03 c 880 941576 487773 1 - 0.0000 -
881.99/885.07 c 885 946267 490448 1 - 0.0000 -
887.08/890.12 c 890 951195 493629 1 - 0.0000 -
892.06/895.19 c 895 956966 496835 1 - 0.0000 -
897.13/900.26 c 900 962447 499949 1 - 0.0000 -
902.22/905.32 c 905 967448 502689 1 - 0.0000 -
907.20/910.36 c 910 972445 505514 1 - 0.0000 -
912.29/915.44 c 915 977515 508159 1 - 0.0000 -
917.38/920.50 c 921 982799 511308 1 - 0.0000 -
922.45/925.64 c 926 987864 514741 1 - 0.0000 -
927.44/930.69 c 931 992524 517506 1 - 0.0000 -
932.52/935.76 c 936 997698 520495 1 - 0.0000 -
937.61/940.81 c 941 1003167 523758 1 - 0.0000 -
942.59/945.86 c 946 1008323 526325 1 - 0.0000 -
947.67/950.96 c 951 1013275 529018 1 - 0.0000 -
952.77/956.01 c 956 1018046 531464 1 - 0.0000 -
957.75/961.06 c 961 1023189 534026 1 - 0.0000 -
962.83/966.11 c 966 1028554 536676 1 - 0.0000 -
967.82/971.16 c 971 1033512 539083 1 - 0.0000 -
972.90/976.21 c 976 1038628 541478 1 - 0.0000 -
977.88/981.26 c 981 1043631 543501 1 - 0.0000 -
982.96/986.31 c 986 1048634 545762 1 - 0.0000 -
987.95/991.37 c 991 1053497 548063 1 - 0.0000 -
993.03/996.42 c 996 1058473 550055 1 - 0.0000 -
998.01/1001.48 c 1001 1064150 552196 1 - 0.0000 -
1003.10/1006.53 c 1007 1069389 554505 1 - 0.0000 -
1008.09/1011.58 c 1012 1074348 556427 1 - 0.0000 -
1013.17/1016.64 c 1017 1079401 558364 1 - 0.0000 -
1018.15/1021.69 c 1022 1084588 560631 1 - 0.0000 -
1023.24/1026.74 c 1027 1089290 562754 1 - 0.0000 -
1028.22/1031.79 c 1032 1094823 565147 1 - 0.0000 -
1033.30/1036.84 c 1037 1099873 567355 1 - 0.0000 -
1038.29/1041.89 c 1042 1105508 569537 1 - 0.0000 -
1043.37/1046.94 c 1047 1110339 571415 1 - 0.0000 -
1048.36/1051.99 c 1052 1116055 573764 1 - 0.0000 -
1053.45/1057.09 c 1057 1121873 576010 1 - 0.0000 -
1058.52/1062.14 c 1062 1126850 578095 1 - 0.0000 -
1063.51/1067.19 c 1067 1131783 580213 1 - 0.0000 -
1068.59/1072.24 c 1072 1136838 582564 1 - 0.0000 -
1073.68/1077.33 c 1077 1141203 584875 1 - 0.0000 -
1078.66/1082.38 c 1082 1145754 586672 1 - 0.0000 -
1083.75/1087.43 c 1087 1150464 588541 1 - 0.0000 -
1088.73/1092.48 c 1092 1155336 590735 1 - 0.0000 -
1093.81/1097.53 c 1098 1161121 592909 1 - 0.0000 -
1098.79/1102.58 c 1103 1167770 595634 1 - 0.0000 -
1103.88/1107.63 c 1108 1173148 597857 1 - 0.0000 -
1108.97/1112.76 c 1113 1178829 600209 1 - 0.0000 -
1114.04/1117.80 c 1118 1183609 602798 1 - 0.0000 -
1119.04/1122.85 c 1123 1190357 605217 1 - 0.0000 -
1124.12/1127.90 c 1128 1197040 607996 1 - 0.0000 -
1129.10/1132.95 c 1133 1203436 610523 1 - 0.0000 -
1134.19/1138.00 c 1138 1209754 612719 1 - 0.0000 -
1139.18/1143.05 c 1143 1216414 614970 1 - 0.0000 -
1144.26/1148.10 c 1148 1223353 617006 1 - 0.0000 -
1149.24/1153.15 c 1153 1230488 619357 1 - 0.0000 -
1154.32/1158.20 c 1158 1236463 621536 1 - 0.0000 -
1159.30/1163.25 c 1163 1241518 623365 1 - 0.0000 -
1164.38/1168.30 c 1168 1245973 625194 1 - 0.0000 -
1169.37/1173.35 c 1173 1250580 627340 1 - 0.0000 -
1174.46/1178.40 c 1178 1255525 629647 1 - 0.0000 -
1179.44/1183.45 c 1183 1260876 631870 1 - 0.0000 -
1184.52/1188.50 c 1189 1266325 634205 1 - 0.0000 -
1189.51/1193.55 c 1194 1271354 636045 1 - 0.0000 -
1194.59/1198.60 c 1199 1276453 638241 1 - 0.0000 -
1199.67/1203.70 c 1204 1281134 640456 1 - 0.0000 -
1204.66/1208.75 c 1209 1286158 642275 1 - 0.0000 -
1209.74/1213.80 c 1214 1291360 644215 1 - 0.0000 -
1214.72/1218.85 c 1219 1297100 646083 1 - 0.0000 -
1219.81/1223.90 c 1224 1302510 648014 1 - 0.0000 -
1224.79/1228.98 c 1229 1307781 649928 1 - 0.0000 -
1229.88/1234.03 c 1234 1313102 651769 1 - 0.0000 -
1234.86/1239.08 c 1239 1318568 653783 1 - 0.0000 -
1239.95/1244.15 c 1244 1324254 655751 1 - 0.0000 -
1244.93/1249.19 c 1249 1330320 658052 1 - 0.0000 -
1250.02/1254.25 c 1254 1335089 659981 1 - 0.0000 -
1255.10/1259.30 c 1259 1339974 661917 1 - 0.0000 -
1260.08/1264.38 c 1264 1345215 663958 1 - 0.0000 -
1265.16/1269.43 c 1269 1350508 665947 1 - 0.0000 -
1270.14/1274.48 c 1274 1355987 667898 1 - 0.0000 -
1275.24/1279.53 c 1280 1361180 670066 1 - 0.0000 -
1280.32/1284.60 c 1285 1365885 672190 1 - 0.0000 -
1285.30/1289.65 c 1290 1370479 674286 1 - 0.0000 -
1290.38/1294.74 c 1295 1375322 676343 1 - 0.0000 -
1295.37/1299.78 c 1300 1380483 678761 1 - 0.0000 -
1300.46/1304.83 c 1305 1386191 681592 1 - 0.0000 -
1305.44/1309.88 c 1310 1390596 683431 1 - 0.0000 -
1310.53/1314.93 c 1315 1396014 685569 1 - 0.0000 -
1315.51/1319.98 c 1320 1400528 687438 1 - 0.0000 -
1320.59/1325.03 c 1325 1405988 690512 1 - 0.0000 -
1325.58/1330.08 c 1330 1411835 692992 1 - 0.0000 -
1330.67/1335.13 c 1335 1416544 694834 1 - 0.0000 -
1335.74/1340.25 c 1340 1421082 696903 1 - 0.0000 -
1340.82/1345.30 c 1345 1425572 699074 1 - 0.0000 -
1345.82/1350.35 c 1350 1430762 701386 1 - 0.0000 -
1350.90/1355.40 c 1355 1435252 703490 1 - 0.0000 -
1355.88/1360.46 c 1360 1440399 705536 1 - 0.0000 -
1360.96/1365.50 c 1366 1445727 707395 1 - 0.0000 -
1365.96/1370.58 c 1371 1450638 709728 1 - 0.0000 -
1371.04/1375.63 c 1376 1455880 711904 1 - 0.0000 -
1376.12/1380.70 c 1381 1459845 714164 1 - 0.0000 -
1381.10/1385.74 c 1386 1464364 716282 1 - 0.0000 -
1386.09/1390.79 c 1391 1468018 718247 1 - 0.0000 -
1391.27/1395.96 c 1396 1471121 719925 1 - 0.0000 -
1396.36/1401.01 c 1401 1475145 721499 1 - 0.0000 -
1401.35/1406.10 c 1406 1479988 723361 1 - 0.0000 -
1406.53/1411.20 c 1411 1484579 725439 1 - 0.0000 -
1411.51/1416.25 c 1416 1489211 727587 1 - 0.0000 -
1416.59/1421.30 c 1421 1494448 729431 1 - 0.0000 -
1421.58/1426.35 c 1426 1499303 731176 1 - 0.0000 -
1426.67/1431.40 c 1431 1503839 733158 1 - 0.0000 -
1431.75/1436.59 c 1437 1506509 735076 1 - 0.0000 -
1436.94/1441.78 c 1442 1508978 736783 1 - 0.0000 -
1442.02/1446.86 c 1447 1512318 738712 1 - 0.0000 -
1447.11/1451.98 c 1452 1515807 740473 1 - 0.0000 -
1452.19/1457.07 c 1457 1521866 742650 1 - 0.0000 -
1457.28/1462.19 c 1462 1526835 744439 1 - 0.0000 -
1462.36/1467.24 c 1467 1531612 746531 1 - 0.0000 -
1467.34/1472.29 c 1472 1536943 748528 1 - 0.0000 -
1472.42/1477.34 c 1477 1541531 750901 1 - 0.0000 -
1477.41/1482.39 c 1482 1546267 752715 1 - 0.0000 -
1482.49/1487.44 c 1487 1550790 754599 1 - 0.0000 -
1487.48/1492.49 c 1492 1556127 756699 1 - 0.0000 -
1492.57/1497.54 c 1498 1561207 758728 1 - 0.0000 -
1497.55/1502.59 c 1503 1566416 760830 1 - 0.0000 -
1502.63/1507.64 c 1508 1571211 762699 1 - 0.0000 -
1507.62/1512.69 c 1513 1575911 764931 1 - 0.0000 -
1512.70/1517.77 c 1518 1580788 766724 1 - 0.0000 -
1517.89/1522.92 c 1523 1585894 768731 1 - 0.0000 -
1522.87/1527.98 c 1528 1591018 770709 1 - 0.0000 -
1527.96/1533.02 c 1533 1595715 772623 1 - 0.0000 -
1532.94/1538.07 c 1538 1601457 774796 1 - 0.0000 -
1538.03/1543.13 c 1543 1607097 776664 1 - 0.0000 -
1543.10/1548.21 c 1548 1611306 778501 1 - 0.0000 -
1548.08/1553.26 c 1553 1617165 780828 1 - 0.0000 -
1553.18/1558.31 c 1558 1622753 783549 1 - 0.0000 -
1558.25/1563.46 c 1563 1626937 785463 1 - 0.0000 -
1563.34/1568.51 c 1569 1632040 787568 1 - 0.0000 -
1568.32/1573.56 c 1574 1637366 789640 1 - 0.0000 -
1573.40/1578.61 c 1579 1643070 792083 1 - 0.0000 -
1578.39/1583.67 c 1584 1648651 794225 1 - 0.0000 -
1583.48/1588.72 c 1589 1654968 797116 1 - 0.0000 -
1588.56/1593.81 c 1594 1660106 800104 1 - 0.0000 -
1593.55/1598.86 c 1599 1666515 802676 1 - 0.0000 -
1598.63/1603.91 c 1604 1673068 805167 1 - 0.0000 -
1603.61/1608.96 c 1609 1679044 807564 1 - 0.0000 -
1608.70/1614.01 c 1614 1683892 809677 1 - 0.0000 -
1613.68/1619.06 c 1619 1689979 812244 1 - 0.0000 -
1618.76/1624.11 c 1624 1695483 814105 1 - 0.0000 -
1623.84/1629.28 c 1629 1700480 816079 1 - 0.0000 -
1628.94/1634.37 c 1634 1704802 818131 1 - 0.0000 -
1634.01/1639.42 c 1639 1709042 820009 1 - 0.0000 -
1639.00/1644.47 c 1644 1714856 822152 1 - 0.0000 -
1644.08/1649.52 c 1650 1719794 824568 1 - 0.0000 -
1649.06/1654.57 c 1655 1724778 826327 1 - 0.0000 -
1654.15/1659.62 c 1660 1730278 828188 1 - 0.0000 -
1659.13/1664.67 c 1665 1735341 829862 1 - 0.0000 -
1664.32/1669.87 c 1670 1739933 831536 1 - 0.0000 -
1669.40/1674.99 c 1675 1744808 833444 1 - 0.0000 -
1674.68/1680.20 c 1680 1749239 835331 1 - 0.0000 -
1679.67/1685.25 c 1685 1754186 837584 1 - 0.0000 -
1684.75/1690.30 c 1690 1759640 839438 1 - 0.0000 -
1689.94/1695.57 c 1696 1762687 841481 1 - 0.0000 -
1695.02/1700.62 c 1701 1766712 843844 1 - 0.0000 -
1700.21/1705.89 c 1706 1769820 845830 1 - 0.0000 -
1705.59/1711.24 c 1711 1773819 847988 1 - 0.0000 -
1710.68/1716.32 c 1716 1776835 849990 1 - 0.0000 -
1715.86/1721.53 c 1722 1780682 852402 1 - 0.0000 -
1720.95/1726.63 c 1727 1783204 854094 1 - 0.0000 -
1726.13/1731.86 c 1732 1786216 856144 1 - 0.0000 -
1731.51/1737.29 c 1737 1788913 857890 1 - 0.0000 -
1736.70/1742.49 c 1742 1791212 859619 1 - 0.0000 -
1741.98/1747.73 c 1748 1793644 861339 1 - 0.0000 -
1747.28/1753.00 c 1753 1796294 863185 1 - 0.0000 -
1752.45/1758.21 c 1758 1799861 865317 1 - 0.0000 -
1757.54/1763.31 c 1763 1803611 867459 1 - 0.0000 -
1762.62/1768.40 c 1768 1807659 869807 1 - 0.0000 -
1767.71/1773.51 c 1774 1811536 872159 1 - 0.0000 -
1772.69/1778.56 c 1779 1816235 874606 1 - 0.0000 -
1777.77/1783.61 c 1784 1820967 876692 1 - 0.0000 -
1782.86/1788.75 c 1789 1825436 878961 1 - 0.0000 -
1788.15/1794.04 c 1794 1829072 881214 1 - 0.0000 -
1793.13/1799.09 c 1799 1832464 883146 1 - 0.0000 -
1798.22/1804.19 c 1804 1837254 885552 1 - 0.0000 -
1803.40/1809.34 c 1809 1841467 887647 1 - 0.0000 -
1808.37/1814.39 c 1814 1846143 889752 1 - 0.0000 -
1813.46/1819.44 c 1819 1850000 891874 1 - 0.0000 -
1818.55/1824.50 c 1824 1854070 894058 1 - 0.0000 -
1823.53/1829.54 c 1830 1858483 896239 1 - 0.0000 -
1828.52/1834.59 c 1835 1864071 898375 1 - 0.0000 -
1833.60/1839.65 c 1840 1868475 900733 1 - 0.0000 -
1838.88/1844.91 c 1845 1872914 902891 1 - 0.0000 -
1843.87/1849.96 c 1850 1876437 905057 1 - 0.0000 -
1849.06/1855.12 c 1855 1879705 907275 1 - 0.0000 -
1854.04/1860.18 c 1860 1883570 909262 1 - 0.0000 -
1859.13/1865.23 c 1865 1888028 911410 1 - 0.0000 -
1864.11/1870.28 c 1870 1892418 913328 1 - 0.0000 -
1869.29/1875.46 c 1875 1896009 915483 1 - 0.0000 -
1874.37/1880.50 c 1881 1899638 917769 1 - 0.0000 -
1879.36/1885.55 c 1886 1903153 919998 1 - 0.0000 -
1884.55/1890.74 c 1891 1906510 922048 1 - 0.0000 -
1889.53/1895.78 c 1896 1910262 924038 1 - 0.0000 -
1894.71/1900.99 c 1901 1914533 925877 1 - 0.0000 -
1899.80/1906.04 c 1906 1920747 928409 1 - 0.0000 -
1905.08/1911.33 c 1911 1925282 930574 1 - 0.0000 -
1910.06/1916.39 c 1916 1930219 932612 1 - 0.0000 -
1915.25/1921.52 c 1922 1934552 934703 1 - 0.0000 -
1920.43/1926.79 c 1927 1937679 936826 1 - 0.0000 -
1925.61/1931.97 c 1932 1941434 938860 1 - 0.0000 -
1930.70/1937.02 c 1937 1945946 940709 1 - 0.0000 -
1935.69/1942.07 c 1942 1950164 942760 1 - 0.0000 -
1940.77/1947.12 c 1947 1954192 944775 1 - 0.0000 -
1945.85/1952.20 c 1952 1958361 946962 1 - 0.0000 -
1950.83/1957.25 c 1957 1962992 948583 1 - 0.0000 -
1955.92/1962.33 c 1962 1966551 951019 1 - 0.0000 -
1960.90/1967.38 c 1967 1970875 953234 1 - 0.0000 -
1965.98/1972.43 c 1972 1975773 955162 1 - 0.0000 -
1970.98/1977.48 c 1977 1980697 956764 1 - 0.0000 -
1976.15/1982.62 c 1983 1984495 958823 1 - 0.0000 -
1981.14/1987.67 c 1988 1987375 960834 1 - 0.0000 -
1986.33/1992.82 c 1993 1991598 962500 1 - 0.0000 -
1991.31/1997.87 c 1998 1995288 964577 1 - 0.0000 -
1996.40/2002.96 c 2003 1998253 966304 1 - 0.0000 -
2001.49/2008.07 c 2008 2002471 968285 1 - 0.0000 -
2006.57/2013.12 c 2013 2006788 970236 1 - 0.0000 -
2011.55/2018.18 c 2018 2011336 972337 1 - 0.0000 -
2016.63/2023.23 c 2023 2015708 974210 1 - 0.0000 -
2021.61/2028.28 c 2028 2019711 975547 1 - 0.0000 -
2026.70/2033.34 c 2033 2025216 977351 1 - 0.0000 -
2031.78/2038.43 c 2038 2029006 979416 1 - 0.0000 -
2037.07/2043.77 c 2044 2031990 981395 1 - 0.0000 -
2042.25/2048.94 c 2049 2035553 983676 1 - 0.0000 -
2047.34/2054.02 c 2054 2040088 986219 1 - 0.0000 -
2052.32/2059.07 c 2059 2044045 988113 1 - 0.0000 -
2057.41/2064.12 c 2064 2047802 990391 1 - 0.0000 -
2062.39/2069.17 c 2069 2051689 992356 1 - 0.0000 -
2067.47/2074.22 c 2074 2056182 994065 1 - 0.0000 -
2072.45/2079.27 c 2079 2060182 996317 1 - 0.0000 -
2077.54/2084.33 c 2084 2064188 998248 1 - 0.0000 -
2082.52/2089.38 c 2089 2069258 1000466 1 - 0.0000 -
2087.61/2094.43 c 2094 2073895 1002140 1 - 0.0000 -
2092.59/2099.49 c 2100 2077735 1003853 1 - 0.0000 -
2097.68/2104.55 c 2105 2082213 1005706 1 - 0.0000 -
2102.66/2109.59 c 2110 2086497 1008065 1 - 0.0000 -
2107.74/2114.64 c 2115 2090586 1010251 1 - 0.0000 -
2112.93/2119.87 c 2120 2094527 1012464 1 - 0.0000 -
2118.01/2124.92 c 2125 2098975 1014340 1 - 0.0000 -
2123.00/2129.97 c 2130 2103407 1016012 1 - 0.0000 -
2128.09/2135.02 c 2135 2108011 1018158 1 - 0.0000 -
2133.07/2140.07 c 2140 2113145 1020430 1 - 0.0000 -
2138.16/2145.15 c 2145 2117802 1022692 1 - 0.0000 -
2143.13/2150.19 c 2150 2121915 1024652 1 - 0.0000 -
2148.21/2155.24 c 2155 2126632 1026165 1 - 0.0000 -
2153.20/2160.29 c 2160 2131615 1027809 1 - 0.0000 -
2158.29/2165.34 c 2165 2136366 1029286 1 - 0.0000 -
2163.36/2170.43 c 2170 2140618 1030997 1 - 0.0000 -
2168.35/2175.48 c 2175 2145356 1032504 1 - 0.0000 -
2173.43/2180.53 c 2181 2149884 1033970 1 - 0.0000 -
2178.42/2185.59 c 2186 2154653 1035820 1 - 0.0000 -
2183.60/2190.75 c 2191 2158469 1037618 1 - 0.0000 -
2188.69/2195.80 c 2196 2162338 1039471 1 - 0.0000 -
2193.67/2200.85 c 2201 2166380 1040944 1 - 0.0000 -
2198.76/2205.90 c 2206 2170441 1042827 1 - 0.0000 -
2203.74/2210.95 c 2211 2174268 1044304 1 - 0.0000 -
2208.82/2216.00 c 2216 2178591 1046351 1 - 0.0000 -
2213.90/2221.13 c 2221 2182754 1048286 1 - 0.0000 -
2218.99/2226.25 c 2226 2186425 1049895 1 - 0.0000 -
2224.06/2231.30 c 2231 2190884 1051443 1 - 0.0000 -
2229.06/2236.35 c 2236 2194744 1053152 1 - 0.0000 -
2234.13/2241.40 c 2241 2198738 1055018 1 - 0.0000 -
2239.12/2246.45 c 2246 2202978 1056569 1 - 0.0000 -
2244.21/2251.50 c 2252 2206948 1058322 1 - 0.0000 -
2249.19/2256.55 c 2257 2211091 1060269 1 - 0.0000 -
2254.37/2261.73 c 2262 2215418 1062186 1 - 0.0000 -
2259.36/2266.78 c 2267 2219918 1063916 1 - 0.0000 -
2264.64/2272.05 c 2272 2223871 1065765 1 - 0.0000 -
2269.73/2277.10 c 2277 2228316 1067597 1 - 0.0000 -
2274.71/2282.15 c 2282 2233072 1069420 1 - 0.0000 -
2279.79/2287.20 c 2287 2237115 1071201 1 - 0.0000 -
2284.78/2292.29 c 2292 2241507 1072667 1 - 0.0000 -
2290.06/2297.55 c 2298 2245677 1074279 1 - 0.0000 -
2295.14/2302.60 c 2303 2249780 1076222 1 - 0.0000 -
2300.13/2307.69 c 2308 2254534 1077821 1 - 0.0000 -
2305.22/2312.75 c 2313 2258953 1079597 1 - 0.0000 -
2310.30/2317.80 c 2318 2263394 1081565 1 - 0.0000 -
2315.28/2322.84 c 2323 2267149 1083294 1 - 0.0000 -
2320.57/2328.12 c 2328 2269798 1084893 1 - 0.0000 -
2325.55/2333.16 c 2333 2273949 1086891 1 - 0.0000 -
2330.63/2338.21 c 2338 2278490 1089270 1 - 0.0000 -
2335.62/2343.29 c 2343 2281726 1091421 1 - 0.0000 -
2340.80/2348.42 c 2348 2285157 1093376 1 - 0.0000 -
2345.79/2353.46 c 2353 2289139 1094846 1 - 0.0000 -
2350.88/2358.56 c 2359 2293116 1096657 1 - 0.0000 -
2355.95/2363.61 c 2364 2298155 1098744 1 - 0.0000 -
2361.04/2368.70 c 2369 2302443 1100532 1 - 0.0000 -
2366.02/2373.79 c 2374 2307334 1102770 1 - 0.0000 -
2371.11/2378.84 c 2379 2312182 1104880 1 - 0.0000 -
2376.09/2383.89 c 2384 2317343 1106765 1 - 0.0000 -
2381.17/2388.94 c 2389 2322664 1109141 1 - 0.0000 -
2386.16/2393.99 c 2394 2328253 1111046 1 - 0.0000 -
2391.25/2399.04 c 2399 2333889 1113167 1 - 0.0000 -
2396.23/2404.09 c 2404 2339838 1115378 1 - 0.0000 -
2401.31/2409.14 c 2409 2345910 1118219 1 - 0.0000 -
2406.39/2414.20 c 2414 2350739 1120754 1 - 0.0000 -
2411.38/2419.25 c 2419 2355216 1122673 1 - 0.0000 -
2416.45/2424.30 c 2424 2359165 1124057 1 - 0.0000 -
2421.44/2429.35 c 2429 2364897 1126156 1 - 0.0000 -
2426.52/2434.40 c 2434 2369433 1128017 1 - 0.0000 -
2431.51/2439.45 c 2439 2373606 1129669 1 - 0.0000 -
2436.59/2444.50 c 2445 2377803 1131137 1 - 0.0000 -
2441.58/2449.55 c 2450 2382877 1132649 1 - 0.0000 -
2446.66/2454.60 c 2455 2387529 1134496 1 - 0.0000 -
2451.65/2459.65 c 2460 2391835 1136041 1 - 0.0000 -
2456.74/2464.72 c 2465 2396001 1137630 1 - 0.0000 -
2461.71/2469.77 c 2470 2399952 1139373 1 - 0.0000 -
2466.79/2474.82 c 2475 2404277 1140910 1 - 0.0000 -
2471.78/2479.87 c 2480 2408297 1142599 1 - 0.0000 -
2476.87/2484.92 c 2485 2412926 1144243 1 - 0.0000 -
2481.85/2489.97 c 2490 2417646 1145933 1 - 0.0000 -
2486.93/2495.03 c 2495 2421731 1147379 1 - 0.0000 -
2492.02/2500.12 c 2500 2426608 1149300 1 - 0.0000 -
2497.10/2505.29 c 2505 2430852 1150698 1 - 0.0000 -
2502.19/2510.33 c 2510 2435230 1152458 1 - 0.0000 -
2507.17/2515.38 c 2515 2438821 1153873 1 - 0.0000 -
2512.35/2520.56 c 2521 2443467 1155696 1 - 0.0000 -
2517.44/2525.61 c 2526 2447772 1157444 1 - 0.0000 -
2522.42/2530.66 c 2531 2451218 1158948 1 - 0.0000 -
2527.51/2535.72 c 2536 2455431 1160614 1 - 0.0000 -
2532.59/2540.82 c 2541 2458804 1162536 1 - 0.0000 -
2537.78/2546.08 c 2546 2462136 1164027 1 - 0.0000 -
2542.87/2551.19 c 2551 2466055 1165489 1 - 0.0000 -
2547.94/2556.24 c 2556 2469865 1167049 1 - 0.0000 -
2553.03/2561.30 c 2561 2474148 1168464 1 - 0.0000 -
2558.01/2566.36 c 2566 2478271 1170203 1 - 0.0000 -
2563.09/2571.41 c 2571 2482358 1171588 1 - 0.0000 -
2568.08/2576.46 c 2576 2485946 1172890 1 - 0.0000 -
2573.16/2581.55 c 2582 2490245 1174884 1 - 0.0000 -
2578.15/2586.59 c 2587 2493589 1176584 1 - 0.0000 -
2583.33/2591.70 c 2592 2496058 1178361 1 - 0.0000 -
2588.82/2597.26 c 2597 2498706 1180324 1 - 0.0000 -
2593.91/2602.37 c 2602 2500935 1182007 1 - 0.0000 -
2598.98/2607.45 c 2607 2504761 1184239 1 - 0.0000 -
2604.06/2612.59 c 2613 2508499 1186506 1 - 0.0000 -
2609.14/2617.64 c 2618 2511695 1188629 1 - 0.0000 -
2614.43/2622.90 c 2623 2514999 1190681 1 - 0.0000 -
2619.41/2627.95 c 2628 2516948 1192278 1 - 0.0000 -
2624.68/2633.20 c 2633 2519532 1194110 1 - 0.0000 -
2629.67/2638.25 c 2638 2522784 1196124 1 - 0.0000 -
2634.85/2643.48 c 2643 2525954 1197909 1 - 0.0000 -
2640.03/2648.65 c 2649 2528332 1199512 1 - 0.0000 -
2645.21/2653.80 c 2654 2531540 1201301 1 - 0.0000 -
2650.20/2658.88 c 2659 2534798 1203306 1 - 0.0000 -
2655.27/2663.99 c 2664 2538135 1205317 1 - 0.0000 -
2660.66/2669.36 c 2669 2540891 1207115 1 - 0.0000 -
2665.83/2674.53 c 2675 2543867 1209067 1 - 0.0000 -
2671.12/2679.82 c 2680 2547264 1211083 1 - 0.0000 -
2676.20/2684.91 c 2685 2551479 1213162 1 - 0.0000 -
2681.48/2690.27 c 2690 2554724 1215007 1 - 0.0000 -
2686.56/2695.31 c 2695 2557687 1216763 1 - 0.0000 -
2691.64/2700.47 c 2700 2561462 1219050 1 - 0.0000 -
2697.02/2705.84 c 2706 2565455 1221217 1 - 0.0000 -
2702.10/2710.95 c 2711 2569032 1223494 1 - 0.0000 -
2707.38/2716.28 c 2716 2572160 1225419 1 - 0.0000 -
2712.67/2721.51 c 2722 2575898 1227399 1 - 0.0000 -
2717.75/2726.65 c 2727 2579194 1229216 1 - 0.0000 -
2722.82/2731.74 c 2732 2583012 1231269 1 - 0.0000 -
2727.80/2736.79 c 2737 2586515 1233130 1 - 0.0000 -
2732.88/2741.84 c 2742 2590409 1235427 1 - 0.0000 -
2738.07/2747.03 c 2747 2594528 1237547 1 - 0.0000 -
2743.05/2752.07 c 2752 2598458 1239699 1 - 0.0000 -
2748.33/2757.36 c 2757 2601679 1241747 1 - 0.0000 -
2753.51/2762.59 c 2763 2605032 1243407 1 - 0.0000 -
2758.59/2767.65 c 2768 2609099 1245704 1 - 0.0000 -
2763.87/2772.97 c 2773 2612705 1247486 1 - 0.0000 -
2769.05/2778.15 c 2778 2616053 1249618 1 - 0.0000 -
2774.23/2783.31 c 2783 2619233 1251386 1 - 0.0000 -
2779.21/2788.37 c 2788 2622515 1253263 1 - 0.0000 -
2784.49/2793.68 c 2794 2626730 1255165 1 - 0.0000 -
2789.77/2798.98 c 2799 2630889 1257040 1 - 0.0000 -
2795.05/2804.22 c 2804 2635159 1258965 1 - 0.0000 -
2800.23/2809.44 c 2809 2638001 1260718 1 - 0.0000 -
2805.21/2814.49 c 2814 2641867 1262855 1 - 0.0000 -
2810.29/2819.55 c 2820 2644403 1264397 1 - 0.0000 -
2815.37/2824.60 c 2825 2648630 1266485 1 - 0.0000 -
2820.35/2829.65 c 2830 2652895 1268350 1 - 0.0000 -
2825.43/2834.70 c 2835 2657321 1270272 1 - 0.0000 -
2830.42/2839.75 c 2840 2661480 1272018 1 - 0.0000 -
2835.80/2845.12 c 2845 2665331 1273653 1 - 0.0000 -
2840.78/2850.19 c 2850 2669341 1275258 1 - 0.0000 -
2845.85/2855.23 c 2855 2673459 1276995 1 - 0.0000 -
2850.94/2860.34 c 2860 2677566 1278946 1 - 0.0000 -
2855.92/2865.38 c 2865 2681128 1280459 1 - 0.0000 -
2861.00/2870.44 c 2870 2685048 1282275 1 - 0.0000 -
2866.08/2875.57 c 2876 2688972 1283959 1 - 0.0000 -
2871.16/2880.61 c 2881 2693394 1285908 1 - 0.0000 -
2876.14/2885.66 c 2886 2697812 1287658 1 - 0.0000 -
2881.32/2890.83 c 2891 2702152 1289576 1 - 0.0000 -
2886.31/2895.88 c 2896 2706722 1291664 1 - 0.0000 -
2891.39/2900.93 c 2901 2711018 1293700 1 - 0.0000 -
2896.36/2905.98 c 2906 2715621 1295308 1 - 0.0000 -
2901.45/2911.03 c 2911 2719927 1296851 1 - 0.0000 -
2906.43/2916.08 c 2916 2724560 1298574 1 - 0.0000 -
2911.51/2921.14 c 2921 2728591 1300059 1 - 0.0000 -
2916.49/2926.19 c 2926 2732393 1301559 1 - 0.0000 -
2921.67/2931.32 c 2931 2736154 1303464 1 - 0.0000 -
2926.65/2936.37 c 2936 2740312 1305336 1 - 0.0000 -
2931.73/2941.43 c 2941 2744645 1306822 1 - 0.0000 -
2936.71/2946.47 c 2946 2748738 1308316 1 - 0.0000 -
2941.79/2951.52 c 2952 2752942 1310030 1 - 0.0000 -
2946.77/2956.57 c 2957 2756713 1311927 1 - 0.0000 -
2951.85/2961.62 c 2962 2761992 1314331 1 - 0.0000 -
2956.83/2966.67 c 2967 2766502 1316165 1 - 0.0000 -
2961.91/2971.72 c 2972 2771191 1317764 1 - 0.0000 -
2966.89/2976.77 c 2977 2776246 1319855 1 - 0.0000 -
2971.97/2981.82 c 2982 2781256 1321543 1 - 0.0000 -
2976.95/2986.87 c 2987 2786448 1323480 1 - 0.0000 -
2982.03/2991.92 c 2992 2790396 1325358 1 - 0.0000 -
2987.01/2996.97 c 2997 2794062 1326810 1 - 0.0000 -
2992.10/3002.02 c 3002 2797966 1328444 1 - 0.0000 -
2997.07/3007.07 c 3007 2802251 1330044 1 - 0.0000 -
3002.16/3012.12 c 3012 2806196 1331541 1 - 0.0000 -
3007.14/3017.17 c 3017 2809945 1333073 1 - 0.0000 -
3012.22/3022.22 c 3022 2813633 1334683 1 - 0.0000 -
3017.40/3027.40 c 3027 2817545 1336293 1 - 0.0000 -
3022.38/3032.49 c 3032 2821524 1338112 1 - 0.0000 -
3027.46/3037.55 c 3038 2825235 1339453 1 - 0.0000 -
3032.53/3042.60 c 3043 2828695 1341277 1 - 0.0000 -
3037.52/3047.65 c 3048 2832850 1342740 1 - 0.0000 -
3042.60/3052.71 c 3053 2837092 1344244 1 - 0.0000 -
3047.58/3057.75 c 3058 2841812 1345935 1 - 0.0000 -
3052.65/3062.80 c 3063 2845846 1347738 1 - 0.0000 -
3057.64/3067.85 c 3068 2850434 1349660 1 - 0.0000 -
3062.71/3072.90 c 3073 2853666 1351092 1 - 0.0000 -
3067.70/3077.95 c 3078 2857483 1352394 1 - 0.0000 -
3072.78/3083.00 c 3083 2861528 1353633 1 - 0.0000 -
3077.76/3088.05 c 3088 2866133 1355556 1 - 0.0000 -
3082.85/3093.10 c 3093 2869453 1357180 1 - 0.0000 -
3088.13/3098.46 c 3098 2872945 1358876 1 - 0.0000 -
3093.31/3103.62 c 3104 2876112 1360494 1 - 0.0000 -
3098.30/3108.67 c 3109 2880810 1362653 1 - 0.0000 -
3103.68/3114.01 c 3114 2884977 1364070 1 - 0.0000 -
3108.67/3119.06 c 3119 2888542 1365580 1 - 0.0000 -
3113.75/3124.11 c 3124 2892466 1367404 1 - 0.0000 -
3118.74/3129.16 c 3129 2896026 1368998 1 - 0.0000 -
3123.82/3134.21 c 3134 2899739 1370093 1 - 0.0000 -
3128.80/3139.26 c 3139 2903997 1372079 1 - 0.0000 -
3133.89/3144.31 c 3144 2908602 1374086 1 - 0.0000 -
3138.87/3149.37 c 3149 2912717 1375583 1 - 0.0000 -
3143.95/3154.41 c 3154 2916785 1377046 1 - 0.0000 -
3148.94/3159.46 c 3159 2921173 1378545 1 - 0.0000 -
3154.02/3164.51 c 3165 2924912 1380028 1 - 0.0000 -
3159.00/3169.56 c 3170 2929009 1381790 1 - 0.0000 -
3164.09/3174.61 c 3175 2933033 1383885 1 - 0.0000 -
3169.07/3179.66 c 3180 2936497 1385264 1 - 0.0000 -
3174.15/3184.74 c 3185 2940559 1387106 1 - 0.0000 -
3179.14/3189.79 c 3190 2944666 1388379 1 - 0.0000 -
3184.43/3195.00 c 3195 2948736 1389799 1 - 0.0000 -
3189.41/3200.04 c 3200 2952278 1391296 1 - 0.0000 -
3194.39/3205.09 c 3205 2955981 1393123 1 - 0.0000 -
3199.48/3210.18 c 3210 2959920 1394736 1 - 0.0000 -
3204.56/3215.22 c 3215 2964203 1396220 1 - 0.0000 -
3209.54/3220.27 c 3220 2968291 1397625 1 - 0.0000 -
3214.62/3225.32 c 3225 2972110 1398913 1 - 0.0000 -
3219.61/3230.37 c 3230 2975982 1400508 1 - 0.0000 -
3224.89/3235.65 c 3236 2979995 1402305 1 - 0.0000 -
3229.97/3240.70 c 3241 2984082 1403795 1 - 0.0000 -
3235.16/3245.93 c 3246 2988087 1405571 1 - 0.0000 -
3240.25/3251.01 c 3251 2991135 1407036 1 - 0.0000 -
3245.24/3256.05 c 3256 2995209 1408423 1 - 0.0000 -
3250.32/3261.10 c 3261 2999014 1409504 1 - 0.0000 -
3255.31/3266.15 c 3266 3004099 1411369 1 - 0.0000 -
3260.38/3271.20 c 3271 3009231 1413027 1 - 0.0000 -
3265.37/3276.25 c 3276 3013997 1414819 1 - 0.0000 -
3270.45/3281.35 c 3281 3017837 1416751 1 - 0.0000 -
3275.53/3286.40 c 3286 3021636 1417997 1 - 0.0000 -
3280.52/3291.45 c 3291 3025654 1420040 1 - 0.0000 -
3285.60/3296.50 c 3297 3029653 1421677 1 - 0.0000 -
3290.59/3301.55 c 3302 3033662 1423446 1 - 0.0000 -
3295.66/3306.60 c 3307 3037681 1425332 1 - 0.0000 -
3300.65/3311.65 c 3312 3041845 1426868 1 - 0.0000 -
3305.73/3316.70 c 3317 3046135 1428495 1 - 0.0000 -
3310.81/3321.84 c 3322 3050112 1430053 1 - 0.0000 -
3315.79/3326.89 c 3327 3054001 1431674 1 - 0.0000 -
3320.88/3331.93 c 3332 3058259 1433212 1 - 0.0000 -
3325.86/3336.98 c 3337 3062506 1434813 1 - 0.0000 -
3330.96/3342.03 c 3342 3067518 1436796 1 - 0.0000 -
3335.94/3347.08 c 3347 3072347 1438195 1 - 0.0000 -
3341.02/3352.13 c 3352 3077567 1439736 1 - 0.0000 -
3346.00/3357.18 c 3357 3082546 1441401 1 - 0.0000 -
3351.08/3362.23 c 3362 3087001 1443080 1 - 0.0000 -
3356.07/3367.28 c 3367 3091407 1444811 1 - 0.0000 -
3361.15/3372.33 c 3372 3095911 1446482 1 - 0.0000 -
3366.13/3377.38 c 3377 3100356 1448060 1 - 0.0000 -
3371.22/3382.47 c 3382 3105014 1450167 1 - 0.0000 -
3376.30/3387.52 c 3388 3110665 1453069 1 - 0.0000 -
3381.29/3392.58 c 3393 3116221 1455402 1 - 0.0000 -
3386.37/3397.69 c 3398 3119611 1456988 1 - 0.0000 -
3391.45/3402.74 c 3403 3123188 1458280 1 - 0.0000 -
3396.44/3407.79 c 3408 3127159 1459894 1 - 0.0000 -
3401.52/3412.84 c 3413 3131039 1461377 1 - 0.0000 -
3406.51/3417.89 c 3418 3135028 1462861 1 - 0.0000 -
3411.59/3422.94 c 3423 3138950 1464344 1 - 0.0000 -
3416.57/3427.99 c 3428 3143007 1466149 1 - 0.0000 -
3421.66/3433.04 c 3433 3146493 1467678 1 - 0.0000 -
3426.64/3438.09 c 3438 3150881 1469012 1 - 0.0000 -
3431.72/3443.14 c 3443 3155273 1470622 1 - 0.0000 -
3436.71/3448.19 c 3448 3159126 1472015 1 - 0.0000 -
3441.78/3453.26 c 3453 3163008 1473442 1 - 0.0000 -
3446.86/3458.31 c 3458 3167121 1475100 1 - 0.0000 -
3451.84/3463.36 c 3463 3171014 1476265 1 - 0.0000 -
3456.92/3468.41 c 3468 3175762 1477863 1 - 0.0000 -
3461.91/3473.46 c 3473 3179331 1479275 1 - 0.0000 -
3466.98/3478.51 c 3479 3183224 1480471 1 - 0.0000 -
3471.97/3483.56 c 3484 3187000 1481975 1 - 0.0000 -
3477.04/3488.61 c 3489 3190608 1483418 1 - 0.0000 -
3482.02/3493.66 c 3494 3194540 1484720 1 - 0.0000 -
3487.11/3498.72 c 3499 3198021 1486062 1 - 0.0000 -
3492.08/3503.77 c 3504 3202451 1487412 1 - 0.0000 -
3497.17/3508.81 c 3509 3206130 1488715 1 - 0.0000 -
3502.15/3513.86 c 3514 3210451 1489927 1 - 0.0000 -
3507.23/3518.91 c 3519 3213945 1491387 1 - 0.0000 -
3512.21/3523.96 c 3524 3217551 1492797 1 - 0.0000 -
3517.29/3529.01 c 3529 3221813 1494250 1 - 0.0000 -
3522.27/3534.06 c 3534 3225527 1495403 1 - 0.0000 -
3527.36/3539.11 c 3539 3229301 1496628 1 - 0.0000 -
3532.33/3544.16 c 3544 3232976 1497950 1 - 0.0000 -
3537.41/3549.22 c 3549 3236393 1498975 1 - 0.0000 -
3542.39/3554.27 c 3554 3239888 1500043 1 - 0.0000 -
3547.47/3559.32 c 3559 3244127 1501328 1 - 0.0000 -
3552.45/3564.37 c 3564 3248059 1502440 1 - 0.0000 -
3557.53/3569.42 c 3569 3251983 1503479 1 - 0.0000 -
3562.51/3574.47 c 3574 3255783 1504650 1 - 0.0000 -
3567.60/3579.52 c 3580 3259436 1505815 1 - 0.0000 -
3572.57/3584.57 c 3585 3264004 1507536 1 - 0.0000 -
3577.65/3589.62 c 3590 3267749 1508953 1 - 0.0000 -
3582.64/3594.67 c 3595 3271797 1510544 1 - 0.0000 -
3589.22/3601.30 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.22/3601.30 c Total Time : 3601.2900
3589.22/3601.30 c solving : 3601.2900
3589.22/3601.30 c presolving : 0.0243 (included in solving)
3589.22/3601.30 c B&B Tree :
3589.22/3601.30 c nodes (total) : 1
3589.22/3601.30 c Solution :
3589.22/3601.30 c Solutions found : 0
3589.22/3601.30 c Primal Bound : -
3589.22/3601.30 c Dual Bound : +0.00000000000000e+00
3589.22/3601.30 c Gap : -
3589.22/3601.30 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (37844 MiB free)
memory of node 1: 64510 MiB (61632 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464580-1722385806/watcher-4464580-1722385806 -o /tmp/evaluation-result-4464580-1722385806/solver-4464580-1722385806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722378594-30929 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464580-1722385806.opb -qsol -t 3600 -sth 1
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=35345, runsolver pid=35342
Current StackSize limit: 8192 KiB
[startup+0.100583 s]*
/proc/loadavg: 4.10 4.16 4.12 5/267 35348
/proc/meminfo: memFree=101835744/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=123176 memory=39832 CPUtime=0.09 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 8037 0 0 0 8 1 0 0 20 0 3 0 5176176 126132224 9958 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 30794 9958 2950 3035 0 13777 0
[pid=35345/tid=35347] ppid=35342 vsize=123176 memory=4026561586 CPUtime=0.05 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 2891 0 0 0 5 0 0 0 20 0 3 0 5176180 126132224 9958 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=123176 memory=232851243367 CPUtime=0 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5176181 126132224 9958 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 123176 KiB
Current children cumulated memory: 39832 KiB
[startup+0.206584 s]*
/proc/loadavg: 4.10 4.16 4.12 5/267 35348
/proc/meminfo: memFree=101827236/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=123176 memory=48032 CPUtime=0.2 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 10241 0 0 0 18 2 0 0 20 0 3 0 5176176 126132224 12008 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 30794 12008 2966 3035 0 16149 0
[pid=35345/tid=35347] ppid=35342 vsize=123176 memory=664970838410264707 CPUtime=0.15 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 5095 0 0 0 15 0 0 0 20 0 3 0 5176180 126132224 12008 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=123176 memory=15960 CPUtime=0 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5176181 126132224 12008 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 123176 KiB
Current children cumulated memory: 48032 KiB
[startup+0.305663 s]*
/proc/loadavg: 4.10 4.16 4.12 6/267 35348
/proc/meminfo: memFree=101827232/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=123176 memory=48032 CPUtime=0.29 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 10242 0 0 0 27 2 0 0 20 0 3 0 5176176 126132224 12008 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 30794 12008 2966 3035 0 16149 0
[pid=35345/tid=35347] ppid=35342 vsize=123176 memory=-5155633496372767621 CPUtime=0.24 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 5096 0 0 0 24 0 0 0 20 0 3 0 5176180 126132224 12008 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=123176 memory=0 CPUtime=0 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5176181 126132224 12008 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 123176 KiB
Current children cumulated memory: 48032 KiB
[startup+0.700269 s]
/proc/loadavg: 4.10 4.16 4.12 6/267 35348
/proc/meminfo: memFree=101822388/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=123176 memory=60436 CPUtime=0.68 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 13369 0 0 0 66 2 0 0 20 0 3 0 5176176 126132224 15109 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 30794 15109 2966 3035 0 19263 0
[pid=35345/tid=35347] ppid=35342 vsize=123176 memory=0 CPUtime=0.64 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 8223 0 0 0 63 1 0 0 20 0 3 0 5176180 126132224 15109 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=123176 memory=0 CPUtime=0 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5176181 126132224 15109 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123176 KiB
Current children cumulated memory: 60436 KiB
[startup+1.50022 s]
/proc/loadavg: 4.10 4.16 4.12 4/259 35379
/proc/meminfo: memFree=103844032/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=123176 memory=60596 CPUtime=1.48 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 14326 0 0 0 146 2 0 0 20 0 3 0 5176176 126132224 15149 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 30794 15149 2966 3035 0 19263 0
[pid=35345/tid=35347] ppid=35342 vsize=123176 memory=0 CPUtime=1.44 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 9180 0 0 0 143 1 0 0 20 0 3 0 5176180 126132224 15149 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=123176 memory=0 CPUtime=0 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5176181 126132224 15149 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 123176 KiB
Current children cumulated memory: 60596 KiB
[startup+3.10533 s]
/proc/loadavg: 4.10 4.16 4.12 5/267 35446
/proc/meminfo: memFree=103759492/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=123176 memory=67436 CPUtime=3.08 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 25273 0 0 0 305 3 0 0 20 0 3 0 5176176 126132224 16859 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 30794 16859 2966 3035 0 20744 0
[pid=35345/tid=35347] ppid=35342 vsize=123176 memory=2273 CPUtime=3.04 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 20109 0 0 0 302 2 0 0 20 0 3 0 5176180 126132224 16859 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=123176 memory=0 CPUtime=0 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 5176181 126132224 16859 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 123176 KiB
Current children cumulated memory: 67436 KiB
[startup+6.30019 s]
/proc/loadavg: 4.17 4.17 4.12 5/267 35446
/proc/meminfo: memFree=103746948/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=123176 memory=71436 CPUtime=6.26 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 34635 0 0 0 622 4 0 0 20 0 3 0 5176176 126132224 17859 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 30794 17859 2966 3035 0 21815 0
[pid=35345/tid=35347] ppid=35342 vsize=123176 memory=71652 CPUtime=6.22 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 29449 0 0 0 619 3 0 0 20 0 3 0 5176180 126132224 17859 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=123176 memory=11584 CPUtime=0 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 3 0 5176181 126132224 17859 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 123176 KiB
Current children cumulated memory: 71436 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.17 4.12 5/270 35505
/proc/meminfo: memFree=103727308/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=123176 memory=81552 CPUtime=12.64 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 48743 0 0 0 1258 6 0 0 20 0 3 0 5176176 126132224 20388 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 30794 20388 3014 3035 0 24493 0
[pid=35345/tid=35347] ppid=35342 vsize=123176 memory=73336 CPUtime=12.6 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 43512 0 0 0 1255 5 0 0 20 0 3 0 5176180 126132224 20388 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=123176 memory=-7451042325092983932 CPUtime=0 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 3 0 5176181 126132224 20388 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 123176 KiB
Current children cumulated memory: 81552 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.16 4.12 5/268 35508
/proc/meminfo: memFree=103708868/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=123176 memory=91748 CPUtime=25.4 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 72584 0 0 0 2530 10 0 0 20 0 3 0 5176176 126132224 22937 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 30794 22937 3014 3035 0 26789 0
[pid=35345/tid=35347] ppid=35342 vsize=123176 memory=4476 CPUtime=25.36 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 67276 0 0 0 2527 9 0 0 20 0 3 0 5176180 126132224 22937 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=123176 memory=83736 CPUtime=0 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 5176181 126132224 22937 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 123176 KiB
Current children cumulated memory: 91748 KiB
[startup+51.1054 s]
/proc/loadavg: 4.16 4.16 4.12 5/268 35512
/proc/meminfo: memFree=103660252/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=188712 memory=122168 CPUtime=50.92 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 111404 0 0 0 5073 19 0 0 20 0 3 0 5176176 193241088 30542 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 47178 30542 3014 3035 0 34339 0
[pid=35345/tid=35347] ppid=35342 vsize=188712 memory=121048 CPUtime=50.87 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 106010 0 0 0 5070 17 0 0 20 0 3 0 5176180 193241088 30542 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=188712 memory=140589580506452 CPUtime=0 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 20 0 0 0 0 0 0 0 20 0 3 0 5176181 193241088 30542 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 188712 KiB
Current children cumulated memory: 122168 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.12 5/268 35521
/proc/meminfo: memFree=103550580/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=259348 memory=180924 CPUtime=101.94 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 171775 0 0 0 10161 33 0 0 20 0 3 0 5176176 265572352 45231 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 64837 45231 3014 3035 0 49387 0
[pid=35345/tid=35347] ppid=35342 vsize=259348 memory=180276 CPUtime=101.89 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 166265 0 0 0 10157 32 0 0 20 0 3 0 5176180 265572352 45231 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=259348 memory=170220 CPUtime=0 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 3 0 5176181 265572352 45231 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 259348 KiB
Current children cumulated memory: 180924 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.15 4.12 5/267 35578
/proc/meminfo: memFree=110319912/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=334352 memory=243012 CPUtime=161.75 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 237433 0 0 0 16125 50 0 0 20 0 3 0 5176176 342376448 60753 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 83588 60753 3014 3035 0 65302 0
[pid=35345/tid=35347] ppid=35342 vsize=334352 memory=214184 CPUtime=161.69 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 231862 0 0 0 16121 48 0 0 20 0 3 0 5176180 342376448 60753 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=334352 memory=238780 CPUtime=0 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5176181 342376448 60753 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 334352 KiB
################
# More data... #
################
Current children cumulated memory: 2806396 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.13 5/266 37210
/proc/meminfo: memFree=112169784/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=2951248 memory=2843884 CPUtime=3450.85 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 6028565 0 0 0 344143 942 0 0 20 0 3 0 5176176 3022077952 710971 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 737812 710971 3014 3035 0 721261 0
[pid=35345/tid=35347] ppid=35342 vsize=2951248 memory=2752892 CPUtime=3450.57 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 6022032 0 0 0 344121 936 0 0 20 0 3 0 5176180 3022077952 710971 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=2951248 memory=2756312 CPUtime=0.02 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 135 0 0 0 0 2 0 0 20 0 3 0 5176181 3022077952 710971 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 3450.85 s
Current children cumulated vsize: 2951248 KiB
Current children cumulated memory: 2843884 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/266 37391
/proc/meminfo: memFree=111716004/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=2979288 memory=2876540 CPUtime=3510.62 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 6154896 0 0 0 350102 960 0 0 20 0 3 0 5176176 3050790912 719135 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 744822 719135 3014 3035 0 734505 0
[pid=35345/tid=35347] ppid=35342 vsize=2979288 memory=12936 CPUtime=3510.34 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 6148346 0 0 0 350080 954 0 0 20 0 3 0 5176180 3050790912 719135 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=2979288 memory=-7451042325092983932 CPUtime=0.02 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 137 0 0 0 0 2 0 0 20 0 3 0 5176181 3050790912 719135 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 3510.62 s
Current children cumulated vsize: 2979288 KiB
Current children cumulated memory: 2876540 KiB
[startup+3582.3 s]
/proc/loadavg: 4.21 4.16 4.13 5/267 37402
/proc/meminfo: memFree=111627324/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=3045852 memory=2911692 CPUtime=3570.38 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 6289662 0 0 0 356063 975 0 0 20 0 3 0 5176176 3118952448 727923 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 761463 727923 3014 3035 0 740769 0
[pid=35345/tid=35347] ppid=35342 vsize=3045852 memory=1980 CPUtime=3570.1 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 6283095 0 0 0 356040 970 0 0 20 0 3 0 5176180 3118952448 727923 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=3045852 memory=12936 CPUtime=0.02 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5176181 3118952448 727923 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 3570.38 s
Current children cumulated vsize: 3045852 KiB
Current children cumulated memory: 2911692 KiB
[startup+3601.36 s]
# the end of solver process 35345 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3579.24 s, system=10.1334 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.21 4.16 4.13 5/267 37403
/proc/meminfo: memFree=111623256/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=3045852 memory=2912808 CPUtime=3572.08 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 6292906 0 0 0 356232 976 0 0 20 0 3 0 5176176 3118952448 728202 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 761463 728202 3014 3035 0 741105 0
[pid=35345/tid=35347] ppid=35342 vsize=3045852 memory=7686721470247706567 CPUtime=3571.8 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 6286339 0 0 0 356210 970 0 0 20 0 3 0 5176180 3118952448 728202 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=3045852 memory=4786653074784153250 CPUtime=0.02 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5176181 3118952448 728202 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 3572.08 s
Current children cumulated vsize: 3045852 KiB
Current children cumulated memory: 2912808 KiB
[startup+3590.4 s]
/proc/loadavg: 4.18 4.16 4.12 5/267 37403
/proc/meminfo: memFree=111604492/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=3045852 memory=2928048 CPUtime=3578.45 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 6307180 0 0 0 356867 978 0 0 20 0 3 0 5176176 3118952448 732012 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 761463 732012 3014 3035 0 744985 0
[pid=35345/tid=35347] ppid=35342 vsize=3045852 memory=2911308 CPUtime=3578.17 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 6300613 0 0 0 356844 973 0 0 20 0 3 0 5176180 3118952448 732012 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=3045852 memory=2913832 CPUtime=0.02 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5176181 3118952448 732012 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 3578.45 s
Current children cumulated vsize: 3045852 KiB
Current children cumulated memory: 2928048 KiB
[startup+3596.8 s]
/proc/loadavg: 4.16 4.15 4.12 5/267 37405
/proc/meminfo: memFree=111600216/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=3045852 memory=2928060 CPUtime=3584.82 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 6317529 0 0 0 357502 980 0 0 20 0 3 0 5176176 3118952448 732015 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 761463 732015 3014 3035 0 744985 0
[pid=35345/tid=35347] ppid=35342 vsize=3045852 memory=281179161052352 CPUtime=3584.55 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 6310962 0 0 0 357480 975 0 0 20 0 3 0 5176180 3118952448 732015 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=3045852 memory=16112 CPUtime=0.02 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5176181 3118952448 732015 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 3584.82 s
Current children cumulated vsize: 3045852 KiB
Current children cumulated memory: 2928060 KiB
[startup+3598.4 s]
/proc/loadavg: 4.16 4.15 4.12 5/267 37405
/proc/meminfo: memFree=111597068/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=3045852 memory=2928068 CPUtime=3586.42 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 6423505 0 0 0 357656 986 0 0 20 0 3 0 5176176 3118952448 732017 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 761463 732017 3014 3035 0 744985 0
[pid=35345/tid=35347] ppid=35342 vsize=3045852 memory=2928060 CPUtime=3586.14 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 6416938 0 0 0 357633 981 0 0 20 0 3 0 5176180 3118952448 732017 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=3045852 memory=7884 CPUtime=0.02 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5176181 3118952448 732017 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 3586.42 s
Current children cumulated vsize: 3045852 KiB
Current children cumulated memory: 2928068 KiB
[startup+3600 s]*
/proc/loadavg: 4.15 4.15 4.12 5/267 37405
/proc/meminfo: memFree=111607892/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=3031460 memory=2913680 CPUtime=3588.02 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 6648708 0 0 0 357803 999 0 0 20 0 3 0 5176176 3104215040 728420 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 757865 728420 3014 3035 0 741387 0
[pid=35345/tid=35347] ppid=35342 vsize=3031460 memory=1900 CPUtime=3587.74 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 6642238 0 0 0 357780 994 0 0 20 0 3 0 5176180 3104215040 728420 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=3031460 memory=4786653074784153250 CPUtime=0.02 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5176181 3104215040 728420 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 3588.02 s
Current children cumulated vsize: 3031460 KiB
Current children cumulated memory: 2913680 KiB
[startup+3600.8 s]
/proc/loadavg: 4.15 4.15 4.12 5/267 37405
/proc/meminfo: memFree=111607892/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=3030432 memory=2912652 CPUtime=3588.81 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 6747019 0 0 0 357876 1005 0 0 20 0 3 0 5176176 3103162368 728163 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 757608 728163 3014 3035 0 741130 0
[pid=35345/tid=35347] ppid=35342 vsize=3030432 memory=2927040 CPUtime=3588.53 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 6740457 0 0 0 357853 1000 0 0 20 0 3 0 5176180 3103162368 728163 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=3030432 memory=12672 CPUtime=0.02 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5176181 3103162368 728163 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 3588.81 s
Current children cumulated vsize: 3030432 KiB
Current children cumulated memory: 2912652 KiB
[startup+3601.2 s]
/proc/loadavg: 4.15 4.15 4.12 5/267 37405
/proc/meminfo: memFree=111610284/131524600 swapFree=131071996/131071996
[pid=35345] ppid=35342 vsize=3028376 memory=2910596 CPUtime=3589.22 cores=5,7
/proc/35345/stat : 35345 (fscip) S 35342 35345 30916 0 -1 1077936128 6751886 0 0 0 357916 1006 0 0 20 0 3 0 5176176 3101057024 727649 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
/proc/35345/statm: 757094 727649 3014 3035 0 740616 0
[pid=35345/tid=35347] ppid=35342 vsize=3028376 memory=7172 CPUtime=3588.93 cores=5,7
/proc/35345/task/35347/stat : 35347 (fscip) R 35342 35345 30916 0 -1 4194368 6745319 0 0 0 357893 1000 0 0 20 0 3 0 5176180 3101057024 727649 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 0 0 0 -1 5 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
[pid=35345/tid=35348] ppid=35342 vsize=3028376 memory=27900 CPUtime=0.02 cores=5,7
/proc/35345/task/35348/stat : 35348 (fscip) S 35342 35345 30916 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 5176181 3101057024 727649 134679101440 4194304 16623229 140730304338640 0 0 0 0 0 2 1 0 0 -1 7 0 0 0 0 0 18838560 18947056 30441472 140730304341014 140730304341130 140730304341130 140730304348144 0
Current children cumulated CPU time: 3589.22 s
Current children cumulated vsize: 3028376 KiB
Current children cumulated memory: 2910596 KiB
[startup+3601.31 s]*
/proc/loadavg: 4.15 4.15 4.12 5/265 37405
/proc/meminfo: memFree=112793208/131524600 swapFree=131071996/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): 3601.36
CPU time (s): 3589.38
CPU user time (s): 3579.24
CPU system time (s): 10.1334
CPU usage (%): 99.6672
Max. virtual memory (cumulated for all children) (KiB): 3045852
Max. memory (cumulated for all children) (KiB): 2928068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.24
system time used= 10.1334
maximum resident set size= 2928068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6752668
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= 10904
involuntary context switches= 4739
# summary of solver processes directly reported to runsolver:
# pid: 35345
# total CPU time (s): 3589.38
# total CPU user time (s): 3579.24
# total CPU system time (s): 10.1334
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07122 second user time and 17.1064 second system time
The end
Begin job on nodeC014 at 2024-07-31 02:30:06
IDJOB=4464580
IDBENCH=160356
IDSOLVER=3092
FILE ID=nodeC014/4464580-1722385806
RUNJOBID= nodeC014-1722378594-30929
SLURM_JOB_ID= 8249827
Free space on /tmp= 889872 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid5x80split.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-4464580-1722385806/watcher-4464580-1722385806 -o /tmp/evaluation-result-4464580-1722385806/solver-4464580-1722385806 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1722378594-30929 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464580-1722385806.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4bfcc12bbb5b471fba8851c094b6b9f6
RANDOM SEED=292526229
nodeC014.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 : 3600.377
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.06
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 : 3669.369
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
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 : 3666.555
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.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.254
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
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 : 3666.567
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.06
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3665.900
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.174
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.06
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 : 3670.880
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.10
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 101864608 kB
MemAvailable: 105171072 kB
Buffers: 104700 kB
Cached: 3997516 kB
SwapCached: 0 kB
Active: 405840 kB
Inactive: 28644764 kB
Active(anon): 1548 kB
Inactive(anon): 24967852 kB
Active(file): 404292 kB
Inactive(file): 3676912 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28116 kB
Writeback: 0 kB
AnonPages: 24946656 kB
Mapped: 124804 kB
Shmem: 21336 kB
KReclaimable: 129812 kB
Slab: 219592 kB
SReclaimable: 129812 kB
SUnreclaim: 89780 kB
KernelStack: 4300 kB
PageTables: 58752 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 14092728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6383616 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: 189140 kB
DirectMap2M: 10070016 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889940 MiB
End job on nodeC014 at 2024-07-31 03:30:07