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.00/0.03 c Default LC presolving (default).
0.00/0.03 c ** Before presolving: virtualMemUsedAtLc = 46088192, getVmSize() = 46088192, SCIPgetMemUsed() = 20565714, SCIPgetMemTotal() = 23708394, SCIPgetMemExternEstim() = 13307761
0.00/0.03 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
0.00/0.10 c ** Estimated virtualMemUsedAtSolver = 34400938, getVmSize() = 57114624, SCIPgetMemUsed() = 21638482, SCIPgetMemTotal() = 33368578, SCIPgetMemExternEstim() = 13307761
0.00/0.10 c ** set memory limit for solvers to 4.39805e+12 for each SCIP **
0.00/0.10 c Original Problem :
0.00/0.10 c Problem name : instance-4459907-1721941194
0.00/0.10 c Variables : 6604 (400 binary, 0 integer, 6204 implicit integer, 0 continuous)
0.00/0.10 c Constraints : 7205
0.00/0.10 c Objective sense : minimize
0.00/0.10 c Presolved Problem :
0.00/0.10 c Variables : 400 (400 binary, 0 integer, 0 implicit integer, 0 continuous)
0.00/0.10 c Constraints : 601
0.00/0.10 c Constraints : Number
0.00/0.10 c knapsack : 400
0.00/0.10 c setppc : 200
0.00/0.10 c linear : 1
0.00/0.10 c ** Instance transfer method used: 0
0.00/0.10 c ** ParaScipInstance copy does not increase the number of variables. **
0.09/0.10 c LC is working with racing ramp-up and with rebuilding tree after racing.
0.09/0.10 c Nodes Active
0.09/0.10 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
0.19/0.29 c * 0 0 1 1 -1.0000 - -
0.39/0.50 c * 0 0 1 1 -21.0000 - -
20.22/20.30 c * 20 0 1 1 -22.0000 - -
20.22/20.30 c 20 0 1 1 -22.0000 - -
24.92/25.10 c * 25 0 1 1 -23.0000 - -
37.38/37.51 c 38 2 1 1 -23.0000 -87.5614 280.70%
46.67/46.84 c 47 3 2 1 -23.0000 -87.5614 280.70%
54.95/55.19 c 55 7 6 1 -23.0000 -87.5614 280.70%
65.52/65.73 c 66 17 16 1 -23.0000 -87.5614 280.70%
72.00/72.28 c 72 21 20 1 -23.0000 -87.5614 280.70%
76.00/76.27 c * 76 36 35 1 -25.0000 -87.5614 250.25%
77.09/77.38 c 77 47 46 1 -25.0000 -87.5614 250.25%
81.38/81.62 c * 82 94 93 1 -30.0000 -87.5614 191.87%
82.38/82.68 c 83 108 107 1 -30.0000 -87.5614 191.87%
88.26/88.53 c 89 176 175 1 -30.0000 -87.5614 191.87%
94.35/94.69 c 95 216 215 1 -30.0000 -87.5614 191.87%
100.34/100.67 c 101 267 266 1 -30.0000 -87.5614 191.87%
106.62/106.98 c 107 311 310 1 -30.0000 -87.4997 191.67%
113.20/113.59 c 114 339 338 1 -30.0000 -87.4935 191.65%
120.09/120.46 c 120 359 358 1 -30.0000 -87.4935 191.65%
122.28/122.61 c * 123 370 369 1 -31.0000 -87.4827 182.20%
127.28/127.62 c 128 391 390 1 -31.0000 -87.4827 182.20%
132.96/133.40 c 133 412 411 1 -31.0000 -87.3853 181.89%
138.75/139.16 c 139 431 430 1 -31.0000 -87.3853 181.89%
145.92/146.30 c 146 453 452 1 -31.0000 -87.3750 181.85%
151.41/151.84 c 152 482 481 1 -31.0000 -87.3181 181.67%
156.49/156.96 c 157 511 510 1 -31.0000 -87.3181 181.67%
161.68/162.19 c 162 546 545 1 -31.0000 -87.2346 181.40%
166.86/167.39 c 167 590 589 1 -31.0000 -87.1658 181.18%
172.15/172.64 c 173 619 618 1 -31.0000 -87.1017 180.97%
177.43/177.95 c 178 706 705 1 -31.0000 -86.9946 180.63%
182.52/183.04 c 183 781 780 1 -31.0000 -86.9146 180.37%
189.99/190.51 c 191 812 811 1 -31.0000 -86.7330 179.78%
195.18/195.77 c 196 874 873 1 -31.0000 -86.7330 179.78%
201.36/201.92 c 202 938 937 1 -31.0000 -86.6942 179.66%
206.64/207.20 c 207 1024 1023 1 -31.0000 -86.6637 179.56%
236.76/237.49 c 237 1051 1 1 -31.0000 -86.6637 179.56%
244.84/245.54 c 246 1052 2 1 -31.0000 -86.6637 179.56%
255.51/256.20 c 256 1054 4 1 -31.0000 -86.6637 179.56%
271.07/271.89 c 272 1055 5 1 -31.0000 -86.6637 179.56%
276.36/277.12 c 277 1134 32 1 -31.0000 -86.6637 179.56%
282.13/282.90 c 283 1232 46 1 -31.0000 -86.6637 179.56%
287.42/288.29 c 288 1303 61 1 -31.0000 -86.6637 179.56%
292.61/293.48 c 293 1415 75 1 -31.0000 -86.6637 179.56%
298.20/299.09 c 299 1585 93 1 -31.0000 -86.6637 179.56%
303.48/304.31 c 304 1655 109 1 -31.0000 -86.6637 179.56%
309.16/310.00 c 310 1895 123 1 -31.0000 -86.6637 179.56%
314.54/315.42 c 315 2094 128 1 -31.0000 -86.6637 179.56%
319.82/320.73 c 321 2222 138 1 -31.0000 -86.6637 179.56%
325.22/326.19 c 326 2360 154 1 -31.0000 -86.6637 179.56%
330.99/331.97 c 332 2445 161 1 -31.0000 -86.6637 179.56%
337.87/338.85 c 339 2615 185 1 -31.0000 -86.5978 179.35%
344.06/345.05 c 345 2911 187 1 -31.0000 -86.5722 179.27%
350.33/351.39 c 351 3071 201 1 -31.0000 -86.5526 179.20%
355.42/356.45 c 356 3231 213 1 -31.0000 -86.5048 179.05%
360.81/361.85 c 362 3305 225 1 -31.0000 -86.5048 179.05%
366.79/367.82 c 368 3375 235 1 -31.0000 -86.4900 179.00%
372.37/373.49 c 374 3432 250 1 -31.0000 -86.4488 178.87%
378.06/379.17 c 379 3515 259 1 -31.0000 -86.4096 178.74%
384.05/385.13 c 385 3733 271 1 -31.0000 -86.4057 178.73%
389.83/390.94 c 391 3991 283 1 -31.0000 -86.3446 178.53%
395.02/396.15 c 396 4155 291 1 -31.0000 -86.3446 178.53%
400.31/401.47 c 401 4313 303 1 -31.0000 -86.3268 178.47%
405.79/406.97 c 407 4440 320 1 -31.0000 -86.3160 178.44%
410.99/412.15 c 412 4526 332 1 -31.0000 -86.3119 178.43%
416.07/417.28 c 417 4609 347 1 -31.0000 -86.3076 178.41%
421.16/422.39 c 422 4779 361 1 -31.0000 -86.2924 178.36%
426.25/427.47 c 427 4931 377 1 -31.0000 -86.2745 178.30%
432.03/433.25 c 433 5031 391 1 -31.0000 -86.2600 178.26%
438.42/439.61 c 440 5311 421 1 -31.0000 -86.2461 178.21%
443.91/445.12 c 445 5549 441 1 -31.0000 -86.2225 178.14%
448.99/450.21 c 450 5791 459 1 -31.0000 -86.1861 178.02%
454.18/455.47 c 455 6056 494 1 -31.0000 -86.1800 178.00%
459.87/461.10 c 461 6226 520 1 -31.0000 -86.1608 177.94%
465.06/466.36 c 466 6452 536 1 -31.0000 -86.1541 177.92%
470.95/472.21 c 472 6486 548 1 -31.0000 -86.1468 177.89%
476.52/477.88 c 478 6571 561 1 -31.0000 -86.1377 177.86%
481.72/483.01 c 483 6823 573 1 -31.0000 -86.1249 177.82%
486.70/488.06 c 488 6884 580 1 -31.0000 -86.1096 177.77%
492.38/493.71 c 494 7108 588 1 -31.0000 -86.1048 177.76%
498.16/499.51 c 500 7335 601 1 -31.0000 -86.0980 177.74%
503.34/504.74 c 505 7434 618 1 -31.0000 -86.0758 177.66%
508.74/510.17 c 510 7597 633 1 -31.0000 -86.0344 177.53%
513.91/515.38 c 515 8031 655 1 -31.0000 -86.0216 177.49%
519.99/521.42 c 521 8386 688 1 -31.0000 -86.0050 177.44%
525.08/526.53 c 527 8482 704 1 -31.0000 -85.9804 177.36%
530.67/532.17 c 532 8823 739 1 -31.0000 -85.9710 177.33%
536.56/538.07 c 538 9101 757 1 -31.0000 -85.9662 177.31%
542.54/544.03 c 544 9332 768 1 -31.0000 -85.9662 177.31%
549.02/550.50 c 550 9521 771 1 -31.0000 -85.9600 177.29%
554.52/556.04 c 556 9713 787 1 -31.0000 -85.9600 177.29%
560.39/561.96 c 562 9991 795 1 -31.0000 -85.9401 177.23%
566.18/567.72 c 568 10301 827 1 -31.0000 -85.9016 177.10%
571.57/573.17 c 573 10531 835 1 -31.0000 -85.8857 177.05%
577.06/578.65 c 579 10760 852 1 -31.0000 -85.8774 177.02%
582.74/584.30 c 584 10881 867 1 -31.0000 -85.8436 176.91%
588.23/589.89 c 590 11142 882 1 -31.0000 -85.8406 176.91%
594.11/595.71 c 596 11381 901 1 -31.0000 -85.8271 176.86%
599.70/601.30 c 601 11651 919 1 -31.0000 -85.8056 176.79%
605.29/606.97 c 607 11843 939 1 -31.0000 -85.7975 176.77%
610.48/612.13 c 612 12001 953 1 -31.0000 -85.7814 176.71%
615.66/617.38 c 617 12271 995 1 -31.0000 -85.7714 176.68%
621.14/622.87 c 623 12591 1035 1 -31.0000 -85.7615 176.65%
626.74/628.47 c 628 12779 1053 1 -31.0000 -85.7462 176.60%
631.82/633.59 c 634 12973 1077 1 -31.0000 -85.7351 176.56%
637.51/639.26 c 639 13223 1101 1 -31.0000 -85.7249 176.53%
644.19/645.90 c 646 13511 1121 1 -31.0000 -85.7101 176.48%
649.68/651.42 c 651 13642 1160 1 -31.0000 -85.6944 176.43%
655.17/656.96 c 657 13919 1171 1 -31.0000 -85.6882 176.41%
661.35/663.10 c 663 14086 1202 1 -31.0000 -85.6797 176.39%
667.04/668.86 c 669 14279 1219 1 -31.0000 -85.6565 176.31%
672.12/673.92 c 674 14668 1226 1 -31.0000 -85.6558 176.31%
677.91/679.73 c 680 14941 1235 1 -31.0000 -85.6538 176.30%
682.90/684.74 c 685 15171 1257 1 -31.0000 -85.6446 176.27%
687.89/689.77 c 690 15371 1279 1 -31.0000 -85.6241 176.21%
692.97/694.85 c 695 15751 1293 1 -31.0000 -85.6215 176.20%
698.86/700.73 c 701 16047 1323 1 -31.0000 -85.6175 176.19%
704.16/706.04 c 706 16211 1335 1 -31.0000 -85.6129 176.17%
710.03/711.90 c 712 16374 1368 1 -31.0000 -85.5930 176.11%
715.13/717.00 c 717 16551 1393 1 -31.0000 -85.5807 176.07%
720.71/722.61 c 723 16946 1414 1 -31.0000 -85.5727 176.04%
726.20/728.10 c 728 17193 1433 1 -31.0000 -85.5539 175.98%
731.39/733.34 c 733 17681 1455 1 -31.0000 -85.5432 175.95%
736.77/738.71 c 739 17941 1489 1 -31.0000 -85.5361 175.92%
742.26/744.20 c 744 18281 1493 1 -31.0000 -85.5327 175.91%
747.74/749.79 c 750 18511 1533 1 -31.0000 -85.5167 175.86%
753.13/755.19 c 755 18767 1571 1 -31.0000 -85.5083 175.83%
758.72/760.79 c 761 19018 1594 1 -31.0000 -85.4914 175.78%
764.00/766.07 c 766 19267 1615 1 -31.0000 -85.4858 175.76%
769.19/771.21 c 771 19511 1653 1 -31.0000 -85.4729 175.72%
774.18/776.26 c 776 19834 1684 1 -31.0000 -85.4709 175.71%
779.26/781.34 c 781 20144 1716 1 -31.0000 -85.4672 175.70%
785.15/787.27 c 787 20560 1762 1 -31.0000 -85.4429 175.62%
790.95/793.10 c 793 20859 1799 1 -31.0000 -85.4167 175.54%
796.43/798.53 c 799 21271 1825 1 -31.0000 -85.4064 175.50%
801.81/803.91 c 804 21481 1857 1 -31.0000 -85.3995 175.48%
807.10/809.20 c 809 21711 1895 1 -31.0000 -85.3915 175.46%
812.69/814.88 c 815 22400 2004 1 -31.0000 -85.3718 175.39%
818.07/820.23 c 820 24571 2123 1 -31.0000 -85.3619 175.36%
823.26/825.42 c 825 25651 2199 1 -31.0000 -85.3451 175.31%
828.74/830.98 c 831 27321 2295 1 -31.0000 -85.3345 175.27%
834.13/836.40 c 836 27981 2357 1 -31.0000 -85.3300 175.26%
839.42/841.68 c 842 28693 2423 1 -31.0000 -85.3249 175.24%
845.40/847.61 c 848 30074 2524 1 -31.0000 -85.3040 175.17%
851.29/853.58 c 854 30882 2618 1 -31.0000 -85.2868 175.12%
856.57/858.85 c 859 31601 2661 1 -31.0000 -85.2640 175.05%
862.26/864.54 c 865 32091 2753 1 -31.0000 -85.2522 175.01%
867.94/870.24 c 870 32571 2827 1 -31.0000 -85.2480 174.99%
873.74/876.00 c 876 33664 2950 1 -31.0000 -85.2318 174.94%
878.82/881.10 c 881 34551 3015 1 -31.0000 -85.2118 174.88%
883.91/886.21 c 886 35449 3111 1 -31.0000 -85.2036 174.85%
888.99/891.33 c 891 36531 3153 1 -31.0000 -85.1899 174.81%
894.37/896.72 c 897 36931 3223 1 -31.0000 -85.1805 174.78%
899.77/902.17 c 902 37464 3296 1 -31.0000 -85.1644 174.72%
905.45/907.84 c 908 38104 3374 1 -31.0000 -85.1565 174.70%
910.64/913.03 c 913 38876 3410 1 -31.0000 -85.1526 174.69%
916.22/918.63 c 919 39503 3499 1 -31.0000 -85.1355 174.63%
921.72/924.11 c 924 41264 3650 1 -31.0000 -85.1340 174.63%
927.30/929.78 c 930 42278 3738 1 -31.0000 -85.1117 174.55%
932.38/934.82 c 935 43051 3811 1 -31.0000 -85.0833 174.46%
937.37/939.86 c 940 43511 3879 1 -31.0000 -85.0761 174.44%
943.25/945.79 c 946 44284 3948 1 -31.0000 -85.0651 174.40%
948.74/951.23 c 951 45321 4027 1 -31.0000 -85.0550 174.37%
954.03/956.50 c 956 46088 4098 1 -31.0000 -85.0525 174.36%
959.21/961.73 c 962 47141 4167 1 -31.0000 -85.0386 174.32%
964.40/966.97 c 967 47761 4257 1 -31.0000 -85.0204 174.26%
969.79/972.31 c 972 48991 4355 1 -31.0000 -85.0152 174.24%
974.88/977.46 c 977 49666 4406 1 -31.0000 -85.0100 174.23%
980.57/983.14 c 983 50878 4482 1 -31.0000 -85.0018 174.20%
985.75/988.37 c 988 51901 4523 1 -31.0000 -84.9967 174.18%
991.33/993.95 c 994 52984 4554 1 -31.0000 -84.9909 174.16%
997.23/999.85 c 1000 53373 4619 1 -31.0000 -84.9728 174.11%
1002.31/1004.93 c 1005 53631 4687 1 -31.0000 -84.9613 174.07%
1007.60/1010.28 c 1010 54001 4753 1 -31.0000 -84.9453 174.02%
1013.49/1016.13 c 1016 54161 4791 1 -31.0000 -84.9395 174.00%
1019.37/1022.00 c 1022 54400 4860 1 -31.0000 -84.9286 173.96%
1024.75/1027.42 c 1027 55631 4949 1 -31.0000 -84.9272 173.96%
1030.04/1032.78 c 1033 56201 5035 1 -31.0000 -84.9067 173.89%
1035.03/1037.79 c 1038 57374 5162 1 -31.0000 -84.9060 173.89%
1040.51/1043.28 c 1043 58624 5284 1 -31.0000 -84.8952 173.86%
1045.60/1048.38 c 1048 59337 5377 1 -31.0000 -84.8821 173.81%
1050.69/1053.45 c 1053 60671 5503 1 -31.0000 -84.8714 173.78%
1056.67/1059.44 c 1059 62674 5662 1 -31.0000 -84.8667 173.76%
1062.06/1064.89 c 1065 63322 5732 1 -31.0000 -84.8565 173.73%
1067.85/1070.66 c 1071 64271 5791 1 -31.0000 -84.8426 173.69%
1073.34/1076.15 c 1076 64982 5830 1 -31.0000 -84.8357 173.66%
1078.72/1081.51 c 1082 65865 5915 1 -31.0000 -84.8295 173.64%
1084.21/1087.05 c 1087 66551 5969 1 -31.0000 -84.8144 173.59%
1090.00/1092.87 c 1093 67503 6025 1 -31.0000 -84.8026 173.56%
1094.98/1097.88 c 1098 69041 6275 1 -31.0000 -84.7936 173.53%
1100.07/1102.95 c 1103 69681 6389 1 -31.0000 -84.7862 173.50%
1105.65/1108.55 c 1109 70452 6508 1 -31.0000 -84.7726 173.46%
1110.74/1113.60 c 1114 71071 6597 1 -31.0000 -84.7536 173.40%
1115.93/1118.85 c 1119 71292 6630 1 -31.0000 -84.7504 173.39%
1121.32/1124.22 c 1124 71661 6733 1 -31.0000 -84.7464 173.38%
1126.51/1129.47 c 1129 72731 6873 1 -31.0000 -84.7372 173.35%
1132.50/1135.41 c 1135 73547 7011 1 -31.0000 -84.7310 173.33%
1138.48/1141.41 c 1141 74367 7145 1 -31.0000 -84.7130 173.27%
1143.76/1146.77 c 1147 74701 7203 1 -31.0000 -84.7053 173.24%
1148.76/1151.78 c 1152 75341 7267 1 -31.0000 -84.6960 173.21%
1154.54/1157.52 c 1158 76131 7345 1 -31.0000 -84.6717 173.13%
1159.82/1162.85 c 1163 76842 7404 1 -31.0000 -84.6653 173.11%
1165.02/1168.08 c 1168 77231 7477 1 -31.0000 -84.6573 173.09%
1170.50/1173.51 c 1174 78021 7547 1 -31.0000 -84.6446 173.05%
1176.19/1179.25 c 1179 78751 7669 1 -31.0000 -84.6335 173.01%
1181.78/1184.88 c 1185 79550 7768 1 -31.0000 -84.6227 172.98%
1187.86/1190.94 c 1191 80324 7898 1 -31.0000 -84.6003 172.90%
1193.25/1196.32 c 1196 81372 7948 1 -31.0000 -84.5954 172.89%
1199.13/1202.20 c 1202 82061 8039 1 -31.0000 -84.5927 172.88%
1204.92/1208.05 c 1208 83111 8107 1 -31.0000 -84.5805 172.84%
1210.61/1213.79 c 1214 83691 8193 1 -31.0000 -84.5730 172.82%
1216.49/1219.63 c 1220 84053 8273 1 -31.0000 -84.5669 172.80%
1221.48/1224.67 c 1225 84901 8295 1 -31.0000 -84.5543 172.76%
1226.87/1230.00 c 1230 85901 8415 1 -31.0000 -84.5420 172.72%
1232.05/1235.29 c 1235 86461 8551 1 -31.0000 -84.5293 172.68%
1237.64/1240.88 c 1241 87575 8651 1 -31.0000 -84.5219 172.65%
1242.72/1245.93 c 1246 88392 8738 1 -31.0000 -84.5191 172.64%
1248.40/1251.67 c 1252 89326 8816 1 -31.0000 -84.5092 172.61%
1254.69/1257.93 c 1258 89791 8907 1 -31.0000 -84.5039 172.59%
1259.98/1263.22 c 1263 90991 9097 1 -31.0000 -84.4994 172.58%
1265.16/1268.41 c 1268 91511 9203 1 -31.0000 -84.4813 172.52%
1270.94/1274.30 c 1274 92321 9333 1 -31.0000 -84.4644 172.47%
1276.14/1279.44 c 1279 92959 9431 1 -31.0000 -84.4599 172.45%
1281.22/1284.55 c 1285 93888 9508 1 -31.0000 -84.4485 172.41%
1286.32/1289.62 c 1290 94839 9603 1 -31.0000 -84.4473 172.41%
1292.20/1295.58 c 1296 95281 9681 1 -31.0000 -84.4382 172.38%
1297.58/1300.91 c 1301 95791 9767 1 -31.0000 -84.4317 172.36%
1303.47/1306.81 c 1307 96234 9854 1 -31.0000 -84.4211 172.33%
1308.56/1311.95 c 1312 97426 9956 1 -31.0000 -84.4181 172.32%
1314.14/1317.53 c 1318 98911 10081 1 -31.0000 -84.4124 172.30%
1319.74/1323.16 c 1323 100216 10244 1 -31.0000 -84.4055 172.28%
1325.22/1328.68 c 1329 100846 10306 1 -31.0000 -84.4008 172.26%
1330.30/1333.79 c 1334 101711 10399 1 -31.0000 -84.3919 172.23%
1335.89/1339.30 c 1339 102031 10491 1 -31.0000 -84.3852 172.21%
1341.77/1345.22 c 1345 102644 10590 1 -31.0000 -84.3667 172.15%
1346.86/1350.32 c 1350 103097 10679 1 -31.0000 -84.3630 172.14%
1352.24/1355.72 c 1356 103441 10739 1 -31.0000 -84.3556 172.11%
1357.54/1361.08 c 1361 103891 10823 1 -31.0000 -84.3479 172.09%
1363.02/1366.58 c 1367 104581 10889 1 -31.0000 -84.3445 172.08%
1368.51/1372.01 c 1372 104802 10952 1 -31.0000 -84.3301 172.03%
1373.69/1377.29 c 1377 105871 11131 1 -31.0000 -84.3252 172.02%
1379.18/1382.77 c 1383 106621 11259 1 -31.0000 -84.3169 171.99%
1384.27/1387.86 c 1388 107391 11397 1 -31.0000 -84.3138 171.98%
1390.15/1393.74 c 1394 108556 11542 1 -31.0000 -84.3056 171.95%
1396.04/1399.65 c 1400 109500 11632 1 -31.0000 -84.3005 171.94%
1401.42/1405.05 c 1405 110321 11727 1 -31.0000 -84.2854 171.89%
1406.81/1410.49 c 1410 111001 11841 1 -31.0000 -84.2743 171.85%
1412.79/1416.47 c 1416 111612 11944 1 -31.0000 -84.2665 171.83%
1419.39/1423.03 c 1423 112261 12037 1 -31.0000 -84.2625 171.81%
1424.87/1428.51 c 1429 112672 12120 1 -31.0000 -84.2544 171.79%
1430.26/1433.92 c 1434 113081 12207 1 -31.0000 -84.2486 171.77%
1435.64/1439.37 c 1439 113661 12317 1 -31.0000 -84.2434 171.75%
1441.13/1444.82 c 1445 114381 12407 1 -31.0000 -84.2368 171.73%
1446.21/1449.91 c 1450 114717 12481 1 -31.0000 -84.2262 171.70%
1451.70/1455.49 c 1455 115440 12590 1 -31.0000 -84.2184 171.67%
1457.30/1461.08 c 1461 116081 12663 1 -31.0000 -84.2108 171.65%
1462.58/1466.37 c 1466 116521 12729 1 -31.0000 -84.2031 171.62%
1468.47/1472.23 c 1472 116812 12822 1 -31.0000 -84.1968 171.60%
1473.65/1477.41 c 1477 117421 12905 1 -31.0000 -84.1892 171.58%
1479.74/1483.54 c 1484 117641 13007 1 -31.0000 -84.1789 171.54%
1485.33/1489.18 c 1489 118267 13137 1 -31.0000 -84.1732 171.53%
1490.51/1494.37 c 1494 119151 13243 1 -31.0000 -84.1672 171.51%
1495.99/1499.85 c 1500 119901 13337 1 -31.0000 -84.1589 171.48%
1501.08/1504.98 c 1505 120672 13450 1 -31.0000 -84.1520 171.46%
1506.47/1510.38 c 1510 121321 13541 1 -31.0000 -84.1456 171.44%
1511.96/1515.81 c 1516 121751 13583 1 -31.0000 -84.1305 171.39%
1516.95/1520.82 c 1521 121883 13643 1 -31.0000 -84.1302 171.39%
1522.83/1526.77 c 1527 122001 13665 1 -31.0000 -84.1299 171.39%
1528.12/1532.00 c 1532 122631 13759 1 -31.0000 -84.1242 171.37%
1533.81/1537.76 c 1538 123517 13861 1 -31.0000 -84.1136 171.33%
1539.39/1543.39 c 1543 123851 13931 1 -31.0000 -84.1101 171.32%
1544.88/1548.81 c 1549 124181 14009 1 -31.0000 -84.1024 171.30%
1550.27/1554.20 c 1554 124744 14068 1 -31.0000 -84.0978 171.28%
1555.75/1559.74 c 1560 125061 14125 1 -31.0000 -84.0933 171.27%
1561.14/1565.15 c 1565 125382 14170 1 -31.0000 -84.0917 171.26%
1566.62/1570.67 c 1571 125611 14233 1 -31.0000 -84.0901 171.26%
1571.72/1575.70 c 1576 126133 14327 1 -31.0000 -84.0837 171.24%
1577.30/1581.36 c 1581 126736 14426 1 -31.0000 -84.0780 171.22%
1582.49/1586.51 c 1587 126891 14481 1 -31.0000 -84.0731 171.20%
1587.87/1591.97 c 1592 127212 14550 1 -31.0000 -84.0656 171.18%
1593.16/1597.20 c 1597 128031 14623 1 -31.0000 -84.0589 171.16%
1598.85/1602.95 c 1603 128731 14735 1 -31.0000 -84.0453 171.11%
1603.84/1607.98 c 1608 128879 14791 1 -31.0000 -84.0453 171.11%
1609.52/1613.67 c 1614 129256 14854 1 -31.0000 -84.0391 171.09%
1615.02/1619.19 c 1619 129641 14929 1 -31.0000 -84.0369 171.09%
1620.90/1625.10 c 1625 130224 15030 1 -31.0000 -84.0295 171.06%
1626.28/1630.40 c 1630 131258 15184 1 -31.0000 -84.0277 171.06%
1631.77/1635.96 c 1636 131842 15324 1 -31.0000 -84.0263 171.05%
1636.87/1641.04 c 1641 133251 15461 1 -31.0000 -84.0234 171.04%
1642.34/1646.51 c 1647 134312 15562 1 -31.0000 -84.0178 171.03%
1647.63/1651.83 c 1652 136090 15724 1 -31.0000 -84.0131 171.01%
1652.72/1656.98 c 1657 137521 15863 1 -31.0000 -84.0084 170.99%
1658.20/1662.43 c 1662 138870 16012 1 -31.0000 -84.0053 170.98%
1663.29/1667.52 c 1668 140071 16199 1 -31.0000 -83.9909 170.94%
1668.47/1672.70 c 1673 141081 16345 1 -31.0000 -83.9850 170.92%
1674.06/1678.33 c 1678 141986 16472 1 -31.0000 -83.9826 170.91%
1679.25/1683.52 c 1684 143531 16583 1 -31.0000 -83.9759 170.89%
1684.54/1688.80 c 1689 144468 16718 1 -31.0000 -83.9734 170.88%
1691.02/1695.35 c 1695 144881 16783 1 -31.0000 -83.9696 170.87%
1696.71/1701.00 c 1701 145376 16870 1 -31.0000 -83.9678 170.86%
1702.59/1706.91 c 1707 145821 16975 1 -31.0000 -83.9580 170.83%
1707.78/1712.14 c 1712 146279 17055 1 -31.0000 -83.9576 170.83%
1713.26/1717.65 c 1718 146806 17154 1 -31.0000 -83.9534 170.82%
1718.66/1723.06 c 1723 148131 17277 1 -31.0000 -83.9501 170.81%
1724.83/1729.22 c 1729 148786 17392 1 -31.0000 -83.9457 170.79%
1730.42/1734.88 c 1735 148969 17451 1 -31.0000 -83.9454 170.79%
1736.20/1740.67 c 1741 149621 17583 1 -31.0000 -83.9366 170.76%
1741.30/1745.71 c 1746 150271 17667 1 -31.0000 -83.9313 170.75%
1746.98/1751.50 c 1752 150758 17746 1 -31.0000 -83.9304 170.74%
1752.27/1756.76 c 1757 151061 17815 1 -31.0000 -83.9280 170.74%
1758.15/1762.63 c 1763 151337 17875 1 -31.0000 -83.9265 170.73%
1763.25/1767.79 c 1768 151592 17900 1 -31.0000 -83.9212 170.71%
1769.13/1773.63 c 1774 152589 17987 1 -31.0000 -83.9204 170.71%
1774.81/1779.32 c 1779 153891 18209 1 -31.0000 -83.9160 170.70%
1780.10/1784.60 c 1785 154971 18425 1 -31.0000 -83.9133 170.69%
1785.29/1789.89 c 1790 156551 18705 1 -31.0000 -83.9092 170.67%
1790.97/1795.55 c 1796 157691 18945 1 -31.0000 -83.9028 170.65%
1796.76/1801.36 c 1801 159665 19293 1 -31.0000 -83.8990 170.64%
1802.35/1806.95 c 1807 160691 19551 1 -31.0000 -83.8947 170.63%
1808.33/1812.94 c 1813 162353 19845 1 -31.0000 -83.8923 170.62%
1813.52/1818.11 c 1818 163860 20102 1 -31.0000 -83.8865 170.60%
1819.50/1824.18 c 1824 165491 20333 1 -31.0000 -83.8854 170.60%
1824.69/1829.30 c 1829 166821 20537 1 -31.0000 -83.8818 170.59%
1830.08/1834.75 c 1835 167598 20708 1 -31.0000 -83.8724 170.56%
1835.06/1839.77 c 1840 169131 20999 1 -31.0000 -83.8673 170.54%
1840.74/1845.45 c 1845 169821 21117 1 -31.0000 -83.8656 170.53%
1846.54/1851.26 c 1851 171091 21313 1 -31.0000 -83.8588 170.51%
1852.22/1856.99 c 1857 172591 21569 1 -31.0000 -83.8531 170.49%
1858.10/1862.88 c 1863 173556 21744 1 -31.0000 -83.8482 170.48%
1863.19/1867.92 c 1868 174311 21895 1 -31.0000 -83.8438 170.46%
1868.68/1873.40 c 1873 174831 22003 1 -31.0000 -83.8417 170.46%
1874.06/1878.80 c 1879 175411 22121 1 -31.0000 -83.8401 170.45%
1879.45/1884.28 c 1884 176216 22278 1 -31.0000 -83.8367 170.44%
1885.13/1889.98 c 1890 176865 22441 1 -31.0000 -83.8335 170.43%
1891.11/1895.96 c 1896 178241 22707 1 -31.0000 -83.8297 170.42%
1896.60/1901.47 c 1901 178901 22875 1 -31.0000 -83.8268 170.41%
1902.29/1907.17 c 1907 179418 23002 1 -31.0000 -83.8256 170.41%
1907.76/1912.62 c 1913 179698 23074 1 -31.0000 -83.8215 170.39%
1913.45/1918.32 c 1918 179989 23133 1 -31.0000 -83.8206 170.39%
1918.45/1923.36 c 1923 180421 23195 1 -31.0000 -83.8200 170.39%
1923.73/1928.64 c 1929 181141 23341 1 -31.0000 -83.8184 170.38%
1928.91/1933.81 c 1934 181981 23475 1 -31.0000 -83.8094 170.35%
1934.70/1939.68 c 1940 182563 23611 1 -31.0000 -83.8071 170.35%
1940.09/1945.01 c 1945 182878 23708 1 -31.0000 -83.8059 170.34%
1945.56/1950.52 c 1951 183947 23843 1 -31.0000 -83.8024 170.33%
1951.06/1956.08 c 1956 185171 24111 1 -31.0000 -83.7966 170.31%
1956.24/1961.20 c 1961 186101 24431 1 -31.0000 -83.7952 170.31%
1961.22/1966.21 c 1966 186841 24673 1 -31.0000 -83.7924 170.30%
1967.12/1972.11 c 1972 187585 24869 1 -31.0000 -83.7903 170.29%
1973.00/1978.05 c 1978 188681 25171 1 -31.0000 -83.7890 170.29%
1978.79/1983.88 c 1984 189830 25492 1 -31.0000 -83.7863 170.28%
1984.17/1989.24 c 1989 191421 25837 1 -31.0000 -83.7796 170.26%
1989.46/1994.52 c 1995 192055 26033 1 -31.0000 -83.7743 170.24%
1994.44/1999.57 c * 2000 193346 26340 1 -32.0000 -83.7728 161.79%
1994.44/1999.57 c 2000 193346 26340 1 -32.0000 -83.7728 161.79%
2000.53/2005.69 c 2006 194130 20667 1 -32.0000 -83.7712 161.79%
2005.81/2010.94 c 2011 194784 20843 1 -32.0000 -83.7644 161.76%
2010.90/2016.06 c 2016 195207 20960 1 -32.0000 -83.7619 161.76%
2016.29/2021.47 c 2021 196606 21189 1 -32.0000 -83.7600 161.75%
2021.77/2026.98 c 2027 197674 21393 1 -32.0000 -83.7532 161.73%
2027.66/2032.89 c 2033 198616 21589 1 -32.0000 -83.7441 161.70%
2033.14/2038.38 c 2038 199581 21790 1 -32.0000 -83.7421 161.69%
2039.73/2044.99 c 2045 200101 21916 1 -32.0000 -83.7409 161.69%
2045.11/2050.34 c 2050 201281 22186 1 -32.0000 -83.7377 161.68%
2050.40/2055.62 c 2056 201756 22309 1 -32.0000 -83.7354 161.67%
2055.80/2061.04 c 2061 203011 22566 1 -32.0000 -83.7311 161.66%
2061.57/2066.83 c 2067 204481 22834 1 -32.0000 -83.7273 161.65%
2067.06/2072.36 c 2072 205451 23028 1 -32.0000 -83.7226 161.63%
2072.54/2077.89 c 2078 205966 23167 1 -32.0000 -83.7192 161.62%
2078.62/2083.91 c 2084 207086 23353 1 -32.0000 -83.7137 161.61%
2083.72/2089.03 c 2089 208211 23570 1 -32.0000 -83.7042 161.58%
2089.10/2094.40 c 2094 209051 23728 1 -32.0000 -83.7009 161.57%
2094.09/2099.45 c 2099 209821 23920 1 -32.0000 -83.6985 161.56%
2099.98/2105.34 c 2105 210831 24102 1 -32.0000 -83.6945 161.55%
2105.26/2110.63 c 2111 211331 24236 1 -32.0000 -83.6881 161.53%
2111.25/2116.61 c 2117 212671 24476 1 -32.0000 -83.6844 161.51%
2116.23/2121.64 c 2122 213661 24706 1 -32.0000 -83.6787 161.50%
2122.42/2127.83 c 2128 214543 24914 1 -32.0000 -83.6726 161.48%
2128.01/2133.41 c 2133 215451 25102 1 -32.0000 -83.6718 161.47%
2133.39/2138.86 c 2139 216601 25272 1 -32.0000 -83.6684 161.46%
2139.38/2144.83 c 2145 217801 25462 1 -32.0000 -83.6641 161.45%
2144.67/2150.18 c 2150 218741 25614 1 -32.0000 -83.6595 161.44%
2150.15/2155.61 c 2156 219764 25781 1 -32.0000 -83.6573 161.43%
2155.74/2161.28 c 2161 220751 25984 1 -32.0000 -83.6542 161.42%
2161.32/2166.81 c 2167 221831 26180 1 -32.0000 -83.6475 161.40%
2166.62/2172.14 c 2172 222691 26342 1 -32.0000 -83.6445 161.39%
2172.30/2177.82 c 2178 223757 26486 1 -32.0000 -83.6414 161.38%
2177.68/2183.29 c 2183 224621 26578 1 -32.0000 -83.6409 161.38%
2183.66/2189.21 c 2189 225294 26785 1 -32.0000 -83.6392 161.37%
2188.75/2194.37 c 2194 227291 27056 1 -32.0000 -83.6374 161.37%
2194.23/2199.87 c 2200 227981 27230 1 -32.0000 -83.6336 161.35%
2199.62/2205.20 c 2205 229006 27405 1 -32.0000 -83.6298 161.34%
2205.11/2210.72 c 2211 230958 27643 1 -32.0000 -83.6245 161.33%
2211.09/2216.70 c 2217 231648 27791 1 -32.0000 -83.6224 161.32%
2216.28/2221.91 c 2222 232812 27971 1 -32.0000 -83.6204 161.31%
2221.37/2227.08 c 2227 233991 28128 1 -32.0000 -83.6182 161.31%
2226.75/2232.43 c 2232 235505 28360 1 -32.0000 -83.6173 161.30%
2232.44/2238.16 c 2238 236698 28533 1 -32.0000 -83.6128 161.29%
2237.52/2243.21 c 2243 237751 28716 1 -32.0000 -83.6102 161.28%
2242.70/2248.41 c 2248 239118 28899 1 -32.0000 -83.6101 161.28%
2247.79/2253.54 c 2254 239841 29036 1 -32.0000 -83.6098 161.28%
2252.77/2258.59 c 2259 240631 29248 1 -32.0000 -83.6084 161.28%
2258.46/2264.23 c 2264 241191 29418 1 -32.0000 -83.6035 161.26%
2265.44/2271.24 c 2271 242350 29675 1 -32.0000 -83.6003 161.25%
2271.02/2276.82 c 2277 243296 29797 1 -32.0000 -83.5980 161.24%
2276.51/2282.32 c 2282 244971 30024 1 -32.0000 -83.5954 161.24%
2281.50/2287.33 c 2287 246281 30272 1 -32.0000 -83.5926 161.23%
2287.18/2293.09 c 2293 248201 30524 1 -32.0000 -83.5890 161.22%
2292.76/2298.66 c 2299 249362 30721 1 -32.0000 -83.5857 161.21%
2298.55/2304.44 c 2304 250046 30857 1 -32.0000 -83.5831 161.20%
2303.53/2309.48 c 2309 251101 31012 1 -32.0000 -83.5775 161.18%
2308.92/2314.85 c 2315 251951 31192 1 -32.0000 -83.5737 161.17%
2314.81/2320.72 c 2321 252634 31353 1 -32.0000 -83.5713 161.16%
2320.29/2326.26 c 2326 253461 31516 1 -32.0000 -83.5645 161.14%
2325.68/2331.69 c 2332 254591 31716 1 -32.0000 -83.5630 161.13%
2331.37/2337.32 c 2337 255171 31844 1 -32.0000 -83.5574 161.12%
2336.75/2342.78 c 2343 256113 32008 1 -32.0000 -83.5534 161.10%
2342.63/2348.69 c 2349 256590 32131 1 -32.0000 -83.5489 161.09%
2348.32/2354.35 c 2354 257389 32252 1 -32.0000 -83.5472 161.08%
2354.01/2360.05 c 2360 258396 32395 1 -32.0000 -83.5444 161.08%
2359.79/2365.85 c 2366 259089 32576 1 -32.0000 -83.5400 161.06%
2365.18/2371.24 c 2371 259581 32708 1 -32.0000 -83.5344 161.04%
2371.35/2377.49 c 2377 260061 32798 1 -32.0000 -83.5329 161.04%
2377.35/2383.42 c 2383 260472 32917 1 -32.0000 -83.5304 161.03%
2382.83/2388.91 c 2389 261091 33036 1 -32.0000 -83.5274 161.02%
2388.21/2394.31 c 2394 262011 33188 1 -32.0000 -83.5258 161.02%
2393.49/2399.66 c 2400 262430 33297 1 -32.0000 -83.5215 161.00%
2398.49/2404.69 c 2405 262841 33388 1 -32.0000 -83.5172 160.99%
2403.67/2409.82 c 2410 263821 33516 1 -32.0000 -83.5157 160.99%
2409.25/2415.48 c 2415 264213 33654 1 -32.0000 -83.5124 160.98%
2414.43/2420.66 c 2421 264871 33774 1 -32.0000 -83.5101 160.97%
2419.43/2425.69 c 2426 265741 33886 1 -32.0000 -83.5080 160.96%
2425.11/2431.38 c 2431 266731 34150 1 -32.0000 -83.5057 160.96%
2430.69/2436.92 c 2437 267319 34294 1 -32.0000 -83.5048 160.95%
2436.48/2442.76 c 2443 268129 34460 1 -32.0000 -83.5038 160.95%
2442.36/2448.61 c 2449 268591 34594 1 -32.0000 -83.5003 160.94%
2447.74/2454.01 c 2454 269291 34740 1 -32.0000 -83.4982 160.93%
2453.52/2459.88 c 2460 270031 34920 1 -32.0000 -83.4949 160.92%
2458.71/2465.03 c 2465 270641 35086 1 -32.0000 -83.4915 160.91%
2463.81/2470.13 c 2470 271341 35272 1 -32.0000 -83.4873 160.90%
2469.28/2475.69 c 2476 272311 35484 1 -32.0000 -83.4836 160.89%
2475.06/2481.44 c 2481 273201 35694 1 -32.0000 -83.4815 160.88%
2480.05/2486.44 c 2486 273771 35856 1 -32.0000 -83.4799 160.87%
2486.13/2492.58 c 2493 274063 35980 1 -32.0000 -83.4774 160.87%
2491.72/2498.15 c 2498 274816 36117 1 -32.0000 -83.4769 160.87%
2496.90/2503.38 c 2503 275364 36247 1 -32.0000 -83.4760 160.86%
2501.98/2508.48 c 2508 275897 36324 1 -32.0000 -83.4747 160.86%
2507.97/2514.42 c 2514 276547 36542 1 -32.0000 -83.4728 160.85%
2512.95/2519.43 c 2519 278001 36878 1 -32.0000 -83.4727 160.85%
2518.55/2525.02 c 2525 278921 37138 1 -32.0000 -83.4705 160.85%
2523.83/2530.39 c 2530 279756 37365 1 -32.0000 -83.4689 160.84%
2529.10/2535.67 c 2536 280561 37526 1 -32.0000 -83.4655 160.83%
2534.60/2541.12 c 2541 282176 37821 1 -32.0000 -83.4625 160.82%
2539.58/2546.16 c 2546 282931 38056 1 -32.0000 -83.4608 160.81%
2544.86/2551.49 c 2551 283651 38244 1 -32.0000 -83.4580 160.81%
2550.65/2557.26 c 2557 284281 38484 1 -32.0000 -83.4533 160.79%
2556.23/2562.84 c 2563 285066 38677 1 -32.0000 -83.4514 160.79%
2561.91/2568.55 c 2569 286451 39004 1 -32.0000 -83.4494 160.78%
2567.00/2573.69 c 2574 287391 39244 1 -32.0000 -83.4451 160.77%
2572.49/2579.15 c 2579 287935 39382 1 -32.0000 -83.4438 160.76%
2578.27/2584.98 c 2585 288852 39611 1 -32.0000 -83.4403 160.75%
2584.25/2590.94 c 2591 290244 39903 1 -32.0000 -83.4389 160.75%
2589.73/2596.42 c 2596 291541 40136 1 -32.0000 -83.4364 160.74%
2594.82/2601.57 c 2602 292301 40352 1 -32.0000 -83.4343 160.73%
2600.01/2606.71 c 2607 293767 40732 1 -32.0000 -83.4321 160.73%
2605.29/2612.04 c 2612 294811 40922 1 -32.0000 -83.4289 160.72%
2610.77/2617.58 c 2618 295516 41113 1 -32.0000 -83.4257 160.71%
2616.27/2623.03 c 2623 296981 41372 1 -32.0000 -83.4222 160.69%
2621.45/2628.23 c 2628 297543 41514 1 -32.0000 -83.4208 160.69%
2626.52/2633.35 c 2633 298301 41684 1 -32.0000 -83.4198 160.69%
2632.51/2639.30 c 2639 299407 41898 1 -32.0000 -83.4176 160.68%
2637.50/2644.32 c 2644 300445 42118 1 -32.0000 -83.4157 160.67%
2643.07/2649.92 c 2650 302021 42398 1 -32.0000 -83.4132 160.67%
2648.76/2655.64 c 2656 302921 42578 1 -32.0000 -83.4122 160.66%
2653.75/2660.66 c 2661 303511 42776 1 -32.0000 -83.4098 160.66%
2659.03/2665.95 c 2666 304271 42962 1 -32.0000 -83.4082 160.65%
2664.52/2671.47 c 2671 305011 43144 1 -32.0000 -83.4064 160.65%
2670.00/2676.97 c 2677 305641 43346 1 -32.0000 -83.4043 160.64%
2675.10/2682.00 c 2682 306211 43520 1 -32.0000 -83.4014 160.63%
2680.18/2687.15 c 2687 307131 43702 1 -32.0000 -83.4002 160.63%
2685.45/2692.41 c 2692 307791 43868 1 -32.0000 -83.3962 160.61%
2690.44/2697.49 c 2697 308824 44073 1 -32.0000 -83.3951 160.61%
2695.83/2702.86 c 2703 310581 44390 1 -32.0000 -83.3933 160.60%
2701.02/2708.05 c 2708 311531 44580 1 -32.0000 -83.3909 160.60%
2706.00/2713.08 c 2713 312991 44814 1 -32.0000 -83.3881 160.59%
2711.88/2718.91 c 2719 313651 45004 1 -32.0000 -83.3866 160.58%
2716.97/2724.07 c 2724 314474 45189 1 -32.0000 -83.3854 160.58%
2722.35/2729.45 c 2729 315811 45436 1 -32.0000 -83.3845 160.58%
2727.94/2735.05 c 2735 316361 45608 1 -32.0000 -83.3823 160.57%
2733.22/2740.35 c 2740 316915 45740 1 -32.0000 -83.3804 160.56%
2739.11/2746.22 c 2746 317266 45875 1 -32.0000 -83.3793 160.56%
2744.69/2751.86 c 2752 318041 46084 1 -32.0000 -83.3748 160.55%
2750.48/2757.61 c 2758 319424 46365 1 -32.0000 -83.3730 160.54%
2755.46/2762.63 c 2763 320481 46582 1 -32.0000 -83.3687 160.53%
2761.04/2768.26 c 2768 321763 46852 1 -32.0000 -83.3673 160.52%
2766.23/2773.44 c 2773 322321 46980 1 -32.0000 -83.3646 160.51%
2771.61/2778.88 c 2779 322987 47138 1 -32.0000 -83.3632 160.51%
2777.20/2784.45 c 2784 323751 47374 1 -32.0000 -83.3618 160.51%
2782.48/2789.78 c 2790 324898 47665 1 -32.0000 -83.3598 160.50%
2787.77/2795.01 c 2795 325991 47958 1 -32.0000 -83.3577 160.49%
2793.26/2800.50 c 2801 326596 48157 1 -32.0000 -83.3568 160.49%
2798.74/2806.07 c 2806 327991 48522 1 -32.0000 -83.3542 160.48%
2804.53/2811.82 c 2812 328896 48769 1 -32.0000 -83.3510 160.47%
2810.41/2817.71 c 2818 329836 49073 1 -32.0000 -83.3491 160.47%
2815.59/2822.90 c 2823 330641 49332 1 -32.0000 -83.3445 160.45%
2820.79/2828.14 c 2828 331258 49515 1 -32.0000 -83.3432 160.45%
2826.56/2833.95 c 2834 332341 49798 1 -32.0000 -83.3423 160.44%
2831.95/2839.32 c 2839 333211 50024 1 -32.0000 -83.3409 160.44%
2837.13/2844.59 c 2845 334075 50278 1 -32.0000 -83.3385 160.43%
2842.72/2850.11 c 2850 335051 50518 1 -32.0000 -83.3365 160.43%
2848.90/2856.39 c 2856 335929 50778 1 -32.0000 -83.3321 160.41%
2854.69/2862.12 c 2862 336661 50986 1 -32.0000 -83.3266 160.40%
2860.96/2868.43 c 2868 337268 51183 1 -32.0000 -83.3245 160.39%
2866.35/2873.84 c 2874 337881 51360 1 -32.0000 -83.3198 160.37%
2871.54/2879.08 c 2879 338577 51552 1 -32.0000 -83.3181 160.37%
2876.92/2884.49 c 2884 339731 51808 1 -32.0000 -83.3161 160.36%
2882.11/2889.67 c 2890 340433 51974 1 -32.0000 -83.3148 160.36%
2887.29/2894.85 c 2895 341611 52250 1 -32.0000 -83.3130 160.35%
2893.47/2901.03 c 2901 342812 52515 1 -32.0000 -83.3117 160.35%
2900.06/2907.67 c 2908 344011 52760 1 -32.0000 -83.3099 160.34%
2905.45/2913.02 c 2913 344591 52934 1 -32.0000 -83.3080 160.34%
2910.53/2918.18 c 2918 346097 53180 1 -32.0000 -83.3078 160.34%
2915.62/2923.21 c 2923 346782 53319 1 -32.0000 -83.3056 160.33%
2920.60/2928.26 c 2928 347521 53482 1 -32.0000 -83.3025 160.32%
2927.18/2934.88 c 2935 348731 53712 1 -32.0000 -83.3003 160.31%
2932.96/2940.61 c 2941 350115 53958 1 -32.0000 -83.2979 160.31%
2938.35/2946.02 c 2946 351347 54188 1 -32.0000 -83.2961 160.30%
2944.23/2951.90 c 2952 352165 54368 1 -32.0000 -83.2953 160.30%
2950.11/2957.80 c 2958 353133 54592 1 -32.0000 -83.2929 160.29%
2955.50/2963.28 c 2963 354243 54814 1 -32.0000 -83.2901 160.28%
2961.39/2969.18 c 2969 355376 55075 1 -32.0000 -83.2875 160.27%
2966.67/2974.48 c 2974 356443 55302 1 -32.0000 -83.2846 160.26%
2972.65/2980.47 c 2980 357975 55608 1 -32.0000 -83.2820 160.26%
2978.04/2985.81 c 2986 359011 55810 1 -32.0000 -83.2813 160.25%
2983.43/2991.21 c 2991 360251 56086 1 -32.0000 -83.2783 160.24%
2989.02/2996.80 c 2997 361231 56324 1 -32.0000 -83.2770 160.24%
2994.70/3002.51 c 3003 361871 56486 1 -32.0000 -83.2767 160.24%
2999.88/3007.71 c 3008 363151 56720 1 -32.0000 -83.2756 160.24%
3005.57/3013.40 c 3013 363502 56825 1 -32.0000 -83.2736 160.23%
3011.06/3018.98 c 3019 364841 57076 1 -32.0000 -83.2725 160.23%
3016.95/3024.89 c 3025 365321 57216 1 -32.0000 -83.2720 160.22%
3022.33/3030.29 c 3030 366258 57361 1 -32.0000 -83.2718 160.22%
3028.31/3036.21 c 3036 367356 57577 1 -32.0000 -83.2702 160.22%
3033.91/3041.84 c 3042 368101 57754 1 -32.0000 -83.2668 160.21%
3039.79/3047.75 c 3048 368621 57904 1 -32.0000 -83.2651 160.20%
3045.57/3053.53 c 3054 369961 58156 1 -32.0000 -83.2632 160.20%
3050.76/3058.70 c 3059 370401 58268 1 -32.0000 -83.2602 160.19%
3055.95/3063.90 c 3064 370929 58406 1 -32.0000 -83.2593 160.19%
3061.44/3069.40 c 3069 371464 58537 1 -32.0000 -83.2585 160.18%
3066.52/3074.52 c 3075 372171 58704 1 -32.0000 -83.2577 160.18%
3071.60/3079.65 c 3080 372790 58839 1 -32.0000 -83.2563 160.18%
3076.89/3084.99 c 3085 373451 58976 1 -32.0000 -83.2515 160.16%
3082.08/3090.19 c 3090 374120 59113 1 -32.0000 -83.2509 160.16%
3088.07/3096.14 c 3096 374921 59312 1 -32.0000 -83.2473 160.15%
3093.66/3101.71 c 3102 375691 59482 1 -32.0000 -83.2444 160.14%
3099.44/3107.57 c 3108 376586 59655 1 -32.0000 -83.2433 160.14%
3104.72/3112.81 c 3113 377171 59796 1 -32.0000 -83.2410 160.13%
3110.61/3118.74 c 3119 378752 60101 1 -32.0000 -83.2404 160.13%
3115.90/3124.06 c 3124 379422 60185 1 -32.0000 -83.2387 160.12%
3121.39/3129.51 c 3130 380017 60388 1 -32.0000 -83.2357 160.11%
3127.17/3135.37 c 3135 381111 60674 1 -32.0000 -83.2322 160.10%
3132.65/3140.80 c 3141 382151 60892 1 -32.0000 -83.2314 160.10%
3137.94/3146.11 c 3146 383601 61164 1 -32.0000 -83.2280 160.09%
3143.84/3152.00 c 3152 384822 61389 1 -32.0000 -83.2267 160.08%
3149.12/3157.31 c 3157 385121 61512 1 -32.0000 -83.2254 160.08%
3154.70/3162.97 c 3163 386241 61840 1 -32.0000 -83.2248 160.08%
3160.09/3168.38 c 3168 387141 62042 1 -32.0000 -83.2232 160.07%
3165.28/3173.52 c 3174 387567 62174 1 -32.0000 -83.2229 160.07%
3170.66/3178.96 c 3179 388241 62310 1 -32.0000 -83.2217 160.07%
3176.05/3184.38 c 3184 388825 62432 1 -32.0000 -83.2211 160.07%
3181.14/3189.40 c 3189 390082 62645 1 -32.0000 -83.2197 160.06%
3186.82/3195.18 c 3195 391821 62962 1 -32.0000 -83.2184 160.06%
3192.21/3200.59 c 3201 392546 63139 1 -32.0000 -83.2149 160.05%
3197.89/3206.25 c 3206 393489 63340 1 -32.0000 -83.2135 160.04%
3203.47/3211.87 c 3212 394461 63542 1 -32.0000 -83.2105 160.03%
3208.97/3217.36 c 3217 395311 63734 1 -32.0000 -83.2088 160.03%
3214.76/3223.17 c 3223 396300 63951 1 -32.0000 -83.2081 160.03%
3220.14/3228.51 c 3229 397191 64224 1 -32.0000 -83.2060 160.02%
3225.32/3233.78 c 3234 397851 64444 1 -32.0000 -83.2049 160.02%
3230.62/3239.08 c 3239 398581 64666 1 -32.0000 -83.2017 160.01%
3235.90/3244.33 c 3244 399364 64833 1 -32.0000 -83.2001 160.00%
3241.38/3249.89 c 3250 400451 65074 1 -32.0000 -83.1974 159.99%
3246.57/3255.03 c 3255 401031 65208 1 -32.0000 -83.1957 159.99%
3251.86/3260.37 c 3260 401793 65366 1 -32.0000 -83.1936 159.98%
3257.04/3265.53 c 3266 403111 65580 1 -32.0000 -83.1907 159.97%
3262.44/3270.92 c 3271 404021 65784 1 -32.0000 -83.1882 159.96%
3268.22/3276.80 c 3277 405382 66047 1 -32.0000 -83.1876 159.96%
3273.81/3282.31 c 3282 406851 66278 1 -32.0000 -83.1844 159.95%
3279.20/3287.78 c 3288 407543 66466 1 -32.0000 -83.1832 159.95%
3285.08/3293.61 c 3294 408756 66715 1 -32.0000 -83.1792 159.94%
3290.76/3299.36 c 3299 409681 67038 1 -32.0000 -83.1772 159.93%
3296.55/3305.18 c 3305 410376 67247 1 -32.0000 -83.1735 159.92%
3302.53/3311.17 c 3311 411661 67562 1 -32.0000 -83.1727 159.91%
3307.62/3316.25 c 3316 412291 67732 1 -32.0000 -83.1702 159.91%
3312.91/3321.54 c 3322 413303 67980 1 -32.0000 -83.1686 159.90%
3318.49/3327.19 c 3327 414139 68212 1 -32.0000 -83.1655 159.89%
3324.47/3333.12 c 3333 415321 68506 1 -32.0000 -83.1640 159.89%
3329.95/3338.64 c 3339 415811 68758 1 -32.0000 -83.1619 159.88%
3335.74/3344.47 c 3344 416620 69055 1 -32.0000 -83.1612 159.88%
3341.73/3350.49 c 3350 417356 69257 1 -32.0000 -83.1585 159.87%
3347.51/3356.24 c 3356 418953 69540 1 -32.0000 -83.1577 159.87%
3353.19/3361.98 c 3362 419920 69757 1 -32.0000 -83.1543 159.86%
3358.38/3367.16 c 3367 421291 70056 1 -32.0000 -83.1504 159.85%
3363.76/3372.60 c 3373 422526 70301 1 -32.0000 -83.1478 159.84%
3369.05/3377.86 c 3378 423666 70521 1 -32.0000 -83.1440 159.83%
3374.24/3383.01 c 3383 424721 70678 1 -32.0000 -83.1408 159.82%
3379.41/3388.25 c 3388 426428 70917 1 -32.0000 -83.1397 159.81%
3384.70/3393.57 c 3394 427445 71122 1 -32.0000 -83.1386 159.81%
3389.89/3398.72 c 3399 428291 71290 1 -32.0000 -83.1359 159.80%
3394.97/3403.85 c 3404 429665 71598 1 -32.0000 -83.1355 159.80%
3400.06/3408.99 c 3409 430391 71768 1 -32.0000 -83.1331 159.79%
3405.84/3414.76 c 3415 432054 72089 1 -32.0000 -83.1313 159.79%
3411.62/3420.57 c 3421 433051 72338 1 -32.0000 -83.1302 159.78%
3417.41/3426.38 c 3426 434051 72620 1 -32.0000 -83.1287 159.78%
3423.40/3432.39 c 3432 434592 72801 1 -32.0000 -83.1265 159.77%
3429.19/3438.14 c 3438 435851 73074 1 -32.0000 -83.1246 159.76%
3434.36/3443.30 c 3443 436930 73329 1 -32.0000 -83.1239 159.76%
3439.35/3448.35 c 3448 437551 73484 1 -32.0000 -83.1225 159.76%
3445.23/3454.28 c 3454 439145 73802 1 -32.0000 -83.1213 159.75%
3450.92/3459.92 c 3460 440411 74086 1 -32.0000 -83.1179 159.74%
3456.60/3465.66 c 3466 441226 74281 1 -32.0000 -83.1163 159.74%
3462.18/3471.24 c 3471 442571 74500 1 -32.0000 -83.1147 159.73%
3468.08/3477.14 c 3477 443966 74765 1 -32.0000 -83.1138 159.73%
3474.05/3483.14 c 3483 444828 74973 1 -32.0000 -83.1099 159.72%
3479.34/3488.40 c 3488 445835 75234 1 -32.0000 -83.1080 159.71%
3484.42/3493.52 c 3494 447421 75504 1 -32.0000 -83.1076 159.71%
3490.21/3499.38 c 3499 448374 75713 1 -32.0000 -83.1045 159.70%
3495.49/3504.61 c 3505 449191 75972 1 -32.0000 -83.1021 159.69%
3500.67/3509.85 c 3510 449873 76218 1 -32.0000 -83.1013 159.69%
3505.86/3515.08 c 3515 450862 76475 1 -32.0000 -83.0992 159.69%
3511.25/3520.49 c 3520 452119 76788 1 -32.0000 -83.0959 159.67%
3517.13/3526.37 c 3526 453454 77075 1 -32.0000 -83.0933 159.67%
3522.71/3531.90 c 3532 454091 77284 1 -32.0000 -83.0908 159.66%
3529.00/3538.20 c 3538 454331 77390 1 -32.0000 -83.0896 159.65%
3534.08/3543.38 c 3543 455527 77664 1 -32.0000 -83.0889 159.65%
3539.16/3548.45 c 3548 456391 77890 1 -32.0000 -83.0863 159.64%
3544.16/3553.47 c 3553 457387 78148 1 -32.0000 -83.0852 159.64%
3549.54/3558.83 c 3559 458521 78388 1 -32.0000 -83.0831 159.63%
3555.42/3564.73 c 3565 459698 78661 1 -32.0000 -83.0827 159.63%
3560.51/3569.87 c 3570 460643 78920 1 -32.0000 -83.0814 159.63%
3565.70/3575.02 c 3575 461425 79112 1 -32.0000 -83.0787 159.62%
3570.79/3580.12 c 3580 462497 79312 1 -32.0000 -83.0782 159.62%
3575.77/3585.16 c 3585 463781 79564 1 -32.0000 -83.0755 159.61%
3581.05/3590.42 c 3590 464941 79788 1 -32.0000 -83.0734 159.60%
3586.54/3595.94 c 3596 465801 80024 1 -32.0000 -83.0708 159.60%
3591.33/3600.80 c SCIP Status : c solving was interrupted [hard time limit reached]
3591.33/3600.80 c Total Time : 3600.80
3591.33/3600.80 c solving : 3600.80
3591.33/3600.80 c presolving : 0.06 (included in solving)
3591.33/3600.80 c B&B Tree :
3591.33/3600.80 c nodes (total) : 1
3591.33/3600.80 c Solution :
3591.33/3600.80 c Solutions found : 9
3591.33/3600.80 c Primal Bound : -3.20000000000000e+01
3591.33/3600.80 c Dual Bound : -8.30697105593647e+01
3591.33/3600.80 c Gap : 159.59285 %
3591.33/3600.80 c * Warning: final gap: 1.59593e+00 is greater than SCIPepsilon: 1.00000e-09
3591.33/3600.81 o -32
3591.33/3600.81 s SATISFIABLE
3591.33/3600.81 v -x375 -x317 x361 -x286 -x342 -x224 -x249 -x359 -x390 x297 -x299 -x251 -x256 -x319 -x273 -x231 -x360 -x348 -x240 x382 -x334 x332
3591.33/3600.81 v -x269 x237 x362 -x217 -x321 -x349 -x278 -x239 -x398 -x265 -x343 x391 -x300 -x264 -x370 -x339 x377 -x207 -x392 -x353 -x234 -x238
3591.33/3600.81 v -x352 -x233 -x388 -x315 -x229 -x356 x322 -x206 -x395 -x380 -x345 -x289 -x221 x246 -x219 -x350 -x309 -x304 x272 -x329 -x225
3591.33/3600.81 v -x284 -x366 -x354 x335 -x312 -x208 -x276 -x372 -x232 -x220 -x245 -x290 -x242 -x253 -x318 -x303 -x298 -x204 -x344 -x310 -x267
3591.33/3600.81 v -x266 -x255 -x236 -x396 -x295 -x213 -x340 -x261 -x333 -x400 x355 -x252 -x389 -x277 -x209 x288 x351 -x244 -x365 -x386 -x367
3591.33/3600.81 v -x347 x323 -x294 x271 -x254 -x248 -x226 -x218 -x216 -x215 -x346 -x258 -x314 -x247 -x328 -x326 -x306 -x282 x397 -x274 -x357 x381
3591.33/3600.81 v -x292 -x214 -x202 -x307 -x305 -x302 x301 -x296 -x279 -x210 -x205 -x371 x325 -x399 -x338 -x385 -x320 x374 x243 -x257 -x270
3591.33/3600.81 v -x259 -x223 -x203 x330 -x268 -x324 -x263 -x331 -x201 -x393 x379 -x376 x358 x313 -x311 -x308 -x285 -x283 x281 -x280 -x275 -x262
3591.33/3600.81 v -x241 -x235 -x211 -x383 -x230 -x368 -x369 -x212 -x337 -x373 -x227 -x341 -x327 x364 -x260 x291 -x228 -x363 -x222 -x250 -x293
3591.33/3600.81 v -x387 x336 x394 -x316 -x378 -x287 -x384 -x200 -x199 x198 -x197 x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 x187 -x186
3591.33/3600.81 v x185 x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 x170 x169 x168 x167 -x166 -x165 -x164
3591.33/3600.81 v -x163 -x162 -x161 x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143
3591.33/3600.81 v -x142 -x141 x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 x127 x126 -x125 -x124 -x123 -x122 x121
3591.33/3600.81 v -x120 -x119 -x118 -x117 -x116 x115 -x114 -x113 x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 x104 -x103 -x102 -x101 x100 x99
3591.33/3600.81 v -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
3591.33/3600.81 v x73 -x72 -x71 -x70 -x69 x68 -x67 -x66 -x65 -x64 x63 -x62 -x61 -x60 x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48
3591.33/3600.81 v -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 x28 -x27 -x26 -x25 -x24 x23
3591.33/3600.81 v -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: 63968 MiB (49657 MiB free)
memory of node 1: 64473 MiB (55528 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459907-1721941194/watcher-4459907-1721941194 -o /tmp/evaluation-result-4459907-1721941194/solver-4459907-1721941194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721939462-310656 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459907-1721941194.opb -qsol -t 3600 -sth 1
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=312127, runsolver pid=312124
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 4.08 4.11 3.58 6/264 312128
/proc/meminfo: memFree=107676544/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=65560 memory=46224 CPUtime=0.09 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 9204 0 0 0 8 1 0 0 20 0 2 0 30648877 67133440 11556 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 16390 11556 2702 3032 0 12789 0
[pid=312127/tid=312129] ppid=312124 vsize=65560 memory=4026561586 CPUtime=0 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 2 0 30648887 67133440 11556 134679101440 4194304 16613245 140731938259552 0 0 0 2147221247 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 65560 KiB
Current children cumulated memory: 46224 KiB
[startup+0.206026 s]*
/proc/loadavg: 4.08 4.11 3.58 5/266 312130
/proc/meminfo: memFree=107659856/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=141176 memory=61616 CPUtime=0.19 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 13013 0 0 0 17 2 0 0 20 0 3 0 30648877 144564224 15404 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 35294 15404 2910 3032 0 18914 0
[pid=312127/tid=312129] ppid=312124 vsize=141176 memory=4782652875487838339 CPUtime=0.09 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 3806 0 0 0 9 0 0 0 20 0 3 0 30648887 144564224 15404 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=141176 memory=649556 CPUtime=0 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30648888 144564224 15404 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 141176 KiB
Current children cumulated memory: 61616 KiB
[startup+0.306008 s]*
/proc/loadavg: 4.08 4.11 3.58 5/266 312130
/proc/meminfo: memFree=107657840/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=142492 memory=63464 CPUtime=0.29 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 13475 0 0 0 27 2 0 0 20 0 3 0 30648877 145911808 15866 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 35623 15866 2910 3032 0 19368 0
[pid=312127/tid=312129] ppid=312124 vsize=142492 memory=-6586912947910654824 CPUtime=0.18 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 4268 0 0 0 18 0 0 0 20 0 3 0 30648887 145911808 15866 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=142492 memory=0 CPUtime=0 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30648888 145911808 15866 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 142492 KiB
Current children cumulated memory: 63464 KiB
[startup+0.701009 s]
/proc/loadavg: 4.08 4.11 3.58 5/266 312130
/proc/meminfo: memFree=107640984/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=159604 memory=91976 CPUtime=0.66 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 21340 0 0 0 63 3 0 0 20 0 3 0 30648877 163434496 22994 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 39901 22994 2910 3032 0 26699 0
[pid=312127/tid=312129] ppid=312124 vsize=159604 memory=0 CPUtime=0.56 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 12133 0 0 0 54 2 0 0 20 0 3 0 30648887 163434496 22994 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=159604 memory=0 CPUtime=0 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30648888 163434496 22994 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 159604 KiB
Current children cumulated memory: 91976 KiB
[startup+1.5002 s]
/proc/loadavg: 4.08 4.11 3.58 5/266 312130
/proc/meminfo: memFree=107621248/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=166428 memory=110124 CPUtime=1.46 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 34789 0 0 0 141 5 0 0 20 0 3 0 30648877 170422272 27531 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 41607 27531 2910 3032 0 31601 0
[pid=312127/tid=312129] ppid=312124 vsize=166428 memory=0 CPUtime=1.35 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 25582 0 0 0 132 3 0 0 20 0 3 0 30648887 170422272 27531 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=166428 memory=0 CPUtime=0 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 3 0 30648888 170422272 27531 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 166428 KiB
Current children cumulated memory: 110124 KiB
[startup+3.10528 s]
/proc/loadavg: 4.08 4.11 3.58 5/266 312130
/proc/meminfo: memFree=107599040/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=164264 memory=123756 CPUtime=3.07 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 41490 0 0 0 301 6 0 0 20 0 3 0 30648877 168206336 30939 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 41066 30939 2910 3032 0 35036 0
[pid=312127/tid=312129] ppid=312124 vsize=164264 memory=91976 CPUtime=2.96 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 32280 0 0 0 292 4 0 0 20 0 3 0 30648887 168206336 30939 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=164264 memory=4449 CPUtime=0 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 3 0 0 0 0 0 0 0 20 0 3 0 30648888 168206336 30939 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 164264 KiB
Current children cumulated memory: 123756 KiB
[startup+6.30014 s]
/proc/loadavg: 4.08 4.11 3.58 5/266 312130
/proc/meminfo: memFree=107565276/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=229964 memory=155716 CPUtime=6.25 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 61670 0 0 0 618 7 0 0 20 0 3 0 30648877 235483136 38929 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 57491 38929 2910 3032 0 43158 0
[pid=312127/tid=312129] ppid=312124 vsize=229964 memory=11540 CPUtime=6.15 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 52458 0 0 0 609 6 0 0 20 0 3 0 30648887 235483136 38929 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=229964 memory=131684 CPUtime=0 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 5 0 0 0 0 0 0 0 20 0 3 0 30648888 235483136 38929 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 229964 KiB
Current children cumulated memory: 155716 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 3.59 5/266 312131
/proc/meminfo: memFree=107531420/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=230080 memory=189416 CPUtime=12.64 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 100637 0 0 0 1253 11 0 0 20 0 3 0 30648877 235601920 47354 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 57520 47354 2910 3032 0 52112 0
[pid=312127/tid=312129] ppid=312124 vsize=230080 memory=0 CPUtime=12.53 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 91411 0 0 0 1244 9 0 0 20 0 3 0 30648887 235601920 47354 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=230080 memory=145192 CPUtime=0 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 19 0 0 0 0 0 0 0 20 0 3 0 30648888 235601920 47354 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 230080 KiB
Current children cumulated memory: 189416 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 3.60 5/266 312134
/proc/meminfo: memFree=107524988/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=230328 memory=195820 CPUtime=25.41 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 135870 0 0 0 2528 13 0 0 20 0 3 0 30648877 235855872 48955 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 57582 48955 2958 3032 0 53093 0
[pid=312127/tid=312129] ppid=312124 vsize=230328 memory=195596 CPUtime=25.3 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 126529 0 0 0 2519 11 0 0 20 0 3 0 30648887 235855872 48955 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=230328 memory=195800 CPUtime=0 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 30 0 0 0 0 0 0 0 20 0 3 0 30648888 235855872 48955 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 230328 KiB
Current children cumulated memory: 195820 KiB
[startup+51.1056 s]
/proc/loadavg: 4.08 4.11 3.61 5/267 312141
/proc/meminfo: memFree=107521052/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=230356 memory=197456 CPUtime=50.96 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 157246 0 0 0 5081 15 0 0 20 0 3 0 30648877 235884544 49364 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 57589 49364 2958 3032 0 53100 0
[pid=312127/tid=312129] ppid=312124 vsize=230356 memory=197272 CPUtime=50.85 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 147864 0 0 0 5072 13 0 0 20 0 3 0 30648887 235884544 49364 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=230356 memory=11540 CPUtime=0 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 3 0 30648888 235884544 49364 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 230356 KiB
Current children cumulated memory: 197456 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 3.64 5/268 312162
/proc/meminfo: memFree=107418348/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=361428 memory=279536 CPUtime=102.04 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 212920 0 0 0 10183 21 0 0 20 0 3 0 30648877 370102272 69884 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 90357 69884 2958 3032 0 73402 0
[pid=312127/tid=312129] ppid=312124 vsize=361428 memory=11540 CPUtime=101.93 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 203451 0 0 0 10174 19 0 0 20 0 3 0 30648887 370102272 69884 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=361428 memory=5787213852816401216 CPUtime=0 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 30648888 370102272 69884 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 361428 KiB
Current children cumulated memory: 279536 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.13 3.68 5/267 312173
/proc/meminfo: memFree=107404164/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=361428 memory=292136 CPUtime=161.87 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 230870 0 0 0 16164 23 0 0 20 0 3 0 30648877 370102272 73034 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 90357 73034 2974 3032 0 75925 0
[pid=312127/tid=312129] ppid=312124 vsize=361428 memory=289576 CPUtime=161.76 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 221337 0 0 0 16155 21 0 0 20 0 3 0 30648887 370102272 73034 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=361428 memory=6720664337603771242 CPUtime=0 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 3 0 30648888 370102272 73034 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 361428 KiB
Current children cumulated memory: 292136 KiB
################
# More data... #
################
/proc/312127/statm: 226952 215287 2974 3032 0 218719 0
[pid=312127/tid=312129] ppid=312124 vsize=907808 memory=857936 CPUtime=3452.94 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 1398550 0 0 0 345070 224 0 0 20 0 3 0 30648887 929595392 215287 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=907808 memory=858572 CPUtime=0.03 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 167 0 0 0 1 2 0 0 20 0 3 0 30648888 929595392 215287 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 3453.31 s
Current children cumulated vsize: 907808 KiB
Current children cumulated memory: 861148 KiB
[startup+3522.3 s]
/proc/loadavg: 2.10 2.12 2.45 3/247 314310
/proc/meminfo: memFree=107325880/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=909216 memory=861452 CPUtime=3513.14 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 1436125 0 0 0 351075 239 0 0 20 0 3 0 30648877 931037184 215363 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 227304 215363 2974 3032 0 219071 0
[pid=312127/tid=312129] ppid=312124 vsize=909216 memory=861404 CPUtime=3512.77 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 1425969 0 0 0 351048 229 0 0 20 0 3 0 30648887 931037184 215363 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=909216 memory=6720664337603771242 CPUtime=0.03 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 169 0 0 0 1 2 0 0 20 0 3 0 30648888 931037184 215363 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 909216 KiB
Current children cumulated memory: 861452 KiB
[startup+3582.3 s]
/proc/loadavg: 2.15 2.12 2.43 3/246 314320
/proc/meminfo: memFree=107265984/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=909216 memory=865432 CPUtime=3572.97 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 1465251 0 0 0 357053 244 0 0 20 0 3 0 30648877 931037184 216358 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 227304 216358 2974 3032 0 219541 0
[pid=312127/tid=312129] ppid=312124 vsize=909216 memory=11540 CPUtime=3572.59 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 1455086 0 0 0 357026 233 0 0 20 0 3 0 30648887 931037184 216358 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=909216 memory=11540 CPUtime=0.03 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 171 0 0 0 1 2 0 0 20 0 3 0 30648888 931037184 216358 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 3572.97 s
Current children cumulated vsize: 909216 KiB
Current children cumulated memory: 865432 KiB
[startup+3600.82 s]
# the end of solver process 312127 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.98 s, system=2.47206 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 2.14 2.12 2.43 3/246 314320
/proc/meminfo: memFree=107265984/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=909216 memory=865436 CPUtime=3574.67 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 1465326 0 0 0 357223 244 0 0 20 0 3 0 30648877 931037184 216359 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 227304 216359 2974 3032 0 219541 0
[pid=312127/tid=312129] ppid=312124 vsize=909216 memory=0 CPUtime=3574.29 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 1455161 0 0 0 357196 233 0 0 20 0 3 0 30648887 931037184 216359 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=909216 memory=0 CPUtime=0.03 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 171 0 0 0 1 2 0 0 20 0 3 0 30648888 931037184 216359 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 3574.67 s
Current children cumulated vsize: 909216 KiB
Current children cumulated memory: 865436 KiB
[startup+3590.4 s]
/proc/loadavg: 2.13 2.12 2.43 3/246 314321
/proc/meminfo: memFree=107265900/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=909216 memory=865436 CPUtime=3581.05 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 1466138 0 0 0 357861 244 0 0 20 0 3 0 30648877 931037184 216359 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 227304 216359 2974 3032 0 219541 0
[pid=312127/tid=312129] ppid=312124 vsize=909216 memory=865432 CPUtime=3580.66 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 1455973 0 0 0 357833 233 0 0 20 0 3 0 30648887 931037184 216359 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=909216 memory=7378700846565582191 CPUtime=0.03 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 171 0 0 0 1 2 0 0 20 0 3 0 30648888 931037184 216359 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 3581.05 s
Current children cumulated vsize: 909216 KiB
Current children cumulated memory: 865436 KiB
[startup+3596.8 s]
/proc/loadavg: 2.12 2.12 2.42 3/246 314321
/proc/meminfo: memFree=107231008/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=909216 memory=865504 CPUtime=3587.43 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 1469427 0 0 0 358498 245 0 0 20 0 3 0 30648877 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 227304 216376 2974 3032 0 219541 0
[pid=312127/tid=312129] ppid=312124 vsize=909216 memory=11540 CPUtime=3587.05 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 1459258 0 0 0 358471 234 0 0 20 0 3 0 30648887 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=909216 memory=6720664337603771242 CPUtime=0.03 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 30648888 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 3587.43 s
Current children cumulated vsize: 909216 KiB
Current children cumulated memory: 865504 KiB
[startup+3598.4 s]
/proc/loadavg: 2.12 2.12 2.42 3/246 314323
/proc/meminfo: memFree=107230924/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=909216 memory=865504 CPUtime=3589.03 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 1469434 0 0 0 358658 245 0 0 20 0 3 0 30648877 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 227304 216376 2974 3032 0 219541 0
[pid=312127/tid=312129] ppid=312124 vsize=909216 memory=865504 CPUtime=3588.64 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 1459265 0 0 0 358630 234 0 0 20 0 3 0 30648887 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=909216 memory=865504 CPUtime=0.03 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 30648888 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 3589.03 s
Current children cumulated vsize: 909216 KiB
Current children cumulated memory: 865504 KiB
[startup+3600 s]*
/proc/loadavg: 2.11 2.12 2.42 3/246 314323
/proc/meminfo: memFree=107230812/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=909216 memory=865504 CPUtime=3590.63 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 1469477 0 0 0 358818 245 0 0 20 0 3 0 30648877 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 227304 216376 2974 3032 0 219541 0
[pid=312127/tid=312129] ppid=312124 vsize=909216 memory=6720667661925301091 CPUtime=3590.24 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 1459308 0 0 0 358790 234 0 0 20 0 3 0 30648887 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=909216 memory=-4421386487708411750 CPUtime=0.03 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 30648888 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 3590.63 s
Current children cumulated vsize: 909216 KiB
Current children cumulated memory: 865504 KiB
[startup+3600.4 s]
/proc/loadavg: 2.11 2.12 2.42 3/246 314323
/proc/meminfo: memFree=107230812/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=909216 memory=865504 CPUtime=3591.02 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 1473536 0 0 0 358857 245 0 0 20 0 3 0 30648877 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 227304 216376 2974 3032 0 219541 0
[pid=312127/tid=312129] ppid=312124 vsize=909216 memory=6720664337603771242 CPUtime=3590.64 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 1463366 0 0 0 358829 235 0 0 20 0 3 0 30648887 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=909216 memory=28196 CPUtime=0.03 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 30648888 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 3591.02 s
Current children cumulated vsize: 909216 KiB
Current children cumulated memory: 865504 KiB
[startup+3600.6 s]
/proc/loadavg: 2.11 2.12 2.42 3/246 314323
/proc/meminfo: memFree=107230812/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=909216 memory=865504 CPUtime=3591.22 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 1474891 0 0 0 358877 245 0 0 20 0 3 0 30648877 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 227304 216376 2974 3032 0 219541 0
[pid=312127/tid=312129] ppid=312124 vsize=909216 memory=32620 CPUtime=3590.84 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 1464721 0 0 0 358849 235 0 0 20 0 3 0 30648887 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=909216 memory=34008 CPUtime=0.03 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 30648888 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 3591.22 s
Current children cumulated vsize: 909216 KiB
Current children cumulated memory: 865504 KiB
[startup+3600.7 s]
/proc/loadavg: 2.11 2.12 2.42 3/246 314323
/proc/meminfo: memFree=107230812/131524600 swapFree=131071728/131071996
[pid=312127] ppid=312124 vsize=909216 memory=865504 CPUtime=3591.33 cores=4,6
/proc/312127/stat : 312127 (fscip) S 312124 312127 310643 0 -1 1077936128 1475234 0 0 0 358887 246 0 0 20 0 3 0 30648877 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 17 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
/proc/312127/statm: 227304 216376 2974 3032 0 219541 0
[pid=312127/tid=312129] ppid=312124 vsize=909216 memory=865432 CPUtime=3590.94 cores=4,6
/proc/312127/task/312129/stat : 312129 (fscip) R 312124 312127 310643 0 -1 4194368 1465064 0 0 0 358859 235 0 0 20 0 3 0 30648887 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 0 0 0 -1 4 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
[pid=312127/tid=312130] ppid=312124 vsize=909216 memory=42656 CPUtime=0.03 cores=4,6
/proc/312127/task/312130/stat : 312130 (fscip) S 312124 312127 310643 0 -1 1077936192 173 0 0 0 1 2 0 0 20 0 3 0 30648888 931037184 216376 134679101440 4194304 16613245 140731938259552 0 0 0 0 0 2 1 0 0 -1 6 0 0 0 0 0 18822208 18930672 29024256 140731938268180 140731938268296 140731938268296 140731938275312 0
Current children cumulated CPU time: 3591.33 s
Current children cumulated vsize: 909216 KiB
Current children cumulated memory: 865504 KiB
Child status: 0
Real time (s): 3600.82
CPU time (s): 3591.45
CPU user time (s): 3588.98
CPU system time (s): 2.47206
CPU usage (%): 99.7398
Max. virtual memory (cumulated for all children) (KiB): 909216
Max. memory (cumulated for all children) (KiB): 865504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.98
system time used= 2.47206
maximum resident set size= 865504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1475639
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= 12173
involuntary context switches= 4020
# summary of solver processes directly reported to runsolver:
# pid: 312127
# total CPU time (s): 3591.45
# total CPU user time (s): 3588.98
# total CPU system time (s): 2.47206
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00346 second user time and 16.756 second system time
The end
Begin job on nodeC029 at 2024-07-25 22:59:54
IDJOB=4459907
IDBENCH=148653
IDSOLVER=3064
FILE ID=nodeC029/4459907-1721941194
RUNJOBID= nodeC029-1721939462-310656
SLURM_JOB_ID= 8247249
Free space on /tmp= 889984 MiB
SOLVER NAME= FiberSCIP 2024-07-02
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459907-1721941194/watcher-4459907-1721941194 -o /tmp/evaluation-result-4459907-1721941194/solver-4459907-1721941194 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721939462-310656 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4459907-1721941194.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 273961b324c53d2d230ce6da1470e4a9
RANDOM SEED=791818255
nodeC029.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 : 3662.391
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.50
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 : 3689.232
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 : 7005.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.277
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.50
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.063
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 : 7005.34
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 : 3653.836
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.50
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 : 3689.321
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 : 7005.34
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 : 3668.179
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.50
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 : 3599.917
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 : 7005.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 107710992 kB
MemAvailable: 128106896 kB
Buffers: 332756 kB
Cached: 20766348 kB
SwapCached: 44 kB
Active: 2901688 kB
Inactive: 20032548 kB
Active(anon): 1572 kB
Inactive(anon): 1887580 kB
Active(file): 2900116 kB
Inactive(file): 18144968 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071728 kB
Dirty: 28608 kB
Writeback: 0 kB
AnonPages: 1834928 kB
Mapped: 155736 kB
Shmem: 54012 kB
KReclaimable: 381284 kB
Slab: 516112 kB
SReclaimable: 381284 kB
SUnreclaim: 134828 kB
KernelStack: 4240 kB
PageTables: 13052 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1271308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 21472 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1488896 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: 350932 kB
DirectMap2M: 44511232 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC029 at 2024-07-25 23:59:55