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 = 24145920, getVmSize() = 24145920, SCIPgetMemUsed() = 1906190, SCIPgetMemTotal() = 2595558, SCIPgetMemExternEstim() = 1048576
0.00/0.01 c ** set memory limit for presolving in LC to 8.79609e+12 for SCIP **
0.00/0.04 c ** Estimated virtualMemUsedAtSolver = 16954709, getVmSize() = 26718208, SCIPgetMemUsed() = 2240637, SCIPgetMemTotal() = 4030061, SCIPgetMemExternEstim() = 1048576
0.00/0.04 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.04 c Original Problem :
0.00/0.04 c Problem name : instance-4464545-1722385802
0.00/0.04 c Variables : 273 (273 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.04 c Constraints : 728
0.00/0.04 c Objective sense : minimize
0.00/0.04 c Presolved Problem :
0.00/0.04 c Variables : 273 (273 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.04 c Constraints : 728
0.00/0.04 c Constraints : Number
0.00/0.04 c logicor : 728
0.00/0.04 c ** Instance transfer method used: 0
0.00/0.04 c ** ParaScipInstance copy does not increase the number of variables. **
0.00/0.05 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.00/0.05 c Nodes Active
0.00/0.05 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
5.18/5.29 c 5 1252 202 1 - 0.0000 -
10.25/10.36 c 10 5208 4158 1 - 0.0000 -
15.34/15.48 c 15 9753 8703 1 - 0.0000 -
20.43/20.55 c 21 14975 13925 1 - 0.0000 -
25.51/25.61 c 26 19601 18541 1 - 0.0000 -
30.50/30.68 c 31 23997 22913 1 - 0.0000 -
35.58/35.75 c 36 28441 27347 1 - 0.0000 -
40.66/40.82 c 41 32824 31724 1 - 0.0000 -
45.65/45.87 c 46 37301 36201 1 - 0.0000 -
50.73/50.96 c 51 42004 40895 1 - 0.0000 -
55.82/56.01 c 56 46510 45396 1 - 0.0000 -
60.81/61.08 c 61 51513 50389 1 - 0.0000 -
65.89/66.14 c 66 56369 55219 1 - 0.0000 -
70.87/71.19 c 71 61106 59922 1 - 0.0000 -
75.95/76.29 c 76 66107 64821 1 - 0.0000 -
81.03/81.37 c 81 71314 70015 1 - 0.0000 -
86.11/86.45 c 86 76517 75198 1 - 0.0000 -
91.20/91.50 c 92 81571 80224 1 - 0.0000 -
96.18/96.59 c 97 87079 85686 1 - 0.0000 -
101.26/101.64 c 102 91895 90502 1 - 0.0000 -
106.35/106.70 c 107 96867 95474 1 - 0.0000 -
111.33/111.77 c 112 102077 100671 1 - 0.0000 -
116.42/116.83 c 117 107253 105821 1 - 0.0000 -
121.50/121.91 c 122 112139 110668 1 - 0.0000 -
126.49/126.98 c 127 116518 115047 1 - 0.0000 -
131.58/132.02 c 132 121246 119763 1 - 0.0000 -
136.56/137.08 c 137 126211 124671 1 - 0.0000 -
141.65/142.15 c 142 130902 129288 1 - 0.0000 -
146.72/147.20 c 147 136182 134497 1 - 0.0000 -
151.70/152.28 c 152 141254 139478 1 - 0.0000 -
156.79/157.34 c 157 146334 144552 1 - 0.0000 -
161.87/162.40 c 162 151320 149532 1 - 0.0000 -
166.86/167.46 c 167 156211 154382 1 - 0.0000 -
171.94/172.57 c 173 161258 159413 1 - 0.0000 -
177.03/177.66 c 178 166281 164423 1 - 0.0000 -
182.12/182.74 c 183 171239 168983 1 - 0.0000 -
187.20/187.84 c 188 176488 173964 1 - 0.0000 -
192.29/192.91 c 193 181586 178822 1 - 0.0000 -
197.27/197.97 c 198 186644 183415 1 - 0.0000 -
202.36/203.01 c 203 191328 187538 1 - 0.0000 -
207.35/208.06 c 208 196458 191647 1 - 0.0000 -
212.44/213.11 c 213 201381 195972 1 - 0.0000 -
217.41/218.16 c 218 206311 200481 1 - 0.0000 -
222.49/223.22 c 223 211378 205400 1 - 0.0000 -
227.47/228.28 c 228 216356 210226 1 - 0.0000 -
232.55/233.35 c 233 221455 215167 1 - 0.0000 -
237.64/238.40 c 238 226315 219835 1 - 0.0000 -
242.62/243.48 c 243 231253 224448 1 - 0.0000 -
247.71/248.53 c 249 236289 229192 1 - 0.0000 -
252.69/253.57 c 254 241242 234107 1 - 0.0000 -
257.78/258.64 c 259 246827 239511 1 - 0.0000 -
262.86/263.72 c 264 251971 244467 1 - 0.0000 -
267.85/268.77 c 269 256718 249103 1 - 0.0000 -
272.94/273.83 c 274 261952 254259 1 - 0.0000 -
278.02/278.93 c 279 266818 258931 1 - 0.0000 -
283.12/284.02 c 284 271836 263858 1 - 0.0000 -
288.20/289.15 c 289 276938 268960 1 - 0.0000 -
293.18/294.19 c 294 282116 274041 1 - 0.0000 -
298.26/299.25 c 299 287635 279324 1 - 0.0000 -
303.34/304.30 c 304 293018 284457 1 - 0.0000 -
308.32/309.34 c 309 298481 289525 1 - 0.0000 -
313.31/314.39 c 314 303902 294156 1 - 0.0000 -
318.39/319.44 c 319 308958 298650 1 - 0.0000 -
323.48/324.51 c 325 314284 303220 1 - 0.0000 -
328.47/329.58 c 330 319498 307611 1 - 0.0000 -
333.55/334.63 c 335 324324 312219 1 - 0.0000 -
338.63/339.71 c 340 329193 316678 1 - 0.0000 -
343.61/344.77 c 345 334146 321201 1 - 0.0000 -
348.70/349.89 c 350 339473 326047 1 - 0.0000 -
353.78/354.97 c 355 344694 330440 1 - 0.0000 -
358.89/360.06 c 360 349671 335202 1 - 0.0000 -
363.97/365.14 c 365 354544 339395 1 - 0.0000 -
368.95/370.19 c 370 359341 343849 1 - 0.0000 -
374.03/375.25 c 375 364183 348336 1 - 0.0000 -
379.11/380.36 c 380 369319 353367 1 - 0.0000 -
384.20/385.41 c 385 374377 357879 1 - 0.0000 -
389.18/390.46 c 390 379396 362668 1 - 0.0000 -
394.26/395.51 c 396 384428 367303 1 - 0.0000 -
399.25/400.55 c 401 389681 371516 1 - 0.0000 -
404.33/405.60 c 406 394665 376300 1 - 0.0000 -
409.31/410.66 c 411 399553 380871 1 - 0.0000 -
414.40/415.77 c 416 405165 385909 1 - 0.0000 -
419.49/420.81 c 421 410202 390353 1 - 0.0000 -
424.47/425.87 c 426 414962 394954 1 - 0.0000 -
429.55/430.93 c 431 420118 399682 1 - 0.0000 -
434.54/435.97 c 436 425275 404442 1 - 0.0000 -
439.64/441.05 c 441 430287 409108 1 - 0.0000 -
444.62/446.11 c 446 435402 413949 1 - 0.0000 -
449.71/451.15 c 451 440569 418792 1 - 0.0000 -
454.78/456.20 c 456 445610 423665 1 - 0.0000 -
459.76/461.27 c 461 450846 428674 1 - 0.0000 -
464.84/466.35 c 466 455761 433292 1 - 0.0000 -
469.83/471.39 c 471 460959 438364 1 - 0.0000 -
474.92/476.46 c 476 466245 443348 1 - 0.0000 -
480.00/481.50 c 482 471776 448349 1 - 0.0000 -
484.99/486.55 c 487 477276 453237 1 - 0.0000 -
490.07/491.61 c 492 482424 458127 1 - 0.0000 -
495.06/496.67 c 497 487659 462953 1 - 0.0000 -
500.14/501.73 c 502 493042 467820 1 - 0.0000 -
505.23/506.84 c 507 498035 472703 1 - 0.0000 -
510.21/511.88 c 512 503288 477448 1 - 0.0000 -
515.30/516.93 c 517 508864 482837 1 - 0.0000 -
520.28/522.01 c 522 514192 488045 1 - 0.0000 -
525.38/527.05 c 527 519181 492830 1 - 0.0000 -
530.36/532.10 c 532 524475 497878 1 - 0.0000 -
535.44/537.15 c 537 529741 502882 1 - 0.0000 -
540.51/542.25 c 542 535082 507924 1 - 0.0000 -
545.59/547.30 c 547 540265 513062 1 - 0.0000 -
550.57/552.36 c 552 545074 517700 1 - 0.0000 -
555.65/557.41 c 557 550221 522640 1 - 0.0000 -
560.74/562.50 c 563 555166 527448 1 - 0.0000 -
565.72/567.57 c 568 560531 532294 1 - 0.0000 -
570.80/572.62 c 573 566006 537528 1 - 0.0000 -
575.78/577.69 c 578 571115 542464 1 - 0.0000 -
580.86/582.74 c 583 576229 547411 1 - 0.0000 -
585.94/587.81 c 588 581367 552429 1 - 0.0000 -
590.92/592.87 c 593 586543 557394 1 - 0.0000 -
596.01/597.95 c 598 591750 562113 1 - 0.0000 -
601.10/603.02 c 603 596977 566758 1 - 0.0000 -
606.08/608.09 c 608 602246 571700 1 - 0.0000 -
611.17/613.17 c 613 607217 576450 1 - 0.0000 -
616.23/618.23 c 618 612478 581467 1 - 0.0000 -
621.31/623.31 c 623 617786 586442 1 - 0.0000 -
626.29/628.35 c 628 622804 591305 1 - 0.0000 -
631.38/633.40 c 633 628176 596388 1 - 0.0000 -
636.36/638.47 c 638 633401 601559 1 - 0.0000 -
641.44/643.55 c 644 638422 606475 1 - 0.0000 -
646.52/648.61 c 649 643483 611258 1 - 0.0000 -
651.50/653.68 c 654 648389 616074 1 - 0.0000 -
656.58/658.74 c 659 653535 621015 1 - 0.0000 -
661.66/663.83 c 664 658913 626149 1 - 0.0000 -
666.65/668.87 c 669 663977 631071 1 - 0.0000 -
671.72/673.92 c 674 669384 636227 1 - 0.0000 -
676.82/679.09 c 679 674591 641364 1 - 0.0000 -
681.90/684.15 c 684 679909 646375 1 - 0.0000 -
686.96/689.21 c 689 684980 651288 1 - 0.0000 -
691.95/694.29 c 694 690081 656102 1 - 0.0000 -
697.03/699.37 c 699 695244 661159 1 - 0.0000 -
702.12/704.44 c 704 700454 666029 1 - 0.0000 -
707.10/709.49 c 710 705741 671172 1 - 0.0000 -
712.17/714.56 c 715 710788 675959 1 - 0.0000 -
717.26/719.62 c 720 716088 681042 1 - 0.0000 -
722.34/724.72 c 725 721223 686081 1 - 0.0000 -
727.42/729.80 c 730 726494 690896 1 - 0.0000 -
732.40/734.85 c 735 731619 695895 1 - 0.0000 -
737.48/739.92 c 740 736812 700769 1 - 0.0000 -
742.46/744.98 c 745 742150 705831 1 - 0.0000 -
747.55/750.06 c 750 747380 710997 1 - 0.0000 -
752.64/755.15 c 755 752753 716248 1 - 0.0000 -
757.71/760.21 c 760 757861 721051 1 - 0.0000 -
762.68/765.29 c 765 763007 726081 1 - 0.0000 -
767.77/770.36 c 770 767724 730742 1 - 0.0000 -
772.95/775.53 c 776 772811 735705 1 - 0.0000 -
778.03/780.60 c 781 777527 740385 1 - 0.0000 -
783.01/785.65 c 786 782374 745041 1 - 0.0000 -
788.09/790.71 c 791 786902 749557 1 - 0.0000 -
793.07/795.76 c 796 791949 754413 1 - 0.0000 -
798.15/800.82 c 801 797145 759268 1 - 0.0000 -
803.14/805.87 c 806 802257 764143 1 - 0.0000 -
808.22/810.92 c 811 807181 769031 1 - 0.0000 -
813.20/815.97 c 816 812268 773826 1 - 0.0000 -
818.29/821.04 c 821 817469 778869 1 - 0.0000 -
823.26/826.10 c 826 822551 783827 1 - 0.0000 -
828.35/831.16 c 831 827761 788821 1 - 0.0000 -
833.41/836.21 c 836 833018 793994 1 - 0.0000 -
838.40/841.26 c 841 838183 798764 1 - 0.0000 -
843.48/846.32 c 846 843284 803600 1 - 0.0000 -
848.56/851.43 c 851 848293 808501 1 - 0.0000 -
853.54/856.49 c 856 853785 813426 1 - 0.0000 -
858.62/861.57 c 862 859251 818612 1 - 0.0000 -
863.80/866.71 c 867 864269 823447 1 - 0.0000 -
868.79/871.75 c 872 869662 828236 1 - 0.0000 -
873.87/876.81 c 877 874750 833119 1 - 0.0000 -
878.85/881.88 c 882 879652 837890 1 - 0.0000 -
883.93/886.95 c 887 884921 842672 1 - 0.0000 -
889.02/892.01 c 892 889966 847430 1 - 0.0000 -
894.01/897.09 c 897 894936 852249 1 - 0.0000 -
899.09/902.14 c 902 899946 857206 1 - 0.0000 -
904.07/907.19 c 907 904839 861963 1 - 0.0000 -
909.14/912.28 c 912 909939 866999 1 - 0.0000 -
914.22/917.34 c 917 914957 871883 1 - 0.0000 -
919.20/922.39 c 922 919797 876573 1 - 0.0000 -
924.28/927.44 c 927 924749 881476 1 - 0.0000 -
929.27/932.48 c 932 929973 886309 1 - 0.0000 -
934.35/937.53 c 938 935063 891039 1 - 0.0000 -
939.42/942.66 c 943 940195 896099 1 - 0.0000 -
944.51/947.75 c 948 945472 901107 1 - 0.0000 -
949.59/952.81 c 953 950807 905844 1 - 0.0000 -
954.57/957.88 c 958 956315 910713 1 - 0.0000 -
959.65/962.96 c 963 961395 915482 1 - 0.0000 -
964.74/968.09 c 968 966569 920335 1 - 0.0000 -
969.83/973.14 c 973 971691 925191 1 - 0.0000 -
974.81/978.19 c 978 976538 929858 1 - 0.0000 -
979.97/983.30 c 983 981621 934787 1 - 0.0000 -
984.95/988.35 c 988 986765 939837 1 - 0.0000 -
990.04/993.41 c 993 991934 944608 1 - 0.0000 -
995.02/998.47 c 998 996892 949200 1 - 0.0000 -
1000.10/1003.51 c 1004 1001891 953907 1 - 0.0000 -
1005.19/1008.62 c 1009 1006748 958604 1 - 0.0000 -
1010.16/1013.66 c 1014 1011681 963469 1 - 0.0000 -
1015.24/1018.71 c 1019 1016681 968166 1 - 0.0000 -
1020.22/1023.77 c 1024 1021489 972814 1 - 0.0000 -
1025.31/1028.85 c 1029 1026844 977949 1 - 0.0000 -
1030.39/1033.90 c 1034 1031790 982593 1 - 0.0000 -
1035.37/1038.95 c 1039 1036722 987398 1 - 0.0000 -
1040.46/1044.07 c 1044 1041551 992140 1 - 0.0000 -
1045.54/1049.14 c 1049 1046611 997077 1 - 0.0000 -
1050.61/1054.23 c 1054 1051688 1001909 1 - 0.0000 -
1055.70/1059.31 c 1059 1056513 1006675 1 - 0.0000 -
1060.78/1064.49 c 1064 1061220 1011373 1 - 0.0000 -
1065.86/1069.58 c 1070 1066241 1016382 1 - 0.0000 -
1070.95/1074.63 c 1075 1071165 1021225 1 - 0.0000 -
1075.94/1079.69 c 1080 1076066 1026053 1 - 0.0000 -
1081.02/1084.73 c 1085 1081186 1031106 1 - 0.0000 -
1086.11/1089.85 c 1090 1086330 1036125 1 - 0.0000 -
1091.19/1094.96 c 1095 1091235 1040924 1 - 0.0000 -
1096.17/1100.01 c 1100 1096066 1045732 1 - 0.0000 -
1101.27/1105.06 c 1105 1100996 1050546 1 - 0.0000 -
1106.36/1110.11 c 1110 1105880 1055321 1 - 0.0000 -
1111.33/1115.17 c 1115 1110922 1060314 1 - 0.0000 -
1116.41/1120.25 c 1120 1115816 1065094 1 - 0.0000 -
1121.50/1125.31 c 1125 1120530 1069743 1 - 0.0000 -
1126.58/1130.40 c 1130 1125158 1074367 1 - 0.0000 -
1131.57/1135.45 c 1135 1129759 1078932 1 - 0.0000 -
1136.64/1140.59 c 1141 1134834 1083770 1 - 0.0000 -
1141.83/1145.71 c 1146 1139681 1088580 1 - 0.0000 -
1146.82/1150.77 c 1151 1144389 1093270 1 - 0.0000 -
1151.90/1155.87 c 1156 1149215 1098090 1 - 0.0000 -
1156.98/1160.98 c 1161 1154078 1102938 1 - 0.0000 -
1162.08/1166.03 c 1166 1159019 1107770 1 - 0.0000 -
1167.25/1171.22 c 1171 1163992 1112670 1 - 0.0000 -
1172.24/1176.29 c 1176 1168955 1117351 1 - 0.0000 -
1177.32/1181.39 c 1181 1173648 1121950 1 - 0.0000 -
1182.41/1186.48 c 1186 1178534 1126749 1 - 0.0000 -
1187.49/1191.54 c 1192 1183387 1131453 1 - 0.0000 -
1192.57/1196.60 c 1197 1188418 1136212 1 - 0.0000 -
1197.56/1201.68 c 1202 1193482 1141276 1 - 0.0000 -
1202.64/1206.72 c 1207 1198516 1146284 1 - 0.0000 -
1207.72/1211.80 c 1212 1203304 1151069 1 - 0.0000 -
1212.71/1216.87 c 1217 1208190 1155919 1 - 0.0000 -
1217.79/1221.96 c 1222 1212871 1160547 1 - 0.0000 -
1222.88/1227.01 c 1227 1218071 1165747 1 - 0.0000 -
1227.96/1232.15 c 1232 1223355 1170948 1 - 0.0000 -
1233.03/1237.20 c 1237 1228227 1175702 1 - 0.0000 -
1238.13/1242.36 c 1242 1232956 1180323 1 - 0.0000 -
1243.21/1247.44 c 1247 1237919 1185250 1 - 0.0000 -
1248.29/1252.53 c 1253 1242810 1190114 1 - 0.0000 -
1253.38/1257.64 c 1258 1247607 1194830 1 - 0.0000 -
1258.46/1262.70 c 1263 1252378 1199578 1 - 0.0000 -
1263.54/1267.81 c 1268 1257072 1204250 1 - 0.0000 -
1268.53/1272.87 c 1273 1261855 1208868 1 - 0.0000 -
1273.62/1277.92 c 1278 1266431 1213385 1 - 0.0000 -
1278.72/1283.05 c 1283 1271324 1218205 1 - 0.0000 -
1283.80/1288.13 c 1288 1276391 1223197 1 - 0.0000 -
1288.78/1293.18 c 1293 1281114 1227802 1 - 0.0000 -
1293.96/1298.31 c 1298 1285779 1232402 1 - 0.0000 -
1299.04/1303.40 c 1303 1290743 1237182 1 - 0.0000 -
1304.03/1308.45 c 1308 1295931 1242093 1 - 0.0000 -
1309.11/1313.53 c 1314 1300702 1246650 1 - 0.0000 -
1314.09/1318.59 c 1319 1305600 1251456 1 - 0.0000 -
1319.28/1323.73 c 1324 1310753 1256384 1 - 0.0000 -
1324.27/1328.77 c 1329 1315565 1261105 1 - 0.0000 -
1329.34/1333.82 c 1334 1320534 1265871 1 - 0.0000 -
1334.33/1338.88 c 1339 1325295 1270389 1 - 0.0000 -
1339.42/1344.01 c 1344 1330131 1274985 1 - 0.0000 -
1344.50/1349.04 c 1349 1334939 1279501 1 - 0.0000 -
1349.59/1354.14 c 1354 1339793 1284271 1 - 0.0000 -
1354.57/1359.19 c 1359 1344487 1288923 1 - 0.0000 -
1359.65/1364.29 c 1364 1349132 1293568 1 - 0.0000 -
1364.73/1369.33 c 1369 1354316 1298227 1 - 0.0000 -
1369.82/1374.43 c 1374 1359301 1302986 1 - 0.0000 -
1375.00/1379.62 c 1380 1364234 1307609 1 - 0.0000 -
1379.97/1384.69 c 1385 1369309 1312425 1 - 0.0000 -
1385.05/1389.75 c 1390 1374228 1317186 1 - 0.0000 -
1390.13/1394.87 c 1395 1378905 1321780 1 - 0.0000 -
1395.21/1399.98 c 1400 1382784 1325647 1 - 0.0000 -
1400.31/1405.07 c 1405 1387411 1330245 1 - 0.0000 -
1405.40/1410.13 c 1410 1392007 1334819 1 - 0.0000 -
1410.39/1415.18 c 1415 1396571 1339369 1 - 0.0000 -
1415.45/1420.23 c 1420 1401081 1343846 1 - 0.0000 -
1420.54/1425.34 c 1425 1405959 1348676 1 - 0.0000 -
1425.62/1430.44 c 1430 1410771 1353340 1 - 0.0000 -
1430.71/1435.51 c 1436 1415696 1358197 1 - 0.0000 -
1435.79/1440.62 c 1441 1420548 1362908 1 - 0.0000 -
1440.78/1445.69 c 1446 1425418 1367718 1 - 0.0000 -
1445.96/1450.81 c 1451 1429709 1371976 1 - 0.0000 -
1451.05/1455.98 c 1456 1434508 1376536 1 - 0.0000 -
1456.14/1461.03 c 1461 1439242 1381116 1 - 0.0000 -
1461.13/1466.08 c 1466 1443572 1385405 1 - 0.0000 -
1466.21/1471.13 c 1471 1448212 1389896 1 - 0.0000 -
1471.28/1476.20 c 1476 1453239 1394763 1 - 0.0000 -
1476.27/1481.24 c 1481 1458132 1399416 1 - 0.0000 -
1481.25/1486.29 c 1486 1462701 1403865 1 - 0.0000 -
1486.34/1491.34 c 1491 1467462 1408425 1 - 0.0000 -
1491.41/1496.40 c 1496 1472351 1413262 1 - 0.0000 -
1496.40/1501.45 c 1501 1476981 1417812 1 - 0.0000 -
1501.48/1506.50 c 1507 1481485 1422142 1 - 0.0000 -
1506.47/1511.55 c 1512 1486254 1426740 1 - 0.0000 -
1511.66/1516.71 c 1517 1490946 1431378 1 - 0.0000 -
1516.64/1521.77 c 1522 1495722 1436102 1 - 0.0000 -
1521.72/1526.86 c 1527 1500446 1440699 1 - 0.0000 -
1526.81/1531.94 c 1532 1505104 1445212 1 - 0.0000 -
1531.79/1537.01 c 1537 1509958 1449886 1 - 0.0000 -
1536.88/1542.04 c 1542 1514886 1454447 1 - 0.0000 -
1541.86/1547.11 c 1547 1519583 1458955 1 - 0.0000 -
1547.03/1552.20 c 1552 1524104 1463279 1 - 0.0000 -
1552.11/1557.37 c 1557 1528658 1467559 1 - 0.0000 -
1557.20/1562.43 c 1562 1533418 1472056 1 - 0.0000 -
1562.18/1567.48 c 1567 1538339 1476629 1 - 0.0000 -
1567.27/1572.53 c 1573 1542785 1480338 1 - 0.0000 -
1572.35/1577.62 c 1578 1547254 1484530 1 - 0.0000 -
1577.44/1582.77 c 1583 1552235 1489173 1 - 0.0000 -
1582.51/1587.83 c 1588 1557084 1493807 1 - 0.0000 -
1587.60/1592.99 c 1593 1561738 1498345 1 - 0.0000 -
1592.70/1598.08 c 1598 1566556 1502997 1 - 0.0000 -
1597.77/1603.13 c 1603 1571654 1507566 1 - 0.0000 -
1602.76/1608.18 c 1608 1576680 1512407 1 - 0.0000 -
1607.83/1613.23 c 1613 1581332 1516852 1 - 0.0000 -
1612.92/1618.31 c 1618 1585951 1521225 1 - 0.0000 -
1617.91/1623.39 c 1623 1590471 1525701 1 - 0.0000 -
1623.08/1628.50 c 1629 1595083 1530079 1 - 0.0000 -
1628.08/1633.57 c 1634 1599765 1534489 1 - 0.0000 -
1633.16/1638.62 c 1639 1604549 1539053 1 - 0.0000 -
1638.13/1643.68 c 1644 1609472 1543414 1 - 0.0000 -
1643.32/1648.81 c 1649 1614353 1548060 1 - 0.0000 -
1648.40/1653.96 c 1654 1619165 1552253 1 - 0.0000 -
1653.50/1659.05 c 1659 1623906 1556872 1 - 0.0000 -
1658.48/1664.09 c 1664 1628612 1561360 1 - 0.0000 -
1663.57/1669.19 c 1669 1633417 1565895 1 - 0.0000 -
1668.64/1674.29 c 1674 1638464 1570522 1 - 0.0000 -
1673.72/1679.39 c 1679 1643827 1574133 1 - 0.0000 -
1678.91/1684.50 c 1684 1648466 1578546 1 - 0.0000 -
1683.98/1689.62 c 1690 1653629 1582995 1 - 0.0000 -
1688.97/1694.69 c 1695 1658614 1587393 1 - 0.0000 -
1694.06/1699.77 c 1700 1663511 1591672 1 - 0.0000 -
1699.15/1704.89 c 1705 1668434 1596544 1 - 0.0000 -
1704.23/1709.94 c 1710 1673290 1601061 1 - 0.0000 -
1709.21/1714.99 c 1715 1677984 1605492 1 - 0.0000 -
1714.30/1720.09 c 1720 1682851 1610007 1 - 0.0000 -
1719.39/1725.15 c 1725 1687630 1614501 1 - 0.0000 -
1724.46/1730.27 c 1730 1692466 1618971 1 - 0.0000 -
1729.64/1735.43 c 1735 1697218 1623543 1 - 0.0000 -
1734.72/1740.57 c 1741 1702251 1628111 1 - 0.0000 -
1739.80/1745.66 c 1746 1707041 1632661 1 - 0.0000 -
1744.89/1750.73 c 1751 1712160 1637438 1 - 0.0000 -
1749.97/1755.81 c 1756 1716915 1642102 1 - 0.0000 -
1754.96/1760.89 c 1761 1721779 1646693 1 - 0.0000 -
1760.16/1766.02 c 1766 1726693 1651576 1 - 0.0000 -
1765.14/1771.07 c 1771 1731613 1656402 1 - 0.0000 -
1770.23/1776.16 c 1776 1736513 1661177 1 - 0.0000 -
1775.30/1781.25 c 1781 1741523 1665763 1 - 0.0000 -
1780.38/1786.36 c 1786 1746561 1670508 1 - 0.0000 -
1785.47/1791.47 c 1791 1751372 1675091 1 - 0.0000 -
1790.55/1796.55 c 1797 1756136 1679585 1 - 0.0000 -
1795.64/1801.60 c 1802 1760966 1683917 1 - 0.0000 -
1800.63/1806.68 c 1807 1765351 1688093 1 - 0.0000 -
1805.71/1811.74 c 1812 1770313 1692591 1 - 0.0000 -
1810.80/1816.88 c 1817 1775275 1697317 1 - 0.0000 -
1815.88/1821.95 c 1822 1779847 1701747 1 - 0.0000 -
1820.87/1827.00 c 1827 1784799 1706337 1 - 0.0000 -
1825.96/1832.08 c 1832 1789599 1710666 1 - 0.0000 -
1831.05/1837.17 c 1837 1794319 1715251 1 - 0.0000 -
1836.12/1842.21 c 1842 1799202 1719934 1 - 0.0000 -
1841.21/1847.31 c 1847 1804231 1724625 1 - 0.0000 -
1846.29/1852.40 c 1852 1809155 1729382 1 - 0.0000 -
1851.27/1857.45 c 1857 1814025 1734012 1 - 0.0000 -
1856.36/1862.54 c 1863 1818624 1738255 1 - 0.0000 -
1861.44/1867.62 c 1868 1823363 1742512 1 - 0.0000 -
1866.43/1872.66 c 1873 1828064 1746863 1 - 0.0000 -
1871.62/1877.89 c 1878 1832599 1751349 1 - 0.0000 -
1876.70/1882.99 c 1883 1837092 1755784 1 - 0.0000 -
1881.79/1888.03 c 1888 1841911 1760364 1 - 0.0000 -
1886.78/1893.09 c 1893 1846899 1764883 1 - 0.0000 -
1891.87/1898.14 c 1898 1851724 1769377 1 - 0.0000 -
1897.03/1903.31 c 1903 1856760 1774223 1 - 0.0000 -
1902.13/1908.44 c 1908 1861676 1779139 1 - 0.0000 -
1907.21/1913.50 c 1914 1866586 1784021 1 - 0.0000 -
1912.19/1918.59 c 1919 1871199 1788273 1 - 0.0000 -
1917.28/1923.68 c 1924 1875881 1792839 1 - 0.0000 -
1922.36/1928.73 c 1929 1880731 1797241 1 - 0.0000 -
1927.45/1933.80 c 1934 1885391 1801712 1 - 0.0000 -
1932.44/1938.84 c 1939 1890187 1806053 1 - 0.0000 -
1937.52/1943.93 c 1944 1895169 1810645 1 - 0.0000 -
1942.62/1949.05 c 1949 1900113 1815106 1 - 0.0000 -
1947.61/1954.10 c 1954 1904871 1819586 1 - 0.0000 -
1952.70/1959.17 c 1959 1909741 1824425 1 - 0.0000 -
1957.76/1964.21 c 1964 1915126 1828952 1 - 0.0000 -
1962.85/1969.33 c 1969 1919965 1833373 1 - 0.0000 -
1967.83/1974.38 c 1974 1924626 1837601 1 - 0.0000 -
1972.92/1979.46 c 1979 1929419 1842069 1 - 0.0000 -
1978.01/1984.52 c 1985 1934176 1846631 1 - 0.0000 -
1982.99/1989.59 c 1990 1938875 1851128 1 - 0.0000 -
1988.17/1994.73 c 1995 1943548 1855735 1 - 0.0000 -
1993.26/1999.89 c 2000 1948270 1860401 1 - 0.0000 -
1998.35/2004.95 c 2005 1952978 1865093 1 - 0.0000 -
2003.45/2010.03 c 2010 1957527 1869438 1 - 0.0000 -
2008.62/2015.22 c 2015 1962271 1873834 1 - 0.0000 -
2013.60/2020.29 c 2020 1967067 1878454 1 - 0.0000 -
2018.78/2025.43 c 2025 1971823 1882921 1 - 0.0000 -
2023.77/2030.49 c 2030 1976922 1887893 1 - 0.0000 -
2028.86/2035.58 c 2036 1981795 1892557 1 - 0.0000 -
2034.04/2040.72 c 2041 1986633 1897129 1 - 0.0000 -
2039.13/2045.86 c 2046 1991305 1901713 1 - 0.0000 -
2044.22/2050.92 c 2051 1996104 1906231 1 - 0.0000 -
2049.31/2056.04 c 2056 2000972 1910892 1 - 0.0000 -
2054.30/2061.10 c 2061 2005614 1915247 1 - 0.0000 -
2059.47/2066.23 c 2066 2010426 1919554 1 - 0.0000 -
2064.45/2071.29 c 2071 2015588 1924583 1 - 0.0000 -
2069.54/2076.35 c 2076 2020175 1928821 1 - 0.0000 -
2074.63/2081.40 c 2081 2025203 1933332 1 - 0.0000 -
2079.71/2086.51 c 2087 2029943 1937600 1 - 0.0000 -
2084.70/2091.56 c 2092 2034503 1941989 1 - 0.0000 -
2089.79/2096.62 c 2097 2039385 1946627 1 - 0.0000 -
2094.77/2101.68 c 2102 2044138 1950942 1 - 0.0000 -
2099.85/2106.72 c 2107 2048894 1955400 1 - 0.0000 -
2104.84/2111.77 c 2112 2053321 1959605 1 - 0.0000 -
2109.92/2116.82 c 2117 2058013 1963781 1 - 0.0000 -
2115.01/2121.97 c 2122 2062763 1968492 1 - 0.0000 -
2120.10/2127.04 c 2127 2067651 1973117 1 - 0.0000 -
2125.19/2132.12 c 2132 2072441 1977832 1 - 0.0000 -
2130.26/2137.27 c 2137 2077109 1982465 1 - 0.0000 -
2135.35/2142.36 c 2142 2081718 1987050 1 - 0.0000 -
2140.43/2147.44 c 2147 2086448 1991652 1 - 0.0000 -
2145.52/2152.51 c 2153 2091205 1996158 1 - 0.0000 -
2150.60/2157.60 c 2158 2096149 2000897 1 - 0.0000 -
2155.58/2162.66 c 2163 2100849 2005351 1 - 0.0000 -
2160.67/2167.73 c 2168 2105595 2009392 1 - 0.0000 -
2165.75/2172.81 c 2173 2110568 2013827 1 - 0.0000 -
2170.75/2177.85 c 2178 2115507 2018150 1 - 0.0000 -
2175.83/2182.96 c 2183 2120284 2022555 1 - 0.0000 -
2180.93/2188.07 c 2188 2125341 2027151 1 - 0.0000 -
2186.01/2193.12 c 2193 2129926 2031242 1 - 0.0000 -
2191.00/2198.18 c 2198 2134455 2035608 1 - 0.0000 -
2196.07/2203.28 c 2203 2139171 2040226 1 - 0.0000 -
2201.16/2208.37 c 2208 2143991 2044720 1 - 0.0000 -
2206.24/2213.42 c 2213 2148509 2049182 1 - 0.0000 -
2211.23/2218.47 c 2218 2152702 2053147 1 - 0.0000 -
2216.31/2223.54 c 2224 2157532 2057891 1 - 0.0000 -
2221.39/2228.65 c 2229 2162638 2062778 1 - 0.0000 -
2226.58/2233.82 c 2234 2167559 2067163 1 - 0.0000 -
2231.56/2238.89 c 2239 2172413 2071719 1 - 0.0000 -
2236.66/2243.97 c 2244 2177223 2076322 1 - 0.0000 -
2241.75/2249.03 c 2249 2182088 2080833 1 - 0.0000 -
2246.83/2254.14 c 2254 2187014 2085441 1 - 0.0000 -
2251.91/2259.20 c 2259 2191663 2089830 1 - 0.0000 -
2256.89/2264.28 c 2264 2196218 2094265 1 - 0.0000 -
2261.98/2269.34 c 2269 2201025 2098812 1 - 0.0000 -
2267.06/2274.41 c 2274 2205621 2103164 1 - 0.0000 -
2272.05/2279.49 c 2279 2210309 2107640 1 - 0.0000 -
2277.14/2284.54 c 2285 2215333 2112268 1 - 0.0000 -
2282.12/2289.58 c 2290 2220088 2116780 1 - 0.0000 -
2287.20/2294.65 c 2295 2224481 2121066 1 - 0.0000 -
2292.19/2299.69 c 2300 2229240 2125636 1 - 0.0000 -
2297.28/2304.74 c 2305 2234199 2130345 1 - 0.0000 -
2302.36/2309.88 c 2310 2239102 2134907 1 - 0.0000 -
2307.44/2314.97 c 2315 2243777 2139493 1 - 0.0000 -
2312.54/2320.04 c 2320 2248779 2144011 1 - 0.0000 -
2317.72/2325.20 c 2325 2253495 2148433 1 - 0.0000 -
2322.71/2330.24 c 2330 2258015 2152711 1 - 0.0000 -
2327.79/2335.31 c 2335 2262611 2156833 1 - 0.0000 -
2332.87/2340.44 c 2340 2267084 2161078 1 - 0.0000 -
2337.96/2345.54 c 2346 2272009 2165659 1 - 0.0000 -
2343.14/2350.71 c 2351 2276920 2170354 1 - 0.0000 -
2348.23/2355.83 c 2356 2281456 2174764 1 - 0.0000 -
2353.31/2360.94 c 2361 2286372 2179387 1 - 0.0000 -
2358.30/2366.01 c 2366 2290915 2183708 1 - 0.0000 -
2363.50/2371.15 c 2371 2295192 2187855 1 - 0.0000 -
2368.57/2376.22 c 2376 2300016 2192369 1 - 0.0000 -
2373.66/2381.34 c 2381 2304935 2196823 1 - 0.0000 -
2378.74/2386.41 c 2386 2309359 2200987 1 - 0.0000 -
2383.82/2391.53 c 2392 2314058 2205298 1 - 0.0000 -
2388.91/2396.67 c 2397 2318889 2209774 1 - 0.0000 -
2393.99/2401.73 c 2402 2323554 2214284 1 - 0.0000 -
2399.08/2406.80 c 2407 2328075 2218579 1 - 0.0000 -
2404.07/2411.85 c 2412 2332597 2222822 1 - 0.0000 -
2409.15/2416.94 c 2417 2337022 2226894 1 - 0.0000 -
2414.25/2422.02 c 2422 2341292 2231063 1 - 0.0000 -
2419.42/2427.27 c 2427 2346171 2235777 1 - 0.0000 -
2424.51/2432.37 c 2432 2351014 2240307 1 - 0.0000 -
2429.59/2437.43 c 2437 2355451 2244564 1 - 0.0000 -
2434.58/2442.48 c 2442 2360194 2249005 1 - 0.0000 -
2439.66/2447.56 c 2448 2364812 2253202 1 - 0.0000 -
2444.74/2452.62 c 2453 2369241 2257395 1 - 0.0000 -
2449.73/2457.67 c 2458 2374044 2261902 1 - 0.0000 -
2454.82/2462.77 c 2463 2378834 2266375 1 - 0.0000 -
2459.90/2467.82 c 2468 2383509 2270587 1 - 0.0000 -
2464.98/2473.01 c 2473 2387869 2274845 1 - 0.0000 -
2470.18/2478.17 c 2478 2392381 2279289 1 - 0.0000 -
2475.24/2483.21 c 2483 2396607 2283475 1 - 0.0000 -
2480.23/2488.28 c 2488 2401296 2287950 1 - 0.0000 -
2485.31/2493.34 c 2493 2405731 2292119 1 - 0.0000 -
2490.40/2498.43 c 2498 2410138 2296340 1 - 0.0000 -
2495.49/2503.52 c 2504 2415071 2300895 1 - 0.0000 -
2500.47/2508.56 c 2509 2419559 2305165 1 - 0.0000 -
2505.56/2513.64 c 2514 2423995 2309219 1 - 0.0000 -
2510.54/2518.69 c 2519 2428464 2313351 1 - 0.0000 -
2515.63/2523.75 c 2524 2432917 2317400 1 - 0.0000 -
2520.61/2528.79 c 2529 2437774 2321786 1 - 0.0000 -
2525.70/2533.88 c 2534 2442235 2326024 1 - 0.0000 -
2530.79/2538.93 c 2539 2446932 2330353 1 - 0.0000 -
2535.78/2543.98 c 2544 2451481 2334614 1 - 0.0000 -
2540.86/2549.03 c 2549 2456245 2339205 1 - 0.0000 -
2545.85/2554.10 c 2554 2460779 2343600 1 - 0.0000 -
2550.94/2559.19 c 2559 2465378 2347853 1 - 0.0000 -
2556.01/2564.23 c 2564 2469994 2352019 1 - 0.0000 -
2561.00/2569.29 c 2569 2474368 2356108 1 - 0.0000 -
2566.08/2574.34 c 2574 2478794 2360354 1 - 0.0000 -
2571.16/2579.44 c 2579 2483638 2364829 1 - 0.0000 -
2576.35/2584.61 c 2585 2488448 2369252 1 - 0.0000 -
2581.33/2589.70 c 2590 2492921 2373648 1 - 0.0000 -
2586.52/2594.88 c 2595 2497499 2378115 1 - 0.0000 -
2591.60/2599.96 c 2600 2502405 2382973 1 - 0.0000 -
2596.70/2605.01 c 2605 2507094 2387618 1 - 0.0000 -
2601.69/2610.10 c 2610 2512025 2392538 1 - 0.0000 -
2606.95/2615.39 c 2615 2516566 2397026 1 - 0.0000 -
2612.04/2620.48 c 2620 2521021 2401467 1 - 0.0000 -
2617.13/2625.54 c 2626 2525448 2405869 1 - 0.0000 -
2622.22/2630.68 c 2631 2530041 2410010 1 - 0.0000 -
2627.30/2635.75 c 2636 2534592 2414321 1 - 0.0000 -
2632.38/2640.84 c 2641 2539419 2418853 1 - 0.0000 -
2637.47/2645.98 c 2646 2544161 2423334 1 - 0.0000 -
2642.56/2651.03 c 2651 2548882 2427510 1 - 0.0000 -
2647.65/2656.12 c 2656 2553331 2431901 1 - 0.0000 -
2652.82/2661.32 c 2661 2557914 2436398 1 - 0.0000 -
2657.91/2666.44 c 2666 2562447 2440797 1 - 0.0000 -
2663.09/2671.62 c 2672 2567323 2445363 1 - 0.0000 -
2668.07/2676.67 c 2677 2571929 2449698 1 - 0.0000 -
2673.26/2681.80 c 2682 2576276 2453832 1 - 0.0000 -
2678.24/2686.85 c 2687 2580942 2458195 1 - 0.0000 -
2683.33/2691.97 c 2692 2585487 2462526 1 - 0.0000 -
2688.43/2697.03 c 2697 2590018 2466860 1 - 0.0000 -
2693.51/2702.14 c 2702 2594617 2470921 1 - 0.0000 -
2698.58/2707.23 c 2707 2599390 2475426 1 - 0.0000 -
2703.67/2712.32 c 2712 2604338 2479854 1 - 0.0000 -
2708.75/2717.42 c 2717 2609001 2484200 1 - 0.0000 -
2713.84/2722.52 c 2723 2613596 2488677 1 - 0.0000 -
2718.92/2727.65 c 2728 2617968 2492878 1 - 0.0000 -
2724.11/2732.82 c 2733 2622403 2497099 1 - 0.0000 -
2729.10/2737.89 c 2738 2626972 2501460 1 - 0.0000 -
2734.18/2742.96 c 2743 2631901 2505536 1 - 0.0000 -
2739.28/2748.06 c 2748 2636357 2509909 1 - 0.0000 -
2744.37/2753.12 c 2753 2640808 2513961 1 - 0.0000 -
2749.35/2758.17 c 2758 2645455 2518286 1 - 0.0000 -
2754.53/2763.32 c 2763 2650145 2522579 1 - 0.0000 -
2759.51/2768.36 c 2768 2654666 2526921 1 - 0.0000 -
2764.59/2773.47 c 2773 2659482 2531559 1 - 0.0000 -
2769.88/2778.71 c 2779 2663911 2535797 1 - 0.0000 -
2774.96/2783.87 c 2784 2668583 2540296 1 - 0.0000 -
2780.05/2788.92 c 2789 2673216 2544767 1 - 0.0000 -
2785.15/2794.01 c 2794 2677681 2548878 1 - 0.0000 -
2790.14/2799.06 c 2799 2682173 2553126 1 - 0.0000 -
2795.31/2804.22 c 2804 2686476 2557241 1 - 0.0000 -
2800.29/2809.29 c 2809 2690951 2561669 1 - 0.0000 -
2805.48/2814.49 c 2814 2695785 2566472 1 - 0.0000 -
2810.66/2819.62 c 2820 2700181 2570812 1 - 0.0000 -
2815.75/2824.70 c 2825 2704767 2575104 1 - 0.0000 -
2820.83/2829.80 c 2830 2709474 2579655 1 - 0.0000 -
2825.92/2834.95 c 2835 2714067 2583991 1 - 0.0000 -
2831.12/2840.13 c 2840 2718725 2588473 1 - 0.0000 -
2836.10/2845.18 c 2845 2722974 2592501 1 - 0.0000 -
2841.18/2850.23 c 2850 2727284 2596737 1 - 0.0000 -
2846.27/2855.32 c 2855 2731666 2600759 1 - 0.0000 -
2851.35/2860.43 c 2860 2735824 2604657 1 - 0.0000 -
2856.53/2865.63 c 2866 2740584 2609206 1 - 0.0000 -
2861.62/2870.77 c 2871 2744840 2613099 1 - 0.0000 -
2866.80/2875.94 c 2876 2749396 2617457 1 - 0.0000 -
2871.90/2881.03 c 2881 2753794 2621566 1 - 0.0000 -
2876.89/2886.08 c 2886 2758628 2625859 1 - 0.0000 -
2882.06/2891.28 c 2891 2763356 2630254 1 - 0.0000 -
2887.24/2896.40 c 2896 2767958 2634599 1 - 0.0000 -
2892.23/2901.46 c 2901 2772561 2638918 1 - 0.0000 -
2897.32/2906.51 c 2907 2776904 2643214 1 - 0.0000 -
2902.40/2911.66 c 2912 2781134 2647424 1 - 0.0000 -
2907.49/2916.71 c 2917 2785191 2651293 1 - 0.0000 -
2912.47/2921.79 c 2922 2789404 2655394 1 - 0.0000 -
2917.55/2926.84 c 2927 2793565 2659410 1 - 0.0000 -
2922.75/2932.03 c 2932 2797771 2663496 1 - 0.0000 -
2927.84/2937.19 c 2937 2802147 2667699 1 - 0.0000 -
2933.00/2942.34 c 2942 2806551 2672040 1 - 0.0000 -
2938.09/2947.40 c 2947 2810999 2676151 1 - 0.0000 -
2943.18/2952.57 c 2953 2815514 2680444 1 - 0.0000 -
2948.26/2957.67 c 2958 2820084 2684760 1 - 0.0000 -
2953.35/2962.78 c 2963 2824568 2689143 1 - 0.0000 -
2958.43/2967.88 c 2968 2829428 2693688 1 - 0.0000 -
2963.52/2972.94 c 2973 2833851 2697927 1 - 0.0000 -
2968.72/2978.13 c 2978 2838238 2702113 1 - 0.0000 -
2973.70/2983.17 c 2983 2842600 2706305 1 - 0.0000 -
2978.87/2988.39 c 2988 2847108 2710313 1 - 0.0000 -
2983.95/2993.46 c 2993 2851834 2714745 1 - 0.0000 -
2989.04/2998.53 c 2999 2856350 2718977 1 - 0.0000 -
2994.13/3003.61 c 3004 2860429 2722682 1 - 0.0000 -
2999.11/3008.68 c 3009 2864919 2726948 1 - 0.0000 -
3004.30/3013.81 c 3014 2869346 2730652 1 - 0.0000 -
3009.38/3018.91 c 3019 2873251 2734290 1 - 0.0000 -
3014.48/3024.04 c 3024 2877289 2738193 1 - 0.0000 -
3019.46/3029.09 c 3029 2881893 2742567 1 - 0.0000 -
3024.64/3034.25 c 3034 2886280 2746828 1 - 0.0000 -
3029.72/3039.35 c 3039 2890518 2750913 1 - 0.0000 -
3034.81/3044.40 c 3044 2894704 2755007 1 - 0.0000 -
3039.89/3049.56 c 3050 2899309 2759365 1 - 0.0000 -
3044.98/3054.68 c 3055 2903892 2763725 1 - 0.0000 -
3050.16/3059.81 c 3060 2908419 2767895 1 - 0.0000 -
3055.25/3064.92 c 3065 2912977 2772315 1 - 0.0000 -
3060.35/3070.01 c 3070 2917390 2776489 1 - 0.0000 -
3065.44/3075.19 c 3075 2921841 2780395 1 - 0.0000 -
3070.60/3080.32 c 3080 2926441 2784677 1 - 0.0000 -
3075.79/3085.55 c 3086 2930901 2788961 1 - 0.0000 -
3080.87/3090.66 c 3091 2935335 2793214 1 - 0.0000 -
3085.96/3095.75 c 3096 2939668 2797407 1 - 0.0000 -
3091.05/3100.81 c 3101 2944232 2801791 1 - 0.0000 -
3096.13/3105.99 c 3106 2948754 2806063 1 - 0.0000 -
3101.23/3111.10 c 3111 2953296 2810312 1 - 0.0000 -
3106.40/3116.26 c 3116 2957597 2814322 1 - 0.0000 -
3111.48/3121.35 c 3121 2962009 2818543 1 - 0.0000 -
3116.57/3126.47 c 3126 2966623 2823063 1 - 0.0000 -
3121.65/3131.56 c 3132 2971338 2827531 1 - 0.0000 -
3126.83/3136.73 c 3137 2975839 2831986 1 - 0.0000 -
3131.82/3141.77 c 3142 2980316 2836335 1 - 0.0000 -
3136.91/3146.89 c 3147 2984766 2840766 1 - 0.0000 -
3141.99/3151.96 c 3152 2988984 2844755 1 - 0.0000 -
3147.20/3157.13 c 3157 2993776 2849316 1 - 0.0000 -
3152.18/3162.18 c 3162 2998339 2853736 1 - 0.0000 -
3157.25/3167.27 c 3167 3002633 2857809 1 - 0.0000 -
3162.53/3172.52 c 3173 3007196 2862206 1 - 0.0000 -
3167.52/3177.56 c 3178 3011686 2866555 1 - 0.0000 -
3172.61/3182.64 c 3183 3016040 2870749 1 - 0.0000 -
3177.69/3187.77 c 3188 3020635 2875064 1 - 0.0000 -
3182.88/3192.90 c 3193 3025413 2879420 1 - 0.0000 -
3187.87/3198.01 c 3198 3029872 2883363 1 - 0.0000 -
3192.95/3203.10 c 3203 3034041 2887513 1 - 0.0000 -
3198.12/3208.23 c 3208 3038549 2891952 1 - 0.0000 -
3203.30/3213.43 c 3213 3043185 2896304 1 - 0.0000 -
3208.39/3218.59 c 3219 3047592 2900357 1 - 0.0000 -
3213.67/3223.80 c 3224 3052076 2904742 1 - 0.0000 -
3218.76/3228.95 c 3229 3056558 2909179 1 - 0.0000 -
3223.86/3234.07 c 3234 3060841 2913448 1 - 0.0000 -
3229.03/3239.20 c 3239 3065268 2917686 1 - 0.0000 -
3234.01/3244.24 c 3244 3069423 2921788 1 - 0.0000 -
3239.10/3249.35 c 3249 3073821 2926042 1 - 0.0000 -
3244.18/3254.43 c 3254 3078330 2930465 1 - 0.0000 -
3249.17/3259.49 c 3260 3082796 2934680 1 - 0.0000 -
3254.26/3264.57 c 3265 3087169 2938848 1 - 0.0000 -
3259.35/3269.61 c 3270 3091422 2942898 1 - 0.0000 -
3264.42/3274.70 c 3275 3095895 2947218 1 - 0.0000 -
3269.61/3279.93 c 3280 3100633 2951732 1 - 0.0000 -
3274.71/3285.05 c 3285 3105313 2956185 1 - 0.0000 -
3279.89/3290.24 c 3290 3109832 2960586 1 - 0.0000 -
3284.96/3295.35 c 3295 3114504 2964856 1 - 0.0000 -
3290.05/3300.48 c 3300 3119038 2969251 1 - 0.0000 -
3295.24/3305.69 c 3306 3123810 2973348 1 - 0.0000 -
3300.33/3310.74 c 3311 3128195 2977563 1 - 0.0000 -
3305.51/3315.91 c 3316 3132590 2981661 1 - 0.0000 -
3310.61/3321.03 c 3321 3137002 2985802 1 - 0.0000 -
3315.69/3326.13 c 3326 3141473 2989937 1 - 0.0000 -
3320.67/3331.18 c 3331 3145750 2993848 1 - 0.0000 -
3325.85/3336.32 c 3336 3150495 2998269 1 - 0.0000 -
3330.94/3341.41 c 3341 3154829 3002219 1 - 0.0000 -
3335.92/3346.47 c 3346 3159030 3006324 1 - 0.0000 -
3341.01/3351.52 c 3352 3163472 3010446 1 - 0.0000 -
3346.09/3356.67 c 3357 3168065 3014663 1 - 0.0000 -
3351.17/3361.78 c 3362 3172285 3018773 1 - 0.0000 -
3356.36/3366.92 c 3367 3176738 3023220 1 - 0.0000 -
3361.35/3372.01 c 3372 3181124 3027435 1 - 0.0000 -
3366.44/3377.08 c 3377 3185766 3031766 1 - 0.0000 -
3371.53/3382.16 c 3382 3189968 3035810 1 - 0.0000 -
3376.60/3387.23 c 3387 3194549 3039797 1 - 0.0000 -
3381.78/3392.42 c 3392 3199215 3044185 1 - 0.0000 -
3386.87/3397.55 c 3398 3203935 3048552 1 - 0.0000 -
3392.06/3402.72 c 3403 3208293 3052685 1 - 0.0000 -
3397.24/3407.97 c 3408 3212647 3056881 1 - 0.0000 -
3402.34/3413.03 c 3413 3217189 3061152 1 - 0.0000 -
3407.42/3418.18 c 3418 3221304 3065113 1 - 0.0000 -
3412.59/3423.37 c 3423 3225772 3069348 1 - 0.0000 -
3417.78/3428.51 c 3429 3230189 3073545 1 - 0.0000 -
3423.06/3433.81 c 3434 3234521 3077576 1 - 0.0000 -
3428.25/3439.05 c 3439 3239157 3082025 1 - 0.0000 -
3433.24/3444.10 c 3444 3243460 3086187 1 - 0.0000 -
3438.42/3449.23 c 3449 3247981 3090470 1 - 0.0000 -
3443.49/3454.33 c 3454 3252277 3094565 1 - 0.0000 -
3448.59/3459.41 c 3459 3256729 3098580 1 - 0.0000 -
3453.57/3464.49 c 3464 3261369 3102878 1 - 0.0000 -
3458.76/3469.60 c 3470 3265942 3107168 1 - 0.0000 -
3463.74/3474.65 c 3475 3270375 3111436 1 - 0.0000 -
3468.82/3479.71 c 3480 3274667 3115380 1 - 0.0000 -
3473.91/3484.86 c 3485 3279133 3119354 1 - 0.0000 -
3479.00/3489.90 c 3490 3283448 3123217 1 - 0.0000 -
3483.98/3494.96 c 3495 3287824 3127298 1 - 0.0000 -
3489.07/3500.04 c 3500 3292029 3131326 1 - 0.0000 -
3494.05/3505.09 c 3505 3296712 3135586 1 - 0.0000 -
3499.14/3510.18 c 3510 3301096 3139935 1 - 0.0000 -
3504.22/3515.23 c 3515 3305444 3144270 1 - 0.0000 -
3509.41/3520.40 c 3520 3309722 3148521 1 - 0.0000 -
3514.49/3525.50 c 3526 3313911 3152608 1 - 0.0000 -
3519.58/3530.67 c 3531 3318282 3156868 1 - 0.0000 -
3524.76/3535.83 c 3536 3322800 3160907 1 - 0.0000 -
3529.75/3540.88 c 3541 3327427 3165192 1 - 0.0000 -
3534.94/3546.05 c 3546 3331844 3169403 1 - 0.0000 -
3540.03/3551.16 c 3551 3336231 3173705 1 - 0.0000 -
3545.20/3556.32 c 3556 3340899 3178294 1 - 0.0000 -
3550.18/3561.36 c 3561 3345737 3182515 1 - 0.0000 -
3555.37/3566.57 c 3567 3350099 3186502 1 - 0.0000 -
3560.46/3571.68 c 3572 3354561 3190827 1 - 0.0000 -
3565.54/3576.73 c 3577 3359059 3194984 1 - 0.0000 -
3570.63/3581.88 c 3582 3363384 3199056 1 - 0.0000 -
3575.71/3586.97 c 3587 3368073 3203344 1 - 0.0000 -
3580.81/3592.03 c 3592 3372103 3207091 1 - 0.0000 -
3585.80/3597.08 c 3597 3376364 3211090 1 - 0.0000 -
3589.97/3601.26 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.97/3601.26 c Total Time : 3601.2500
3589.97/3601.26 c solving : 3601.2500
3589.97/3601.26 c presolving : 0.0269 (included in solving)
3589.97/3601.26 c B&B Tree :
3589.97/3601.26 c nodes (total) : 1
3589.97/3601.26 c Solution :
3589.97/3601.26 c Solutions found : 0
3589.97/3601.26 c Primal Bound : -
3589.97/3601.26 c Dual Bound : +0.00000000000000e+00
3589.97/3601.26 c Gap : -
3589.97/3601.26 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 (43952 MiB free)
memory of node 1: 64473 MiB (62218 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464545-1722385802/watcher-4464545-1722385802 -o /tmp/evaluation-result-4464545-1722385802/solver-4464545-1722385802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722378594-29038 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464545-1722385802.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=33558, runsolver pid=33555
[startup+0.100097 s]*
/proc/loadavg: 4.16 4.15 4.16 5/252 33561
/proc/meminfo: memFree=108705384/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=109952 memory=24972 CPUtime=0.1 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 3223 0 0 0 10 0 0 0 20 0 3 0 4951670 112590848 6243 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 27488 6243 2838 3035 0 9103 0
[pid=33558/tid=33560] ppid=33555 vsize=109952 memory=4026561586 CPUtime=0.06 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 1298 0 0 0 6 0 0 0 20 0 3 0 4951674 112590848 6243 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=109952 memory=232851243367 CPUtime=0 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4951676 112590848 6243 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 109952 KiB
Current children cumulated memory: 24972 KiB
[startup+0.214136 s]*
/proc/loadavg: 4.16 4.15 4.16 5/252 33561
/proc/meminfo: memFree=108699840/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=109952 memory=30144 CPUtime=0.22 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 4383 0 0 0 21 1 0 0 20 0 3 0 4951670 112590848 7536 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 27488 7536 2950 3035 0 10580 0
[pid=33558/tid=33560] ppid=33555 vsize=109952 memory=664970838410264707 CPUtime=0.16 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 2458 0 0 0 16 0 0 0 20 0 3 0 4951674 112590848 7536 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=109952 memory=72973 CPUtime=0 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4951676 112590848 7536 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 109952 KiB
Current children cumulated memory: 30144 KiB
[startup+0.314032 s]*
/proc/loadavg: 4.16 4.15 4.16 5/252 33561
/proc/meminfo: memFree=108699336/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=109952 memory=30144 CPUtime=0.32 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 4390 0 0 0 31 1 0 0 20 0 3 0 4951670 112590848 7536 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 27488 7536 2950 3035 0 10580 0
[pid=33558/tid=33560] ppid=33555 vsize=109952 memory=-5155630193509493637 CPUtime=0.26 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 2465 0 0 0 26 0 0 0 20 0 3 0 4951674 112590848 7536 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=109952 memory=0 CPUtime=0 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4951676 112590848 7536 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 109952 KiB
Current children cumulated memory: 30144 KiB
[startup+0.700385 s]
/proc/loadavg: 4.16 4.15 4.16 5/252 33561
/proc/meminfo: memFree=108696524/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=111864 memory=38328 CPUtime=0.68 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 6478 0 0 0 67 1 0 0 20 0 3 0 4951670 114548736 9582 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 27966 9582 2950 3035 0 12458 0
[pid=33558/tid=33560] ppid=33555 vsize=111864 memory=0 CPUtime=0.64 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 4553 0 0 0 63 1 0 0 20 0 3 0 4951674 114548736 9582 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=111864 memory=0 CPUtime=0 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 4951676 114548736 9582 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 111864 KiB
Current children cumulated memory: 38328 KiB
[startup+1.50034 s]
/proc/loadavg: 4.16 4.15 4.16 5/249 33561
/proc/meminfo: memFree=108679240/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=112708 memory=46772 CPUtime=1.48 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 12282 0 0 0 146 2 0 0 20 0 3 0 4951670 115412992 11693 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 28177 11693 2966 3035 0 14563 0
[pid=33558/tid=33560] ppid=33555 vsize=112708 memory=0 CPUtime=1.44 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 10355 0 0 0 142 2 0 0 20 0 3 0 4951674 115412992 11693 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=112708 memory=0 CPUtime=0 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4951676 115412992 11693 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 112708 KiB
Current children cumulated memory: 46772 KiB
[startup+3.11465 s]
/proc/loadavg: 4.16 4.15 4.16 5/249 33563
/proc/meminfo: memFree=108630216/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=113512 memory=50240 CPUtime=3.09 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 13672 0 0 0 307 2 0 0 20 0 3 0 4951670 116236288 12560 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 28378 12560 2966 3035 0 15601 0
[pid=33558/tid=33560] ppid=33555 vsize=113512 memory=2273 CPUtime=3.05 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 11733 0 0 0 303 2 0 0 20 0 3 0 4951674 116236288 12560 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=113512 memory=0 CPUtime=0 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 3 0 4951676 116236288 12560 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 113512 KiB
Current children cumulated memory: 50240 KiB
[startup+6.30033 s]
/proc/loadavg: 4.15 4.14 4.16 5/249 33563
/proc/meminfo: memFree=108615484/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=115500 memory=63956 CPUtime=6.27 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 25460 0 0 0 623 4 0 0 20 0 3 0 4951670 118272000 15989 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 28875 15989 3014 3035 0 18848 0
[pid=33558/tid=33560] ppid=33555 vsize=115500 memory=-5155630193509493637 CPUtime=6.22 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 23500 0 0 0 619 3 0 0 20 0 3 0 4951674 118272000 15989 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=115500 memory=63956 CPUtime=0 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 4951676 118272000 15989 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 115500 KiB
Current children cumulated memory: 63956 KiB
[startup+12.7003 s]
/proc/loadavg: 4.13 4.14 4.16 5/249 33564
/proc/meminfo: memFree=108610668/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=118180 memory=69796 CPUtime=12.65 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 36813 0 0 0 1260 5 0 0 20 0 3 0 4951670 121016320 17449 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 29545 17449 3014 3035 0 20341 0
[pid=33558/tid=33560] ppid=33555 vsize=118180 memory=50240 CPUtime=12.6 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 34812 0 0 0 1255 5 0 0 20 0 3 0 4951674 121016320 17449 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=118180 memory=0 CPUtime=0 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 4951676 121016320 17449 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 118180 KiB
Current children cumulated memory: 69796 KiB
[startup+25.5004 s]
/proc/loadavg: 4.18 4.15 4.16 5/249 33566
/proc/meminfo: memFree=108573480/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=119264 memory=81652 CPUtime=25.41 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 60422 0 0 0 2531 10 0 0 20 0 3 0 4951670 122126336 20413 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 29816 20413 3014 3035 0 23427 0
[pid=33558/tid=33560] ppid=33555 vsize=119264 memory=66368 CPUtime=25.36 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 58372 0 0 0 2527 9 0 0 20 0 3 0 4951674 122126336 20413 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=119264 memory=12132 CPUtime=0 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 4951676 122126336 20413 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 119264 KiB
Current children cumulated memory: 81652 KiB
[startup+51.1138 s]
/proc/loadavg: 4.12 4.14 4.15 5/249 33569
/proc/meminfo: memFree=108547656/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=188988 memory=98236 CPUtime=50.94 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 97072 0 0 0 5078 16 0 0 20 0 3 0 4951670 193523712 24559 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 47247 24559 3014 3035 0 27326 0
[pid=33558/tid=33560] ppid=33555 vsize=188988 memory=94000 CPUtime=50.89 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 94916 0 0 0 5074 15 0 0 20 0 3 0 4951674 193523712 24559 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=188988 memory=93936 CPUtime=0 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 11 0 0 0 0 0 0 0 20 0 3 0 4951676 193523712 24559 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 188988 KiB
Current children cumulated memory: 98236 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.11 4.14 5/249 33579
/proc/meminfo: memFree=108497832/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=205348 memory=138832 CPUtime=101.97 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 147539 0 0 0 10166 31 0 0 20 0 3 0 4951670 210276352 34708 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 51337 34708 3014 3035 0 37971 0
[pid=33558/tid=33560] ppid=33555 vsize=205348 memory=133912 CPUtime=101.91 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 145306 0 0 0 10161 30 0 0 20 0 3 0 4951674 210276352 34708 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=205348 memory=133772 CPUtime=0 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 14 0 0 0 0 0 0 0 20 0 3 0 4951676 210276352 34708 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 205348 KiB
Current children cumulated memory: 138832 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/249 33591
/proc/meminfo: memFree=108448144/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=218636 memory=184940 CPUtime=161.77 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 191305 0 0 0 16134 43 0 0 20 0 3 0 4951670 223883264 46235 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 54659 46235 3014 3035 0 49432 0
[pid=33558/tid=33560] ppid=33555 vsize=218636 memory=178588 CPUtime=161.71 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 189017 0 0 0 16129 42 0 0 20 0 3 0 4951674 223883264 46235 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=218636 memory=12132 CPUtime=0 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 3 0 4951676 223883264 46235 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 218636 KiB
################
# More data... #
################
Current children cumulated memory: 2440964 KiB
[startup+3462.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/254 35765
/proc/meminfo: memFree=113436552/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=2569836 memory=2482000 CPUtime=3451.47 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 2125700 0 0 0 344434 713 0 0 20 0 3 0 4951670 2631512064 620500 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 642459 620500 3014 3035 0 627575 0
[pid=33558/tid=33560] ppid=33555 vsize=2569836 memory=2376956 CPUtime=3451.1 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 2122413 0 0 0 344406 704 0 0 20 0 3 0 4951674 2631512064 620500 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=2569836 memory=2447756 CPUtime=0.04 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 72 0 0 0 1 3 0 0 20 0 3 0 4951676 2631512064 620500 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 3451.47 s
Current children cumulated vsize: 2569836 KiB
Current children cumulated memory: 2482000 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.14 5/254 35943
/proc/meminfo: memFree=113397072/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=2586264 memory=2519744 CPUtime=3511.3 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 2157532 0 0 0 350408 722 0 0 20 0 3 0 4951670 2648334336 629936 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 646566 629936 3014 3035 0 636444 0
[pid=33558/tid=33560] ppid=33555 vsize=2586264 memory=2492664 CPUtime=3510.92 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 2154229 0 0 0 350379 713 0 0 20 0 3 0 4951674 2648334336 629936 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=2586264 memory=2516348 CPUtime=0.04 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 73 0 0 0 1 3 0 0 20 0 3 0 4951676 2648334336 629936 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 3511.3 s
Current children cumulated vsize: 2586264 KiB
Current children cumulated memory: 2519744 KiB
[startup+3582.3 s]
/proc/loadavg: 4.67 4.27 4.19 5/254 35954
/proc/meminfo: memFree=113357932/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=2603580 memory=2557432 CPUtime=3571.13 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 2195286 0 0 0 356378 735 0 0 20 0 3 0 4951670 2666065920 639358 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 650895 639358 3014 3035 0 645817 0
[pid=33558/tid=33560] ppid=33555 vsize=2603580 memory=12132 CPUtime=3570.74 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 2191968 0 0 0 356349 725 0 0 20 0 3 0 4951674 2666065920 639358 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=2603580 memory=12132 CPUtime=0.04 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 74 0 0 0 1 3 0 0 20 0 3 0 4951676 2666065920 639358 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 3571.13 s
Current children cumulated vsize: 2603580 KiB
Current children cumulated memory: 2557432 KiB
[startup+3601.33 s]
# the end of solver process 33558 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.42 s, system=7.68265 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.70 4.28 4.20 5/254 35954
/proc/meminfo: memFree=113357140/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=2603580 memory=2558160 CPUtime=3572.83 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 2196239 0 0 0 356548 735 0 0 20 0 3 0 4951670 2666065920 639540 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 650895 639540 3014 3035 0 646009 0
[pid=33558/tid=33560] ppid=33555 vsize=2603580 memory=6928 CPUtime=3572.46 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 2192919 0 0 0 356520 726 0 0 20 0 3 0 4951674 2666065920 639540 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=2603580 memory=7172 CPUtime=0.04 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 74 0 0 0 1 3 0 0 20 0 3 0 4951676 2666065920 639540 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 2603580 KiB
Current children cumulated memory: 2558160 KiB
[startup+3590.4 s]
/proc/loadavg: 4.88 4.32 4.21 5/254 35954
/proc/meminfo: memFree=113353252/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=2671168 memory=2562008 CPUtime=3579.2 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 2204018 0 0 0 357184 736 0 0 20 0 3 0 4951670 2735276032 640502 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 667792 640502 3014 3035 0 646955 0
[pid=33558/tid=33560] ppid=33555 vsize=2671168 memory=5512 CPUtime=3578.81 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 2200692 0 0 0 357155 726 0 0 20 0 3 0 4951674 2735276032 640502 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=2671168 memory=2558200 CPUtime=0.04 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 75 0 0 0 1 3 0 0 20 0 3 0 4951676 2735276032 640502 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 3579.2 s
Current children cumulated vsize: 2671168 KiB
Current children cumulated memory: 2562008 KiB
[startup+3596.8 s]
/proc/loadavg: 4.89 4.33 4.21 5/254 35956
/proc/meminfo: memFree=113347424/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=2672196 memory=2565036 CPUtime=3585.59 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 2206773 0 0 0 357822 737 0 0 20 0 3 0 4951670 2736328704 641259 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 668049 641259 3014 3035 0 647708 0
[pid=33558/tid=33560] ppid=33555 vsize=2672196 memory=2553648 CPUtime=3585.2 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 2203439 0 0 0 357793 727 0 0 20 0 3 0 4951674 2736328704 641259 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=2672196 memory=2562008 CPUtime=0.04 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 75 0 0 0 1 3 0 0 20 0 3 0 4951676 2736328704 641259 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 3585.59 s
Current children cumulated vsize: 2672196 KiB
Current children cumulated memory: 2565036 KiB
[startup+3598.4 s]
/proc/loadavg: 4.89 4.33 4.21 5/254 35956
/proc/meminfo: memFree=113346248/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=2673220 memory=2566060 CPUtime=3587.17 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 2312007 0 0 0 357976 741 0 0 20 0 3 0 4951670 2737377280 641515 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 668305 641515 3014 3035 0 647964 0
[pid=33558/tid=33560] ppid=33555 vsize=2673220 memory=12132 CPUtime=3586.8 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 2308672 0 0 0 357948 732 0 0 20 0 3 0 4951674 2737377280 641515 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=2673220 memory=12576 CPUtime=0.04 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 75 0 0 0 1 3 0 0 20 0 3 0 4951676 2737377280 641515 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 3587.17 s
Current children cumulated vsize: 2673220 KiB
Current children cumulated memory: 2566060 KiB
[startup+3600 s]*
/proc/loadavg: 4.90 4.35 4.22 5/256 36014
/proc/meminfo: memFree=113787736/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=2231036 memory=2124016 CPUtime=3588.78 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 2526384 0 0 0 358123 755 0 0 20 0 3 0 4951670 2284580864 531004 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 557759 531004 3014 3035 0 537418 0
[pid=33558/tid=33560] ppid=33555 vsize=2231036 memory=882360 CPUtime=3588.41 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 2523424 0 0 0 358095 746 0 0 20 0 3 0 4951674 2284580864 531004 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=2231036 memory=4804 CPUtime=0.04 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 75 0 0 0 1 3 0 0 20 0 3 0 4951676 2284580864 531004 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 3588.78 s
Current children cumulated vsize: 2231036 KiB
Current children cumulated memory: 2124016 KiB
[startup+3600.8 s]
/proc/loadavg: 4.90 4.35 4.22 5/256 36014
/proc/meminfo: memFree=113787736/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=1900500 memory=1793480 CPUtime=3589.57 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 2585138 0 0 0 358198 759 0 0 20 0 3 0 4951670 1946112000 448370 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 475125 448370 3014 3035 0 454784 0
[pid=33558/tid=33560] ppid=33555 vsize=1900500 memory=2048072 CPUtime=3589.19 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 2581804 0 0 0 358170 749 0 0 20 0 3 0 4951674 1946112000 448370 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=1900500 memory=-7307490086970548603 CPUtime=0.04 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 75 0 0 0 1 3 0 0 20 0 3 0 4951676 1946112000 448370 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 3589.57 s
Current children cumulated vsize: 1900500 KiB
Current children cumulated memory: 1793480 KiB
[startup+3601.2 s]
/proc/loadavg: 4.90 4.35 4.22 5/256 36014
/proc/meminfo: memFree=114165536/131655788 swapFree=131071216/131071996
[pid=33558] ppid=33555 vsize=1712348 memory=1605336 CPUtime=3589.97 cores=1,3
/proc/33558/stat : 33558 (fscip) S 33555 33558 29026 0 -1 1077936128 2592247 0 0 0 358237 760 0 0 20 0 3 0 4951670 1753444352 401334 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
/proc/33558/statm: 428087 401334 3014 3035 0 407746 0
[pid=33558/tid=33560] ppid=33555 vsize=1712348 memory=12576 CPUtime=3589.58 cores=1,3
/proc/33558/task/33560/stat : 33560 (fscip) R 33555 33558 29026 0 -1 4194368 2588912 0 0 0 358208 750 0 0 20 0 3 0 4951674 1753444352 401334 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
[pid=33558/tid=33561] ppid=33555 vsize=1712348 memory=11968 CPUtime=0.04 cores=1,3
/proc/33558/task/33561/stat : 33561 (fscip) S 33555 33558 29026 0 -1 1077936192 75 0 0 0 1 3 0 0 20 0 3 0 4951676 1753444352 401334 134679101440 4194304 16623229 140731416372864 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 46407680 140731416376342 140731416376458 140731416376458 140731416383472 0
Current children cumulated CPU time: 3589.97 s
Current children cumulated vsize: 1712348 KiB
Current children cumulated memory: 1605336 KiB
[startup+3601.3 s]*
/proc/loadavg: 4.90 4.35 4.22 5/254 36014
/proc/meminfo: memFree=115185688/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): 3601.33
CPU time (s): 3590.1
CPU user time (s): 3582.42
CPU system time (s): 7.68265
CPU usage (%): 99.6881
Max. virtual memory (cumulated for all children) (KiB): 2673220
Max. memory (cumulated for all children) (KiB): 2566060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.42
system time used= 7.68265
maximum resident set size= 2566060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2593017
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= 10837
involuntary context switches= 4774
# summary of solver processes directly reported to runsolver:
# pid: 33558
# total CPU time (s): 3590.1
# total CPU user time (s): 3582.42
# total CPU system time (s): 7.68265
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7977 second user time and 36.0433 second system time
The end
Begin job on nodeC003 at 2024-07-31 02:30:02
IDJOB=4464545
IDBENCH=160024
IDSOLVER=3092
FILE ID=nodeC003/4464545-1722385802
RUNJOBID= nodeC003-1722378594-29038
SLURM_JOB_ID= 8249833
Free space on /tmp= 723660 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464545-1722385802/watcher-4464545-1722385802 -o /tmp/evaluation-result-4464545-1722385802/solver-4464545-1722385802 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722378594-29038 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464545-1722385802.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c8e53a529ce10df137c21c2a3460ac47
RANDOM SEED=292526229
nodeC003.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 : 3533.204
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.52
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 : 1323.716
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.40
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.308
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.52
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 : 1695.710
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.40
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 : 2528.231
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.52
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 : 3671.294
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.40
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.314
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.52
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 : 1197.297
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.40
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 108719544 kB
MemAvailable: 119575384 kB
Buffers: 97728 kB
Cached: 11576840 kB
SwapCached: 16 kB
Active: 310936 kB
Inactive: 22136804 kB
Active(anon): 1448 kB
Inactive(anon): 10792876 kB
Active(file): 309488 kB
Inactive(file): 11343928 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071216 kB
Dirty: 57752 kB
Writeback: 20 kB
AnonPages: 10773264 kB
Mapped: 125120 kB
Shmem: 21152 kB
KReclaimable: 85244 kB
Slab: 164136 kB
SReclaimable: 85244 kB
SUnreclaim: 78892 kB
KernelStack: 4060 kB
PageTables: 30548 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 6124552 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6976 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3252224 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: 295752 kB
DirectMap2M: 11143168 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 723660 MiB
End job on nodeC003 at 2024-07-31 03:30:04