0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: cdb00f34-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.0] [GitHash: 32d2b99657]
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.0 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: bdec2291]
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.2.1 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.09/0.20 c Default LC presolving (default).
0.09/0.20 c ** Before presolving: virtualMemUsedAtLc = 204381047, getVmSize() = 146206720, SCIPgetMemUsed() = 111306240, SCIPgetMemTotal() = 118438464, SCIPgetMemExternEstim() = 85942583
0.09/0.20 c ** set memory limit for presolving in LC to 8.79603e+12 for SCIP **
155.00/155.68 c ** Estimated virtualMemUsedAtSolver = 243470336, getVmSize() = 584204288, SCIPgetMemUsed() = 205151770, SCIPgetMemTotal() = 275219130, SCIPgetMemExternEstim() = 85942583
155.00/155.68 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
155.00/155.68 c Original Problem :
155.00/155.68 c Problem name : instance-4456517-1721721951
155.00/155.68 c Variables : 32591 (32591 binary, 0 integer, 0 implicit integer, 0 continuous)
155.00/155.68 c Constraints : 60698
155.00/155.68 c Objective sense : minimize
155.00/155.68 c Presolved Problem :
155.00/155.68 c Variables : 2694 (2694 binary, 0 integer, 0 implicit integer, 0 continuous)
155.00/155.68 c Constraints : 29116
155.00/155.68 c Constraints : Number
155.00/155.68 c setppc : 23703
155.00/155.68 c linear : 423
155.00/155.68 c orbitope : 1
155.00/155.68 c logicor : 4700
155.00/155.68 c indicator : 289
155.00/155.68 c ** Instance transfer method used: 0
155.10/155.71 c ** ParaScipInstance copy increased the number of variables. **
155.10/155.75 c LC is working with racing ramp-up and with rebuilding tree after racing.
155.10/155.75 c Nodes Active
155.10/155.75 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
258.83/260.10 c * 260 0 1 1 503434.0000 - -
258.83/260.10 c 260 0 1 1 503434.0000 - -
259.82/261.07 c * 261 0 1 1 498436.0000 - -
281.04/282.30 c * 282 0 1 1 470423.0000 - -
281.04/282.30 c 282 0 1 1 470423.0000 - -
281.44/282.73 c * 283 0 1 1 469423.0000 - -
286.83/288.17 c 288 8 7 1 469423.0000 450171.3255 4.28%
293.00/294.31 c 294 16 15 1 469423.0000 450382.9372 4.23%
298.38/299.78 c 300 24 23 1 469423.0000 450649.5488 4.17%
304.55/305.92 c 306 31 30 1 469423.0000 450649.5488 4.17%
310.33/311.76 c 312 38 37 1 469423.0000 450750.2867 4.14%
316.21/317.68 c 318 45 44 1 469423.0000 450750.2867 4.14%
322.88/324.38 c 324 53 52 1 469423.0000 450750.2867 4.14%
328.46/329.94 c 330 60 59 1 469423.0000 450750.2867 4.14%
333.55/335.04 c 335 68 67 1 469423.0000 450896.5411 4.11%
340.22/341.70 c 342 76 75 1 469423.0000 450975.9265 4.09%
345.51/347.00 c 347 93 92 1 469423.0000 450975.9265 4.09%
345.70/347.24 c * 347 93 92 1 465427.0000 450975.9265 3.20%
350.98/352.50 c 352 108 107 1 465427.0000 451005.4937 3.20%
357.25/358.84 c 359 142 141 1 465427.0000 451008.8980 3.20%
358.94/360.55 c * 361 148 147 1 465423.0000 451008.8980 3.20%
362.54/364.18 c 364 171 170 1 465423.0000 451036.4300 3.19%
367.62/369.27 c 369 192 191 1 465423.0000 451147.2078 3.16%
371.51/373.17 c * 373 204 203 1 465421.0000 451147.2078 3.16%
373.69/375.34 c 375 213 212 1 465421.0000 451147.2078 3.16%
376.08/377.79 c * 378 220 219 1 463420.0000 451147.2078 2.72%
377.78/379.43 c * 379 222 218 1 461421.0000 451246.9911 2.25%
379.87/381.58 c 382 238 218 1 461421.0000 451246.9911 2.25%
381.56/383.29 c * 383 244 220 1 461418.0000 451246.9911 2.25%
385.15/386.84 c 387 260 234 1 461418.0000 451246.9911 2.25%
390.64/392.39 c 392 272 244 1 461418.0000 451376.8406 2.22%
396.21/397.91 c 398 290 256 1 461418.0000 451376.8406 2.22%
401.99/403.77 c 404 308 272 1 461418.0000 451376.8406 2.22%
407.86/409.67 c 410 385 304 1 461418.0000 451480.2078 2.20%
413.15/414.92 c 415 508 311 1 461418.0000 451487.9921 2.20%
418.22/420.03 c 420 600 319 1 461418.0000 451731.0153 2.14%
424.00/425.88 c 426 687 330 1 461418.0000 451955.7552 2.09%
429.97/431.81 c 432 757 351 1 461418.0000 452044.0531 2.07%
432.46/434.32 c * 434 785 351 1 461417.0000 452044.0531 2.07%
435.94/437.81 c 438 826 356 1 461417.0000 452057.2001 2.07%
441.43/443.32 c 443 942 372 1 461417.0000 452131.2321 2.05%
446.90/448.88 c 449 1047 388 1 461417.0000 452143.3360 2.05%
451.98/453.98 c 454 1142 399 1 461417.0000 452171.0049 2.04%
458.07/460.07 c 460 1245 0 1 461417.0000 452177.8683 2.04%
464.83/466.89 c 467 1245 0 1 461417.0000 452177.8683 2.04%
471.11/473.11 c 473 1287 42 1 461417.0000 452177.8683 2.04%
473.00/475.04 c * 475 1306 57 1 459441.0000 452177.8683 1.61%
473.00/475.06 c * 475 1306 57 1 459439.0000 452177.8683 1.61%
473.00/475.09 c * 475 1306 57 1 459436.0000 452177.8683 1.61%
473.10/475.12 c * 475 1306 57 1 459435.0000 452177.8683 1.60%
473.10/475.17 c * 475 1306 57 1 459434.0000 452177.8683 1.60%
473.20/475.20 c * 475 1306 57 1 459433.0000 452177.8683 1.60%
473.20/475.25 c * 475 1338 84 1 459432.0000 452177.8683 1.60%
473.40/475.48 c * 475 1338 84 1 459431.0000 452177.8683 1.60%
473.50/475.53 c * 476 1338 84 1 459429.0000 452177.8683 1.60%
473.50/475.56 c * 476 1338 84 1 459427.0000 452177.8683 1.60%
473.60/475.61 c * 476 1338 84 1 459426.0000 452177.8683 1.60%
476.40/478.43 c 478 1445 107 1 459426.0000 452177.8683 1.60%
476.40/478.45 c * 478 1445 107 1 459425.0000 452177.8683 1.60%
481.68/483.77 c 484 1561 116 1 459425.0000 452177.8683 1.60%
488.05/490.18 c 490 1680 145 1 459425.0000 452177.8683 1.60%
493.32/495.45 c 495 1825 162 1 459425.0000 452211.0740 1.60%
498.71/500.82 c 501 2066 160 1 459425.0000 452554.0356 1.52%
503.78/505.95 c 506 2229 187 1 459425.0000 452599.4933 1.51%
508.97/511.16 c 511 2366 194 1 459425.0000 452599.5659 1.51%
514.74/516.94 c 517 2664 216 1 459425.0000 452616.2790 1.50%
519.92/522.16 c 522 2816 248 1 459425.0000 452778.9469 1.47%
525.30/527.55 c 528 3046 268 1 459425.0000 452883.3711 1.44%
530.87/533.12 c 533 3299 295 1 459425.0000 452961.1201 1.43%
535.95/538.28 c 538 3446 314 1 459425.0000 452985.2972 1.42%
541.53/543.87 c 544 3635 331 1 459425.0000 453029.1071 1.41%
544.61/546.90 c * 547 3748 336 1 459422.0000 453049.5195 1.41%
546.61/548.91 c 549 3856 330 1 459422.0000 453068.6081 1.40%
551.89/554.29 c 554 4096 358 1 459422.0000 453098.4717 1.40%
557.56/559.95 c 560 4272 366 1 459422.0000 453152.6085 1.38%
563.24/565.65 c 566 4506 396 1 459422.0000 453195.0920 1.37%
568.82/571.28 c 571 4650 424 1 459422.0000 453226.4060 1.37%
574.30/576.71 c 577 4863 463 1 459422.0000 453328.0115 1.34%
579.48/581.94 c 582 5046 468 1 459422.0000 453385.1603 1.33%
585.15/587.62 c 588 5256 480 1 459422.0000 453497.8794 1.31%
590.53/593.00 c 593 5426 492 1 459422.0000 453542.8581 1.30%
596.29/598.83 c 599 5628 509 1 459422.0000 453584.1089 1.29%
601.77/604.35 c 604 5950 527 1 459422.0000 453625.8021 1.28%
607.64/610.24 c 610 6207 546 1 459422.0000 453636.0085 1.28%
613.02/615.64 c 616 6506 563 1 459422.0000 453673.7061 1.27%
618.10/620.79 c 621 6666 575 1 459422.0000 453764.3530 1.25%
623.18/625.80 c 626 6824 577 1 459422.0000 453808.1288 1.24%
628.36/631.07 c 631 6996 581 1 459422.0000 453848.5472 1.23%
634.14/636.86 c 637 7131 592 1 459422.0000 453854.3776 1.23%
639.31/642.07 c 642 7382 606 1 459422.0000 453861.6904 1.23%
644.78/647.51 c 648 7626 624 1 459422.0000 453935.3215 1.21%
650.37/653.14 c 653 7856 624 1 459422.0000 453957.6858 1.20%
655.44/658.26 c 658 7996 636 1 459422.0000 454007.1109 1.19%
656.34/659.12 c * 659 7996 636 1 459421.0000 454007.1109 1.19%
661.42/664.23 c 664 8143 657 1 459421.0000 454013.8361 1.19%
666.59/669.43 c 669 8326 672 1 459421.0000 454023.6464 1.19%
671.77/674.60 c 675 8616 699 1 459421.0000 454029.4858 1.19%
676.75/679.69 c 680 8854 715 1 459421.0000 454038.4744 1.19%
682.63/685.59 c 686 9031 732 1 459421.0000 454053.2316 1.18%
688.41/691.38 c 691 9385 750 1 459421.0000 454063.3589 1.18%
693.59/696.59 c 697 9526 765 1 459421.0000 454087.3277 1.17%
699.37/702.38 c 702 9956 767 1 459421.0000 454094.7579 1.17%
704.35/707.39 c 707 10276 791 1 459421.0000 454115.7616 1.17%
709.53/712.56 c 713 10427 810 1 459421.0000 454122.3186 1.17%
715.11/718.18 c 718 10806 815 1 459421.0000 454160.6097 1.16%
720.69/723.72 c 724 11296 815 1 459421.0000 454188.0728 1.15%
726.57/729.64 c 730 11527 838 1 459421.0000 454194.0535 1.15%
731.85/734.97 c 735 11806 865 1 459421.0000 454219.1535 1.15%
736.94/740.07 c 740 11995 890 1 459421.0000 454233.4341 1.14%
742.61/745.79 c 746 12367 914 1 459421.0000 454263.2535 1.14%
748.19/751.36 c 751 12756 941 1 459421.0000 454289.0501 1.13%
754.07/757.24 c 757 13055 970 1 459421.0000 454297.1244 1.13%
759.95/763.16 c 763 13544 989 1 459421.0000 454307.6962 1.13%
765.23/768.47 c 768 13945 995 1 459421.0000 454307.9240 1.13%
770.31/773.59 c 774 14256 990 1 459421.0000 454308.6857 1.13%
775.79/779.03 c 779 14626 1005 1 459421.0000 454315.7616 1.12%
781.07/784.38 c 784 14971 1005 1 459421.0000 454336.9380 1.12%
786.25/789.51 c 790 15416 1018 1 459421.0000 454346.7603 1.12%
791.53/794.88 c 795 15806 1036 1 459421.0000 454364.8163 1.11%
797.11/800.49 c 800 16123 1056 1 459421.0000 454387.6365 1.11%
802.60/805.97 c 806 16623 1073 1 459421.0000 454394.5056 1.11%
807.97/811.35 c 811 17076 1102 1 459421.0000 454430.2332 1.10%
813.45/816.82 c 817 17446 1112 1 459421.0000 454486.5090 1.09%
818.64/822.08 c 822 17774 1132 1 459421.0000 454497.7168 1.08%
823.82/827.25 c 827 18096 1156 1 459421.0000 454519.6004 1.08%
829.19/832.68 c 833 18396 1152 1 459421.0000 454534.3357 1.08%
834.27/837.78 c 838 18796 1160 1 459421.0000 454545.5609 1.07%
839.95/843.48 c 843 18989 1189 1 459421.0000 454554.8286 1.07%
845.54/849.06 c 849 19173 1205 1 459421.0000 454557.4652 1.07%
851.02/854.57 c 855 19376 1222 1 459421.0000 454578.5723 1.07%
856.60/860.19 c 860 19736 1244 1 459421.0000 454605.2525 1.06%
861.67/865.25 c 865 20076 1276 1 459421.0000 454626.8340 1.05%
867.25/870.81 c 871 20316 1293 1 459421.0000 454655.6266 1.05%
872.53/876.12 c 876 20548 1309 1 459421.0000 454669.6797 1.05%
877.51/881.19 c 881 20876 1327 1 459421.0000 454694.6294 1.04%
882.78/886.48 c 886 21186 1333 1 459421.0000 454713.1455 1.04%
888.36/892.09 c 892 21586 1343 1 459421.0000 454726.8256 1.03%
893.54/897.25 c 897 21958 1365 1 459421.0000 454734.6498 1.03%
898.62/902.37 c 902 22246 1356 1 459421.0000 454753.2276 1.03%
903.69/907.45 c 907 22336 1360 1 459421.0000 454770.3889 1.02%
909.27/913.00 c 913 22636 1372 1 459421.0000 454778.9795 1.02%
914.75/918.55 c 919 22966 1377 1 459421.0000 454792.6781 1.02%
920.33/924.18 c 924 23297 1390 1 459421.0000 454805.5264 1.01%
926.10/929.92 c 930 23676 1395 1 459421.0000 454809.5907 1.01%
931.38/935.21 c 935 23956 1393 1 459421.0000 454827.0964 1.01%
937.26/941.12 c 941 24346 1421 1 459421.0000 454869.2376 1.00%
943.23/947.16 c 947 24785 1434 1 459421.0000 454883.8484 1.00%
948.70/952.68 c 953 25299 1452 1 459421.0000 454889.7155 1.00%
953.88/957.81 c 958 25767 1480 1 459421.0000 454905.0912 0.99%
960.25/964.27 c 964 26090 1501 1 459421.0000 454913.4004 0.99%
966.22/970.23 c 970 26604 1531 1 459421.0000 454933.0291 0.99%
971.41/975.44 c 975 26966 1563 1 459421.0000 454947.8585 0.98%
977.08/981.13 c 981 27508 1604 1 459421.0000 454964.9564 0.98%
982.75/986.89 c 987 28089 1631 1 459421.0000 454975.3315 0.98%
988.43/992.52 c 993 28449 1655 1 459421.0000 454992.5002 0.97%
993.41/997.54 c 998 28766 1674 1 459421.0000 455012.6461 0.97%
998.78/1002.94 c 1003 29136 1692 1 459421.0000 455031.5223 0.96%
1004.46/1008.60 c 1009 29514 1714 1 459421.0000 455040.9653 0.96%
1009.64/1013.87 c 1014 30066 1742 1 459421.0000 455047.8810 0.96%
1015.31/1019.55 c 1020 30574 1762 1 459421.0000 455071.4580 0.96%
1017.71/1021.92 c * 1022 30746 1766 1 459420.0000 455082.6985 0.95%
1020.49/1024.80 c 1025 30936 1679 1 459420.0000 455103.3236 0.95%
1026.26/1030.51 c 1031 31326 1692 1 459420.0000 455125.9131 0.94%
1032.15/1036.44 c 1036 31656 1691 1 459420.0000 455152.4791 0.94%
1037.73/1042.05 c 1042 32116 1710 1 459420.0000 455159.7895 0.94%
1043.29/1047.67 c 1048 32386 1713 1 459420.0000 455169.9443 0.93%
1048.88/1053.21 c 1053 32716 1733 1 459420.0000 455177.2820 0.93%
1054.45/1058.89 c 1059 33206 1754 1 459420.0000 455189.2129 0.93%
1059.93/1064.34 c 1064 33626 1778 1 459420.0000 455206.5514 0.93%
1065.20/1069.61 c 1070 33974 1800 1 459420.0000 455214.0931 0.92%
1070.29/1074.77 c 1075 34316 1798 1 459420.0000 455239.2450 0.92%
1075.86/1080.30 c 1080 34724 1810 1 459420.0000 455244.7390 0.92%
1081.24/1085.77 c 1086 35130 1829 1 459420.0000 455263.4164 0.91%
1086.32/1090.82 c 1091 35516 1835 1 459420.0000 455279.1211 0.91%
1091.70/1096.23 c 1096 35866 1863 1 459420.0000 455286.6986 0.91%
1097.37/1101.92 c 1102 36203 1887 1 459420.0000 455308.6857 0.90%
1102.56/1107.17 c 1107 36526 1914 1 459420.0000 455315.9412 0.90%
1107.62/1112.28 c 1112 36670 1899 1 459420.0000 455331.3020 0.90%
1113.50/1118.11 c 1118 37071 1901 1 459420.0000 455345.8459 0.89%
1119.18/1123.87 c 1124 37275 1919 1 459420.0000 455356.3450 0.89%
1124.76/1129.42 c 1129 37616 1930 1 459420.0000 455363.6830 0.89%
1130.13/1134.81 c 1135 37840 1937 1 459420.0000 455364.6387 0.89%
1136.00/1140.72 c 1141 38135 1940 1 459420.0000 455368.1979 0.89%
1141.09/1145.81 c 1146 38466 1967 1 459420.0000 455375.0390 0.89%
1146.07/1150.83 c 1151 38786 1981 1 459420.0000 455384.1231 0.89%
1151.44/1156.22 c 1156 39106 2007 1 459420.0000 455401.8115 0.88%
1156.63/1161.42 c 1161 39441 2046 1 459420.0000 455412.6813 0.88%
1162.00/1166.85 c 1167 39701 2084 1 459420.0000 455420.2314 0.88%
1167.77/1172.64 c 1173 40007 2094 1 459420.0000 455422.7285 0.88%
1173.75/1178.67 c 1179 40380 2096 1 459420.0000 455434.1602 0.88%
1178.93/1183.80 c 1184 40680 2119 1 459420.0000 455435.1876 0.87%
1184.11/1189.10 c 1189 41111 2145 1 459420.0000 455442.3993 0.87%
1189.58/1194.57 c 1195 41616 2176 1 459420.0000 455467.6695 0.87%
1194.76/1199.76 c 1200 42033 2199 1 459420.0000 455480.3725 0.86%
1199.84/1204.82 c 1205 42416 2208 1 459420.0000 455495.2062 0.86%
1205.62/1210.67 c 1211 42871 2211 1 459420.0000 455496.5729 0.86%
1210.69/1215.77 c 1216 43236 2236 1 459420.0000 455505.0912 0.86%
1215.78/1220.80 c 1221 43631 2251 1 459420.0000 455520.8608 0.86%
1221.15/1226.24 c 1226 44046 2252 1 459420.0000 455544.8843 0.85%
1226.13/1231.29 c 1231 44476 2266 1 459420.0000 455562.6335 0.85%
1231.21/1236.32 c 1236 45006 2271 1 459420.0000 455577.0515 0.84%
1236.89/1242.05 c 1242 45456 2295 1 459420.0000 455583.8438 0.84%
1242.56/1247.75 c 1248 45806 2293 1 459420.0000 455590.4454 0.84%
1247.94/1253.10 c 1253 46256 2299 1 459420.0000 455605.7700 0.84%
1253.81/1259.03 c 1259 46741 2314 1 459420.0000 455616.1702 0.83%
1259.48/1264.78 c 1265 47188 2323 1 459420.0000 455625.1830 0.83%
1264.55/1269.83 c 1270 47536 2345 1 459420.0000 455632.0283 0.83%
1269.54/1274.85 c 1275 47956 2365 1 459420.0000 455643.5497 0.83%
1275.11/1280.43 c 1280 48356 2382 1 459420.0000 455663.8990 0.82%
1280.59/1285.91 c 1286 48796 2414 1 459420.0000 455665.6456 0.82%
1286.17/1291.58 c 1292 49454 2425 1 459420.0000 455672.2658 0.82%
1291.94/1297.38 c 1297 49956 2444 1 459420.0000 455687.2099 0.82%
1297.73/1303.16 c 1303 50295 2465 1 459420.0000 455703.7579 0.82%
1303.20/1308.67 c 1309 50826 2500 1 459420.0000 455708.6291 0.81%
1308.68/1314.12 c 1314 51306 2520 1 459420.0000 455717.7473 0.81%
1314.25/1319.72 c 1320 51896 2536 1 459420.0000 455734.2537 0.81%
1319.63/1325.12 c 1325 52296 2560 1 459420.0000 455743.1999 0.81%
1324.61/1330.16 c 1330 52746 2564 1 459420.0000 455746.4414 0.81%
1330.28/1335.80 c 1336 53360 2562 1 459420.0000 455760.8463 0.80%
1335.46/1341.09 c 1341 53806 2578 1 459420.0000 455776.4666 0.80%
1340.63/1346.21 c 1346 54256 2598 1 459420.0000 455791.9197 0.80%
1346.21/1351.80 c 1352 54922 2598 1 459420.0000 455799.8778 0.79%
1351.50/1357.14 c 1357 55507 2597 1 459420.0000 455812.5383 0.79%
1357.27/1362.95 c 1363 55936 2610 1 459420.0000 455826.1519 0.79%
1362.65/1368.30 c 1368 56466 2628 1 459420.0000 455856.7498 0.78%
1368.22/1373.98 c 1374 56986 2658 1 459420.0000 455866.9782 0.78%
1373.40/1379.13 c 1379 57456 2666 1 459420.0000 455885.6610 0.78%
1379.08/1384.84 c 1385 57930 2670 1 459420.0000 455897.9366 0.77%
1384.15/1389.97 c 1390 58376 2672 1 459420.0000 455906.7902 0.77%
1389.93/1395.71 c 1396 58866 2676 1 459420.0000 455913.4140 0.77%
1395.70/1401.52 c 1402 59269 2723 1 459420.0000 455922.3482 0.77%
1400.99/1406.82 c 1407 59756 2730 1 459420.0000 455932.5373 0.76%
1406.26/1412.16 c 1412 60052 2714 1 459420.0000 455936.1604 0.76%
1412.04/1417.94 c 1418 60457 2718 1 459420.0000 455939.3283 0.76%
1417.71/1423.68 c 1424 60974 2733 1 459420.0000 455943.1599 0.76%
1422.98/1428.99 c 1429 61416 2755 1 459420.0000 455950.4185 0.76%
1428.37/1434.33 c 1434 61802 2753 1 459420.0000 455961.2417 0.76%
1434.05/1440.10 c 1440 62206 2765 1 459420.0000 455965.2556 0.76%
1439.72/1445.71 c 1446 62591 2784 1 459420.0000 455974.3417 0.76%
1445.00/1451.10 c 1451 63016 2799 1 459420.0000 455982.6079 0.75%
1450.28/1456.31 c 1456 63416 2822 1 459420.0000 455987.2741 0.75%
1455.25/1461.38 c 1461 63776 2826 1 459420.0000 455989.2345 0.75%
1460.53/1466.64 c 1467 64066 2836 1 459420.0000 456001.7612 0.75%
1465.70/1471.89 c 1472 64476 2840 1 459420.0000 456011.6527 0.75%
1471.09/1477.24 c 1477 64866 2861 1 459420.0000 456020.9582 0.75%
1476.26/1482.41 c 1482 65296 2901 1 459420.0000 456025.9720 0.74%
1481.55/1487.79 c 1488 65606 2895 1 459420.0000 456042.5519 0.74%
1487.22/1493.46 c 1493 66151 2904 1 459420.0000 456053.4510 0.74%
1492.30/1498.55 c 1499 66616 2917 1 459420.0000 456061.5000 0.74%
1497.58/1503.82 c 1504 67046 2939 1 459420.0000 456073.4927 0.73%
1502.76/1509.09 c 1509 67506 2944 1 459420.0000 456085.4479 0.73%
1508.73/1515.01 c 1515 68034 2958 1 459420.0000 456094.5545 0.73%
1514.60/1520.95 c 1521 68625 2969 1 459420.0000 456104.2732 0.73%
1519.88/1526.29 c 1526 69086 2998 1 459420.0000 456110.6061 0.73%
1525.35/1531.70 c 1532 69528 3018 1 459420.0000 456118.3594 0.72%
1530.63/1537.00 c 1537 70016 3024 1 459420.0000 456125.5756 0.72%
1535.82/1542.26 c 1542 70534 3036 1 459420.0000 456133.3191 0.72%
1541.39/1547.81 c 1548 70966 3074 1 459420.0000 456145.5045 0.72%
1547.17/1553.65 c 1554 71495 3099 1 459420.0000 456153.1756 0.72%
1552.14/1558.66 c 1559 72036 3120 1 459420.0000 456162.0673 0.71%
1557.42/1563.90 c 1564 72456 3134 1 459420.0000 456164.1317 0.71%
1563.09/1569.66 c 1570 72966 3138 1 459420.0000 456173.2270 0.71%
1568.28/1574.81 c 1575 73410 3142 1 459420.0000 456175.1984 0.71%
1573.46/1580.05 c 1580 73836 3160 1 459420.0000 456187.8137 0.71%
1578.54/1585.16 c 1585 74196 3170 1 459420.0000 456189.4139 0.71%
1583.71/1590.35 c 1590 74556 3204 1 459420.0000 456201.7411 0.71%
1588.99/1595.69 c 1596 75081 3223 1 459420.0000 456203.7096 0.71%
1594.06/1600.76 c 1601 75556 3232 1 459420.0000 456207.6087 0.70%
1599.54/1606.20 c 1606 76029 3259 1 459420.0000 456215.5661 0.70%
1604.63/1611.31 c 1611 76336 3268 1 459420.0000 456225.3400 0.70%
1610.60/1617.32 c 1617 76954 3288 1 459420.0000 456235.4127 0.70%
1616.18/1622.92 c 1623 77499 3315 1 459420.0000 456236.6206 0.70%
1621.85/1628.64 c 1629 77992 3332 1 459420.0000 456239.6621 0.70%
1627.63/1634.47 c 1634 78538 3366 1 459420.0000 456245.5683 0.70%
1632.60/1639.49 c 1639 78956 3384 1 459420.0000 456260.0558 0.69%
1637.68/1644.53 c 1645 79428 3388 1 459420.0000 456263.4343 0.69%
1643.17/1650.03 c 1650 79846 3397 1 459420.0000 456269.8354 0.69%
1648.25/1655.15 c 1655 80346 3391 1 459420.0000 456270.4399 0.69%
1653.62/1660.55 c 1661 80906 3415 1 459420.0000 456276.7010 0.69%
1659.29/1666.24 c 1666 81455 3434 1 459420.0000 456283.3025 0.69%
1664.97/1671.91 c 1672 82026 3443 1 459420.0000 456295.6486 0.68%
1670.05/1677.04 c 1677 82646 3453 1 459420.0000 456305.6037 0.68%
1675.73/1682.74 c 1683 83196 3461 1 459420.0000 456306.6193 0.68%
1681.21/1688.27 c 1688 83676 3471 1 459420.0000 456308.6740 0.68%
1686.28/1693.30 c 1693 84126 3489 1 459420.0000 456313.1582 0.68%
1691.46/1698.57 c 1699 84476 3495 1 459420.0000 456318.2923 0.68%
1696.74/1703.84 c 1704 85036 3517 1 459420.0000 456320.6756 0.68%
1702.03/1709.11 c 1709 85566 3525 1 459420.0000 456325.5631 0.68%
1707.79/1714.97 c 1715 86273 3548 1 459420.0000 456328.5398 0.68%
1712.97/1720.15 c 1720 86626 3563 1 459420.0000 456331.2981 0.68%
1718.15/1725.32 c 1725 86976 3573 1 459420.0000 456338.4117 0.68%
1723.12/1730.35 c 1730 87386 3589 1 459420.0000 456342.7144 0.67%
1728.51/1735.78 c 1736 87896 3603 1 459420.0000 456353.3272 0.67%
1734.08/1741.31 c 1741 88376 3625 1 459420.0000 456365.9712 0.67%
1739.16/1746.46 c 1746 88926 3633 1 459420.0000 456371.7087 0.67%
1744.23/1751.55 c 1752 89276 3637 1 459420.0000 456376.8168 0.67%
1749.62/1756.94 c 1757 89856 3645 1 459420.0000 456386.4753 0.66%
1755.29/1762.60 c 1763 90400 3653 1 459420.0000 456387.8879 0.66%
1760.77/1768.17 c 1768 90828 3641 1 459420.0000 456397.6873 0.66%
1765.95/1773.32 c 1773 91296 3657 1 459420.0000 456406.1246 0.66%
1771.62/1779.01 c 1779 91858 3659 1 459420.0000 456414.4139 0.66%
1777.19/1784.69 c 1785 92316 3663 1 459420.0000 456416.3416 0.66%
1782.59/1790.09 c 1790 92536 3659 1 459420.0000 456417.0916 0.66%
1787.86/1795.33 c 1795 92956 3667 1 459420.0000 456421.0818 0.66%
1793.23/1800.71 c 1801 93382 3671 1 459420.0000 456427.0128 0.66%
1798.62/1806.16 c 1806 93775 3674 1 459420.0000 456430.0078 0.66%
1803.60/1811.19 c 1811 94136 3689 1 459420.0000 456442.5385 0.65%
1808.77/1816.33 c 1816 94566 3719 1 459420.0000 456449.2135 0.65%
1814.05/1821.67 c 1822 95006 3701 1 459420.0000 456455.1247 0.65%
1819.43/1827.04 c 1827 95396 3695 1 459420.0000 456458.9096 0.65%
1825.20/1832.89 c 1833 95771 3716 1 459420.0000 456466.1024 0.65%
1830.58/1838.25 c 1838 96098 3721 1 459420.0000 456474.3400 0.65%
1835.85/1843.55 c 1844 96476 3725 1 459420.0000 456478.3187 0.64%
1840.93/1848.60 c 1849 96706 3731 1 459420.0000 456484.9754 0.64%
1846.61/1854.34 c 1854 97173 3754 1 459420.0000 456486.2822 0.64%
1851.79/1859.54 c 1860 97596 3771 1 459420.0000 456487.8524 0.64%
1856.86/1864.65 c 1865 97946 3789 1 459420.0000 456494.2181 0.64%
1862.24/1870.05 c 1870 98296 3837 1 459420.0000 456504.8722 0.64%
1867.82/1875.68 c 1876 98746 3859 1 459420.0000 456507.6889 0.64%
1873.30/1881.12 c 1881 99126 3875 1 459420.0000 456508.9604 0.64%
1878.77/1886.68 c 1887 99566 3875 1 459420.0000 456509.7403 0.64%
1884.65/1892.56 c 1893 99904 3855 1 459420.0000 456526.0665 0.63%
1890.02/1897.91 c 1898 100311 3846 1 459420.0000 456534.4435 0.63%
1895.40/1903.39 c 1903 100806 3859 1 459420.0000 456537.5520 0.63%
1900.68/1908.69 c 1909 101246 3893 1 459420.0000 456539.0514 0.63%
1906.26/1914.22 c 1914 101624 3881 1 459420.0000 456544.5167 0.63%
1911.53/1919.59 c 1920 102136 3894 1 459420.0000 456544.8787 0.63%
1917.41/1925.44 c 1925 102576 3911 1 459420.0000 456548.2995 0.63%
1922.59/1930.67 c 1931 102930 3927 1 459420.0000 456560.5921 0.63%
1928.67/1936.76 c 1937 103446 3941 1 459420.0000 456567.6182 0.62%
1933.84/1941.97 c 1942 103826 3951 1 459420.0000 456571.0011 0.62%
1938.92/1947.01 c 1947 104186 3971 1 459420.0000 456581.3687 0.62%
1944.40/1952.50 c 1952 104783 3980 1 459420.0000 456583.0228 0.62%
1949.37/1957.58 c 1958 105216 3989 1 459420.0000 456594.7238 0.62%
1954.55/1962.75 c 1963 105546 4001 1 459420.0000 456597.9322 0.62%
1959.54/1967.79 c 1968 106096 3999 1 459420.0000 456603.1945 0.62%
1965.32/1973.51 c 1974 106427 4020 1 459420.0000 456608.3182 0.62%
1970.90/1979.15 c 1979 106890 4043 1 459420.0000 456610.3533 0.62%
1976.08/1984.30 c 1984 107336 4035 1 459420.0000 456618.3140 0.61%
1981.56/1989.81 c 1990 107956 4043 1 459420.0000 456624.8887 0.61%
1986.84/1995.18 c 1995 108543 4056 1 459420.0000 456628.7441 0.61%
1992.02/2000.32 c 2000 108886 4069 1 459420.0000 456629.6018 0.61%
1997.00/2005.37 c 2005 109486 4073 1 459420.0000 456633.6953 0.61%
2002.48/2010.83 c 2011 110013 4092 1 459420.0000 456642.1028 0.61%
2007.86/2016.20 c 2016 110523 4110 1 459420.0000 456650.5299 0.61%
2013.24/2021.69 c 2022 111124 4133 1 459420.0000 456654.9537 0.61%
2018.52/2026.96 c 2027 111696 4145 1 459420.0000 456662.4779 0.60%
2023.90/2032.36 c 2032 112236 4151 1 459420.0000 456666.9160 0.60%
2029.19/2037.63 c 2038 112776 4161 1 459420.0000 456675.1212 0.60%
2034.57/2043.09 c 2043 113326 4173 1 459420.0000 456682.6985 0.60%
2040.35/2048.80 c 2049 113986 4185 1 459420.0000 456691.6493 0.60%
2046.12/2054.67 c 2055 114450 4203 1 459420.0000 456693.8096 0.60%
2051.20/2059.78 c 2060 114976 4213 1 459420.0000 456699.4461 0.60%
2056.39/2064.97 c 2065 115466 4237 1 459420.0000 456708.2781 0.59%
2061.77/2070.33 c 2070 115926 4245 1 459420.0000 456711.0812 0.59%
2067.65/2076.20 c 2076 116346 4269 1 459420.0000 456716.2330 0.59%
2073.03/2081.63 c 2082 116816 4289 1 459420.0000 456721.8133 0.59%
2078.61/2087.28 c 2087 117226 4307 1 459420.0000 456727.7074 0.59%
2084.09/2092.72 c 2093 117686 4321 1 459420.0000 456734.9440 0.59%
2089.57/2098.23 c 2098 118191 4358 1 459420.0000 456738.6116 0.59%
2094.65/2103.31 c 2103 118716 4359 1 459420.0000 456743.2094 0.59%
2100.34/2109.10 c 2109 119140 4387 1 459420.0000 456746.9131 0.59%
2106.30/2115.05 c 2115 119567 4468 1 459420.0000 456749.4953 0.58%
2111.77/2120.53 c 2121 120096 4511 1 459420.0000 456752.6561 0.58%
2116.85/2125.60 c 2126 120326 4518 1 459420.0000 456759.1161 0.58%
2122.13/2130.98 c 2131 120566 4486 1 459420.0000 456763.0411 0.58%
2127.32/2136.17 c 2136 120796 4486 1 459420.0000 456765.2216 0.58%
2132.80/2141.68 c 2142 121026 4496 1 459420.0000 456768.4006 0.58%
2137.88/2146.76 c 2147 121306 4502 1 459420.0000 456772.3033 0.58%
2143.46/2152.37 c 2152 121642 4522 1 459420.0000 456775.5826 0.58%
2149.04/2157.91 c 2158 121974 4524 1 459420.0000 456782.0306 0.58%
2154.41/2163.39 c 2163 122349 4547 1 459420.0000 456784.1301 0.58%
2159.59/2168.59 c 2169 122707 4537 1 459420.0000 456789.3717 0.58%
2164.78/2173.78 c 2174 122896 4562 1 459420.0000 456791.2871 0.58%
2169.96/2178.92 c 2179 123156 4582 1 459420.0000 456805.4233 0.57%
2175.84/2184.81 c 2185 123530 4612 1 459420.0000 456808.7274 0.57%
2180.83/2189.82 c 2190 123906 4608 1 459420.0000 456815.7957 0.57%
2186.30/2195.30 c 2195 124386 4604 1 459420.0000 456820.0273 0.57%
2191.39/2200.41 c 2200 124727 4629 1 459420.0000 456828.2232 0.57%
2196.47/2205.56 c 2206 125186 4636 1 459420.0000 456832.8149 0.57%
2201.75/2210.88 c 2211 125606 4646 1 459420.0000 456838.0388 0.57%
2207.53/2216.70 c 2217 126006 4666 1 459420.0000 456841.3732 0.56%
2212.61/2221.76 c 2222 126466 4694 1 459420.0000 456844.5263 0.56%
2218.29/2227.47 c 2227 126856 4694 1 459420.0000 456847.9843 0.56%
2223.77/2232.92 c 2233 127365 4717 1 459420.0000 456850.3125 0.56%
2229.26/2238.40 c 2238 127816 4732 1 459420.0000 456856.7991 0.56%
2234.53/2243.73 c 2244 128125 4761 1 459420.0000 456860.6208 0.56%
2240.12/2249.31 c 2249 128527 4799 1 459420.0000 456865.0672 0.56%
2245.09/2254.35 c 2254 128986 4798 1 459420.0000 456867.2428 0.56%
2250.18/2259.41 c 2259 129436 4796 1 459420.0000 456869.7413 0.56%
2255.34/2264.67 c 2265 129806 4790 1 459420.0000 456872.9212 0.56%
2260.51/2269.81 c 2270 130112 4768 1 459420.0000 456883.7946 0.56%
2265.59/2274.94 c 2275 130596 4796 1 459420.0000 456886.9378 0.55%
2269.08/2278.43 c * 2278 130836 4804 1 459419.0000 456888.4787 0.55%
2270.57/2279.96 c 2280 130947 4789 1 459419.0000 456888.9967 0.55%
2275.66/2285.07 c 2285 131156 4818 1 459419.0000 456892.8851 0.55%
2281.33/2290.74 c 2291 131466 4844 1 459419.0000 456897.2699 0.55%
2286.42/2295.89 c 2296 131926 4862 1 459419.0000 456901.2009 0.55%
2292.19/2301.63 c 2302 132416 4894 1 459419.0000 456908.1509 0.55%
2297.27/2306.78 c 2307 132696 4910 1 459419.0000 456915.4952 0.55%
2302.45/2311.93 c 2312 133006 4922 1 459419.0000 456921.0707 0.55%
2307.74/2317.28 c 2317 133374 4924 1 459419.0000 456921.9750 0.55%
2312.82/2322.36 c 2322 133736 4914 1 459419.0000 456924.8320 0.55%
2314.21/2323.79 c * 2324 133801 4917 1 459417.0000 456924.8320 0.55%
2318.70/2328.29 c 2328 134154 4890 1 459417.0000 456925.8287 0.55%
2323.89/2333.41 c 2333 134566 4938 1 459417.0000 456928.0257 0.54%
2329.66/2339.28 c 2339 135036 4978 1 459417.0000 456929.7577 0.54%
2335.55/2345.12 c 2345 135536 4986 1 459417.0000 456933.9372 0.54%
2340.62/2350.20 c 2350 135966 4996 1 459417.0000 456935.3580 0.54%
2345.61/2355.24 c 2355 136286 4996 1 459417.0000 456936.8121 0.54%
2351.19/2360.81 c 2361 136746 5012 1 459417.0000 456945.3780 0.54%
2356.27/2365.97 c 2366 137156 5022 1 459417.0000 456950.2161 0.54%
2361.95/2371.65 c 2372 137786 5028 1 459417.0000 456953.3117 0.54%
2367.74/2377.47 c 2377 138296 5056 1 459417.0000 456956.4544 0.54%
2373.22/2382.97 c 2383 138766 5062 1 459417.0000 456963.7519 0.54%
2378.20/2387.99 c 2388 139296 5070 1 459417.0000 456966.3613 0.54%
2383.28/2393.03 c 2393 139776 5074 1 459417.0000 456970.5129 0.54%
2388.77/2398.51 c 2399 140156 5100 1 459417.0000 456975.3003 0.53%
2394.35/2404.14 c 2404 140636 5097 1 459417.0000 456978.7204 0.53%
2399.82/2409.61 c 2410 141028 5099 1 459417.0000 456982.8199 0.53%
2405.41/2415.29 c 2415 141486 5095 1 459417.0000 456985.6199 0.53%
2410.88/2420.72 c 2421 141895 5108 1 459417.0000 456987.2822 0.53%
2416.37/2426.27 c 2426 142416 5121 1 459417.0000 456989.6616 0.53%
2421.45/2431.38 c 2431 142686 5135 1 459417.0000 456994.6513 0.53%
2426.93/2436.90 c 2437 143076 5141 1 459417.0000 456997.6872 0.53%
2432.51/2442.40 c 2442 143586 5151 1 459417.0000 457002.0679 0.53%
2437.70/2447.62 c 2448 144111 5156 1 459417.0000 457003.0008 0.53%
2442.98/2452.94 c 2453 144606 5153 1 459417.0000 457004.7916 0.53%
2448.16/2458.19 c 2458 145022 5165 1 459417.0000 457006.7880 0.53%
2453.64/2463.61 c 2464 145466 5165 1 459417.0000 457009.0319 0.53%
2459.42/2469.49 c 2469 145866 5175 1 459417.0000 457018.0407 0.52%
2464.90/2474.91 c 2475 146304 5177 1 459417.0000 457024.6493 0.52%
2470.38/2480.42 c 2480 146645 5184 1 459417.0000 457030.3816 0.52%
2475.37/2485.47 c 2485 147096 5193 1 459417.0000 457037.7491 0.52%
2480.95/2491.03 c 2491 147553 5202 1 459417.0000 457043.3401 0.52%
2486.32/2496.49 c 2496 148006 5211 1 459417.0000 457046.7626 0.52%
2492.10/2502.23 c 2502 148556 5221 1 459417.0000 457050.2854 0.52%
2497.28/2507.49 c 2507 149016 5233 1 459417.0000 457052.8962 0.52%
2502.27/2512.49 c 2512 149436 5241 1 459417.0000 457055.6866 0.52%
2507.86/2518.07 c 2518 149910 5253 1 459417.0000 457058.0958 0.52%
2513.13/2523.36 c 2523 150388 5259 1 459417.0000 457066.1532 0.51%
2518.51/2528.75 c 2529 150936 5263 1 459417.0000 457068.7107 0.51%
2524.19/2534.45 c 2534 151426 5269 1 459417.0000 457070.9266 0.51%
2529.38/2539.67 c 2540 151936 5273 1 459417.0000 457076.9397 0.51%
2534.96/2545.20 c 2545 152286 5277 1 459417.0000 457079.1736 0.51%
2540.05/2550.37 c 2550 152596 5285 1 459417.0000 457088.3255 0.51%
2545.43/2555.72 c 2556 153146 5299 1 459417.0000 457090.1714 0.51%
2551.30/2561.63 c 2562 153683 5306 1 459417.0000 457092.5663 0.51%
2556.29/2566.69 c 2567 154116 5313 1 459417.0000 457097.0060 0.51%
2561.67/2572.01 c 2572 154639 5324 1 459417.0000 457103.0477 0.51%
2566.96/2577.34 c 2577 155146 5319 1 459417.0000 457107.3106 0.51%
2572.83/2583.27 c 2583 155596 5331 1 459417.0000 457113.3965 0.50%
2578.41/2588.88 c 2589 156056 5339 1 459417.0000 457115.5720 0.50%
2583.49/2593.92 c 2594 156576 5347 1 459417.0000 457119.1637 0.50%
2588.77/2599.24 c 2599 157137 5358 1 459417.0000 457123.9416 0.50%
2594.36/2604.81 c 2605 157666 5363 1 459417.0000 457127.2954 0.50%
2600.03/2610.55 c 2611 158207 5378 1 459417.0000 457131.4944 0.50%
2605.22/2615.75 c 2616 158616 5393 1 459417.0000 457132.5283 0.50%
2610.20/2620.78 c 2621 159148 5391 1 459417.0000 457141.8809 0.50%
2615.59/2626.12 c 2626 159706 5393 1 459417.0000 457145.2314 0.50%
2620.96/2631.50 c 2632 160126 5411 1 459417.0000 457151.5830 0.50%
2626.24/2636.83 c 2637 160576 5407 1 459417.0000 457156.9552 0.49%
2631.42/2642.00 c 2642 161106 5395 1 459417.0000 457162.0316 0.49%
2637.01/2647.61 c 2648 161556 5403 1 459417.0000 457170.7587 0.49%
2642.79/2653.46 c 2653 162011 5418 1 459417.0000 457172.0954 0.49%
2648.56/2659.26 c 2659 162509 5434 1 459417.0000 457177.2913 0.49%
2654.04/2664.73 c 2665 162996 5445 1 459417.0000 457180.1678 0.49%
2659.23/2669.93 c 2670 163456 5451 1 459417.0000 457183.9231 0.49%
2664.61/2675.34 c 2675 163986 5463 1 459417.0000 457190.4396 0.49%
2669.90/2680.61 c 2681 164426 5469 1 459417.0000 457194.3139 0.49%
2675.87/2686.64 c 2687 164981 5490 1 459417.0000 457198.5709 0.49%
2681.15/2691.91 c 2692 165366 5511 1 459417.0000 457201.3401 0.48%
2686.43/2697.29 c 2697 165726 5511 1 459417.0000 457208.4344 0.48%
2692.23/2703.03 c 2703 166196 5517 1 459417.0000 457210.3785 0.48%
2697.40/2708.26 c 2708 166566 5536 1 459417.0000 457213.6538 0.48%
2702.88/2713.73 c 2714 166996 5542 1 459417.0000 457218.7945 0.48%
2707.97/2718.88 c 2719 167443 5549 1 459417.0000 457219.6741 0.48%
2713.75/2724.63 c 2725 167906 5548 1 459417.0000 457224.5679 0.48%
2719.13/2730.10 c 2730 168123 5561 1 459417.0000 457230.1707 0.48%
2724.90/2735.82 c 2736 168656 5570 1 459417.0000 457230.4754 0.48%
2730.29/2741.21 c 2741 169207 5573 1 459417.0000 457233.2992 0.48%
2735.57/2746.54 c 2747 169738 5578 1 459417.0000 457235.4682 0.48%
2741.15/2752.12 c 2752 170326 5578 1 459417.0000 457238.3049 0.48%
2746.83/2757.83 c 2758 170803 5573 1 459417.0000 457238.9936 0.48%
2752.32/2763.34 c 2763 171265 5579 1 459417.0000 457242.8398 0.48%
2757.50/2768.57 c 2769 171872 5580 1 459417.0000 457243.5899 0.48%
2763.18/2774.24 c 2774 172246 5586 1 459417.0000 457244.1982 0.48%
2768.96/2780.00 c 2780 172749 5597 1 459417.0000 457247.2010 0.47%
2774.05/2785.15 c 2785 173106 5602 1 459417.0000 457252.1493 0.47%
2779.22/2790.32 c 2790 173646 5608 1 459417.0000 457253.7647 0.47%
2784.30/2795.44 c 2795 174146 5622 1 459417.0000 457254.5520 0.47%
2790.09/2801.24 c 2801 174652 5636 1 459417.0000 457258.7204 0.47%
2795.57/2806.78 c 2807 175108 5650 1 459417.0000 457260.4209 0.47%
2800.65/2811.82 c 2812 175546 5672 1 459417.0000 457261.3904 0.47%
2806.03/2817.29 c 2817 176056 5680 1 459417.0000 457263.8070 0.47%
2811.61/2822.81 c 2823 176607 5693 1 459417.0000 457265.0233 0.47%
2816.59/2827.88 c 2828 177106 5702 1 459417.0000 457265.9705 0.47%
2822.07/2833.37 c 2833 177662 5712 1 459417.0000 457266.8527 0.47%
2827.46/2838.75 c 2839 178176 5720 1 459417.0000 457268.5232 0.47%
2833.14/2844.42 c 2844 178636 5734 1 459417.0000 457270.1392 0.47%
2838.52/2849.82 c 2850 179138 5738 1 459417.0000 457272.1521 0.47%
2843.81/2855.10 c 2855 179486 5768 1 459417.0000 457277.7213 0.47%
2849.09/2860.48 c 2860 179976 5784 1 459417.0000 457281.8413 0.47%
2854.47/2865.84 c 2866 180486 5808 1 459417.0000 457283.8226 0.47%
2859.76/2871.16 c 2871 180946 5816 1 459417.0000 457286.8051 0.47%
2865.64/2877.02 c 2877 181501 5837 1 459417.0000 457289.1764 0.47%
2871.51/2882.90 c 2883 182021 5845 1 459417.0000 457293.2729 0.46%
2877.09/2888.56 c 2889 182606 5868 1 459417.0000 457295.5002 0.46%
2882.48/2893.90 c 2894 183125 5869 1 459417.0000 457297.3555 0.46%
2888.15/2899.63 c 2900 183716 5872 1 459417.0000 457300.3595 0.46%
2893.44/2904.96 c 2905 184226 5880 1 459417.0000 457302.2186 0.46%
2898.82/2910.32 c 2910 184769 5885 1 459417.0000 457304.2341 0.46%
2903.90/2915.42 c 2915 185366 5892 1 459417.0000 457306.3272 0.46%
2909.28/2920.87 c 2921 185896 5892 1 459417.0000 457308.3437 0.46%
2914.47/2926.04 c 2926 186436 5896 1 459417.0000 457309.5283 0.46%
2919.75/2931.32 c 2931 186925 5899 1 459417.0000 457313.3840 0.46%
2925.63/2937.21 c 2937 187452 5908 1 459417.0000 457315.9418 0.46%
2931.31/2942.95 c 2943 187906 5929 1 459417.0000 457318.5280 0.46%
2936.59/2948.22 c 2948 188376 5945 1 459417.0000 457319.8380 0.46%
2941.87/2953.50 c 2954 188826 5951 1 459417.0000 457324.6653 0.46%
2946.96/2958.68 c 2959 189346 5965 1 459417.0000 457327.6826 0.46%
2952.63/2964.30 c 2964 189862 5969 1 459417.0000 457330.2220 0.46%
2957.82/2969.50 c 2970 190356 5979 1 459417.0000 457332.1027 0.46%
2962.80/2974.54 c 2975 190735 5996 1 459417.0000 457334.5924 0.46%
2968.08/2979.89 c 2980 191336 6003 1 459417.0000 457338.2828 0.45%
2973.76/2985.54 c 2986 191725 6034 1 459417.0000 457338.8686 0.45%
2979.34/2991.13 c 2991 192136 6061 1 459417.0000 457339.3411 0.45%
2985.42/2997.23 c 2997 192851 6067 1 459417.0000 457342.6729 0.45%
2990.50/3002.33 c 3002 193286 6092 1 459417.0000 457344.3246 0.45%
2995.69/3007.57 c 3008 193706 6136 1 459417.0000 457347.3561 0.45%
3001.18/3013.09 c 3013 194471 6140 1 459417.0000 457349.0893 0.45%
3006.35/3018.21 c 3018 195096 6155 1 459417.0000 457353.3639 0.45%
3011.43/3023.39 c 3023 195586 6163 1 459417.0000 457357.4890 0.45%
3016.51/3028.43 c 3028 196146 6175 1 459417.0000 457358.9620 0.45%
3022.29/3034.20 c 3034 196739 6188 1 459417.0000 457362.4983 0.45%
3027.57/3039.52 c 3040 197256 6195 1 459417.0000 457365.7905 0.45%
3032.66/3044.65 c 3045 197716 6211 1 459417.0000 457367.6872 0.45%
3037.94/3049.95 c 3050 198216 6227 1 459417.0000 457370.7193 0.45%
3043.42/3055.40 c 3055 198746 6231 1 459417.0000 457376.4193 0.45%
3048.60/3060.69 c 3061 199216 6245 1 459417.0000 457379.7841 0.45%
3054.18/3066.21 c 3066 199496 6315 1 459417.0000 457380.1722 0.45%
3059.37/3071.42 c 3071 200036 6347 1 459417.0000 457381.4768 0.45%
3064.86/3076.92 c 3077 200636 6359 1 459417.0000 457383.2865 0.44%
3070.14/3082.27 c 3082 201116 6391 1 459417.0000 457385.8159 0.44%
3075.22/3087.39 c 3087 201505 6414 1 459417.0000 457386.2681 0.44%
3080.40/3092.57 c 3093 202026 6435 1 459417.0000 457387.8385 0.44%
3085.78/3097.93 c 3098 202566 6443 1 459417.0000 457389.5122 0.44%
3091.07/3103.27 c 3103 202976 6447 1 459417.0000 457392.1973 0.44%
3096.55/3108.78 c 3109 203456 6489 1 459417.0000 457393.4454 0.44%
3102.53/3114.76 c 3115 203896 6521 1 459417.0000 457395.7804 0.44%
3107.93/3120.12 c 3120 204326 6533 1 459417.0000 457398.5291 0.44%
3112.91/3125.16 c 3125 204766 6536 1 459417.0000 457400.3485 0.44%
3118.80/3131.04 c 3131 205228 6554 1 459417.0000 457401.3485 0.44%
3123.97/3136.20 c 3136 205636 6572 1 459417.0000 457401.9572 0.44%
3129.45/3141.70 c 3142 205952 6592 1 459417.0000 457403.0746 0.44%
3135.33/3147.64 c 3148 206574 6596 1 459417.0000 457403.7544 0.44%
3140.82/3153.11 c 3153 207162 6602 1 459417.0000 457405.6621 0.44%
3146.00/3158.33 c 3158 207546 6602 1 459417.0000 457407.8502 0.44%
3151.09/3163.46 c 3163 207973 6625 1 459417.0000 457409.1821 0.44%
3156.58/3168.90 c 3169 208426 6642 1 459417.0000 457409.3215 0.44%
3162.55/3174.97 c 3175 208996 6674 1 459417.0000 457410.2699 0.44%
3167.74/3180.12 c 3180 209454 6708 1 459417.0000 457410.2955 0.44%
3173.32/3185.71 c 3186 209961 6773 1 459417.0000 457410.3215 0.44%
3178.31/3190.73 c 3191 210267 6825 1 459417.0000 457410.3354 0.44%
3183.99/3196.45 c 3196 210791 6863 1 459417.0000 457410.3417 0.44%
3189.77/3202.28 c 3202 211398 6890 1 459417.0000 457411.2682 0.44%
3195.75/3208.28 c 3208 211908 6906 1 459417.0000 457411.2899 0.44%
3201.54/3214.00 c 3214 212414 6956 1 459417.0000 457411.3118 0.44%
3206.62/3219.11 c 3219 212817 7001 1 459417.0000 457411.3265 0.44%
3212.20/3224.71 c 3225 213176 7034 1 459417.0000 457411.3356 0.44%
3217.59/3230.12 c 3230 213539 7055 1 459417.0000 457411.3465 0.44%
3222.58/3235.12 c 3235 214126 7080 1 459417.0000 457412.0316 0.44%
3227.95/3240.57 c 3241 214726 7074 1 459417.0000 457412.3508 0.44%
3233.74/3246.30 c 3246 215206 7094 1 459417.0000 457413.0518 0.44%
3239.71/3252.31 c 3252 215828 7100 1 459417.0000 457414.2771 0.44%
3245.00/3257.67 c 3258 216446 7110 1 459417.0000 457416.8088 0.44%
3250.09/3262.70 c 3263 216997 7117 1 459417.0000 457417.0100 0.44%
3255.37/3268.02 c 3268 217396 7127 1 459417.0000 457421.1156 0.44%
3261.35/3274.03 c 3274 217714 7135 1 459417.0000 457423.1536 0.44%
3266.73/3279.48 c 3279 218156 7131 1 459417.0000 457423.6011 0.44%
3271.91/3284.65 c 3285 218546 7141 1 459417.0000 457425.7105 0.44%
3277.40/3290.16 c 3290 219026 7139 1 459417.0000 457427.6393 0.43%
3282.68/3295.47 c 3295 219306 7124 1 459417.0000 457431.2735 0.43%
3288.06/3300.89 c 3301 219822 7131 1 459417.0000 457432.5217 0.43%
3293.44/3306.28 c 3306 220316 7137 1 459417.0000 457433.7814 0.43%
3298.82/3311.66 c 3312 220666 7148 1 459417.0000 457435.8919 0.43%
3304.01/3316.89 c 3317 221036 7152 1 459417.0000 457439.1983 0.43%
3309.09/3321.92 c 3322 221356 7168 1 459417.0000 457440.9565 0.43%
3314.97/3327.84 c 3328 221756 7177 1 459417.0000 457444.4374 0.43%
3319.96/3332.86 c 3333 222126 7191 1 459417.0000 457448.0542 0.43%
3325.55/3338.46 c 3338 222565 7200 1 459417.0000 457450.0654 0.43%
3330.73/3343.61 c 3344 222996 7209 1 459417.0000 457451.7109 0.43%
3335.81/3348.73 c 3349 223386 7201 1 459417.0000 457452.7112 0.43%
3341.29/3354.28 c 3354 223784 7209 1 459417.0000 457454.9414 0.43%
3346.58/3359.53 c 3360 224256 7211 1 459417.0000 457456.4544 0.43%
3351.57/3364.59 c 3365 224566 7245 1 459417.0000 457458.6940 0.43%
3356.65/3369.68 c 3370 224966 7241 1 459417.0000 457459.5362 0.43%
3362.04/3375.03 c 3375 225366 7241 1 459417.0000 457460.5022 0.43%
3367.02/3380.10 c 3380 225651 7254 1 459417.0000 457462.6453 0.43%
3372.50/3385.50 c 3386 226086 7279 1 459417.0000 457465.9135 0.43%
3377.58/3390.69 c 3391 226606 7291 1 459417.0000 457467.2518 0.43%
3383.37/3396.47 c 3396 227115 7314 1 459417.0000 457468.0964 0.43%
3389.35/3402.41 c 3402 227564 7345 1 459417.0000 457468.8459 0.43%
3394.53/3407.62 c 3408 227996 7330 1 459417.0000 457471.8819 0.43%
3399.62/3412.75 c 3413 228546 7339 1 459417.0000 457474.3935 0.42%
3404.70/3417.87 c 3418 228886 7343 1 459417.0000 457478.8207 0.42%
3409.99/3423.18 c 3423 229266 7359 1 459417.0000 457482.1871 0.42%
3415.67/3428.81 c 3429 229906 7355 1 459417.0000 457483.8087 0.42%
3420.75/3433.99 c 3434 230456 7361 1 459417.0000 457485.2880 0.42%
3426.04/3439.23 c 3439 231016 7341 1 459417.0000 457488.1703 0.42%
3431.32/3444.56 c 3445 231593 7350 1 459417.0000 457490.2032 0.42%
3436.81/3450.10 c 3450 232206 7359 1 459417.0000 457493.3075 0.42%
3442.29/3455.52 c 3456 232846 7369 1 459417.0000 457497.6249 0.42%
3447.97/3461.21 c 3461 233474 7375 1 459417.0000 457499.5611 0.42%
3452.95/3466.25 c 3466 233976 7375 1 459417.0000 457501.8765 0.42%
3458.04/3471.37 c 3471 234526 7383 1 459417.0000 457505.0912 0.42%
3463.52/3476.88 c 3477 235146 7390 1 459417.0000 457507.6895 0.42%
3469.50/3482.89 c 3483 235849 7395 1 459417.0000 457508.6382 0.42%
3474.58/3487.96 c 3488 236396 7408 1 459417.0000 457509.6535 0.42%
3480.37/3493.73 c 3494 237036 7426 1 459417.0000 457512.2687 0.42%
3486.05/3499.42 c 3499 237546 7446 1 459417.0000 457520.3760 0.41%
3491.53/3504.95 c 3505 238056 7460 1 459417.0000 457524.0990 0.41%
3496.62/3510.06 c 3510 238606 7488 1 459417.0000 457526.9737 0.41%
3501.61/3515.07 c 3515 238937 7509 1 459417.0000 457528.2145 0.41%
3506.79/3520.21 c 3520 239436 7516 1 459417.0000 457529.6550 0.41%
3511.87/3525.34 c 3525 239876 7536 1 459417.0000 457531.3905 0.41%
3516.95/3530.41 c 3530 240276 7542 1 459417.0000 457533.7927 0.41%
3522.14/3535.65 c 3536 240806 7550 1 459417.0000 457535.7704 0.41%
3527.23/3540.78 c 3541 241346 7560 1 459417.0000 457537.4536 0.41%
3532.91/3546.43 c 3546 241886 7568 1 459417.0000 457540.8987 0.41%
3538.49/3552.06 c 3552 242366 7562 1 459417.0000 457542.5592 0.41%
3544.07/3557.69 c 3558 242646 7560 1 459417.0000 457545.9907 0.41%
3549.35/3562.91 c 3563 242986 7550 1 459417.0000 457551.8115 0.41%
3554.35/3567.99 c 3568 243226 7550 1 459417.0000 457553.3250 0.41%
3559.63/3573.27 c 3573 243686 7550 1 459417.0000 457553.5922 0.41%
3565.51/3579.14 c 3579 244100 7572 1 459417.0000 457558.1622 0.41%
3570.59/3584.29 c 3584 244626 7576 1 459417.0000 457560.2543 0.41%
3576.07/3589.75 c 3590 245146 7582 1 459417.0000 457561.2659 0.41%
3581.16/3594.86 c 3595 245566 7600 1 459417.0000 457563.6456 0.41%
3586.35/3600.00 c 3600 246086 7604 0 459417.0000 457565.1104 0.40%
3586.45/3600.17 c SCIP Status : c solving was interrupted [hard time limit reached]
3586.45/3600.17 c Total Time : 3600.17
3586.45/3600.17 c solving : 3600.17
3586.45/3600.17 c presolving : 155.48 (included in solving)
3586.45/3600.17 c B&B Tree :
3586.45/3600.17 c nodes (total) : 1
3586.45/3600.17 c Solution :
3586.45/3600.17 c Solutions found : 28
3586.45/3600.17 c Primal Bound : +4.59417000000000e+05
3586.45/3600.17 c Dual Bound : +4.57565110353217e+05
3586.45/3600.17 c Gap : 0.40473 %
3586.45/3600.17 c * Warning: final gap: 4.04727e-03 is greater than SCIPepsilon: 1.00000e-09
3586.54/3600.20 o 459417
3586.54/3600.20 s SATISFIABLE
3586.54/3600.20 v x2670 -x2669 -x2668 -x2667 x2666 -x2665 -x2664 -x2663 x2662 -x2661 -x2660 -x2659 x2658 -x2657 -x2656 -x2655 x2654 -x2653 -x2652
3586.54/3600.20 v -x2651 -x2650 x2649 -x2648 -x2647 -x2646 -x2645 x2644 -x2643 x2642 -x2641 -x2640 -x2639 x2638 -x2637 -x2636 -x2635 x2634 -x2633
3586.54/3600.20 v -x2632 -x2631 -x2630 -x2629 -x2628 x2627 x2626 -x2625 -x2624 -x2623 x2622 -x2621 -x2620 -x2619 x2618 -x2617 -x2616 -x2615
3586.54/3600.20 v x2614 -x2613 -x2612 -x2611 x2610 -x2609 -x2608 -x2607 x2606 -x2605 -x2604 -x2603 x2602 -x2601 -x2600 -x2599 x2598 -x2597 -x2596
3586.54/3600.20 v -x2595 x2594 -x2593 -x2592 -x2591 x2590 -x2589 -x2588 -x2587 x2586 -x2585 -x2584 -x2583 x2582 -x2581 -x2580 -x2579 x2578
3586.54/3600.20 v -x2577 -x2576 -x2575 -x2574 x2573 -x2572 -x2571 -x2570 -x2569 x2568 -x2567 x2566 -x2565 -x2564 -x2563 x2562 -x2561 -x2560 -x2559
3586.54/3600.20 v x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 x2551 x2550 -x2549 -x2548 -x2547 x2546 -x2545 -x2544 -x2543 x2542 -x2541
3586.54/3600.20 v -x2540 -x2539 x2538 -x2537 -x2536 -x2535 x2534 -x2533 -x2532 -x2531 x2530 -x2529 -x2528 -x2527 x2526 -x2525 -x2524 -x2523 x2522
3586.54/3600.20 v -x2521 -x2520 -x2519 x2518 -x2517 -x2516 -x2515 x2514 -x2513 -x2512 -x2511 -x2510 x2509 -x2508 -x2507 -x2506 -x2505 x2504
3586.54/3600.20 v -x2503 x2502 -x2501 -x2500 -x2499 x2498 -x2497 -x2496 -x2495 x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 x2487 x2486 -x2485
3586.54/3600.20 v -x2484 -x2483 x2482 -x2481 -x2480 -x2479 x2478 -x2477 -x2476 -x2475 x2474 -x2473 -x2472 -x2471 x2470 -x2469 -x2468 -x2467
3586.54/3600.20 v x2466 -x2465 -x2464 -x2463 x2462 -x2461 -x2460 -x2459 x2458 -x2457 -x2456 -x2455 x2454 -x2453 -x2452 -x2451 x2450 -x2449 -x2448
3586.54/3600.20 v -x2447 -x2446 x2445 -x2444 -x2443 -x2442 -x2441 x2440 -x2439 x2438 -x2437 -x2436 -x2435 x2434 -x2433 -x2432 -x2431 x2430 -x2429
3586.54/3600.20 v -x2428 -x2427 -x2426 -x2425 -x2424 x2423 x2422 -x2421 -x2420 -x2419 x2418 -x2417 -x2416 -x2415 x2414 -x2413 -x2412 -x2411
3586.54/3600.20 v x2410 -x2409 -x2408 -x2407 x2406 -x2405 -x2404 -x2403 x2402 -x2401 -x2400 -x2399 x2398 -x2397 -x2396 -x2395 x2394 -x2393 -x2392
3586.54/3600.20 v -x2391 x2390 -x2389 -x2388 -x2387 -x2386 x2385 -x2384 -x2383 -x2382 -x2381 x2380 -x2379 x2378 -x2377 -x2376 -x2375 x2374
3586.54/3600.20 v -x2373 -x2372 -x2371 x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 x2363 x2362 -x2361 -x2360 -x2359 x2358 -x2357 -x2356 -x2355
3586.54/3600.20 v x2354 -x2353 -x2352 -x2351 x2350 -x2349 -x2348 -x2347 x2346 -x2345 -x2344 -x2343 x2342 -x2341 -x2340 -x2339 x2338 -x2337
3586.54/3600.20 v -x2336 -x2335 x2334 -x2333 -x2332 -x2331 x2330 -x2329 -x2328 -x2327 -x2326 x2325 -x2324 -x2323 -x2322 -x2321 x2320 -x2319 x2318
3586.54/3600.20 v -x2317 -x2316 -x2315 x2314 -x2313 -x2312 -x2311 x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 x2303 x2302 -x2301 -x2300
3586.54/3600.20 v -x2299 -x2298 x2297 x2296 -x2295 x2294 -x2293 x2292 -x2291 -x2290 -x2289 -x2288 -x2287 x2286 -x2285 x2284 -x2283 -x2282 -x2281
3586.54/3600.20 v x2280 -x2279 -x2278 -x2277 x2276 -x2275 x2274 -x2273 -x2272 x2271 x2270 -x2269 -x2268 -x2267 x2266 -x2265 x2264 -x2263 x2262
3586.54/3600.20 v -x2261 -x2260 -x2259 -x2258 -x2257 x2256 -x2255 x2254 -x2253 -x2252 -x2251 x2250 -x2249 x2248 -x2247 -x2246 -x2245 -x2244
3586.54/3600.20 v x2243 x2242 -x2241 -x2240 -x2239 x2238 -x2237 -x2236 -x2235 x2234 -x2233 -x2232 -x2231 -x2230 x2229 x2228 -x2227 -x2226 -x2225
3586.54/3600.20 v x2224 -x2223 -x2222 -x2221 -x2220 x2219 -x2218 -x2217 x2216 -x2215 -x2214 x2213 -x2212 x2211 -x2210 -x2209 x2208 -x2207 -x2206
3586.54/3600.20 v -x2205 -x2204 -x2203 x2202 -x2201 -x2200 -x2199 x2198 -x2197 x2196 -x2195 -x2194 -x2193 x2192 -x2191 -x2190 x2189 x2188
3586.54/3600.20 v -x2187 -x2186 x2185 x2184 -x2183 -x2182 -x2181 x2180 -x2179 -x2178 -x2177 -x2176 x2175 x2174 -x2173 x2172 -x2171 -x2170 -x2169
3586.54/3600.20 v -x2168 -x2167 x2166 -x2165 x2164 -x2163 -x2162 -x2161 -x2160 -x2159 x2158 -x2157 -x2156 -x2155 x2154 -x2153 -x2152 -x2151 -x2150
3586.54/3600.20 v x2149 -x2148 x2147 -x2146 -x2145 -x2144 -x2143 -x2142 x2141 -x2140 x2139 -x2138 -x2137 -x2136 x2135 x2134 -x2133 x2132
3586.54/3600.20 v -x2131 -x2130 x2129 -x2128 -x2127 x2126 -x2125 -x2124 -x2123 x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 x2115 -x2114 x2113
3586.54/3600.20 v x2112 -x2111 x2110 -x2109 x2108 -x2107 -x2106 -x2105 x2104 -x2103 -x2102 -x2101 -x2100 x2099 x2098 -x2097 x2096 -x2095 x2094
3586.54/3600.20 v -x2093 x2092 -x2091 x2090 -x2089 -x2088 -x2087 x2086 -x2085 -x2084 -x2083 x2082 -x2081 -x2080 -x2079 x2078 -x2077 -x2076 -x2075
3586.54/3600.20 v -x2074 x2073 -x2072 -x2071 x2070 -x2069 -x2068 -x2067 x2066 -x2065 -x2064 -x2063 x2062 -x2061 -x2060 -x2059 x2058 -x2057
3586.54/3600.20 v -x2056 -x2055 x2054 -x2053 x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 x2045 x2044 -x2043 -x2042 -x2041 x2040 -x2039 x2038
3586.54/3600.20 v -x2037 x2036 -x2035 x2034 -x2033 -x2032 -x2031 x2030 -x2029 -x2028 -x2027 x2026 -x2025 -x2024 -x2023 x2022 -x2021 -x2020
3586.54/3600.20 v -x2019 -x2018 x2017 -x2016 -x2015 -x2014 -x2013 x2012 -x2011 x2010 -x2009 -x2008 -x2007 x2006 -x2005 -x2004 -x2003 -x2002 -x2001
3586.54/3600.20 v -x2000 x1999 x1998 -x1997 -x1996 -x1995 x1994 -x1993 -x1992 -x1991 x1990 -x1989 x1988 -x1987 x1986 -x1985 -x1984 -x1983 x1982
3586.54/3600.20 v -x1981 -x1980 -x1979 x1978 -x1977 -x1976 -x1975 x1974 -x1973 -x1972 -x1971 x1970 -x1969 -x1968 -x1967 -x1966 x1965 -x1964
3586.54/3600.20 v -x1963 x1962 -x1961 -x1960 -x1959 -x1958 -x1957 x1956 -x1955 x1954 -x1953 -x1952 -x1951 x1950 -x1949 -x1948 -x1947 x1946 -x1945
3586.54/3600.20 v -x1944 -x1943 x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 x1935 x1934 -x1933 -x1932 -x1931 x1930 -x1929 x1928 -x1927
3586.54/3600.20 v x1926 -x1925 -x1924 -x1923 x1922 -x1921 -x1920 -x1919 x1918 -x1917 -x1916 -x1915 x1914 -x1913 -x1912 -x1911 x1910 -x1909 -x1908
3586.54/3600.20 v -x1907 x1906 -x1905 -x1904 -x1903 x1902 -x1901 -x1900 -x1899 x1898 -x1897 -x1896 -x1895 x1894 -x1893 -x1892 -x1891 -x1890
3586.54/3600.20 v -x1889 -x1888 x1887 x1886 -x1885 -x1884 -x1883 -x1882 x1881 -x1880 -x1879 x1878 -x1877 -x1876 -x1875 -x1874 -x1873 x1872 -x1871
3586.54/3600.20 v x1870 -x1869 -x1868 -x1867 -x1866 x1865 -x1864 -x1863 -x1862 -x1861 -x1860 x1859 x1858 -x1857 x1856 -x1855 x1854 -x1853 x1852
3586.54/3600.20 v -x1851 x1850 -x1849 x1848 -x1847 x1846 -x1845 x1844 -x1843 x1842 -x1841 x1840 -x1839 x1838 -x1837 x1836 -x1835 x1834 -x1833
3586.54/3600.20 v x1832 -x1831 x1830 -x1829 -x1828 -x1827 -x1826 x1825 -x1824 -x1823 x1822 -x1821 x1820 -x1819 x1818 -x1817 -x1816 x1815 -x1814
3586.54/3600.20 v -x1813 -x1812 x1811 -x1810 x1809 -x1808 x1807 -x1806 -x1805 -x1804 -x1803 -x1802 x1801 -x1800 x1799 -x1798 -x1797 -x1796
3586.54/3600.20 v x1795 x1794 -x1793 x1792 -x1791 x1790 -x1789 x1788 -x1787 -x1786 x1785 x1784 -x1783 -x1782 -x1781 x1780 -x1779 x1778 -x1777
3586.54/3600.20 v x1776 -x1775 -x1774 x1773 x1772 -x1771 x1770 -x1769 -x1768 -x1767 -x1766 x1765 -x1764 x1763 -x1762 -x1761 x1760 -x1759 -x1758
3586.54/3600.20 v -x1757 -x1756 -x1755 -x1754 x1753 x1752 -x1751 -x1750 -x1749 -x1748 x1747 -x1746 -x1745 x1744 -x1743 -x1742 -x1741 -x1740 -x1739
3586.54/3600.20 v -x1738 x1737 x1736 -x1735 -x1734 -x1733 -x1732 x1731 -x1730 -x1729 x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 x1721
3586.54/3600.20 v -x1720 -x1719 x1718 -x1717 -x1716 -x1715 -x1714 x1713 -x1712 -x1711 x1710 -x1709 -x1708 -x1707 -x1706 x1705 -x1704 -x1703 -x1702
3586.54/3600.20 v x1701 -x1700 x1699 -x1698 x1697 -x1696 x1695 -x1694 x1693 x1692 -x1691 x1690 -x1689 -x1688 x1687 x1686 -x1685 x1684 -x1683
3586.54/3600.20 v x1682 -x1681 x1680 -x1679 -x1678 x1677 x1676 -x1675 x1674 -x1673 x1672 -x1671 x1670 -x1669 -x1668 x1667 x1666 -x1665 -x1664
3586.54/3600.20 v x1663 x1662 -x1661 x1660 -x1659 -x1658 x1657 -x1656 x1655 x1654 -x1653 -x1652 -x1651 x1650 -x1649 -x1648 x1647 -x1646 -x1645
3586.54/3600.20 v -x1644 -x1643 -x1642 x1641 x1640 -x1639 -x1638 -x1637 x1636 -x1635 -x1634 -x1633 -x1632 -x1631 x1630 -x1629 -x1628 x1627 -x1626
3586.54/3600.20 v -x1625 -x1624 -x1623 -x1622 x1621 x1620 -x1619 -x1618 -x1617 x1616 -x1615 -x1614 -x1613 -x1612 -x1611 x1610 -x1609 -x1608
3586.54/3600.20 v x1607 -x1606 -x1605 x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 x1597 -x1596 -x1595 x1594 -x1593 -x1592 x1591 -x1590 -x1589
3586.54/3600.20 v x1588 -x1587 -x1586 -x1585 x1584 -x1583 -x1582 -x1581 -x1580 x1579 -x1578 -x1577 -x1576 -x1575 x1574 -x1573 -x1572 -x1571
3586.54/3600.20 v -x1570 x1569 -x1568 x1567 -x1566 -x1565 -x1564 -x1563 x1562 -x1561 x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 x1553 x1552
3586.54/3600.20 v -x1551 -x1550 -x1549 x1548 -x1547 -x1546 -x1545 x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 x1537 -x1536 x1535 -x1534
3586.54/3600.20 v -x1533 -x1532 -x1531 x1530 -x1529 x1528 -x1527 -x1526 -x1525 x1524 -x1523 -x1522 -x1521 x1520 -x1519 -x1518 -x1517 x1516 -x1515
3586.54/3600.20 v -x1514 -x1513 x1512 -x1511 -x1510 -x1509 x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 x1501 x1500 -x1499 -x1498 -x1497
3586.54/3600.20 v x1496 -x1495 -x1494 -x1493 -x1492 -x1491 x1490 -x1489 x1488 -x1487 -x1486 -x1485 x1484 -x1483 -x1482 -x1481 x1480 -x1479 -x1478
3586.54/3600.20 v -x1477 x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 x1469 x1468 -x1467 -x1466 -x1465 x1464 -x1463 -x1462 -x1461 x1460
3586.54/3600.20 v -x1459 -x1458 x1457 -x1456 -x1455 x1454 -x1453 -x1452 -x1451 x1450 -x1449 -x1448 -x1447 x1446 -x1445 -x1444 -x1443 -x1442 -x1441
3586.54/3600.20 v x1440 -x1439 -x1438 -x1437 -x1436 x1435 -x1434 x1433 -x1432 -x1431 -x1430 -x1429 x1428 -x1427 -x1426 -x1425 -x1424 x1423
3586.54/3600.20 v -x1422 x1421 -x1420 -x1419 x1418 -x1417 -x1416 -x1415 -x1414 x1413 -x1412 x1411 -x1410 x1409 -x1408 x1407 x1406 -x1405 x1404
3586.54/3600.20 v -x1403 -x1402 x1401 x1400 -x1399 -x1398 x1397 x1396 -x1395 -x1394 x1393 -x1392 x1391 -x1390 x1389 x1388 -x1387 x1386 -x1385 -x1384
3586.54/3600.20 v x1383 x1382 -x1381 -x1380 x1379 x1378 -x1377 -x1376 x1375 -x1374 -x1373 x1372 -x1371 -x1370 -x1369 -x1368 x1367 -x1366
3586.54/3600.20 v x1365 -x1364 x1363 -x1362 x1361 -x1360 x1359 x1358 -x1357 x1356 -x1355 x1354 -x1353 x1352 -x1351 -x1350 x1349 x1348 -x1347 x1346
3586.54/3600.20 v -x1345 x1344 -x1343 x1342 -x1341 x1340 -x1339 x1338 -x1337 x1336 -x1335 x1334 -x1333 x1332 -x1331 -x1330 -x1329 x1328 -x1327
3586.54/3600.20 v -x1326 x1325 -x1324 -x1323 -x1322 -x1321 -x1320 x1319 -x1318 -x1317 x1316 -x1315 -x1314 x1313 -x1312 -x1311 -x1310 -x1309
3586.54/3600.20 v -x1308 x1307 -x1306 -x1305 x1304 -x1303 x1302 -x1301 -x1300 x1299 -x1298 x1297 -x1296 x1295 -x1294 x1293 x1292 -x1291 x1290
3586.54/3600.20 v -x1289 x1288 -x1287 x1286 -x1285 -x1284 x1283 x1282 -x1281 -x1280 x1279 -x1278 x1277 x1276 -x1275 -x1274 x1273 x1272 -x1271 -x1270
3586.54/3600.20 v x1269 -x1268 -x1267 -x1266 x1265 -x1264 x1263 -x1262 -x1261 -x1260 -x1259 x1258 -x1257 -x1256 -x1255 -x1254 x1253 -x1252
3586.54/3600.20 v x1251 -x1250 -x1249 x1248 -x1247 -x1246 -x1245 x1244 -x1243 -x1242 -x1241 -x1240 -x1239 x1238 -x1237 -x1236 -x1235 -x1234 x1233
3586.54/3600.20 v -x1232 x1231 -x1230 -x1229 x1228 -x1227 -x1226 -x1225 x1224 -x1223 -x1222 -x1221 x1220 -x1219 -x1218 -x1217 x1216 -x1215
3586.54/3600.20 v -x1214 -x1213 -x1212 x1211 -x1210 -x1209 -x1208 -x1207 x1206 -x1205 -x1204 -x1203 -x1202 x1201 -x1200 x1199 -x1198 x1197 -x1196
3586.54/3600.20 v x1195 -x1194 -x1193 x1192 -x1191 -x1190 x1189 -x1188 -x1187 -x1186 -x1185 -x1184 x1183 -x1182 -x1181 x1180 -x1179 -x1178
3586.54/3600.20 v x1177 -x1176 -x1175 -x1174 -x1173 -x1172 x1171 -x1170 -x1169 x1168 -x1167 -x1166 x1165 -x1164 -x1163 x1162 -x1161 -x1160 -x1159
3586.54/3600.20 v x1158 -x1157 x1156 -x1155 -x1154 -x1153 -x1152 x1151 -x1150 -x1149 x1148 -x1147 -x1146 x1145 -x1144 -x1143 x1142 -x1141 -x1140
3586.54/3600.20 v -x1139 x1138 -x1137 x1136 -x1135 -x1134 -x1133 x1132 -x1131 -x1130 -x1129 -x1128 x1127 -x1126 -x1125 x1124 -x1123 -x1122
3586.54/3600.20 v x1121 -x1120 -x1119 x1118 -x1117 -x1116 -x1115 x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 x1107 -x1106 -x1105 x1104 -x1103
3586.54/3600.20 v -x1102 x1101 -x1100 -x1099 x1098 -x1097 -x1096 -x1095 x1094 -x1093 -x1092 -x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085
3586.54/3600.20 v -x1084 x1083 -x1082 -x1081 x1080 -x1079 x1078 -x1077 -x1076 x1075 x1074 -x1073 x1072 -x1071 -x1070 x1069 x1068 -x1067 x1066
3586.54/3600.20 v -x1065 -x1064 x1063 x1062 -x1061 x1060 -x1059 x1058 -x1057 -x1056 x1055 -x1054 x1053 x1052 -x1051 x1050 -x1049 x1048 -x1047 -x1046
3586.54/3600.20 v x1045 -x1044 -x1043 -x1042 x1041 x1040 -x1039 x1038 -x1037 -x1036 -x1035 x1034 -x1033 x1032 -x1031 x1030 -x1029 -x1028
3586.54/3600.20 v -x1027 -x1026 -x1025 -x1024 x1023 x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 x1014 -x1013 -x1012 -x1011 -x1010 x1009
3586.54/3600.20 v x1008 -x1007 x1006 -x1005 x1004 -x1003 -x1002 -x1001 x1000 -x999 x998 -x997 -x996 -x995 -x994 -x993 -x992 x991 x990 -x989
3586.54/3600.20 v -x988 -x987 x986 -x985 -x984 -x983 x982 -x981 -x980 -x979 -x978 x977 -x976 -x975 x974 -x973 -x972 x971 x970 -x969 x968 -x967
3586.54/3600.20 v x966 -x965 -x964 -x963 x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 x953 x952 -x951 -x950 -x949 x948 -x947 -x946 -x945
3586.54/3600.20 v x944 -x943 -x942 -x941 x940 -x939 -x938 -x937 -x936 x935 -x934 -x933 x932 -x931 x930 -x929 x928 -x927 x926 -x925 -x924 -x923
3586.54/3600.20 v x922 -x921 -x920 -x919 x918 -x917 -x916 -x915 -x914 x913 x912 -x911 x910 -x909 x908 -x907 -x906 -x905 x904 -x903 x902 -x901
3586.54/3600.20 v -x900 -x899 -x898 -x897 -x896 x895 x894 -x893 -x892 -x891 x890 -x889 -x888 -x887 x886 -x885 -x884 -x883 x882 -x881 -x880 -x879
3586.54/3600.20 v -x878 x877 -x876 -x875 x874 -x873 x872 -x871 x870 -x869 x868 -x867 x866 -x865 -x864 -x863 -x862 x861 x860 -x859 x858 -x857
3586.54/3600.20 v x856 -x855 -x854 -x853 x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 -x844 x843 x842 -x841 -x840 -x839 x838 -x837 -x836 -x835
3586.54/3600.20 v x834 -x833 -x832 -x831 x830 -x829 -x828 -x827 -x826 x825 -x824 -x823 x822 -x821 x820 -x819 x818 -x817 x816 -x815 x814 -x813
3586.54/3600.20 v x812 -x811 x810 -x809 x808 -x807 -x806 -x805 x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 x795 x794 -x793 -x792 -x791
3586.54/3600.20 v x790 -x789 -x788 -x787 x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 -x778 x777 -x776 -x775 x774 -x773 x772 -x771 x770 -x769
3586.54/3600.20 v x768 -x767 x766 -x765 x764 -x763 -x762 -x761 x760 -x759 x758 -x757 x756 -x755 -x754 -x753 x752 -x751 x750 -x749 -x748 -x747 x746
3586.54/3600.20 v -x745 -x744 -x743 x742 -x741 -x740 -x739 x738 -x737 -x736 -x735 x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726 x725
3586.54/3600.20 v -x724 -x723 x722 -x721 x720 -x719 x718 -x717 x716 -x715 x714 -x713 x712 -x711 x710 -x709 -x708 -x707 x706 -x705 x704 -x703 -x702
3586.54/3600.20 v -x701 x700 -x699 x698 -x697 -x696 -x695 x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 x686 -x685 -x684 -x683 x682 -x681 -x680
3586.54/3600.20 v -x679 x678 -x677 -x676 -x675 -x674 x673 -x672 -x671 x670 -x669 x668 -x667 x666 -x665 -x664 x663 x662 -x661 x660 -x659 x658
3586.54/3600.20 v -x657 -x656 -x655 x654 -x653 x652 -x651 -x650 -x649 x648 -x647 x646 -x645 -x644 -x643 x642 -x641 -x640 -x639 x638 -x637 -x636
3586.54/3600.20 v -x635 x634 -x633 -x632 -x631 -x630 -x629 -x628 x627 x626 -x625 -x624 -x623 -x622 x621 -x620 -x619 x618 -x617 x616 -x615 x614
3586.54/3600.20 v -x613 -x612 x611 x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 x602 -x601 x600 -x599 -x598 -x597 x596 -x595 -x594 -x593 x592
3586.54/3600.20 v -x591 -x590 -x589 x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 x580 -x579 -x578 -x577 -x576 x575 -x574 -x573 x572 -x571
3586.54/3600.20 v x570 -x569 x568 -x567 -x566 x565 x564 -x563 -x562 -x561 x560 -x559 -x558 -x557 x556 -x555 -x554 -x553 -x552 -x551 -x550 x549
3586.54/3600.20 v x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 x540 -x539 x538 -x537 x536 -x535 -x534 x533 x532 -x531 -x530 -x529 x528 -x527 -x526
3586.54/3600.20 v -x525 -x524 x523 -x522 -x521 x520 -x519 x518 -x517 x516 -x515 -x514 x513 x512 -x511 -x510 x509 x508 -x507 -x506 -x505 x504
3586.54/3600.20 v -x503 -x502 -x501 x500 -x499 -x498 -x497 x496 -x495 -x494 -x493 -x492 x491 x490 -x489 x488 -x487 -x486 -x485 x484 -x483 -x482
3586.54/3600.20 v -x481 -x480 -x479 -x478 x477 x476 -x475 -x474 -x473 x472 -x471 -x470 -x469 -x468 x467 -x466 -x465 x464 -x463 x462 -x461 -x460
3586.54/3600.20 v x459 x458 -x457 x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439
3586.54/3600.20 v -x438 x437 -x436 x435 -x434 -x433 x432 -x431 x430 -x429 x428 -x427 -x426 -x425 x424 -x423 x422 -x421 -x420 -x419 x418 -x417 -x416
3586.54/3600.20 v -x415 x414 -x413 -x412 -x411 x410 -x409 -x408 -x407 x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 x398 -x397 x396 -x395
3586.54/3600.20 v x394 -x393 x392 -x391 -x390 -x389 -x388 x387 -x386 -x385 x384 -x383 x382 -x381 -x380 -x379 x378 -x377 x376 -x375 -x374 -x373
3586.54/3600.20 v x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 x359 -x358 -x357 x356 -x355 x354 -x353 x352 -x351
3586.54/3600.20 v x350 -x349 x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 x340 -x339 x338 -x337 -x336 -x335 x334 -x333 x332 -x331 -x330 -x329
3586.54/3600.20 v x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 x312 -x311 x310 -x309 x308 -x307
3586.54/3600.20 v x306 -x305 x304 -x303 x302 -x301 x300 -x299 x298 -x297 -x296 -x295 x294 -x293 -x292 -x291 -x290 x289 -x288 -x287 -x286 -x285
3586.54/3600.20 v -x284 x283 -x282 -x281 x280 -x279 x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 x270 -x269 -x268 -x267 x266 -x265 x264 -x263
3586.54/3600.20 v -x262 -x261 -x260 x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 x251 -x250 -x249 x248 -x247 x246 -x245 -x244 -x243 x242 -x241
3586.54/3600.20 v -x240 -x239 x238 -x237 -x236 x235 -x234 -x233 x232 -x231 x230 -x229 -x228 -x227 -x226 x225 x224 -x223 -x222 -x221 x220 -x219
3586.54/3600.20 v x218 -x217 -x216 -x215 x214 -x213 x212 -x211 -x210 -x209 -x208 x207 -x206 -x205 x204 -x203 x202 -x201 x200 -x199 x198 -x197
3586.54/3600.20 v -x196 -x195 -x194 x193 x192 -x191 x190 -x189 x188 -x187 -x186 x185 x184 -x183 x182 -x181 x180 -x179 x178 -x177 -x176 x175 x174
3586.54/3600.20 v -x173 x172 -x171 x170 -x169 x168 -x167 x166 -x165 -x164 x163 x162 -x161 -x160 x159 x158 -x157 x156 -x155 x154 -x153 x152 -x151
3586.64/3600.31 v x150 -x149 -x148 x147 x146 -x145 x144 -x143 x142 -x141 x140 -x139 x138 -x137 x136 -x135 x134 -x133 -x132 x131 -x130 -x129
3586.64/3600.31 v -x128 x127 x126 -x125 x124 -x123 -x122 x121 -x120 x119 -x118 -x117 x116 -x115 x114 -x113 -x112 x111 x110 -x109 x108 -x107 x106
3586.64/3600.31 v -x105 -x104 x103 x102 -x101 -x100 -x99 x98 -x97 x96 -x95 -x94 x93 x92 -x91 x90 -x89 x88 -x87 x86 -x85 -x84 -x83 -x82 x81 x80
3586.64/3600.31 v -x79 -x78 -x77 x76 -x75 x74 -x73 x72 -x71 -x70 x69 x68 -x67 x66 -x65 -x64 x63 x62 -x61 x60 -x59 -x58 x57 x56 -x55 x54 -x53
3586.64/3600.31 v -x52 x51 x50 -x49 x48 -x47 -x46 x45 x44 -x43 x42 -x41 -x40 x39 x38 -x37 x36 -x35 -x34 x33 x32 -x31 x30 -x29 -x28 x27 x26 -x25
3586.64/3600.31 v x24 -x23 -x22 x21 x20 -x19 x18 -x17 -x16 x15 x14 -x13 x12 -x11 -x10 x9 x8 -x7 x6 -x5 -x4 x3 -x2 x1
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 (47600 MiB free)
memory of node 1: 64510 MiB (38833 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456517-1721721951/watcher-4456517-1721721951 -o /tmp/evaluation-result-4456517-1721721951/solver-4456517-1721721951 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721718341-88011 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4456517-1721721951.wbo -qsol -t 3600 -sth 1
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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=90816, runsolver pid=90813
[startup+0.100317 s]*
/proc/loadavg: 4.16 4.13 4.09 5/262 90817
/proc/meminfo: memFree=88455220/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=74040 memory=61964 CPUtime=0.09 cores=0,2
/proc/90816/stat : 90816 (fscip) R 90813 90816 88001 0 -1 4194304 13483 0 0 0 8 1 0 0 20 0 1 0 8718041 75816960 15491 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 18510 15491 2318 3032 0 14910 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74040 KiB
Current children cumulated memory: 61964 KiB
[startup+0.20573 s]*
/proc/loadavg: 4.16 4.13 4.09 5/262 90817
/proc/meminfo: memFree=88387544/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=147256 memory=133216 CPUtime=0.2 cores=0,2
/proc/90816/stat : 90816 (fscip) R 90813 90816 88001 0 -1 4194304 31444 0 0 0 16 4 0 0 20 0 1 0 8718041 150790144 33304 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 36814 33304 2590 3032 0 33214 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 147256 KiB
Current children cumulated memory: 133216 KiB
[startup+0.30561 s]*
/proc/loadavg: 4.16 4.13 4.09 5/262 90817
/proc/meminfo: memFree=88331292/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=201128 memory=187596 CPUtime=0.3 cores=0,2
/proc/90816/stat : 90816 (fscip) R 90813 90816 88001 0 -1 4194304 45066 0 0 0 24 6 0 0 20 0 1 0 8718041 205955072 46899 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 50282 46899 2590 3032 0 46682 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 201128 KiB
Current children cumulated memory: 187596 KiB
[startup+0.700179 s]
/proc/loadavg: 4.16 4.13 4.09 5/262 90817
/proc/meminfo: memFree=88278764/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=264644 memory=246888 CPUtime=0.69 cores=0,2
/proc/90816/stat : 90816 (fscip) R 90813 90816 88001 0 -1 4194304 61247 0 0 0 61 8 0 0 20 0 1 0 8718041 270995456 61722 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 66161 61722 2622 3032 0 62561 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 264644 KiB
Current children cumulated memory: 246888 KiB
[startup+1.5002 s]
/proc/loadavg: 4.16 4.13 4.09 5/262 90818
/proc/meminfo: memFree=88269148/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=266420 memory=248456 CPUtime=1.48 cores=0,2
/proc/90816/stat : 90816 (fscip) R 90813 90816 88001 0 -1 4194304 62107 0 0 0 140 8 0 0 20 0 1 0 8718041 272814080 62114 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 66605 62114 2638 3032 0 63005 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 266420 KiB
Current children cumulated memory: 248456 KiB
[startup+3.10576 s]
/proc/loadavg: 4.23 4.14 4.10 5/262 90818
/proc/meminfo: memFree=88267956/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=266940 memory=248984 CPUtime=3.08 cores=0,2
/proc/90816/stat : 90816 (fscip) R 90813 90816 88001 0 -1 4194304 62237 0 0 0 300 8 0 0 20 0 1 0 8718041 273346560 62246 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 66735 62246 2638 3032 0 63135 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 266940 KiB
Current children cumulated memory: 248984 KiB
[startup+6.30016 s]
/proc/loadavg: 4.23 4.14 4.10 5/262 90818
/proc/meminfo: memFree=88216132/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=327852 memory=304004 CPUtime=6.26 cores=0,2
/proc/90816/stat : 90816 (fscip) R 90813 90816 88001 0 -1 4194304 76067 0 0 0 616 10 0 0 20 0 1 0 8718041 335720448 76001 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 81963 76001 2814 3032 0 78363 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 327852 KiB
Current children cumulated memory: 304004 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.14 4.10 5/262 90820
/proc/meminfo: memFree=88188568/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=361272 memory=329724 CPUtime=12.63 cores=0,2
/proc/90816/stat : 90816 (fscip) R 90813 90816 88001 0 -1 4194304 82502 0 0 0 1251 12 0 0 20 0 1 0 8718041 369942528 82431 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 90318 82431 2846 3032 0 86718 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 361272 KiB
Current children cumulated memory: 329724 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.09 5/262 90822
/proc/meminfo: memFree=88152996/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=391676 memory=358788 CPUtime=25.39 cores=0,2
/proc/90816/stat : 90816 (fscip) R 90813 90816 88001 0 -1 4194304 89721 0 0 0 2523 16 0 0 20 0 1 0 8718041 401076224 89697 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 97919 89697 2926 3032 0 94319 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 391676 KiB
Current children cumulated memory: 358788 KiB
[startup+51.106 s]
/proc/loadavg: 4.11 4.12 4.09 5/262 90826
/proc/meminfo: memFree=88098800/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=413652 memory=387380 CPUtime=50.89 cores=0,2
/proc/90816/stat : 90816 (fscip) R 90813 90816 88001 0 -1 4194304 96860 0 0 0 5067 22 0 0 20 0 1 0 8718041 423579648 96845 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 103413 96845 2926 3032 0 99813 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 413652 KiB
Current children cumulated memory: 387380 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 90835
/proc/meminfo: memFree=87664828/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=523464 memory=439036 CPUtime=101.9 cores=0,2
/proc/90816/stat : 90816 (fscip) R 90813 90816 88001 0 -1 4194304 117713 0 0 0 10155 35 0 0 20 0 1 0 8718041 536027136 109759 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 130866 109759 2926 3032 0 127266 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 523464 KiB
Current children cumulated memory: 439036 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 90848
/proc/meminfo: memFree=87525860/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=717976 memory=575636 CPUtime=161.63 cores=0,2
/proc/90816/stat : 90816 (fscip) S 90813 90816 88001 0 -1 1077936128 176457 0 0 0 16110 53 0 0 20 0 3 0 8718041 735207424 143909 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 179494 143909 2942 3032 0 175089 0
[pid=90816/tid=90845] ppid=90813 vsize=717976 memory=508304 CPUtime=6.51 cores=0,2
/proc/90816/task/90845/stat : 90845 (fscip) R 90813 90816 88001 0 -1 4194368 37880 0 0 0 646 5 0 0 20 0 3 0 8733609 735207424 143909 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 -1 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
[pid=90816/tid=90846] ppid=90813 vsize=717976 memory=497744 CPUtime=0 cores=0,2
/proc/90816/task/90846/stat : 90846 (fscip) S 90813 90816 88001 0 -1 1077936192 9 0 0 0 0 0 0 0 20 0 3 0 8733616 735207424 143909 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 1 0 0 -1 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
Current children cumulated CPU time: 161.63 s
Current children cumulated vsize: 717976 KiB
Current children cumulated memory: 575636 KiB
[startup+222.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/266 90863
/proc/meminfo: memFree=87415112/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=914584 memory=681016 CPUtime=221.27 cores=0,2
/proc/90816/stat : 90816 (fscip) S 90813 90816 88001 0 -1 1077936128 265791 0 0 0 22065 62 0 0 20 0 3 0 8718041 936534016 170254 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 228646 170254 2942 3032 0 214327 0
[pid=90816/tid=90845] ppid=90813 vsize=914584 memory=5516 CPUtime=66.15 cores=0,2
/proc/90816/task/90845/stat : 90845 (fscip) R 90813 90816 88001 0 -1 4194368 127195 0 0 0 6602 13 0 0 20 0 3 0 8733609 936534016 170254 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
[pid=90816/tid=90846] ppid=90813 vsize=914584 memory=674360 CPUtime=0 cores=0,2
/proc/90816/task/90846/stat : 90846 (fscip) S 90813 90816 88001 0 -1 1077936192 28 0 0 0 0 0 0 0 20 0 3 0 8733616 936534016 170254 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
Current children cumulated CPU time: 221.27 s
Current children cumulated vsize: 914584 KiB
Current children cumulated memory: 681016 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 90873
/proc/meminfo: memFree=87323064/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=980120 memory=765852 CPUtime=281.04 cores=0,2
/proc/90816/stat : 90816 (fscip) S 90813 90816 88001 0 -1 1077936128 338542 0 0 0 28033 71 0 0 20 0 3 0 8718041 1003642880 191463 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 245030 191463 2990 3032 0 238669 0
[pid=90816/tid=90845] ppid=90813 vsize=980120 memory=608116 CPUtime=125.92 cores=0,2
/proc/90816/task/90845/stat : 90845 (fscip) R 90813 90816 88001 0 -1 4194368 199206 0 0 0 12570 22 0 0 20 0 3 0 8733609 1003642880 191463 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
[pid=90816/tid=90846] ppid=90813 vsize=980120 memory=33852 CPUtime=0 cores=0,2
/proc/90816/task/90846/stat : 90846 (fscip) S 90813 90816 88001 0 -1 1077936192 33 0 0 0 0 0 0 0 20 0 3 0 8733616 1003642880 191463 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
Current children cumulated CPU time: 281.04 s
Current children cumulated vsize: 980120 KiB
Current children cumulated memory: 765852 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 90888
/proc/meminfo: memFree=87292568/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=980120 memory=794212 CPUtime=340.82 cores=0,2
/proc/90816/stat : 90816 (fscip) S 90813 90816 88001 0 -1 1077936128 379058 0 0 0 34006 76 0 0 20 0 3 0 8718041 1003642880 198553 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 245030 198553 2990 3032 0 238669 0
[pid=90816/tid=90845] ppid=90813 vsize=980120 memory=608116 CPUtime=185.69 cores=0,2
/proc/90816/task/90845/stat : 90845 (fscip) R 90813 90816 88001 0 -1 4194368 239357 0 0 0 18542 27 0 0 20 0 3 0 8733609 1003642880 198553 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
[pid=90816/tid=90846] ppid=90813 vsize=980120 memory=12136 CPUtime=0 cores=0,2
/proc/90816/task/90846/stat : 90846 (fscip) S 90813 90816 88001 0 -1 1077936192 36 0 0 0 0 0 0 0 20 0 3 0 8733616 1003642880 198553 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
Current children cumulated CPU time: 340.82 s
Current children cumulated vsize: 980120 KiB
Current children cumulated memory: 794212 KiB
[startup+402.3 s]
################
# More data... #
################
/proc/loadavg: 1.13 1.12 1.45 2/238 92841
/proc/meminfo: memFree=98449404/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=1766552 memory=1677988 CPUtime=3449.07 cores=0,2
/proc/90816/stat : 90816 (fscip) S 90813 90816 88001 0 -1 1077936128 1881949 0 0 0 344595 312 0 0 20 0 3 0 8718041 1808949248 419497 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 441638 419497 2990 3032 0 428148 0
[pid=90816/tid=90845] ppid=90813 vsize=1766552 memory=1665612 CPUtime=3293.62 cores=0,2
/proc/90816/task/90845/stat : 90845 (fscip) R 90813 90816 88001 0 -1 4194368 1735748 0 0 0 329111 251 0 0 20 0 3 0 8733609 1808949248 419497 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
[pid=90816/tid=90846] ppid=90813 vsize=1766552 memory=1677988 CPUtime=0.02 cores=0,2
/proc/90816/task/90846/stat : 90846 (fscip) S 90813 90816 88001 0 -1 1077936192 132 0 0 0 0 2 0 0 20 0 3 0 8733616 1808949248 419497 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
Current children cumulated CPU time: 3449.07 s
Current children cumulated vsize: 1766552 KiB
Current children cumulated memory: 1677988 KiB
[startup+3522.3 s]
/proc/loadavg: 1.14 1.13 1.43 2/238 92852
/proc/meminfo: memFree=98438944/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=1766552 memory=1687728 CPUtime=3508.88 cores=0,2
/proc/90816/stat : 90816 (fscip) S 90813 90816 88001 0 -1 1077936128 1891492 0 0 0 350572 316 0 0 20 0 3 0 8718041 1808949248 421932 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 441638 421932 2990 3032 0 430589 0
[pid=90816/tid=90845] ppid=90813 vsize=1766552 memory=1677988 CPUtime=3353.43 cores=0,2
/proc/90816/task/90845/stat : 90845 (fscip) R 90813 90816 88001 0 -1 4194368 1745267 0 0 0 335088 255 0 0 20 0 3 0 8733609 1808949248 421932 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
[pid=90816/tid=90846] ppid=90813 vsize=1766552 memory=34812 CPUtime=0.02 cores=0,2
/proc/90816/task/90846/stat : 90846 (fscip) S 90813 90816 88001 0 -1 1077936192 134 0 0 0 0 2 0 0 20 0 3 0 8733616 1808949248 421932 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
Current children cumulated CPU time: 3508.88 s
Current children cumulated vsize: 1766552 KiB
Current children cumulated memory: 1687728 KiB
[startup+3582.3 s]
/proc/loadavg: 1.14 1.13 1.42 2/238 92863
/proc/meminfo: memFree=98437792/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=1766552 memory=1687972 CPUtime=3568.7 cores=0,2
/proc/90816/stat : 90816 (fscip) S 90813 90816 88001 0 -1 1077936128 1895579 0 0 0 356552 318 0 0 20 0 3 0 8718041 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 441638 421993 2990 3032 0 430589 0
[pid=90816/tid=90845] ppid=90813 vsize=1766552 memory=12136 CPUtime=3413.24 cores=0,2
/proc/90816/task/90845/stat : 90845 (fscip) R 90813 90816 88001 0 -1 4194368 1749329 0 0 0 341067 257 0 0 20 0 3 0 8733609 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
[pid=90816/tid=90846] ppid=90813 vsize=1766552 memory=1687972 CPUtime=0.02 cores=0,2
/proc/90816/task/90846/stat : 90846 (fscip) S 90813 90816 88001 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 8733616 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
Current children cumulated CPU time: 3568.7 s
Current children cumulated vsize: 1766552 KiB
Current children cumulated memory: 1687972 KiB
[startup+3600.32 s]
# the end of solver process 90816 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3583.47 s, system=3.20871 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 1.13 1.13 1.41 2/238 92863
/proc/meminfo: memFree=98437792/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=1766552 memory=1687972 CPUtime=3570.4 cores=0,2
/proc/90816/stat : 90816 (fscip) S 90813 90816 88001 0 -1 1077936128 1895579 0 0 0 356722 318 0 0 20 0 3 0 8718041 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 441638 421993 2990 3032 0 430589 0
[pid=90816/tid=90845] ppid=90813 vsize=1766552 memory=1687972 CPUtime=3414.94 cores=0,2
/proc/90816/task/90845/stat : 90845 (fscip) R 90813 90816 88001 0 -1 4194368 1749329 0 0 0 341237 257 0 0 20 0 3 0 8733609 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
[pid=90816/tid=90846] ppid=90813 vsize=1766552 memory=-4050210904893537679 CPUtime=0.02 cores=0,2
/proc/90816/task/90846/stat : 90846 (fscip) S 90813 90816 88001 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 8733616 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
Current children cumulated CPU time: 3570.4 s
Current children cumulated vsize: 1766552 KiB
Current children cumulated memory: 1687972 KiB
[startup+3590.4 s]
/proc/loadavg: 1.12 1.13 1.41 2/238 92863
/proc/meminfo: memFree=98437824/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=1766552 memory=1687972 CPUtime=3576.77 cores=0,2
/proc/90816/stat : 90816 (fscip) S 90813 90816 88001 0 -1 1077936128 1895891 0 0 0 357359 318 0 0 20 0 3 0 8718041 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 441638 421993 2990 3032 0 430589 0
[pid=90816/tid=90845] ppid=90813 vsize=1766552 memory=5165928064389690160 CPUtime=3421.32 cores=0,2
/proc/90816/task/90845/stat : 90845 (fscip) R 90813 90816 88001 0 -1 4194368 1749641 0 0 0 341875 257 0 0 20 0 3 0 8733609 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
[pid=90816/tid=90846] ppid=90813 vsize=1766552 memory=280540821589440 CPUtime=0.02 cores=0,2
/proc/90816/task/90846/stat : 90846 (fscip) S 90813 90816 88001 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 8733616 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
Current children cumulated CPU time: 3576.77 s
Current children cumulated vsize: 1766552 KiB
Current children cumulated memory: 1687972 KiB
[startup+3596.8 s]
/proc/loadavg: 1.11 1.12 1.41 2/236 92865
/proc/meminfo: memFree=98437712/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=1766552 memory=1687972 CPUtime=3583.16 cores=0,2
/proc/90816/stat : 90816 (fscip) S 90813 90816 88001 0 -1 1077936128 1896198 0 0 0 357997 319 0 0 20 0 3 0 8718041 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 441638 421993 2990 3032 0 430589 0
[pid=90816/tid=90845] ppid=90813 vsize=1766552 memory=1687972 CPUtime=3427.69 cores=0,2
/proc/90816/task/90845/stat : 90845 (fscip) R 90813 90816 88001 0 -1 4194368 1749948 0 0 0 342512 257 0 0 20 0 3 0 8733609 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
[pid=90816/tid=90846] ppid=90813 vsize=1766552 memory=1687972 CPUtime=0.02 cores=0,2
/proc/90816/task/90846/stat : 90846 (fscip) S 90813 90816 88001 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 8733616 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
Current children cumulated CPU time: 3583.16 s
Current children cumulated vsize: 1766552 KiB
Current children cumulated memory: 1687972 KiB
[startup+3598.4 s]
/proc/loadavg: 1.10 1.12 1.41 2/236 92865
/proc/meminfo: memFree=98437712/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=1766552 memory=1687972 CPUtime=3584.75 cores=0,2
/proc/90816/stat : 90816 (fscip) S 90813 90816 88001 0 -1 1077936128 1896267 0 0 0 358156 319 0 0 20 0 3 0 8718041 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 441638 421993 2990 3032 0 430589 0
[pid=90816/tid=90845] ppid=90813 vsize=1766552 memory=-7092155132717130623 CPUtime=3429.29 cores=0,2
/proc/90816/task/90845/stat : 90845 (fscip) R 90813 90816 88001 0 -1 4194368 1750017 0 0 0 342672 257 0 0 20 0 3 0 8733609 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
[pid=90816/tid=90846] ppid=90813 vsize=1766552 memory=21620 CPUtime=0.02 cores=0,2
/proc/90816/task/90846/stat : 90846 (fscip) S 90813 90816 88001 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 8733616 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
Current children cumulated CPU time: 3584.75 s
Current children cumulated vsize: 1766552 KiB
Current children cumulated memory: 1687972 KiB
[startup+3599.2 s]
/proc/loadavg: 1.10 1.12 1.41 2/236 92865
/proc/meminfo: memFree=98437728/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=1766552 memory=1687972 CPUtime=3585.55 cores=0,2
/proc/90816/stat : 90816 (fscip) S 90813 90816 88001 0 -1 1077936128 1896416 0 0 0 358236 319 0 0 20 0 3 0 8718041 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 441638 421993 2990 3032 0 430589 0
[pid=90816/tid=90845] ppid=90813 vsize=1766552 memory=34812 CPUtime=3430.09 cores=0,2
/proc/90816/task/90845/stat : 90845 (fscip) R 90813 90816 88001 0 -1 4194368 1750166 0 0 0 342752 257 0 0 20 0 3 0 8733609 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
[pid=90816/tid=90846] ppid=90813 vsize=1766552 memory=13524 CPUtime=0.02 cores=0,2
/proc/90816/task/90846/stat : 90846 (fscip) S 90813 90816 88001 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 8733616 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
Current children cumulated CPU time: 3585.55 s
Current children cumulated vsize: 1766552 KiB
Current children cumulated memory: 1687972 KiB
[startup+3600 s]*
/proc/loadavg: 1.10 1.12 1.41 2/236 92865
/proc/meminfo: memFree=98437728/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=1766552 memory=1687972 CPUtime=3586.35 cores=0,2
/proc/90816/stat : 90816 (fscip) S 90813 90816 88001 0 -1 1077936128 1896472 0 0 0 358316 319 0 0 20 0 3 0 8718041 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 441638 421993 2990 3032 0 430589 0
[pid=90816/tid=90845] ppid=90813 vsize=1766552 memory=-7092155132717130623 CPUtime=3430.89 cores=0,2
/proc/90816/task/90845/stat : 90845 (fscip) R 90813 90816 88001 0 -1 4194368 1750222 0 0 0 342832 257 0 0 20 0 3 0 8733609 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 -1 0 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
[pid=90816/tid=90846] ppid=90813 vsize=1766552 memory=5396 CPUtime=0.02 cores=0,2
/proc/90816/task/90846/stat : 90846 (fscip) S 90813 90816 88001 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 3 0 8733616 1808949248 421993 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
Current children cumulated CPU time: 3586.35 s
Current children cumulated vsize: 1766552 KiB
Current children cumulated memory: 1687972 KiB
[startup+3600.2 s]
/proc/loadavg: 1.10 1.12 1.41 2/236 92865
/proc/meminfo: memFree=98437728/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=1701016 memory=1647892 CPUtime=3586.54 cores=0,2
/proc/90816/stat : 90816 (fscip) R 90813 90816 88001 0 -1 4194304 1905107 0 0 0 358335 319 0 0 20 0 2 0 8718041 1741840384 411973 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 425254 411973 2990 3032 0 420376 0
[pid=90816/tid=90846] ppid=90813 vsize=1701016 memory=-7092155132717130623 CPUtime=0.02 cores=0,2
/proc/90816/task/90846/stat : 90846 (fscip) S 90813 90816 88001 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 2 0 8733616 1741840384 411973 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
Current children cumulated CPU time: 3586.54 s
Current children cumulated vsize: 1701016 KiB
Current children cumulated memory: 1647892 KiB
[startup+3600.3 s]
/proc/loadavg: 1.10 1.12 1.41 2/236 92865
/proc/meminfo: memFree=98437728/131524600 swapFree=131071996/131071996
[pid=90816] ppid=90813 vsize=1596168 memory=1543044 CPUtime=3586.64 cores=0,2
/proc/90816/stat : 90816 (fscip) R 90813 90816 88001 0 -1 4194304 1907350 0 0 0 358345 319 0 0 20 0 2 0 8718041 1634476032 385761 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 0 0 0 17 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
/proc/90816/statm: 399042 385761 2990 3032 0 394164 0
[pid=90816/tid=90846] ppid=90813 vsize=1596168 memory=1687880 CPUtime=0.02 cores=0,2
/proc/90816/task/90846/stat : 90846 (fscip) S 90813 90816 88001 0 -1 1077936192 139 0 0 0 0 2 0 0 20 0 2 0 8733616 1634476032 385761 134679101440 4194304 16613245 140720907963952 0 0 0 0 0 2 1 0 0 -1 2 0 0 0 0 0 18822208 18930672 40554496 140720907969556 140720907969672 140720907969672 140720907976688 0
Current children cumulated CPU time: 3586.64 s
Current children cumulated vsize: 1596168 KiB
Current children cumulated memory: 1543044 KiB
Child status: 0
Real time (s): 3600.32
CPU time (s): 3586.68
CPU user time (s): 3583.47
CPU system time (s): 3.20871
CPU usage (%): 99.621
Max. virtual memory (cumulated for all children) (KiB): 1766552
Max. memory (cumulated for all children) (KiB): 1687972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.47
system time used= 3.20871
maximum resident set size= 1687972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1909032
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= 14392
involuntary context switches= 25377
# summary of solver processes directly reported to runsolver:
# pid: 90816
# total CPU time (s): 3586.68
# total CPU user time (s): 3583.47
# total CPU system time (s): 3.20871
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.86636 second user time and 13.8937 second system time
The end
Begin job on nodeC022 at 2024-07-23 10:05:51
IDJOB=4456517
IDBENCH=144039
IDSOLVER=3044
FILE ID=nodeC022/4456517-1721721951
RUNJOBID= nodeC022-1721718341-88011
SLURM_JOB_ID= 7770394
Free space on /tmp= 889988 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/spot5/normalized-spot5-1405_wcsp.wbo
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456517-1721721951/watcher-4456517-1721721951 -o /tmp/evaluation-result-4456517-1721721951/solver-4456517-1721721951 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721718341-88011 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4456517-1721721951.wbo -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5c0e6d849ef2d250f0711f771f74da32
RANDOM SEED=1492053187
nodeC022.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 : 3665.230
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 : 6999.87
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 : 3683.726
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.75
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 : 3645.243
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 : 6999.87
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.170
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.75
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 : 3667.038
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 : 6999.87
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 : 3683.731
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.75
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 : 3599.966
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 : 6999.87
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.102
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7006.75
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 88508544 kB
MemAvailable: 118195168 kB
Buffers: 147576 kB
Cached: 30262432 kB
SwapCached: 0 kB
Active: 980364 kB
Inactive: 41243916 kB
Active(anon): 1556 kB
Inactive(anon): 11850428 kB
Active(file): 978808 kB
Inactive(file): 29393488 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 29428 kB
Writeback: 4 kB
AnonPages: 11811628 kB
Mapped: 134972 kB
Shmem: 37720 kB
KReclaimable: 307948 kB
Slab: 416436 kB
SReclaimable: 307948 kB
SUnreclaim: 108488 kB
KernelStack: 4208 kB
PageTables: 32884 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 5785584 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 19808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3086336 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: 285396 kB
DirectMap2M: 28848128 kB
DirectMap1G: 106954752 kB
Free space on /tmp at the end= 890056 MiB
End job on nodeC022 at 2024-07-23 11:05:52