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.02 c Default LC presolving (default).
0.00/0.02 c ** Before presolving: virtualMemUsedAtLc = 33714176, getVmSize() = 33714176, SCIPgetMemUsed() = 9116556, SCIPgetMemTotal() = 11730884, SCIPgetMemExternEstim() = 6904972
0.00/0.02 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
1.09/1.16 c ** Estimated virtualMemUsedAtSolver = 29309610, getVmSize() = 54214656, SCIPgetMemUsed() = 15329978, SCIPgetMemTotal() = 30407914, SCIPgetMemExternEstim() = 6904972
1.09/1.16 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
1.09/1.16 c Original Problem :
1.09/1.16 c Problem name : instance-4464695-1722387668
1.09/1.16 c Variables : 900 (900 binary, 0 integer, 0 implicit integer, 0 continuous)
1.09/1.16 c Constraints : 6271
1.09/1.16 c Objective sense : minimize
1.09/1.16 c Presolved Problem :
1.09/1.16 c Variables : 756 (756 binary, 0 integer, 0 implicit integer, 0 continuous)
1.09/1.16 c Constraints : 4407
1.09/1.16 c Constraints : Number
1.09/1.16 c knapsack : 21
1.09/1.16 c setppc : 4386
1.09/1.16 c ** Instance transfer method used: 0
1.09/1.17 c ** ParaScipInstance copy does not increase the number of variables. **
1.09/1.17 c LC is working with racing ramp-up and with rebuilding tree after racing.
1.09/1.17 c Nodes Active
1.09/1.17 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
7.57/7.69 c 8 2 1 1 - 0.0000 -
12.96/13.07 c 13 98 13 1 - 0.0000 -
18.94/19.03 c 19 175 16 1 - 0.0000 -
24.53/24.60 c 25 241 20 1 - 0.0000 -
29.92/30.10 c 30 301 13 1 - 0.0000 -
35.91/36.01 c 36 337 11 1 - 0.0000 -
41.59/41.74 c 42 369 15 1 - 0.0000 -
48.07/48.22 c 48 391 15 1 - 0.0000 -
53.76/53.95 c 54 427 13 1 - 0.0000 -
60.44/60.66 c 61 451 10 1 - 0.0000 -
67.73/67.94 c 68 502 21 1 - 0.0000 -
73.21/73.45 c 73 530 21 1 - 0.0000 -
78.50/78.70 c 79 649 32 1 - 0.0000 -
83.98/84.27 c 84 777 20 1 - 0.0000 -
89.88/90.17 c 90 883 22 1 - 0.0000 -
95.56/95.85 c 96 980 19 1 - 0.0000 -
100.94/101.27 c 101 1124 28 1 - 0.0000 -
120.50/120.85 c 121 1169 1 1 - 0.0000 -
127.28/127.64 c 128 1183 15 1 - 0.0000 -
132.47/132.81 c 133 1220 18 1 - 0.0000 -
137.86/138.21 c 138 1355 76 1 - 0.0000 -
142.85/143.27 c 143 1971 82 1 - 0.0000 -
147.93/148.36 c 148 2441 41 1 - 0.0000 -
153.12/153.54 c 154 3531 65 1 - 0.0000 -
158.20/158.61 c 159 3984 59 1 - 0.0000 -
163.19/163.68 c 164 4267 62 1 - 0.0000 -
168.38/168.83 c 169 4543 60 1 - 0.0000 -
173.46/173.92 c 174 4846 53 1 - 0.0000 -
178.56/179.08 c 179 5236 62 1 - 0.0000 -
183.65/184.17 c 184 5867 56 1 - 0.0000 -
188.73/189.23 c 189 6357 56 1 - 0.0000 -
193.92/194.40 c 194 6579 58 1 - 0.0000 -
199.21/199.76 c 200 6958 76 1 - 0.0000 -
204.30/204.82 c 205 7352 78 1 - 0.0000 -
209.78/210.30 c 210 7680 78 1 - 0.0000 -
214.77/215.37 c 215 8372 98 1 - 0.0000 -
219.96/220.50 c 221 9456 105 1 - 0.0000 -
224.94/225.59 c 226 9887 103 1 - 0.0000 -
230.13/230.74 c 231 10238 98 1 - 0.0000 -
235.22/235.83 c 236 10652 102 1 - 0.0000 -
240.30/240.97 c 241 11000 106 1 - 0.0000 -
245.49/246.10 c 246 11354 112 1 - 0.0000 -
250.57/251.22 c 251 11686 110 1 - 0.0000 -
255.67/256.32 c 256 12064 119 1 - 0.0000 -
260.76/261.46 c 261 12406 114 1 - 0.0000 -
265.84/266.57 c 267 12695 139 1 - 0.0000 -
271.03/271.72 c 272 13034 144 1 - 0.0000 -
276.02/276.78 c 277 13391 121 1 - 0.0000 -
281.11/281.87 c 282 13800 115 1 - 0.0000 -
286.60/287.37 c 287 14238 137 1 - 0.0000 -
291.69/292.49 c 292 14821 125 1 - 0.0000 -
296.88/297.60 c 298 15116 167 1 - 0.0000 -
301.96/302.75 c 303 15436 198 1 - 0.0000 -
307.05/307.87 c 308 15730 182 1 - 0.0000 -
312.24/313.00 c 313 16109 199 1 - 0.0000 -
317.23/318.07 c 318 16397 209 1 - 0.0000 -
322.41/323.20 c 323 16680 182 1 - 0.0000 -
327.50/328.32 c 328 16960 152 1 - 0.0000 -
332.59/333.46 c 333 17308 151 1 - 0.0000 -
337.67/338.54 c 339 17672 161 1 - 0.0000 -
342.86/343.77 c 344 18011 227 1 - 0.0000 -
347.95/348.86 c 349 18326 205 1 - 0.0000 -
353.04/353.98 c 354 18644 182 1 - 0.0000 -
358.23/359.15 c 359 19007 200 1 - 0.0000 -
363.31/364.24 c 364 19418 191 1 - 0.0000 -
368.40/369.39 c 369 19761 188 1 - 0.0000 -
373.59/374.57 c 375 20069 190 1 - 0.0000 -
379.18/380.15 c 380 20404 203 1 - 0.0000 -
384.26/385.27 c 385 20793 238 1 - 0.0000 -
389.55/390.56 c 391 21135 259 1 - 0.0000 -
394.64/395.68 c 396 21514 261 1 - 0.0000 -
399.82/400.80 c 401 21842 264 1 - 0.0000 -
404.91/405.93 c 406 22169 260 1 - 0.0000 -
410.00/411.04 c 411 22469 259 1 - 0.0000 -
415.10/416.13 c 416 22767 275 1 - 0.0000 -
420.18/421.22 c 421 23067 268 1 - 0.0000 -
425.27/426.38 c 426 23389 279 1 - 0.0000 -
430.35/431.49 c 431 23709 290 1 - 0.0000 -
435.54/436.61 c 437 24002 288 1 - 0.0000 -
440.63/441.71 c 442 24346 291 1 - 0.0000 -
445.62/446.79 c 447 24643 273 1 - 0.0000 -
450.80/451.90 c 452 24963 259 1 - 0.0000 -
455.89/457.05 c 457 25284 278 1 - 0.0000 -
461.08/462.21 c 462 25592 278 1 - 0.0000 -
466.17/467.33 c 467 25874 263 1 - 0.0000 -
471.26/472.49 c 472 26201 259 1 - 0.0000 -
476.95/478.15 c 478 26537 263 1 - 0.0000 -
482.14/483.33 c 483 26906 268 1 - 0.0000 -
487.22/488.43 c 488 27265 272 1 - 0.0000 -
492.31/493.51 c 494 27577 293 1 - 0.0000 -
497.40/498.63 c 499 27957 310 1 - 0.0000 -
502.48/503.79 c 504 28336 304 1 - 0.0000 -
507.57/508.88 c 509 28734 302 1 - 0.0000 -
512.66/513.97 c 514 29096 300 1 - 0.0000 -
517.85/519.13 c 519 29548 319 1 - 0.0000 -
522.84/524.19 c 524 29963 342 1 - 0.0000 -
528.02/529.30 c 529 30372 340 1 - 0.0000 -
533.11/534.41 c 534 30922 356 1 - 0.0000 -
538.20/539.52 c 540 31332 397 1 - 0.0000 -
543.29/544.64 c 545 31657 414 1 - 0.0000 -
548.38/549.73 c 550 31997 388 1 - 0.0000 -
553.46/554.82 c 555 32414 361 1 - 0.0000 -
558.55/559.94 c 560 32830 392 1 - 0.0000 -
563.65/565.06 c 565 33254 376 1 - 0.0000 -
568.83/570.24 c 570 33746 370 1 - 0.0000 -
573.91/575.35 c 575 34074 375 1 - 0.0000 -
579.00/580.46 c 580 34417 377 1 - 0.0000 -
584.09/585.56 c 586 34787 378 1 - 0.0000 -
589.18/590.63 c 591 35124 383 1 - 0.0000 -
594.27/595.74 c 596 35545 371 1 - 0.0000 -
599.36/600.88 c 601 35860 368 1 - 0.0000 -
604.55/606.05 c 606 36233 396 1 - 0.0000 -
609.64/611.18 c 611 36613 395 1 - 0.0000 -
614.72/616.28 c 616 36885 420 1 - 0.0000 -
619.81/621.35 c 621 37214 399 1 - 0.0000 -
624.90/626.48 c 626 37558 423 1 - 0.0000 -
629.99/631.55 c 632 37885 433 1 - 0.0000 -
635.07/636.69 c 637 38177 467 1 - 0.0000 -
640.26/641.84 c 642 38533 445 1 - 0.0000 -
645.45/647.05 c 647 38877 456 1 - 0.0000 -
650.54/652.16 c 652 39229 448 1 - 0.0000 -
655.63/657.26 c 657 39589 443 1 - 0.0000 -
660.81/662.40 c 662 39904 455 1 - 0.0000 -
665.89/667.51 c 668 40204 447 1 - 0.0000 -
670.98/672.62 c 673 40587 433 1 - 0.0000 -
676.06/677.72 c 678 40857 435 1 - 0.0000 -
681.15/682.86 c 683 41137 446 1 - 0.0000 -
686.24/687.98 c 688 41430 422 1 - 0.0000 -
691.43/693.12 c 693 41672 421 1 - 0.0000 -
696.50/698.25 c 698 41993 419 1 - 0.0000 -
701.59/703.31 c 703 42333 429 1 - 0.0000 -
706.57/708.38 c 708 42694 420 1 - 0.0000 -
711.76/713.51 c 714 42987 438 1 - 0.0000 -
716.84/718.60 c 719 43238 479 1 - 0.0000 -
721.93/723.74 c 724 43503 480 1 - 0.0000 -
727.11/728.91 c 729 43824 483 1 - 0.0000 -
732.11/733.98 c 734 44218 498 1 - 0.0000 -
737.30/739.11 c 739 44550 502 1 - 0.0000 -
742.38/744.21 c 744 44908 482 1 - 0.0000 -
747.46/749.33 c 749 45225 495 1 - 0.0000 -
752.65/754.51 c 755 45482 480 1 - 0.0000 -
757.85/759.73 c 760 45785 509 1 - 0.0000 -
762.93/764.81 c 765 46077 540 1 - 0.0000 -
768.02/769.90 c 770 46401 525 1 - 0.0000 -
773.01/774.99 c 775 46700 557 1 - 0.0000 -
778.19/780.13 c 780 47017 532 1 - 0.0000 -
783.28/785.22 c 785 47364 512 1 - 0.0000 -
788.36/790.37 c 790 47667 499 1 - 0.0000 -
793.45/795.48 c 795 47948 504 1 - 0.0000 -
798.64/800.62 c 801 48266 493 1 - 0.0000 -
803.72/805.74 c 806 48578 477 1 - 0.0000 -
808.81/810.87 c 811 48839 461 1 - 0.0000 -
813.90/815.97 c 816 49079 455 1 - 0.0000 -
819.09/821.17 c 821 49291 445 1 - 0.0000 -
824.17/826.26 c 826 49571 466 1 - 0.0000 -
829.26/831.33 c 831 49843 464 1 - 0.0000 -
834.55/836.62 c 837 50093 464 1 - 0.0000 -
839.64/841.74 c 842 50421 460 1 - 0.0000 -
844.73/846.83 c 847 50811 470 1 - 0.0000 -
849.82/851.91 c 852 51291 475 1 - 0.0000 -
854.80/856.95 c 857 51690 476 1 - 0.0000 -
859.89/862.02 c 862 52047 475 1 - 0.0000 -
865.08/867.20 c 867 52420 473 1 - 0.0000 -
870.17/872.30 c 872 52832 491 1 - 0.0000 -
875.16/877.37 c 877 53291 488 1 - 0.0000 -
880.25/882.49 c 882 53662 486 1 - 0.0000 -
885.33/887.56 c 888 53952 480 1 - 0.0000 -
890.42/892.65 c 893 54309 497 1 - 0.0000 -
895.51/897.75 c 898 54568 521 1 - 0.0000 -
900.59/902.84 c 903 54916 532 1 - 0.0000 -
905.68/907.95 c 908 55357 521 1 - 0.0000 -
910.77/913.05 c 913 55692 541 1 - 0.0000 -
915.87/918.12 c 918 56032 545 1 - 0.0000 -
920.95/923.21 c 923 56442 558 1 - 0.0000 -
926.03/928.33 c 928 56896 556 1 - 0.0000 -
931.12/933.44 c 933 57292 554 1 - 0.0000 -
936.21/938.52 c 939 57653 549 1 - 0.0000 -
941.30/943.61 c 944 58021 541 1 - 0.0000 -
946.39/948.74 c 949 58343 544 1 - 0.0000 -
951.48/953.86 c 954 58652 565 1 - 0.0000 -
956.56/958.93 c 959 58940 574 1 - 0.0000 -
961.66/964.05 c 964 59299 584 1 - 0.0000 -
966.84/969.21 c 969 59592 587 1 - 0.0000 -
971.83/974.28 c 974 59939 580 1 - 0.0000 -
976.91/979.38 c 979 60292 596 1 - 0.0000 -
982.01/984.44 c 984 60686 612 1 - 0.0000 -
987.10/989.53 c 990 61032 614 1 - 0.0000 -
992.28/994.74 c 995 61332 598 1 - 0.0000 -
997.37/999.86 c 1000 61606 595 1 - 0.0000 -
1002.56/1005.02 c 1005 61860 581 1 - 0.0000 -
1007.65/1010.11 c 1010 62179 588 1 - 0.0000 -
1012.73/1015.21 c 1015 62477 574 1 - 0.0000 -
1018.22/1020.71 c 1021 62779 598 1 - 0.0000 -
1023.20/1025.77 c 1026 63102 575 1 - 0.0000 -
1028.89/1031.45 c 1031 63360 579 1 - 0.0000 -
1034.08/1036.64 c 1037 63690 588 1 - 0.0000 -
1039.18/1041.77 c 1042 64017 581 1 - 0.0000 -
1044.96/1047.54 c 1048 64280 588 1 - 0.0000 -
1050.05/1052.65 c 1053 64598 602 1 - 0.0000 -
1055.14/1057.76 c 1058 64988 592 1 - 0.0000 -
1060.32/1062.93 c 1063 65306 584 1 - 0.0000 -
1065.51/1068.13 c 1068 65639 581 1 - 0.0000 -
1070.60/1073.28 c 1073 65924 571 1 - 0.0000 -
1075.78/1078.41 c 1078 66401 575 1 - 0.0000 -
1080.77/1083.49 c 1084 66812 561 1 - 0.0000 -
1085.87/1088.59 c 1089 67143 567 1 - 0.0000 -
1091.06/1093.76 c 1094 67443 567 1 - 0.0000 -
1096.14/1098.87 c 1099 67780 573 1 - 0.0000 -
1101.23/1103.97 c 1104 68103 569 1 - 0.0000 -
1106.32/1109.07 c 1109 68631 567 1 - 0.0000 -
1111.90/1114.60 c 1115 69123 576 1 - 0.0000 -
1116.89/1119.68 c 1120 69461 568 1 - 0.0000 -
1121.98/1124.75 c 1125 69736 576 1 - 0.0000 -
1127.06/1129.87 c 1130 70053 568 1 - 0.0000 -
1132.15/1134.98 c 1135 70377 563 1 - 0.0000 -
1137.34/1140.14 c 1140 70660 585 1 - 0.0000 -
1142.43/1145.26 c 1145 70947 584 1 - 0.0000 -
1147.61/1150.40 c 1150 71289 580 1 - 0.0000 -
1152.70/1155.54 c 1156 71608 565 1 - 0.0000 -
1157.80/1160.62 c 1161 71941 566 1 - 0.0000 -
1162.88/1165.73 c 1166 72285 563 1 - 0.0000 -
1167.97/1170.83 c 1171 72560 557 1 - 0.0000 -
1173.06/1175.97 c 1176 72834 568 1 - 0.0000 -
1178.15/1181.05 c 1181 73141 594 1 - 0.0000 -
1183.33/1186.24 c 1186 73451 586 1 - 0.0000 -
1188.42/1191.30 c 1191 73790 586 1 - 0.0000 -
1193.52/1196.44 c 1196 74091 576 1 - 0.0000 -
1198.51/1201.49 c 1202 74306 562 1 - 0.0000 -
1203.69/1206.65 c 1207 74577 564 1 - 0.0000 -
1208.78/1211.78 c 1212 74869 562 1 - 0.0000 -
1213.97/1216.90 c 1217 75159 562 1 - 0.0000 -
1219.06/1222.07 c 1222 75427 556 1 - 0.0000 -
1224.15/1227.15 c 1227 75702 559 1 - 0.0000 -
1229.23/1232.26 c 1232 76042 561 1 - 0.0000 -
1234.32/1237.35 c 1237 76390 559 1 - 0.0000 -
1239.61/1242.68 c 1243 76637 600 1 - 0.0000 -
1244.79/1247.85 c 1248 76937 590 1 - 0.0000 -
1249.88/1252.92 c 1253 77260 574 1 - 0.0000 -
1254.98/1258.05 c 1258 77566 552 1 - 0.0000 -
1260.07/1263.11 c 1263 77786 559 1 - 0.0000 -
1265.15/1268.22 c 1268 78056 561 1 - 0.0000 -
1270.24/1273.32 c 1273 78369 557 1 - 0.0000 -
1275.33/1278.46 c 1278 78672 551 1 - 0.0000 -
1280.42/1283.56 c 1284 78926 564 1 - 0.0000 -
1285.51/1288.66 c 1289 79203 544 1 - 0.0000 -
1290.59/1293.74 c 1294 79454 543 1 - 0.0000 -
1295.78/1298.90 c 1299 79756 546 1 - 0.0000 -
1300.77/1303.97 c 1304 80058 548 1 - 0.0000 -
1305.86/1309.08 c 1309 80341 553 1 - 0.0000 -
1310.95/1314.19 c 1314 80710 539 1 - 0.0000 -
1316.13/1319.31 c 1319 81018 535 1 - 0.0000 -
1321.22/1324.46 c 1324 81211 560 1 - 0.0000 -
1326.31/1329.57 c 1330 81389 535 1 - 0.0000 -
1331.40/1334.67 c 1335 81631 545 1 - 0.0000 -
1336.58/1339.84 c 1340 81849 555 1 - 0.0000 -
1341.67/1344.96 c 1345 82162 556 1 - 0.0000 -
1346.86/1350.12 c 1350 82411 537 1 - 0.0000 -
1352.04/1355.31 c 1355 82645 531 1 - 0.0000 -
1357.14/1360.41 c 1360 82915 558 1 - 0.0000 -
1362.23/1365.50 c 1366 83221 591 1 - 0.0000 -
1367.22/1370.59 c 1371 83534 603 1 - 0.0000 -
1372.30/1375.66 c 1376 83806 586 1 - 0.0000 -
1377.39/1380.79 c 1381 84088 568 1 - 0.0000 -
1382.48/1385.86 c 1386 84337 542 1 - 0.0000 -
1387.57/1391.00 c 1391 84617 520 1 - 0.0000 -
1392.66/1396.08 c 1396 85058 531 1 - 0.0000 -
1397.75/1401.17 c 1401 85459 514 1 - 0.0000 -
1402.83/1406.24 c 1406 85807 522 1 - 0.0000 -
1407.92/1411.32 c 1411 86123 525 1 - 0.0000 -
1413.01/1416.46 c 1416 86423 518 1 - 0.0000 -
1418.19/1421.63 c 1422 86724 557 1 - 0.0000 -
1423.38/1426.82 c 1427 86994 535 1 - 0.0000 -
1428.48/1431.94 c 1432 87290 515 1 - 0.0000 -
1433.57/1437.04 c 1437 87600 517 1 - 0.0000 -
1438.66/1442.15 c 1442 87898 537 1 - 0.0000 -
1443.74/1447.29 c 1447 88160 541 1 - 0.0000 -
1448.83/1452.39 c 1452 88413 539 1 - 0.0000 -
1454.02/1457.51 c 1458 88745 517 1 - 0.0000 -
1459.11/1462.67 c 1463 89069 522 1 - 0.0000 -
1464.19/1467.76 c 1468 89386 500 1 - 0.0000 -
1469.28/1472.83 c 1473 89739 500 1 - 0.0000 -
1474.37/1477.96 c 1478 90108 524 1 - 0.0000 -
1479.46/1483.07 c 1483 90394 490 1 - 0.0000 -
1484.55/1488.13 c 1488 90747 483 1 - 0.0000 -
1489.63/1493.27 c 1493 91034 478 1 - 0.0000 -
1494.72/1498.38 c 1498 91385 493 1 - 0.0000 -
1499.81/1503.45 c 1503 91665 479 1 - 0.0000 -
1504.89/1508.57 c 1509 91961 474 1 - 0.0000 -
1509.98/1513.66 c 1514 92272 467 1 - 0.0000 -
1515.17/1518.82 c 1519 92518 482 1 - 0.0000 -
1520.26/1523.94 c 1524 92714 470 1 - 0.0000 -
1525.36/1529.04 c 1529 92975 465 1 - 0.0000 -
1530.45/1534.14 c 1534 93279 473 1 - 0.0000 -
1535.63/1539.30 c 1539 93543 464 1 - 0.0000 -
1540.62/1544.37 c 1544 93912 459 1 - 0.0000 -
1545.70/1549.49 c 1549 94228 432 1 - 0.0000 -
1550.79/1554.59 c 1555 94513 408 1 - 0.0000 -
1555.88/1559.68 c 1560 94770 410 1 - 0.0000 -
1560.97/1564.79 c 1565 95064 401 1 - 0.0000 -
1566.15/1569.94 c 1570 95348 393 1 - 0.0000 -
1571.25/1575.05 c 1575 95620 389 1 - 0.0000 -
1576.34/1580.15 c 1580 95900 394 1 - 0.0000 -
1581.52/1585.31 c 1585 96180 384 1 - 0.0000 -
1586.61/1590.41 c 1590 96417 373 1 - 0.0000 -
1591.70/1595.51 c 1596 96708 372 1 - 0.0000 -
1596.78/1600.64 c 1601 97102 375 1 - 0.0000 -
1601.87/1605.75 c 1606 97395 363 1 - 0.0000 -
1606.96/1610.87 c 1611 97737 369 1 - 0.0000 -
1612.05/1615.97 c 1616 98048 351 1 - 0.0000 -
1617.24/1621.16 c 1621 98230 376 1 - 0.0000 -
1622.33/1626.25 c 1626 98605 366 1 - 0.0000 -
1627.42/1631.31 c 1631 98983 370 1 - 0.0000 -
1632.51/1636.40 c 1636 99270 361 1 - 0.0000 -
1637.59/1641.52 c 1642 99507 378 1 - 0.0000 -
1642.68/1646.60 c 1647 99871 393 1 - 0.0000 -
1647.87/1651.81 c 1652 100131 399 1 - 0.0000 -
1652.96/1656.90 c 1657 100420 374 1 - 0.0000 -
1658.05/1662.00 c 1662 100668 367 1 - 0.0000 -
1663.14/1667.19 c 1667 100960 362 1 - 0.0000 -
1668.33/1672.37 c 1672 101208 361 1 - 0.0000 -
1673.41/1677.47 c 1677 101534 352 1 - 0.0000 -
1678.60/1682.62 c 1683 101799 357 1 - 0.0000 -
1683.79/1687.81 c 1688 102128 344 1 - 0.0000 -
1688.88/1692.95 c 1693 102364 338 1 - 0.0000 -
1693.97/1698.08 c 1698 102637 345 1 - 0.0000 -
1699.16/1703.26 c 1703 102870 356 1 - 0.0000 -
1704.25/1708.37 c 1708 103118 366 1 - 0.0000 -
1709.44/1713.55 c 1714 103382 356 1 - 0.0000 -
1714.62/1718.72 c 1719 103710 347 1 - 0.0000 -
1719.71/1723.80 c 1724 103944 347 1 - 0.0000 -
1724.70/1728.85 c 1729 104237 351 1 - 0.0000 -
1729.80/1733.92 c 1734 104588 347 1 - 0.0000 -
1734.89/1739.01 c 1739 104891 348 1 - 0.0000 -
1739.98/1744.14 c 1744 105141 348 1 - 0.0000 -
1745.07/1749.29 c 1749 105363 393 1 - 0.0000 -
1750.25/1754.41 c 1754 105594 375 1 - 0.0000 -
1755.24/1759.48 c 1759 105889 372 1 - 0.0000 -
1760.33/1764.58 c 1765 106236 384 1 - 0.0000 -
1765.42/1769.67 c 1770 106566 378 1 - 0.0000 -
1770.61/1774.84 c 1775 106877 370 1 - 0.0000 -
1775.81/1780.02 c 1780 107206 389 1 - 0.0000 -
1780.90/1785.12 c 1785 107474 381 1 - 0.0000 -
1785.98/1790.20 c 1790 107800 367 1 - 0.0000 -
1791.17/1795.40 c 1795 108088 369 1 - 0.0000 -
1796.26/1800.53 c 1801 108322 379 1 - 0.0000 -
1801.35/1805.62 c 1806 108597 430 1 - 0.0000 -
1806.44/1810.76 c 1811 108840 446 1 - 0.0000 -
1811.63/1815.94 c 1816 109144 439 1 - 0.0000 -
1816.72/1821.07 c 1821 109419 429 1 - 0.0000 -
1822.00/1826.38 c 1826 109691 485 1 - 0.0000 -
1827.19/1831.59 c 1832 109895 492 1 - 0.0000 -
1832.38/1836.78 c 1837 110175 472 1 - 0.0000 -
1837.56/1841.90 c 1842 110501 479 1 - 0.0000 -
1842.66/1847.06 c 1847 110741 471 1 - 0.0000 -
1847.75/1852.16 c 1852 111011 460 1 - 0.0000 -
1852.93/1857.30 c 1857 111270 434 1 - 0.0000 -
1858.02/1862.46 c 1862 111550 420 1 - 0.0000 -
1863.11/1867.59 c 1868 111844 415 1 - 0.0000 -
1868.20/1872.69 c 1873 112154 415 1 - 0.0000 -
1873.39/1877.84 c 1878 112421 406 1 - 0.0000 -
1878.48/1882.94 c 1883 112737 414 1 - 0.0000 -
1883.57/1888.04 c 1888 113036 419 1 - 0.0000 -
1888.76/1893.25 c 1893 113291 393 1 - 0.0000 -
1893.85/1898.35 c 1898 113565 382 1 - 0.0000 -
1898.94/1903.46 c 1903 113847 378 1 - 0.0000 -
1904.13/1908.63 c 1909 114169 375 1 - 0.0000 -
1909.22/1913.75 c 1914 114438 376 1 - 0.0000 -
1914.31/1918.88 c 1919 114760 376 1 - 0.0000 -
1919.50/1924.05 c 1924 115010 386 1 - 0.0000 -
1924.59/1929.15 c 1929 115204 362 1 - 0.0000 -
1929.67/1934.27 c 1934 115440 365 1 - 0.0000 -
1934.86/1939.46 c 1939 115722 362 1 - 0.0000 -
1939.95/1944.51 c 1945 116071 356 1 - 0.0000 -
1945.04/1949.61 c 1950 116447 351 1 - 0.0000 -
1950.13/1954.71 c 1955 116684 346 1 - 0.0000 -
1955.22/1959.82 c 1960 116932 346 1 - 0.0000 -
1960.41/1965.01 c 1965 117077 352 1 - 0.0000 -
1965.50/1970.11 c 1970 117242 355 1 - 0.0000 -
1970.58/1975.25 c 1975 117497 343 1 - 0.0000 -
1975.77/1980.43 c 1980 117746 340 1 - 0.0000 -
1980.96/1985.63 c 1986 117960 344 1 - 0.0000 -
1986.15/1990.85 c 1991 118281 383 1 - 0.0000 -
1991.24/1995.94 c 1996 118576 428 1 - 0.0000 -
1996.44/2001.17 c 2001 118907 424 1 - 0.0000 -
2001.52/2006.27 c 2006 119169 499 1 - 0.0000 -
2006.71/2011.40 c 2011 119471 517 1 - 0.0000 -
2011.70/2016.45 c 2016 119742 509 1 - 0.0000 -
2016.79/2021.55 c 2022 120027 532 1 - 0.0000 -
2021.88/2026.63 c 2027 120289 531 1 - 0.0000 -
2026.97/2031.74 c 2032 120644 578 1 - 0.0000 -
2031.96/2036.79 c 2037 121016 564 1 - 0.0000 -
2037.25/2042.09 c 2042 121226 556 1 - 0.0000 -
2042.43/2047.20 c 2047 121512 557 1 - 0.0000 -
2047.52/2052.32 c 2052 121769 548 1 - 0.0000 -
2052.61/2057.44 c 2057 121977 558 1 - 0.0000 -
2057.70/2062.54 c 2063 122173 540 1 - 0.0000 -
2062.79/2067.66 c 2068 122435 530 1 - 0.0000 -
2067.88/2072.77 c 2073 122702 530 1 - 0.0000 -
2073.07/2077.98 c 2078 122955 515 1 - 0.0000 -
2078.16/2083.05 c 2083 123228 535 1 - 0.0000 -
2083.34/2088.23 c 2088 123492 529 1 - 0.0000 -
2088.43/2093.36 c 2093 123763 515 1 - 0.0000 -
2093.62/2098.54 c 2099 123997 513 1 - 0.0000 -
2098.81/2103.72 c 2104 124224 496 1 - 0.0000 -
2103.90/2108.81 c 2109 124478 497 1 - 0.0000 -
2108.89/2113.88 c 2114 124751 496 1 - 0.0000 -
2113.98/2118.95 c 2119 125055 496 1 - 0.0000 -
2119.07/2124.05 c 2124 125357 479 1 - 0.0000 -
2124.16/2129.16 c 2129 125627 471 1 - 0.0000 -
2129.24/2134.23 c 2134 125897 456 1 - 0.0000 -
2134.33/2139.33 c 2139 126182 460 1 - 0.0000 -
2139.43/2144.46 c 2144 126423 443 1 - 0.0000 -
2144.62/2149.63 c 2150 126650 440 1 - 0.0000 -
2149.70/2154.74 c 2155 126888 430 1 - 0.0000 -
2154.89/2159.90 c 2160 127124 427 1 - 0.0000 -
2159.99/2165.06 c 2165 127409 432 1 - 0.0000 -
2165.17/2170.22 c 2170 127638 426 1 - 0.0000 -
2170.26/2175.33 c 2175 127905 400 1 - 0.0000 -
2175.45/2180.51 c 2181 128133 402 1 - 0.0000 -
2180.54/2185.69 c 2186 128398 440 1 - 0.0000 -
2185.73/2190.81 c 2191 128649 404 1 - 0.0000 -
2190.92/2196.02 c 2196 128995 414 1 - 0.0000 -
2196.01/2201.16 c 2201 129321 413 1 - 0.0000 -
2201.19/2206.31 c 2206 129631 413 1 - 0.0000 -
2206.28/2211.49 c 2212 129992 409 1 - 0.0000 -
2211.37/2216.58 c 2217 130265 411 1 - 0.0000 -
2216.56/2221.72 c 2222 130522 413 1 - 0.0000 -
2221.75/2226.91 c 2227 130720 391 1 - 0.0000 -
2226.84/2232.06 c 2232 130999 407 1 - 0.0000 -
2232.03/2237.23 c 2237 131350 405 1 - 0.0000 -
2237.11/2242.31 c 2242 131644 411 1 - 0.0000 -
2242.11/2247.39 c 2247 131889 401 1 - 0.0000 -
2247.30/2252.53 c 2253 132141 411 1 - 0.0000 -
2252.39/2257.67 c 2258 132364 399 1 - 0.0000 -
2257.58/2262.83 c 2263 132586 405 1 - 0.0000 -
2262.67/2267.97 c 2268 132915 403 1 - 0.0000 -
2267.76/2273.09 c 2273 133198 419 1 - 0.0000 -
2273.04/2278.35 c 2278 133469 407 1 - 0.0000 -
2278.23/2283.52 c 2284 133739 406 1 - 0.0000 -
2283.32/2288.65 c 2289 133961 400 1 - 0.0000 -
2288.41/2293.74 c 2294 134259 434 1 - 0.0000 -
2293.49/2298.82 c 2299 134508 428 1 - 0.0000 -
2298.69/2304.04 c 2304 134748 435 1 - 0.0000 -
2303.78/2309.19 c 2309 135009 437 1 - 0.0000 -
2308.87/2314.28 c 2314 135280 435 1 - 0.0000 -
2314.06/2319.44 c 2319 135556 429 1 - 0.0000 -
2319.25/2324.64 c 2325 135781 436 1 - 0.0000 -
2324.34/2329.78 c 2330 136045 428 1 - 0.0000 -
2329.63/2335.02 c 2335 136301 417 1 - 0.0000 -
2334.72/2340.14 c 2340 136601 417 1 - 0.0000 -
2339.80/2345.25 c 2345 136867 399 1 - 0.0000 -
2345.09/2350.51 c 2351 137082 415 1 - 0.0000 -
2350.18/2355.63 c 2356 137271 406 1 - 0.0000 -
2355.27/2360.77 c 2361 137556 412 1 - 0.0000 -
2360.45/2365.91 c 2366 137926 406 1 - 0.0000 -
2365.55/2371.07 c 2371 138097 407 1 - 0.0000 -
2370.64/2376.18 c 2376 138324 400 1 - 0.0000 -
2375.72/2381.29 c 2381 138516 395 1 - 0.0000 -
2380.82/2386.39 c 2386 138782 391 1 - 0.0000 -
2385.91/2391.47 c 2391 139023 384 1 - 0.0000 -
2390.99/2396.56 c 2397 139253 383 1 - 0.0000 -
2396.08/2401.69 c 2402 139488 390 1 - 0.0000 -
2401.37/2406.92 c 2407 139681 375 1 - 0.0000 -
2406.47/2412.05 c 2412 139917 371 1 - 0.0000 -
2411.65/2417.23 c 2417 140130 352 1 - 0.0000 -
2416.74/2422.38 c 2422 140388 356 1 - 0.0000 -
2421.93/2427.55 c 2428 140787 368 1 - 0.0000 -
2427.22/2432.87 c 2433 141175 344 1 - 0.0000 -
2432.30/2437.96 c 2438 141400 340 1 - 0.0000 -
2437.40/2443.05 c 2443 141629 327 1 - 0.0000 -
2442.49/2448.18 c 2448 141983 354 1 - 0.0000 -
2447.67/2453.35 c 2453 142312 332 1 - 0.0000 -
2452.76/2458.47 c 2458 142585 340 1 - 0.0000 -
2457.95/2463.62 c 2464 142807 332 1 - 0.0000 -
2463.04/2468.74 c 2469 143032 346 1 - 0.0000 -
2468.13/2473.82 c 2474 143270 329 1 - 0.0000 -
2473.21/2478.90 c 2479 143552 327 1 - 0.0000 -
2478.31/2484.06 c 2484 143791 319 1 - 0.0000 -
2483.40/2489.13 c 2489 144073 301 1 - 0.0000 -
2488.48/2494.23 c 2494 144337 308 1 - 0.0000 -
2493.57/2499.33 c 2499 144570 296 1 - 0.0000 -
2498.76/2504.52 c 2505 144768 301 1 - 0.0000 -
2503.85/2509.66 c 2510 145008 302 1 - 0.0000 -
2509.05/2514.82 c 2515 145247 301 1 - 0.0000 -
2514.34/2520.12 c 2520 145477 305 1 - 0.0000 -
2519.52/2525.38 c 2525 145661 300 1 - 0.0000 -
2524.61/2530.48 c 2530 145866 301 1 - 0.0000 -
2529.80/2535.60 c 2536 146074 304 1 - 0.0000 -
2534.79/2540.69 c 2541 146450 307 1 - 0.0000 -
2539.98/2545.81 c 2546 146749 311 1 - 0.0000 -
2545.06/2550.97 c 2551 147128 331 1 - 0.0000 -
2550.16/2556.05 c 2556 147369 320 1 - 0.0000 -
2555.25/2561.16 c 2561 147606 313 1 - 0.0000 -
2560.33/2566.28 c 2566 147919 308 1 - 0.0000 -
2565.42/2571.36 c 2571 148347 347 1 - 0.0000 -
2570.51/2576.49 c 2576 148726 323 1 - 0.0000 -
2575.70/2581.61 c 2582 149015 302 1 - 0.0000 -
2580.68/2586.69 c 2587 149344 311 1 - 0.0000 -
2586.08/2592.05 c 2592 149571 304 1 - 0.0000 -
2591.17/2597.18 c 2597 149899 297 1 - 0.0000 -
2596.26/2602.26 c 2602 150218 296 1 - 0.0000 -
2601.35/2607.38 c 2607 150481 299 1 - 0.0000 -
2606.43/2612.46 c 2612 150866 307 1 - 0.0000 -
2611.52/2617.59 c 2618 151207 302 1 - 0.0000 -
2616.61/2622.64 c 2623 151493 310 1 - 0.0000 -
2621.70/2627.76 c 2628 151947 309 1 - 0.0000 -
2626.79/2632.83 c 2633 152401 308 1 - 0.0000 -
2631.88/2637.92 c 2638 152916 310 1 - 0.0000 -
2636.97/2643.00 c 2643 153347 307 1 - 0.0000 -
2641.96/2648.09 c 2648 153696 315 1 - 0.0000 -
2647.14/2653.20 c 2653 153981 310 1 - 0.0000 -
2652.23/2658.31 c 2658 154254 299 1 - 0.0000 -
2657.52/2663.65 c 2664 154543 309 1 - 0.0000 -
2662.92/2669.01 c 2669 154737 313 1 - 0.0000 -
2668.01/2674.14 c 2674 155003 298 1 - 0.0000 -
2673.09/2679.29 c 2679 155294 300 1 - 0.0000 -
2678.28/2684.44 c 2684 155699 304 1 - 0.0000 -
2683.47/2689.60 c 2690 155936 299 1 - 0.0000 -
2688.46/2694.70 c 2695 156145 308 1 - 0.0000 -
2693.65/2699.82 c 2700 156309 330 1 - 0.0000 -
2698.74/2704.94 c 2705 156512 334 1 - 0.0000 -
2704.03/2710.22 c 2710 156689 329 1 - 0.0000 -
2709.11/2715.34 c 2715 156884 325 1 - 0.0000 -
2714.20/2720.42 c 2720 157086 323 1 - 0.0000 -
2719.39/2725.60 c 2726 157237 328 1 - 0.0000 -
2724.48/2730.75 c 2731 157423 321 1 - 0.0000 -
2729.57/2735.88 c 2736 157686 328 1 - 0.0000 -
2734.66/2740.96 c 2741 157989 313 1 - 0.0000 -
2739.85/2746.11 c 2746 158205 307 1 - 0.0000 -
2744.93/2751.25 c 2751 158481 306 1 - 0.0000 -
2750.03/2756.35 c 2756 158797 325 1 - 0.0000 -
2755.12/2761.42 c 2761 159097 311 1 - 0.0000 -
2760.81/2767.14 c 2767 159293 321 1 - 0.0000 -
2766.00/2772.30 c 2772 159560 347 1 - 0.0000 -
2770.99/2777.38 c 2777 159794 357 1 - 0.0000 -
2776.08/2782.49 c 2782 160027 361 1 - 0.0000 -
2781.36/2787.75 c 2788 160264 352 1 - 0.0000 -
2786.66/2793.06 c 2793 160481 343 1 - 0.0000 -
2791.84/2798.25 c 2798 160710 338 1 - 0.0000 -
2797.03/2803.41 c 2803 160921 336 1 - 0.0000 -
2802.22/2808.66 c 2809 161179 332 1 - 0.0000 -
2807.41/2813.88 c 2814 161383 360 1 - 0.0000 -
2812.70/2819.16 c 2819 161561 346 1 - 0.0000 -
2817.88/2824.32 c 2824 161762 354 1 - 0.0000 -
2823.07/2829.50 c 2830 162008 362 1 - 0.0000 -
2828.06/2834.56 c 2835 162294 369 1 - 0.0000 -
2833.16/2839.68 c 2840 162549 367 1 - 0.0000 -
2838.35/2844.81 c 2845 162849 372 1 - 0.0000 -
2843.43/2849.93 c 2850 163112 368 1 - 0.0000 -
2848.62/2855.14 c 2855 163363 369 1 - 0.0000 -
2853.71/2860.26 c 2860 163628 360 1 - 0.0000 -
2858.80/2865.33 c 2865 163892 367 1 - 0.0000 -
2863.89/2870.47 c 2870 164173 361 1 - 0.0000 -
2868.97/2875.60 c 2876 164471 351 1 - 0.0000 -
2874.16/2880.75 c 2881 164716 337 1 - 0.0000 -
2879.35/2885.90 c 2886 164915 335 1 - 0.0000 -
2884.74/2891.34 c 2891 165100 324 1 - 0.0000 -
2889.93/2896.51 c 2897 165289 346 1 - 0.0000 -
2895.02/2901.61 c 2902 165494 339 1 - 0.0000 -
2900.11/2906.74 c 2907 165691 344 1 - 0.0000 -
2905.30/2911.91 c 2912 165839 341 1 - 0.0000 -
2910.40/2917.04 c 2917 166002 342 1 - 0.0000 -
2915.58/2922.28 c 2922 166175 341 1 - 0.0000 -
2920.67/2927.39 c 2927 166408 374 1 - 0.0000 -
2925.76/2932.49 c 2932 166607 350 1 - 0.0000 -
2930.95/2937.62 c 2938 166791 344 1 - 0.0000 -
2936.14/2942.83 c 2943 166947 342 1 - 0.0000 -
2941.43/2948.12 c 2948 167078 335 1 - 0.0000 -
2946.51/2953.26 c 2953 167389 327 1 - 0.0000 -
2951.60/2958.38 c 2958 167630 325 1 - 0.0000 -
2956.79/2963.58 c 2964 167871 334 1 - 0.0000 -
2961.88/2968.64 c 2969 168087 350 1 - 0.0000 -
2966.97/2973.77 c 2974 168328 342 1 - 0.0000 -
2972.26/2979.03 c 2979 168612 342 1 - 0.0000 -
2977.35/2984.15 c 2984 168848 363 1 - 0.0000 -
2982.44/2989.24 c 2989 169074 343 1 - 0.0000 -
2987.52/2994.33 c 2994 169293 348 1 - 0.0000 -
2992.61/2999.43 c 2999 169525 341 1 - 0.0000 -
2997.81/3004.60 c 3005 169822 340 1 - 0.0000 -
3003.10/3009.92 c 3010 170078 331 1 - 0.0000 -
3008.09/3014.99 c 3015 170280 329 1 - 0.0000 -
3013.28/3020.12 c 3020 170524 311 1 - 0.0000 -
3018.37/3025.21 c 3025 170742 308 1 - 0.0000 -
3023.56/3030.47 c 3030 170944 314 1 - 0.0000 -
3028.75/3035.65 c 3036 171135 308 1 - 0.0000 -
3033.93/3040.89 c 3041 171323 306 1 - 0.0000 -
3039.13/3046.04 c 3046 171479 306 1 - 0.0000 -
3044.22/3051.17 c 3051 171683 304 1 - 0.0000 -
3049.40/3056.39 c 3056 171943 315 1 - 0.0000 -
3054.59/3061.54 c 3062 172192 320 1 - 0.0000 -
3059.68/3066.66 c 3067 172423 315 1 - 0.0000 -
3064.77/3071.76 c 3072 172651 321 1 - 0.0000 -
3069.86/3076.87 c 3077 172914 316 1 - 0.0000 -
3075.05/3082.01 c 3082 173124 310 1 - 0.0000 -
3080.33/3087.32 c 3087 173352 317 1 - 0.0000 -
3085.42/3092.49 c 3092 173552 309 1 - 0.0000 -
3090.81/3097.86 c 3098 173784 298 1 - 0.0000 -
3096.10/3103.11 c 3103 173963 303 1 - 0.0000 -
3101.29/3108.39 c 3108 174160 314 1 - 0.0000 -
3106.48/3113.54 c 3114 174388 322 1 - 0.0000 -
3111.67/3118.76 c 3119 174569 322 1 - 0.0000 -
3116.86/3123.93 c 3124 174787 327 1 - 0.0000 -
3122.35/3129.41 c 3129 174941 305 1 - 0.0000 -
3127.44/3134.56 c 3135 175179 315 1 - 0.0000 -
3132.62/3139.77 c 3140 175407 303 1 - 0.0000 -
3137.81/3144.93 c 3145 175617 306 1 - 0.0000 -
3143.00/3150.12 c 3150 175823 311 1 - 0.0000 -
3147.99/3155.19 c 3155 175968 309 1 - 0.0000 -
3153.18/3160.30 c 3160 176116 303 1 - 0.0000 -
3158.27/3165.48 c 3165 176356 295 1 - 0.0000 -
3163.45/3170.63 c 3171 176589 298 1 - 0.0000 -
3168.55/3175.77 c 3176 176919 288 1 - 0.0000 -
3173.74/3180.96 c 3181 177144 293 1 - 0.0000 -
3178.83/3186.07 c 3186 177387 295 1 - 0.0000 -
3183.92/3191.19 c 3191 177663 295 1 - 0.0000 -
3189.21/3196.46 c 3196 177924 291 1 - 0.0000 -
3194.29/3201.56 c 3202 178158 274 1 - 0.0000 -
3199.38/3206.67 c 3207 178465 267 1 - 0.0000 -
3204.57/3211.82 c 3212 178788 286 1 - 0.0000 -
3209.56/3216.89 c 3217 179044 278 1 - 0.0000 -
3214.75/3222.02 c 3222 179260 266 1 - 0.0000 -
3219.94/3227.27 c 3227 179466 269 1 - 0.0000 -
3225.02/3232.37 c 3232 179674 270 1 - 0.0000 -
3230.11/3237.48 c 3237 179894 284 1 - 0.0000 -
3235.20/3242.55 c 3243 180188 267 1 - 0.0000 -
3240.30/3247.67 c 3248 180403 285 1 - 0.0000 -
3245.39/3252.78 c 3253 180652 291 1 - 0.0000 -
3250.58/3257.95 c 3258 180871 276 1 - 0.0000 -
3255.67/3263.06 c 3263 181131 287 1 - 0.0000 -
3260.85/3268.24 c 3268 181423 279 1 - 0.0000 -
3266.14/3273.52 c 3274 181675 269 1 - 0.0000 -
3271.33/3278.79 c 3279 181887 270 1 - 0.0000 -
3276.52/3283.99 c 3284 182080 261 1 - 0.0000 -
3281.71/3289.18 c 3289 182343 269 1 - 0.0000 -
3286.80/3294.24 c 3294 182637 260 1 - 0.0000 -
3291.88/3299.38 c 3299 182954 258 1 - 0.0000 -
3296.98/3304.49 c 3304 183233 255 1 - 0.0000 -
3302.17/3309.64 c 3310 183435 252 1 - 0.0000 -
3307.36/3314.83 c 3315 183658 253 1 - 0.0000 -
3312.45/3319.99 c 3320 183880 261 1 - 0.0000 -
3317.64/3325.16 c 3325 184132 275 1 - 0.0000 -
3322.82/3330.37 c 3330 184357 259 1 - 0.0000 -
3328.01/3335.56 c 3336 184553 255 1 - 0.0000 -
3333.30/3340.88 c 3341 184741 259 1 - 0.0000 -
3338.49/3346.04 c 3346 184956 267 1 - 0.0000 -
3343.58/3351.17 c 3351 185149 270 1 - 0.0000 -
3348.76/3356.30 c 3356 185383 270 1 - 0.0000 -
3353.95/3361.55 c 3362 185555 275 1 - 0.0000 -
3359.14/3366.72 c 3367 185723 265 1 - 0.0000 -
3364.23/3371.89 c 3372 185958 268 1 - 0.0000 -
3369.52/3377.15 c 3377 186156 254 1 - 0.0000 -
3374.61/3382.28 c 3382 186384 252 1 - 0.0000 -
3379.70/3387.39 c 3387 186588 262 1 - 0.0000 -
3384.79/3392.48 c 3392 186802 255 1 - 0.0000 -
3390.68/3398.33 c 3398 187007 261 1 - 0.0000 -
3395.77/3403.40 c 3403 187179 266 1 - 0.0000 -
3400.96/3408.60 c 3409 187363 258 1 - 0.0000 -
3405.95/3413.69 c 3414 187524 258 1 - 0.0000 -
3411.13/3418.83 c 3419 187717 269 1 - 0.0000 -
3416.33/3424.05 c 3424 187947 251 1 - 0.0000 -
3421.42/3429.17 c 3429 188164 251 1 - 0.0000 -
3426.60/3434.31 c 3434 188350 245 1 - 0.0000 -
3431.59/3439.39 c 3439 188519 262 1 - 0.0000 -
3436.78/3444.59 c 3445 188780 277 1 - 0.0000 -
3442.07/3449.84 c 3450 188998 296 1 - 0.0000 -
3447.36/3455.15 c 3455 189169 317 1 - 0.0000 -
3452.54/3460.30 c 3460 189377 327 1 - 0.0000 -
3457.63/3465.45 c 3465 189570 311 1 - 0.0000 -
3462.82/3470.60 c 3471 189730 326 1 - 0.0000 -
3467.91/3475.78 c 3476 189915 321 1 - 0.0000 -
3473.10/3480.90 c 3481 190135 327 1 - 0.0000 -
3478.09/3485.98 c 3486 190313 315 1 - 0.0000 -
3483.28/3491.10 c 3491 190484 309 1 - 0.0000 -
3488.38/3496.29 c 3496 190658 302 1 - 0.0000 -
3493.57/3501.49 c 3502 190843 299 1 - 0.0000 -
3498.75/3506.66 c 3507 191027 292 1 - 0.0000 -
3503.94/3511.80 c 3512 191193 297 1 - 0.0000 -
3509.03/3516.94 c 3517 191379 283 1 - 0.0000 -
3514.32/3522.25 c 3522 191545 278 1 - 0.0000 -
3519.51/3527.40 c 3527 191687 269 1 - 0.0000 -
3524.80/3532.71 c 3533 191849 280 1 - 0.0000 -
3530.19/3538.10 c 3538 192039 285 1 - 0.0000 -
3535.27/3543.24 c 3543 192198 282 1 - 0.0000 -
3540.36/3548.39 c 3548 192342 264 1 - 0.0000 -
3545.65/3553.64 c 3554 192482 255 1 - 0.0000 -
3550.94/3558.96 c 3559 192654 258 1 - 0.0000 -
3556.33/3564.38 c 3564 192769 259 1 - 0.0000 -
3561.52/3569.56 c 3570 193001 262 1 - 0.0000 -
3566.60/3574.69 c 3575 193196 279 1 - 0.0000 -
3572.19/3580.22 c 3580 193428 291 1 - 0.0000 -
3577.28/3585.30 c 3585 193821 291 1 - 0.0000 -
3582.38/3590.43 c 3590 194134 284 1 - 0.0000 -
3587.46/3595.54 c 3596 194441 287 1 - 0.0000 -
3589.96/3598.01 c SCIP Status : c solving was interrupted [hard time limit reached]
3589.96/3598.01 c Total Time : 3598.0200
3589.96/3598.01 c solving : 3598.0200
3589.96/3598.01 c presolving : 1.1428 (included in solving)
3589.96/3598.01 c B&B Tree :
3589.96/3598.01 c nodes (total) : 1
3589.96/3598.01 c Solution :
3589.96/3598.01 c Solutions found : 0
3589.96/3598.01 c Primal Bound : -
3589.96/3598.01 c Dual Bound : +0.00000000000000e+00
3589.96/3598.01 c Gap : -
3589.96/3598.02 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 (57177 MiB free)
memory of node 1: 64510 MiB (59955 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464695-1722387668/watcher-4464695-1722387668 -o /tmp/evaluation-result-4464695-1722387668/solver-4464695-1722387668 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27904 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464695-1722387668.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=33652, runsolver pid=33649
[startup+0.100219 s]*
/proc/loadavg: 4.19 4.24 4.16 5/267 33653
/proc/meminfo: memFree=119924776/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=41004 memory=30540 CPUtime=0.09 cores=4,6
/proc/33652/stat : 33652 (fscip) R 33649 33652 27893 0 -1 4194304 5928 0 0 0 9 0 0 0 20 0 1 0 5364744 41988096 7635 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 10251 7635 2710 3035 0 6647 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41004 KiB
Current children cumulated memory: 30540 KiB
[startup+0.205621 s]*
/proc/loadavg: 4.19 4.24 4.16 5/267 33653
/proc/meminfo: memFree=119922760/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=43308 memory=32828 CPUtime=0.2 cores=4,6
/proc/33652/stat : 33652 (fscip) R 33649 33652 27893 0 -1 4194304 6440 0 0 0 20 0 0 0 20 0 1 0 5364744 44347392 8207 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 10827 8207 2758 3035 0 7223 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43308 KiB
Current children cumulated memory: 32828 KiB
[startup+0.305631 s]*
/proc/loadavg: 4.19 4.24 4.16 5/267 33653
/proc/meminfo: memFree=119922208/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=43564 memory=33092 CPUtime=0.3 cores=4,6
/proc/33652/stat : 33652 (fscip) R 33649 33652 27893 0 -1 4194304 6506 0 0 0 30 0 0 0 20 0 1 0 5364744 44609536 8273 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 10891 8273 2758 3035 0 7287 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43564 KiB
Current children cumulated memory: 33092 KiB
[startup+0.700197 s]
/proc/loadavg: 4.19 4.24 4.16 5/267 33653
/proc/meminfo: memFree=119922060/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=43700 memory=33356 CPUtime=0.68 cores=4,6
/proc/33652/stat : 33652 (fscip) R 33649 33652 27893 0 -1 4194304 6540 0 0 0 68 0 0 0 20 0 1 0 5364744 44748800 8339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 10925 8339 2758 3035 0 7321 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43700 KiB
Current children cumulated memory: 33356 KiB
[startup+1.50022 s]
/proc/loadavg: 4.19 4.24 4.16 5/267 33653
/proc/meminfo: memFree=119920464/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=140168 memory=60228 CPUtime=1.48 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 14528 0 0 0 147 1 0 0 20 0 3 0 5364744 143532032 15057 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 35042 15057 2790 3035 0 18980 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 140168 KiB
Current children cumulated memory: 60228 KiB
[startup+3.10572 s]
/proc/loadavg: 4.19 4.24 4.16 5/269 33657
/proc/meminfo: memFree=119877892/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=146680 memory=77668 CPUtime=3.08 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 20167 0 0 0 306 2 0 0 20 0 3 0 5364744 150200320 19417 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 36670 19417 2982 3035 0 23576 0
[pid=33652/tid=33654] ppid=33649 vsize=146680 memory=198340509722 CPUtime=1.92 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 10002 0 0 0 191 1 0 0 20 0 3 0 5364861 150200320 19417 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=146680 memory=0 CPUtime=0 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 5364862 150200320 19417 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 146680 KiB
Current children cumulated memory: 77668 KiB
[startup+6.3002 s]
/proc/loadavg: 4.25 4.25 4.16 5/269 33657
/proc/meminfo: memFree=119862440/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=146680 memory=93168 CPUtime=6.27 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 28418 0 0 0 624 3 0 0 20 0 3 0 5364744 150200320 23292 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 36670 23292 2982 3035 0 27861 0
[pid=33652/tid=33654] ppid=33649 vsize=146680 memory=11712 CPUtime=5.1 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 18250 0 0 0 509 1 0 0 20 0 3 0 5364861 150200320 23292 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=146680 memory=0 CPUtime=0 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 5364862 150200320 23292 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 146680 KiB
Current children cumulated memory: 93168 KiB
[startup+12.7002 s]
/proc/loadavg: 4.23 4.25 4.16 5/269 33657
/proc/meminfo: memFree=119853340/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=146680 memory=102592 CPUtime=12.66 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 43115 0 0 0 1262 4 0 0 20 0 3 0 5364744 150200320 25648 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 36670 25648 2982 3035 0 30018 0
[pid=33652/tid=33654] ppid=33649 vsize=146680 memory=0 CPUtime=11.48 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 32884 0 0 0 1146 2 0 0 20 0 3 0 5364861 150200320 25648 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=146680 memory=12772 CPUtime=0 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 7 0 0 0 0 0 0 0 20 0 3 0 5364862 150200320 25648 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 146680 KiB
Current children cumulated memory: 102592 KiB
[startup+25.5002 s]
/proc/loadavg: 4.18 4.24 4.16 5/269 33660
/proc/meminfo: memFree=119842364/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=146680 memory=113220 CPUtime=25.42 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 70328 0 0 0 2536 6 0 0 20 0 3 0 5364744 150200320 28305 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 36670 28305 3046 3035 0 32480 0
[pid=33652/tid=33654] ppid=33649 vsize=146680 memory=12772 CPUtime=24.26 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 60011 0 0 0 2421 5 0 0 20 0 3 0 5364861 150200320 28305 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=146680 memory=112500 CPUtime=0 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 13 0 0 0 0 0 0 0 20 0 3 0 5364862 150200320 28305 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 146680 KiB
Current children cumulated memory: 113220 KiB
[startup+51.1057 s]
/proc/loadavg: 4.38 4.28 4.17 5/270 33664
/proc/meminfo: memFree=119826064/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=212216 memory=127684 CPUtime=50.97 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 105160 0 0 0 5088 9 0 0 20 0 3 0 5364744 217309184 31921 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 53054 31921 3046 3035 0 36178 0
[pid=33652/tid=33654] ppid=33649 vsize=212216 memory=120060 CPUtime=49.8 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 94740 0 0 0 4973 7 0 0 20 0 3 0 5364861 217309184 31921 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=212216 memory=1836 CPUtime=0 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 3 0 5364862 217309184 31921 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 212216 KiB
Current children cumulated memory: 127684 KiB
[startup+102.3 s]
/proc/loadavg: 4.23 4.25 4.17 5/269 33672
/proc/meminfo: memFree=119790812/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=212216 memory=159176 CPUtime=102.04 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 177566 0 0 0 10189 15 0 0 20 0 3 0 5364744 217309184 39794 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 53054 39794 3062 3035 0 44678 0
[pid=33652/tid=33654] ppid=33649 vsize=212216 memory=158568 CPUtime=100.87 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 167022 0 0 0 10073 14 0 0 20 0 3 0 5364861 217309184 39794 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=212216 memory=12772 CPUtime=0 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 5364862 217309184 39794 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 212216 KiB
Current children cumulated memory: 159176 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.23 4.17 5/269 33682
/proc/meminfo: memFree=119761496/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=278712 memory=183652 CPUtime=161.89 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 219025 0 0 0 16170 19 0 0 20 0 3 0 5364744 285401088 45913 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 69678 45913 3062 3035 0 50692 0
[pid=33652/tid=33654] ppid=33649 vsize=278712 memory=183640 CPUtime=160.72 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 208407 0 0 0 16054 18 0 0 20 0 3 0 5364861 285401088 45913 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=278712 memory=183652 CPUtime=0 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 38 0 0 0 0 0 0 0 20 0 3 0 5364862 285401088 45913 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 278712 KiB
Current children cumulated memory: 183652 KiB
[startup+222.3 s]
/proc/loadavg: 4.26 4.25 4.18 5/267 33693
/proc/meminfo: memFree=119729724/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=278712 memory=185908 CPUtime=221.75 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 245654 0 0 0 22153 22 0 0 20 0 3 0 5364744 285401088 46477 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 69678 46477 3366 3035 0 50692 0
[pid=33652/tid=33654] ppid=33649 vsize=278712 memory=184868 CPUtime=220.57 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 234980 0 0 0 22036 21 0 0 20 0 3 0 5364861 285401088 46477 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=278712 memory=184868 CPUtime=0 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 3 0 5364862 285401088 46477 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 278712 KiB
Current children cumulated memory: 185908 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.22 4.18 5/267 33703
/proc/meminfo: memFree=119693956/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=281072 memory=187948 CPUtime=281.61 cores=4,6
################
# More data... #
################
/proc/33652/statm: 70696 51263 3366 3035 0 54226 0
[pid=33652/tid=33654] ppid=33649 vsize=282784 memory=205052 CPUtime=3393.31 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 412533 0 0 0 339266 65 0 0 20 0 3 0 5364861 289570816 51263 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=282784 memory=11712 CPUtime=0.01 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 152 0 0 0 0 1 0 0 20 0 3 0 5364862 289570816 51263 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 3394.67 s
Current children cumulated vsize: 282784 KiB
Current children cumulated memory: 205052 KiB
[startup+3462.3 s]
/proc/loadavg: 1.12 1.12 1.53 2/239 35623
/proc/meminfo: memFree=122038556/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=282784 memory=205052 CPUtime=3454.54 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 426486 0 0 0 345382 72 0 0 20 0 3 0 5364744 289570816 51263 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 70696 51263 3366 3035 0 54226 0
[pid=33652/tid=33654] ppid=33649 vsize=282784 memory=205052 CPUtime=3453.18 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 415080 0 0 0 345252 66 0 0 20 0 3 0 5364861 289570816 51263 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=282784 memory=11712 CPUtime=0.01 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 154 0 0 0 0 1 0 0 20 0 3 0 5364862 289570816 51263 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 3454.54 s
Current children cumulated vsize: 282784 KiB
Current children cumulated memory: 205052 KiB
[startup+3522.3 s]
/proc/loadavg: 1.09 1.11 1.50 2/239 35633
/proc/meminfo: memFree=122037968/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=282784 memory=205132 CPUtime=3514.42 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 427108 0 0 0 351369 73 0 0 20 0 3 0 5364744 289570816 51283 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 70696 51283 3366 3035 0 54226 0
[pid=33652/tid=33654] ppid=33649 vsize=282784 memory=205132 CPUtime=3513.06 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 415693 0 0 0 351239 67 0 0 20 0 3 0 5364861 289570816 51283 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=282784 memory=205132 CPUtime=0.02 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 156 0 0 0 0 2 0 0 20 0 3 0 5364862 289570816 51283 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 3514.42 s
Current children cumulated vsize: 282784 KiB
Current children cumulated memory: 205132 KiB
[startup+3582.3 s]
/proc/loadavg: 1.13 1.12 1.48 2/239 35648
/proc/meminfo: memFree=122037308/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=282784 memory=205260 CPUtime=3574.29 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 428836 0 0 0 357356 73 0 0 20 0 3 0 5364744 289570816 51315 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 70696 51315 3366 3035 0 54226 0
[pid=33652/tid=33654] ppid=33649 vsize=282784 memory=205260 CPUtime=3572.93 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 417411 0 0 0 357226 67 0 0 20 0 3 0 5364861 289570816 51315 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=282784 memory=-7235432492932619644 CPUtime=0.02 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 158 0 0 0 0 2 0 0 20 0 3 0 5364862 289570816 51315 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 3574.29 s
Current children cumulated vsize: 282784 KiB
Current children cumulated memory: 205260 KiB
[startup+3598.03 s]
# the end of solver process 33652 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.25 s, system=0.74419 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.13 1.12 1.48 2/239 35650
/proc/meminfo: memFree=122037196/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=282784 memory=205260 CPUtime=3575.99 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 428846 0 0 0 357526 73 0 0 20 0 3 0 5364744 289570816 51315 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 70696 51315 3366 3035 0 54226 0
[pid=33652/tid=33654] ppid=33649 vsize=282784 memory=6736 CPUtime=3574.63 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 417421 0 0 0 357396 67 0 0 20 0 3 0 5364861 289570816 51315 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=282784 memory=7686721470264483783 CPUtime=0.02 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 158 0 0 0 0 2 0 0 20 0 3 0 5364862 289570816 51315 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 3575.99 s
Current children cumulated vsize: 282784 KiB
Current children cumulated memory: 205260 KiB
[startup+3590.4 s]
/proc/loadavg: 1.11 1.11 1.47 2/239 35651
/proc/meminfo: memFree=122037084/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=282784 memory=205356 CPUtime=3582.38 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 429878 0 0 0 358164 74 0 0 20 0 3 0 5364744 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 70696 51339 3366 3035 0 54226 0
[pid=33652/tid=33654] ppid=33649 vsize=282784 memory=205260 CPUtime=3581.01 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 418453 0 0 0 358034 67 0 0 20 0 3 0 5364861 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=282784 memory=19600 CPUtime=0.02 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 158 0 0 0 0 2 0 0 20 0 3 0 5364862 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 3582.38 s
Current children cumulated vsize: 282784 KiB
Current children cumulated memory: 205356 KiB
[startup+3593.6 s]
/proc/loadavg: 1.11 1.11 1.47 2/239 35663
/proc/meminfo: memFree=122036620/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=282784 memory=205356 CPUtime=3585.57 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 429878 0 0 0 358483 74 0 0 20 0 3 0 5364744 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 70696 51339 3366 3035 0 54226 0
[pid=33652/tid=33654] ppid=33649 vsize=282784 memory=205356 CPUtime=3584.2 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 418453 0 0 0 358353 67 0 0 20 0 3 0 5364861 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=282784 memory=205260 CPUtime=0.02 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 158 0 0 0 0 2 0 0 20 0 3 0 5364862 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 3585.57 s
Current children cumulated vsize: 282784 KiB
Current children cumulated memory: 205356 KiB
[startup+3595.2 s]
/proc/loadavg: 1.10 1.11 1.47 2/239 35663
/proc/meminfo: memFree=122036800/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=282784 memory=205356 CPUtime=3587.17 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 429879 0 0 0 358643 74 0 0 20 0 3 0 5364744 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 70696 51339 3366 3035 0 54226 0
[pid=33652/tid=33654] ppid=33649 vsize=282784 memory=1932 CPUtime=3585.8 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 418454 0 0 0 358513 67 0 0 20 0 3 0 5364861 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=282784 memory=2160 CPUtime=0.02 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 158 0 0 0 0 2 0 0 20 0 3 0 5364862 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 3587.17 s
Current children cumulated vsize: 282784 KiB
Current children cumulated memory: 205356 KiB
[startup+3596.8 s]
/proc/loadavg: 1.10 1.11 1.47 2/239 35663
/proc/meminfo: memFree=122036800/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=282784 memory=205356 CPUtime=3588.76 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 429879 0 0 0 358802 74 0 0 20 0 3 0 5364744 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 70696 51339 3366 3035 0 54226 0
[pid=33652/tid=33654] ppid=33649 vsize=282784 memory=205260 CPUtime=3587.39 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 418454 0 0 0 358672 67 0 0 20 0 3 0 5364861 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=282784 memory=11712 CPUtime=0.02 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 158 0 0 0 0 2 0 0 20 0 3 0 5364862 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 3588.76 s
Current children cumulated vsize: 282784 KiB
Current children cumulated memory: 205356 KiB
[startup+3597.6 s]
/proc/loadavg: 1.10 1.11 1.47 2/239 35663
/proc/meminfo: memFree=122036828/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=282784 memory=205356 CPUtime=3589.56 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 429879 0 0 0 358882 74 0 0 20 0 3 0 5364744 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 70696 51339 3366 3035 0 54226 0
[pid=33652/tid=33654] ppid=33649 vsize=282784 memory=12772 CPUtime=3588.19 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 418454 0 0 0 358752 67 0 0 20 0 3 0 5364861 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=282784 memory=13204 CPUtime=0.02 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 158 0 0 0 0 2 0 0 20 0 3 0 5364862 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 3589.56 s
Current children cumulated vsize: 282784 KiB
Current children cumulated memory: 205356 KiB
[startup+3598 s]*
/proc/loadavg: 1.10 1.11 1.47 2/239 35663
/proc/meminfo: memFree=122036828/131524600 swapFree=131071996/131071996
[pid=33652] ppid=33649 vsize=282784 memory=205356 CPUtime=3589.96 cores=4,6
/proc/33652/stat : 33652 (fscip) S 33649 33652 27893 0 -1 1077936128 429886 0 0 0 358922 74 0 0 20 0 3 0 5364744 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
/proc/33652/statm: 70696 51339 3366 3035 0 54226 0
[pid=33652/tid=33654] ppid=33649 vsize=282784 memory=-7235432492932619644 CPUtime=3588.59 cores=4,6
/proc/33652/task/33654/stat : 33654 (fscip) R 33649 33652 27893 0 -1 4194368 418461 0 0 0 358792 67 0 0 20 0 3 0 5364861 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
[pid=33652/tid=33655] ppid=33649 vsize=282784 memory=7686721470264483783 CPUtime=0.02 cores=4,6
/proc/33652/task/33655/stat : 33655 (fscip) S 33649 33652 27893 0 -1 1077936192 158 0 0 0 0 2 0 0 20 0 3 0 5364862 289570816 51339 134679101440 4194304 16623229 140722029325760 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18838560 18947056 52174848 140722029331478 140722029331594 140722029331594 140722029338608 0
Current children cumulated CPU time: 3589.96 s
Current children cumulated vsize: 282784 KiB
Current children cumulated memory: 205356 KiB
Child status: 0
Real time (s): 3598.03
CPU time (s): 3589.99
CPU user time (s): 3589.25
CPU system time (s): 0.74419
CPU usage (%): 99.7768
Max. virtual memory (cumulated for all children) (KiB): 282784
Max. memory (cumulated for all children) (KiB): 206880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.25
system time used= 0.74419
maximum resident set size= 206880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 430129
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= 10579
involuntary context switches= 1265
# summary of solver processes directly reported to runsolver:
# pid: 33652
# total CPU time (s): 3589.99
# total CPU user time (s): 3589.25
# total CPU system time (s): 0.74419
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67891 second user time and 13.3729 second system time
The end
Begin job on nodeC020 at 2024-07-31 03:01:08
IDJOB=4464695
IDBENCH=164378
IDSOLVER=3092
FILE ID=nodeC020/4464695-1722387668
RUNJOBID= nodeC020-1722378594-27904
SLURM_JOB_ID= 8249843
Free space on /tmp= 889996 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-mine-90-10.0.u.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-4464695-1722387668/watcher-4464695-1722387668 -o /tmp/evaluation-result-4464695-1722387668/solver-4464695-1722387668 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722378594-27904 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464695-1722387668.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 655e29d3d11acc2b2e2d8217bccdc3c7
RANDOM SEED=1103185298
nodeC020.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 : 3670.396
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.38
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 : 3681.768
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.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.868
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.38
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.736
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.00
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 : 3671.644
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.38
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 : 3681.741
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.00
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 : 3662.754
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.38
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.597
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.00
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 119945164 kB
MemAvailable: 127597812 kB
Buffers: 108488 kB
Cached: 8358408 kB
SwapCached: 0 kB
Active: 272384 kB
Inactive: 10786672 kB
Active(anon): 1604 kB
Inactive(anon): 2611580 kB
Active(file): 270780 kB
Inactive(file): 8175092 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28188 kB
Writeback: 0 kB
AnonPages: 2588068 kB
Mapped: 126260 kB
Shmem: 21336 kB
KReclaimable: 92844 kB
Slab: 175040 kB
SReclaimable: 92844 kB
SUnreclaim: 82196 kB
KernelStack: 4332 kB
PageTables: 14148 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2201936 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 9952 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1486848 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: 193236 kB
DirectMap2M: 10065920 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC020 at 2024-07-31 04:01:07